0. Is 0 at most y?
False
Let g = -25 - -8. Is 4 <= g?
False
Suppose 0 = 3*m + 4*h + 3 + 8, -4*m = -2*h - 22. Let r be (-1)/m - (-38)/78. Let t be 20/30*6/4. Is r > t?
False
Let b(j) = -j**2 - 2. Let v be b(0). Which is bigger: -3 or v?
v
Let m = 2 + -2.04. Let b = -0.36 + m. Let h = -0.4 - b. Which is bigger: 0.2 or h?
0.2
Let a = -4 - -3.9. Let h = a - -0.1. Is h greater than 0.2?
False
Suppose 8 = y + y - 4*a, -3*a - 11 = -2*y. Suppose -4*l + 4*q = -q - y, 2*l - 5*q - 10 = 0. Let f = -0.29 + 0.19. Which is bigger: l or f?
l
Let n(u) = -u + 9. Let p be n(0). Let f be (-6)/p*(-1 - -4). Let d be (9/(-15))/((-4)/(-10)). Which is smaller: d or f?
f
Let r = 5 + -4. Let t be 18/(-99) + 0/1. Is r equal to t?
False
Let f(c) = -4*c**2. Let p(i) = 10*i**2. Let u(m) = 12*f(m) + 5*p(m). Let b be u(-1). Suppose 2*z = -6, b*j - 5*z = -9 + 26. Is 0 at most as big as j?
True
Let a = 0 + -9. Is a equal to -11?
False
Let x = -158 + 106. Which is bigger: -51 or x?
-51
Suppose 2*s + 0 + 2 = 0. Let t(x) = x - 2. Let b be t(0). Is b < s?
True
Let k = 3 + -3. Let v = k + -3. Let b be (-4)/(-24)*(-2 + -2). Is v != b?
True
Let b be (0 - -2)*1/(-2). Let s = -4 + 1. Is b at most s?
False
Let y = 0.3 - 0.4. Which is bigger: y or 0.03?
0.03
Suppose 12 = 3*n + 3*n. Suppose -m = -5*v - 5, 4 = -5*m - 4*v - 0*v. Is n at least m?
True
Let k(w) = 9*w + 2. Let f be k(-3). Is -24 not equal to f?
True
Suppose -4*p = p. Suppose h - 1 = 0, 2*h = 4*v - 3*h + 17. Which is smaller: p or v?
v
Let n be (-14)/(-10) - (-4)/10. Is 2 <= n?
False
Suppose 4*z - 47 = -5*o + 4, -5*o = -2*z - 27. Is 9 at most o?
False
Suppose -4*n + 6 = -2*n. Suppose -h = -n*h. Let v be 4/(-33)*6/4. Which is smaller: v or h?
v
Let m = -18 + 17.88. Does 0 = m?
False
Let h = 15/7 - 67/28. Which is greater: 2/27 or h?
2/27
Let u(c) = -c**3 + 2*c**2 - 1. Let n be u(-1). Let w be (-3)/((-6)/(-2))*5. Let t = -2 - w. Which is smaller: t or n?
n
Let n(r) = -r**2 + 9*r - 2. Let v be n(9). Which is bigger: v or 1/9?
1/9
Let m(o) = -o - 1. Let t be m(-5). Suppose -16 = 4*a + t*g, 4*g + 4 - 2 = 3*a. Is a <= -1?
True
Let j = -0.7 + -0.5. Let d = -1 - j. Let a = d - 1.2. Is 0.3 bigger than a?
True
Suppose 10 = 5*s + 130. Let j be 10/s - (-4)/(-16). Does -2/3 = j?
True
Let o be ((-16)/(-24))/((-2)/(-9)). Let k(a) = -4*a - 4. Let z be k(-3). Suppose -o*c - z = -c. Is -3 != c?
True
Let s be 4/6*(-63)/(-14). Let i be (-24)/(-20)*(-20)/(-6). Suppose h + h - i = 0. Which is smaller: h or s?
h
Suppose p - 2*r = -p - 18, r = 5*p + 33. Let x be (1*12)/((-4)/p). Let y be (-6)/x*(0 - 1). Is y less than 2/3?
True
Let i(u) = -2*u - 7. Let p(a) = a + 6. Let l(r) = -3*i(r) - 4*p(r). Let h be l(-3). Is -8 equal to h?
False
Suppose -2*p + 12 = 2*j - 0*p, p = 5*j - 12. Suppose x = -3*c - j, -c - 8 = -5*x + 9. Which is smaller: c or -5?
-5
Let h(m) = -4*m**3 + m**2. Let s be h(1). Is s greater than or equal to -0.1?
False
Let n = -283688 - -1110071153/3913. Let o = 319563/1134770 - n. Let s = 3/145 + o. Do 0 and s have the same value?
False
Let h = -2 + 36. Is h greater than or equal to 37?
False
Let t be (-119)/(-21) - (-1)/(1/3). Is t <= 10?
True
Suppose 9 = -9*y - 0. Is 4 >= y?
True
Suppose -38 = -4*l + 6. Let h be (-2)/(-4) - l/6. Is h != -1?
True
Let f be (-5)/(-10) - 1/2. Suppose -n - n - 2*o = f, 4*o = -5*n - 2. Which is bigger: 3 or n?
3
Let y = -11 - -17. Let q be (-4)/3 + 2/y. Let a(m) = -m**2 - 11*m + 1. Let w be a(-11). Is w equal to q?
False
Let b be (-330)/(-616) + (-2)/8. Which is smaller: b or -1?
-1
Let o = 0.6 - 0.44. Let q = o - 0.1. Which is smaller: 0.1 or q?
q
Let l = 1.01 + -0.01. Let z = l - 0.5. Let a = 0.1 - 0.1. Is a <= z?
True
Let g = 0.7 + 4.3. Let y = 5.4 - g. Let c = 0.3 - y. Which is bigger: -2/5 or c?
c
Let s = 0.23 - 73.23. Is s < -0.1?
True
Let n = -17389/1347 + 25386773/80820. Let d = -2696/9 + n. Let m = -7/5 + d. Which is smaller: m or 0?
0
Let o = 0 - -1. Let x be (-10)/78*-3*14/35. Which is smaller: x or o?
x
Let q = 4.8 - 1.3. Let a = q - -10.5. Which is smaller: 0.1 or a?
0.1
Suppose -18*m + 14 = -20*m. Which is bigger: -0.1 or m?
-0.1
Let z be (114/(-4))/(12/(-32)*-2). Is z at least -38?
True
Let y be (-1 - -1)*2/(-4). Suppose o + o + 4 = y. Let u = -98/33 - -18/11. Which is smaller: o or u?
o
Let s(v) = 2*v + 6. Let h be s(-4). Let k be (4/6)/(-1 - h). Which is smaller: -1/4 or k?
-1/4
Let m be 8/3 + 1/3. Suppose -m*q - 2*f + 2 + 1 = 0, 4*q - 3*f + 13 = 0. Let p = 225 + -3377/15. Are p and q nonequal?
True
Suppose 2*o + 9*o = 0. Suppose 0 = 5*k - 1 - 14. Does o = k?
False
Let n(x) = x + 1. Let u be n(6). Let y = 75/11 - u. Which is bigger: y or 1?
1
Let s be ((-2)/(-6))/(7/(-42)). Let a be (17/s)/(1/(-2)). Which is greater: a or 16?
a
Let u be (-6)/(-33) + 4*(-9)/(-44). Which is bigger: 2/29 or u?
u
Let r = -1 + 0. Suppose 3*u = -2*t - 24, t + 2 = -1. Which is smaller: u or r?
u
Suppose 3 + 8 = -11*k. Are -1/55 and k nonequal?
True
Suppose t + 3*t + 15 = -3*d, 3*t + 3*d = -15. Is -12/13 < t?
True
Suppose -3*h + 5*h - 5 = w, 0 = 3*h - 4*w - 15. Let n be 2 - ((-1)/h + 3). Is n != 2?
True
Let h = -0.9 + 1. Let j = 0 + h. Let u be (-2 + 1)*(0 + 0). Is j less than u?
False
Let z = 54.04 - 54. Is 1 < z?
False
Let a = -28 - -40. Let r be (-14)/6 - (-4)/a. Is r smaller than -2?
False
Let u be 21/(-9) + (-4)/(-12). Is u greater than or equal to -12?
True
Let c(p) = -p**3 + 2*p**2 - p. Suppose -4 = j - 5. Let z be c(j). Suppose 2*u + 2*u = z. Are -2 and u equal?
False
Let d = -34 + 75. Which is smaller: d or 40?
40
Let t = -470 + 4222/9. Is 0 > t?
True
Suppose -2*l + 0*l - 7 = -d, -4*d + 16 = 4*l. Is 1/19 > l?
True
Let q = -153 - -152. Which is smaller: -6 or q?
-6
Let y(t) = -2*t**2 - 6*t + 40. Let m be y(6). Does m = -67?
False
Let g = 1.2 + -10.2. Let s = g - -9.3. Are s and -0.4 equal?
False
Suppose -4*j + 3 = -3*s - 14, 0 = 2*s + j - 7. Let d be (1/s)/1*-5. Is d at most as big as 1?
True
Let y = -28 + 11.8. Let s = -15 - y. Let w = s - 0.2. Are 0.1 and w non-equal?
True
Let u(q) be the third derivative of 0 - q**2 + 0*q - 5/6*q**3 - 1/24*q**4. Let w be u(-7). Which is greater: w or 1/4?
w
Suppose 5*q + 0*q = 15. Suppose 0*h = q*h - 6. Are 4 and h non-equal?
True
Suppose -q = -0 - 1. Let w be q*-2 + 6 + -7. Is -3 less than w?
False
Let f = 3.9597 - -0.0503. Let u = f + -0.01. Let k = 0 + u. Is k != 0?
True
Let f = -5/103 - 666/1133. Which is smaller: f or 0?
f
Suppose 0 = -8*a + 3*a + 30. Let b = -11 + a. Which is bigger: -4 or b?
-4
Let y be (-2)/(-1 + 2) - -4. Suppose 0 = y*i + i - 9. Let w = -4 + i. Which is smaller: 2/9 or w?
w
Let a = -2 - 1. Let z = -4 - a. Which is smaller: 2/11 or z?
z
Suppose 9*a - 166 = 7*a. Let o be a/(-27) + 1 - -2. Which is smaller: 0 or o?
o
Let t be (21/405)/((-2)/3). Let l = t + -2/9. Suppose -16 = -x + 3*m, 0 = -4*m + 3*m - 5. Is l smaller than x?
True
Let x = 3.7 + -0.7. Let a = x - 3.2. Let b = 0 + 0.1. Which is bigger: b or a?
b
Let z be (-104)/12 - 4/12. Is z greater than -8?
False
Let t = 7 + -6.9. Let x = 6396 + -32109/5. Let f = -26 - x. Which is smaller: f or t?
f
Let p = 6399/32 - 200. Which is smaller: 2/7 or p?
p
Let n = -11 - -14. Let o = n + -4. Which is smaller: -2 or o?
-2
Let w(g) = -g + 7. Let q be w(3). Suppose -2*f + 0*f - q = 0. Which is greater: -1 or f?
-1
Let n = -5 - -5. Which is bigger: n or 6?
6
Suppose 2*j = -0*j - 6. Which is greater: j or -4?
j
Let y = -75 + 1277/17. Which is smaller: y or -1?
-1
Let v = 1 - 2. Let i be (-12)/20 - 2/5. Is i > v?
False
Suppose -4*r = -10*p + 5*p + 6, -5*r + 4*p = 3. Let q be r/4 - (-38)/8. Let h be (-1)/((-6)/q) + -1. Which is smaller: h or -1?
-1
Let g(b) = -3*b - 30. Let q be g(-14). Is 11 at least q?
False
Let b(n) be the first derivative of -n**4/4 - n**2/2 - n + 2. Let f be b(0). Which is bigger: f or 1/5?
1/5
Let v be (-2 - 4)*(-10)/100. Is v bigger than -12?
True
Suppose 4*x + g + 16 = -0*g, x + 4 = g. Let w be (-2)/(-1) - x/4. Let u = w - 4. Is u greater than -1?
False
Let b = -16 + 13. Which is greater: -5 or b?
b
Suppose -5*w = -0*w + 155. Is -30 < w?
False
Let t be (-3)/(-2 - 21/(-15)). Suppose l - 3 = 4*z, -4*l + 2*z - t = 3*z. Let g(k) = -k**2 - 5*k - 3. Let j be g(-4). Are l and j nonequal?
True
Suppose 0 = -x - 5, -x = -c - 0*c + 4. Is 2/15 greater than or equal to c?
True
Let n = -9 - -16. Le