 - 2*v + r = 0. Does -1/4 = u?
False
Let u(s) = -s**2 + 3*s - 2. Let r be u(2). Let a = -16 + r. Is a at most 0?
True
Suppose -30 = -5*a + 85. Suppose 3*t + 4*s = -a, 3 = -2*t - 3*s - 13. Is -4 at least as big as t?
True
Suppose 0 = -f - 3*o + 15, -5*f - 3*o + 27 = -0*o. Is 7 less than f?
False
Let m(c) = -c**2. Let q be m(7). Let k = -243/5 - q. Which is greater: 0 or k?
k
Let h = -10 + 8. Let j be ((-3)/((-27)/(-534)))/h. Let n = -30 + j. Which is bigger: n or 2/5?
2/5
Let i(m) = -m**3 - 4*m**2 + m + 2. Let u(z) = z**2 - 7*z + 2. Let h be u(6). Let t be i(h). Which is greater: -7 or t?
t
Let f = -91 + 99. Are 8 and f nonequal?
False
Let d be (-2)/(-4)*44/(-33). Which is smaller: d or 0?
d
Let a = 3.77 + 0.13. Is 0.1 not equal to a?
True
Let o be ((-11)/6)/11*-2. Let m = 3 + -2. Which is greater: o or m?
m
Suppose 5*u + u = 1188. Let i be (-96)/u + 4/6. Which is bigger: i or 1?
1
Let o be (-2)/(4/6) - -3. Which is greater: o or -1/4?
o
Let y be (216/(-1155))/((-4)/(-14)). Let k = 5/11 + y. Let v = k + 7/10. Which is smaller: v or 0?
0
Let s(f) = -13*f**2 - 5*f - 6. Let l be s(-1). Let u = -43 - -30. Which is smaller: l or u?
l
Suppose -5*u = -i - 11, 3*i + 27 = u + 8. Is -6 at most as big as i?
True
Let y = -0.25 + -9.75. Which is smaller: y or 0?
y
Suppose 5*r = 6*r + 29. Are r and 1/2 unequal?
True
Suppose -2*f + 2*n + 4 = -2, -14 = -3*f + 2*n. Suppose -6*z = -5*z + i - f, 12 = z - i. Suppose 1 = v - p - 1, -5*v - 2*p + z = 0. Is 3/5 at most as big as v?
True
Suppose 4*p = 3 + 1. Let u = p + -2. Let b be (-1)/2 - (-8)/12. Which is bigger: b or u?
b
Let k = 19.3 + -20. Let c = 7.7 + -9. Let d = c + k. Is d greater than 1?
False
Let t be ((-30)/8)/((-3)/8). Are -2 and t equal?
False
Let c = 3 - -2. Suppose 13 = -5*x + i - 14, 5*x = -c*i - 15. Which is smaller: -1 or x?
x
Suppose 2*m + 2*m - 36 = 0. Suppose m*b - 4*b = 0. Suppose b*i = 4*i - 16. Which is greater: i or 3?
i
Let z = 1/10 + -13/30. Suppose 0 = -s + 3*c + 17, 4*s - c = -0 + 13. Suppose 4*d + 2*l = 0, -4*l + 0*l = -s*d - 10. Which is smaller: d or z?
d
Let w be 660/(-45) + (-1)/3. Which is smaller: w or -14?
w
Let t be 1/(-2 - -3)*-1. Is -2 equal to t?
False
Let n = -0.03 - 2.97. Let r = 0.53 - 0.03. Let h = r - 0.5. Which is smaller: h or n?
n
Let l(j) = 3*j**3 - j**2. Let s be l(-1). Which is bigger: s or -6?
s
Suppose 9*j - 15*j - 6 = 0. Are 19 and j non-equal?
True
Let w be (32/40)/(6/5). Let n = -0.9 - -1. Let q = n - 0.1. Is w less than q?
False
Suppose -5*o + o + 12 = 0. Let u be 0/(-2) - (-6 + o). Is 3 less than u?
False
Suppose -8 = -2*n + 6*w - 5*w, -3*w = -12. Let r be -2 - 1/(-2)*n. Let f be (-2)/(-5) + 16/10. Which is greater: r or f?
f
Let o be (-12)/10 - (-1216)/880. Let x(g) = g - 6. Let u be x(5). Which is smaller: u or o?
u
Let f(d) = -d**3 + 5*d**2 - 4*d + 1. Let y be f(3). Suppose -5*j + 27 - y = 0. Suppose j - 1 = x. Which is smaller: 9/5 or x?
9/5
Let i(d) = -d**3 + 6*d**2 + 2*d + 5. Let s be i(6). Suppose 5*k + 18 = -s. Which is smaller: -6 or k?
k
Let l = 7 + -2. Suppose -b - 3*i + 29 = 2*i, l = i. Let a = -6 + b. Is a greater than -3/2?
False
Let r = 2 + -3. Let j = 39 - 25. Let a be 2/(-4) - (-7)/j. Which is greater: a or r?
a
Let u(m) = -11*m**2 - 6*m + 26. Let t(j) = -4*j**2 - 2*j + 9. Let i(n) = 17*t(n) - 6*u(n). Let g be i(2). Are g and -6 equal?
False
Suppose -3*j + 9 = -3*s - 30, -3*s = 4*j + 18. Let z = s + 7. Let b(o) = 3*o - 1. Let n be b(-1). Is n equal to z?
False
Let n(s) = -s**2 + 3. Let j be n(0). Let r be (2 - j)/(2/14). Which is smaller: -8 or r?
-8
Let f = -12 - -18. Let d = f - 7. Let b = 3 + -3. Which is smaller: b or d?
d
Let t = 5/8 - -39/8. Which is bigger: t or 2?
t
Let g(i) = 2*i**3 + i**2 - 2*i. Let l be g(1). Is -1/18 greater than l?
False
Let k(l) be the third derivative of l**5/60 + l**4/12 - l**3/2 - l**2. Let a be k(3). Let f be 6/4*2/a. Is 0 equal to f?
False
Let d = -12 + 17. Which is smaller: d or 28/5?
d
Let f(s) = s**2 + s + 12. Let u be f(0). Let c be 4/u + 14/12. Let y = -2 + 4. Which is smaller: y or c?
c
Let o = 94 - 65. Suppose -3*g = -19 - o. Let b be (g/(-6))/((-10)/15). Which is greater: 5 or b?
5
Let o be (-5)/((-70)/4) + 14/(-49). Suppose 3*v + n = 10, 4*v - 5*n - 7 = -0. Let a be v/5 - (0 - 0). Which is smaller: a or o?
o
Let o be (-2)/6 + (-14)/(-6). Let t be 6*((-9)/o)/(-3). Let p(y) = -y**3 - 5*y**2 + 5*y + 4. Let r be p(-6). Is r greater than or equal to t?
True
Let i = -0.156 + 0.056. Which is smaller: i or 0.4?
i
Let r(l) = l**3 + 8*l**2 - 6*l + 9. Let w be r(-9). Is -20 > w?
False
Let t = 4 - 3.9. Let d = 3 - 1. Which is smaller: d or t?
t
Suppose -w + 12 = 3*n, -5*n + 21 = 2*w + 1. Suppose w = -5*f - 0*f - 5. Let t be 27/(-15) - (-2)/(-10). Is f greater than or equal to t?
True
Let q(w) = w**3 + 6*w**2 + 2*w + 5. Let l be q(-6). Let k be (-11)/4 + 3/(-12). Let m = k - l. Which is greater: m or -0.1?
m
Let n(x) = -2*x - 8. Let a be n(-3). Which is greater: -17 or a?
a
Let a = -3 + 2.5. Let t = -4.6 + 5. Let n = a + t. Which is smaller: 4/7 or n?
n
Let x(z) = -z**2 + 10*z - 22. Let l be x(6). Is 22 != l?
True
Let d be (2 + -1)*-1 + 6. Let w = d - 6. Is 2/17 > w?
True
Let c = -25.09 + 0.09. Is -1/4 <= c?
False
Let y be (3/(-15))/(1 + 0). Suppose 3*x - 2*b = 2 + 6, 2*b = -4*x + 6. Suppose -x*n = n. Which is greater: y or n?
n
Let t be (9 + 1 + -1)*-1. Let w = 18/35 + -1/70. Is w at most t?
False
Let n(i) = 2*i + 8. Let g be n(4). Which is smaller: g or 18?
g
Let b(a) = 8*a + 33. Let q be b(-5). Which is smaller: -6 or q?
q
Let z = -4/7 + 23/35. Which is smaller: z or 0?
0
Let w = -0.22 + 0.15. Is w less than or equal to 1?
True
Suppose 3*x + 9 = 0, -2*t + 2*x = -0 - 4. Suppose 3*a - q - 37 = 0, -3*a - q + 5*q = -49. Let y be 1/(a/2)*-1. Is t less than or equal to y?
True
Let q(f) = f + 2. Let n be 5 - (-3 + 0 + 3). Let c be q(n). Let g be (-2)/c + 33/42. Is -1 at least g?
False
Let y = 2.2 + -1.2. Let h = y + -4. Which is bigger: -0.3 or h?
-0.3
Suppose -2*l = -3*l + 4. Suppose -6 + 1 = 5*d + 5*c, l*d - 3*c - 17 = 0. Is 2 > d?
False
Let s = -8 - 41. Is s at most 2/5?
True
Let i be -2 - (-3 + 2)*3. Let r be i + 2 + 100/(-28). Is r less than -2?
False
Let x(w) = w**2 - 3*w - 4. Let m be x(4). Let n = 2/21 - 3/7. Let u = n + 1. Is u at least as big as m?
True
Let o(r) = 3*r - 28. Let v be o(9). Is v != -12/35?
True
Let a be -1 + 1 - (5 - 6). Let q = -17/2 + 37/4. Is a not equal to q?
True
Let x(q) = 2*q - 4. Let g be x(5). Let f(a) = a**3 + a**2 + 6*a + 6. Let r be f(0). Are r and g equal?
True
Let m be (-1*(2 + -1))/(-1). Let x = -2 + m. Suppose 0*y = 4*y + 8. Which is smaller: x or y?
y
Let o = -0.06 + -1.94. Let x = -7 - o. Is x less than 2/7?
True
Let q = 13 - 13. Which is smaller: 2/147 or q?
q
Let q = -1532 - -7632/5. Let l = q + 163/30. Is -1 at least as big as l?
False
Let j = -3/65 + -2/13. Which is bigger: j or -1?
j
Suppose 5*s + v = -18, 0 = 3*s - 4*v - 0*v - 3. Is s < 0?
True
Let x(b) = -b**3 - 3*b**2 + 4*b + 1. Let d be x(-4). Let t = -0.3 + 0.1. Is d at most t?
False
Suppose 0*p + 3*p - i = -4, -12 = 2*p - 3*i. Which is bigger: 7/19 or p?
7/19
Suppose 0*g + 5*g - 130 = -2*f, 5*g + 3*f - 130 = 0. Let q be 1 - (1 + 4/g). Are q and 0 equal?
False
Let x = 1/52 + 99/260. Let q(s) = -s + 1. Let v(y) = -y + 1. Let g be v(-1). Let j be q(g). Is j equal to x?
False
Let s be (-22)/(-55) - 7/5. Which is smaller: s or -4/15?
s
Let c be (-36)/40*4 - -3. Is c less than -1?
False
Let h = -23 - -23. Which is bigger: h or 4?
4
Let j = -10 + 30. Suppose 4*o + j = 9*o. Are o and 2 nonequal?
True
Let s(o) = o**2 - 7*o + 8. Let q = -10 + 14. Suppose q + 14 = 3*d. Let f be s(d). Is 2/3 < f?
True
Let i be 4/24*-3*2. Is i less than -16/9?
False
Let k = 212 + -4031/19. Do 0 and k have different values?
True
Let g = 37.1 + -37. Let p = 2 + -1.9. Let o = 0.1 - p. Which is bigger: g or o?
g
Let p(z) = z - 5. Let n = 2 - -2. Let h be p(n). Let r = -34 + 32. Is r at least as big as h?
False
Let i = -23 + 21. Is 2 bigger than i?
True
Let d = -1 - 0. Let a(b) = 2*b. Let r be (1 - -2)*5/(-15). Let i be a(r). Which is greater: i or d?
d
Suppose 4*o + 110 = 2*o - 5*a, 98 = -2*o + a. Let v be 5/(o/16) + 2. Is v at most as big as -1?
False
Let z be (-33)/(-4) - 1/4. Suppose o + z = 3*o. Suppose 0 = -0*g - o*g. Which is greater