?
t
Suppose -22*x + 25 + 41 = 0. Let h = 0.5 - -2.5. Is x at most as big as h?
True
Suppose -6 = 4*l - 26. Suppose 3*h + 3 = -4*x + 5*x, l*x - 15 = -h. Suppose -2*q + 5*q = h. Is q greater than 0?
False
Let g(m) = m + 8. Let x be g(-9). Let t(y) = -2*y**3 + 2*y**2 - 1. Let c be t(x). Suppose c*b = -2*s + 7, -2*b - 2*s = 2*s - 2. Which is smaller: b or 1?
1
Let v = -6/11 - -35/44. Which is smaller: v or 0.5?
v
Let p = -0.06 - 2.94. Let l = 3.1 + p. Suppose -2*r - 6 = -0*r. Which is bigger: l or r?
l
Suppose -6*p + p + 35 = 0. Let t be -1*(p/2 - 3). Which is greater: -2/19 or t?
-2/19
Let a(u) = u**2 + 11*u - 10. Let l be a(-12). Let p be l - (-2 - -4) - -2. Is -1/5 greater than p?
False
Let w be 21/52 + (-1)/4. Suppose -2*z - 3*z = 55. Let i = 11 + z. Is w <= i?
False
Let f = -1 + -27. Let w = f - -28. Is 9/7 bigger than w?
True
Let r(f) = 3*f + 1. Let b be r(1). Suppose -x - b*x + 10 = 0. Let l = 0 + x. Is l less than 4?
True
Let p(i) = 8*i + 1. Let s be p(-1). Suppose -22 = w + 7*u - 2*u, -2*u = 5*w - 5. Suppose -b - 2 = -2*v, -w*b - 3 + 2 = -v. Are v and s nonequal?
True
Let g = 23 - 18. Which is smaller: g or 6?
g
Let s(r) = r**3 + 5*r**2 + 5*r + 3. Let d be s(-3). Let k = d - 4. Is 3 at least as big as k?
True
Let f(t) = t - 3. Let x be f(-3). Let c = -17 - -16.9. Which is smaller: c or x?
x
Suppose -w = -3 + 1. Suppose 5*y + 1 = r + 3*r, 4*y - w*r + 2 = 0. Let b = 1 + 0. Does b = y?
False
Let g(f) = f**3 + 11*f**2 + 13*f + 6. Let p be g(-10). Which is smaller: p or -25?
-25
Let y = 17 + -11. Are 7 and y unequal?
True
Let i = 3.2 + -3.45. Is -1/4 less than i?
False
Let c be (-28)/(-60) - 8/10. Is c less than -9?
False
Let i be 2*(141/(-35) + 4). Which is smaller: i or 1?
i
Suppose -6*a - 67 = 29. Is -16 bigger than a?
False
Let q be 1*(-2 - 9)*-1. Which is smaller: q or 13?
q
Let a(h) = h**2 + 6*h - 3. Let s be a(-6). Let q = s - -2. Let c = -45 + 45. Are c and q non-equal?
True
Let d = 0.35 + -0.35. Is -16 less than d?
True
Let x be 1 - 1 - 4/(-14). Let k = 11 - 9. Suppose 2*r + 8 = -3*b - 2, 10 = 2*b - k*r. Is x greater than b?
True
Suppose 0 = -3*o - 4*d - 0*d - 20, -4*d - 28 = 5*o. Which is bigger: o or -27/5?
o
Let u = 1 - 4. Is -3 bigger than u?
False
Let z = 26 - 26.5. Let t = -0.2 + -0.8. Which is smaller: z or t?
t
Suppose -4*j - c = -3*j - 6, 22 = 3*j + 5*c. Suppose -3*x - x + j*o = -4, 3*o = 0. Let b be (14/(-9))/(-2) + -1. Is b at least x?
False
Suppose 0 = -3*j - 15, 0*j + 5 = -3*s - j. Suppose -2*i + 2*p - 2 = 8, 0 = -4*i - 2*p - 8. Let k = 2 + i. Is k at most s?
True
Let j = 1 + -1. Is j > -1/11?
True
Let x be (12/(-15))/(1 - (-3)/(-5)). Which is greater: x or 0?
0
Let m(f) = 3*f**2 + 7*f + 2. Let u(g) = -7*g**2 - 15*g - 3. Let b(h) = -5*m(h) - 2*u(h). Let s be b(-4). Are s and 2 non-equal?
True
Let z = -4/53 - 33/265. Let k = -20 + 22. Which is smaller: k or z?
z
Let r = 6 + -3. Suppose -r*v = -8*v. Is v smaller than -1/21?
False
Suppose -k - 1 = -3. Suppose -k*h = -6, h = f - 0 + 2. Which is bigger: f or 3/5?
f
Suppose 0 = -2*r + 1 + 3, 3*x = r + 10. Let i be 2*1/60*x. Is i at most as big as 1?
True
Let a = -0.3 + 29.3. Are -1 and a non-equal?
True
Let b = 3.4 + -2. Is 2/5 not equal to b?
True
Let c = 3 - 1. Let m = -142/3 + 48. Is m smaller than c?
True
Let v = -0.63 + 0.03. Let t = v - -0.4. Let x be (-171)/(-38) + (-2 - -4)*-2. Is x at most as big as t?
False
Let p = -0.04 + 2.04. Is p < 1?
False
Suppose -36 = 13*p - 15*p. Do p and 17 have different values?
True
Suppose 0 + 3 = -3*x. Let n = -3898/7 + 556. Which is bigger: x or n?
n
Let y = -8 - -17. Let f be 2/y - (-77)/(-63). Which is bigger: -2/3 or f?
-2/3
Let s(t) = t**3 + 4*t**2 + 2*t - 2. Let x be s(-4). Let r = x + 14. Let u be (-1)/2 - 2/r. Which is greater: u or -0.1?
-0.1
Let l = 9.1 - 10. Let c = 1.2 + l. Is 1 < c?
False
Suppose 5*i = 3*b + 4, 3*i + 6*b = 2*b - 15. Which is smaller: i or -4/3?
-4/3
Suppose -4*x + 1167 = -161. Let c = -128717 + 770305/6. Let f = c + x. Which is smaller: -2 or f?
-2
Suppose -23 = 3*o + 1. Suppose 2*a - 7 = 3*a. Is a less than o?
False
Let p = 0.11 + -0.1. Let o = p + 0.05. Is o not equal to 0.1?
True
Suppose 3*w + 4 - 37 = 0. Let g be -3 - (-3)/(9/w). Is 0 at least as big as g?
False
Let q be ((-30)/9)/(1/3). Let t = -12 - q. Are -2 and t unequal?
False
Let t = -84 + 85. Is 20/9 at least t?
True
Let w = 7 - 0. Let r = w - 4. Is 0.2 less than or equal to r?
True
Suppose -2 = -2*i + 2. Let b = 4/131 + 643/393. Is i not equal to b?
True
Let j = 0.033 - 0.233. Is j > 3/4?
False
Let d = 20 + -10. Let t = 9 - d. Which is bigger: t or 2?
2
Let w = -18 - -107/6. Suppose 0 = x + q + 4, -4*x + 1 = 2*q + 7. Let d = x - 0. Which is smaller: d or w?
w
Let p = -7 - -11. Let v = -8 + p. Which is smaller: 1 or v?
v
Let u be ((-1)/(-5))/(8/(-40)). Suppose 11 = -3*p - 5*t, -1 - 3 = p + 2*t. Let w be ((-3)/(-2) + p)*0. Is w < u?
False
Let f = -6 - -10. Let n be (2/f + 0)*-1. Suppose x = -4*x. Which is bigger: x or n?
x
Let f = 3 + -3. Suppose 3*n - k + 8 = 0, -n - 3*k + 14 = -f*n. Do -2/5 and n have the same value?
False
Let n be (-1)/(((-2)/4)/(-1)). Let f(c) be the third derivative of -c**6/120 - c**5/30 + c**3/6 + 8*c**2. Let p be f(n). Is p >= 5/4?
False
Let j = 10 + -10.1. Let m = -26 + 23.9. Is m at most j?
True
Let r = 7.8 + -6. Let f = 23 + -23.8. Let p = f + r. Which is greater: 0 or p?
p
Suppose -3*f - 2*i = -0*f + 1, -4*f + 3*i + 10 = 0. Suppose n - 2 = f. Are n and 5/3 nonequal?
True
Let o = -3.18 + 0.08. Let p = -0.5 + -2.5. Let w = p - o. Which is smaller: w or -1/4?
-1/4
Let m be ((-2)/10)/(2/26). Let b = -173 - -171. Which is smaller: b or m?
m
Let s(w) = 6*w**2. Let j be s(1). Which is greater: j or 4?
j
Let q = 1.11 - 0.11. Let k(p) = -p**2 + 11*p - 14. Let d be k(10). Is d less than or equal to q?
True
Let g(b) = b**3 - 4*b**2 + 3*b - 3. Let u be g(2). Let k(a) = a - 25. Let j be k(26). Is u not equal to j?
True
Let r be (-50)/180*20/(-75). Let t = 1 - -3. Suppose 3*k - 3*u = -9, -2*u - 3*u = -t*k - 14. Does k = r?
False
Suppose 3 = -2*u + 5*u. Is -2/7 less than or equal to u?
True
Let i(q) = q**3 + 5*q**2 + 6. Let r be (-10)/(-4)*(-2)/1. Let c be i(r). Is 5 <= c?
True
Let j be (-2 - -3)*(-1)/1. Let y be j/(-2)*(-2 + 4). Let i be (-10)/104 + (-2)/(-8). Which is smaller: y or i?
i
Let c = 36 + -36. Which is smaller: 1 or c?
c
Let f = 1 - -8. Let k = 11 - f. Which is smaller: -2/11 or k?
-2/11
Let j(c) = -c**2 - 11*c - 5. Let u be j(-10). Suppose 3 = 3*y - d, -3*y + y = u*d - 2. Do y and -1/6 have the same value?
False
Let h = 89396168/461 + -93358009811/135534. Let k = h - -494899. Let f = 3/49 + k. Do f and 1 have different values?
True
Let s = 116/9 - 4310/333. Which is smaller: -1 or s?
-1
Let c = -23 + 15. Which is smaller: 0.1 or c?
c
Suppose 0*p = 5*r - p - 75, 2*r - 30 = -3*p. Let k be ((-5)/r)/(2/4). Which is smaller: k or -1?
-1
Let x = -9.9 + 1.9. Let c = 9 + x. Which is smaller: c or 0?
0
Let g be (109294*(-46)/(-28))/(-1). Let s = 179845 + g. Let n = s - 290. Which is smaller: n or 0?
0
Suppose -13 = -5*l - 3. Let u be 81/15 - (-4)/(-10). Suppose 4*j + 12 + 4 = 5*m, j - u = -m. Is j > l?
False
Suppose 5*t = 4*o - 9*o + 20, 3*t = 9. Is -25 at most as big as o?
True
Suppose -17*w - 444 = -21*w. Which is bigger: 112 or w?
112
Let n(l) = l**2 + 3*l - 5. Let d be n(-5). Suppose -3*a + 0*t - 11 = -2*t, 0 = -d*a - t - 27. Let p(k) = -k**2 - 2*k + 3. Let u be p(-4). Is a smaller than u?
False
Suppose 3*c + t - 4 = 0, 0 = 3*c + 2*c + 4*t + 5. Suppose -3*m = -3*d - 5*m, -5*m = c*d + 9. Suppose -6*h = -4*h - d. Which is smaller: h or -0.1?
-0.1
Let v = 1.7 - 1. Let j = 4.7 - v. Let d = j - 4. Do d and 2/7 have different values?
True
Let u = 9314/33 - 282. Is -1 smaller than u?
True
Suppose -3*q = 15 + 3. Let w = 6 + q. Is 4/5 less than w?
False
Let j(a) = -a**3 + 6*a**2 - 2. Let g = 3 - -3. Let b be j(g). Let l be (-7)/(84/(-20)) - 22/6. Is b smaller than l?
False
Let b be (28/(-21))/((-1)/6). Suppose -3*q - b + 11 = 0. Is 1/7 greater than q?
False
Let p = 8293/9 - 925. Which is smaller: p or -5?
-5
Let d be (3 + -2 - -1) + -1. Suppose 31 = -3*f + d. Let z be (-26)/f + -2*1. Is z smaller than 2?
True
Let d = 3.2 + -1.2. Which is greater: -1 or d?
d
Let z = -0.01 - -0.01. Let r = 4 - -1. Let i = 3 - r. Which is greater: i 