 = -18 + a. Which is smaller: -2 or y?
-2
Let s be (0 - (3 + -6)) + -2. Let q be -22 - (1 + -5 - -2). Let r be (-1)/q - 3/12. Which is smaller: r or s?
r
Suppose 2*w - y = -2*w - 12, 5*y - 28 = 4*w. Let z = -3 + 4. Which is greater: z or w?
z
Suppose -3*z + 11 = 2*o, 0 = z - 6*o + 2*o + 15. Suppose -3*x = -5*p, 5*p = -x + 2*p. Suppose x*u + 13 = 5*q + 2*u, 2*u + 2 = 0. Is z at least as big as q?
False
Let m be (3 - 8/82)/(-1) + 3. Is 0 greater than m?
False
Let l = -0.09 + -0.89. Let p = 0.02 - l. Are -1 and p unequal?
True
Let x = -22.88 - -23. Which is bigger: x or -0.2?
x
Let n = -11 + 10.6. Let o = n - -0.4. Which is smaller: o or 5?
o
Let u = -0.2 + 0.7. Let k = -0.6 + u. Is -2 not equal to k?
True
Let y = -3 + 5. Let j = 4.1 + -2.1. Let f = j - y. Is f bigger than 1/4?
False
Let w(i) = -i**3 - 8*i**2 - 8*i - 4. Let d be w(-7). Suppose -d*m - 4 = -16. Is m <= 4?
True
Let v = 29 + -31.3. Let h = -0.7 + v. Let w = -1 - h. Which is smaller: w or -0.1?
-0.1
Let l = 78 + -83. Suppose 2*n + 39 = -n. Let r = n + 8. Is r < l?
False
Let w be (1 - -1)/(-10)*(1 + -3). Are 2/3 and w equal?
False
Let d(y) = -5*y + 6*y - 2*y + 9 + 8. Let j be d(12). Are 5 and j unequal?
False
Let g = -41 - -58. Is g <= 1?
False
Let v(q) = -4*q + 8. Let c be v(6). Let n be 2 - c*(-3)/27. Which is greater: 1 or n?
1
Let f = 3.04 + -0.04. Let a = 44.1 + -46. Let s = 0.9 + a. Which is smaller: f or s?
s
Suppose -2*q = -3*q + 96. Suppose -v + q = 3*v. Let n be (-96)/36*2/v. Which is bigger: n or -1?
n
Let r be 152/312 - 2/6. Which is bigger: 1 or r?
1
Let d = 45 + -134/3. Let v = 0 + 2. Suppose v*t = -0*t. Which is smaller: d or t?
t
Suppose -2*c + 6*c = -32. Is c at least -8?
True
Let b = 42.8 + -43. Which is bigger: 8 or b?
8
Let r be ((-1)/((-14)/(-161)))/(-2 - -1). Which is smaller: r or 12?
r
Let u(h) = h**3 + 4*h**2 + 3. Let x be u(-4). Suppose x*l = 5*l + 20. Let p be 8/l*(-2)/(-4). Is -1 equal to p?
False
Let n be (3/6)/(1/(-2)). Let q = -1 - n. Which is greater: -1/2 or q?
q
Let p = 15 - 69. Does 0 = p?
False
Let g(w) = -w**3 - w**2 + 3*w - 2. Let u = -9 + 6. Let o be g(u). Suppose o*v - 4 = 3*v. Is 2 != v?
True
Let g = -1 - -1. Let w(u) = u + 14. Let t be w(0). Let k be 2/4*12/t. Is g bigger than k?
False
Suppose 2*v + 2*v = 36. Suppose v*a = 8*a. Which is smaller: 6/11 or a?
a
Let l(m) = m**3 + 3*m**2 + 5*m - 3. Let o be l(4). Suppose o = 5*h + 24. Suppose 7*z - h = 4*z. Is z > 7?
False
Let l be ((-1)/2)/((-85)/34). Which is greater: l or 5?
5
Let x be 8/(-6)*(-9)/(-6). Let m = 1 + x. Let j be 4 + (-1)/(10/38). Which is smaller: m or j?
m
Let y = -79.3 - -81. Which is greater: y or 2/3?
y
Let y = -136 - -1494/11. Let i = y - -32/55. Let c = 0.3 - 0.1. Is c < i?
True
Let o = 4 - 4. Let h = -1 - o. Which is smaller: 3 or h?
h
Let j be (2/7)/((-1)/(-7)). Let s be (j + 1)*5/(-1). Let b be s/(-4)*(-4)/10. Which is bigger: b or 0.1?
0.1
Let p = 4 + -2. Let c(u) = u**3 + 8*u**2 + 6*u - 10. Let r be c(-7). Let s = -1 - r. Is s at least p?
True
Let s = -4.7 + -1.3. Let d = 8 + s. Which is smaller: d or -1?
-1
Suppose 3*y - 4*y = -21. Let i be 21/(-27)*(-6)/y. Suppose 2*t = -2*t + 4. Which is bigger: t or i?
t
Let b = 2.6 - -0.4. Let t = -16.1 - -16. Is b bigger than t?
True
Let a be 140/6 - (4 + (-11)/3). Which is smaller: a or 67/3?
67/3
Let a(y) = y**2 - 5*y + 5. Let k be a(6). Let m(b) = 3*b**2 - 2*b + 2. Let u be m(2). Is u at least k?
False
Let f be 4/14 - (-215)/105. Which is smaller: f or 3?
f
Let k = -67 - -67.1. Which is smaller: -11 or k?
-11
Suppose 0 = -3*v, 3*y = -4*v + 2 + 1. Let p be (-2 + 1)*(-4 + y). Let s(t) = -t**3 - 3*t**2 - 3*t - 1. Let z be s(-2). Is z bigger than p?
False
Let r be 1 - -36*2/(-70). Which is smaller: -1 or r?
-1
Let w(o) = -o**2 + o + 2. Let x be w(0). Suppose -f - 8 = -3*t, -x*f = 2*t - f - 7. Which is bigger: -1/2 or t?
t
Suppose -4*z = -q + 14, 2*q + 3*z = -16 - 11. Let r be (-2 + (-9)/q)*-6. Suppose r*i + 1 = -2. Which is smaller: i or -1/6?
i
Let l = 10/31 + 12/155. Let x = 5 + -8. Let a be (2/(-8))/(x/(-4)). Which is greater: l or a?
l
Suppose -4*f = 3*i - 19, 20 = 4*i - 0*f + 4*f. Let l be (-1 + -1)/(0 - 8). Do i and l have the same value?
False
Let m be (-1)/(3/42*-2). Suppose 3*r + 1 = m. Which is bigger: 1/4 or r?
r
Let a be 1 + -1 - (-3 - -3). Let l be a*((-3)/6)/1. Let s be (l + (-2)/(-2))*4. Is s < 3?
False
Let k be 3/(-5)*(-50)/(-140). Which is smaller: k or 0?
k
Let n = 2 - 0. Suppose -i = n*i. Is i > 1?
False
Let b be (-6)/8 - 2/8. Is b at least as big as -1/5?
False
Let t be ((-3)/(-2))/((-6)/(-40)). Suppose 0*d + 2 = -5*c + d, -5*d = -t. Suppose h + c*z + 10 = -2*z, -5*z - 25 = 3*h. Which is greater: h or 1?
1
Let x = -0.16 + 0.19. Let z = x + 2.97. Which is greater: z or 5?
5
Let k = 0.6 - 0.5. Is k at least -1?
True
Let f = -0.4 - -0.5. Let o = 4.9 + f. Let s = -9 + o. Which is smaller: 0.1 or s?
s
Suppose 9*v - 345 = -6*v. Is v > 22?
True
Suppose 3*x = 2*j + 4*x - 3, -j + 5*x = -7. Let f be (-2)/(j + 1 - 18). Is f equal to -2/3?
False
Let l = 15 - 14. Is 17 bigger than l?
True
Let b = -14 - -9. Let o(n) = -4*n**3. Let v be o(1). Which is smaller: v or b?
b
Let o(j) be the third derivative of j**4/24 + 13*j**3/6 + 3*j**2. Let c be o(-11). Let a = 4 + -2. Is c less than a?
False
Let g = -95 - -90. Which is greater: g or -6?
g
Let w(b) = -2*b + 18. Let l be w(7). Are l and 3 unequal?
True
Let m be 59/(-9) + 8/(-18). Which is bigger: m or 0?
0
Suppose 2*r + 4*b = 0, -7 = 2*r + 2*b - 1. Let h be (r/4)/((-1)/2). Let o = 74/39 + -3/13. Is o < h?
True
Let q be (12/8)/(-3)*(2 + -2). Which is smaller: q or 2/233?
q
Let w(c) = -c**2 + 2*c - 4. Let h be w(3). Let p = -3 - h. Let s = 5 - p. Is s equal to 2?
False
Suppose -3*y + 0*y - 3 = 0. Let a = -1 - y. Suppose -2*c = -4*c + 2. Is a at most c?
True
Let u = -0.3 + 0.4. Let m = 0.2 - u. Let b = 2 - 2. Which is greater: b or m?
m
Let i be 0 - (-2)/(-3)*9. Let a = i + 6. Is 4 at most as big as a?
False
Let h be 28/(-5) + 2/(-5). Let f(z) = -3*z - 2. Let r be f(1). Which is smaller: r or h?
h
Let r be ((-6)/(-4))/(9/12). Let w(h) = -6*h + 6*h + 1 - h - 2*h**r. Let p be w(1). Is -2 less than or equal to p?
True
Let r(i) = -i**2 - 6*i - 1. Let a be r(-5). Suppose -a*w + 9 + 7 = 0. Suppose -2*y - w*b = -6*b, -2*y + 3 = -5*b. Is y < -2/5?
True
Suppose 0 = 3*t + 4*f - 5, 2*t - 6 = -5*f + 2. Is -4/15 less than t?
False
Let x = 1349/5 + -269. Which is smaller: x or 2?
x
Let s be -1 - (-3 + 0 + -3). Let b = s + -2. Suppose b*t - 4*t = -4. Is 3 less than or equal to t?
True
Let l be (-18)/((4 - 2)/(-1)). Let v = -10 - 5. Let b = v + 23. Which is bigger: l or b?
l
Suppose -y - 11 - 3 = 0. Let i = 9 + y. Let r = -76 - -70. Which is smaller: i or r?
r
Let k be -8*(-4 + -1 + 189/12). Which is smaller: -85 or k?
k
Let o be -2 + (-1)/((-5)/15). Which is smaller: o or 2/65?
2/65
Let x be 45/12 - 2/(-8). Let v(j) = j + 3. Let g be v(0). Let q = x - g. Do q and -1/7 have the same value?
False
Let v = -94 - -85. Which is smaller: -8 or v?
v
Let o = -183 + 157. Are o and -2/9 equal?
False
Suppose -5*i - 17 = -s + 6, s = 2*i + 14. Are s and 8 nonequal?
False
Suppose 0 = -3*p + 7 + 2. Which is bigger: -1 or p?
p
Let w = 847/19 - 11192/133. Let f = 39 + w. Let n be (-2)/7 + (-12)/7. Which is smaller: n or f?
n
Let r = 19.8 - 18. Let c = r + -1.4. Let u = 6 - 25/4. Is u equal to c?
False
Let b(a) be the first derivative of a**4/4 - 4*a**3 - 7*a**2 + 13*a - 2. Let s be b(13). Is 0 at least s?
True
Let z = -4.2 + 5. Let s = z - 1. Which is greater: s or -1/4?
s
Let o(q) = -q**3 + 6*q**2 + q + 1. Let r be o(6). Let f = 10 - r. Do f and 3 have different values?
False
Suppose 7*i + 12 = -23. Let t(c) = c - 5. Let j(r) = r - 2. Let w be j(2). Let d be t(w). Is d bigger than i?
False
Let b = -4 + 7. Suppose -5*h = -5*o - 5, -b*h = o - 6*o - 1. Let s be -1*(-3)/6*(5 - 4). Is s smaller than h?
True
Suppose 5*c = 3*p - 20, 4 = 2*c - 0. Suppose p = -5*m - 0. Let i = 6/13 + -70/39. Which is bigger: m or i?
i
Let i(m) = -m**3 + 9*m**2 + 11*m - 10. Let k be i(10). Is -3 > k?
False
Let q be (-12)/(-8) + (-2)/4. Let y be (2/4)/((-12)/8). Do y and q have the same value?
False
Suppose -2*o = -0*o. Let j = o + 1/5. Let b = 11 + -10. Which is bigger: j or b?
b
Let r(v) = v**3 - v**2 - 5*v + 4. Let t be r(4). Let b be