e 918 = 2*n - 5*o - 20094, -30 = -5*o. Is n a multiple of 10?
False
Let i be (-13)/(-7 + 3 - -3). Let r = i + -25. Does 5 divide (1 - 20)*(-15 - r)?
False
Suppose 4*o + 13 = 33. Suppose 0 = 5*m + z - o*z - 14, 0 = m - z - 2. Let v = m + 6. Does 6 divide v?
True
Let r be 6 + -3 - 0*(-3)/3. Suppose -2*n - 9 = m - 1, 26 = r*m - 4*n. Suppose 0 = 4*v - 12, -2*g + 262 = 2*g - m*v. Does 5 divide g?
False
Let y = 18351 + 4224. Is 35 a factor of y?
True
Let y = -51 - -43. Let a be 6064/y*(-1 + 1/2). Does 8 divide 2/(-10)*(-16 - a)?
False
Suppose -8571 = -q - o, -2*q + 3*o + 5704 + 11423 = 0. Is q a multiple of 68?
True
Suppose -47 = v + 2. Let j = 93 + v. Suppose -j + 98 = d. Is 9 a factor of d?
True
Let a = 16029 + -7297. Is a a multiple of 33?
False
Let t(j) = -13*j**3 + 224*j**2 - 7*j + 20. Is t(16) a multiple of 44?
True
Suppose -4*a - 41 = -4*v + v, -25 = 5*a. Does 2 divide ((-27)/(-15))/(v/175)?
False
Suppose -9*q - 8*q = -68. Suppose -q*y + 20*y = 720. Is y a multiple of 34?
False
Let q(c) = -3*c**3 - 19*c**2 - 8*c + 2. Let h be q(-8). Let z = h - 182. Is z a multiple of 4?
True
Let w = -36 - -16. Let c be (1 - w)*(-36)/28*-4. Suppose -14*i + 10*i + c = 0. Is 5 a factor of i?
False
Suppose -24*i + 131713 = -61823. Does 76 divide i?
False
Let y(k) = k + 29. Suppose 4*c - 27 + 231 = 0. Let d = c + 37. Does 6 divide y(d)?
False
Is 88 a factor of -392*(4*-2 - (-24 - -27))?
True
Suppose -35 = -5*l + 25. Let d(z) = -46*z + 5 + l + 41*z. Does 46 divide d(-15)?
True
Let c = -15415 + 23787. Is c a multiple of 13?
True
Suppose -17 + 83 = 3*a - 4*x, a - 4*x = 30. Is 20*((-202)/(-4) + a/12) a multiple of 26?
True
Let n(q) be the first derivative of -q**6/360 - q**5/8 + 13*q**4/24 - 17*q**3/3 + 14. Let l(v) be the third derivative of n(v). Is l(-6) a multiple of 8?
False
Suppose 0 = 3*y - 8*y + 50. Suppose -14*t + 8 = -y*t. Does 6 divide (1/2)/(t/72)?
True
Suppose 5*m = -2*u + 2*m + 49, -5*u = -3*m - 91. Suppose 7179 - 2019 = u*i. Is i a multiple of 2?
True
Let l = 32 - 32. Let m be (l - 29)/((-3)/21). Suppose -2*r - 3*a = -m, a + 0*a + 499 = 5*r. Is 25 a factor of r?
True
Let w be -4 + 8 + (-2)/((-2)/5). Is 37 a factor of 2999/w + 10/(-45)?
True
Let j(c) = 23*c**2 + 26*c - 64. Does 30 divide j(-13)?
False
Is -16*25/(-2600) + 4418/13 a multiple of 34?
True
Let i = 36141 - 24582. Is i a multiple of 152?
False
Let m = 5399 - 1818. Suppose -42*t + 11917 = -m. Is 29 a factor of t?
False
Suppose -5*z - 7205 = -5*s, 4*s + 39*z - 38*z = 5759. Suppose -38*d - s = -44*d. Is 5 a factor of d?
True
Let g(z) = z**3 - 9*z**2 + 9*z - 5. Let f be g(8). Suppose 2 = r + 4*b - 3*b, 0 = -b + f. Is 55/((-2)/(r - 1)) a multiple of 11?
True
Suppose -4*v + 38 = 6. Suppose -2700 = v*y - 14*y. Is 50 a factor of y?
True
Let y(r) = -r**2 - 2*r + 17. Let l be y(-5). Suppose 0 = -l*v + 3*a + 3, -3*a = -4*a - 3. Is 34 a factor of v*(-6)/(-63) + (-240)/(-7)?
True
Let v(j) = 3131 - 40*j + j - 3061 - 13*j. Is 38 a factor of v(-14)?
True
Suppose 7*x = -105 - 21. Let d = 122 + x. Is d a multiple of 26?
True
Let d(f) = 507*f**2 - 197*f + 763. Does 44 divide d(4)?
False
Suppose 57*d - 177142 = 168278. Is 60 a factor of d?
True
Let l = -16832 + 17090. Is 43 a factor of l?
True
Is 15 a factor of (56/(-12))/((-29)/27405)?
True
Suppose 4*z - 19402 = -2*b, -4*b + 8070 + 30719 = 5*z. Does 13 divide -3 - b/(-66) - 10/12?
True
Let n be -1 + (34/10 - 4/10). Suppose -n*s - 59 = -3*u - 186, 2*s = u + 41. Let j = u + 179. Is 26 a factor of j?
False
Let x(b) = 2*b**2 - 19*b - 79. Does 11 divide x(22)?
False
Suppose 69*h + 42889 = 197728 + 41466. Does 5 divide h?
True
Let i be 2/21*-3 + 6/21. Suppose i = 11*n - 2232 - 3466. Does 14 divide n?
True
Suppose 8*i - 7*i = 6*i. Suppose -31*q + 14*q + 10336 = i. Is q a multiple of 9?
False
Let v = -27660 - -42532. Does 320 divide v?
False
Let q = 11464 + -5843. Is 16 a factor of q?
False
Let w(a) = 705*a. Is 10 a factor of w(2)?
True
Does 63 divide ((-728)/21)/((-35)/4095)?
False
Suppose -17*s = -1258 - 1292. Let x = 499 + s. Does 11 divide x?
True
Let c(f) = 2*f**2 + 10*f + 5. Let r be c(-5). Suppose 0 = -r*l + w - 0*w + 1007, -5*w + 794 = 4*l. Does 21 divide l + 9/(45/(-10))?
False
Let m = -12227 + 20097. Is 27 a factor of m?
False
Let m be 11 - 17 - 2799/(-3). Let k = m - 652. Does 8 divide k?
False
Let u = -18 - -21. Suppose -f = z - 5*f - 25, 35 = 4*z - u*f. Suppose -3*w - 229 = -0*p - 5*p, -z*p + 235 = -5*w. Is p a multiple of 6?
False
Suppose 3*h - 15609 - 15279 = 0. Suppose h = -157*c + 165*c. Is 13 a factor of c?
True
Let l(f) = -9*f - 4. Let t(s) = -9*s - 4. Let o(w) = 5*l(w) - 4*t(w). Let k be o(-1). Suppose -2*a = 4*u - 72, 0 = -a - 4*a + k*u + 210. Does 5 divide a?
True
Let s(o) = 6*o**2 + 13*o + 35. Let r(l) = 3*l**2 + 6*l + 18. Let f be 5/(-2)*160/(-50) + -3. Let g(c) = f*r(c) - 2*s(c). Does 15 divide g(-5)?
True
Suppose 0*v = 4*v - v - 38544. Is v a multiple of 52?
False
Suppose 12451 = -9*y + 31. Is y/(-3) + 2 + 28/(-4) a multiple of 12?
False
Let n = 171 + 177. Suppose -2*j = -4*j + n. Let f = j - 98. Is f a multiple of 11?
False
Let y(h) = 2*h**3 + h**2 + 10*h - 86. Suppose 4 = -2*s - 4*l, 0 = 4*s - 21*l + 20*l - 28. Is 13 a factor of y(s)?
True
Suppose 24321 = 6*f - v, 7*f - 5*f = 5*v + 8121. Is f a multiple of 31?
False
Suppose 5*j - 4874 - 4535 = f, 0 = -f + 6. Is j a multiple of 4?
False
Let o = -136 - -195. Let d = 82 - o. Does 8 divide d?
False
Suppose 4260 + 5848 = 5*i + 2*r, 4072 = 2*i - 4*r. Is i a multiple of 44?
True
Let t = -70 - -72. Suppose t*r - 256 = -z + 367, -r = 0. Is 12 a factor of z?
False
Suppose -2*r + 9 = -2*a - 33, 84 = -4*a + 3*r. Let x = 23 + a. Suppose -220 = -3*l - x*l. Is 11 a factor of l?
True
Suppose 680*v = 615*v + 265460. Is v a multiple of 6?
False
Let g(x) = 57*x**2 + 75*x - 82. Is 151 a factor of g(19)?
False
Let q be 0*3/(-15) - -27. Suppose 3*t + t - 4*r = 28, 5*r = t - q. Is 1 + (-7 + 143 - (t + -5)) a multiple of 19?
False
Let k(o) = 9*o - 17. Let m be k(18). Suppose -x - g + m = 24, -4*x + g + 494 = 0. Let d = x - -45. Is d a multiple of 8?
True
Let x = -35477 + 97109. Is 12 a factor of x?
True
Let j = 74 - 192. Let t = -124 - j. Is 13/(-26) - (2115/t)/5 a multiple of 4?
False
Let g(q) = 46*q - 39. Let j(r) = -15*r + 13. Let y(x) = 2*g(x) + 7*j(x). Let a be y(-11). Suppose -m - a = -5*v, -3*v - 3*m + 172 = 2*v. Does 13 divide v?
False
Suppose 76 = -24*l + 22*l. Suppose 5*k + 2*x = -3 - 232, 4*k - 3*x + 188 = 0. Let y = l - k. Does 3 divide y?
True
Suppose 452*h = 460*h + 1856. Let o = 108 - h. Is o a multiple of 85?
True
Let f(k) = -k**3 + 25*k**2 - 46*k - 56. Suppose -138 - 262 = -20*q. Does 40 divide f(q)?
False
Suppose -100*g - 189881 = -103*g + 2*b, -4*b + 126550 = 2*g. Is g a multiple of 40?
False
Let t(q) = -q**3 - 10*q**2 - 10*q - 11. Let l be t(-9). Let j = 0 - l. Suppose 0 = 3*y - j*f + 17 - 97, 0 = -4*f - 4. Does 13 divide y?
True
Let w(y) = 69*y**2 + 111*y + 696. Does 31 divide w(-19)?
False
Let t(q) = 2*q**2 - 31*q - 9*q - 8*q + 2 + 14. Does 17 divide t(26)?
False
Does 22 divide (-6)/15 - 0 - (161364/(-85) - -5)?
False
Let t(i) = -805*i**2 + 4*i + 5. Let z be t(-1). Let l = -728 - z. Is 51 a factor of l?
False
Suppose 0 = 9*n - 22*n + 364. Is (n/5)/((0 + 4)/40) a multiple of 21?
False
Let w = 50 + 29. Let t = -81 + w. Does 54 divide (t - (-3827)/9) + 4/(-18)?
False
Suppose -3*p + 110 = u, 3*u + 3*p + 496 = 8*u. Suppose 9*f - u = 709. Is 54 a factor of f?
False
Suppose 74 = 3*j + 2*t, -9 = 5*t - 14. Suppose -28*n + j*n = -3088. Is 43 a factor of n?
False
Let j(m) = 2*m**3 + 36*m**2 + 7*m - 22. Is 26 a factor of j(-10)?
True
Let g be 6/(-5)*645/6. Let w be 24/36*(g/(-2) - 0). Suppose -w = -b - 1. Does 42 divide b?
True
Let u = -39 + 38. Let r be (-2 - -36) + u - 4. Suppose -23 - r = -3*v + 5*n, 4*n - 16 = -4*v. Is v a multiple of 2?
False
Suppose -21*x - 3*s + 70407 = -19*x, -3*s + 176040 = 5*x. Does 133 divide x?
False
Let j(n) = -5*n + 682 - 617 + 14*n. Is j(13) a multiple of 26?
True
Suppose 371*u = 361*u + 42070. Does 85 divide u?
False
Let l(w) = 85*w + 238. Let u be (-76)/(-10) - 16/(-40). Does 12 divide l(u)?
False
Let a(u) = 5*u - 19. Let b be a(5). Let d be b*((-1)/(-5) + (-27)/(-90)). Suppose -m = -d*m - 4*p + 64, -5*m = -4*p - 174. Does 17 divide m?
True
Let o(g) be the first deriv