 -3*l + 4*l + 4*n - 7, -2*n + 9 = -5*l. Let g = 2032/77 - 186/7. Which is greater: l or g?
g
Suppose 2*m - 36 = -2*m. Which is greater: m or 7?
m
Suppose -37*y + 38*y = 25. Is 25 greater than y?
False
Let g(y) = -y**3 + 3*y**2 + 5*y. Let c be g(4). Let t(x) = x - 2. Let u be t(3). Let b = u - c. Is 0 <= b?
False
Let k = -15.33 - -27.26. Let v = k + 0.07. Which is smaller: 0 or v?
0
Let q be 473/(-55) + (-2)/5. Let d = -5 + -3. Which is smaller: d or q?
q
Let z(i) = -i + 3. Suppose -2*q + 0*r = -4*r + 8, 3*q - 2*r - 4 = 0. Let g be z(q). Are -1/2 and g unequal?
True
Suppose y + s = -2*s + 64, 0 = 3*s - 12. Which is greater: y or 0.1?
y
Suppose 0 = 3*s + 11 - 29. Which is smaller: 7 or s?
s
Let h = 1.2 + 8.8. Let g = -22.1 - -11.8. Let z = g + h. Is 1 less than z?
False
Let c = 25 + -25. Is c smaller than -1/4?
False
Let d(n) = n + 8. Let m be d(-4). Suppose -1 = m*j + 11. Let s be j + (-1 - (-148)/38). Which is greater: -1 or s?
s
Let l = 2 - 1. Let j = 3 + -3. Suppose j*u = 4*w - 4*u, 0 = -5*w - 2*u. Do l and w have the same value?
False
Suppose -2*b = -5*x + 2, 4*b + 3*x - x = -4. Is -2/25 > b?
True
Let f = -185/4 + 46. Is f != 0.06?
True
Let z = 839/16 + -105/2. Which is smaller: 1 or z?
z
Suppose 2*c - 10 = -2*k, 4*k - 3*k - 9 = -3*c. Let j(q) = 4*q**2 - 1. Let o be j(1). Is c >= o?
False
Let j = 11 - 9. Suppose 1 - 3 = j*k. Does 1/2 = k?
False
Let h = -2 - -1. Let z = h - 1. Let k be (3 + -2 - 1)/(-1). Is z greater than k?
False
Let z be (-6)/(-2*2/4). Suppose -7 = -j - i + 3*i, 5*j - 30 = 5*i. Which is bigger: z or j?
z
Let y be 6*(-1)/(-2)*1. Let q be (2*-1)/(2 + y). Which is bigger: q or -1?
q
Let i be ((-4)/(-6))/((-1)/(-3)). Let h = -2.7 - -2.1. Is h bigger than i?
False
Let l be (6/68)/(9/12). Let y(t) = t**2 - 5*t + 4. Suppose -14 = -2*x - 2*c, -x = -5*c - 0*c + 11. Let o be y(x). Which is smaller: l or o?
o
Let x(g) = g**3 - 9*g**2 + g - 8. Let y be x(9). Suppose c - 3 = a - 2, -a = -5*c + y. Suppose i = -c*i. Which is smaller: 2 or i?
i
Let x be 9/3 - (0 - 1). Is x at most 2?
False
Let z = 67 + -75. Is z bigger than -9?
True
Let m = -1 - -1. Let c = 13 - 18.2. Let t = -5 - c. Are m and t nonequal?
True
Let d be -4 - (12/8)/((-1)/14). Which is bigger: d or 20?
20
Let o = 3/20 - -1/10. Which is greater: o or 2/11?
o
Suppose f + 72 = 2*t + 2*f, 0 = 3*t + f - 108. Does 39 = t?
False
Suppose -2*x - 18 = 12. Let t be (2/6)/((-1)/x). Suppose 0 = -t*j + m - 9, 5*m - m = 4*j + 4. Is j greater than -2?
False
Suppose 7*x = -31 - 4. Is 4/11 > x?
True
Suppose 2*a + 3 = 15. Let d be (-12)/6 + 8 + -1. Is a smaller than d?
False
Let y = 9.9 - 11. Let q = y + 11.1. Is 2/5 bigger than q?
False
Let j = 0.009 + -7.009. Which is greater: -0.1 or j?
-0.1
Let g be (-3)/1 - (-13 - -12). Let l be (0 + 1)*g/(-1). Which is greater: l or 1?
l
Suppose 0 = -5*v + 4*o - 8, -2*o - 5 + 9 = -3*v. Which is smaller: 1/21 or v?
v
Let a = -7.06 - 0.64. Let c = 8 + a. Let u be (-4)/(-14)*(-98)/(-56). Which is smaller: c or u?
c
Suppose y + 7*x - 7 = 2*x, -x + 9 = 4*y. Let l(a) = 10*a - 1 + 10 - 3*a**y + 4*a**2. Let m be l(-9). Which is bigger: m or 1/4?
1/4
Let g be (8/6 - 1)*1. Are g and -3 unequal?
True
Let m(v) = v**3 + 7*v**2 + 7*v + 1. Let q be m(-6). Which is smaller: q or -7?
-7
Let q = 6 + -12. Let r be q/3 + (-2 - 0). Let v be (-4)/3*(-2 - -5). Is r < v?
False
Let q = -740527/9 + 82071. Suppose 4*c + 5*v - 635 = 7*c, 5*c + 5*v + 1045 = 0. Let n = c - q. Which is greater: 1 or n?
1
Let k = 28 - 14. Let y be 6/k*(-56)/(-32). Which is bigger: y or 2?
2
Let o = 2 + -1.99. Let x = -1.99 - o. Let c = -201 + 203. Which is smaller: c or x?
x
Let s = 5 - -27. Suppose -o - 3*o - s = 0. Let n = 5 + o. Is n greater than -3?
False
Let l be (21 + 0)*(3 - 2). Let v be (72/l)/3 + -2. Which is greater: 0 or v?
0
Let p = -3 + 2. Let j(u) be the third derivative of -u**6/120 + u**5/60 + u**4/24 - u**3/6 - 3*u**2. Let z be j(2). Is p less than z?
False
Let a be (2 + (-204)/105)/(1/15). Is a equal to 1?
False
Let z = -1 + 2. Let v = z - 1. Suppose 6*f - f + 20 = v. Which is greater: f or -3?
-3
Let z = 174 - 84. Let f be (-4)/(-10) - 21/z. Let a(m) = -m**2 + 3*m - 1. Let k be a(3). Which is smaller: f or k?
k
Let n = -0.13 + 0.27. Let w = 0.9 - 0.8. Is n bigger than w?
True
Let d = -6 + 0. Let p be ((-4)/d)/(1/(-9)). Let s be 11/(-3) + (-4)/p. Which is greater: -1 or s?
-1
Let x = -5 - -4.99. Let w = x + -0.04. Let t = -0.05 + w. Which is smaller: 5/3 or t?
t
Let n = 20518/57 - 1084/3. Which is smaller: -2 or n?
-2
Let n = -27/8 - -413/120. Which is smaller: n or 0?
0
Let m be 7/(-42) + 55/6. Let f be m/2*10/15. Which is bigger: f or 2/3?
f
Let m(f) = 5*f**2 + 9*f - 2. Let t(w) = -11*w**2 - 19*w + 5. Let q(d) = -13*m(d) - 6*t(d). Let x be q(4). Is x at most as big as -1/4?
False
Let i = -3 - -6. Which is greater: i or 23/7?
23/7
Let b(l) = -l - 7. Let y be b(-7). Suppose y*x - x = -1. Let h be (-1)/14*(-6 - -2). Is h < x?
True
Let a = -23 - -22.8. Is 0 > a?
True
Let x = -20 + 22. Suppose -5*g + 15 = 4*s, 4*g + 5*s - 6 = 2*g. Which is bigger: g or x?
g
Let f = -345/4 - -87. Let g = -2 + 1.9. Which is greater: g or f?
f
Let a be (1 - (2 - 3)) + -13. Let s = a - -7. Let f be -1 - s - (2 + 0). Is -2/5 at least as big as f?
False
Suppose -6*z + 24 = -2*z. Let x = z - 1. Suppose -3*q - x = 2*q. Which is smaller: 1/3 or q?
q
Let b be 6/4 - 3/6. Let g(n) = n + 5. Let p be g(-4). Let k = b + p. Is k not equal to 2/3?
True
Let g = -1 - -5. Let x = -17/4 + g. Let j be (2/4)/(2/(-4)). Is x at least as big as j?
True
Let q = 3254/105 + -216/7. Are -1 and q unequal?
True
Let o = 13 - 14. Let d = -4 - -6. Let j = o + d. Is 2/5 >= j?
False
Let b = 130/3 - 42. Let u(l) be the third derivative of -l**4/24 - l**3 - l**2. Let t be u(-6). Which is greater: t or b?
b
Suppose 3*y + 17 = 158. Let a be (-30)/(-45) - y/57. Which is smaller: a or 0?
a
Let q(t) = -t**2 + 4*t + 3. Let r be q(4). Let g = 2 - 1. Is r at least g?
True
Let f be (-29)/(3*6/(-18)). Which is bigger: f or 30?
30
Suppose 34 = 2*l - 6. Let u be (-3*1)/(l/5). Is -2 equal to u?
False
Suppose 5*w + 5*y - 2 = 13, 2*y - 10 = 2*w. Which is smaller: 1/48 or w?
w
Suppose -32 = -2*b - 8. Suppose -t + 3*z = -b + 2, 0 = -5*t - 5*z + 10. Let q be -4 - (-4 - (-4 - -6)). Is q < t?
True
Suppose 5*a = 2*g - 5, 13 = -4*a + 3*a - 2*g. Which is greater: -39/11 or a?
a
Suppose 38 = 2*p - 0*p. Suppose 5*b + p = z + 2*z, -4*b - 20 = -3*z. Let g = z - 7. Which is smaller: g or 3/5?
3/5
Suppose 235 = 4*k - 1649. Suppose 4*h + 23 - k = 0. Let z = -445/4 + h. Which is smaller: 2 or z?
z
Let j be (3/6)/((-1)/2). Is j at least as big as -2/41?
False
Suppose 3 = j - 2. Let v be (-4)/(-12)*(1 + j). Let n = 1.9 - -0.1. Does n = v?
True
Let z be 5/(-15) - (-11)/(-3). Let m = z + 14. Is m less than or equal to 9?
False
Let q = 0.13 + -0.43. Is q at most 2/7?
True
Let k be 2*-2 - 3/(-6). Let z = k + 15/4. Is z less than 1?
True
Let j = -3 - -2. Let o be (-1)/(2/(10/(-1))). Suppose 2*c + 1 = -4*h - o, -3*h = 5*c + 15. Is h equal to j?
False
Suppose -6*a - 20 - 16 = 0. Which is greater: a or -5?
-5
Suppose -2 + 5 = -4*a - 3*j, 3 = -2*a - 3*j. Suppose -16 = -5*q + 24. Let h = -8 + q. Is h less than or equal to a?
True
Let p = -0.17 - -0.07. Let a = 0.13 + p. Let x = -0.03 + a. Which is bigger: 0.2 or x?
0.2
Let o = -8/87 - -140/261. Is -1 bigger than o?
False
Let a be (-4)/40 + 38/(-20). Which is bigger: a or -3?
a
Let l(f) = -2*f - 3. Let d be l(-3). Suppose -d*t = -0*t. Suppose 0 = 2*m - 4*o + 16, -2*m = -4*o + 3*o + 4. Is t greater than or equal to m?
True
Let q(l) = -l**3 + 2 - 7*l**2 + 2 - 7 + 7*l. Let s be q(-8). Suppose -4*b - 3 = -3*b, -s*i + 20 = -5*b. Is 2 greater than i?
True
Let h(a) = -a**2 + 3*a - 1. Let z be h(3). Which is greater: 1/11 or z?
1/11
Let f be 1*5/10*0. Which is smaller: 1/52 or f?
f
Let j be (-9)/15*(-4 - 28/(-6)). Which is greater: j or 1?
1
Suppose -4*v - 5*o = -23, -4 = -5*v + o + o. Suppose 15 = -3*j, v*x + 0*j - 7 = j. Are 0.03 and x equal?
False
Let p = 311 + -5285/17. Let z(q) = q**3 - 3*q**2 + q + 1. Let o = 1 - -1. Let d be z(o). Is p <= d?
False
Let v = -0.22 + -3.78. Let y = 1.73 + -0.03. Let x = 0.7 - y. Which is bigger: v or x?
x
Let g(d) = -97*d**3 - 2*d - 1. Let q be g(2). Let k = -32023/41 - q. Is k < 0?
True
Suppose -1 = 