 g - 8. Let a be l(6). Let p be a/(-8) + (-50)/8. Which is greater: p or j?
j
Suppose 2*y - 4*b = -2*y + 44, -4*y + b = -53. Which is smaller: -1/3 or y?
-1/3
Suppose 4*k + 14 = -2*n, 4*n + 12 = -4*k - 0*k. Which is greater: -1 or k?
-1
Let c(b) = -b**3 - 7*b**2 - b - 8. Let h be c(-7). Which is smaller: -15/7 or h?
-15/7
Suppose 15 = 5*r - 5*o + 40, 4*r + 5*o = -65. Let y be ((-6)/10)/((-14)/r). Do 0 and y have different values?
True
Let g(k) = k**3 - 3*k**2 - 3*k - 3. Let p be g(4). Is p less than 1/49?
False
Let l be ((-1)/(-9))/(9*(-5)/(-135)). Suppose -3*f = -2*o - 2*o + 206, -3*o = 3*f + 213. Let z = f - -488/7. Is l > z?
True
Let y be (-57)/21 - -3 - 186/14. Is -13 at most y?
True
Let c(t) = -30*t - 4. Let v be c(-5). Let f = -589/4 + v. Which is smaller: -1 or f?
f
Let w = -24 - -16. Which is greater: -10 or w?
w
Let w = 141 - 135.92. Let t = -0.08 + w. Which is greater: t or 2?
t
Let i = -0.1 + 4.1. Let a = -0.2 + 0.2. Let x = -2 + a. Which is smaller: i or x?
x
Let q be (3 - (-2)/2)*(-6)/52. Is q less than or equal to -1?
False
Let k = -2 + 2. Which is smaller: k or -16/7?
-16/7
Let t = -6.98 + 7. Let i = t - -7.98. Let o = 8.1 - i. Is 4 bigger than o?
True
Let y(a) = a - 11. Let g be 1/(13/6 - 2). Let d be (-3)/(-3) + 1*g. Let j be y(d). Does -3 = j?
False
Suppose 2*y + v = 5, y + 5*v - 8 = 17. Suppose -2 = -u - y. Let b be (4 + -3)/(u - 4). Is 1/4 at most b?
False
Let q = -24 + 21. Is 0.1 not equal to q?
True
Let l = 39/10 - 22/5. Let b = -0.2 + 0.4. Are b and l unequal?
True
Let n be (6/15 - 1)*-5. Let j = -1 + n. Which is smaller: 1 or j?
1
Let n = 1.1 + -0.1. Let s = -0.9 - -0.84. Let j = -2.06 - s. Is n greater than or equal to j?
True
Suppose -8 = c - 5*c. Suppose 0 = 4*i - 9*i + 25. Which is bigger: i or c?
i
Let x = 172 + -1717/10. Is 1 at most as big as x?
False
Suppose -3*p - 4 = -d + 11, -5*d - 15 = 0. Let i be (-3 + 7)*p/(-56). Is 0 >= i?
False
Let v = -5.9 + 6. Is v at most 74?
True
Let j = -11 + 12. Is j equal to 3/13?
False
Suppose 0 = a + 4*a - 30. Which is smaller: -1 or a?
-1
Let r = -49/4 + 99/8. Is r bigger than 0?
True
Let n = -4 - -6. Suppose -i = p - 0*i + 3, -n*p - 10 = 4*i. Is p greater than or equal to 1.4?
False
Let t(u) = -u + 3. Let n be t(-3). Let k(v) = 2*v - 1. Let y be k(2). Suppose 0*q - y*q = -15. Is n greater than q?
True
Let j(q) = -q + 9. Let w(u) = u. Suppose 2 = -h + 7. Let g be w(h). Let l be j(g). Is l at most as big as 3?
False
Suppose 0 = 4*f + f + o - 18, 4*f + 2*o = 12. Which is greater: 23/6 or f?
f
Let l = 0.12 + -0.42. Let z be (-454)/56 - (1 + -2). Let n = -48/7 - z. Does n = l?
False
Let p = 5 - 4. Let y = 4 - 1. Suppose 7*k + x = 2*k + 21, 0 = -y*k - 2*x + 7. Is k bigger than p?
True
Let d(c) = 15*c**2 - 1. Let n be d(-1). Let u = n + -4. Are u and 10 equal?
True
Let c = 0.7 - 0.67. Let l = c - 2.03. Are l and 0 nonequal?
True
Let m(r) = -2*r**2 - 35*r - 15. Let c be m(-17). Which is smaller: c or -6?
-6
Let k = -1 - 2. Let d = 10 - 6. Let x = d + k. Which is smaller: 9/5 or x?
x
Suppose n - v = -16, 5 + 4 = -3*v. Is -17 equal to n?
False
Let m be -1*-1*5/1. Suppose 0*z - 45 = -5*z. Suppose 4*g + 5*k + z = 0, m*g = k - 0*k - 33. Which is smaller: g or -5?
g
Suppose 3*k - 2*u - 4 = 0, 3*k + 2*u = -k - 4. Suppose k*p = -p. Let n = -68 - -70. Which is smaller: p or n?
p
Let k = 0.1 - 4.1. Is k at least as big as 0.2?
False
Suppose 4 = -3*n - 5. Let f be 3/((n - -4)*-1). Let x = -1 + f. Is x != -4?
False
Let s = 2 - -1. Let u be 2*(s + (-29)/10). Which is bigger: 0 or u?
u
Let t = -1927/51 + 113/3. Suppose 0 = -3*y - 0 - 12. Let b = -3 - y. Which is smaller: t or b?
t
Let j = 46.9 + -46. Let p = 2 + -1.9. Let v = p + j. Which is greater: v or -3?
v
Let g = 0 + 1.1. Let p = g + -0.6. Do p and 2/3 have the same value?
False
Suppose 0 = 5*d + 1 + 4. Let b be d + 0 + 8/2. Suppose -w + 10 = -4*g, -5*g + 2 = -b*g + 3*w. Does g = -3/5?
False
Suppose -4 = -0*u - 4*u + 4*a, -2*a = -u + 6. Let q = -4 - u. Is q less than -2/3?
False
Let i(x) = -x**2 - 10*x - 9. Let d be i(-9). Let k be (-9)/(-6)*(-1)/7. Which is bigger: d or k?
d
Let x be (-1)/((-8)/36 + 34/234). Which is smaller: x or 12?
12
Let d(s) = 3*s - 2. Let q(l) = l. Let b(w) = d(w) - 4*q(w). Let x be b(1). Is x less than or equal to -2?
True
Let k = -0.53 + 0.34. Let y = k - 0.01. Are 0.1 and y nonequal?
True
Let q be ((-2)/(-3))/(19/3). Let b = 6 + -7. Which is bigger: b or q?
q
Let p be 60/35 - (5 - 2). Does p = -1?
False
Let c be ((-6)/(-4))/(8/(-32)). Is -6 > c?
False
Let o(r) be the first derivative of r**2/2 - 7*r - 2. Suppose -p - 13 = 4*s - 43, -5*p = 10. Let g be o(s). Is g less than or equal to 2?
True
Let w(b) = 11*b - 21. Let p = 19 - 27. Let m(d) = -7*d + 14. Let q(h) = p*m(h) - 5*w(h). Let a be q(6). Is 2/7 less than a?
False
Let n be -1*-1*(3 + -2). Let m be 3/(-18) - (-19)/(-228). Is n >= m?
True
Suppose -i - 3*i = -4*z + 32, -z - 3*i - 8 = 0. Let w = z + -5. Do w and -2 have different values?
True
Suppose -4 = h - 3*h. Suppose m - 2 = h. Which is smaller: m or 5?
m
Let b = -9 - -11. Which is bigger: 1 or b?
b
Let s = 18 + -25. Let p = s - -8. Do p and -1 have the same value?
False
Let c be 3*1 - 95/114. Which is greater: 0 or c?
c
Let i = 1.1 - 0.1. Let q = -0.7 + i. Which is bigger: -2 or q?
q
Let d = 14 - 12. Is d >= 2?
True
Suppose -2*j + 7*j - 30 = 0. Let l be 4/(-8) - j/(-4). Which is bigger: l or -3/7?
l
Let a be (-330)/99*(-18)/4. Let h = 37 - 21. Which is smaller: h or a?
a
Suppose -2*y = -3 - 3. Suppose -y*u - 48 = u. Is u > -11?
False
Let j(d) be the first derivative of d**4/4 - 2*d**3 + d - 4. Let a be j(6). Is 1/2 != a?
True
Let i be 280/(-50)*-5*2/4. Is 1/4 less than i?
True
Let h(f) = -f + 5. Let x be h(7). Let r be ((-4)/4)/(1/x). Is 2 at least as big as r?
True
Suppose w - 5*p - 28 = -2*w, -5*w + 5*p = -30. Let x(v) = 8*v + 2*v**2 - w - 3*v**2 - 2. Let m be x(8). Which is greater: m or -2?
-2
Let l = 74 + -48. Which is bigger: 1/2 or l?
l
Let f = 7 + -2. Let i = 15 + -10. Is i < f?
False
Let l be (-8)/27 - (-38)/171. Suppose 5*m = -5 - 0. Does l = m?
False
Let f be ((-168)/(-63))/((-2)/51). Which is greater: f or -69?
f
Suppose 2*u = 3*j + 6 + 2, 0 = -3*u + 12. Suppose d = 2*f, j = d - 3*d + 2*f + 8. Suppose 4*y = -d - 8. Which is smaller: -5 or y?
-5
Suppose -d = -p + 3*p + 2, 4*d - 4 = 4*p. Let l(c) = -10*c**2 - c - 1. Let n be l(p). Let i = n + 7. Is i at least -1?
False
Let r(b) = -b**2 - 11*b - 6. Let d be r(-10). Let n be d/((-3 - -11)/(-4)). Is -3/2 at least as big as n?
True
Suppose 4*z - 12 = -2*z. Let k = 13 - 8. Which is greater: k or z?
k
Let a(w) = w - 10. Let t be a(8). Let z(n) = -2 - n**3 + 0*n**2 + 8*n**2 - n**2. Let y be z(7). Is y smaller than t?
False
Suppose 0 = -5*o - 2*w + 4, -5*w = 4*o - 3 - 7. Let a be (o - 0) + -14 + 6. Do a and -8 have the same value?
True
Suppose 2*r = -6 + 2. Let h be 9/(-6)*(-2)/(-1). Let z = h - r. Which is greater: -1/2 or z?
-1/2
Let r(l) = l**3 + 14*l**2 - 5. Let y be r(-14). Which is smaller: -6 or y?
-6
Let g = 951/8 - 119. Is 0 > g?
True
Let i = -9 - -47. Suppose 2*n + 0*n - 3*f + 63 = 0, -2*n - i = 2*f. Let p be 4/(-10) + n/(-35). Do p and 0 have different values?
True
Let b = 26 - 25. Is -2/77 greater than or equal to b?
False
Let o = -74 + 57. Which is greater: o or -2?
-2
Let u = 50/77 + -4/11. Let n = -3 - -7. Suppose l + 9*x - 20 = n*x, 2*x = 8. Which is greater: l or u?
u
Let u = 17/7 - 16/7. Is u < 0.3?
True
Suppose 7*b - 6*b = 4. Let o be (0 - (-1)/b)*-191. Let y = -48 - o. Which is smaller: y or 1/3?
y
Suppose 32 = -w - 4*c - 42, -3*w - 222 = 3*c. Let p = w + 823/12. Let o = -17/3 - p. Which is smaller: -0.2 or o?
o
Let w = -11 - -14. Let g be w/12 + 1/(-4). Is g less than 1/11?
True
Suppose -557*h = -562*h + 10. Let v = -2 - -4. Is v smaller than h?
False
Let r be (2/(-5))/(2/10). Let j = 3 + -6. Let t = j - 0. Is r greater than or equal to t?
True
Let c be 2 + -3 + 2 + 2. Let m = 243/85 - 1/17. Which is bigger: m or c?
c
Let b be 1 + -4 + 0/((-4)/(-4)). Which is smaller: b or 1?
b
Let b = -4.3 - -4. Suppose -10*j + 16 = -2*j. Which is smaller: b or j?
b
Let t be 3/(-6)*2986/13. Let g = t + 115. Let s be 5/3 + (-4)/6. Which is smaller: g or s?
g
Let t = -3.3 - -15.8. Let q = 18.6 - t. Let f = q + -6. Which is greater: 2/7 or f?
2/7
Let