(-6) + -1)*-4. Let h be (m/4)/(3/(-8)). Suppose -4*p - 4*n = -228, -h*p = -p - 3*n - 159. Is p a multiple of 15?
False
Let i be (26/13)/(2/7). Suppose -4*h = i - 27. Let c(y) = 15*y - 6. Is 13 a factor of c(h)?
False
Let h(i) = -201*i + 5. Does 101 divide h(-5)?
True
Is 10 a factor of (8/(-10))/((-80)/13000)?
True
Let o(a) = 9*a**2 + 2. Let s(d) = -d**3 - d**2 - d + 15. Let z be s(0). Let h = z - 13. Is 19 a factor of o(h)?
True
Suppose 4*d = 3*y + 106, -y + 114 = 19*d - 15*d. Is d a multiple of 28?
True
Let a(x) = -5*x + 58. Does 7 divide a(6)?
True
Let i be (-21 + -2)*97/(-1). Suppose i = 19*b + 407. Is 6 a factor of b?
True
Let k be -3*(-6)/(54/15). Suppose -4*n = -y - 0*n - 33, -90 = 5*y + k*n. Let o = y + 28. Is 7 a factor of o?
True
Let l = 12 + -7. Let r = -2 + l. Suppose 0 = p - r*p + 48. Is p a multiple of 6?
True
Let a = 31 - 19. Let k = a - 10. Suppose -2*g + 5*n = -3*g + 41, -g + 41 = k*n. Does 16 divide g?
False
Suppose -44*o = -40*o - 12. Suppose 0 = 2*c - 6, -2*q + q + 45 = -o*c. Is 9 a factor of q?
True
Suppose -2*o - 88 = 230. Let g = -308 - o. Let v = -106 - g. Is v a multiple of 13?
False
Is 20 a factor of 60 + -58 - -5*181?
False
Let v be (0 + -2)/(2/(-3)). Suppose 12 = 5*p - v. Suppose -f = 2*y - y - 14, 2*f + 17 = p*y. Is y a multiple of 8?
False
Let w be (-407)/(-4) + 1 + 21/(-28). Suppose -2*f = -4*v + w, 6*f = v + 2*f - 8. Is v a multiple of 4?
True
Let a be -1*5*-3*(-28)/(-105). Let r(n) = 11*n**2 - 3*n + 8. Does 32 divide r(a)?
False
Does 7 divide (18459/(-45))/(2/(-10)*1)?
True
Let y(f) = f**2 + 3*f - 6. Let p(r) = 2*r - 5. Let w be p(4). Suppose w*g + 5*s = -3, -g - 4*g = -s - 23. Is y(g) a multiple of 22?
True
Let f(c) = -c**3 + 45*c**2 - 58*c + 116. Is 55 a factor of f(43)?
True
Suppose -3*q + 294 = 3*j, 3*q - 70 = 3*j + 224. Suppose -5*n - q = -6*n. Does 14 divide n?
True
Let j(u) be the third derivative of u**5/20 - 17*u**4/24 - u**3/3 + 5*u**2. Is j(7) a multiple of 3?
False
Suppose 3*u = -2*u + 75. Suppose 119 = u*r - 14*r. Does 45 divide r?
False
Let z(u) = 22*u - 40. Is 10 a factor of z(8)?
False
Suppose 0 = w - 3 - 0. Let l = w - 0. Suppose -p + 5*p = l*v + 275, -3*p + 5*v + 209 = 0. Is p a multiple of 17?
True
Suppose 4*v - 5*s = 87, -44 = -4*v + s + 31. Is 986/v - (-2)/9 a multiple of 11?
True
Suppose 0 = -0*p - 3*p - 114. Let n = 78 + p. Suppose 64 = 4*s - n. Does 13 divide s?
True
Suppose -6 = 23*q - 21*q. Let d be ((-4 - -4)/q)/(-2). Let r = 10 + d. Does 5 divide r?
True
Let u = 42 + -12. Suppose -2*t - 4*s = s - 26, u = 5*t - 5*s. Does 23 divide ((-46)/4)/((-1)/t)?
True
Let u = -250 + 453. Does 22 divide u?
False
Suppose 3*v + 7 = 4*c, 2*c + c = v + 9. Suppose -20 = 4*d + 2*g, 0*g - c*g = -3*d - 4. Let q(f) = -25*f - 3. Does 25 divide q(d)?
False
Let a = 648 + -353. Does 9 divide a?
False
Let x(p) = p + 2. Let s be x(2). Let f = 3 + s. Let i = f + 78. Does 28 divide i?
False
Let g be -3 + (18/21)/(2/1148). Suppose -4*i = -3*s - 5*i + 479, 3*i - g = -3*s. Does 23 divide s?
False
Let s(n) = -582*n**3 - 2*n**2 + 6*n + 7. Is s(-1) a multiple of 25?
False
Suppose 15*t - 74 - 46 = 0. Suppose t*r - 6*r - 160 = 0. Is r a multiple of 8?
True
Let m(r) = -3*r + 601. Is m(-48) a multiple of 15?
False
Let i be (6/(-12))/(2/4). Does 8 divide (-12)/(i - 4/8)?
True
Let l(u) = -90*u**3 + u**2 + 8*u + 8. Is l(-1) a multiple of 13?
True
Let r(y) = -y**3 - 9*y**2 - 12*y - 28. Does 2 divide r(-8)?
True
Suppose 5*c = 455 + 315. Is 22 a factor of c?
True
Let i = 763 - 76. Is i a multiple of 20?
False
Suppose -t + 23 - 21 = 0. Suppose 5*u = -f + 66 + 58, t*u = 3*f - 287. Is f a multiple of 21?
False
Let x(t) = -2*t**3 + 2*t**2 + 2*t + 1. Let b be x(-1). Suppose o = b*o + 490. Let l = -158 - o. Is l a multiple of 29?
True
Let x = -790 + 1290. Is 49 a factor of x?
False
Let z(n) = n**2 - 2*n - 6. Let a be z(4). Let v = 13 - 11. Is 8 a factor of v - a - (-41 + 1)?
True
Suppose -5*v = -2*v. Suppose 4*u - u - 111 = v. Suppose 4*m = 4*k + u - 261, 4*k + 3*m = 196. Is k a multiple of 13?
True
Let d be (12/(-10))/(6/(-80)). Suppose u + d = 5*u. Is 5 a factor of u/(-3)*(-45)/6?
True
Suppose 15*b = 10*b + 1260. Suppose -6*t + b = -2*t. Does 7 divide t?
True
Let u(s) = s**3 + 12*s**2 + s + 6. Let o be u(-12). Let k be o/((-6)/15 - 0). Suppose 4*r + 5 = 3*m - k, m - 2*r - 4 = 0. Is m a multiple of 12?
True
Suppose -5 = -3*x - 20. Let f(u) be the first derivative of u**3/3 + 3*u**2 + 11*u - 3. Is f(x) even?
True
Let c = 67 - 37. Let n be ((-4)/10)/(6/c). Does 27 divide 6 + n + (101 - 2)?
False
Suppose 0 = -k - 50. Let i = 18 - k. Is 17 a factor of i?
True
Suppose 2*k + z + z = 8, -3*k + z = -8. Suppose 5*x - 610 = -5*p, -2*x = k*p - 4*x - 381. Is 25 a factor of p?
True
Does 11 divide -19 + 14 - (-6*39 - 2)?
True
Suppose -b + 72 = 3*b. Suppose -5*p + 11*p + 210 = 0. Let a = b - p. Does 29 divide a?
False
Let g(b) = 20*b + 34. Does 11 divide g(17)?
True
Let g = 55 + -42. Suppose -17*w + g*w = -436. Does 11 divide w?
False
Let z be 6/(-3 - -1 - -6 - 3). Suppose -4*v - z*v + 3040 = 0. Is v a multiple of 21?
False
Let f(k) = k**2 + k + 52. Does 10 divide f(6)?
False
Let b(n) = 120*n - 8. Let z be b(6). Suppose -3*l - 5*l = -z. Is 27 a factor of l?
False
Let n = 12 + -420. Does 16 divide (2/6)/((-8)/n)?
False
Suppose q + 401 = -4*s, s = 3*s - q + 193. Let z = s + 171. Suppose 4*i + z = 2*t, -2*t - 3*i + 82 = -2*i. Does 20 divide t?
True
Let q(g) = -2*g**2 + 2*g - 3. Let c be q(2). Is 16 a factor of (36/c)/(1/(-14))?
False
Suppose 2*n + 2*n = 12. Suppose 0 = -n*c - c. Suppose -3*i - 5*k + 70 = c, -3*k - 27 = -i - k. Is 14 a factor of i?
False
Suppose -6*l - 8 = 4*s - 2*l, s + 3*l = -6. Suppose -3 = -z - s. Suppose -z*y - 2*y = -105. Does 7 divide y?
True
Let b = 65 + -22. Let p = b - 29. Let z = p + -10. Is z a multiple of 4?
True
Let z be (-10 + -2)/(5/((-20)/8)). Suppose -156 = -2*x - 4*g, -4*g = z*x - 2*x - 324. Does 21 divide x?
True
Let n(a) = 2*a - 10. Let o be n(7). Suppose o*d = d. Suppose d*b + 250 = 5*b. Is b a multiple of 9?
False
Let w be 3306/12 - (-1)/2. Let y = w + -99. Does 25 divide y?
False
Let v(q) be the second derivative of q**5/20 - q**4/12 - q**3/6 + q**2/2 + 16*q. Is 9 a factor of v(4)?
True
Let l be 17*3*9/27. Suppose o - l = 10. Does 9 divide o?
True
Let f(k) = -41*k. Let j be f(1). Let u = -16 - j. Is u a multiple of 25?
True
Suppose -11 = -s + 17. Let g be 3/12 + s/16. Suppose g*h = -t - 0*h + 32, 5*t + 4*h - 190 = 0. Is 10 a factor of t?
False
Suppose 60 = r + h + 2*h, 0 = -4*r + 4*h + 256. Suppose 0 = -2*b + 3*b - r. Does 10 divide b?
False
Suppose -25*c + 1298 = -14*c. Is 21 a factor of c?
False
Suppose -7*a + 3*a = 3*m + 10, -a - 10 = -3*m. Let y = a - -1. Let u = 8 + y. Does 2 divide u?
False
Let w(g) = 179*g + 8. Is w(3) a multiple of 9?
False
Let b be (-9)/((-27)/(-446)) + 4/6. Let l = b - -228. Is 4 a factor of l?
True
Let s = 1356 - 37. Does 20 divide s?
False
Suppose -29821 + 2254 = -27*n. Is n a multiple of 8?
False
Suppose 4*m = -3*w + 863, 17*m + 5*w + 1035 = 22*m. Is m a multiple of 26?
False
Suppose 64 = 8*f - 4*f. Does 26 divide f/(-28) - 2125/(-7)?
False
Let g = 821 + -468. Does 72 divide g?
False
Let z(k) be the second derivative of k**4/12 + 3*k**3/2 - 11*k**2/2 - 2*k. Does 3 divide z(-11)?
False
Let z(f) = f**3 - 2*f**2 - 3*f + 12. Let t be z(4). Let n = 37 - t. Is n a multiple of 3?
False
Let o be -14*(1 - (-9)/(-2)). Suppose 16 = v - i, -9*v = -5*v + i - o. Is v a multiple of 3?
False
Let x(n) = n**3 - 12*n**2 - 8*n + 3. Is 2 a factor of x(13)?
True
Suppose -11*l - 47 = 19. Let d be ((-2)/(-2))/((-1)/(-12)). Does 14 divide (-88)/l*18/d?
False
Let j(d) = -85*d**3 + d**2 + d. Let r be (-26)/(-5)*(-15)/(-6). Let x = r + -14. Is j(x) a multiple of 19?
False
Let m be (-66)/4*(-3 + 1). Suppose -14 = -2*d + 2*x, -d + 3*d + 3*x = 4. Suppose -d*k = 2*i - m, -k = -2*i + 4*k + 3. Is i a multiple of 3?
True
Let u be (-2 + 0 + 62)/(-1). Let x = u + 175. Is 23 a factor of x/10*2*4?
True
Let u(s) = 59*s - 1. Let d be u(-5). Let j = d + 468. Suppose -j - 32 = -4*y. Is y a multiple of 28?
False
Suppose -2*c = -3*o + 469 + 935, -4*c = -3*o + 1410. Does 23 divide o?
False
Is 31 a factor of (-3)/18 - 10047/(-18)?
True
Let u be (121 + -7 + 3)*-1. Let t = 184 + u. Suppose -t = -j - 4. Is j a multiple of 22?
Fal