 2. Suppose 0 = -3*c + h*v - 54, -14*c + 10*c + 3*v = 72. Is 4 greater than or equal to c?
True
Let v(s) = -17*s + 8 - 5 - 2 - 4. Let g be v(1). Let o be 3 + 145/g - -1. Which is smaller: -3 or o?
o
Suppose 0 = 9*d - 24 - 21. Suppose -d*r + 12 = 5*v - 13, 0 = -5*v + r + 25. Let y be 1/(-4) - (-84)/16. Is y smaller than v?
False
Let m = 24975679657/213 + -117258314. Let q be 5/((-25)/45)*-178. Let w = q + m. Is w bigger than 1?
False
Suppose -u - 3*u + 76 = 0. Let s = 30 - u. Let l = -12 + s. Is 3 less than or equal to l?
False
Suppose -43*u = -48*u + 30, -4*b + 2*u + 616 = 0. Which is greater: b or -12?
b
Let i be 5 + 8/(-16)*16. Let s be (i - -4)/((-1)/7)*-4. Let a be -2 + 2 - 27*-1. Is a smaller than s?
True
Suppose 0*p - 2*p - 54 = -4*r, 95 = -4*p - 5*r. Which is smaller: p or -23?
p
Suppose -2*b + 4*g - 38 = 0, -2 - 6 = 2*g. Let y be 9*(14/3)/1. Let l = 15 - y. Is l at least b?
True
Let t be 1/10 + 297/330. Is t at least 2/6967?
True
Let k = -1/1427 - -14277/9989. Suppose 20*b = 57 - 17. Suppose 5*q = 3*d + b - 1, -5 = 2*q - 3*d. Is q bigger than k?
True
Let k(y) = 2*y**2 + 9*y - 60. Let n be k(4). Let o = -20 - -15. Let m = 13 + o. Is n bigger than m?
False
Let o be -13*(-5)/30 - (-21)/147*14/(-12). Let b = -2/157 - -1109/785. Is b < o?
True
Suppose 5*k - 5*i + 140 = 0, 84 = -3*k + 6*i - i. Suppose -59 = -3*d + 28. Let u = d + k. Is u less than -11?
False
Let f(l) be the first derivative of 1/2*l**2 + 3 - 1/3*l**3 - 56*l. Let x be f(0). Which is greater: x or 2/7?
2/7
Suppose 3*s - 4*w - 1071 = 0, 0 = s - w + 198 - 554. Let c be (-1 - s/(-357))*27/18. Let t(z) = -z**2 - 18*z - 56. Let o be t(-14). Is c less than o?
True
Suppose 2*j = -3*v + 49711, 2*j - 7*j = -v + 16542. Is v > 16568?
False
Suppose -26*o - 730 = 986. Suppose 199 = -5*x - 121. Which is smaller: o or x?
o
Suppose -94 = 5*w + 2*u + 22, -3*w + 4*u = 54. Let d be (2/(-4) - (-3434)/2020)/((-2)/40). Do w and d have different values?
True
Suppose 9603 - 1647 = 102*y. Which is greater: y or 80?
80
Let a be (-3 + 2)*(-134 + 7). Suppose -123*c = -a*c + 4. Is c >= -1/170?
True
Let v be (-2)/8 - (52/(-117) - 37370/(-185400)). Does v = -1?
False
Let h(v) = -191*v + 3403. Let c be h(23). Is -2966/3 > c?
True
Let j = -60 - -58.26. Let i = j + -1.26. Which is smaller: -28 or i?
-28
Let g = -2888 + 2909. Does 46 = g?
False
Suppose -w - 131 = 5*n - 567, 2*n - 5*w - 196 = 0. Which is greater: n or 617/7?
617/7
Let v = 489 - 761. Let q = v + 275. Which is greater: q or 11?
11
Let z = 100 + 44. Let u = 140 - z. Which is smaller: u or 1?
u
Let w(z) = 5*z**3 + 12*z**2 + 25*z + 10. Let u be w(-5). Which is greater: u or -439?
-439
Let c(t) = -10*t**2 + 385*t - 137. Let a be c(34). Is a bigger than 6964/5?
True
Let w = -16.8 - 16.2. Let a = w - 66. Which is smaller: a or 1?
a
Let a be 4/(-22) + (-1494)/495. Suppose -25*o + 27*o = 6. Suppose o*k = -13 + 4. Which is smaller: a or k?
a
Let b(x) = x**3 + 10*x**2 + 15*x - 8. Let k be b(-8). Suppose -4*z - m - 4*m - 29 = k, z + 2 = 4*m. Which is smaller: z or -2?
z
Let h be (1161/(-10836))/((-5)/((-70)/(-4))). Let d = 0 - 1. Are d and h nonequal?
True
Suppose 0*w + w = s + 48, 4*w - s = 189. Suppose -5*c = -w + 27. Let d be -2 - (14/c)/(6/(-12)). Is 3 bigger than d?
False
Let k be 5*((-8)/12 + 26/(-15)). Let b be (3/k*-6)/((-9)/6). Let z be 10/8*(-2)/55. Is z != b?
True
Let d be (5/786)/(7820/306 - 25). Which is bigger: -1 or d?
d
Let y = 10282 + -10282. Are y and 12/857 equal?
False
Suppose 2*r - 3*r = 21*r. Let b = -338 + 1396. Let i = -74057/70 + b. Which is smaller: i or r?
r
Suppose -4*x = -3*x + 2. Let i be (x + 40/6)*(13 - 10). Let m be 20/70 - 74/i. Is m smaller than -2?
True
Let m(w) be the second derivative of 46*w**3/3 - w**2/2 + 19*w. Let o be m(1). Suppose -5*g + 124 = -o. Is 43 bigger than g?
False
Let h = 19648 - 19204. Which is bigger: 456 or h?
456
Let s(w) = -w**2 - 18*w + 64. Let o be s(-20). Suppose 4*c - 20 = -o. Is c less than or equal to -4/137?
True
Let j = -247/293 + 73649/66511. Is j at least as big as 0?
True
Let d = 0.591 - 0.491. Which is smaller: d or -632?
-632
Suppose 12508 = -107*x - 160725. Which is smaller: x or -1621?
-1621
Let k be (-406)/(-10) + 2/5. Let o = -2985/11 + 13733/44. Is o bigger than k?
False
Let f = 23 + -52. Let o = -0.56 + 28.56. Let x = o + f. Is x less than or equal to -4?
False
Let z = -6711 - -6711. Which is bigger: z or 0.163?
0.163
Let y = -22217 + 22226. Let m = 3381/5 - 30014/45. Let w = m - y. Which is smaller: -4 or w?
-4
Suppose -3*u = -u. Let j = -2901486029/2982 - -973000. Let v = -1/71 + j. Is v <= u?
True
Suppose 0 = 2*a - 2*w - 68, 4*w = -a + 103 - 64. Is 26 greater than or equal to a?
False
Let b(x) = -x**2 + x + 6. Let w be b(6). Let d be 16/(w/(-3))*1/4. Which is bigger: 3.3 or d?
3.3
Let g be (-1496)/1265 - 8*(-4)/(-16). Is g <= -3?
True
Let h = 210 + -235. Let o = h + 25. Is o less than 21/20?
True
Let w be ((-21)/(-2))/7 - 9/3. Let f = 2.1 - 3. Let t = 1 + f. Is w at most as big as t?
True
Let m be ((-1)/(-7))/((-6)/35259*-5). Which is bigger: 167 or m?
m
Suppose 0 = 31*b - 37*b + 2070. Let k = b + -201. Suppose -156 = -4*v + 4*x - 36, -5*v + 3*x + k = 0. Is 26 equal to v?
False
Let u = 150 - 108. Suppose -c - 5*t = 37, u = -c - 4*t + 2. Is c > -53?
True
Let p(q) = q**3 - 20*q**2 + 18*q + 11. Let w be p(19). Let x be (-2)/(w/(-20)) - -3. Which is smaller: x or -40?
-40
Suppose 25 = 30*c - 17*c + 12. Is 4/117 > c?
False
Let t = -0.34 - 35.66. Let g = -35.9 - t. Let v = 0.9 + g. Do 0.1 and v have different values?
True
Let t(r) = -386*r + 12092. Let b be t(0). Which is greater: 12093 or b?
12093
Let x be (-4 - 469567/(-140889)) + 58/87. Which is smaller: 0 or x?
x
Let t = 91/20 - 19/4. Let n be (-10)/(-14) - (-5828)/(-329). Are n and t equal?
False
Let t be (56/(-12) - -5)*(-27)/(-51). Suppose 0 = -f + 6 + 2. Let v(n) = -n + 9. Let d be v(f). Which is smaller: d or t?
t
Let m = -194 + 213. Suppose -46*s - m = 27. Which is smaller: s or -16?
-16
Let g(q) = 23*q - 33. Let h be 5 - (-5 + 7) - 6. Let m be g(h). Let y = 97 + m. Is -5 greater than y?
False
Let h be (-1)/((-1)/156*-6). Let p = 158 - h. Is p at most as big as 185?
True
Let z(r) = 7*r**2 + 175*r - 110. Let l be z(-26). Which is smaller: l or 945/13?
l
Let o be 0/((-195)/(-120) + (-6)/(-16)). Which is smaller: 6/1553 or o?
o
Suppose -110 = j - 14. Let b = j - -109. Are 17 and b non-equal?
True
Let p = 26/3727 + 1341434/40997. Which is greater: p or -4?
p
Let m(q) = -q**3 - 6*q**2 + 2*q + 17. Let n be m(-7). Let h = -50 + n. Let i be -16 - 0*(-3 + h). Which is greater: -15 or i?
-15
Let a = -163.89 - -166. Let i = a - -21.89. Is 0.1 less than or equal to i?
True
Let u = 0.066 - 15.066. Let v = -14.68 - u. Which is smaller: v or -1/4?
-1/4
Let r = 32 - 18. Let q be (-13)/(546/(-12)) + (-6374)/r. Let z be (1 + (-22)/21)/(q/(-195)). Is z > -1?
True
Let d = -940 + 976. Which is greater: 2 or d?
d
Let m(n) = -n**2 - 14*n - 24. Let a(r) = r**3 - 22*r**2 + 39*r + 9. Let p be a(20). Let z be m(p). Let j be z + -3 - 1 - 0. Which is smaller: j or 6?
j
Let q be 19/19 - (690 + (0 - 1)). Is -694 less than or equal to q?
True
Let x = 11 - 11. Suppose -5*o + 19 = -y + 5*y, x = -y + 5*o + 11. Let q be ((-68)/(-32))/((-1)/(-8)). Which is smaller: q or y?
y
Let j = -4 + 3.984. Let n = -0.47015 - -0.27015. Which is smaller: n or j?
n
Let g = -3.10991 - -0.10991. Which is greater: -238.5 or g?
g
Let x be ((-20)/(-2) + -9)*(0 + -7298)/2. Is -3649 smaller than x?
False
Let o(k) = -k + 4. Let r be o(1). Suppose w + 16 = -r*w. Let s be w/22 - 415/(-165). Is 1 bigger than s?
False
Let f = -490 + 348. Let j = -50 - f. Is 93 greater than j?
True
Let c be 3/12*-10 + 3. Let m(f) = -11*f + 25. Let h be m(3). Let z(i) = 2*i**2 + 13*i - 5. Let q be z(h). Do q and c have the same value?
False
Let g(y) = -y**3 + 43*y**2 + 97*y + 218. Let j be g(45). Is 1/3 >= j?
False
Let t = -289 - -289.1. Let q be 93 + ((-3)/3 - 1). Let d be (q/(-21) + 5)*6/14. Which is smaller: d or t?
t
Suppose 0 = 2*i + 8, -6*y + 9*y - 4*i + 11 = 0. Let b(n) = -n - 3. Let c be (-2)/9 - (-455)/63. Let f be b(c). Which is smaller: y or f?
f
Suppose 2*s + 156 = 158. Let u be ((-8)/504)/((-1)/(-2)). Are u and s nonequal?
True
Let q(l) = -l**3 - l**2 - l - 1. Let v(i) = 8*i**3 + 14*i**2 