or s?
s
Suppose 4*w + s - 21 = 0, -w - s = w - 9. Suppose -3*n = -2*q - 22, -2*q = n + 3*n - w. Let a = -80 - -76. Which is smaller: q or a?
q
Let c(s) = s**3 + 5*s**2 + s. Let b be c(-4). Do 11 and b have the same value?
False
Let d be (11/2)/(2/(-4)). Which is smaller: -29/3 or d?
d
Suppose 2*l = -l + 222. Does l = 73?
False
Let y = 0.1 - 0. Let b = 51 - 203/4. Which is greater: y or b?
b
Let t(d) = -6*d - 6. Let z be t(-4). Let p be 30/(-25)*20/z. Let w be (2/(-4))/((-1)/(-4)). Which is greater: p or w?
p
Let m be (2/(-3))/((-1)/3). Suppose v = -m*v + 36. Let l be 4/(-10) - v/(-30). Is 1/6 < l?
False
Suppose 4*x + 0*x - 40 = 0. Suppose x = i + j, -2*j + 5 = -3*i + 10. Suppose -4*y + 19 = -5*p - 6, -5*p = -3*y + 20. Do i and y have the same value?
True
Suppose -8 - 17 = -5*g. Let s = -3 + g. Let a = -1 + s. Is a < 2/17?
False
Let c be 92/(-20) - (-6)/10. Which is greater: -3 or c?
-3
Suppose -4*d + 18 = -5*l, -4*d - l - 4*l = 2. Is d >= 0?
True
Let h = -2.4 - -9.4. Let g = -8 + h. Is g < -4/5?
True
Let w = -0.1 - -0.07. Let t = w - -1.03. Is t bigger than -0.7?
True
Let l(b) = b**2 - 6*b + 6. Let m be l(4). Let d be (-4)/2 - (-2 - -1). Let x = -6 - d. Is m greater than or equal to x?
True
Let r(f) = -f**2 + 12*f + 11. Let z be r(13). Let y = 1 - 6. Let g(v) = v + 5. Let h be g(y). Which is smaller: h or z?
z
Suppose 3*p - 4*j + 2 = 0, -2*p - 2 + 0 = -2*j. Let w be (p/4)/((-4)/112). Let u = -6 + w. Which is smaller: u or 9?
u
Suppose 2*g - g = 5. Let o = 0.1 + -0.2. Is g at most o?
False
Let j be 4/(-28) + (-183)/(-105). Is j at least as big as 3?
False
Suppose 3*b + 21 = r, -2*b = r + 7 + 7. Let q = b + 6. Is -4/7 bigger than q?
True
Let q = -1 + 2. Let j = 2702/33 - 244/3. Do q and j have the same value?
False
Suppose -3*z - 3*k = 0, 0*z + 8 = -3*z + 5*k. Let d = -254 + 761/3. Is z bigger than d?
False
Let d(j) = j**3 + j**2 - j. Let x be d(-1). Suppose 4*n = -n + 55. Let i be 0/(-2) + (-2)/n. Is i bigger than x?
False
Suppose -r = -4*p - 7, -p + r + 0 - 1 = 0. Let v(c) = -4*c + 1. Let w be v(-4). Suppose k + 2*k - 7 = -2*t, 4*k - w = 5*t. Which is smaller: p or t?
p
Let q(v) = 7*v + 4. Let n be q(-8). Let t = -207/4 - n. Suppose i = -i. Which is smaller: t or i?
i
Let v = 155294/59 - 2632. Let m = v + -225/472. Is m smaller than 1?
True
Let i be 50/(25/(-5)) - -4. Is -6 at most i?
True
Let l(p) = -2*p - 4. Let v be l(3). Which is greater: v or 0?
0
Let y = -12 - -17. Suppose -6*b + b + y = 0. Let g = -29/40 - -1/8. Which is greater: g or b?
b
Let o be (-24)/(8/(-2)) - (-10)/(-2). Let x be (2/6)/(2/12). Let j be (-6)/(-8) + (-1)/x. Which is smaller: o or j?
j
Suppose -5*s - 2 = 3. Let p(y) be the third derivative of -y**6/120 + y**4/24 + y**2. Let f be p(s). Is 3 < f?
False
Let o be 2/(-1 - -3) - 4. Let g be (-4)/o*(-9)/(-8). Let w(v) = v**3 + 19*v**2 - 18*v + 41. Let b be w(-20). Is g less than b?
False
Let l be (-9 + 18)*(-2 + 28/6). Which is bigger: l or 23?
l
Let u = -2/1309 + -14379/13090. Let h = u + 8/5. Is 2 >= h?
True
Suppose 185 + 75 = n. Suppose 0 = -2*x - 0*x + n. Let f = 647/5 - x. Is f > 0?
False
Let x(p) = p**3 - 10*p**2 + 9*p + 5. Let j be x(9). Are j and 5 non-equal?
False
Let l(w) = w**3 + 3*w**2 - 6*w - 5. Let b be l(-4). Suppose 3*v = -b*m + 147, -4*m - 7*v + 200 = -2*v. Let y be (-3)/(-15) + (-3)/m. Is 0 at least y?
False
Suppose -2*q - 5*z = -q + 20, 0 = 3*z + 9. Does 0 = q?
False
Let y = -7 + 8. Let v = y + -2. Let x be 1/(-26)*(-8)/2. Which is smaller: x or v?
v
Let p be 10 - 17 - (-4)/1. Is p != -3?
False
Let m = -28 - -14. Let y = m - -15. Suppose -3*b = -p - 1, 3*b - 5*b = -p. Which is bigger: y or p?
p
Suppose -4*m + m = 30. Let u be (m/(-18))/(35/42). Which is bigger: u or 1?
1
Let l = -32 - -33. Is -1/59 >= l?
False
Let n be (-1 + 7)*(-4)/(-6). Let s(v) = -4*v + 39. Let b be s(9). Is n < b?
False
Let h be ((-1)/(-12))/(3/30). Let u(w) = 2*w**2. Let g be u(-1). Which is greater: g or h?
g
Let n = 3 + 6. Let j be n/(-7) - 8/(-28). Let u be 2/12 - 3/12. Is u less than j?
False
Let q = -3 + 5. Let d be q/(-8) + (-2)/16. Are 0 and d equal?
False
Let w be (1 - -4) + 0 + 0. Let h = -13 - -14.2. Let d = -2.2 + h. Which is smaller: d or w?
d
Let u be 2/(-20)*5/(-3). Let i be ((-4)/8)/((-1)/4). Suppose n = -3*w - 6, -w + i = n + 4. Which is bigger: u or n?
u
Suppose 25*x - 5 = 24*x. Let z(v) = v**2 - 4*v - 6. Let m be z(x). Let j be (-1)/(1/2 - 0). Which is greater: j or m?
m
Let x = 181/3 - 61. Which is smaller: x or 1/16?
x
Let d = 3 - -3. Let x = d + -8. Which is bigger: x or 0.2?
0.2
Let v = -0.11 + 0.01. Which is greater: v or 3?
3
Let k be (3/8)/(15/10). Which is bigger: k or 0?
k
Let h(w) = -w - 1. Let g be h(-4). Suppose 21 = 3*f - 3*l, -3*f - g*l - 1 = 8. Is 2 > f?
False
Let q = 10.2 - 7.7. Which is smaller: q or 2?
2
Suppose -4*f = 5*l + 1641, 0*l - 5*f - 345 = l. Let m be (-4227)/(-13) + 0/(-2). Let c = m + l. Which is bigger: 0 or c?
c
Let g(a) = a**3 - 15*a**2 + 14*a + 2. Let x be g(14). Suppose 0 = 5*h + 4*d + 51, -7 = -x*h - 4*d - 37. Is -7 > h?
False
Let n(p) = -p**2 + 8*p - 7. Let d be (-7)/(-3) - 2/6. Suppose 3*k + 11 = d*f, 3*f + k - 2*k = 20. Let a be n(f). Is a at least as big as -1/6?
True
Suppose 5*y + 0*y = 0. Let r be ((-9)/15 + 1)*(-20)/(-64). Is y < r?
True
Let l = 27 - 31. Is -3 bigger than l?
True
Let i = 16 + -9. Let c be 4 - i - -1*1. Are c and -3 equal?
False
Let q be 4/(-18) + 47/9. Suppose -4*l = -3*l - x, q*l = -4*x. Suppose l = -3*f + 3*m + 9, -5*f - 4*m - 3 + 18 = 0. Is 3/2 at least f?
False
Let f = 83 + -16. Is 1 greater than f?
False
Let k be -2*((-5)/1)/10. Which is smaller: 8/9 or k?
8/9
Let s(a) = 3*a**2 + 3*a - 14. Let j(l) = -5*l**2 - 5*l + 27. Let o(v) = 4*j(v) + 7*s(v). Let r be o(0). Let h be -4*(7/r)/7. Which is smaller: 1 or h?
h
Let r be (1 - 4) + 226/74. Which is bigger: -1 or r?
r
Let f(b) = 3*b - 38. Let k be f(14). Which is smaller: 1 or k?
1
Suppose -4*r + 6*t = 2*t - 20, 3*r - 15 = -4*t. Suppose 2 = r*n - 3. Which is smaller: n or -6?
-6
Let s = 26 + -36. Are s and -11 nonequal?
True
Let n = -1874 + 258613/138. Let u = -107/46 - n. Are -1 and u unequal?
True
Let s = 88 + -88. Which is smaller: -2/5 or s?
-2/5
Let k be -2 + 0 - 1 - 0. Suppose 0 = -5*w - 5*m - 30, 5*m = w - 8 - 4. Let i = k - w. Is i at most -1/3?
False
Let y = 5 + 1. Let x = 7 - y. Let l be 2 + (0 - (3 - 0)). Is x > l?
True
Suppose 5*u + 4*w = 7, -4*w + 3*w = 4*u + 1. Is u equal to 2/43?
False
Let d(a) be the second derivative of a**3/6 + a**2/2 - 2*a. Let g = -5 + 5. Let h be d(g). Is 1/7 bigger than h?
False
Let i = -6.6 + 7. Let c = 5.6 - 6. Let a = c + i. Which is greater: -1 or a?
a
Let c = 7 - 6. Let o be (-2)/(-4) + 1/(-2). Is o less than c?
True
Let a = -4 - -3.93. Let z = -0.03 + a. Which is smaller: z or 8?
z
Let j = -25/93 + -2/31. Suppose -4*d + 20 = 0, 8*d = 2*c + 4*d + 20. Let f = j + c. Is f != 0?
True
Let d be 2/(-6) + (-11)/(-33). Is 0 equal to d?
True
Let r be (2/(-6))/((-1)/6). Suppose 3 = 2*m + p - 2*p, -p = -5. Suppose 5*z = -2*f - 11, 0 = -4*z + r*z - m*f + 2. Do -2 and z have the same value?
False
Let k = -163 - -86. Let v be (-38)/33 + 14/k. Which is bigger: v or -0.1?
-0.1
Let y be 4/10 - (-6)/(-15). Suppose y = -0*o - 3*o. Let n be 0*((o - 0) + 1). Which is bigger: 1 or n?
1
Let f = 65 - 65.8. Is 0.2 >= f?
True
Let n = -0.2 - -0.2. Let u = n - -1. Let j = 0 - u. Are j and 0.3 unequal?
True
Let c = 24.94 + -25. Which is smaller: -0.1 or c?
-0.1
Let l(v) = -2*v + 6. Let d be 1 + (-1)/(-1) + 2. Let f be l(d). Is -3/4 less than or equal to f?
False
Let f = -9 - -5. Suppose 0 = j - 0*j. Let n = f + j. Which is greater: -3 or n?
-3
Let r = 0.34 - -0.06. Let w = 0.8 + -0.3. Let m = w - r. Are m and -2 non-equal?
True
Let q = -2 + 2.1. Let z = 0.032 + -0.032. Let c = z + q. Are -0.02 and c nonequal?
True
Let x(w) = w + 9. Let p be x(-7). Suppose -1 = -p*s + 3. Let r = 14 + -10. Do s and r have different values?
True
Let c = -1.4 - -1. Which is smaller: c or -2/9?
c
Let u be ((-323)/34)/(2/(2 - 0)). Is u <= -9?
True
Let n = -12.1 - -14. Let k = -0.1 - n. Is 2 at least as big as k?
True
Let f = -2.14 + 2.1. Is f smaller than 0.1?
True
Let i(y) be the second derivative of y**3/6 + 3*y**2 - 3*y. Let p be i(-7). Is p <= 2/7?
True
Let d(t) = -t**2 + t + 2. Let m be d(2). Is 1/79 smal