 5 - 5 - 4*s. Let n be x(-1). Suppose 0 = n*v - v + 3. Which is smaller: v or -2/13?
v
Let d = -8877/8 + 1111. Which is smaller: 1 or d?
1
Suppose 2*m = u + 7, -5*m - 4*u = -3*u. Is 6/13 at least m?
False
Let z(k) = k**2 - 2*k + 6. Let c be z(6). Let j be 20/(-6)*c/(-25). Let s = 6 - j. Is 2 < s?
False
Suppose 3*p = -d + 22, p = -2*p + 5*d - 2. Let a = 1 - -1. Suppose 0 = -a*y - 0*o - 5*o, -y - o = -3. Which is greater: y or p?
p
Suppose -20 = 4*p, -5*t + p + 13 = -t. Suppose 5*m - 17 = -2*n, 2*m - 2*n - 2 = t*n. Are m and 3 unequal?
False
Suppose 4*c = 2*x + x - 31, -3*c + 8 = 4*x. Let w = 3 - x. Let a = w - -3. Which is bigger: a or 4?
4
Let p(s) = 15*s**2 - 18*s - 23. Let w(l) = 7*l**2 - 9*l - 11. Let r(f) = 6*p(f) - 13*w(f). Let j be r(9). Which is greater: j or -1/3?
j
Let l(k) = k - 2*k + 3 + 1 + 1. Let v be l(3). Suppose -4*d + 14 = v. Are 2 and d nonequal?
True
Let x be (17 + -16)*(-1 + 6). Suppose -x = 4*n + 11. Which is bigger: n or -5/2?
-5/2
Let x(t) = -t**2 + t + 7. Let d be x(0). Let f = -9 + d. Suppose 3*j - 3 + 9 = 0. Is f at most as big as j?
True
Let k be 0 + -1 - 10/(-12). Let x(j) = -j**2 + 10*j - 4. Let r be x(9). Suppose -3*d = -q - 3, -d + 3*q + 1 = r*q. Which is bigger: k or d?
d
Let r be (-224)/264 + (-2)/(-11). Suppose 3 = 3*j + w + 2, 8 = -j - 2*w. Let v be 1 - j/(-3)*-3. Which is bigger: v or r?
r
Let d(n) = n**2 + 3. Suppose -4*i + 5*o + 16 = 0, 2*o + 3*o - 16 = -4*i. Suppose 0*a - i*a = 0. Let v be d(a). Which is greater: 2 or v?
v
Let l(x) = x**3 - 6*x**2 + 5*x + 3. Let f be l(5). Are 3 and f unequal?
False
Suppose 3*h = 7 + 5. Suppose 3*n = -5 - h. Which is bigger: -5 or n?
n
Let i = 58 + -60. Is i at least 12?
False
Suppose 3*a - 5 = 37. Is 16 equal to a?
False
Let c = -34 - 14. Is -48 smaller than c?
False
Let h(k) be the third derivative of 0*k - 3*k**2 - 13/6*k**3 + 0 - 1/24*k**4. Let o be h(-12). Are -1/14 and o nonequal?
True
Let r = 1.04 - 17.04. Is r >= -1?
False
Let d be (-2)/(-3)*(-24)/16. Is -1/23 <= d?
False
Let y = 2 - 2. Let s be -1 + y*3/(-9). Is s greater than 2/27?
False
Let m be 36/(-54)*1/(-6). Which is greater: 6 or m?
6
Suppose 5 - 41 = 3*w. Which is smaller: w or -10?
w
Let d = 6/1561 - -181058/4683. Let x = d - 39. Suppose -9*y = -10*y - 1. Which is greater: x or y?
x
Let z be (-664)/10*(-80)/(-72). Let f = z - -7484/99. Let y = 133/55 - f. Which is smaller: 0 or y?
0
Let m = 1 + 5. Suppose m + 14 = -4*x. Let o = -0.3 + 1.3. Which is smaller: x or o?
x
Let m be -3 + (-5)/((-625)/370). Which is smaller: m or 1?
m
Let x = 46 + -133. Let o be x/(-21) - 3/1. Which is smaller: 2 or o?
o
Let z be (-4*2/12)/(6/45). Which is smaller: z or -8?
-8
Let h be (2/8*-2)/((-3)/(-2)). Let b = -1 - -2. Which is bigger: h or b?
b
Let n = 1 + -5. Let y = 5 + n. Let x be (y/(-2))/(15/20). Which is smaller: x or -1?
-1
Suppose 4*n + 4 + 4 = 0. Let b be n - (24/9)/(-2). Let t be (-1 - -1)/(-1 + 0). Is b > t?
False
Let w(q) = -q**3 + 4*q**2 - 3*q - 4. Suppose -30 = -2*h - 12. Suppose -2*x + h = 3*d, -2 + 1 = -2*x + 5*d. Let c be w(x). Which is greater: c or -3?
-3
Let r(j) = -j - 6. Let p = 48 + -34. Let d = p + -21. Let h be r(d). Does h = 1?
True
Let z be -1 + -1 + 84/35. Let n be (5/(-15))/(2/6). Which is bigger: z or n?
z
Let l(s) = 2*s + 4. Let y be l(-4). Let k be (y + 5)/((-1)/6). Let g be (-5 - -15)*(-1)/k. Is 3 >= g?
True
Suppose 0 = -5*a - 5 - 5. Let f be 12/8*a/(-9). Is 4 < f?
False
Suppose -83 = -2*q + 3*d, -3*q = d - 151 - 1. Which is greater: q or 48?
q
Let w(a) = -a - 2. Let l be w(0). Let b(s) = s**2 + 10*s - 42. Let g be b(-13). Is l > g?
True
Let r be (1/(-5))/((-2)/10). Is r less than 2/37?
False
Suppose r - 14 = l + 5*r, 2*l = 4*r + 8. Let n = 1 + -1. Which is greater: l or n?
n
Let y = 0.1 - -0.06. Let k = -0.3 + y. Which is bigger: -1 or k?
k
Let m(q) = q**2 - 4*q + 4. Let a be m(3). Let t = -6 + 6. Suppose 4*i + i = t. Do a and i have different values?
True
Let o be (-3 + 14/4)*0. Suppose 4*i - 5*y - 29 = 0, -4*i - 4*y = 16 - o. Are 2 and i non-equal?
True
Let f be -9*(52/(-12) + 1). Which is smaller: -1 or f?
-1
Let o(p) = -p**3 - 10*p**2 - 18*p - 8. Let t be o(-8). Does 8 = t?
True
Suppose 2*t + 6 = 2*b, -2*b + t = 5*t - 30. Suppose -10 = 5*f, b = 4*g + f + 5. Let z be (-12)/(-8) - (2 - g). Which is greater: 1 or z?
1
Suppose 3*w = 2*w + 1. Let k(i) = -i + 1. Let n be k(w). Let o = 3 - 3. Is n at most as big as o?
True
Let m be -5*(2 - (2 - 1)). Let p = -5 - m. Let j = p - 1. Is 0 at least j?
True
Let m = -7 - -9. Which is greater: 0.4 or m?
m
Let v(x) = -x - 1. Let b be v(1). Let o(w) = -w**3 - 3*w**2 + 4*w. Let k be o(-4). Suppose k + 3 = -3*c + 4*f, c - f = -1. Which is bigger: b or c?
c
Let s be (-1)/(-3) - (-20)/12. Let j(p) = p - 3. Let v be j(3). Let t be v + 1 + s/(-2). Which is smaller: t or -1/2?
-1/2
Let q = 20.76 + -20. Let r = q - 0.7. Let n = -0.06 + r. Do -2/5 and n have the same value?
False
Suppose 8 + 4 = 3*v. Suppose -u = -3*u + v. Which is bigger: 1 or u?
u
Let d be 34/(-8) - 1/(-4). Let v = -1 - d. Suppose 0 = -2*q + 3*k + 4, -v*q = -4*k - 4. Which is smaller: -3 or q?
q
Suppose -5*p = -0*p - 10. Suppose 4*z + 4 = -4*a, 0*a - p*a + 2 = 3*z. Let h be (-1)/1 - 6/a. Which is smaller: h or 0?
0
Let n be (-26)/(-7) + -3 + -1. Which is smaller: 4 or n?
n
Let w be 332/36 - (-4)/(-18). Let b = -8 + w. Which is greater: 2/35 or b?
b
Let s = 9 + -26. Let o = s - -25. Let w = o - 8. Is w >= 0.02?
False
Suppose 5*b - 4 = 2*g, -39 = -4*b - 5*g - 16. Suppose 2*j - 6 = b. Is 4 at most as big as j?
True
Let i be 1*-1 + (-1)/(-4). Let q(a) = a**2 - 7*a + 4. Let s be q(6). Are s and i non-equal?
True
Let r be 1060/(-120) + 2/(-12). Is r less than -9?
False
Let g = -224 - -66. Let d = g + 629/4. Is -0.1 >= d?
True
Let p = 4.46 - 0.46. Let n = 298/5 - 60. Let f = 0 + n. Is f less than p?
True
Suppose 4 = 3*q - 5*q - 3*c, 8 = -4*q + 4*c. Which is smaller: 0 or q?
q
Let w = -0.4 - 3.4. Let t = w + 1.8. Is 0 smaller than t?
False
Let k(s) = 0 + 3*s**3 - 2*s**3 - s**2 + 0*s**3 - 1. Let z be k(0). Let r be (1/(-2))/(-3 - 0). Which is bigger: z or r?
r
Let s = -0.4 + 11.5. Let w = 11 - s. Are w and -14 unequal?
True
Suppose 3*k - 5*w = 4*k - 9, -2*k - 7 = 5*w. Is -15 bigger than k?
True
Let f(h) = h**2 + 3*h + 2. Let g be f(-2). Let w be (1 - 5) + (g - 1). Let a = -905.1 + 905. Which is smaller: w or a?
w
Let b = -46.6 + 46. Do 0 and b have the same value?
False
Let v = -153552/83 + 1850. Which is bigger: v or 0?
0
Suppose -6*g + 5 = -g. Let k = -25413677/3725145 + -2/82781. Let v = -33/5 - k. Are g and v unequal?
True
Let g be (-2 + 10)*(-3)/(-6). Is g < 4?
False
Let a = 1 + -1. Let s = -0.185 + 0.275. Is a greater than or equal to s?
False
Let u = -0.6 - -0.9. Let m = 0.3 - u. Let z be ((-9)/6)/1 + 1. Which is smaller: m or z?
z
Suppose -u = -h, -6*u = -2*u - 5*h - 1. Let s be -1 + 2 - (u - 5). Let t = 41/6 - s. Is t less than -1?
False
Let l = -4 - -7. Let h = 15 - 11. Which is greater: l or h?
h
Let a = 67/14 + -9/2. Let v = 7.04 - 7. Let z = v + 0.26. Do z and a have the same value?
False
Suppose 243 = -4*b - 177. Let y = 947/9 + b. Is y at least as big as -8?
True
Let k be 1/(2/(-4)*12/(-6)). Let u be 31/(-58) - 3/(-6). Is u < k?
True
Let m be -1 + (-27)/(-69) + 1. Let v = -131/276 + m. Which is smaller: 1 or v?
v
Let j(q) = -48*q**3 - q**2 + q. Let i be j(1). Let v = 91/2 + i. Let u = v - -3. Is 0 greater than or equal to u?
False
Let j = -30 + 35. Which is bigger: 3 or j?
j
Let t be -1 + 0/2 + 0. Let b = -75/4 + 19. Which is bigger: t or b?
b
Suppose -j - 2 = -2*j. Suppose 2*s + 7*f - 46 = 3*f, -4*f - 32 = -4*s. Suppose -4*o + 3 = -s. Which is bigger: o or j?
o
Suppose n = -2*n. Suppose 8*k - 10*k - 6 = n. Let v = -1322/45 - -250/9. Are k and v equal?
False
Let p = 0.05 - -0.35. Let b = -11 - -10.9. Is p at most as big as b?
False
Let j = -1 - -3. Let u = -0.3 - 0.2. Let y = -0.4 - u. Is j > y?
True
Suppose -7*d = -3*d - 40. Let b(k) = -2*k**2 - k + 2. Let p be b(0). Let i be -1 - (p/d)/(-1). Which is smaller: i or 0?
i
Let y = -0.82 - -0.76. Which is smaller: -0.02 or y?
y
Suppose 0 = -n + 6 - 7. Is n smaller than -2?
False
Suppose 2*y + 3*f - 2 = 0, -2*f + 12 = -3*y - y. Which is bigger: 0.4 or y?
0.4
Suppose 3*h + 4*w + 14 = 3, -h - 4*w + 7 = 0. Let q be ((-3)/(9/6))/h. Let b =