*d + 14, 5*c = 10*d + 290. Let v = 5 + -11. Let f be (-2)/v - 152/6. Is d not equal to f?
True
Suppose 578 = -156*h + 164*h + 210. Which is smaller: 39 or h?
39
Let v(a) be the first derivative of -a**3/3 - 13*a**2/2 - 6*a - 2. Let u be v(-9). Suppose y + 3*b - 5*b - 17 = 0, 2*b = -4*y + 128. Which is smaller: y or u?
y
Suppose 4*t + 28 = 0, 269*q - 266*q - 3*t - 24 = 0. Which is smaller: -0.02159 or q?
-0.02159
Suppose 3*b = 6*b. Suppose k = -b*k. Let s be 5 + (126880/15)/(-8)*8/1696. Which is bigger: s or k?
s
Suppose -4*y = v - 143, -43*y + 40*y = -3*v + 444. Which is greater: 149 or v?
149
Suppose 2*z + 3*s + 17 = -2*s, -2*s = -5*z + 1. Let u(y) = -100*y + 5. Let j be u(z). Let f = j - 80. Which is smaller: -1 or f?
-1
Let p = -112142 + 112142. Let l be (-2)/88*(-4)/11. Which is greater: p or l?
l
Let q = 1428.7 + 316.3. Which is smaller: q or 0?
0
Suppose -24 = -3*b + 4*s - 31, 3*b = -4*s + 1. Which is greater: -1/701 or b?
-1/701
Let y(p) = 6149*p + 6124. Let r be y(-1). Let l = 36893/6 + -6173. Does l = r?
False
Let h = 13.0558 + -180.0418. Let s = -167 - h. Which is smaller: 0 or s?
s
Suppose -4*v + 4 = -24. Let c(o) = o + 62. Let k be c(v). Which is smaller: 67 or k?
67
Let u be 2/8*2*-2. Let z be 282/(-92) + (u - -4). Let o(p) = p**3 - 44*p**2 - 2*p + 89. Let b be o(44). Is z < b?
True
Suppose 10*t + 1120 = -4*t. Is t greater than or equal to -1050/13?
True
Let j(n) = n**3 - 4*n**2 + 9*n - 77. Let f be j(14). Which is smaller: 2014 or f?
f
Let c = 10.17645 + -0.17645. Which is bigger: -107 or c?
c
Let l be (2*17624/(-8))/((-1543)/(-4)). Let o = l + -239052524/189789. Let t = -1271 - o. Is 0 < t?
False
Suppose 0 = -2*u + 2*d + 10, 3*u = 2*u - 4*d - 20. Let q = -89/2 + 1687/38. Which is greater: u or q?
u
Let t be 3/(33/18 + (-2)/6). Suppose p = -p + n + 56, t*n = 3*p - 82. Let v = -20 + p. Which is smaller: -0.2 or v?
-0.2
Let s = 502 + -499. Let x(y) = 9*y**3 + y**2 + 3*y + 5. Let u be x(s). Which is smaller: 267 or u?
u
Let g = -875 - -882. Suppose -5*w = 2*z + 8, -w + 0*w - 16 = -2*z. Suppose z = 2*a + a. Which is smaller: g or a?
a
Let t = 1.193 + -1.893. Let m = 14 - 16. Let r be 1*(m + 3)/(-4). Which is smaller: t or r?
t
Let d(a) = 52*a**3 - 212*a**2 + 12*a - 1. Let p be d(4). Let r be 1 - -1 - (-1 + -1). Let j = r + p. Which is smaller: -11 or j?
j
Let p be (1*(14 + 1))/(-1). Suppose -314 = -2*z - 4*n, -8*n + 4*n - 169 = -z. Suppose z*q + 65 = 156*q. Is p at least as big as q?
False
Suppose 2*o + 3*u = -15, 782*o - 5*u - 25 = 779*o. Let r = -2992 - -2001650/669. Is r greater than o?
True
Let i be (-2)/23 + 16/736*-1468. Is -7 not equal to i?
True
Let a be 2/(-13) - (10 - 228690/(-39)). Is a less than or equal to -5873?
True
Let z be -3 - 6/(-1 - 2). Let a be (-40)/6*(25 - (-25382)/(-1015)). Which is greater: z or a?
a
Let p = 209 + -177. Suppose -17*m + 15 = -p*m. Are 1/43 and m nonequal?
True
Let s = -467 - -627. Which is bigger: s or 168?
168
Let p(k) = k**3 + 17*k**2 + 28*k + 31. Let d be p(-16). Let t be 42/483 + (-2263)/d. Which is greater: t or 14?
t
Let n = 903.669 - 864. Let o = -0.069 + n. Let s = o + -39. Do -2/3 and s have different values?
True
Let j(k) = -k**2 - 10*k + 77. Let h = 668 + -661. Let l be j(h). Is -81/2 <= l?
False
Let k = -1.5 - -2.7. Let w(r) = -r**3 - 9*r**2 + 1. Let s be w(-9). Let a be s/(35/10) - 2/7. Is a smaller than k?
True
Let q be ((-18)/8)/((-9)/24). Let f be (-5)/100*q*(-4)/54. Is f at least as big as 0?
True
Let n = -443 - -436. Let b be (((-84)/8)/n)/((-210)/(-40)). Which is smaller: b or -71?
-71
Let a be (-4026)/(-20) - (-1260)/(-4200). Which is smaller: a or 1817/9?
a
Let u = 4531167/1255 - 18052/5. Is 1 greater than or equal to u?
True
Let p = -6558 + 6278. Are p and 3 unequal?
True
Suppose 42*b = -2*z + 44*b - 3290, 3*z + 4949 = -4*b. Is z at most as big as 0?
True
Let k be 3 - 10/2 - -5. Suppose 4*d + 2*o - 16 - 42 = 0, -k*d - 3*o = -39. Suppose -z = h - 12, 36*z - 4*h = 35*z + 27. Is z >= d?
False
Let g(y) = 4*y + 224. Let s be g(-56). Let m be (-1 + 59/11)/10. Let b = 651/1870 - m. Is b less than s?
True
Let j = -584 + 583.9876. Let u = j + -1.9876. Are u and -0.042 equal?
False
Suppose 15*r + 83655 = -6*r - 78*r. Are -6 and r unequal?
True
Suppose 61*c + 122 + 338 - 155 = 0. Let l = -3 + 7. Suppose -s + 5 = 5*w + 3*s, -l*s = -5*w + 5. Which is greater: w or c?
w
Let g(p) = 2*p**3 - 5*p + 2. Let w be g(3). Let c = -16546 + 16587. Is w smaller than c?
False
Let l be (-18)/(-46)*(96 + -97). Suppose -5*o - 8 = -3. Is l equal to o?
False
Let r be 2 - ((-626)/126 - -7). Let b = 62/9891 + r. Is 1 less than b?
False
Let c = -163.89 + -15.21. Let b = c + 178. Is b <= 0?
True
Suppose -343*f - 1135 = -3*v - 345*f, -4*v - f + 1520 = 0. Which is smaller: v or 386?
v
Let w be (2511/108 - 22) + (-586)/8. Let r be (-2)/5*10/26. Is w bigger than r?
False
Suppose -2*v - s = -5*s - 2, 4*v - 4 = 5*s. Let u be (1 + v/(-3))*-108. Let l = u + 73. Which is smaller: l or 0?
0
Suppose -4*l = l + 175. Let i = 35192 + -35220. Is l <= i?
True
Suppose 0 = -4*a - 4 + 24. Suppose 159*h - 29*h - 6110 = 0. Suppose l + 3*p - 159 = -l, -a*p = -l + h. Is l less than 72?
False
Let x be (-3)/2*(35814/18 + 19). Which is smaller: x or -3014?
-3014
Let a = 12434/7 - 1776. Let z = 0.7 - -38.3. Is z at least as big as a?
True
Let z = -10589 - -10564. Does z = -20?
False
Let d be (2/(-13) - 657790/3276)*-2. Let o = 399 - d. Is -4 < o?
True
Let y(b) = -2*b - 5. Let t be y(5). Let l be 4/t - 4/(-12). Let q = 6/5 - 8/5. Which is smaller: l or q?
q
Suppose 159*y - 10*y + 1680 = 9*y. Suppose m - 3*q + 70 = -4*m, 13 = -3*m - 4*q. Does y = m?
False
Let c be 185/(-4 + -1) - -4. Let t be 276/(-345)*((-244)/(-6) + 1). Does c = t?
False
Let k(a) = -a**3 + 14*a**2 + 14*a + 18. Let n be k(15). Let p be (n - 2)/(0 + 2/294). Let m be 2/3 - (-3)/((-621)/p). Is -0.1 equal to m?
False
Let f = -13/3370 + 2829/296560. Let h be (3/(-6)*0)/(-2). Which is bigger: f or h?
f
Suppose 123*a + 2*h + 14 = 119*a, -2*a = -h - 3. Is a smaller than -1/1416?
True
Let o(x) = x**3 + 45*x**2 - 34*x + 33. Let d be o(-47). Let q = -1468752/527 - d. Is q < -1?
False
Let b(x) = x + 1. Let m(r) = r**2 - r + 1. Let n(s) = 2*b(s) + m(s). Let a be n(-2). Suppose 29 - a = 6*f. Are 4 and f equal?
True
Let d(g) = 24*g**2 - 10*g - 9. Let i be d(-1). Suppose 3*a = n - 3*n + 75, 3*a + 3*n - 78 = 0. Is i greater than a?
True
Let j(g) = -2*g**3 - 8*g**2 + 46*g + 131. Let x be j(-6). Is 27.91 > x?
True
Let s = 8355 + -2938. Which is greater: -0.1 or s?
s
Let q be ((-7756)/(-2588) - 3)*40/680. Which is greater: q or 1?
1
Let y(z) = 8*z + 72. Let q = 175 - 184. Let m be y(q). Are m and -1 non-equal?
True
Let v(p) = 189*p - 3037. Let h be v(16). Is h not equal to 0.359?
True
Let d = 447 + -455. Let t be 13/2 - 4/d. Let h = 3617/6 + -597. Which is greater: h or t?
t
Let v = -18473.9603 + 18473. Let f = v - 0.0397. Which is smaller: 20 or f?
f
Let k(r) = -9*r**2 + 2 - 8*r + 5*r**2 + 3*r**2. Let l(y) = 2*y**2 + 7*y - 3. Let d(w) = -3*k(w) - 2*l(w). Let i be d(13). Which is greater: i or -38?
-38
Let b(k) = -k**3 - 5*k**2 + 35*k + 2. Let h = -83 + 87. Let w be b(h). Is -13/5 at most w?
True
Let b = -8578/13 - -4841/52. Which is smaller: -568 or b?
-568
Suppose 2*c + 2*c - 3*y = -11, -2*c + 3*y = 13. Suppose -31 = 7*w + 4. Let q be w + 815/(-265) - -8. Which is bigger: q or c?
c
Let x = 99 - 94. Let h(g) be the third derivative of -7*g**4/24 + 2*g**2. Let y be h(x). Which is bigger: y or -36?
y
Let w be (-16)/(-32)*(7 - 5). Which is smaller: w or -1/2640?
-1/2640
Let u be (-2)/(-10) + 529736/920. Which is smaller: 572 or u?
572
Let t(f) be the third derivative of -2*f**5/15 + 13*f**4/24 - 3*f**3/2 + 3*f**2 - 2. Let a be t(4). Which is greater: a or -84?
-84
Let a(l) = 8*l + 5. Let u be a(0). Suppose -5*n - i + 15 = -3*n, -39 = -u*n - i. Is 64/7 != n?
True
Let j = -12.388 - -1488.388. Which is smaller: j or -2/5?
-2/5
Let n = 6858/11 - 20552/33. Do -5181 and n have different values?
True
Let z be (-1 + (-7)/(-3))/(12/9). Let j = -2.1 + 5.1. Let a = j - 7. Which is bigger: z or a?
z
Let f = -28 - -30. Let x = 854/5 - 169. Which is smaller: x or f?
x
Suppose -5*q + 5 = 0, y - 254 = 15*q - 20*q. Suppose -m = 5*c - 139, -c + 15 - y = -2*m. Is m < 115?
False
Let q = -14229 + 1607860/