 Let c = x + -9. Let k = 0 + -1. Is k smaller than c?
False
Let k = -7 + 5. Is -0.2 bigger than k?
True
Let m be (2/5)/(48/600). Let c = -143/2 - -75. Is m at least as big as c?
True
Let k = -8 + 9. Let m be -6 + (0 + k - -2). Is -3 equal to m?
True
Suppose 0 = -3*j - j + 32. Let m = -4 + j. Suppose -r + b - 22 = -5*r, -2*r + 3*b = -4. Which is smaller: m or r?
m
Suppose 2*i - 2 = i. Suppose y = 2*y - i. Which is smaller: 3/5 or y?
3/5
Suppose -4*l - 56 = -2*z, 0 = 3*z + 2*z - 3*l - 112. Let v be 5/(z/(-12)) + 8. Are 5 and v equal?
True
Let d = -13 - -15. Is 10/13 >= d?
False
Let j be (16/5)/((-4)/10). Is 2 less than or equal to j?
False
Let q = 4 + -4.5. Let k = 1.5 + q. Which is smaller: k or 1/3?
1/3
Suppose -x = -2*g + 43, -5*g + 4*x - 5*x = -104. Let y be 3/(g/(-5)) + 1. Which is bigger: 5 or y?
5
Suppose 3*b = 4*m + b, -3*m + 3*b = 0. Let g = 2 + m. Suppose 5*q + g*u + 4 = 0, -3*q - u = -4*u - 6. Which is smaller: q or -2?
-2
Let g be (-22)/(-3) - (-4)/6. Suppose -2*q - 2*k = -20, -k + g = k. Let i(t) = -t + 6. Let o be i(q). Is o at most 1/3?
True
Suppose -21 + 9 = -3*t. Let w = 5 - t. Let v be 6/(-8) + w/2. Are 1 and v equal?
False
Suppose -4*i - 4*k = -48, -5*i + 3*k = 4*k - 40. Is i != 10?
True
Let i = 1 + 2. Suppose -p + i*v - 6 = 0, 3*v - 2 - 4 = -5*p. Let j = p - -1. Do 0 and j have the same value?
False
Let u = -190 + 190. Is -5/4 <= u?
True
Let x = -0.73 - -0.95. Is x at most 4?
True
Suppose 0 = -2*c + 197 + 125. Is c at most as big as 160?
False
Let v(n) = n**3 + 3*n**2 + n. Let a be v(-2). Let q(g) = -6*g + 2*g + a*g + 0*g. Let p be q(-3). Which is bigger: 5 or p?
p
Let q = 1/126 - 257/630. Let j = 0.2 + 0.8. Do q and j have different values?
True
Suppose -3*x - 3 = -0*x, 4*h - 77 = 5*x. Are h and 19 unequal?
True
Let c(b) = -6 - b - b - b. Let m be c(-4). Let w = 6 - m. Is w greater than -2?
True
Let a(f) = -f - 3. Let l be a(-5). Suppose 4*y + l = -2. Which is smaller: y or -2?
-2
Let o(g) be the third derivative of g**5/30 - g**4/6 + g**3/3 + 4*g**2. Let y be o(2). Which is smaller: 3 or y?
y
Let b(x) = 2*x + 7. Let r be b(-5). Let d be ((-9)/6)/((-3)/6). Let m = d + r. Is m > 0?
False
Let a be (-4)/6*(-9)/6. Let p be (-4)/(-8)*(1 - a). Is 2 at least p?
True
Let m = 1 + -0.9. Which is smaller: m or -2/7?
-2/7
Let u(s) = 6 + 6*s**2 - 3*s**2 + 8*s - s**2 - s**2. Let f(p) = -p**2 + p - 2. Let c be f(3). Let v be u(c). Which is smaller: v or 7?
v
Suppose -3*r + 4*c + 1 = 0, -4*r - 6 = -2*r + 4*c. Let u = -2206/15 + 147. Which is greater: r or u?
u
Let k = -23 - -22.9. Is 2/21 less than k?
False
Let v(u) = u - 1. Let k(j) = -7*j + 10. Let l(m) = -k(m) - 6*v(m). Let a be l(-3). Let f = -10 - a. Which is smaller: -2 or f?
f
Suppose -i - 4*h + h - 11 = 0, 0 = -2*i + 5*h - 44. Is i >= -16?
False
Suppose 4*a + 3*n + 147 = 0, 0 = a - 3*a + 4*n - 46. Let r be (-2)/(-11) - (-6)/a. Which is greater: -7/5 or r?
r
Suppose -3*w + 20 = 4*a - 0*a, -w + 11 = -3*a. Suppose r - w = -r. Suppose r*v - 2 = 2*v. Which is greater: -1/10 or v?
v
Let w(v) = v - 14. Let d be w(13). Are -4/7 and d nonequal?
True
Let r be (-32)/60*(-3)/28. Which is greater: 0 or r?
r
Let x be 1*2/7 - 0. Which is bigger: x or 1?
1
Suppose -16*w - 174 = -10*w. Is w bigger than -25?
False
Suppose -5*v = -c - 17, -5*c + 4*v - 2 = -1. Is 2 at most c?
True
Suppose -37 - 11 = -4*t. Let b be 2/t*3/(-2). Which is smaller: b or 11?
b
Let h be 2*-1 - (-25)/15. Which is bigger: 2 or h?
2
Let i be (-147)/(-330) - 1/(-2). Let p = 6/11 - i. Is -2/5 greater than p?
False
Let k be (-16)/(-20)*(-230)/(-4). Suppose g - 3*m = -k, -28 - 70 = 3*g + m. Let o = -135/4 - g. Is o < 0.1?
False
Suppose 3*f - 5*i = 15, 0 = -3*f + i - 3 + 6. Is -0.11 greater than or equal to f?
False
Let i = -0.117 - -0.057. Is i bigger than 0.8?
False
Let z = -0.7 - -0.9. Let q = -4.2 + z. Which is smaller: q or -1?
q
Let v = -473 + 15610/33. Which is smaller: v or 0?
0
Let w be 108/224 + 0 + 1/(-2). Which is smaller: 0 or w?
w
Let t(b) = -4*b**3 - 3*b**2 - 1 + 3*b + 3*b**2. Let f(d) = -3*d**3 - d**2 + 3*d - 1. Let n(m) = 3*f(m) - 2*t(m). Let p be n(-4). Is p smaller than -1?
False
Suppose 2*x + 6 = 14. Suppose 0 = 4*g - 0 - x. Is -1/5 greater than g?
False
Let n be (4/8)/((-22)/(-24)). Let d = -23/22 + n. Let h(c) = c**2 + 3*c + 1. Let z be h(-2). Which is bigger: z or d?
d
Let d(k) = k**2 - 5. Let x be d(-2). Which is bigger: 2 or x?
2
Let w(i) = -2*i**2 + i + 1. Let n be w(-1). Is n at most as big as -3?
False
Suppose 2*t = 3*q + 11, -4*q - 6 + 38 = 2*t. Which is smaller: t or 9?
9
Let m = 3 - -4. Suppose -2*d - m = 13. Let r = d + 7. Is -3 greater than r?
False
Let d(j) = -j + 1. Let r be d(-12). Let s = r + -14. Is 10 > s?
True
Let w be -2 - 4/(0 + 4). Let o be (4 - 5)*1/w. Let y(q) = q - 5. Let p be y(6). Which is greater: p or o?
p
Let j be (12/(-104))/(6/8 - 0). Suppose 3*d - 4 = 7*d. Is d bigger than j?
False
Suppose -187 = 4*n + 7*n. Is -11 >= n?
True
Let g = 208.1 + -231. Let h = g + 23. Which is smaller: 2 or h?
h
Let z(h) = h**2 - h. Let o be z(1). Suppose o = 2*u - 3 + 1. Is u < -2?
False
Suppose -v + 0*v = 4*d - 24, -5*d - 5*v = -30. Let h = 0 - -15. Suppose -k - d = l - 0*k, -4*l - k - h = 0. Which is smaller: l or -2?
l
Suppose -13*r + 12 = -10*r. Are 17/4 and r non-equal?
True
Let h = -31 - -30. Is h at most as big as 1/50?
True
Let i(w) = w**2 - 9*w + 7. Suppose 0 = -7*m + 5*m + 12. Let l be i(m). Does l = -11?
True
Let r = 0.101 - -0.039. Which is greater: r or 4?
4
Suppose -231 = -2*w - w. Let q be 44/w - 6/(-14). Are -1/12 and q non-equal?
True
Let q = -80 + 81. Which is greater: q or 4?
4
Let b(x) = 3*x + 3. Let z be b(2). Let l(g) = -g + 11. Let c be l(z). Is 3 greater than or equal to c?
True
Let k be 11*1*(5 + -4). Suppose -3*l = 5 - k. Suppose -3*m - 25 = 5*g, 2*g - 6 = l*m - 0*m. Is m greater than -5?
False
Suppose 0*w + 3*w - 9 = 0. Let s be (-2)/(-12)*(7 - w). Which is bigger: s or 0?
s
Let r = -26 + 36. Let w = r + -11. Which is greater: w or 5?
5
Let y be (-765)/(-783) - (2 - 1). Let x = y - -184/435. Let n = 0.1 + -0.3. Does n = x?
False
Let z = -1.4 + -0.1. Is z != 2?
True
Suppose 5*q + n - 4*n = 7, 3*n - 11 = -4*q. Suppose -6 = -h + q*h. Let l be (-10)/h + 1/(-3). Is 1 less than l?
True
Let r(g) = g**2 + 9*g. Let w be r(-9). Let a = 3 + -4. Let u = a + -2. Is w at least u?
True
Let x = 57/5 - 121/15. Which is smaller: 4 or x?
x
Let d = -4 + 5. Let f be 9 + 0 - (1 - d). Which is greater: 2/7 or f?
f
Let y be (-2)/(44/(-34)) - 2. Is -1 at most y?
True
Suppose -6 = -6*h + 3*h. Suppose -3 = -d + 3*t, -2*d - 5*t + 5 = -1. Suppose d*j = -3*n - 18, n - h*j - 22 = 5*n. Is -1 at least as big as n?
True
Let z be ((-57)/5)/((-3)/(-2)). Which is bigger: z or -8?
z
Let g = -1.5 - -1.5. Which is smaller: 1/3 or g?
g
Suppose -4*v + v = -3. Let z be v/(-2) + (-5)/10. Is z < 0?
True
Let j = 0 - -1. Let o be 2*(24/22 - j). Is o less than -1?
False
Let u = -4 - -5. Is u bigger than -1?
True
Let g = 27 + -12. Let v be 27/120 + (-9)/g. Is 0 bigger than v?
True
Let l(u) be the first derivative of u**4/4 - 4*u**3/3 + u**2/2 - 3*u + 1. Let k be l(4). Suppose -3*w = 2*w - 10. Are k and w nonequal?
True
Let l be 2*(-1)/2 - 1. Let g be -3 - (-3 + l/3). Which is bigger: g or -1/5?
g
Let s = -115 - -115. Is 2/165 at most s?
False
Let n be 1*(-2 + -5 + 4 + 3). Let l be -1 - (-4)/10 - -1. Is n greater than l?
False
Let d(q) = q + 21. Let b be d(-23). Which is smaller: b or -6/11?
b
Let l = 11 - 8. Suppose 5*u = 2*w, -l*w - 3*u + 16 = -w. Which is greater: w or -1?
w
Let x(k) = k**2 + k - 1. Let z be x(1). Suppose -4*o = -12, -3*g + 4*o + z = 7. Suppose -5*l + 4*l = -3*c + 7, -2*l = -2*c + 2. Is g greater than c?
False
Suppose 5*r + 93 = x, -2*x = 39 - 35. Let j = 28 + -47. Are r and j nonequal?
False
Suppose 0 = -4*a - m + 3*m + 14, 3*m + 6 = a. Let l be -2 - -3 - (a - -1). Do l and -0.1 have the same value?
False
Let i be (-6508)/(-35) + (2 - 3). Let k = i + -185. Is 1 smaller than k?
False
Let h(l) = -2 + 0 + 0 - 4 + 4*l. Let i be h(6). Let z be (-14)/i + (-4)/18. Is z smaller than -2?
False
Let v(p) = -p**2 + p - 4. Suppose -h = -5*h. Let d be v(h). Which is smaller: 1 or d?
d
Let o = 0.34 + -0.3. Let c(v) = v**3 + 3*v**2 + 2*v. Let h be c(-2). Which is greater: o or h?
o
Suppose 0 = u + 2*u - 6. Suppose 