*w. Let h be r(z). Which is bigger: h or 0?
0
Suppose 3*a - 2*a = -5*v + 15, 5*a - 35 = -5*v. Suppose -v*o - 42 = -4*z, 0 = 2*z - z - o - 12. Is 10 less than or equal to z?
False
Let v(i) = -6*i**2 + 6*i - 1. Let o(l) = l**2 - l + 1. Let h(k) = 5*o(k) + v(k). Let c be h(0). Suppose 5 = -u + c, -11 = -2*p - 3*u. Is 6 at most as big as p?
True
Let r = -6 - -9. Let j = r + -3.1. Let s(t) = -t**2 - t. Let y be s(-1). Which is smaller: j or y?
j
Let t = 0.58 - 0.58. Which is smaller: -3/22 or t?
-3/22
Let r = 13 + -13. Let j = -29/33 + 6/11. Which is smaller: r or j?
j
Suppose o + 2*o - 36 = 0. Suppose 4 + o = d. Is d greater than or equal to 16?
True
Suppose 8*g = 3*g + 10. Let f be g/(-2 - (-72)/34). Suppose -3*z - p = 10, 3*p - f = 5*z + 5*p. Is -2 less than z?
False
Let a = -11 - -12. Which is greater: 1/7 or a?
a
Let d = 6/421 - 13087/2526. Do -6 and d have the same value?
False
Let v = 75 + -74. Is 1/63 <= v?
True
Let p be -49 + 10 + -5 - 5. Which is bigger: -47 or p?
-47
Let s be (2*3/18)/(10/6). Is 6 less than s?
False
Let n = 172 + -164.3. Let c = 8 - n. Does c = -2/5?
False
Let h = -4373/13 + 336. Is h less than or equal to 0?
True
Let n = -7 + 3. Let x be (-1)/53*(-2313)/18. Let q = -4/53 - x. Which is bigger: q or n?
q
Let g = 28.1023 + -0.0623. Let x = 27 - g. Let c = -0.04 - x. Which is bigger: c or -1?
c
Let q(b) = b - 1. Let a be q(1). Suppose a = 5*r - 2*s + 4, -r = 4*r - 3*s + 6. Which is greater: -1 or r?
r
Let s = -15.27 + 0.27. Let m = s + 15. Which is smaller: -1/3 or m?
-1/3
Suppose 0 = -5*z + 10, 0*n + 2 = -n + 2*z. Let y = -40 - -37. Let u = n + y. Is -1 > u?
False
Let l be (-1 + 6 - 3) + -2. Does 2/11 = l?
False
Suppose 3*a - 2*a = 4*x + 6, 3*a - 3*x = 9. Suppose -3*n - 1 = -7. Suppose -2*q = -5*o - 2, -q + 2 = q - n*o. Which is smaller: q or a?
q
Let d(a) = a**2 + 5*a - 2. Let n be d(-6). Suppose w = -2*w + 4*j + 2, 2*j + 10 = 0. Let p = n + w. Which is smaller: -1 or p?
p
Let g be (-3)/((-12)/(-8)) + 1 + -1. Is -6 not equal to g?
True
Suppose -3*u = -5 - 10. Suppose 0*o - 20 = u*o. Are o and -4 nonequal?
False
Suppose 2*x = -x - 30. Suppose -q = -3*q - 20. Is q not equal to x?
False
Let a = -210/13 + 7757/481. Which is smaller: a or 1?
a
Let y = 7772/2435 + 4/487. Are 4 and y non-equal?
True
Let c = 3 - 4. Let k = c + 1.1. Is 1/3 < k?
False
Let a be (-3)/2*(-4)/3. Suppose -a*j = -0*j - 12. Are j and 6 equal?
True
Let a be 24/56 - (3 + 33/(-21)). Which is smaller: -5/13 or a?
a
Suppose -b - 4 = b. Let x(u) = -2*u**3 - 2*u**2 + 2*u + 2. Let v be x(b). Is v at least as big as 6?
True
Let a be (-10)/4 - (-3 + 3). Let w be -1*1 - (-5 + -8). Suppose -4*n = -n + w. Which is bigger: n or a?
a
Let c = 74 + -73.99. Is c at most as big as 2/11?
True
Let g be (-1)/(-4) + (-954)/72. Is -13 at least g?
True
Let l(o) = -o**3 - 12*o**2 - 12*o - 10. Let i = 4 - 15. Let p be l(i). Which is bigger: p or 3?
3
Let r = -1 - 1. Let h be 4/(-6) - (-64)/(-12). Let v = h + 6. Is r equal to v?
False
Let x(y) = y**2 - 9*y + 15. Let u be x(8). Are 10 and u non-equal?
True
Let i = 40 - 38. Suppose 2*b = b + 2. Is i less than or equal to b?
True
Let b = 73 + -73. Which is smaller: 1/67 or b?
b
Let x = 46 - 183/4. Let z = -3 - -3. Which is greater: z or x?
x
Let x = -0.197 - -135.197. Which is smaller: x or -1/3?
-1/3
Let n = -2 - -4. Let s(y) = y**3 - 6*y**2 + 9*y - 5. Let h(l) = -l + 1. Let o(r) = -4*h(r) - s(r). Let x be o(5). Is x > n?
False
Let o be (-10)/15*(-2 + -1). Let y be o/(-7) - 94/14. Which is bigger: -6 or y?
-6
Let l = -8.14 + 7.2. Let k = l + -0.06. Let z = -1 - -1. Is z bigger than k?
True
Suppose 3*q = 6, -q - 5 - 8 = -3*h. Suppose -5*k - 8 = 3*m, 8*m - 20 = h*m + 2*k. Which is smaller: 2 or m?
2
Let h be -1 + 2 - (-1 + -1). Let v(d) = -d**3 + 4*d**2 - 2*d + 1. Let u be v(h). Suppose -u*b + 3*b + 3 = 0. Is b at least as big as 4?
False
Let z = 2 - 12. Let j = 12 + z. Which is bigger: j or -0.1?
j
Let l = 17.036 + 0.044. Let o = 17 - l. Is o < -1?
False
Let s be (3 - 2) + 6 + -3. Suppose 4*y = 3*y + s. Are y and -2 unequal?
True
Let s(y) = y**2 - 17*y + 7. Let i be s(16). Which is greater: i or -1/2?
-1/2
Let k(i) = -i**2 + 1. Let p be k(-3). Let j = -5 - p. Suppose 3*s - 5*c = -s - 13, -j*c = 3*s - 24. Which is greater: s or 0?
s
Suppose 0 = -11*f + 116 + 60. Which is smaller: 14 or f?
14
Let x = -0.08 + -1.92. Let i = -716/17 + 42. Which is greater: i or x?
i
Let t be -2 + (-344)/(-198) + (-2)/11. Which is greater: -1 or t?
t
Suppose -4*g + 8 = -0. Do 2 and g have different values?
False
Let x = -53.1 - -49. Let l = 0.1 + x. Let k = 119/3 + -39. Which is smaller: k or l?
l
Let b = -0.55 + -0.05. Let h = b + 0.6. Is -0.1 less than h?
True
Suppose 4*s - 2*j = 282, -3*s - 2*s + j + 345 = 0. Let x = 336/5 - s. Let c = -13/10 - x. Which is smaller: c or 4?
c
Let j = 7/86 - -73/688. Is j less than or equal to 0?
False
Let g be (-15)/(-126) - 1/3. Suppose w = -0*w + k, -4*w - 2*k + 6 = 0. Is w not equal to g?
True
Suppose 5*u + 4*l - 6 = 0, -4*l = 2*u - 0*l. Let c = u + -1. Are c and 1 non-equal?
False
Let f be 394/26 + (-8)/52. Let i be 6/f*(-1 - -2). Which is bigger: 0 or i?
i
Suppose 4*b = 4*n - 20, -3*n + 5*n - 3*b - 8 = 0. Suppose 17 = 2*k + n. Is 5 equal to k?
True
Suppose -91 = 4*d - 2*g + 3*g, -d - 2*g - 14 = 0. Is d greater than 2?
False
Let b(o) = o + 1. Let w be b(-1). Suppose -g + 6 = -w. Let u be (-14)/(-2) + 30/(-15). Does u = g?
False
Let c = 0 + 0. Suppose 2*b + 8 + 8 = c. Let d = b - -8. Which is greater: d or -3/5?
d
Let g = -1 - 0. Let x = 1 - g. Suppose -5*c = 7*o - x*o, -o = 0. Is c smaller than 1/7?
True
Let o(f) = f + 6. Suppose 17 = -4*a - 7. Let q be o(a). Which is bigger: -1 or q?
q
Let w be 1*(-216)/(-28)*7. Let d = w + -164/3. Is d < 3?
True
Let h = 0.7 - 0.8. Is -5/6 less than or equal to h?
True
Let r be (-435)/(-144) + -1 + -2. Is r != 0?
True
Suppose -z - 5*n = 11, -4*n = -9*n - 5. Let r(v) = -v**3 + 5*v**2 - 6*v + 2. Let g be r(4). Is g smaller than z?
False
Let i = 81 - 85. Which is smaller: i or -3?
i
Suppose -3*z - 4*a = -23, 0*z + z - a + 4 = 0. Let p be (z/4)/(2 + -3). Let g be (3/42)/((-3)/12). Which is smaller: g or p?
g
Suppose z + 3 = 0, 3 + 4 = -2*x - z. Suppose 0 = 4*d - 3*d + 1. Is d != x?
True
Let d = -14/5 + 79/30. Let s = 1/12 - d. Is s <= 11?
True
Let x = -616 - -615. Let n = 3 + -3.1. Let y = 0.2 + n. Which is smaller: y or x?
x
Let z be (3 - 9/4)*4. Let h(u) = u**3 + 5*u**2 + 3*u - 3. Let n be h(-4). Suppose -z*s - s = -q + 5, s - q = n. Is s at most 2?
True
Let m = -8 + 14. Suppose 2*r - 4*r = -m. Let q = 4 + -3. Which is smaller: q or r?
q
Let k(t) be the first derivative of -t**4/12 - t**3/6 + 2*t**2 - 2*t - 2. Let p(f) be the first derivative of k(f). Let j be p(-3). Is -2 <= j?
True
Let v = 18 - 9. Suppose -3*u + 10 = 2*n - u, -u = 5*n - v. Which is bigger: -4 or n?
n
Suppose -12 = -5*g - 2*n, 0 = -3*g - 0*n - 4*n + 10. Suppose 2*a + 18 + g = 4*z, 0 = a - z + 5. Let u = 0.03 - -3.97. Are u and a nonequal?
True
Let s(v) = -3*v - 65. Let j be s(-24). Are 2 and j non-equal?
True
Let z = 217/76 + -11/4. Is 1 greater than or equal to z?
True
Let w be ((-1)/3)/((-3)/63). Suppose 4*j = 5*z - 2*z - w, 3 = 2*z - j. Is z != 2/7?
True
Let n be 1/4 + (-1)/12. Suppose 2*g + 5 = 4*l - 1, -4*l = -5*g + 9. Suppose l*x = 3*x + 1. Is n >= x?
False
Suppose -3*x = 9, -2*x - 2 = 2*u + 10. Let d = 3 - u. Let s = -8 + d. Is s greater than -1?
False
Let o(d) = d**2 + 3*d - 2. Suppose 5*w + 4*f - 56 = -0*f, 4*w + 4*f = 44. Let p be (w/(-16))/((-1)/(-4)). Let g be o(p). Is g < -2?
False
Let z = -0.113 + -5.737. Let r = 0.15 - z. Let i = -5.7 + r. Which is greater: i or -1?
i
Let w = 0 - 0. Suppose 5*h - 1 - 3 = 4*j, -3*j - 3 = 5*h. Is w less than or equal to h?
True
Suppose -4 - 1 = -l. Suppose -x - 35 = -l*w, -4*x = 6*w - w - 35. Let r = w - 4. Which is smaller: r or 4?
r
Let l be -2*(-4 + 13/3). Let y = 1.06 - 1. Is l <= y?
True
Let l = 7.3 - 7.5. Which is bigger: -12 or l?
l
Let y(g) = 0*g + 1 + 5*g**2 + g**3 - 3 + 4*g. Let s be y(-4). Is -4/3 bigger than s?
True
Suppose -3*g - 4*v - 12 = -7*v, 5*g = -2*v + 8. Let j = 4 + -8. Let a be 1/(2*(j + 3)). Is a less than or equal to g?
True
Let m(g) = -g - 8. Let j(z) = z + 17. Let t(d) = -2*j(d) - 5*m(d). Let x be t(0). Which is smaller: 9 or x?
x
Let d = 4 