v(u) = 16*u + 5. Let p be v(z). Suppose -3*w = -3*o - 69, -w - 2*w + p = -4*o. Is 10 a factor of w?
False
Let d be (-9)/18 + (-5)/(-2). Let j = d + 2. Does 4 divide j?
True
Suppose 93 + 24 = 2*r + u, -3*r + 4*u + 192 = 0. Is r a multiple of 10?
True
Let z(g) = 2*g**3 - 2*g**2 - g - 2. Is z(4) a multiple of 15?
True
Does 8 divide ((-1024)/40)/((-2)/5)?
True
Let j = 56 + -38. Is j a multiple of 4?
False
Suppose -2*d - d = -39. Suppose 7 + d = 2*o. Does 10 divide o?
True
Let l = 6 - 2. Does 4 divide l?
True
Suppose i + 4*t = 12, 4*t = i + t - 47. Suppose -3*m + 3*b = -b - i, 0 = 4*b - 16. Is 16 a factor of m?
True
Let c(s) = -3*s**3 + 13*s**2 - 11*s + 10. Let b(y) = -8*y**3 + 38*y**2 - 32*y + 30. Let q(j) = -4*b(j) + 11*c(j). Is 20 a factor of q(-10)?
True
Let x(w) = -w**2 - 4*w - 4. Let z be x(-7). Let y = -18 - z. Is y a multiple of 5?
False
Let z = 63 + -42. Is z a multiple of 7?
True
Let a(m) = 96*m**2 + m + 2. Is a(-1) a multiple of 18?
False
Let a(z) = 5*z. Suppose 4*l - q - 29 = 0, 3*l - 4*q - 16 = 9. Let t be a(l). Let h = t - 18. Does 10 divide h?
False
Is (3 + -2 + 1)/((-4)/(-514)) a multiple of 12?
False
Let n be (-2)/(2*4/(-272)). Let v = n + -45. Is 10 a factor of v?
False
Let k = -2 + 38. Is k a multiple of 9?
True
Let c = -16 + 21. Is c a multiple of 5?
True
Let z be (-7)/(-14) - 22/(-4). Let y = z - 0. Is 6 a factor of y?
True
Suppose 0*r - 76 = -2*r. Is 19 a factor of r?
True
Suppose 5*d = 4*l - 2*l - 15, -5*l = 0. Is (d/(-1))/3 - -73 a multiple of 34?
False
Suppose 3*l - 4*a = -16, -2*l = -a - 2*a + 12. Suppose l = -2*w - 2*s + 176, -2*s - 3*s + 108 = w. Is w a multiple of 27?
False
Suppose -3*t + 90 = -3*f, -f + 4*f - 12 = 0. Is t a multiple of 4?
False
Let m be (-4)/(-14) + 19/7. Suppose -147 = -m*d + 57. Does 34 divide d?
True
Let s(g) be the second derivative of -g**4/12 - g**3 + 5*g**2 - 2*g. Let a be s(-7). Suppose -4*f = -a*f - 17. Is f a multiple of 6?
False
Suppose -4*h + 63 + 5 = 0. Is h a multiple of 13?
False
Let g = 2 + -2. Suppose 2*o - o + 31 = g. Let s = o - -55. Is 12 a factor of s?
True
Let p = 9 - 4. Suppose 3*b + b + p*n = 6, -3*b + 5*n - 13 = 0. Is 18 a factor of b/(-3)*(-114)/(-1)?
False
Suppose 3*h + 2*d + 6 = h, 0 = 2*h - 5*d - 29. Suppose 2*r - 4*y - 82 - 34 = 0, -3*r - h*y = -142. Is 10 a factor of r?
True
Let d(i) = -1 + 6 + 2*i - 3*i. Let o = 14 + -14. Does 4 divide d(o)?
False
Let a(c) = 3*c - 17. Is a(12) a multiple of 14?
False
Suppose 0*n + 4*g + 31 = -3*n, 0 = 3*n - 2*g + 7. Let f = n + 8. Is 3 a factor of f?
True
Let l(u) = u + 2 + 2*u**2 - 2 + 1. Is 13 a factor of l(4)?
False
Suppose -16*o + 930 + 670 = 0. Is 20 a factor of o?
True
Suppose 7*i = 2*i. Let l = i + -3. Does 15 divide (-10)/(-15) + (-82)/l?
False
Does 4 divide (-84)/(-15) - (-8)/20?
False
Suppose -d = -2*d. Suppose 0*p + 2*p - 74 = d. Is 12 a factor of p?
False
Let t be (-4)/20 + (-42)/(-10). Suppose t*n - 6*n + 4 = w, 0 = n. Suppose -9 - w = -s. Is s a multiple of 13?
True
Suppose 53 - 45 = t. Does 2 divide t?
True
Suppose -4*c = 56 - 280. Is 20 a factor of c?
False
Suppose -2*g = -4*y + g + 353, y - 80 = -2*g. Does 14 divide y?
False
Let q(o) = -2*o**3 + 3*o**2 - 3*o - 3. Let l be q(3). Let c = -131 + 76. Let w = l - c. Does 8 divide w?
True
Let b(x) = 4*x**2 + 16*x + 6. Is b(-6) a multiple of 9?
True
Let q be (-1)/(-2)*(1 + 5). Let w = 6 - q. Suppose -w*l + 70 = 2*l. Does 12 divide l?
False
Suppose 0 = -3*b - b. Suppose b*l = 5*l - 10. Suppose -2*s - 5*o + 92 = -o, -154 = -4*s - l*o. Does 13 divide s?
False
Let m = -7 + 2. Let i(u) = -u**2 - 4*u + 7. Let d be i(m). Is 2/d*(-14)/(-2) a multiple of 7?
True
Does 3 divide (-2200)/(-120) - 2/6?
True
Suppose -5*f + 9*f - 340 = 0. Is 17 a factor of f?
True
Let j(y) = 6*y. Let l be j(-1). Let u(g) = -g**2 - 6*g - 1 + 4 + 2. Is u(l) a multiple of 4?
False
Let c be (-6)/(2/25*-1). Suppose c + 45 = 5*k. Does 12 divide k?
True
Is 18 a factor of 2 - 49/(-2)*2?
False
Let w be ((-9)/6)/(-3)*44. Suppose 3*m = 4*j + w, 3*m + j - 10 = 7. Is 8 a factor of 2/m - (-68)/3?
False
Let a be ((-28)/35)/((-1)/(-10)). Let y(x) = 4*x**2 + 10*x + 9. Let l be y(a). Suppose 5*q = 5*n + l, 4*q - 64 = 2*q + 4*n. Is 21 a factor of q?
True
Is 2 a factor of (-12)/24 + 7/2?
False
Let o = 291 - 189. Is o a multiple of 19?
False
Let w(y) = 7*y**2 - 2*y + 8. Does 14 divide w(4)?
True
Let q(m) = m**2. Let z be q(-2). Let y(w) = w**2 - 19*w + 4. Let o be y(19). Suppose -z*x - x + 100 = o*p, 0 = -5*x + 4*p + 60. Does 15 divide x?
False
Let b(n) = 6*n**2 + 1. Is 2 a factor of b(1)?
False
Let b(z) be the second derivative of -11*z**3/6 - z**2/2 - z. Let m(u) = -2*u + 1. Let t be m(1). Does 10 divide b(t)?
True
Suppose -s + 2*s - 5*i + 9 = 0, -2*s + 5*i = 8. Is 1/(s/(-6))*-1 a multiple of 4?
False
Suppose 4*b - 3 = 7*b. Let o(c) = -8*c + 2. Is 10 a factor of o(b)?
True
Let h = 388 - 267. Is 6 a factor of h?
False
Suppose -s = 2*v - 6*s - 4, 56 = 3*v + 5*s. Suppose 5*f + 18 = -v. Is 16 a factor of (-4)/f + (-138)/(-9)?
True
Let f(o) = 4*o**3 + 5*o**2 - 7*o - 6. Let m(x) = 3*x**3 + 3*x**2 - 5*x - 4. Let y(k) = -5*f(k) + 7*m(k). Does 19 divide y(6)?
False
Suppose 0 = -2*q + 4. Suppose -3*c + 36 = -q*c. Does 18 divide c?
True
Suppose 0*b = 2*c - 4*b - 152, c - 66 = -3*b. Does 18 divide c?
True
Let m be (-212)/18 - 4/18. Let g = -7 - m. Let c = 2 + g. Is c a multiple of 4?
False
Suppose l = 5*l - 80. Suppose -6*c + c + l = 0. Suppose -5*k = c*j - 57, -2*j + 2*k - 4 = -2*k. Is j a multiple of 8?
True
Suppose -b + 12 = -q + 4*q, 3*q = 4*b + 27. Suppose g - q*g = -72. Does 9 divide g?
True
Let q = 59 + 13. Does 8 divide q?
True
Suppose -v + 2 = n, -2*v = -n + 4*n - 4. Let z be n + 0 - (5 - 31). Let m = -9 + z. Does 6 divide m?
False
Let i = 3 - -8. Does 6 divide i?
False
Let f(v) = -v**3 + 5*v**2 + 7*v - 29. Does 2 divide f(5)?
True
Suppose 0 = 2*m - 4. Let v be m + 3 + 2/2. Let k = 6 + v. Is k a multiple of 4?
True
Suppose 2*x - 2*g - 1 = -5, -3*g = -x - 2. Let q = x + 109. Is 23 a factor of q?
False
Let v = -6 - -10. Suppose v*o = 30 + 50. Is 10 a factor of o?
True
Suppose 2*u - 2*q = 20, u + 6 = 5*q - 0. Does 2 divide u?
True
Let w(j) = 20*j**2 + 1. Suppose 2*u = -n + 7, -12 - 1 = n - 3*u. Is 15 a factor of w(n)?
False
Suppose 0 = -5*q + 4*l + 172, 0 = 5*q - l - l - 176. Does 9 divide q?
True
Let f(j) = 43*j**3 - j**2 + j - 1. Let i(m) = -86*m**3 + 2*m**2 - 2*m + 2. Suppose -r + 10 = 4*r. Let q(o) = r*i(o) + 5*f(o). Is 12 a factor of q(1)?
False
Suppose 0 = v - 77 + 9. Suppose -3*w = -2*g + 2*w + v, -3*w = -5*g + 132. Is g a multiple of 11?
False
Let o(g) = -g. Let h be o(-2). Suppose 2*m - 3*y = -0*y + 11, 0 = -h*m - y + 15. Let d(b) = b**3 - 8*b**2 + 10*b + 1. Is d(m) a multiple of 11?
True
Let m(s) = s + 7. Let h be m(-5). Suppose -3 = -h*t + 13. Does 4 divide t?
True
Suppose i + 3*i = 0. Suppose i*n + 41 = 3*n + 5*h, n - 13 = -h. Is 12 a factor of n?
True
Let z = 29 - 14. Suppose -4*a + z = a. Suppose -26 = b - a*b. Is b a multiple of 9?
False
Suppose 3*p + 68 = 7*p. Let q = p + -8. Is 3 a factor of q?
True
Let c = 8 - 5. Let b(y) = 4 - 2 + 3*y**2 - 2*y + 3*y. Does 21 divide b(c)?
False
Suppose -u + 64 = 3*u. Is u a multiple of 13?
False
Suppose 2*i + 2*i - 76 = 4*l, 2*i - 34 = 3*l. Is 5 a factor of i?
False
Let y(n) = -n**3 - 2*n - 1. Let c be y(-1). Suppose l + 4*g = -2, -6 + 2 = -3*l - c*g. Let p = l - -26. Is 14 a factor of p?
True
Is ((-2828)/(-35))/((-2)/(-5)) a multiple of 19?
False
Is 2 + 165 + (-10)/5 a multiple of 33?
True
Let p(k) = 9*k**2 + k - 2. Is 5 a factor of p(-2)?
False
Let s(m) = 13*m**2 + m - 2. Let d be (1 - 5)*(-2)/(-4). Is 24 a factor of s(d)?
True
Suppose 192 = l + 3*l. Let f = l + -3. Suppose -5*i + 38 = -0*d + 4*d, f = 5*d + 5*i. Is 5 a factor of d?
False
Suppose -7 - 98 = -5*j. Is 7 a factor of j?
True
Let t = 9 + -5. Suppose 0 = -g - t*g. Suppose -4*o - 7 + 31 = g. Does 3 divide o?
True
Let b(w) be the second derivative of 0*w**3 - 3*w**2 - 1/3*w**4 + 1/20*w**5 - 3*w + 0. Does 9 divide b(5)?
False
Suppose 0 = 2*c + j - 7, -3*c + 3*j + 33 = -0*c. Is 6 a factor of c?
True
Let p be 1/(-2)*(3 + 1). Let m(b) = -6*b**3 - 2*b**2 - 4*b - 3. Let x be m(p). Suppose -n + x = 2*n. Does 10 divide n?
False
Let y(v) = -v**3 - 2*v**2 + 11*v - 9. Does 4 divide y(-6)?
False
Let g(n) = -1 - n**3 + n**2 - 3*n - 