pose -271 + 47 = -7*p. Is p < m?
True
Suppose -3*t - 1406 = 4*h, -5*t = -3*h + 2599 - 188. Which is greater: -3 or t?
-3
Let g = 0.211 + -114.211. Let k = g - -112.2. Which is smaller: k or 6?
k
Let j = -2 - -2. Suppose -3*h - 7 + 1 = j. Let w = -38 - -37. Is w > h?
True
Suppose 3*t = -4*s + 28, 3*t + 2*s = -s + 24. Suppose -15 = 5*j, 2658 = -t*r - j + 175. Let u be 3 - (5/(r/(-264)) + 1). Is -1 at least as big as u?
False
Let s = 10465 - 10464.9. Which is greater: 1293 or s?
1293
Let r(d) = -7*d**3 + 2*d**2 - 2*d - 3. Let v be r(-1). Let o be (1 + 85)/(2 + v) - 2. Is o at most as big as 6?
False
Let m = -13/105 + 4/21. Let x be (-3 - -4 - 4)*4/12. Is x smaller than m?
True
Let j(z) = -9*z + 1684. Let h be j(20). Are h and 1501 unequal?
True
Let j = 0.7 - 0.61. Let n = j + 3.91. Let g = 497.73 - 496.73. Which is smaller: g or n?
g
Let v = 36.72 + -36.7. Let l = -0.78 + 1.1. Let f = l - v. Which is bigger: f or 6?
6
Suppose 0*m = m + 4*b - 9, -15 = -2*m - 5*b. Let q = -243 + 270. Is q at least m?
True
Let a = -0.6 + 2.6. Suppose -19*d = 210*g - 214*g + 65, -5*g = -d + 78. Which is smaller: g or a?
g
Let b be (-78)/(-975) - 177/25. Let g be (b/15)/(4/192). Which is greater: g or -22?
-22
Let o = -0.1 + 0.2. Let z = 112.42 + 29.58. Does o = z?
False
Suppose 29*d + 8784 = -7*d. Let n be (d/18422)/((-8)/10). Which is bigger: 0 or n?
n
Let y be (-465)/(-186)*(-13880)/75. Which is smaller: -464 or y?
-464
Suppose 5*d - 8*p = 6584, -5*d = 4*p - 1565 - 5043. Is 1320 >= d?
True
Suppose -51*g = 587 + 12775. Let x = g + 277. Is 4 at least as big as x?
False
Let y = 41295 - 41294.9. Is -2/26075 > y?
False
Suppose -4*u = -u - 9. Let d = -76/353 - -11578/4589. Is d at most as big as u?
True
Suppose -90*w = -7*x - 87*w - 9, -5*x - w = -3. Is -11/61 != x?
True
Suppose 0 = -5*f + 20, -16*n = -11*n + f - 94. Which is smaller: 237/13 or n?
n
Suppose -x + 3*z = -21, 4 = -3*z + 2*z. Let a = -18 + x. Let k be 3/(-36) - a/(-36). Is -0.06 bigger than k?
True
Let s(g) = -g**3 - 11*g**2 + 30*g - 3. Let m be s(-9). Which is bigger: m or -432?
-432
Suppose -2*w = i + 1, -2*i + 4 + 2 = 0. Let u = -2178 - -2177.8733. Let c = -0.0067 - u. Is w less than or equal to c?
True
Let b(y) = 30*y**2 + y - 1. Let c be b(2). Let d = 41 - 39. Let q be 125 + 1 + -6 + d. Is q equal to c?
False
Let r = 124 - 30. Let q = r - 82.6. Let x = 11 - q. Are -1/10 and x unequal?
True
Suppose 28*a + 16 = 26*a, 2*i + 5*a = -36. Let k be 2*-1 - -7 - 1. Is i at most as big as k?
True
Suppose 2*h = -4, 101 = 5*f - 0*h - 3*h. Suppose -3*t - f = 8. Does t = -15?
False
Suppose -2*w - 65 = -4*w - 3*d, 0 = -5*w + 2*d + 153. Let i = w + -33. Let a = -5993/140 - -171/4. Is i smaller than a?
True
Let t be (1124/(-80))/(-1 - 163/(-172)). Let s = -537/2 + t. Is -1 >= s?
False
Suppose -4*o = 2*o. Suppose o = -2*m + 5*a - 36, 4*a - 2 + 18 = -4*m. Let f be ((-76)/24 + 3)/((-2)/m). Which is greater: -1/26 or f?
-1/26
Suppose 4 = -4*c, 3*f + 127 = -4*c + 3*c. Let v = 231 + -233. Is f at most as big as v?
True
Suppose 2553*r - 2583*r - 20220 = 0. Is -668 >= r?
True
Let q be (-1 + 0)/16 - 4539/(-432). Suppose 3*t - 3*h = -12, -2*t = t - 5*h + 22. Which is bigger: t or q?
q
Let l = -20381291491/41966 - -485662. Is l < -1?
False
Let q = -290 - -309. Let f = 225 - q. Which is smaller: f or 2/3?
2/3
Let h(j) = 17*j**2 + 14*j**2 - 30*j**2 + 5*j - 1 - 3. Let o be h(-6). Suppose -5*q + 5*f = o*f + 1, 3*q = -5*f + 13. Is q >= 21/10?
False
Let p(q) = q**2 - 48*q - 325. Let b be p(54). Is b greater than or equal to 1/4190?
False
Suppose 0 = 3*g - 5*k - 15, -5*g - 5*k - 19 = -4. Which is greater: g or -3/1271?
g
Suppose -12*z + 93 - 9 = 0. Suppose -z*q + 456 = 12*q. Is 73/3 at most q?
False
Let f = -2 - 9. Let v(z) = -84 + 146 - 102 + 8*z. Let n be v(5). Which is smaller: n or f?
f
Let f(r) = -3*r**2 + 1982*r - 1993*r + 30 + 6. Let o be f(3). Which is smaller: -28 or o?
-28
Let o = -2 - -2. Let n = -1.63 - -62.63. Let k = -87 + n. Is k > o?
False
Let k(h) be the third derivative of -h**6/120 - h**5/4 + 3*h**4/4 + 47*h**3/6 - 37*h**2. Let u be k(-16). Which is bigger: 44/3 or u?
u
Suppose -45*o + 4*o - 846 = 6*o. Suppose -4 = -2*p + 3*p. Let v be -3 - -8*o/p. Which is smaller: 32 or v?
32
Let r = -65708029453/681 + 96487525. Let u = r + -14/227. Which is smaller: u or -38?
-38
Let y(i) = -236 + 236 - 2*i - i - 4*i**2 - i**3. Let w be y(-2). Let c be (48 + 1)*-2*1/w. Is 50 smaller than c?
False
Let t be ((-1)/(-99)*-11)/(((-4)/9)/4). Which is bigger: t or 31/18?
31/18
Let j = -43 + -8. Suppose -75*w - 2652 = -24*w. Does j = w?
False
Let d = -4091 - -1236. Are d and -5711/2 equal?
False
Let c = -2959 + 2962. Is 240/97 <= c?
True
Let n(l) = l - 12. Let w be n(6). Let g be 26/(-91) + ((-4016)/14)/4. Let u = g - -69. Is u < w?
False
Suppose 3*s = s. Let j be ((-630)/3675)/(3/(-14)) - (-58)/(-135). Is j greater than or equal to s?
True
Let p = 0.48 - 45.48. Let r = 0.04634 - 41.04634. Let t = p - r. Which is smaller: t or 1?
t
Suppose 0 = 5*o + 2*l + 3*l + 5, 0 = 2*o - 5*l + 2. Let z = 176291/33 + -16003/3. Which is smaller: z or o?
o
Let n = -270.1 + 306.1. Is -15/8 greater than n?
False
Let w = 30.7 + -51.7. Let a = 21.1 + w. Let h = 0.2 + -0.2. Is h >= a?
False
Let i be 3/1074*(1564/322)/(6/14). Which is smaller: -1 or i?
-1
Let p(w) = -62*w - 53. Let l be p(6). Let s = l + 306. Are s and -121 unequal?
True
Let p = 6028 - 5273. Is 753 < p?
True
Suppose 53*b - 44*b - 54 = 0. Suppose -15 = -21*n + b. Is 26/11 at most n?
False
Let q = 12.78 + -13. Let j = 7.92 + q. Let i = 7.9 - j. Which is bigger: -0.36 or i?
i
Let k = -2 - -7.2. Let n = -5.274 + k. Let c = -2.826 + n. Which is smaller: c or -1?
c
Let t = 3 + 1. Let j = 31.64 - -202.66. Let k = j - 234. Which is smaller: k or t?
k
Let f be ((-845944)/308)/(((-12)/21)/2) - -5. Which is greater: f or 9617?
f
Let z be 25 + -23 - 15 - -12. Let b be 3*4/150*2. Is b >= z?
True
Let z(n) = 8*n**2 + n**3 - 23*n - 29 - 2*n**2 + 65. Let c be z(-9). Which is bigger: -5/49 or c?
c
Suppose -q = 2*q + 2*x - 15, -12 = q - 5*x. Suppose 0 = q*z + 4 - 10. Let p be ((-27)/18)/(z/(-3)). Does -2/9 = p?
False
Suppose 0 = 951*n - 931*n - 20. Is 2/23773 > n?
False
Let w = 0.36 + 3.14. Let a = w - 6. Let i = a + 2.3. Is -3 > i?
False
Let r(z) = z**3 + 8*z**2 + 4*z - 14. Let l be r(-7). Let m = l - 2. Suppose 5 = -5*t, -3*y - 4 = -4*t - m. Which is bigger: y or -1/88?
-1/88
Suppose 0 = -s + 6 - 12, -3*s = 3*h - 27912. Is h equal to 9309?
False
Suppose -4*c = -3*z - 8, -5*z + 4*c - 10 = -c. Suppose -5*g + 4*x = -36, 2*g + x - 4 = -z. Suppose -18 = -3*a + 3*q, -5*q - g - 2 = 3*a. Is 6 <= a?
False
Suppose 0 = -4*r + 8, j + 4*r + 20 + 13 = 0. Suppose 2*x - 6*x + 3*v = 176, 0 = -4*x - 4*v - 176. Let w = j - x. Which is smaller: w or 21/10?
21/10
Let k = -243 + 75. Let q = k + 159. Which is bigger: q or 10?
10
Suppose -23*d + 34 = -6*d. Let p(i) = -13*i - 73. Let v be p(-6). Is d at least as big as v?
False
Let m(y) = -5*y + 81. Let t be m(16). Suppose 3 = p + 4*x - 7*x, -2*p = -x - t. Which is bigger: p or 18/17?
18/17
Let j be (-27)/324 + -5*(-4372)/240. Is j less than or equal to 94?
True
Let n be (2/3)/(6217212/(-1243224) + 5). Let l = n - -759. Is 0 at least as big as l?
False
Let y = -16303 + 34578662/2121. Which is bigger: y or 1?
1
Let g(b) = -256*b - 513. Let i be g(-8). Is i less than or equal to 1534?
False
Let o(h) = 18*h**3 + h**2 - h - 2. Let s be o(2). Suppose s = -3*l - 45. Let x be 1530/l - (2 - (-16)/(-7)). Are -24 and x nonequal?
False
Suppose q = 6*j - 449, -q - 8*j - 479 = -9*j. Which is smaller: q or -486?
-486
Let p be ((-20)/515)/4*(-6 + (-2000)/(-334)). Which is smaller: 0 or p?
0
Let z be (-201)/95 + 2 + (-29)/145. Suppose 5*s + 58 = -2*m, -13 = s - 2*m + 1. Let g = -11 - s. Which is smaller: z or g?
z
Let f = 428/235 + -1/47. Let b = -32/15 + f. Suppose -4 = -3*k - 4*n, -2*k - 2*n - 3*n = -5. Which is greater: b or k?
k
Suppose 1125 = 249*n - 274*n. Is n at most 26?
True
Let n be (6 - -9)/((-9)/12). Let p be n/10 - 49/(-23). Let b be 6/(-5)*(-1)/(-3). Are p and b unequal?
True
Let i = 57145900/253107 + 4/28123. Which is greater: i or 225?
i
Suppose z = -f + 7, 386*f - 387*f + 2 = -4*z. Do z and -4/2127 have the same value?
False
Suppose -7*b + 5*b + 26 = -5*j, 4*b - 8*j = 44. Are -20/21