ig as q?
True
Suppose 0 = 2*t - 3*t - 5*k, 0 = 5*t - 4*k - 58. Suppose -4*p - 19 = -0*p - 5*i, t = -4*p + 2*i. Let v = -163/77 + 28/11. Which is greater: p or v?
v
Let h = 1.9 - -0.1. Let b be -1*1362*(-1)/(-14). Let v = b - -97. Is h at least v?
True
Let w = 118316/1503 - -29/501. Let r = w - 79. Let x = r + 13/18. Is -9 != x?
True
Let f be (8/6)/((-36)/(-567)). Is 108/5 >= f?
True
Let n = -728 - -67702/93. Which is bigger: n or 0?
0
Let s = 7.8 + -7.25. Let p = -0.534 + s. Which is bigger: p or -1/3?
p
Let a = -490/3 - -164. Which is smaller: a or -1/48?
-1/48
Let n be (2 + -3)*6/621*9. Let l = -1 + 0. Is n smaller than l?
False
Suppose 4*n = n + 3. Let v(y) = y - 17. Let z be v(20). Let t be (-2)/48 - (z + -3). Does n = t?
False
Suppose 0 = -h + 10 - 5. Suppose 0 = h*w + 10 - 30. Is w greater than 4?
False
Let h be ((-279)/27 - -10)*2586/(-2). Is h smaller than 2?
False
Let x = 2/2661 - -1640/178287. Is x > 0?
True
Let j = 345 + 159. Is j at least as big as 1?
True
Let h = -82 + 84. Suppose -24 + 106 = h*x + w, -x - 5*w + 59 = 0. Is 38 > x?
False
Let i be (88/(-20) + 4)*5. Let v be 1*i - (20 + -10). Let g be -3 + -10 + 2/2. Is g >= v?
True
Let g be (-6250)/175 + (-1 - (-15)/21). Which is smaller: g or -33?
g
Let f(x) = 14*x - 168. Let q be f(12). Is 158 at least as big as q?
True
Let w = 0.074 + -2.574. Let i = -1.1 - w. Which is greater: 0.2 or i?
i
Let u(w) = -w**3 - 3*w**2 + w + 4. Let d be u(-4). Let h = 21 - d. Suppose 4*v - 6*v - 8 = -2*b, 0 = -h*v + 3*b - 12. Are 1/5 and v nonequal?
True
Let j be ((-8)/(-10))/((-7)/4122580*-268). Let q = j + -1758. Is 0 > q?
False
Let b = -3.64 + 4.14. Which is greater: b or -22?
b
Let k be ((-224)/8 + 4)/((-4)/10). Let w be (k/(-155))/4*(0 + -1). Are -1 and w non-equal?
True
Let j be 6/(-3 - -6) + 2. Suppose s - j = -g, 3*s - 2 = -6*g + 5*g. Which is bigger: s or -4/33?
-4/33
Let x = -6 + 8. Suppose -64 = x*f - 4*f. Suppose -22 = -3*n - w, -3*n + n + f = 5*w. Which is bigger: 20/3 or n?
20/3
Suppose u = 5*w + 2 + 18, u - 4*w - 17 = 0. Let q(z) = z**2 + 2*z + 5. Let n be q(0). Does u = n?
True
Suppose 4*z = 261 - 1409. Does -287 = z?
True
Let p = 827 + -860. Which is greater: -17 or p?
-17
Let r be (2 - -5) + (4 - (6 + 1)). Suppose 5*h - 160 = r*m, -2*m - m = 2*h + 97. Which is bigger: m or -34?
-34
Let p = -39 - -39. Let r = -71/156 - -7/13. Is r at most p?
False
Suppose -20 = -5*y, 2*p = -6*y + 8*y - 64. Is p less than -27?
True
Suppose -2*l - l = -0*l + 12. Let p = 2/89 - 1794/623. Which is smaller: p or l?
l
Let w = -1/255 - 3313/510. Let b(v) = -v + 8. Let n be b(6). Suppose -n*m + 4*i - 8 = 0, -m + i - 17 = 2*m. Which is bigger: m or w?
m
Let d be (-8)/(-36) + 256/(-18). Suppose -3*q - q = -8. Let i be -15 - (q - 9/3). Is d < i?
False
Suppose 0 = 3*z + 5*o + 1206, 1988 - 369 = -4*z - 3*o. Which is smaller: -406 or z?
z
Let n = -714299/6681690 - -1/18306. Let q = n + 1/146. Let s = q + -7/30. Which is bigger: s or -3?
s
Let u be -10 - (-1 + 1 + -2). Let d = -182 + 179. Let y be 2/d - u/(-15). Is -1 not equal to y?
True
Let i = -673/348 - -23/12. Is -1 at least i?
False
Suppose -2*l - 96 = 3*l - v, -l - 28 = 2*v. Let h = l - -21. Suppose 4*z = 3*f - h - 2, z = f - 2. Which is greater: 3 or f?
f
Let x = -437 - -483. Are x and 46 equal?
True
Let o be (15/(-25))/((-11)/5). Let t = -49 - -54. Suppose v - 4*v - 5*x = 13, 2*v - t*x = 8. Is o at least as big as v?
True
Let x(l) be the third derivative of l**5/60 + l**4/12 - 2*l**3/3 + l**2. Suppose -36*w + 37*w = -3. Let r be x(w). Is r > -1?
False
Let b = 0.754 - 0.831. Which is smaller: -3 or b?
-3
Suppose 31 - 11 = b + 4*j, 3*b - 5*j = -8. Suppose -b*y = -38 + 2. Which is smaller: 7 or y?
7
Suppose 4*n - 1 = -q, -n + 4*q = q + 3. Let i = -18.14 - -18. Let x = -0.04 - i. Which is smaller: x or n?
n
Let p be ((-2)/28)/((-117)/1638). Is p greater than -15/257?
True
Let w(c) = c**2 + c - 4. Let g be w(0). Let f be (-12)/(-9)*(3 + (-36)/8). Let n be ((-9)/f - 1)/(41/(-41)). Which is smaller: n or g?
g
Suppose 0 = -5*r + 22 + 8. Let u be 1/(1 - 3/r). Suppose 2*q = -u*q - 8. Are q and -2 non-equal?
False
Let q be 11*((-91)/(-28) - 3). Is 2 at least q?
False
Let g(n) = -10 + 2*n**2 + n**3 - 2*n**2 - 9*n + 6*n**2. Suppose 0 = 5*l, -4*l + 14 = -2*r - l. Let b be g(r). Which is greater: 3 or b?
b
Let h = 181 - 61. Let l = h - 120. Which is smaller: l or 1.2?
l
Let j = 1 + -1. Let t(v) = -5*v**2 + 13*v + 14. Let y be t(-1). Let b be ((-1)/y)/((-69)/12 + 6). Which is smaller: b or j?
j
Let n = -1272 - -1271.95. Let y = 6 - 3. Which is smaller: n or y?
n
Let h = -82 + 128. Let m = h - 47. Is m != -0.35?
True
Let g = 3/920 - -165/184. Which is smaller: g or 2?
g
Let p be 0 + (-3)/(3/(-23)). Suppose 0 = -4*u - 4*u + 184. Are u and p nonequal?
False
Let k = 3238 + -3241. Suppose -5*n + q - 25 = 3, 5*q - 40 = 5*n. Are k and n non-equal?
True
Suppose 72*m - 45 = 27. Which is greater: 8/361 or m?
m
Let d = -62.16 - -63. Let v = d + -0.84. Is v < -17?
False
Let i = -1999.8 - -2000. Let y = -10 + 5. Is y less than i?
True
Suppose 9*m - 11*m = 4*l + 138, 5*m + l + 318 = 0. Let n be 314/(-5) - 4/20. Is n at most as big as m?
True
Let s = -7928 - -7928.1. Suppose -4*f = 2 - 30. Let a be f/(-12) + 1/3. Is a at least s?
False
Let s = -2/839 + 1688/4195. Is s < -91/8?
False
Let a = -79 - -317. Do 238 and a have the same value?
True
Let i(g) = g**3 + 9*g**2 + 22*g + 7. Let x be i(-5). Let y(a) = 2*a - 1. Let m be y(4). Let u = m - 7. Are x and u non-equal?
True
Let i(w) = -w**3 + 7*w**2 - 4*w - 10. Let y be i(6). Let q(s) = -88*s - 4. Let h be q(y). Let l = h + 2879/16. Which is smaller: 1 or l?
l
Let q be (1 + -1)*(-11 - -12). Suppose q*t + 4*t = 40. Suppose -10 = -j - 4*z - 4, 2*z - t = -4*j. Are 3 and j non-equal?
True
Suppose 0 = v - 4*v + 6. Let w be (-2)/(-1 - (2 - v)). Suppose -y = s + 5, -w*y + 0 = 3*s + 14. Is 2/13 bigger than y?
True
Let n = 0.1 + -0.3. Let y = -3918 + 3921. Which is smaller: y or n?
n
Let y be ((-5)/(-10))/(2/4). Suppose t - 3*t = -10. Let c be 39/(-165) + 3/t. Is y less than c?
False
Let r be 1 + -1 + 13855/2400. Let b = r + -88/15. Is b at most as big as 1?
True
Let n(g) = g**3 + 26*g**2 - 35*g - 69. Let s be n(-27). Is 146 less than or equal to s?
True
Let l = -370 + 356. Is -19 greater than or equal to l?
False
Let v = -9488 + 256118/27. Do -2 and v have the same value?
False
Suppose -3*p = d + 6, -4*d = d. Let a be 1672/(-728) - p/13. Which is greater: a or -1?
-1
Let v(x) be the third derivative of x**6/120 + 4*x**5/15 - x**4/24 - x**3 + 21*x**2. Let j be v(-16). Which is smaller: j or 9?
9
Suppose 0 = 5*q - 0 - 25. Suppose -q*o + 2*o + 633 = 0. Let a = 1047/5 - o. Is 0.1 less than or equal to a?
False
Suppose 3*o = 4*o - 5*w - 18, 0 = 4*o + 3*w + 20. Let h = -988/5 + 196. Is h greater than o?
True
Suppose -8*g = 12*g + 20. Which is smaller: g or -0.077?
g
Let b be 4 + (46540/54)/(-2). Let q = b - -427. Which is bigger: q or 0?
q
Let g be 5/(-35) + 1440/35. Is 41 bigger than g?
False
Let p = 21 + -15. Suppose -p*x - 16 = -2*x. Let s be x/57*-24 - 2. Does s = 0?
False
Suppose 5*v + 1 = -4. Let k = v - -5. Suppose -k*m = -z - 7, -2*m + 4*z = -z - 17. Are m and -7 non-equal?
True
Let y = 133 - 221. Which is smaller: 2/7 or y?
y
Let t = 17 + -9. Let u = t - 11. Let q be (u + (1 - 0))/6. Which is smaller: 1 or q?
q
Let j = -84 - -86. Suppose j*o = 3*s - 20, 0*s = -o - 3*s - 19. Is -17 >= o?
False
Suppose -6*f = -4 - 32. Suppose a - 4*g - 2 = 0, 3*a + 4*g - 5*g - f = 0. Is 3 less than a?
False
Let r = 0.45 + 31.55. Let k = 25 - r. Is 0 at most as big as k?
False
Suppose 0 = -5*a + 2*a. Let n = -1.5 + 2.2. Let k = n + -1.7. Is a >= k?
True
Suppose -4*r + 64 = m, -5*m + 4 + 1 = -r. Is 14 at most r?
True
Suppose -2*x + 188 = 4*f, -10*f + 8*f = 4*x - 382. Which is smaller: x or 97?
x
Let a = 122697/13 - 9433. Which is smaller: 4 or a?
4
Let a be 16/10 + -2 - (-565)/(-25). Which is smaller: 1 or a?
a
Let h = 237 - 3553/15. Is h <= -5?
False
Let m = 17.5 - -2.5. Let l = -23.3 + m. Let y = l + -0.7. Is -1/5 less than or equal to y?
False
Let v(i) = -58*i**3 - i**2 + 10*i + 4. Let a be v(-3). Which is smaller: 1532 or a?
a
Let o be 4*(-2 - 0)/2. Let q = -4 + o. Let z(h) = 2*h**3 + h**2 - 3*h - 2. Let p be z(-2). Is q at least as big as p?
True
Let x = -1