 c(-1). Is z bigger than 1?
False
Suppose 0*b + b = -m + 5, -5*m - 25 = -5*b. Which is bigger: 3/5 or m?
3/5
Let t be 3/2*(-8)/(-6). Suppose 4*m - 3*w + 2*w - 7 = 0, -5*w = 5*m - 15. Let q be m/7*(-6)/12. Which is bigger: t or q?
t
Let z be ((-4)/14)/(20/(-7)). Which is smaller: z or -1?
-1
Let y = -4.942 - 0.058. Is y > 0.1?
False
Let h be 2/(-10) - 12/15. Which is smaller: 1/20 or h?
h
Let h(z) = 2*z - 4. Let n be h(2). Is -4/13 less than or equal to n?
True
Let s(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 + 4*z + 1. Let x be s(0). Suppose 17 = x*m + 5. Are m and 3 non-equal?
False
Let h = 6 - 2. Suppose -7 = 2*c + d, c + h*d - 2 = -c. Is -1 >= c?
True
Suppose -33*y = -31*y. Let d = 2326/15 - 155. Which is smaller: d or y?
y
Let h be (-4)/(-7)*28/8. Let f be (3 - h)/(-3 - -4). Let v = -2 + 2. Does f = v?
False
Let v(b) = -b**3 - b**2 + b + 1. Let s be v(-2). Suppose -k - s*q + 20 = 0, -2*k + k = -5*q + 20. Let w be ((-2)/(-6))/(k/30). Is w bigger than 3?
False
Let a be (8/(-2))/(10/(-30)). Suppose -a = -0*d - 4*d. Is d < 2?
False
Let w be 3152/2280 + (-4)/10. Let c = -354 + 6732/19. Let z = w - c. Which is greater: z or 0?
z
Let w = 10 + 1. Suppose 3 = 4*r + w. Suppose 2*g + 1 + 3 = 0. Are r and g unequal?
False
Suppose l = 5*l - 5*k - 24, -3*k - 12 = 0. Let m = 3 - l. Let p be (-1*(-4)/m)/2. Are 0 and p non-equal?
True
Let t be 5/(-1)*(-6)/5. Let h be t/(-2)*3/15. Which is bigger: h or -2?
h
Suppose -f = -2 + 1. Let t be f*(-5)/(5/2). Let h be -1 - 0/(4 + t). Which is smaller: h or -2/9?
h
Let n be (-6)/(-21) + (-2145)/(-63). Let o = n + -34. Which is smaller: -1 or o?
-1
Let l = 10 + -4. Suppose 3*h + 0*h = -l. Which is bigger: h or 2?
2
Let a(l) = 2*l + 5. Let v(b) = 2*b + 4. Let g(f) = 3*a(f) - 4*v(f). Let c be g(-3). Suppose -z = c*j + 7, 8 = 2*j - 9*z + 4*z. Is j <= 1/4?
True
Let z be -2 + 4 - (-2486)/14. Let n = z + -180. Are n and 1 unequal?
True
Let a = 7 - 4. Suppose a*d = d. Suppose j - 3*i - 39 = -3*j, d = -3*j + 5*i + 32. Is 9 > j?
False
Suppose 3*g + 2*g + 10 = -5*y, 0 = 4*g - 5*y - 37. Let r be ((-2)/(-3))/((-1)/g). Suppose -166*w + 162*w = 0. Is r > w?
False
Let n = 795/23 + -10039/345. Let i = n - 304/55. Is 1 > i?
True
Let s be 2/4 + 3/(-2). Let d = -1.24 - -0.24. Do d and s have different values?
False
Let x(b) = -b - 3. Let l be x(-3). Suppose -3*c - 3*j + 8*j - 19 = 0, -2*c = -5*j + 21. Which is smaller: c or l?
l
Let h be (-13)/39 + (30/9)/(-5). Let n = -382/9 - -42. Are n and h equal?
False
Let l be (2 + 3/(-2))*16. Suppose -3*w - l = 2*p, -2*w = w - 2*p - 8. Suppose 5*z - z - 4 = 0. Which is bigger: z or w?
z
Let x be ((-14)/(-4) + -4)/(-5). Which is bigger: 0 or x?
x
Let p(q) = q - 11. Let h be p(11). Suppose 5*z = 2*v - h + 1, -5*z - 5 = -5*v. Which is bigger: z or 2?
2
Let p = 1319/190 + -51/38. Is p bigger than 6?
False
Let k = -1133/3 - -381. Which is bigger: 3 or k?
k
Let i(w) = -w**2 + 9*w - 22. Let j be i(6). Is -2 at most as big as j?
False
Let c = 43 + -127/3. Is c smaller than 2?
True
Let j = -0.76 + 15.56. Let h = -19 + j. Let w = -4 - h. Is w at least 2/5?
False
Suppose 0 = 2*x + 4*t - 2, 3*t + 1 = x - 5*x. Are -2/5 and x non-equal?
True
Suppose -l + 60 = 2*l. Suppose 20 + l = -5*y. Let v be (-2)/3 - y/6. Which is smaller: 2 or v?
v
Let f = 1.1 - 0.1. Let v be (8/(-12)*-3)/(-4). Are f and v nonequal?
True
Let m = 9 - 17. Which is bigger: m or -13/2?
-13/2
Let r be 4/6 + 50/6. Suppose 0 = -2*i + 3*i + r. Is i > -9?
False
Suppose 5*a - a + 40 = 0. Let x = 18 + a. Is x > 8?
False
Suppose -3*f + 32 = 3*m - 4, 0 = -3*f - 4*m + 36. Suppose -2*a - 5*q = -35, f = -2*a + 4*q + 2. Let k be 1/a + (-1)/5. Is -2 < k?
True
Let d(j) = 5*j**3 + 5*j**2 + 3*j + 6. Let v(y) = 3*y**3 + 3*y**2 + y + 3. Let x(q) = -4*d(q) + 7*v(q). Let s be x(-3). Do -6 and s have the same value?
True
Suppose 3*q + 10 = -2. Let c be 16/138*(-3)/q. Is c not equal to 1?
True
Let m(r) = -r**3 - 4*r**2 - 3*r + 1. Let u be m(-2). Which is greater: u or -13?
u
Let c be (-1 + 6 + -5)/(-1). Let s = -10 - -18. Let x be (-6)/8*s/(-10). Is c >= x?
False
Let y be -8 + 7 + 10/18. Which is smaller: y or 1?
y
Let u = -191/282 - -1/94. Is u != -2?
True
Suppose -6*z = -9*z. Which is bigger: 2/5 or z?
2/5
Let n be 57/15 + (-2)/(-10). Suppose 0 = -3*d + n*y + 13, -24 = 3*d + d + 5*y. Let r be 2*(-2 - (-19)/9). Which is smaller: d or r?
d
Let f be 11/352*(-27 + 1). Let m = f + 203/240. Do 1 and m have different values?
True
Let l = -948 - -4758/5. Is l at most 5?
True
Let z = 7 + -4. Let p = -0.36 + -0.04. Let q = 0.3 + p. Is z less than or equal to q?
False
Suppose g - 23 = -4*g + 4*s, 5*g - 20 = 5*s. Let o be 0 + 12/g + -2. Which is greater: 2/3 or o?
2/3
Let x = 3.8 + -2.5. Is -0.2 at most x?
True
Let f = 2 - 0. Let d be f/(-11) - 6/(-33). Which is smaller: 3/10 or d?
d
Let w = 17 + -37. Is 1/3 smaller than w?
False
Let k = 4.03 - 0.03. Does k = -17?
False
Let t = -157 + 62. Let v be 2/(-7) - t/(-35). Are -2 and v nonequal?
True
Let f be 7 - 4 - (-19)/(-5). Is -1 bigger than f?
False
Let h = -0.04 - 0.16. Let d = h + -0.1. Let i = -1 - -2. Which is greater: d or i?
i
Let r be ((-1)/1)/((-4)/20). Let h = 6 - r. Is h at least 3?
False
Let x(j) = -j**2. Let t be x(-3). Suppose -7 - 9 = 2*q. Does q = t?
False
Suppose -6 = s + s, 0 = 5*d - 5*s - 50. Suppose 0 = 2*c - j - d, 2*j + 17 = c - 3*j. Which is smaller: c or 3?
c
Let j = -7 + 6.8. Suppose 1 + 14 = -3*h. Let r be (2/5)/(1/h). Which is smaller: j or r?
r
Let c be 6/42*(1 - 7). Is 0 less than c?
False
Let t = 60 + -62. Is t not equal to -2?
False
Let d(x) = 22*x**3 - 42*x**3 + 19*x**3 - 1 - 8*x**2. Suppose 2*b + 32 = f + 12, 3*b + 40 = 4*f. Let k be d(b). Are -1 and k non-equal?
False
Let g = -18 - -33. Let p = g - 12. Is p not equal to 7/3?
True
Let h be 0*((3 - 0) + (-45)/18). Do h and 11/8 have the same value?
False
Let g be (-1 - 11)/(-3 + 1). Which is greater: g or 0?
g
Suppose 0*q = -4*q. Let t = 3 - -1. Suppose q = 3*z + z + t. Which is bigger: z or -1/4?
-1/4
Let m = -0.02 - -0.32. Let d = 0 + m. Let v = -0.3 + d. Which is bigger: 1 or v?
1
Suppose -5*m + 5*r = 0, 2 = 3*m + 5*r + 10. Is m bigger than 3?
False
Let d(a) = -8*a**2 + 5*a**2 + 8*a + 6 + 2*a**2. Let n be d(9). Which is smaller: n or 4?
n
Suppose -z - 6 = 5*z. Suppose 2*r - 4*k = 17 + 3, -r - k = 5. Which is smaller: z or r?
z
Let q(o) = o**3 + 7*o**2 + 5*o - 2. Let p be q(-6). Suppose 2*f + 2*k = p*k - 14, f + 4*k - 18 = 0. Let t be 4*(2 - 4)/f. Which is greater: t or 3?
t
Let v(o) = 3*o**2 + o. Let s be v(1). Suppose -4 = -s*y + 4. Suppose 3*i - y*i = 0. Does 2/13 = i?
False
Let i(q) = 2*q + 7. Let w be i(5). Let n = w - 17. Let z(b) = 2*b. Let t be z(-1). Which is bigger: t or n?
n
Suppose -x - 8 = -3*m, 4*x - 2*m = 2*m - 16. Let t be (2/5)/((-6)/20). Is x != t?
True
Let z = 35 + -49. Which is smaller: -16 or z?
-16
Let o(w) = w**2 - 2. Let k(q) = -q**2 + 9*q - 5. Let x be k(8). Let f be o(x). Let s be (-2)/f - (-5)/(-7). Which is bigger: -2 or s?
s
Let f be ((-1)/(-376))/((-1)/78). Let m = f - 2/47. Which is bigger: 1 or m?
1
Let c = -195/2 + 100. Let v = c + -27/10. Let q be -2*((-7)/(-2) - 3). Is v at most q?
False
Let d = -61 + 37. Let i = d - -25. Which is smaller: i or -3/2?
-3/2
Let w(a) = a**2 - 3*a - 5. Let q be (-13)/(-3) - (-1)/(-3). Let k be w(q). Let d = -58 + 172/3. Which is smaller: k or d?
k
Suppose 10 + 6 = 4*b. Suppose -b*m - 1 = 3. Which is greater: -6/5 or m?
m
Let l = 5 + -4.5. Let t = 8.7 + -8. Let n = t - l. Do n and -1 have different values?
True
Let j(f) = f**2 - 1. Suppose -3*m + 3 - 9 = 0. Let p be j(m). Is 4 less than p?
False
Suppose 4*p + 1 = -3. Which is bigger: p or 4/9?
4/9
Suppose 0 = 5*y - y - 8. Suppose y*z + 13 = 5. Let k = 19 + -23. Is k > z?
False
Suppose -4*y + 2 = -g, -4*g - 10 = 3*y + g. Suppose -5*l + l - 4 = y. Is l less than or equal to 1?
True
Suppose 4*r - 24 = 4*a, 2*r - 4*r = 4*a + 6. Let g(l) = -l - 3. Let v be g(a). Is 1/5 at least v?
True
Let p(k) = 2*k**2 + 2*k - 1. Let a be p(-2). Let u be a/4 - 1/(-4). Is u not equal to 0?
True
Suppose -6*t - 43 = -1. Are 6/11 and t unequal?
True
Suppose 0 = -m + 2*m. Let c(q) = q**3 + 8*q**2 + 2. Let v be c(-8). Suppose -4*k + v*k = 0. Do m and k have the same value?
True
Let b = -2 + 4. Suppose 16 = b*l - 2. Is l >= 8?
True
Let x be 