1)*12/(-88). Let t = m - 527/308. Is t greater than -1?
False
Let a be (-14)/3 - 1/3. Let f be a - 0/(0 + 3). Let v = 7 + f. Do v and -1/4 have different values?
True
Suppose 5 = -4*r - r. Let n = 197 + -2953/15. Is n greater than r?
True
Let l(j) be the third derivative of j**4/12 - 3*j**2. Let z be l(1). Suppose -3*x = z*x. Which is bigger: -3/4 or x?
x
Let j(w) = -w + 13. Let t be j(13). Suppose t = -0*x - x. Is 2/3 at most as big as x?
False
Suppose p + 5*z + 12 = 0, -2*z + 7 = -3*p + 22. Suppose 0*k - p*k + 36 = 0. Suppose -2*h + 6*h - 3*g + k = 0, 0 = -h + 5*g - 20. Which is smaller: h or 0.2?
h
Let d be (15/(-10))/(-3*1)*8. Are 3 and d non-equal?
True
Let p = -90 + 29. Is p equal to 1/4?
False
Let i be 3*(-4)/16 - 1/(-2). Which is smaller: -3/4 or i?
-3/4
Let h = 41 + -29. Let d = h - 11. Are 2 and d non-equal?
True
Suppose 3*i = i - s + 1, 4*s - 20 = 0. Let q = -3 + 3. Which is greater: i or q?
q
Suppose -14 = 2*w + 2. Which is smaller: -6 or w?
w
Let i = 14 - 17. Let r = i - 9. Which is smaller: r or -11?
r
Let d = -0.069 - -0.179. Is 0 > d?
False
Let l be (1/2)/((-1)/18). Let z be (9/(-2))/(l/(-12)). Is z not equal to -7?
True
Let t = 7 + 12. Is t <= 19?
True
Suppose -2*f + 1 = -3*l, 2*l + 3 = 3*f - 1. Let q = 3.4 - 1.5. Let g = -2.1 + q. Is g at most l?
True
Let h = 3 - 3.1. Let u = 0.2 + -0.2. Let s = u - h. Which is bigger: 1 or s?
1
Let t = 36 + -35.985. Which is bigger: t or 0.1?
0.1
Suppose 12*t - 7*t = 0. Which is smaller: 2/13 or t?
t
Let v(k) = -k**3 + 5*k**2 - k + 4. Let b be v(5). Which is bigger: b or -5/7?
-5/7
Suppose -2*t + 155 = 3*t. Suppose 2*v + 2*f + 97 = 7*f, -f - t = v. Let c be (v/10 - -3)/1. Which is greater: c or -2?
c
Let a = 0.2 + 2.8. Let s(f) = -f + 1. Let m = -1 + 1. Let t be s(m). Is t greater than a?
False
Let g(s) = -2*s - 5. Let o be 0 - 1 - (2 + 1). Let v be g(o). Let a be (-9)/4 + v/12. Which is greater: -1 or a?
-1
Let r = 425/387 - -16/129. Is 2 at least as big as r?
True
Let k(q) = q**3 - 8*q**2 - 8*q + 11. Let i be k(9). Let l be i/(-6) + (-6)/9. Let g = 13/3 + l. Which is smaller: 1 or g?
g
Suppose -16*g + 19*g = -j + 15, -88 = -4*j + 2*g. Is j smaller than 3?
False
Let q(x) = 0*x**2 + 3 + 4*x**2 - 1 + x**3 - 5*x. Let m = 10 - 15. Let t be q(m). Which is greater: t or 4/7?
t
Suppose -3*d + 15 = 0, 4*q + 69 + 48 = -3*d. Which is greater: -34 or q?
q
Let t(b) = 2*b**3 - 7*b**2 + 7*b + 8. Let i be t(6). Let r be (-37377)/162 - (-1)/2. Let s = r + i. Are -2 and s nonequal?
True
Let l = -15373/25 + 615. Is -1 greater than l?
False
Let r be (-6)/9*(-9)/(-66). Is 0 < r?
False
Suppose 5*g = 3 + 2. Let r(o) = o**2 + 3*o + 3. Let z be r(-2). Let c be z/(-2)*1/2. Is g greater than or equal to c?
True
Let s be (-40)/12*36/(-15). Which is bigger: s or -2?
s
Suppose 0 = -3*p, -4*u + 1 = -4*p - 3. Is -10 < u?
True
Let u = 101 + -99.24. Let y = u - -0.04. Let n = y - 2. Are n and 2/3 non-equal?
True
Let k = -51 + 74. Which is smaller: k or 0.1?
0.1
Let u be (-9)/(-2) - (-1)/(-2). Let v be 60/(-14) + u/14. Let g be (1 - 0)*6/(4/(-2)). Which is smaller: g or v?
v
Suppose 4*a = 3 + 1. Let p = -3 + a. Suppose 4*i + 29 = 5*y, -y + 4 + 4 = -3*i. Are p and i equal?
False
Let z be 16/(-2)*(-8 + 9). Let n = -16 - z. Let x = n - -8. Is -1 at most x?
True
Suppose -3*z = -z + b - 47, -2*z + 41 = 3*b. Let h = -17 + z. Let k = -7 + h. Which is smaller: 4/7 or k?
4/7
Let r(l) = l**2 - 3*l - 1. Let c be r(7). Let g be (-4)/9 - 6/c. Is 0 bigger than g?
True
Suppose -4*p + 2 = -q, 5*q + 8 + 2 = -p. Let x(l) = l**3 - 4*l + 3. Let r be x(2). Suppose -7*c = -r*c + 8. Is q bigger than c?
False
Let l(a) = -10*a**2 + 1. Let g be l(1). Let d = g + 12. Which is greater: d or 5/3?
d
Suppose 2*b = -2*b + 12. Suppose 0 = r + 4*r - 4*i + 25, -r = 2*i + 19. Let g = -5 - r. Which is smaller: b or g?
b
Let h = 19 + -33. Let n(k) = k**2 + 14*k - 3. Let f be n(h). Let p = 0.2 - -0.8. Are f and p non-equal?
True
Let i = -2396/45 + 204/5. Which is greater: -13 or i?
i
Let p(b) = -2*b**3 - 19*b**2 - 20*b - 5. Let y(s) = -s**3 - 10*s**2 - 10*s - 3. Let z(i) = -3*p(i) + 5*y(i). Let f be z(-5). Which is smaller: f or 2?
f
Suppose -2 = -5*o + 3. Let v be 1/(-1)*(o + -2). Let a = 2 - v. Is a smaller than 2/7?
False
Let f be 2/5*(-40)/(-54). Which is greater: -1 or f?
f
Let j be ((-10)/18 - 26/(-117))*9. Which is bigger: j or -19/6?
j
Suppose l = 2*k - 8, 3*k - 3*l - 11 = 7. Suppose -o - 17 = -5*t - 4*o, 0 = 3*o - 12. Let i = t - -1. Is i bigger than k?
False
Let f(p) = p**2 - 9*p + 2. Let z be f(8). Let r = 4 + z. Let o be 1 - -1 - 6 - r. Which is smaller: -4/3 or o?
o
Let s(b) = b**3 - 5*b**2 + 4*b. Let h be s(4). Suppose -n - 2*y - y - 8 = h, 5*n + 5*y + 10 = 0. Which is smaller: -1/6 or n?
-1/6
Let g be 0/2 + (2 - 0). Suppose -2*w = 2*u - 12 + 4, -3*u = -2*w - g. Suppose -2*v + 4 = 2. Does v = u?
False
Let t be ((-8)/5)/(1/(-10)). Let p = t - 11. Let y = 6 - p. Which is smaller: -1/3 or y?
-1/3
Suppose 6 = 2*p - 5*b - 2, -5*b - 10 = 0. Suppose 5*z = z. Is p greater than or equal to z?
False
Let t = 24 - 26. Suppose 0*c + 4 = -2*m - 5*c, 2 = -m + 4*c. Is t != m?
False
Let c(h) = -h**2 + 15*h - 4. Let k be c(10). Which is smaller: k or 45?
45
Let r = -14 + 14.11. Let t = r - 0.01. Let s = t - 0.3. Is -1/4 < s?
True
Let l(j) = j**2 + j. Let x be l(1). Suppose -p + 2*t - 4*t = 1, x*p = -2*t. Let h = -157/14 - -23/2. Is h less than p?
True
Let w be (6/510)/(2/5). Which is greater: 1 or w?
1
Let g = -0.04 - -7.04. Let b = 0.51 - 0.51. Are g and b equal?
False
Let u be ((-4 - -1) + 5)*(-91)/2. Which is bigger: -90 or u?
-90
Suppose x - 1832 = 4*g, 3*g = -4*x - 0*x - 1374. Let l = -5030/11 - g. Let i = l - 61/99. Which is greater: i or 0.1?
i
Let t = -0.117 - -0.146. Do t and -0.2 have the same value?
False
Let f(i) = -i**2 - 3*i + 2. Let r be f(-4). Let h be (r/(-5))/(9/(-10)). Is 0 less than or equal to h?
False
Suppose -d = -5 + 6. Is d bigger than 1/5?
False
Suppose o = 2 - 4. Suppose 5*u = -f + 32, 2*f + 12 = u + 5*f. Let m be (9/21)/(u/(-4)). Is o < m?
True
Let d be 1/(-5) - 366/(-5). Suppose 4 = -3*n - n, n = 4*h - d. Suppose -p = -3*m - 0*p - 12, -m = -5*p + h. Is -3 less than or equal to m?
True
Let c = 8 - 4. Suppose c*j = -j. Which is greater: j or 1?
1
Suppose -5 = -5*v - 0*v. Let t(z) = -z**3 - z**2. Let g be t(v). Are g and -3 equal?
False
Let m = -2/57 - -40/57. Which is greater: m or -10?
m
Suppose -7*l - 3*g + 4 = -2*l, l = 5*g - 16. Does -5 = l?
False
Let t = -19 - -18.96. Let i = -4 + 4.1. Is i < t?
False
Let i be (2 - 1) + -2*1. Let d(q) be the first derivative of -q**3/3 + q**2 + 4. Let t be d(3). Is i greater than t?
True
Let y = 21/68 + -1/17. Let i = -96 - -97. Is i at least as big as y?
True
Let a(s) = -s**2 - 5*s + 5. Suppose -4*u = -2*u + 12. Let v be a(u). Suppose 4*g + 8 = -0*g. Which is smaller: v or g?
g
Let f = -1 - -5. Let u = -4 + f. Is 0.5 at most as big as u?
False
Let c be 78/(-9) + (4 - 0). Which is smaller: c or -5?
-5
Suppose 0 = -4*u - 8, 3 = -12*l + 9*l - 3*u. Is -5 greater than or equal to l?
False
Let o be ((-1)/3)/((-3)/72). Let z(m) = m**3 - 9*m**2 + 7*m + 8. Let h be z(o). Which is smaller: 1/5 or h?
h
Suppose 3 = k - 7. Let w be ((-2)/(-6))/((-15)/k). Which is smaller: -1 or w?
-1
Let y(x) = -x**3 + 3*x**2 + 2*x + 8. Let t be y(4). Is t less than 3?
True
Suppose 3*j + 0 = 4*u + 11, -j + 2*u = -5. Which is smaller: j or -1?
-1
Let q = -25/6 + 103/24. Which is smaller: -3 or q?
-3
Let o = 4 + -10. Let d = o + 9. Suppose 0 = -2*u, -u + 4 = d*v + 1. Which is smaller: v or -1?
-1
Let n = 242/3 + -80. Which is bigger: n or -74?
n
Let m(q) = -q**2 - 14*q. Let c be m(-14). Let p be 112/342 + (-4)/18. Are p and c equal?
False
Let x be -1*1*(-2)/8. Let c = x - 7/12. Which is smaller: c or -0.1?
c
Suppose 0 = -4*z + a - 1, 2*z - 3*a - 1 + 14 = 0. Let h = 2 + z. Suppose -2*p = -h*p. Which is greater: p or 1/5?
1/5
Suppose l + 10 = -12. Let r = l + 16. Let w = r + 4. Does w = -3?
False
Let y = 0 + 9. Let k = y - 6. Let l = k + -3. Is 0 < l?
False
Let s = -95 - -105. Is 2 at least as big as s?
False
Let k = 0.2 + -0.1. Let q = k + -0.5. Do q and 0.1 have the same value?
False
Suppose 0 = 5*o - 6 - 4, g + 4*o - 6 = 0. Let y be 8/(-4) - 5/(-4). Which is bigger: g or y?
y
Let k = 71 + -59. Which is smaller: 3/7 or k?
3/7
