 30. Let n = -64 + 59. Let j be r(n). Do 0 and j have the same value?
False
Suppose -135*y = -133*y - 554. Is y at most 2?
False
Suppose -27*o = -r - 30*o + 243, -1120 = -5*r + 4*o. Do r and 230 have different values?
True
Let o = 4155/4 + -1045. Let v be 7/2*(-3 - -1). Is v less than o?
True
Let l be (27/(-162))/(125/(-6)). Which is smaller: l or 1?
l
Let v = -8.9 - -62.1. Let h = -53 + v. Which is smaller: -1.2 or h?
-1.2
Let x be 304/(-1162) + (20/(-35))/(-2). Is x at least as big as 1?
False
Suppose 5*i - 4*z = 16 + 25, 0 = 4*i + 5*z. Suppose -6*r + 4*c + 108 = -r, -2*r = i*c - 30. Is r at most as big as 21?
True
Suppose 38*b = 31*b + 3843. Which is bigger: 551 or b?
551
Let r = 196.8 + -210.07. Let f = 13 + r. Let w = 0.2 + f. Which is smaller: w or 0?
w
Let z(q) = 2*q**2 + q - 2. Let a be z(-2). Let u be ((-10)/a)/((-3)/12). Does 12 = u?
False
Let m = 0.18 + -11.18. Let o = -109 + 126. Let j = o + m. Which is smaller: 2/7 or j?
2/7
Let n be (-2)/6 - (2 + -2). Let l = -8263/54 + 153. Let v = l + 59/270. Which is smaller: v or n?
n
Let k(b) = b**3 - 10*b**2 + b - 10. Let p be k(10). Which is greater: p or -4/57?
p
Let v = 298 + -298. Let c(m) = -m**3 - m - 1. Let i be c(0). Which is bigger: i or v?
v
Let h be 6/4 - (-58)/4. Suppose -5*p + h = 4*o, 4*o - 13 = 5*p + 3. Let n = 219 - 1089/5. Which is bigger: n or p?
n
Suppose 0 = -12*w + 10*w + 48. Let b be w/(-104)*2/(-6). Which is smaller: 1 or b?
b
Let o = -201 + 203. Which is greater: -0.3 or o?
o
Suppose 2*g - 6 = 10. Let u be 3/12 - (-22)/g. Let o = -188 + 569/3. Is u >= o?
True
Let o(z) = -z**3 + 5*z**2 - 4*z. Let p be o(4). Let q(m) = -m**2 + 39. Let f be q(p). Which is smaller: f or 38?
38
Let l = 21 + -25. Let v be ((-63)/36)/((-1)/l). Let m be 1/6*(3 + v). Which is bigger: -1 or m?
m
Let q be 813/540 - 3 - (-84)/56. Which is smaller: q or 1?
q
Let l be 5 - ((-78)/(-1) + 3). Is -77 greater than l?
False
Suppose 9 = f + q, f - q = -3*q + 6. Let a = 39 - 30. Which is bigger: a or f?
f
Let x be (-6 - 0)*((-19)/2 - -8). Which is smaller: x or 10?
x
Let b be ((-46 - 0)/1)/(-2). Let i = b - 21. Let c = 0.1 + -0.1. Which is smaller: i or c?
c
Let h = -1.83 - 87.17. Let b = h - -62. Let l = b - -26.8. Which is bigger: l or -2?
l
Let t = -32 - -30.1. Let r = -2.1 - t. Which is bigger: -0.01 or r?
-0.01
Suppose 10 = 4*z + y, -2*y = -0*z + 2*z - 8. Suppose 0 = -4*v - z - 2. Which is smaller: v or -3/4?
v
Let p = 11 + -7. Suppose -p = 7*j + 24. Suppose 1 - 7 = 2*f. Is j at most f?
True
Let q = 9034 + -35897/4. Which is bigger: 59 or q?
q
Let y be (4 - (-448)/(-105))/(1/3). Suppose -2*w = -w. Is y > w?
False
Let t = 144.3 - 123. Let z = -23.38 - -2.38. Let i = t + z. Is -3 bigger than i?
False
Let q = -641 + 640. Does q = 19/49?
False
Let i(r) = r**3 - 13*r**2 - 12*r - 25. Let m be i(14). Suppose g = 5, 0*o + m*g - 74 = -o. Is 59 greater than or equal to o?
True
Let o = -126.6 + 138. Let w = 3.4 - o. Which is greater: w or 0?
0
Suppose 0 = 2*o - 4*o + 6. Let t = -23470/3 + 7825. Which is greater: t or o?
o
Let i = -17.3 - -2.3. Let b = 22 + i. Let k = b - 12. Which is smaller: k or 1?
k
Let q = 8 + -5. Suppose 5*i = -7*i + 300. Suppose -2*l - i = 5*h + 3*l, -3*h = -3*l - 15. Which is smaller: q or h?
h
Let c = -100.4 - 23.6. Let x = -123 - c. Which is greater: x or 8?
8
Suppose -62*n + 57*n = -5*v - 95, -86 = 4*v + n. Let k = -72 + 51. Is k less than or equal to v?
True
Let h(x) = -x - 6. Let u be h(8). Which is greater: -92/7 or u?
-92/7
Let f = -76.804 - 1.296. Let m = 79 + f. Which is smaller: m or 2/11?
2/11
Let f = -0.039 - -1.039. Let r = 0.25 - 0.3. Does f = r?
False
Let p be (-425)/51 + (-4)/6. Let a be (-24)/p + -2 + 210/(-261). Are a and -1 non-equal?
True
Let r = -4/61 - -27/1342. Let c = 171/10 - 35/2. Which is greater: r or c?
r
Let l = 21037673 - 24824457983/1180. Let g = l + 2/295. Is g at most -3?
True
Let v(y) = -y**2 + 13*y - 14. Let f be v(12). Let r be -1 - (-2 - -15 - f). Let j = -45 - -28. Which is bigger: j or r?
r
Let x = 0 - 0. Let r = -60.4 - -57.19. Let p = 0.79 - r. Are p and x unequal?
True
Let x = 31 - 39. Let c(a) = 8*a + 78. Let j be c(x). Let q(k) = k**2 + 3*k - 3. Let w be q(3). Which is greater: w or j?
w
Let v be (2/220)/((-1)/(-10)). Which is smaller: 1 or v?
v
Let o = -1862 - -1479. Is o >= -382?
False
Suppose t = -2*a + 3, 0 = -4*a + 5*t - 1. Suppose -a = -4*d + 3. Let m be d + -4 + (-23)/(-7). Is 0 less than or equal to m?
True
Let y = -316 + 319. Let i be ((-4)/3)/(5/(-15)). Suppose -3*w + 2*w = -i. Which is smaller: y or w?
y
Let u = -1177 + 1176.66. Is 0.07 != u?
True
Let t(q) = q**2 - 11*q + 29. Let v be t(6). Suppose -3 = -2*r + r. Let y be (-2)/18*r/(-7). Which is greater: v or y?
y
Let a(l) = l**2 - 3*l - 4. Let z be a(4). Suppose 0 = u - 4*g + 54, -4*u = u - 4*g + 238. Let s be (-16)/20 - u/45. Which is smaller: s or z?
z
Let o = -11.07 + 10.5. Let l = o - -0.5. Let j = l - 0.03. Is j < 2/7?
True
Let n = -58 + 57.94. Let m = 0.06 + n. Which is smaller: -1/8 or m?
-1/8
Let c = 1 - 1. Let d(w) = -2*w**3 + 59*w**2 - 26*w - 121. Let g be d(29). Which is bigger: g or c?
c
Suppose 2*r = 5*m + 1 - 13, 2*m + 8 = 4*r. Suppose m*c + 30 = -3*h + c, 0 = 5*h + 4*c + 52. Let v be (6/16)/(18/h). Is v greater than or equal to 1?
False
Let o(b) = -b - 1. Let r be o(2). Let z be (1 - 5)/(-2) - r. Let w = -147 - -146. Is w > z?
False
Let p = 0.27 + -41.27. Let m = 41.02 + p. Which is smaller: m or -2?
-2
Suppose 0 = 2*r + 2*r. Let f = 3 - r. Suppose -f*m - 4*y + 15 = -y, 0 = -3*m - 4*y + 15. Are m and 4 equal?
False
Let w(z) = 7*z - 17. Let h(i) = -4*i + 9. Let a(j) = -5*h(j) - 3*w(j). Let o be a(15). Is -10 greater than o?
False
Suppose 0 = 2*j + 3*j - n - 33, 5*j + 4*n - 43 = 0. Let r(m) = 19*m**2 - 1. Let f be r(-1). Suppose -3*g = -0*g - f. Which is bigger: j or g?
j
Let i = 0.12 + 17.88. Let f = -17.6 + i. Let s = 0.3 - f. Which is smaller: s or 0.4?
s
Let m = -58314 + 582377/10. Let l = 76 + m. Which is greater: -1 or l?
l
Suppose -4*k - 214 = -3*m - 5*k, -2*m = 5*k - 147. Let f = m + -72. Is -3/2 greater than or equal to f?
False
Let c be (-1160)/(-25) + (-3)/(-5). Let h = 66 - c. Is h >= 18?
True
Let s(m) = -m**2 + 12*m - 14. Let z be s(10). Suppose 0*t + z = 3*t. Let i be 2/7 + 10/14. Which is bigger: i or t?
t
Suppose -2*r + 3*j = -11, -r + 17 = r - 5*j. Do 4 and r have different values?
True
Let n(c) be the first derivative of c**4/4 + 31*c**3/3 + 59*c**2/2 + 38*c - 30. Let v be n(-29). Which is greater: v or 8?
v
Let c be 10/5 - (-3 - -2). Suppose 0*g - 2*g - 6 = 0, -2*u + 7 = c*g. Let j = u - 12. Which is smaller: -2 or j?
j
Let q(c) = -c**3 + 7*c**2 - 3*c. Let k be q(5). Let f = k + -33. Which is smaller: -2 or f?
-2
Let x = 16 + -16. Let m(h) = -h**3 - h**2 - h + 24. Let u be m(x). Is 24 > u?
False
Let x(w) = w + 1. Let q be x(0). Suppose -105*b = -106*b + 50. Let g be (-1)/2 + 40/b. Which is smaller: g or q?
g
Suppose -3*z + 13 = -4*k, 10*k = 5*k - 20. Let n be 4/3*(-1)/18. Which is greater: n or z?
n
Let o = 5 - -39. Let d = 35 - o. Is 2 not equal to d?
True
Let f = 46441/36 - 1290. Is f less than -5?
False
Let j = 61.9 + -57. Let f = -1.3 - 3.7. Let t = j + f. Is t >= -8?
True
Let m = -2.5 + -8.5. Let f = m - -11. Suppose 5*j - 4*j = -4. Which is smaller: f or j?
j
Let a = 4 + -12. Let x be (-15)/(-70)*a/(-6). Which is greater: x or -30?
x
Let t = 26.2 - 3.4. Let g = t + -23. Is -0.04 less than g?
False
Let s(w) = -85*w - 1. Let o be s(2). Which is greater: o or -172?
o
Suppose d = -2*m + 45, 0*d - 55 = -d - 4*m. Let q = d - 28. Is 1 bigger than q?
False
Suppose 5*f - 5*t - 535 = 0, f + 9*t = 5*t + 117. Which is smaller: f or 108?
108
Suppose 0 = -5*m + 3*i - 37, -4*m - 44 = -3*i - 12. Suppose -6*v + 12*v = 42. Suppose 12*u - v*u = -15. Which is greater: u or m?
u
Let t = -10.82 + 11.3. Let i = t + -0.58. Are -3/29 and i non-equal?
True
Suppose -4*h + 17 - 5 = 0, 0 = -3*j - 4*h - 27. Let z = j - -17. Suppose 0 - 6 = -z*x - 2*k, 12 = -4*x + 4*k. Which is bigger: -2/17 or x?
x
Let m(y) = y**2 + 2*y - 2. Let p be m(5). Suppose -5*q + p = 103. Let h be 10 + (-3)/((-18)/(-150)). Which is smaller: h or q?
h
Let v(d) = -d**3 - 17*d**2 - 16*d + 14. Let u be v(-16). Let x be ((-2)/u)/((-13)/91). Let b = -14.19 - -0.19. Which is greater: x or b?
x
Let q(