2)*24/(-22 - -14). Which is smaller: -5041 or c?
-5041
Let m(w) = -152*w**3 + 24*w**2 - 18*w + 39. Let g be m(4). Is -9377 at least as big as g?
True
Let t = -34 - -15. Let m = -16 - t. Suppose -a = -2*r + 11, -2*a - m*a + 5*r = 35. Are a and -3 unequal?
False
Let b(o) be the first derivative of o**2/2 - 5. Suppose -29*y + 5*y = -288. Let t be b(y). Is t at most as big as -0.3?
False
Let b be 81/18*5/((-15)/(-2)). Suppose 5 = -5*l, l + 4 + 3 = b*n. Let x be (-1)/n*(-4 + 5). Is -14 > x?
False
Let o be (5 - -47)/(-13) - (-37)/7. Let c(f) be the second derivative of f**5/20 + 2*f**4/3 + 4*f**3/3 + 4*f**2 - 2*f. Let t be c(-7). Is t less than o?
True
Let l = 16.13788 + -0.13788. Is l equal to -4/3?
False
Let r be 63/(54/6) + 18. Suppose -r*n = 7*n - 96. Which is bigger: n or 31/11?
n
Suppose -2*q + r = -69 - 459, -5*r - 799 = -3*q. Which is smaller: q or 791/3?
q
Let j be 40/(-10) + (521920/(-45))/16. Is j greater than -728?
False
Let d = -1431 - -982. Let y = d - -449. Do y and 15/16 have the same value?
False
Let g be ((-352)/132)/((-32)/(-192)). Let k = -21 - -8. Which is greater: g or k?
k
Let c = -3 - 6. Let p(b) be the second derivative of b**5/20 + 11*b**4/12 + 5*b**3/2 - 3*b**2 + 248*b - 4. Let o be p(c). Is o bigger than -0.2?
True
Suppose 391 = 11*j - 654 - 506. Is j not equal to -17?
True
Suppose -6 = 2*k + 2*h, 0 = 4*h + 7 + 5. Let d(l) = 4*l - 36 - 5 + k*l + l**2 - 5*l. Let b be d(7). Which is smaller: b or -4/11?
-4/11
Suppose 16*y - 69 = 219. Let j(m) = -m**3 + 17*m**2 + 19*m - 17. Let l be j(y). Are l and 0.058 unequal?
True
Let q be (1 - 4)/((-7)/119). Let v = 519 + -517. Suppose -4*w - n + 119 + 78 = 0, -106 = -2*w + v*n. Do w and q have the same value?
False
Let m = 8455 + -8537. Which is smaller: -64 or m?
m
Let y = -329.346 + 329. Let m = y - -0.543. Let w = m - 0.097. Is w greater than or equal to 15?
False
Let d = 0.4304 + -0.0704. Let s = 3/40 + -23/40. Is d less than or equal to s?
False
Let p = 24703 + -24728. Let o be 0/(-1) - 9/1. Are p and o equal?
False
Suppose 9*n = 6*n - 39. Let g = 9 + n. Let k be 8/(-36) + g + 2. Which is greater: k or -3?
k
Suppose -17*k + 1097 + 3799 = 0. Let d = k - 289. Which is greater: -52 or d?
d
Suppose -7*u + 1158 = 444. Let h = u + -101. Is 1/48 equal to h?
False
Suppose 0 = -2*j + j + 97. Suppose 7*u + 4*v + 319 = 4*u, -u + v = j. Let y = u + 132. Is 29 less than y?
True
Let b be (-18)/6 - 66482/(-65). Is b less than 1021?
True
Let g(v) = -13*v - 127. Let z be g(11). Let y be 63/z*27/(-6). Which is smaller: y or 0?
0
Let o be (-2 - -3)/(3726/(-234) - -16). Let z(t) be the third derivative of t**4/24 + t**3 + 2*t**2. Let h be z(-9). Is h smaller than o?
True
Suppose 85 = -3*r + 871. Let x be -9*(r/(-672) - 24/(-84)). Which is bigger: 2 or x?
2
Let l be ((-178)/5)/1*18095/(-154). Is 4186 >= l?
True
Let k = 0 + 0. Suppose 41*j = 117 + 47. Let t be (-18)/10 - j/(24/(-18)). Is k less than t?
True
Let n = 10445 - 9870. Which is smaller: 576 or n?
n
Let f = -156 - -171. Let i be (3 - 51/f)/(5/250). Suppose -2*x - 5 = 5*q + 87, -x = -2*q - 35. Which is greater: i or q?
q
Let c = -2458 + 277756/113. Do c and -1 have different values?
True
Let h = -11525 - -11526. Is h less than 14/2469?
False
Let l(m) = m**3 - 3*m**2 + m - 4. Let p be l(3). Let g(u) = -581*u + 40. Let a be g(-4). Let h be a/4186 - (-364)/(-637). Which is smaller: p or h?
p
Let w = -13 - -8. Let d(c) = 134*c + 10046. Let o be d(-75). Is o smaller than w?
False
Let h(o) = -426*o**2 - 123*o + 251. Let r be h(2). Which is greater: r or -5101/3?
r
Let h be (-17)/(680/(-50)) + 5/(-20). Which is smaller: h or 1/54297?
1/54297
Let g(h) = h**3 + 8*h + 10. Let u be g(-3). Let q = -14 + -27. Is u equal to q?
True
Let g = 341 - 794.9. Let h = g + 454. Is h bigger than -89?
True
Let f = 7734 + -7710.22. Which is bigger: f or -2?
f
Let d(u) = 11 - 10*u**2 + u**3 - 10 + 0 + 10*u. Let c be d(9). Suppose -3*m = -3*s + 18, -5*s - m - c = 2*m. Does s = 3/20?
False
Let q = 150628241703 + -116968704183786214/776539. Let t = q - 12/3391. Are t and 0 equal?
False
Suppose 2*n - 4*n = -5*q, -3*q + 14 = -4*n. Let z(f) be the second derivative of f**3/6 + 25*f**2/2 + 40*f - 1. Let r be z(n). Which is bigger: r or 1?
r
Let a be 4/14*-35 + 26/7. Do a and 3/7 have the same value?
False
Let h = 109 + -107.51. Let w = h - 7.49. Which is smaller: 8 or w?
w
Let h be ((-82)/(-8))/(1/(-4))*1. Which is smaller: h or -52?
-52
Suppose 9*t - 4*t - 19 = 4*z, -3*z = -3*t + 12. Suppose 60 = -2*d - 5*n, -d = -4*d + t*n - 90. Let a = 24 - d. Are 54 and a unequal?
False
Suppose 1345*s - 3*i = 1342*s - 20511, 4*s - 3*i + 27346 = 0. Is -6835 less than or equal to s?
True
Let m(b) = 11*b + 17. Let c be (-22)/12 + (-43)/258. Let f be m(c). Which is greater: -7 or f?
f
Let i = 75 - 70. Let l be (i - 4)/(1 + -330)*1. Which is greater: l or 1?
1
Suppose 5*c - 5 = 5. Let u be -2 - -6 - (c + 11). Let b be (6/9)/((-6)/u). Are 1/41 and b nonequal?
True
Let s = 3517 - 10549/3. Is s greater than or equal to -279?
True
Suppose 0 = 53*x - 7944474 + 7944527. Let z be 1*(-76)/1 + 0. Which is bigger: x or z?
x
Let p(h) = h**3 + 8*h**2 + 5*h - 13. Let t be p(-7). Suppose a + 6 = -3*l, 0 = a + 7*l - 11*l - t. Which is smaller: a or -45/11?
-45/11
Let l = -14945509/7807 + 117024/211. Let k = l - -1360. Is k >= 0?
True
Let m = 140 - 121. Suppose i = -6*s + 2*s + 11, 0 = -5*i - 2*s + m. Suppose -3*j + 9 = i*f, -2*f - 4*j = -0*j - 12. Is f less than or equal to 1/28?
True
Let k = 14.057 + -13.657. Is k less than 15.95?
True
Let f be 19985/(-21) - 2/6*-2. Let n = 144551/152 + f. Are n and 0 unequal?
True
Let m = 61.61388 - 0.01388. Is m at least -4?
True
Let q be 3*4/16*36. Suppose 0 = -5*d + q + 13. Let o be (d/(-20))/((-4)/10). Which is bigger: o or 4/37?
o
Suppose -39 + 6 = 47*c + 14. Is c less than or equal to -8/21?
True
Let y = -7155.9 + 7156. Does 175/4 = y?
False
Let t be (-36)/144 - (-14562)/40. Let d = t - 365. Are d and 9 unequal?
True
Let q be (-5)/(-16)*28/(-49). Let s = -7/435 + -2501/12180. Let r = s + q. Is -0.52 at least as big as r?
False
Suppose 5*r + 5*l + 32 = 9*r, 5*r - 40 = -2*l. Let z be -1 + r/10*-29. Which is greater: z or -24?
-24
Let s be (-4)/(-14 + -16298)*-6. Which is greater: 0 or s?
0
Suppose -13*h = -11*h + 12, 2*b + 3*h = 2924. Is b greater than 1470?
True
Let y be (2 - -2)*(-10)/(-2). Let i = -19145 - -19166. Are i and y nonequal?
True
Suppose 5*m - 1159 - 510 = 3*y, 0 = -y - 3. Is 2319/7 smaller than m?
True
Suppose 5*x + 342 = 14*x. Let o = -149 - -53. Let t = -60 - o. Is x < t?
False
Let i = 2/50719 - 25156706/2079479. Which is greater: -12 or i?
-12
Let q = -461.809 + -20.191. Let o = -0.08 + -0.92. Is o < q?
False
Let m be -3 + -20*4/(-8). Let u = m - -19. Do 26 and u have the same value?
True
Let s = -0.9359 - -1.2959. Is s greater than or equal to 25/6?
False
Let v be (-1051)/5 - (-1 - 4/(-5)). Let d be 5*(-2)/36*168/v. Is d < -3.4?
False
Let v be (12/(-9))/(4/(-54)). Let r be ((-4914)/615 + 8)/(v/10). Is 0 at most as big as r?
True
Let i(r) = -12*r**2 + 238*r - 40. Let j be i(15). Is j at most as big as 830?
True
Let c be ((-705)/(-39) + -18)*(-2 + 1). Which is greater: 180 or c?
180
Suppose -20*p + 201362 = -38938. Let d be (-2)/20*p/54. Which is bigger: d or -22?
-22
Suppose 0 = -k - i + 2*i - 1033, 0 = 3*i + 15. Let l be (-4)/(-5) + -2 + k/(-90). Which is smaller: l or 9?
9
Let w = -704.3903 + -1.5097. Let q = -706 - w. Suppose 0 = -j + 41 - 135. Which is smaller: j or q?
j
Let v = 10.7 - 10.576. Let x = 0.024 - v. Are x and -29 equal?
False
Let x(g) = -27*g**2 - 20*g**2 + 0*g + g + 50*g**2 - 5. Let w be x(3). Is w < 24?
False
Let l(q) = -q**3 + 10*q**2 - 16*q + 18. Let h be l(4). Suppose -28*d = -35*d + 322. Which is smaller: d or h?
d
Suppose 7*d + 103 = 40. Let m be ((-1)/(-2))/(0 - d/4). Is -0.014 bigger than m?
False
Suppose 9 + 127 = 4*m. Let n(o) = -6*o - 3. Let d be n(2). Let u be 38/1 - d/(-3). Are u and m unequal?
True
Suppose 0 = -z - 2*w + 24, -3*z + 36 + 41 = 5*w. Let u be 4/38 - (-1)/38*z. Is u != 5/13?
True
Let m be 2 + 3/(2499/(-2044)). Is -1 > m?
False
Let s(t) = -t + 5. Let q be s(6). Let r be q/(-105)*2/(-36)*-30. Which is greater: 1 or r?
1
Let l be (-4)/7*(-8)/(-176). Let j(n) = -10*n - 6*n**2 + 5*n**2 + 216 - 191. Let z be j(