= 0. Let o(i) = i**3 - 2*i**2 - 2*i + 1. Let w be o(a). Which is smaller: w or -1?
w
Suppose b - 1 = -5*x, 4*b + 5*x = 9*b - 5. Suppose -3*g = -2*n - 7 + 2, -5*g = -15. Is b smaller than n?
True
Let y = 91 - 43. Suppose 0 = 5*k - g - 11 + y, -5*k + 5*g = 45. Let w = -8 - k. Is 2/7 at most w?
False
Let p = 1 - 0. Which is greater: p or 1/12?
p
Let j be (12 - 2)*(-2)/(-5). Let v = 3 + -8. Let h = j + v. Do h and -2 have different values?
True
Let h = -43 + 43.46. Let v = 0.4 - h. Let z = v - -3.06. Is z greater than 1?
True
Let x be ((-2)/(-3))/(70/19761). Let g = 189 - x. Are g and 1 nonequal?
True
Suppose 50 = 4*p - 3*w, 4*w = 2*p - 0*w - 30. Let b = 15 - p. Which is bigger: b or 6?
6
Suppose 2*x - 8 = 6*x + 2*r, r = -5*x - 4. Which is smaller: -2/91 or x?
-2/91
Let i = 9.95 + -12. Let x = -0.05 - i. Suppose -3*h + h - 3*p - 15 = 0, h - p - 5 = 0. Is h at most x?
True
Let y = 37 - 24. Let f = -9 + y. Which is smaller: 3 or f?
3
Let k be ((-8)/6)/(1/3). Let s(y) = -y - 3. Let q be s(k). Which is smaller: 0 or q?
0
Let h = -6.2 - -1.2. Let f = 12 + -8. Let u = h + f. Which is smaller: u or 4?
u
Let o(p) = -2*p**2 - 3*p - 9. Let v be o(-4). Is v at least as big as -30?
True
Let f = 22 + -15. Let i = 8 - f. Let j be i - 1 - 2/(-6). Is -1 equal to j?
False
Let x(p) = p. Let r be x(-1). Let o = -14 + 14. Is o less than or equal to r?
False
Suppose a = 4*a - 21. Suppose -n = -5*g + 6, -3*g + 5*n + a = -1. Are -1 and g equal?
False
Suppose 0 = -2*c - 6, 3*y + 48 + 0 = -2*c. Let w = -39 - -27. Which is smaller: w or y?
y
Suppose -2 = -4*u + 2*u. Is 3/5 at least as big as u?
False
Let j(p) = 4*p**2 - 1. Let q be j(-1). Let w = q - 6. Let u = w - -3. Is -1/2 greater than u?
False
Let u = -8 + 7.87. Is 0 at most u?
False
Let o(a) = a**3 + 7*a**2 + a - 14. Let w be o(-6). Let i = 10 - w. Which is smaller: i or -3?
i
Let o(c) be the third derivative of -c**4/8 - c**2. Let z be o(-2). Suppose 0 = k + 2*x + z, -3*x + 6 - 18 = 3*k. Are -2 and k equal?
True
Let r = -221 + 4200/19. Is -1 less than r?
True
Let m = 0 - 0. Let f = 368 + -186. Let t = -1272/7 + f. Which is greater: m or t?
t
Let x = -11 - -11. Are 4 and x nonequal?
True
Let q = 39/136 + 3/34. Is q at most as big as 1?
True
Let m(k) = 5*k**2 + k. Let n be m(-1). Let b = n - 0. Which is smaller: b or 1?
1
Let q = -2 + 8. Which is smaller: q or 7?
q
Let p be (6/9)/((-2)/(-6)). Let f be (-2)/4*2 - p. Let z = f + 4. Is z greater than or equal to 3?
False
Let a = 0.1 - 0.1. Let l = -28 + -4. Let i = -33 - l. Which is smaller: a or i?
i
Let r = -4 - -3. Let p be (2/(16/3))/r. Suppose -3*b = -2*n - 10, -3*b - 4*n = -7*b + 20. Is p greater than b?
False
Let m = 7 - 4. Is m less than -2/5?
False
Let i be ((-8)/24)/(2/4). Which is smaller: i or -1.3?
-1.3
Let i be ((-2)/20)/((-3)/15). Which is greater: i or -0.1?
i
Let q(w) = w + 12. Let j be q(-14). Which is smaller: j or -3/2?
j
Let n be 2/3 - (-30)/(-105). Let l = n - 2/3. Suppose 0 = 3*y + 3. Is l != y?
True
Let w(s) = 2*s - 12. Let f be w(-4). Let k be 1/20 - (20 + f). Are -1 and k equal?
False
Let y be (9/(-18))/(1 - 1/5). Which is smaller: y or -2?
-2
Let o(a) = -a**2 - 2*a + 3. Let w be o(2). Let c = 5 - 4. Let s = c - w. Is 5 greater than s?
False
Let a be 1/2*(-3 - -2). Let u = -4 - -7. Let d be u/(-5) - (-12)/20. Do d and a have the same value?
False
Let x = -0.2 + 0.22. Let k = x + 1.98. Let g = -0.0668 + -2.9332. Are g and k non-equal?
True
Let c = -0.065 - 0.935. Which is greater: -4/39 or c?
-4/39
Suppose 3*c + c = 0. Suppose c*f = 4*f. Is f not equal to -1/6?
True
Let p be (-1)/(-4) - (-174)/8. Let d = 17 + -35. Let v be d/p - (0 - 1). Which is smaller: -1 or v?
-1
Suppose 0 = -4*t - o + 8, 5*o + 3 = -3*t + 2*o. Suppose -3*g + 0*g = 0. Let c be (2/t + g)*-3. Which is greater: c or -3?
c
Let u(i) = i**3 - 8*i**2 - 8*i - 6. Let y be u(9). Suppose 0 = y*f + 15, -4*f = 2*h + f + 9. Which is bigger: 10 or h?
10
Suppose -5*g - 1 = 3*q + 14, -q = -3*g - 9. Is q smaller than 2?
True
Suppose 3*q - 3 = 0, -4*u + 9*u = 3*q + 12. Which is smaller: 2 or u?
2
Let j be (-3 - 48/(-10))*5. Suppose -k + 3*i = j, k - 2 = -2*i + 4. Suppose k = -2*n + 10 - 26. Are -8 and n equal?
True
Suppose 2*x - 5 = o, -3*o + 15 = -x + 5. Let y be ((-3)/(-12))/(o/(-12)). Is 0 < y?
False
Let p(i) = i**2 - 1. Let r be p(0). Let l be (-2)/(-4)*(r - -1). Which is smaller: l or 1/9?
l
Let r(k) = -k**3 - k**2 + k + 4. Let x be r(3). Let y = 146/5 + x. Which is greater: -0.2 or y?
y
Suppose 4 = -f, 0 = 5*j - 2*f - 12 - 1. Let k(n) = -n**3 - 4*n**2 + 6*n - 1. Let r be k(-5). Let t be (2/39)/((-2)/r). Does j = t?
False
Let z = -28 - -23. Let x be -1*(-3)/((-3)/(-5)). Suppose m = 3*d + 3, -x*d - 16 = 2*m - 0*m. Which is smaller: z or m?
z
Suppose 5*s - s = 24. Let c = -7 + s. Does -2 = c?
False
Let f be (5 - 4)*3 - 4. Which is smaller: 3/13 or f?
f
Let a = 12 - 23. Let p = -16 - a. Is -0.1 bigger than p?
True
Suppose -9 = -d - 2*t - 3*t, d + 4*t = 7. Let b = -3 + 2. Is d at most as big as b?
True
Let v be (-1)/4 - 378/(-1704). Which is smaller: v or -1?
-1
Suppose 2*i - 3 + 23 = 0. Let x = 11 - 21. Is x < i?
False
Suppose 0*l - 12 = -4*l. Suppose l*z = 2*z. Suppose -3*s + 2*s = 1. Which is bigger: s or z?
z
Let p = 83/44 + -7/11. Let q be (3/3)/(-1 + 2). Let n = -1 + q. Do p and n have the same value?
False
Let f(o) = o + 4. Let m be f(-7). Let b be (36/(-30))/(-3) + (-24)/10. Which is bigger: m or b?
b
Let i = -119 - -119. Is i less than or equal to -2/93?
False
Let x = 3.3 - -2.7. Is -6 greater than x?
False
Let q(d) = -d + 9. Let y be q(13). Let u = -3 - y. Which is smaller: -1 or u?
-1
Let s(v) = 2*v**2 - 6*v - 11. Let d be s(-2). Which is greater: 57/7 or d?
d
Suppose 2*p - 8 = 3*j, 0 = -5*j - 15 + 5. Suppose -2*r - 20 = -0*r. Which is smaller: r or p?
r
Let o be -1 + -1 + (21 - 1). Suppose 5*t + o = 3*l, 2*l - 2*t - 5 = 3. Is l less than or equal to -2/9?
False
Let i = 0 - -1. Let u = -0.5 - -0.5. Do u and i have different values?
True
Suppose 0 = 9*l + 137 + 70. Is -21 < l?
False
Suppose 7*t = 3*t - 8. Let f = 1 - 0. Let r = f + -1.1. Which is bigger: t or r?
r
Suppose -5*u = -u - 4. Which is smaller: u or 1/3?
1/3
Suppose x = -2*g - 5, 2*g + 0*x - 15 = 3*x. Let q = -390401/817765 - -6/12581. Let o = q + 2/5. Which is greater: g or o?
g
Let f be (-2)/7 + 1352/224. Which is smaller: 5 or f?
5
Suppose -4*n + 5*r + 56 = -2*n, 0 = 5*n - 4*r - 140. Suppose -n = -5*y + v, 0*v - 16 = -y - 5*v. Let q = y + -11/2. Is q > 0.3?
True
Let f = -1 - -3. Which is greater: 6 or f?
6
Let p be 1 + 2/(54/(-21)). Let k = p + -13/18. Which is greater: k or -1?
k
Let m = 22 + -21. Let d be (2 + (-17)/4)/(-3). Which is bigger: d or m?
m
Let w = -3.2 - -3. Let p = w - -0.1. Suppose -2*g + 7 = 3*x + 1, 4*g - 12 = 0. Which is smaller: p or x?
p
Let v = 2.3 - 1.3. Let f = 0.4 + 0.4. Which is smaller: v or f?
f
Suppose 3*u = -4*i + 12, 2*i = -0*u - u + 4. Let k = 4 + -5. Let t = -1 - k. Is i at most t?
True
Let r(d) be the second derivative of -d**5/20 + 7*d**4/6 + 7*d**3/3 + 9*d**2 + 9*d. Let t be r(15). Is t at least 15/8?
True
Suppose 2 = -5*g + 22. Suppose -g*b - 24 = -4*d, 5 = -5*d - 3*b - 5. Are d and 1 nonequal?
False
Let z = 0 - 3. Let w = -0.025 + 5.025. Let v = z + w. Is v != -1?
True
Suppose -t = t - 12. Suppose -v + 3*l + t = l, 3*v - 16 = 4*l. Let k be 1/(8/6 + -1). Which is bigger: k or v?
v
Let d be 17 - ((-3)/3)/(1 - 0). Which is smaller: 33/2 or d?
33/2
Let v = 7/13 - 118/195. Does -1 = v?
False
Let o = 6 - 2. Suppose 4*r - 8*r = 5*z - 8, 8 = 4*r + o*z. Is r < -1?
False
Suppose 5 = n - 6*n. Which is smaller: 4/27 or n?
n
Let r(a) be the second derivative of -a**4/12 + 3*a**3/2 - 2*a**2 + 2*a. Let z be r(8). Suppose z*b - 3 = 3*b. Is 3 less than or equal to b?
True
Let h = -0.12 - -0.02. Which is greater: 8 or h?
8
Let d = -2 - -4. Let l = 2 + d. Let w = -4.1 + l. Is -2 smaller than w?
True
Let u = -14 + 20. Which is bigger: 5 or u?
u
Let h(q) = -2*q - 1. Let v be h(-3). Let l(j) = -8*j**2 + 0*j**2 + 2*j**2 - j**3 + v - 5*j + j. Let o be l(-5). Which is greater: o or 2/9?
2/9
Let i = -0.08 - -0.19. Let f = -4.11 + i. Which is smaller: f or -1/3?
f
Let a = 0.2 - 1.2. Let x = -10 + 6. Let z = -3 - x. Is a > z?
False
Let g = 12 - 18. Let k be (-1)/((4/2)/g). Suppose k*u + 5 = -7. Is -3 not eq