b have different values?
True
Let g = -1.3 + 1. Let r = -3/5 + 2/5. Which is greater: g or r?
r
Let m = 0.42 - 0.02. Let k = -0.6 - m. Which is smaller: -0.2 or k?
k
Let h = -118 - -117.99. Let p = -3 - -3.01. Let i = p + h. Which is bigger: i or -1?
i
Let r(z) = -4*z - 21. Let l be r(-5). Which is bigger: 1/16 or l?
1/16
Let b = 16 + -25. Let o = 8 + b. Which is greater: -1/10 or o?
-1/10
Let x = -7 - -5. Let t(j) = 4*j**3 + 2*j**2 + 3*j - 1. Let i(r) = -r**3 - r**2 - r. Let n(g) = 5*i(g) + t(g). Let s be n(x). Is 0 <= s?
False
Suppose -3*g = -3 - 21. Suppose -g*l = -3*l + 20. Let h be (-72)/154 - l/14. Is -1 bigger than h?
False
Let j(i) = i**2 + 12*i - 5. Let x be j(-11). Does x = -15?
False
Let v(d) = -32*d**2 + 1. Let r be v(-1). Let m be (r/35 - -1)/2. Is m greater than -1?
True
Let m be (0 - (-1 - -3))/(-2). Let k(y) = -y - 8. Suppose -21 = 5*z + 24. Let v be k(z). Is m at least v?
True
Let i = 443/7 - 63. Let f(x) = x**3 + 2*x**2 + 2*x - 1. Let t be f(-2). Let k(w) = w**3 + 6*w**2 + 4*w - 6. Let n be k(t). Is i smaller than n?
False
Let c = 0.2 - 0.11. Let w = c - -0.01. Which is greater: w or 0.04?
w
Let j = 10 - 10. Suppose 3*y = -l + 6*l - 2, -l - 3*y + 4 = j. Is -3/7 less than l?
True
Let m be 2/4 - (20/(-5) + 4). Is -37 not equal to m?
True
Let w(b) = -b**3 - 18*b**2 - 17*b - 5. Let k be w(-17). Is k > -5?
False
Let l = -17 + 18. Suppose 0 = 2*k + 1 - 17. Let m be (-2)/k - 1/(-12). Which is smaller: m or l?
m
Suppose -2*a + 2 = -3*a. Let v be 964/(-7) + (-2)/a. Let o = v + 137. Is o greater than 0?
True
Let d = -18 + 11. Suppose 0 = 4*j + 16, -r - 4*j = j + 28. Does d = r?
False
Let x be 2/8 + (-22)/24. Suppose g + 4 = 3*g. Suppose -k - g*y - 13 = 4*k, 12 = -3*y. Which is greater: k or x?
x
Let w be 12/(-5)*(56/46 + -1). Is w bigger than -1?
True
Let u be (-27)/(-6)*(-24)/(-9). Let c be 5/(-2 + 3 - 0). Suppose 4*n + 1 = 17, -c*y = 3*n - u. Is y not equal to -1?
True
Suppose -4*n + 2*s + 38 = 0, -4*s - 44 + 16 = -4*n. Which is smaller: 11 or n?
11
Suppose 2 = g - 0*m + 2*m, -3*g + 4 = 4*m. Suppose 5*r = 2*r - 3. Which is bigger: r or g?
g
Suppose 10*p = 7*p - 396. Let c = -662/5 - p. Which is bigger: -4 or c?
c
Let l be (-4)/10 + 292/5. Let z = 5857 + -28993/5. Let t = z - l. Which is bigger: 4 or t?
4
Let r = -1/10 - -7/20. Which is smaller: -13 or r?
-13
Let z be ((-2)/(-4))/((8/(-592))/1). Is z < -37?
False
Let m = 49/4 + -139/12. Let v(p) = -p + 2. Suppose 2*s + 2*s = 0. Let t be v(s). Which is bigger: t or m?
t
Suppose 0 = -4*w + 2*w + 10. Suppose 0 = 4*t - 3*s - 21, 6*s = -w*t + s + 35. Which is smaller: 5 or t?
5
Let g be ((-9)/2)/(9/(-18)). Let n be 7 - g - (-3)/(-1). Is n < -6?
False
Let d be 0 - (48/(-28) - -2). Which is smaller: 0 or d?
d
Suppose 0 = -5*p - 4*m - 62, p + 2*m + 17 = 7. Which is smaller: -25/2 or p?
p
Suppose -5*h = -0*h - 10. Suppose 0 = h*j + 2*j - 16. Do 3 and j have different values?
True
Suppose 3*b + 5 = -0*q + 2*q, q - 5 = 2*b. Let l(u) = -u**2 - 6*u - 6. Let m be l(q). Which is bigger: m or -1/5?
-1/5
Let g = 1076/7 - 154. Let v = -3.1 - -3. Which is smaller: g or v?
g
Let l be -14*((-3)/(-2) + 0). Let i be l/(-18)*27/42. Is 2 less than i?
False
Suppose -2*i = -i + 1, 2*r + 4*i = 6. Suppose -2*q + 10 = -2*a, -r*a = -0*a - 2*q + 16. Let f(l) = l**3 + 4*l**2 - 6*l - 7. Let c be f(-5). Is a equal to c?
True
Let o(i) = -i**3 - i**2 - i - 8. Let x be o(0). Let h be 2/(-4) + (-22)/4 + -2. Is h bigger than x?
False
Let t = 3 + 2. Let y = t - 5. Is 0 at most y?
True
Let m(k) = k**2 - 13*k + 28. Let q be m(9). Is q bigger than -8?
False
Let h(i) = -i - 11. Suppose -5 - 9 = x - 5*q, 0 = 4*x - 3*q + 39. Let p be h(x). Let c be (-3*1)/(-1 - -2). Which is greater: p or c?
p
Suppose 0 = f + 3*r + 8, -20 = 4*f + 2*r + 12. Are f and -11 equal?
False
Let a(x) = 3*x - 2. Let z be a(3). Let t = z + -9. Which is bigger: t or 0.2?
0.2
Let d = -0.1 + 0. Let q = -1.1 - d. Which is smaller: q or -4?
-4
Let h = -2.449 + 0.049. Does 1 = h?
False
Let b = -0.2 - 0. Which is greater: b or -0.1?
-0.1
Suppose 0*a - a = 0. Suppose 3*z = -4*p + 10, z + 3 = 5*p - 0*z. Let m be 2*(-2)/(-4*p). Is m bigger than a?
True
Let j = 2 - 2.4. Let t = 0.5 - 1. Let m = j - t. Which is greater: m or -2/3?
m
Suppose 0 = -5*i + i - 4. Are i and 2 equal?
False
Let f = 7.7 + 0.3. Let g = f + -5. Let b = -3 + g. Which is smaller: -1/4 or b?
-1/4
Let r be (5 + -1)/(44/6). Which is bigger: -4 or r?
r
Let u = -52 + 37. Let q = u + 17. Do -0.2 and q have different values?
True
Suppose 0 = -5*z - 25, 0*z - 24 = y + 5*z. Which is bigger: -1/70 or y?
y
Let z = 144 - 1304/9. Let w be (-5)/(-15) + (-31)/18. Let p = w - z. Which is bigger: p or -1?
p
Suppose 5*n - 12 = 9*n. Which is greater: -9/5 or n?
-9/5
Suppose 4*g = 3*t - 17, -5*t - 2*g - 30 = 3*g. Let f be 2 - 2 - 2/(-27). Is t != f?
True
Let i be (-11 + 16)*84/10. Suppose i = 5*q - 4*l, -3*q + 0*q + 6 = 4*l. Which is bigger: q or 4?
q
Let c = -179/33 + 1391/297. Let i be 12/(-189)*(-21)/18. Let a = c + i. Are -1 and a non-equal?
True
Let f(v) = -v + 14. Let n be f(10). Let c = -8 + n. Is -4 at most c?
True
Suppose -4*i + 7 + 1 = 0. Let k(b) = 4*b + i - 3*b + 0*b. Let t be k(-1). Is t greater than -1/7?
True
Suppose -2*f = -5*p - 174, 5*f - 3*f = 4*p + 170. Let v be (-3)/14 + (-22)/f. Is 0.08 at least v?
True
Let a = -4 - -3. Let c = a + 1. Let t = 12/5 + -53/20. Is t less than or equal to c?
True
Let t = 16.85 - 17. Let f = t - 0.15. Are 4 and f non-equal?
True
Let y = 0.5 + -0.5. Which is bigger: -2/3 or y?
y
Let i = 9 + -13. Does i = -3?
False
Let v be ((-1)/(-3))/((-13)/54). Let n = 165/91 + v. Let y(x) = x**2 - 8*x. Let d be y(8). Which is bigger: d or n?
n
Let o = -0.1 - 4.9. Let b = o + 7. Is b greater than 2?
False
Let q = 447 - 445. Suppose 3*g = -g + 12. Which is greater: g or q?
g
Let k = 4 - 2. Suppose 0 = k*t - 4*t. Is 2/27 greater than t?
True
Suppose -c - 4*c = -10. Which is bigger: c or 5/3?
c
Let f be -1 + 1 - (-1 + 8). Let i = 4 + f. Is i at least -4?
True
Suppose 12 = 2*n - 5*d - 12, 0 = -3*n + d + 23. Suppose 2*c + 34 = 2*m + 10, -c = -3*m + 28. Which is smaller: n or m?
n
Let i = 7 + -1. Let b = i + -10. Let o = -12 + 8. Is b < o?
False
Let a(r) = 4*r**3 + r**2 + r - 1. Let d be a(1). Are 4 and d equal?
False
Let r be ((-116)/(-16))/(3/12). Suppose -1 = -o + 2*b, o - 5*o + 3*b + r = 0. Is o equal to 11?
True
Suppose -3*k + 6*k - 24 = 0. Suppose 3*w - w = -k. Do -6 and w have the same value?
False
Suppose -3*u - 2*j = 18, 0 = 4*u + 7*j - 2*j + 31. Let n(q) = -2*q**3 - 7*q**2 - 5*q + 2. Let c be n(u). Let l = c - 229/6. Which is greater: l or 0?
0
Let f = -9 + 4. Suppose -x = -0*x + v + 10, 5*x + 2*v + 35 = 0. Let z = f - x. Which is smaller: z or 5/4?
z
Let v be 8*((-6)/4 - -1). Let l be -6 - (-3)/((-6)/v). Let w = l + 1. Does -1/4 = w?
False
Suppose -o + 31 = -19. Do o and 49 have different values?
True
Let c = -11648/3 - -3848. Let o = c - -35. Suppose 3*m = -5*v + 17, -m - 2*v - v = -11. Is m greater than o?
False
Suppose -3*y = 3*f + 8 + 7, 5*f + 32 = 2*y. Is f > -4?
False
Let j = 196 - 789/4. Do j and -1 have the same value?
False
Suppose 4*t + 3*f = 2*t + 35, -3*t + 4*f + 44 = 0. Which is bigger: t or -1/2?
t
Suppose -4 = 2*a + 2*a. Let i(t) = -t + 34. Let q be i(0). Let w be q*(-4)/40 - -3. Which is smaller: w or a?
a
Let c(o) = -2*o - 2. Let n be c(-4). Let b = n + -7. Is b > -3/10?
False
Let z(r) = r**3 + 3*r**2 - 6*r - 4. Let y be (-12)/(-30)*-1*10. Let d be z(y). Which is greater: d or 5?
5
Let g = 17 + -28. Suppose -3*z = 9, 3*v - 4*z + 28 = -v. Does g = v?
False
Let t be (1 - -1 - 3)*1. Which is smaller: 2/7 or t?
t
Suppose -24 = 4*o + 2*w, -2*w - 1 = o + 2. Which is greater: -9 or o?
o
Let h = 36 + -18. Let w(n) = n + 2. Let q be w(5). Let b be -1 - (-3)/h*q. Is -1 smaller than b?
True
Suppose -6 = -5*z + 4. Suppose 0 = z*n + 3*n + 5. Let s be (-6)/(-27) - (0 - 0). Which is greater: s or n?
s
Suppose 2*i = 4*b - 94, -4*i - 104 = -3*b - b. Is b less than or equal to 21?
True
Let u = -7 + 11. Suppose k + u*k + 5 = 0. Which is greater: 3/10 or k?
3/10
Let i(y) = -y - 2. Let n be i(9). Let g = 15 + n. Let h = -5 - -10. Is h > g?
True
Let g = -19 - -16. Which is smaller: -2 or g?
g
Suppose -k + 6 = g + 4, 4*k = -2*g + 2. Suppose -8 = f - 2. Let w = f + g. Which is small