+ 1 + p. Suppose 3*g = 15, -3*j + 25 + 13 = t*g. Is -2/7 greater than j?
False
Let x = -209 - -183. Which is greater: -23 or x?
-23
Suppose 16 = 4*x - 0. Suppose -x*k - 2*n - 12 = 0, 3*n - 7*n - 21 = 5*k. Let v be (-4*k/(-94))/(-1). Is 1 at most v?
False
Let m be 8/((-8)/(-2))*3/(-6). Let o = 219 + -5039/23. Which is smaller: o or m?
m
Suppose -5*y = -2*y - 114. Is y at most as big as 43?
True
Suppose -d + 5*d = 76. Let t = 24 - d. Suppose t*p - 4*v + 4 + 1 = 0, v = -4*p - 4. Which is bigger: -3/11 or p?
-3/11
Let x = -4.161 - -4.2. Let d = -0.039 + x. Which is bigger: 1.2 or d?
1.2
Let c be -4 + 3 - 2*1. Let m(s) = -6*s**2 - 2*s + 2. Let r be m(1). Let f = c - r. Which is bigger: f or 6?
6
Let s = 29919/4 - 7617. Is s equal to -136?
False
Let f = -664 - -664. Is f <= 8/199?
True
Let b = -8 - -22. Suppose 4*t + 2 = b. Is 18/11 less than or equal to t?
True
Suppose -6*d + 41 + 13 = 0. Suppose d*w = 8*w + 11. Let q = -9 + 20. Is w greater than or equal to q?
True
Let x = 263 - 258. Is x != -2.4?
True
Suppose 9*w = 2 + 7. Is -3/37 <= w?
True
Let p = 670 - 690. Is -4 < p?
False
Let m = 4 + -18. Let z = -20 - m. Let v = z + 13. Which is bigger: v or 0?
v
Suppose 2*v + 32 = g, 0 = 5*g + 3*v - 0*v - 95. Let a = g + -20. Let h be ((-6)/(-9))/(a/(-3)). Which is bigger: h or -1/24?
-1/24
Let v(n) = n**3 - 12*n**2 - 13*n + 24. Let d be v(13). Let w be 90/d - 3/(-12). Does 11/4 = w?
False
Let x(y) = -y**2 + y + 6. Let k be x(3). Suppose k = -4*v + 2*v + 2*u + 12, 0 = -v + 2*u + 8. Suppose v = -l + 3. Is 0 < l?
False
Let c be (0 - -1) + (-17)/((-68)/(-3316)). Which is greater: c or -826?
-826
Let t = -0.2 - -0.1. Let w be 1 - ((-395)/(-45) + -8). Which is smaller: t or w?
t
Let g(b) = b**3 + 8*b**2 - 33*b + 3. Let n be g(-11). Is 35/19 equal to n?
False
Suppose -9 = -2*k + 5. Suppose d = -k + 5. Let u = -87/7 - -414/35. Is d at least u?
False
Let s = -240697/116 - -2075. Is -1 <= s?
True
Suppose -24*c + 23*c - 49 = 0. Let v = 52 + c. Which is greater: -3 or v?
v
Let l(i) = i**2 - 2. Let w be l(0). Let a = w + -1. Is a equal to -7?
False
Let g = 2.34 + -2.449. Let l = 0.009 + g. Which is greater: l or -25/4?
l
Let g = -275 + 275.1. Which is bigger: -4 or g?
g
Suppose -17 - 13 = -5*s. Suppose 3*o + 4 = 2*o. Let t be (o/s)/((-57)/9). Which is smaller: t or 0?
0
Suppose d - 4*d = 0, 2*h + d = 6. Suppose w - 77 = p, -w - 3*p = -16 - 45. Suppose h*i = -5*t - w, -2*i + 7*i - 2*t + 101 = 0. Is -20 < i?
False
Let z be 0 - (2/(-15) + (-11)/55). Is 219 less than z?
False
Suppose 0 = 30*r - 48 - 1362. Which is bigger: r or 43?
r
Let b be ((-12)/72)/(2/(-6)). Let p = -1.11 + 0.21. Which is greater: p or b?
b
Let b = -1/45 - 1/5. Suppose 2*p = -p. Suppose -v + p*v = 2*z - 3, -5*z + 4*v - 25 = 0. Which is smaller: z or b?
z
Let p(a) = a**3 - 5*a + 3. Suppose 0 = -3*h + 12 - 6. Let f be p(h). Is f > -1?
True
Let q = -2 - -5. Suppose 23 = -4*z + q. Let y = 1032 - 1029. Do y and z have the same value?
False
Let a(g) be the second derivative of -g**5/20 - g**4/12 - g**3/3 - g**2/2 - 18*g. Let p be a(-1). Let f = -307/9 + 34. Which is greater: f or p?
p
Let n = -0.31 - -13.31. Suppose 7*z = -j + 10*z - 1, -3*z = 2*j - 7. Suppose 5*d - 5 = 0, -j*v - 3*d = -6*d + 3. Which is bigger: v or n?
n
Let i be (-2 + 19)*(10 + -9) + -3. Which is smaller: i or 2.1?
2.1
Suppose 0 = 2*f - 14 - 14. Let o = f + -8. Suppose -5*p + 2*z = -0*z - 27, -5*z - 10 = -p. Which is smaller: o or p?
p
Suppose -62 + 22 = -2*k. Let n be (k/90)/(5/6). Which is bigger: -1 or n?
n
Suppose -64*q = -75*q - 32472. Are -2952 and q equal?
True
Let t(a) = -a**3 + a**2 - a + 4. Let h be t(0). Let o be (2 - 4/h)*1. Which is greater: o or 7/5?
7/5
Let l be ((-4)/150)/(4746/(-280) + 17). Which is greater: 0.3 or l?
0.3
Suppose -t + 6 = -16. Suppose y - t = -6*w + w, -y + 7 = 2*w. Suppose 0 = -3*v - 2*z + z - 13, 5*v - z + 35 = 0. Is v less than y?
True
Let a = -2/3925 + -993021/7850. Is a equal to 2/7?
False
Let x be (-19)/7 - (-2)/(-7). Let m = 6 + x. Let t be (-1)/(48/15 - m). Is -5 bigger than t?
False
Suppose -3*a - 25 = -4*r, -3*a = r + 32 + 3. Let t = 12 + a. Suppose -5 = -q - t. Is q greater than or equal to 4?
True
Let s = -53.99 - -53. Let y = 0.21 - s. Which is smaller: -2 or y?
-2
Suppose -l + 5 = 0, -w - 14 - 9 = -l. Which is smaller: -23 or w?
-23
Let n(k) = k + 2. Let q be n(3). Suppose -2*y = -q*l + 2, l - 4*y - 4 = -0*l. Suppose l = 9*r - 4*r + 35. Is -15/2 less than r?
True
Suppose -4*k = -k - 228. Let g = k - 379/5. Let t be ((-24)/9)/(8/24) + 0. Which is greater: t or g?
g
Let h = 70 + -122. Let q = h - -52. Which is smaller: q or 12/17?
q
Suppose 0*b - 3*b + 2*f + 5 = 0, 0 = 3*b - f - 7. Suppose h + 26 = b*j - 4, 2*h = j - 15. Suppose -j*s - 2 = -8*s. Is s != -1/2?
True
Let w = -56 + 60. Suppose -4*k - 11*u = -6*u + 25, w*u = k - 20. Does 15 = k?
False
Let n = 323 - 323. Which is smaller: -2/645 or n?
-2/645
Let y be ((-15)/20)/((-3)/16). Suppose 5*a - 25 = -4*h - y, -4*a - 3*h = -16. Let s = -36275/213 - -511/3. Are s and a equal?
False
Let i(j) = -58*j + 416. Let y be i(0). Is y greater than or equal to 416?
True
Suppose l + 14 = 3*l. Suppose -l*x + 9 = -16*x. Do 6/85 and x have different values?
True
Suppose 14*j = 1274 - 5502. Is -302 <= j?
True
Let m be -3 + (17 - 0)*1. Suppose -3*j + m = -19. Suppose j = 4*x - 9. Is 4 bigger than x?
False
Suppose 74 - 338 = 6*t. Let y = -42 - t. Do y and 1/9 have different values?
True
Let v = -14126 + 1101947/78. Let g = 1/39 - v. Let w = 0.3 - 0.2. Which is greater: g or w?
w
Suppose 0 = 4*r - 5*a + 26, 2*r = 4*r + 2*a - 14. Let w = -41 - -79. Is r at least w?
False
Let k = 34.083 - 0.083. Let x = 34.1 - k. Which is smaller: x or 0?
0
Let a be 20/(666/132 + -5). Does a = 440?
True
Let i be (-281)/(-18) + 68/(-612). Let b be 15 - -1 - -1*1. Which is bigger: b or i?
b
Let p = -4384511/178 - -24632. Is p greater than or equal to 0?
False
Let t(o) = o**3 + 5*o**2 + 4*o + 8. Let r be t(-4). Let i be 6/(-4)*(-16)/r. Let j be i/(-12)*(0 + 2). Do j and -2 have the same value?
False
Let l = 467 - 4216/9. Is l > -5?
True
Let m be ((-180)/(-42))/(-3) - 0. Is m not equal to 0?
True
Let q be (26/4)/((-1528)/128 + 12). Is 106 at least as big as q?
True
Let x = 189/22 - 100/11. Which is greater: x or 35?
35
Let u be (-8)/16*(-5 - 1). Suppose 11 = 4*k + u*d, -3*d = d - 4. Let b be 2 + (2/2)/3. Which is smaller: b or k?
k
Let f(v) = 2*v**3 - 8*v**2 + 13*v + 9. Let j be f(5). Suppose -60*q + 56*q = -j. Is q at least as big as 32?
False
Let v = 15/128 - -211/384. Is 421 bigger than v?
True
Let l be 12*(-903)/(-28) + 7. Which is smaller: l or 395?
l
Let k(m) = 2*m**2 + 15*m - 5. Let h be k(-8). Suppose 0*q = h*q + 51. Is -19 at most q?
True
Let g = -203/960 + 5/64. Let m be ((-3)/12)/(-1)*20. Suppose -m*s - 2 = -7. Which is greater: g or s?
s
Let z = -5 + 3. Let g = 1.7 - 4.4. Let k = g - 0.3. Is k != z?
True
Let p = -0.051 - 51.949. Is -1/5 smaller than p?
False
Let w = 704 - 1224. Which is bigger: w or -519?
-519
Let s = 17 + -47. Let b = -22 - s. Is 6 < b?
True
Suppose -2*r + 8 = 8. Suppose r = 2*p - 2*h - 2, 5*p = 2*p - h + 3. Let b be 17/(-36) + 3/12. Which is bigger: p or b?
p
Let d = -25/3 - -128/15. Let o be (-52)/(-78)*(-6)/(-10). Are d and o nonequal?
True
Suppose -31*r + 5*d + 10 = -36*r, -4*d = 3*r + 5. Which is bigger: r or -30/11?
-30/11
Let q be ((-18)/(-12))/(-3) + (-22)/(-4). Let i(z) = 9*z - 40. Let p be i(q). Which is smaller: -3 or p?
-3
Let p = 408 + -407. Which is greater: -5/92 or p?
p
Let i be 5 + 1 + -5 + 4. Suppose 5*s = 5*c - 140, -i*s + 0*c - 158 = 4*c. Let d be (-2)/(-5) - 8/s. Which is greater: d or 0.2?
d
Let d be (-3 + 18)*(1 + -2). Let h be 2 + 1 - d/(-6). Which is smaller: h or 0.6?
h
Suppose 0 = -4*k - 2*v - 2992, -110 = 2*k - 3*v + 1386. Which is bigger: k or -1?
-1
Let q = -106 + 106. Suppose q = 9*s + 17 + 64. Is -10 greater than or equal to s?
False
Let o be 2/(-28)*4 - (-24)/(-14). Which is bigger: o or -1?
-1
Suppose 3*q + 36 = -q. Suppose -12*s + 7034 - 7070 = 0. Which is greater: q or s?
s
Let l = 54 + -53.43. Let w = l + -0.6. Let y be 3/(-5)*-5 + -3. Is y at least w?
True
Let r(l) = 2*l**2 + 32*l - 72. Let w be r(-21). Is w <= 136?
False
Let v = -36 + 36. Let z = v - -0.04. Which is smaller: z or -3?
-3
Let y = -87.3 - 7. Let n 