?
True
Suppose 1 + 17 = -3*a. Let z = a - -7. Is -0.1 equal to z?
False
Let t be 7*3/(21/2). Is 0 greater than t?
False
Suppose 4*c + 56 = 3*d, -14 = 4*c + 2*d + 62. Let u = -11 - c. Which is greater: u or -0.1?
u
Suppose 5*v + p + 2*p = 8, -4*v = p - 12. Suppose 0 = -x - 4, -v*d + x - 8 = 0. Which is smaller: d or -1?
d
Let i(t) = 2*t**2 - 7*t + 2. Let z be i(5). Suppose 17 = 6*d - 5*d. Is z <= d?
True
Let p be 0 - (246/9 - 2). Let o = 25 + p. Are o and 0 unequal?
True
Let k(h) = h**3 + 2*h**2 - 1. Let m be k(1). Let s(j) be the second derivative of j**4/6 + j**3/6 + j**2/2 - j. Let w be s(-1). Are w and m non-equal?
False
Let f(x) = -x**2 - 3*x. Let g be f(-3). Let y be (1 - (-38)/34) + 3 + -5. Is y > g?
True
Suppose 0*x = -5*x + 10. Let p(n) = -n - 3. Let o be p(-4). Is x at least as big as o?
True
Let o(l) = 3*l - 15. Let u be o(5). Is -4/21 not equal to u?
True
Let z = 2.4 - 1.2. Let v = -1.05 + z. Are v and 2/5 equal?
False
Suppose -156 = -4*g - 3*x, 2*x + 0*x - 8 = 0. Are 34 and g nonequal?
True
Let n = 15 - 7. Which is greater: n or 10?
10
Let c be 9/(-1 - (-1)/2). Which is smaller: c or -19?
-19
Let o = 4 - 4. Suppose o = -x - 4*x. Let w be 1/3*(-3)/5. Which is bigger: x or w?
x
Let g = 9.2 + -61.2. Is 1 greater than or equal to g?
True
Let o = 68 - 70. Which is bigger: -0.2 or o?
-0.2
Let w = -1 - 0. Let d = 28.2 + -26. Let l = -1.2 + d. Are l and w equal?
False
Suppose -z - 3 = i, -3*z + 0*i - 13 = 4*i. Let q(t) = -t + 5. Let x be q(4). Is x > z?
False
Let x = 0.3 + -0.2. Let f = 31.02 + -1.22. Let p = -30 + f. Is p not equal to x?
True
Let c be ((-225)/(-36) + -7)/(-1 + 0). Do 0 and c have different values?
True
Let l = 3.3 - 3. Suppose 0 = -f - 3*f - 4. Is l != f?
True
Let d = 3 - 4. Let y = -0.02 + -0.08. Which is smaller: y or d?
d
Let v = 0.4 - 0.3. Let b = 1.1 - v. Let r = b + -0.9. Is 1 at most as big as r?
False
Let m(v) = v**2 + v - 1. Let t(a) = -a + 1. Let d be t(0). Let j be m(d). Let l be 4/10*-1*-3. Which is bigger: j or l?
l
Suppose 87 = 6*d + 33. Is d <= 8?
False
Let f(p) = -p**3 - 16*p**2 - 11*p + 28. Let a be f(-15). Does a = -33?
False
Let f be ((-1)/2)/(1/(-6)). Suppose 4*q = 3*c + 19, 16 + f = c + 5*q. Let a be 6 - (c - (-3)/1). Do a and 3 have the same value?
False
Suppose 2 = f - 23. Let y be (18/15)/(-3)*f. Let m be (6/20)/(12/y). Is 1 smaller than m?
False
Let w = -3 + 7. Let m be (-224)/(-22) - w/22. Suppose m + 5 = 5*a. Which is bigger: 2 or a?
a
Let d = 8 + -7.9. Let y = d - -2.9. Which is smaller: y or -0.2?
-0.2
Let m(o) = -o**2 + 2. Let x be m(2). Let y = -106 - -209/2. Which is bigger: y or x?
y
Let o(k) = 2*k**2 + 4*k + 13. Let f be o(-3). Are 19 and f non-equal?
False
Let m(b) = -b + 2*b - 4 + 0 - 1. Let y be m(5). Is 1/2 >= y?
True
Let r = 0.1 - 1.1. Let y be 1/2 + (-1830)/4644. Let g = y + 5/43. Does g = r?
False
Let l = 3 - 1. Let b = -9.1 + 9. Is b bigger than l?
False
Let l = -10 + 7. Let c(p) = p + 3. Let y be c(l). Which is smaller: -2 or y?
-2
Let h = 7 - -5. Let l = -6 + h. Which is smaller: l or 7?
l
Let r(g) = -4*g - 36. Let i be r(-11). Is i not equal to 10?
True
Let t be ((-1252)/12)/(1/(-12)). Suppose t = -4*p + 100. Let q be (-104)/p - (-2)/(-8). Which is smaller: q or 1?
q
Let a be (-4)/(-6) + 10/3. Let v(x) = -x + 16. Let k be v(14). Let h be (1/k)/((-3)/a). Which is bigger: 3 or h?
3
Suppose 0 = 5*u - 0*u - 105. Let h be u/(-10) - 18/45. Is -3 >= h?
False
Suppose 2*a + 17 = -3*n, 0*a - 3*n = -2*a - 47. Suppose 111 = -6*c + 15. Are c and a equal?
True
Let k be -3 + 2 - (-32)/26. Are k and 0 equal?
False
Suppose -2*x + 125 = 3*x. Do x and 25 have different values?
False
Let s = -31 - -26. Let m = -3 + -1.8. Let n = s - m. Is 2 < n?
False
Let z = 7 + -17. Let g = 15 + z. Suppose 3*b - g*b + 2 = 0. Which is greater: b or 0?
b
Let j = 2698/6111 + 2/679. Do -1 and j have different values?
True
Suppose h - 2 + 1 = 0. Suppose 2 = 2*j, -3*j = -g - 5 + 2. Let n be g - -1 - (-4)/12. Which is smaller: n or h?
h
Let x = -2 + 3. Let s be (-3 + 1)*x + 5. Let u = -2.51 + 2.51. Which is bigger: s or u?
s
Let z = -1682 + 6763/4. Which is bigger: z or 8?
z
Let k = -7177604/11 - -653033. Let u = 523 - k. Let p = 1 + -3. Is p less than or equal to u?
True
Suppose -29 - 16 = 5*z. Let t(d) = -d**2 + 6. Let f be t(4). Is f greater than z?
False
Let y = -3 - -2.9. Let x = -2.6 - 0. Let c = x + 0.6. Is y >= c?
True
Let l be 33/77 + (-108)/203. Are l and -1 equal?
False
Let u = 4.55 - 1.97. Let y = -0.12 - u. Let l = y + 0.7. Which is bigger: 2 or l?
2
Let f be -25*((-88)/20 - -4). Which is bigger: 9 or f?
f
Let o = 2 + 0. Suppose -5*j + 10 = 0, 3*y + 2*j - 10 = 3*j. Suppose -y = -3*m + m. Is m smaller than o?
False
Let t(k) = 5*k + 15. Let g be t(-7). Is g smaller than -19?
True
Let z be -3*((-42)/9)/7. Is -8 < z?
True
Suppose 28 = 2*k - 3*h + 8, 3*k + 2*h = 4. Which is smaller: 0 or k?
0
Let c be ((-3)/(-4))/(1/8). Suppose -o = o + c. Do -3 and o have the same value?
True
Let h be (-4 - -27)/(155/12). Let s = h + -18/31. Which is smaller: s or 0?
0
Let d = -37 + 37. Let j = -26/5 + 161/30. Which is smaller: d or j?
d
Let l = 13.1 - 6.1. Which is greater: 1/4 or l?
l
Let l(z) = -z**3 + 6*z**2 - 5*z - 5. Let i(q) = q + 15. Let u be i(-10). Let g be l(u). Is -5 smaller than g?
False
Let i be (2/(-3))/((-18)/(-27)). Let v = 0.2 - 0.4. Which is bigger: v or i?
v
Let w be (-2 + (-11)/(-2))*-2. Is w at most -8?
False
Suppose -5*v + 2*v - 4 = -2*h, -4*v + 10 = 5*h. Let u(f) = -8*f + 1. Let z be u(2). Let d be (2/5)/((-12)/z). Which is greater: v or d?
d
Let t = -9 + 7. Suppose 3*f - 12 = 6. Let j = 4 - f. Is t greater than j?
False
Let i = 26 + -16. Suppose 0*k = 5*k + i. Which is smaller: -1 or k?
k
Let l be (-2)/(-9) - 4/18. Suppose s - 6*s + 15 = l. Suppose -2*v = s*v. Which is smaller: v or -2/3?
-2/3
Let o = -4 - 6. Is o greater than 2/9?
False
Suppose -14 = -y - 3*x + x, 0 = -5*x + 25. Which is greater: 10/3 or y?
y
Suppose 2*d + 5 = 15. Let m be (-17)/(-5) - 8/20. Which is smaller: d or m?
m
Let n(l) = l - 6. Let z be n(5). Let a be z/(3 - (-6)/3). Which is smaller: a or -1?
-1
Suppose 28 = a + 3*a. Is 7 != a?
False
Let q be (-1)/2 - (-18)/(-4). Let l = q + 5. Let j = -6 + 8. Is j >= l?
True
Let u = 1 - 1. Let y = -50 + 81. Let t = y + -123/4. Is t greater than or equal to u?
True
Let p(s) = -s + 10. Let u be p(10). Let o = -1 + u. Suppose 8 = -4*c - 0. Which is smaller: c or o?
c
Let d(f) = 2*f**2 - 6. Let y(k) = k**2 - 3. Let u(r) = -3*d(r) + 7*y(r). Let c be u(3). Let b be (-60)/(-63) - c/21. Is -1/2 < b?
True
Let c = -7/6 - -17/12. Suppose r - 2*q + 15 = q, -2*r - q = -5. Let w(d) = d - 1. Let i be w(r). Which is smaller: i or c?
i
Let m = -8.1 - -9. Let g = -0.1 + -0.9. Let b = m + g. Which is greater: -2/7 or b?
b
Suppose 2*z + 64 = -48. Does z = -56?
True
Let l = -55 - -88. Which is greater: 32 or l?
l
Let j = 11 + -6. Suppose 29 = 3*f - 4*q, -25 = -5*f - q + 3*q. Let v be 2 - 1/(f/j). Which is bigger: -1 or v?
v
Let n be (-36)/10 + 9/15. Let s = n - -3. Is 0 less than s?
False
Let k = 9 + -9. Let x = -4/239 + -673/2629. Is k at most x?
False
Let q(c) = c**2 - 5*c + 4. Let k be q(5). Suppose 0 = k*x - 18 - 2. Suppose x*o = 10 - 0. Which is bigger: o or 0.1?
o
Let x be 4/(-16) + 9/4. Let f = 0.75 - 2.75. Is x less than or equal to f?
False
Suppose 5*p + 3*q = -0 + 4, p - 12 = 5*q. Suppose 12 - p = 2*r. Suppose 0 = -2*u + g + 2, -r*g - 8 = -g. Which is bigger: 1/4 or u?
1/4
Let b = -28 - -22. Is b greater than or equal to 1/6?
False
Let u = -8 - -9. Which is bigger: 0.3 or u?
u
Let q be (-13)/((-3)/((-9)/3)). Let f = q - -12. Which is greater: -2/7 or f?
-2/7
Suppose 5*x - 55 = -3*m, -2*x = -4*m - 0*m + 4. Let v = x - 2. Is -1 less than or equal to v?
True
Let z = 6 - 4. Suppose -z = -3*s - 5*p, s + s + 3*p - 1 = 0. Is 0 less than or equal to s?
False
Let w = -1/15 - 1/3. Which is bigger: -2 or w?
w
Let q be 6/((-1*2)/(-2)). Suppose -2*r + 5*m = r, -4*r = 3*m - 29. Which is greater: q or r?
q
Let y = 24.6 + -51.4. Let v = -27 - y. Is 12 greater than or equal to v?
True
Let t(i) = 24*i - 22*i + 9*i - i**2. Let f(m) = 2*m + 3. Let j be f(4). Let u be t(j). Is u greater than 1?
False
Let d = -7/8 - -73/56. Let x be (-2)/(-4) + 3/(-6). Suppose 0 = -5*l - n - 3, x*l + 2*n = 3*l - 6. Which is bigger: d 