+ 2*l - 4*j + 22. Which is smaller: 1 or l?
l
Let q = -8 - -10. Suppose 0 = q*s + 3*s - 15. Which is smaller: 1/2 or s?
1/2
Suppose 4*c + 4*i + 10 = 2*i, 5*i = 5*c - 25. Which is greater: c or -1/8?
c
Let o = -51 + 35. Let x be o/(-4)*(-3)/(-6). Let j(s) = s**3 + s**2 + 2. Let l be j(0). Is x at least as big as l?
True
Suppose z + 9 = -2*z. Is -3 less than z?
False
Let n = 3 + -7. Let s = 3.8 + n. Which is bigger: s or 1?
1
Let h be -1*1*96/104. Which is smaller: h or 0?
h
Suppose -x - 3 = o, 0 = -4*o - 5*x + 2*x - 12. Suppose -5*z - 4*u - 15 = 0, -5*z - 4*u - 6 = -3*z. Is o at least as big as z?
True
Let j(w) = w. Let y(v) = 4*v + 2. Let k(z) = 3*j(z) - y(z). Let p be k(-4). Which is smaller: p or 3?
p
Let g be 22/33*2/4. Let u(j) = -j**2 - 2*j - 1. Let y be u(-1). Which is smaller: y or g?
y
Let a = 359 - 359.1. Let l = 0 + 0.04. Which is smaller: a or l?
a
Let s = -0.24 + 0.04. Let o = s - 0.8. Is -0.1 less than or equal to o?
False
Let y = 23 + -20. Let h(k) be the third derivative of k**5/60 + k**4/8 + 2*k**3/3 - k**2. Let c be h(-3). Are y and c non-equal?
True
Let u = 715 - 13589/19. Let h = -3/76 + u. Suppose -5 = -3*s - 4*v, -1 = 3*s + 3*v - 2*v. Which is greater: s or h?
h
Suppose i - 8 = -3*i. Suppose 5*d + 2*t = -0 + 32, -4*t + 22 = 3*d. Suppose 11*v = d*v. Which is smaller: v or i?
v
Let j(q) = -q. Let r be j(4). Let d = r + 7. Suppose m - 4*m + 3 = -p, -d = p. Which is smaller: -1 or m?
-1
Suppose 0 = 4*s - 4*v + 8, 0 = s + 2*s + 5*v - 10. Let f = -82/55 - -12/11. Is s <= f?
False
Let g(t) = t**2 + 6*t + 5. Let n be g(-5). Let w be (-16)/6 + (6 - 3). Which is greater: n or w?
w
Let v(q) = -q**3 + q + 1. Let g(l) = 2*l**3 + 4*l**2 - 2*l - 5. Let u(i) = -g(i) - 3*v(i). Let d be u(4). Let b be 6/4*d/3. Is b <= 1?
True
Suppose -6*h + 49 = -71. Which is smaller: h or 19?
19
Let a be 4/(-7)*(-757)/(-4). Let f = a + 108. Which is smaller: 0 or f?
f
Let a = 15 + -10. Suppose a*y = y. Suppose -4*z + y*z = 0. Is z < -4?
False
Suppose -v - 5 = -6*v. Suppose -3*q - 22 = 5*u + 34, 5*u + q + 62 = 0. Let b = u - -10. Is v at most b?
False
Let n(k) be the first derivative of -k**2/2 + 3*k + 2. Let a be n(4). Let q = a + 0. Which is smaller: q or -3/7?
q
Let w = 0.8 - 0.2. Let x = -0.504 + -0.096. Let i = w + x. Is 2 at most i?
False
Let i = -4.4 + 3.1. Let q = i - 0.7. Which is smaller: q or -1?
q
Let y(i) = i**2 - i + 2. Suppose -4*t + 31 = 5*o, -2*o - 3*o = -t - 11. Let r be y(o). Let w = r - 9. Which is bigger: w or 1?
1
Let t = 2.7 - 13.7. Let a = -10 - t. Is -0.1 < a?
True
Let k = 4 - 5. Let q(b) = -b**2 + 2*b**2 + 1 + b - 2*b**2. Let i be q(k). Is 0 < i?
False
Suppose -4*f - 2*l + 10 = 0, -2*f + 15 = 3*f + 3*l. Let r = -11 - -11. Is f <= r?
True
Let t be 16/32*(-2)/4. Which is smaller: t or 0.22?
t
Let y(j) = -j**2 - 4*j - 3. Let d be y(-3). Let w be d/(1 + 4/4). Is w smaller than 0?
False
Suppose 3*c + 7 = -o, -6*o - 4 = -5*o + 2*c. Suppose v + 5*b = 0, -o*v = -b - 0*b. Suppose -2*x - 2*y + 25 = 3*y, 0 = 5*x - 2*y + 10. Is v equal to x?
True
Suppose 5*v - 3*z = -22, 0 = -2*v + 3*z - 13 - 3. Which is smaller: v or -4?
-4
Let g = 2.1 - 0.1. Let o = 0 - g. Are o and 3 nonequal?
True
Let a = 317/8 + -40. Is 1 at least as big as a?
True
Let z = -0.2 - -0.15. Let v = -2.11 - -0.06. Let h = v - z. Is -0.2 greater than or equal to h?
True
Let a be 6/40 - (-4)/(-10). Suppose -38*x = -32*x. Is x bigger than a?
True
Let f = -36 + 32. Is f > 0?
False
Let s be ((-4)/(-6))/(8/6)*2. Let z = -6473/35 + 185. Which is smaller: z or s?
z
Let o(w) = -5*w - 4. Let p be -1*1 + 20/5. Let h(r) = -4*r - 3. Let k(a) = p*o(a) - 4*h(a). Let m be k(1). Which is smaller: 0.1 or m?
0.1
Suppose 4*u + 2*f = 130, 2*u = 3*u + 4*f - 22. Suppose 5*v - 9 + u = 0, 4 = 3*z + v. Is 3 bigger than z?
False
Let o be ((-1)/(-6))/((-7)/4). Let t(j) = j**3 + 3*j**2 + 4*j + 3. Let h be t(-2). Is o at most h?
False
Suppose l + 3 = 0, -2*l = 5*z + 9 - 3. Suppose -20 = 4*r + r. Is r greater than or equal to z?
False
Let q = -5 + 6. Let p be (-1)/26*(-1 - q). Is -1 greater than or equal to p?
False
Let i = 132 - 1847/14. Is -1 greater than or equal to i?
False
Let t be ((-3)/(-135)*3)/(-1). Is t equal to -1?
False
Let n(w) = w**2 + 2. Let p be n(0). Let k(d) = d**2 + 7*d. Let v be k(-7). Which is greater: p or v?
p
Let a = 196/5 - 4307/110. Let k be -2 - (1 + -1 - 3). Which is smaller: k or a?
a
Let s = -7 + 7. Let f(n) = -n. Let u be f(s). Is u > 3/5?
False
Let o = -0.13 + 2.93. Let a = -3 + o. Is a not equal to -1/3?
True
Let i(k) = -k**3 - 6*k**2 - 8*k + 2. Let n be i(-4). Is n not equal to 2?
False
Let j = 60 - 42. Do 18 and j have the same value?
True
Suppose 12 - 6 = -6*i. Is 4 greater than i?
True
Suppose -23 + 57 = 4*l - 3*o, 4*l = 4*o + 36. Let w = l - 6. Is 2/9 at most as big as w?
True
Let t be 1 + 166/(-130) - -1. Let r be ((-16)/12)/(26/(-18)). Let g = t - r. Is g greater than or equal to 0?
False
Let j be (-105)/40*4/(-3). Which is smaller: 5 or j?
j
Let p be 7/((-14)/4) + -1. Let o be (-8)/p - (-4)/(-6). Is -2 less than or equal to o?
True
Let a(z) = z + 5. Let t be a(-4). Suppose 3 = -x - t. Are x and -4 nonequal?
False
Let o be ((-19)/(-4))/(1/4). Let u = o + -13. Suppose -x = -4*x + u. Which is greater: 3 or x?
3
Let b = 0.48 - 0.08. Which is smaller: b or 3?
b
Let h = -82/3 + 27. Let b be 2/3 - (-1)/3. Which is smaller: b or h?
h
Let z(l) = 10*l. Let j be z(1). Let f(c) = c - 10. Let d be f(j). Is 1 <= d?
False
Let a be (-1)/((-2)/18 + 8/(-36)). Is a at least 3?
True
Let a = 12 - 5. Which is bigger: 16 or a?
16
Let d(b) = -4*b**3 - b**2 + 2*b - 1. Let m be d(1). Let n = -8 + 5. Is m at most as big as n?
True
Let m = 0.03 - 2.93. Let a = -3 - m. Which is bigger: a or 0?
0
Suppose 4*x = -3*z + 16, 3*x - 1 = -5*z - 0. Suppose i - 2*i = -x. Which is greater: 13/2 or i?
i
Let o(v) = v**2 - 5*v - 8. Let i be (15 - 1) + -2 + 0. Suppose -2*r + i - 2 = 0, 2*k - 2*r - 2 = 0. Let l be o(k). Which is bigger: -1/2 or l?
-1/2
Suppose h + 2 = 3*h. Let l = h + 0. Let c = 26 - 26.5. Which is smaller: c or l?
c
Suppose -15 = -3*h, 4*c + 3*h = 2*h - 143. Let a = 149/4 + c. Suppose -5*s + 7 = 3*i, 0 = 3*s + i - 2*i + 7. Is a greater than s?
True
Let f be (7 + -7)/((-1)/(-1)). Suppose c = -f*c + 2. Let a = c - 0. Do a and 2/11 have different values?
True
Let f be 2/(((-6)/9)/(-1)). Suppose -f*u = 4*o - 30, 4*u + 15 = 9*u - 5*o. Which is bigger: u or 7?
7
Suppose 3*m + 24 + 63 = 0. Is m < -28?
True
Let f be 2/(1/3*(-18)/(-12)). Which is bigger: 0.3 or f?
f
Let j = -11 + -94. Which is smaller: -104 or j?
j
Let g be 292/18 + 2/(-9). Let v be g/6*2/(-72). Suppose 29*x = -8 - 21. Which is greater: x or v?
v
Let h = 5 - -51. Is 56 less than or equal to h?
True
Let c be 5/(-15)*(-2 - 1). Suppose -5*d + c = 21. Let u be 0*((-2)/(-1))/d. Which is smaller: u or 0.1?
u
Suppose 12*v = 17*v + 35. Do -1/4 and v have the same value?
False
Let a = -20.64 + 21. Let r = 0.06 - a. Which is greater: r or 2?
2
Let j(x) = x + 1. Suppose 3*d + 4 = -5. Let i be j(d). Let g = 3 - 3. Which is smaller: i or g?
i
Let w be (0 - 2/35)*10/8. Is -1 equal to w?
False
Let z = 3.6 - 4. Let f = z - 1.8. Let x = 2 + f. Is -0.2 > x?
False
Let r(x) be the third derivative of 4*x**2 - 1/24*x**4 + 0*x + 1/60*x**5 + 0 + 0*x**3. Let v be r(0). Is v less than -2/13?
False
Let y be ((-6)/(-30))/(8/(-6)). Is y at most 0?
True
Let n(g) = g**2 + g. Let t(s) = 2*s**2 - 5*s + 3. Let r(u) = n(u) - t(u). Let d be r(4). Suppose d*i - 3*l = 2, -1 = -2*i + 3*l - 2. Is -1 not equal to i?
True
Let i = 13 - 6. Is i > 5?
True
Let y be 49/35 - (-2 - -4). Is y less than or equal to 3/4?
True
Let v = -23 - -12. Let f be 20/110 + 2/v. Let d be 2 + (2 - 3) - f. Which is smaller: 2/5 or d?
2/5
Let f = 1 + -1.4. Which is bigger: f or -5?
f
Let o be (2/(-18)*4)/(8/12). Which is smaller: -6 or o?
-6
Suppose -2*w - 3*w = -20. Let b be 3 - (w/2 + 1). Which is smaller: 1/18 or b?
b
Let v be -42*(-2 + (-8)/(-6)). Let r be ((-4)/v)/(1/4). Let z(b) = -b**3 - 2*b**2 - b - 1. Let n be z(-1). Which is bigger: r or n?
r
Suppose 0 = -4*u - 2*d, u - 5*d = -3*u. Let z be (3 + -2 + u)*7. Suppose z = -5*b - 13. Are b and -4 equal?
True
Let m = 51.3 - 58. Let q = m + 7. Let d = q - 3.3. Is 0.1 at most as big as d?
False
Suppose 0*p - 2*p - 3*r = 5, 3*p - 5*r - 40 = 0. 