ppose -3*w + 5*d - 9 = 0, 5*w + 0*d - d = -37. Let u be 2/w + (-45)/(-4). Suppose q - u = -5*z + 5, -3*z = -4*q - 5. Are q and 1 equal?
True
Suppose 8 = -v - v. Let b = v + 7. Let h = 18 + -16. Which is bigger: b or h?
b
Let r(b) = b**3 - 8*b**2 - 7*b - 18. Let n be r(9). Which is bigger: 1/5 or n?
1/5
Let w = -6 - -1. Let h be 7/w + 6/15. Is -2/21 greater than h?
True
Let x be 185/7 + (-84)/(-147). Is 25 at most x?
True
Suppose -5*r - 25 + 0 = 0, b + 5*r = -19. Suppose 2*c + c = -b. Let z(w) = -w**2 + 11*w + 11. Let n be z(12). Is c equal to n?
False
Let f be (-4)/12 + (-327)/(-9). Is 37 < f?
False
Suppose 3*n - 9 = 7*p - 2*p, p - 5*n = -15. Let r be -2 + (0 + p)/(-1). Let w = 6 + -8. Is r less than w?
False
Suppose -m + 12 = -5*m, 2*m + 14 = 4*p. Is p at least as big as 5/3?
True
Let a = -0.09 - -0.11. Let s = a + 4.98. Which is bigger: s or -0.1?
s
Let g be 1*-4*1/2. Let q = 1.14 - 7.04. Let p = q - -6. Which is smaller: g or p?
g
Suppose -2*v + 24 = v. Let y be v*2/4 + 0. Which is smaller: 3 or y?
3
Suppose -2*k - 3 - 12 = -3*y, -2*y + 23 = 3*k. Suppose 2*p = -2*h - 0 - 4, -3*h - y = 2*p. Is h at most as big as -2?
True
Suppose 2 + 10 = u. Suppose y + 3*y + u = 0. Let n = y - -2. Do n and 1/5 have the same value?
False
Let s(w) = -4*w - 7. Let p be s(-7). Let x be ((-351)/(-12))/(p/2). Let t = 9/7 - x. Are -3 and t unequal?
True
Let a be -3 - (-320)/44*1/2. Which is smaller: 0 or a?
0
Suppose 0 = -f + 6*f + 2*g - 15, -f + 3*g + 3 = 0. Suppose -48 = -3*n + f. Is n greater than 17?
False
Let x = -30 - -48. Suppose 0*a + 3*a = -x. Is a less than -5?
True
Let o be 5/(1156/(-572) - -2). Let q = 241 + o. Is q less than 0.2?
False
Let l be (-22)/18 - (-4)/18. Let v be (-79)/30*(-4)/(-3). Let r = v - -28/9. Which is greater: l or r?
r
Suppose -14*k + 4 = 4. Which is greater: -5 or k?
k
Let w(h) = h**2 + 3*h + 3. Let z be w(-6). Let n be 2/2 + z/9. Which is greater: 3 or n?
n
Let k = -20 + 21. Let n be -3*k*(-9)/108. Let x be 0*((-6)/4)/(-3). Which is greater: x or n?
n
Let m = -2 + 4. Suppose 5*o + 4 = y, o + 4*y = 8*y + 3. Which is greater: m or o?
m
Let r = -68 - -48. Are r and -20 equal?
True
Suppose -t + 5*q - 43 = 0, 2*t - q = -2*t - 77. Which is smaller: t or -0.1?
t
Suppose 0 = -3*g + 33. Is g equal to 11?
True
Let k = -8 - -7. Let c = 0 + k. Is -0.2 at least c?
True
Suppose -5*f + 23 = -5*t + 3*t, -t + 11 = 2*f. Suppose o = q - 5, 4*q + 4*o + 5 = 3*q. Suppose q*x = -0*x. Which is smaller: t or x?
x
Let p(i) = -i - 6. Let w be p(-9). Suppose 2*r - 1 + w = 0. Suppose 3*b + 0 = -3. Is b > r?
False
Let k(h) = -h**3 - h**2 + h + 3. Let s be k(0). Let q = -2 + s. Let a = 2 - q. Do 2 and a have the same value?
False
Let a = -42.1 + 47. Let t = a - 5. Which is smaller: -4 or t?
-4
Let z be 12/(-9)*27/(-6). Let q be (-5)/10*(-2)/z. Suppose 0 = -0*h + 3*h. Are h and q non-equal?
True
Let v = -8/1005 - -7426/7035. Which is smaller: 0 or v?
0
Let i(l) = 7*l + 36. Let j be i(-8). Is j smaller than -13?
True
Let y(s) = -s**2 + 10. Let j be y(3). Which is greater: 2/41 or j?
j
Let v = -1101/13 - -85. Which is greater: -1/2 or v?
v
Suppose 4*s + 0*s = -2*s. Is s < 1/30?
True
Let d = -491483390839 - -175459271118862/357. Let a = d - -838686. Let w = a + -1/119. Is w smaller than 2/3?
False
Suppose 3*c + 5 = -5*j + 15, 0 = -3*j - 2*c + 7. Let u be 3*-1*(-4)/(-132). Is j at least as big as u?
False
Suppose 0 = 2*v + 3 + 1. Which is bigger: v or -10/19?
-10/19
Let y be (2 + (-4)/2)/1. Let p(s) = s**2 - 5*s + 2. Let k be p(4). Let d be (-3)/k + 22/(-20). Which is greater: y or d?
d
Suppose 15 = 3*z - 2*u + 5*u, 5*z + 4*u = 20. Let t(d) = z + 2 + 4 + d. Let v be t(-8). Is -3 smaller than v?
True
Suppose -20 = -4*x - 4. Suppose w + 14 = -0. Let m be (-1)/(2 - w/(-6)). Is m at most as big as x?
True
Let l be (0 + 6/(-3))*7. Let g be 4/l + (-16)/42. Let c be (-2)/(-12) - (-4)/(-6). Is c < g?
False
Let j(q) = q - 20. Let s be j(18). Let b be 2/(-7) - 4/(-14). Is b greater than s?
True
Suppose -3*p + 5 = 2*p. Let z be (2 + p - 4)*-1. Is 1 at most z?
True
Let a(b) = -3*b + 1. Let v be a(2). Let c be 0/2 + v/(-20). Which is greater: c or -1?
c
Let i(f) = f**3 - 7*f**2 + 7*f - 3. Let x be i(6). Let a(o) = -o**3 + 2*o**2 + 3*o + 1. Let l be a(x). Is l at most as big as -3/7?
False
Let i be 1/(-2)*(0 + -2). Let y = -239/7 - -35. Which is smaller: y or i?
y
Let c be (3 + -4 + 2)*1. Let p = -66.95 + 65. Let j = -0.05 + p. Is j >= c?
False
Let n be -4*(-3)/(-6) - -6. Is n at least as big as 26/9?
True
Let k = 7 - 6.7. Let o(y) be the third derivative of -y**4/24 - 2*y**2. Let r be o(0). Is k at least as big as r?
True
Suppose 0*a + 44 = 4*a - 4*c, 0 = -5*a + 4*c + 56. Let t = a - 10. Which is greater: t or 1/2?
t
Let x(v) = v**2 - 10*v - 3. Let w be x(12). Let a be (-6)/w + 10/525. Do 0 and a have the same value?
False
Let h be 4/28 + 2/84. Which is smaller: 1/2 or h?
h
Suppose 5*m = -3*z + 4*m + 20, 4*z - 2*m - 10 = 0. Let c(o) = -o**2 + 5*o + 4. Let q be c(z). Which is smaller: q or 5?
q
Let m = 2 + 3. Let c be (18/12)/((-9)/(-12)). Suppose 17 = -m*t + c. Is t <= -3?
True
Let a = 3.4 - 3.6. Which is smaller: a or 4?
a
Let k = -3 + 4. Suppose -8*p + 12 = -4*p. Let n be -1*1*6/p. Is n smaller than k?
True
Suppose 0*w = -4*w - 12. Let p be 5 + (-120)/18 + (-2)/(-3). Do w and p have the same value?
False
Let g be 12/8*12/9. Which is smaller: -4 or g?
-4
Suppose -17 = -5*k + 3. Let z be k/2 - (3 + -2). Is z bigger than -0.2?
True
Let b(m) = m**3 - 5*m**2 + 4*m + 3. Let j be b(4). Suppose j*s = -0*s. Is 1 at most s?
False
Suppose 2*z + 4*p = -3*z, 4*z - p = 21. Suppose 2*t = -z*m + 12, -8 = -3*t - 2*m + 2. Let q be 1 + t/(-2) + 0. Which is bigger: -1/6 or q?
q
Let v = -14 + 7. Let r = v + 2. Let n = 3 - r. Does n = -0.1?
False
Let a = 0 - -6. Suppose 2*n = -0*n + a. Let d(g) = 2*g - 2. Let k be d(3). Which is bigger: k or n?
k
Let a = -7 - -6. Suppose 0 = -5*q + 10*q + 15. Is a at most as big as q?
False
Let w be ((-5)/2)/(4/8). Is w < -3?
True
Let o = -73 - -98. Which is bigger: o or -1/2?
o
Suppose 2*l + 3*a - 35 = 7*l, -15 = -3*a. Let y = 3 + l. Which is bigger: y or 1/19?
1/19
Let r(o) = o**2 + 8*o + 8. Let v be r(-7). Which is bigger: 2 or v?
2
Let c = -93 - -89. Which is greater: c or -5?
c
Let h = -35.15 + 38. Let s = h + 0.15. Is s > 2?
True
Suppose 0*g - 3 = 3*g. Let r = g + 1. Suppose r = -k + 4*k. Is k greater than 1?
False
Let h = -203/12 + 73/4. Suppose -2*k = -1 - 3. Suppose -k*q + 6 = -n, 3*q - 19 = 4*q + 5*n. Is q less than or equal to h?
True
Let y be (-56)/(-24)*(-2)/(-7). Suppose -8 = -3*p - p. Is y < p?
True
Suppose -r + 6 = 2*r. Let w = r - 4. Are -3 and w nonequal?
True
Let n = 15 + -10. Suppose 10*g = n*g + 10. Is 3 greater than g?
True
Suppose 2*o - 3*c = -0*c - 7, -4*c + 16 = 4*o. Let l(s) = s + 5. Let p be l(-4). Are p and o equal?
True
Let d(p) = -p + 12. Let r be d(11). Which is greater: r or 38?
38
Suppose -20*n + 25*n - 5 = 0. Let j be 1/2 - (-1)/4. Is n <= j?
False
Let g be (-6)/(-9)*3 + 5. Let n = -4 + g. Which is smaller: 2 or n?
2
Let f(o) = -2*o**2 - o**2 + 6*o + 4 - o**3 + 0*o**3 + 2. Let r be f(-4). Suppose -d + 3 = 4. Which is bigger: r or d?
d
Let q(p) = p**3 - 7*p**2 - 8*p + 12. Let l be q(8). Suppose 0 = 4*x - y, 0 = 4*y - 4 - l. Which is smaller: 2 or x?
x
Let j(c) = c**2 + 5*c + 3. Let d be j(-3). Let x be (-2)/d - (-14)/(-3). Which is greater: -13/4 or x?
-13/4
Let g = -161 - -67. Let m = 1033/11 + g. Is -2 smaller than m?
True
Let t be 0*-1*(-3)/(-3). Let m = 146/5 + -29. Which is greater: m or t?
m
Let f = 181/8 - 23. Which is bigger: f or 2/7?
2/7
Suppose 3*r - 3*v + 60 = 6*r, 3*r - 4*v - 25 = 0. Is r < 15?
False
Let g(h) = -h**3 - 7*h**2 - 2*h + 2. Let b be g(-7). Suppose -6*d + 15 = -3*d. Suppose -4*m + l - 7 = 0, -4*m - d*l + b = -5*m. Which is smaller: m or -3/14?
m
Let g = 24 - 16. Suppose -4*k = -8*k - g. Suppose 2*v = -5*c - 9, 3*v + 4*c - 3*c = -7. Is k <= v?
True
Suppose -2*b + 0*b + 49 = 5*u, 70 = 5*b + 2*u. Let n(l) = l**2 - 12*l - 3. Let k be n(b). Let v(t) = -t**3 + 2*t**2 - t - 2. Let q be v(2). Is q at least k?
False
Let m = 0.16 + -0.26. Let o = 28 - 20. Let r be (2/o)/(3/(-6)). Is r smaller than m?
True
Suppose 3*r = 5*r - 8. Let c = r + -2. Which is greater: c or 5/3?
c
Let b = -1.9 + 2. Let h = b + -0.2. Let