135). Suppose 0 = 6*y - c*y - 528. Is -48 smaller than y?
False
Let a(m) be the first derivative of m**3/6 - m**2/2 + 27*m - 12. Let g(z) be the first derivative of a(z). Let k be g(6). Are k and 5 unequal?
False
Suppose 14 = 5*n + h, 0 = -5*n - 2*h + 16 - 3. Suppose 4*g - 6*c + 11*c = 24, -17 = -5*g - n*c. Is -1/701 greater than g?
False
Let k(s) = 86*s**2 - 2*s + 2*s - 3 + s**3 - 85*s**2. Let b be k(3). Let i = 33 - b. Which is smaller: i or 10/7?
i
Let x = 403 + -91. Let f = x + -935/3. Suppose 5*o + 3 = 8. Which is bigger: o or f?
o
Let z = -2/31602245 - 11088911747928/1927736945. Let m = z + 5752. Which is smaller: m or -1?
-1
Suppose -3*u - 880 = -4*c + 189, -2*u + 11 = -3*u. Let x = -40 + 298. Which is greater: x or c?
c
Let k = 2804.86082 - 2804.9. Which is smaller: 4 or k?
k
Let v(z) = -21*z**2 - 18*z**3 + 8*z**2 + 43 - 13*z - 15*z**3 + 35*z**3. Let b be v(7). Let k = 3243/11 + -295. Which is bigger: k or b?
b
Let i = 46 - 18. Let b = i - 27. Let l be b/2*(-80)/(-24). Which is bigger: l or 2?
2
Let l = 40 + -34. Let k be (-2)/(-6) + 1 + (-2)/l. Let m be (-188)/(-60) - (2 + k). Is 1 at least as big as m?
True
Let v = -7.82 - 0.18. Let o be -3 + 6 - (270/16 - 4). Let k = -10 - o. Is k not equal to v?
True
Let n be ((-10)/1)/((-14)/259) - -1. Let y = n - 171. Which is bigger: y or 17?
17
Let w = 381 - 319. Suppose 0 = m + x + 15, 4 = -4*m - x - w. Which is bigger: -180/11 or m?
-180/11
Suppose 5*i + 4*s = 3*i - 6, 5*i = 3*s + 24. Suppose -2*w - 3*m = -4, -5*w - i*m + 5*m + 10 = 0. Which is smaller: w or 17/8?
w
Let t = -65.6455 + -1.3545. Which is bigger: 157 or t?
157
Let v = -2.63 + 1.18. Let q = v + 1.87. Is q smaller than 0.1?
False
Suppose -2*h + 9 = 3*t, -3*h - 3*t - 6 = -5*t. Let p be (1 + h)/(58*(-5)/(-10)). Which is smaller: p or 0?
0
Let q(k) = -65*k + 6966. Let t be q(106). Is 86 not equal to t?
True
Let v(p) = -12*p - 321. Let k be v(23). Is k >= -598?
True
Suppose 0 = 3*g + 10 + 107. Let m = g - -43. Suppose -7*o = 3*x - 54, 1 = -5*o + x + 27. Is m < o?
True
Let i = 1572577/167 + -9416. Is 0 > i?
False
Let h(n) = 6*n + 6*n - 3 + 2*n - 16*n - 4*n**2. Let b be h(-3). Let m = -64 + 31. Is b equal to m?
True
Suppose -196 - 44 = -16*h. Let l be 14/h + 56/(-70). Which is greater: 3 or l?
3
Suppose -2*a = 24*a - 1300. Let b = -85 + a. Which is smaller: -33 or b?
b
Let k = 12.7 - 5.7. Let b = 59.6 - 55. Let q = -0.6 + b. Which is bigger: k or q?
k
Let u be 6 + 2285/375 + 3/(-9). Are u and 11 non-equal?
True
Suppose -7*l + 13 = -22. Suppose -2*n + 0 = -10, 0 = r - 5*n - l. Let m be 25/r*(-3)/10. Which is bigger: -4 or m?
m
Suppose -3*b + 123 + 72 = 3*y, -5*b + 121 = 2*y. Suppose -y = -22*r + 24*r. Let x(m) = -m**3 + m**2 - m - 34. Let k be x(0). Is k > r?
False
Let n(r) = -7 - 5 + 3*r - 3*r**2 - 29*r. Let o be n(-10). Let g = -61 - o. Which is bigger: -7 or g?
-7
Let r be 63/(-792)*(-36)/42. Let j = 8 - 7. Is r >= j?
False
Let u(l) = 4*l + 26. Let m be u(-6). Let h be (-9177)/(-414) - 0/m. Which is bigger: 21 or h?
h
Let l(o) = -o**3 + 8*o**2 + 10*o + 273. Let y be l(11). Suppose -55 = 5*g - 250. Let p = 60 - g. Which is bigger: y or p?
p
Let n = -84 - -148. Let l = -13 + n. Let h(p) = 23*p + 185. Let q be h(-8). Which is smaller: q or l?
q
Let i(n) = 2*n**3 + 17*n**2 + n - 9. Let t be i(-7). Let o = -132 + t. Is 2/9 at most as big as o?
False
Let z = 206 + -206. Let g = 61 + -60.59. Let h = z + g. Is h < 0?
False
Let a = 1717/5495 - 7636772067/60445. Let g = a - -126492. Let x = 150 - g. Which is smaller: x or 1?
x
Let k(b) = 2*b**2 - 41*b - 30. Let g be k(21). Let o(n) = n**2 + 11*n + 17. Let c be o(g). Which is smaller: 2/147 or c?
c
Let q = 3558 - 3542. Are 116 and q non-equal?
True
Let r = -277 + 179. Let k be (-224)/r - (-2)/(-1). Which is bigger: -23.8 or k?
k
Let a = 2961 + -2959. Which is greater: 4/13 or a?
a
Suppose 0 = 3*t - 18, 19*x - 5*t = 23*x + 1630. Is x > 0.3?
False
Let x = -1/97 + 487/194. Let s = 347.4 - 534.7. Let k = s + 187. Which is bigger: k or x?
x
Suppose -435 = 10*w - 1085. Let q = -55 + w. Let a = 47 + -34. Is q greater than or equal to a?
False
Let s = -345 + 345. Which is bigger: s or 0.119?
0.119
Let g = 13/3 - 11/3. Let f be 2 - 63/9 - (-1 - 357/112). Is g > f?
True
Let s = -1065 + 1064. Which is smaller: s or -1284?
-1284
Let x be (135/25 - 5)*(79 + 2 + -6). Which is bigger: -43 or x?
x
Let j = 604 + -1207/2. Let r(w) = -16*w**3 - w**2 + 3*w - 7. Let s be r(-4). Which is smaller: j or s?
j
Let v = 9115 + -9115. Which is smaller: v or -2/21559?
-2/21559
Let a be (-2)/(-4) + ((-348)/(-8) - -1). Let o = -63 + a. Let j be 1155/o + 5/30. Which is bigger: j or -65?
j
Let d = 10615 + -10614.98. Which is greater: d or 373?
373
Let m be 1 + -5 + 0 + 4/40*30. Are m and 1/9456 equal?
False
Let d = -8045/26 - -619/2. Let b = 219183/8 - 27481. Let w = b + 83. Is d != w?
True
Let o(g) = g**2 + 7*g - 27. Let m be o(-10). Suppose 5*t + 3 = -m*j, -7*t + 8*t - 13 = -4*j. Let c be 2/(-4) + 51/(-6). Is c not equal to t?
True
Let b = -102 + 72. Let i be -46 + 3 + b/5 + 0. Let j be 1/(-5) + (-488)/10. Is j >= i?
True
Let b be 2/(25/(-9) - -3). Suppose 0 = b*r - 4*r - 20. Let x be r/14*(-7)/(-36). Is x at least 1?
False
Let f = 123514/73 - 1692. Let d = -87 + 88. Let m be d*-3 - (-4 - 0). Is m at most as big as f?
False
Suppose 9*f - 3598 = 6275. Let o = f - 9923/9. Which is smaller: o or -4?
o
Let q(r) = 2*r**2 - 2*r - 20. Let k be q(6). Let m be k/162 - (-8)/(-36). Let j = -15 + 16. Is m bigger than j?
False
Suppose 0 = 18*x - 16*x - 8. Suppose 4*z = 12, 5*m + 4*z = x*m + 14. Is m equal to 5?
False
Suppose -2*v - 203 = 5*c + 2*v, -5*c + 3*v - 224 = 0. Let s be (-150)/(-120) - c/(-40). Which is greater: 1 or s?
1
Let w(n) = -n**2 - 2*n - 1. Let k(s) = 3*s**2 + 10*s + 3. Let j(r) = -k(r) - 2*w(r). Let u be j(-3). Which is smaller: u or -2?
-2
Suppose -4*t + 70*k = 65*k - 236, 0 = -3*t + 2*k + 170. Let a be (t/(-25))/(-2) - 258/430. Is a less than 1?
True
Suppose -4*h = 5*v + 930, 3*v + 143*h - 145*h + 580 = 0. Which is greater: -186 or v?
-186
Let z = 26.93 + -40.9. Let c = 0.03 - z. Let n = 165.8 - 165.7. Is c greater than or equal to n?
True
Suppose -5*n = -0*b + b - 2, -4*b = -n - 8. Suppose 5*m = -3*i + 125, -10 = i + i. Let g be m/(-12)*3 - -3. Is n >= g?
True
Suppose 4*q - 5*q - 2 = 0. Let i be (1/((-15)/(-2736)))/((-16)/(-160)). Let o = -1828 + i. Which is smaller: o or q?
o
Let b be 70/210 - (-4)/(-3). Let j(p) = -50*p - 8. Let k be j(b). Are 38 and k equal?
False
Let c be (-588553)/(-15106) + 2/52. Let z = -16 + 110/7. Is z smaller than c?
True
Let x = 25265 + -25265. Which is bigger: x or 1/14321?
1/14321
Let i be 100646/156 + 9/(-54). Which is bigger: 652 or i?
652
Let z = 121 + -31. Let r = z - 92. Is -5 < r?
True
Let s = 16322 + -16316.913. Which is smaller: 0.1 or s?
0.1
Let h(d) = -2*d**3 - 52*d**2 - 6*d - 44. Let z be h(-26). Which is bigger: 102 or z?
z
Let l = 608.5169 + -4.5169. Is l greater than 0?
True
Suppose -17*g + 99 = -1635. Suppose 107*s + 35 = g*s. Which is bigger: -22 or s?
s
Let n be (-50)/325 - (-200210)/65. Which is smaller: n or 3077?
3077
Let n be (-62)/93 + (-85)/(-6). Let w = n + -55. Which is bigger: -41 or w?
-41
Suppose -y + 0 = -2. Suppose 11*h = y*h - 1125. Is h <= -126?
False
Suppose 0 = -3*s + 3*f + 66, -3*s - 6*f = -f - 34. Suppose 5*i - s = 7*i. Let p be (i/(-15))/((-21)/4). Is 1 not equal to p?
True
Suppose 4*v + 6*g = 577 - 127, -2*g = -14. Are v and 113 non-equal?
True
Let z = 9/82 + -1411/902. Let w = -27373 - -27372. Are z and w non-equal?
True
Suppose n - 4*h - 88 = -18, 0 = -4*n - 4*h + 240. Suppose -3*s = -2*s - n. Suppose 8*i = 26 + s. Which is smaller: 13 or i?
i
Suppose 0 = d - 2*h + 32, 4*h + 0*h = -4*d - 128. Let a = d + 63/2. Suppose w - 14 = 15*w. Does a = w?
False
Let t = 95.53 + 42.47. Is t at least as big as 23?
True
Let z be -1 - -2 - (-48*24)/(-2). Is -575 at least as big as z?
True
Let w = 475 + -472. Let x(h) = -h**2 - 5*h. Let r be x(w). Is -162/7 <= r?
False
Suppose 0 = 5*b + m - 391, 0 = 2*b - 0*b + 4*m - 142. Which is smaller: b or 93?
b
Let l be (-4 + 178/(-4))*2/(-5 + 6). Suppose 3*q - 288 = 4*o, -5*q + 96 = -4*q - 5*o. Let z = q + l. Are -1 and z nonequal?
False
Suppose -j - z = 106, -j = j - 2*z + 192. Which is smaller: 7 or j?
j
Let q = -5952/