*m. Suppose 0 = -m*z - 2*z. Which is bigger: z or -2/21?
z
Let g = 32.13 - 32. Let h = g + -0.03. Is 0.01 greater than h?
False
Let m(o) = o**3 + 8*o**2 + 6*o + 3. Let l be m(-7). Suppose 2*p - l = 3*p. Which is greater: p or -1/3?
-1/3
Let b be (1/1 - 5/(-2))*2. Is b >= 11/2?
True
Let i = -0.13 + -0.77. Let y = i + -0.1. Let m = 75 + -373/5. Is m bigger than y?
True
Let y = 29466 + -29696.93. Let c = 230 + y. Let f = c + 0.9. Is 1 smaller than f?
False
Suppose -4*z = -g - 5 - 3, -15 = -3*z + 3*g. Let r be (6/48)/((-2)/6). Which is greater: z or r?
z
Let q be 264/(-64) + 8/2. Which is smaller: -1 or q?
-1
Suppose 48 + 5 = 4*s - 3*l, 0 = -4*s - 5*l + 29. Is 11 < s?
False
Let a(z) = z**2 + 6*z + 1. Let s be a(-5). Let y be s/10 + 56/(-10). Let p be y/39 + (-122)/(-286). Is p <= -1?
False
Suppose 36 = -0*i - 4*i. Which is greater: i or -10?
i
Suppose -6*o + 126 = -5*o. Let f be 1/(-2) - (-35)/o. Is f at least 0?
False
Let t = -19 - -18. Is t greater than or equal to -0.18?
False
Suppose 3 = -2*h - 4*d + 13, 0 = 5*h - 4*d - 11. Let l = -3 - -9. Suppose -3*k = -l*k + 6. Which is bigger: h or k?
h
Suppose -w + 1 = -s - 0, -2*w + 5*s + 8 = 0. Which is smaller: -2/11 or w?
w
Suppose 0*f + 2*f = -16. Let g(c) = c**3 + 9*c**2 + 7*c + 2. Let x be g(f). Which is greater: 11 or x?
11
Let x(v) = v**3 - 9*v**2 - 11*v + 12. Let s be x(10). Are 2 and s equal?
True
Let q = -1.2 + 2.1. Let m = 1 - q. Is m < 0?
False
Let c be (4/(-5))/(2/(-20)). Let p(s) = -s**2 - 6*s - 4. Let r be p(-2). Is c at least r?
True
Let q be (-23)/4 - 2/8. Let p(n) = -n**3 + 13*n**2 - 9. Let d be p(13). Let j = q - d. Is 3 < j?
False
Suppose 2*a + 0*a = 42. Let q = a - 13. Suppose 18 = 5*l - q*l. Is -7 greater than l?
False
Let f be 15 + (-1 - 2) + -2. Let t(h) = -h + 10. Let w be t(f). Suppose w = -b + 1 + 3. Which is greater: -2 or b?
b
Let k = 56 + -98. Suppose -3*i + 15 = 4*h, -i - 3 + 19 = 5*h. Let n be i/5 + k/(-15). Which is smaller: n or 1?
1
Let f = 10645/21 - 507. Suppose 2*b - 4*b = 0. Suppose b = -4*h + h. Is f less than h?
True
Let r = 68 + -68. Is r greater than or equal to -0.1?
True
Let m = 2085 + -1229. Let c = 4242/5 - m. Let b = -8 - c. Does 0 = b?
False
Let m = 16.8 + -0.3. Let p = m - 16. Is 2 > p?
True
Let n = -34.9 + 33. Let r = -0.1 + n. Let a = 0.1 - 0.3. Which is smaller: a or r?
r
Let u = -18 - -18. Is 0 greater than or equal to u?
True
Let q = 8 + -6. Suppose -2*t = 2*g + 6, q = t - 4*g - 0. Let o(h) = -h**3 - 5*h**2 + 7*h + 6. Let b be o(-6). Are t and b non-equal?
True
Let q = 3 + -4. Let p be (-12)/(-66) + (-40)/(-22). Suppose 3*h + p*j + 15 = 0, -7 = 4*h + 5*j + 20. Which is smaller: q or h?
h
Let t = 0.37 - 0.07. Let k = t + -0.5. Which is greater: k or 0?
0
Let w be (-1)/(-7) - 117/(-63). Suppose 4*o = -4*z - 24, w*z = o + 6*z + 15. Which is bigger: -1 or o?
-1
Let r = 21 - 15. Suppose -2*s - 15 = f + 2*f, 3*s - r = 5*f. Is s less than -2?
True
Let c = 4 - 3.9. Let k = -0.3 + c. Let o = 0.1 + 1.9. Which is bigger: o or k?
o
Suppose -5*m + 167 = 52. Is 23 bigger than m?
False
Suppose -5*r = -5*d - 5, -d = r - 3*d. Which is smaller: r or 9?
r
Let b = 3 - 3. Let a = b + -1. Suppose -7 = 2*z - 1. Which is smaller: a or z?
z
Let q = 2 - 5. Let g be 0*1*3/q. Do g and 0 have the same value?
True
Let z(a) = a - 6. Let r be z(5). Let s = 868/65 + -66/5. Which is greater: s or r?
s
Let d be 30/(-126) - (-3)/(-9). Which is greater: 10 or d?
10
Suppose -3 = n + 3. Let g be n/(-10)*25/(-35). Is -1 > g?
False
Let o(g) = -3*g - 4. Let h be o(-3). Suppose -5*r + 30 = 5*u, -u - 2*u - h*r + 22 = 0. Is u > 3?
True
Suppose 2*s + 13 = 11. Which is greater: s or 4?
4
Let b be ((-27)/(-15))/(6/20). Suppose 0 = -b*w + 5*w. Which is greater: 8 or w?
8
Let n(c) = c**2 - 4*c + 2. Let z be n(3). Let g be -2*(-1)/(-4)*6. Let b be 4 + g + (1 - 1). Which is smaller: z or b?
z
Let z = 16 - 16. Do z and 1/7 have different values?
True
Let b(m) = -4*m + 5. Let o be b(4). Is -12 > o?
False
Let w be (-8)/6*(-27)/(-18). Is w less than -1?
True
Suppose -3 + 17 = 2*f. Let j(a) = a**2 - 6*a - 4. Let m be j(7). Suppose -f = -4*d - m. Is d >= 2/5?
True
Let r = -0.01 + 0.05. Let z = 0.96 + r. Let c be (-6)/(-8) - 3/6. Is z greater than c?
True
Let a = -3 + 2. Let k = 3 + a. Suppose 5*z = k*z + 3. Which is greater: 2/25 or z?
z
Let z(h) be the first derivative of 5*h**3/3 + 2. Let f be z(1). Which is smaller: 1 or f?
1
Let n be ((-1)/9)/((-2)/(-4)). Let v be 1/(-2)*(2 + -2). Suppose v = -2*g + 3*g + 1. Is g bigger than n?
False
Let s be (-3)/(-2)*(2 + 0). Suppose 0 = -s*a - 24 + 6. Let l be (-4)/(-6) - 2/a. Which is smaller: 0 or l?
0
Let r(x) = x + 13. Let t be r(-14). Is 3/8 equal to t?
False
Let d(f) = f - 4. Let n be d(5). Let h = -2 + n. Let a(c) = 2*c**2 - 1. Let x be a(h). Which is bigger: -1 or x?
x
Suppose x + 0*h = -2*h - 18, -52 = 4*x - 2*h. Let t = x - -12. Is -3 < t?
True
Let h = -8/3 + 50/21. Which is smaller: 1 or h?
h
Suppose -2*y = 2*m + 10, 0*m = -4*y - 2*m - 14. Let a(n) = n**3 + 4*n**2 - 6*n. Let f be a(-5). Let r be 0 + 8/f + y. Are -1 and r nonequal?
True
Suppose 2*z - n + 4 = 0, 3*z - 6*z = -2*n + 5. Which is bigger: 0 or z?
0
Let a = -14 - -22. Let b = a - 2. Let f be (b/(-25))/((-12)/(-15)). Which is smaller: f or 1?
f
Suppose -3*z + 35 = 2*z. Suppose 6*b - 3*b = 9. Suppose 4*d - b*p + z = 0, 5*d - p = 4*p - 10. Which is smaller: d or -0.1?
d
Let n = 11 + -8. Suppose n*l = 134 - 32. Let a be -1 - (2 + l/(-10)). Which is smaller: 0 or a?
0
Let c(g) = -g**3 - 4*g**2 - 3*g - 2. Let r be c(-3). Let j be 14/(-35) - r/5. Let s be (38/12 + -3)*-4. Which is smaller: j or s?
s
Let g(j) = j**3 - j. Let s be g(-1). Suppose s = -2*n + n + 7. Is 8 at most n?
False
Let u be 4/10 + (-252)/(-45). Let z be 1/(-3) + u/(-9). Which is bigger: -2/21 or z?
-2/21
Let x = 1 - 0. Let p(q) = x - 3 - q**2 + 1. Let n be p(-1). Are -2 and n unequal?
False
Let p(c) = 4*c - 94. Let y be p(27). Let b = -17 + 30. Which is greater: b or y?
y
Let a = -0.17 - -1.87. Let d = a + -5.7. Which is smaller: -0.1 or d?
d
Let f = 2.4 - 2.7. Is f less than -6?
False
Suppose -6*o = -o + z + 5, 10 = -5*o - 2*z. Let h = -1 + 0. Is h less than o?
True
Let k = 33.9 + -5.9. Is 1 smaller than k?
True
Let l be (-1)/2*-1*0. Suppose f + c + 5 = -l*c, -3*f = -4*c - 13. Is 1/8 less than f?
False
Let j = -699899/11 + 63701. Let l = 114 - 40. Let w = l - j. Which is bigger: w or 0?
w
Let i = -31/2 + 16. Is i > 2?
False
Let m = 50 - 47. Is 3 >= m?
True
Suppose -49 = 5*d - 2*r, -1 = -4*r - 13. Let h = 2 + d. Let t = h - -10. Is t at most as big as 0.9?
False
Let a = -14 - -14.4. Which is bigger: a or -1?
a
Let c = 20 - 19. Which is greater: -1/38 or c?
c
Let p = 24 + -16. Let i be 1 - (p/(-6) + 1). Suppose -4*b + 3 = -1. Which is bigger: i or b?
i
Suppose -n - 150 = 2*g + 4*n, 0 = -2*g + 3*n - 182. Is -85 < g?
False
Let z be 68/(-48) - -2 - (-4)/(-12). Which is smaller: z or 25?
z
Let q(k) = k**2 - 6*k + 13. Let g be q(9). Which is bigger: g or 39?
g
Let i(d) = -5*d + 12. Let o be i(8). Let r be (-33)/(-7) - 8/o. Let a(g) = g - 1. Let f be a(r). Which is greater: -0.1 or f?
f
Let g = 1/30 + 1/6. Is 1 < g?
False
Let j = 5 - 5. Suppose j = -h - 2*h - o - 1, 6 = 4*h + 5*o. Which is smaller: h or 2/11?
h
Let s be (-246)/8*((-34)/6 + 3). Is s less than 82?
False
Suppose 1 = -2*k - 3*n, 3*k - n - 3*n - 24 = 0. Is k equal to 0?
False
Let p = 1 + -1. Which is bigger: p or -0.6?
p
Let g(n) = -n**2 - 12*n. Suppose -3*d - 4*t = -0*d + 36, -3*d = -t + 36. Let m be g(d). Which is bigger: -7 or m?
m
Let v be (-1)/(-1) + (-80)/70. Which is bigger: v or -2/3?
v
Let f = -0.62 + -0.82. Let s = f + 1.7. Let m = 0.04 + s. Which is bigger: 2/3 or m?
2/3
Suppose -5*l - 10 = w - 5, -3*l = -w + 3. Which is bigger: -38 or l?
l
Let z = -15 - -43/3. Let k(b) = b**2 + 7*b - 3. Let g be k(-7). Let n be g/(-8)*(-2)/3. Do z and n have the same value?
False
Let f be (-15)/5 - (-97)/33. Is f not equal to -0.1?
True
Let y be 5 - (2 + -2 + 0). Suppose -u + 2 = -5*r - 11, -y*r = -5*u + 25. Let a = r + 3. Which is smaller: a or -2/7?
-2/7
Suppose 0 = 2*i - 3*f + 6, i - 2 = 3*i - 5*f. Which is smaller: -7 or i?
-7
Let c(h) = 5*h + 2. Let g(i) = -9*i - 3. Let w(b) = -7*c(b) - 4*g(b). Let v be w(6). Is 4 at most v?
True
Let j be (-1 - 0)/(-1 + 0). Let l be 22/42 + 