-4*z - 2, -2*z - 4*i + 0 = 4. Suppose 5*o + z*o = 0. Is 0 < o?
False
Suppose 3*l + 12 = 5*q, 1 = -2*l - 7. Let x = 232 - 123. Let m = x - 548/5. Does m = q?
False
Suppose -4*x + 49 = 33. Let w(g) = g**2 - 6*g + 4. Let o be w(6). Are x and o nonequal?
False
Let f(i) = i**2 + 10*i + 20. Let n be f(-8). Is n at most as big as 1?
False
Suppose -38 = 5*g - s, -4*s + 15 = -2*g - 11. Let v be g - (3/(-1) + 2). Which is smaller: -7 or v?
-7
Let q(m) = m**3 + 7*m**2 - 5. Let r be q(-7). Is -7 equal to r?
False
Let s(l) = -l - 7. Suppose -2*j - j - 21 = 0. Let d be s(j). Suppose 5 + d = -3*q + 2*h, 4*q + h = -3. Is -2 less than q?
True
Let d(g) be the first derivative of -g**4/4 + g**3/3 - g**2/2 + g - 1. Let w be d(1). Suppose 18 = -4*p + 4*b + 2, -2*b = -5*p - 5. Which is greater: w or p?
p
Let b = 5 - -1. Let z = -7.79 + -0.21. Let t = b + z. Which is bigger: -1/2 or t?
-1/2
Suppose -2*u + 4*n = 19 - 51, 3*n = -9. Suppose q = -3*b - u, 2*q = 6*q - 2*b - 16. Is q smaller than 0?
False
Suppose 5*x + 16 = 21*x. Is x at least as big as -3/103?
True
Let l = 2.2 + 0.8. Let y = -3.05 + l. Which is smaller: y or 2/5?
y
Suppose 0 = 5*i - 6 + 51. Is -3 < i?
False
Let f be ((-4)/15)/((-4)/6). Let m = 1 - 0. Is f at least m?
False
Let d be ((-2)/(-10))/((3 - 2) + 0). Which is smaller: d or -1?
-1
Suppose -4*z = -20, 0 = -5*y - 4*z + 9 + 26. Which is bigger: y or -1?
y
Let f(u) = u**2 - 16*u - 1. Let p be f(16). Which is greater: -3/10 or p?
-3/10
Let l = 885 - 7979/9. Do l and 0 have the same value?
False
Let y be (0 - -2)/(3/(-9)). Let x = 8 + y. Is 2 smaller than x?
False
Let y = -10 + 10.5. Let z = 0.3 - y. Which is smaller: -5 or z?
-5
Let a be ((-4)/6)/((-4)/12). Let q be 0 - 2 - a/(-1). Which is bigger: -1/6 or q?
q
Let p = -83 - -82.8. Let t = 0.08 - 4.08. Which is smaller: p or t?
t
Let k = 1268 + 99. Let m be (3 - 2) + k/(-7). Let z = m - -194. Is z not equal to 1?
True
Suppose -m = -o - 3*o + 25, m - 10 = -3*o. Let v = 6 + m. Which is smaller: v or 2?
v
Suppose -3 = 4*k - k. Which is bigger: k or 3/7?
3/7
Let d(z) = -z**3 + 8*z**2 - z + 9. Let b be d(8). Which is smaller: b or 10/19?
10/19
Let j = 2704/11 + -246. Let s = 2 + -2. Let z = 0 - s. Is z equal to j?
False
Let k = 2/5 - 13/20. Let f(q) = 6*q**3 - q**2. Let h be f(-1). Let g be h + 7 + 4/(-14). Is g less than k?
True
Suppose 12*l - 120 = 7*l. Which is smaller: l or 0?
0
Let f = 3 - -7. Suppose -2*r + 55 = 5*a, 6*a - a - r - 55 = 0. Which is smaller: f or a?
f
Let m be (-1)/((-3)/4)*-3. Suppose -3*l = 2*w + 17, 3*l + 5 = 4*l - 2*w. Which is smaller: m or l?
m
Let q = -26 + 25. Let m(a) = -a + 3. Let s be m(3). Suppose 22 = -v + 5*w, 10 = -s*v + v + 3*w. Which is smaller: q or v?
v
Let g = 1 - 3. Let n be (0 + 0)/(0 - g). Which is smaller: -1 or n?
-1
Let l = -8 + -48. Is -55 < l?
False
Let y be -6 + 3 - (-3 - 1). Suppose 2 = t - 2*t. Let q be ((-30)/(-14) + t)/(-1). Which is bigger: y or q?
y
Let g be 16 - 4/((-4)/3). Suppose s - 5*x - 6 = g, 5*x = -20. Let z be ((-4)/s)/((-2)/15). Is z greater than or equal to 4?
True
Let d = 0.03 + -0.63. Let w = 0.8 + d. Which is smaller: 2/5 or w?
w
Suppose 0 = -4*u + p + 11, -u - p + 4 = -5. Suppose t - 5*j = -17, u*t - 5*j = t - 11. Is t != 2?
True
Let b = -15 - -27. Is 12 at least b?
True
Suppose -1 - 4 = 5*y. Is y < 2?
True
Let v = 1.1 + -1. Let b = 0 - -0.12. Which is greater: b or v?
b
Let h be 3/4*1/2. Suppose -12 = z - 3*q, -3*q = 3*z - 5*q + 8. Is h != z?
True
Suppose 0*z + 20 = -5*z. Let f be 0/(z + 2/2). Is f != 1/3?
True
Suppose -x + 2 = 8. Which is bigger: x or -8?
x
Let u be (-4)/30 - (2272/(-30))/(-2). Is u greater than or equal to 0.1?
False
Let u = 10 + -6. Let i = u + -3. Which is bigger: 0 or i?
i
Let x = -0.064 - 47.936. Which is greater: x or 1?
1
Let r be 1 - (-1 - 23/(-13)). Are r and 1 non-equal?
True
Let v = 15 + -4. Let a = -11 + v. Is -2 equal to a?
False
Let c be (-6)/4*4/(-3). Suppose -2*k = c*k. Suppose k*s - 2*s = 0. Which is greater: 2/35 or s?
2/35
Let b = -3066 - -45973/15. Let r = 4/3 + b. Which is smaller: r or 0?
0
Suppose 2 = -z + 3. Let f(w) = w - 3. Let q be f(3). Let l be q/(-2*z*1). Which is smaller: l or -1/5?
-1/5
Suppose 4*o = -z + 52, 0 = -5*o + 3*o + 2*z + 26. Suppose -3*v = -2*l - o, -6*l + v - 1 = -2*l. Suppose 3*c + l = 4*c. Which is greater: 3 or c?
3
Let p be -6*((-6)/4 - (-43)/30). Which is smaller: p or -0.1?
-0.1
Suppose -2*z + 4*z - 2 = 0. Suppose -3*w = -4 + z. Let p = -26 - -25. Is w less than or equal to p?
False
Suppose -r = -0*g + 3*g - 12, -4*r - 27 = -3*g. Which is smaller: r or -7/2?
-7/2
Let b = -4.8 - -0.8. Let d = b - -4.2. Which is smaller: 0.3 or d?
d
Suppose 4 - 1 = 3*k. Suppose -z - l = -3*z + 8, -2*z + 2*l + 10 = 0. Which is smaller: k or z?
k
Let v = 61/77 + 7/11. Is 0 not equal to v?
True
Let w be (-2 + 1)*-2 + -2. Suppose 0 = -g - w*g. Which is smaller: -2/17 or g?
-2/17
Suppose -a + 7*h = 2*h + 33, 2*h = 5*a + 50. Which is smaller: a or -33/5?
a
Suppose -15*c - 1340 = 130. Is -99 at least as big as c?
False
Let g = 7 - 10. Let i be g/(-9) - (-20)/(-6). Is i bigger than -2?
False
Suppose -2*h - 31 = -97. Are h and 36 unequal?
True
Let j(w) = -w**3 - 11*w**2 - 11*w - 10. Let m be j(-10). Let b be 5*(-1 - m) + -2. Is -6 <= b?
False
Let k(h) = -h**3 + h**2 - h - 1. Let u be k(1). Is -0.12 at least as big as u?
True
Let r be (-26)/(-8) + (-1)/4. Suppose -r*g - 8 = 5*y, -4*g + 2 = y + 7. Let s be g + (-9)/(-24)*2. Does -1 = s?
False
Let x = 13.7 - 12. Let o = -2 + x. Is o at most 3/5?
True
Let a(z) = -z**2 + 5*z. Let q be a(7). Is q smaller than -15?
False
Let k(t) = t + 6. Let j(r) = 0*r**2 - 6 + 0 + r**2 + r. Let a be j(0). Let d be k(a). Is d < -3?
False
Let w = -96 - -866/9. Let d(v) = -9*v**2 - 9*v - 7 + 0*v**3 - 4*v**3 + 3*v**3. Let b be d(-8). Is w >= b?
False
Let d be (-1 + 1)/((-2)/2). Suppose d = 4*j - u - 3*u, j - 5*u = -16. Suppose -j*m + 3*m + 8 = -z, 3*m = 4*z + 27. Which is bigger: -2 or z?
-2
Let q(i) be the first derivative of -i**4/4 + i**2/2 - i - 3. Let z(f) = -f + 3. Let s be z(3). Let w be q(s). Is 1/5 > w?
True
Suppose -c + 4*o - 20 + 7 = 0, -3*c - 3*o + 21 = 0. Let q = 17 + -15. Suppose 3*b + 4*y = 17, -3*y + q*y + 2 = 0. Is c smaller than b?
False
Suppose 5*y + 0 = 4*u - 44, u = 5*y + 11. Let q(k) = -k + 10. Let x be q(u). Which is smaller: x or -2/9?
x
Let l be (3 - 4)*(-6)/(-21). Which is smaller: 0 or l?
l
Let y(b) = -b**2 - 4*b - 2. Let o be y(-1). Let c be (109/(-5))/(18/(-15)). Let t = c - 18. Is o <= t?
False
Let h = 8 + 0. Let j = h + -9. Suppose -3*f - 5*b - 1 = 0, -b + 14 = -5*f + 3*b. Which is bigger: j or f?
j
Let a = 4.2 + -0.2. Is 0 at least a?
False
Let c = 16 + -17. Is c at most as big as 12/11?
True
Suppose 3*g - 9 = 4*m, -2*m + 0*m + 2*g - 4 = 0. Is -7/4 < m?
False
Let m be (5 - (3 - (-30)/9))*-6. Suppose 0*z = f + z - 9, 0 = f - 2*z - 6. Is f at least m?
True
Let m = 26.94 - -0.06. Is m less than 0?
False
Let a be (-1)/2*-4 + 1. Suppose -2*b - a*b - 4*i = -15, 5*i = 4*b - 12. Which is greater: b or 5?
5
Suppose 14 = 4*l - 5*u, 0 = -2*l - l + 5*u + 8. Let r(y) = -2*y + 9. Let p be r(l). Which is smaller: p or -2?
p
Suppose -20*v + 18*v = -16. Which is smaller: v or 11?
v
Let d = 2.9 + 1. Let t = d - 4. Which is greater: 3 or t?
3
Let z(o) = o**3 - 2*o**2 - o + 1. Let c be z(2). Let a(r) be the second derivative of r**3 + r**2/2 - 5*r. Let m be a(c). Is m bigger than -5?
False
Suppose h - 44 = 5*h - 2*z, -5*h = -3*z + 56. Are -10 and h equal?
True
Suppose -2*i = i - 3. Suppose -5*o - 11 = 4. Let x be ((-12)/(-45))/(2/o). Which is greater: x or i?
i
Let n be (8/3 - 3)*9. Let d be (-3 - n - 3) + 4. Which is greater: d or -2/21?
d
Let o = -13 - -11. Suppose g = 6*g + 10. Is o > g?
False
Suppose -48 = 2*s + 2*s. Let o be (-44)/(-55)*2/s. Suppose 0 = -2*c + 5*y, -4*c + 2*y = -7*c. Which is bigger: o or c?
c
Suppose -3*g + 2*d + 7 = 0, 4 - 7 = 3*g + 3*d. Let x be g/(-3) + 1/(-3). Is -1 at most x?
True
Suppose 0*s = -2*b - 2*s - 8, 3*b + s + 2 = 0. Let g = 0 - 0. Which is smaller: b or g?
g
Let x = 47.3 - 47. Is 2 at least as big as x?
True
Let j be 234/(-280) - 5/(-20). Let o = j - -3/10. Let d = 0.04 - -3.96. Which is smaller: o or d?
o
Let n be (-224)/45 + 5 + 2/10. Which is bigger: n or 0?
n
Let d be -4*(-10)/16 + (-2 - 0). Let r = -0.08 - -0.1.