 -2*f(p) - 5*z(p). Let t be d(1). Suppose -3*v = -15 - t. Is v a multiple of 15?
True
Let r = -4 + 3. Let g be (-39)/r*(-4)/2. Let k = -46 - g. Is k a multiple of 14?
False
Suppose -5*o + 4*v = 48 - 233, -v - 74 = -2*o. Is 10 a factor of o?
False
Let j be 795/10 - 2/(-4). Suppose 0 = -2*v + 3*v - j. Suppose 5*i + 4*u = v, 0*i - 2*i - 2*u = -32. Is 16 a factor of i?
True
Does 10 divide -4 - (-5)/(15/162)?
True
Suppose 7*q = 8*q - 19. Let t = q - 0. Is t a multiple of 10?
False
Suppose 4*l - 91 = -5*w + 89, 0 = 4*w + 3*l - 143. Is w a multiple of 8?
True
Let k(q) = -92*q - 1. Let c be k(-2). Suppose -3*f - 60 = 4*g - c, 3*g = -2*f + 91. Does 7 divide g?
False
Let v(i) = 6*i + 5. Does 27 divide v(8)?
False
Suppose 0 = -4*s - 15 + 3, -2*q + 27 = s. Does 3 divide q?
True
Let z = 196 + 122. Is z a multiple of 32?
False
Let l be (3/(-3) - -1)/(-1). Suppose l = -5*q - 100 - 50. Let k = -12 - q. Is k a multiple of 9?
True
Suppose 2*a = -l + 7 + 5, 0 = -4*l - 4*a + 32. Is 2 a factor of 22/l + (-12)/8?
True
Let n(v) = 2*v**2 + 5*v**2 - 7*v + 7 - 3*v**2 - 2. Is 15 a factor of n(4)?
False
Let o be 17/(-5) - 8/(-20). Let t = 6 + o. Is t a multiple of 2?
False
Let q = -16 - -21. Suppose 5*p = -5*r - q, -5*r + 0*p = 2*p - 10. Is r even?
True
Suppose 4*l = 6*l + 4. Let a(s) = 2*s**2 - s + 2. Does 4 divide a(l)?
True
Let s = 62 - -55. Is s a multiple of 18?
False
Suppose -h + 10 = -14. Let w = -4 + h. Is 10 a factor of w?
True
Let w be 14/(0 + (3 - 1)). Suppose w = 4*l + 5*u + 3, 2*l - 4 = -2*u. Is 6 a factor of l?
True
Suppose -l = 2*a + l - 90, 3*l + 12 = 0. Is a a multiple of 23?
False
Let o(y) = y**3 + 7*y**2. Let s be o(-6). Suppose -39 = -5*r + 21. Suppose -s = -2*h - r. Is 5 a factor of h?
False
Let a = -94 + 134. Suppose -5*c + 195 = -a. Is 7 a factor of c?
False
Let j be 0 + -3 + 8 + 3. Suppose -j*o = -7*o - 2. Let x = o + 38. Does 20 divide x?
True
Let w = -94 + 145. Suppose -r - 2*r = -w. Is 5 a factor of r?
False
Suppose 5*w - w - 108 = 0. Does 9 divide w?
True
Let s(m) be the third derivative of -m**6/30 - m**5/20 - m**4/8 - m**3/3 - 2*m**2. Does 12 divide s(-2)?
True
Suppose 2*h = 4*h - 22. Does 3 divide h?
False
Let s = 491 - 821. Is s/(-21) + (-6)/(-21) a multiple of 8?
True
Let r be 48 + (-4 + 2)/(-1). Suppose -k - k + r = 0. Suppose f + k = 6*f. Does 5 divide f?
True
Let u be 4*-1 + (5 - 2). Let r(s) = -30*s**3 - s**2 - 2*s - 1. Is 15 a factor of r(u)?
True
Suppose 27 + 9 = 2*l. Is 17 a factor of l?
False
Let a(i) = -i - 8. Let d be a(-8). Suppose -4*o - g + 42 + 97 = d, -o = -3*g - 25. Is o a multiple of 17?
True
Let z(s) = 7*s - 7. Let l be z(7). Suppose 2*i = 74 + l. Suppose 2 + i = 3*b. Is b a multiple of 10?
True
Suppose 0 = 3*k - 8*k + 10. Suppose k*x - x = 18. Does 18 divide x?
True
Suppose -4*y + 82 = 2*t, 2*t + 4*y - 83 = -y. Suppose 2*k - 18 = 36. Let m = t - k. Is 6 a factor of m?
True
Let r(g) = -g**3 - 2*g**2 + 2*g - 5. Is r(-5) a multiple of 6?
True
Let m(j) = -j**2 - 4 - 4 - 11*j - 2. Is 9 a factor of m(-7)?
True
Suppose 2*o + 1 = o. Let z(y) = 12*y**2 + y. Is z(o) a multiple of 9?
False
Suppose 0 = -y - 4*y + 5. Does 27 divide y + 6/3 - -73?
False
Let f(r) = -10*r**3 + 4*r**2 + 2*r - 2. Does 18 divide f(-2)?
True
Let z = 54 - 35. Suppose -h + 1 = 5*j, 2*j + j = 4*h + z. Does 2 divide (-104)/(-28) + h/(-14)?
True
Suppose -3*j + 3 + 3 = 0, -124 = -4*c - 4*j. Does 13 divide c?
False
Suppose 18 = -0*c + 2*c. Is 9 a factor of c?
True
Let n(l) = -9*l. Is n(-5) a multiple of 15?
True
Let q be 5*(0 + 28/5). Suppose -5*p + q = -p. Is p a multiple of 7?
True
Suppose 4*w + 4*l - 222 = l, 0 = 2*l - 4. Suppose 10 - w = -2*n. Is 6 a factor of n?
False
Let y(g) = g**3 - 5*g**2 + 5*g - 6. Let k be y(4). Is (k - -2)/(-3) + 17 a multiple of 17?
True
Let d(w) = -3*w**2 + 0*w**2 + 4*w + w**2 + 4*w**3 + 5. Let u(z) = -3*z**3 + 2*z**2 - 3*z - 4. Let k(l) = -2*d(l) - 3*u(l). Is 2 a factor of k(2)?
True
Let p(x) = 5*x**2 + x + 8. Is 14 a factor of p(-4)?
True
Suppose -x + 10 = -2. Does 4 divide x?
True
Let s be (-5)/((-15)/72) - 1. Suppose 3*u + 5 = s. Suppose -u*o = -4*o - 66. Is 13 a factor of o?
False
Let v(t) = t - 13. Let p(y) = 1. Let d(l) = -5*p(l) - v(l). Suppose -2*c - 2*c = -5*j + 49, 4*j = c + 26. Is 14 a factor of d(c)?
True
Let g be (3/(-1))/(0 + -1). Suppose g*v = 22 + 29. Suppose 3*m = -15, -5*m + v = r + 2. Does 14 divide r?
False
Let j(x) = -x**3 + 2*x**2 - 2*x - 4. Let f be j(-3). Let s = f + -10. Is s a multiple of 12?
False
Let a = 254 - 118. Does 38 divide a?
False
Suppose 5*t + 3*p - 61 = 0, 4 = 5*p - 6. Does 11 divide t?
True
Is 12*6/(-8)*-2 a multiple of 9?
True
Let m(a) = 5*a - 3. Is 6 a factor of m(3)?
True
Let o(k) = -k**2 + 8*k - 7. Let i be o(7). Suppose -d = 2*d + 12, v + 2*d = i. Is v a multiple of 4?
True
Let k = -4 - -8. Suppose -5*c + 5 = -2*s + k*s, 0 = -2*s + 10. Does 13 divide (c - 6*2)/(-1)?
True
Suppose 5*s = -5*g + 94 + 6, g = s + 22. Does 7 divide g?
True
Does 16 divide 117/2 + 5/(-10)?
False
Let v(r) = -r - 4. Let t be v(-6). Suppose -4*q - 4*x = -9*q - 11, 2*x = -t. Is 2 a factor of 2*q/(-12)*6?
False
Let u(g) = -6*g**3 - g**2 - 1. Let t be u(-2). Suppose 29 = 4*z - t. Is z*(-1 - -4 - 2) a multiple of 8?
False
Let s be 7 - (-12)/16*-4. Suppose 21 + 7 = s*f. Is f a multiple of 7?
True
Suppose 2 = 2*w - 6*x + 2*x, 2*w + 4*x = 10. Suppose k - 69 = w*o, 3*k - 50 - 102 = -2*o. Is 18 a factor of k?
True
Suppose -v - v + 22 = 0. Is v a multiple of 5?
False
Suppose -5 + 17 = 2*x. Let u(v) = -5*v - 1. Let l be u(x). Let d = -15 - l. Is d a multiple of 8?
True
Suppose 5*q + a = 80, -3*q - 3*a = 38 - 98. Is q a multiple of 3?
True
Let d(a) = 7*a + 2. Let l(f) = 8*f + 2. Let r(z) = -7*d(z) + 6*l(z). Is r(-7) a multiple of 3?
False
Let d be 1/((-3)/(-96)) - 0. Let l = d - 8. Is 4 a factor of l?
True
Let u(f) = 3*f - 6*f + 6 - f**2 - 4*f. Is 6 a factor of u(-6)?
True
Let a(v) = -2*v**2 + 9*v - 2. Let h(s) = 1. Suppose 2*t - 7*t = 5. Let z(d) = t*a(d) - h(d). Is z(6) a multiple of 13?
False
Let b(p) = p + 10. Let f be b(-5). Suppose -w - 9 = -f*c, -4*c + w + 2 = -5. Suppose 45 = 5*y - c*y. Does 5 divide y?
True
Let g(i) = 4*i**2 + 3*i - 4. Let x(f) = -11*f**2 - 9*f + 12. Let m(p) = 8*g(p) + 3*x(p). Suppose 3*y = -2*y - 15. Does 2 divide m(y)?
True
Let c be (-54)/(-14) - (-2)/14. Suppose -c*a + a = -207. Is 14 a factor of a?
False
Let t = 11 + -7. Suppose 3*l + g = 4*l - 16, -2*l + 42 = -t*g. Is 11 a factor of l?
True
Let j(w) = w**3 + 9*w**2 + 4*w + 2. Let z be j(-7). Let n = z + 4. Let p = n + -28. Is p a multiple of 16?
True
Let u be 2/(-2)*330/3. Let h be 2/(u/(-108) + -1). Suppose 3*o = -o + h. Does 9 divide o?
True
Let p(n) = 4*n. Let k be p(1). Let r be ((-30)/k)/((-3)/(-6)). Does 13 divide (r/6 + -2)*-8?
False
Let u(h) = -h + 2. Let y(x) = -2*x + 4. Let p be y(3). Is 3 a factor of u(p)?
False
Suppose -5 = 2*p + 4*v - 19, 5*p + 30 = 3*v. Is 8 a factor of 8 + 19 - 1*p?
False
Let x(l) = -37*l. Let p(r) = r + 1. Let h(w) = -p(w) - x(w). Let i = 13 + -12. Is 11 a factor of h(i)?
False
Suppose -z - 4 = -2*z + x, 5*x = -z + 16. Suppose z*l = 4*l. Suppose -b - 2*b + 84 = l. Is 14 a factor of b?
True
Suppose -230 = -5*c + 5*i, 7*i = -3*c + 2*i + 146. Is 10 a factor of c?
False
Let n be 420/(-6)*2*-2. Suppose 0 = -7*l + 3*l + n. Is 18 a factor of l?
False
Let k(d) = -d**2 - 2*d - 8. Let y(s) = -s**2 - 2*s - 8. Let l(p) = -3*k(p) + 2*y(p). Is l(-6) a multiple of 11?
False
Suppose -4*f + 69 = -f. Suppose -3 = -5*n + 7. Suppose n*m - f = -1. Is m a multiple of 11?
True
Let z(b) = -3*b**2 + 3*b + 93. Let d(k) = -k**2 + k + 31. Let n be 176/28 + (-2)/7. Let f(s) = n*z(s) - 17*d(s). Does 13 divide f(0)?
False
Let v(c) = c**3 - 7*c**2 + 2. Let h be v(7). Suppose h*d + 3*p - 8 = 36, 5*d - 4*p = 133. Is 8 a factor of d?
False
Let i(x) = 2*x**3 - x**2 - 3*x - 4. Is i(3) a multiple of 15?
False
Let q = 6 + -4. Let a(i) = 2*i**3 - i**2 - 2*i + 3. Is a(q) a multiple of 11?
True
Let h(t) = 6*t**2 + 5*t - 13. Does 22 divide h(4)?
False
Is (33 + 9/(-3))/(2/7) a multiple of 20?
False
Suppose 0 = w + 4*w - 5*d + 10, -w + 2*d = 4. Suppose -2*k + 4*n + 108 = w, -5*k - 5*n + 184 = -71. Does 13 divide k?
True
Suppose -w + 29 = -3*g, -5*g = -0*w + 4*w - 184. Is w a multiple of 14?
False
Let v = -2 - -16. Is 7 a factor of v?
True
Let v = 20 + -1