 Suppose 0 = x + 1 - 2. Which is greater: g or x?
x
Let z = -205 + 204. Is z smaller than -12/5?
False
Suppose 0 = -d + 231 - 209. Suppose r + 5*j + 6 - 2 = 0, -4*j + d = 5*r. Which is bigger: -1 or r?
r
Let s be 2/2 + 150/6. Let r(x) = -x + 39. Let w be r(13). Let u = s - w. Is u <= -2/55?
False
Let u(o) = -o**3 - 4*o**2 + 7*o + 3. Let p be u(-5). Does -13 = p?
False
Let q = -55649979/247 + 225304. Let p = -4/19 + q. Let a = p + -47/91. Which is smaller: a or 1?
a
Suppose -3*c = a - 496, 5*a + 636 = -5*c + 9*c. Which is smaller: 165 or c?
c
Let c = -136 - -143. Which is bigger: c or 61/10?
c
Let g be -1 - 2/((-20)/14). Let b = -60 - -53. Are g and b equal?
False
Let j = 1 - 7. Let s be (2/j)/(28/(-6)). Suppose 0 = u - 0*u. Which is smaller: s or u?
u
Let i(x) = -9*x - 5*x**3 + 1 + 8*x**2 + 4*x**3 + 3*x. Let a be i(7). Is a greater than 6?
True
Let l = 5022/11 + -457. Let f = -156 - -81. Let y be 2/5 + 30/f. Is l greater than y?
False
Let n = 1.36 - 83.36. Let k = n - -42. Are -1/4 and k equal?
False
Let c = -244 - -252. Let m be 2/9 - (-34)/(-72). Which is smaller: c or m?
m
Suppose 25 = 4*w - 3*n, 5*w + 6*n - n = 40. Let v be (8/3)/(w/(-3)). Suppose -c + 6 = 2, 3*c - 15 = 3*u. Is u less than or equal to v?
False
Let t = 186 + -185. Which is greater: t or 3/25?
t
Let l = 138647/8 + -73011/4. Let q = 923 + l. Which is greater: 1 or q?
q
Let u = -901 - -869. Is -1/6 at most as big as u?
False
Let c be (-4)/12 + (-4)/6 + -12. Do -2 and c have different values?
True
Let k be 5143/1739 + (-1 - 2). Which is greater: 0.5 or k?
0.5
Suppose -43*w + 180 = -48*w. Is -35 != w?
True
Let s be (70/56)/(2/(-8)). Let g be (94 - (s - -4)) + 0. Let w be 29/g - (-1)/(-5). Is w >= 0?
True
Let w = -758/3 - -252. Let i = 9 + -6. Let m be (-5 - i)/4 + 1. Which is bigger: w or m?
w
Let k = -2 + 1. Let r(c) = -13*c + 5. Let b be r(9). Let z be (1/10)/(8/b). Is k != z?
True
Suppose p + 5*d = -15, 2 = -5*p + 3*d - 73. Let b = 17 + p. Let t = b + -2. Which is smaller: -10 or t?
-10
Let g = 38 - 9. Which is smaller: g or 7/2?
7/2
Let o = 3.9 - 4. Suppose -d + 0*d = -3*b + 11, 18 = 2*b + 2*d. Suppose -3*x = -4*x + 2*j + b, -13 = -2*x + 5*j. Is o <= x?
False
Let y(o) = 2*o**3 + 19*o**2 + 8*o + 7. Let v be y(-9). Let f be 3/86*v/36*-3. Which is smaller: -1 or f?
-1
Let z = 0.1 + -0.08. Let x = -682 - -683. Which is greater: z or x?
x
Suppose 0 = 3*f + f - 64. Suppose -4*q - 24 = -t, 0 = 3*t + t - f. Let k(s) = s**2 + 6*s - 5. Let w be k(-6). Is q greater than or equal to w?
True
Suppose 4*z + 26 = 5*l, 0 = -z - l - 14 + 3. Let s(q) = -q**2 - 8*q + 12. Let h be s(z). Suppose -1 + h = 2*y. Is 7/3 not equal to y?
True
Let u be (3498/18)/((-26)/90). Let m = u + 673. Which is smaller: -5 or m?
-5
Suppose u + 239 = -3*u + 3*f, 4*u + 260 = -4*f. Let n be (1212/(-26))/((-54)/(-72)). Let j = n - u. Which is bigger: j or 0?
0
Let b(w) = -w + 4. Let k be b(5). Let a = 19 - 14. Suppose a*r + r = 0. Is r > k?
True
Let d = -4 - -8. Let w be (6/d)/(6/16). Let y be -1 + -1 + -3 + w. Is y <= 0?
True
Suppose -4*j - 465 = -0*j + 5*o, -3*j = -4*o + 341. Are -0.1 and j equal?
False
Let y(l) be the second derivative of -l**3/6 - 4*l**2 + 14*l. Suppose -4*m = -4*p - 52, -3*p + 2 = -5*m + 49. Let h be y(p). Which is greater: -2/21 or h?
h
Let w be (8/6)/(10/243). Let a be (-9 + 10)/(-3 + 2) - -34. Which is greater: w or a?
a
Suppose 13*o - 9*o + 80 = 0. Let v = -29 - o. Suppose 4*g = 7*g + 24. Is g less than v?
False
Suppose 5*r + 15 = 4*w, -2*r - 3*w = -r - 16. Suppose 0*p - 2*p + 4 = 0. Suppose j = p*j - t + r, -3 = -2*j + t. Is j at most 5?
True
Let k(l) = 20*l - 28. Let v be k(2). Suppose -10 = c + 4*i, 2*i + 15 = -i. Which is smaller: v or c?
c
Let t be (5/2)/1*(-3 - -5). Suppose p - i - 5 = -4*p, p + t*i = -25. Is p at least -4/3?
True
Let x = 237 - 228. Is x greater than -3?
True
Suppose -11*u - 8 = -15*u - 4*x, -12 = -5*u - 3*x. Suppose -h - 2*q + 15 = 0, 0 = 2*h + 3*h - 5*q. Which is greater: u or h?
h
Let x = 8 - 4. Suppose 3*p + 2*p + x*v = -20, 0 = 2*v + 10. Is p bigger than 7/16?
False
Let y be (-27)/(-15) - (-2)/10. Suppose -o + 5*b - 2*b = 6, -o - y*b = -9. Let d be (-2)/o + 33/36. Is d smaller than 1/2?
True
Let w be -1*(-23)/(-4) + 6. Which is smaller: 0.057 or w?
0.057
Suppose 199 = 2*p + 9*q - 6*q, -2*q = 3*p - 301. Is p at least as big as 102?
False
Let q = 61 - 365/6. Let w(b) = b**3 - 7*b**2 + b - 5. Suppose -2*v = -7*v + 35. Let s be w(v). Which is greater: q or s?
s
Let f(t) = 222*t + 187. Let a be f(5). Which is greater: 1296 or a?
a
Suppose 11*h + 23 + 1891 = 0. Is 2 at most h?
False
Suppose 0 = 2*q - 8, -5*g = 3*q - 2*q - 19. Let k be ((-3)/(-9))/((g/(-9))/(-1)). Is k less than or equal to 6/11?
False
Suppose 612 = -4*u - 204. Which is smaller: -205 or u?
-205
Suppose 12 = 3*j - 12. Suppose -34 - 38 = -j*o. Are 7 and o unequal?
True
Let g(j) = 526*j**3 - 2*j**2 + j + 4. Let a be g(-1). Which is smaller: -526 or a?
-526
Let r(a) = a - 23. Suppose -4*h + 36 = -2*v, -3*v = -v + 8. Let l be r(h). Are l and -16 non-equal?
False
Let g be (-408)/1*12/(-8). Is g < 612?
False
Let i(l) = -l**2 + l + 7. Let q be i(3). Is 1.15 greater than q?
True
Let g = -48 + 47. Let p be ((-16)/(-10))/(39/(-15)). Is g smaller than p?
True
Let f be 1 - (-3)/(9/4). Let l be -6 + 2 + 2 - (0 + 3). Let b be (4/10)/(4/l)*-4. Is f smaller than b?
False
Let a be 11/4 + (-18)/24. Let k be -387 + 2 + a + -3. Let m = k - -2707/7. Is 0 not equal to m?
True
Let t = 23 + -16. Let q be 1 + -1 - 5 - 2. Let i = q + t. Is i <= 3/4?
True
Let u be ((-2)/2)/((-3)/(-30)). Let f be (-4)/(-2) + -10 + -2. Do u and f have the same value?
True
Let g = -973 - -5825/6. Let c = -16 - -47. Let t = c + -32. Which is smaller: t or g?
g
Let j be 3274/(-26064) - 56/(-448). Which is smaller: 1 or j?
j
Let h(p) = -p**3 + 6*p**2 + 12*p - 15. Let j be h(7). Let v = j - 20. Suppose -q = -v*q - 3. Are q and 3 nonequal?
False
Let d be (-1)/(-4 - (-38)/10). Suppose -3*m - 15 = 4*y, -d*m - 7 - 2 = 4*y. Which is greater: -10 or y?
y
Let r = 4 - 0. Suppose -d - r*d = -3*y - 3, -2 = -2*d + 2*y. Suppose -t + 3*p = -16, 5*t + d*p = -5*p - 20. Is -1 less than or equal to t?
True
Let k be 8/12*1/(-10). Suppose 0 = 24*n - 29*n + 5. Are k and n nonequal?
True
Suppose 0 = -32*q + 3*q - 29. Is 2/2985 at most q?
False
Let f = -62 - -59. Let c be (f/(-15))/(186/10). Which is greater: 1 or c?
1
Let a = 23 - 20. Let r = 6 + -1. Suppose -4*u = 2*g + r + 3, -9 = 3*u + 3*g. Does a = u?
False
Let m be 1/((-50)/(-15)*33). Let c = -1/11 - m. Is 1 < c?
False
Let t(q) = q**3 + 7*q**2 + 7*q + 10. Let o be t(-8). Let u be (-33)/o*2330/12. Let f = 58 - u. Is f at least as big as -2/3?
True
Let y be 10 - 10 - (-8)/2. Suppose 2*j = -2*z - 2, -2*j - y*z - 4 + 2 = 0. Is 3/20 greater than or equal to j?
True
Let i = 21 + -13. Let v(w) = w**3 - 9*w**2 + 4*w + 10. Let n be v(i). Which is smaller: -21 or n?
n
Let m(c) = c**3 - 9*c**2 - 4. Let p be m(9). Does -28 = p?
False
Let t(k) = k**3 + 10*k**2 - 11*k + 6. Let q be t(-11). Suppose -q*b = -2*b + 4. Which is smaller: -1/48 or b?
b
Suppose 2 = -8*n + 9*n. Suppose 26 = -4*j + 5*g - 46, 26 = -n*j + 5*g. Are j and -23 unequal?
False
Let o be (17/4 + 1)/(23/(-92)). Suppose 4*h + 45 = -39. Is o > h?
False
Let l = -4791 + 5868977/1225. Which is smaller: 0 or l?
0
Let c(o) = -58*o**2 - 2*o - 1. Let x be c(-1). Let n = x - -57. Which is smaller: n or 1/57?
n
Suppose 4*n - 8*n = 0. Let s(w) = 274*w - 561*w + 275*w - w**3 - 7*w**2 - 11. Let p be s(-5). Which is smaller: p or n?
p
Let p be ((-6)/(-3))/(1500/6). Is 1 >= p?
True
Let n = -369 + 337. Is n greater than or equal to -37?
True
Let b = -39 - -125. Let c = 90 - b. Is c at least -12?
True
Let d be 0 + 18 - 3 - 3. Suppose -12 = d*y + 12. Is y != 1?
True
Suppose c + 3 = 8. Suppose -c*y + 20 = 5*n, 2*n + y - 24 = 3*y. Let k = -7 + 13. Are k and n unequal?
True
Let o = -0.4 + 1.4. Let h = 0.21 - 0.11. Let z = 0.4 - h. Are o and z nonequal?
True
Let x be -4 + (-1)/((-57)/312). Let z = x - 307/247. Is 4 smaller than z?
False
Let r(x) = -x + 10. Let d be r(8). Let u = -4372/63 + 478/7. Which is bigger: u or d?
d
Let x be 2/((-32)/2160) + (-1 - -7). Is -130 at least x?
False
Let j = -1.55 + 0.55. Let q = -2/9 + 13/18. Which is smaller: j or q?
j
Let o = -172 - -176. Which is small