(-2340). Which is greater: z or 0?
z
Suppose -4*g + 3*v + 428 = 0, 2*v + 246 = 5*g - 296. Does 88 = g?
False
Let z = 130 + -318. Let d = z + 191. Which is smaller: 46 or d?
d
Suppose 19*y - 25*y + 24 = 0. Suppose -3*q + 231 = 3*d, -8*d + y*q + 166 = -6*d. Is d smaller than 79?
False
Let y = 0.7709 + -0.8709. Is y less than or equal to 1/3273?
True
Suppose -34 = 5*w - 9, -2*x = -3*w - 57. Let o be 8/(-6) + 28/x. Is -20 greater than o?
False
Let w(m) = m**2. Let g be w(0). Suppose -3*h - 5*f = -47, g = -h + 5*f + 13 - 4. Suppose 13*k + 17 = h*k. Is k >= 17?
True
Let o = 1.8 + 1.2. Let d(b) = 9*b + 329. Let z be d(-37). Which is greater: z or o?
o
Suppose -4*k = 3*s - 35, -2*k - 4*s + 20 = -0. Suppose k*y + 0*y + 352 = 0. Let v = y + 45. Which is bigger: 3 or v?
3
Let l be ((-945)/(-60) - 45/3) + (-6)/8. Do 4/2129 and l have the same value?
False
Let h = -37 + 40. Let d be (-5 + 10 + -5)/(-3 - -1). Suppose -n + 5*w - 25 = 0, d = -n + h*w + 7 - 22. Does -0.71 = n?
False
Let g(h) = 6*h + 1. Let d be g(1). Let o be -6*(-606)/24*(-2)/(-3). Let r = 108 - o. Are r and d unequal?
False
Suppose -891 - 2803 = 133*n + 3754. Which is greater: n or -13/4?
-13/4
Let u be -4*(-49)/(-1)*1. Suppose -79*w = -412*w - 214*w - 107212. Is u smaller than w?
False
Let p = 133.39 + -134.39. Is p less than -1781?
False
Suppose 29 = -7*b + 43. Let o be (-56)/(-64) + b + (-38)/16. Which is smaller: o or 0?
0
Let r = -31 + 34. Suppose 2*d + d + r = 0. Let t be (-5)/(-2)*d/(-5). Which is bigger: t or 9/5?
9/5
Suppose 29 = 5*l - 11. Let u(x) = -x**3 + 6*x**2 + 16*x + 4. Let s be u(l). Suppose s*q = 10*q. Which is bigger: q or 2?
2
Let g = -33.824 + 34. Let u = -99.176 + g. Let j = 83 + u. Is 1 less than or equal to j?
False
Let z = 5 + -1. Let y be 175/430 + (-2)/z. Let i = y + -113/172. Are 1 and i equal?
False
Let w(s) = -5*s + 700. Let i be w(6). Which is smaller: i or 671?
i
Suppose u - 2*n - 256 = 0, -2*u - 3*n = -317 - 230. Which is smaller: 265 or u?
265
Let i = 0.543 + -0.123. Let t be 90/(-10) + 1 + 4. Is t at most i?
True
Let y(r) = -105*r + 2743. Let n be y(51). Is -1 < n?
False
Suppose 8*g - 6*g + 4 = 0. Let d = g - -10. Let o = d - 7. Which is smaller: 2 or o?
o
Let r be 5015/59 - (1 + -2)*-6. Which is smaller: r or 78?
78
Let k = -16298 - -16380. Which is smaller: 36 or k?
36
Let i(z) = z**2 - 9*z - 36. Let w(q) = q**3 - 12*q**2 + 10*q + 1. Let x be w(11). Let d = 22 + x. Let f be i(d). Is -1/127 at least as big as f?
False
Let l be (-2 + -2 + -3)/((-2)/36). Let r = l - 125. Let a be ((-12)/2)/(150/4). Which is smaller: a or r?
a
Suppose 32 = 9*w - 31. Suppose 14*m - w*m = 0. Suppose -3*g = 2*n - m*n - 71, 3*n + 89 = 4*g. Is g at most as big as 23?
True
Let j(r) = -r**2 + 12*r - 7. Let u be j(11). Suppose 60 - 201 = u*c + l, 0 = 5*c - 4*l + 150. Let t be 4 - 4/(-32)*c. Is t less than 1?
True
Let r be (-3)/(-12) + (-85)/(-12). Let y(s) = 3*s**2 - s - 2. Let d = 191 - 189. Let i be y(d). Which is bigger: i or r?
i
Let q = 6000 - 5929. Is 63 at least as big as q?
False
Let h = 140.08 - -0.92. Let k = -141.073 + h. Is 0 <= k?
False
Let x = -375 + 249. Let j = -174865 + 174740. Which is smaller: j or x?
x
Let d = 24 + -44. Suppose 31*b - 10 = 52. Suppose -3 = b*x - s, 0 = -19*x + 17*x - s - 13. Is d <= x?
True
Let l(x) = -x**2 - 23*x. Let b be l(-23). Suppose b = 3*o + 7*o - 100. Is o equal to 16?
False
Let x = -3551.3 - -3550. Let r = 3/35 + 11/35. Is x at most r?
True
Let d(k) = 15*k**2 - 40*k - 266. Let x be d(-35). Are 19510 and x unequal?
True
Let b = 17848 + -16102. Is b at most 1747?
True
Let z(w) = w**2 - 8*w - 3. Let l be z(8). Let n be -4 + (48 - l) + -4. Suppose 9*i - 6*i - n = -4*p, -2*i = p - 12. Which is bigger: 12 or p?
12
Let c be -3754*10/(-20) - -2. Does c = 1879?
True
Let f = -0.6789 + -37.5211. Is -4 greater than f?
True
Let p = -2737231747/13065 + 1047544/5. Let g = -18758/39 + 481. Let a = g - p. Is -1 equal to a?
False
Let g(n) = -4*n**3 - n**2 + 1. Let f be g(-1). Suppose i + 4*x + 12 = 0, 4*x + 5 = -7. Suppose 0*r - 2*r - 5*k = i, k - 18 = -4*r. Which is greater: f or r?
r
Let m(h) = -11*h - 249. Let s be m(0). Let u = s - 53. Which is greater: -301 or u?
-301
Let w = -17/23 - -431/552. Let p = w - -53/1032. Is -1 greater than or equal to p?
False
Let m = 82/15 - 1421/120. Let a(x) = -17*x + 95. Let j be a(6). Do m and j have the same value?
False
Let m(q) = -2*q**3 + 12*q**2 + 25*q + 100. Let r be m(-8). Are 1696 and r unequal?
True
Let o(l) = -1511*l - 1. Let a be o(-1). Let p be 634/a - 26/65. Which is greater: p or -1?
p
Let d = 0.17 + 14.83. Suppose 0 = -60*u - 155 + 215. Is u equal to d?
False
Let r = -120 - -114. Let a be (-9)/r*(0 + -2). Which is smaller: 0.9 or a?
a
Let q be (13 - 0) + -2 + (-516)/48. Is q >= 0.5162?
False
Suppose 3*k = d - 283, -d + 93*k + 307 = 94*k. Is d at most as big as 309?
True
Let p = 0.4 + -0.5. Let c be 8/44 - ((-1076)/(-110) + -2). Which is greater: p or c?
p
Suppose -s - 2*s = 4581. Let n = s - -13757/9. Let a be -2 - -16 - (7 - -4). Is n > a?
False
Suppose -4*q - 5*w - 94 = 0, 101 = -3*q - w + 36. Let a = 282 - 280. Suppose -4*r = -4*h - 56 - 12, 0 = h - a*r + 13. Is q greater than h?
False
Let o be (-15)/30 - (-781813)/2. Let z be o/(-285) + 2*(-3)/(-10). Let v = -6877/5 - z. Which is smaller: -3 or v?
v
Let h(v) = -v**3 + 8*v**2 - 4*v + 2. Let o be h(8). Let q(i) = -2*i - 74. Suppose 110 = -18*x + 13*x. Let n be q(x). Is n smaller than o?
False
Suppose 726 = -100*j + 26. Are j and -19 unequal?
True
Suppose 5*i + 14 = -r, -i + 3*r + 1 = -9. Let b be (-1)/i*(-21)/(924/(-8)). Suppose -3 + 6 = 3*u, 2*f = 4*u - 6. Which is smaller: f or b?
f
Let o(n) = -n**3 + 8*n**2 - 2. Let h be o(4). Let q = -47 + 107. Let s = h - q. Is s equal to -1/6?
False
Let c be 719/(-15099)*(0 + -1 + 7 + 0). Which is bigger: c or -975?
c
Let b = 10897 - 10896.23. Let p = -239.57 - -229.8. Let n = p + b. Which is greater: -3 or n?
-3
Let y = -14/3 - -76/15. Let u = -3.3 - -0.9. Let i = -2.4 - u. Is y equal to i?
False
Let o(x) = 135*x - 7972. Let v be o(0). Which is smaller: v or -2/3?
v
Suppose -13*t + 70 = -20*t. Let p be 2 + 4 + 897/(-52). Is p at most as big as t?
True
Let t be 126/(-4) + ((-4928)/1584 - (-20)/18). Which is smaller: t or -35?
-35
Let c(i) = 210*i + 419. Let q be c(-2). Do q and 23/239 have the same value?
False
Let j = -675533/6391 - -143/581. Does j = -106?
False
Let l = 3598 - 53992/15. Let b = -229/105 - l. Which is smaller: b or -8/3?
-8/3
Let p = 19 + -10. Let q = -79 - -78.774. Let r = q - 0.774. Which is smaller: p or r?
r
Let i(q) = -2*q**2 - 29*q - 37. Let y be i(-16). Let h be ((-12)/(-9))/(4/(-6)) + y. Let l = -91 - h. Do l and 3 have the same value?
False
Let j = 13 - 25. Suppose -q + 390 = -4*w + 86, q + 76 = -w. Let n = 63 + w. Is j less than n?
False
Let k be -3*(120/(-9))/4. Let l be 1/2 + 3 + 22/(-4). Let y be (k - 5 - 5) + l/(-8). Which is bigger: y or 6?
6
Let o(s) = s**2 - s - 7. Suppose -9*a = -6*a - 12. Let d be o(a). Let y = -28 - d. Do y and -33 have different values?
False
Let c(l) = 18*l**2 + 39*l + 153. Let y be c(-8). Is 991 >= y?
False
Let v(d) = -9*d + 104. Suppose -4*z - 3 + 7 = 0, 0 = -g + 3*z + 9. Let k be v(g). Which is smaller: -14 or k?
-14
Let u = 148927 - 1482270433/9953. Let a = 2538043/139342 + u. Let r = -24749/1358 + a. Is -1 != r?
True
Let m(t) = -t**3 + 7*t**2 + t - 36. Let a be m(6). Let i(d) = -d**3 + 3*d**2 + 13*d - 2. Let g be i(a). Which is bigger: -123/4 or g?
-123/4
Let w be 99/(-18)*2*1. Let q(x) = 18*x + 17. Let s be q(-1). Is s >= w?
True
Let c be (-7)/(54390/(-20))*-3. Let m be 1/3*(-5 + 5). Are c and m non-equal?
True
Let v = 183340 + -183582. Suppose -767 = 5*p + 438. Is v < p?
True
Let c = 21581.5445 - 21582. Is -2/3 less than or equal to c?
True
Let r = -907/6 - -152. Let n(a) = 12*a + 421. Let x be n(-28). Let m be 1/(-1)*(-87 + x). Which is greater: r or m?
m
Suppose -43*q - 4650 = -80*q - 469. Is q != 1004/9?
True
Let r = -9 + 9.08. Let i = -1/1383 + -3226/1383. Which is smaller: i or r?
i
Suppose -3*k = j - 2*k - 7, 5*k - 23 = -2*j. Suppose i = -32 + j. Let p = -31 - i. Which is greater: -22/5 or p?
p
Suppose -q = q - 26. Suppose -126*w + 118*w = -168. Let d(u) = u**3 - 22*u**2 + 22*u - 12. Let h be d(w). Which is smaller: q or h?
h
Let b(d) = 