 + -78. Is 8/9 < x?
True
Let a = -4 + 12. Suppose 0 = w + 3*f + a - 3, 4*f = 4*w - 44. Which is bigger: 8 or w?
8
Let n = 0.04 - 0.24. Is -7 greater than n?
False
Let o(h) be the second derivative of h**4/24 + h**3/6 + h**2 + 2*h. Let i(a) be the first derivative of o(a). Let r be i(-2). Which is bigger: r or 2/5?
2/5
Let v = -10 + 9. Is 2/7 bigger than v?
True
Let p(i) = i**2 + 5*i + 1. Let t be p(-5). Let g(n) = n**2 + 10*n + 13. Let c be g(-8). Let a = t + c. Does a = -3?
False
Let c = -3 + 3. Let j be c - ((-4)/2 + 2). Which is bigger: -3 or j?
j
Let g = -69 + 74. Suppose 0 = -s - s + 10. Do s and g have the same value?
True
Let x(i) = -i**3 + 7*i**2 + 5. Let c be x(7). Suppose 15 = 5*m + c*k, 4*m + 3*k - 10 = k. Suppose -26 + 1 = -5*n, 7 = -m*r + n. Which is smaller: -3/4 or r?
r
Let h = -10 + 16. Suppose 4 = -t + h. Suppose 0*q = -t*q. Are q and -1 unequal?
True
Let z(p) = p**3 + 6*p**2 + 4. Let k be z(-6). Let o = 439 + -2176/5. Which is greater: o or k?
k
Let m be 1*(-2)/21*-3. Suppose 0*l - l - 2 = 2*x, -x = -1. Let u be 8/(-30) - l/(-10). Which is bigger: u or m?
m
Let d be (-4)/(-130)*(-15)/(-10). Let c = d - -171/520. Is 0 greater than c?
False
Let a = 0.15 + -0.35. Let c = a - -0.14. Do 0.1 and c have the same value?
False
Let g(z) = -7*z**2 + 2*z**3 + 0*z**3 + 4*z - 3*z**3. Let n be g(-9). Let h be (-8)/n + 12/42. Which is smaller: h or 0?
0
Let z(i) be the second derivative of -i**3/2 - i**2/2 + 2*i. Let v be z(-1). Let k be v/(-6) + (-13)/(-21). Which is smaller: -1/3 or k?
-1/3
Let b be (-177)/(-12) + (-1 - (-15)/12). Do b and 13 have the same value?
False
Let w(u) = u**3 + 3*u**2 - 5*u - 5. Let t be w(-4). Suppose 2*o = 3*o - 3. Let c = o - 4. Is t > c?
False
Let o = -8 - -7. Suppose a - 5*j - 4 - 15 = 0, -20 = 4*a + 4*j. Is o less than or equal to a?
True
Suppose -2*v = -k + 10, 0 = 4*v + 4*k - 5 + 25. Suppose -15 = -2*m - 5*p, 0 = -2*p + 10 - 0. Is v less than m?
False
Let o(r) = r**2 - 6*r - 6. Let v be o(7). Suppose -4*q = -2*i - 3*i - 42, 4*i - 16 = -3*q. Let z be 3/q*10/15. Which is greater: z or v?
v
Let z = -5 - -11. Which is bigger: 14/3 or z?
z
Let q be 12 - 0/(-1 - -4). Let w be (q/8)/(6/8). Suppose 0 = 3*j - j - w. Which is smaller: j or 2?
j
Let y(q) = -q - 9. Let s be y(-8). Suppose 5*i = -7 - 8. Let t be i/((-3)/((-6)/4)). Which is smaller: t or s?
t
Let p = 0.8 + -0.5. Let c = 0.3 - 0.9. Let t = -0.7 - c. Is p greater than t?
True
Let g = 4.1 + -4. Let o be (8/10)/((-3)/15). Let q be 3/(-2)*o/(-24). Are q and g unequal?
True
Let n(h) = -2*h**2 - 2. Let y be n(-2). Let g be (3 - (-17)/(-5))*y. Suppose -3*d + g = d - 3*q, -q - 8 = 2*d. Is d <= 0?
True
Let t = -29/480 + 1/96. Is 0 at most as big as t?
False
Let m be 16/12*(-9)/(-6). Suppose -t - 5*y - 22 = 0, -m*t = 4*y + 20 - 6. Is t at least as big as 3?
True
Let d be (2/1)/(-11 - -13). Let l be 6/(-15)*(-4)/8. Are d and l unequal?
True
Let a = 126 - 499/4. Which is smaller: 0 or a?
0
Suppose h + 4*h + 2 = -3*s, 5*s + 4*h - 1 = 0. Let w = -3.6 - -0.6. Let k = -5 - w. Which is greater: k or s?
s
Let b = 34 + -118. Let s = 56 + b. Let t be -2 - (s/(-6))/(-2). Does 0 = t?
False
Let d = 14 + -8. Let c = 13.3 - 6.7. Let t = d - c. Is t <= 1/3?
True
Let l be 4/6 - 28/(-12). Suppose d - l = -2*d. Suppose 3*y + r + 3 = 0, 3*y + 4*r + 9 = r. Is y at most d?
True
Suppose -4*z + 5*i = 35, 4*z + 2*i = 2*z - 40. Let t be (-1 - 9/z)*-5. Suppose 2*m - 4 = -t*m. Which is smaller: m or -2/17?
-2/17
Suppose 0 = -4*q - 3*w + 5, 18 + 7 = -5*w. Suppose 5*m - 20 = 2*v, -2*m - 16 = v + 3*v. Suppose -m = q*s - 22. Which is bigger: s or 3?
s
Suppose -3 = 2*t - 5. Is -13 greater than t?
False
Let z = -3 - -3. Suppose 2*r + r = z. Let n = 389/9 + -43. Is n >= r?
True
Let k be (5/2)/((-12)/(-600)). Are 126 and k unequal?
True
Let x(i) = -i**3 - 3*i**2 - 3*i + 2. Let s be x(-3). Suppose s = 3*n + k + 4, 2*k - 10 = -2*n. Which is greater: n or 0?
n
Suppose 3*g + 4 = f, -5*g + 0 = 2*f + 3. Let k(m) = -m - 2. Let t be k(-1). Let r be (-4)/(-9) - (t - -1). Which is smaller: g or r?
g
Let h be -2*6/(-4) + (-60 - -12). Is h smaller than -45?
False
Let v = 1.2 + -6.2. Let f = 5.2 + v. Let b = -0.9 - 0.1. Is f at most b?
False
Let h be (68/(-357))/(2/(-7)). Are h and 2/7 equal?
False
Let a = 30 - -34. Let c be 0 - ((-906)/(-14) - 1). Let m = c + a. Is 1/2 at most as big as m?
False
Let q = 1.06 - 0.06. Let w = 0 - 0.1. Is q < w?
False
Let r = -12 + -2. Which is greater: r or -15?
r
Let h = -0.3 - -0.2. Let k = -1 + -1. Which is smaller: h or k?
k
Let m(x) = 6*x**3 - 3*x + 3. Let t be m(2). Let u be ((-3)/4)/(t/10). Is u < -1?
False
Let d = 1040/15921 - -2/549. Which is greater: d or -1?
d
Let r be (-384)/(-21) - 4/14. Let t be 8/r*(-9)/24. Is 1/3 smaller than t?
False
Suppose -85 = -0*z + 5*z. Let y(n) = -n**2 - 16*n + 12. Let u be y(z). Which is smaller: -2 or u?
u
Let p(j) be the third derivative of -j**2 + 1/4*j**4 + 1/60*j**5 + 0 + 0*j + 2/3*j**3. Let t be p(-6). Is t at least 4?
True
Let t = -31 - -25. Let u = 1.9 - -0.1. Let l = u + t. Is -0.1 smaller than l?
False
Let z = 150.3 + -150. Which is bigger: -17 or z?
z
Let s = -2 + -1. Let i be (-2)/s - 3/(-9). Let y = 112 - 445/4. Which is greater: i or y?
i
Suppose n + 9 = 4*n, 3*u = 4*n - 9. Which is greater: u or -1?
u
Suppose o - 3*o = 10. Is o at least as big as -7?
True
Let q(j) = -j**2 + 3*j + 9. Let w be q(5). Let b be w/5*(-8)/(-20). Which is smaller: 0 or b?
b
Let g(x) = -19*x**2 + x. Let v be g(1). Let i be (-2)/(-4) - v/(-4). Suppose 0*a - 12 = 3*r - a, -r - 5*a - 20 = 0. Which is smaller: i or r?
r
Let s be (1 + 0)/((-1)/14). Is 0 at least as big as s?
True
Suppose 5*b = -0*b. Is 2/13 less than b?
False
Let a = -4 + -4. Let p(s) = -4*s**2 - 3*s - 4. Let y be p(a). Let g = y - -1649/7. Which is smaller: g or -1?
-1
Let f = -5 + 15. Suppose f = -4*u + 2*u. Is -4 > u?
True
Let s(v) = v - 12. Let w be s(8). Let h = 65/2 - 32. Is w greater than h?
False
Suppose -8*z + 1 = -7*z. Let b = -133972/81 + 1654. Which is greater: z or b?
z
Suppose -2*v - 2*v = 0. Let p(c) = -2*c + 1. Let k be p(2). Let d = k - -3. Is v at least d?
True
Let t = 2339/7 + -335. Is t > 2/5?
False
Let t = -3 + 5. Let l be (1/t)/(126/36). Which is smaller: 3 or l?
l
Let v = -36012/65 - -554. Which is bigger: 1 or v?
1
Let w = 10.6 - 12. Let l = w + 0.4. Let x = -1 - l. Is 0 > x?
False
Let n be ((-3)/3)/(-1) + 0. Is 3 > n?
True
Let w be 4/14 + 255/(-35). Let h be (-4)/8 - w/(-2). Which is smaller: -1/4 or h?
h
Suppose -2*t = 5*o + 87, -5*o - 3*t - 7 = 76. Is -21 < o?
True
Let m be (7 + -1)/((-6)/15). Let g be 2*(m/6)/(-1). Suppose -14 = -g*a - 2*x, -3*a + 0*a + x + 4 = 0. Which is smaller: a or 3?
a
Let o be (-4)/3 - (-764)/582. Is -1 bigger than o?
False
Let w = 41 - 93. Which is smaller: w or -51?
w
Suppose -z = -i, -5*z + 6 = -0*z + i. Let r = 4 - z. Which is smaller: r or 2?
2
Let y be 24/(-16) - 386/(-4). Do y and 94 have the same value?
False
Let y = -9.9 - -6.9. Which is greater: 0.09 or y?
0.09
Let s be (-8)/(-16) + (-13)/(-2). Let a = 6 - s. Which is greater: -3 or a?
a
Let h(t) = -6*t - 2. Let b be h(-1). Suppose -2*f - b*m - 6 = 0, 2 = f + m + 3. Which is bigger: -2/7 or f?
f
Let s be 6/15 - 11/15. Does 0.1 = s?
False
Let x(t) = 5*t**2 - t + 1. Let a be x(1). Let i = 5 - a. Is 1/5 at least as big as i?
True
Let s = 3 - 9. Suppose -16 = -c - 3*c. Let z be s/c - (-2 + 4). Does -4 = z?
False
Let u be 292/(1 + 3/12). Let z = u + -232. Which is greater: 3 or z?
3
Let h(n) = n**3 - 7*n**2 - n + 5. Suppose 3*v = -v + 28. Let t be h(v). Is 1 less than t?
False
Suppose -5*v - 2*a + 5*a - 2 = 0, v - a = 0. Which is smaller: v or 4/33?
v
Suppose 5*x - v - 45 = 4*v, 4*x - 36 = -5*v. Let n = 6 - x. Suppose 0 = h + 8 - 6. Is n smaller than h?
True
Suppose -q - l + 4 = l, 4 = -2*l. Let o be 5 + -3 + q/2. Suppose -3*t = o + 3. Is t <= -2?
True
Suppose -2*l + 24 = -a + 6*a, -4*l + 12 = a. Suppose -5*y - 5 - a = f, -3*f = 4*y + 5. Which is bigger: -1 or f?
f
Suppose -n = -1 - 2. Suppose 3*q - 5*v + n*v - 9 = 0, 2*q - 4*v - 6 = 0. Is q greater than 2?
True
Let r be 3*(0 + (-4)/(-6)). Suppose r*p = -36 - 10. Is -22 at least as big as p?
True
Let p = 20 + -35. Let k be p/(-25)*(-10)/(-14). Do k and -1 have the same value?
False
Let z = 23 + -22. Is 1/3 >= z?
False
Suppose 