
13/25
Suppose 2*s = 3 + 11. Do 1 and s have different values?
True
Let f = -1 - 7. Let n(x) = x**3 + 7*x**2 - 8*x + 2. Let t be n(f). Let j be 18*(t + (-15)/6). Which is bigger: -11 or j?
j
Let z(j) = -4*j + 1. Let x be z(-2). Suppose m = -4*n - 3*m - 24, 3*n + 5*m = -24. Let a be 176/24 - n/(-9). Which is smaller: x or a?
a
Let g(p) = -4*p**2 + p + 12. Suppose -33 + 9 = -6*s. Let r be g(s). Is r greater than or equal to -48?
True
Suppose 6*h = -84 - 6. Let z = h + 31. Suppose -z = -t - 32. Is -15 at least t?
True
Let y(s) = 3*s**2 - s - 2. Let n = 30 - 32. Let t be y(n). Which is greater: 11 or t?
t
Let r = -160 + 279. Which is smaller: r or -0.1?
-0.1
Let y = 3.04 + -2.94. Do y and 181 have the same value?
False
Let n = 12 - 6. Suppose -4*x + 17 - 4 = m, -3*m + 4*x + 7 = 0. Suppose t - 5 = 0, 4*t - 32 = -m*h + h. Is n bigger than h?
True
Let c = 9/248 - 3667/248. Let w = -15 - c. Which is smaller: -6/7 or w?
-6/7
Let h(x) = 2*x**2 - 4*x - 1. Let j be h(3). Let y = 5 + 6. Suppose y*r - 50 - 27 = 0. Is r less than or equal to j?
False
Let n(a) = -2*a**3 + 3*a**2 + 17*a + 13. Let k be n(4). Is k less than -9/196?
False
Let n(q) = q**2 - 7*q - 10. Suppose 0 = 3*a - 22 + 1. Let u be n(a). Let h = u - 3. Is -13 bigger than h?
False
Let f = -78013/7 - -11191. Let a = -7227788 + 1366060666/189. Let y = a - f. Which is smaller: y or 0?
y
Let j(q) = 0*q**2 - 4*q - 1 + 9 - q**2 - q. Let r be j(-6). Which is smaller: r or 4/5?
4/5
Let i = -0.219 - -0.209. Which is smaller: -2 or i?
-2
Let j be -2 + 0 - (4 - -10). Let p be (j - -17)/(5/281). Let v = p - 56. Which is smaller: -0.2 or v?
-0.2
Let d be -2*2*(-2)/(-8). Suppose 8*b - 21*b = 0. Which is greater: d or b?
b
Let r be (-171 - -170) + -4*1. Let f be 48/(-10)*72/83. Let t = -3/83 + f. Which is greater: t or r?
t
Let d = 159743/156 + -1024. Which is bigger: d or -2?
d
Suppose 664*u = 662*u + 2. Does 1/371 = u?
False
Let c(t) = 2*t - 8. Let l be c(6). Suppose l*b = b + 48. Suppose j + 5*h - 6 = 10, 0 = h. Are b and j unequal?
False
Suppose 3*d - 6*d + 54 = 0. Let n(g) = g - 5. Let b be n(7). Suppose -i = 5*f + 12, -5*f - b*i = 2*i + d. Are 1 and f nonequal?
True
Let x(v) = v**3 - 6*v**2 - 4*v + 18. Let h be x(5). Is h bigger than -6?
False
Let c(a) = a + 3. Let v be c(8). Let w(p) = 4*p - 1. Let z be w(1). Suppose -3*y - 30 = -z*r, -y + 43 + 7 = 4*r. Is r at most v?
False
Let y(j) = j**2 - 2*j - 6. Let a be y(-2). Suppose 6*q - a*q = 96. Is q <= 25?
True
Let q be 48/364*490/(-20). Which is smaller: q or -3?
q
Let h = -38.77 + -0.23. Let b = h + 40. Which is smaller: 1.2 or b?
b
Let x = -10.5 - -0.5. Let u = -12 - x. Is -2/7 greater than u?
True
Let h be -7*(-6)/27 - 2. Suppose -7*l - 51 - 75 = 0. Let j = l + 19. Which is bigger: h or j?
j
Let x(d) = d - 23. Let t be x(10). Let y be (-47)/(-2)*6/3. Suppose -5*n - 18 - y = -m, 0 = 5*n + 2*m + 50. Which is greater: t or n?
n
Let s = 2/835 - 207/16700. Is s at least 1?
False
Let o = 79.966 - -0.034. Let u = -130 + o. Is u greater than or equal to 1?
False
Let c = -310 + 309. Which is smaller: -14 or c?
-14
Let r = 205 - 125. Is 0 at least r?
False
Let f = 547 + -290. Is f >= -0.1?
True
Let f(k) = 10*k - 10. Let s be f(-3). Which is smaller: s or -41?
-41
Let b = -71205328795/3349 - -21261669. Let x = b - -6/197. Is x greater than -0.1?
True
Let t = 9.2 - 21.2. Which is smaller: t or 1/20?
t
Let m = -57 - -57. Let u(v) = v - 6. Let w be u(8). Suppose -p - 4 = -w*l, -3*l - 3*p - 7 = 5. Is m smaller than l?
False
Suppose -4*j - 23 = d, -2*j + 2 = 5*d + 207. Is -43 less than or equal to d?
True
Suppose 130 = -2*h - 20. Is -73 < h?
False
Let n = 27 - 24.7. Let f = n + -4.3. Let x be 6*(-4 - (-133)/33). Which is smaller: x or f?
f
Suppose -90 = -5*y + 180. Let c = 55 - y. Which is smaller: c or 2/101?
2/101
Let p be (876/(-324))/(-43*1/(-24)). Let i = -14/9 - p. Is 1 at most as big as i?
False
Let o be -7*(-8)/532 - (-17)/19. Is -4/27 > o?
False
Suppose 0*c = 3*c - 4*u - 61, c + 4*u = 47. Let y = -74 + c. Let x = y - -237/5. Is x at least 3?
False
Let y(t) = 147*t + 2190. Let b be y(-15). Suppose 4*l + 2*f = -64, 0*f - 4*f + 48 = -3*l. Which is greater: l or b?
b
Let i be (-4)/(-14) - (-1864)/(-56). Let n be (-13)/(-3) - (-11)/i. Are n and 1 equal?
False
Let k be 9/(-12) - -1 - (-12)/16. Are -2.4 and k unequal?
True
Let l = -35 + 95. Let f = l - 52. Which is smaller: f or 7?
7
Let u = -5764/618527 + 6/971. Which is greater: 1 or u?
1
Let p = 2.58 - 2.8. Let f = 8.78 - p. Is f at most as big as 3?
False
Let d = -8.01 - -8. Let j = 18.87 - 19. Let u = -0.23 - j. Is d greater than u?
True
Let o be (-11 - -8) + -2 + -20. Is o less than -26?
False
Let v(t) = t**2 + 23*t + 56. Let f be v(-6). Which is smaller: -41 or f?
f
Let g(b) = -b**3 + 12*b**2 - 13*b + 38. Let l be g(11). Are -14 and l equal?
False
Suppose -3 = -5*b + 2*b. Let l be ((-9)/(-696))/((-6)/(8 + -56)). Is l less than or equal to b?
True
Let c = -1 - -1.2. Let f = 69 - 75. Let g = f - -14. Which is smaller: g or c?
c
Let i(y) = y - 7. Let b be i(4). Let c be (-12)/24 + b/(-2). Let u be c/2 - 1 - 0. Which is smaller: 1/5 or u?
u
Suppose -7*g = 10 - 262. Is 0.4 != g?
True
Suppose -3*n = -2*n + 3*i - 6, 4 = 4*n + 2*i. Suppose n = 3*g + 18 + 39. Is g greater than -18?
False
Suppose -4*g + 355 = 2*r + 79, 4*g - 288 = -5*r. Is g greater than -4?
True
Let q = 49 + -52. Let z be (-4)/(-6) + (-370)/105. Which is greater: z or q?
z
Let n = -2.8 - -2. Let b = n - -1.8. Suppose q + 7 = 6. Is q not equal to b?
True
Suppose 2977 = 41*s - 5920. Which is smaller: s or 215?
215
Let d = -54 - -60. Let i(j) = -j**2 - 4*j - 1. Let a be i(-3). Suppose 4 = d*h - a*h. Is h > -2/11?
True
Let p = 79 + -30. Let x(m) = 7*m + 478. Let s be x(-61). Is p <= s?
True
Let p = 0 + 2. Let x = p - 1.96. Let w = -25/13 - -37/26. Is w greater than or equal to x?
False
Let k(g) be the first derivative of -g**3/3 - 21*g**2/2 - g + 11. Let f be k(-21). Which is smaller: -6 or f?
-6
Let x = 2.5 + -1. Let j be (-2)/6 + (-5 - (-602)/105). Do j and x have the same value?
False
Let a(z) = -z**3 - 6*z**2 + 2*z + 14. Let q = -48 - -42. Let t be a(q). Is t bigger than 9/5?
True
Suppose 0*w + 5*w - 10 = 0. Let s = 456 + -455. Is s smaller than w?
True
Suppose 0*q - 2*q = -3*z - 6, -2*z = 0. Suppose 0*s = -s + q. Suppose -4*r = -j + 16, -s*j = -3*r - r - 16. Is -1 > j?
False
Let i(f) = -f**3 + 11*f**2 - 11*f + 11. Let p be i(10). Let h be 2/(-25)*(6 - (10 - -1)). Which is bigger: h or p?
p
Suppose -3*s + 7 = -11. Let x be s*((-2)/(-4) + -1). Which is smaller: -4 or x?
-4
Let y(h) = 3*h**2 - h**2 - 6*h + 0 + h**2 + 2. Let t be y(2). Which is bigger: t or 4?
4
Let j be 3806/(-33) + (-4)/6. Let w = j + 115. Which is greater: w or 5/38?
5/38
Let m = 345 - 3811/11. Is -2 <= m?
True
Let g = -0.544 + -2.456. Is g > 10/9?
False
Let l(g) = -g**2 - 6*g - 5. Let f be l(-3). Let n be (-1)/f + (-30)/(-72). Let k be ((-3)/2)/3*0. Which is greater: k or n?
n
Let v = -1122 - -1122. Is -2/215 smaller than v?
True
Let t = 1/607 + -1237/13961. Let b be ((-20)/15)/((-2)/21) - 4. Suppose 2*l - b*n + 8*n - 4 = 0, 4*l = -3*n - 13. Which is smaller: t or l?
l
Let q(s) = -s**3 + 12*s**2 + s - 8. Let t be q(12). Let b = -18 + 67. Suppose c - 6*c + b = t*a, -3*a + 39 = 4*c. Are 9 and c equal?
True
Let l = -293 - -299. Which is smaller: l or 12?
l
Let j = -832/5 + 166. Let f = -0.3 - -0.2. Let b = f - 0.9. Which is bigger: j or b?
j
Let h = -121/30 - -21/5. Suppose 3*g + 0*p - 5*p + 67 = 0, g + 4*p = 6. Let t be (-8)/(-20) + g/10. Which is smaller: h or t?
t
Let n = 8.07 + -11.33. Is 0 less than or equal to n?
False
Let w be (-110)/14 - 2/28*2. Let h(t) be the first derivative of -5*t**4/4 - t**3/3 - 1. Let n be h(1). Is w at most n?
True
Suppose -4*r = i + 11, 106*i - 5 = 107*i + r. Let p(w) = -w + 1. Let l be p(-1). Which is bigger: i or l?
l
Suppose 0*t = -2*t - 10. Let s(v) = -v**2 - 6*v - 5. Let r be s(t). Let m be 22/(-6) + 2 + r. Which is smaller: -1 or m?
m
Let k = -839223 + 39441414/47. Let w = k + 44. Which is greater: -1 or w?
w
Let a(v) = v**2 - 5*v + 6. Let h be a(6). Let c(u) = 33 - 32 - 4*u + 3*u. Let x be c(-11). Do x and h have the same value?
True
Let q = -25 + -43. Let y = -681/10 - q. Let r = -1 + 1. Is y != r?
True
Suppose -12 = -3*y, -d - 2*y - 1 + 11 