ose -25*w + 46728 = -7*w. Is 17 a factor of w?
False
Suppose 0 = t + s + 10, 0 = 4*t + 2*s - 0*s + 50. Let b be (t + 5)*24/(-10). Let m = -9 + b. Is 6 a factor of m?
False
Suppose 0 = -2*z - 5*g, z - 2*g = 3*g + 15. Suppose 32 = i - z. Does 3 divide i?
False
Let p(a) = -17*a. Let n(q) = -q**3 - 5*q**2 + 7*q + 5. Let r be n(-6). Let c = r - 2. Is p(c) a multiple of 17?
True
Let v(g) = -2*g + 9. Let d be (-1)/4 + (-15)/4. Does 5 divide v(d)?
False
Let w(k) = k**3 + 5*k**2 + 3*k. Let n be w(-3). Let a(p) = p**2 + p + 6. Let b be a(n). Suppose -3*d - 2*l + b = l, 0 = -2*d + 4*l + 46. Is d a multiple of 22?
False
Let y = -219 + 342. Let d = 12 + y. Is d a multiple of 45?
True
Suppose -2 - 4 = -6*x. Does 4 divide (x + 0)*(-36)/(-3)?
True
Suppose 3880 = -876*n + 880*n. Is n a multiple of 13?
False
Suppose -5*f + 9 + 1 = 0. Suppose 117 = f*q - 11. Is 16 a factor of q?
True
Let l be -48*20*1/(-3). Suppose 14*s = 10*s + l. Does 20 divide s?
True
Suppose 0 = -3*n - 9 + 3. Let v = n + 7. Suppose 0*r + v = -r, 0 = -y + 4*r + 33. Does 13 divide y?
True
Does 6 divide -6 - (-32 + 2/1)?
True
Suppose 3 = 4*d - 5. Suppose d*u + u = 12. Suppose m + u*z = 20, -3*m + 64 = 3*z + 13. Does 12 divide m?
False
Suppose 0 = 16*d - 20*d + 3360. Does 14 divide d?
True
Let c be (9 + -9)/(-3 - -1). Suppose -4*r - 17 + 121 = c. Is r a multiple of 26?
True
Suppose 41*p = 45*p. Suppose 20 = 5*o, p*d + o = -4*d + 544. Is d a multiple of 9?
True
Suppose -7*o = -681 + 86. Is 7 a factor of o?
False
Let v = -66 + 71. Suppose 3*q - 237 = -v*h, -3*h = -2*q + 45 + 132. Is 28 a factor of q?
True
Suppose -6*j + 4768 = 2*j. Is 24 a factor of j?
False
Suppose 0 = -37*z + 35*z + 1070. Does 12 divide z?
False
Let q(b) = 72*b - 3. Let g(s) = -2*s - 39. Let d be g(-20). Is 21 a factor of q(d)?
False
Let g be (0 - 8)*(1 - 3). Suppose -3*p - 9 = -0*p + 3*i, 4*p + 2*i = -g. Does 5 divide 1 + p/((-5)/9)?
True
Is 28 a factor of -11 + 10 + -1 + 6*61?
True
Suppose 279 = 49*a - 40*a. Is a a multiple of 10?
False
Is 581 - (2 - (-2 + -1)) a multiple of 48?
True
Let p(z) = -4*z**2 - 19*z - 2. Let y(v) = 5*v**2 + 20*v + 1. Let u(n) = 6*p(n) + 5*y(n). Is u(15) a multiple of 8?
True
Suppose 66 = 2*w - 3*n - 615, 2*w + 3*n - 699 = 0. Does 23 divide w?
True
Let c = -40 + 1380. Does 20 divide c?
True
Suppose -5*l + 2 = j, 7 = -12*j + 11*j + 4*l. Let r(h) = h**2 - 4 - 5*h**3 + 4*h**3 + 5*h + 9. Does 13 divide r(j)?
True
Let n = -627 + 1087. Is n a multiple of 20?
True
Let k = 75 + 16. Is k + (0 - -4) + -7 a multiple of 18?
False
Let a be 3/(-9) + (-31)/(-3). Suppose a = -5*g + 6*g. Is g a multiple of 5?
True
Suppose 35 = o - 4*r, 4*r - 6*r = -10. Does 26 divide (-1 - o)*-2*(-19)/(-38)?
False
Let r(b) = 39*b - 52. Does 13 divide r(14)?
True
Suppose 0 = -x - x - 16. Let o = x + 39. Let w = 67 - o. Does 12 divide w?
True
Suppose c - 6 = -k, 0 = -4*k + 4*c - c - 4. Suppose k*m + 2*a - 148 = 0, m - 76 = -3*a + a. Is 18 a factor of m?
True
Let w be (1 + -47)*((-25)/(-10))/(-5). Suppose w*h - 27*h + 292 = 0. Is 17 a factor of h?
False
Suppose -3*s - 78 = d, -4*s - 2*d = 47 + 55. Let k = s + 32. Suppose 23 = -k*x - 3*b + 110, 76 = 4*x + 4*b. Is x a multiple of 3?
True
Suppose 0 = -0*t - 3*t + 9. Suppose -4*c = 3*h - 20, -4*c + 15 = -c + 3*h. Suppose c + 5 = 2*s, t*s + 220 = 5*r. Does 21 divide r?
False
Let h(a) = a**2 + a - 27. Let p be h(-6). Suppose -8 = -p*x + 112. Does 20 divide x?
True
Suppose -8*n - 1124 = -6404. Suppose 0 = -3*q + 5*j + 452, -9 = 4*q + 3*j - n. Does 18 divide q?
False
Is -2*1/4*(-428 + 14) a multiple of 23?
True
Let j = 266 - 76. Is 31 a factor of j?
False
Let m(k) = 2*k - 7. Let q be m(5). Suppose -q*t = t + l - 15, 5*t + 3*l = 17. Does 15 divide 207/4 - 3/t?
False
Suppose 0*q + 264 = -2*q. Let u = 262 + q. Is u a multiple of 29?
False
Is (-1)/11 - (1296480/44)/(-5) a multiple of 83?
True
Let q = -83 + 116. Is 7 a factor of q?
False
Let f(x) = -6*x**2 - 3*x - 1. Let z(l) = 7*l**2 + 3*l. Let o(y) = -6*f(y) - 5*z(y). Let h be o(5). Let k = h - -8. Does 14 divide k?
False
Let z(o) = -414*o**3 + 2*o**2 - 38*o - 80. Is 29 a factor of z(-2)?
False
Let f(z) = -69*z + 328. Is 25 a factor of f(-13)?
True
Let m be (-121)/22 - 1/(-2). Let o(l) = -l**3 - 6*l**2 + 2*l + 7. Let g be o(m). Does 5 divide (-686)/g - (-1)/2?
True
Let q be 0 + (2*3)/((-3)/(-2)). Suppose -3*r + 5*v = -149, 0*v + 252 = q*r + 4*v. Is 7 a factor of r?
False
Suppose q + 150 + 326 = 3*d, q - 623 = -4*d. Is d a multiple of 30?
False
Let s(d) = 4*d - 19. Let w(h) = -h. Let n(q) = s(q) - 5*w(q). Does 25 divide n(16)?
True
Let f(r) = 6*r**2 - 34*r - 1. Let w(m) = m + 3. Let b be w(6). Is f(b) a multiple of 11?
False
Let z be 1/((-5)/40 - 0). Let k(o) = -o**2 - 11*o - 6. Does 9 divide k(z)?
True
Let w(r) = 327*r + 204. Is w(12) a multiple of 12?
True
Suppose -248 = 44*a - 45*a. Is a even?
True
Let i(u) be the third derivative of 31*u**4/24 + u**3/3 - 13*u**2. Suppose 3*s + 2 = 4*k - 15, -3*k + 3*s + 15 = 0. Does 14 divide i(k)?
False
Let s(g) be the second derivative of -g**4/12 + 7*g**3/6 + 7*g**2 - 15*g. Is s(7) a multiple of 7?
True
Let v = -452 - -702. Does 10 divide v?
True
Let x(o) = 61*o**2 + 80*o + 26. Is x(6) a multiple of 36?
False
Let o(r) = -r**3 - 2*r**2 - 6*r. Let a be o(-4). Suppose 0 = -c - 12 - a. Let x = -46 - c. Is 4 a factor of x?
False
Suppose 0 = 4*w - 4*s + 7 - 23, -2*s = -w + 6. Suppose -w = -i - 0. Suppose 87 = i*p - 51. Is p a multiple of 21?
False
Suppose 2*k + 8 = 0, -4*p - k + 28 = -0*k. Is p*(16/14)/((-2)/(-14)) a multiple of 32?
True
Suppose 4*p - 2*d - 14 = 0, -5*p + 3*p + 3*d = -5. Let f(j) = -j + j**3 + p*j - 2 + j**3. Is 5 a factor of f(2)?
True
Let a(g) = 7*g + 4. Let s be a(3). Let r(t) = -t**3 + 6*t**2 - t - 10. Let k be r(6). Let n = k + s. Is n a multiple of 3?
True
Let t(i) = -20*i - 214. Is t(-26) a multiple of 12?
False
Let f = 668 + -631. Is 20 a factor of f?
False
Let m = -248 - -476. Does 57 divide m?
True
Let g = -1406 + 2383. Does 25 divide g?
False
Let m = 955 - 610. Is m a multiple of 15?
True
Let w(i) be the second derivative of -i**5/20 + i**4/6 + 13*i**3/6 + i**2 + 12*i + 1. Is w(-5) a multiple of 21?
False
Let p be 8 - 121 - (4 - 0). Let y = p - -172. Suppose v - y = 13. Is 17 a factor of v?
True
Let c = -18 - -74. Is (-42)/c - 111/(-4) a multiple of 6?
False
Let w(o) = -2*o - 10. Let d be w(-5). Suppose 3*c + 0*c - 720 = d. Suppose 3*v = -2*v + c. Is v a multiple of 16?
True
Let j(b) = 7*b - 25*b - b**3 + 10*b - 5. Does 32 divide j(-5)?
True
Let q be (-8)/24 + (-56)/(-6). Let r(f) be the first derivative of f**4/4 - 8*f**3/3 - 5*f**2/2 + 9*f + 4. Is 12 a factor of r(q)?
False
Let j be (108/8)/((-3)/(-40)). Let i be 17 - 0 - (1 - 5). Suppose -3*z = -i - j. Is 23 a factor of z?
False
Let k(w) = -w**3 + 3*w**2 + 33*w + 1. Is k(7) a multiple of 6?
True
Let c(f) = 8*f - 21. Let y(g) = -g - 1. Let n be y(-8). Does 9 divide c(n)?
False
Let q(b) = b**2 + 14*b + 16. Let m(w) = -w**2 - 13*w - 15. Let k(s) = 3*m(s) + 2*q(s). Let a be k(-9). Is 24 a factor of (a/1)/((-2)/(-18))?
False
Suppose 0 = 2*h - 4*h + 20. Let m be -1 + 23 - h/(-5). Suppose -5*n + 2*q = -120, 2*q + m = 2*n + 6*q. Is n a multiple of 21?
False
Suppose -h = 4*f - 18, -f - 6 = 5*h - 20. Suppose 352 = h*k + 28. Is 27 a factor of k?
True
Suppose 3*r - 584 = 3*y - 2852, -5*y - 2*r = -3780. Is 54 a factor of y?
True
Let n = 1529 - 476. Is 9 a factor of n?
True
Let a = 834 + -351. Is 72 a factor of a?
False
Suppose 4*y - 6929 = -5*n, -n + 19*y = 17*y - 1383. Does 10 divide n?
False
Suppose 0 = 3*t + 3, 2*z - 18 = -6*t + 10*t. Suppose 3*r - z + 10 = 0. Let s(p) = 38*p**2 - 2*p - 1. Is s(r) a multiple of 16?
False
Let h(k) be the second derivative of 0 - 5*k - 2/3*k**3 + 1/12*k**4 + 7/2*k**2. Is 11 a factor of h(6)?
False
Suppose -4*t - 2 + 378 = 0. Is t a multiple of 47?
True
Let r(h) be the first derivative of -11/3*h**3 - 5*h**2 + 4 + 1/4*h**4 + 12*h. Does 9 divide r(12)?
True
Suppose -6*a + 7*a + 4*t - 56 = 0, -4*a + 284 = 4*t. Does 7 divide a?
False
Let y(j) = 2*j**2 + 12*j + 7. Suppose 2*t = -18 + 2. Is y(t) a multiple of 17?
False
Suppose -3*c = -314 - 382. Is 8 a factor of c?
True
Let u = 9 - -262. Does 34 divide u?
False
Let s be -4 + 7 - 102/(6/2). Let u = s + 55. Is 24 a factor of u?
True
Let q(b) = 20*b - 100. Let x(l) =