 Let w be (r/((-32)/12) - 11)*-6. Which is smaller: 58 or w?
w
Let i = 200 + -136. Let y = -59.4 + i. Do -1 and y have the same value?
False
Let c be (-162)/15 - (-1)/(-5). Let n = c + 6. Is -5 greater than or equal to n?
True
Let u = -58 + 116. Suppose -42 = -4*r + u. Do r and 24 have different values?
True
Let m(s) = s**2 + 5*s + 2. Let d be m(-1). Let k = d - -1. Is k less than 4/21?
True
Let s(z) = z + 2. Let x be s(-1). Let q be (x - 2)*(1 + -2). Let c = 348/5 + -69. Is c != q?
True
Let o = -12631403/114 + 110803. Let d = 7/6 - o. Does 1 = d?
False
Let v = 2113 + -1976. Is v greater than -6?
True
Let k be 69/36*((-45)/(-6))/(-5). Which is smaller: k or -4?
-4
Let t = -303 + 303. Is t greater than or equal to 3/50?
False
Let a = 125 + -124.941. Let n = a - -0.171. Let b = n - 0.16. Which is bigger: b or -1?
b
Let y = 2387 - 2383.9. Is -0.03 <= y?
True
Let v = 87 - -53. Suppose -3*s + v = s. Are s and 35 unequal?
False
Let v = 146 + -280. Let z = v + 131.06. Let m = -3 - z. Which is smaller: 0.1 or m?
m
Let i(a) = 19*a**2 + 3*a - 2. Let f(j) = 96*j**2 + 16*j - 10. Let l(z) = -2*f(z) + 11*i(z). Let k be l(1). Let w = 15 - k. Which is bigger: 2/31 or w?
2/31
Suppose -4*p = 182 - 34. Let n(v) = -2*v**3 - 7*v**2 + 51*v - 1. Let f be n(4). Is p >= f?
True
Let v = -2209 - -1321. Let n = -883.89 - v. Let s = -0.11 + n. Is s bigger than -2/9?
True
Suppose -2220 = 23*b + 4381. Is -288 at least as big as b?
False
Let l = 196 + -196.1. Let j = -30 - -29.956. Which is bigger: j or l?
j
Suppose -2*d = 20 - 46. Suppose 2*k + 4*w + 13 = 3, 3*k + 5*w = -d. Let n be (-2)/(-34) + (-730)/850. Is n < k?
False
Suppose -5*j - 2*k = 198, -2*k + 23 = -j - 19. Is -52 less than j?
True
Let t be (-2)/(7 - 91/14). Suppose -24 = -5*c + 11. Which is smaller: c or t?
t
Let n(y) = 15*y - 9. Let s be n(-15). Let q be 1/(210/s) - (-2)/(-7). Which is smaller: q or -2?
-2
Let p be (-13186)/(-209) - 2/22. Which is smaller: p or 65?
p
Let i = -421 - -431.24. Let n = i - -0.96. Let d = n + -11. Which is greater: d or 3?
3
Suppose 11 = t - i, 0 = -2*t - 0*i - 2*i + 26. Suppose -4*x = 12 + t. Let r(q) = -q - 12. Let c be r(-6). Is x less than or equal to c?
True
Let j = 2376 + -1351. Let y = j - 18455/18. Let g = y - -187/90. Are g and 1 non-equal?
True
Let j(k) = 0*k - k + 3 - 10 - 8. Let w be j(-4). Is -11 >= w?
True
Let g(s) = -19*s + 699. Let k be g(35). Are 31 and k non-equal?
True
Suppose -3*f - 14 + 5 = 0. Let m(s) = -5*s**2 + s - 1. Let r be m(1). Which is greater: r or f?
f
Let p = -9 + 8. Suppose -2*f - 3 = -3*k - 2*k, -4*k = 4*f + 20. Is f greater than or equal to p?
False
Let s = 644/765 + 4/85. Which is smaller: 0 or s?
0
Let r = 3/17 + 13/119. Let p = 7.6 + 0.4. Which is greater: p or r?
p
Let q = 23 + -20. Suppose 22 + 5 = q*o. Let b be (o/(-3) + 2)*-1. Which is smaller: b or 10/9?
b
Let h = 295 + -289. Is 6 at least as big as h?
True
Let v be ((-27)/81)/(1 + (-7)/3). Which is smaller: v or 0.04?
0.04
Let j(q) = -16*q + 2. Let d be j(-4). Let l be 18/(-4)*(-8)/d. Are l and 3 unequal?
True
Suppose -410 = -57*w + 61*w + 5*t, 10 = -5*t. Is -795/8 != w?
True
Let u(g) = 19*g**2 - 4*g - 45. Let k be u(7). Is k < 858?
False
Let z = 13 + 6. Suppose -3 + z = 4*x. Suppose 3*a - x*r = -24, -r = -4*r + 9. Is a less than -7/2?
True
Let d = 1/152 - -279/3800. Let s = -52 - -73. Let t be (-12)/(-54) - 5/((-135)/s). Which is bigger: t or d?
t
Let x(a) be the second derivative of -a**5/20 + 5*a**4/12 - 2*a**3/3 + a**2/2 - 6*a. Let j be x(4). Is 1/17 greater than or equal to j?
False
Let s = -0.0807 - 147.9193. Which is greater: -1/4 or s?
-1/4
Let m be (-5)/(40/18)*-4. Let g be (-6)/27 + 2/m. Which is smaller: -1 or g?
-1
Let c be (12/(-235))/(706/(-140) - -5). Is c < 1?
False
Let b be -12 - (4 + -10)*(-3)/6. Let p = -25 - b. Is -8 < p?
False
Let j(l) = -l**2 - 3*l - 3. Let t(v) = 3*v + 4. Let a be t(-2). Let m be j(a). Let g be (-76)/55 + (-4)/(-22). Which is smaller: g or m?
g
Let w = 2616 - 2595. Which is bigger: w or 6?
w
Let n(h) = 2*h - h**2 + 4*h - 6*h + 17 + 7*h. Let i be n(9). Which is greater: i or 3/16?
3/16
Let g(a) = a**3 + 11*a**2 - 12*a + 7. Let d be g(-12). Suppose -d*r - 5 = -2*r. Is 1/69 at least r?
True
Let f = -7 - -1. Let i = f + 7. Let q(v) = -5*v + 148. Let o be q(30). Is i != o?
True
Let w = 314 - 277. Which is smaller: w or 36?
36
Let m = -94 + -40. Do -133 and m have different values?
True
Suppose -3*w + 3*k - 3 = 0, -5*k + 7 = -w - 2*w. Let i = 34 - 15. Let t = -16 + i. Which is smaller: w or t?
w
Suppose 5*n - 4*l - 415 = -45, -4*l + 176 = 2*n. Is 79 at most as big as n?
False
Let m = 3.76 + -4.76. Is m greater than 9?
False
Let b(g) = g**3 + 2*g**2 - 9*g + 5. Let d be b(6). Which is smaller: 3 or d?
3
Let g = 179 - 190. Are g and 6 unequal?
True
Let a be 72/15*20/6. Let p = a + -36. Is -22 smaller than p?
True
Let z(j) = 359*j**3 + j**2 + 1. Let f be z(-1). Are f and -358 equal?
False
Let w(g) = -3*g**2 + 2*g - 1. Suppose 9*i - 14*i + 10 = 0. Let c be w(i). Let o be 7/9 - 2/c. Which is smaller: o or -1/11?
-1/11
Let d = -272 + 276. Let r be 40/18 + (-4)/18. Which is bigger: r or d?
d
Suppose -o + 3*o = 6*o. Which is smaller: 6/245 or o?
o
Let l = 9 - 8.4. Let p = -0.2 + l. Let i = p - 5.4. Is 2/5 at most as big as i?
False
Suppose -3*x - 5*t = -8, 8*x - 4*x - 9 = -5*t. Let f be 0 + (x - 2 - 0). Is f not equal to -1/5?
True
Let c(p) = 294*p**2 - 7 - 282*p**2 - 3*p**3 + p**3. Let n be c(6). Is n > -37/5?
True
Let z = -240 + 168. Is -71 less than z?
False
Suppose v - 4 = 2. Let y = -1 + v. Suppose -5*s = -3*w - 18, 9 = -2*s + y*s. Which is bigger: -2/17 or w?
-2/17
Let o = 0.1889 + -0.1289. Is o at most as big as 11?
True
Let y be ((-5)/(-3))/((-6)/(-18)). Suppose y*h - 3*x - 68 = 202, -h + 5*x = -32. Suppose -4*s + 23 + h = 0. Are 21 and s non-equal?
True
Let o be (143/(-77))/(-13) - 1/(-7). Let a be (-211)/7 + -2 - -1. Let f = -226/7 - a. Which is bigger: f or o?
o
Let s be (-4 - -9)*(-4)/(-10). Let i = s - 19. Are -18 and i unequal?
True
Suppose -3*d + p = -93, 3*p - 9 = -d + 12. Which is greater: 34 or d?
34
Let u(x) = x**3 - 14*x**2 - 18*x - 20. Let l be u(15). Let q be (3 + 225/l)*2/4. Which is smaller: q or -1?
-1
Let d(t) = -t**2 - 5*t + 2. Let f be d(-5). Suppose -2*h = 3*w - 14, 7*w - 2*w = -f*h + 22. Suppose -4*m + 11 = -h. Which is bigger: m or 5?
5
Let o = -1 - -0.7. Let c = o - -1.3. Let d = -11/17 + 4/85. Is d bigger than c?
False
Let c be (-384)/(-30) + (-3)/(-15). Let y be -1 + 0 + 9 + -5. Is c at most as big as y?
False
Let s = 609 - 610. Are -5/26 and s nonequal?
True
Let u = -418 - -134. Is u at most -284?
True
Suppose -210 = -3*m + 123. Are 112 and m non-equal?
True
Let b = 28/13 + -153/65. Which is greater: b or -1?
b
Suppose 0 = 4*f - 114 + 18. Suppose 3*v + 2*q + 2*q = -11, -3*q - 8 = 2*v. Is v > f?
False
Let g = 9015892/1555 + -5798. Which is bigger: g or 0?
g
Let s(p) = -2*p**2 + 8*p - 9. Let r be s(7). Let l = r - -88. Which is bigger: 38 or l?
38
Let b = -0.024 - -12.024. Let r = 11 - b. Let c be 1 + -1 - 9/(-21). Which is bigger: r or c?
c
Let z = -3 - 21. Let b = 21.9 + z. Let r = b + 1.1. Is r at most -6/7?
True
Let w = 1003/390 - -17/65. Suppose 0 = -2*s - 8, -2*s - 10 = 3*n + 2*s. Is n bigger than w?
False
Suppose -5*a + 102 = 92. Suppose 0 = a*b + 50 - 16. Is -18 smaller than b?
True
Let d be 7 + -2 - (3 + -1). Suppose -3*a - d*a + 54 = 0. Let l = a + -23. Is l smaller than -14?
False
Suppose 21*b + 24*b - 45 = 0. Is 14/11 < b?
False
Let g be ((-258)/8)/((-30)/112). Let l = -4104/35 + g. Does 3 = l?
False
Let l(y) = -2*y**2 - 19*y - 7. Let j(g) = g**2 + 9*g + 3. Let o(x) = 7*j(x) + 3*l(x). Let s be o(-6). Suppose s = 3*n - n - 42. Are n and 22 unequal?
True
Let l(i) = -i**2 - 135*i - 400. Let z be l(-3). Let b = -3.92 - 0.08. Is b smaller than z?
False
Suppose r - 3 = 5. Suppose -r + 3 = -k. Which is smaller: 4 or k?
4
Let d(j) = -3 + 3 - 4 - 7*j. Let z be d(-2). Let w(i) = -i**3 + 11*i**2 - 10*i + 1. Let l be w(z). Is l less than or equal to -1/28?
False
Let j = -1670 - -1440. Is 1 at most as big as j?
False
Let b(w) = -2*w**3 - 41*w**2 - 23*w + 123. Let f be b(-20). Which is bigger: f or 186?
186
Let l(s) = s**2 - 3*s - 1. Let r be l(3). Let u be -6 - (2 + -4 + r). Let o be 2/18*3*u. Which is bigger: o or 2?
2
Let p(