*n + 1. Suppose 4*q + d = -11, -q = 2*q - 5*d - 9. Let z(c) = -c**2 - c + 1. Let l be z(q). Which is smaller: v or l?
l
Let q = -2 + -1. Let v = q - 0. Is v at most 1?
True
Let c be (30/(-5))/(2/(-1)). Let b be 1*(-3)/(-9)*c. Let m = -2 - 0. Which is greater: m or b?
b
Let s = -0.03 + 0.06. Let l = -343.97 - -346. Let j = l - s. Which is smaller: j or -1/4?
-1/4
Suppose 19*o = 17*o - 6. Which is greater: -7/4 or o?
-7/4
Let i = 1.33 + -3.33. Is i less than or equal to 0.08?
True
Let x = 5 - 5. Let s be x + (-1 - 3/(-7)). Is s bigger than -2?
True
Let u = -4.1 + 4. Let f = 2 - 2. Which is bigger: u or f?
f
Let r(y) = -y**2 - y + 35. Let q be r(0). Let w = 52 - q. Suppose 3*z = -5*f, 4*f + w = 3*z - 2*z. Is f at most -4?
False
Suppose -3*k + 99 = -4*g, 2*k + 2*k = -3*g - 43. Is -21 bigger than g?
False
Let b = -363/2 + 183. Is b not equal to 3?
True
Let y be (2/(-6))/(56/(-112)). Let j = 0.53 + -0.4. Which is bigger: j or y?
y
Let i = -19 + 27. Suppose 2*m - 3*b - 12 = -0*m, 2*b = 3*m - i. Let l be m - 1/(2/4). Are -2 and l non-equal?
False
Let i = 0.05 + -0.1. Let z = 0.02 + i. Is z not equal to 0?
True
Suppose -g = g - 30. Suppose g = -3*c + 4*f, -4*c - f - 1 = -0. Which is smaller: c or -1/6?
c
Suppose 0 = -2*i - 3 - 5. Do i and -4 have the same value?
True
Let h = -1.8 - 22.2. Let f = 8 + -25. Let a = h - f. Which is greater: a or -0.1?
-0.1
Let z = 0 + -9. Let h be 3/9 + 5/z. Which is smaller: h or -2?
-2
Let y be (152 - 3 - -3) + 4. Let f be (y/(-18))/(6/(-9)). Do f and -0.1 have different values?
True
Let a(k) = -k**3 + 11*k**2 + 4. Let d be a(11). Suppose -y + d = -5*y. Are y and -1 nonequal?
False
Let b(l) = 2*l**2 - 2*l - 4. Let v be b(5). Let f be 3/2*(-3)/v. Is f equal to 1?
False
Let x = -17/78 - 3/26. Is x greater than -6?
True
Let y(p) = 7 + 0 - 5 - 2*p + 3*p. Let q be y(-1). Let f(v) = v**2 + 6*v + 5. Let d be f(-5). Is d less than q?
True
Let y be 2 + -1 + (-3 - -2). Suppose y*t = 2*t + 6. Which is smaller: 1 or t?
t
Let h = 8 + -7.3. Let k = 0.5 - h. Is k <= -0.2?
True
Let x = 1.2 - -3.8. Which is bigger: x or 3?
x
Let m = 9.8 + -10. Which is smaller: m or -5?
-5
Let f = 2 + -1. Let p = 3 + 2. Let j = p + -4. Is f less than j?
False
Suppose 4*v + 8 = 0, z + 3*v - v = -2. Suppose z = x + 5. Which is bigger: x or -4?
x
Suppose 4*o - 8*o - 18 = -3*g, -g + 2*o = -8. Let j be (-98)/35 + 1*3. Is g < j?
False
Let r be (0 - 1)/14*-4. Is 0 bigger than r?
False
Let y = 2/37 - -21/296. Let q(z) be the third derivative of -z**6/120 - 7*z**5/60 + z**2. Let r be q(-7). Which is smaller: r or y?
r
Let i = 31 + -22. Suppose p + i = r, 2*r - 21 = 4*p + 5. Is r < 5?
False
Let k(z) = -2 + z + 4 - 6*z + z**3 + 0 - 5*z**2. Let y be k(6). Does 9 = y?
False
Let u = -20 - -11. Let w = 8 + u. Is w smaller than 2/19?
True
Suppose -3*i + z = -21, -18 = -3*i + 3*z - z. Is i <= 5?
False
Let i be (3/(-18))/(2/(-3)). Suppose 0 = 5*b + 4*k - 45, -b = 4*k - 25. Suppose -2*c + b = 3*c. Is c <= i?
False
Let x be (-11)/(-35) - (-14)/35 - 1. Which is bigger: -5/4 or x?
x
Let s(o) = 3*o + 57. Let t be s(-25). Which is smaller: t or -17?
t
Suppose 0 = 6*b - 2*b - 8. Let m be -1*(-2 - (b + -1)). Suppose -m*a = a. Is 0.1 < a?
False
Suppose -2*l + u + 2 = 0, 8*u + 10 = -5*l + 3*u. Let i be (14/4 + -3)*0. Let w = i + 1. Which is smaller: w or l?
l
Let n = 0.9 + -1.9. Let q = n - 0. Let p = 4.02 - 4. Which is greater: p or q?
p
Let j = -18 + 23. Is 6 less than j?
False
Suppose -2*p - 2 = 0, -2*p - 6 = 3*l + 5. Which is greater: l or 2?
2
Let i be (130/(-20) + 7)/((-1)/2). Which is smaller: i or -10/31?
i
Let y(i) = i**3 - 4*i**2 + i - 2. Let c be y(4). Which is greater: c or 0?
c
Let y = 0.054 - -0.146. Is 1/24 <= y?
True
Let o(z) = z. Let d(s) = -2*s + 4. Let x(j) = -d(j) - 3*o(j). Let r be x(-9). Which is smaller: 4 or r?
4
Let i = -0.5 + 1. Let j = i - -2.5. Let l = j - 2. Which is bigger: l or 0.1?
l
Suppose 2*a = 3*a - 1. Let u = 17 - 12. Let c = u + -4. Are c and a equal?
True
Suppose -4*o - 3*z - 13 = 0, 0 = -3*o - 4*z - z + 4. Let u = -1.1 - -1. Which is greater: u or o?
u
Let k = -4 - -4.5. Let y = 0.5 - k. Let w = 2 + -5. Which is smaller: w or y?
w
Let s(g) = g + 2. Let c be s(-15). Is c less than -0.4?
True
Let o = 3 + -7. Is 1 less than o?
False
Let l be (-4 - -4)*1/(-3). Suppose -4*k - 2 = -2*p - l, -5*k + 8 = p. Which is bigger: 4 or k?
4
Let o = -8 + 8. Suppose -t = -o*t - 1. Is t equal to 1?
True
Let f = 3.94 - -0.06. Let s = f + -3.9. Let d = -0.1 + s. Which is bigger: d or 0.2?
0.2
Let c = 6.85 + 0.15. Which is greater: 2 or c?
c
Let u be 30*(-6)/(3 - 15). Is u at least -3?
True
Let u = -7 - -9. Let v be 156/1008 - u/8. Is -1 smaller than v?
True
Let l = -13 + 21. Suppose p + 3*s = 5 + 11, -5*p + l = -3*s. Suppose 5*b - g = -9, g = -4*b - 5 - p. Is b <= -2?
True
Let q = 0.06 - 2.06. Is q >= -0.01?
False
Let o = -1.6 - -2.6. Which is greater: o or 2?
2
Suppose 8*l + 3*l = 11. Is l at most -2.7?
False
Let x be -3 + 4/20 + 1. Which is smaller: x or -2?
-2
Let x(g) = -g**2 + 4*g - 2. Let w = -1 + 5. Let k be x(w). Which is bigger: 2 or k?
2
Suppose 0*o - 2*o + 4 = 0. Which is smaller: 8/3 or o?
o
Let a = -34982/11 + 3107. Let v = a + 73. Suppose o = -4*o + 5. Which is smaller: o or v?
v
Let l = 4 - 2. Let v = 2295/2 - 1122. Let q = -25 + v. Is l equal to q?
False
Suppose -4*p + 0 + 6 = 2*z, -p + 4 = 3*z. Let f = 6 - 30. Let k be 6/f - (-17)/20. Is p at most as big as k?
False
Let w be (-10)/(-1)*(-3)/(-6). Let r(b) = -b**2 + 4*b + 5. Let m be r(w). Let n = m - 1. Is -1/7 equal to n?
False
Let o be (-3)/(-18)*(-18)/(-24). Which is bigger: o or 4/7?
4/7
Suppose m + 1 = -0*m. Is m at least 0.05?
False
Let p(m) = 6*m + 36. Let r be p(-6). Is r > -5/4?
True
Let q be -4 + 2 - -2 - -3. Is 7/3 smaller than q?
True
Let v(d) = 2*d**2 + 20*d + 1. Let m be v(-10). Is -36 smaller than m?
True
Let c = -2/1059 - 4214/11649. Which is greater: c or -1?
c
Suppose 0 = 46*r - 50*r + 52. Which is smaller: r or 11?
11
Let c = 35 + -36. Which is greater: -1/17 or c?
-1/17
Let y be 7/(-5) + (-6)/(-15). Let h = -5 - y. Which is smaller: h or -6?
-6
Let s = 38 - 38.1. Which is greater: s or -50?
s
Suppose 4*n + 5 = -7. Which is bigger: n or -4?
n
Let k = -1.7 + -0.3. Do k and 1 have the same value?
False
Let i be 0/(0 - (-1 - 1)). Let w(k) = 2*k**2 + 10*k. Let t be w(-5). Are i and t nonequal?
False
Suppose -o = -6 - 11. Suppose 2*v + o - 7 = 0. Which is greater: v or -2?
-2
Let f(p) = -6*p**3 + p. Let r be f(-1). Suppose -a - r = -0*a. Let v = 1 + a. Which is smaller: v or -1?
v
Let i = 1 - 0. Let r be (11 - -3) + (2 - 5). Suppose -r*t = -7*t - 4. Is i at least t?
True
Let z(v) = v**3 - 9*v**2 - 12*v + 1. Let l be z(10). Which is bigger: -20 or l?
l
Suppose 0 = 4*j - j. Suppose -3*g + u - 20 + 2 = 0, j = -5*g - 4*u - 47. Which is smaller: g or -6?
g
Let u be (-1)/1 - 245/(-235). Which is bigger: -1 or u?
u
Let h(m) = m**3 + 5*m**2 + 12*m + 11. Let y be h(-2). Let o be (-12)/11 + 1 + 0. Which is bigger: o or y?
o
Suppose -3*o + o = 0. Let t = -731 + 732. Is o >= t?
False
Suppose -2*l = -7*l - 50. Is -11 smaller than l?
True
Suppose 7 = o + b + 23, 0 = 2*b + 10. Suppose -4*t = 16 + 24. Is o at most t?
True
Suppose 3*m + 41 = -5*f, 3*m + 0 = f - 17. Let i(x) = -x**3 - 7*x**2 - 2*x - 7. Let r be i(m). Is 8 at most r?
False
Let u be (-129)/12 - (-6)/8. Let v = u + 39/4. Which is greater: -0.5 or v?
v
Let y be 3 + -4 + -6 + 3. Is y at most as big as 3?
True
Suppose g = 4*c - 143, -4*c + 162 = -2*g + 16. Is 35 at least as big as c?
True
Let y = -29168371/156 - -186978. Let o = y - 17/12. Which is smaller: 1 or o?
o
Let m be (-2 - (-1)/1)*8. Is m less than or equal to -8?
True
Let k(m) = m**2 - 11*m - 9. Let n be k(12). Let c be -3 - n*(-2 - 2). Which is bigger: c or 10?
10
Let a = 4 - 2. Suppose -52 = 3*u + a*s, 2*u - 7*s = -6*s - 23. Let r be 3/u*20/15. Are r and -1 equal?
False
Let i = 29 - 31. Suppose -o = -3 + 6. Is i >= o?
True
Let c be -7 + 1 - (-2 - -1). Let j = -7 - -9. Suppose 0 = r + j*r. Are c and r unequal?
True
Let z = 0.27 - 5.27. Does z = -1/4?
False
Let d = 6 + -1. Let q = -5.1 + d. Let y = 3.3 + -3. Is y at most as big as q?
False
Suppose 82*i - 78*i + 12 = 0. Which is smaller: -7 or i?
-7
Let h = -6 + 12. Suppose 3*a - g - 17 = 0, 0 = a + h*g - 4*g - 1. Suppose -5*