bigger than 16?
False
Let y = -0.4 - -1.4. Let d = y + -0.9. Let l = 12 - 11.8. Is d greater than l?
False
Let s(x) = -9 + 1 - 3*x + 4*x - 9. Suppose -53 = -5*o - 18. Let r be s(o). Which is greater: -9 or r?
-9
Let i(w) = -w**2 + 7*w - 3. Let s be i(6). Let f = s - 3. Let y = -11.86 - -6.86. Is y greater than f?
False
Let k(m) = 13*m - 187. Let v be k(15). Is 63 at most as big as v?
False
Let l be 24/(-56) - 25145/(-35). Which is greater: l or 719?
719
Let d = -30/47 + 656/1175. Let k = -37 - -29. Let z be ((-3)/1 + 2)*(9 + k). Is z greater than or equal to d?
False
Suppose 3*g - 3 = 9. Suppose -16 + g = 4*y. Let j(z) = z - 19. Let u be j(15). Is u != y?
True
Let s(l) = l**2 - 2*l + 30. Let o be s(0). Let n be ((-40)/o)/((-14)/(-24)). Which is greater: -1 or n?
-1
Let w = -210 + 135. Let q = w - -73. Which is smaller: -36/13 or q?
-36/13
Suppose 159*t - 158*t - 141 = 0. Which is smaller: 0.1 or t?
0.1
Let s = 37039/608 + -1183/19. Which is bigger: -2 or s?
s
Let d be -2 - 7 - -6 - 378/(-51). Which is bigger: d or 4?
d
Let c be 18/(21/(-3) + 9). Let z(t) be the third derivative of -t**4/24 + 5*t**3/3 - t**2. Let d be z(c). Is d smaller than 1?
False
Let z = -247/132 - -7/4. Is 2 not equal to z?
True
Let a = -2.5 - -2.545. Let t = a - 5.045. Which is bigger: 4/9 or t?
4/9
Suppose 5*i + 3*k = 15, 5*k - 5 = -2*i + 20. Suppose -3*o - o = i. Let d = -33/4 + 8. Is o greater than or equal to d?
True
Suppose -3*u = -g - 3*g + 8, 5*g = u - 1. Which is greater: g or 2/995?
2/995
Suppose -2*s = -6 - 2. Let y be (-9)/30*s/9. Do 0 and y have the same value?
False
Let x = -123 - -125. Do x and 42/13 have different values?
True
Suppose -l = 2*l. Suppose l = -0*m + m - 7. Suppose -4*c = -4*r - 20, 3*c = m*c - 3*r - 17. Is 2 at most c?
True
Suppose 0 = 2*x + 7*i - 2*i - 23, 0 = -x - 4*i + 13. Let n be -1 - 2/((-14)/x). Suppose -p = 5*y - 9*y - 7, 4*y + 4*p = -32. Which is smaller: y or n?
y
Suppose 15*h - 15 = -0*h. Is 2/223 <= h?
True
Let z = -3 + 1. Let o(s) = -2*s**2 - s. Let t(h) = -h**2 - h. Let r(g) = z*o(g) + 3*t(g). Let w be r(2). Is w at most as big as 5/6?
False
Let l(t) = -21*t - 19. Let w be l(5). Which is smaller: w or -122?
w
Let z = 17 - 12. Suppose 4*x = z*p - 325, 3*x + 2*x + 5*p = -395. Let y be 1780/x - 2/(-8). Is -21 less than y?
False
Let q(r) = -2*r**3 + 58*r**2 - 4*r + 56. Let v be q(29). Which is bigger: v or -62?
v
Suppose l + 20 + 16 = 0. Let x = 35 + l. Which is bigger: 1/3 or x?
1/3
Suppose 5*t = -h - 2, -t = -5*h + 2*t - 10. Suppose 9*b = 16*b + 21. Let j = h + b. Which is smaller: -4 or j?
j
Suppose -2*y = -10, -2*y = 4*j + j - 20. Suppose -3*v = -j*p - 8, -3*p = -3*v - v + 10. Suppose h - 6 = 2*w, -7 + 1 = h + 4*w. Which is greater: v or h?
v
Let c(i) = -2*i**2 - 18*i - 15. Let j be c(-8). Suppose -2*r + 15 = -7*r. Let d be -3 - r/((-6)/(-8)). Is d >= j?
True
Let m = -1559 - -1583. Is 93/4 at most as big as m?
True
Let o = 22.8 - 1.8. Let r = 2 - o. Let x = 19.1 + r. Which is greater: 0.3 or x?
0.3
Suppose -75 = 6*v - 3*v. Let u = -13 - v. Suppose 7*q + 10 = u*q. Is q less than 5/2?
True
Suppose j = -5*l - 26, 4*j + 7*l + 19 = 4*l. Let s be ((-18)/27)/(-2 + (-8)/(-3)). Let p be (s - 4)*(21/(-7))/(-24). Which is smaller: p or j?
j
Let q(w) = -w**2 - 16*w + 13. Let s be q(-13). Let o be 0 - (8/s)/1. Which is bigger: o or -2?
o
Let s(j) be the third derivative of j**5/60 + 11*j**4/24 + 11*j**3/6 - 29*j**2 + 2. Let v be s(-10). Which is greater: 0 or v?
v
Let c(z) = 4*z - 85. Let q be c(21). Which is smaller: -2/2355 or q?
q
Suppose 189 = -2*h + 3*h. Suppose -9*l + h = -6*l. Let c be 4/6 - (-147)/l. Is c at most 3?
True
Let c = 7.844 - -0.056. Let k = 8 - c. Which is bigger: -1.1 or k?
k
Let u(w) = w**3 - 18*w**2 + 44*w + 8. Let a be u(15). Let i = 8 + -17. Is i at most a?
True
Suppose -3*k = 0, -2*o - 5*k + 16 = 2*o. Let f be 0/(4 + (-12)/o). Let r(j) = j**3 - j**2 - j + 3. Let x be r(0). Which is greater: f or x?
x
Suppose -2*n - 6*o + o + 1 = 0, 0 = 2*n - 4*o - 28. Is 6 >= n?
False
Let a be (57/(-190))/(576/(-10)). Suppose -11*g + 18*g + 7 = 0. Is a not equal to g?
True
Let k(v) = -v**3 + 7*v**2 + 8*v - 1. Let n be k(8). Let m = -1 - 3. Let j be 1/m - 10/24. Which is smaller: j or n?
n
Let o = 33.4 - 8.5. Is o > -1/7?
True
Let w = 0 - 6. Let i = -10 + 15. Suppose -i*r = 20, 21 = -2*s - 3*r - 1. Is s at most as big as w?
False
Let f = 0.3 + -0.2. Let x = -906 + 908. Are f and x equal?
False
Suppose -8 = -3*h - 32. Is h >= 2?
False
Let h be -1 + 1 + 3 + -1. Let r be (-9)/6*12/h. Let c be (-4)/6 + (-6)/r. Is 1/4 greater than c?
True
Let l(n) = 2*n**3 - n**2 - 4*n - 7. Let y be l(-3). Let f = 53 + y. Is f > -1?
False
Let m(n) = n**2 - n - 4. Let c be m(3). Let b = -427 - -427.12. Which is bigger: c or b?
c
Suppose -2*u = -2*h + 52, u - 3*u = -3*h + 76. Let z = 73/3 - h. Which is smaller: z or -1?
-1
Let k be ((-1)/3)/((-1)/(-3)). Let f = 103/539 - -4/49. Is k bigger than f?
False
Let h(g) = -g**2 - 12*g - 3. Let o be h(-12). Let d be o/3 + 63/2. Let u = -30 + d. Are u and 0 nonequal?
True
Let k = 0 - 1. Let q(l) = -l**2 + l. Let p be q(1). Let g = p - k. Are 1 and g unequal?
False
Let b = -0.049 - -3.749. Let s = -3.86 + b. Are 0.1 and s non-equal?
True
Let l = 293 + -270. Is l smaller than 19?
False
Let h = -1575 + 1457. Is 6/7 not equal to h?
True
Suppose y = 2*j - 4*y + 55, 3*j - 5*y + 70 = 0. Suppose 3*s + 0 + 15 = 0. Let b = j - s. Is b <= -10?
True
Let d = 1474 + -2253. Is -779 > d?
False
Let q = -1482 + 1464. Which is smaller: q or -17?
q
Suppose -4*t = -6*t - 4*a + 2, 0 = -3*t - 2*a + 3. Is 2/53 greater than or equal to t?
False
Let t = -95.932 + 96. Let g = -2.932 - t. Are -12 and g non-equal?
True
Let v = -998/9 + 111. Let p = -8.7 - -8.2. Is p smaller than v?
True
Let y = -153752/1074689 - -8/17241. Let q = 2/51 - y. Which is smaller: q or 1/3?
q
Let f = 2378 + -16638/7. Let j be (-3)/2*(-16)/6. Suppose j*t - 5*b + 21 = 0, 0*t + b = 2*t + 3. Are t and f non-equal?
True
Suppose -4*j + 6*j + 167 = 5*s, -j = 4*s - 131. Does 137/4 = s?
False
Let k = 508 - 508.56. Is k at least -1?
True
Let r = 707 + -885. Which is bigger: r or -533/3?
-533/3
Let a = -280 - -279.976. Is -2/7 greater than or equal to a?
False
Let x be 17/(-68) - 87/4. Let w be (-11)/x*(2 + 0). Which is smaller: w or -1/27?
-1/27
Let d(s) = -s**2 - 26*s + 103. Let q be d(-35). Do -210 and q have the same value?
False
Let p = 680 - 673. Is p bigger than -5?
True
Let w = 5 - 2. Suppose 4*c + 15 = 3*c - z, -w*c - 43 = 4*z. Let f = -10 - c. Which is smaller: 8 or f?
f
Let z(a) = -2*a**2 - 9*a + 2. Let m be z(-8). Let i = 58 - m. Let s be i/(-162) + 42/63. Which is smaller: s or -1?
-1
Let p = 2 - 1. Let m be (-3)/(1 - 0) + 2. Let w be m - -1 - (1 + -1). Which is smaller: p or w?
w
Let c = 1 + -1. Let v = -154/711 - -118928/148599. Let n = v + -18/19. Which is smaller: c or n?
n
Let b(g) = -g**3 - g - 1. Let h(d) = -4*d**3 - 4*d**2 + 2*d - 2. Let x(z) = 3*b(z) - h(z). Let s be x(-5). Is s at most 3?
True
Let t be (27/6)/(4/8). Let q = t - 7. Is 2 greater than q?
False
Let a = 1/12 + -3/4. Suppose m = 3*o - 2*m - 6, 5*o - 4*m = 9. Suppose -5*x + k + o = 4*k, 4*k = 2*x + 10. Which is greater: a or x?
a
Let t(h) = h - 22. Let r be t(24). Let c = 26/5 + -322/85. Is r at most as big as c?
False
Let s be (-3)/(-2)*(-1)/(-3). Let g be (1/2)/(7/(-14)). Let f(y) = -4*y**2 - 3*y - 2. Let t be f(g). Is t bigger than s?
False
Let w be (2/(-3))/(1831/(-141) - -13). Is -40 > w?
True
Let o(x) = x**2 - x. Let d = 1 - -2. Suppose -d*c = c. Let f be o(c). Is f <= 8/9?
True
Let d = -21.7 + -3.3. Let j = d - -25.4. Which is smaller: 0.2 or j?
0.2
Let o = -2/7007 + -21017/14014. Is o bigger than 20?
False
Suppose v + 10 = -3*p, 2*v + 14 = -0*v - 4*p. Let n(m) = -3*m + 9. Let f(h) = -5*h + 17. Let q(w) = 4*f(w) - 7*n(w). Let o be q(-8). Is o != v?
True
Suppose 23 = 10*n + 563. Is -60 bigger than n?
False
Let i = -5 - -4.86. Let l = 1 - 0.94. Let w = l - i. Which is greater: 6 or w?
6
Let m = -968 + 945. Which is smaller: m or -26?
-26
Suppose -3 + 5 = v. Let b = 24 - 17. Suppose 15 = v*s - b*s. Which is bigger: s or -4?
s
Let k = 4 + -3. Suppose -5*i + 3*i = -4. Suppose 0 = z + 2*c - 5, -4*c + 6 - i = 0. Which is bigger: z or k?
z
Let y = 40.9 - 39. Let o = y - 2. Let p = -3.009 + 0.00