s bigger: -57/8 or d?
-57/8
Suppose 3*k = 4 - 16. Let w(x) = x**2 + 3*x + 10. Let r be w(k). Let h be 2*r/80 + (-1)/3. Which is greater: 1 or h?
1
Suppose -11 = -4*j + o - 2, 5 = -5*o. Suppose -5*q = -v - 459, 5*v + 3*q = j*q - 2373. Which is greater: v or -475?
v
Suppose -2*j - 5 + 17 = 0. Suppose -j*f + f - 10 = 0. Let x = -10235/7 + 1460. Which is greater: f or x?
f
Let o(i) = 40*i + 805. Let g be o(-36). Which is bigger: -636 or g?
g
Let g be (0 - -12)*550/160*-44. Is -1818 equal to g?
False
Let b = 2437 + -19489/8. Suppose 3 + 2 = d - c, d = 5*c - 3. Suppose 3*f - d = -1. Which is bigger: b or f?
f
Let b = -259 + 259.214. Let k = 0.014 - b. Let p = -0.08 - 0.92. Which is bigger: p or k?
k
Let r be (-121)/63 - -2 - (36/(-28))/9. Which is smaller: r or 86?
r
Let r(d) = -11*d - 92. Let s be r(-9). Which is greater: 116/21 or s?
s
Let m = -20377.985 - -20378. Which is greater: m or 60?
60
Let n be ((88665/(-8150))/23)/((-178)/(-8)). Let x = n + 4/445. Which is smaller: x or -1/4?
-1/4
Let s be (-66)/385*-5 - 36972/14. Let p = s + 50146/19. Which is greater: p or -1?
p
Let f = -33/970 + -3329/1940. Which is smaller: 131 or f?
f
Suppose 0 = 3*x + 5*s + 126, 5*s - s - 168 = 4*x. Let v = 32 + x. Suppose 0 = -8*p - 12 - 28. Is v smaller than p?
True
Let c = -2540 + 2444. Which is smaller: 0 or c?
c
Let a be 2/((-4)/3*(-81)/54). Which is smaller: a or 4?
a
Suppose -4*d + 26*d = 5896. Let v = -270 + d. Is -4.3 < v?
True
Suppose -3*n = -4*n + 61. Let a = n - 56. Suppose 3*m - 12 = -i, i - a*m = -4*i. Which is greater: i or 7?
7
Suppose s = -3*h - 3, -11 = 4*h - s - 7. Which is greater: h or 64/413?
64/413
Suppose 49 = 4*r - 107. Let n = 1193.863 + -1194. Let j = 0.863 - n. Which is smaller: j or r?
j
Let x = -25792.9908 + 25801. Let q = 0.0092 - x. Is q at most 29?
True
Let r be ((-553)/316)/(2/72672). Let q be (-2)/(12/21 - (-36168)/r). Is q less than or equal to -758?
False
Let n be 4/(-18) + (-6924)/(-54). Suppose -n = -i - 26. Suppose 21 + i = -3*h. Which is bigger: h or -42?
h
Let r(t) = t**2 - 2*t - 35. Let y be r(-5). Suppose y = 13*k + 13*k - 234. Do k and 9 have the same value?
True
Let h be (-224)/12*54/8. Let j be 9/(h/44) - 0. Let s = 563 - 567. Does s = j?
False
Let h be 0 + 7 + -7*(-2)/14. Let w be 8/(-16)*3*h. Let x be -3 + (-34)/w - (-22)/12. Is x <= 1?
False
Let j be ((-6)/(-8))/(528/(-704)). Is j <= -3/7697?
True
Suppose 4*p + 1622 = c, 4*p - 6807 = -9*c + 7991. Is c > 1645?
False
Let c = -80 + 121. Let p = c + -42. Which is smaller: -2/45 or p?
p
Let q be ((-295911)/18)/49 - 6/4. Is q > -336?
False
Let j = 7.762 + -7.262. Which is greater: j or 125?
125
Let z(s) = -s + 10. Let g be (-25)/(-3) - 5/15. Let v be z(g). Let f(y) = y**3 - 13*y**2 + 28*y + 21. Let b be f(10). Do b and v have the same value?
False
Let w be (18/13)/((180/(-258))/15). Is 0 at most w?
False
Suppose 1037 = -41*m - 603. Let k(j) = j**2 - 11*j + 22. Let l be k(8). Let u be ((-1148)/(-8))/7*l. Is u at most as big as m?
True
Suppose 5*g = -2*b - 48, -111 + 60 = 3*b - 3*g. Is 36 greater than b?
True
Let m = -2083 + 2081.961. Let j = 213.039 + -213. Let w = m + j. Is 28 at most w?
False
Let u(w) be the third derivative of 7*w**4/24 - 155*w**3/3 + 233*w**2. Let s be u(50). Are s and 43 equal?
False
Suppose 3*f + 5*t = -350, 2*f + 706*t + 231 = 703*t. Which is smaller: -1351/13 or f?
f
Let a = -5.21061 + 0.21061. Which is greater: a or -188.9?
a
Let u be 7 - (86/(-10))/((-5)/225). Which is smaller: u or 2?
u
Suppose -r + 4 + 4 = x, -x - 2 = -4*r. Is r > 70/51?
True
Let g = 0 - -1. Let l be 22/9 - 12/18. Let w = l + -347/180. Is w bigger than g?
False
Suppose 2*r + 14 = 4*c, -4 = -5*r - 3*c - 0. Are r and 5/753 unequal?
True
Let x = -25.719 - -7.708. Let t = x - -18.1. Let j = -6.911 - t. Is 1 smaller than j?
False
Let l(y) = -14*y**2 - 44*y + 48. Let v be l(-4). Suppose 0 = 4*n + q - 5*q + 16, -5*q = 0. Let x be (-73)/(-207) - n/(-18). Is v greater than x?
False
Let f = -288 - -140. Let q = 147.9 + f. Is 34/5 at least q?
True
Let b = 1096 + -1076. Is 33 less than or equal to b?
False
Let p be 1278/(-10) - ((-12)/15)/(-4). Let o = p - -128. Suppose b - 3*b - b = o. Does b = -2/59?
False
Let r(h) = -h**3 - 10*h**2 - h - 14. Let v(a) = 1. Let q(x) = r(x) + 3*v(x). Let t be q(-10). Is 1/38 less than t?
False
Suppose -2*o + 3*z = 15, 4*o - o + z = -28. Let l be ((-114)/o)/(16/(-3) + 6). Which is greater: l or 21?
21
Let s = 4964 + -292878/59. Let t(a) = a**2 + a - 2. Let l be t(1). Which is smaller: l or s?
s
Suppose -90*t = -95*t. Suppose -j = 5*w, t = 8*w - 12*w. Let c = 78/5 + -984/65. Is c greater than or equal to j?
True
Let s be 24/4 + (-76)/(-95) + (-709731)/104370. Is 1 at least s?
True
Suppose -2*j = -5*y - 65506, -2*y = j - 8934 + 35122. Which is greater: -13099 or y?
y
Let z = 37207/2100 - 124/7. Let s = 2678 - 2677. Is z >= s?
False
Let y = 21 + 24. Which is smaller: 117 or y?
y
Let x(f) = 27*f - 486. Let d be x(18). Suppose 2*i + 5*u - 74 = 0, d = 34*i - 33*i + u - 37. Let t(a) = 8*a**2 + 4*a - 3. Let q be t(2). Is i not equal to q?
False
Let y = -2545 - -542090/213. Let n = -271/8520 + y. Which is smaller: n or -1?
-1
Let c = -6135 + 6020. Are c and 0.07 equal?
False
Let y = -1/2033 - 4063/6099. Which is smaller: y or 38?
y
Let o = 105 - 37. Let c = -1.07 - -65.07. Let n = c - o. Are n and 3 unequal?
True
Let b be 6/(-2) + (-13 - -6) + 8. Let i be -9 + (25 - 3) - (b + 1). Let n = 13 + -1. Is n >= i?
False
Let f be (-1378)/(-2230) + (252/(-70))/6. Is f at least -1?
True
Let k = -179 + 373/2. Suppose 5*l + 2*l = 0. Suppose 6*z + 0*z - 42 = l. Which is greater: k or z?
k
Let x be 40/(-6)*(-2 + -1). Let f be (-78)/x - (-1 + 24/16). Suppose -5*h - 2*u - 11 = 0, -3*u = -3*h - 2*u - 11. Which is bigger: h or f?
h
Let a = -2715/7 - -386. Let j = a - -422/231. Is 0.1 equal to j?
False
Let q = -0.1 + 0.25. Let v = 31.954 + -32. Let t = -1.046 - v. Is q bigger than t?
True
Suppose 0 = 37*i - 43*i - 24276. Is -12134/3 greater than or equal to i?
True
Suppose r - 9645 = 4*k, 6790 = -4*k - 5*r - 2873. Is -2405 equal to k?
False
Let a be 0 - 8/(-12)*387/(-2). Let m = a - -131. Which is bigger: m or 0.01?
m
Let s be (0/2)/(1 - -1). Suppose 0 = -3*u + 4*d + d + 219, 5*u - 2*d - 346 = 0. Let i be -2 - ((-264)/u - -2). Which is smaller: i or s?
i
Let c = 0.6567 - 0.6567. Are c and -894.3 equal?
False
Let r(n) = 9*n**3 + 22*n**2 + 3*n + 39. Let v(x) = -5*x**3 - 12*x**2 - 2*x - 20. Let z(s) = -4*r(s) - 7*v(s). Let f be z(-5). Which is smaller: -3 or f?
-3
Let h(d) = -31 - 13*d + 7*d - 2*d - 12*d. Let n be h(-2). Which is smaller: 1 or n?
1
Suppose -4*j = p + 199, 2*j + 3*p + 86 = 7*p. Let d = -43 - j. Let f be ((-2)/d)/((-4)/(-12)). Is -5/14 greater than f?
True
Let f(i) = -i**3 - 6*i**2 + 7*i - 10. Let k be f(-7). Let o be k/(-465)*72/16. Is -0.4 at least as big as o?
False
Let c = -87 + 99. Is c >= 109/9?
False
Let b(g) = g**3 + 9*g**2 - 9*g - 10. Let y be b(-8). Let o be (-72)/y - 8/(-14). Is -26 at least as big as o?
False
Let q = -313 - -492. Let y = q + -177. Which is greater: y or -0.21?
y
Let m be 0 + -1 - 12/(-28). Let x be (12/315)/(6/(-15)). Let y = m + x. Is y at least 3/7?
False
Let a = -360673027/97701272 - -1/913096. Is a smaller than -4?
False
Let v = 44145 - 44140. Is -31 bigger than v?
False
Suppose 3*z - k - 81 = -4*k, 3*z - 87 = -k. Suppose 2*o - z = 4*o. Let n be o + 1 - (-12)/(-12). Which is smaller: -14 or n?
n
Let f be (19806/36040 - (-2)/8) + 200/(-250). Which is greater: -1 or f?
f
Let h be -3 + (4/(-8))/((9/(-274))/(-9)). Is -138 at least h?
True
Suppose -4*s + 55*v = 53*v - 16, s = 2*v + 1. Suppose -i = -5*q, 0 = -s*i - 2*q + 7*q. Which is smaller: -1/489 or i?
-1/489
Suppose -18839 = -120*g - 2848 - 1231. Is 82 smaller than g?
True
Let q = 898551/4342 - 2690/13. Is q at most as big as -1?
False
Let z = 2 + 36. Let c = 4229 - 4191. Let o = z - c. Which is smaller: 3.6 or o?
o
Suppose a - f = 79, -10*a - 2*f + 1087 = 3*a. Do 98 and a have the same value?
False
Suppose 90 = -0*l + 30*l. Suppose 6*d - l*m - 336 = 3*d, 4*d - 3*m = 451. Is 115 less than or equal to d?
True
Suppose 15 = -5*q, -232 = g - 5*q - 247. Is g less than 2/2019?
True
Let u = -16221 - -16221. Which is bigger: u or 4/3537?
4/3537
Let x(s) = -s - 6. Let y be (-594)/26 + 4/(-26). Le