m. Is -1/4 greater than or equal to m?
False
Let c(w) = 4*w - 1. Let q be c(2). Are 7 and q unequal?
False
Suppose 0 = -2*z - 2*w + 5 - 23, -13 = z + 5*w. Is -5 less than z?
False
Let s = 39/20 - 11/5. Suppose 2*l = 3*l. Does s = l?
False
Let u = 119/495 - 1/55. Is u smaller than 1?
True
Suppose 5*h + 0 = 10. Let k be 6/24 + (-1)/(-4). Which is bigger: k or h?
h
Suppose 2*j + 0 - 2 = 0. Let x = -13 + 19. Let b = -4 + x. Which is smaller: j or b?
j
Suppose 0 = -4*j - 0*j. Suppose -3*f - f - 8 = j. Which is greater: 1 or f?
1
Let o(p) = -5*p**2 + 0 - 1 - 3 + 5*p + 2*p**3 - p**3. Let g be o(4). Does 0 = g?
True
Suppose 28 = -4*y + 520. Is y < 123?
False
Let y = 5 - 1. Let d be 3 + ((-1)/y - 3). Suppose 3*s = -3*g + 8 + 1, -2*s = g - 4. Is d greater than s?
False
Let j = -22 - -22. Suppose -5*r = j, 5*q - 3*r + 4 = -1. Which is smaller: q or -1/10?
q
Suppose 2*i = -4*i + 18. Which is bigger: 1 or i?
i
Let t be 3/18 + 41/12. Let k = 13/4 - t. Are k and -5 unequal?
True
Suppose -2*t - 10 = -2*u, -5*u + 3*u - 5 = 3*t. Let j = -6 - -4. Which is smaller: j or t?
t
Suppose -q + 0*q - 5*u = -21, u - 5 = -q. Which is smaller: 4/31 or q?
4/31
Let f = -3 + 2.9. Does f = 1/3?
False
Let r = 29 - 29.04. Which is bigger: -1 or r?
r
Let v = -3 - -5. Let x(j) = j**2 - 2*j - 1. Let l be x(v). Is 1 != l?
True
Suppose -m = -30 + 3. Let u be 2/(0 - 6/m). Let i = u - -8. Which is smaller: -4/5 or i?
i
Let y be (-50)/(-18) + 4/18. Let r = 3 + -3. Suppose -3*w + y = -r*w. Which is bigger: w or 2/7?
w
Let w(i) = i**2 - 8*i + 0 - 4 - 2*i**2. Let g be w(-7). Is g <= 2?
False
Let s be 58/(-12)*4/90. Let l = 5/27 - s. Let g = -2.9 + 3. Is l > g?
True
Let q be -2 - (16/42)/(3/(-14)). Let b = 0.9 - -0.1. Are b and q non-equal?
True
Let u(p) = p**3 + 8*p**2 - 22*p - 19. Let d be u(-10). Is d greater than -3?
True
Let g = 48 - 48. Is 0 <= g?
True
Let v = 1 + -1. Let b = -104255/51 - -2044. Let g = b - 1/153. Which is bigger: g or v?
v
Let j = 17 + -15. Which is bigger: j or 6?
6
Suppose 5*z - 1 = 3*w, -2*z = w + 3*z + 27. Let h(b) = -b + 6. Let p be h(10). Let q = p - w. Is q greater than 1?
True
Suppose -2*v = -0*v - 4. Let p(l) = -6*l**2 + 5*l - 4. Let o be p(4). Let g be (-2)/(-8) + (-28)/o. Is g greater than v?
False
Let d = 28 + -14. Let p be ((-1)/(-2))/((-7)/d). Which is smaller: 8 or p?
p
Let g = 13 - 19. Let i(k) = k**3 + 6*k**2 + k + 6. Let u be i(g). Do u and 2/11 have the same value?
False
Let z = 8 + -6. Suppose 0 = -5*v - 4*u + 16, 3*v = 8*v + 3*u - 12. Let p be v + 2 + 2 - 2. Is p less than z?
False
Suppose 25 = -a + 5*z, 3*z = 5*a - a + 15. Which is bigger: a or 2?
2
Let b = -9 + -26. Let r be 25/b + 2/(-7). Let n = -324/295 + -6/59. Do r and n have the same value?
False
Let m be (-6)/(-9) - 4/6. Is m > 0.05?
False
Suppose 0*h = -2*h. Suppose 2*u - 3*k - 14 = -0*k, h = -u + 3*k + 10. Which is smaller: 2 or u?
2
Suppose -5*j = 2 - 7. Suppose -3*x = -2*x - j. Let y = 0 + 0. Are x and y unequal?
True
Let w be (-8 + 3)*((-110)/54 + 2). Are 0 and w non-equal?
True
Let k = -5.023 + 0.043. Let f = -5 - k. Which is greater: -2/5 or f?
f
Suppose -3*z + 0*z + 3*k = 3, 5*z - 19 = -3*k. Let i = 5 - z. Which is smaller: i or 1?
1
Let i = 25 + -27.8. Let o = 3 + i. Let q be (4/10)/(3/(-5)). Is q not equal to o?
True
Let y = 0.068 - 0.168. Is 0.35 smaller than y?
False
Let o = 30 + -30. Which is bigger: -2/11 or o?
o
Let f(x) = 2*x + 3. Let n be f(-2). Let y be (4/(-18))/(14/(-21)). Which is bigger: y or n?
y
Suppose -5*c = -3 + 23. Let t be c*(-3 - -2)*-1. Do 3/2 and t have different values?
True
Suppose -8 - 8 = -2*w. Suppose -t = -3*j - w, 4*t - 17 = 6*t + 5*j. Are -1 and t non-equal?
False
Let z(u) be the first derivative of u**2/2 + u - 1. Let p be z(1). Let y be (17 - 15) + 6/(-8). Is p <= y?
False
Let g = -6 - -6. Suppose g*f - 2*f = 0. Which is greater: 2 or f?
2
Let o(b) = -3*b**3 - 12*b**2 - 9*b + 17. Let r(u) = 2*u**3 + 8*u**2 + 6*u - 11. Let c(y) = 5*o(y) + 8*r(y). Let k = -10 - -7. Let p be c(k). Is p equal to -5?
False
Let f = 34 + -20. Is f >= -1/3?
True
Suppose 2*u = 2*z + 4 + 4, 0 = -3*u + 12. Let h be (1 - 1) + 0/1. Let p = -1 + h. Is z < p?
False
Let x(k) = -k**3 + 5*k**2 + 13*k + 8. Let h be x(7). Let d = 725341/11 + -65848. Let c = d - 92. Is c not equal to h?
True
Let f be 57/9 - (-2)/3. Let x = f + -8. Which is smaller: -3/2 or x?
-3/2
Suppose -2*o - o = -2*c + 5, -4*c + 9 = -5*o. Suppose 2*n + 12 = -2*n. Let j be n/(-84) + (-2)/7. Which is smaller: o or j?
o
Let n = 0.03 - 2.03. Let h be 10/(-8)*(-4)/1. Suppose 3 = h*c - 2. Are c and n nonequal?
True
Let s be 36/96*2/3. Which is greater: s or -0.081?
s
Let d(i) = -i**3 + i**2 - 3*i + 3. Let s be d(2). Is -6 at least s?
True
Let f be 2/(-6) - (-2 + (-132)/(-9)). Do f and -12 have the same value?
False
Let x = 0 + 0. Let j = -20 - -28. Let q = 6 - j. Which is smaller: q or x?
q
Let f be 4/(-14) + (-11)/231. Which is smaller: f or 1?
f
Let i(f) = f - 2. Let m be i(4). Suppose 4*w - 34 = -2. Suppose -5*l = -w - m. Which is bigger: l or 3?
3
Let t(f) = f**2 - f - 3. Let i(z) = z + 1. Let s(k) = 2*i(k) + t(k). Let c be s(0). Is c <= -2/17?
True
Let i be ((-3)/54)/(2/8). Let f(r) = r**3 - 8*r**2 + r - 11. Let m be f(8). Let v be (m/(-9))/(1/3). Is v less than or equal to i?
False
Let n = -13/6 - 67/12. Is -1 at least n?
True
Let q = 0.53 - -22.47. Let x = 22.9 - q. Let f = -1 - 0. Is x at least as big as f?
True
Let o be (24/(-10))/(10/(-25)). Let r be ((-2)/(-3))/(o/(-63)). Is r > -6?
False
Let h be (-8)/(-14) - 2170/3969. Which is greater: h or -1?
h
Suppose -4*d = 3 + 1. Let x be ((-1)/3)/(d/3). Which is smaller: -1/4 or x?
-1/4
Let d be 12/15*(-5)/(-74). Which is smaller: -1/4 or d?
-1/4
Let p be ((-6)/10)/(15/2). Let d = -240 + 240. Is d bigger than p?
True
Let o be 0 - (2 - 0) - -2. Let a = 0 - -0.1. Let v = a - 0. Is o less than v?
True
Let g be 57/4 - (-3)/(-12). Is g at most -1/4?
False
Let m be (-58)/(-6) - 24/36. Suppose -2*x + 5 + m = 2*c, -c + 11 = 3*x. Suppose 2*d = d + 4. Is c equal to d?
False
Let g(j) = 12*j**2 + 2*j + 1. Let x be g(-1). Suppose -5*f - x = -m - 0*m, 0 = 2*f + 4. Suppose 36*r = 38*r. Is m smaller than r?
False
Suppose -2*h - 1 = -h. Let l be (7/3)/1 + -1. Let c = l + h. Which is smaller: c or -0.1?
-0.1
Let u be 3/12 - (-42)/(-8). Let s = -3 - u. Do 4 and s have the same value?
False
Let l = -20 + 5. Let y be 200/(-6) - (-5)/l. Let x = y + 514/15. Is x != 1/2?
True
Let z = 1 - -1. Let c = -8 - -24. Suppose -r + 12 = -3*p, -2*r - 4*p = r + c. Is z greater than r?
True
Let a be (-8)/32 + 26/8. Suppose -r = a*y + r + 7, -8 = 2*y + 3*r. Is y <= 1?
True
Let p = -133 + 237. Let u be ((-4)/p*4)/(-1). Which is greater: u or 0?
u
Let z = 0.264 + -0.064. Which is smaller: z or -39?
-39
Let f = -0.96 - -0.8. Let x = -0.06 - f. Do x and -2 have the same value?
False
Let i = -26.96 + -1.04. Does i = 2/7?
False
Let g be (-2 - 24/(-11))*-1. Does 0.6 = g?
False
Let h(f) = -f**3 + 3*f**2 + 7*f - 6. Let r be h(4). Suppose -2*y + 6 = -6. Is r > y?
False
Suppose 5*g + 215 = 3*z - 0*g, -379 = -5*z - 2*g. Which is greater: 76 or z?
76
Let u = 1 + 1. Let z(t) = 26*t**2 - t. Let h be z(u). Let x = 916/9 - h. Is x > 1?
False
Let a(h) = h**3 + 6*h**2 - h. Let m be a(-6). Let u = m + -5. Is 2 at least u?
True
Suppose 5*t + 8 = 2*x + 22, x + 17 = 5*t. Suppose -x*n = n. Which is smaller: n or -6/17?
-6/17
Let n(t) = 440*t - 1. Let o be n(-1). Let w be 54/o*(-1)/(-3). Which is greater: w or 0?
0
Let l = -2 + 2.1. Let y = -0.2 - 0.2. Let x = y - 0.1. Which is greater: l or x?
l
Let s be (-15)/189 + ((-28)/36 - -1). Suppose -4*d - 3 + 11 = 0. Suppose -4*f + 4 = 2*b, 2*f = d*b + 2 - 12. Is s less than f?
False
Let d = 4/29 - -30/203. Let p(b) = b**2 + 4*b + 3. Let h be p(-3). Is d >= h?
True
Let t = 183/736 + 1/736. Suppose 3*a - 5*n = a + 35, -a - 4*n - 15 = 0. Suppose m = a*m. Is t at least as big as m?
True
Let j be 9/(-2) + 1/2. Let s(r) = r**3 + 4*r**2. Let t be s(j). Are t and -2/27 unequal?
True
Let x = -4 + 12. Suppose 2*p - x = -s, 2*s + 0 - 13 = -3*p. Let c be 2/6 + 8/3. Which is greater: s or c?
c
Suppose -17 - 31 = -4*v. Do v and 12 have the same value?
True
Let z(f) = f**3 - 6*f**2 - 2*f + 4. Let u be z(6). Which is smaller: 0.3 or u?
u
Suppose -2*m - 2 = -2*p - 10, 5 = -p. Which is bigger: -1