b. Is b greater than -3?
False
Let a be -2 - ((-26)/10 + 1). Let q be 2 + ((-2)/(-7) - (-9725)/13125) + -3. Does a = q?
False
Suppose -2*q = -10, 0*o - 2*o - q = -5. Suppose 4*r - 5 - 7 = o. Suppose -3*s + r = -12. Are 0.3 and s equal?
False
Let j be ((-5355)/(-440) - 7) + -5. Which is smaller: j or -1?
-1
Let u be 0/((-1)/(-2)*-2). Suppose u = -2*r - 0 + 2. Let c = -3508/7 - -501. Which is bigger: r or c?
r
Suppose 136 = 5*g - 184. Which is smaller: 65 or g?
g
Let u = -12.161 - -26.134. Let d = -0.027 - u. Which is smaller: -1/2 or d?
d
Suppose u - 2*u + 4 = 0. Let r be ((-1)/2)/((-6)/(-96)). Let o = -4 - r. Do o and u have different values?
False
Let o = -12 - -11. Is -2/5 less than or equal to o?
False
Let y(h) = h**3 - 2*h**2 + 9*h - 9. Let v be y(2). Let z be 1/((-2)/4) + 55. Suppose z - 13 = 5*j. Which is bigger: j or v?
v
Let b = 102 + -99. Let v be 4 + (0/(0 - 4) - b). Does v = -8/39?
False
Let t be (-90)/(-225) + 23/(-20). Which is smaller: t or -1?
-1
Suppose 5*f - 21 = a + 1, -4*f + 16 = 0. Let c be (-1 - a) + 5 + -4. Suppose 2*h = -c*h. Which is smaller: 7 or h?
h
Let f(g) = g**3 - 34*g**2 + 63*g + 53. Let y be f(32). Is y at least as big as 131/6?
False
Let a = -0.036 - -0.018. Let d = a + 1.018. Are d and -2/9 unequal?
True
Suppose -3*q - j + 9 = q, -1 = -j. Let p = 343 - 357.7. Let v = p + 4.7. Is v at least as big as q?
False
Suppose -113 = -4*v + 19. Suppose -v = -5*k + 7. Let o be (-273)/252 - k/(-6). Are o and 0 non-equal?
True
Suppose 54*p = 51*p + 258. Let y = p - 256/3. Let c be (-4)/6*30/8. Which is smaller: y or c?
c
Let n(m) = -11*m + 11. Let v be n(0). Let t be (-7 - v)/((-2)/(-3)). Is -26 at most as big as t?
False
Let m be ((2 - 1)*-1)/(-1). Let j be m - -2 - 505/10. Let w = -46 - j. Which is smaller: 3 or w?
w
Let p be 52/6 - 5/(-15). Let u = -24 + 41. Let t = u + -8. Is t less than or equal to p?
True
Let c = 0.07 + 0.93. Let i = -57.94 - -58. Which is bigger: c or i?
c
Let s(v) be the third derivative of -v**4/12 - 3*v**3 - 5*v**2. Let y be s(-8). Is y greater than -1?
False
Let m be 2 + (-6 - (0 + -3)). Let r be 14/21*3/9. Is m < r?
True
Let c = 0 - -1. Let q = 514 + -515. Which is bigger: c or q?
c
Let w be 2 - -2 - (-6 + 3). Suppose 21*a - w*a = 0. Is -5/16 bigger than a?
False
Suppose 2*x - o = 15, -4*x + 0*o = -4*o - 40. Let q = 54/79 - -603/158. Are x and q unequal?
True
Let a be 4*(3/3)/1. Let f(m) = -2 - a*m**2 - 12*m + 6*m**2 - 3*m**2 + 2*m**2. Let q be f(12). Is q less than -1?
True
Let z be (-4)/10 + (-585)/(-650). Which is smaller: z or 9/5?
z
Let m be 0 - (-2)/12*(-1 - 1). Let u = -1.8 + 0.86. Let k = -0.06 + u. Is m not equal to k?
True
Let i = 1/24 + -35/264. Do 0.1 and i have different values?
True
Let l be (1/2 - 1)/((-22)/132). Suppose -5*g - 2*d + 205 = -7*d, l*d - 49 = -g. Do 42 and g have the same value?
False
Let d = -7.026 - -0.026. Let u be (1/(-3))/((-2)/30). Suppose -u*a = -1 - 4. Which is bigger: d or a?
a
Let t = 277 + -279. Which is smaller: -26/5 or t?
-26/5
Let r(q) = -q + 11. Let n be r(6). Suppose 0 = -f + n*l - 11, -3*f - 5*l - 4 = -31. Which is greater: -1/2 or f?
f
Let d = -50 - -251/5. Let j = 14 - 4. Suppose -u + b - 2*b = 2, -2*u - 4*b = j. Is d at least as big as u?
False
Suppose -3*x + 2 = 8. Let s be (6 - (-324)/(-78))*1/(-2). Which is smaller: x or s?
x
Suppose -4*m - 3*a + 2*a + 26 = 0, -5*m - 3*a + 29 = 0. Suppose c - 2*x - m = 0, -12 = 4*c + x + x. Is c >= 2/19?
False
Suppose -3*v - 2 - 4 = 0. Let d = 2649/11 - 241. Which is greater: v or d?
d
Suppose -17 - 1 = -3*r. Let t be ((-33)/(-22))/(r/28). Is 5 at most t?
True
Let k be (-453)/(-4) - (-18)/24. Let m = -112 + k. Is m at least 1?
True
Let m(t) = t**3 + 19*t**2 - 3*t - 59. Let u be m(-19). Suppose 3*a = 4*y + 30, 3*y - 2*a - 3 = -26. Let f be -10 + 10 + 20/y. Is u less than or equal to f?
False
Let n be 1/5 - (-19)/5. Suppose 5*x = 3*h - 3, -h = 3*h - n. Suppose 3*y = -l + 6*y + 12, x = 4*l + 3*y - 3. Is l != -1?
True
Suppose 5*j - 19 = -4. Suppose -j*y + y = -4. Suppose 0 = y*c + 3*c + 15. Is c < -3?
False
Let d = 269 - 269.2. Which is smaller: d or -0.4?
-0.4
Let n = 332.311 + -332. Let p = n - -19.389. Let l = p - 20. Which is greater: 1 or l?
1
Suppose -5*n + 0*f + 3 = 4*f, -3*f = 3*n. Suppose -5*i + k = 5935, k + 2 = -n. Let q be 210/i + (-2)/(-9). Is -1 equal to q?
False
Suppose -7*s = -10*s + 15. Suppose -3*t - 2 - 1 = -4*y, 5*t + y = -s. Which is smaller: 4/15 or t?
t
Suppose h = -2*x + 82, 0*h - 2*h + 169 = 5*x. Let z be ((-54)/h)/(27/16). Which is bigger: z or 0?
0
Let g = 1.0279 - 0.0279. Is -101 >= g?
False
Let v = -84 - -152. Let s be ((-1)/(-6))/((-85)/v). Let g be 3/1*1/3. Is g <= s?
False
Suppose -13*r + 1366 + 168 = 0. Do r and 118 have the same value?
True
Let s be 1838/272 + (-146)/(-1241). Is s smaller than 0.1?
False
Suppose -2*n = 5*y - 26, -n - 2*n + 46 = 4*y. Suppose 3*h - 51 = n. Is h != 23?
False
Let c = 2710 + -2710. Which is bigger: c or 2/2791?
2/2791
Let x(i) = i - 20. Let b be x(20). Suppose 4*r - 2*r + 6 = b. Is -5 <= r?
True
Let a be (-2)/(-3) + 14896/(-105). Let t = a - -16919/95. Let q = -37 + t. Is -1 greater than q?
False
Let r be 2*((-1)/(-11))/((-21)/(-42)). Suppose 0 = -x + 4*i + 5, -1 = -4*i - 5. Is r >= x?
False
Let r = 0.88 - 0.08. Let z = -18.2 - r. Which is bigger: z or 0.1?
0.1
Let p(a) = a**3 - 7*a**2. Let h(x) = x + 12. Let m be h(-5). Let b be p(m). Are b and -1/31 nonequal?
True
Let l = 777.5 - 777. Which is greater: 0.04 or l?
l
Let d = 31 - 33. Let h = d + 3. Is h at most as big as 15?
True
Let u(j) = 4*j - 21. Let r(s) = -7*s + 42. Let a(l) = 2*r(l) + 5*u(l). Let d be a(10). Is 38 at least as big as d?
False
Suppose 0 = 5*u + u - 24. Let l = u - 6. Let r = 25/2 + -13. Is l <= r?
True
Let l(n) = 44*n**3 + 2*n**2 - 2*n + 1. Let o be l(1). Suppose -2*a = 3*h + a + 1026, 1370 = -4*h - 5*a. Let f be (-16)/6*o/h. Which is greater: 1 or f?
1
Let h = -0.91 - 106.09. Is -0.2 < h?
False
Let h(y) = 25*y + 121. Let x be h(-5). Which is greater: x or -2?
-2
Let q = -22 - -24.8. Let l = 2.96 - q. Let t = 0.66 - l. Is -1/4 <= t?
True
Let r(c) = -9 + 4*c - 4*c + c. Let z be 14/(-49) + 37/7. Let x be r(z). Which is bigger: -2 or x?
-2
Let o be ((-2)/(-8))/((-6)/12). Let a(k) = k + 4. Let r(h) = h + 4. Let t(p) = 5*a(p) - 4*r(p). Let b be t(-5). Which is smaller: o or b?
b
Let r be (-2)/4 + 14/4. Let g = r + -2. Let z = -23914 - -239141/10. Which is smaller: z or g?
z
Let y = 16 + -12. Suppose 0 = -y*k - 10 + 58. Do k and 8 have the same value?
False
Suppose t - 5*t = 5*h - 7, -2*t + h = -7. Let w be (t/6)/(1/(-120)) - -1. Which is greater: w or -58?
-58
Let o = -6497 + 6490.031. Let c = -0.031 + o. Is 1 at least as big as c?
True
Let y be (-740)/9100 + (-3)/(-21). Do y and 1/4 have the same value?
False
Suppose 12*j + 360 - 348 = 0. Is 6/179 <= j?
False
Suppose -4*b - 3 = -7*b, 8 = 2*u + 4*b. Suppose -4*q = -u*k - 8 - 2, -k = -q + 5. Which is greater: 1/53 or q?
1/53
Let n = -1.59 - -1.52. Let r = -30.43 + 32. Let y = r + n. Is 0 < y?
True
Suppose 0 = o + 1, 4*z + 306 = 4*o - 546. Is -215 smaller than z?
True
Let w(t) = -71*t + 356. Let z be w(8). Are z and -212 equal?
True
Suppose 472 = -t + 114. Let j be t/(-9) + (-4)/(-18). Is 42 >= j?
True
Let z be 17050/154 + (-4)/(-14). Is 111 less than or equal to z?
True
Let z = 36226 + -324982/9. Let b = z + -117. Which is smaller: b or 0?
b
Suppose -1757 = -7700*p + 7693*p. Is p < 251?
False
Let j be (-1725)/(-180) + 1/6. Let u = -97/12 + j. Which is smaller: u or 2?
u
Let v be 3/6*-1*-4. Let a(y) = y**3 - 10*y**2 - 11*y + 1. Let k be 22*4*1/8. Let p be a(k). Does v = p?
False
Let s = 7535328/997 - 7558. Is 0 >= s?
False
Let u(p) = -2*p**2 - 17*p - 16. Let c be u(-7). Let i = -33 + 52. Suppose -3*x - 5 = -c*r + i, -9 = -2*r + x. Is r greater than or equal to 0.1?
True
Let b = -0.1288 + -0.1712. Which is smaller: 11/2 or b?
b
Suppose -2*m + 936 = -5*u - 0*u, u - 5*m + 178 = 0. Let g be (-5)/15 - u/(-12). Are g and -16 equal?
True
Suppose 2*t - 4 - 21 = 3*x, 2*t - 45 = -x. Let v = t + -34. Which is smaller: v or 1?
v
Let u be 1 - 6/3 - 0/66. Do 1/236 and u have different values?
True
Let u = 0 - -0.25. Let d = -0.05 - u. Let o = 9.8 + -9.7. Which is smaller: d or o?
d
Suppose 0 = -c + 5*n - 22 + 5, -5*c + 5*n = 25. Let b(a) = -a**2 