= -x**2 - x + 4. Let o be l(0). Suppose -2*g + 0 = o. Is 8*(g + (-22)/(-8)) a multiple of 4?
False
Suppose 32 = g - 57. Is g a multiple of 36?
False
Let i(w) = w**3 - 5*w**2 - 10*w + 8. Let m be i(6). Let u = 48 + m. Is 16 a factor of u?
True
Let l(f) = -11*f - 12. Let r be l(6). Let i = 141 + r. Does 21 divide i?
True
Let f = 25 + -1. Is f a multiple of 6?
True
Suppose 0 = -5*i + 3*s - 105, -2*s - 105 = 5*i - 6*s. Let j = 40 + i. Is 19 a factor of j?
True
Let t = -71 + 239. Is 42 a factor of t?
True
Let k(x) = 30*x**3 - 3*x + 7. Does 9 divide k(2)?
False
Let c(m) = -3*m + 6. Let p be c(-5). Let j = 3 + p. Suppose 0 = 4*q - 0*q - j. Is q a multiple of 4?
False
Let z(s) = -s**3 - 3*s**2 + 4*s + 4. Let g be z(-3). Let i(v) = -2*v. Does 16 divide i(g)?
True
Suppose -3*p + 29 = -67. Suppose -2*n - 5*q = -32, -3*q - p = n - 3*n. Is n a multiple of 8?
True
Suppose 4 - 13 = -3*d. Let a = d - -12. Is 7 a factor of a?
False
Let g(n) = 41*n + 4. Is 6 a factor of g(4)?
True
Suppose 60 = -4*c + 9*c. Suppose 0 = l - 5, -c = -3*d + 2*l + 17. Does 13 divide d?
True
Let p be (-2 - -2)/(-1 + 3). Suppose 4*s - 2*l = -0*l + 90, 2*s + l - 39 = p. Is s a multiple of 7?
True
Suppose 2*l - 96 = 3*t - t, -l + 3*t + 44 = 0. Suppose -12*n = -7*n - l. Does 5 divide n?
True
Let t(o) = -o**2 - 5*o + 1. Let b be t(-5). Suppose 0 = 4*v - x + 4, -b = -v + x - 5. Suppose v*j + 2*j = 78. Is 16 a factor of j?
False
Let y(z) = 12*z + z + 17 - 2*z**2 - 6*z + 3*z**2. Is 7 a factor of y(-7)?
False
Let y(x) = -6*x - 4. Let d be 3/(6/(-8)) + 1. Is y(d) a multiple of 7?
True
Suppose 0 = -3*q - 19 + 133. Is q a multiple of 19?
True
Is (90/(-2))/((-14)/42) a multiple of 27?
True
Let q = 105 - 54. Is 3 a factor of q?
True
Let z(d) = 6*d + 8. Let s(p) = p**3 + 6*p**2 - 11*p - 17. Let h be s(-7). Is 36 a factor of z(h)?
False
Is (1/(0 - -1))/(5/145) a multiple of 6?
False
Suppose 0 = 11*a - 6*a - 2120. Is a a multiple of 53?
True
Does 31 divide (-3)/18 - (-373)/6?
True
Suppose 0 = x + 26 - 56. Let c be 1/2*(0 + 0). Suppose -x + c = -d. Is 15 a factor of d?
True
Is 15 a factor of (1/(-2))/((-2)/112)?
False
Suppose 5*c + 2 - 7 = 0. Suppose 0 = g - 16 + c. Does 15 divide g?
True
Suppose -5*f + 12 = -8. Suppose 0 = -3*j - 4*i + 42, f*j - i - 43 = -2*i. Does 7 divide j?
False
Suppose -3*j + 3*n = 3, -2*j - 3*j - 9 = -3*n. Is 9 a factor of (-2)/j*(1 - -26)?
True
Suppose -6*f + 20 = -2*f. Suppose -5*p + 456 = m, f*p = 6*m - 3*m + 452. Suppose -3 = 2*a - p. Is 22 a factor of a?
True
Suppose -8*o = -9*o + 32. Let l = 56 - o. Is 12 a factor of l?
True
Is 30/((-12)/(-8) - 2/4) a multiple of 13?
False
Let m = -138 + 423. Suppose 7*a + m = 12*a. Does 27 divide a?
False
Let v be (-2)/3*9/(-1). Let r = v - -6. Does 4 divide r?
True
Suppose 5*f - 5 - 5 = 0. Suppose a = -f*r + 8, r = -3*a + 2*r + 31. Is 4 a factor of a?
False
Suppose 37 + 69 = u. Does 17 divide u?
False
Let f be -1 - (0 - 2 - 20). Let u = -15 + f. Does 6 divide u?
True
Let c be 2/(-9) + (-5635)/(-45). Suppose 2*g = -4*o + 94, -2*g - c = -5*o - 12. Is 9 a factor of o?
False
Suppose 0 = -5*i + 3*i + 2*b, -8 = -4*b. Is 25 a factor of -50*i*(-4)/16?
True
Let n(y) be the first derivative of -y**4/8 + y**3/6 + y**2/2 - 2. Let i(a) be the second derivative of n(a). Does 8 divide i(-5)?
True
Suppose -3*n + 0*n = 12, 4*d - 136 = -2*n. Is d a multiple of 9?
True
Let o(f) = -42*f - 28. Is 31 a factor of o(-6)?
False
Is (-4 + (-164)/(-8))*(2 - 0) a multiple of 3?
True
Let s be (3/2)/((-1)/(-2)). Let g = 0 + s. Suppose 6*v - g*v = 18. Does 4 divide v?
False
Let u(m) = m**2 + 8*m - 3. Let g(r) = -2*r - 3. Let v be g(4). Does 10 divide u(v)?
True
Let x(h) = -h + 7. Let n be x(4). Let y(m) = 3*m**2 + m + 1. Is 19 a factor of y(n)?
False
Suppose -7*o + 2*o = 25. Let v(h) = -14*h - 10. Is 20 a factor of v(o)?
True
Let n(y) = -6*y + 1. Suppose -5*w - 4*g = 47, -3*w + 5 - 41 = 5*g. Let b be n(w). Suppose 5*x + 101 = 2*a, a + 0*a + 5*x = b. Is 24 a factor of a?
True
Suppose -4*i + 10 = 2. Suppose 0 = -i*u - 0*u + 58. Does 14 divide u?
False
Let g(j) = j**3 + 3*j**2 - 3*j. Let i be (-3)/(-1) - 6/2. Let o = i + -3. Does 9 divide g(o)?
True
Let j = -100 + 70. Let s = j - -50. Is s a multiple of 4?
True
Is 6 a factor of 10/(-4)*(-1804)/110?
False
Let m(h) = 10*h**3 - h**2 - 2*h - 1. Let v be m(-1). Is 1 + -1*v/2 a multiple of 6?
True
Let q(x) = x**2 - 6*x - 49. Does 6 divide q(11)?
True
Is 28/3 + 6/9*1 a multiple of 10?
True
Let x be (-1)/2 + (-73)/(-2). Let m = x - 18. Does 11 divide m?
False
Let b(x) = -2*x**3 - x**2 + 6*x + 2. Let f be b(-4). Suppose 0 = -3*o - 0*o + f. Does 15 divide o?
True
Suppose 49 = 3*i - 17. Is i a multiple of 19?
False
Let m = 39 - 23. Is 6 a factor of m?
False
Suppose 0 = 5*s - 9 + 49. Let c(j) = j**2 + 6*j. Is 6 a factor of c(s)?
False
Let u(y) be the first derivative of y**4/4 - y**3/3 + 13*y - 4. Is 5 a factor of u(0)?
False
Let y = -51 + 33. Let b = y + 35. Does 9 divide b?
False
Let j = -36 + 50. Let k = j - -22. Is 12 a factor of k?
True
Is 14 a factor of 42/(0 + (4 - 3))?
True
Let c = 3 - 3. Suppose -4 = -2*u - c*u. Suppose 14 = 4*w + a - u, 3*w = 4*a + 31. Is 4 a factor of w?
False
Let j be (6 - 2)*(-2)/4. Is 14 a factor of -2*(49/(-2) + j)?
False
Let y = -15 + 11. Let g = y + 6. Suppose g*x - 6 = 62. Is 17 a factor of x?
True
Suppose 3*p - 3*g - 67 = p, 72 = 3*p + 5*g. Is p a multiple of 9?
False
Let b = 130 + -66. Suppose -4*j - j + b = -4*d, -3*j = -d - 44. Suppose -36 - j = -2*h. Is 13 a factor of h?
True
Let i(p) be the second derivative of p**3/6 + 7*p**2/2 - 4*p. Let t be i(5). Suppose r = 4*r - t. Is 4 a factor of r?
True
Let z(x) = -5*x + 13. Is 36 a factor of z(-19)?
True
Let h(m) = m**2 - m. Let d be 2/4*(1 + -1). Let f be h(d). Suppose -4*q + q + 12 = f. Is q a multiple of 3?
False
Suppose -26 = -6*q + 4*q. Let y = q + 1. Does 14 divide y?
True
Suppose 0 = -5*b + b - 32. Let u = b + 11. Is 1/(u/(-90)*-2) a multiple of 15?
True
Does 16 divide -3 + 2 - (-48 + 1)?
False
Suppose -111 + 16 = -5*p. Does 19 divide p?
True
Suppose 2*m = 4*v + 24, -1 + 0 = v + 2*m. Let h = v - -16. Is h a multiple of 9?
False
Suppose 2*q = -4*t + 20, -17 = -5*q - 3*t + 4*t. Does 16 divide q/18 + (-6020)/(-126)?
True
Let r be (-15)/(-2) - 2/(-4). Suppose q - r = -q. Suppose 0 = q*n + 4, -a - 5*n - 9 = -32. Does 14 divide a?
True
Let j be (-371)/(-28) + 1/(-4). Suppose 8 = -2*q + 2, 0 = -5*l - 4*q + j. Suppose l*p + 1 = -24, 0 = 2*f - 2*p - 34. Does 5 divide f?
False
Suppose -5*x + x = -304. Suppose 2*q = -0*q + x. Is 17 a factor of q?
False
Suppose u - 1 = j, 2*j = -u + 6 + 4. Let i = 0 + u. Suppose i*g - 70 = -g. Is g a multiple of 5?
False
Let i(p) = p**2 - p - 3. Let q be i(3). Suppose -3*n - g + 27 = -11, -q*g = -15. Does 11 divide n?
True
Let g = 4 + 8. Let i = g - -1. Does 13 divide i?
True
Let j(l) = 47*l. Is j(2) a multiple of 23?
False
Let s(c) be the first derivative of -c**4/4 - 5*c**3/3 + 3*c**2/2 - 7*c - 2. Suppose -1 = 4*u + 23. Does 10 divide s(u)?
False
Let t(v) = -v**2 + v + 408. Let c be t(0). Suppose -c = 3*a - 9*a. Is 17 a factor of a?
True
Let f be ((-4)/(-12))/(2/174). Let k = -13 + f. Is k a multiple of 8?
True
Suppose 4*q - 118 = -6. Does 14 divide q?
True
Let h be (2/(-4))/((-2)/8). Is 2 a factor of 2*(1 - h) + 4?
True
Let s(w) = w**2 + w + 4. Let g = -15 + 27. Suppose 0*v = -4*v - g. Is 7 a factor of s(v)?
False
Suppose 4*k - 155 = 97. Is 4 a factor of k/5 - (-8)/20?
False
Let j(k) = -2*k**3 - 4*k**2 + 5*k - 3. Does 7 divide j(-4)?
False
Suppose 0 = -4*u - 6 + 14. Suppose u*h = -0*h + 24. Is 12 a factor of h?
True
Let w = 2 - 1. Let r(c) = 3 + 4 - 4*c + 9*c**2 - c**3 - w. Does 19 divide r(8)?
True
Let n be (20/(-15))/((-4)/6). Let a be 2/7 + (-1504)/(-28). Suppose 0 = -w - n*z + 14 - 6, 0 = -5*w - 3*z + a. Is w a multiple of 8?
False
Let u be 1 + (-3)/(-6)*6. Suppose -3*t - 10 = -1, 528 = u*i - 4*t. Suppose 5*g - 4*j - i = 26, -4*j + 7 = g. Is 13 a factor of g?
False
Suppose 2*f - 2 = f, 2*i - 3*f = 28. Let a = 55 - i. Is 19 a factor of a?
True
Suppose 2*u - j = 3*j + 38, 4*j = 4*u - 88. Is 6 a factor of u?
False
Let d(i) = -i**2 - i - 1. Let g(l) = -7*l**2 - 4*l - 3. Suppose 4*x + 1 = -3. Let j(v) = x*g(v) + 2*d(v). Is 7 a factor of j(-2)?
False
Let b(m) = m**3 - 2*m**2 + 2*m - 1. Is 13 a factor of b(4)?
True
I