27745/36. Is w at most as big as 45?
True
Let g(n) = 3*n**2 - 5*n + 1. Let r be g(0). Which is greater: 3/5776 or r?
r
Let i be (0 + 7)*(-10 - (-2324)/(-49)). Is i bigger than -402?
False
Let y be (5/(10/8))/(-37). Let z = 217/1665 + y. Suppose -4 = 4*d - 3*f, -7*d - 7 = 35*f - 32*f. Are z and d non-equal?
True
Let v be (58 - -1)/((-6)/36*-2). Suppose 7*q + v = -26. Is q >= -26?
False
Let j be 6 - 2980/77960*157. Which is smaller: 0 or j?
j
Let z = -1051/88 + 81/8. Is -7/5 <= z?
False
Suppose 0 = 15*m - 14*m + 4, -3*u - 189 = -3*m. Which is bigger: u or -61?
-61
Let l = -1459 - -1458.652. Which is bigger: -2/5 or l?
l
Let v be 2/4*-2 + (-100)/2. Let r = 61 + v. Suppose -d + 9 = 4*b, 3*d - r = 2*b + 17. Is 10 bigger than d?
True
Let y be (18 - 3) + 1*2. Suppose -1 = j - 4*i, -6*j - 5*i = -2*j - y. Let g(b) = -2*b**2 - 646*b + 8043. Let l be g(12). Is j > l?
False
Let w = -1.198 + 1.038. Let p = 0.067 + -13.967. Let u = p - -14. Which is smaller: u or w?
w
Let l = -36633452 + 15296996. Let s = -1429490830/67 - l. Let t = 772 - s. Which is smaller: t or 0?
0
Let l = -7.7 + 9. Let w = 6.3 - l. Let o = -0.08853 + -0.01147. Which is smaller: o or w?
o
Let q = -0.221 - 0.014. Let g = 0.035 + q. Let c = 0.2 + g. Is -4.4 < c?
True
Let b = 31311 + -283505/9. Which is greater: -191 or b?
b
Let g(h) = h**3 - 9*h**2 + 4*h - 5. Let p be g(9). Let n = 31 - p. Suppose -2*u + 8 = 4*w, -2*u - u + w + 26 = n. Is u greater than 6?
True
Let y be 78/13*(351/(-6))/(-3). Let p = y + 119. Is 237 bigger than p?
True
Let r = -1.3 + -16.7. Let o = -257 + 254. Does r = o?
False
Suppose 5*r = 5*d + 38 + 32, 0 = 3*r - 18. Let o = -20584/2443 + -1/349. Which is bigger: d or o?
d
Let l = -2461 - -2462. Which is smaller: l or -0.07966?
-0.07966
Let v be (15/24)/5 + (-6273)/6408. Which is greater: v or -2?
v
Suppose -5*v + 3*n - 75 = 0, 75 = -3*v - 2*v - 3*n. Let l(x) = -x**2 - x + 78. Let r be l(-11). Is v bigger than r?
True
Let p be (117/(-208)*(3 + 1))/((-816)/42368). Is p bigger than 117?
False
Let v = 4516 - 2607. Let t = -139359/73 + v. Which is smaller: 0 or t?
t
Let z = 5/8 - 1/8. Let w be (535/80)/(1251/(-27)). Let g = w - 6/139. Which is bigger: z or g?
z
Let t(h) = h**2 - 2*h. Let s be t(-1). Suppose -s*j - 3*g - 108 = 0, 0 = -g + 4*g - 12. Let d = j - -41. Which is bigger: d or -1/25?
d
Let q(j) = j**2 - 3*j - 10. Let h be q(6). Let v be (-18)/(-15)*-3 - h/20. Let u be (-2)/5 + (-12)/5. Which is greater: u or v?
u
Let d be -5*(5 + 1164/(-300)). Suppose 5*v = g - 25, -5*v - 20 = -0*v - 2*g. Which is smaller: v or d?
v
Let h = 0 - -9. Let r(f) = 4*f + 80. Let p be r(-37). Let a = 76 + p. Do h and a have the same value?
False
Let x be 14 + (-17145)/(-165) + (-2)/(-22). Suppose 0 = b - 4*a - 125, 3*b - 591 = -2*b + 3*a. Is b smaller than x?
True
Let n(i) = 12*i + 251. Let d be n(-20). Suppose -d*t + 1400 = 465. Which is smaller: t or 86?
t
Let o = -324 - -364. Let j be o/(-25) - 2904/(-1840). Is j < 5?
True
Let g be (-702)/105 + (-2)/(-7). Let n = 105194 - 4208021/40. Let m = n - g. Is -1 >= m?
False
Let n(v) = v**3 + v**2 - 7*v - 6. Let j be n(5). Let r = -20196 + 20304. Which is smaller: r or j?
r
Let i = 7.6 + -8. Let a = -56 + 54. Let h be 91/(-105) + a/(-10). Which is greater: i or h?
i
Suppose 17*z - 10*z = 0. Let s be -5 + 7/((-3528)/(-2524)). Do s and z have the same value?
False
Let u = 12 + -20. Let d be 2/(6 + -4) - u. Let a be (-2)/6 + d/9. Is a less than or equal to -0.7?
False
Let y = 756 + 3144. Is 3899 at least y?
False
Let r = 990 - 7921/8. Is -9/17 equal to r?
False
Suppose 2*w + c = -2*w - 548, -2*w - c - 274 = 0. Suppose 0 = 515*t - 626*t - 13431. Let y = w - t. Are y and -12 non-equal?
True
Let n = -1885 + 1884. Which is smaller: 2/5937 or n?
n
Suppose 5*x - 91 = 4*x + c, -5*x + 461 = c. Suppose 15*h = -193 - x. Which is greater: -142/7 or h?
h
Let j = 57.68 - 60.1. Let v = j + 2.42. Which is greater: v or -110?
v
Let n(a) = 373*a - 11. Let s be n(6). Is s greater than 2226?
True
Let q = -373 + 373.3. Let b be (-4864)/(-30) + 4/(-12). Let a = -161 + b. Which is greater: q or a?
a
Let r be 2/(-17)*((-4152)/(-28))/(-3). Let l = r - 128/17. Is l < 4?
True
Let n = -28390 - -28389.7. Which is bigger: -201 or n?
n
Let s be 0 + 1 + (-6)/2. Let d be (s + (-5)/(-10))*-2. Suppose -4*h - 32 = d*g - 8*g, g - 4*h = 0. Is 6 bigger than g?
False
Suppose 1 + 4 = 5*o. Let j = o - -3. Suppose 3*s = -n + 20, -j*s = 2*n - 6*n. Is n > 6?
False
Suppose 0 = -31*k + 24*k + 2562. Let p be -2 - (1 + k/(-18)). Which is smaller: p or 17?
17
Let x = 10 + -4. Let n = 10 - x. Let m be (-1)/(-2) - 2/n. Which is smaller: 8/7 or m?
m
Let v = 1352331/3070 - 881/2. Let b be (21/(-1155)*11 + (-18)/(-15))*(1 + -2). Does v = b?
False
Let v be 2 - -13 - (2 - (-3 + 4)). Suppose 5*w - t + 11 = -48, w + 2*t = -14. Let s be (-173)/w - (-6)/8. Is s bigger than v?
True
Let u = 35713/319 - 1229/11. Which is smaller: u or 1?
u
Let c be 2 + (1155/225 - -13). Which is bigger: c or 20?
c
Let s(w) = -w**3 + 7*w**2 + 28*w + 20. Let o be s(10). Let g be 0 + 3/(-3) + o + 2. Let f(z) = z**3 - 3*z**2 + 2. Let u be f(3). Is u less than g?
False
Let r = 2/350053 - 709108/1575588553. Which is smaller: 1 or r?
r
Let i be -14 + (-156422)/126 + -7 + (-1 - 7). Which is smaller: i or -1270?
i
Let p = 49 + -22. Suppose -10*o + 5*t - 210 = -470, 0 = -2*o - t + 72. Is p > o?
False
Suppose -2*m = m - 15. Let j be 210/50 - 1/m. Suppose 6*b - 5*b - j = 0. Is 5 less than b?
False
Let i be (4 + 1/(60/(-232)))/((-28)/(-560)). Let u = -0.3 - -0.3. Let a = -0.1 - u. Which is bigger: a or i?
i
Let g be ((-40)/160)/((-1)/(-1572)). Which is greater: g or 0.7?
0.7
Let i(v) = 2*v**3 - 7*v**2 + 7*v - 4. Let k be i(3). Suppose k*t + 145 = -7. Which is greater: t or -16?
-16
Let a be (-10)/(-10) + (2 - 4). Let o be (0 + 3)/(-3) - (a + -1). Is 0 at least o?
False
Let n(y) = 269*y - 2666. Let u be n(10). Is u >= 166?
False
Let h(o) be the first derivative of o**4/4 - 6*o**3 - 9*o**2 - 19*o - 1. Let t = 7437 - 7418. Let m be h(t). Which is greater: 2/121 or m?
2/121
Let b = -0.4 - -0.41. Let j = -9759 - -9765. Which is greater: b or j?
j
Let n(b) = -2*b**2 - 5*b + 4. Let g be n(2). Let z be (-17 + (-12)/(-4))*-1. Suppose 4*a + k + 56 = -k, 3*k + z = -a. Are g and a non-equal?
False
Let s = 34.25 + -34. Let t = s - 20.25. Suppose 2*i + 3 = 3*a, -i + 5 = -6*i + 5*a. Which is smaller: i or t?
t
Suppose 0 = n - 101 + 80. Suppose -3*x + 4*h = -46, 0 = 8*x - 3*x - 4*h - 90. Which is smaller: n or x?
n
Let j(a) = -a**3 - 5*a**2 - 4*a + 15. Let f be j(-5). Which is bigger: f or -4/3?
f
Let g be (-8)/(-5) - (-12)/(-6). Let t(d) = 9*d**3 + 4*d + 4. Let r be t(-2). Let c = 76 + r. Is c smaller than g?
False
Let d = -703 - -1204. Is d smaller than -0.1?
False
Let d be 56/(-126) - 24501/216. Is 0 less than or equal to d?
False
Let b = 193 - 185. Let y be (-6 + 3 + b*1)*-15. Which is smaller: -73 or y?
y
Let j be (-16 + 7)/(((-12)/(-149))/4). Which is greater: j or -446?
-446
Let h = -8926 - -8924. Which is greater: h or 1270?
1270
Suppose -5*s + 1 + 4 = 0. Let j = -737/16 + 365/8. Which is smaller: s or j?
j
Let x = -3 + -51. Let a = -54.174 + 0.174. Let p = x - a. Is -37 at least as big as p?
False
Suppose 6*a = 35 + 7. Let u be 2 - 24/(-6) - a. Which is greater: u or 149?
149
Suppose 0 = -q - 4*a + 387, -13*q + 17*q - 3*a - 1548 = 0. Is 1932/5 > q?
False
Suppose -o + 19 + 1 = 0. Suppose -5*s + 6 = -0*s + 2*w, 0 = -5*s + 5*w + o. Let f(b) = -3*b**2 + 26*b + 61. Let p be f(-2). Which is smaller: p or s?
p
Let a = -216 + 282. Suppose -71*h = -a*h - 70. Which is bigger: 17 or h?
17
Let u = 114316 + -114406.997. Let m = 91 + u. Which is smaller: 3 or m?
m
Let q = -11413 - -11413.1. Let i be 133*(3 + 108/(-33)). Let g = -36 - i. Which is smaller: q or g?
q
Suppose -2*y - 4*n + 29 = 5, -n - 71 = -5*y. Suppose 2 = -2*g - 6, m + 3*g - y = 0. Which is greater: 27 or m?
27
Suppose -3*y - 1 = x - 3, 5*x - 22 = -3*y. Let s be y*2*(-5)/(-10) - 23. Let b be s/3*(-3 + 1). Which is smaller: 17 or b?
b
Let c = -3995249/2252070 - -479/270. Which is smaller: c or -1?
-1
Let g be ((-4)/3)/(2/(-3)). Suppose -2*j - j + 5*o = 8, 4*j + 5*o = 36. Suppose j*l + 2 = g*l. Are l and -1 unequal?
False
Suppose -5*s - 3526*w + 3524*w - 733 = 0, 5*w = -45. Let q = -278 + 1