Let z = 67 - c. Is 80 less than z?
False
Suppose 3*j + 9 = 4*j. Let v = -4 + j. Suppose 0 = -5*x - v*s - 10, 0 = -3*x - s + 2*s + 10. Is 5/4 >= x?
False
Suppose -2*o - 5 = -3*o - a, -4*a = -2*o - 8. Suppose o*c + 8 = 0, 5*c + 7 = -3*g - 19. Let f be 3/g - (-7)/(-2). Is -6 greater than f?
False
Let l = -9 - -11. Let z = l - 1. Let g be ((-70)/(-20))/(1/4). Which is bigger: g or z?
g
Let f(r) = 8*r - 600. Let z be f(75). Which is smaller: z or -78?
-78
Let f = -15 - -17. Let k = -3 + 1. Let v be (k - 0) + (-9)/(-3). Which is smaller: f or v?
v
Suppose -3*d + 5*s = 2484, -3*s + 6*s - 4156 = 5*d. Is -834 >= d?
False
Let n(t) = 11*t + 4. Let g be n(-2). Let u = -19 - g. Is u at least -2/37?
False
Let c = 205/2 + -100. Let j(k) = -17*k - 661. Let g be j(-39). Is c bigger than g?
True
Let l = -3/4 - 1/2. Let t = 7/12 + l. Is t >= 0?
False
Let g = -20 - -23. Suppose -g*p + 6 = -2*k - 9, -9 = k - 3*p. Which is bigger: -3 or k?
-3
Let h = 0 + -6. Let o be (-2)/h*1/(-5). Suppose 0 = 3*x - 2*u + 3, -5*x - 5 = 4*u - 7*u. Which is smaller: x or o?
x
Let q(o) be the second derivative of -3*o - 1/12*o**4 - 1/2*o**2 + 1/6*o**3 + 0. Let j be q(1). Is j bigger than 2/77?
False
Let v = -93.7 - -93.8. Is v greater than -0.383?
True
Let s(x) = -x**2 + 2*x + 21. Let o be s(-4). Which is greater: -67/25 or o?
-67/25
Let m be (35172/68)/((-2)/2). Let q = -517 - m. Let w be 0/(-3)*(5 - 9/2). Is q less than w?
False
Let m = 364 + -366. Is m greater than or equal to 10?
False
Let c be (30 + 2)/4 + -7. Is 4/47 <= c?
True
Let q(m) = -m + 3. Let x be q(14). Let k = -13 - x. Let z = k - -1. Is 1 at least as big as z?
True
Let k be 56/70*15/48. Suppose 0 = -f - f - 2. Is f not equal to k?
True
Let l = 1 - -9. Suppose 3*n = -b - 2*n + l, 4 = 2*n. Let q = 256 + -2312/9. Is b not equal to q?
True
Let a = -0.07 + 0.01. Let y = 293.94 + -297. Let v = a - y. Do 0.1 and v have the same value?
False
Let u = 66 + -49. Suppose -3*t = -i + 10 + 5, i - 5*t = u. Is i at least as big as 13?
False
Let z = -603.296 - 0.704. Which is greater: z or -1?
-1
Let y(b) = 2*b + 3. Let k(o) = -9*o - 13. Let l(r) = 6*k(r) + 26*y(r). Let x be l(-6). Suppose 0 = 16*i - x*i. Which is bigger: -1 or i?
i
Let t be 2/(-18)*(-1 - -16). Are t and 19 unequal?
True
Let d = -11 - -21. Let l be (17 - -1)*d/30. Let c be -1 - (3 - 21/l). Is c <= -4?
False
Let f be 6/(-8) + 612/48. Suppose 10 = -h - 4*p - 2, -f = 2*h + 4*p. Is h > -1/42?
True
Let t(w) be the second derivative of w**3/2 + 23*w**2/2 - w. Let v(h) = h + 8. Let j(a) = -3*t(a) + 8*v(a). Let b be j(-4). Which is smaller: -3/20 or b?
b
Let i be (-1)/(3 + 1 + -1). Let r(s) = s**2 - 3*s + 3. Let b be r(3). Suppose -2*h + 1 = 3*x - 6, 0 = b*h + 5*x - 10. Is h at least as big as i?
True
Let o(w) = -w**3 - 18*w**2 - 17*w + 2. Let b be o(-17). Suppose c + 3*c - b*f = -6, -f = 5*c - 3. Which is smaller: c or -2/7?
-2/7
Suppose 5*k + 5*g = 9*g + 11, -3*g = 12. Let m be (-2)/(-8) - (-654)/(-952). Let n = 1/119 + m. Is n equal to k?
False
Suppose 13*o + 49 = 6*o. Suppose -2*z = -6*z - 24. Which is smaller: o or z?
o
Let d = -230.3 - -230. Are d and 16/9 nonequal?
True
Let c(o) = o**2 - 23*o + 20. Let g be c(24). Let q be ((-4)/(-6))/(g/33). Which is bigger: q or 2?
2
Let l(k) = 73*k**2 - 3*k + 2. Let w be l(1). Which is bigger: 14 or w?
w
Let i = -1932.419 - -1950.6. Let d = 18.3 - i. Which is greater: -0.1 or d?
d
Let d = -1560 - -1569. Is 144/19 greater than d?
False
Suppose b - 14 = 6. Suppose -2*s = 2*x + 70, -x + 2*s = b + 18. Let z be 2/(-5) + x/(-115). Which is bigger: z or 1?
1
Let h be (-1 - -15 - 4) + -2. Suppose -h*x + 4*x - 120 = 0. Let g be (16/30)/(6/x). Which is bigger: g or -2?
-2
Let c = 8.9 - 8. Let q = c - -10.1. Are q and 2/11 unequal?
True
Let i be -1*1072*(-3)/6. Let c = 20902/39 - i. Is 1 greater than c?
True
Let f = 661 - 700. Is f >= -41?
True
Let g = 465 + -464. Is 19/16 != g?
True
Let t = -1 + -2. Let d = t - -16. Which is greater: -2 or d?
d
Let a be (-5)/((-6405)/(-7658)) - -1*6. Is 0 not equal to a?
True
Let k = -2415.92 + 2456. Let q = k - 40. Does 3 = q?
False
Let n = -7315/8 + 913. Which is bigger: -2 or n?
n
Let y(g) = -2*g + 6. Let l be y(6). Suppose 2*z - 4*q + 7*q = 40, 0 = -2*q + 8. Suppose 0 = -z*p - 27 - 29. Which is smaller: p or l?
l
Suppose -168 = -6*i - 132. Suppose -i*l + 12*l = -6. Which is greater: l or 0?
0
Suppose -2*m = 2*m + 4. Suppose 5*l = 3 + 12. Suppose 2*n - 3*v = l + 8, 5*n = -2*v - 20. Are m and n equal?
False
Let w = -0.8 + -2.2. Let k = w - 0. Let q(j) = j**2 - 4*j + 4. Let y be q(3). Is k less than or equal to y?
True
Let z = -4.3 + 3.41. Let y = -0.99 - z. Which is greater: 13 or y?
13
Let r(f) = -f**2 + 4*f + 4. Let t be 0/1 - (3 - 2). Let j = t + 6. Let z be r(j). Is -1 less than z?
False
Let p = 3 - 2. Let u be ((-9)/6)/((-6)/44). Let a = u + -10. Is a > p?
False
Suppose 3*v - 5 = -5*l + 24, 4*l = 16. Let x be (8/(-10))/(v*10). Is x at least 1?
False
Let m be -9*(34/18 - (-10 - -12)). Which is bigger: m or -411?
m
Suppose 0*g + 9 = 3*g. Suppose -3*h = -v, -5*h + g*v = 6*v. Let a = 1/2 + -1/6. Are h and a nonequal?
True
Let n be -12 - (-2 + 3)*-1. Let f(q) = 2*q + 14. Let o be f(n). Let y = 22 - 31. Are o and y non-equal?
True
Let p be 3/(-9) + (-2)/(-6). Let l = 3.9 + 11.22. Let t = l - 15.2. Is p < t?
False
Let p = -0.0246 + 2.0246. Let l(m) = -m**2 + 6*m. Let a be l(5). Are a and p unequal?
True
Let y = -1.9 + 109.9. Does 0 = y?
False
Let y be -5 - (-4 + 1 - -2). Let f be (-4333)/15*(-12)/(-4). Let s = f + 863. Which is smaller: s or y?
y
Let t(n) = -n**2 + n - 1. Let d be -3*1 - (5 - 10). Let l be d*9/(-6)*1. Let k be t(l). Is k < 2/7?
True
Let i = 900 - 29705/33. Which is smaller: -1 or i?
-1
Let c = -25.1 - -153.1. Is c bigger than 0.1?
True
Let p(v) = v**3 - 2*v**2 + 3*v - 3. Let w(r) = -2*r + 22. Let x be w(10). Let f be p(x). Which is bigger: f or 20/9?
f
Let b = 422 - 329. Which is greater: 646/7 or b?
b
Let y(m) = 4*m - 23. Let b be y(6). Is -3/28 at least b?
False
Let g(w) = -w**3 - w**2 + w - 1. Suppose 2*z + 3*z = 0. Let n be g(z). Suppose 7*o + 10 = 2*o. Which is greater: n or o?
n
Let x = 5 - -9. Suppose 2*n + 2*n = 2*c - 4, x = -4*n - 3*c. Let y be (n - 0)/(27 + 11). Which is greater: -1 or y?
y
Let r = -9979 + 9979. Let t = 25.2 - 21. Is r smaller than t?
True
Let v = -1948 - -1843. Which is greater: 0.2 or v?
0.2
Let f = -13 - -16. Let h be (-1)/(-5) + 11/(-5). Let d = f - h. Is 6 at least d?
True
Let w(b) = 12*b + 12. Let c be w(9). Let f = c - 94. Which is smaller: f or 53/2?
f
Suppose -v = -2*c - 31, 46 = v - 6*c + c. Suppose -6*y - v = -15. Which is greater: 2/101 or y?
2/101
Let c be (-154)/(-33)*(-15)/2. Let s = c - -31. Is 1/2 <= s?
False
Let p(v) = -v**2 - 7*v - 11. Let m be p(-3). Let n = 6 - -2. Is m bigger than n?
False
Let t(v) = 191*v**3 + v**2 + 9*v + 9. Let w be t(-1). Which is smaller: -187 or w?
w
Let r = -5.6 + 6. Let p = r - 0.4. Let s = -50 + 35. Which is smaller: s or p?
s
Let v = 31492/31 + -1016. Let q = 227 + -226. Is q greater than or equal to v?
True
Let v(z) = z**2 + 1. Let b be v(0). Let f(p) = 17*p**3 + 2*p**2 - 2*p + 1. Let g be f(b). Is 50/3 at least g?
False
Suppose 8*o + 13 = 21. Which is greater: o or -37?
o
Let a = -17441 + 91437/5. Let m = a + -849. Which is greater: m or -2?
-2
Suppose 2*u - 16 = 3*n, -3*n + 11 = 5*u - 8. Let g be 8*-2*(-15)/30. Suppose 14 = 3*r - 2*l, -2*r + g = -2*l + l. Is n less than or equal to r?
True
Let h be 1091/3 + 1*(-1)/(-3). Is 365 less than or equal to h?
False
Suppose 0 = -18*n + 43*n + 75. Which is smaller: n or 322?
n
Let z(j) = 6*j**2 + 3*j + 1. Let t be z(-1). Suppose 5*q = s - 17, -t*s = q + 10 + 6. Is -13/3 >= s?
False
Let f be ((-620)/(-190))/(20/2). Let l = -10/19 + f. Which is bigger: l or 0?
0
Let i = -2 + 2. Let f = 2084/117 - 220/13. Is i > f?
False
Let l = -2 + 1.6. Let o = l - -0.3. Let m = -60.92 - -61. Is m less than or equal to o?
False
Let b be 802/(-60) + (-10)/(-60). Which is bigger: b or -14?
b
Let a(g) = g**2 + 22*g - 45. Let d be a(-24). Let w = 125 + -117. Which is smaller: d or w?
d
Let n be 0 + (-1636)/(-444) + -3. Let i = n - 2/111. Which is smaller: 1/4 or i?
1/4
Let o(d) = -d + 19. Let i be o(16). Suppose 5*r - j - 62 = 0, -2*j = i*j + 10. Which is bigger: r or 47/4?
r
Let r be (-3)/(