s p a multiple of 5?
False
Let p(g) = -3*g**3 + 0*g - 6*g - 2*g**2 - 3*g. Let i(z) = 2*z**3 + z**2 + 4*z. Let v(h) = -7*i(h) - 3*p(h). Is v(-2) a multiple of 10?
False
Let i = 26 - 16. Suppose -666 - 114 = -i*j. Is 8 a factor of j?
False
Let q(m) = 5*m**2 + 14*m + 31. Let k(v) = 2*v**2 + 7*v + 16. Let d(p) = -7*k(p) + 3*q(p). Is d(-11) a multiple of 26?
False
Is 60/(-24) - 2110/(-4) a multiple of 21?
True
Does 5 divide (20 - 24)*(-1 + 31/(-4))?
True
Let b(q) = q**3 - 8*q**2 - 16*q - 10. Let r be b(10). Is r*-3*(-3)/2 a multiple of 9?
True
Suppose 5*h + 0*h + 40 = -5*a, 2*a + 3*h = -21. Is 1/(-4*a/132) a multiple of 4?
False
Let q(i) = -2*i**3 + 2*i - 5. Is q(-2) even?
False
Let v be (-5 - -3) + 7 + -1. Let z be (35/v)/((-1)/(-4)). Suppose -3*o = -z + 11. Is 8 a factor of o?
True
Suppose -v = k - 46, 25 = v - 3*k - 37. Suppose -150 = z + 4*z. Let s = v + z. Is 8 a factor of s?
False
Suppose 3*p - 5 = 4*i, 4*i + 0*p + 2*p = -10. Let q(v) = v - 16. Let c be q(17). Does 5 divide (i - -1)*c + 19?
False
Let s = 47 - 27. Let j be (-8)/s + 54/(-15). Let x(u) = -11*u - 3. Does 17 divide x(j)?
False
Let v(o) = -5*o - 14. Let d(y) = -6*y - 15. Let q(u) = -2*d(u) + 3*v(u). Let a be q(-5). Suppose -50 = -a*f + f. Is 21 a factor of f?
False
Let r = 104 + -56. Suppose -4*i + 28 = -r. Does 4 divide (i/(-2))/(4/(-8))?
False
Suppose -42 = 2*t - 5*t. Let h be 780/t - 4/(-14). Is 20 a factor of (h - -5) + (-1 - 0)?
True
Suppose 0 = 5*d - 16 - 134. Suppose 2*u - d = -0*u. Suppose 0*n + n + 5*h - u = 0, -n + 11 = h. Is 10 a factor of n?
True
Is (-3236)/(-18) + 7*(-4)/(-126) a multiple of 8?
False
Let o be 3/(-1 + 0) - 0. Let q(v) = v**2 + 4 + 0 + v + 0*v**2 - 2. Is 4 a factor of q(o)?
True
Suppose 2*a + 2*l - 20326 = -2232, 2*a + l = 18091. Let y be a/70 + (-2)/10. Suppose 3*p - y = 63. Does 32 divide p?
True
Let a = -3 - -2. Let q be a*-1*(62 - 3). Let i = q - 4. Is 15 a factor of i?
False
Suppose 5*z + 2*g = 12, -5*g = 10 + 10. Suppose z*b + 0*b = 3*c + 563, -4*b = 4*c - 556. Does 14 divide b?
True
Let d(n) = 3*n**2 + 2 + 0*n**2 - 2*n - 5 + 0. Let k be d(-2). Suppose -43 - k = -4*z. Is z a multiple of 3?
False
Let x = 6310 - 3494. Is x a multiple of 44?
True
Suppose 3*a = 4*o + 642, a + 2*o + 14 = 218. Does 7 divide a?
True
Let p be (2/9)/(6/54). Suppose 52 = a - 4*y, 4*a + p*y - 81 = 145. Is a a multiple of 28?
True
Let s = 111 - -175. Is 13 a factor of s?
True
Suppose 2*t = -4*g - 11 - 17, 0 = -g + 5*t + 15. Let q(i) = 3*i**2 + 5*i - 10. Is 22 a factor of q(g)?
False
Suppose 17*j - 2927 - 1986 = 0. Does 8 divide j?
False
Suppose 4*x - l = 88, 2*x - 4*l = -3*l + 44. Suppose 0 = -4*d + x + 6. Is -4 + (4 - d - -27) a multiple of 20?
True
Let w = 9 - -15. Does 2 divide w?
True
Let s = 29 - 20. Suppose -5*u + 6 + s = 0. Suppose 24 = -0*j + u*j. Is j a multiple of 8?
True
Suppose -a = 4*a + 195. Let d = -30 - a. Is 6 a factor of d?
False
Suppose -i = 0, -4*s - 2*i = -34 + 14. Suppose 0 = -u - 8*d + s*d + 59, -d - 39 = -u. Is u a multiple of 11?
True
Let g(d) = -70*d + 410. Is g(-37) a multiple of 12?
True
Let p(l) = -l - 2. Let s be p(0). Let h be 3 + 0 + s - 1. Is (-3 - h/1) + 12 a multiple of 3?
True
Let u(f) be the third derivative of f**6/120 - f**5/10 + f**4/24 - 4*f**3/3 - 11*f**2. Is 8 a factor of u(7)?
True
Let t = 10 - 4. Suppose 0 = 6*g - 8*g - t. Is g/(-6)*(1 - -47) a multiple of 12?
True
Let i = 239 - 189. Does 19 divide i?
False
Suppose 4*b = 3*k + 24, 4*b - 5*k = -0*k + 16. Let g(s) = 8*s - 16. Does 7 divide g(b)?
True
Let a = 1 - 1. Let t(g) be the first derivative of g**2 + 16*g + 49. Is 7 a factor of t(a)?
False
Suppose -2*l - y = y + 10, 0 = -5*y - 25. Suppose 2*q + l*q = 0. Suppose q = 4*i + 2*u - 8, -2*i + 28 = 3*i - 2*u. Is i a multiple of 2?
True
Let t be (-52)/(-2) + (0/(-3))/5. Suppose -3*c = -58 - t. Does 14 divide c?
True
Let r(t) = t**3 - 2*t**2 - 8*t + 6. Let o be r(4). Suppose o*b - 5*b - 210 = 0. Does 30 divide b?
True
Let z(i) = -25*i - 3. Let n = -6 + 21. Let a = 12 - n. Is 24 a factor of z(a)?
True
Let y(m) = -18*m - 1. Let h be y(1). Let l(s) = -2*s**3 + 16*s**2 - 7*s - 16. Let a be l(7). Let u = h + a. Does 5 divide u?
False
Suppose -4*v - v - 3*h = 0, 2 = -v - h. Suppose 428 = 4*b + v*r, 3*r + 400 = 4*b - r. Suppose 4*y = 2*y + b. Does 15 divide y?
False
Suppose 7 + 1 = 2*w. Let j be w/14 + (-33)/(-7). Suppose 0 = 4*i + 5*a - 91, -j*i - 12 = -a - 162. Does 16 divide i?
False
Let j(g) = -g**3 + 3*g**2 + 3*g - 1. Let m(n) = -n**3 + n**2 + n - 1. Let c(o) = -j(o) + 2*m(o). Let i be c(-2). Suppose 21 = i*v - 149. Is v a multiple of 13?
False
Let y be ((-9)/4)/(5/20). Let r = -2 - y. Suppose -3*s + 9 = 2*m - r*m, -12 = -4*s + 4*m. Does 2 divide s?
False
Suppose 2*p - 269 = -35. Let u = p + -70. Does 11 divide u?
False
Suppose -5*l - 2*l + 21 = 0. Suppose 43 = 2*n - l*a, 52 = -4*n - 3*a + 147. Is 20 a factor of n?
False
Let b be ((-16)/4 + 3)*-212. Let y(v) = 16*v**3 - 3*v**2 - v + 1. Let w be y(-2). Let r = w + b. Is 25 a factor of r?
True
Does 16 divide 2/1 + (2244 - (-114)/(-19))?
True
Suppose -3*x - 2*x = -15, 0 = -4*f - 5*x + 187. Let k = f + -16. Is 7 a factor of k?
False
Let o(j) = 1 - 4 + 252*j**3 - 5*j - 247*j**3. Is 13 a factor of o(3)?
True
Let i(o) = o**2 + 7*o + 7. Let a be (-154)/88*(-1 + 5). Is i(a) a multiple of 2?
False
Let w(s) = 2*s + 49 + 2*s - 7*s - 50 - 8*s**3. Does 9 divide w(-2)?
False
Let y be 684/72 - 2/(-4). Suppose -y = 5*p, 3*q = -4*p + 132 + 136. Does 46 divide q?
True
Let y = -4 - -5. Let c(z) = -3*z**2 + 1 + 3 + 49*z**2 - 2*z - 3. Is 10 a factor of c(y)?
False
Suppose p - 2*q - 36 - 72 = 0, 0 = p + 2*q - 88. Let y be 203/3 + 2/6. Let d = p - y. Is 10 a factor of d?
True
Let o(w) = -w**2 - 9*w + 40. Let y be o(-12). Suppose 3*p = i - 3*i + 275, y*p = -i + 365. Is p a multiple of 13?
True
Suppose -7*q = -u - 2*q + 20, 3*q = -12. Suppose u = -y + 24 + 11. Does 7 divide y?
True
Let t be 0*(1 + 8/(-6)). Suppose t = l - 2*l + 7. Let q(o) = -o**3 + 9*o**2 - 3*o - 8. Does 14 divide q(l)?
False
Is 33 a factor of (-7)/(315/(-13383)) + 3/5?
False
Let w = 9 + 15. Let u = 30 - w. Suppose -u*o + 65 = -o. Is 13 a factor of o?
True
Suppose 2*q - 5*u = -5, 9 = -q + 4*u + 2. Suppose -4*p - 2*m - 53 = -q*p, -220 = -4*p + 4*m. Is 7 a factor of p?
False
Suppose -4*v + 3280 = 5*a, -4*a + 3238 = 4*v + 618. Is 11 a factor of a?
True
Let d be (2 - 20/12)*-3. Let f = d - -15. Is f even?
True
Suppose 4*a - 398 = 86. Is a a multiple of 2?
False
Let z(a) = a**3 + 6*a**2 + 2*a - 1. Suppose 5*m = k + 8 - 28, 3*m - k = -14. Let n be z(m). Suppose 4*u - n = 148. Is u a multiple of 11?
False
Let a = 75 + -36. Suppose l + 0*l - a = 0. Does 5 divide l?
False
Let b = -57 + 60. Suppose -b*z + 362 = 4*a, -2*z - 82 = 2*a - 264. Does 28 divide a?
False
Let v(b) = -26*b + 115. Is v(-19) a multiple of 29?
True
Let u be ((-32)/10 + 2)*-35. Let b = u - 40. Suppose 4*g + 4*f - 100 = 0, -f = -b*f. Is g a multiple of 5?
True
Suppose -5*u = -2*i - 4*u + 111, -4*i + u = -225. Let n = -67 + 37. Let y = i + n. Is y a multiple of 11?
False
Suppose 2*a + i = 810 + 651, 5*i = -3*a + 2209. Is 14 a factor of a?
True
Let x = 62 - 17. Let w(d) = -d**3 + 45*d**2 + 93*d + 121. Let t be w(47). Let b = t - x. Is 7 a factor of b?
False
Let c(l) = 64*l**3 - 2*l**2 - l + 2. Let o be ((-2)/8)/(9/(-36)). Let h be c(o). Suppose 5*q - 3*i = 357, -q - 4*i - 10 = -h. Does 23 divide q?
True
Suppose 6 = b + b. Suppose -w = b*z - 3*w - 52, 3*z - 54 = 3*w. Suppose -5*s + 12 = 3*t - 50, z = 4*t. Is s a multiple of 10?
True
Let z = 655 + -459. Does 4 divide z?
True
Let s = -1 + -3. Let i(y) = 3*y - 5. Let q be i(6). Let p = q + s. Does 2 divide p?
False
Let s(p) be the second derivative of 5*p**4/2 - 3*p**3/2 + p**2 + p. Is s(3) a multiple of 35?
True
Let c = 17 + -14. Suppose 5*g + 35 = c*s + 3, -s + 5*g + 24 = 0. Let k = 16 + s. Is 20 a factor of k?
True
Let x(h) = -h**3 + 11*h**2 + 12*h + 13. Suppose -5*z - 19 = -74. Is 29 a factor of x(z)?
True
Let u = -51 - -56. Suppose -2 = p, -5*i + 67 = -u*p - 398. Is 13 a factor of i?
True
Let r = 2081 + -1074. Does 53 divide r?
True
Suppose -7*a - 600 = -10*a. Does 8 divide a?
True
Let z(n) = -n**3 + 8*n**2 - 3*n - 7. Let v(s) = -s**2 + 10*s - 15. Let c be v(7). Is z(c) a multiple of 9?
False
Suppose -4*o + 112 = 5*c - 92, -2*c - 5*o 