0 + 4/(20/(-15)) + -53. Let t be (-170)/w - 11/((-44)/(-12)). Is 0 equal to t?
False
Let a = 107.0776 + -107. Let m = 23.0224 + a. Which is greater: m or -0.2?
m
Suppose -42*b - 161907 = 21*b + 24*b. Is -1861 at least b?
True
Let p(q) = 2*q**3 - q**2 - 6*q - 10. Let s be p(-3). Let v be 18/(-33) - 30/s. Let g be ((-3)/8)/((-54)/(-8)). Does v = g?
False
Let z(c) = -9*c**2 - 37*c - 217. Let y be z(-9). Which is greater: y or -612?
-612
Let m(t) = 1136*t - 8232. Let k be m(7). Which is bigger: -305 or k?
k
Let m be (32/6 - 4)*-3. Let p be (-1 - 10/m) + 110/(-44). Which is greater: p or 2/93?
2/93
Let d be -2 - ((0 - -2) + -4). Suppose 0 = -f + 3*f + 3*g - 13, -2*f - 4*g + 18 = d. Let j(x) = -2*x**2 + 39*x + 17. Let b be j(20). Are b and f nonequal?
True
Let g(z) be the third derivative of -z**6/120 + z**5/5 - 3*z**4/8 - 31*z**3/6 - 73*z**2. Let o be g(11). Which is smaller: o or -10?
-10
Let u = -53.6 - -448.6. Let r = u + -395.1. Let f = -12 + 8. Which is smaller: r or f?
f
Let z = 1458 - 1841. Which is greater: z or -386?
z
Suppose 39334 = 4955*h - 4813*h. Which is greater: h or 265?
h
Let m(h) = 20*h + 35. Let o be m(-2). Let q be o/(-20) - 1 - 12/(-16). Is q greater than -2/433?
True
Let u be 139/(-5)*-5 + -6. Suppose -258 = -2*j + 4*t, 2*j + 21*t - 24*t = 260. Is u at most j?
True
Suppose 3*i + 2*i = 20. Suppose 13*k - 4*k + 55*k = 0. Suppose k = -5*q - i + 14. Is 2 bigger than q?
False
Let n = 2.36 + -2.42. Let g = n + -0.14. Let z = 5 + -3. Which is bigger: g or z?
z
Let u = 576440 - 35551937002/61675. Is 0 at most u?
False
Let z(s) = -s**2 - 5*s + 4. Let i be z(-6). Suppose -1628*f - 52 = -1654*f. Let k = f + i. Which is smaller: k or -3/11?
-3/11
Let p = 163 - 101. Suppose -4*w - c + 238 = -2*c, -w + p = c. Let q be (366/w - 6)/(1/6). Are q and 4 non-equal?
True
Let u = 381803/616 - 4337/7. Which is smaller: u or -6?
-6
Suppose 5*v + 6 = -n, 53*v - 54*v - 5*n - 30 = 0. Which is smaller: v or 2/3977?
v
Let r = 1845 - 1843.613. Let i = r - 0.387. Which is greater: i or 0.05?
i
Let v(r) = 2*r**2 - 264*r - 6084. Let c be v(-20). Let y be 58/(-9)*9/12. Is c greater than y?
True
Let q(m) = m**3 + 10*m**2 + 15*m + 4. Let j be q(-8). Suppose 0 = j*g - 110 - 226. Suppose -t = -3*t + g. Is t < 13?
False
Let q = 2/8823 - 150103/494088. Which is bigger: q or -2/3?
q
Suppose -2*o - 5 = 5*c, 2*o = -12*c + 8*c - 4. Do o and 30/323 have the same value?
False
Let j = -12125.41 - -12252. Let u = j + -1.59. Let k = 119 - u. Which is bigger: 5 or k?
5
Let v(h) = 208*h - 1373. Let q be v(6). Let s = -2 - 125. Which is smaller: s or q?
s
Let b(z) = -3*z + 1. Let f be b(1). Suppose 2*i = -10, 3*c = c - 3*i - 33. Let a be (-6)/f - (c + 11). Which is greater: -3/26 or a?
a
Let q = -12/20719 - -156865/20428934. Which is bigger: -2/7 or q?
q
Let c be (-10)/(-100)*170 + -17. Which is smaller: -8/393 or c?
-8/393
Let w(y) = 4*y**2 - 11*y + 9. Let m(j) = -5*j**2 + 10*j - 8. Let t(s) = 2*m(s) + 3*w(s). Let k be t(5). Let f be 81/k - (-10)/40. Is -19 less than f?
False
Suppose -3*p = -4*p + 33. Let w = 2470 + -2504. Let z = p + w. Are -4/5 and z non-equal?
True
Let b(y) = 4*y**2 - 38*y - 46. Let d(j) = -2*j**2 + 19*j + 23. Let i(r) = -4*b(r) - 9*d(r). Let t be i(9). Is -30 <= t?
False
Let p = 57 + -127. Let o = 53 + p. Let x = o - -16. Do x and -8 have different values?
True
Let l = -20.11 + 0.11. Let o = 36 + l. Let c = 15 - o. Which is greater: c or -1/5?
-1/5
Suppose 0 = 14*n - 34*n. Suppose 5*w + 5*s + 21 + 4 = n, 0 = -5*w - s - 5. Is w at least as big as 1/423?
False
Let q = -812 + 765. Let a(n) = -n**3 + 9*n**2 - 16*n + 17. Let r be a(8). Is q at least as big as r?
True
Let y(m) = -3*m**2 - 4*m + 2. Let d be y(-4). Suppose 43 = w - j, -4*j = 4*w - 0*w - 132. Let t = w + d. Which is greater: t or 6?
t
Let j = 2293 + -1815. Do j and 480 have the same value?
False
Let n = -106 + -110. Let d = -649/3 - n. Which is smaller: 0.63 or d?
d
Let h = 4329 + -4328. Is 2/543 greater than h?
False
Let h = 416 + -530. Which is greater: h or -88?
-88
Let a = -1.928 + 384.928. Which is smaller: 0.08 or a?
0.08
Suppose -12 = -4*a + 4. Let n(w) = w**3 + 3*w**2 + 4*w**2 + w**2 - 4*w**2 + a + 4*w. Let f be n(-4). Is -12 less than f?
False
Let a(j) = j**3 + 97*j**2 + 194*j + 250. Let v be a(-95). Is v at most as big as 1?
True
Suppose -2*v - 88 = -0*v. Let u = -35 - v. Let a = u + -10. Is a bigger than 11/3?
False
Let m = 8 - 4. Suppose -2*i + m = 2*i. Let v = -12925/312 - -538/13. Are v and i non-equal?
True
Let g(i) = -i**2 - 52*i - 40. Let w be g(-35). Suppose -w*z + 553*z = -22. Let y(a) = -a**3 + a**2 + 2*a. Let s be y(2). Which is bigger: s or z?
z
Suppose 22453 = -35*q + 1628. Is q less than or equal to -594?
True
Let p(s) be the first derivative of s**3/3 + s**2/2 - 24*s + 114. Let z be p(-6). Is z at most as big as 0.03?
False
Let o(l) = -4374*l**3 - 8*l**2 + 39*l - 29. Let p be o(2). Is 1 smaller than p?
False
Suppose -3*m = 1 + 2. Let i = 28439/9782 - 198/67. Let p = i + -61/4818. Which is smaller: p or m?
m
Let d(m) = m**2 - 33*m + 26. Let i be d(33). Suppose -3*a = z - i + 2, -4*z = -4*a - 48. Which is bigger: z or 14?
z
Let b = 5759 + -5891. Which is smaller: -134 or b?
-134
Let u(v) = v**2 - 31*v - 144. Let j be u(33). Is j less than -64?
True
Suppose -4*o - 12 = -2*f, 4*f = 77*o - 75*o - 12. Suppose 4*c + 0*c + 20 = 0. Let s be ((-25)/(-45))/(c/f). Does 18 = s?
False
Let s = 80.95 - 27.95. Is -16 greater than s?
False
Let a be 6/(-10) - 28640/100. Let b = 405 + a. Is 119 > b?
True
Let z = -142 + 67. Let s = z - -58. Let v = 181/3 - 60. Is s != v?
True
Let w be 337/(-63) - (-144)/(-1512). Which is greater: -4 or w?
-4
Let x = -1383221/230 + 6014. Let d = -18 - -17. Which is smaller: x or d?
d
Let r(g) = -45*g**2 + 30*g - 98. Let v be r(3). Is v != -411?
True
Let n = 67 + -46. Let t = -149.2 + 128. Let q = t + n. Which is smaller: 6 or q?
q
Let k(u) = u - 6. Let n be k(11). Suppose 5*h = -15, n*p + h + 3*h + 37 = 0. Suppose 7*g = 22*g - 15. Are p and g equal?
False
Let n be (-6)/15 + (-32)/370. Suppose 623*k - 1112 = -489*k. Which is smaller: k or n?
n
Let b = -10 + 50. Let n(f) = 25*f + 941. Let y be n(-36). Is y bigger than b?
True
Let v(s) = s**2 - 57*s + 1120. Let y be v(36). Which is greater: 340 or y?
y
Let v be (-5)/4 - (-2345)/(-140). Let j = -30 - v. Which is greater: -2/37 or j?
-2/37
Let p(l) = 1251*l + 7505. Let i be p(-6). Which is smaller: i or 5/1543?
i
Let d be (-16 - (-43 - -27))/(-2*1 - 1). Is 660/49 not equal to d?
True
Let s = 106 + 288. Let l = s - 595. Which is bigger: -199 or l?
-199
Let y be 1 + -3 - 6/(-2). Let s = 127929 - 127958. Do s and y have different values?
True
Suppose 4*s - 4*z = 208, -136 = -3*s - 5*z + 36. Suppose 0 = -5*m + 6 + s. Suppose -3*c + m - 3 = 0. Which is greater: c or 1?
c
Suppose -30*a = 11 + 739. Suppose -7*r = -6*r - 1. Is a less than or equal to r?
True
Let y(i) = i**3 - 22*i**2 - i + 23. Let h be y(22). Let j be -6 + (-52)/(-9) + (h - 1). Let c = 0 - -1. Are j and c non-equal?
True
Let u(l) = l**3 - 6*l**2 - 73*l - 7. Let m be u(-6). Which is smaller: m or 1/4595?
m
Let y = 148.869 + -149. Let j = y + 53.131. Let z = 11 - j. Do z and -0.1 have different values?
True
Let v(d) = -d**3 + 6*d**2 + 10*d - 80. Let o be v(7). Which is smaller: -657/11 or o?
-657/11
Let k be (((-560)/294)/(-10))/(10/15). Is -2056 smaller than k?
True
Let a = 7433.3 - 7432. Which is bigger: a or -6?
a
Let c be (2*2)/((-2)/(-4)). Suppose 10*s - 6*s = -2*d - 1094, 3*s = -d - 821. Let x = 281 + s. Is x <= c?
True
Let r = 42 + -39. Let t be r/(75/170)*5. Suppose -n - 6 = -z, z + n - t = -3*z. Which is smaller: 1 or z?
1
Suppose 0 = 12*k - 80*k + 21*k - 799. Which is smaller: k or -10?
k
Suppose -4*t + 10*t = 0. Suppose t = 2*g - 14 - 12. Let y = 10 + g. Is y < 21?
False
Suppose 9 - 3 = 3*t. Let n be (t/60*-3)/((-65)/20). Is n at most 0?
False
Let m = 64163/6335 + 39/905. Which is bigger: 9 or m?
m
Let l be 2 - (0 + 2*2). Let j be ((-3)/15)/1 - (-981302)/689535. Let o = 2/2189 - j. Is o equal to l?
False
Let d(q) = 59*q + 24. Let f be d(4). Suppose 230 = 7*z - f. Is 70 != z?
False
Suppose 4*j + 9 = -11, 3*j + 30 = -3*c. Let x(b) = -4*b - 16. Let q be x(c). Let t be (-6)/(-5) + q/(-20). Which is smaller: t or 1/79?
1/79
Let w = 3706.9766 - 3707