9?
-9
Let d = 0.165 - -0.355. Let n = 1.48 + d. Which is greater: -6 or n?
n
Let n = -11564/565 - 15/113. Is n less than -22?
False
Let d = -1.46 + 1.26. Is -1/10 greater than d?
True
Suppose 0 = 2*q - 3*q - z + 200, -2*q + 3*z = -410. Are q and 202 nonequal?
False
Suppose 5*d + 0*d = 5, 0 = -4*z - d - 71. Let o be 0/z - (-1)/(-2). Is -7 smaller than o?
True
Let x = -15 - -20. Let n(o) = 3 - 2 + x + 4*o - 1. Let t be n(-2). Is -3 < t?
False
Let n = 36.009 + -0.009. Let o = n + -36.1. Which is greater: o or -34?
o
Let n = 51 + -25. Let u = -25 + n. Are u and 16 non-equal?
True
Let h = 405 + -408. Suppose 3*b = -3*q - 9, 0*b + 15 = -5*q - 3*b. Is q < h?
False
Let n = -0.36 - 0.92. Let l = n - -1.18. Which is greater: 124 or l?
124
Let v(f) = -f**2 + 15*f - 31. Let b be v(13). Let l be ((-18)/330)/(1/b). Suppose c + 2*c = -3. Is c at most as big as l?
True
Let f be -22 - (1*-1 + 1). Suppose 3*k + 3*r = 291, -117 - 57 = -2*k + 2*r. Suppose 5*p + k = p. Which is smaller: p or f?
p
Suppose 20*l + 10*l = 300. Which is greater: 3 or l?
l
Let w be ((-12)/(-7692))/((-1)/2). Is 1 less than w?
False
Let v = 158 + -158. Is 15/19 < v?
False
Let i = 7 + -43. Let f = i - -35. Is -0.02 bigger than f?
True
Let b = -3051 + 3051.1. Suppose -4*s + s = 129. Which is smaller: s or b?
s
Let d be (1/2)/(3/360). Suppose 58*g - 55*g = d. Which is smaller: 19 or g?
19
Let c be ((-12)/(-50))/(1 + 1). Let z = 152/225 - c. Suppose -f + 6 - 5 = 0. Which is greater: f or z?
f
Let c = 0.46 + -0.335. Let u = c + -0.125. Which is smaller: 1.1 or u?
u
Suppose 2*a = 10, 19 = 2*c - a + 4*a. Suppose d + 24 = c*i, 2*d = -4 - 4. Let l = 340 - 331. Is l at most as big as i?
True
Suppose 0*c + 2*c - 10 = 0. Suppose c*x + 4*z = -3 - 18, 5*x + 3*z = -22. Let v = -17/3 - x. Is v greater than -0.07?
False
Let u be (-75)/(-6) + (-1)/(-2). Suppose -2*x + 8*x = 0. Suppose -4*t = -3*l + 19 + 35, x = 4*l - 3*t - 65. Which is bigger: u or l?
l
Let b(j) = 5*j - 54. Let c be b(3). Which is greater: -43 or c?
c
Let w = -359.6 - -362. Is w smaller than 0?
False
Let n(g) = 4*g**2 + 74*g + 4. Let k be n(-18). Which is smaller: 2 or k?
k
Let s be (5 + (-84)/16)*(-16)/36. Which is bigger: 45 or s?
45
Let t be ((-744)/(-84))/(0 - (-4)/6). Which is greater: 12 or t?
t
Let q be 50 + (-2920)/140 + (-12)/(-14) + -1. Suppose -5*b = -2*y + 62, -2*y + 3*b + 31 = -y. Are q and y non-equal?
True
Suppose 4*n = -2*y + 54, 0 = 3*y + 10*n - 5*n - 85. Is y at least 3?
True
Let u(v) = -v - 6. Let o be u(-5). Let p be 8 + (-111665)/(-3726)*(-8)/30. Which is bigger: p or o?
p
Let z be 40/110*(-26)/8. Let g = z - -14/11. Is g smaller than 7?
True
Let j = 59/126 + 7/18. Let s = -0.1 + 0.6. Let o = -0.5 - s. Is o at most as big as j?
True
Let r(p) = 0*p**3 - 2*p**3 - 6*p + 3*p**3 + 5*p**2 + 0*p**3 - 6. Let l be r(-6). Let g be (-2)/((6/(-4))/(-3)). Which is smaller: l or g?
l
Let v be (0 - (-33)/22)*4/(-543). Which is greater: 2/7 or v?
2/7
Let m = -19 - -1. Let g = m + 18. Are g and -2/39 non-equal?
True
Let i = -538 - -786. Let l be -3*(i/(-126) - (0 - 2)). Is -14 at least l?
False
Let d = 285 - 285.2. Is 87 greater than d?
True
Let u be 44/(-66) + (-13)/3. Let n = -4450/7 + 630. Is u <= n?
False
Let l = -67 + 92. Let g be (-1 - l/(-2))*(-11 + 9). Is g bigger than -22?
False
Let m = -12 - -17. Let y(u) = -7*u - 3. Let a(d) = 4*d + 1. Let o(t) = -5*a(t) - 3*y(t). Let j be o(0). Which is bigger: j or m?
m
Let y(p) = 0*p - 3*p + 3*p - p + 12. Let f be y(15). Let q be 22/5*f/(-6). Which is smaller: 1 or q?
1
Let p = 368 - 367.95. Are p and 22 non-equal?
True
Suppose 0 = 3*t - 2*t + 4*l + 17, 5*t = l - 1. Let x be (-96)/(-192) + ((-123)/48 - -2). Are x and t unequal?
True
Let o = -1176 - -1178. Which is bigger: o or -11?
o
Suppose -230 = 5*d - 3*v, -4*d - 177 = -0*d - v. Let c = -64 - d. Is -21 <= c?
True
Let i = 20 + -4. Suppose -2*d + i = -0*d. Suppose 3*s - 5 = 16. Is d equal to s?
False
Let b = 67.58 - 67. Let z = b + -0.563. Which is smaller: -1 or z?
-1
Let x be ((-6)/10)/((-6)/4). Let k(y) = 20*y + 44. Let s(f) = -4*f - 9. Let g(a) = 5*k(a) + 24*s(a). Let v be g(-1). Which is bigger: v or x?
x
Let a be (-3 - 255/(-25))/((-2)/(-10)). Let n be (a/45)/(2/15). Let j(p) = p**2 - 4*p + 1. Let m be j(5). Is n less than m?
False
Suppose 5*q - 2*j + 30 = 0, q + 5*j - j - 16 = 0. Is -3 at least q?
True
Suppose -31*r = r - 5824. Is r greater than or equal to 182?
True
Let g = 263 - 262. Which is greater: g or 7/43?
g
Suppose 9 = 5*w + 14. Suppose -5*u + 10 = -130. Let b be (-46)/u + (-2)/w. Do b and 1 have the same value?
False
Let a(d) = d**2 - 39*d + 57. Let f be a(37). Do f and -292/17 have the same value?
False
Let z = 22 - 1. Let y be ((-2)/11)/(7/z). Is y < -2/13?
True
Let u(l) = -1 + 2*l + 1. Let i = 277 + -281. Let a be u(i). Which is bigger: a or -10?
a
Let b = 233 - -1025. Which is bigger: b or 1259?
1259
Let k(z) = z. Suppose 4*p + 4 = 28. Let a be k(p). Suppose -a = 5*h - 8*h. Is h greater than or equal to 7/6?
True
Let b(z) = z**3 - 15*z**2 - z + 11. Let k be b(15). Let v be (-318)/k*3/(-9). Let q = -27 - v. Which is smaller: -0.1 or q?
q
Let o be (8/(-932)*1)/(2/(-2)). Do o and -1 have the same value?
False
Suppose 0 = -q - 13 + 41. Suppose -q*w + 29*w = -1. Does w = -1/9?
False
Let n = -23 + 40. Let z = n + -17.1. Let k = 0.08 + -4.08. Is k >= z?
False
Let k(p) = p**2 - 17*p - 4. Let u be k(13). Which is smaller: u or -54?
u
Let k = 520 + -530. Is 8 <= k?
False
Let u = -11.9 - -58.9. Let n = -47.5 + u. Which is smaller: -3 or n?
-3
Suppose 0 = 10*g - 6*g + 88. Suppose 74 = -2*m + 30. Is g greater than m?
False
Let a = 58 - 58. Let g(c) be the third derivative of c**4/24 + c**3/2 + 3*c**2. Let t be g(-4). Which is smaller: a or t?
t
Let n = 679/6192 - -1/688. Is -120 <= n?
True
Let m = 87 - 4349/50. Does 8 = m?
False
Let a = 0.67 + 39.33. Is a >= 3?
True
Let y = -5 + 11. Suppose -2*l = -3*l + 5*d - y, -4*l = -3*d + 24. Let a be (l/4)/(-8 + 11). Is a >= -4/5?
True
Let w = 143 - 143. Is w < -9/68?
False
Let b = -0.006 - 0.065. Let y = b + 0.021. Which is smaller: y or -1/4?
-1/4
Suppose 4*x - 88 = 3*j + 2*j, 3*x + 42 = -3*j. Let t be 18/j + 21/168. Are t and -7 unequal?
True
Let d(q) = 2*q**2 + 5*q + 2. Let a be d(-3). Let u(z) be the third derivative of -z**4/24 + 2*z**3/3 + 2*z**2 + 20*z. Let m be u(a). Does -1 = m?
True
Let h = 973 - 962. Is -23 <= h?
True
Suppose -4 = -3*d + 2*d. Suppose 4*v = -4*m + 25 + 3, 3*v = -m + 13. Let f(s) = 3*s**3 - 7*s**2 - 5*s + 4. Let k be f(v). Which is smaller: d or k?
d
Let f = -601 - -601. Which is greater: 2/473 or f?
2/473
Suppose 32 = -2*g - 88. Let l = 84 + g. Let a = l + -4. Is 19 at least a?
False
Let l(k) = 8*k**3 - 8*k**2 - 14*k + 5. Let h be l(-2). Which is greater: -64 or h?
h
Let z = 32.9 - 5.9. Let l(h) = 2*h**3 + h**2 - 2. Let u be l(1). Are z and u nonequal?
True
Let n = 216 - 212.46. Let v = n - 3.4. Let t be 2/18*3/1. Which is smaller: v or t?
v
Let u = -270 + 271. Which is smaller: u or 1/65?
1/65
Suppose 5*i - 4 = -k + 4*i, -4*k + 10 = i. Let d be 0*(k + -3) - 0. Suppose -2*y + 4*y = d. Does -1/10 = y?
False
Let n = 59 - 59. Suppose s - y = 2, -s - 10 = -n*y + 5*y. Do 4/7 and s have different values?
True
Let c be (-5)/(-3) - 456/342. Which is smaller: -1 or c?
-1
Let v = -2525 - -244929/97. Which is greater: v or 0?
v
Let l = 20 - 22.44. Let b = l + 0.04. Let g = -0.4 - b. Which is greater: -2/9 or g?
g
Let k(p) = 2*p**2 - 10*p. Let m be k(3). Let l be 9 + m - -41*(-1)/(-13). Let q = -4 + 3. Which is smaller: q or l?
q
Let m(w) = -6*w - 11. Let z be m(-6). Suppose -4*d - z = -5*x, -d = -3*x - 0*d + 8. Is -5/14 greater than x?
False
Suppose 4*o + 2730 = 8*o + 2*k, 3*k = -3*o + 2055. Is 679 at most as big as o?
True
Let o be 16*(3/2 - 1). Let h be o/(-14)*(-35)/10. Let a(i) = -i + 1. Let y be a(h). Which is smaller: 1/3 or y?
y
Let y = 44 + -20. Let f be 4/(-141)*y/(-16). Which is greater: f or 1?
1
Let j = 48 + -28. Let t = -19.08 + j. Let p = t + -0.02. Are 0.2 and p non-equal?
True
Let d be 0/(-1 + 3 + 0). Suppose -v + 8 - 3 = d. Suppose v*f - 25 = -q, 11 = 3*f - q + 4. Does 5 = f?
False
Let l be 1*(-1 + 0) - 0. Let n = -30197029/2730 + 77426/7. Let d = n - -14/39. Which is smaller: l or d?
l
Let y = 4.7 + -5. Let f = y - -1.3. Let i = -10 - -16. Is i less t