. Let l = -625 + w. Which is greater: l or -11?
l
Let k = -1876.049 - -1876. Is -8 greater than or equal to k?
False
Let a(g) = -9*g + 33. Let z be a(16). Let u be 5/(135/z) + 1. Do u and -3 have the same value?
False
Let k(b) = b**2 + 6*b + 5. Let r be 2*21/(-14) + 6 + -1. Suppose 6*z - r + 14 = 0. Let h be k(z). Are -2 and h non-equal?
True
Let g be ((-6)/4)/(10/4 + -3). Let r be 1/g + (-122)/(-3). Suppose -2*y - 123 + r = 0. Is y greater than -40?
False
Let t = -3519/13202342 + -5/4526. Which is smaller: t or -1?
-1
Let h be ((-3182)/18 - -2) + (4356/(-162) - -27). Is -175 <= h?
True
Let s(w) = 2*w**3 - 94*w**2 - 95*w - 37. Let f be s(48). Which is bigger: 10 or f?
f
Let u be 15/5 - 8 - (56 - 24). Does u = -39?
False
Suppose 0 = -321*f - 34820 + 166430. Is 406 not equal to f?
True
Let g be (-1)/(9*8/72). Is g bigger than -12/3007?
False
Let w = -0.27 - -0.36. Let h = w + 0.01. Let i = 76.5 + -77. Is i <= h?
True
Let z be (-5)/(-10)*(0 + 2). Let t be (3 + -3)/(z + 0). Let h = -23.389 + 0.389. Do h and t have the same value?
False
Let p = 1.4 - -0.6. Suppose -238 - 1227 = 5*z + 2*t, 2*z + 567 = 3*t. Let l = -292 - z. Is p >= l?
True
Let t be (-30 - -29) + (62 - -2). Let o be 0 - 3/t*-5*-1. Let z = -1 + 1. Which is smaller: z or o?
o
Let d be (101168/10 - 8/40*-1)/(-1). Are d and -10116 equal?
False
Let h(w) = 51*w**2 + 3*w + 24. Let n be h(-3). Let x be 12 + -8 - n/123. Is x <= 1?
True
Let d be ((-3)/((-5370)/(-56)))/((-250)/625). Is -1 >= d?
False
Let x = -1110659/206100 + 1/22900. Let d = 23/9 + x. Is d greater than -4?
True
Suppose -4*a = -8*a - 8. Let p be a + 6 + -7 - 32. Let j = -38 - p. Is 0 bigger than j?
True
Let y = 286 - 282. Let z be 4*(-15)/12*1. Let g = y + z. Which is smaller: 3 or g?
g
Let m = -397 - -365. Let i be (7 + m/4)/1. Which is smaller: i or 0?
i
Suppose 5*z - 1200 = 5*n, 3*z - 684 = 8*n - 11*n. Is z <= 235?
True
Let s be (897/(-3915) - 18/(-81))*-7. Do 1 and s have the same value?
False
Suppose 133*x - 96503 = 44034 + 100991. Which is smaller: x or 1820?
x
Suppose 7*k - 2363 - 1557 = 0. Suppose 8*l - 4*l = 2*f - k, 2*f = -3*l + 525. Is 270 smaller than f?
False
Let c = 74 + -21. Suppose 12*b - c + 29 = 0. Is b < 2?
False
Let a = 2.1 - 2.44. Let j = -0.05779 - 0.04221. Which is smaller: j or a?
a
Let g = -2113/23 + 92. Suppose -5 = -o - 0*o + v, 2*v + 10 = -3*o. Which is bigger: o or g?
g
Let y = 412.11 + -415.11. Are -1290/13 and y nonequal?
True
Let q(m) = 86*m**2 - 10*m - 6. Let t(z) = 87*z**2 - 10*z - 5. Let g(u) = 4*q(u) - 5*t(u). Let n be g(-1). Is -101 at most n?
True
Suppose -102*o - 33*o - 61155 = 0. Which is bigger: o or -1815/4?
o
Let g = -84 + 42. Let c = -42.11 - g. Let l be (14/21)/(4/6). Is l < c?
False
Let z be ((-72)/20)/(-6) + (-7836)/10. Let v = z + 554. Are v and -230 equal?
False
Let s = -12717/5 + 88771/35. Is s at most -8?
False
Let a = -13950 + 29057848/2083. Which is smaller: a or 1?
a
Let b = 30117585/22 - 1369443. Let s = b + 462. Is 0.3 at most s?
False
Let k = 20573/252821 - 2/6833. Which is greater: -13 or k?
k
Suppose 3*j = -3*o + 3, -2*j = -o - 3 + 1. Suppose q - 3*q + 4*y - 232 = o, 2*q + 228 = 3*y. Is -109 smaller than q?
True
Let p be (6/(-7))/((-1)/(-7)) + 25 + -18. Is 3141 less than p?
False
Let n = 20033 + -83537611/4170. Is n bigger than 1?
False
Let y = -208.4 - -208.4. Do 3401 and y have the same value?
False
Let k = -0.3219 + 0.2879. Let m = 13 - 13. Do m and k have the same value?
False
Let v(k) = 3*k + 11. Let r be v(11). Let m be (r/6)/((-12)/(-450)). Are m and 276 nonequal?
True
Let s = 1024.3 - 1016.1. Which is smaller: 2/153 or s?
2/153
Let o be (17/34)/(1 - 22/24). Suppose 0 = o*t - 14 + 8. Which is greater: -2/465 or t?
t
Let w = -167 - -240. Let u = -78 + w. Let b be u/6*(-6)/260. Which is smaller: b or -1?
-1
Suppose 0 = 59*o - 64*o - 30. Suppose 4*r + 0*r = 2*c - 24, 4*c + 22 = -2*r. Which is bigger: r or o?
o
Let a(k) = 2*k**3 + 24*k**2 - 26*k - 9. Let x = 246 + -259. Let q be a(x). Is q not equal to -9?
False
Let g be (-2)/(-2) - (-5170)/18. Let q = 479872/1665 - g. Let j = 27833 + -27832. Which is greater: j or q?
j
Let d(s) = s**2 - 2*s - 32. Suppose -y - 2*y - 4*t + 37 = 0, -5*y + 39 = t. Let m be d(y). Which is smaller: m or -2/81?
-2/81
Suppose 7*f - 79*f + 72 = 0. Is 78/211 at least as big as f?
False
Let s = -2941 - -2937. Is s at most as big as 11.02?
True
Let u = -42028.4 - -41999.4. Let x = -224/345 + -2/115. Which is bigger: x or u?
x
Let o be (-3 - 768/(-252))*6. Is 2714 at least as big as o?
True
Suppose -9*s - 2*f - 27 = -6*s, s - 3*f = 2. Let k be (s/(-2))/(76/8). Is k at least as big as -1?
True
Let s = -7 + 12. Let a(g) = g - 9. Let r be a(s). Suppose -14*w - 76 = -2*p, 0 = 4*p + w - 265 + 287. Is r at most as big as p?
True
Let k be ((-24)/(-5) - 4)*(-25)/(-10). Suppose -2*n + q = -98, q = 3*n - k*q - 141. Which is smaller: 49 or n?
49
Suppose -4*q - 8 = 2*m, 0 = 10*m - 7*m + 2*q - 4. Suppose -m*a - 1869 = -3*i, -2*a - a - 4*i - 1433 = 0. Which is smaller: -470 or a?
a
Let o = 322499 - 4206354453/13043. Which is smaller: o or -1?
-1
Let s be 819/(-279) - -5*8/(-620). Is s equal to -42/19?
False
Let h = 520 + -137. Suppose -2*j - 5*v = -7*j + 1905, 4*j = v + 1527. Which is smaller: h or j?
j
Suppose 6*i + x = -0*x + 73427, x = i - 12246. Is 12240 at least i?
True
Suppose 26*r - 49 = -q + 23*r, 4*q - r - 261 = 0. Let c be (((-120)/q)/15)/62. Which is smaller: c or 0?
c
Let j(h) = 2*h**3 - 19*h**2 - 25*h + 102. Let c(s) = s**3 + 1. Let m(t) = -c(t) + j(t). Let o be m(20). Which is smaller: o or 22.4?
o
Let v = 38478 - 38396.831. Let k = 0.169 - v. Is k equal to 1?
False
Let w be -2 + -1 - (-14031072)/(-4304). Suppose 22841 = 3*q - 10*q. Let o = q - w. Is 0 bigger than o?
False
Let s be 10*(13 + (-532)/40 + (-8)/(-10)). Which is smaller: 72/13 or s?
s
Let b = -144 - -154. Let s be (b/25)/((-87)/45 + 2). Is 21/4 smaller than s?
True
Suppose 68*p - 77*p + 342 = 0. Suppose 2*l + 5*g - 35 = 34, 0 = -2*l + 2*g + 62. Does l = p?
False
Let x(c) = 11*c - 9. Let m be x(1). Suppose 3 = -3*g, m*g - 4*g = 3*b + 5. Which is smaller: -39 or b?
-39
Let g = -7109 - -7115. Is g >= -477?
True
Suppose -16 = -5*n - 1. Suppose -2*c - n*c = 175. Let a = -35 - c. Which is smaller: 4/3 or a?
a
Let b = -944 + 935. Which is bigger: b or -260/33?
-260/33
Let o = 18 + -205. Let d = o + 187.1. Does -131 = d?
False
Suppose 4*g = 3*s + 4, -5*g + 2*s = -2 - 3. Let l = -269531/107 - -2519. Let y = l - -95/642. Which is smaller: y or g?
y
Let q = -6864 - -6864. Which is bigger: -0.01541 or q?
q
Let a be (-1)/(-5) - 14/64. Let n = 6903 + -6904. Which is bigger: a or n?
a
Let k = -245/2 + 126. Let n = 2 - -5. Let s = n + -2. Which is bigger: s or k?
s
Let y be ((-40)/(-4))/(0 - 2). Let v(p) = -16*p + 12. Let d be v(-6). Let g = d + -111. Which is smaller: y or g?
y
Suppose 4*f - 8411 = -2*a + 14361, 0 = 15*f - 5*a - 85320. Is f not equal to 5691?
True
Suppose 5*g - 2380 = -2*g. Suppose 41*t = 36*t + g. Suppose 0 = -3*a - w - 51, 3*a + a - 2*w + t = 0. Is a at most -17?
True
Let d = 837.7 - 876. Let u = 35.2 + d. Is u >= -2?
False
Let b(x) be the third derivative of x**6/120 - 5*x**4/12 + 2*x**3 + x**2 - 26. Let o be b(4). Does o = 390/11?
False
Let p be 2 + (-4)/(-25)*-16. Let f be 14/(-2)*-21*3/9. Suppose 53*x = f*x. Is x at most p?
False
Let k = 45018 - 33043207/734. Which is smaller: 1 or k?
k
Suppose -68*k = -97*k + 53*k - 72240. Which is smaller: 3011 or k?
k
Let d(y) = 84*y**2 + 59*y + 244. Let t be d(-3). Is 815 equal to t?
False
Suppose -21*m - 2 + 44 = 0. Let d be ((-5)/m - -1) + (-238)/(-476). Are d and 2 unequal?
True
Let h(d) = 4*d**3 - 28*d**2 - 24*d + 47. Let n(a) = 3*a**3 - 28*a**2 - 24*a + 47. Let m(o) = -4*h(o) + 5*n(o). Let c be m(-27). Which is greater: c or -1/8?
-1/8
Let l be (564/(-168) - 1/(-2))/((-23)/(-161)). Let b(u) = -u**2 - 2*u + 2. Let t be b(-6). Is t smaller than l?
True
Suppose 7 = 5*p - 4*c, 7 = -p + c - 3*c. Let t be 0/((-8)/((-8)/p)). Let u = 796/5 - 158. Is t < u?
True
Suppose 50 = 5*p - 10*b + 5*b, -5*b = 2*p - 34. Let q be 1/(-10)*p/138. Is 0 > q?
True
Suppose 11*g = 6*g - 20. Let q be (g/(-14))/(6/(-14)). Let m = -471.85 - -510.85. Which is bigger: m or q?
m
Let b be 35 + -50 + 24 - ((-18321)/(-1665) + -2). Let i(j) = j + 6. Let v be i(-6). 