 + -0.3. Let f(r) = -r - 8. Let n be f(-5). Which is smaller: z or n?
n
Let z = -100 - -100.1. Let y = -0.5 - 1.5. Which is bigger: z or y?
z
Let v = 8 + -4. Let w(d) = d + 7. Let n be w(-2). Which is smaller: v or n?
v
Let x be 3*(-1 + 14/6). Let q be ((-5)/(-2))/((-2)/(-4)). Suppose -x = -q*s + s. Is s smaller than -3?
False
Let b = 4 - 9. Is -5 at most b?
True
Suppose 0 = 5*r + 8 + 7. Suppose -5*l = 2*t + 3, -2*l = -2*t + 3*l - 13. Is t greater than r?
False
Let i = -3 - -2.8. Which is smaller: 0 or i?
i
Let z = 0 - 0.12. Let s = -0.02 - z. Is 0.3 at most as big as s?
False
Let n = -90 + 55. Is n > -35?
False
Suppose 4*c - 5*p = 11, -4*p - 11 - 1 = 0. Is -4/11 at most as big as c?
False
Let h be (-16)/(-140)*10/4. Let k be 6/(-14) - 0/(-1). Which is smaller: h or k?
k
Suppose -2*t = -5 - 7. Suppose 2*r + 4 = t. Let x be (5 + -4)*2/(-8). Is r at most x?
False
Let s be (2*1/(-29))/1. Let l be 3/(-5) - -1*(-9)/(-15). Which is smaller: l or s?
s
Let s = 0 + 6. Let m be 3 + (s - 0/3). Is m at most as big as 9?
True
Let a = -6 - -1. Let i = -2 - a. Suppose -2*c + 5*c = 5*u - 5, 2*u = -i*c - 19. Which is smaller: c or -4?
c
Suppose -6*r + 10 = -4*r. Suppose 5*p + 28 = m, -3*m - 6 = r*p + 10. Let g be -2 + 1 + p/(-4). Which is bigger: -2/7 or g?
g
Let w(y) be the third derivative of -y**4/24 + 7*y**3/6 + 2*y**2. Let i be w(7). Which is bigger: i or -2/9?
i
Let n = 115113/5 + -22948. Let i = -75 + n. Let q = 5 + -5. Do i and q have different values?
True
Let j = 203 - 206. Let w be -1 + (2 - 0)/2. Is w != j?
True
Let j = -7 - -6. Let i = j + 3. Suppose i = -y - 1. Is -1 < y?
False
Suppose o = 2, -3*l + 5 = -2*o - 0. Which is smaller: l or -5?
-5
Let j(g) = 2*g**2 - 3*g + 2. Let h be j(2). Suppose n + 2*p = 8, 0 = 5*n + 3*p - 15 - h. Suppose 2*y - 6 = -n*q, y - 2*q = -y - 6. Is y equal to 0?
True
Let k(c) = -1. Let j(y) = 2*y + 2. Let b(u) = j(u) + 3*k(u). Let p be b(2). Suppose p*f = -4*h - 3, 4*h - 7*f - 1 = -6*f. Are h and -2 unequal?
True
Let g be 8/(-10) - 5/25. Is -2 != g?
True
Suppose k + 4*k = 90. Suppose 5*y - k = f, -2*y = 2*y + 4*f. Let v be -2 - 3/(y/(-5)). Does v = 3/2?
False
Let d be -3 - (1 - (2 + 10)). Suppose 4 - d = -4*p. Which is greater: p or 1/3?
p
Let s be (-70)/(-72) - (-2 + 60/27). Which is bigger: s or 1?
1
Let i(x) = x**3 - 9*x**2 + 9*x + 6. Let s be i(8). Let b = s + -13. Does b = 2?
False
Let o = -22/15 - -9/5. Does o = -28?
False
Suppose 26 = j - 3*w + 5*w, 4*w + 164 = 4*j. Which is smaller: j or 38?
j
Let c be 0/5 + (1 - -1). Suppose c*m + 3*f - 14 = 7, -f = -5. Let z be (2/m)/(15/(-9)). Is 1 > z?
True
Suppose 3*c - 2 = -h, -22 = c + 5*h - 4. Suppose 5*f - 54 = -9. Suppose 0 = -w - 2*w + f. Does w = c?
False
Let p = -110 + 97. Are -13 and p non-equal?
False
Let w = 2/101 + 501/202. Which is bigger: w or 2/5?
w
Let m = 499/3 + -30448/183. Which is greater: 0 or m?
0
Let j be 1/51*(5 - 2). Is j at most 0?
False
Let q be -3 + -2*20/(-8). Let d = -1 - q. Is -2 less than or equal to d?
False
Let q = 0 - -6. Suppose 3*i + i = 3*y - 51, 3*y = -i + q. Which is smaller: -7 or i?
i
Let b be ((4 - 4) + 0)/(-2). Are -2/295 and b equal?
False
Let p = 1 - 4. Suppose -3 = -4*a - 11. Do a and p have different values?
True
Let p = -0.1 + 0.14. Let b = -0.04 + p. Is b smaller than 1?
True
Suppose 9*m = 7*m + 28. Let t be m/((-3 - -1)*1). Does -6 = t?
False
Let q be (-237)/(-12) - 9/12. Suppose -4*k = -9 - q. Which is greater: k or -0.1?
k
Let k = -1 - 2. Let r be (-3)/(-9) + 0/k. Do -1 and r have the same value?
False
Let b = -3381/995 - 2/995. Which is smaller: -3 or b?
b
Suppose -5 = -3*v + 13. Let o be -1 + (-2)/(3 - 1). Let i be v/(-2)*o/6. Which is smaller: 2 or i?
i
Let n = -1 - -28. Suppose -5*w = -2*y + 25, 4*w + n = 2*y + w. Let v be 1 - (18/y - -1). Which is bigger: -1 or v?
-1
Let c = -32 + 66. Is 1 at most c?
True
Suppose 2*f = -f + 9. Let b = f - 6. Let x(z) = z**2 + 2*z - 4. Let m be x(b). Is -1/2 equal to m?
False
Let o be ((-4)/(-12))/(2/6). Let i = -1 + o. Let z = 8 + -6. Which is greater: i or z?
z
Let f = -12.19 - -0.19. Let w = f - -8. Which is bigger: -1/3 or w?
-1/3
Let m be ((-2)/(-6))/(1/18). Suppose -m + 10 = -4*y. Let q be (3 - 3)/((-1)/y). Which is smaller: -2/9 or q?
-2/9
Let n = -0.7 - -0.84. Which is smaller: 1 or n?
n
Let k = 0 + 5. Let s be (4/5)/(k + -6). Is -2 at least as big as s?
False
Let q = -3 - 0. Let a be (-1 - -1)*q/6. Suppose 2*j + 4*t - 4 = 0, 4*j + a = -5*t + 8. Does j = 2?
True
Suppose 3*p + 2*y = y + 2, -2 = 2*p + 4*y. Let l be (1 + -3)*p/6. Let o be ((-4)/(-100))/(4/20). Is l at least as big as o?
False
Let g(f) = f + 8. Let z(q) = -q - 7. Let m(w) = 6*g(w) + 7*z(w). Let k be m(5). Is -19/3 less than or equal to k?
True
Suppose -r + 2 = -3. Suppose -r*m - 16 = 14. Which is greater: -4 or m?
-4
Let d be 1/3 + 5/((-60)/16). Let c be ((-16)/(-204))/(4/6). Which is smaller: c or d?
d
Let y = -42 - -55. Let v = -3 - -6. Suppose -3*r + 3*m - v = 0, 4*m = r - 6*r + y. Which is greater: -0.04 or r?
r
Let v = 36.2 - 36. Which is smaller: 11 or v?
v
Let i(t) = t**2 + 16*t - 16. Let o be i(-17). Is 2/17 at most as big as o?
True
Suppose -8*x - 13*x = -18*x. Let i = 1/3 - 5/6. Which is smaller: x or i?
i
Let p(v) = -v**3 + 4*v**2 - 3*v + 2. Let y be p(2). Suppose -5*j - 8 = -3*i + 7*i, 2*i = j + 10. Let u be 2 - y - j/3. Is u > 0?
False
Let k = -5.2 + 7.12. Let v = k - -0.08. Which is smaller: -0.1 or v?
-0.1
Let v = -28901993/171780 - -2/42945. Let o(n) = n + 169. Let t be o(0). Let z = t + v. Which is greater: z or 2?
2
Suppose 4*z + 1 = -2*s - 27, -2*s + 2*z - 16 = 0. Which is smaller: s or -9?
s
Suppose 0 = m - 2*u + 11, -4*m - 2*u - 5 = 3*u. Let o(n) = -1 - n + 0*n + 1 - 6. Let b be o(m). Which is greater: -2 or b?
b
Let j = -11 + 11. Let y = j - 2. Which is smaller: -1 or y?
y
Let c(q) = q**2 + q + 1. Let k be c(-1). Let j = -2 - -6. Is j != k?
True
Let l = -436/2043 - 2/227. Let d be 12/(-5) - (-2)/5. Let z = 3 + d. Which is bigger: l or z?
z
Let p be 1/(-3) - (692/(-78) + 8). Is p equal to 2?
False
Let c(b) be the first derivative of 1/3*b**3 - 1/2*b**2 + 1 + 2*b. Let w be c(0). Do w and 2 have the same value?
True
Let x = -14.975 + -0.025. Which is bigger: x or -0.2?
-0.2
Let y be 40/(-220) + (-30)/(-44). Which is smaller: 3 or y?
y
Let f be 7/10 - (13 + -12). Which is smaller: f or -1?
-1
Suppose -2*v - 1 + 3 = 0. Let g(y) = y - 1. Let a(n) = -4*n + 5. Let i(m) = -a(m) - 5*g(m). Let k be i(v). Is k greater than 0?
False
Let q be 6/27 - 3/15. Let f = -137/495 + q. Let h = 4/33 + f. Is 0 equal to h?
False
Let f = 517243/6435 + -3143/39. Let r = f - 2/165. Are 1 and r nonequal?
True
Let u(j) = -j**2 - 3*j + 3. Let v be u(2). Let o = v + 6. Is -1 at least as big as o?
True
Suppose 3*n = 5*o - 9, -6 = 3*o - 5*o. Suppose 0*p + 2*q = 2*p - 20, -n*q = 4*p - 40. Suppose -6*k + k - p = 0. Which is smaller: k or 0?
k
Let r = 3 - 9. Let o be (-1)/(-2 + 132/68). Suppose -2*h + 7 = o. Which is smaller: r or h?
r
Let c(y) = 3*y + 3. Let z(b) = -2*b - 2. Let m(q) = -3*c(q) - 4*z(q). Let x be m(4). Which is smaller: x or -3?
x
Let s = -45 + 407/9. Suppose -4*w = -2*w - 4. Suppose z = -b - 2*b - 5, 4*z = -w*b - 20. Is b smaller than s?
True
Let f be 6/(-36) - 106/12. Let t = -9 - f. Which is smaller: -1/6 or t?
-1/6
Let c = 11 - 6. Suppose 2*o + l = -c, -5*o - 5*l + 0*l = 0. Let b = 10 + o. Which is bigger: b or 4?
b
Let i = -466/3 - -153. Suppose -z + 12 = 3*o, -o = 4*z + 4*o - 13. Is i > z?
True
Let s = 15 - 3. Let k = s + -11. Is 1/3 equal to k?
False
Suppose 0 = -3*k - 5*x - 39, 0*x + 18 = -3*k + 2*x. Let i = -8 - 0. Is k less than i?
False
Let h = 3.8 + -3. Let w = 1.8 - h. Is w at least as big as -0.4?
True
Suppose -3*h + 1 = f, -1 + 0 = -f - h. Let n be (-5)/(-2 - -3 - 2). Which is greater: f or n?
n
Let m be (-1 - -3) + (-4)/(-1). Suppose 3*p = -0 + m. Suppose -4*w - p = -2*n, -n - 2*n = 3*w + 6. Which is bigger: n or 1?
1
Let g(p) = 4*p. Let n be g(2). Suppose 0 = -x + 5*x + n. Let z(m) = -m**3 + 8*m**2 - 8*m + 4. Let h be z(7). Which is smaller: h or x?
h
Let c be (-70)/(-9) + (-4)/(-18). Is c <= 8?
True
Let h = -5.16 - 1.74. Let f = 0.13 - 7.13. Let o = f - h. Is o less than 2/3?
True
Suppose s - 20 = 6*s, 0 = 3*a - 5*s - 23. Let p be -2 + 0/(-2) + 2. Which is greater: a or p?
a
Suppose -16*f + 