14 = 0. Which is bigger: p or s?
p
Let s be 15/306 - 10/60. Let d = -488 + 487. Which is smaller: s or d?
d
Let j be (1309/35 - -7)/((-4)/(-10)). Suppose -2*h = -2*i - 55 - j, -157 = 2*i - 5*h. Which is smaller: -85 or i?
i
Suppose 362*s = -74*s + 401799 + 587049. Is 2266 != s?
True
Suppose 6 = 5*r - n, 4*n = -r + 4 + 14. Suppose -r*o = 20 + 8. Suppose 106*c - 102*c = -64. Which is greater: o or c?
o
Let p(w) be the second derivative of -7*w**3/6 + w**2/2 + 3*w. Let i be p(-2). Let o(f) = -4*f + 2. Let a be o(-3). Which is greater: i or a?
i
Let v(i) = 2*i + 13. Let h be v(-9). Suppose 4*o = -5*b + 62 - 17, 15 = -b + 4*o. Suppose 34 = -b*t + 4*p, -5*t = -3*p - 0*p + 33. Is t bigger than h?
False
Let l = -43247/35 + 1251. Let h = l + -79/5. Is -19 bigger than h?
False
Let l be ((-12)/(-2))/(1816/72867). Is l greater than 242?
False
Suppose -4*o - 8 = -2*t, 5*t - 2*o = 6*t - 12. Let a be 6740/(-60) + t/6. Is -110 at most a?
False
Let o = 4636 + -5320. Which is smaller: -682 or o?
o
Suppose -3564 = 11*t - 22*t. Let u be (-188)/21 - t/(-36). Is u >= 0?
True
Let c(o) = 15*o - 36. Let a(p) = -13*p + 36. Let l(t) = 3*a(t) + 2*c(t). Let g be l(4). Let n = -13175/61 + 216. Which is bigger: g or n?
n
Let m(k) = -k**2 + 8*k - 2. Let b be m(9). Let n(y) = 2*y**3 - 13*y**2 + 20*y - 38. Let l be n(5). Which is greater: b or l?
b
Let q = -158 - -157.9. Which is smaller: 0.692 or q?
q
Suppose -2*x - 4*j = -152 + 26, 33 = x - 4*j. Suppose -71 = 3*f + 3*a + 7, -2*f - a - x = 0. Which is bigger: -1 or f?
-1
Let s be 249/12*-15 - (-9)/(-12). Let l = s - -4060/13. Is 0.4 <= l?
False
Let j = -96 - -94. Let p be (-152)/(-9) - j/18. Is p > 69/4?
False
Let f be (0/(-1))/((-6)/(-2)). Suppose 23 = -15*l + 16*l. Let s be (-4)/16 - l/(-20). Is f smaller than s?
True
Let l = 2086 + -2234. Is -141 <= l?
False
Let l(m) = -417*m**2 - 15*m + 6. Let o be l(-3). Are -3702 and o nonequal?
False
Let z(k) = -28*k**2 - 67 + 54*k**2 + 5*k**2 + 68*k - k**3. Let y be z(33). Which is greater: y or -120/13?
y
Let q = -225.9 - -353.9. Which is bigger: 4/7 or q?
q
Suppose 17 = -5*i - 353. Suppose 42*g = 965 + 1513. Let t = g + i. Are t and -14 equal?
False
Let l be 9/27*(-2 - 1)*-4. Let f be (l - 3)/3 - 3/9. Let o = -6250 - -1868752/299. Is o smaller than f?
False
Suppose d - 3*c = -3*d - 15, 0 = 2*d + 3*c - 15. Suppose d = -2*g - x + 1 + 1, 4 = 4*g - 4*x. Which is smaller: 10/19 or g?
10/19
Suppose 317*m - 4 = 321*m - 2*f, -4*f = 5*m - 8. Let a be 24/116 - 6/27. Which is bigger: m or a?
m
Let n be 2 - 3 - -11*16/(-176). Is n greater than or equal to -128/93?
False
Let t(v) = -15*v + 104. Let a be t(6). Let b be 4/(-2)*a/(-4). Is 9 less than b?
False
Let v = -4762.9 + 4782. Is -0.04 less than v?
True
Let y be (-3 - (-18)/10)*25/(-93). Suppose 8*q = -0 + 8. Which is smaller: y or q?
y
Suppose -39*g + 5*a - 53 = -41*g, -a = -g + 9. Which is smaller: g or -69?
-69
Let t be ((-12)/88)/(126/168) - (-189966)/(-22). Which is smaller: t or -8636?
-8636
Let h(d) = 4*d**3 + 5*d**2 + 3*d - 4. Let v(g) = -g - 7. Let r be v(-5). Let o be h(r). Let a be -3 + 18/6 + (2 - 0). Is o smaller than a?
True
Suppose 28*w = -2899 + 2787. Which is smaller: w or -2?
w
Let m(c) = c**2. Let p(h) = h**2 - 16*h - 8. Let s(v) = 5*m(v) - p(v). Let g be s(-6). Let r = g - 42. Is r <= 14?
True
Let t = -229560 - -1153086/5. Which is bigger: t or 1057?
t
Let o = -132 - -420. Suppose -744 = 39*s - 2404 - 9611. Is o > s?
False
Let o = -1290 + 889. Let p = 405.7 + o. Which is greater: p or -0.2?
p
Suppose i + 4*z = 327 - 338, -i + 13 = -4*z. Which is smaller: 9/23 or i?
9/23
Let i = -233.4778 - 0.0222. Let n = 237 + i. Is n at least -3?
True
Let b be (314 - -2)/((64/(-18))/(-16)). Which is smaller: 1426 or b?
b
Suppose 2*c - 5*c = 0. Let y(w) = w**3 + 6*w**2 - 4*w - 7. Let x be y(-7). Let n be (-4)/(c + (-4)/x). Which is greater: n or -27?
-27
Suppose 3*k + 4*d - 548 - 51 = 0, 3*k - 631 = 4*d. Suppose 337 = -4*p + k. Is p greater than or equal to -135/4?
True
Let p = 90687922/617 - 146982. Which is smaller: 0 or p?
0
Let k be (9/2 + -4)*188. Let i be (-1 - (-364)/(-20))/((-4)/20). Is i != k?
True
Let n(u) = -6*u**2 + 37*u + 111. Let d be n(-2). Is d equal to 183/14?
False
Suppose 6721 = -24*t - 5927. Let l = -523 - t. Is 6 >= l?
True
Let s = -85.99 - -85. Let x be (1 + 4/(-8))*((-56)/(-7))/(-4). Which is greater: s or x?
s
Let j(w) = -2*w - 21. Suppose -5*l - 38 - 22 = 0. Let c be j(l). Suppose -2*m = c*m - 5*t - 25, -t = 5. Is -2 at least as big as m?
False
Suppose 11313 = -4*a + 5*o, -43*o + 15 = -40*o. Is -2821 < a?
False
Let x be (-948)/4*((-240)/(-441))/(-10). Which is smaller: x or 14?
x
Suppose 5*k + p - 37 = 0, -9*p + 4 = -7*p. Suppose 12 = -g + k*g. Is g > 9/13?
True
Suppose l + 151 + 1323 = 3*h, 0 = -4*h - 8. Which is smaller: l or -1483?
-1483
Suppose 0 = -5*j - 4*c - 501, 3*c - 279 = -25*j + 28*j. Suppose -y = -5*k - 130 - 349, -2*k = -4*y + 188. Which is smaller: j or k?
j
Let k = -0.3624 + 0.2427. Is -2/3 at least as big as k?
False
Let z(w) = -9*w**2 - 2*w - 3. Let p be z(-2). Suppose -46*k + 50*k + 278 = j, 2*j + 354 = -5*k. Let d = k - p. Is d less than -35?
False
Let b be (-3 + (-28)/(-8))/(7/(-1428)). Let h be 6/8*b/153. Is -237 at least as big as h?
False
Let k(m) = 395*m + 11165. Let x be k(-29). Is x at least -1165/4?
True
Suppose -124 = 6*w - 8*w. Let s = w + -58. Let d(o) = o**2 + 3*o - 5. Let a be d(2). Is s greater than or equal to a?
False
Let t be 13820/22 + 58/(-319). Let g = t + -187774/299. Which is greater: g or 0?
0
Let b(m) be the second derivative of -m**4/12 - 7*m**3/6 + 3*m**2 + 8*m. Let v be b(-7). Let x be v/(-9) + 23*(-2)/(-6). Which is greater: 4 or x?
x
Let g(m) = -2*m**2 + 10*m + 1. Let v(c) = 3*c - 5. Let p be v(3). Let b be g(p). Suppose h - o = b, 0*o = 3*h - 4*o - 23. Is 13 > h?
False
Suppose 23 = 6*z + 5. Suppose i - 4*f = 27, 0*f = -z*i - 3*f + 126. Which is bigger: 38 or i?
i
Let v(k) = -k**3 - 21*k**2 + 5*k + 12. Let a be v(-21). Let b = a - -97. Let j be 24/(-30) + (1 - 1) + b. Which is greater: j or 3?
j
Let n = -4463 + 4478. Is -431 bigger than n?
False
Let t(a) = -a**3 + 5*a**2 + 15*a + 14. Suppose -19*f = -21*f + 14. Let v be t(f). Which is smaller: v or 26?
v
Let u = 73.165 + -12.781. Let p = u + 0.616. Is p >= 2/3?
True
Suppose -u - 4*m + 4 = -0, 5*m = u + 5. Suppose u = -4*a + 5*j, 6*j - j = 2*a. Is 15/19 bigger than a?
True
Suppose -22*w - 28 = -18*w + 4*d, 26 = -5*w + 4*d. Let y be (55/(-10) - w)*-8. Suppose -5*r - 17 = 3. Is y < r?
False
Let l = -131 - -145. Suppose -24*r = -l*r + 40. Which is bigger: r or 0.08?
0.08
Let k(t) = 12*t**2 + 9*t. Let g(z) = -5*z**2 - 5*z. Let b(s) = -7*g(s) - 3*k(s). Let o be b(8). Which is smaller: -1/7 or o?
-1/7
Let g = -2/9531 + 3288203/38124. Is 85 > g?
False
Let w = -154162/195 - -759726391/960960. Let v = 1/924 - w. Which is greater: -1 or v?
v
Let c = 943 + -162195/172. Suppose 16*x + 16*x = 0. Suppose 57*a - 21*a = x. Which is bigger: a or c?
c
Let y = 2930 - 2930. Let s = 489/11 - 24159/539. Which is greater: y or s?
y
Let l = 2776 + -2775.6. Does 439 = l?
False
Suppose 32*l = -5*l - 9509. Which is smaller: -259 or l?
-259
Let q(v) = v**2 - 1. Let a be q(-4). Let r be 7 - (-496)/40 - (-60)/(-150). Which is bigger: r or a?
r
Let s = 45.6 - 64.06. Which is greater: 0 or s?
0
Let f = 59 + -354. Let i = -3247/11 - f. Let u = -13.5 - 0.5. Is i less than or equal to u?
False
Let m = -110.79 + 742.79. Which is greater: m or 0?
m
Let z be 6 + 13 + 30/(-3). Is z less than 93?
True
Let g be 4/8 + 52/(-8). Let l be 2431/68 + g/8. Suppose 0 = -4*a - 3*a - l. Which is smaller: -4 or a?
a
Let s be ((50/(-10))/(-20))/((-1)/(-20)). Suppose s*q = 5*t - 400, 0 = 4*q + 3*t + 453 - 119. Which is greater: -81 or q?
-81
Let q be 12/21 - 5173598/(-1918). Let y = q - 2698. Let f = y + -1061/959. Which is greater: f or -1?
-1
Let l be 4/10 + (-515)/(-25). Let p = l + -13. Let j = 10 + p. Is 18 equal to j?
True
Let h(b) = 3*b - 1. Let r be h(2). Let q(d) = 24*d - 58. Let w be q(r). Is 63 > w?
True
Let f(k) = -2*k**3 + 4*k**2 + 9*k - 6. Let z be f(4). Suppose 5*g - 4*m + 145 = 0, g = -0*g + 3*m - 18. Which is greater: g or z?
g
Suppose -15*y - 380 + 320 = 0. Which is smaller: -109/20 or y?
-109/20
Let v = -42.3 - -42.2. Let q = 418.07 + -414. Let b 