56/847 - -6714. Which is greater: -1 or w?
w
Let k be 7/((-175)/(-1010))*20. Which is bigger: k or 809?
809
Let i be (-3)/9*-1*0. Let c be 2 - i - 112/170. Let k = c - 16/17. Which is smaller: k or -0.1?
-0.1
Let k = 122 + -110. Suppose -6*u - 2*a = -u + k, u - 3*a - 1 = 0. Is u >= -24/11?
True
Let j = -95305/9 + 10627. Which is smaller: j or 38?
j
Let c = -39.914 + -0.086. Which is greater: 1 or c?
1
Let m be 2*((-7 - -11) + 25). Which is bigger: 1 or m?
m
Let w(r) = -6 + r + 2 - 3. Let j be w(0). Let i = j - -8. Is i bigger than 2?
False
Let i be (-1225)/(-616) + -3 - -1. Is i at most as big as 1/4?
True
Suppose -h - 5*a + 265 = 0, 4*h - 3*a + 558 = 6*h. Which is smaller: h or 286?
h
Let b be -3 - 13/(156/(-42)). Is 96 equal to b?
False
Let x = 440 + -406. Which is smaller: 3 or x?
3
Let d = 89 + 5. Let h = d - 42. Is -2/3 bigger than h?
False
Let p(f) = 6*f**3 - 2*f + 1. Let g be -4 + (-4)/((-4)/5). Let s be p(g). Suppose -m + s*m = 0. Is m < 0?
False
Let f = -27 - -31. Let x be f/(352/90) + -1. Which is bigger: 0 or x?
x
Let g = -971/3 - -298. Let r = g + 388/15. Is r greater than 0?
True
Let f be 22/(-6) + -3 + 7. Let h = -0.07 - 0.01. Is f bigger than h?
True
Let m(l) = -3*l + 4. Let w be m(8). Let n = 2.22 + -2.32. Are n and w unequal?
True
Let k = 12.88 + -13. Let y = 146 + -145. Is y > k?
True
Let a be (566542 + 4)/(-2)*(-1)/148. Let i = a + -1914. Are i and 1 equal?
False
Suppose -5*z = -10, 8*v - 3*v - 3*z + 86 = 0. Let r be 132/9 + 32/24. Let x = r + -32. Is v at most x?
True
Let g be -8 + 7 + 6/(-1 + 7). Is g at least -20?
True
Let a = -59 + 69. Suppose 0 = a*u - 4*u + 24. Let i(z) = z**3 + 7*z**2 + 7*z + 7. Let v be i(-6). Are u and v unequal?
True
Let i be 0 + 4 - 2 - 11. Let c be (-14)/6 + 2 - (-42)/i. Is c not equal to 1/3?
True
Suppose 36*v = 32*v. Are 20/19 and v non-equal?
True
Suppose -5*t + 8 = -17. Suppose t*c - 12*c = 56. Suppose 4*n + 17 = -23. Is c >= n?
True
Let l = 10 - 21. Let b = l - -23. Suppose 8*d - b = 2*d. Are d and -2/5 unequal?
True
Let r = 6 + -10. Let k = r + 0. Let a = k + 4.1. Which is greater: a or 3?
3
Let c = 1172552607311/81993428 - 629225/44. Let f = c - 542256963/5514058033. Let h = -2/269 - f. Which is smaller: 1 or h?
h
Let w = 62 + -55. Let s be (-6)/1*8/24. Which is smaller: s or w?
s
Suppose -33 = 5*l - 263. Let p = l + -51. Suppose 0*x = 4*x - 4. Which is greater: x or p?
x
Let v(j) be the second derivative of j**4/12 + 7*j**3/6 + 3*j**2 + 2*j. Let l(s) be the first derivative of v(s). Let b be l(-5). Which is greater: -2 or b?
-2
Let h = -516 + 314. Let j = h + 182.8. Let v = j + 19. Do -10 and v have the same value?
False
Let g = 0.054 + 61.946. Let n = g - 62.02. Which is greater: n or 1/2?
1/2
Let c be 1*-1*(-6)/(-54)*9. Let p = -3 - 1. Which is greater: c or p?
c
Let s(u) = 36*u - 12. Let k be s(-3). Let x be 32/k*(-18)/16. Is x less than 0?
False
Let z be (-8)/(-43500)*(-1989)/12. Let x = 1/250 - z. Is x at most 1?
True
Suppose 27*d - 23 = 4. Are d and -2/463 nonequal?
True
Let f = -344.69 - -5.69. Is f at most -1/4?
True
Let r = 432 + -433. Is r at least 18/43?
False
Suppose -17 - 51 = -2*y. Let x(n) = n**2 + 3*n + 6. Let v be (-6)/4*(-120)/45. Let q be x(v). Is q less than y?
False
Let w(j) = 103*j + 375. Let o be w(-7). Is -2 bigger than o?
True
Let l = -0.5 + 0.9. Let v = 14/41 - -67/164. Is v at most as big as l?
False
Let h = 194221/122 + -1592. Which is smaller: h or -1?
-1
Let i be (-2)/(-4)*(-21 - -19) - -1. Is -6/85 at most as big as i?
True
Let d = -28 + 61. Let r = 32 - d. Is -10/11 <= r?
False
Suppose 0 = -3*k - 12, k + 0*k = -2*t + 60. Suppose -2*y = -l - 59, -2*y + 9*l + 54 = 7*l. Is y >= t?
True
Let x = -3 - -5. Let d(r) = -r**3 - 12*r**2 + 6*r + 62. Let o be d(-12). Which is smaller: x or o?
o
Let t = -984 + 978. Which is smaller: t or -1/95?
t
Let l = -476 + 1406. Which is smaller: l or 931?
l
Suppose -8*x = -7*x - 88. Let u = 1407/16 - x. Let c be ((-1)/3)/((-2)/(-6)). Which is smaller: c or u?
c
Let g = -1117.87 + 1118. Is g >= 15?
False
Let z = 2.8 + -3. Let j = z - -3.2. Let u = -45 - -46. Are u and j equal?
False
Let p(z) = -2*z - 12. Suppose -j + 2*h = -13, 0*j + 5*h + 16 = -3*j. Suppose 0 = -j*l + 2*l - 8. Let w be p(l). Does w = 3?
False
Let g = -103 + 149. Let c = 45 - g. Is -0.44 < c?
False
Suppose 0 = 5*h - p - 6, -2*p = 2*h + 3*p + 3. Which is greater: h or 12/155?
h
Let r be (-2)/((-6)/15) + 2. Let d(a) = -a**3 + 16*a**2 - 17*a + 37. Let o be d(15). Are o and r equal?
True
Suppose 4*m + 3 = 19. Suppose 3 = 5*j + 13, q - 12 = 4*j. Suppose -6*r + 27 = -r + c, -q*c + 13 = r. Which is greater: r or m?
r
Let f(g) = g**2 + 16*g - 1. Let a be f(-15). Let d = a + 9. Is -32/5 <= d?
False
Let a = 52 + -24. Suppose 3*u - p - 89 = 0, 165 = 5*u - p - 4*p. Are u and a unequal?
False
Suppose -3*j + 0*j - 3*t + 57 = 0, -5*j + t + 65 = 0. Let b = -26 + j. Does -12 = b?
True
Suppose -3*q + 4*q = -35. Let g be 1 + ((-65)/q - 3). Which is bigger: g or -1?
g
Let u = -3984 - -19919/5. Let r(d) = d**2 - 4*d + 3. Let c be (-22)/(-8) + (-1)/(-4). Let y be r(c). Which is bigger: y or u?
y
Let m(j) be the third derivative of j**6/120 + j**5/4 + 2*j**4/3 - 4*j**3/3 - 2*j**2. Let d be m(-14). Let a be 5/15 - 33/d. Which is bigger: 2 or a?
2
Let j be -3 - -12 - (-1 + 2). Suppose -j = 2*d + 3*c, -3 - 5 = 2*d - 4*c. Let n(f) = f**3 + f**2 - f - 5. Let t be n(0). Is d not equal to t?
True
Suppose -73*y = -78*y + 520. Which is smaller: y or 102?
102
Let o = -51.96 + 51. Let u = -0.04 + o. Which is smaller: 0.13 or u?
u
Let r(l) = l + 6. Let h(g) = 11 - 15 + 6. Let m(k) = -5*h(k) + 2*r(k). Let y be m(2). Which is smaller: y or 22/3?
y
Let y = 101 - 105. Let m(n) = -2*n + 5*n + 1 + 3. Let f be m(y). Is f equal to -9?
False
Let z = -292216/39 - -7492. Let w be (-5)/13 - 2/(-2). Let y = z - w. Which is greater: y or -2?
y
Suppose -z - 5*p = z + 3, 4*z + p = -33. Let c be 2/(-6)*(z + 6). Are -7 and c equal?
False
Let k = -1 + 4. Suppose k*m + b + 2 = 0, -3*m - 2*b = 2*m + 5. Suppose 0 = -5*l + 506 - 486. Is m smaller than l?
True
Let q be 2/(-6) + 69/261. Suppose 4*s = 2*s. Suppose -p = 1, 4*c + 3*p = -s*p - 3. Which is bigger: q or c?
c
Let c be 1670/(-558) + 24/8. Which is smaller: -1 or c?
-1
Let u = -234 + 222. Let o = 1 - 6. Which is bigger: o or u?
o
Let u = 41057/11598666 - 1/20242. Which is smaller: u or 1?
u
Suppose 6*f + q + 169 = 0, -2*f + 4*q = -6*f - 96. Which is greater: f or -11?
-11
Let k = 4.794 - 1.794. Which is smaller: -11/3 or k?
-11/3
Let d = 11 - 1. Suppose 13*l - d*l = 15. Suppose -5 = -0*i + i, l*i + 23 = -2*m. Which is smaller: m or 2/3?
2/3
Suppose -5*z = 4 - 64. Suppose -2*l + j + 22 = 6*j, 0 = 3*j - z. Is 3 less than l?
False
Let y = 7 - 6. Let t = 5 - y. Let n(j) = -j**3 + 3*j**2 + 4*j + 3. Let s be n(t). Is s greater than 1?
True
Let m be ((-2040)/75)/((-4)/(-10)). Is m at least -69?
True
Let x = -1185.51 + 1187. Is -0.1 less than x?
True
Suppose 54*o + 205 = 13*o. Suppose -4*t - 31 - 1 = 0. Is t >= o?
False
Let f be (-8 + 10)/((-8)/(-3) + -2). Let w be ((-4)/16)/((-10)/(-16)). Which is greater: f or w?
f
Let l = 8 + -15. Let v = -9 - l. Let o be ((-2)/3)/((-35)/(-7) + 1). Which is smaller: o or v?
v
Let i be ((-1 - -1) + -1)*0. Let u = 76/159 - 5866/11607. Which is bigger: u or i?
i
Suppose 3*c + 5*q = 161, 0*q = 5*q + 25. Let u(w) = 307*w - 1780. Let b be u(6). Is b at least c?
True
Let p = -28.068 - -0.068. Let l = -25 - p. Is l < 0?
False
Let n(g) = -13*g**3 + 6*g**2 - 6*g + 8. Let s be n(2). Is -422/5 equal to s?
False
Let u = 33 + -22. Let v = 15 - u. Let m be (-40)/64 + v/6. Is m at least 0?
True
Suppose h + 26 = -5*t, 0*h = t + 3*h - 6. Let a be 4/(1 + t + 3). Let r(j) = -6*j - 2. Let m be r(a). Do m and 9 have the same value?
False
Let m = 0.85 + -0.65. Which is smaller: m or -208?
-208
Let u be 6130/(-45) - -3 - 2/(-9). Let y be -4*1 - 874/u. Which is smaller: y or 4?
y
Let y(g) = -g**3 + 18*g**2 + 41*g + 28. Let s be y(20). Let o = 146/3 - s. Is o greater than -1.3?
True
Let c be (1/(-1 + -1))/(10/20). Are -3/352 and c unequal?
True
Let m = -6.98 - -7. Let f = -0.12 + m. Let r be (-6)/15 + (-12)/70. Does f = r?
False
Let y = -1.1 + 10.1. Let w = y + 0. Let j = w - 9. Which is smaller: j or -2/5?
-2/5
Let v = -1.4 - -2. Let m = v + -0.5. Let b = 3.