 value?
False
Let u = -114056/27 - -4228. Which is bigger: 1 or u?
u
Let z(f) = f**3 - 3*f**2 - f + 5. Let s be z(3). Suppose -155 = 5*d + s*y - 3*y, 2*y - 10 = 0. Which is smaller: -31 or d?
-31
Let n be (-5168)/1290 + 2 - (27 + -29). Which is bigger: 0 or n?
0
Let u(m) = 21*m + 1. Let q be u(-1). Let c = 2 - q. Let o = 23 + -2. Are c and o unequal?
True
Let d(j) = -4*j**3 + 9*j**2 + 8*j - 16. Let h be d(-6). Is h < 1125?
True
Let g = 26 - 19. Let y = 21 + -14. Does g = y?
True
Let i = -6.4 + 3.1. Let q = 1.7 - i. Which is smaller: 0.3 or q?
0.3
Let q = -0.0801 - -0.0201. Are q and 0.53 unequal?
True
Let v = 0.625 + 0.375. Is v bigger than -347?
True
Suppose 3*a = 1 - 4. Let t be -3 + ((-36)/3)/a. Suppose -6 = -0*r - r + 2*m, -5*r + t = -3*m. Which is smaller: 5/4 or r?
r
Let r(g) = -2*g**2 - 13*g - 5. Let f be r(-9). Let u = f - -24. Let c = -27 - u. Is c smaller than 7/5?
True
Let l be 1/(-1*1/(-3)). Let w be -2*(9/6 - l). Suppose 0 = -n - w*n - 12. Is n bigger than -3?
False
Let y(v) = -6*v + 11. Let r be y(-3). Which is smaller: r or -3?
-3
Suppose -l = -2*v + 2*l + 6, -2*v + 14 = -l. Suppose -18 = -5*o + 4*m + 14, 2*m + 6 = 0. Let a = 6 + o. Which is greater: a or v?
a
Let v = -15.917 + 15.85. Does -2/15 = v?
False
Let n be (-2*(-25)/10 - 0)*48. Which is smaller: 239 or n?
239
Let d = 2268 + -11283/5. Which is smaller: d or 11?
11
Suppose 25*k + 39 = 10 + 4. Let l = -552/7 - -79. Is k bigger than l?
False
Let o(x) = -17*x**2 + x - 1. Let j be o(-2). Let n = j + 9. Let d be (n/(-18) + -3)/(-2). Is -2/15 != d?
True
Let q = 1181 + -1260. Which is bigger: 0 or q?
0
Suppose -4*w - 12 = 4*c, c + 3*w - 1 + 0 = 0. Which is smaller: -37/8 or c?
c
Let y be 248/14 + 28/98. Let k be 330/135 - (-4)/y. Is k != 0?
True
Let w = 2.2 - 188.2. Is -1 greater than or equal to w?
True
Suppose -7 = 3*i + 4*i. Which is bigger: i or 4/11?
4/11
Let s be (-56)/(-21)*6/56. Let n = -0.05 + 3.15. Which is greater: n or s?
n
Let x(k) = -2*k**2 + 2*k + 20. Let z be x(4). Let t be (-30)/4*4/5. Which is greater: t or z?
z
Let y = 34.3 + -29. Let i = y + 1.7. Let x = i - 7. Is x greater than 0?
False
Let d(c) = 85*c + 228. Let t be d(-6). Does t = -282?
True
Let h = 4407/2 - 2202. Is h at most -39?
False
Let s be (-1 - -1) + 8/(-264)*-30. Which is greater: 2 or s?
2
Suppose 3*x = 3*z - 5*z - 4, -35 = -5*x + 5*z. Suppose x*p = -n - 54, 2*n - 4*n + 67 = -3*p. Is p <= -24?
True
Let k be (-21)/(14/(-4) - 4). Let u = -29 + 32. Which is greater: k or u?
u
Let p be ((-12)/928)/(45/(-20)). Is -1 != p?
True
Let z = 82 - 208. Let k be ((-36)/z - 2/7)/1. Which is smaller: -1/137 or k?
-1/137
Let f = 32 + -36. Suppose -n - 1 = -0*n. Let y be 1*(-1)/n*-6. Are f and y nonequal?
True
Let t be 3632/(-13006) - 2/(-7). Is t < -1?
False
Suppose 0 = 28*l + 247 + 89. Which is smaller: -16 or l?
-16
Let n be ((-140)/(-50))/(1/5). Let h be (-176)/1008 + 4/n. Is h at least as big as 1?
False
Let n = -1/9363 + 168577/402609. Is n > 0?
True
Suppose -9 = 4*w - 41. Let t be w + 123/(-15) - 26/(-5). Is 5 at least t?
True
Let a = -0.23 + 0.13. Let w = 5 + -16. Which is smaller: a or w?
w
Suppose -1202 = 2*m - 4*f + 660, 0 = -5*m - 2*f - 4595. Is -921 less than m?
False
Let h(p) = p**3 - 3*p**2 - 2*p + 3. Let u be h(3). Let r(q) = q**2 + q - 4. Let t be r(u). Suppose 1 = -3*b - l, 0 = -b - t*b + 3*l + 15. Is -7 not equal to b?
True
Let j(u) = u**2 + 7*u + 22. Let q be j(-9). Suppose q = -22*w + 27*w. Suppose 0 = -s + 2*c + 18, 2*s - 7*c + 2*c - 41 = 0. Is s > w?
False
Let w be 2/86*(-28 + 29). Which is smaller: w or 0?
0
Let l = 1312.13 - 1295. Let q = l - 17. Let h = 0.07 + q. Which is greater: h or 0.5?
0.5
Let y = 3/7 + -23/21. Let k = -2.96 + 3. Are k and y non-equal?
True
Let q = -6 + 27. Let m = q - 21.1. Which is smaller: m or 0?
m
Let i = 0 + 0. Let u be 12 + 490/(-20) + 4. Is u smaller than i?
True
Suppose -2*z - 83 = 65. Let l = z - -74. Is l < 1/23?
True
Let x = 2203 + -15461/7. Let r = -5 - 1. Which is bigger: r or x?
x
Let m be (105/(-6580))/((-6)/(-4)). Is 0 equal to m?
False
Let j = -4.07 + 4. Let n = -6.07 + 6. Let f = j - n. Which is greater: f or 2/3?
2/3
Let v = -0.3 + 18.3. Let l = -12 + v. Which is bigger: -1 or l?
l
Let n = -440 - -472. Which is bigger: 4 or n?
n
Suppose 4*r + 0*p - p + 2294 = 0, -2*r = -2*p + 1150. Let h = r - -30943/54. Which is bigger: 1 or h?
1
Let x(j) be the first derivative of 5*j**4/6 - j**3/2 + j**2 - 2*j + 3. Let a(c) be the first derivative of x(c). Let k be a(1). Which is smaller: k or 2?
2
Let d be (-2)/(-7) + 452/(-14). Let h(m) = 2*m**2 - 5*m - 31. Let p be h(7). Let y = d + p. Do -1/11 and y have different values?
True
Let j = -128 - -117. Let q be -1 + 12/10 + j/55. Which is smaller: q or 3/8?
q
Let i = -117 - -586/5. Let y(j) = -14*j**3 + 10*j**2 - 18*j - 11. Let u(f) = -5*f**3 + 3*f**2 - 6*f - 4. Let z(p) = 11*u(p) - 4*y(p). Let t be z(6). Does i = t?
False
Let m = 1194/5 + -238. Let t = -0.08 + 1.18. Let u = t + -1. Which is smaller: u or m?
u
Let c = 0.168 - 1.458. Let d = c - -0.29. Which is smaller: 6 or d?
d
Let d = 29 - 35. Let b be d - (4 + -11 + 4). Which is smaller: -5 or b?
-5
Suppose 0 = 3*p - 3, 0*h + 5*h + 2*p + 478 = 0. Let q be h/483 - 8/(-28). Let v(u) = u + 3. Let x be v(-4). Is q at least x?
True
Let l(r) = r**2 + 2*r - 3. Let z be l(-3). Suppose z*q - 2*q + 30 = 0. Suppose 8*m = 10*m + 8, -4*s = -3*m - 76. Are q and s non-equal?
True
Let r = 0.145 - -6.035. Let c = r - 6. Which is bigger: c or 1?
1
Let a = -1.81 - -1.7. Let k = a - 0.09. Let o = -2086/9 + 232. Which is greater: k or o?
o
Let i = -246.6 + 244.298. Let j = -0.002 - i. Let h = j - 3.3. Is -1 < h?
False
Let j = -1.3 + 1.37. Let z be (-522)/(-30) + -5 - 4/10. Let w be ((-62)/12 + 5)/((-2)/z). Which is smaller: j or w?
j
Let c be (-3 + 2 - 2) + 6. Suppose 6*x - 186 = c*x. Which is smaller: 63 or x?
x
Let c = -9 + 14. Let u be (-1)/c + (-456)/(-30). Let s be ((-4)/(-20) + 36/(-20))*-10. Which is smaller: u or s?
u
Let h = -8 - -7. Let p = -1561/155 + 51/5. Let w = p - -3/217. Which is smaller: w or h?
h
Let k be (-4 - -1) + -1 + 858/195. Let l = 3/20 - -9/40. Which is smaller: k or l?
l
Suppose 0 = 5*x - 71 - 29. Suppose 0 = q - 0*y + 4*y + 12, -2*q + 3*y + x = 0. Are 18/5 and q equal?
False
Let g be ((-3)/7)/(36/(-12)). Let p be (6/8 + 0)*8. Let a be (-1)/3 + (-4)/p. Is a at least g?
False
Let z = -1059 + 2117/2. Do 229 and z have different values?
True
Let f = 37 - 31. Let p be 9/(-21) - f/(-14). Is p greater than or equal to 2/87?
False
Suppose -3*w + 21 = -0*w - 3*m, -4*m = 4. Let q be 39/18 - w/4. Let z = -0.3 - -0.6. Is z at least as big as q?
False
Let u = 0.13 + -0.03. Let q = -30.32 + 1.32. Are u and q equal?
False
Let b = -1/19706 - 14701/1546921. Which is smaller: b or 0?
b
Let k(z) = 2*z + 28. Let p be k(-12). Suppose -11 = -g + p. Which is smaller: g or 13?
13
Suppose -12*j - 501 + 177 = 0. Is j smaller than -21?
True
Suppose 45 = -6*b - 3*b. Let r be (1*2)/2 - -5. Let u = r + b. Which is smaller: -1/6 or u?
-1/6
Let f = 5 - 4. Let a be -1 + 3 + (f - 3). Let m = -103/266 - -6/19. Which is smaller: m or a?
m
Let c be 10/(-20) + 1/(-2). Let l(s) = -3*s. Let i be l(c). Suppose t + i*t = -4. Is t at most as big as 0.1?
True
Let u(p) = p**2 - 2*p + 2. Let g be u(0). Suppose 0 = -t + 1, -1 = 3*w - t - 3*t. Let h = w - 3. Is h less than g?
True
Let t(n) = -2*n**2 + 43*n + 44. Let a be t(23). Let u = 0.2 - -0.8. Which is bigger: u or a?
u
Let b = 789 - 1379. Which is bigger: -1 or b?
-1
Suppose 1 = -2*v - 3*f, -5*v + v = 5*f - 1. Suppose 5*s = -v*s + 108. Which is bigger: s or 98/9?
s
Let r be 4/(-3) - (-279)/27. Let v(a) = a**2 - 8*a - 9. Let x be v(r). Which is greater: 13 or x?
13
Suppose -n = 14*n + 45. Which is smaller: n or -32/19?
n
Let o = 661.5 - 663. Is o bigger than 1/5?
False
Suppose -14*d = -10*d - 4. Which is smaller: 2/675 or d?
2/675
Suppose 2*n = -4*c + 10, 6 - 2 = -4*n. Let k be 5 + (-1)/((-25)/(-135)). Which is smaller: c or k?
k
Let x be ((-57)/12 + 4)*(-400)/12. Suppose 4*c - 72 = c. Is x less than c?
False
Let m be 8/5*365/(-2). Which is smaller: m or -291?
m
Suppose o + k - 13 = -3*o, 2*k = 3*o - 18. Let a be (-968)/(-1380) + o/(-6). Let u = a + 416/1265. Is -1 at least u?
False
Let s = -1.6 + 1.6. Let i = s + -1. Let j be (-16)/(-33)