2*k + 186 = -x - 5*k. Is -191 greater than or equal to x?
False
Let u = -1.66 + 3.03. Let h = 0.37 - u. Is -2/29 >= h?
True
Suppose -5*f + 2 = -0*m - 2*m, -4*f - 5 = -m. Let a(p) = 3*p**2 - 4*p - 1. Let k(g) = 3*g**2 - 3*g - 1. Let t(x) = 3*a(x) - 4*k(x). Let o be t(-2). Is m > o?
False
Let f = -6.35 - -6.45. Let g = -2 - -5. Let s = -2.99 + g. Which is smaller: s or f?
s
Suppose -5*l = 2*o + 960, 1506 = -3*o - 2*l + 66. Is -479 <= o?
False
Let w = 0.2 - 1.2. Let i = -22 - -35. Is i greater than or equal to w?
True
Let y(u) = -8*u + 70. Let z be y(9). Which is smaller: z or -24/13?
z
Let w be ((-35)/(-14))/(18/(-4)). Suppose 5*u + 0 = -10. Is u less than w?
True
Let h(g) = -g**3 + 7*g**2 - 16*g + 15. Let f be h(6). Which is smaller: f or 3?
f
Let l = 210 - 187. Which is smaller: 21 or l?
21
Suppose 5*c + c = -54. Let x(u) = -u**3 + 6*u**2 - 4*u - 16. Let p be x(5). Is p less than or equal to c?
True
Let n = 162 + -250. Which is greater: n or 1?
1
Let i = 684 - 688. Let q = 8.01 + -8. Is i < q?
True
Let g be 2 - (-15)/(-8) - 0/22. Which is smaller: 0 or g?
0
Let n = 190 - 189.94. Let r = 0.38 - 1.38. Which is smaller: r or n?
r
Let v be (21/6)/7*-2. Let c be (2 - v)*9/9. Suppose 2*f - 4 = -d + 6, c*d - f = 9. Is -1 <= d?
True
Let j = -51 - -75. Let g = 23.97 - j. Let y = g + -0.07. Which is smaller: -6 or y?
-6
Let y be (7 - -2 - 6)*20/30. Let i = 6 - 8. Let b be (-1)/i*0 - -5. Is y >= b?
False
Let y be 19 + (-3)/6*8. Let i be (13 - 4)*55/y. Do i and 33 have different values?
False
Let r be (13/52)/(1/20). Suppose -z + 15 = -4*w - 0*z, 4*w + r = 3*z. Let b = w + 6. Which is smaller: b or 2/11?
2/11
Suppose 4*m = 6*m - 2. Let p be ((-4)/(-3))/((-6)/(-9)). Let y be p/(-3) - (-6)/(-18). Which is greater: y or m?
m
Suppose 0*r = -t - 2*r + 17, -5*r + 110 = 5*t. Let z be 3/(-27) - 105/t. Which is greater: z or -8/3?
-8/3
Let d = -895 + 903. Is d less than or equal to 0.2?
False
Let v be -65*(1225/1125 - 1/(-9)). Which is greater: -81 or v?
v
Let w = 0.8 + -1.1. Let a = w + 0.1. Let r = -0.011 + -3.989. Is r at most as big as a?
True
Suppose 0 = 3*w - 209 - 148. Is w not equal to 118?
True
Let g = -4 - -4.1. Let i = 0.9 + g. Which is smaller: -0.05 or i?
-0.05
Let l(i) = -4*i - 32. Let g be l(-14). Suppose -g + 4 = -4*n + 2*o, -o = 4*n - 8. Which is smaller: 28/17 or n?
28/17
Let g = 1781 + -1782. Which is smaller: -3/217 or g?
g
Suppose 0 = 8*z - 99 + 1147. Let i = z + 133. Let c be 6/38*2/3. Which is bigger: c or i?
i
Let g be (1 - 1)/1 + 1. Let m be ((-95)/94 + 1)*(-536)/(-402). Which is greater: g or m?
g
Suppose 8*u - 93 = 67. Is 20 != u?
False
Let w be (-2)/(1*(2 - 0)). Is w at least as big as -7/74?
False
Let u be (-4)/10 - (-12)/5. Let v be 1/(-5)*-2*17/((-374)/(-33)). Which is smaller: u or v?
v
Let d(y) = -2*y**2 + 12*y + 33. Let v be d(8). Which is smaller: -2/205 or v?
-2/205
Let u be (1 - 0)/(-14 - 5058/(-360)). Is u > 22?
False
Suppose 0 = -6*q + 3*q. Let n be 0 + 0 + (-22)/165. Is n equal to q?
False
Suppose -67 = -4*u + 69. Suppose 9 = -5*i + u. Is i at least as big as 6?
False
Let q(b) = -b**2 + 8*b. Let g be q(8). Let h = 58.3366 + 0.0634. Let x = h - 58. Is g >= x?
False
Suppose 16 = 8*a - 4*a. Let u be a/(-22) + (-60)/275. Let c(i) = 6*i + 7. Let h be c(-1). Is u not equal to h?
True
Let l = 708.9 + -709. Which is smaller: 0.464 or l?
l
Let t(g) = -2*g + 71. Let o be t(35). Let s = 35 + -36. Is o < s?
False
Let m be ((-4 - -4)/(-6))/(-1 + 3). Are m and 3/52 nonequal?
True
Let f = 1554/11 + -7709/33. Which is smaller: -92 or f?
f
Let a be 4 + 0 - 1671/417. Let s be (12/(-10))/(-2) - (-2)/5. Which is greater: a or s?
s
Let k = 1997 - 2485. Is k >= -489?
True
Let f be (-32)/(-7) + -3 + 1. Suppose 8*l - 3*l + 2*g - 26 = 0, 3*l - 5*g = -3. Which is greater: l or f?
l
Let o = 13 + -8. Let t = -158 + 161. Suppose o*d - t = 7. Is d at most as big as 0?
False
Let m = 6.898 + -0.038. Let v = 18 - 25. Let n = v + m. Is 0 bigger than n?
True
Let c(t) = -t**2 - t - 4. Let f = -9 + 14. Let m be c(f). Let x = -30 - m. Which is smaller: -0.1 or x?
-0.1
Let m be 14/10 + (0 - -1). Let q(c) = 3*c - 13. Let n be q(5). Do n and m have the same value?
False
Let n(z) = -5*z**2 + 36*z + 4. Let k be n(7). Which is smaller: k or 75/7?
75/7
Suppose t - 3 - 3 = 2*h, 5*t - 2 = 3*h. Let l = 400 + -402. Are l and h unequal?
True
Let x = -455.542 - -455. Let j = -0.55 - x. Is j equal to -1/3?
False
Suppose 2*n - j + 50 = -0*j, 89 = -3*n - 2*j. Which is greater: -23 or n?
-23
Let z be -370*2/(-2124) + 1. Let c = z + -14/59. Let b = c + 23/36. Does 3 = b?
False
Let u(n) = -n**2 - 53. Let f(l) = 3*l**2 + l + 160. Let s(a) = 3*f(a) + 8*u(a). Let y be s(0). Which is smaller: y or -1?
-1
Let v = -328.95 - -329. Let w = -8 - -4. Which is greater: w or v?
v
Let f(o) = o - 11. Let m be f(-18). Which is smaller: m or -2/7?
m
Let w(u) = u**3 + 9*u**2 + 5*u + 15. Let m be w(-8). Let b be (-2)/(-6) - m/90. Are b and 5 equal?
False
Let h = 155 - 200. Let f = h + 26. Is -19 smaller than f?
False
Let v = 1.9 - 4.3. Let n = v - -2.4. Which is smaller: n or 0.4?
n
Let o = -4.04 - -4. Let r = 0.06 - o. Let v be 6*2/4*1. Is r greater than or equal to v?
False
Let k = 1010/3 - 337. Is k greater than -66?
True
Let i = -5.75 + 0.25. Let l = i - -2.5. Which is bigger: 0.6 or l?
0.6
Let s be (-5)/3 - 2/(-1). Let y = -26 - -24. Let n = y - 1. Which is greater: s or n?
s
Let b = 5/191 + 6067/1719. Is b greater than -1?
True
Suppose -6 = -674*w + 672*w. Is w at least as big as 64/27?
True
Let m = -28473/16 - -1779. Which is smaller: 0 or m?
m
Let u = 5 + -3. Suppose 3*j + u*i = -0*j - 4, -5*j = -i - 2. Suppose 38 = 2*v + 42. Which is bigger: j or v?
j
Let m be -123*((-1183)/168 - -7). Is 6 less than or equal to m?
False
Let a = 0.1684 - -0.0316. Are 36 and a nonequal?
True
Suppose 3*u + 0*u = 42. Let i be 8/u + (-1380)/2562. Is i bigger than 0?
True
Let q = 258 - 214. Which is greater: 9 or q?
q
Suppose 0 = -4*y + 2*t + 14, t + 3 = -2*y - 0*y. Let p = 47906/209 - 2526/11. Is y greater than or equal to p?
True
Suppose 8*d + 2 = 6*d. Let j be 0*d/(-2)*-1. Is -1 >= j?
False
Let p(d) be the second derivative of d**3/6 + 7*d**2/2 - 3*d. Let y be p(-6). Is y less than -1/7?
False
Let h = -51 - -49.87. Let v = 0.13 + h. Is v < 1.1?
True
Let h = -9.8589 - -0.0189. Let u = -10 - h. Let k = 0.06 + u. Are k and -3 equal?
False
Suppose 3*p + 4 + 5 = 0. Let v = p - -23. Which is smaller: v or 19?
19
Let k(b) = b**2 + 5*b + 3. Let x be k(-5). Suppose -125 = x*t - 8*t. Is 24 != t?
True
Suppose -12*v = 2*v + 14. Is 5 < v?
False
Suppose 0*x = -4*x + 2*p + 28, -3*x + 20 = -p. Let r be (-6)/4*(-8)/x. Let a(z) = z**3 + 12*z**2 - 14*z - 10. Let g be a(-13). Is g smaller than r?
False
Let g = -10 + 66. Let k be (-30)/g*(140/15 + -9). Is -1 less than k?
True
Let t = -14 - -11. Let n = t + 14. Let v = n + -21. Is 0 greater than v?
True
Suppose 575*n - 3 = 572*n. Are -15/41 and n equal?
False
Let t = -0.4 - -0.06. Let c = t - 2.16. Let z = -2.4 - c. Is z >= 2.1?
False
Let i = 1103 - 1105. Is -113 less than or equal to i?
True
Let a(f) = -f**3 - 9*f**2 + 11*f + 12. Let x be a(-10). Suppose 0 = 4*o + x*o - 24. Is o at least as big as 17/6?
True
Let m be 8/(-84) - (-3538)/105. Is 34 < m?
False
Let m(k) = -k - 8. Let p be m(-6). Let o be 75/30 + p/4. Let f be -1 + 0/o - 0. Which is greater: -10/9 or f?
f
Let a be 0 - 0/(4/1). Let c be (-204)/9 + 2/(-6). Let p be (4/(-23))/(c - -21). Which is greater: a or p?
p
Let j = -45.429 - 0.571. Which is smaller: j or 0?
j
Let u(m) = -2*m**2 - 33*m + 59. Let i be u(-18). Is -11 at most i?
True
Let o = 0.12 + -0.1. Let w = -0.76 - -0.78. Let p = o - w. Which is bigger: -0.1 or p?
p
Let x(h) = h. Let m(i) = -i**2 - 14*i + 25. Let y(c) = m(c) + 6*x(c). Let n be y(-9). Which is bigger: 8 or n?
n
Let p be ((-4)/(-2))/((-2)/14). Let t be 135/(-420) - (-6)/p. Is t equal to -2?
False
Let m = -1559/22 + 71. Suppose -3*w - w = -4. Are m and w non-equal?
True
Let o = -23 - -67/3. Let t = -34.95 + 35. Which is bigger: o or t?
t
Let z = 0.03 - -5.12. Let h = -5.3 + z. Are 2 and h equal?
False
Let c be (1 - (-2)/(-6))*6. Let y be ((-26)/c)/(20/52). Let o = y - -33/2. Is o at most as big as 0?
True
Let v be 24/3*(-93)/(-2). Let w = v - 11533/31. Is 0 less than or equal to w?
False
Let v =