, 3 + 3 = 4*x - y. Is x bigger than z?
False
Let s = 79 - 1187/15. Let l = s + -1/5. Let x be (2 + 3)*(-1 - 8/(-10)). Which is greater: l or x?
l
Suppose j = -5*j - j. Which is smaller: j or -13/15?
-13/15
Let i be (8 - 4) + 217 + 4 + -10. Does i = 216?
False
Let i be (-1)/(-2) - (-12)/(-8). Let x be i + (-22)/(-4) - 3. Let j = 3.4 + -4.4. Which is smaller: x or j?
j
Let v = -4/167 + -449/2171. Are 0.1 and v nonequal?
True
Let u be (-5)/(-2)*4 - -1. Let y = -6 + u. Let a(o) = -6*o**2 + 29*o - 25. Let n be a(3). Which is greater: n or y?
n
Let s = 284 + -283. Which is greater: -3/130 or s?
s
Let f = -39899/4 + 10029. Let b = f + -54. Let q = -4 - -3. Which is smaller: q or b?
q
Suppose r + 1 - 2 = 0. Let h be (-4)/(-5) - (r + -3). Is -2/3 greater than or equal to h?
False
Suppose 4*u + 156 = -5*h, -164 = 5*h - u - 3*u. Let g = 752 - 784. Let i = g - h. Is i smaller than 0?
False
Let k = 56.75 - 0.75. Let y = -58.7 + k. Let g = y - 3.3. Which is greater: 2/3 or g?
2/3
Suppose 3*k + 2*q - 3 = 0, -49 + 40 = -3*k - 4*q. Is k less than 2/163?
True
Let s(o) = -o**2 - 11*o - 14. Let w be s(-9). Suppose 0*k + 184 = -w*k. Which is greater: -48 or k?
k
Suppose 2619 = -3*s + 39. Which is smaller: s or 0.2?
s
Let n(b) = 5*b**3 + 8*b**2 - 5*b - 20. Let x(i) = 3*i**3 + 5*i**2 - 3*i - 13. Let m(l) = -5*n(l) + 8*x(l). Let z be m(0). Which is smaller: -3 or z?
z
Let t = -22 - -13. Let d = -10 - t. Let n = 0 - -0.1. Is n at most d?
False
Let s(o) = -o**2 - o - 1. Let c be s(-3). Let l = c + 4. Suppose 25 = -b + 21. Which is smaller: b or l?
b
Suppose 3*h - 22 = -7. Suppose -h*k - 168 = -19*k. Is k greater than or equal to -2?
True
Let x = 52 + -60.3. Let u = -8.297 - x. Is u < 0?
False
Let f = -30 - -32. Suppose -f*o - 3*o = 90. Are -19 and o non-equal?
True
Suppose -5*i + 10 = -5*q, -2*i + 0*q = 2*q - 20. Let p be 2/6 + i/9. Let a = -2 + 60/31. Which is smaller: p or a?
a
Let f = -17.5 - -32.4. Let q = 0.38 - -14.62. Let i = f - q. Which is greater: 1 or i?
1
Let g = 63.9 + 21.1. Let a = g + -78. Which is bigger: a or -0.2?
a
Let k = -1076 - -1075.93. Which is smaller: -1/17 or k?
k
Let s(y) = -y**2 + 3*y + 3. Suppose 0 = -5*k + 2*t + 16, -5*k + 14 = -3*t - 0*t. Let h be s(k). Let c be (-2 - h) + 7/14. Which is smaller: c or -2?
-2
Let x = -908 + 29966/33. Let m be 16/20 - 4/5. Which is smaller: m or x?
m
Let s be (-5*(-4)/1)/((-7)/7). Which is smaller: 4 or s?
s
Let r(h) be the first derivative of 3*h**4 + 2*h**3/3 - h + 7. Let i be r(-1). Is i at most -11?
True
Let q be (-14)/77 - 204/(-880). Is q < 1?
True
Let r = 0.45 + 6.2. Let v = r - -0.35. Let f = -4 + v. Which is smaller: -1/3 or f?
-1/3
Let u = -3/4 - -17/12. Let m = -1 - 2.93. Let b = m + -0.07. Is u <= b?
False
Let j = -24 + 24. Suppose -i = -5*u, j = i + 3*u + u. Are i and -2/35 equal?
False
Let y be ((-6)/(-9) + 0)*(-12)/8. Let l = -14 - -12. Is y bigger than l?
True
Suppose -2*i - 28 = -18. Let q = -10.9 - -11. Does i = q?
False
Let m be 1 - (12 - 1) - 0. Let w = -14 + 27. Suppose -2*d - w = 7. Is m equal to d?
True
Let u = 3.9 - 4. Suppose 4*i - 160 = -0*i. Let d = i - 40. Does u = d?
False
Let m be 94/18 + 2/(-9). Let a be m/(-7)*4/(-10). Suppose 3*w - 5*p + 19 = 0, -5*w = 9*p - 7*p + 11. Is w <= a?
True
Suppose 0 = 8*y + 20 + 60. Let b be 3/(-6)*(y + 7). Which is greater: 2 or b?
2
Let f = -8911/9 + 989. Which is greater: f or -5?
f
Let h(j) = -6*j - 8. Let q be h(-2). Suppose 3*o + 27 = -2*y, -q*o = -8*y + 3*y - 56. Is y smaller than -13?
False
Let t = 107 + -174. Let p = -34 - t. Let m = -32.2 + p. Which is smaller: m or 0.1?
0.1
Let p = 40.5 + -17.6. Let m = p + -23. Are m and -19 non-equal?
True
Let f = 13 + -11. Let l = f - 5/2. Let j be 4/3*(-4)/(-24). Is l less than or equal to j?
True
Let y = 876 + -875. Let d be -14*(-4)/2 + 1. Are d and y equal?
False
Suppose 2*d + 7 = 5*h - 5, 2*d - 20 = -3*h. Suppose 4*u + 3*w = -w + 4, 4*w = -2*u + h. Suppose u = -3*b + 2*b. Which is bigger: b or -1?
b
Suppose 2*j - 7*j - 5*f + 25 = 0, 0 = 2*j - 5*f + 18. Let s(p) = 5*p + 3. Let l be s(-2). Let q be (0 - -2)/(-3 + 5 + l). Is j smaller than q?
False
Let j be (-2)/6*(0 - (-102)/(-15)). Which is smaller: 2 or j?
2
Let p = 10 + -11. Let y be ((-10)/190)/(1/p). Is y bigger than 0?
True
Let l be 9/2*((-8)/6)/(-2). Suppose -l*g - 12*g - 330 = 0. Is g at most -21?
True
Let t be (12/36)/(7511/2070). Let y = -3/259 - t. Which is smaller: y or 0?
y
Let q = -327.9 - -344. Let c = -15 + q. Which is smaller: c or 0?
0
Suppose 0 = 2*t, -3*h + 2*t = -7*h. Which is greater: h or 1/365?
1/365
Let q = 1 + -1.1. Let p = 60.3 - 62.73. Let f = p + 0.43. Is f at least as big as q?
False
Let a = -0.387 - 0.06. Let x = a + -0.053. Let g = 1795/11 + -163. Do g and x have the same value?
False
Let a = 702.1 - 702. Is -1.9 greater than a?
False
Suppose y + 5*z - 340 = 6*y, -3*z = 4*y + 300. Which is bigger: y or 0.1?
0.1
Let x = 0.044 + -0.144. Is x > 32?
False
Let x be ((-262)/(-12))/(57/342). Does 131 = x?
True
Let m be (0/2)/((-2)/1). Let s be (-15 + 12)/(30/(-4)). Which is smaller: m or s?
m
Let d = -209 - -209. Which is smaller: -4/13 or d?
-4/13
Let a(s) = -s**3 + 5*s**2 - 4*s + 5. Let l be a(4). Suppose -2*k + 6 = -4*n, -k = n - 5*k + 19. Let t = n + l. Is t not equal to 7?
True
Let f = 9.07 + -8.6. Let u = 0.67 - f. Does u = 0.08?
False
Let n = 111 + -7. Let q be 66/n*(-24)/(-9). Is 3 at most q?
False
Let x be 33/60 + 150/(-500). Let c(i) = -20*i**3 + 2*i**2 - 2*i + 1. Let h be c(1). Let p be 2 + -2*h/(-18). Is x at most p?
False
Let y(m) = 2*m + 3. Let z be y(1). Let h(i) = -i**2 + 5*i + 1. Let l be h(z). Which is smaller: l or -1/55?
-1/55
Let d(m) = m**2 - 3. Let g be d(4). Suppose -56*i = -67*i + 143. Is g > i?
False
Let k(h) be the second derivative of 23*h**4/4 + h**3/3 - h**2/2 - 4*h. Let o be k(1). Let g be 1/1 + 10/o. Is 1 < g?
True
Let s = -30 - -122. Let c be (-3)/(1 - s/8). Which is smaller: c or 1?
c
Let n be ((-3)/(-9))/((-3)/(-45)). Suppose -3*b - 57 = -j, -2*b - 10*j + n*j = 55. Is b at most as big as -21?
False
Let m = 5107913/100 + -51080. Let f = -1/200 + m. Is -1 at most as big as f?
True
Let s = 431/5 - 86. Which is smaller: -1 or s?
-1
Let j be (4 - 6 - -3)*3. Let p be 24/(-8)*(-2)/j. Is p at least as big as 2?
True
Let w = 18.5 + 15.5. Is w greater than -8?
True
Let l = 62 + -30. Let a = -79 + l. Which is bigger: a or 1?
1
Let u = -9 + 13. Let a(s) = -s**3 + 4*s**2 - 3. Let t be a(3). Let j be t*u/(-22) - -1. Which is bigger: j or -1/3?
j
Let r be -2 + 2/(((-10)/(-4))/5). Suppose 0 = 4*g - 5*d - 21, g - 14 = 5*g + r*d. Let y = 2396/7 + -343. Is g greater than y?
False
Let l be -6*(-8*25/(-60) + -7). Which is greater: 26 or l?
26
Suppose 0 = -43*p + 38 + 177. Which is bigger: p or 1.5?
p
Let i(q) = -3*q**3 + q**2 + 5*q + 5. Let p(u) = -u**3 + u + 1. Let m(d) = i(d) - 2*p(d). Let v be m(-2). Let f = 10 + -1. Is v less than or equal to f?
True
Let b = -13 - -41/3. Let r = -616 - -8006/13. Is r bigger than b?
False
Suppose 23*v + 8602 = 6*v. Are v and -505 non-equal?
True
Let d(q) = -60*q - 595. Let h be d(-13). Is h bigger than 182?
True
Let s(o) = o + 27. Let x be s(-32). Let l(a) = a**2 - 5*a + 2. Let v be l(4). Let k = v + -5. Which is smaller: x or k?
k
Let m be 32/(-80) - 324/(-10). Suppose 99 = 6*t - 3*t. Is t bigger than m?
True
Let k = 1667/115772 + -3/412. Which is bigger: -1 or k?
k
Suppose -5*g = 7 - 52. Let y be (0 + 2)/(g/(9/(-10))). Is y less than or equal to -0.05?
True
Let v = -53.84 + 48.9. Let f = 0.06 - v. Let u = -5.1 + f. Is -1 at least as big as u?
False
Let h be 4/(-3)*9/6*1. Let q be 44/(-33) - h/(-3). Let i(p) = p**3 + 2*p**2 - 2*p - 3. Let f be i(-2). Do q and f have the same value?
False
Let p = -1 - -3. Let t = p - 1. Let o = -3.93 - 2.07. Is o equal to t?
False
Let m = -49 - -84. Is m greater than 36?
False
Let u = -24 + 36. Let y = u - 12.2. Let g = y + 0.2. Is 2/3 >= g?
True
Let o = 94/3 - 476/15. Let v = -0.146 + -5.954. Which is bigger: o or v?
o
Let z = -31 + 144. Let o = 6.2 + -5.2. Which is smaller: o or z?
o
Let u = 37 + -130/3. Let z be 4/(-5)*30/4. Which is greater: u or z?
z
Let i = 328 - 327. Do 2/1007 and i have the same value?
False
Suppose 11*x = -325 - 192. Let s = 19 - 65. Do s and x have different values?
True
Let b be (-5)/(-100) + (-1)/20. Whic