-9/8?
x
Suppose -9 = 6*n + 183. Let o be (-5)/((-10)/(-72)) + 224/56. Are n and o unequal?
False
Let t = 171540/71 + -2416. Which is smaller: 0 or t?
0
Let p = 3 + -3.1. Let y = p + 0.2. Let o = -197 - -201. Is y equal to o?
False
Let a(v) = -4*v**2 - v. Let t be a(1). Let q(i) = -i + 6. Let k be q(t). Let n = k + -11. Which is greater: n or 3/5?
3/5
Let g(q) = -52*q + 125. Let i be g(2). Is 41/2 at least as big as i?
False
Let u = -3 - -10. Let n = u + -4. Which is smaller: n or 1/6?
1/6
Let x be (-132)/30 - -2 - (-2)/5. Let s be (12 + x)*1/1. Let z be (2 + -3)/((-2)/24). Is s at least as big as z?
False
Let i = 14978 + -374452/25. Let r(m) = -m**3 + 4*m**2 + 1. Let c be r(4). Which is smaller: c or i?
i
Let a = 188 + -193. Which is bigger: -14 or a?
a
Let v be -9*(3 + 6)/135. Which is smaller: 152 or v?
v
Let m be 2/(-7) - 122/14. Let q(d) = -d**2 - d + 19. Let y be q(0). Let i be (-4)/(-8) + y/(-2). Is m less than i?
False
Let s = 9/44 - -365/44. Which is smaller: s or 0.03?
0.03
Let d = 0.1 + -0.1. Suppose 36 = s + 2*s - a, 3 = -a. Suppose -4*i + s = -29. Is d less than i?
True
Let v = 76 + -85. Is v less than 0?
True
Suppose -59 + 19 = 5*m. Let y(u) = -u**2 - 5*u + 19. Let p be y(m). Is -8 at least p?
False
Let c(m) = -3*m + 15. Let g(b) = b - 5. Let n be g(16). Let w be c(n). Let q be (w/24)/(54/32). Is 1 less than or equal to q?
False
Suppose -101*t + 72*t + 2030 = 0. Which is greater: t or 74?
74
Let q = 3.1 + -39.1. Let g = 35.9 + q. Is g less than -4?
False
Let l be ((-3)/(-2))/(3/4). Suppose 0 = -42*a + 46*a - 8. Suppose -3*h - 11 = p, p = l*p - a*h + 1. Which is smaller: p or -9/2?
p
Let z(o) = -265*o**3 + 2*o**2 - 3*o + 3. Let b be z(1). Is -263 bigger than b?
False
Suppose 6*y - 9*y = -5*v - 33, 5*y = 2*v + 36. Is y less than or equal to 8?
True
Let w(g) = -2*g**2 - 15*g - 6. Let j be 12/3*3/(-2). Let a be w(j). Which is smaller: a or 10?
10
Let o = -360622 + 2529196/7. Let m = 693 - o. Suppose 15 = 21*w - 6. Which is smaller: m or w?
w
Let u = -6.62 + -0.38. Let o = -8 - u. Which is smaller: 3/7 or o?
o
Let h = -0.3319 - -0.0319. Which is smaller: 2/109 or h?
h
Let l(q) = 7*q**2 - 11*q - 1. Let z(t) = 20*t**2 - 32*t - 2. Let a(d) = 17*l(d) - 6*z(d). Let p be a(2). Is 2/53 <= p?
True
Let j = -185 + 163. Are -26 and j equal?
False
Let b = 79.9 + -80. Let t = -9.08 - -9. Let g = t - -0.08. Which is greater: b or g?
g
Suppose -12 = 9*r + 6. Is r >= -15/11?
False
Let j be (4025/(-30))/(-7) - -2. Is j at most 21?
False
Let k = -6 - -15. Let r = k + -9.1. Which is bigger: -1/14 or r?
-1/14
Suppose -5*n = 2*g - 30 + 4, -4*g - 4 = -4*n. Which is bigger: n or -316?
n
Let h = -167/511 - -3/73. Let r be 1/4 + (-2985)/300 + 10. Which is bigger: r or h?
r
Let p = 9 - 5.9. Let j = -0.05 - 2.95. Let v = j + p. Is 0 less than v?
True
Let y be (-91*2/8)/170. Let v = y - -3/40. Let s be -5 - (-44)/10 - 16/(-10). Is v smaller than s?
True
Let y = -6.5 - -10. Let k = y - -1.5. Are k and 0.2 nonequal?
True
Let y be (60/80)/((-6)/(-8)). Which is bigger: y or -2?
y
Let n(o) = o + 6. Let i be n(-7). Let r be (9/(-4) - (-10)/40)/(-74). Which is bigger: r or i?
r
Let v(x) = x**3 - 6*x**2 - 4*x + 4. Let z be v(6). Let o be 600/(-40) - (0 + 4/2). Let j = o - z. Is 3 at least j?
True
Let j(q) = 8*q - 289. Let p be j(27). Which is smaller: p or -75?
-75
Let o = -0.37 - -0.47. Which is greater: o or 0.23?
0.23
Let h = -56 + 71. Let y be h*24/(-40)*2/3. Let f be (-10)/1*(-8)/(-10). Is f > y?
False
Let j(u) = -2*u + 79. Let n be j(42). Which is smaller: n or -26?
-26
Let r = -1.07 + 0.87. Is -34 >= r?
False
Let d(b) = 2*b**3 + 4*b**2 - 2*b - 5. Let x be d(-4). Which is greater: -550/9 or x?
x
Let y be (-212)/252*-6 + -5. Let b = -3 + 2. Are y and b non-equal?
True
Suppose -4*d = -4*m - 8, 4*d + 2*m - 10 = 28. Suppose d = -3*t - 14. Is t > -10?
True
Let j = -39 + 22. Suppose 18*l + 180 = 126. Which is bigger: l or j?
l
Suppose -4*p = 4*z - 48, -p - 3*z - 2 + 12 = 0. Let j = p + 17. Let a = -14 + j. Are 17 and a equal?
False
Let g = 0.2 + -0.2. Let d = 616 + -599.08. Let u = d - 1.92. Which is greater: u or g?
u
Let t = 21 + -47. Let y be (-10)/t + 0/(-5). Is 1 >= y?
True
Let a = 8707/9 - 969. Are a and -2/31 equal?
False
Let d(f) = 8*f**3 + 18*f**2 + 38*f + 2. Let b be d(-3). Are -168 and b nonequal?
True
Let v(k) be the second derivative of k**5/20 - k**4/2 + 7*k**3/6 - 2*k**2 - 13*k. Let s be v(2). Which is smaller: -5 or s?
s
Let z(k) = -k**3 - 18*k**2 + 4*k + 56. Let j be z(-18). Suppose 75 = -4*q + 11. Do q and j have different values?
False
Let u be (-16)/(-64) + 2*2/(-8). Are u and -11 unequal?
True
Let c = 14.834 + -0.834. Let l = 7 - -3. Let k = l - c. Which is greater: k or -0.3?
-0.3
Suppose -3*u + 4*j - 221 = 5*j, 5*j - 20 = 0. Let w = -62 + -12. Is u > w?
False
Let l = 1 + -15. Suppose -6*i = -1 + 19. Let x be (i + 0)*l/14. Is x > 3?
False
Let w = 0.66 + -0.69. Let c = w - -0.13. Is 5 <= c?
False
Let l be 116/(-19) + 6 - 1478/38. Which is bigger: -38 or l?
-38
Suppose -72 = b - 2*l, -5*b + 25*l - 354 = 21*l. Which is smaller: -71 or b?
-71
Suppose 20*t = 27*t. Which is smaller: t or 1/310?
t
Let z = -8594 - -2707112/315. Is 1 bigger than z?
True
Suppose 0 = -5*m - 5*z, -2*m - 2*m - z + 6 = 0. Suppose -m*c = -0 + 4. Which is smaller: c or 0?
c
Let y = 0.504 + -0.054. Let a = -0.25 - y. Does -2/5 = a?
False
Suppose -2*t - 10 = f, 0 = 5*t + 5*f - 5 + 30. Let s(x) = -x**2 - 3*x + 9. Let n be s(t). Does n = 2/17?
False
Let x(z) = -z**2 + 16*z - 8. Let i be x(15). Is i at least 5?
True
Let x(y) = -y**3 + 5*y**2 + 5*y + 9. Let k be x(5). Let u be (4/(-6))/(k/153). Which is smaller: -20/7 or u?
u
Let s = 613 + -1468. Which is smaller: -854 or s?
s
Let d = 58449/34 + -1719. Is 0 at least d?
False
Let b = -1004.31 - -1012. Let w = b - -0.31. Let g = 20 - w. Which is bigger: 1 or g?
g
Let s(r) = 11*r**2 + 451*r + 12. Let i be s(-41). Which is greater: i or 11?
i
Let a = 75 - 70.7. Let c = 4.41 - a. Is -1/3 smaller than c?
True
Let l be (3 - (-3 + 5))*5. Let p be 5 - (-5)/(l/4). Is p equal to 5?
False
Let l(y) = 2*y**2 + y - 21. Let d be l(-5). Let b be d/(-34)*32/48. Which is greater: b or 1?
1
Suppose 5*w = 3*c - 30, -4*w = w. Which is greater: c or 12?
12
Let s(p) = 15*p + 1. Let o be s(1). Suppose 3*w - 30 = -3*z, 4*z + 2*w - 30 = -0*w. Suppose 0 = -2*y - 2*y - 2*v - o, -y - 26 = -z*v. Which is smaller: y or -8?
-8
Suppose 304 = 5*o - 4*b, -o - 3*o = 4*b - 272. Let v = -64 + o. Suppose -2*l + 4*l + g = 4, 0 = -5*g. Is v bigger than l?
False
Let i(p) = -28*p + 8*p + 4 + 9*p. Let g be i(-2). Let c = -32 + g. Do -2/7 and c have different values?
True
Let t = -90.2 - -91.8. Which is greater: -5 or t?
t
Let d = -17/4 + 19/4. Suppose -21 = 2*v + 3*m, 2*v - 33 = 7*v + m. Let g be 2/v*0 + 0. Which is smaller: d or g?
g
Let l be (6/4)/((-8)/(-16)). Suppose -l*q - 11 = 16. Do q and -9 have different values?
False
Let n = 6.8 - 7.8. Let g(t) = t + 7. Let x be g(-5). Let i be (x - 3)/(2/(-4)). Which is greater: i or n?
i
Let t(q) = q + 12. Let d be t(-5). Let y be (4/(-22) - (-237)/33)/1. Are y and d unequal?
False
Let x = -6/5 + -17/15. Which is smaller: x or 5?
x
Let z = 22/13 - -4523/39. Let h = 119 - z. Does h = 1/3?
False
Suppose -10 = 2*p + 3*d, -3*p - 3*d + 76 = 82. Let y be 1 - (1 + 84/(-26)). Which is bigger: y or p?
p
Let d be 1 - -5 - 2/(-1). Suppose -2*z - 1274 = 2*z - p, z - 2*p = -322. Let a be 4/(-26) + (z/(-39))/1. Is d greater than a?
False
Suppose -5*w + 5 = -4*b - b, 0 = -b + 4*w - 7. Is b > 2/473?
True
Let y = -4928 - -4929. Let v = -4.164 - -0.064. Does y = v?
False
Let i(j) = j + 4 - 3*j**2 - 28 + 12. Let w be i(-5). Let d be w/15 - (-16)/120. Is d greater than -4?
False
Suppose 0 = 2*m + 5*j + 2 - 7, j - 24 = -5*m. Suppose -4*p - 91 = -5*t, 2*t - p - 37 = -0*t. Let f = t + -13. Is m > f?
False
Suppose -2*d - 26 = -r + 4*r, 0 = -4*d - 5*r - 56. Let k = d + 20. Which is smaller: k or 4/25?
4/25
Let y(s) = 10*s - 10. Let q be y(1). Let n be 3 + (-8)/10*4. Is q < n?
False
Let a = -2072 + 2375. Is 302 smaller than a?
True
Let c = 30 + -18. Suppose 40 = 7*w - 5*w. Suppose w = c*m - 7*m. Is 3 bigger than m?
False
Let b = -237 + 244. Let q = -21 + 17. Which is smaller: b or q?
q
Suppose -43 = -5*m + x, -6*m + 4*m + 24 = 3*x. Let o(k) = -3*k + 7. Let 