- 6. Let k be l(-5). Let g = -13 + k. Let j be (-3)/(-9) - (-4)/g. Do 2/5 and j have the same value?
False
Suppose -3*p + 57 + 33 = 0. Let b be (-1)/5 - (-576)/p. Which is smaller: 20 or b?
b
Let u be 3/(-3)*-1*2. Suppose -5*t + 38 = -12. Let b = t + -7. Which is smaller: u or b?
u
Let c = 107 + -130. Is c greater than -26?
True
Let q(w) = -w**3 - 3*w**2 + 7*w. Let d be q(-5). Let r be 6/d*2/2. Does 0 = r?
False
Let u(r) = -2*r**2 - 4*r + 1. Let d be u(4). Let o be -3 + d*1/(-15). Let b be (-2 + 1)*(-2)/(-2). Which is smaller: b or o?
b
Let m = 136 + -138. Let d = 0 + 0. Is d < m?
False
Suppose -4 - 15 = -5*s - 4*q, 4*s = -3*q + 15. Suppose -h - s*h = 20. Let p be (2/4)/(h/6). Is p equal to 0?
False
Let p = 0 + 7. Suppose 0 = -a - p + 3. Is -4 less than or equal to a?
True
Suppose l - 3 + 1 = 0. Let r = 4 - 2. Is r greater than or equal to l?
True
Suppose 2*h - 1 = 3*h. Let a = 0 + -2. Is h not equal to a?
True
Let o = -7 + 6. Let u = -0.2 - -5.2. Let z = -5.4 + u. Which is greater: z or o?
z
Let c(i) be the second derivative of i**5/20 - 7*i**4/12 + i**2 + 4*i. Let v be c(7). Which is smaller: v or -1?
-1
Let a = 2.6 + -2.58. Which is smaller: a or -1?
-1
Let v = -33 - -13. Which is greater: -21 or v?
v
Let r = -39926 + 198982/5. Let a(y) = -32*y + 2. Let v be a(-4). Let w = r + v. Are w and -1/2 non-equal?
True
Let n(a) = -3*a**2 + 4*a + 5. Let p(i) = -3*i**2 + 3*i + 4. Let s(r) = 3*n(r) - 4*p(r). Let u be (-2)/(-4)*1*-2. Let z be s(u). Is 3 bigger than z?
True
Suppose 3*k = -n - 8, -4 = k + 4*n - 5*n. Which is greater: 0 or k?
0
Let s be (3/(-18))/((-9)/4). Let k = s + 67/189. Is 0 >= k?
False
Let f = 0 + 3. Suppose 0 = -2*t - 6, -3*p - f*t - 9 = -p. Which is smaller: 1/6 or p?
p
Let l(g) = -g**2 + 9*g - 9. Let v be l(8). Suppose -2*p + 2*c + 18 = 0, -2*p + 18 = 3*p + 4*c. Let k be (p/9 + 0)*v. Do -1 and k have different values?
True
Let h = -30 - -42. Let v be (-9)/h - (-4)/8. Is 0 at most v?
False
Let g = -551/7 - -79. Which is greater: g or 1?
1
Let k be (-4)/(-3) + 6/9. Suppose -6 = 5*g - 2*g. Which is smaller: g or k?
g
Let i = 337/24 + -41/3. Let d(v) = -2*v**2 - 16*v - 13. Let q be d(-7). Is q greater than i?
True
Suppose 0 = 2*l + 3 + 7. Which is bigger: l or -4?
-4
Suppose 4*v + 16 = 0, 5*r - r - v = -44. Let d = -9 - r. Is 3 at least d?
True
Suppose 0 = 2*l + 30 + 2. Let o be 4/l + (-15)/20. Let u = -4 + 3. Is u < o?
False
Let a = 10/123 + -84/697. Are a and -1 equal?
False
Suppose -2*m - 2 - 2 = 0. Let r = 4 - 3. Let n = -1 + r. Is n at least as big as m?
True
Let r be (-18)/276*(-12)/(-9). Is r smaller than -1?
False
Let s be ((-1)/(-20))/((-1)/(-234)). Let r = -81/2 + 52. Let z = r - s. Which is greater: 1 or z?
1
Let d = 4.2 + -4.3. Do d and -14/5 have the same value?
False
Let l be 3 + (-190)/16 + -2. Let c = l - -799/72. Suppose 0 = 3*p - 4*o + 3, 0 = p + 2*o - o + 1. Which is bigger: c or p?
c
Let n(m) = -m**3 + 6*m**2 + m - 4. Let j be n(6). Suppose -j*h - 5 = -5*q, -4*h = h. Which is greater: 2 or q?
2
Let i(c) = 2*c**2 + 3*c - 20. Let o be i(-5). Is o > 15?
False
Suppose -p - 3*u + u = -7, u - 42 = -4*p. Let c = -55 + 67. Which is bigger: p or c?
c
Let w = 8 + -8.2. Is 6 smaller than w?
False
Suppose -2*l = -2*z + 18, -3*z = -4*l - 0*z - 32. Is l <= -5?
True
Let r = 17 + -11. Suppose 0 = -3*u - r, -4*u + 9*u = 3*g - 19. Is 5 at most g?
False
Suppose f + 3 = 5. Let q be 1/(3 + (0 - f)). Which is smaller: q or 2?
q
Let d = 67 - 37. Let u be d/(-9) - (-2)/6. Does u = -3?
True
Let b = -2/37 + -103/148. Let k = 4 + -4.3. Is b greater than or equal to k?
False
Suppose -3*y + b = -8, -5*y = b + b - 17. Which is smaller: 0.4 or y?
0.4
Suppose -2*s + 18 = 2*j, -j + 31 - 4 = 4*s. Suppose -1 = s*m - 7*m. Is m greater than or equal to -1/6?
True
Let g(p) = p**3 + 10*p**2 - 10*p + 10. Let v be g(-11). Which is greater: v or 2/21?
2/21
Let c = -19 + 13. Let m = -6.4 - c. Which is greater: m or -2?
m
Let i = 14 + -13.6. Let f = i - 0.29. Which is smaller: f or -0.1?
-0.1
Let n = -4 - -4. Is n smaller than -6?
False
Let v = -15 + 19. Suppose -c - 6 = o, 3*c - 2*c - v*o = -11. Which is smaller: c or -6?
c
Let z = -4/287 + 675/27839. Let i = -442929 - -300748895/679. Let w = z - i. Which is smaller: 1 or w?
w
Let y = 15 - 0. Suppose 0*w = -3*w - q - 7, 3*q - y = 0. Let b be w*((-1)/(-2) - 0). Which is smaller: b or -2/3?
b
Let k(n) = -14*n + 9. Let m(t) = -5*t + 3. Let a(y) = -6*k(y) + 17*m(y). Let c be a(-8). Suppose 5 = -3*s - 7, 0 = 2*l - c*s - 18. Which is smaller: l or 0?
l
Let z(v) = v**2 - 3*v - 2. Let t = 4 - 2. Let h be z(t). Which is smaller: -2 or h?
h
Let q be ((-1)/(-2))/(6/24). Let w be -1 + (q - (2 - 0)). Which is bigger: -4/9 or w?
-4/9
Suppose -2*h = 2*h - 20. Which is bigger: h or 4?
h
Suppose -7*c - 21 = -10*c. Which is smaller: c or 23/4?
23/4
Suppose -17 = -7*n + 8*n. Which is smaller: -16 or n?
n
Let t(m) = -m - 6. Suppose -3*c + 5*h - 6 = 0, -3*c + 3*h - 12 = -0*h. Let i be t(c). Let u be (-4)/16*-2*4. Which is smaller: i or u?
i
Let a(j) = j**2 - 6*j + 8. Let m be a(4). Which is greater: m or -1?
m
Suppose 0 = 3*q - 1 - 17. Let h be (4/12)/((-2)/q). Let v be (3082/132)/(-23) + 4/22. Is v at most h?
False
Let r be 2/2 + 3/(-1). Let w be (1*2)/(r/(-9)). Suppose 4*t + w - 2 = 3*p, 3*t + 7 = 4*p. Is p greater than or equal to 2/9?
True
Let b = -1/35 + -32/105. Let x(i) = -2*i**3 - i**2 + 2. Let u be x(1). Are b and u unequal?
True
Suppose -3*i + 2 = -4. Suppose 0 = 5*h + 3*w - 52, 2*h + 5*w = -i*h + 52. Is h at least as big as 7?
True
Let c(y) = y**3 - 4*y**2 - 2*y + 8. Let x be c(4). Which is smaller: 1 or x?
x
Suppose 5*q - 67 = 3*c, 4*c + 7 = 5*q - 74. Let s be 4/c + (-9)/(-7). Is s equal to 0?
False
Let f be 1*-2 + (-27)/9. Do f and -8 have different values?
True
Let k = 0.18 - -1.82. Suppose 29 = 2*m + 105. Let a be m/24 - 2/(-8). Which is smaller: k or a?
a
Let f = 0 + 0. Let l be (-114)/108 - 6/(-4). Which is smaller: f or l?
f
Suppose 4 + 12 = 4*z + 4*m, 3*z + m = 8. Suppose 0 = -4*o - 2*q, 3*q + z = -4*o - o. Which is smaller: o or 1?
1
Let k = -14 - -13. Let q = 2 - 3. Are k and q non-equal?
False
Suppose 0 = -7*n + 4*n. Which is greater: n or -2/103?
n
Let g(l) = -l**3 - 3*l**2 + 2*l + 7. Let q be g(-2). Which is greater: -9/22 or q?
-9/22
Suppose -2*f + 3 = f. Which is greater: f or -1/10?
f
Suppose 2*o = -0*o + 12. Let s = o - 2. Which is bigger: s or 2?
s
Let k be (4/(-7) - 328/112) + 3. Which is bigger: 17/3 or k?
17/3
Let w = -4 - -8. Let d = -2 + w. Suppose 4*v - 4 = 16, 3*v = d*f - 1. Which is smaller: 7 or f?
7
Let l be 14 + -17 + (-1 - -1). Which is smaller: -4 or l?
-4
Let s = 113 + -793/7. Suppose 0 = -z - 3*z. Which is smaller: z or s?
s
Let c(n) = -7 + 2*n - 9 + 5 - 3*n. Let g be c(-10). Which is bigger: -2 or g?
g
Suppose q + 3*k = -13, -2*k + 13 = -5*q - 4*k. Which is greater: q or -5?
q
Let n = 0.18 - 0.2. Let u = 0.007 - 0.287. Let f = n + u. Which is smaller: f or 0.1?
f
Let d = -4 + 2. Suppose -2*j - 44 = -42. Which is smaller: j or d?
d
Suppose -k = -3*q - 4*k + 6, -4*q + 8 = -k. Is 11/9 at least as big as q?
False
Suppose 0*n = 4*n - 16. Suppose -10 = 2*h - 3*k, n = -k + 2*k. Let l be 0 + 1 - (-6)/(-14). Are l and h equal?
False
Let y = 2795/4 - 706. Let o = y - -19/4. Let g = 31/14 + o. Is g greater than -3?
True
Let d be 1/1 + -2 - -1. Let v(z) = z**2 + 8*z + 9. Let p be v(-8). Suppose -3*r - p = 0, 4*o - 3*r = -0*r + 13. Which is greater: d or o?
o
Let k be (-9)/(-3) - (1*-2 + 6). Which is smaller: k or 1/20?
k
Suppose 0 = 2*o - 2 - 4. Let z = o - -2. Is 4 bigger than z?
False
Let f(r) = -r**3 + 5*r**2 + 2*r - 7. Let j be f(5). Suppose j*d + 12 - 9 = 0. Is d <= -1?
True
Let l(a) = -a - 11. Let m be l(-9). Let h = 7 + m. Suppose 0 = -h*n + 3*n. Is n less than -6/7?
False
Let y(d) = 6*d**3 - d**2. Let v be y(1). Let f be v/15 + 1/(-3). Is 2/21 greater than f?
True
Let k = 18 - 0. Which is smaller: 17 or k?
17
Let j = -209001592/648879 + 36/30899. Let n = j + 322. Is n less than or equal to -1?
False
Let n = -13 + 21. Suppose 0*v = 4*v - n. Which is smaller: 1 or v?
1
Let f = -11 - -6. Let l = 5 + f. Which is greater: l or -2/7?
l
Suppose 2 = 2*g - 2*a, -6*g + 2*a = -3*g. Is -3/2 greater than g?
True
Let j = -4 + 2. Let m be j - (6/(-4) + -1). Which is greater: 2 or m?
2
Let a = 0.1