-40) + m/15. Suppose -3*i + 0 - 5 = -2*z, -i = -2*z + 7. Which is greater: t or i?
i
Let b = -8 + 6. Let m(d) = d**2 - 5*d - 5. Let j be m(6). Let t = j + 0. Which is smaller: t or b?
b
Suppose -2*g = 3*t - 0*g - 371, -t + 4*g + 105 = 0. Are 121 and t equal?
True
Suppose -5*w + 5 = -25. Let m(z) = z**3 + 8*z**2 - 9*z - 6. Let c be m(-9). Let k be (w/(-14))/(9/c). Are 0 and k equal?
False
Let t(b) = -b**2 - 7*b + 10. Let i be t(-12). Which is smaller: i or -51?
-51
Let q be -258*14/(-2864) - 2. Let b = 2/179 - q. Is b smaller than 2?
True
Let a = -3/35 + 117/140. Let y be 80/14 - (-6)/21. Suppose 0 = 2*p + 5*b + y - 23, -5*b + 10 = -5*p. Which is smaller: a or p?
a
Suppose 0 = -2*w - 4, 6 - 4 = 3*m - w. Which is smaller: 2/15 or m?
m
Let l = 18 + -18. Which is bigger: 6 or l?
6
Let j be 1/(13/2 + -2). Suppose -1 - 3 = -4*u. Which is smaller: j or u?
j
Let n be (-13)/6 + (-6)/(-9). Let t = -2 - -4. Suppose -2*b - 8 - 10 = 5*c, 0 = -t*c - 5*b - 24. Which is bigger: c or n?
n
Let m = -45 + 20. Does -1 = m?
False
Let a = -36 + 50. Let y = a + -5. Which is bigger: y or 0?
y
Suppose 4 = w + 3*w. Let y be w*(-1)/3*-1. Is 0 bigger than y?
False
Let i = 3 - 4. Let x = 5.94 + -6. Let q = -0.09 - x. Is i at least q?
False
Let y = 1.6 + 0.4. Let g = 1.1 + -1. Let z = 0.2 - g. Which is smaller: z or y?
z
Let z(o) = o - 3. Let h be z(4). Let l = h - -1. Suppose -5 = l*k + 11. Are -8 and k unequal?
False
Let t = -33 + 42. Which is bigger: 1 or t?
t
Suppose -1 = 4*v - 9. Let s be ((-987)/v)/((-99)/(-12)). Let f = 60 + s. Is -1 at least as big as f?
False
Suppose -4*p + 0 = -204. Are p and 50 nonequal?
True
Let t be (3/12 + 51/(-12))/1. Let m(v) = -v**3 + 4*v**2 - 2*v + 5. Let i be m(4). Are i and t unequal?
True
Let k = -25.1 - -25. Which is greater: 5 or k?
5
Let x = -1.5 - -0.3. Let q = x + -0.8. Is q at least as big as -1?
False
Let f(y) = y + 0*y - 2*y + 0*y + 3. Let w be f(4). Is 2/33 greater than w?
True
Let d(n) = -3139*n**3 - n**2 + 1. Let u be d(-2). Let j = 124903/5 - u. Let r = j + 129. Is 1 at least as big as r?
True
Suppose 0 = -3*b - 15, 0*i + 3*i - 27 = 3*b. Suppose -r = 4*l - 5*l, 0 = 2*l - i. Suppose 0 = -r*p + 12. Which is bigger: 5 or p?
p
Suppose 0*v = -v + 3. Let n be ((-2)/6)/((-1)/v). Is 2 <= n?
False
Suppose -8*h - 200 = -12*h. Which is greater: 0 or h?
h
Let w be (-1)/(-4) - 1/4. Let z be w*(-1 - (1 - 1)). Is z <= 1/3?
True
Let x = -3/17 - -26/51. Let j = 59 - 58. Which is bigger: j or x?
j
Let o be (-189)/(-12) + -1*2. Let b = -259/20 + o. Let k = -5 - -7. Is b not equal to k?
True
Let r = -930 - -59519/64. Is 0 bigger than r?
True
Let r = 42 + -41.6. Which is greater: r or 6?
6
Let x = -223 + 221.99. Let i = 0.01 + x. Is -4 equal to i?
False
Suppose -9*c + 19 = 208. Does c = -20?
False
Suppose 2*n = -2, -5*h + 0*n - 38 = 3*n. Which is bigger: h or -2?
-2
Let o(j) = 3*j + 1. Suppose 2*b + 1 = -1. Let x be o(b). Is x smaller than -4/3?
True
Suppose -2*p = 2*p. Let d = p + 0. Let r = -66 - -65. Which is greater: d or r?
d
Let d be (2*(3 + -2))/1. Suppose -2*v + w = -1 - 0, -d*w = -2. Which is greater: 1/4 or v?
v
Let g = 1.9 + -2. Let s = -8.5 - -8.54. Which is smaller: s or g?
g
Let r = 20/13 + -67/52. Which is smaller: r or 0?
0
Let t(o) = -5*o**3 + o**2 + 2*o - 1. Let s be t(1). Suppose 3*n = -0*n + 24. Suppose -q - n = q. Do q and s have different values?
True
Let b be ((-18)/(-12))/((-3)/(-10)). Suppose -b*l + 12 = -3. Suppose -l = 4*j + 1. Are j and 0 unequal?
True
Let g = 187/28 + -43719/140. Let o = 304 + g. Which is smaller: o or -1?
o
Let n = -122/711 + -4/79. Which is bigger: n or 1?
1
Let z be (1 + 1)*(-12)/(-8). Suppose 3*j = 3*f + 6, -2*f - 2*j - z + 11 = 0. Let w be f + -2 + (1 - 0). Is 0 bigger than w?
False
Suppose -2*q + 1 = -11. Let b(u) = 2*u - 8. Let y be b(q). Suppose 0 = -5*l - 5*n + 5 - 0, l - 7 = n. Is y greater than l?
False
Let n be (-1)/1*4/(-162). Suppose 8*q - 23*q + 15 = 0. Which is bigger: n or q?
q
Let d be 4/14 - 4/14. Let c(n) = -n**2 + 2. Let z be c(2). Let s be z*(-2 - 12/(-5)). Is s not equal to d?
True
Let p = -8/25 + -2/25. Let q = -0.01 - 0.39. Does p = q?
True
Let g be -12*(-1)/(-9)*-3. Suppose -g*c - 12 = 2*s, 4*s + 0*s - 12 = 4*c. Is -6/17 > s?
False
Let m = 2.27 + -0.27. Which is smaller: 0.4 or m?
0.4
Let j = 15 - 5. Let x = -4 + j. Let v = x + -4. Which is smaller: v or -3/2?
-3/2
Let z(w) = w**3 - 4*w**2 - 2*w + 1. Let h be z(4). Let a = h + 7. Is a > -2/13?
True
Suppose 3*d - d = 0. Suppose -2*c = -6 - d. Is c <= 2?
False
Let p(q) = q**3 - 1. Let f be p(-1). Let y be f/(-1) - 9/6. Which is greater: y or -2?
y
Let n be ((-8)/48)/((-20)/6). Let m = -3/20 - n. Let r(a) = a**2 - 3*a - 3. Let z be r(4). Are z and m unequal?
True
Let y be (-872)/(-874) - 5/5. Let q = 3941/3496 + y. Which is bigger: q or 1?
q
Let f = 47/130 - 6/13. Let h = -165.1 + 165. Is f greater than h?
False
Let u = 38 - 37.93. Is 0 smaller than u?
True
Let l be (-2)/6 - 4/6. Let q = 0.67 - 0.72. Which is smaller: q or l?
l
Let b = -40 - -24. Which is smaller: -0.1 or b?
b
Let t(u) = -u + 2. Let g be t(2). Let k(y) = y**2 + 5*y + 1. Let b be k(-4). Let x be (b/10)/(12/(-10)). Which is smaller: x or g?
g
Let w = -12 - -97/8. Which is smaller: w or 2/7?
w
Suppose 3*v - 1 - 2 = 0. Let u(x) = -x**2 - x + 8. Let z be u(0). Suppose 0 = -0*a + 4*a - z. Which is smaller: v or a?
v
Let v = -2 + 5. Suppose 1 = 3*f - 2, -s = -v*f + 1. Are 3 and s unequal?
True
Suppose 0*o = -3*o - 3. Is -3/7 >= o?
True
Let z(n) = n**3 + n**2 + n. Let q be z(0). Let f = q - 1. Is -1 less than or equal to f?
True
Let i = -3 + 2.99. Let w = 3.99 - i. Let a = w - 8. Is a less than or equal to 1?
True
Let y = 0.9 + -1. Let b = 0.3 + y. Let o be 3/10 - (-1)/5. Which is smaller: b or o?
b
Let r = 8 + -5. Suppose 2 = r*m - m. Let g = -3 - -2. Is g at most as big as m?
True
Let t = 0.076 - 0.206. Which is greater: -0.1 or t?
-0.1
Suppose 3*f + f - 12 = 0. Let t(w) = 2 - 6*w**2 + 3*w**3 + 0*w**3 - w + 6*w - 2*w**3. Let b be t(5). Is b smaller than f?
True
Let h = 2.2 - 0. Let b = 2.3 - h. Is 0.1 bigger than b?
False
Let q(x) = -x**3 - 3*x**2 + 3*x + 3. Let h be q(-3). Are h and -6 equal?
True
Let m = -0.1 - -0.2. Which is bigger: m or -3/4?
m
Let i = -244 - -248. Let c(x) = x**3 + 5*x**2 + 4*x + 1. Let d be c(-4). Which is bigger: i or d?
i
Suppose 40 = -4*l - a + 5*a, -4*l = a + 35. Which is bigger: l or -10?
l
Suppose 6*y = 3*y - 12, -20 = 5*m + 5*y. Let j = m - 0. Let g be (-3)/(-3)*(0 + j). Which is greater: g or 1/5?
1/5
Suppose 3 = b - 9. Let q be b/(-9)*(-3)/(-2). Let o = q + 1. Is o bigger than 1?
False
Suppose 4*z = -z. Suppose 5*g - 20 = -z*g. Which is smaller: g or 2?
2
Let i(q) = -2*q**2 + q + 1. Let f be i(-1). Which is greater: f or -5?
f
Suppose 5*z = 4*b + 3, -13 + 2 = 3*z + 4*b. Let j = 2 - 3. Is z < j?
False
Let m = 749 - 1591/2. Let x = -45 - m. Let w be 46 + -50 + 15/(-1 - -4). Is w less than or equal to x?
True
Let o = 0.3 - 0. Let w = o - -9.7. Let f = -8 + w. Which is smaller: f or 0.1?
0.1
Let v = -31/105 - -2/21. Which is greater: 8 or v?
8
Let n be (2/10)/((-12)/(-10)). Which is bigger: n or 1?
1
Let t(m) = -3*m + 26. Let w be t(7). Which is greater: 6 or w?
6
Let y(s) = -s**2 - 8*s + 1. Let p be y(-8). Suppose p = f + 2. Which is greater: f or -2?
f
Suppose 32 = -12*y + 8*y. Which is smaller: -10 or y?
-10
Suppose 0 = 5*q - 7 - 18. Let v(j) = -j**3 + 6*j**2 - 4*j - 5. Let i be v(q). Which is greater: i or -1/3?
i
Let y(k) = k**3 + 8*k**2 - 9*k - 1. Let s be y(-9). Let h be 1/7 - (4 + -4)/(-3). Is h != s?
True
Let v be 1 + (2 - 7/2). Do 2 and v have the same value?
False
Let l be 2*((-3)/2 + 1). Let q be (7/14)/((-1)/6). Let v = l + q. Which is bigger: v or -3?
-3
Let f be 9/(-12) - (-3)/(-12). Which is smaller: 3 or f?
f
Let p = -1 - -1. Let i = 1 + p. Let b be 12/(-8) + (-1)/2. Which is smaller: i or b?
b
Suppose -m - 1 = -8. Is 6 greater than or equal to m?
False
Let v be 0/(-1) - (-1)/2. Let k = 87 - 45. Let n = -125/3 + k. Is v not equal to n?
True
Let h = -3.2 - -2.7. Is h less than -1?
False
Suppose 5*l = -5*z - 35, -2*z + l - 21 = -4*l. Let t be (-4 - -4) + 1/z. Is t at least as big as 0?
False
Let j(o) = o + 3. Let m be j(-3). Suppose -2*n - 4 = -n - t, m = -4*n - 5*t + 29. Which is greater: n or 1/12?
n
Let z = 45 + -36.