27 - -69011/52. Which is smaller: 0 or b?
0
Let q be (-27 - -17) + 243/24. Let a(v) = -16*v**3 + 1. Let m be a(-1). Suppose -5*u + m = 4*i + 2, 0 = 4*i - u + 3. Which is bigger: q or i?
q
Let o = -852 - -643. Which is greater: o or -206?
-206
Let g = -1 + 2. Suppose 0 = -6*c - 1216 + 94. Let h be c/63 - 15/(-5)*1. Does h = g?
False
Suppose 14 = 6*t - 10. Suppose -5*r = 5*z - 30, -z + 4*z + 24 = t*r. Suppose -5*q - 4 - r = 0. Is -2 greater than q?
False
Let j(z) = 5*z**3 + 10*z**2 - 3*z - 5. Let f(q) = 9*q**3 + 19*q**2 - 6*q - 11. Let c(b) = 3*f(b) - 5*j(b). Let m be c(-4). Which is bigger: m or 3?
3
Suppose b - 1 = 1. Let f be 3/(b - (-5)/(-3)). Suppose -35*a + 405 = 10*a. Do f and a have the same value?
True
Let q be 13/12*-3 + (-1 - -4). Let l = -0.21 - -8.21. Let w = -11 + l. Which is smaller: w or q?
w
Let g = 10.85 - 11. Let n = 10 - 10.25. Let t = n - g. Are t and -2/17 equal?
False
Let m be 44/20 + -2 + 1302/(-6685). Which is greater: 1 or m?
1
Let f = -0.09 - -0.38. Let k = 39.21 - 39.4. Let u = f + k. Which is smaller: u or 12?
u
Suppose -3*v + 5*j - 57 = 2*j, 4*v = 3*j - 72. Suppose b = -17 + 2. Is v at least b?
True
Let p be (-44)/(-8) + (-1)/2. Let r(k) = -3*k + 48. Let z be r(9). Suppose -3*c - s + 0*s = -15, -3*c + z = 3*s. Is p less than c?
False
Let w = 85/428 + 1325865/4708. Let k = w + -282. Do k and -1 have the same value?
False
Let s be (-6)/(-54)*21 + (-2)/1. Do s and -4 have the same value?
False
Let r = -0.55 + 0.516. Which is greater: r or -2?
r
Let m(p) be the third derivative of p**6/60 + p**5/12 + p**4/8 + p**3/3 - 22*p**2. Let t be m(-3). Which is smaller: -15 or t?
t
Let s = 635.9 - 636. Are s and -276 equal?
False
Suppose -167 = -36*i + 13. Which is smaller: i or 96/25?
96/25
Let x be (0 - 355) + (22 - 16). Are -349 and x non-equal?
False
Let d = -21/55 - -5123/165. Let u = 30 - d. Is -0.25 <= u?
False
Let u = -85 - -84. Let z be ((-9)/4 - -1) + u. Are -2 and z non-equal?
True
Suppose 9*b = 21*b - 1188. Is 101 at most b?
False
Let y = 4 - 5. Let q be (3/12)/((-19)/1). Which is bigger: q or y?
q
Let h be ((-5)/10)/((-2)/(-16)) - -45. Let s = 38 - h. Suppose -10 = 3*v + 5. Which is smaller: s or v?
v
Let w = 2371/2590 + -4/259. Which is greater: 2 or w?
2
Suppose -4*m + 2 = 6. Which is smaller: -8/91 or m?
m
Let s be 6/21 + (-103)/(-7). Let z(y) = -3*y + 46. Let m be z(s). Which is smaller: m or -2/57?
-2/57
Suppose 27*m = -244 - 80. Are -0.2 and m nonequal?
True
Let k = 3.65 - 3.55. Is k bigger than 0.1?
False
Suppose 2*f - 10 = -3*f. Let d = -16.12 + 16. Let k = 0.08 - d. Does f = k?
False
Let o be 64/(-20) + 16/(-7 + 3). Which is smaller: -7 or o?
o
Let f = 1 - 16. Let m = -14.97 - f. Is m at most as big as 1/3?
True
Let u be 44/55 - (-3 + 181/45). Let l be (-8)/(-10) + 2/10. Which is smaller: u or l?
u
Suppose 20*n - 29*n = -18. Let z = 0.08 - 0.78. Does n = z?
False
Let t(s) = s**2 + 52*s + 603. Let i be t(-35). Let b(l) = -l**3 - 3*l - 3. Let z be b(-2). Which is smaller: i or z?
i
Let o(r) = 2*r - 35. Let x be o(13). Let d = 26 + -36. Is x bigger than d?
True
Let b be 4/3 + (-110)/(-30). Let n(w) = 2*w + 18. Let i be n(-6). Which is smaller: b or i?
b
Let c = 15.95 - 1.35. Let a = 13 - c. Let f = a + 4.6. Is f bigger than -2?
True
Let g = -27 - -7. Which is smaller: g or -22?
-22
Let y be ((-1747)/(-3) - -2) + 4. Let z = -596 + y. Is -7 < z?
False
Let s = 20 - 14. Let m(o) = o**3 + 5*o**2. Let y be m(-5). Let c be s/2 + (y - 4). Which is bigger: c or -2/33?
-2/33
Let n = -482/5 + 97. Let w = 0 + 5. Suppose w*u = -0*u. Is u at least n?
False
Let i = 8.09 - -0.41. Let j = -8 + i. Let w = 0.6 - j. Is w greater than 0.1?
False
Let w = -726 - -905. Is w less than 180?
True
Suppose 7 = 4*k + 3. Let u = k + -2. Let z be ((-5)/(-10))/((-12)/(-8)). Do z and u have different values?
True
Let n = -1060 - -1060.032. Is 2/15 != n?
True
Suppose -72 = 6*j - 15*j. Let g be 15*(2/(-3))/(-1). Which is smaller: j or g?
j
Suppose -2*k - 98 + 22 = 4*c, 4*c - 4*k + 100 = 0. Let b be 3 - -1 - (-126)/c. Which is smaller: -1 or b?
b
Let t(r) = -r**2 - 17*r + 2. Let z be t(-17). Let i be z - -2 - 3 - 2. Do i and -4/13 have the same value?
False
Let r(j) = -5*j + 3*j - 4*j**2 - 2 - 2*j + j. Let o be r(-2). Suppose 4*t - 3*t = -13. Which is greater: o or t?
o
Suppose 2*l = o - 126, 3*o + o + 5*l = 556. Let k = o - 668/5. Which is smaller: -1 or k?
-1
Suppose -175 = 5*h - 0*h. Let p = 42 + h. Is p >= 6?
True
Let s be (-1 - (0 + -2))/((-5)/370). Is -75 < s?
True
Let o be 3/(-6) - (-78)/12. Suppose -o*m = -3*m - 15. Which is smaller: m or 9?
m
Suppose p - 5*u - 15 = -37, 3*p - 19 = -2*u. Suppose -2*w + p*i + 5 + 12 = 0, -3 = 3*i. Which is smaller: w or -1?
-1
Let s(v) = 3*v**2 + 3*v + 4. Let t be s(4). Let c(d) = -d**2 + 34*d - 105. Let j be c(6). Is t <= j?
False
Let j = -95 + 233. Is j not equal to -2?
True
Let v be (4/16)/(5/20). Let c be (-4 + 5 - 3) + v. Is 1 at least c?
True
Let i = -80 - -82. Let m = -0.04 - 15.96. Is i equal to m?
False
Let k(a) = a**2 - 14*a - 13. Let z be k(16). Let u be z + -15 + 198/(-50). Which is smaller: u or 0?
0
Let d be (-104)/(-185)*(-14 - -15). Let z = -6/37 + d. Which is greater: -8 or z?
z
Let x = -215.47 - -216. Let w = 0.175 - -0.055. Let n = x - w. Which is bigger: n or 3?
3
Suppose 17 = 3*j + 3*s - 31, -4*j + 65 = 5*s. Suppose 0 = -i + j - 2. Which is greater: i or -1/3?
i
Let p be 36/27 - 2652/1998. Is 1 at most p?
False
Let a = -1 + -8. Let k = -26/3 - a. Let t(f) = f**3 - 6*f**2 + 12*f - 36. Let p be t(5). Which is smaller: p or k?
p
Let h(f) = -f**2 + 2*f - 1. Let u = 3 + -2. Suppose 4 = i + u. Let o be h(i). Is o less than or equal to -5?
False
Suppose 4*o - 777 = 25*o. Is -189/5 smaller than o?
True
Let h(l) = -4*l + 20. Suppose 0 = y + 3*y - 24. Let b be h(y). Which is smaller: b or -0.3?
b
Let u be (-1313)/(-1) + -114 + 108. Which is greater: 1308 or u?
1308
Let y = 83 + -57. Let w = 0 + 3. Suppose y = 3*p - n - n, 0 = -3*p + w*n + 30. Do 7 and p have the same value?
False
Let v = -1 + -2. Let b be -2*(12/51)/4. Let p = b + 23/51. Is p less than or equal to v?
False
Let g = -178 - -177. Which is bigger: 0 or g?
0
Let m = -166 - -165. Which is smaller: m or -2/293?
m
Suppose 2*b + 23 - 7 = 0. Let q = -203082/21605 - 1/4321. Is b at most q?
False
Let a = 24 - -22. Is a less than 48?
True
Let l be (((-4)/(-6))/(-2))/(1/(-18)). Let q(h) = h**3 - 8*h**2 + 12*h - 2. Let f be q(l). Let z be 63/120 - 4/10. Is f at most as big as z?
True
Let v = 1044 + -1039. Which is smaller: v or 33?
v
Let c = -0.907 + 0.507. Do c and -0.01 have the same value?
False
Suppose 89*q + 71*q = 144*q + 208. Suppose 2*v = -3*v + 65. Is v greater than q?
False
Let f = -2732/15 - -182. Suppose 2 = j - 0. Suppose 4*l = 5*g + 14, -j*l - g = -0*l. Which is smaller: f or l?
f
Suppose -76 = -35*s - 3*s. Is -8/5 smaller than s?
True
Let s = -360/11 + 5935/99. Let q = s + -27. Let k = q - 50/63. Which is smaller: k or 0?
k
Suppose 6*y - 4694 + 896 = 0. Which is greater: y or 631?
y
Suppose 789 = -66*x + 261. Is -47/6 != x?
True
Suppose 3*n - 2120 = 43*n. Which is bigger: n or -43?
-43
Let c = 8.9682 - -0.0318. Which is bigger: c or -0.13?
c
Let y be 964*(-34)/17724 - 3. Let v = y + -5/633. Is -5 greater than v?
False
Suppose 4*z + 60*r - 55*r = -1383, 1365 = -4*z + r. Is z != -341?
True
Suppose -7*n = -3*n + 12. Let m(w) = -2*w + 1. Let x be m(-1). Let d be (-2)/((-6)/x) + -4. Is n smaller than d?
False
Let n = 747163/95 + -7865. Which is greater: 1 or n?
1
Let h = -0.18 - -0.08. Let l be (-46)/1 - (-7)/(-35). Let t = l - -46. Do t and h have different values?
True
Suppose 0 = 69*q - 77*q + 360. Which is smaller: q or 44?
44
Let j(o) = -8*o**2 + 14*o + 7. Let q be j(4). Let v = -66 - q. Is 44 equal to v?
False
Suppose -4*h + 22*f - 18*f = 68, 0 = -4*h + 3*f - 73. Is h equal to -236/11?
False
Let i(s) = -s**2 + 11*s - 14. Let g be i(7). Suppose 8 = 2*h - g. Which is greater: h or 12?
12
Let m = 110 - 78. Let d = m - 40. Is -8 greater than or equal to d?
True
Let c = 119 - 116.78. Let v = c + 0.78. Do v and -2/31 have the same value?
False
Let x = -0.5284 + 0.0374. Is -0.1 equal to x?
False
Let g = 137/6 + -121/3. Let i be ((-51)/6)/(2/(-4)). Let q = g + i. Which is bigger: q or 12?
12
Let t = -461 + 456.01. Let l = t + -0.01