s big as c?
False
Let z = 314/3 + -106. Which is smaller: z or -1?
z
Suppose 0 = -3*c - 3*w + 12, -c - w - 4 = -4*c. Suppose -i + 14 = -2*v, 0*v + 2*i - 16 = c*v. Which is smaller: v or -5?
v
Let t(a) = -a**3 - a - 2. Let i be t(-2). Is i at least 10?
False
Let u = 0 - -1. Let t be (-3)/(-2)*u/(-3). Suppose -3*q = -8*q. Which is smaller: q or t?
t
Suppose 1 - 5 = -2*i - 2*w, 2*i + 3*w = 6. Let d = -1/21 + -37/105. Are d and i equal?
False
Suppose 4*r + 40 = -52. Does r = 1?
False
Let o be (-64)/72 + (-2)/(-3). Let d be (-5)/(30/4)*3. Let a = d - -1. Which is greater: o or a?
o
Let h = 210.03 - 208. Let m = h + -0.03. Is m > -1/3?
True
Let m(z) = -z**3 - 9*z**2 - 8*z. Let q be m(-8). Which is greater: 1 or q?
1
Let y be 2*(0/3 + 2). Suppose -5*c + y + 1 = 0. Let f be 1/(-2)*c/(-2). Is 2/11 less than f?
True
Let u(b) = 4*b - 2. Let s be u(2). Let w be s/(-112) - 6/(-14). Is w bigger than 0?
True
Let p = -8 + 5. Suppose -3 - 1 = q. Which is smaller: q or p?
q
Let t = 8 - 17/2. Let v be 0/(-1 + (0 - 3)). Which is greater: v or t?
v
Let l(o) = o**2 + 5*o. Let s be l(-12). Let y be (-52)/s - (-4)/14. Which is smaller: -0.1 or y?
y
Let p = 38.063 - 0.063. Let i = p + -36.3. Let w = 0.3 + i. Is w greater than or equal to 2?
True
Let l(h) = 2*h + 1. Let b be l(1). Let q = 5 - -17. Let d be q/8 - 3/(-12). Does d = b?
True
Let i = -11.7 + 12. Let r = 2.2 + -2. Is i not equal to r?
True
Let y(g) = -g - 5. Let j be y(-6). Let p = 5 - -12. Let a = -23 + p. Which is greater: j or a?
j
Let o = 2/29 + 32/377. Is 5 greater than or equal to o?
True
Let p = 101/3 - 33. Let y = 0.1 + 0.1. Which is greater: p or y?
p
Let h = 4.2 - 5. Let g = -0.9 - h. Let z be (-4)/6*(-3)/(-5). Which is smaller: z or g?
z
Let l(p) = p**3 + 3*p**2 + 2*p + 1. Let q be (-8)/5 + (-2)/5. Let b be l(q). Suppose -5*i + 1 = 4*a - b, -2*i + a + 6 = 0. Are 1 and i equal?
False
Let m(d) = -2*d + 20. Let g be m(9). Suppose 20 = -4*f - f. Let j(o) = -o**3 - 3*o**2 + 4*o + 3. Let a be j(f). Is a > g?
True
Let y be ((-9)/3 - -1)*2. Let x be y/6 + (-1)/6. Is -2 greater than x?
False
Let z = -1.07 + -3.23. Let y = 4 + z. Do -2/7 and y have the same value?
False
Let o = 1 - -3. Let s = -11 + o. Let q = s - -7. Is q less than or equal to -0.02?
False
Suppose -2*m = -5*n + 6, -4*m + 2*n + 4 = -0. Suppose 3*b = -5*s + m, -b - 4*s + 6 = -3*b. Which is greater: b or -1/2?
-1/2
Let b be (-10)/(-20)*(-1 - 0). Is b at most as big as -1/6?
True
Suppose -31 = 2*d + 5. Let x be ((-8)/d*3)/2. Let h be (16/32)/((-1)/(-2)). Is x at least as big as h?
False
Let r = 287 + -203. Is 0.1 greater than or equal to r?
False
Let i be 18/(-27)*1/3. Let w be (-3)/(2/8*-3). Let b = -5 + w. Is i >= b?
True
Let b = -16/7 - -18/7. Let z = -0.15 + -0.05. Let d = z - -0.1. Which is greater: b or d?
b
Let x be ((-23)/(-46))/(5/46). Which is bigger: x or -0.1?
x
Let t(j) = -2*j. Let h(x) = x - 2. Let w(u) = 2*h(u) + 2*t(u). Let c be w(-4). Suppose 9*g = 4*g - c*p + 26, p = g + 2. Which is smaller: 2/3 or g?
2/3
Let z be (-3)/(-4)*8/(-219). Which is smaller: z or -1?
-1
Let z(l) = l - 21. Let b be z(13). Is b at most -7?
True
Let v = -0.2 - -0.3. Let f = -2.8 - -3.8. Are v and f unequal?
True
Let o(m) = 2*m**3 + 2*m**2 - 1. Let p be o(1). Let f(w) be the first derivative of -w**3/3 + 3*w**2/2 - w + 2. Let c be f(p). Which is smaller: c or 0?
c
Suppose 5*h = -3*v - 21, 6 + 1 = -v + 4*h. Let p(k) = -k**3 - 7*k**2 + k - 3. Let m be p(v). Let o be (-16)/20*m/44. Is 0 != o?
True
Let a = 10 + -8. Suppose -2*c + 2*i = -4*c + a, -3*c + 7 = 5*i. Which is smaller: -3 or c?
-3
Let n(v) = v**2 - 12*v + 6. Let c be n(11). Let o be 2/4 + 54/(-12). Which is smaller: c or o?
c
Suppose 0 = 3*a + 5*p + 14, 5*p = -5*a + p - 19. Let l be a/(-6)*(-6)/7. Let v = 0 - -1. Is l smaller than v?
True
Let d = -164 + 2131/13. Is 1 at least d?
True
Let m(g) = -g**2 + 5*g + 1. Let o be m(5). Let c be (-12)/(-14) + 30/(-105). Is o <= c?
False
Let g be (-1 + (-2)/(-4))*4. Let b(v) = 0*v - 3*v - v**2 - 2 + 0. Let j be b(g). Is j bigger than 1?
False
Let w = 0.21 - 0.11. Which is smaller: 23 or w?
w
Let u = -2843/11 - -259. Let c(s) = 2*s**2 - 6*s. Let j be c(3). Is j >= u?
False
Let l be 0*(-4)/((-24)/(-3)). Let b = -0.05 + -1.95. Let j = -7 + b. Is j smaller than l?
True
Let d(s) = -s**2 - 15*s + 4. Let r be d(-15). Suppose 0*w = -2*w + r. Is w not equal to 11/4?
True
Suppose -4*k + 23 = -13. Let w = -12 + k. Is -1/6 greater than w?
True
Suppose -2*k + 0*b = -b - 20, -2*b - 16 = -2*k. Let s be (4/(-3))/((-8)/k). Suppose -2 = l - s*l, 3*l = d + 4. Is 2 smaller than d?
False
Suppose -3*d - 4 = -5*d. Suppose o = 2*v - 5*v - 14, -17 = 3*o + 4*v. Let k = o - d. Is -1 > k?
False
Let l = -0.5 + 0. Let i be (-6)/(-8)*8/(-21). Is l less than i?
True
Suppose -4*s + 20 = 8. Suppose 5*o + 4*c = -2, 0*o + c = -s*o - 4. Do o and -4/5 have different values?
True
Let v be 3/6*(-5)/(100/8). Is 0.06 bigger than v?
True
Let m(z) = z**3 + 9*z**2 + 14*z + 10. Let o be m(-9). Let a = o + 343/3. Which is smaller: a or 3?
a
Let l = 111 + -156. Let x = -85 - l. Let d be 6/x + 4/16. Which is bigger: d or -1?
d
Suppose w + 3*h + 7 = 0, -2*w - 4*h = -2*h + 14. Is w not equal to -6?
True
Let o = -115 + 114.9. Which is greater: 2/33 or o?
2/33
Let r = -5 - -7. Let b = -4 + r. Let o be -1 - (b - 15/(-21)). Which is greater: 1 or o?
1
Let k = -83 - -247/3. Is k smaller than 2?
True
Let i be 1285/5940 - (-2)/11. Let b = -4/27 + i. Is -1/3 at most b?
True
Let m be -5*(-3 + 2) + -2. Suppose -3*d + 2*b - 20 = 0, -7 + 19 = m*b. Which is bigger: d or -5?
d
Let b = -3.2 - -10.08. Let t = b - -0.12. Let d = t + -6.7. Which is smaller: 0 or d?
0
Let o = -13.96 + 14. Let w = 14/3 - 59/12. Which is smaller: w or o?
w
Let k = 391 + -2335/6. Let s = k - 19/12. Suppose 3*o + 2*o = 0. Which is smaller: o or s?
o
Let w = -32 - -20. Let x = w + 22. Let l be x/25 - (-16)/(-90). Which is greater: l or 0?
l
Let j = 2 - 3. Let u = 153/5 - 1387/45. Which is smaller: u or j?
j
Suppose -5*j = 9 + 1. Let l be (-4 - -3)/(2/2). Is j < l?
True
Let x be (-4 - 110/(-27))/((-3)/207). Is x <= -4?
True
Let j = 0.164 - 0.174. Which is bigger: -1/7 or j?
j
Let t = 0.153 - -23.747. Let z = 23 - t. Let s = z + -0.1. Which is smaller: -1/7 or s?
s
Let o be (10*12/(-8))/(-1). Is 15 >= o?
True
Let c = 0.398 - 0.4. Let d = 2.018 - c. Let q = 0.02 - d. Is q <= -1?
True
Let w(c) = -c + 14. Let g(l) = -7. Let m(n) = 5*g(n) + 3*w(n). Let a be m(3). Which is smaller: -5/7 or a?
a
Let y = 5 + -4. Let s be y/(-5)*(-1)/(-1). Which is smaller: s or -1?
-1
Let t be (-72)/(-880) - 2/11. Is t smaller than 1?
True
Suppose 2*t = -4 + 2. Let l = 4 + -3. Is l equal to t?
False
Suppose 3*z = 2 + 4. Let f(c) = c**2 - 3*c + 2. Let v be f(z). Suppose o + v = 2. Do 2 and o have different values?
False
Let j = 26 - 26. Let v be ((-3)/10)/((-6)/(-8)). Is v <= j?
True
Suppose 0 = -167*p + 163*p - 28. Let z = -1 - 5. Is z less than or equal to p?
False
Let y = 0.6 + 1.4. Let x = 6 - y. Is x greater than 0?
True
Suppose 3*u = 3*y + 12, 0 = u + u - 8. Suppose y*n = n. Let h = 409/56 + -63/8. Is n at most h?
False
Let t be 2/((8/10)/((-22)/(-55))). Let m be 4/(-14) - 4/(-14). Which is bigger: m or t?
t
Suppose 0 = -2*x - x - 48. Is x bigger than -15?
False
Let t(z) = z + 6. Let j be t(-6). Suppose -3*v + 4*k - 7 = j, -v - 2*v - 2*k = 1. Let x be ((v + 2)/4)/(-1). Are 0 and x nonequal?
True
Let o be 2/(-4) - (-11)/2. Suppose -5*z = -2*y + 4, -5*y - 2*z + 15 = o. Let g be (y/(-30))/(1/(-3)). Do 0 and g have different values?
True
Let k be 11 + (-1 - 0)*1. Let j be k/6 - (-2)/(-3). Let s = 3 - j. Is s less than -2/3?
False
Let l = 12 - 15. Let a be l/(-8 - -2)*2. Is a greater than or equal to 1?
True
Let h be (-7)/14*4*5. Is h <= -9?
True
Let l be (-2)/(-3)*3/(-2). Let v = -356/5 - -71. Is v at least as big as l?
True
Let o = 37 - 15. Which is greater: o or 0?
o
Let v be 2/(-4)*1*24/78. Is v < 0?
True
Suppose -4*r = -5*d + 33, -9 = -3*r + 5*r - d. Let p = 0.63 - 0.43. Is r bigger than p?
False
Suppose -5*b + 11*b = -234. Which is smaller: b or -38?
b
Suppose 277 = 4*i - 427. Which is greater: 175 or i?
i
Let p = -82 + 81. Do 0.019 and p have different values?
True
Let s be 3/12 + 51/(-105). Let u = s + 1/28. Is u at most 0?
True
Let m be (-128)/(-7) - (-4)/(-14)