. Which is greater: j or l?
j
Suppose -4*u = 5*m - 13, m + 3*u - 4*u + 1 = 0. Let h be (m/2)/(1/12). Which is greater: 3 or h?
h
Let m = 3 - 6. Let p(v) = v**3 - 8*v**2 + 7*v - 5. Let u be p(7). Which is greater: u or m?
m
Suppose 5*a = -26 - 24. Let p be 5/a + (-5)/2. Which is smaller: p or -1?
p
Suppose 0 = 2*i - 5*i. Let d be (1 - i) + -1 - 1. Which is smaller: -2/25 or d?
d
Let f be (1 + 0)*(-8 - -5). Let b be 3 + f/(-3)*-23. Which is smaller: -21 or b?
-21
Let v be ((-94)/(-36))/((-14)/(-4)). Let r = -2/63 + v. Which is greater: r or 2?
2
Suppose -l + 16 = -m, -7*l - 2*m = -3*l - 40. Suppose 0 = 5*y - l - 3. Suppose -2*j - y*j = 5. Is j at least as big as -3/7?
False
Let z = -86387086/105 + 822720. Let f = -981 - -6967/7. Let l = z + f. Is 0 not equal to l?
True
Let m(r) = -r**2 - 9*r - 8. Let v be m(-8). Is v greater than -12/13?
True
Let d(r) = r**2 - r - 1. Let h be d(0). Do -1/3 and h have different values?
True
Let n = 23 - 22.91. Which is greater: 0.3 or n?
0.3
Let k(p) = -p - 6. Let l(z) = z - 1. Let f(o) = -k(o) + 2*l(o). Let b be f(-3). Which is greater: b or -4?
-4
Suppose 4*v - 55 = 33. Are 23 and v equal?
False
Let n(a) = -2*a. Let j(d) = -d + 1. Let h be j(0). Let r(m) = m**3 + m**2 - m. Let s be r(h). Let l be n(s). Is -2/3 > l?
True
Let v = -6 - -4. Suppose -1 = -10*d + 9*d. Is v less than d?
True
Let u be (-6)/9*9/(-2). Let h = -2 + u. Let p = 41/3 + -203/15. Is p greater than or equal to h?
False
Let q(x) = x**2 - x - 3. Let i be q(3). Which is smaller: 18/11 or i?
18/11
Let w = -33/2 + 107/6. Which is bigger: 2 or w?
2
Let n(p) = p**3 - 4*p**2 + p - 2. Let g be n(3). Let o = -11 - g. Is o >= -3/2?
False
Let y be -36*6*(-2)/(-16). Let s be 138/y + 2 + 2. Which is smaller: s or -2?
-2
Let y = -2 + 4. Let m = 50 - -10. Let k be y/5 + (-9)/m. Which is smaller: 0 or k?
0
Let k = -11 + -6. Are k and -17 nonequal?
False
Let o = -59.4 - -58. Is o <= 0.1?
True
Let y(f) = -f - 1. Let p be y(-1). Suppose d + 3 - 1 = p. Let q = 2/301 - 1511/903. Which is greater: q or d?
q
Suppose 4*c + 42 = -2*d, 36 = -0*c - 5*c + 3*d. Let p be (5 - -1)*(-3)/c. Suppose -p*r = -0*r. Is -2 equal to r?
False
Let j = -2/3 - -16/3. Let v = j - 65/12. Let h be (4/2)/((-2)/2). Which is smaller: v or h?
h
Suppose -3*c - 4*q = 187, -q = 4*c + q + 256. Let x be c/(-285) - 2/6. Is x <= -1?
False
Let n = -4 + 7. Let f = n - 3. Let i = -0.8 - -1. Is i less than f?
False
Let r(w) = w**3 + 8*w**2 - 8*w - 12. Let c be r(-8). Let h = c - 417/8. Are 2/5 and h unequal?
True
Let o(w) = w**2 - 2*w + 1. Let v be o(1). Let z be -2 - v - 64/(-30). Suppose -2*y - 4*g + 6 + 8 = 0, 2*g = 8. Is z not equal to y?
True
Let f = -52 + 261/5. Let r(z) = z**2 + 8*z + 8. Let q be r(-7). Is f at most q?
True
Let u = -4 + 7. Suppose 0 = 3*d - 3*r + 15, -2*d = -0*d + u*r - 10. Which is smaller: d or 0?
d
Let v be ((2 + -1)/(-1))/((-2)/(-4)). Let r(n) = n**3 - 4*n**2 + 3*n - 1. Let j be r(3). Which is smaller: v or j?
v
Suppose m - 12 = 4*m. Let s be (-1)/m - 19/108. Which is smaller: 1 or s?
s
Let r = -155.9 - -167. Let z = -0.1 + r. Which is bigger: 0 or z?
z
Let t = 59329/448 + 777/64. Let s = 145 - t. Are s and 0 non-equal?
True
Let h = 81 + -49. Suppose -5*l + h = 4*z + 8, -l + 3 = -z. Let y = 3 - 2. Is y less than z?
False
Suppose 0 = -n + 5*k - 16, 3*k = -3*n + 6 + 18. Let h = -11 + 8. Let a = h + n. Which is smaller: 4 or a?
a
Suppose -4*x - 13 = -4*r - r, 8 = 2*r - 3*x. Let o be (-3)/(-7) - 22/35. Is o less than r?
True
Let x be (4/(-8) + 0)*0. Which is bigger: x or 1/54?
1/54
Let s(m) = m**2 - 8*m - 11. Let f be s(9). Let d = -15 - -11. Is f at least d?
True
Let u(m) be the third derivative of m**6/120 + m**5/15 + m**4/24 - m**3/2 - 3*m**2. Let g be u(-3). Is 2 < g?
True
Let m = -498314/7 - -71047. Let o = m + 141. Suppose -12 = -5*r + 3*c + 8, 4*c = 2*r - 22. Is r at least o?
True
Let t(z) be the first derivative of 4 + 1/2*z**2 - 7*z. Let f be t(7). Is f less than or equal to 0?
True
Let b(a) = a**2 + 11*a + 12. Let q be b(-10). Let l = 41/21 - 9/7. Which is smaller: l or q?
l
Let u be (-15)/35 - 24274/70. Let b = u - -350. Are 2 and b non-equal?
True
Let k be 3 + 1/(1/(-5)). Let y be (k/4)/((-2)/12). Which is greater: y or 2?
y
Suppose 0*d - 4*d + 52 = 4*r, -3*r + 35 = d. Let t(u) = -2*u**2 - 21*u - 7. Let n(b) = b**2 + 11*b + 4. Let o(a) = r*n(a) + 6*t(a). Let s be o(-5). Is 2 <= s?
True
Let q(s) = s + 1. Let f be q(4). Suppose 5*z + 30 = -5*c, -z - 3 - 7 = f*c. Let p be (4/(-90))/((-1)/5). Which is smaller: c or p?
c
Let v = 9/115 - 96/5635. Let d = 50/1617 - v. Let w = d + -7/11. Which is greater: w or 0?
0
Suppose 12 = 4*h - 8. Suppose -2 - 3 = -h*v. Let d be 3 + -3*(v + 1). Do -3 and d have the same value?
True
Let m = 5 - 2. Let j = m - 3. Which is greater: j or 2/3?
2/3
Let t = -81/174473510 + -1030651694495/3690324104712. Let f = 3/6295 - t. Let w = -1/168 - f. Which is greater: w or 1?
1
Let p(q) = -q**3 - 7*q**2 - 5*q + 2. Suppose 30 = -5*d - 0*d. Let j be p(d). Is j greater than or equal to -8/3?
False
Let j = 9 - 26/3. Which is smaller: -0.13 or j?
-0.13
Let i = 3 - 0. Suppose -l - i*l = 12. Suppose 0 = -v + 2*v + 2*g + 11, -5*v + 5 = -2*g. Is l at most v?
True
Let t(v) be the first derivative of -v**3/3 + 5*v**2 + 16*v + 4. Let p be t(11). Which is greater: -1 or p?
p
Let u(y) = -2*y**3 - y**2 - 3*y - 3. Let f be u(-2). Suppose -25 - f = -5*c. Is c > 8?
False
Let s = -77/4 - -19. Let i = -26 - -27.5. Let y = -1.9 + i. Is y greater than s?
False
Let m(y) = 3*y**2 + y. Let s be m(-1). Let w be (-20)/(-9) - s/9. Is -0.2 not equal to w?
True
Let j be (4/(-12))/((-2)/30). Suppose -g + j*i = -0*g - 2, -13 = -2*g + i. Let h be 2/g - (-43)/(-28). Which is bigger: -2 or h?
h
Suppose 0 = 4*c - c + 12. Let n be -2*((-2 - 1) + 1). Suppose -n*b = -4 + 20. Are c and b equal?
True
Let u = -9/2 + 139/30. Let d = -9 + 5. Let c = 3 + d. Which is smaller: c or u?
c
Let n(d) = -d**3 - d**2. Let w(z) = -z**3 - 3*z**2 - z + 3. Let p(o) = 2*n(o) - w(o). Let j be p(0). Let l = j - -2. Which is smaller: l or -2/15?
l
Suppose -1 = w - 4. Suppose -w + 0 = -5*q + p, -3 = p. Which is smaller: q or 1/2?
q
Let u = -24/11 + 59/22. Which is smaller: u or 1/6?
1/6
Let f = 56 - 37. Is f greater than 18?
True
Suppose 5*w + 15 = 0, -3*w + 0*w = -3*r + 33. Is 8 greater than or equal to r?
True
Let r = 0 - -5. Suppose 15 = -2*s + r. Is -6 at most as big as s?
True
Let l = 46978/5 - 9433. Let y = 3543/95 + l. Is y != -1?
True
Let n = 9028/477 - 170/9. Let l = -1007/10 + 159523/1590. Let f = l + n. Which is smaller: -3 or f?
-3
Suppose -x - 3*x + 8 = b, -4*x = -b - 8. Suppose 17 = 5*p - 3. Let w = -3 + p. Is b at least w?
False
Let f be (-1)/2 + (-2)/(-8). Which is greater: f or 2?
2
Let s(w) = -w + 2. Let f(r) = -4*r - 1. Let h be f(-1). Let y be s(h). Let q = y + -2. Is -3 > q?
False
Let q = -10 + 12. Suppose -q = 2*a - 0*a. Do a and 2/9 have different values?
True
Let k be ((-143)/18 - -4) + 4. Which is smaller: k or 1/4?
k
Let o be ((-2)/20*-2)/(12/10). Which is smaller: -0.04 or o?
-0.04
Let p = 33/26 - 41/26. Which is smaller: p or 1?
p
Let h = 351/4 - 87. Is h less than or equal to 1?
True
Let n = 5 - 7. Let a = 1.5 + -1.4. Which is smaller: n or a?
n
Suppose -z - 5*c + 5 = 0, -c - 3*c = -4. Is 3/8 bigger than z?
True
Let l(z) = 2*z**2 + 6*z + 4. Let i be l(-3). Do i and 5 have the same value?
False
Suppose 5 - 20 = -5*j. Let m = j + -2. Which is smaller: -2 or m?
-2
Suppose 0 = 3*z + 2 + 1. Is -4/7 > z?
True
Let k = -11 + 6. Let z = k + 8. Let u = -7 - -10. Are z and u equal?
True
Let l be (-1)/(-4) + 3/(2340/(-155)). Let t(m) = m**3 + m**2 - m. Let s be t(1). Which is greater: s or l?
s
Suppose 3*r = -4*w - 2, 3*w = 5*r - 2*r + 30. Let y = 16 - 17. Is r greater than y?
False
Suppose 0 = -5*l - 20, -l - 3 - 6 = 5*v. Is v at most as big as -33?
False
Let q = -6.3 - -6. Let v = -1.3 - q. Let b = 1.1 + v. Which is smaller: b or -7?
-7
Let d = 0.54 + -0.54. Let p = -0.02 + -1.98. Is d greater than p?
True
Suppose 0 = 5*w + u + 6 - 51, 2*w - 3*u = 18. Suppose 0 = 3*o - 0*o - w. Are o and 8/5 non-equal?
True
Suppose -3*o + i = -43, 17 = -2*o + 4*o - 3*i. Let w = -67/4 + o. Which is smaller: w or -1?
-1
Let l(r) = r**3 + 12*r**2 - 2*r - 18. Let n be l(-12). Are 6 and n non-equal?
False
Let q be 