r(-6). Let i = h + -60. Is i at most as big as 48?
False
Let q = -15.66 - -16.66. Is q >= -0.773?
True
Suppose 5*j + 6*w = 8*w - 330, -4*w - 264 = 4*j. Is j less than 0?
True
Suppose 0 = -z + 8 + 2. Let k = -14.1 + 13.8. Does z = k?
False
Suppose i = 0, 3*l - 1044 = -3*i - 246. Let v be (1/2)/(7/l). Does 19 = v?
True
Let l = 192 + -76. Let t = 855524/7389 - 14/2463. Let s = t - l. Which is greater: -1 or s?
s
Let i be (6 - 10) + 1 + 78/23. Suppose 2*j - 4*j + 4*s + 2 = 0, 5*s - 2 = -2*j. Are i and j nonequal?
True
Suppose 5*l = 11 - 1. Let q be l/(-12) - (-105)/(-18). Which is smaller: 0.4 or q?
q
Let b = -43 - -63. Suppose b*r - 15*r = -10. Is r > -2?
False
Let u = 221.9 - 213. Let x = 3.9 - u. Which is smaller: x or 2?
x
Let l(a) = a**3 + 22*a**2 - 4*a - 78. Let r be l(-22). Which is smaller: r or -70?
-70
Suppose y + 4*y = -5*n + 30, 13 = 3*y + 2*n. Which is bigger: y or 52/21?
52/21
Let z be 35/7 - (0 - -2). Suppose z*h - 46 = -16. Let s be (-2)/h*5/4. Which is smaller: s or -5/6?
-5/6
Let x be ((-15)/6)/(45/(-306)). Which is smaller: 174/11 or x?
174/11
Let j be (-12)/30 - ((-141)/15 - 1). Suppose 0 = -20*a + 15*a - j. Is a > -13/12?
False
Suppose 5*d = -5*x - 35, 3*x - 4*d + 13 = -3*d. Let p be 1/((2 + -3)/(x + 4)). Is -3 not equal to p?
True
Let p(w) = -w**3 - 5*w**2 - 2*w - 7. Let t be p(-5). Let b be 11 + (-8 + 4 - -3). Suppose -2*f - b = 0, o + t*f + 3 + 8 = 0. Is -0.3 at least o?
False
Suppose 3*z - 22 = -z + v, z - 9 = 2*v. Suppose z*n - 3 = 4*n. Suppose 4*w + n*y = 49, -2*y - y = -3*w + 21. Is -1/2 greater than or equal to w?
False
Let p = -67 + 63. Let y be -1 - ((-6)/(-4) + p). Which is smaller: 13 or y?
y
Let s = -5/7 + 8/21. Are -63 and s unequal?
True
Let w = 0.384 + 0.116. Which is smaller: 1/20 or w?
1/20
Let o = -10 + 13. Let w = 5 - o. Suppose 0 = -v + w. Which is smaller: 0 or v?
0
Let j be 4/(4/(-11)) - 0. Let q = j - -6. Which is smaller: q or -9?
-9
Let d = 24 - 22.9. Let h = d - 1.22. Let y = h - -0.12. Are y and -0.3 nonequal?
True
Let x = 85.69 - -2.31. Which is greater: x or -0.1?
x
Let a be 3/(-2)*2/(-3). Let v be 8/4 - (a - -4). Let j be 2 - (v/(-1) + -1). Are j and -6/11 non-equal?
True
Let q = -4524 + 17129/4. Is q at most as big as -242?
False
Let i = -88 + 88. Which is smaller: i or -48.4?
-48.4
Suppose 222*r = 209*r - 17589. Which is bigger: -1352 or r?
-1352
Let b be ((-18)/258)/(39/26). Which is bigger: b or -2.4?
b
Let v = -23 - -13. Let a be (-6)/(-10) - 1*4/v. Let s be 1/2*(-2)/(-8). Which is greater: s or a?
a
Let a be 7/(539/638) - 8. Does a = -1470/11?
False
Let x(u) = -3*u - 4. Let h be x(-4). Let f be 1*(-5 - (-1 - 1)). Let w(c) = -6*c - 9. Let i be w(f). Which is greater: i or h?
i
Let m = 172 + -170.59. Let x = 0.41 - m. Let h = 0 + 0. Is h less than or equal to x?
False
Let i = 79 - 51. Suppose 4*o + 0*o - i = 0. Which is bigger: -2 or o?
o
Let k(g) = -2*g - 4. Let h(l) = 1. Let i(m) = 6*h(m) - 2*k(m). Let j be i(-4). Which is greater: j or -16/9?
-16/9
Let i = -15 - -21. Let w = 21 + i. Which is bigger: -1/4 or w?
w
Let i = 0 - 5. Let t be -1*i*2/(-50). Is t < -2/7?
False
Let g be -1 - (-3 + -5)/4. Let u be (48/9*g)/(4/(-24)). Which is smaller: -34 or u?
-34
Let j be (-1)/(-258)*(-123321)/22. Let b = j - -87/4. Which is smaller: 0 or b?
0
Suppose -29*a + 30*a = 0. Suppose 0*y - 3*y - 42 = a. Is y bigger than -14?
False
Let w = 148 - 139. Let u = 16 + -21. Is w > u?
True
Suppose -x = -0*x - 8. Suppose 4*a + 14 = -3*z - x, 6 = a - 5*z. Suppose 5*i + 7 = -3*q - 24, 2*q - 5*i = 21. Which is bigger: q or a?
q
Suppose 0 = -4*y + 6 + 10. Suppose 0 = -y*c + 3*j - 13 - 2, 5 = -4*c + j. Which is smaller: -8/7 or c?
-8/7
Let l = -0.397 - -0.397. Which is greater: -0.89 or l?
l
Let z(k) = k**2 - 6*k**2 - k - k**2. Suppose 4*f - 5*c - 21 = 0, 3*c = 3*f + 5*c + 13. Let q be z(f). Is -5 <= q?
True
Let k(z) = z**3 - 25*z**2 + 13*z - 213. Let v be k(23). Are v and 0 non-equal?
True
Let b = 442 + -20784/47. Let u = 367/1504 + b. Is u <= 0?
False
Suppose 0 = -15*m + 2095 - 235. Are 125 and m equal?
False
Let n be ((-1)/((-4)/(-6)))/3*-4. Which is greater: n or 10/9?
n
Let l = -62.0074 - -0.0074. Which is bigger: -0.3 or l?
-0.3
Let g(n) = -4*n + 18. Let b(j) = j - 6. Let i(f) = -7*b(f) - 2*g(f). Let d be i(-6). Let a = -585/8 + 73. Which is bigger: a or d?
d
Let i = -22.62 + 0.87. Let d = i - -0.75. Is -1 bigger than d?
True
Let x = 20 + -23. Let p(o) = o + 4. Let m be p(x). Is m < 2/95?
False
Let x = -86 - -75.5. Let z = x - -12.5. Does 2.3 = z?
False
Let k = 3 - 1. Suppose -g + u - 23 = -4*u, g + 2*u = 12. Suppose g*m - 2 = m. Is m bigger than k?
False
Let o(m) = m**2 + 2*m - 9. Let z be o(4). Is z > -30/13?
True
Let v = 2 + -2. Suppose -10 = -v*u + 2*u. Suppose 0 = 3*d - 2*c + 29, 3*c = -5*d - 1 - 22. Is d at most as big as u?
True
Let q = 27 - 19. Suppose -20 = -7*o + q. Suppose -o*a - 24 = 4*a. Which is smaller: -1/2 or a?
a
Let n be -7 + (-1)/(-2)*-2. Let c be n/(-18)*27/18. Which is bigger: -3/5 or c?
c
Let d be (2772/121 - 5) + -1. Is d at least as big as -0.1?
True
Let a be (4/8)/((-12)/(-8)). Let g be 5 + -3 + (-1 - -6). Is a at most g?
True
Let a = 0.0683 - -5.9317. Which is greater: -0.1 or a?
a
Let b(i) = -3*i**3 + 3*i - 1. Let t = 8 + -6. Let v be b(t). Is -19 at least v?
True
Let y(r) = -r**3 + 4*r**2 + r - 2. Let n be y(4). Let a be (-78)/12*(-4)/n. Suppose g - j = -1, -g - a = 3*g + 5*j. Which is bigger: -4/5 or g?
-4/5
Let p(s) = s**2 + 2*s + 1. Let r be p(0). Let b be (-2)/r*(-16 - -15). Which is bigger: b or 5/3?
b
Let b = -8.29 - -5.29. Is 1.1 <= b?
False
Let j = 1110 - 1113. Is j smaller than -18/11?
True
Let u be ((-1)/(-23))/(26/4*-2). Let t = u - -350/15249. Is t less than or equal to 0?
False
Let u(w) = -2*w**2 + 17*w + 2. Let k be u(8). Let f be (-11 + 9)/((-76)/k). Is 1 at least f?
True
Let u(t) be the first derivative of 5*t**2/2 + 4*t + 10. Let s be u(-7). Is -30 smaller than s?
False
Suppose 52 = 4*t - 3*o + 203, 5*t + o + 184 = 0. Which is smaller: -35 or t?
t
Suppose 0*d = 3*d - 36. Suppose -7*l - 173 = 9. Let k = l - -53/2. Which is bigger: d or k?
d
Let s be 159/(-42) - 4/56*-4. Let v(o) = -4*o + 1. Let j be v(1). Which is smaller: s or j?
s
Suppose -2 = 3*g - 14. Suppose 17 = -2*m - 3*p + 4*p, -55 = g*m + 5*p. Let a be 6/m - (-136)/360. Which is smaller: a or -2?
-2
Let z = -502 + 488. Is -51/4 at most as big as z?
False
Let p = 9/8 + -35/24. Let n = -1001 + 1003. Is p equal to n?
False
Suppose 19 = v - 2. Suppose v = -34*z + 31*z. Is z at most as big as -5?
True
Let m = -113/88 - -88203/68552. Which is smaller: -1 or m?
-1
Let m = 23.972 - -0.028. Let p = -23.98 + m. Let h be -4*((-2)/4)/(-1). Which is greater: p or h?
p
Suppose -3224 - 22942 = 42*j. Is j <= -623?
True
Let t = -388 - -377. Is 3 less than t?
False
Suppose 4*h - 4*j - 72 = 0, -5*h = -j + 2 - 100. Is h less than 24?
True
Let y be (2 - 2) + (18/(-15) - -1). Is y at least as big as 28?
False
Let d = -0.023 - -22.023. Let l = 19 - d. Let w = -2.08 - -0.08. Which is bigger: w or l?
w
Let r = -146 - -145.98. Is 1/5 greater than r?
True
Suppose 4*l + 12 + 0 = 0. Let r be (-2 - (l - 1)) + -3. Let w = -29 - -57/2. Is w at most as big as r?
False
Let q(z) = z**2 + 7*z - 12. Let i be q(-9). Suppose -8 = -3*f - b, -6*b + 2*b + i = -f. Let w = -577/4 + 145. Which is smaller: w or f?
w
Let b = 1/260 - -453/520. Let y = 3/8 - b. Suppose 4*s = -4*v - 12, 4*v + 5*s + 24 = 7. Is y greater than v?
False
Let w be (-3 + 13 - 6)/4. Which is smaller: w or -2/99?
-2/99
Let p(c) = 188*c - 4. Let h be p(-1). Let t = -763/4 - h. Let s(a) = -a**2 - 4*a + 6. Let o be s(-5). Is o >= t?
False
Suppose 2*v + 68 = -0*h + 3*h, 4*v + h + 164 = 0. Let u be (-15)/v*(-26)/17. Let p = u + 14/17. Is p less than 0?
False
Suppose 21 - 26 = -5*h. Which is smaller: 3/74 or h?
3/74
Suppose 0 = k + 9 + 12. Suppose -512*m = -523*m - 209. Is k bigger than m?
False
Suppose -3*v = 11 - 5. Let n = -16 - -10. Let j be 40/(-75)*n/(-4). Is j greater than or equal to v?
True
Let c be (-56 + 57)*(0 - 0/(-2)). Is c not equal to -8/19?
True
Let n(f) = -f**3 - 41*f**2 - 34*f + 318. Let s be n(-40). Which is greater: s or 72?
s
Let g(o) = -o**3 + o**2 - o + 11. Let x be g(0). Let t(d) = -d**2 + x*d - 5 - 23*d + 0*d**2. Let q be t(-10). Which is smaller: 14 or q?
14
