96/166 - 3). Suppose -m + 8 = -v. Does 12 divide v?
False
Suppose 2*c + 15370 = 6*c + 3*t, 0 = -3*c + 3*t + 11538. Does 20 divide c?
False
Let v(b) = -b**2 - 7*b + 5. Let s be (1 - 2)/((-10)/(-70)). Let p be v(s). Suppose -366 = -5*q - 3*f, p*f - 89 = -2*q + 65. Is 12 a factor of q?
True
Let m(n) = n**3 - 6*n**2 + 15*n - 19. Let k = 400 - 392. Is m(k) a multiple of 13?
False
Suppose 0 = 6*p + 5*p - 55. Suppose 27 - 7 = p*t, -t - 73 = -m. Does 3 divide m?
False
Suppose -60*a = -55*a - 7*l - 17711, 4*a + l = 14149. Is a a multiple of 9?
False
Suppose 9072 = 4*l + 4*q, -3*l - 11335 = -8*l - 4*q. Let v = -1427 + l. Suppose -114*d + v = -110*d. Is d a multiple of 11?
True
Let k = 79688 - 42974. Is k a multiple of 174?
True
Suppose 0 = -278*c + 268*c + 4500. Let q = c + 229. Is q a multiple of 7?
True
Let q = -11080 - -22949. Is 34 a factor of q?
False
Let j(p) = p**2 + 27*p - 514. Is j(14) a multiple of 12?
True
Let b be ((-2098)/8)/(0 - (-4)/(-16)). Suppose -2*o - 4232 = -4*z, -z + 14*o - 9*o = -b. Is z a multiple of 19?
False
Let a(l) = 31*l**2 + 444*l + 10. Is a(-16) a multiple of 12?
False
Suppose 27*n - 10 = 25*n. Suppose -225 = -7*l + 2*l - n*c, -2*l + 100 = 4*c. Does 20 divide l?
True
Suppose -3*w - 9 = 0, -5*w - 689 = 5*h + 1046. Let z = 933 + h. Is z a multiple of 19?
True
Let i = 104 - 99. Let h(j) = i - 117*j + 114*j + 125*j**2 - 1. Does 6 divide h(1)?
True
Let b = 1811 - 1282. Is b a multiple of 23?
True
Let d = -31622 - -60180. Is d a multiple of 168?
False
Let p(f) = -f**3 - 9*f**2 + 14*f - 10. Suppose 2*i = 4*s + 44, 0 = 15*s - 12*s + i + 43. Is p(s) a multiple of 11?
True
Let b(w) = -w**2 + 12*w - 7. Let m(z) = -z**2 + 2*z + 49. Let t be m(0). Let n = -40 + t. Does 5 divide b(n)?
True
Let v = 76 - 79. Let q be (-1)/v - 1820/(-12). Let r = q + -7. Is r a multiple of 13?
False
Suppose -66*r = -65*r - 3. Suppose f + 1 = 0, 0 = a - 4*a - f + 11. Suppose r*s - a*p - 7 = 27, -2*p + 46 = 2*s. Is s a multiple of 6?
True
Let c = -1160 + 1711. Does 37 divide c?
False
Let n = 132 + 8. Suppose 0 = 4*m + 116 - n. Is m a multiple of 3?
True
Suppose -2943936 = -149*o - 3*o. Is 8 a factor of o?
True
Is 35 a factor of (-201604)/(-16) - 21/(-70)*15/(-18)?
True
Let t = -79 - -54. Let p = t - 9. Let v = p + 52. Is 18 a factor of v?
True
Suppose 0 = 5*s - 11005 - 17025. Does 96 divide s?
False
Let d(x) = -2*x**2 - 32*x + 75. Let p be d(-25). Let y = -195 - p. Is 30 a factor of y?
True
Let j = 519 - 485. Let p = -6 + 9. Does 10 divide j/p + -2 + (-15)/(-9)?
False
Suppose -2*g - 94 = -424. Let o(z) = -26*z + 608. Let v be o(19). Let n = g - v. Is 7 a factor of n?
False
Let l(o) = o**2 - 8*o + 3. Let t be l(8). Suppose t*w + 2*w = -2*k + 365, w - 73 = -k. Is w/1 - 3*2/(-6) a multiple of 7?
False
Suppose -2*n - 4*t = -13524, 4*n + 13548 = 6*n - 4*t. Does 141 divide n?
True
Let j = -67 - -46. Let g = 168 - j. Does 54 divide g?
False
Suppose -39061 = 3*r + 6*p - 113596, -p + 24849 = r. Is 23 a factor of r?
False
Is 9 a factor of (5/(-15))/(2/(-29076)) - 3?
False
Is ((-207)/(-9))/((-5)/15)*(-1592)/3 a multiple of 199?
True
Is 3847 + (-48)/32*8 a multiple of 133?
False
Let m(a) = -17*a**3 - 10*a**2 - 4*a + 17. Let s(u) = 18*u**3 + 12*u**2 + 3*u - 18. Let o(b) = -7*m(b) - 6*s(b). Is o(3) a multiple of 37?
False
Let u(z) = 6 + 2 - 7*z + 1. Let q be (-3)/(10/(-4) - -3). Does 17 divide u(q)?
True
Suppose -4*p + 1383 = 19*i - 16*i, 6 = 2*p. Is 16 a factor of i?
False
Let d(t) = -t**3 - 7*t**2 + 10*t + 21. Let p be d(-8). Suppose 3*j = 6*j - p*l + 10, 0 = -j - 3*l - 8. Let x = j + 32. Does 27 divide x?
True
Let o(y) = -9*y + 150. Let i be o(21). Is 7 a factor of 616 + -2 + (-44 - i)?
True
Suppose 15607 = 3*b - 5*w, -b - 15*w + 5225 = -11*w. Is 14 a factor of b?
False
Let g(a) = 441*a**2 - 5*a - 10. Let h be g(-2). Suppose -12*z + 3432 = -h. Does 16 divide z?
False
Let d = -4217 - -4752. Is d a multiple of 5?
True
Suppose -4*m - 1 = -3*v + 13, -5*v - 4*m + 2 = 0. Suppose -2*a - v = 2*t, 3*a - 5*t - 14 = 5*a. Is a a multiple of 2?
False
Suppose c = -3*i + 9, 8*i - 4*i - 12 = 0. Suppose c = -27*v + 26*v + 2. Is 9 a factor of (1/v)/((-16)/(-512))?
False
Let g = -13050 - -18850. Is 8 a factor of g?
True
Let x = -624 + 619. Let y(j) = 45*j**2 - 49*j + 4. Is 57 a factor of y(x)?
False
Let n(g) = 33*g - 18. Suppose 4*p - 2*x = 34 - 8, 4*x + 22 = 3*p. Let l be n(p). Does 9 divide (-12 - -5)*l/(-14)?
True
Suppose 5*k + 3*s - 61772 = 0, 5147 = 3*k - 4*s - 31951. Is 15 a factor of k?
False
Let q(w) = 4*w**2 + 48*w - 39. Let j be q(-13). Suppose 2074 = j*g - 1358. Does 8 divide g?
True
Let m(g) = 5*g + 23. Let p be (-13)/(-2) - (-13)/(-26). Let l be m(p). Suppose 0 = -5*z + v + l, 0*v + 14 = 2*z + 2*v. Is z a multiple of 4?
False
Suppose -2*w = -28*t + 24*t - 326, 172 = w + t. Suppose 176*z - 5250 = w*z. Is z a multiple of 6?
True
Suppose 76*j = -1268983 + 3300919. Does 27 divide j?
False
Is 25 a factor of (-104500)/(-132) - 4/(-3)?
False
Suppose -6*t = -8*t - 72. Let g = 0 - t. Let v = 71 - g. Is v a multiple of 5?
True
Let j = -241 - -273. Suppose -136 = -2*o + d - j, -4*d = 4*o - 220. Does 4 divide o?
False
Let m(s) = 4*s - 30. Let c be m(10). Let l(d) = 2*d + 62. Does 7 divide l(c)?
False
Let w be 0/(15/5 - 2). Suppose g + 330 + 124 = w. Is 18 a factor of g/(-5) - 4/5?
True
Suppose 3 = -y + 6. Suppose 4*h + t - 3477 = 0, -340 = 5*h - y*t - 4665. Does 28 divide h?
True
Let g(p) = -3*p**2 - 27*p - 8. Let x be g(-8). Suppose -13*z = -x - 23. Suppose z*n = -2*a + 481, -n - 3*a + 171 = -5*a. Is 13 a factor of n?
False
Let n(g) be the second derivative of -7/2*g**2 + 0 + 1/3*g**3 - 17*g + 1/10*g**5 - 13/6*g**4. Is 19 a factor of n(13)?
True
Let k(i) = -2*i - 18. Let y be k(-9). Let z(x) be the third derivative of -x**4/12 + 37*x**3/2 + 81*x**2. Is 17 a factor of z(y)?
False
Suppose 6 = -g - 2*g, d = -g + 10. Suppose -w + 0*w + 5*z + 285 = 0, -3*z = 15. Suppose 0 = k + d*k - w. Is 3 a factor of k?
False
Suppose -22*g = -82603 - 66711. Does 182 divide g?
False
Let a = 25552 + -7590. Is a a multiple of 14?
True
Let d = -33 - -54. Let r be (d/6)/((-2)/(-584)*2). Let n = r + -288. Is n a multiple of 34?
False
Let y(x) = -12*x + 134. Let f be y(11). Suppose -2*h + 448 = f*a, -2*a = -h - 640 + 204. Does 15 divide a?
False
Suppose 20 = 4*n - 8*n, -4*n = 3*k - 7. Suppose 214 = -k*a + 10*a. Suppose 59 = -t + a. Does 31 divide t?
True
Suppose 0 = 57*k - 60*k + 14157. Does 39 divide k?
True
Let l be 48/5*80/24. Let w = l + -32. Suppose -n + 40 = -4*i, 4*n - 55 = -w*n - 5*i. Is n a multiple of 20?
True
Let l(q) = 96*q + 81. Let p be l(-7). Let o = -101 - p. Is o a multiple of 56?
False
Let c = 19 - 16. Let b be (c + -2)/((-6)/(-228)). Let a = 78 - b. Is a a multiple of 6?
False
Suppose c = -3*b + 88, -5*b + 2*c + 0 = -154. Does 46 divide 443 - (b/(-5) - -1)?
False
Let i = -16168 - -19248. Does 40 divide i?
True
Suppose -41 + 153 = -7*d. Let t be ((-72)/d)/((-1)/2). Is 10 a factor of t/(-21)*1 + (-3345)/(-35)?
False
Let s = -20271 - -26379. Is 12 a factor of s?
True
Let n(c) = -c**2 + 23*c + 364. Does 32 divide n(0)?
False
Suppose -19889*a = -19915*a + 289510. Is 9 a factor of a?
False
Let m(k) = -11*k - 45. Let b be m(-6). Suppose -23 = -r - b. Suppose 3*x - 266 = -r*q + x, 3*q = 5*x + 399. Is 19 a factor of q?
True
Let p = 34527 - 32161. Does 16 divide p?
False
Suppose 16 = -4*w - n, 2*w - 3*n = -2*w. Let m be (w/(-2) + -2)*-18. Is 28 a factor of (63/m)/(2/8)?
True
Let k = 13439 - 395. Does 44 divide k?
False
Let p(s) = -2*s**3 - 36*s**2 - 46*s - 78. Is 6 a factor of p(-20)?
True
Suppose 0 = -3*c + d + 23, 8 = c + 2*d + 5. Does 10 divide (-5035 + 2)/(-7) - c?
False
Suppose 3*i = 3*d + 33, -7*d = 4*i - 4*d - 30. Suppose -i*k + 90 = k. Let s(x) = 6*x - 9. Is 15 a factor of s(k)?
True
Let c = 1320 + -928. Suppose -c = 252*l - 259*l. Is 8 a factor of l?
True
Let a(o) be the first derivative of o**6/120 - o**5/20 - 3*o**4/8 + 2*o**3 + 8*o**2 - 9. Let v(g) be the second derivative of a(g). Is v(6) a multiple of 36?
False
Let l(k) = -60*k - 42. Let f be l(-5). Let p = 152 + f. Is 47 a factor of p?
False
Let g(s) = -16730*s - 359. Does 17 divide g(-1)?
True
Let c = -610 - -610. Suppose -2*x - 2 = 0, c*j - x = -j + 771. Does 35 divide j?
True
Suppose 23*l + 472500 = 41*l. Suppose 42*f - l = 17*f. 