?
p
Suppose 2*o - 452 = y - 350, 0 = 4*o - 4. Which is greater: -105 or y?
y
Let g = 2355 + -2315. Which is smaller: -20 or g?
-20
Suppose -3*r + 39 = x - 2*r, 0 = 3*x + 4*r - 116. Suppose 12*p - 32 = x. Suppose p*q - 43 = 11. Is 11 > q?
True
Suppose -3*o = 4*v + 4, 4*o + 2*v - v + 1 = 0. Let t be 2*(-1)/(-4)*o. Is -1/163 at most as big as t?
True
Suppose -24*q = -9*q + 24*q. Which is bigger: 1/652 or q?
1/652
Let m = -1880/7 - -9369/35. Is -1 at least m?
False
Let x(m) = -m**2 + 20*m + 43. Let i be x(19). Suppose -i*r + 2 = -64*r. Let z be 4/(-6)*27/102. Which is smaller: z or r?
r
Let p(f) = 5*f**2 - f - f**3 - 27 + 18*f**2 - 8*f**2. Let h be ((-30)/7)/((-50)/175). Let o be p(h). Is o greater than -42?
False
Let t(l) = 2*l**2 + 5*l - 12. Suppose 172*q - 36 = 181*q. Let f be t(q). Is f at least 15/31?
False
Let d = -346 - -368. Suppose b = d - 8. Is b greater than 11?
True
Suppose 4945*j + 12 = 4951*j. Let x = 90/103 + 1482/1133. Is j less than or equal to x?
True
Suppose 46*u + c - 124 = 45*u, c = -4*u + 505. Which is smaller: 58 or u?
58
Let s = -11016/11 + 1002. Is s <= 92?
True
Let h be 1/(-3) - 6791*-2*(-28)/42. Which is greater: h or -9057?
h
Let u = 33948 - 34074. Suppose b = 48 - 172. Which is bigger: b or u?
b
Let h = 5.7 - 13.7. Let w = 809 + -809.06. Which is bigger: w or h?
w
Suppose -4*i - 46 = 24*x - 29*x, 47 = x - 5*i. Suppose -o = -5*b - 3*o + 26, -3*b = 4*o - 10. Let f be (-27)/6*(-1)/b. Which is greater: x or f?
x
Let v = 109 + -433/4. Let s = 4.32 - 10.49. Let q = s - -3.17. Is q less than v?
True
Let h = 6875 - 49106/7. Let r = -244262/1743 - h. Which is smaller: -1 or r?
-1
Let m = 8 + -8. Let c(q) = 152*q + 1034. Let x be c(-8). Is x bigger than m?
False
Let g(h) = -2*h**2 + 6*h + 3. Let v be g(5). Let k = -145 - -132. Let t be (3 - k) + -8 - 27. Is t less than or equal to v?
True
Suppose 325*c + 5*i = 324*c - 829, 0 = -4*c - 4*i - 3412. Which is bigger: c or -862?
c
Let v be (-3 + 3)/1*-1. Suppose -2*g + 16 = 4*h, 5*g = 9*g + 2*h - 26. Let t be 5 - (g + 84/(-92)). Is v at most t?
False
Let w(k) = -28*k + 74. Let n(h) = -15*h + 38. Let s(t) = -7*n(t) + 4*w(t). Let c be s(4). Suppose 0 = -j - 0 - 3. Is c smaller than j?
False
Suppose 5*w = -2*o + 4*o + 5, 5*w - 5 = -5*o. Suppose o = -5*f + 3*l + 20, 3*f - 7*f + 4*l + 16 = 0. Let c be (-76)/(-14) - (2 - 0). Which is smaller: f or c?
c
Suppose d + q + 4*q = 575, 0 = -2*d - q + 1123. Let x = d + -54879/98. Is x at most as big as -1?
False
Let h(f) be the third derivative of 7*f**4/24 - 37*f**3/6 - f**2. Let q be h(10). Is q at least as big as 33?
True
Suppose 12*p - 140 = 64. Suppose 936 = 23*m - p*m. Is m >= 156?
True
Suppose 2*u + 23 = -5*o + 31, -2*o = 3*u - 1. Let g be 8/(-14)*33/(-616). Which is smaller: u or g?
u
Let g = 772 + -60217/78. Let m = g + 9/26. Is m bigger than -9.2?
True
Let c be (-4)/(-6) + (-32)/(-24). Let w = -7 + 55. Suppose c*d + 2*d = w. Which is smaller: d or 10?
10
Let c be (-89)/(-260) - 2/8. Let t = -739/260 + c. Let p(y) = 3*y**3 - 21*y**2 - 22*y - 18. Let x be p(8). Which is greater: t or x?
x
Suppose 0 = -3*c + w - 13, c - w - 5 = 4*c. Let i be -10*-6*1/c. Let f(m) = 8*m + 81. Let y be f(i). Do y and -79 have the same value?
True
Let n = 157099/98 + -1603. Which is bigger: n or 1?
1
Suppose -2*g - 3866 = 322*r - 320*r, 28 = -4*r. Which is greater: -1934 or g?
g
Let l = 356 + -213. Let t = -136 + l. Does t = -0.5?
False
Suppose -2*f + 0*n - 899 = -n, 3*f = 5*n - 1338. Is 7 less than f?
False
Let l = 184 + -128. Let s = l + -28. Let k = -47 + s. Is -1 less than or equal to k?
False
Let a be (9358/(-262308)*4)/((-28)/(-21)). Let s = a + 14978927579/4940134. Let j = 3032 - s. Which is smaller: -1 or j?
-1
Let u(o) = o + 3. Let l(b) = b**2 + 2*b - 48. Let z(m) = 1. Let p(x) = l(x) - 2*z(x). Let k be p(-8). Let q be u(k). Which is smaller: q or 4/23?
4/23
Let f = -2608 - -2609. Is 73/39 bigger than f?
True
Suppose 3*a - y = -37628, 4*y = 3*a + 8*y + 37648. Let p be 22/(-55) + a/(-45). Let c = p - 1364/5. Is 6 at most c?
False
Let a(l) be the third derivative of -l**5/60 + 23*l**4/24 - 8*l**3/3 - 2*l**2. Let p be a(24). Let s = -102 + 61. Is p less than s?
False
Let c = -2944 - -2658. Is c greater than or equal to -287?
True
Let q = -177 - -175. Let f be 2/(3 + q) - (1 + 2). Let g = 3829/9 - 426. Is g > f?
True
Let l = 153.4 - 139. Let i = l + -13.63. Let z = 0.57 - i. Is 10 greater than z?
True
Let v be 790/3224 - 10/40. Let p(n) = -6*n + 41. Let h be p(7). Which is smaller: v or h?
h
Let z be (10/4)/(1/2). Suppose -4*n - z*n = 261. Let u = n - -32. Which is greater: u or 11/3?
11/3
Let s be ((-14)/4 - 1)*(-2)/(-3). Let n be (1*-15)/s*3/15. Suppose -6*h + h + 17 = -3*b, -h + n = -3*b. Which is smaller: 1/25 or b?
1/25
Let r = -19335 - -19334. Is -3/8701 > r?
True
Suppose -3*q - 17 = -5. Let s = -81 + 78. Let t(u) = -2*u**2 - 4*u - 2. Let d be t(s). Which is bigger: d or q?
q
Suppose 3*n + 0*n = -8*n + 11. Let y be (-2)/(66/(-75)) - 2. Is y > n?
False
Let z(y) = y**3 + 6*y**2 + 2*y - 15. Let r be z(-5). Suppose -10*t + r = -0. Which is bigger: t or -2?
t
Let o(v) = -v**3 - 7*v**2 - 10*v + 1. Let x be ((-8)/3)/(-8)*(-6)/(-2). Let p(t) = -9*t + 4. Let r be p(x). Let g be o(r). Which is smaller: 0.15 or g?
0.15
Let j(h) = -h**2 - h - 1. Let a(f) = f**2 + 15*f - 75. Let w(l) = -a(l) - 2*j(l). Let b = 783 - 776. Let c be w(b). Is 34 at most c?
True
Let h = -455 - -455.621. Let o = h + -2.621. Which is greater: o or 157?
157
Let g = -1/3831 - -459/127700. Which is smaller: -1 or g?
-1
Let r = -5819 + 5820. Are -2/30377 and r equal?
False
Let l = 170.92 + -170.966. Which is greater: l or -3/7?
l
Let j be ((-777)/222)/((-1653)/(-6)). Is j bigger than 1?
False
Let s be 0 + -1 + 0 + -3. Let l be ((-231)/(-9) - -3)/(2/(-9)). Let k = l - -124. Is s greater than k?
True
Let z = -20228 - -20478. Is 2248/9 bigger than z?
False
Let g(p) = -p**3 + 6*p**2 - 7*p + 1. Let n be g(4). Let h be -4*((-3 - -7) + n). Let w = 110/3 + h. Is 0.46 at most as big as w?
True
Let j(m) = -3*m**2 + 6*m - 3. Let r be j(2). Let p be -12 - (0 - r/1). Let x be (14/(-35))/((-21)/p). Which is smaller: x or -1.2?
-1.2
Let d = 306 - 34. Suppose -5*m = d - 57. Which is smaller: -46 or m?
-46
Let f = -433 + 432. Let k = -1074 + 795832/741. Do k and f have the same value?
False
Let g be ((-2)/30*-3061 + -1)/(14/(-21)). Which is smaller: -306 or g?
-306
Let v be 6/(-4)*(-2)/(-47). Let y(i) = 400*i**3 - i**2 - 7*i + 7. Let a be y(1). Let p = -399 + a. Is p > v?
True
Let p = -567 - -844. Let k = p + -277.2. Which is greater: k or -1/83?
-1/83
Let h(u) = 36*u + 37. Let y be h(-3). Let w be (-71)/y*(0 - 0)/(-2). Which is smaller: w or -16?
-16
Let b = -2901 + 2900.82. Let g = 0.05 + 0.23. Let y = b + g. Is -14 greater than y?
False
Suppose 5*z - 1235 = 4*a - 33, z + 3*a - 229 = 0. Let g(h) = h**3 + 25*h**2 + 14*h - 1. Let q be g(-24). Is q at least z?
True
Let z be -4*((-14)/124)/(-7). Let k = 59 - 46. Let v = 14 - k. Which is smaller: v or z?
z
Let a = 709.739 - 709.7. Which is smaller: a or 2/69?
2/69
Let x = 2.964 + -2.8. Let d = 0.16 - x. Let y = -2.004 - d. Which is greater: y or 3/2?
3/2
Let l = -254 + 327. Let z = -27 + l. Is z >= 45?
True
Suppose 92*t = 96*t + 16. Let r = 74452541069/1212 - 61429494. Let f = r - -1/404. Which is smaller: t or f?
f
Let k = 434 - 20396/47. Let h be (-36)/(-342) + 473/19. Suppose -23*q - h + 48 = 0. Is k < q?
True
Let y = -5825 + 5835. Which is smaller: y or -6?
-6
Suppose -3*i = 5*j + 1024, -i + 1057*j = 1061*j + 332. Is -363 > i?
False
Let q = 2065.9 + -180.9. Let r = 1869.09 - q. Let z = 16 + r. Is -2 < z?
True
Suppose -4*t + 19 - 3 = 0. Suppose -p - t = -5*p. Let i be (-869)/(-158) - (-422)/(-76). Which is bigger: i or p?
p
Suppose -2*v = -u - 32, 3*u + 2*v = -0*v - 72. Let h be 750/13130 + 2/u. Suppose 5*x + 3*p = 14, 2*x - p = 4*p - 13. Is h at most as big as x?
True
Let q be (17 - -2) + -21 + 25*1. Which is bigger: q or 8?
q
Let h be (-1185)/4635 - (12/(-9) - -1). Let x = -1031/1339 + h. Which is bigger: 0 or x?
0
Suppose 2*g = g + 12*g. Let l(y) be the third derivative of -y**4/12 - 37*y**3/6 - 9*y**2. Let u be l(g). Are u and -36 unequal?
True
Let g = -161.711 + -0.289. Let r = g - -102. Which is bigger: r or -2?
-2
Let o = -19.69 + 19.79. Which is 