+ 9. Let d be (-2)/8*(-416)/24. Do d and q have the same value?
False
Let k be (-147)/(-48) + -5 + 2. Let m = 19 - 22. Let u(l) = l**3 + 2*l**2 - 2*l + 2. Let s be u(m). Is s at least as big as k?
False
Let v = 403.1 - 436. Let x = -35 - v. Let l = 0.1 + x. Which is greater: l or 2/3?
2/3
Let l(b) = -b**2 - 13*b - 31. Let m be l(-9). Which is smaller: 7/2 or m?
7/2
Suppose 0 = -0*k - 4*k + 12. Suppose 3*b - 2*l = -107, -2*b + k*l = -b + 45. Is -34 < b?
True
Let r = -241.577 + -0.423. Is 0 less than or equal to r?
False
Let s(y) = 7*y - 43. Let u be s(6). Which is greater: -13/8 or u?
u
Let n be (-5 - 87/(-9))*-3. Let o be 6*((-4)/(-3) - 4). Which is bigger: n or o?
n
Let t be (-2 + 3)/(-1 - 0). Suppose 2*o - 58 = -42. Let l be (((-32)/36)/o)/(-1). Is l <= t?
False
Let g = -3.82 - -2.72. Is g greater than 5?
False
Suppose m - 98 = -174. Let o = m - -76. Which is bigger: o or -27?
o
Suppose z - 13 = -h, 5*h - 35 = -3*z + 4*h. Let k(f) = f**3 - 10*f**2 - 8*f - 16. Let v be k(z). Let t be 15/5*(-1)/v. Are t and -1 equal?
False
Let b = 0.3 + -0.1. Suppose -2*f + 30 = -0*f. Let g = f - 14. Is g > b?
True
Let k = 205471/11 + -18662. Is 18 <= k?
False
Let f = -1090 - -5467/5. Suppose -1 + 89 = 11*n. Let l be (-1 + 44/n)*4/6. Which is greater: l or f?
f
Let i be ((-33)/(-9) + -4)*-9. Let g be 2*(i + (-9)/2). Which is bigger: g or -10/3?
g
Suppose 17*q = 12*q - 3*b + 96, -3*b + 54 = 3*q. Let k be 1/(-21)*q/(6 + 1). Which is smaller: k or 0?
k
Let o be (1 - 3)/((-1)/(-2)). Let t be 3/o + 30/8. Does t = 3?
True
Let i = -82/11 + 3220/429. Let d = -4 - -4. Let m be 0/(-2*(-1 - d)). Which is smaller: m or i?
m
Let g = -833 - -835.7. Is 0.21 less than or equal to g?
True
Let q be (-33)/(-2)*(-14)/21. Let h = -13 - q. Let y be h/(-110) - 2/10. Are y and 0.4 equal?
False
Let g(j) = -j**3 + 7*j**2 - 3*j - 2. Let c be g(5). Let t = c - 34. Is -2/39 equal to t?
False
Let l = 61 - 88. Let r = -14 - l. Is 12 at most as big as r?
True
Let o = -1459 - -1458. Which is smaller: o or -3/922?
o
Let f be 3 + -11 - 0/(-6). Let z be 1 + 16/56*(f + 1). Is z bigger than 3/32?
False
Let k = 143 - 608. Let a = 6507/14 + k. Which is smaller: -1 or a?
-1
Let p = -2232/1243 - -18/113. Suppose 5*a - 8 = -3*u - 0, 5*u = -3*a + 8. Let b = u + -3. Which is smaller: p or b?
b
Let r be (-27)/5 + 4/10. Let j = -6 - -10. Let o be 2/((j + -2)/(-4)). Which is greater: r or o?
o
Let a be (15/55)/((-3)/598). Which is smaller: a or -54?
a
Suppose -2864 = 4*d - 32. Let a = 36107/51 + d. Is 0 < a?
False
Let q be (-23368)/(-15)*200/15. Let f = q + -20718. Let y = f + -54. Which is bigger: y or 1/4?
1/4
Let c be (-8)/36 + 3/(-108). Let l(i) = 2*i**2 - i + 2. Let b be l(5). Let p = -140/3 + b. Are c and p equal?
False
Suppose -80 = -5*c - 5*c. Let b be (2 - 28/c)*(-102)/(-9). Is -17 at least as big as b?
True
Suppose 153 = 4*n - 3*h - 169, -4*n + 5*h = -326. Suppose -5*b - n = -64. Which is smaller: b or -1?
b
Let p = -207/4 - -52. Let b = 12 - 9. Suppose b*a - 4*a = 0. Which is greater: a or p?
p
Let h = -7/433 - -4352/28145. Which is smaller: h or 0?
0
Let w(s) = -s**3 + 22*s**2 + 23*s + 17. Let i = -52 + 75. Let a be w(i). Is a at most as big as 18?
True
Let m be 0*3/((-18)/1). Which is bigger: -16/15 or m?
m
Let m be (-24)/234*((-14)/(-4) - 2). Let i be -2 + 0 + 2 + 1. Let o be ((-1 + i)/2)/1. Which is smaller: o or m?
m
Suppose -3 = 24*k - 3. Let t = -113/2262 - -1/87. Is k at least as big as t?
True
Let h = -1/1033 - 62968/46485. Let t = h + 4/5. Which is smaller: 0 or t?
t
Let z be 0 - (978285/11772 - 2). Let i = z - 11/1308. Let d = -81 - i. Which is smaller: -1 or d?
-1
Let t = 0.615 - 0.69. Let a = t - -47.075. Are a and 1 equal?
False
Let s = -104 + 106. Suppose -3*v - s*v - 85 = 0. Is v less than or equal to -19?
False
Let b = 219 + -220. Which is smaller: b or -427?
-427
Suppose 0 = -5*w - 311 + 46. Let j = -97 - w. Let i be j/(-16) - (-1 - -4). Which is smaller: i or 0.1?
i
Let u be (-16)/(-6)*-1 + 2. Let q = 1.52 + -1.1. Which is smaller: u or q?
u
Let s = -0.097 + 0.119. Is 0.1 <= s?
False
Let q(m) = 19*m - 869. Let f be q(0). Is f at most as big as -870?
False
Let d = 23064 + -253476/11. Is 22 equal to d?
False
Let k = 189.6 - 189.5. Let w = -8 - -6. Is w less than or equal to k?
True
Let o = 17/6784 - -19/128. Is o at least -1?
True
Let i = 86 + -89. Let d be 8 + i - 276/55. Does 0 = d?
False
Let v = 12 - 22. Let l be (-44)/v - 4 - 2/5. Which is greater: l or 2/9?
2/9
Let w(c) = c**3 + 32*c**2 + 59*c + 7. Let t be w(-30). Which is smaller: t or -1/4?
-1/4
Let q = -797 - -903. Is 0 at least as big as q?
False
Let t be (33/22 - -7) + -1 + -7. Let a = 37 + 98. Let s = -947/7 + a. Which is bigger: s or t?
t
Let t = -152 + 369. Suppose 4*b = -20, -7*b + 2*b = -4*v + t. Is 47 less than v?
True
Let q = -11/30 - 247/30. Let n = q + 329/40. Which is smaller: n or -5/7?
-5/7
Let i = 108 + -101. Which is smaller: -0.037 or i?
-0.037
Suppose 24 + 21 = 5*u. Suppose -9*b = -9 - u. Let c be (4/2)/((-4)/(-6)). Which is bigger: b or c?
c
Let r(s) = -2*s**2 + s**3 - 18 - 2*s**2 + 22*s + 23*s**2 - 5*s. Let p be r(-18). Which is greater: p or -2?
p
Let u be 1/2 + (5 - 447/90). Is 1 >= u?
True
Let l be -3 + (-19)/((-9)/6 - -2). Let u = l + 33. Are -7 and u nonequal?
True
Let b(p) = -2*p**2 + p - 56. Let j be b(0). Let a = -60 - j. Which is smaller: a or -13?
-13
Suppose -3*n = -4*n. Suppose -2*q = -2 - n. Suppose 2*i + 0 = 4. Which is greater: q or i?
i
Let k = -19.19 - -19. Let a = -0.09 + k. Let s = a - -0.08. Is 0 at most as big as s?
False
Let c = 81 + -36. Let y = c + -48. Is y less than or equal to 0.04?
True
Let a = 12 - 11. Let m = a - 56. Let t be (1 + 0)/(m/22). Which is smaller: -1 or t?
-1
Let m(j) be the first derivative of -j**2/2 + 9*j - 1. Let p be m(5). Let q be (-72)/(-105) + p/(-14). Which is greater: 0 or q?
q
Let w = 35 - 34. Let g = w - 0. Which is greater: g or 20?
20
Let k = -3157 + 6383/2. Is k != 36?
True
Let q = 33 - 56. Let s be 5/((4 + -5)/5). Is q > s?
True
Let v be -10 - (-6 - 5) - 2/4. Suppose 3*i - 4*b + 4 = 0, 2*i + i + 14 = -b. Let o be (-3)/(-6) + (-6)/i. Are v and o non-equal?
True
Suppose 0 = 5*t - 2*t - 9. Suppose -t*s = u + 11, -2*s + 2*u = -0*u + 2. Let c be (-10)/(-40) + 2 + (-110)/24. Is s bigger than c?
False
Let j = 13 + -10. Let o(f) = f**3 - 3*f**2 - f + 4. Let t be o(j). Suppose t = -3*k - 5. Which is greater: 1 or k?
1
Let w = -165.6 - -166. Which is bigger: w or -0.07?
w
Let i = 0.1 - 0.2. Let f = -2 - -1.8. Let o = -0.19 - f. Is i bigger than o?
False
Let v = -6 + 6.18. Let b = -123.8 + 124.8. Which is smaller: b or v?
v
Suppose -3*d - d - c + 10 = 0, 7 = 5*d + 4*c. Let n(q) = 2*q**2 + d*q - 1 - 3*q**2 - q - 4*q. Let t be n(-1). Which is greater: t or -1/5?
t
Suppose u - 5 = -5*j, 22 + 1 = 4*j - 3*u. Let r be j*1*(-4 + 8). Suppose 3*b + r = 5. Is -4/15 at least as big as b?
True
Let l be 3/3*2*80. Let o = -76 + l. Let j be (o/39 - 2)*-2. Which is smaller: j or 1?
j
Suppose -5*l + n = -15, 5*l - 2*l - 9 = 3*n. Suppose -l*q + q - 26 = 0. Let h = q + 12. Which is smaller: h or 2/5?
h
Let x = 63 + -56. Suppose 3*z - 59 - x = 4*s, 0 = -3*z + 6. Which is bigger: s or -13?
-13
Let z be (-2)/12 - ((-91)/42 - -3). Is z != -19/64?
True
Let u = -27.7 + 27.87. Let r = 186.93 + -186. Let b = r + u. Is -1/2 smaller than b?
True
Let i = -11/6 + 4/3. Let j = -398347/8 + 49929. Let w = -136 + j. Which is bigger: i or w?
w
Let n be (1 - -2 - -41) + -4. Let p = n + -41. Let o(u) = u**3 + u**2 + u - 8. Let g be o(0). Which is smaller: g or p?
g
Suppose -2*f - 5*a - 201 = 0, -86 - 208 = 3*f + 5*a. Let d(h) = h**3 - 10*h**2 - h + 42. Let r be d(8). Which is bigger: f or r?
f
Let q = -2021 - -4346. Let u = q - 86020/37. Is -1 > u?
False
Let u(b) = 6*b**2 - 29*b - 12. Let w be u(6). Let f(m) = 30*m**2 - 2*m + 1. Let p be f(1). Let z = w - p. Do z and -1/3 have different values?
True
Let z = 95217/1106 + -1209/14. Which is smaller: z or -1?
-1
Suppose 17*j + 220 = 19*j. Suppose 6*n - j = 64. Is 28 less than n?
True
Suppose -4*z + 83 = 5*w, 2*z + 2*z - 87 = -w. Suppose 0 = -2*k + z - 4. Let m be k - 2*(3 + -2). Is 6 greater than or equal to m?
False
Let o = 2.08 + -2.6. Let i = o - -0.62. Are 16/7 and i non-equal?
True
Let v = 22 + -18. Let t be -6*v/(-12) - -2. Which is g