+ 300. Let l be w(16). Which is smaller: l or 56?
56
Suppose -4*c + 2 = -3*c. Suppose -28 = -r - 5*k, 0 = 2*r - c*k - 26 - 30. Is 27 at least r?
False
Let b = -10 + 6. Let g(z) = 2*z**3 + 4*z**2 + 10*z + 21. Let s be g(b). Is -82 bigger than s?
True
Suppose 0 = 3*s + s + 88. Let i = 111 + -49. Suppose 2*a = -4*h - h - i, -h = -a - 17. Is s less than or equal to a?
True
Let s be 4*(-13)/((-572)/(-1111)). Which is smaller: -99 or s?
s
Suppose 3*w + 5 - 2 = 0. Let k = 398 + -397.91. Does k = w?
False
Suppose -330*a = -335*a - 1320. Which is smaller: a or -265?
-265
Let c = -7514/15 + 2568/5. Is -8 < c?
True
Suppose 5*i - h - 356 = 0, 6*i - 452 = -8*h + 3*h. Which is greater: i or 217/3?
217/3
Suppose -q = -5*b + 9, q + q + 3 = -5*b. Let d be 26/6*(-6)/4. Let o = -6 - d. Is o less than q?
False
Suppose 0 = -3*u + a + 179 + 113, 3*u = -4*a + 302. Does 97 = u?
False
Let g be ((-20)/(-45))/(6/(-9)). Let j = -18.32 - -18. Is j bigger than g?
True
Let s be 1/(6/(-4)) + 341/(-33). Let g(q) be the third derivative of -q**4/24 - q**3/2 - 3*q**2. Let n be g(s). Which is smaller: 7 or n?
7
Let n be ((-10)/(-68))/(2/(-4)). Let u = n - -469/34. Let l = 13 - u. Is l > -2?
True
Suppose -9 = -p + 3*c, 0*p + 39 = -4*p - 3*c. Let a(k) = -k**2 + 4*k + 1. Let o be a(3). Suppose o*y - y + 12 = 0. Which is greater: y or p?
y
Let w = -564.1 - -564. Let l = 3 + -2.98. Let m = l - -2.98. Which is smaller: m or w?
w
Let r be (-1200)/105*(-7)/2. Is 41 at most r?
False
Let i be (-1)/(-39)*(-6)/10. Is i at most as big as -1?
False
Let p = -2/2449 - 24456/41633. Let s(n) = -n**2 + 26*n. Let z be s(26). Is p at most z?
True
Suppose 0*k + 5 = k. Suppose u = -o + 6, 4*o + 2*u - 10 = 20. Is k at most as big as o?
True
Let f = 5 + -3. Let q = -116 + 121.9. Let y = -5.8 + q. Which is greater: f or y?
f
Let r = 2.152 + 0.128. Let f = r - 2.3. Let x = -0.08 + f. Which is bigger: x or 11?
11
Let t = -1844/13 + 142. Let j(d) = d**2 - 8*d - 3. Let a be j(8). Let l be (a - -3)/(-4 - -3). Is l not equal to t?
True
Let a(u) = u**3 - 7*u**2 - 9*u - 6. Let k be a(8). Let n = 15 + k. Let c be 2/(-12*(-10)/75). Which is bigger: n or c?
c
Suppose -4*b = 1126 - 102. Let m be b/40 + (-2)/(-5). Let p be (m/4)/((-3)/(-18)). Which is bigger: p or -8?
-8
Let a(t) = t**3 + 7*t**2 - t - 8. Let o be a(-4). Which is greater: 45 or o?
45
Let r = -56 + 86. Let l = 30.2 - r. Is l > 0.2?
False
Let y(l) = 8*l - 8*l + l - 14. Let b be y(12). Is -16 at most b?
True
Let d(h) = h**2 - 15*h - 32. Let y be d(17). Does y = 19?
False
Let u = 1023 + -1023. Which is bigger: -8/41 or u?
u
Let y = 8.9 - -115.1. Let h = y - 136. Which is bigger: h or -2?
-2
Let t = -136.5 + -2.5. Which is smaller: -2 or t?
t
Suppose 4*t = -3*g + 107, -3*t = -g + 4 + 10. Let f = g - 32. Is -2 greater than f?
True
Let w = -29 - -17. Let p be 3/w - 300/16. Let v = p - -29. Is v at least as big as 9?
True
Let a(m) = 5*m**3 - 85*m**2 + 2*m - 37. Let o be a(17). Which is smaller: o or 1/29?
o
Let o be (4/14)/((-2)/(-14)). Suppose 5*v + 0*c + o*c - 29 = 0, -4*v + c + 18 = 0. Let s(m) = 5*m + 52. Let r be s(-9). Is r smaller than v?
False
Let x be (-7 - -5)/(4*-1). Suppose 2*s = -23 + 5. Is s equal to x?
False
Let g be 81872/120 - 2/9. Let v = -682 + g. Which is bigger: v or 2/5?
2/5
Let o = -217.9 - -230. Let q = -316 + 304. Let a = q + o. Which is greater: 1 or a?
1
Suppose -4*d + 2*j = d - 90, 5*d - 85 = j. Suppose -4*b + 132 = 3*u, -b - 5*u = -0*u - d. Let i be b/(-408)*4/3. Is i < -1?
False
Let j = -21 - -22. Let o = -7 - j. Is -1/4 greater than or equal to o?
True
Let p = 35274/83 + -425. Let o be -2 + 4 + -2 + -1. Which is greater: p or o?
p
Let s = 1051 + 344. Let r be (s + 7)/((-2)/(-1)). Let n = -2125/3 + r. Which is smaller: -6 or n?
n
Suppose -1 = -2*a - 3. Let i be a - 10/3 - (-9)/3. Which is smaller: 1 or i?
i
Suppose -r - 5*r = -12. Let d be ((-3 - 0) + r)*11. Let a = d + 12. Is a at most as big as 2?
True
Suppose -5 = 5*p - 4*p, p + 9 = 2*l. Suppose -2 + 0 = l*y. Which is smaller: -2/23 or y?
y
Let p = -362 - -362.61. Do p and 0.1 have the same value?
False
Let u = -89 - 99. Let c = 5830/31 + u. Do 0 and c have the same value?
False
Let z = -1023/5 - -204. Is z < -2/7?
True
Let w = 274/3 + -9593/105. Which is smaller: -1 or w?
-1
Let u be 416/66 + -1 + -3. Let i = -18/11 + u. Suppose -3*c = s + 3, -4 = -s + 5*c + 1. Which is greater: s or i?
i
Let l be (-2)/(-5) - (-6)/(-40). Let p = -19 - -44. Let m = p - 25. Is l > m?
True
Let t = -32 + 29. Let b be ((-8)/6)/(2 + (-16)/6). Which is smaller: b or t?
t
Let f be 2/(-3) + (-94)/12. Let n = -193 - -112. Let g be (n/(-36))/(((-3)/4)/3). Is f greater than g?
True
Let o(l) = -l**2 + 10*l - 3. Let y be o(9). Let k be (13/(-4))/(-1)*4. Suppose -3*c + 2 = -k. Does y = c?
False
Suppose -1 - 76 = 2*l - 3*d, -5*d = l + 32. Are l and -291/8 equal?
False
Suppose 0 = 3*j + 4*y - 4, 4*y - 9 + 1 = -4*j. Suppose -j*d - w - 4 = 2*w, 3*d - 26 = 5*w. Suppose -10 = -f - 2*z, 3*f + d*z + 2 = 12. Is 0 < f?
False
Let v be (-7 - 4 - 3)*(1 + 0). Do -17 and v have different values?
True
Suppose w - 8 = -0*w. Suppose 8*u - 12*u = -w. Suppose -4*t + 18 = -0*t - 5*x, -u*x = -3*t + 10. Is 0 at most as big as t?
True
Let c be 3 + (-3 - (12 - (0 + 7))). Is -77/17 > c?
True
Let g = 0.19 + 0.81. Let w be (-5)/2*(-8)/2750. Let s = -347/9900 + w. Which is greater: s or g?
g
Let j(d) = 2*d - 9. Suppose -2*x - 1 = -9. Suppose -f + 20 = -4*p, 0*f = -4*f - x*p. Let g be j(f). Is g smaller than 4/11?
True
Let t be (-12)/16*-4 + (-5 - -1). Is 278/7 <= t?
False
Suppose 2*s = -8*s + 12*s. Which is smaller: s or -12/113?
-12/113
Suppose 255*x - 231 = 234*x. Suppose 17 = 2*q - 1. Which is smaller: x or q?
q
Let g be (-29 - 2)*2/(-1). Which is smaller: g or 60?
60
Suppose 0 = 4*j + 5*w - 55, -w = 2*j + j - 44. Let d be (-4)/10 - 14/j. Let y = 229 - 229.1. Which is bigger: y or d?
y
Let c = 161 + -500/3. Let i be ((-1)/2 - -1)*0. Which is smaller: c or i?
c
Let c(u) = -u**3 + 16*u**2 - 48*u - 25. Let f be c(11). Are f and 51 nonequal?
True
Suppose -20 = -7*r + 8. Suppose r*s - 12 = -4*b, b = -b + s - 6. Let j = 1 - 2. Is j less than b?
False
Suppose -6*t + 24 = 6. Suppose o + 1 = 0, 0 = -5*j + t*o - 4*o - 51. Is j at most -1/2?
True
Let s(o) = 4*o**2 + 6*o + 49. Let b be s(-6). Is b less than or equal to 157?
True
Let h = 483 + -482.945. Let c = -0.7 - -0.6. Is h smaller than c?
False
Let s be 2/207*6/(-2). Is s smaller than 0?
True
Suppose 0 = 6*i - 68 - 28. Let g be i/436*(-2)/(-4). Is g not equal to -1?
True
Let w be 35/(35/(-5)) + (-13)/(-3). Is w equal to 87?
False
Let j = 2.2 + -2.187. Let y = j + 0.787. Which is greater: 0.3 or y?
y
Let d = -3 + 2. Let s be 6/(-9) + (-2681)/420. Let h = s + 27/4. Which is greater: d or h?
h
Suppose 0 = -f + 5*f. Let w(n) = -n - 7. Let m be w(-13). Let b be m/10 + (-31)/35. Which is greater: f or b?
f
Let i = 1/1706 + 3289/209838. Are 1 and i unequal?
True
Let k(m) = m**2 - m + 1. Let f(x) = -x + 1. Let t(g) = 3*f(g) - k(g). Let y be t(0). Suppose 2*o = -y*o. Is o > -5/9?
True
Let j(y) = -y**3 + y**2 + y + 16. Let w be j(0). Let u = -1 - w. Let l = -1001 + 984. Is l <= u?
True
Suppose -7*m + 6 = -8. Which is greater: m or 0?
m
Let o = 6.91 + -7.01. Is -0.075 greater than or equal to o?
True
Suppose -2*g + 3*l = -127, -g - l = 2*l - 41. Let b be g/6 - (-11)/(-33). Let u be 2/42*b/(-3). Is u != 1?
True
Let j be 54/(-2340)*(-24)/9. Which is smaller: 0 or j?
0
Let k = 27469/924 + -2121/44. Let d = k + 129/7. Which is bigger: d or -1?
d
Let r be 9 + (5 - 7) - (-19 - -25). Let f be 3*2 + (-3)/(-9). Let h = 469/75 - f. Do r and h have the same value?
False
Let o = -553 + 552. Let i = 207 + -1032/5. Which is smaller: o or i?
o
Suppose 5*i - y = 13, 5*i - 3*y = 2*y + 25. Let a = i - 0. Let n be (6/a)/(21/28). Is n > -1/4?
True
Suppose -5*p = 4*o + 4904, -p + o = 3*p + 3940. Which is smaller: -983 or p?
p
Suppose -5*j + 20 = 0, -5*h - 9*j + 7*j = 1772. Is -356 <= h?
True
Suppose t = 2*t + 10. Let s(x) = x**2 + 11*x + 10. Let l be s(t). Suppose 0*k = 4*k. Do l and k have the same value?
True
Let z be 0 - 117/1674*-2. Which is bigger: z or 0?
z
Let d be (6/(-540)*5)/((-11)/(-2)). Which is smaller: d or 0?
d
Let g = 693/2 - 25623/74. Are g and 1 unequal?
True
Let n be (-3)/(-18) - (2 - 1154/(-12)).