 most as big as z?
True
Let t = -6160161 + 1613958387/262. Let q = 29/2 + t. Which is smaller: -1 or q?
-1
Let p = 550.02 - 583. Let a = -2.38 - p. Let j = a + -31. Is -2/13 at least as big as j?
True
Let s = 2541905/491 - 5177. Which is bigger: s or 1?
1
Let n(w) = -w**3 + 4*w**2 - 2*w - 1. Let g be n(3). Let q be (-8)/20*90/(-87). Let b = 147/145 - q. Is g equal to b?
False
Suppose -4*j = -3*a - 142, -3*j + j + 50 = -a. Let f = -38 - a. Let h be f/18 + 18/(-81). Does h = 0?
True
Let j = 18646 - 17696. Is j at least 952?
False
Suppose 0 = -3*i - 2*x + 74, -264*x = 3*i - 259*x - 86. Suppose 3*q - 5 = 2*j + 4, 24 = 3*j + 3*q. Suppose -j*o + 84 = o. Is o at most as big as i?
True
Let t = 19982 + -20012. Which is bigger: -21 or t?
-21
Let k = -0.127 + 0.227. Is k at most 0.0784?
False
Let s(y) = 3*y**3 - 14*y**2 - 21*y + 9. Let r be s(6). Suppose -48 = r*v - 48. Which is bigger: 2/1265 or v?
2/1265
Suppose 4*m = 239 + 29. Let d = m + -105. Suppose -5*n = 4*h + 177, -h + 117 = -3*n + 4. Is n >= d?
True
Let l = -1229 - -1231. Suppose l*g + 8 = 4*g, -x - g = -26. Let n = -17214/5 + 3464. Is x < n?
False
Let z = 57 - 78. Let b = -20.913 - z. Let c = 0.187 - b. Which is bigger: c or -47?
c
Let j = -66 + 36. Suppose 4*x - 75 = 293. Suppose 2*o = 36 - x. Is o <= j?
False
Let p = 3110/28261 - 4/479. Let c(x) = x**3 - x**2 - x + 1. Let g be c(1). Is g greater than or equal to p?
False
Let x = -23 - -65. Let g = -1.85 - -43.81. Let j = x - g. Which is smaller: j or 4?
j
Let d = 0.0516 + 0.0484. Suppose -32*g + 31*g = -456. Which is bigger: g or d?
g
Let i = 102 - 100. Suppose 7*j = 5*j - i. Are j and -5/31 non-equal?
True
Suppose -4*y + 9*y + a - 152 = 0, -3*y + 3*a + 102 = 0. Suppose 6*b = -b. Suppose 11 - 53 = -2*x + 5*c, b = x - 5*c - 11. Is y <= x?
True
Suppose -2*p + 86 - 86 = 180. Which is smaller: p or -38?
p
Let y = -17334 - -17435. Suppose -8*a + 3*a + 497 = -4*q, 4*q = 8. Is a less than or equal to y?
True
Let s be 0*70/(-840)*(-1 - 1). Let j be (-298)/294 - 3/(-3). Which is smaller: s or j?
j
Let h(s) = -4*s**3 - 3*s**2 - s - 23. Let i(j) = 5*j**3 + 3*j**2 + 24. Let b(o) = -6*h(o) - 5*i(o). Let g be b(6). Which is bigger: g or -57?
g
Let z = -662 - -656. Let t be 1 + (-2)/12*z. Which is smaller: t or 8?
t
Let t(p) = 172*p + 2407. Let d be t(-14). Is d greater than 6/2273?
False
Let x = -0.824 - -0.724. Is -94/63 greater than x?
False
Let d be (-16)/(-12)*9/2. Let f be 15 + ((-1)/(-1))/((-1)/1). Suppose f = 4*w - 2*w - 4*s, -w + 7 = 4*s. Are d and w non-equal?
True
Let d = 447/2 - 43365/194. Let q = d - -2240/291. Let s = -105 + 114. Is s greater than q?
True
Let r = -141 - -150. Suppose -r = -19*j + 219. Which is smaller: j or 110/9?
j
Let i be -1 - (-11 + 7 + -2). Suppose 0 = -i*c - 5*k - 120, -19*k + 15*k = -4*c - 64. Which is bigger: -26 or c?
c
Let p = 756 - 423. Let y = 328 - p. Which is smaller: 24 or y?
y
Let k = -5645 + 5229. Is k greater than 14?
False
Suppose 9*a = 12 + 42. Suppose h + 2*f = a, -5*h - 6*f = -f - 20. Let z be 3/h + 36/8. Which is greater: z or 10?
10
Let b(g) = -84*g - 16. Let i be b(-5). Let q be i/18*21/(-7280). Let k = q + 3/130. Which is bigger: k or 0?
0
Let r be 9/(315/14)*3/(-3). Which is greater: r or 3737?
3737
Let u be 20/(41*-3 - (7 + -7)). Let o = u + 7520/861. Which is smaller: 9 or o?
o
Let y = 0.62 - 0.52. Suppose -3*h = -a + 57, -2*h - 5*a - 8 - 13 = 0. Let c be ((-12)/h)/(10/6). Is y at least c?
False
Let h = 1799 + -1832. Let o = -121 + 78. Let v = h - o. Is 19/2 > v?
False
Let w be ((-615)/5)/(50 - 51). Is w < 2796/23?
False
Let q = 547 + -537. Let f be (75/(-36))/((-4)/18). Which is smaller: q or f?
f
Let x(d) = -d**2 + 15*d - 21. Let z = 9 - 5. Suppose -z*k + 49 = 3*a, a + 4*k = 32 - 5. Let o be x(a). Which is smaller: 22 or o?
22
Let b(s) = -s**2 - 4*s + 6. Let h be b(-6). Suppose -303*c = -290*c - 6136. Let o be ((-378)/c - -1) + h/24. Do 1 and o have different values?
True
Let h be 240/(-5600)*(0 + 1). Suppose 0 = -0*i + 6*i - 24. Suppose 0 = -i*r - 2*r. Is h equal to r?
False
Suppose 33*d - 7632 + 31968 = -3*d. Let b = -10.1 - -10. Is d >= b?
False
Let p(l) = -44*l**2 - 126*l + 6. Let r be p(-3). Which is bigger: r or -223/19?
-223/19
Let p be -1 + 0 + -1 + -58. Let a be 7064/(-120) - ((-3)/36)/(25/(-40)). Is a greater than or equal to p?
True
Let a be (4 + -4)/(-1) - (-1 - 0). Let f be ((-6)/(-3) + -1)*-13 + a. Let z be -5 + (-267)/12 - (-9)/f. Is z >= 0?
False
Let q(m) = 40*m - 12. Let h be q(-5). Let j = -149 - h. Let o = -63 + j. Which is smaller: o or 4/7?
o
Suppose 2367 = -5*o + l, 49*o + 2*l - 468 = 50*o. Which is smaller: -451 or o?
o
Let i(v) = -v + 7. Let o be i(6). Let j = o + -2. Let r = -0.458 + 7.458. Which is bigger: j or r?
r
Suppose 7*b - 4*b = -146 + 17. Is b greater than or equal to 8?
False
Suppose 0 = -5*t - 2*r + 25, 4*t - r = 2 + 5. Suppose -5*l = 5*z - 350, -t*z = 5*l + 42 - 256. Which is greater: z or 73?
73
Suppose -n + 4*p = -1, -3*p = -n - 4 + 8. Suppose 13*t = -n*t - 26. Which is bigger: -1/19 or t?
-1/19
Suppose -3*a - 7752 = -3*g, 9*g = 13*g + 5*a - 10390. Which is smaller: g or 5177/2?
5177/2
Suppose -2*g + 4*u = -3*g + 5, 3*g + 5*u - 1 = 0. Let a = -3.2178 - -3.2828. Is g less than or equal to a?
True
Let z = -84161 + 85530.56. Let c = 1464 - z. Let f = -95 + c. Is -1 less than f?
True
Let r(n) = -9*n - 122. Let m be r(-14). Suppose -19 + m = -15*q. Which is smaller: 2/5 or q?
2/5
Let m(w) = -15*w**3 + 6*w - 14. Let i(c) = 30*c**3 - 14*c + 28. Let u(a) = 4*i(a) + 7*m(a). Let g be u(1). Which is bigger: 8 or g?
g
Let d = -7892 + 7892.1. Is d at least -237/2?
True
Let y = -750 + 768. Suppose -6*j + j = -h + 19, 3*h = 2*j + y. Is h >= -2/15?
True
Suppose 613 = -4*j - 3*n, -31*j + 31*j + 3 = -n. Suppose a + 2*a + 457 = -5*v, 0 = -2*a + 3*v - 292. Is a equal to j?
False
Let a be (-855 - -1071)*(-8)/6. Is a equal to -3153/11?
False
Let q be (-24)/14*(-534842)/1518. Suppose -t = -7*t + 3624. Is q >= t?
True
Let q = -3371 - -3372. Which is greater: q or -3/200?
q
Let i be 204/(-8)*-6*(6 - (-490)/(-84)). Do 51 and i have the same value?
False
Suppose -192*f = -64*f + 256. Does 666/19 = f?
False
Suppose -13*s + 39 = -13. Suppose s*l = 41*l - 37. Which is bigger: l or 2/189?
l
Let t = -14.4 - 113.6. Let m = 1.627 + 126.273. Let o = t + m. Which is bigger: o or -0.24?
o
Let u = -0.00653 + 0.00653. Which is greater: u or 972.8?
972.8
Suppose -31 = -3*v + 2. Suppose -11*t = -33 - v. Suppose 2*q + j = q - 2, -q = t*j + 8. Which is smaller: q or -8/19?
-8/19
Let n(x) = x**2 + 4*x + 5. Let p be n(-3). Which is greater: p or -1.22?
p
Let h = -340900768/5901 + 57770. Is h not equal to -1?
True
Let o = 1324895.487 - 1323934. Let i = o - 962. Let n = i + 0.013. Is n at most -1?
False
Suppose 0 = 5*t - 25, 0*b - 3*t + 5 = -2*b. Suppose b*o + 17 - 112 = 0. Suppose -2*c - 7134 = -7148, g + 2*c = 33. Are o and g non-equal?
False
Let o = -253 + 252.99. Which is smaller: o or 5.5?
o
Let g = 60 + -42. Let b be -4 + 6/(g/11). Let x = 19.5 - 19.9. Which is greater: x or b?
b
Suppose 4*k + 2*j = -1898, -3*k = 5*j + 20 + 1414. Let l = k + 466. Which is smaller: l or -44/7?
l
Let m(i) = -i + 3. Let a be m(-1). Suppose 5 = 2*d + 3*b + 3, -a*d - 4*b = 0. Is 31 < d?
False
Let b(z) = -z**3 - 33*z**2 + 98*z + 116. Let h be b(-37). Which is greater: 1969 or h?
1969
Let k = 6409 - 6409. Let c = 526/55 + -46/5. Is c at most as big as k?
False
Let p(y) = 7*y - 108. Let u(a) = -3*a + 54. Let b(o) = 6*p(o) + 10*u(o). Let n be b(9). Which is bigger: -2/151 or n?
n
Let g(u) = -u**2 + 2*u + 3. Let f be g(3). Let y = 6416 + -2155777/336. Which is greater: y or f?
f
Let o = 79441 + -1031839/13. Which is smaller: 68 or o?
68
Let r be 1 + 1 + 4/(-2). Let o = 6058 - 357425/59. Which is smaller: o or r?
o
Suppose -536*l + 539*l - 2832 = 5*j, 3*j + l = -1674. Are -2803/5 and j unequal?
True
Suppose 3*g = 3*w - 2679, w + 1423 = -g + 532. Let s = g + 111498/125. Is -1 at least s?
False
Let l = -275 - 174. Let t = l + 450.45. Which is smaller: t or 0.1?
0.1
Let l(k) = 4*k**3 + k - 2. Let z be l(1). Suppose 21 = -z*i - 15. Let j = i - -56. Is 44 less than j?
False
Let w = 1126990/57 - 19772. Is w equal to 1?
False
Let b = 171 + -166. Let a = -83 + 45. Let p = 40 + a. Is b >= p?
True
Suppose n + 0*n - 24 = -2*l, -4*