04 = -3*p. Which is smaller: l or p?
p
Let j = -886984/9 + 98554. Let p = -2 + 2.3. Is j less than or equal to p?
True
Let m = -2.61 - -1.61. Which is smaller: m or 81/55?
m
Suppose 0 = 3*b + 3*o - 6, 5*b + 80*o - 25 = 78*o. Which is smaller: b or -123?
-123
Let w(o) = -o**3 - 154*o**2 - 465*o - 228. Let a be w(-151). Which is greater: a or 1588?
1588
Suppose 17*k - 269 = -31. Suppose 3*u - 12 = -3*x, -2*x = -5*u + k - 1. Which is greater: u or 34/9?
34/9
Let v be (-2 - -400)*(-3)/(-6) + 1. Suppose -47*i - v = -51*i. Is 50 at least as big as i?
True
Let o = -22.55 + 22.05. Suppose 5*b + 2*c = 154, -3*b + 76 = 2*c - 14. Is b equal to o?
False
Let q = 10 - 11. Let k be q/(4/8*42/(-287)). Which is smaller: k or 13?
13
Let j = -823665/7 + 116973. Are 2/5 and j nonequal?
True
Let w = 66.114 + -0.114. Let n = w - 43. Let q be ((-6)/(-126))/(34/238). Is n equal to q?
False
Let s be (6/4)/((-3)/180). Let k(y) = 3*y + 217. Let d be k(-52). Let m = d + s. Which is smaller: m or -91/3?
-91/3
Let u = -14242 + 14246. Which is smaller: -8/5 or u?
-8/5
Let f be (-7)/(91/78) - 5 - -11. Which is smaller: f or -2/5221?
-2/5221
Let a be (-9 - -22)/(((-4)/(-40))/1). Is 130 >= a?
True
Let s(z) = 2*z**2 - 66*z + 65. Let g be s(34). Which is greater: 672/5 or g?
672/5
Let h = 261731/60 - 13066/3. Which is smaller: h or 7?
h
Suppose -13882 = 10*b + 1408. Which is smaller: -1530 or b?
-1530
Let u = 3278.025 + -3278. Is -0.7 greater than u?
False
Let v be -8*(-16)/(-512) - (4011/(-156) - 1). Which is smaller: v or 27?
v
Let v = 8899 + -703089/79. Which is smaller: -2 or v?
-2
Let i = -0.318 - -3.418. Is -9/8 >= i?
False
Let y(s) = -3 - 4 - s**2 + 0 + 2 - 2*s + 6. Let v be y(-2). Is v > 24/65?
True
Let c(z) = z**2 + z - 7. Let k be c(3). Let r = 148 - 144. Which is smaller: k or r?
r
Let a be 20/6 + (-3)/((-27)/6). Suppose s + a*z - 16 - 1 = 0, 3*s = -5*z + 23. Let w(h) = 2*h**3 + 3*h**2 - 3*h. Let v be w(s). Is 2 != v?
False
Let l(j) = 4*j**3 - 16*j**2 - 9*j + 30. Let d be l(4). Is d greater than 1/112?
False
Let g(k) = -902*k - 55330. Let w be g(-61). Suppose 3*i + i + 3*h + 1231 = 0, -4*h = -4*i - 1224. Which is bigger: i or w?
i
Let t be 10/(-4)*(-5)/125. Let w = 309 + -311. Let q be (w - -2)/(-1 - 0). Which is smaller: q or t?
q
Let c be 18/99 - ((-945)/(-99) + -9). Is c bigger than -1303?
True
Let m(i) = -447*i + 1788. Let n be m(4). Is 11/18 smaller than n?
False
Suppose 58*s - 17*s + 4059 = 0. Let f be (141/(-2))/(s/132). Which is greater: f or 96?
96
Let q be 5/30 + (-1124)/(-24). Which is bigger: q or 46?
q
Suppose r = -4*r. Suppose 2*p + 0 = t + 2, -2*t - 2*p - 16 = r. Suppose 50*y - 142 + 1393 = -367*y. Is t bigger than y?
False
Let g = 141 - 145.98. Let f = 1.02 - g. Let d = 603/7 - 86. Which is bigger: f or d?
f
Let x = 908 + -42669/47. Let i(o) = 2*o**3 + 47*o**2 - 75*o. Let f be i(-25). Is f less than or equal to x?
True
Let r = 3992.78 + -3985. Which is greater: r or -0.3?
r
Let n = -1790.1 + 1790. Let r = -101 + 164. Which is greater: n or r?
r
Let w(u) be the second derivative of -11*u**3/3 - 13*u**2 + 15*u. Let c(n) = 10*n + 13. Let o(g) = 13*c(g) + 6*w(g). Let l be o(7). Which is bigger: l or -3/5?
-3/5
Let o(y) = -y**3 + 32*y**2 + 34*y - 25. Let v be o(33). Let n(t) = t**3 - 7*t**2 - 11*t + 23. Let k be n(v). Which is bigger: k or 8/181?
8/181
Let o(x) = x**2 - 11. Let q be o(4). Suppose 2*i - j - 29 = 0, q*j + 73 = -2*i + 6*i. Let g(k) = 2*k + 9. Let y be g(i). Is 34 < y?
False
Let v be (5/(-4))/(66/(-32) - -2). Let u be (-930)/v*4/12*2. Which is greater: -3 or u?
-3
Let z be (-218)/(-6) - (-4)/72*-6. Suppose z = 57*k - 61*k. Let u be -15*2/k*(-6)/75. Does 1 = u?
False
Let h(f) = -5*f + 2. Let x be h(-3). Let v = x - 11. Let s = -7 - -17. Does v = s?
False
Suppose -168336 = 140*f + 966644. Is f greater than -8107?
False
Let i be 26/(-5941)*(-4)/(-8). Is -0.1 at least as big as i?
False
Let c = -34.24 - -34. Let f = c - -0.12. Let i = -0.12 - f. Which is bigger: -0.5 or i?
i
Let t = -475.1179 + 0.1179. Let a = t - -475.1. Which is greater: -1/39 or a?
a
Let a(q) = q**2 + 13*q + 5. Let s = -35 - -38. Suppose s*x + 36 = -0*x. Let t be a(x). Is t < -7?
False
Let o = 351.3 - 350.3. Which is smaller: -247 or o?
-247
Suppose 0 = -13*m - 62 - 16. Let y = 5 + m. Which is bigger: -3/46 or y?
-3/46
Let r = -4998/25 - -200. Let c(d) = d**3 + 81*d**2 - 1329*d - 13. Let g be c(14). Is r smaller than g?
True
Let m(t) = -3*t + 7. Let v(a) = -2*a + 26. Let x = 25 - 14. Let b be v(x). Let h be m(b). Is h at most as big as -5?
True
Let m = -4882/2679 - -158/141. Which is smaller: m or -2?
-2
Let j be (-540)/(-8) - 7*(-39)/182. Which is bigger: 74 or j?
74
Let g be 3 - 20/8 - (-1)/(-10). Let y(d) = -d**3 - 3*d - 5. Let a be y(-5). Which is bigger: a or g?
a
Let z be -3*(17/(-255))/(6/(-15)). Which is greater: -83 or z?
z
Let c = -44103 - -225013507/5102. Let a = 15193/576526 + c. Is 1 > a?
True
Let k be (30/(-80))/(1/(-8)). Suppose 0*s = -4*s + 5*j - 67, 4*s - k*j = -69. Which is bigger: -17 or s?
-17
Let i be ((-1)/(-3)*3)/(7/21). Suppose i*q = -z - 6 - 8, -3*z - 2*q - 7 = 0. Which is bigger: z or 2/471?
z
Let l be ((-1792)/48 - -38)*(-6)/4. Is l > 44/313?
False
Let l(u) = -u**2 + 830*u + 1544. Let q be l(0). Is q >= -1?
True
Let k = -0.175 - -0.108. Let m = -2.8 - -2.767. Let l = m + k. Which is bigger: l or 15?
15
Let o(x) = -8*x - 10. Let s be o(4). Let a = 51 + s. Let j be (4/(-21))/((-4)/42*a). Are j and -1 non-equal?
True
Suppose -1574 = -o - 5*k, -5*o + 29*k + 7930 = 34*k. Suppose 0 = 7*m + o + 427. Is m > -288?
False
Let x = -353.05 + 350. Let s = 3.25 + x. Is s at most as big as -80?
False
Let l = 269 + -7803/29. Let m = -734/25 + -7471/150. Let h = 79 + m. Is h != l?
True
Suppose -44*o = 39*o - 35 - 48. Is o > -8/687?
True
Let q = -428 + 424. Let s(l) = -l**3 - 6*l**2 - l + 6. Let n be s(q). Which is smaller: n or -20?
n
Let w = 51 - 96. Let n be 40/(-18)*w/10. Suppose -24*v + n = -19*v. Is v less than or equal to 20?
True
Let q(v) be the second derivative of 7*v**3/6 + 2*v**2 - v + 30. Let x be q(6). Which is bigger: x or 44?
x
Let z = 144/118357 + 210208501/91963389. Let h = 35318/3219 + -314/29. Let v = h - z. Is v smaller than -3?
False
Let h(d) = -22*d - 86. Let m be h(-4). Suppose -2*x - 12 = -m*j, 5*j + x + 5 = 53. Which is smaller: j or 106/13?
106/13
Let j = -15 - -19. Let y be 6700/5628 - (j/3 - 1). Is y <= -1/2?
False
Let q = 11139 + -11132. Which is smaller: -31 or q?
-31
Let a(m) = 2*m**2 + 3*m + 2. Let u be a(-2). Suppose -3 = -2*c + q, c - 5*q = u*c - 37. Suppose 2*z + 3*z + 92 = g, 2*g = c*z + 70. Which is smaller: -20 or z?
-20
Suppose 3 + 45 = -3*d. Let p be 4 + 5 + d/4. Suppose 1 = -6*q + p*q. Which is smaller: 4/17 or q?
q
Let o(w) = -16*w - 43. Let t be o(-3). Let g be (t/(-30)*6)/((-2)/(-14)). Suppose 0 = -3*u + 2*x - x - 4, 4*u - 2*x + 8 = 0. Is u bigger than g?
True
Let n = 258 + -171. Let d = 112 - n. Suppose -d*f + 30*f = 15. Is 7 smaller than f?
False
Let u be ((-8)/(-48) + 1)/((-14)/84). Which is bigger: u or -15.1?
u
Let v = -21 + 21.26. Let t = 1093 - 1093. Is t equal to v?
False
Let p be (8/6)/4*0. Let r be 55/((-22)/2) - (-2 + -1). Let m be (-2)/(r/3) - (-13135)/(-4403). Which is smaller: p or m?
p
Suppose 37*j + 3434 = 3*j. Let a = j - -92. Does -168/19 = a?
False
Let y = -78 + 47. Suppose 14*a - 17*a = -5*z + 118, -73 = 3*a + 4*z. Is a >= y?
True
Suppose 0 = 2*g - 4 + 2. Suppose -r + 5*b = g, -2*r + b = 3*r + 5. Let p be 197/788 - ((-2)/(-8) - 1). Which is greater: r or p?
p
Let z = -4724/117 + 509/13. Let l(c) = -3*c**2 + 1. Let f be l(-1). Is z less than f?
False
Suppose 33*g = 37*g - 2*v + 78882, -3*v = 9. Is g < -19721?
True
Let d = -1365 + 1369. Do d and 8/155 have different values?
True
Let g = -27 - -27. Suppose 0 = -4*s - 5*i - 9, g = -5*s - 0*i + 3*i + 35. Suppose 2*o = s*o + 4*f - 10, 0 = 2*o - f + 10. Is -14 < o?
True
Let a(y) = -y**3 - 4*y**2 - 3*y - 1. Let z be a(-2). Let n be 4/(-5)*(z + 18). Let k be 14/(-63) - 1261/(-39)*1/(-3). Which is smaller: k or n?
n
Let h = 9471 - 9472.91. Is 0.44 less than h?
False
Let j(t) = -36*t - 304. Let f be j(-9). Does f = -46?
False
Suppose 4*y + 55 = 3*m, y + m + 67 = -3*y. Suppose 425 = 5*a - 2*v, -62 = -0*a - a + 5*v. Let r = a + -104. Which is greater: y or r?
y
Let