 + 13. Suppose 5*y + 20 = 0, -d*b + 260 = -6*y + 2*y. Is 9 a factor of b?
False
Suppose 5*v + 2560 = -11*v. Let x = v + 542. Is x a multiple of 13?
False
Let b(v) = 8*v**3 + 3*v**2 - 2*v. Let j be b(1). Let g be 13/3 - (2 - 15/j). Suppose -2*k + 216 = g*k. Is k a multiple of 4?
True
Let z be (-6 + 4)*(-9)/2. Let r be 4/48 - 781/(-132). Suppose z*p - r*p = 21. Is p a multiple of 3?
False
Suppose -a - 2 = -4. Suppose 104 = -w + a*w. Suppose 0 = c - w + 19. Does 17 divide c?
True
Let m = -366 - -375. Suppose -6900 = m*w - 29*w. Is 24 a factor of w?
False
Suppose -106 = -6*q + 182. Let c = -43 + q. Suppose 480 = c*u + 5*k, 2*u = -0*u - 4*k + 200. Does 11 divide u?
False
Suppose -99*j + 2106745 = -1548632. Is j a multiple of 18?
False
Suppose 0 = 3*j - r - 1807 - 6123, 2*j - 5294 = -3*r. Suppose 3*w = g + 7*w - 676, -w = 4*g - j. Is 33 a factor of g?
True
Suppose 3*r = -k - 29, -4*k - 3*r + 17 = 88. Is 210 + 12*7/k a multiple of 51?
True
Suppose -r + 318 = 3*l, 68*r + 5*l + 286 = 69*r. Suppose -5*j + 18*g - 13*g + 510 = 0, 0 = -3*j + 5*g + r. Does 9 divide j?
False
Let a(j) = 45*j**2 + 5*j - 135. Is a(6) a multiple of 19?
False
Let n(f) = -f**3 - 65*f**2 + 358*f + 581. Does 7 divide n(-70)?
True
Let k(o) = 9*o**3 - 9*o**2 - 7*o - 567. Let t(j) = 4*j**3 - 4*j**2 - 3*j - 284. Let q(m) = 2*k(m) - 5*t(m). Does 13 divide q(0)?
True
Let t = 214 + -204. Suppose -t*m - 714 = -16*m. Is 9 a factor of m?
False
Let q(m) = m**3 + 20*m - 78. Let i be q(4). Is 17 a factor of (1936 + 0)/2 - (-330)/i?
False
Let s(j) = 5*j**2 - 5*j + 16. Let q(d) = 6*d**2 - 4*d + 17. Let a(x) = 6*q(x) - 7*s(x). Is 5 a factor of a(4)?
True
Let p = 33028 - 3122. Is p a multiple of 34?
False
Suppose 0 = 4*f - 20, 0 = -19*k + 18*k + 3*f + 5333. Does 43 divide k?
False
Let q be 22/6 + 6/(-9) + 233. Let y = -91 + q. Does 11 divide y?
False
Let m(t) = 6*t**2 - 7*t - 7. Let z be m(-1). Let d be (-1 + z)*(17 - 16). Suppose 0 = 5*w + f - 0*f - 480, d*w = -5*f + 500. Does 19 divide w?
True
Suppose -2*j + a + 508 = 0, -5*j = -4*j - 2*a - 260. Suppose 4*k = -4*w + j, -7*w = -3*w + 5*k - 248. Does 3 divide w?
False
Suppose 30*i + 206 = f + 33*i, -1508 = -7*f + i. Is f even?
False
Let g = -477 - -254. Let b = -184 - g. Is b a multiple of 14?
False
Suppose 0 = -3*s + 10*s - 434. Let j = s - -136. Is j a multiple of 11?
True
Suppose -3*m + 5*h + 16072 = -56045, 0 = 7*m - h - 168209. Does 147 divide m?
False
Let j(n) = -n**2. Let o(g) = -g**3 - 11*g**2 - 4*g + 21. Let r(w) = 6*j(w) - o(w). Is r(5) a multiple of 19?
False
Let f(q) = -q**3 + 5*q**2 - 6*q + 34. Let x be f(5). Suppose 4*s - 360 = s - 3*w, -x*s = -w - 480. Is s a multiple of 5?
True
Suppose -5*t + d = -7487, 4*t = 5*t - 4*d - 1486. Suppose k + 0*k = 4*p + 518, -2*p + t = 3*k. Is k a multiple of 32?
False
Suppose y - 522 = -8*y. Suppose 8*t + y = 10*t. Let o = t + -21. Is 5 a factor of o?
False
Let v(r) = 17*r**3 - 25*r**2 + 162*r + 29. Does 219 divide v(13)?
True
Suppose 6*m = 2*m + 4*t - 288, -5*t - 184 = 3*m. Suppose 0 = -2*v - 3*f - 235, -9*v + f - 579 = -4*v. Let a = m - v. Is 12 a factor of a?
True
Let n = 69 + -13. Let r = 77 - n. Is 5 a factor of r?
False
Suppose 59*y = 40*y + 9632 + 39578. Is y a multiple of 14?
True
Suppose 5 = f + 2. Suppose -5*k + 767 = f*s, 2*s = k + 71 - 227. Does 7 divide k?
True
Suppose 3*x - 9522 = 2*y, 4*y - 236 = -260. Is 10 a factor of x?
True
Is 3 + (-17 - (-501098)/13) a multiple of 39?
True
Let b(u) = -80*u**3 + 32*u + 212. Is b(-6) a multiple of 108?
False
Let y(g) = -g**2 - 2*g + 10. Let c be y(0). Let u be (-4)/5*75/c. Let d(r) = -r**3 - 5*r**2 - 7*r + 2. Is d(u) a multiple of 40?
True
Let j = -30054 - -48853. Does 11 divide j?
True
Suppose 9*h + i - 59 = 13*h, 62 = -4*h - 2*i. Let m = -69 + h. Is 4 a factor of m/56*2*-9?
False
Suppose 17*k + 7741 - 67292 = 0. Suppose -28*u + k = 395. Does 6 divide u?
False
Suppose 35 = 5*y, 36*y = -4*n + 34*y + 90582. Is 35 a factor of n?
False
Let d(q) = -326*q + 4631. Is d(-81) a multiple of 94?
False
Suppose -3*q + 14075 = n, 84*q - 86*q + n + 9395 = 0. Is 3 a factor of q?
False
Suppose -27160 - 239106 = -19*f. Is 26 a factor of f?
True
Let f = -12661 + 28665. Is f a multiple of 107?
False
Suppose 0 = -2*l + 5*t + 587, 5 = -3*t + 2. Let x = l - 212. Is x a multiple of 6?
False
Let n(q) = -12 + 0 + 2*q + q**2 + 3 + 8*q. Let f be n(-11). Suppose -w + 3*w + 92 = 4*t, -f*t + 34 = 2*w. Does 21 divide t?
True
Let b be (-34)/6 - 2/6. Let j be (2 + -6)*1*b. Is 19 a factor of 3 + j/(-4) - (-2 + -69)?
False
Is 7 a factor of -5*78/30 + 1977?
False
Suppose -3*z = 3, -16*v + 21*v + z - 64 = 0. Suppose -1483 - 1481 = -v*l. Is l a multiple of 4?
True
Let h be 7624/12 + 3 + (-30)/9. Suppose 0 = 3*l - 64 - h. Let u = -158 + l. Is 10 a factor of u?
False
Let z = 658 - 583. Suppose 0 = 2*t + 8, g = 8*t + z + 92. Does 27 divide g?
True
Let k(f) = 10*f**2 - 57*f + 51. Let z(t) = -18*t**2 + 114*t - 102. Let a(m) = 7*k(m) + 4*z(m). Is a(25) a multiple of 31?
True
Let c(k) = k**3 - 8*k - 388. Does 10 divide c(18)?
True
Let s = -1594 + 10734. Is 10 a factor of s?
True
Let q(z) be the first derivative of z**3/3 - 2*z**2 + 4*z + 2. Let f be 12*(2 - 4*10/16). Is 8 a factor of q(f)?
True
Let v be 2/(-1) - 3 - (2 + -20560). Suppose 136*i - 119*i - v = 0. Is i a multiple of 13?
True
Let p be (-17)/136 - (-66)/16. Suppose -7*h = -3*h - 5*f + 16300, 2*h + 8176 = -p*f. Is h/(-119) + 4/(-14) a multiple of 17?
True
Is (34/60 + (-35)/525)*464 a multiple of 116?
True
Let x(o) = -o**3 - 9*o**2 - 15*o - 7. Let d be x(-7). Suppose 3*w - 279 + d = 0. Let r = -71 + w. Is r a multiple of 12?
False
Let m(x) = -172*x**2 + 8*x + 27. Let f(d) = 173*d**2 - 11*d - 28. Let i(h) = -4*f(h) - 5*m(h). Is 14 a factor of i(3)?
False
Suppose -5*r + 5730 = 4*k, -k + 14*r - 16*r = -1428. Is k a multiple of 18?
True
Does 7 divide (-40 - -46)*14*(-94)/(-8)?
True
Suppose 0 = -k - 5*x + 42, 50 = k - x - 2*x. Suppose -3*n - 5 = -4*n. Is 47 a factor of k/((n/25)/1)?
True
Let l = -50 + 153. Suppose 5*z - 72 = l. Suppose -z*m - 138 = -38*m. Is m a multiple of 22?
False
Suppose -21*m - 10 + 52 = 0. Suppose 3*q = m*w + 758, -4*q = -7*q - 5*w + 751. Is q a multiple of 42?
True
Let l = -18049 + 18946. Is l a multiple of 69?
True
Suppose 0 = j - 2*k - 4997, 15003 = 3*j - 97*k + 93*k. Is 6 a factor of j?
False
Let u(w) = 2*w - 6. Let j be u(5). Suppose 2*g + 6*d = d + 235, 0 = j*g + d - 461. Let q = g + -71. Does 6 divide q?
False
Let g(p) = p**3 + 10*p**2 + p + 12. Let q be g(-7). Let u be q/14 + (-6)/(-42). Is 132/(3 + -1) + (9 - u) a multiple of 16?
True
Suppose 0 = -u - d - 170, 8*u - 11*u = -d + 518. Let o = u + 180. Is o a multiple of 4?
True
Let c(g) = -202 + 0*g + 4*g + 182 + 7*g. Is c(9) a multiple of 15?
False
Suppose -58*a + 35*a = -33258. Is 6 a factor of a?
True
Suppose d + 27 = 10*d. Let q be 7 + 2/(-2)*d. Suppose -2*b - 408 = -q*b. Is 17 a factor of b?
True
Let g be 1249/(-2) + 114/76. Is (-9)/(8 + -44) - g/4 a multiple of 52?
True
Let v(a) = -455*a - 727. Does 4 divide v(-5)?
True
Suppose 0 = -8*z - 6 + 54. Suppose -3*q = z*q - 5850. Is q a multiple of 14?
False
Let f(h) = -h**3 + 84*h**2 + 46*h + 717. Is f(83) a multiple of 22?
False
Suppose -25*c + 77121 = 8*c. Does 51 divide c?
False
Let j(k) = -334*k**3 - k**2 - k. Let g be j(-1). Is 24 a factor of (g + (7 - 10))*1?
False
Suppose 16*i - 394 = 214. Is (54/4 - 0/4)*i a multiple of 19?
True
Suppose -10*g = -45 - 75. Is 38 a factor of (76*-2)/(((-54)/g)/9)?
True
Let t(x) = 8*x + 3*x**2 + 1 + 0 + x**2. Let d be (-1)/((-328)/(-40) - 8). Is 10 a factor of t(d)?
False
Let o(q) = 5 + 0 + 9*q + 28. Suppose -4*k = -a - 26, -2*a = -2*k + 7*k - 39. Does 6 divide o(k)?
True
Let f = -1330 - -4450. Is f a multiple of 2?
True
Let v(q) = q**2 + 11*q + 28. Let j(z) = -3*z**2 + 0*z**2 + 30 + 24*z + 4*z**2 - 13*z. Let i(l) = -3*j(l) + 4*v(l). Is 3 a factor of i(-13)?
True
Suppose 5*x - 15882 = -2*w + x, -31746 = -4*w - 2*x. Let o be ((-3)/(-5))/(23/w). Suppose 7*z - 2*z = -2*l + o, -z + 387 = 4*l. Is 24 a factor of l?
True
Let j(d) = 339*d**3 + 2*d**2 - 4*d + 2. Does 206 divide j(3)?
False
Let b(z) = 205*z - 356. Let i be b(45). Suppose 0 = -15*l + 13736 + i. Is 11 a factor of l?
True
Suppose 5*q + k + 320 = 3*k, -5*k = 4*q + 289. Let m = q + 96. Suppose 9*g - 51 = m. Is 4 a fac