 Let p = -0.1 + -0.2. Is p bigger than h?
False
Suppose -u - 2*u + 3 = 0. Let y = -0.3 + 0.4. Is u >= y?
True
Let c = 15 - 15.11. Let h = 3.11 + c. Which is smaller: -1 or h?
-1
Let a(f) = -f**2 + 6*f - 2. Let b be a(5). Suppose -5*u + 16 = -u. Suppose -u*i + 12 = 0, -b*t = 5*i + 1 - 16. Which is bigger: -1 or t?
t
Suppose -19 = -p + 3*z, -2*p = -7*p - 3*z + 5. Suppose 0*d = 2*d. Suppose 4*v + 12 = d, -4*v - 10 + 2 = 4*y. Is y less than or equal to p?
True
Let o = -21 + 21. Do 11 and o have the same value?
False
Let n = -206/5 + 43. Is n < 1?
False
Let r = 2 + 0. Let l = 3.05 - 0.05. Let v = l - 2. Are v and r equal?
False
Let b = -24.1 + 24. Which is bigger: 28 or b?
28
Let l = 4 - 1. Suppose 0 = -4*u + 20, l*h + 0*u = 5*u - 16. Let a = 32 - 30. Which is greater: h or a?
h
Let v be ((-5)/5)/(2/(-22)). Is 11 greater than v?
False
Let t = 47/120 + 1/120. Let j = 27 - 26.9. Which is smaller: t or j?
j
Let z(a) = -a**2 - 10*a + 3. Let w be z(-10). Which is greater: 0 or w?
w
Let j = -0.2 - -0.2. Let a = 3 + -7. Let s = a - -4. Does s = j?
True
Suppose 5*y + 9*h - 4*h - 15 = 0, 2 = 2*h. Let q(o) = -o**2 + o**3 - 10 + 7*o**y + 4 + 4*o. Let t be q(-5). Is -1 at most t?
True
Let j be 4/3 + 10/(-6). Which is greater: -8/7 or j?
j
Suppose 0*y + 2*y = 8. Suppose -z - 4*z + 11 = -4*r, 0 = -3*z + y*r + 13. Let u = -4/29 + 49/145. Is z bigger than u?
False
Suppose 5*r = -5*z + 2*z - 10, 5*r = z - 10. Which is smaller: -3/5 or r?
r
Suppose 3*n - 15 + 6 = 0. Let s = n - 5. Is -3 greater than or equal to s?
False
Let h be (-14)/(-20) - 1/2. Suppose -4*r = 3*g - 47, -2*g + 3*r = -3*g + 24. Suppose -2 + g = 3*m + 4*k, m - 5 = -4*k. Is m > h?
True
Suppose 0 = -2*m - 3*m - 5. Suppose 4*q = 5*t + 6, -5*t - 3*q - 9 = -2*t. Is t not equal to m?
True
Let r(v) = v**3 - v**2 - v - 4. Let w be r(0). Let c = w + 0. Let q be 6/(-4) - (c - -2). Which is smaller: q or 0?
0
Let x = 9 - 9.2. Let l(k) = k**2 - 7*k - 1. Let r be l(6). Let b = r - -27/4. Which is bigger: b or x?
x
Suppose -2*v = 5*t - 14, -2*v = -4*v + 2*t + 42. Suppose 16*o + 4 = v*o. Let l = -0.2 - 0. Which is bigger: l or o?
o
Let y(j) = -j + 7. Let u(b) = -b + 6. Let g(c) = 2*u(c) - 3*y(c). Let q be g(5). Is -4 < q?
False
Let m be (-2)/(-10) - 9/45. Let s(u) = -u**2 - 3*u - 1. Let a be s(-2). Are m and a non-equal?
True
Let i(k) = 119*k**3 + k**2 + 2*k - 3. Let a be i(1). Is 120 less than a?
False
Let m = 17 - -26. Are 45 and m equal?
False
Suppose 5*z + 3*p = 4*z + 5, -z + 1 = -p. Is z at most 10/11?
False
Let i(a) = a**2 - 13*a + 11. Let s be i(10). Are -17 and s unequal?
True
Suppose 0 = 5*h - 0*h. Let k = h - -1. Is -2/13 smaller than k?
True
Suppose -5*c - 32 = 4*s - 3*s, -2*s = 3*c + 64. Is -63/2 at least s?
True
Let i be (7/3)/((-11)/6 - -2). Are i and 14 unequal?
False
Let t = 6 + 5. Suppose 0 = 3*i - 5*z + 25, -i + t = -5*z + 26. Which is greater: i or 1?
1
Suppose 4*k + 4*b + 20 = 0, -2*b - 8 + 3 = -3*k. Let i be -1 - -2 - (-2)/(-3). Which is smaller: k or i?
k
Let h = 26 + -16. Let q = 0 - 0. Suppose -5*k + h = -q. Which is greater: 1 or k?
k
Let b be 1/4*80/190. Which is smaller: 1 or b?
b
Let j be ((-30)/(-25))/((-4)/(-5)). Is j at most as big as -2/13?
False
Let d be ((-4)/(-3))/((-3)/(-9)). Suppose 4*c - 8 = -0*c. Suppose 0 = t + d - c. Is -3 bigger than t?
False
Let t be (-6)/4 - (-10)/4. Is 4 < t?
False
Let t be -1 + -2 + -1 + 13. Let u = -4 + t. Is u at least as big as 4?
True
Let n(z) = -z - 19. Let i be n(-8). Which is smaller: -12 or i?
-12
Let z(m) = m**2 + 2*m + 1. Let a be z(-2). Let w be 2 + 1*(0 - a). Which is smaller: w or -2/7?
-2/7
Let f be (18/15)/((-2)/5). Let d be (-3 - f)/(0 - -2). Let a be d/(-2 + 0 - -3). Is 0 at most a?
True
Suppose y = 3*y + 22. Let k(a) = -a - 13. Let i be k(y). Which is smaller: i or 0.02?
i
Suppose -122 = q + 73. Let z = q - -972/5. Which is smaller: z or -2?
-2
Suppose 0 = -10*n + 5*n - 5. Let d = -23/30 + 1/6. Which is bigger: d or n?
d
Let r = -16.07 + 16. Let u = 0.31 - 0.41. Is r less than u?
False
Let q = 2457419/10120 - 7877/184. Let v = q - 200. Let t = 113/165 - v. Which is smaller: t or 2?
t
Let r(n) = -n + 15. Let v be r(9). Let w(o) = -o**3 + 6*o**2 - 5. Let g be w(v). Let b(x) = -6*x**2 + x. Let z be b(1). Are z and g non-equal?
False
Suppose 5*v - 2*h = 3, 5*v + 4*h - 4 = 5*h. Let l = 13 - 42. Let d = -86/3 - l. Which is smaller: v or d?
d
Let q = 0.1 + -0.2. Let f be 2/(-5) - 0/(-3). Is q >= f?
True
Suppose -122 = -4*p - 18. Let s be ((-1)/5)/(p/76). Let m = s - -5/13. Which is smaller: m or -1?
-1
Let j be -1 + 2 + 3*(-1 + 0). Let l be 2/4*(0 + -3). Which is greater: l or j?
l
Let b be (-1)/1*16/(-488). Is b less than 1?
True
Suppose -2*u - j = 2*u - 9, 5*u - 3*j - 7 = 0. Let x be 1/2*(u + -3). Let n = 2 - 1. Is x greater than n?
False
Let m(k) = k**3 + 2*k**2 - k - 2. Let q be m(-2). Let i be 2 + (-1 - q) - -14. Let j be i/(-6) + 0 - -2. Is -1 greater than j?
False
Let s(d) = -2*d - 52. Let y be s(-26). Let c be (1 + 2)/(10 + -2). Which is greater: c or y?
c
Let y be 1/2*2/5. Let r(m) be the third derivative of m**4/24 + m**3 - 3*m**2. Let u be r(-6). Which is smaller: y or u?
u
Suppose -86*c + 82*c - 8 = 0. Which is smaller: c or 18?
c
Let d be (-4)/(-10)*(-4 - 1). Let c be (-54)/(-70) + d/10. Let h be 0*1*1/1. Which is greater: h or c?
c
Let g be -105*((-1827)/(-615) - 3). Let m = g + 20/287. Which is smaller: -1/2 or m?
-1/2
Suppose -5*l + 6*l = 0. Suppose 5*t + l = -5. Are t and 0 equal?
False
Let t be 64/(-21) + (-12)/42. Suppose -4*r - 10 = r. Which is greater: t or r?
r
Suppose 18 = 4*h + 10. Is h less than or equal to 8/21?
False
Let b = 7/66 - 3/11. Let n = 1/4 - 3/4. Let u = n - b. Is u bigger than 0?
False
Let y = 0.012 - 3.912. Which is greater: y or -1/3?
-1/3
Let v(x) = -x**2 - 2*x - 8. Let h be v(-8). Let a = h + 223/4. Which is smaller: a or -1?
-1
Let f = 0.077 + -0.127. Which is smaller: -7 or f?
-7
Let z(h) = -h**2 + 23*h - 28. Let s be z(21). Is s < 16?
True
Suppose -4*n - 4*f = -284, -2*f + 3*f = -5*n + 347. Let p = n - 209/3. Which is bigger: p or -2?
p
Let q be (-936)/(-168) + -1 + (-20)/(-14). Suppose 0 = 4*l + 2*t - 24, -t = 2 - 0. Is l <= q?
False
Let u = -7 - -12. Suppose 1 = -3*g - u. Are g and -1 non-equal?
True
Let p = 0.06 - 0.16. Which is greater: p or 1.9?
1.9
Let p(t) = t + 4. Let h(s) = -4*s - 13. Let m(k) = 2*h(k) + 7*p(k). Let b be m(-2). Which is bigger: 3 or b?
b
Let i = 0.11 - 0.19. Let n = i - -0.28. Are -0.04 and n equal?
False
Suppose -2*h = 1 + 21. Is h at least as big as -11?
True
Let h = 4 + -3. Suppose -5 = a - h. Let m be (a + 3)*(2 - 2). Is m equal to 2/15?
False
Suppose 3*w = -o, -o + 3*o + 3*w = 3. Suppose 0 = -2*a - o*a. Let k = -2 + a. Is -1 bigger than k?
True
Let n = 7 + -12. Let z = 4 + n. Let a = -1 - -1. Which is smaller: a or z?
z
Let y = -10 + 20. Let m = -11 - y. Is 1 at least as big as m?
True
Let t(c) = -c**3 + 4*c**2 - c - 6. Let o be t(5). Let h be (-37)/(-51) - (-24)/o. Is -1 less than h?
True
Let h = -0.45 + 0.5. Let z = h + 0.04. Do z and 1 have different values?
True
Let u(o) = o**3 + 4*o**2 - o - 1. Let x be u(-4). Let w be (x - (-10)/(-4))*-5. Suppose -s = -p - 2 - 0, 2*s = -3*p - 6. Which is smaller: w or p?
w
Let p = 0.2 + -0.3. Let g = -0.5 + 0.54. Is g less than p?
False
Let g be 3*3/9*0. Suppose g = -4*p - z + 6, -2 = -z - 4. Is 1 bigger than p?
False
Let u(c) be the second derivative of c**4/12 - 4*c**3/3 + 7*c**2/2 + 5*c. Let y be u(7). Which is bigger: y or 12?
12
Suppose t - 5 - 5 = -3*m, 5*t - 28 = -4*m. Suppose -d = t*p + 25, 5*d - 3*p + 50 = -8*p. Is -6 equal to d?
False
Let a = -72 + 64. Let s = 5 - 4. Which is bigger: s or a?
s
Let p = -31 + 34. Is p > 14/5?
True
Let s be ((-2)/(-6) - 1)*9. Are -5 and s non-equal?
True
Let m = 15 - 17. Suppose h - 2*h = -4*y - 3, 0 = y - 4*h - 18. Is m bigger than y?
False
Let a be -2*(-2)/(-4)*-7. Suppose p + 3 = -v - 0, p + 2*v = -a. Let k = -107/3 + 36. Do k and p have different values?
True
Let x(h) = -h**3 + 7*h**2 - 8*h + 9. Let c be x(6). Let v = 0.28 + -0.38. Which is smaller: v or c?
c
Let m(d) = d**2 + 6*d + 3. Let f be m(-5). Let t = 4 - 7/3. Let h = t + f. Which is greater: h or 0.05?
0.05
Suppose 5*r = -3*w + 1 + 3, 5*w + 18 = 4*r. Suppose -2*b + 4*v + r = 0, -3*v = 7 + 2. Suppose -4 = -3*f - 16. Is f