uppose -4*p = -x - 16, 31 = 4*x + 4*p - p. Let y be 5 + 3/(-6)*x. Which is smaller: 4 or y?
y
Let i = -3.1 + 3. Let l = 0.3 - i. Let t = 0.6 - l. Is t greater than or equal to 4?
False
Suppose -34 - 22 = -7*h. Is 8 less than or equal to h?
True
Let n(y) = y**2 + 4*y - 2. Let x(q) = 5*q + 1. Let f be x(-1). Let m be n(f). Which is greater: 0 or m?
0
Suppose -2*b + 10 = -0*b. Let o(w) = w**3 - 4*w**2 - 6*w + 6. Let y be o(b). Let i be (-1 + y)/(-3) + 1. Is 2/3 equal to i?
False
Let r = -54/11 - -335/66. Suppose -3*u - 13 = -o - 8*u, o + 11 = u. Let s be o/5 - (-4)/10. Which is greater: s or r?
r
Let b = 2 - -7. Let w(p) = p - 7. Let m be w(b). Let q = m + -2. Are 0.1 and q equal?
False
Suppose y - 3*z - 4 = -2, 4*z + 8 = 4*y. Let a(i) = i**2 - 7*i + 1. Suppose 0 = -3*k - 4*j + 17, -1 - 1 = 2*j. Let d be a(k). Which is bigger: y or d?
y
Suppose -p + 2*t = 1, 3*p - 22 = -2*p + t. Suppose n - p + 0 = 0. Are 5 and n equal?
True
Let w = 64 - 64. Is w at least 1/15?
False
Let z be 8/(-36) - 256/(-18). Let a be z/(-30) - (-4)/6. Which is smaller: a or 1?
a
Let x = 2.6 - 3. Let j = x - -0.5. Which is greater: j or -2?
j
Suppose y = t + 9, -2*y = -5*t - 3*y - 69. Is t < -12?
True
Suppose -l + 6 = 5*f, 3*f - 2*l - 2*l = 22. Suppose -4 = 2*j + f*j. Is 3 at least as big as j?
True
Let z = 1.9 + 3.1. Let c = z + -5. Which is smaller: -2 or c?
-2
Let p = -160.392 - 0.638. Let i = p + 160. Let j = i + 0.03. Do 4 and j have different values?
True
Suppose -l + 3*z - 54 = 0, l = -5*z - 4 - 10. Let h be 6/8 - l/12. Which is greater: h or 3?
h
Let g(h) = h**3 - 8*h**2 + 6*h + 5. Let b be g(7). Let p = -249/448 - 1/64. Is b equal to p?
False
Let n = -8 - -17. Suppose 2*v = -2*b + 6, n = 5*b + 3*v - 2. Suppose -c + 4 = -5*j, 9*c + b = 4*c + 4*j. Which is bigger: c or 0?
0
Suppose -3*g + 2 = -1, -2*o - 2*g = 0. Is o greater than -3?
True
Let y = 4 - 3.7. Let r = 0.5 - y. Let j = -0.09 - -0.19. Which is bigger: r or j?
r
Suppose 5*k - 11 = -1. Let a = -2 + k. Let x be (-1)/30*(-20)/5. Which is greater: a or x?
x
Let k = 4 - 3.94. Let f = k + 0. Let c = f - 1.06. Is -6 < c?
True
Suppose -2 = -l - p + 1, -5*l + 2*p + 22 = 0. Let o be (1 - -1)*6/l. Let i(j) = j**3 - 3*j**2 + 2*j - 4. Let y be i(3). Which is smaller: o or y?
y
Let z = -101/217 + -1/93. Let n = z + 71/105. Which is smaller: n or 1?
n
Let u(o) = o**2 + 3*o - 5. Let i be u(7). Let b = 329/5 - i. Suppose 0 = z + 3*q - 13, 3*z - z - 18 = -4*q. Which is smaller: z or b?
b
Let h(g) = -g - 6. Let p be h(8). Let o = -13 - p. Which is greater: o or 3?
3
Suppose 2*h = 3*s + 47, -2*s - 58 = 8*h - 4*h. Let a = 17 + s. Which is bigger: -1 or a?
-1
Let n be 1/4 - (-126)/(-24). Let d = -7 - n. Let p = 3 - 5. Is p > d?
False
Let q(v) = -v**3 - 2*v**2 - v. Let t be q(-1). Is 3/31 bigger than t?
True
Let a be ((-1)/(-1))/((-3)/9). Let n be ((-1)/5)/(8/(-40)). Let d be 22/(-4) + n - -3. Is a at least as big as d?
False
Let o = 13 - 8. Suppose -5*s - 10 = -o. Let a = -2 - s. Which is greater: 2/17 or a?
2/17
Let d(z) = -z**2 - z + 16. Let o be d(3). Which is smaller: 7 or o?
o
Suppose -149*c = -142*c. Which is smaller: -85 or c?
-85
Let u(o) = -o**3 + 10*o**2 - 8*o - 3. Let r be u(9). Is r at least 6?
True
Let g = -3 + 2.6. Let d(r) = r - 4. Let q be -3 + (2 - 0) + 5. Let t be d(q). Which is bigger: g or t?
t
Let g be (1/2)/(4/96). Let h = g - 10. Which is greater: h or 0.1?
h
Let t(n) = -3 + 11*n - n**2 + n - 5*n. Suppose 6*l - 24 = 2*l. Let a be t(l). Are 3 and a equal?
True
Let v(p) = -p**3 + 7*p**2 - 6*p - 2. Let u be v(6). Let i be ((-4)/(-5))/(u/(-5)). Are i and 0 equal?
False
Let v be 0*(-2 - (-5)/2). Suppose v = -p - 3 + 7. Let l be (-6)/p + 4/8. Which is bigger: l or 1/9?
1/9
Let g = 0.6 + -2.6. Let c = -1.5 - g. Let b = c - 0.4. Which is smaller: 3 or b?
b
Let u = 5 - 8. Let k = u + 3.1. Which is greater: 0 or k?
k
Let r be 8/(-21) + (-6)/21. Which is greater: r or -16?
r
Let u(d) be the first derivative of 2 - 1/3*d**3 + 4*d + 2*d**2. Let a be u(5). Is a at least 1/3?
False
Let i = 15 + -23. Which is smaller: -26/3 or i?
-26/3
Let z(k) = k**2 + 11*k - 15. Let f be z(-12). Suppose 3*a - v = 7*a + 17, 4*v = 4*a + 32. Which is smaller: a or f?
a
Suppose 75 = 4*a - 37. Suppose a = 3*m + 4. Suppose -k + 3*t + m = k, k + 4*t = 4. Which is greater: k or 3?
k
Let a = -30 + 28.6. Is -2 less than a?
True
Let y be 6/(20/(-45)*6). Is -3 greater than y?
False
Suppose 4*q + 53 = -d, 28 - 2 = -3*q + 2*d. Let m be -2*8/q - 1. Let u = -0.8 + 6.8. Do u and m have the same value?
False
Let n = -4 - -7. Let h be (-20)/n*6/(-4). Let d be (-6)/h - (-2)/(-5). Are d and 0 equal?
False
Let m(x) = -x**2 - 2*x + 1. Let g be m(2). Do -7 and g have different values?
False
Suppose -4*q + 2*f = -q, 0 = -q + f. Let r(x) = x**2 + x - 3. Let a be r(q). Is a smaller than -4?
False
Suppose -7*j + 2*j + 2*k + 56 = 0, 5*j + 4*k = 38. Which is smaller: 9 or j?
9
Let q = 0.1 + 0.1. Let s = q - 0.3. Let a = -18.8 - -19. Which is bigger: a or s?
a
Let t = 19 - 18. Which is smaller: t or -16?
-16
Let i(o) = -o**3 - 5*o**2 - o. Let f be i(-5). Let y be 13/f - (-8)/20. Suppose y*u = 2*u. Is u less than 1?
True
Suppose -5*i = 4*g, 1 = -2*i - 2*g - 1. Let a be i/(-22) - (-784)/77. Which is smaller: a or 9?
9
Let b = 2 - -6. Suppose 4*y - b = 4. Is y >= 5?
False
Let f = -1 + -3. Let o = 6 + f. Let j = -3 + o. Is j > 1/4?
False
Let w(a) = -a**3 + 4*a**2 - 1. Let h be ((-4)/(-6))/(2/12). Let y be w(h). Suppose 0 = -5*i - 10, 0 = -3*k - 2*k + 2*i + 4. Which is bigger: y or k?
k
Let n = -2 - -4. Suppose 0 = 3*i - 2*f - f, -4*i + 2*f = n. Let l be (2/20)/((-2)/4). Which is smaller: i or l?
i
Let f be -1 - 5/(15/(-3)). Which is smaller: 0.03 or f?
f
Suppose t + 11 = -3*o, 3*o + 21 = 4*t + 5. Let y be (35/(-20))/(t/8). Which is greater: -15 or y?
y
Let z(p) = p + 2. Let a be z(-1). Is a at least as big as 3?
False
Suppose 1 = 2*w - 1. Let v be 22/(-4)*(1 + w). Let n = v + 8. Is n bigger than -2?
False
Let n(h) = -2*h**3 - h**2. Let p be n(-1). Is p equal to -2/33?
False
Suppose 4*h = -4*r + 92, -r + 2 = 5*h - 1. Which is smaller: r or 27?
27
Suppose -4*x + 5 + 27 = 0. Let a = x + -2. Which is smaller: 2 or a?
2
Let t be -2 - 3/((-54)/32). Let f = -31 - -215/7. Which is bigger: t or f?
t
Let q(f) = -f**3 + 4*f**2 + 6*f + 6. Let s be q(6). Let r = -471/2 - -207. Let b = s - r. Is b < -2?
False
Let v = 2.9 - -0.1. Let r = 4 - v. Is -9 bigger than r?
False
Suppose -4*z - 5 + 17 = 0. Suppose 0 = -q - z*q. Which is smaller: 1 or q?
q
Let y(m) = -m**3 - 4*m**2 + 5*m + 2. Let j be y(-5). Suppose 0*h = -j*h. Suppose -2*a + 3*a + 9 = 4*g, -4*a + 12 = h. Is g less than or equal to 3?
True
Suppose 2*o = 7*o - 30. Suppose 3*x - o = 4*l - 3, -5*x + 3*l = 6. Is -2 at least x?
True
Let p = -0.05 - 0.75. Let z = 0.7 + p. Which is smaller: 0 or z?
z
Let c = 31 + -4. Which is smaller: c or 26?
26
Let x be -3 + 2 + (3 - 1). Suppose k + x = -1. Which is bigger: k or 0?
0
Let x(j) = -j**2 - 2*j - 1. Let d be x(-2). Let q = -2.74 + -0.26. Are d and q nonequal?
True
Suppose 2*i + 4*r + 10 = 0, 4*i + 5*r + 15 + 8 = 0. Let h be (i + 8)/(2/2). Let m = 1 - 1. Which is smaller: h or m?
m
Suppose -3*v + 4 + 5 = -2*k, v - 3 = 3*k. Is k <= -1/14?
False
Let o = -13.4 - -14. Let z = o + 0.4. Is z < 0.01?
False
Let m = -3.2 - -3.3. Which is greater: m or 34?
34
Let h = -1 - -1.7. Let y be ((3 - 1) + -1)/1. Which is bigger: h or y?
y
Let t = 4.7 - 5. Let l = -25.7 - -27. Let b = t + l. Is -0.2 > b?
False
Let l be 1 - 1 - 35/7. Is l > -6?
True
Let n = -10 - -6. Let y be (-30)/n*(-120)/50. Is y < -19?
False
Let b be (-3)/(-3 - 171/(-60)). Suppose -3*z + b = 2*z. Is z less than -2?
False
Suppose -3*r + 7*r - 16 = 0, 12 = 4*w + r. Suppose -w*k - 5*q = -0*k + 32, 4*k - 5*q = -4. Let f be -3*((-16)/k - 2). Which is bigger: f or -1/3?
-1/3
Suppose 0 = 4*p - 12. Suppose 2*i - 5*x = -68, i - 2*x - 68 = p*i. Let n be 2/(-12) - i/(-84). Which is smaller: n or -1?
-1
Let n(r) be the third derivative of -r**6/120 - 3*r**5/20 - r**4/3 + r**3/6 + 2*r**2. Let i be n(-8). Which is smaller: i or 3?
i
Let v be ((-27)/21 - -1) + 440/364. Which is smaller: v or 1?
v
Let l = -4 - -2. Let j be ((-4)/(-10))/((-5)/25). Are l and j equal?
True
Suppose 2*y = 8, 16 = -4*f - 0*y + 4*y. Let z be f + (-5)/(10/(-126)). Let c = z + 