51 + 117. Let f be ((b/(-7))/4)/((-27)/162). Let d = 3 - -1. Does f = d?
False
Suppose -x - 4*l - 4274 - 6061 = 0, 2*l + 41312 = -4*x. Which is greater: x or -10325?
-10325
Let r = -17063 - -18714. Which is greater: r or 1652?
1652
Let q = -575.39 + 624.5. Let i = 0.11 - q. Which is smaller: i or 1?
i
Let p = -1721 + 1721. Do p and -2/5 have different values?
True
Suppose -18*z = -2562 - 1999 - 7823. Is z greater than 2/15?
True
Let g = 81 + -36. Suppose 0 = 4*l + 5*i - g, 3*i = 6 + 9. Let r(b) = b**3 - 5*b**2. Let x be r(l). Is 1 > x?
True
Let b(k) = 10*k + 6. Let z be b(23). Let w = z + -150. Which is smaller: w or 85?
85
Let v = -814 + 33375/41. Let i = v + -146/943. Is i less than -5?
False
Suppose -3*o - 9 = -3*v, 2*v + 0*o = -2*o + 6. Let c be 0/(-7 + (v - -3)). Are -4/37 and c equal?
False
Let g = 702 - 1409/2. Let q be 9/((-14094)/60)*3/5. Which is greater: q or g?
q
Let h = 0.4 - 0.3. Let g = -45.61 + -111.365. Let n = g + 157. Is h not equal to n?
True
Let h = 46325/4 - 11582. Is h not equal to -293?
True
Let u = 132668 - 932523/7. Let v = -555 - u. Which is greater: -4 or v?
-4
Let g = -2.56 - -0.56. Let w be 117/90*2/(-9)*-3. Let o = w + 7/165. Is g > o?
False
Suppose 0 = -2*w - 0*w - 14. Let n be (4 + -3)*(1 + -72). Let j = 65 + n. Are j and w unequal?
True
Suppose 6 = 2*a - 52. Let k(q) = -2*q**2 + 216*q - 3352. Let n be k(19). Which is greater: n or a?
n
Let q = 8.9 - -50.4. Let c = q + -59. Which is smaller: c or 0.23?
0.23
Let f = -27 - -47. Suppose -x + 6*x + f = 5*m, 6 = 2*m - 4*x. Suppose 5*r + 27 - 9 = 2*z, -17 = m*z + 3*r. Is 2/19 greater than z?
True
Let i(m) = -19*m - 93. Let d be i(-5). Suppose n + 2*q = 8, 0 + 8 = d*q. Which is smaller: n or 2/291?
n
Let w = 153.9 - 142.348. Let g = w + -0.552. Is g >= -26?
True
Let t(a) = 170*a + 6437. Let b be t(-38). Are -130 and b equal?
False
Let s = -2.5183 + 36.5183. Which is smaller: 62 or s?
s
Let u = -847 + 825. Let j = 454/3 + -2071/12. Is j greater than u?
True
Let b = -90 + 448/5. Let w = -151909 + 151962.0196. Let x = 0.0196 - w. Is x at least as big as b?
False
Let v(z) = -z**2 + 4*z - 3. Let o be v(3). Let c = -950 + 953.7. Let q = c + -4.7. Is q != o?
True
Suppose -4 = -l + q + 8, -5*l + 3*q + 56 = 0. Let d(m) = m**2 - 9*m - 9. Let p be d(l). Let a be p - (-27)/(-21) - 788/(-14). Is a >= 56?
True
Let w = 339 + -351. Let j be 146/510 + 1 + w/9. Which is greater: 1 or j?
1
Let g = 3 + 15. Suppose 5*k - g - 7 = 0. Suppose -a - k*a = -162. Is a smaller than 27?
False
Suppose v - 4*m = 6 + 3, 21 = -3*v - 4*m. Let n be (((-4)/(-6))/(-2))/((-2)/v). Let y(i) = -i**3 + 5*i**2 + i - 3. Let l be y(6). Which is bigger: n or l?
n
Let m = 74.181 + -0.181. Let i = 98.8 - m. Let h = -25 + i. Is h != 2?
True
Let z = 0.656 - 3.666. Let c = z + 3.11. Let a = 0.05 - -0.07. Is c greater than or equal to a?
False
Let j(q) = 2*q**2 + 9*q - 10. Let g be j(1). Let h be (-4)/2 + 5/g. Let l be -2 - (111/(-24) - 0). Which is smaller: l or h?
l
Let b be (2 + 389076/4025)*(-2)/(-12). Let g = 411/25 - b. Is g equal to -1/2?
False
Let h = 4097 - 5968. Which is greater: h or -0.1?
-0.1
Let c(b) = b + 41. Let i be c(-3). Let v be (-11)/(-8 - (-310)/40). Which is smaller: v or i?
i
Suppose 5*u - u = -32. Suppose -44 = -2*w - 2*y - 70, 2*y - 34 = 4*w. Is w less than u?
True
Suppose -52*y = -65*y - 130. Let s(x) = -x**3 - 11*x**2 - 11*x + 21. Let p be s(y). Which is smaller: p or 30?
30
Let b(r) = r**3 + 19*r**2 - 18*r + 15. Let n(u) = -78*u - 5. Let k be n(-2). Suppose -5*y = k - 51. Let z be b(y). Is -25 less than z?
False
Let q(x) = 151*x + 1182. Let w be q(-7). Is 1370/11 at most as big as w?
True
Let p be 0*(2 - -15*(-3)/18). Let n be (-50)/(-530) + p/2. Which is smaller: 0 or n?
0
Let v(a) = 7*a**2 - 34 - 6*a**2 + 8*a - 6*a**2 + 6*a**2. Let d be v(3). Let n = 1/2121 - -12689/78477. Which is smaller: d or n?
d
Suppose -3*v - 286 = -2*p, 4524*p - 4526*p = -4*v - 286. Which is greater: 2445/17 or p?
2445/17
Suppose -2*z + 4*b + 1235 - 135 = 0, 5*z - 2680 = -4*b. Suppose -96*l - z = -106*l. Which is smaller: 105/2 or l?
105/2
Let z(c) be the first derivative of -c**4/4 + 8*c**3/3 + 7*c**2/2 - 4*c - 79. Let g be z(7). Is 95 >= g?
True
Let l = -6.95 + 7. Let z = -1.84 + 1.57. Let c = 0.07 + z. Which is smaller: c or l?
c
Suppose 4*x + 0*h = -h + 1644, 3*x = 5*h + 1256. Let r be (25620/80)/((-3)/(-4)) - 14. Are x and r non-equal?
True
Suppose 5*p = -4*d - 13, 5*d = 4*p - 11 + 5. Which is smaller: p or 8/523?
p
Let h = -248 + 248. Let v be (h + -46)*(49/14)/7. Is v less than or equal to -14?
True
Let o(m) = 39*m**3 - 2*m**2 - 8*m + 17. Let d be o(2). Let f = d + -308. Let s = 40 - 77/2. Which is smaller: s or f?
f
Let p = -108 + 113. Suppose p*m = 194 + 456. Are 130 and m non-equal?
False
Suppose 21466 = -14*a + 26268. Is 0 smaller than a?
True
Let m = 544/9 + -8707/144. Let s = -10 - -10. Which is smaller: m or s?
m
Let x = -2099 + 2351. Which is bigger: x or 247?
x
Suppose 13445 = 2*w + m, 5*w - m - 2*m - 33574 = 0. Is 6718 > w?
False
Suppose 5*r = r. Let t be 8/((-56)/63) - ((-93045)/4650 + 11). Is r <= t?
True
Let s(t) = t**2 - 7*t - 121. Let z be s(15). Let m = 12 + -8. Let w be (-6)/m + 8570/5740. Do w and z have the same value?
False
Let b = 42546789/9943 + -261020/61. Let m = 6/163 - b. Is m greater than or equal to 1?
False
Let v(l) = -2*l**2 + 17*l - 48. Let r = -193 - -201. Let a be v(r). Are a and -40 equal?
True
Suppose -2*r + 5*r - 1365 = 0. Suppose 4*n = 2*a - 356, 4*n + 3*a + r = 79. Let g be 105/n - (-5)/((-65)/(-2)). Which is bigger: g or -2?
g
Let w(t) = -t**3 + 6*t**2 - 3*t + 17. Let s be w(6). Let c be (2/(-5))/(s/((-85)/(-2))). Does 16 = c?
False
Suppose -4*y - 5*k = -61 - 16, 8 = y + 5*k. Suppose 7*x = y*x - 16. Which is greater: x or 5/16?
x
Let g = 14.5 + -2. Let x = g + -12. Let o = 2869 - 2868.8. Which is smaller: x or o?
o
Suppose -9*v + 258 = -6*v. Let s = 85 - v. Is s smaller than 1/45?
True
Let i = -511.3 + 420.3. Let p = -1.2 - -1. Are i and p nonequal?
True
Suppose -a + 3*v = 2374, 2*a - 60*v = -56*v - 4740. Which is smaller: a or -2363?
-2363
Let u(z) = z**2 - 6*z + 9. Let v be u(8). Suppose p + 4*n = 24, 3*p - p = -4*n + 28. Suppose 0 = -5*i + p*c - v, -c - 3*c = 3*i - 17. Is -3 equal to i?
False
Let l be (-20)/(-270) - (-1700)/54. Is l greater than or equal to 33?
False
Let f = -0.091 - 12.909. Suppose 2*v = 63 - 59. Which is smaller: v or f?
f
Let c(f) = 112*f - 72. Let o be c(-2). Suppose 4*m = 5*t - 1199, m + 105 + 182 = -3*t. Is o not equal to m?
False
Let r(k) = 56*k**2 + 29*k + 112. Let u be r(-4). Let a = 637 - u. Is a greater than or equal to -254?
False
Suppose 322*i - 499796 = 15*i. Which is smaller: 0.1 or i?
0.1
Let b = -7212 + 6627. Which is smaller: -1753/3 or b?
b
Let w(l) = -l**2 - 7*l + 4. Suppose -2*s - 11 = 3*y, -4*y + 30 = -3*s + 73. Let i be w(y). Let v be (-8)/12 - ((-184)/6)/i. Is v less than or equal to 7?
True
Suppose o = 4*o - 36. Suppose 30*q + 4617 = -10713. Let a = -500 - q. Which is greater: o or a?
o
Suppose -23 + 16 = 7*z. Let u be (z/(-2))/((-328)/32). Is u bigger than 1?
False
Let r = -2404 + 14425/6. Which is smaller: r or -0.001?
-0.001
Let c(p) = -3*p**2 - 29*p + 7. Suppose -3*y + f - 32 = 0, 0 = 2*y - 48*f + 45*f + 26. Let b be c(y). Is b greater than -3?
False
Suppose 1 = -0*w + 3*w + x, 2*w + 5*x = 5. Let i be (4/(-2) - w) + (17 - 3). Let c be -1*3/(i/(-4)). Which is smaller: -1/74 or c?
-1/74
Suppose 22*w = 20*w - 8. Let o be (-10)/w - (-35)/(-70). Let x = -8/21 - -12/7. Is o equal to x?
False
Let r be (-1236)/(-927) - (-5)/(-3). Suppose -3*n = -8*n + 430. Is r smaller than n?
True
Let j(v) = v - 27. Let r be j(-8). Let b be 4/(-2) + (-125)/r. Which is greater: 1 or b?
b
Let x = 748381877/534 + -8402737/6. Let n = 1008 - x. Is 0 <= n?
False
Suppose 4*v + 7618 = -x, -9533 = 5*v - 12*x + 8*x. Is v > -1905?
False
Let z(q) = -q**3 - 19*q**2 + 3. Let b be z(-19). Suppose -5*a + 4 = l - 18, 16 = 2*l + b*a. Let o be 87/15 + 3/15. Which is smaller: l or o?
l
Let o = 16113 + -16113. Which is smaller: -269 or o?
-269
Let u(p) = -p**3 + 4*p**2 + 11*p + 6. Let q be u(6). Which is smaller: q or 14/15?
q
Let g = -706/5047 + 4/49. Let l = g - -2175/206. Let d be 1*(1 + 1 + 8). Is l at most as big as d?
False
Suppose 13*y - 6*y = -14. Let b 