pose -p - 1842 = -3*t, 0 = 5*p - 6*p + 4*t - 1846. Which is bigger: p or -1?
-1
Let o = -16702 - -16718. Let w = -6 - -8. Which is bigger: o or w?
o
Let w(a) = a**2 - 28*a - 4989. Let c be w(-58). Let b = -18.5 + 100.5. Which is smaller: b or c?
c
Let x = -6196 - -6187. Is x > -79.7?
True
Let k = 2628 + -4331. Which is greater: k or -1707?
k
Suppose -26 = -5*l - 1. Suppose l*z = -3*z + 6*z. Let t = -13 - 2. Which is smaller: t or z?
t
Suppose 2*s - 4 = -4*j + 6, -4*s = 2*j - 2. Let o be (3 - 2)*(268/(-264) - s). Is 0 at most o?
False
Let v be ((-10)/(-25))/(4/20). Suppose -4*p = 5*y - 18, 0 = -y + v - 0. Suppose -p*q + 18 = -0*q - 3*x, 3*q - 4*x = 26. Is 4 at most q?
True
Let g(t) = t**3 + 37*t**2 + 73*t + 24. Let s be g(-34). Suppose -s = 44*z - 54*z. Is 101 <= z?
True
Let x be (3/(-3429))/((-392)/112 - (-4 + 0)). Is x > 0?
False
Let u(x) = x**3 + 13*x**2 + 19*x - 6. Let h be u(-7). Let w be 186/h - (-2368)/10. Which is smaller: 237 or w?
237
Suppose 0 = -3*m + 3*v - 3, -6*m - 5*v + 23 = -5*m. Suppose -m*j - 3*s + 108 = -j, 3*s = -5*j + 270. Which is smaller: 55 or j?
j
Suppose -3534 - 2342 = 24*m + 580. Is m at least -264?
False
Let y = 4394/255 - 262/15. Is y smaller than 4.6?
True
Let a = -454 + 475. Suppose -a*u - 2*u - 69 = 0. Does u = -32?
False
Let u be (2/8)/((-10)/(-320)). Let v(p) = -6*p**2 + 47*p + 15. Let k be v(u). Is 10 at least k?
True
Let t(j) = j**2 - 41*j + 81. Let q be t(39). Let n be 0/(-1 + -1 + q). Suppose 6 = 5*z - 6*z. Is n equal to z?
False
Let s be (82/2870)/((-10)/(-1042)) + -3. Is s <= -1?
False
Suppose 70*h + 56136 = -29*h - 33954. Which is greater: -913 or h?
h
Let f(r) = -80*r + 570. Let q be f(-11). Is q > 1449?
True
Let s(u) = 16*u + 4. Let o be s(-7). Let c be (-6)/(-8)*o/261. Do c and 1 have different values?
True
Let i = -1934 + 1933. Which is bigger: -693.4 or i?
i
Let u be (-176)/(-66) - 2/(-6). Let i(f) = u*f - 31 - 17*f - 6. Let s be i(-6). Which is bigger: s or 49?
49
Let k = -0.14 + -0.96. Let t = 37.7 - -0.3. Let a = -37.9 + t. Is a at least as big as k?
True
Suppose 3*w + 0*w = 60. Let m be 3 - (-4 - w/(-4)). Which is smaller: m or -0.3?
-0.3
Let k = -265 - -287. Suppose -k*x = -15*x + 14. Is -35/11 less than x?
True
Let h(c) = c**2 - 96*c - 2221. Let r be h(-19). Is r equal to -36?
True
Let p = -306 - -324. Let x be (-177)/135 + (-15)/(1215/p). Is -2 <= x?
True
Let c = 38 + -33. Suppose -2*g + n = 10, 3*g - c*n - 3 = -4. Which is smaller: g or 8?
g
Let r be (-2 + 16/5)/2 + (-37437)/(-5). Is r > 7491?
False
Let x = 15.06 - -4.74. Let j = -125 - -135.8. Let g = x - j. Which is smaller: 0.2 or g?
0.2
Suppose 7*j + 3291 + 405 = 0. Let z = -529 - j. Is z < -22?
False
Let m = -91647/4 + 22912. Which is smaller: -1/3098 or m?
-1/3098
Let a = 146 - 141. Suppose -4*b = -20, -74 = 3*l + a*b + 6. Is l at most as big as -38?
False
Let s = -328838 + 328780. Suppose 0*n = n. Which is smaller: s or n?
s
Let j = -7.206 - -7.306. Which is smaller: j or 4542?
j
Let s = -47 + -22. Let h = s + 115. Let a = h + -44. Which is greater: a or 12?
12
Suppose 0 = -2*d + 4*p + 52, 3*d - 3*p = 8*d - 91. Let f be (10/(-12))/(1 + d/128). Let r = f + 2/37. Is r at most as big as 0?
True
Let l(w) = -4*w**2 - w - 2. Let o be l(-3). Let n(u) = -2*u**3 - 27*u**2 - 115*u - 199. Let t be n(-7). Is o < t?
True
Let v be 4/3 - (272/(-12))/4. Let r = -1275 + 3845/3. Is r less than v?
True
Let f(d) = d**3 - 22*d**2 + 55*d + 13. Let s be f(19). Let p = 21 + -47. Which is smaller: s or p?
p
Let v(j) = -3*j**2 - 12*j + 33. Let u(y) = -2*y**2 - 13*y + 32. Let z(n) = 4*u(n) - 3*v(n). Let t = 25 - 11. Let k be z(t). Are 3/11 and k nonequal?
True
Let t be 4/10 - (-82)/(-5). Let n = 115 + -124. Let f be 2/n - ((-679)/(-63) - -4). Is t smaller than f?
True
Let c = -501 - -502. Let s = -4.32 + 3.9. Let f = -0.02 - s. Which is smaller: c or f?
f
Let f = 3948 - 5449. Which is greater: -1502 or f?
f
Let j(k) = 3*k + 54. Let n be (-6)/10 + 288/30. Let r be ((-3)/(-15)*-6)/(n/120). Let s be j(r). Does 5 = s?
False
Let y(k) = -k**3 - 4*k**2 - 7*k - 16. Let p be y(-3). Let b be (-8)/40 - ((-11)/5 - p). Which is greater: -175 or b?
b
Let j = 56.842 + -57. Let r = j - -0.138. Which is smaller: -0.4 or r?
-0.4
Let y be (-419)/(-7) - 5/(-35). Let l be (-21)/28 - (0 - 4881/y). Which is smaller: 81 or l?
l
Let x be 3 - (-7 - (-8 + 2)). Suppose 0 = x*g - 4, -h - 5*g = 16 + 18. Is h at most -41?
False
Let n(r) = 43*r + 130. Let b be n(-3). Is -4/1295 <= b?
True
Suppose 18*b + 30*b - 4818 = 15*b. Which is greater: b or 3370/23?
3370/23
Let w = 2774 - -1044. Which is bigger: w or -1?
w
Suppose 0*u + 154 = -2*u. Suppose -2*h = -2*q + 2, 66*q = h + 61*q + 9. Let x be 63/u + h/1. Which is smaller: -2/17 or x?
-2/17
Let p = -10.2 + 6.5. Let t = 4 + p. Let i = t + 13.7. Do i and 1/2 have the same value?
False
Let v(x) = -6*x + 7. Let o(m) be the second derivative of 7*m**3/6 - 7*m**2/2 + 3*m. Let l(j) = 4*o(j) + 5*v(j). Let u be l(0). Is u > 6?
True
Suppose 29*k + 768 = 31*k + 4*u, -3*k = 3*u - 1143. Let y = 379 - k. Which is greater: y or -7/95?
y
Let z(a) = -790*a - 1265. Let o be z(4). Is -4425 not equal to o?
False
Suppose 27 = -24*x + 33*x. Let b be (-1 + -3 + x)/((-524)/(-8)). Which is smaller: 1 or b?
b
Let l = 18.17 - 18.258. Which is bigger: l or 0.4?
0.4
Let m = -38 + 12. Let j = -26 - m. Which is greater: 0.023 or j?
0.023
Let u = 102 - 42. Let w = u - 65. Is -19 < w?
True
Let n = 830 + -2533/3. Let u = 10579/738 + n. Is 1 >= u?
True
Let l = -476 - -485. Suppose 2*o + 176 = -l*o. Does -13 = o?
False
Let g be (-48)/504 - 19*1/21. Let k be g/(1/(185/(-5))). Is 4 at least k?
False
Let f = 1.2 - 0.2. Suppose 0 = -11*k + 257 + 808 - 229. Is k bigger than f?
True
Suppose 2*r = -g - 13, 0 = 1885*g - 1882*g + 3*r + 18. Let i = 25973/66493 + 2/2891. Which is bigger: i or g?
g
Suppose -5*t + 71 = -2*v - 5, t + 3*v = 22. Let u be (-38)/84 - t/(-96). Is u at least as big as 1/9?
False
Let i = -16531 - -16532. Is i bigger than 5/282?
True
Suppose r - 21*p = -16*p + 9, 2*r + 8 = -3*p. Which is bigger: r or 87.96?
87.96
Let g = -2602 + 2597.608. Which is smaller: g or -2/5?
g
Suppose 4*x - d = -280, 0*x = x + 2*d + 61. Let k be -1 + x/4*(-2)/36. Let l = 4 - 5. Is l < k?
True
Let c be (-16)/8*(-958)/(-4). Let x = -404 - c. Which is greater: 378/5 or x?
378/5
Let j = -66200/2904861 + -3/9587. Is 1 greater than j?
True
Suppose 15*f + 3*d = 12*f + 747, 2*d = 3*f - 732. Let j = -167 + 413. Is j at least f?
True
Let z = -102.1 - -28.1. Which is smaller: -0.17 or z?
z
Let r be (-19217273)/(-2745393) + 14/(-2). Which is smaller: 1 or r?
r
Suppose -10*t - 58 - 59 = -117. Which is greater: -13/563 or t?
t
Let q = -6 - -20. Let v = -212 - -215. Suppose -3*c - v = -4*c. Which is smaller: q or c?
c
Let x = 116 - 79. Suppose -2*b - 12 = -4*r + 2, 5*b + 2 = -r. Let h be (-4)/6*(-58 - b). Is x smaller than h?
True
Let h = 10377 + -10376. Which is smaller: -43/112 or h?
-43/112
Let k = 6289 + -8149. Is -1858 at least k?
True
Suppose -2*i = 3*l - 340, 435*i - 876 = 430*i - l. Which is smaller: 2274/13 or i?
2274/13
Let w = -208.883 + 209. Let o = -12.217 + w. Let s = o - -13. Is s at most 2?
True
Let q = -6.4 - -39.4. Let x = 37.524 - 37.524. Is x != q?
True
Let v = -8 + 82/9. Let d = -13.86 - 0.14. Let w = d - -13. Is w smaller than v?
True
Let v be (1056/132 + (-5884)/6)/(20/6). Is -292 > v?
False
Let x be ((-138)/4)/(-3) - (-2)/(-4). Suppose -s = -4, 0*s - x = 3*w - 5*s. Suppose -g = w*g. Does -1/6 = g?
False
Let l be 19/(-2) - (-2)/(-4). Let j = 25153 + -25151. Which is smaller: l or j?
l
Let a = -10 - -4. Let f = -334 + 334.924. Let i = 0.076 + f. Which is bigger: i or a?
i
Let b = -35.39 + 37.83. Do b and 5 have the same value?
False
Let a(f) = 19*f - 2179. Let m be a(114). Do -116/9 and m have the same value?
False
Let h = 2/40387 - -23787931/242322. Which is smaller: h or 98?
98
Let s = -4124 - -4108. Which is smaller: s or 5/13?
s
Let b = -704520951/3520 - -200148. Which is smaller: b or -1?
-1
Let d = -75 - -75. Let a be 0 - d - (-6)/54*-1. Let i(p) = -p**3 - 8*p**2 - 7*p + 1. Let g be i(-7). Is a bigger than g?
False
Suppose -2*j - 90 = 3*i - i, 0 = -j + 4*i - 50. Let b = -124 - -85. Let g = b - j. Does 4 = g?
False
Suppose 104*w - 105*w = -2*l - 247, -5*l = 5*w - 1250. Suppose