 = -3*t + 4*p - a*p. Is t a multiple of 11?
False
Let w(g) = 5*g + 5. Is w(7) a multiple of 21?
False
Let x be (-4)/14 + (-326)/(-14). Suppose -u + x = -11. Is u a multiple of 12?
False
Suppose 2*n + 3 = n. Let o(k) = -k**3 - 2*k**2 + 2*k + 2. Let r be o(n). Suppose 0 = -j + 2*g + r, 0 = -3*j + 2*g + 2*g + 21. Does 4 divide j?
False
Let z(m) = -m - 4. Let w(a) = -6*a + 2. Let j(v) = -3*v + 1. Let n(y) = -5*j(y) + 2*w(y). Let p be n(-2). Is z(p) a multiple of 3?
True
Let p be (0 - -1)*3 + 2. Suppose -2*o = 4*r, 0 = 3*o - o. Suppose -p*h = 2*m - 150, 4*h = -r*h + 2*m + 102. Is h a multiple of 14?
True
Let v(m) = -m - 8. Is 7 a factor of v(-15)?
True
Let p be (-2)/(-7) + 10/14. Is p + (1 - -323)/4 a multiple of 22?
False
Let v = 7 - 2. Suppose 0 = -v*x + 151 - 26. Is x a multiple of 11?
False
Let g(s) = s**2 + 3*s + 2. Let k be g(-4). Suppose h = -19 - k. Let q = 50 + h. Is 9 a factor of q?
False
Suppose -2*r - 6 = 0, 5*r + 147 = -2*w + 3*w. Does 10 divide w?
False
Suppose t - 27 = -0*t. Let z be (-2)/(-9) - (-102)/t. Suppose -5*v + z*x = -132, -4*v - 2*x + 104 = -6*x. Is 14 a factor of v?
True
Does 12 divide 543/(42/(-12) + 5)?
False
Let i be (1 + 5)*2/(-4). Is 9 a factor of (-1)/(i/48) + 2?
True
Suppose -2*v = 3*v - 155. Is 8 a factor of v?
False
Suppose -622 = -10*y - 62. Is 8 a factor of y?
True
Let c(g) = 32*g + 4. Let v(x) = -8*x - 1. Let s(r) = 2*c(r) + 9*v(r). Let t(f) = -f**2 - 5*f - 6. Let j be t(-4). Is s(j) a multiple of 6?
False
Suppose -q - 2*o = 42, q + 3*o - 197 = 6*q. Let s be (-4)/6*(6 - (-195)/10). Let d = s - q. Is d a multiple of 18?
False
Let l(z) = z**3 - 4*z**2 - 10*z + 7. Let p be l(6). Suppose -v + p - 5 = 0. Is v a multiple of 12?
False
Suppose -8*i = -11*i + 60. Is i a multiple of 7?
False
Suppose -a + 149 = 2*o, 5*a = -3*o + a + 211. Does 7 divide o?
True
Suppose -6*h + 85 = -h + 5*t, -5*t + 49 = 3*h. Does 18 divide h?
True
Let s(j) = j - 2. Let h(m) = -m - 2. Let q be h(-8). Is s(q) a multiple of 4?
True
Let d be 1/((-15)/6 + 3). Let j(o) = -2 - o + 1 - 4*o**d + 5*o**2 - 6. Is j(9) a multiple of 24?
False
Suppose -3*o = -b - 2*b + 6, -b - 4*o + 2 = 0. Suppose b = -n + 10. Does 8 divide n?
True
Suppose 30*h - 30 = 29*h. Is h a multiple of 3?
True
Let d = -2 + 4. Let j = d + 0. Is ((-36)/10)/(j/(-10)) a multiple of 5?
False
Is 6 a factor of ((-44)/10)/(2/(-5))?
False
Let d(k) = -k**3 + 14*k**2 + 15*k + 15. Does 15 divide d(15)?
True
Does 16 divide ((-30)/(-35))/(2/126)?
False
Let b = 12 + -6. Let p be (b - 5) + -1 + 4. Suppose q - 135 = -p*q. Is q a multiple of 20?
False
Let k(q) = 3*q + 9. Let g be k(-6). Let d = g - -14. Suppose 3*n + 94 = d*n. Does 13 divide n?
False
Let p(f) = -8*f + 10 - 7*f - 2*f + 2*f**2 + f. Is p(11) a multiple of 22?
False
Suppose -b = 5*b - 336. Is 14 a factor of b?
True
Let z(b) = 13*b - 4. Is z(5) a multiple of 15?
False
Suppose 0 = -2*j + p - 20, 3*j + 4*p - 20 = 5*j. Let l = j + 15. Suppose -t + l*h = 22, 8 = 2*h - 2. Is 2 a factor of t?
False
Let q(o) = o - 1. Let z = -7 - -10. Let s be q(z). Let p = 15 + s. Is p a multiple of 6?
False
Suppose -a + 0*a + 19 = 0. Is 11 a factor of a?
False
Let n(j) be the third derivative of j**4/12 - 7*j**3/6 - 2*j**2. Let y be n(5). Suppose p + y*h - 5*h - 7 = 0, p + 5*h + 7 = 0. Is 2 a factor of p?
False
Let k be 1212/(-18)*(-3)/2. Suppose 3*f = 184 + k. Suppose 5*c + 5*r = f, -4*r = -1 + 5. Does 10 divide c?
True
Suppose -6 = 2*i - 34. Suppose 0 = 4*q + 3*o - o - i, -2*o - 4 = q. Is 3 a factor of q?
True
Is 9 a factor of (27/(-5))/((-5)/25)?
True
Let x(j) = j**3 + j**2 - j + 8. Let y be 0/(2 + -1 + 2). Does 6 divide x(y)?
False
Suppose g + 2*c = 7 - 3, -c + 16 = 4*g. Suppose 49 = 3*q + g. Is q a multiple of 6?
False
Suppose c - 36 = 27. Suppose 2*q - c = 51. Is 20 a factor of q?
False
Let x(z) = 3*z**2 + 7*z + 5. Let s be (1 + -5)/((-4)/(-4)). Does 5 divide x(s)?
True
Is 19 a factor of (-567)/(-14)*(1 + 1)?
False
Let k be 57/(-3 - -6) - -1. Suppose -3*q + 0*q = -3*t - 36, -q + 5*t + k = 0. Suppose -5*u - 58 = -5*p + 247, 2*u - q = 0. Is 17 a factor of p?
False
Let a(y) = y**3 - 2*y**2 - 3*y + 2. Let h be a(3). Suppose -s + k + 1 = 0, s + 0*s + h = 4*k. Suppose s*o - 31 = -1. Is o a multiple of 5?
True
Let b(k) be the second derivative of k**4/6 + 2*k**3/3 - 3*k**2/2 + 7*k. Is b(-5) a multiple of 16?
False
Let h(s) be the third derivative of s**5/20 - 11*s**4/24 - 7*s**3/6 - 5*s**2. Is 6 a factor of h(5)?
False
Let y be (-2306)/(-6) - 9/27. Let m(k) = k**2 - 7*k + 9. Let u be m(6). Is (u/(-2))/((-18)/y) a multiple of 21?
False
Suppose 3*h = 7*h - 60. Is 15 a factor of h?
True
Let g = 39 + -8. Suppose 4*t - g = 49. Does 10 divide t?
True
Let w(z) = z**3 + z**2 + 29. Does 12 divide w(0)?
False
Suppose t - y + 396 = 4*y, t = y - 380. Is t/(-12) - (-1)/(-3) a multiple of 15?
False
Suppose q = -4*p + 14, -5*p = 13 + 7. Does 15 divide q?
True
Let g(o) = o. Let a(j) = 27*j - 6. Let z(w) = a(w) - 6*g(w). Is 19 a factor of z(3)?
True
Let a = -3 - 0. Let g be (-19)/3 + a/(-9). Does 12 divide 34 - (g/2)/(-1)?
False
Suppose -u - 3 + 11 = -5*g, 4*g + u = -1. Let n = 6 + g. Suppose -4*q + n*q = 14. Is 14 a factor of q?
True
Let c(g) = g**2. Let n be c(3). Suppose -n + 29 = 5*h. Suppose 0 = h*s - 3*s - 24. Is s a multiple of 12?
True
Let o(g) = -4*g + 2. Let h be o(-4). Let r = -6 + h. Does 4 divide r?
True
Let o = 11 + -8. Suppose 5*y - 1 = 5*z + 19, -o*y = -4*z - 15. Does 5 divide 1/(y/((-11)/(-1)))?
False
Suppose 0 = z + 2*m - 67, 2*z = 5*z + 4*m - 197. Let o = 17 + z. Suppose -2*f + 18 + o = 0. Does 24 divide f?
False
Suppose -z - n = n - 27, 4*n - 112 = -4*z. Let m = -42 + z. Let h = m + 33. Does 10 divide h?
True
Let m(k) = -k**2 - 4*k - 6. Let y = 6 + -10. Let g be m(y). Is 6 a factor of (-6)/(-3)*-1*g?
True
Does 3 divide 3 + 14 + -3 + 2?
False
Let u = -5 - -5. Suppose 0 = -4*q - u*q + 20. Is q a multiple of 5?
True
Is ((-15)/(-35) - (-48)/(-63))*-156 a multiple of 4?
True
Suppose -3*k - 91 = x, -5*x = -0*x - 25. Let s be 4/(-6) + 1400/21. Let v = s + k. Is 13 a factor of v?
False
Suppose a - 3 = 0, -2*a - a = -l - 9. Suppose 4*d - 44 = -2*n, 4*n - 3*d - d - 52 = l. Is 14 a factor of n?
False
Suppose 158 - 58 = -5*z. Let q = 28 + z. Suppose 3*r + q - 41 = 0. Is 11 a factor of r?
True
Suppose 0 = -0*h + 2*h. Suppose 2*k - f - 8 = h, -2*f + 5*f = -3*k + 3. Let j = 23 - k. Is 10 a factor of j?
True
Suppose -9 = b + 3. Is 7 a factor of (-12 + 0)/(18/b)?
False
Suppose -n = -j - 77, -2*n - j - 4*j + 161 = 0. Is 34 a factor of n?
False
Let x = 255 - 21. Does 39 divide x?
True
Let z(o) = 3*o**3 - 4*o**2 + 3*o + 3. Let n(l) = l**2 + 8*l + 10. Let b be n(-7). Is 19 a factor of z(b)?
True
Let n(v) = v**2 - 13*v + 13. Does 11 divide n(14)?
False
Suppose -4*d - 324 = -4*g, -4*g + d = -235 - 95. Let r = g - 44. Is 13 a factor of r?
True
Let u = 57 - 19. Does 13 divide u?
False
Suppose 37 = p - t - 46, p - 92 = 4*t. Let y = p + -56. Is 12 a factor of y?
True
Is 271/5 - (-1)/(-5) a multiple of 15?
False
Let t = 5 - 14. Let d(c) = -c + 4. Is d(t) a multiple of 3?
False
Suppose -12 = -3*h, -4*o + h + 524 = 4*h. Is 16 a factor of o?
True
Let n(t) be the second derivative of -t**5/10 + t**4/12 + t**3/3 + t**2 - 16*t. Let f be (-3)/(1/1) - -1. Is n(f) a multiple of 9?
True
Let c be 23/(-3)*(-3 + 0). Let m = -6 + c. Does 17 divide m?
True
Let q(a) = a**2 - 1. Suppose 2*n + 13 = -3*h - 2*h, -35 = -5*n + h. Let j be q(n). Suppose 4*l + 0*l + 3*f = 65, 3*l - j = -5*f. Is l a multiple of 8?
False
Suppose 94 = 2*n - 0*n. Let s = -11 + -15. Let b = n + s. Is 9 a factor of b?
False
Let i(d) = -d**2 - 22*d - 22. Is 16 a factor of i(-18)?
False
Let k = -115 + 323. Does 52 divide k?
True
Let q(c) = 2*c**2 + 13*c + 25. Is q(-11) a multiple of 31?
True
Let p(w) = 3*w - 6. Let j = -8 + 17. Let l be p(j). Let d = l + -12. Is 3 a factor of d?
True
Suppose -2*g - 14 = -d, 3*d = -4*g + g + 6. Suppose d = s + 1. Is s a multiple of 5?
True
Let n = 13 - 13. Suppose 3*w = -n*w + 333. Does 29 divide w?
False
Let o be 146/(-5)*15/(-6). Suppose 0*y = 3*y + 5*p - o, 2*p = -2. Is y a multiple of 13?
True
Let o = 5 - 1. Suppose v - 15 = 2*k, 7*k = -2*v + o*k + 2. Is 3 a factor of v?
False
Let w(l) = 8*l**3 + 1. Let j(s) = -7*s**3 + s - 1. Let o = -5 + 3. Let r(q) = o*j(q) - 3*w(q). Is 11 a factor of r(-