0.1 + f. Is g > q?
False
Let c = 1297/55 - 117/5. Let x be 4 - 6 - 1*-3. Do x and c have different values?
True
Let k = -6 + 4. Let l be -1 + 2 + k + -1. Let x = -7 - -6. Is x equal to l?
False
Let h be (1 + -2)*2/(-1). Suppose 0 = -2*u - h. Let l = -996/7 - -142. Is l at most u?
False
Let n = 29 + -23. Which is smaller: n or 4?
4
Let j(s) = 0 - 5 + 1 + 6*s + s**2. Let u be j(-6). Let h = -4 - u. Is h at least -5/4?
True
Let q = 2 - 4. Let v be 5930/1614 - (-2 + 5). Let l = 2/269 - v. Which is bigger: l or q?
l
Suppose 7*v = 2*p + 2*v - 26, 2*v = -p - 5. Which is greater: p or 1?
p
Suppose -4*g + g + 42 = 0. Let f be 21/g - 31/22. Which is bigger: 1 or f?
1
Let x = -21 + 22. Is 1/16 greater than x?
False
Let p(z) = 3*z - 1 - 8*z + 3 - z**2 + 0*z**2. Let v be p(-5). Suppose 2*f - 1 = m, -2*m + 17 = v*f - 5. Is 7 equal to m?
True
Let x be (-63)/(-120) - 2/5. Which is smaller: x or 2/3?
x
Let q = -2107/5 - -430. Which is bigger: 9 or q?
9
Let m = -6 - -5. Let t be m/(-6) + -4 + 3. Which is greater: t or 0?
0
Suppose 11*z = -4 + 15. Which is smaller: z or -7/23?
-7/23
Let o = 3 + -4. Let s be (o + (-6)/(-4))*4. Let f be (-10)/15 + 2/s. Is f equal to -1/4?
False
Suppose -3 = -w - 4*q + 2*q, -5*w + 22 = 3*q. Let i = 38 + -57. Let j = i - -19. Is w != j?
True
Let p(i) = -i - 3. Let t be p(-8). Suppose 0 = -3*k - k + 16. Let z = t - k. Is 0 equal to z?
False
Let p = -0.4 - 0.2. Let q = p + -1.9. Let f = -2 - q. Is f >= -1/3?
True
Let v = -0.1 - -1.1. Suppose -2*n + 233 = 5. Let u = -568/5 + n. Which is greater: u or v?
v
Let s(n) = 2*n + 4. Let i be s(-3). Let z be 52/(-10) - i/10. Let r be ((-6)/10)/(7/z). Which is greater: -1 or r?
r
Suppose 12 = -3*u - 0*u, -20 = -2*l + 2*u. Let a be (l/4)/(3/1). Let r = 1.1 - 1. Which is greater: a or r?
a
Let l(i) = -i**3 - i**2 - 2*i - 1. Let j be l(-1). Let g = 2.96 + 0.04. Which is smaller: j or g?
j
Let m = -96 + 199. Is m smaller than 103?
False
Let r(b) = -2*b + 7. Let s be r(6). Let l be 2/(-4)*s*1. Which is smaller: 4 or l?
l
Let o = -4 + 3.88. Let f = 0.12 + o. Which is smaller: f or 0.2?
f
Let q(p) = 2*p - 15. Let f be q(7). Which is greater: f or 1/5?
1/5
Let m(k) = -k - 5. Suppose -3*b - 6 = -3. Let c be 24/(b*3) + 2. Let z be m(c). Is 1 less than or equal to z?
True
Suppose 4*r + 4*s - 4 = 0, -7*r - 5*s = -4*r - 7. Is r > -14/37?
False
Let n be ((-10)/(-25))/(2/10). Suppose -1 = 3*u - n*u. Let l = -3 - -2. Is l less than or equal to u?
True
Suppose -4*s + 10 = -2. Which is bigger: 10/3 or s?
10/3
Let l(h) = h**3 + h**2 - 2*h + 2. Let d be l(2). Let v be (80/2)/(d/15). Let j be 23/v + (-2)/8. Is 0 greater than j?
False
Suppose -4*z = -3*z + 7. Let f(m) = m + 7. Let y be f(z). Is 0 greater than y?
False
Let l = -0.15 + -0.05. Let x be 120/(-126) - (-2)/3. Is l at least x?
True
Suppose -25 = -2*h + 5. Suppose 2*x = 3*s - 20, 5*x - s = -9 - h. Let b = -4 - x. Which is smaller: -3 or b?
-3
Let j(r) = r - 10. Let o be j(8). Is -5 less than or equal to o?
True
Let q = -10.15 + -0.85. Which is greater: q or -2?
-2
Suppose -4*q + 8*q - 4 = 0. Is q not equal to 17?
True
Let u = -0.118 - -0.048. Is 2 < u?
False
Suppose -100 = 5*x + 2*f, 5*x = 5*f - 19 - 46. Is -17 greater than x?
True
Let t = -58/105 + 4/15. Suppose 18 = -3*n - 2*s + 5*s, 3*n - 2*s + 13 = 0. Which is smaller: n or t?
n
Suppose 7*m = 3*m - 8, 0 = -4*h - 5*m + 10. Let z(t) be the first derivative of t**4/4 - 4*t**3/3 - 5*t**2/2 + 3*t - 2. Let d be z(h). Is 3/2 less than d?
True
Suppose -3*i = -i - 3*v - 19, 6 = -2*v. Suppose 0*z + i*z = -10. Which is smaller: z or -1?
z
Let o(r) = r**2 - 9*r + 8. Let b be o(9). Which is greater: 9 or b?
9
Let x = -1/198 - -157/4950. Which is smaller: x or 0?
0
Let k = 4 - 5. Which is smaller: k or -10/9?
-10/9
Suppose -9*a = -8*a + 15. Do a and -14 have different values?
True
Let x = -0.32 - -0.52. Is x at most as big as -0.03?
False
Let w = -0.48 + 0.36. Do -0.1 and w have the same value?
False
Let p = 9.938 - -0.062. Which is smaller: 0.1 or p?
0.1
Let o = 26 + -25.76. Let m = -1.24 + o. Which is greater: -20 or m?
m
Let u = -10 - -17. Suppose 7*d + 8 = 8*d. Which is smaller: d or u?
u
Let o = -1.067 + 1.12. Which is greater: o or 1?
1
Let r be (4/(-2))/(-3 - -2). Let p = r - 3. Which is smaller: p or 0?
p
Let i = -2 + 1.8. Does i = -1/4?
False
Let t be (3/20)/(6/(-24)). Which is bigger: -2 or t?
t
Let c be 2 - 2/((-4)/(-6)). Let y = 115/4 + -29. Is y at least as big as c?
True
Let j = -1.18 - -0.08. Let z = -0.5 - -0.4. Let c = z - j. Which is bigger: 0.1 or c?
c
Let f = -4 - -5. Is f less than -2/39?
False
Suppose 30 = -2*w - 12. Let t be w/(-3) - (-1 + 0). Which is smaller: 9 or t?
t
Let n = -183/5 + 179/5. Is n bigger than 0?
False
Suppose -2 + 20 = -d. Let b be 18*(-2)/d*3. Which is smaller: b or 7?
b
Let n = 55 + -45. Is n smaller than 0?
False
Let b = 132068/26845 - 290/59. Does -1 = b?
False
Suppose -10*d + 13 = -367. Which is smaller: d or 36?
36
Let g be (2 - 0) + 9 + 3. Suppose -2*n = n - 2*r + g, 0 = -2*n + 3*r - 11. Let d be -3*(-3)/(18/(-8)). Is n < d?
False
Let y be (-4)/3*(-3)/2. Suppose 3*g - y = 5*g. Which is smaller: g or -1/3?
g
Let g = -52 - -313/6. Is g less than 1?
True
Let o(c) = c**3 + 5*c**2 + 3*c - 2. Let g be o(-4). Which is smaller: -1 or g?
-1
Let m(q) = -7*q + 2. Let z(t) = -20*t + 6. Let x(b) = 17*m(b) - 6*z(b). Let v be x(4). Let l be (-21)/(-14) + (-5)/v. Which is smaller: 1/7 or l?
l
Suppose -3 = 3*f - k, 0 = -5*f + 2*k - 5*k - 5. Let z(m) = -m**2 + 3*m - 1. Let d be z(3). Let a be 0 + (1/(-5))/d. Which is smaller: f or a?
f
Let h(t) = -t**3 - 7*t**2 + 9*t + 8. Let u be h(-8). Let k be (-1 + u)*20/(-95). Which is greater: k or 1?
1
Let h = -1 + 1.6. Let x = 0.2 - h. Let c = x + 0.4. Which is smaller: c or -0.2?
-0.2
Let b = -17 + 9. Let y = b + -1. Let g = 9 + y. Is -2 greater than g?
False
Let n(y) = y**2 - 8*y - 1. Let j be n(6). Let l = -16 - j. Which is smaller: -1 or l?
l
Let x = 100 - 100.17. Is x greater than or equal to 2/7?
False
Suppose 7*t - 2*t = -c + 11, -c - 9 = t. Let n be -4*c*(-2)/180. Let q = -2/45 + n. Which is smaller: q or 0.2?
q
Let m = -0.11 + 1.51. Let z = -2 + m. Let f = z + 0.6. Is -0.4 at most as big as f?
True
Let m(g) = -g**3 - g**2 + g + 11. Let i be m(0). Let w = -11 + i. Let c = 46 - 233/5. Which is greater: w or c?
w
Let k(h) = h**2 - 4*h. Let a be k(3). Let n be (-43)/(-795) - a/9. Let q = n - -2/159. Which is smaller: q or 1/5?
1/5
Let v = 4 - 5. Which is greater: v or 2/19?
2/19
Let n be -3 + 0/1 - -1. Suppose 0 = 8*k - 13 + 21. Are n and k non-equal?
True
Let a be (-12)/(-75)*(-10)/4. Is a less than or equal to 0.29?
True
Let j = -31712/147 + 647/3. Which is smaller: 0 or j?
j
Let g = 20.2 + -23. Let l = -11.8 - g. Which is greater: -0.1 or l?
-0.1
Let y = -970 + 617. Let p be (y*(-4)/(-978))/6. Let g = -3/163 - p. Which is greater: g or 0.1?
g
Let h = 464/135 + 26/27. Which is greater: h or 3?
h
Let q = -0.14 + -4.86. Let g = 4.9 + q. Let m = -0.2 + 0.2. Does m = g?
False
Let i = -2 + 1. Suppose 2 = 7*j - 5. Suppose -3 = c - j. Which is smaller: c or i?
c
Suppose 9*j + 65 = 4*j. Which is smaller: -14 or j?
-14
Let q = 53 + -36. Suppose 2*z - 30 + 1 = 5*t, 0 = z + 3*t - 20. Are z and q unequal?
False
Let w = -28 - -40. Let o be (-3)/w + 7/(-4). Suppose 3 = 3*x + 2*x + 3*s, 3*x = -4*s + 4. Which is greater: o or x?
x
Let s be (4*1/8)/2. Is s greater than -1?
True
Suppose p - 4 = -0*p. Suppose 4*c = 16, 0 = p*r + 3*c - 14 - 2. Let h be 1*(-1 - (-4 + 2)). Do r and h have the same value?
True
Let i = 4 - 1. Let t = i - 3.1. Let m = t - -0.2. Which is smaller: m or 1?
m
Let u = -7 - -8. Let n = -0.2 + u. Let y = -0.8 + n. Which is smaller: y or 3?
y
Let h be (-2)/6 + (-49)/(-21). Suppose 5*u - h*u + 3 = 0. Suppose -4*z + 1 = -3. Which is bigger: u or z?
z
Let d = 0.3 - 0.29. Let h = 0.02 - 0.01. Let q = d - h. Is q at most as big as 0?
True
Let g = 0 + 0. Let p = 95 - 153. Let d = -293/5 - p. Is g < d?
False
Suppose 0 = -6*b + b + 20. Let w(d) = -b + 3 + 4 - 3*d. Let v be w(2). Which is smaller: v or -1?
v
Let o = -41 - -204/5. Are o and 8 non-equal?
True
Suppose -4*b + 4 = 2*k - 4, -3 = 3*k + b. Let c = -2 + -50. Let a = -209/4 - c. Do a and k have the same value?
False
Let o = -5.8 + 5. Let k = o + 0.9. Do k and 16 have the same value?
Fa