 = 3*k, -2*k + 20 = -4*y + k. Let z(n) = n**3 - 4*n**2 + 2*n + 1. Let a be z(2). Which is bigger: a or y?
y
Let g be (-6)/(-10)*(5 - 0). Suppose -3*u + 3 = -g*l + 4*l, -l - 2*u + 2 = 0. Let z be 8/70*(-10)/(-4). Which is smaller: z or l?
l
Let q be (2/(-3))/(24/18). Let x be 15/2*(-4)/(-6). Let n = x - 7. Is q equal to n?
False
Suppose -4*b + 4*p + 0*p - 8 = 0, -11 = b - 4*p. Let u be -2 - ((-5)/3 + -1). Is u less than b?
True
Suppose 4*y = -u - 4*u + 125, -4*y + 104 = 4*u. Which is greater: 22 or u?
22
Let m be -2 + 1*4 + -1. Suppose 0 = 2*b + 6. Let q be 2/6*(-6)/b. Which is greater: m or q?
m
Let v be (1/(-2))/(3/(-6)). Suppose -5*y = 3*x + 1, x + y = -y + v. Is x at least -7?
True
Suppose 5*x + 3 = 4*s + 13, -4*x + 8 = -2*s. Suppose -3*w - 3*r = -15, -3*w = x*w + r - 17. Let z(v) = v - 4. Let k be z(6). Is w at least as big as k?
True
Suppose 0 = -3*k - 4*d + 35, -3*k - 15 = -4*k - 2*d. Which is smaller: k or 6?
k
Suppose 0 = 4*m + x - 282, 5*m + 2*x + x - 349 = 0. Is m greater than or equal to 71?
True
Let m = 0 + -1/2. Which is bigger: m or -2/11?
-2/11
Let c be ((-8)/(-98))/(12/14). Suppose 5*w + 25 = a, -2 = 2*a + w + 3. Is a at most c?
True
Suppose 0 = 4*v - 0*v - 4. Let i = 10 + -9. Let d be -4 + i + 2 - 2. Is v smaller than d?
False
Suppose 0*c + c = 4. Suppose -2*i - c*j = 26, 6 = 3*i - j - 2*j. Do -4 and i have the same value?
False
Suppose 0*b = -4*b. Let k be -6 - -6 - (-3 - b). Suppose -5*h = k + 2. Is 1/8 < h?
False
Let u be 4/8*(-2 - 0). Let b be u/3 + 14862/(-126). Let g = b - -118. Which is greater: g or -1?
g
Let j = -1/16 - -9/656. Is j at least as big as -1?
True
Suppose 0 = 3*d - 4 - 2. Suppose -d*i = 2*i - 5*w + 23, -2*i + 2*w - 10 = 0. Which is smaller: i or -3?
-3
Let z = -13 - -24. Is 10 greater than z?
False
Let m = -47 + 48. Which is bigger: -9 or m?
m
Let r = 2/87 + -787/174. Which is greater: -6 or r?
r
Let b(n) = n - 6. Let l = 6 - 2. Suppose 3*c - 9 = u + l, -u + 29 = 4*c. Let h be b(c). Are 1 and h equal?
False
Let f be (-2)/(-3) + (-82)/930. Let r = f - -2/93. Which is smaller: -1 or r?
-1
Suppose 10*g + 17 = 9*g. Let j(o) = 15*o**3 - 2*o**2 - o. Let f be j(-1). Which is greater: f or g?
f
Let o = 2/359 + -736/3231. Let y = -1.92 - 0.08. Do o and y have different values?
True
Let n(d) = 4*d - 1. Let w be n(-1). Let r = 7 + w. Is r >= 0?
True
Suppose 5 + 5 = 5*a. Suppose 4*k + 2 = a*k + 3*g, -5*g = -10. Let v be (k + (-4 - -1))*0. Which is smaller: -2 or v?
-2
Suppose 5*m + 18 = -4*m. Let t(c) = c**3 - 6*c**2 - 6*c - 9. Let o be t(7). Is o bigger than m?
False
Let d(i) = -3*i**2 + i + 1. Let n be d(1). Is n smaller than -19?
False
Let w = -206 - -199. Let c be (-70)/8 + (-1)/4. Which is bigger: w or c?
w
Suppose 1 = -2*n + 9. Is n at most as big as 3?
False
Let l = 31 + -36. Is l > -6?
True
Let w be ((-15)/175)/((-27)/30). Let a be (-2 + -1 + 1)/2. Is w equal to a?
False
Let z(n) = -n**2 + 5*n + 7. Let w be z(6). Suppose 0 = h, 4*o + 4*h + 27 = -109. Let f = 101/3 + o. Is w less than f?
False
Let b = -10 + 12. Which is smaller: -5 or b?
-5
Let f(z) = -z**3 + z**2. Let q be f(3). Let a be (0 - (-1 - 0)) + q. Do a and -18 have the same value?
False
Let u be 4/117*(-2 - (-5)/10). Which is greater: 1 or u?
1
Suppose 18 + 5 = 2*s + 5*l, -5 = -5*l. Let y be ((-4)/6)/((-3)/s). Is 2 < y?
False
Suppose -p = 2 - 3. Are p and 5/11 equal?
False
Let s(g) = 36 - 17 - 3*g - g - 24. Let b be s(-2). Is b greater than 3?
False
Let r = 2/265 - 548/2385. Is 1 != r?
True
Let a = 996/5 + -198. Is 0 at least a?
False
Let w be 25/95*(-2 - (-1)/1). Which is bigger: 1 or w?
1
Suppose -o - 5*m - 18 = 0, 1 + 1 = -m. Suppose 2*s + 5 + 13 = 0. Which is greater: o or s?
o
Let d be 6/10 + (-14)/10. Which is greater: d or -2?
d
Let h = 2.99 + 0.01. Let l = -1 + h. Which is smaller: l or 1?
1
Let y = -27 - -79/3. Suppose -k + 5*k = 20. Suppose 3*f + 2*f + k = 0. Is y equal to f?
False
Suppose -5*g + 19 = -36. Let j = g + -12. Is -1/5 greater than or equal to j?
True
Let h = 0.8 - -2.2. Let g = -2.43 - -0.38. Let b = 0.05 + g. Which is smaller: h or b?
b
Suppose 3 = -w, w + 1 = 5*d + 3. Does 11 = d?
False
Let b = -4.4 + 0.4. Suppose p + 1 = 11. Let i be ((-16)/60)/((-4)/p). Which is bigger: i or b?
i
Suppose 3*k - 5*k = 6, 4*k + 4 = 4*n. Which is smaller: n or -3?
-3
Suppose -6*t = -10*t. Are t and 2/3 non-equal?
True
Let v = -7 - 2. Let o = v - -15. Let f = o + -2. Which is smaller: 2/5 or f?
2/5
Suppose -m = -6*m. Let s be 2/4*m/2. Let p be (-20)/(-24) + -3 + 20/8. Are s and p equal?
False
Let d = -38 + 192/5. Let g be (-50)/(-8) + 3/(-12). Let f be (-2)/4*(-4 + g). Which is smaller: d or f?
f
Let j = -1 - -6. Suppose j*f - 34 = -4. Let z = 0 - f. Do -5 and z have the same value?
False
Let s = -7 + 5. Let a be 0 - (-1)/(-8)*s. Let u = 1 - 0.7. Does a = u?
False
Let y be 1/(-3) + 113037/(-117). Let n = 966 + y. Is 1 greater than or equal to n?
True
Let p(o) = -12*o**3 - 2*o + 1. Let s be p(1). Is -11 smaller than s?
False
Let r be (-5)/(-2)*(-1)/(-10). Suppose o = -4*b - 2*o - 42, o - 50 = 4*b. Let y = b + 13. Does r = y?
False
Suppose 5*z = 5*n + 55, 0 = 2*z + 3*n - 6*n - 21. Is 11 < z?
True
Let t be (-3)/(-1) - (-4 + 3). Suppose -d + 3*d = 3*j + 10, 5*j = -t*d + 20. Suppose 2*p + p + 9 = j. Which is smaller: p or -2?
p
Let o = -0.05 - 0.14. Let j be ((-8)/6)/(16/(-6)). Are o and j unequal?
True
Let i = -20549/78 - -790/3. Does i = 1?
False
Let m = -0.7 + -0.3. Let p be 12/(-4)*(2/27)/(-1). Which is greater: m or p?
p
Suppose 0 = 4*m - c, m + 2*c + 3*c = -21. Is m smaller than -2/9?
True
Let i = 10.85 - -0.15. Is 0 greater than i?
False
Let z(c) = -c**3 + 3. Let b(v) = v**3 - 7*v**2 + 7*v - 6. Let k be b(6). Let p be z(k). Suppose w + p = 1. Is w >= -2?
True
Suppose 0 = t - 23. Is t < 23?
False
Let d(l) = 12*l - 9*l**2 + l**3 + 1 - 2*l**3 + 5 + 6. Let s be d(-10). Is s at most as big as -8?
True
Suppose -4 = -2*f, f + 0*f + 10 = -2*l. Which is smaller: -5 or l?
l
Let m(r) = -17*r**2 - 3*r - 2. Let g be m(-2). Let i = -44 - g. Suppose 2*q = 3*n + 7*q + i, -16 = -n + 4*q. Which is smaller: n or -1/4?
-1/4
Let o be 1264/(-112) - (-4)/14. Is o equal to -11?
True
Suppose -11 = -5*d + 3*c, 3*d + 5*c - 1 = 4*c. Let q = -73/6 + 40/3. Which is smaller: d or q?
d
Let r be 14 - 12 - (0 + 3). Let t = -179/602 + 1/86. Is t equal to r?
False
Let m be 3/2 - 399/154. Which is smaller: 0 or m?
m
Suppose -4*k = 4 + 4. Is -2/3 bigger than k?
True
Suppose 12 = -2*f - 2. Suppose 21 = -3*y - 0*y. Is y > f?
False
Suppose -2*t + 2*k - 14 = -0*t, -4*t = k + 43. Let x = 32/3 + t. Let i = x + -1. Are -3 and i equal?
False
Let k(h) = -h**3 - 11*h**2 + 27*h + 13. Let m be k(-13). Is -5/28 less than m?
True
Let o(u) = 4*u + 4. Let a be o(-3). Let t be 2/(-8) + (-58)/a. Which is bigger: t or 8?
8
Suppose -b + 3 = -2*g + 5, -g = -3*b - 16. Which is bigger: b or -9/2?
-9/2
Let v be 16/20*(-6)/(-20). Let t = v - 11/150. Is t greater than or equal to 0?
True
Let r = -1 - -4. Let k be (-1)/(9/21) + r. Which is greater: 2 or k?
2
Let k(w) = w - 1. Let d(y) = y. Let f(v) = 5*d(v) - 4*k(v). Let b be f(-6). Let l be (-1)/((-4)/(-12)) + 2. Is l at most b?
False
Let k(a) = -4*a**3 - 3*a**2 + a. Let g be k(3). Let u = g - -74. Let s be -1 + u/(-18) + -2. Which is greater: s or 1?
1
Let h(u) = -3*u**3 - u. Let s be h(-1). Suppose -1 + 5 = s*q. Which is smaller: q or 2?
q
Let v = -0.1624 - -0.0624. Let s = -3645/11 + 331. Which is smaller: v or s?
s
Let a = -85 + 88. Suppose 5*g = 2*i + 5, 2*i - 23 = -g - 2*i. Is a at most g?
True
Let x be (-18)/45 + 0 + 1. Which is smaller: 0 or x?
0
Let h = 8 + -2. Let x = 20 + -19. Is x at most h?
True
Let c = -3.3 + 3.17. Which is bigger: c or 0?
0
Let y(t) = t**3 + t**2 + t - 4. Let d be y(-2). Which is smaller: -12 or d?
-12
Let f be 24/(2/(4/3)). Suppose -v - f = v. Which is greater: v or -9?
v
Let g be 156/30 - 1/5. Suppose -4*l - g*n + 20 = -7*l, -5*l + 4 = n. Is l greater than 1/18?
False
Let h = -0.5 - 4. Let t = 1.5 - h. Let a = t - 4. Which is smaller: a or -2?
-2
Let j = 1093/88 - 138/11. Does 0.1 = j?
False
Let v = -3.9 + 5. Let i = -1 - -2. Let k = v - i. Which is smaller: k or 2/9?
k
Let z(j) = -j**2 + 10*j - 1. Let v be z(8). Suppose 5*l - 5 = -v. Is l != 2?
True
Suppose t = 5*t - 5*p + 16, -2*t = p - 6. Is 7/17 < t?
True
Let i(l