ich is smaller: 252 or k?
k
Suppose m + 5*n - 80 = 0, 4*n - 9 = 11. Suppose -2*k - m + 7 = 0. Which is bigger: k or -23?
-23
Suppose 5*s - 3 = 2*s. Suppose -5*k = 16 - 51. Let c = -7 + k. Is c less than or equal to s?
True
Suppose g = -0*g + 1. Let n = 5 - g. Let t be (-1)/(-2) - (-2)/n. Is 0 at least t?
False
Suppose 4*h - 18 - 18 = 0. Let x be (4/12)/(((-6)/h)/(-2)). Is x greater than -7?
True
Let d be (3 - 2)/(-2 + 7). Suppose 3*w = 11*w + w. Which is greater: d or w?
d
Let t(s) = -88*s**3 + 3*s**2 + 2*s + 2. Let d be t(-2). Let x be d/(-1476) - 1/(-2). Let m = x + -629/861. Does m = -1?
False
Let y = -0.739 + -0.261. Is y at least 1.6?
False
Let t be 3/(-15) - 276/(-1580). Let l = 27 - 26. Which is smaller: t or l?
t
Let o = -1880 - -13158/7. Is -302 equal to o?
False
Let h = 2/673 - -1092/85471. Let r be ((-30)/(-32))/((-254)/72). Let i = h + r. Which is greater: i or -0.2?
-0.2
Let u(r) = -11*r - 550. Let k be u(-44). Is -65 <= k?
False
Let w be (-3)/6 - -1 - 275/(-10). Let c(u) = u**2 + 3*u - 9. Let m be c(-5). Which is greater: w or m?
w
Let p = 423 - 423.5. Which is bigger: -17 or p?
p
Let u be -3 + (7 - 0) + 3. Suppose 4*x - u = 8*x + 5*q, 4*q - 7 = x. Suppose -g + 4*h = -18, 3*g + 1 = -3*h - 20. Which is bigger: x or g?
g
Let f be (-10)/75 - 1648/(-12660). Are 1 and f nonequal?
True
Let d(x) = x**2 - 14*x + 3. Let m be d(8). Let a be 558/m - 2/(-5). Let t be 12 + a - (-2)/1. Which is smaller: t or 7/5?
7/5
Suppose 0 = 3*g + 5*c - 10, g = 6*g - 5*c + 10. Let a be 1*(-1)/2*g. Let k be (-305)/(-854)*(-2)/10. Which is smaller: a or k?
k
Let q(d) = -d**2 + 9 + 2*d**2 + 4*d**3 - 3*d**3. Let f be q(0). Let h be (f/27)/(2/6). Which is bigger: h or -1/6?
h
Suppose 3*z + 3 = y + 4, 5*y - 5*z - 5 = 0. Let c be (y/4 + (-1)/4)*-11. Which is smaller: c or -2?
c
Let m = 74 - 78. Let v = m - 71. Is -75 at least as big as v?
True
Let u be 3/(-6) + -1 + (-60)/(-8). Let h be u/((-24)/2)*-18. Do -0.3 and h have the same value?
False
Let c = 74 - 73.871. Let t = c - 33.129. Is 1/3 smaller than t?
False
Let y be ((-6)/(-216))/((-92)/(-8))*-4. Is y at least as big as 1?
False
Suppose -32*s = -39*s - 7. Suppose 5*a - 3*k = 26, -3*a + 3*k + k = -20. Let z be a/13*(-3)/6. Is s bigger than z?
False
Let j = -28 + 27. Is j at least as big as -1/20?
False
Suppose -17*p + 29 = 12. Let x be 184/990 - 4/18. Is p smaller than x?
False
Let x = 26 - 28. Let i be 2/(-4) + (-7)/x. Suppose -8*f + 9*f + i = 0. Is -2 greater than f?
True
Let r = -0.1456 + 0.1256. Which is smaller: 10 or r?
r
Let a(q) = q**2 - 7*q + 8. Let i be a(6). Suppose 2*u - i = 8. Let r(j) = -j**2 + 4*j + 2. Let n be r(u). Which is smaller: -1 or n?
n
Let k be (236/6)/(1 - 40/48). Is 233 at most k?
True
Let g = 0.129 + -10.129. Let y be 2/6 - (-7)/105. Which is bigger: g or y?
y
Let d = 79 - 241. Are -161 and d nonequal?
True
Suppose 481 = 14*w - 401. Suppose -20*r = -23*r - w. Is r less than -18?
True
Suppose 143 - 47 = -4*c. Let w = c + 17. Is -7 < w?
False
Let s = 31 - 30. Is s != 95?
True
Let z = -1.4 - -3.4. Let v = z + -1.16. Let m = v + -0.6. Which is smaller: m or 0?
0
Suppose 6*x = -5*w + 2*x + 24, 4*x + 12 = 4*w. Suppose -1 = k, -w*k = 4*s - 2*k - 58. Suppose -5*o - p + 70 = 4, 16 = -4*p. Are s and o unequal?
True
Suppose -37*r + 9 = 749. Is r less than -39?
False
Let g(m) = 14*m**3 + 2*m**2 + 5*m + 4. Let z be g(-1). Let x be (-16)/(-12)*30/(-4). Which is smaller: x or z?
z
Let z(w) = 2*w**3 + 8*w**2 - 3*w - 2. Let v(r) = r**2. Let y(x) = -6*v(x) + z(x). Suppose p + 0 + 2 = 0. Let o be y(p). Which is smaller: o or -5?
-5
Suppose 3*v - v - 25 = u, -3*v + 41 = 2*u. Is v at most as big as 90/7?
False
Let b = 6 + 24. Suppose -j + 5*q = -1 + 21, -b = -4*j - 2*q. Suppose 6 = 2*c - 5*l, -j*c - 21 = l - 9. Which is smaller: -4/3 or c?
c
Let r = 1362 + -12244/9. Let s(b) = b**3 - 15*b - 2. Let p be s(4). Is r less than p?
True
Let b = -2/131 - 256/393. Is -3.3 at least as big as b?
False
Let j be (78/(-21))/(-13) + 38/14 + -2. Let y be (1/(-172))/(6/8). Which is smaller: y or j?
y
Let s = 0.0668 - 0.2068. Which is smaller: s or 7?
s
Let j(z) be the third derivative of z**6/120 + z**5/30 - z**4/24 + z**3/6 + 5*z**2. Let s be j(-2). Suppose g - 2 = s. Which is smaller: 4 or g?
4
Let j be ((-12)/30)/((-28)/1085). Which is bigger: j or 16?
16
Let h = -18/17 - -92/119. Are 235 and h equal?
False
Let k be (-1 + 6)*6/(-2). Let j = k + 10. Let d(w) = -2*w + 40. Let y be d(23). Is j at most as big as y?
False
Suppose -5*n + 75 = -5*f, 3*f - f - 3*n = -26. Let m be ((-56)/21 - -3) + (-2)/(-3). Is f >= m?
False
Let c(x) = 3*x**2 + 7*x - 3. Let d(h) = -h - 11. Let n be d(-5). Let p be c(n). Let t be (-77)/(-18) + 14/p. Which is smaller: t or 6?
t
Let z = -13.515 + 0.765. Is -2/5 > z?
True
Let n be ((-4644)/21)/3 + 1. Let x = 73 + n. Which is smaller: x or 0.3?
x
Let a be (-9)/12*((-9)/27 + 1). Do 0.082 and a have the same value?
False
Let s = 274 + -254. Which is greater: -6 or s?
s
Suppose 0 = 5*q + 510 + 180. Which is smaller: -139 or q?
-139
Let y = 387 + -62308/161. Is 1 greater than y?
True
Let v = -50 + 53. Do v and -31 have different values?
True
Let h = -9 + 8. Let s be 7/((-1015)/150) - h. Is 0 > s?
True
Let l be (564/60)/(2/10). Let t = l + -23. Which is smaller: t or 25?
t
Let w be (153/85)/((-2)/(-430)). Is 387 less than or equal to w?
True
Suppose 0 = -6*z + 19*z + 8*z. Is z equal to -3/175?
False
Let j = -0.048 - 0.052. Which is greater: j or 50?
50
Let d(s) = -2*s**3 + 5*s**2 - s - s**3 - 6 + 4*s. Let m(f) = -4*f**3 + 5*f**2 + 4*f - 6. Let b(c) = 3*d(c) - 2*m(c). Let q be b(5). Is q > 1/14?
False
Let o = 59 + -33. Suppose -2*h - o = -26. Is 0.2 < h?
False
Let i = -280.011 - -0.011. Is i > 0.1?
False
Let o(r) = -15*r - 313. Let y be o(-21). Is y equal to -7/4?
False
Let t(d) = -10*d**2 - 5*d - 10. Let r(m) = 11*m**2 + 6*m + 11. Let p(h) = 6*r(h) + 7*t(h). Let z be p(-2). Which is greater: -21 or z?
-21
Let n = 3.4 - -0.6. Suppose -20 = -20*r + 20. Is r at least n?
False
Let v(q) = 4*q**3 - q**2 - q + 1. Let u be v(1). Suppose z + 4*k + 6 = 2*k, 3*z + u*k = -9. Which is smaller: z or -1/28?
-1/28
Let d = 93.3 + -95.3. Which is smaller: d or -106?
-106
Suppose -1739*q - 3 = -1742*q. Which is bigger: -4 or q?
q
Let x(q) = q**3 - 2*q**2 + 11*q + 128. Let z be x(0). Does z = 129?
False
Let s = 11.07 + 8.99. Let h = 0.06 - s. Let i = h - -18. Which is smaller: -0.1 or i?
i
Suppose 162 = -3*r + 9*r. Let h = 27 - r. Let y be 112/186 - (-2)/(-3). Which is greater: y or h?
h
Suppose -2*d - 2*d = 8. Let h(k) = -3*k**3 + 3*k + 2. Let o be h(d). Let t = o + -21. Which is greater: 3/26 or t?
3/26
Let s = 5 - 8. Let w = 1.71 + -5.71. Let o = w - s. Is 0 greater than o?
True
Suppose -5*w + 959 + 756 = 0. Let o = w - 243. Is o != 99?
True
Let r = 20 + -7. Let a = r - 11. Let k = 0.4 - 0.8. Which is smaller: a or k?
k
Let a = -1/27 - 5/594. Which is bigger: a or 1?
1
Let v(f) = 6*f - 31. Let b be v(5). Is 3/16 at most b?
False
Let j = -3.67 - -3.5. Let o = 62 + -62.27. Let c = o - j. Which is smaller: 2 or c?
c
Let v be ((-11165)/168)/(-11) - 6. Which is bigger: 0 or v?
v
Suppose 0 = -5*v + 3*x + 83, x + 3 = -4*v + 83. Is v >= 12?
True
Let z = -595 - -575. Suppose 4*r + 26 + 58 = 0. Which is smaller: z or r?
r
Let i = 11 - 8. Suppose 2*p - 124 = 5*c - 2*p, -p = i*c + 88. Let v be (-15)/(-4) + (-7)/c. Do v and 4 have the same value?
True
Let s(y) = 2*y + 5. Let k be s(-5). Let r be ((-8)/k)/((-2)/5). Let b be r + 242/120 - -2. Is b less than 0?
False
Suppose 26*k - 21*k + 875 = 0. Do -176 and k have different values?
True
Let n(y) = y**3 + 6*y**2 + 3*y - 2. Let b be (-12)/(-8) + (-3)/2. Let j = -5 + b. Let u be n(j). Which is greater: u or 7?
u
Let i be (-1)/(-4) - 58521/(-204). Let n = i - 287. Which is smaller: n or 1?
n
Suppose -z = -0*z + 2. Let x be ((0 - -3) + -4)*z. Let v be (-6)/x - 38/(-14). Are -15 and v equal?
False
Suppose -3*a - 4*j = -4, 1 - 4 = -a - 3*j. Suppose -t - 5*q + a*q - 35 = 0, 31 = -2*t + 3*q. Let x = t - -15. Is -3 smaller than x?
False
Let c(w) = -w + 12. Let q be c(11). Suppose -31 = -4*i + q. Are 6 and i equal?
False
Suppose -u = -3*u - 4. Let a be (80/112)/((-6)/7). Is u at least a?
False
Let i be ((-5)/115)/((-1)/4). Which is smaller: i or 1?
i
Let t be -6 - 72/(-150)*15. Let v(d