270 = 0. Is i a multiple of 7?
False
Let g(y) = 2745*y**3 + 4*y**2 + 9*y - 8. Does 81 divide g(1)?
False
Let x = 23 + -13. Suppose -x*c + 2*k = -12*c + 556, 2*c - 2*k - 544 = 0. Is c a multiple of 33?
False
Suppose 37*s - 85787 - 21143 = 0. Is 38 a factor of s?
False
Let b = -5371 + 11807. Is b a multiple of 18?
False
Let g = -49 + 20. Let q = 31 + g. Suppose -y = -2*k - 95, 0*y + 220 = q*y + 2*k. Does 19 divide y?
False
Suppose j + 6439 + 1472 = 3*a, 0 = -2*j + 12. Is 22 a factor of a?
False
Suppose 5 = k + w, k + w = 2*k - 7. Let l(p) = p**3 - 6*p**2 + 12*p - 12. Is l(k) a multiple of 5?
True
Let h = 244 - 216. Suppose 1588 = 2*z + 2*k, -h*z = -31*z + 2*k + 2377. Is z a multiple of 16?
False
Is 179 a factor of (1 - 51911)/(24 + -26)?
True
Suppose -4*t = 4*s - 32, -s - s = 0. Suppose -t*h + 7 = -1. Is 7 a factor of h/((-3)/30)*(-6)/4?
False
Let n(o) = 565*o + 331. Is n(14) a multiple of 56?
False
Let r be 26/12 + (-3)/36*-10. Is (-75)/(-1)*r/((-27)/(-42)) a multiple of 10?
True
Let o be 12/8 - (-150)/4. Let j = 97 + o. Is 17 a factor of j?
True
Let l(h) = -16*h + 377. Let n be l(-41). Let s = -753 + n. Is s a multiple of 10?
True
Let k(x) = x**2 + 2*x + 11. Suppose -6*m + 2*m = 3*l + 15, 0 = 5*m - 5*l - 25. Suppose 2*g + m*g = -3*z + 25, 0 = -5*z - 5*g + 40. Does 22 divide k(z)?
True
Let y(p) = p**2 + 5*p + 15. Let q be ((-6)/(-12))/(1/(-12)). Does 5 divide y(q)?
False
Let g = -89 + 86. Let r be (-44)/(-16) + g/4. Suppose 0*u - 286 = -r*u. Does 19 divide u?
False
Let z(i) = -i**2 + 13*i + 34. Let g be z(15). Suppose 134 = -g*c + 574. Is c a multiple of 11?
True
Let s(q) = q**2 + 2*q + 3. Let y be s(-2). Suppose -3*u = -y*o, 0*o - 2*o - 5*u = 0. Suppose 3*z = -4*g + 158, 5*g + 205 = -o*z + 5*z. Is 23 a factor of z?
True
Suppose 0 = 2*t - 4*n - 106, 2*t + t + 5*n - 115 = 0. Let w = -4 + 8. Suppose -w*g = -g - t. Does 6 divide g?
False
Let c(b) = 2*b**2 - b + 1. Let n(w) = -11*w**2 - 24*w + 43. Let p(m) = -5*c(m) - n(m). Is p(-42) a multiple of 6?
True
Let a = 17 - 11. Suppose q - a + 3 = 0. Suppose 0*x + 327 = q*x. Is 13 a factor of x?
False
Let q be (-14833)/35 + -8 - 3/15. Let a = q - -442. Is 2 a factor of a?
True
Let t(u) = 24*u + 3332. Does 5 divide t(72)?
True
Let r(d) = 23*d**2 + 19*d + 45. Suppose -2*x = -0*g - 5*g - 15, -3*x = 0. Is 15 a factor of r(g)?
True
Let f(b) = 23*b**2 + 31*b - 1. Let j be f(1). Suppose 2*t + 2*w - 418 = 0, w + 1051 = 4*t + t. Suppose 4*z - 7*v - t = -4*v, z = v + j. Is 17 a factor of z?
True
Suppose -8*z + 0 + 40 = 0. Suppose -2*u + 742 = 4*t, 0 = -t + 5*t + z*u - 727. Is 14 a factor of t?
False
Let v = -31 - -29. Let f be -4 + (4*9 - v). Suppose f = 2*r - 2*i, 0 = 4*r + 4*i - i - 89. Is 5 a factor of r?
True
Suppose -52*v = s - 45*v - 57365, 3*v = -15. Does 200 divide s?
True
Let l be ((-27)/6 - -3)/((-15)/370). Let n = 0 - 7. Let t = l + n. Does 8 divide t?
False
Let f(r) be the second derivative of 2*r**3/3 + 6*r**2 - 31*r. Let h be f(-5). Let a(i) = -2*i**2 - 26*i + 4. Is a(h) a multiple of 7?
True
Let q = -186 - -205. Is 17 a factor of ((-2)/(-4))/(q/3876)?
True
Let w = 26124 - -3839. Does 19 divide w?
True
Let g be (-51)/(-15) + (-24)/(-40). Suppose -4*z + 483 = -r, 5*z + 132 = 6*z - g*r. Does 4 divide z?
True
Let t be 1/(-4*(-6)/744). Let d = 150 + t. Does 3 divide d?
False
Suppose 3*h - 4*o - 627 = 3325, -3*o = -4*h + 5267. Does 14 divide h?
True
Suppose -2*q + 6 - 2 = 0. Suppose 128*z - 2 = 127*z. Suppose -q*j = z*j - 588. Does 13 divide j?
False
Let u(l) = l**3 + 29*l**2 + 3*l + 55. Let k be u(-29). Let n = 56 - k. Is n a multiple of 11?
True
Suppose -5*a + 16644 + 2759 = q, -4*q - 11628 = -3*a. Does 10 divide a?
True
Suppose -901*h + 48924 = -895*h. Does 9 divide h?
True
Let r(c) = -c**3 - c**2 + 2*c + 3. Let y be r(-3). Suppose y*m - 44*m + 986 = 0. Does 33 divide m?
False
Suppose 3*q = -4*b + 1867, -5*q + 3*b + 0*b = -3073. Let g = 887 - q. Does 14 divide g?
False
Let p be 1/(29/(-58) - (-4)/6). Suppose 0 = -5*b - 0*b + 5. Is 12 a factor of (-3 + p)/(b/13)?
False
Let h(r) = 9*r**2 + 162*r - 412. Is h(52) a multiple of 34?
False
Let y(s) be the first derivative of s**4/4 - s**3 - s**2 + 6*s - 28. Let x be y(3). Suppose -f = -5*m + 699, 2*m + 3*f + 67 - 350 = x. Does 35 divide m?
True
Let a(w) = 177*w**2 + 59*w + 248. Does 4 divide a(-4)?
True
Let s be 1372/(-18) - 6/(-27). Suppose 147*u - 34283 = 4819. Let m = s + u. Is m a multiple of 32?
False
Let v be ((-83)/(-2) + -1)*(-1224)/(-68). Let p = v + -378. Does 13 divide p?
True
Does 74 divide -3*(-444)/36*(-206)/(-1)?
True
Let c(i) = -i**2 - 23*i + 3. Suppose -5*u - 68 = 3*n, 4*n + 107 = 3*u - 3. Let g be c(n). Is (2 - g)/1*1 a multiple of 7?
True
Let a = 24882 + -20174. Does 44 divide a?
True
Let z be 3*(-2)/(-6) - 255/(-1). Let i = -196 + z. Is 15 a factor of i?
True
Suppose -8*z + 36 = 948. Let p = -329 - z. Is (-1)/(-4 - p/54) a multiple of 9?
True
Let z = -728 + 732. Suppose -13*h + 300 = -12*h + z*q, -4*h - 5*q = -1167. Is 12 a factor of h?
True
Let k = -806 + 1394. Let q = k + 6. Does 11 divide q?
True
Is (-2)/(-13) - (116600/(-65) + 4) a multiple of 4?
False
Suppose -8 = 5*m - j - 0, 5*j + 10 = 0. Let d be ((-1)/(-2) - -1)*(-12)/m. Is 44 a factor of (-3)/(d/(-389)) + (-4)/6?
False
Let k = 2804 - -17323. Is 79 a factor of k?
False
Let z = 21302 + -14916. Is 62 a factor of z?
True
Let t = 8380 - 1149. Does 21 divide t?
False
Let z(i) = -2*i**2 - 10*i + 5. Let c be z(-5). Suppose c = -h + 13. Suppose h*t + 330 - 810 = 0. Is 19 a factor of t?
False
Suppose 44*x - 30 = 41*x. Suppose x*i - 6740 = -0*i. Does 45 divide i?
False
Let b(s) = 13*s - 5. Let a be b(5). Suppose -a*t = -53*t - 1379. Is 7 a factor of t?
False
Let f = -4335 - -5425. Does 6 divide f?
False
Let w = -9503 - -14753. Does 28 divide w?
False
Suppose -16*f - 70 = -23*f. Suppose -4*j + 3990 = f*j. Is j a multiple of 3?
True
Let s(g) = 6*g**3 + 3*g**2 - 2*g + 3. Let v(y) = 3*y**2 + y. Suppose -l - 2 = l. Let w be v(l). Is 9 a factor of s(w)?
False
Let h(j) = 7*j**2 - 12*j**2 + 30*j**2 + 18 + j + 22*j**2. Let m be h(-5). Suppose -p = -13*p + m. Is p a multiple of 6?
False
Let x(a) = -a**3 + 2*a**2. Let c be x(-4). Suppose -4*l + 66 = o, 133*o = 128*o + 2*l + 220. Let t = c - o. Is 25 a factor of t?
True
Let q = 472 + -475. Does 29 divide -1 + (932/12)/((-1)/q)?
True
Let k = 10219 - -4936. Does 34 divide k?
False
Let a(v) be the second derivative of v**5/20 + v**4/2 - v**3 + 7*v**2 + v. Suppose 4*t - j + 34 = -3*j, -t + 4*j + 14 = 0. Is 10 a factor of a(t)?
True
Suppose -m + 4*r = 2*m - 11, -4*m = -3*r - 17. Suppose -m*z = 5*z + 610. Let t = 185 + z. Is 20 a factor of t?
False
Suppose 0 = 3*s + q - 15, 4*s = 5*s + 5*q - 5. Suppose -3*c - 24*b + 603 = -26*b, 2*c - s*b = 402. Is 3 a factor of c?
True
Let c(b) = -b**3 - 8*b**2 + 37*b + 27. Does 6 divide c(-14)?
False
Let k(h) = -h**3 + 11*h**2 + 8*h + 7. Suppose 2*t = 4*s - 10, 2*t + s = 3*s - 10. Does 14 divide k(t)?
False
Let x(k) = -2640*k - 7509. Is x(-12) a multiple of 21?
True
Suppose -1497 = -l - w, 3*l - 4466 = 2*w - 0*w. Suppose -10072 + l = -22*s. Does 30 divide s?
True
Suppose -2*q = 4*u - 21570, 9*u = 10*u - 4*q - 5406. Is u a multiple of 29?
True
Is (-4714)/(-10) - (-252)/420 a multiple of 8?
True
Let g be 3 - ((-1)/(-3) - (-903)/(-9)). Let x = g + -65. Let f = x + 0. Does 19 divide f?
True
Let k = 438 - 748. Is (36/5)/((-93)/k) a multiple of 3?
True
Let u = -150 + 161. Suppose u*h = 949 + 74. Does 3 divide h?
True
Let k(w) = -15*w + 6. Let y be k(5). Let p be 1/3 + (y/(-9) - 6). Is 15 a factor of 3 - (p + -1 - 4)*19?
True
Let o = -7509 - -7536. Is 3 a factor of o?
True
Let v(o) = -3*o**2 - 300*o + 210. Is v(-41) a multiple of 21?
False
Let a(z) = -175*z + 11. Let t be a(-2). Let o = -218 + t. Is o a multiple of 13?
True
Suppose -289 = 2*a + 15*a. Let r be 10/(-80) - a/8. Suppose f - 48 = -2*w, -5*w + 215 = r*f + 3*f. Does 7 divide f?
False
Suppose -146*h + 2928883 = -1721655. Is h a multiple of 53?
True
Let x(c) = 12*c + 82. Let m be x(-7). Is 57 a factor of (m + 135)*8/2?
False
Suppose -10*q = -4463 - 1657. Suppose -9*n - q = -18*n. Is 16 a factor of n?
False
Let n = -4829 + 6241. Is 3 a factor of n?
False
Suppose -4*a - 4144 = -21*a + 10*a. Is a a multiple of 3?
False
Let c = -11 + 13. Let z(j) be the third derivative 