 d have the same value?
False
Let f = 6 + -7. Let i be f + (36/2 - 2). Let z be (-5)/i + (-22)/6. Which is greater: -3 or z?
-3
Suppose -2*a + 4*a = -3*d + 260, 4*a = -20. Which is greater: 92 or d?
92
Suppose -2*o + 15 = 5*c, 5*o - 14 - 12 = -c. Let v be c/(0 + -2 + 9). Is -0.1 > v?
False
Let f(c) = -c**3 + 3*c**2 - 2*c + 2. Let q be f(2). Suppose -14 = q*i - 0*i. Is i greater than or equal to -7?
True
Let l be 1 + 0 + 0 + -2. Let h = -4 - -6. Let a = 1 - h. Are a and l equal?
True
Let u = 0.21 - 4.21. Which is smaller: u or -2/7?
u
Let c = 58 - 26. Which is greater: c or 31?
c
Let x(q) = -2*q**2 - 1 + 4*q**2 - q**2 + 6*q + 2. Let j be x(-6). Is j != 0?
True
Let i be -5 + 2 + 2 - 0. Let t(f) = -f**3 + 8*f**2 - 7*f + 5. Let w be t(7). Let a be ((-8)/20)/(9/w). Which is smaller: a or i?
i
Suppose 0 = 5*m - 3 - 2. Let j = -4086663062/1547 + 2641670. Let y = j - -2/221. Is y greater than m?
False
Let g = -16 + -8. Suppose -2*t = 2*t + 40. Let h be g/t - 2/5. Which is smaller: h or 1?
1
Let d = 125 - 126. Is -0.2 at most as big as d?
False
Let m(x) = x**3. Let t(w) = 5*w**3 - w**2 + w. Let r(f) = -6*m(f) + t(f). Let s be r(0). Is s greater than -1/3?
True
Suppose -3 = 2*w - 3*w. Suppose -3*h + 2*p = -5, -2*h + h - 3 = -w*p. Suppose h*m = -2*d + m - 2, 2 = -2*d - m. Is d <= -1?
True
Let s = 15 - 14. Suppose -4*a + 19 = -s. Is a < 4?
False
Let d be (-5)/15 - (-34)/(-24). Let u = d + 3. Is u >= -1?
True
Let c = 66 + -36. Suppose 2*k + c = k - 5*m, -k + m - 18 = 0. Let w be ((-2)/(-4))/(5/k). Which is greater: 0 or w?
0
Let y be (14/4 - 1)/(-2). Let h(m) = 22*m - 242. Let r be h(11). Is y greater than or equal to r?
False
Let u(a) = a**3 + 3*a**2 - 4*a + 2. Let q be u(-4). Let i = -1.98 - -2. Let r = 0.22 - i. Which is smaller: r or q?
r
Let d = 2.98 + -2.8. Let q = -0.32 - d. Which is bigger: q or 2?
2
Let c = 2 - 5. Let k = -1 - 0. Let r = k + c. Do -2 and r have different values?
True
Let i be 2/6 - (-8)/12. Let u = i + 3. Suppose -u*v + 5*v + 1 = 0. Which is greater: v or -3/7?
-3/7
Let r = -5/37 + 138/1295. Which is bigger: r or 0?
0
Let t = -568/15 - -206/5. Let u = -2 - -4. Is u <= t?
True
Let b(q) = q + 6. Let a be b(-7). Let j(w) = 6*w - 2*w**2 - 1 + 3*w**2 - 6. Let p be j(-7). Is a greater than or equal to p?
False
Suppose 7*c = c. Which is greater: -10 or c?
c
Let h = -1.6 - -2.1. Let l = 0.3 - h. Is 0 != l?
True
Let w(u) = 1 - u**2 + 4*u - 3*u**2 + 3*u**2. Let x be w(5). Let h = 5 - 8. Are x and h unequal?
True
Let j = -6 + 11. Suppose -2*l = -j*l. Is 1 greater than l?
True
Let u = -3.885 - 0.015. Let j = -0.05 - 3.95. Let f = u - j. Which is smaller: -0.1 or f?
-0.1
Let u = 0.1 + -1.1. Which is bigger: u or -4?
u
Let y = -1/28 - 1/4. Let c(p) = -p**2 + 14. Let z be c(0). Let h = 16 - z. Is h at least as big as y?
True
Let v be 6/5 + (-4)/20. Which is bigger: v or 26/17?
26/17
Let p be 15/(-50)*194 - (-1)/5. Is -58 equal to p?
True
Suppose -5*j + 4 = 3*m, 5*m + 3*j = -7 + 3. Let o be 3*-1*m/(-15). Is o less than -1?
False
Let c(v) = v**3 + 4*v**2 + 4*v + 3. Let m be c(-3). Suppose m = 5*t - 10*t. Suppose -5*q = 4*n - 11, t*n + n = 4*q - 13. Is n > -1?
False
Let m(y) = -y**3 + 5*y**2 - 2*y - 4. Let x be m(3). Let k be (9/2)/(1/2). Which is smaller: k or x?
x
Let t be (-1)/3 - 53/(-33). Let q be ((-4)/(-9))/(22/(-30)). Let r = q + t. Which is smaller: 2 or r?
r
Let f = 4 - 4. Suppose -3*u + 15 = -2*j, 0*j - 3 = -j - 2*u. Which is smaller: j or f?
j
Let n = 0.2 - 0. Let i = 0.3 - n. Let f = 1.1 - i. Which is bigger: -4 or f?
f
Let h(g) = -g**2 + g. Let l be h(2). Let c be ((-1)/l - 2)/6. Let z = -0.9 - -1. Which is smaller: z or c?
c
Suppose 4*a = 61 + 55. Which is greater: 89/3 or a?
89/3
Suppose -7*u - 25 - 101 = 0. Let l = 20 + -37. Which is smaller: u or l?
u
Let k(d) = -d**2 + 15*d - 18. Let z be k(14). Let b = -1 - -3. Suppose -b*q = -0*q + 10. Which is smaller: q or z?
q
Suppose 3*n = -8 + 2. Let b = 0.43 - 0.03. Which is smaller: n or b?
n
Suppose -2*r = -0*r + r. Which is bigger: r or 1.2?
1.2
Let x = 262/21 + -78/7. Is 0 at most x?
True
Let v(p) = -4*p - 1 - 2 + 2 + 3*p. Let g be v(6). Do g and -8 have different values?
True
Let w = 194/345 + -16/23. Let g = 8 - 7. Which is bigger: w or g?
g
Suppose 5*a - 1 = 4*a. Let o = 22/1311 - -4/57. Which is bigger: a or o?
a
Let s = 0 + 0. Let b = -31 + 127/4. Let d = b - 3/20. Are s and d nonequal?
True
Let f be (2 - (-8)/(-10)) + -2. Which is greater: f or 0?
0
Let o = -10 - -10. Suppose 5*w - 5 = -o. Are w and 5/8 nonequal?
True
Let t be 1 + (2 - (0 + 3)). Which is smaller: 7/5 or t?
t
Let l = -0.02 - 1.98. Let k be 1/((-9)/10 - -1). Let p be (-15)/k*2/(-12). Is l > p?
False
Let d = 0.37 - 0.67. Is -6 <= d?
True
Let x = 276 - 277. Let y be -1*2*(-1)/(-22). Which is smaller: y or x?
x
Let k = 193692/3236783 - 1/30974. Let q = 1/22 + k. Which is greater: q or -1?
q
Suppose 11 = -l + 13. Suppose 0 = 4*c - 4*o + 12, 0 = c - l*o + 4*o - 12. Let b = 3 - 4. Which is smaller: b or c?
b
Let x(d) = -d**3 + d**2. Let i = 4 + -3. Let r be x(i). Let a be (-1 - -1)/(2 + 1). Are a and r nonequal?
False
Let b(k) = -5*k + 9. Let v be b(6). Are -21 and v non-equal?
False
Suppose 3*i + 4 = -20. Let c = -14 - i. Let t be 8/c*(1 - 4). Which is smaller: t or 3?
3
Suppose 4*x + x - 30 = 0. Suppose 3*m + 0*m + x = 0. Let c = 53 - 161/3. Which is smaller: m or c?
m
Let i = 13/3 + -85/21. Let p = 1.7 + -2.6. Let z = p + 1. Which is greater: z or i?
i
Let y(o) = -o**3 + 4*o**2 - o + 3. Let j be y(4). Suppose g - 6*g - 10 = 0. Let l be 2/8 + g/24. Which is greater: j or l?
l
Suppose -4 + 8 = q. Is 5/2 at least q?
False
Let x = 2 + -3. Suppose 2*n - 5*n - 6 = 0. Let l be n + (-40)/(-14) - 1. Are l and x non-equal?
True
Let x(t) = -t - 6. Let y be x(-3). Let v be ((-6)/(-9))/((-6)/27). Are y and v unequal?
False
Suppose 0 = -5*o - 38 + 13. Let a be 10/(-15)*((-63)/2)/(-3). Which is greater: o or a?
o
Let i = 0.11 - -1.89. Which is smaller: -2 or i?
-2
Let b = -0.3 + 0.3. Is 1/2 at least b?
True
Let f = -15.82 + -0.18. Let d = f + 16.3. Is 1/2 < d?
False
Let n = -0.0089 + -5.8811. Let x = -0.11 + n. Let g = -45/2 - -22. Which is greater: x or g?
g
Let n = 499 - 2483/5. Do n and 3 have different values?
True
Let q = -1085/2 + 512. Let m = -30 - q. Which is smaller: 1 or m?
m
Let t be (-4)/((-28)/15) + -2. Let x be (-1)/(-2)*-2 - 2. Let o(r) = r**3 + 4*r**2 + 2*r - 2. Let a be o(x). Which is greater: t or a?
a
Suppose -2*o - 2 + 8 = 0. Let n(s) = s**3 - 4*s**2 + s + 2. Let c be n(o). Is c <= -5?
False
Let y = 144 + -716/5. Is y bigger than 1?
False
Let k be 97/(-255) + (-10)/(-25). Are k and 1 unequal?
True
Let k be 0/(-5*1/(-5)). Is -4/5 greater than k?
False
Suppose -5*c + 3 = -2. Suppose -4*h + h + 6 = 0. Let p = h + c. Is p > 3?
False
Suppose -4*f - 4*z + 36 = 0, -2*f + 4*z = f - 41. Is f less than or equal to 13?
True
Let y = 0.7 - 0.2. Let u = -2 - -2.1. Which is smaller: y or u?
u
Let o = -17/72 - 1/72. Are -5/13 and o nonequal?
True
Let k = 13 + -9. Suppose -u = -7 + k. Suppose t = 5*c - u, 6 = 2*c - t + 3*t. Is c bigger than -2/11?
True
Let x = -17 - -20. Is 30/17 less than or equal to x?
True
Let s be ((-3)/2)/((-3)/4). Suppose -3*t = -5*t - s. Suppose -r - 10 = 4*r. Which is bigger: t or r?
t
Suppose 7 + 2 = 3*w. Suppose w*k + 2 = 5. Is k greater than or equal to -2/5?
True
Let h = -16 + 15. Are h and -1 nonequal?
False
Let b be (12/(-3))/(-4)*0. Let q = -146 - -1024/7. Is q less than b?
False
Let h be (6/21)/((-2)/(-7)). Which is smaller: 4/13 or h?
4/13
Let w(j) = -22*j + 22*j - 5 + j**2. Let i be w(3). Which is smaller: 7 or i?
i
Suppose 2*t - 4 = -3*k + 15, -3*k + 2*t - 1 = 0. Let c = 4 - 1. Let p = k - c. Which is smaller: p or 2?
p
Suppose -3*f = -f - 8. Is f > 0.1?
True
Let j(z) = -z**3 + 6*z**2 - z + 6. Let p be j(6). Are p and 0 non-equal?
False
Let h = 7 + -5. Let x = 1879/9 - 209. Which is smaller: h or x?
x
Suppose 6*t - 2*t = 4*w + 4, 6 = 2*t. Let c be ((-2)/6)/(2/(-4)). Is w less than or equal to c?
False
Let y be (-244)/714 - (-9 + (-260)/(-30)). Which is bigger: y or -1?
y
Let q = -45 - -35. Which is bigger: q or -6?
-6
Suppose -27*x = -28*x + 1. Is x at least as big as -24/11?
True
Let q be 0/2*1/3. Which is smaller: q or 9?
q
Suppose 0 = -5*m - 2*z - 12, 2*m + 12 = 3*z - 8. Let x be 3/m -