. Suppose -t + y = d*y - 40, 0 = -t + 2*y + 48. Suppose -41*i = -t*i - 90. Is -29 smaller than i?
False
Let d(m) be the second derivative of m**3/3 - 7*m**2 - 14*m. Suppose 0*t - t = -6. Let u be d(t). Which is smaller: u or -12/5?
-12/5
Suppose 4*r - 7*r + 4*a + 8 = 0, 15 = 4*r - a. Is r >= 202/65?
True
Let r(v) = v**3 - 5*v**2 + 5*v - 4. Let a be r(4). Let w(p) = 6*p**2 - 3*p + 2. Let j be w(5). Suppose a = 5*b - j + 37. Is 20 smaller than b?
False
Suppose -t = 8*t + 4320. Let q = 20159/42 + t. Let m = -257/210 - q. Is -1 less than m?
False
Let i = 608 - 607. Let w be -3 + 1300/328 - i. Is w less than or equal to -1?
False
Let d = 361 - 118. Let i = -245 + d. Which is bigger: i or -37?
i
Let r = -265 - -246. Let v(g) = -2*g**2 - 12*g + 8. Let w(a) = -5*a**2 - 35*a + 23. Let s(f) = -8*v(f) + 3*w(f). Let h be s(5). Which is smaller: h or r?
r
Let r = 48390/13 + -3720. Let p = 693966 + -171410159/247. Let t = p + r. Which is bigger: 0 or t?
t
Suppose 2*y + 4*r - 1272 = 2*r, 0 = 4*y - 4*r - 2528. Suppose -12*l + 38 + y = 0. Is 2 smaller than l?
True
Let n = 206 - 20. Suppose 4*c + 22 = n. Let t be c/8 - (1 - 0). Are 5 and t unequal?
True
Let k(w) = w**3 - w**2 - w + 1. Let p be k(2). Let m = 941 + 1159. Let h = -16777/8 + m. Is p greater than or equal to h?
True
Let z = -13/346 + 1169/17300. Suppose -v = 2*v - 3. Which is smaller: v or z?
z
Suppose -3*r + 437 = -4*a, 6*r - 9*r + 547 = -5*a. Let z be (-22)/a - (-9)/5. Let v be (2 - 32/18)*15. Which is bigger: v or z?
v
Let d be 1*(5 - 2363*60/5). Let q = d - -38812517/1369. Which is smaller: q or 1?
q
Suppose -183*c + 34656 = 221*c + 52*c. Let a be (22/(-4))/((-2)/28). Is a bigger than c?
True
Let i = -17579 + 17582. Let a be 128/20 - (3 - 0). Which is bigger: i or a?
a
Let r(b) = 3*b + 17. Let u be r(-5). Suppose -3*m + a + u*a = 0, -2*m + 6 = -4*a. Let o(l) = -l**3 - 3*l**2 - l - 4. Let g be o(m). Is -2/45 < g?
False
Let z = -168.37 + 2.37. Let k = 176.8 + z. Which is bigger: -1/2 or k?
k
Let s be (42/(-26768))/((-6)/(-4)). Do s and 0 have the same value?
False
Let o = -5035 + 2963. Let i = 76656/37 + o. Which is bigger: 0 or i?
0
Let f = 1/570 + -3427/3990. Let w(t) = -t**3 - 29*t**2 - 24*t - 35. Let c be w(-28). Let b = c - -147. Is f < b?
True
Let g be 22/51 + (-1309)/231 + 20/4. Which is smaller: g or -148?
-148
Let b = -41.22 + 38.22. Which is greater: b or -147?
b
Let l = -19.05 - -19.075. Let n = 15 + -14.9. Is l less than or equal to n?
True
Suppose 48*j = 46*j + 15*j - 19617. Is j > 1510?
False
Let l be -11*(-92)/253*(-1)/((-1)/480). Does 1918 = l?
False
Suppose -5*f = -2*a + 4, -a + 0*a = -3*f - 2. Suppose 0 = 4*p + 2*z + 8, -5*z = p - 6*z - 4. Suppose -12*g - 237 + 177 = p. Is a smaller than g?
False
Let q be (-1)/90*-4*5. Let b(a) = a**3 - 6*a**2 + 16*a - 97. Let v be 1/5 - 58*(-6)/60. Let i be b(v). Which is greater: q or i?
q
Let i be (-4)/(-6) - (-8 + -6). Let k = 16 + -10. Suppose -80 = -11*v + k*v. Which is greater: i or v?
v
Suppose 4*t - 69 + 45 = 0. Let j be (-14)/(-72)*t - 2/12. Which is greater: -0.168 or j?
j
Suppose 7*z + 38 = -4*b + 9*z, -2*z - 10 = 0. Let d = b - -27. Is d >= 31/2?
False
Suppose -7*o + 49 = -28. Let y = -1847 - -1859. Is o greater than or equal to y?
False
Let f = 39.04 - 43.24. Which is bigger: -4/7 or f?
-4/7
Suppose 249*j = -251*j + 499*j + 2314. Which is smaller: -2 or j?
-2
Let i = 1108 - 772277/697. Let t = 1 + -1. Are i and t unequal?
True
Let w = 12774390/179 + -71365. Let r = w - 63003/203881. Which is smaller: r or -1?
-1
Let j be (-8)/(-132) + (1274473/39270)/(-61). Which is smaller: 0 or j?
j
Let g = -14.8 - -15.1. Let c = -6 - -3. Is c at most as big as g?
True
Let f be 6/24 - 1242/4840. Suppose 5*m + 5*a + 55 = 0, -184*a - 35 = -5*m - 180*a. Which is smaller: f or m?
m
Let o be 497 - (-13 - (1 + -7)). Let a be (0 + -3)/(15/40). Let m be o/15 + 1/((-20)/a). Which is smaller: m or 35?
m
Let i be ((-15)/(-20))/((-15759)/136). Let h be 0 + (-2 - 0 - -1). Which is smaller: h or i?
h
Suppose -4*c - 212 = -5*f - 1050, -f = 4*c - 850. Suppose -314 = 6*i - c. Which is smaller: i or -63/4?
i
Let o be (18/(-8))/((-3)/(-8)) - -5562. Is 5557 < o?
False
Let s be -12*-4*(1 - -2)/(-9). Let p be ((-7)/((-1428)/s))/((-118)/(-3)). Let o = 6028/5015 + p. Which is smaller: -3 or o?
-3
Let v = 81.66 - 81.62616. Is 0.1 less than or equal to v?
False
Let q = 1519619/371 - 4096. Which is greater: q or -1?
q
Let x = 1/1473 - -1468/7365. Which is bigger: 11.28 or x?
11.28
Let u be 3/13 - 294327/3861. Is u less than -62?
True
Let f = -29991057/9353630 + 917/286. Which is smaller: 1 or f?
f
Let p = 3521 + -2892. Is p bigger than 625?
True
Let j = -175654295/168 - -1045558. Let p = j + 10/3. Is p less than 1?
True
Let k = -40.49 + 40.29. Which is greater: k or 3/317?
3/317
Let t(k) = 9*k**3 - 262*k**2 + 28*k + 21. Let g be t(29). Which is smaller: -242/35 or g?
g
Let s be (8958 - 0) + 2 + 7 + (67 - 68). Which is smaller: s or 8967?
s
Let s = 293 + -288. Suppose 5*o - s = 4*h, -3*h + 4*h - 5*o = -5. Is 6/77 > h?
True
Suppose 0 = 132*u - 120*u - 36. Let g(i) = -84*i + 66. Let y be g(u). Which is smaller: y or -371/2?
y
Let v(f) = 15*f**2 - 51*f - 121. Let y be v(5). Which is greater: y or 5/2061?
5/2061
Let y(q) = 4*q**3 - 11*q**2 + 8*q - 13. Let u be y(5). Let x = u + -252. Which is bigger: 5/43 or x?
5/43
Suppose 24*k = 19*k + 5, 5*i - k - 24 = 0. Is i < 1.355?
False
Let r be (4 - (11 - 4)) + 37515/10. Let m = 3643 - r. Which is bigger: m or -107?
m
Let i = 0 - -0.1. Let t be 280/(-35)*(1351/308 - 4). Which is smaller: t or i?
t
Let l = -53 + 200. Let n = l + -108. Which is smaller: n or 0?
0
Suppose h = -0*h - l - 4, 0 = h + 3*l + 12. Suppose h = -7*z - 2 - 5. Is -2/59 at least z?
True
Let k be ((-11)/(-6))/(49/294). Suppose -312 = -k*w + 425. Is w bigger than 66?
True
Let l(a) = -a**2 + 14*a - 32. Let w be l(11). Let d = 287071/221 + -18906/17. Let o = -187 + d. Which is smaller: o or w?
o
Let c(n) = n**2 - 4*n - 4. Let t be c(3). Let w(d) be the first derivative of 5*d**2/2 + 26*d - 175. Let b be w(t). Is -6 > b?
True
Let g(l) = -2*l**3 + 7*l**2 + 6*l + 7. Let m be 987/168 - (-1)/(10 + -2). Let x be g(m). Are x and -136 unequal?
True
Let g = 2272 - 1201. Let t = -20329/19 + g. Which is smaller: 2 or t?
t
Suppose -12*y - 6*z + 9*z - 8109 = 0, 4*z = -5*y - 3405. Is -677 at least as big as y?
True
Let j = 2.604 + -2.4889. Is -1 > j?
False
Let u(m) be the second derivative of -7*m**3/3 - 81*m**2/2 + 198*m. Let o be u(-6). Is o < -1/24?
False
Let b be (-8*(-6)/(-10))/(24/(-160)). Let y = -41 + b. Which is bigger: y or 7?
7
Suppose -415 = -5*y + 3*z + 261, 5*y = 2*z + 669. Which is bigger: 126 or y?
y
Let i be 78/(-16)*316/4266. Do i and 0 have different values?
True
Let d(s) = -202*s**3 - 57*s**2 - 162*s - 5. Let w be d(-3). Is w greater than or equal to 5422?
True
Let s(d) = -d - 7. Let m be s(-5). Let t be (-10)/(-3)*(-186)/775. Is m less than or equal to t?
True
Suppose y - 4*y = -27. Let i(f) = -f**3 + 7*f**2 + 6*f + 18. Let z be i(8). Let d be -10*((-7)/(-14))/(z/(-4)). Which is smaller: y or d?
y
Let k(a) = -a + 13. Let g be k(6). Let b(d) = d**2 - 7*d - 11. Let l(v) = v**2 - v - 1. Let r(m) = -b(m) + 2*l(m). Let z be r(-4). Is z at most g?
True
Let u be 28/2 + (-2055)/137. Is -1/9955 >= u?
True
Let f(c) = 6*c**2 + 22*c + 17. Let j be f(-10). Which is greater: 396 or j?
j
Suppose -c = 5*i - 6*c - 55, -2*i + 19 = -5*c. Suppose -i*n + 36 = -14*n. Suppose -z - 2*z - 57 = 0. Which is bigger: n or z?
n
Let b = 0.05 - 0.03. Let v = b - 1.02. Let s = 726 - 791. Is v > s?
True
Let v = -9629 - -9632. Is v less than or equal to 3838?
True
Let x be (33/(-348535))/(15/50). Which is greater: -1 or x?
x
Let c = -2606 - -2629. Which is smaller: c or -54?
-54
Let w = -18216/13 + 10729107/7657. Let h = 143/5301 + w. Is h at most -2/7?
False
Let o = 43671.38 + -44039. Is -1 smaller than o?
False
Suppose 27*k - 1894 = 1508. Suppose 3*l - 242 - 133 = 0. Are l and k equal?
False
Let d = -11614/5 + 2315. Which is smaller: d or -7?
d
Suppose -435*q - 324 = -433*q. Which is smaller: q or -159?
q
Let p = -646.5 + 643.9. Are 0.325 and p equal?
False
Suppose -4 = v - 0*h - h, 0 = -4*h + 16. Let z be (-6)/(-16) - 4773/(-8). Let s = -12533/21 + z. Which is smaller: s or v?
v
Let x be 18*