13. Suppose -4*u - 14*r = -10*r - 1268, f = 5*u - 4*r. Is u a multiple of 4?
False
Suppose -13*p - 34156 + 144318 = 0. Does 10 divide p?
False
Let t = 38023 - 17833. Is t a multiple of 86?
False
Suppose -23*a + 64*a - 88*a + 87561 = 0. Does 23 divide a?
True
Let l(j) = j - 6. Let b be l(6). Suppose 0 = 3*s - 2*r - 1168, -2*r + b = 4. Suppose 10*a - s = 6*a. Is 9 a factor of a?
False
Let u(x) = -33*x + 197. Is u(-16) a multiple of 29?
True
Let f = -10475 + 15493. Does 26 divide f?
True
Let u = -8951 - -47982. Is 13 a factor of u?
False
Let o(w) = -2*w + 3. Let t be o(-1). Suppose 0 = -t*z - 9 + 19. Suppose -5*l + 97 = 2*i, 4*l + 17 = 5*l - z*i. Is l a multiple of 11?
False
Let h(c) = -c + 18. Let s be h(12). Let x(i) = 17*i**2 - 38*i - 12. Is 19 a factor of x(s)?
False
Let c(b) = b**2 - 28*b + 55. Let o be c(26). Suppose 7*k + o*k = 2440. Is 9 a factor of k?
False
Let x be 1*-2 + 2 - 119. Suppose 5*h - 3*s = 1779, 2*h - 4*s - 421 = 285. Let t = x + h. Does 17 divide t?
True
Does 186 divide 60/24*208/(-40) - -41677?
True
Let s(r) = -r**3 + 55*r**2 - 70*r - 19. Does 29 divide s(52)?
False
Suppose 0 = -260*a + 197*a + 1817802. Is a a multiple of 18?
True
Let j be (-1 - 1105)*((-187)/(-22) - 9). Let b = -337 + j. Is b a multiple of 79?
False
Does 39 divide ((-2)/14)/(8/28)*-1794?
True
Let z = 262 + -264. Does 2 divide 1434/18 - (-5)/(15/z)?
False
Let i(o) = -53*o - 5. Let s be (-6)/(-15) + (-56)/(-35) + -6. Is 23 a factor of i(s)?
True
Let z be 7/(63/81) - 9. Does 20 divide (-1)/(1 + z)*-995?
False
Let n(i) = -6*i**2 + 7*i + 31 + i + 2*i + 7*i**2. Is 4 a factor of n(-5)?
False
Let a(o) be the first derivative of -4*o**2 + 26*o + 97. Let j(x) = -x**2 - 4*x + 3. Let d be j(-6). Is 38 a factor of a(d)?
False
Let k(l) = 17928*l + 616. Does 188 divide k(2)?
True
Suppose 5*x = -2*z + 443, -400 - 730 = -5*z - 5*x. Let b = 128 + z. Does 32 divide b?
False
Let t(k) = -103*k + 2220. Is 6 a factor of t(-46)?
False
Is -19*105/21*1596/(-10) a multiple of 133?
True
Suppose 0 = m + m - 18. Suppose 0 = 5*j - m*j + 8. Suppose j*t - 5*t - 5*p + 71 = 0, 0 = 5*t - 4*p - 180. Does 16 divide t?
True
Let l(d) = -65*d - 1405. Is l(-41) a multiple of 36?
True
Let m be (-1989)/15 + 6/10 + 0. Let c = -277 - -72. Let b = m - c. Does 36 divide b?
False
Suppose 0 = -l + 6*l - g - 45, -l - 5 = -3*g. Let s(i) be the third derivative of i**6/120 - 2*i**5/15 - 11*i**4/24 - 4*i**2 - 8*i. Is 9 a factor of s(l)?
True
Let a be (-6)/21 - (-4 - (-15864)/(-7)). Suppose 2*g + 548 = a. Is 44 a factor of g?
False
Let k(x) = -x**2 - x + 54. Let l be (-3)/(-15) - (-3)/(-15). Let v be k(l). Is 36 a factor of v/(-15)*-60*1?
True
Suppose -28*a - 304 = 10*a. Is (-12)/a + 564/8 a multiple of 6?
True
Let q = -4985 + 6713. Is 12 a factor of q?
True
Suppose 19*h + 3232944 = 118*h. Is h a multiple of 26?
True
Suppose 42*i = -2*v + 48*i + 17980, 0 = -4*v + 5*i + 35953. Is v a multiple of 209?
True
Let x(u) = 3*u**2 - 3. Let t be x(-8). Let q = 205 + t. Is q a multiple of 41?
False
Is 88*4/8*7/((-14)/(-688)) a multiple of 19?
False
Let m(y) = y**2 + 10*y - 83. Let n be m(6). Suppose 9*k + 104 = n*k. Is k a multiple of 7?
False
Let s(l) = 45*l**2 - 59*l - 234. Does 31 divide s(19)?
False
Is (-9)/(-3)*(145359/216 - (-12)/32) a multiple of 20?
True
Suppose -2*y + 4412 = 5*r, -5*y + r + 10999 = -2*r. Suppose -2110 = -9*l + y. Is l a multiple of 35?
False
Let v(x) be the third derivative of x**5/12 - 5*x**4/24 - x**3/6 - 4*x**2. Suppose 4*j - 2 = -3*p + 25, 3*j - 19 = -2*p. Is v(j) a multiple of 4?
False
Let o(l) be the second derivative of -49*l**3/3 - l**2/2 - 4*l. Let n(j) = -j**3 + 12*j**2 + j - 13. Let s be n(12). Is o(s) a multiple of 31?
False
Let h = 898 + -817. Is 2 a factor of h?
False
Suppose 49*w - 308877 = 17*w + 230259. Does 8 divide w?
True
Suppose 10*c = 15*c + 3*j - 9130, -4*j = -c + 1803. Is 4 a factor of c?
False
Suppose -n + j = -2*j + 13, -3*n + 5*j - 19 = 0. Let m(u) = 28 - u + 4*u + n*u + 0*u. Is m(7) a multiple of 21?
True
Let v(z) = -z**2 - 23*z - 3. Let r(o) = o. Let q(p) = 14*r(p) + 2*v(p). Suppose -2*s + 10 = 0, -41 = 3*n + 25*s - 26*s. Does 18 divide q(n)?
True
Let d = -4842 + 12031. Is d a multiple of 14?
False
Let c be (0 - -24)/3 - 2. Suppose 0 = 2*k + 2*o - 22, c*k = k + 2*o + 90. Suppose k - 80 = -4*m. Does 16 divide m?
True
Let z(q) = q + 8. Let o be z(-4). Suppose -j = 3*f - 3*j - 168, 2*f - o*j - 104 = 0. Suppose 5*l - 482 = f. Does 27 divide l?
True
Let y = 34892 - 3175. Is 11 a factor of y?
False
Suppose -5 = h - 3*p, -6*p - 10 = -3*h - 2*p. Suppose -5*k + h*k - 185 = 0. Suppose -z - 19 = -k. Does 6 divide z?
True
Let g(d) = -429*d - 222. Is 31 a factor of g(-5)?
False
Suppose 91 = 3*b + 73. Let k(a) = a**3 - a**2 + a - 1. Let h(d) = -3*d**3 + 7*d**2 + 3*d - 12. Let l(m) = -h(m) - 2*k(m). Does 10 divide l(b)?
True
Let r(g) = g**3 + 6*g**2 - 4*g - 5. Let y(k) = -k**2 - k + 1. Let f(m) = -5*m**2 - 4*m + 5. Let n(s) = 2*f(s) - 9*y(s). Let v(d) = 2*n(d) + r(d). Is v(-3) even?
True
Let g = 13380 + -7776. Is g a multiple of 5?
False
Suppose 0 = -698*h + 704*h - 198. Let b be (-2 - (-31)/(-3))*3. Let x = h - b. Does 35 divide x?
True
Let s = 78 - 66. Suppose 102 = s*o - 6. Let y = o + 53. Is 31 a factor of y?
True
Let i be -2*(2 + -3) - -4. Let r(w) = 86*w**2 + 72*w - 34. Let b(c) = -4*c**2 - 3*c + 1. Let p(g) = -44*b(g) - 2*r(g). Does 15 divide p(i)?
False
Let t = -80 + 91. Suppose 4*n + t*i - 8*i - 165 = 0, 3*n = 2*i + 128. Is 7 a factor of n?
True
Does 10 divide -8 - (415/(-498) + 171806/(-12))?
True
Let f(q) = -87*q + 378. Does 14 divide f(-14)?
True
Suppose -15*u + 2246 = 266. Suppose -82*d + u = -81*d. Does 4 divide d?
True
Suppose -54 = -2*h - 5*s + 8*s, -37 = -h + 4*s. Suppose -7*q - 4886 = -h*q. Is 18 a factor of q?
False
Suppose 2*s = 2*f - 162, 5*f = -4*s + 401 + 40. Let q = f + 125. Is q a multiple of 35?
True
Let q = 887 + -187. Suppose 27*y - 31*y = -q. Does 35 divide y?
True
Let z = -242 - -243. Is (-14)/2 + z + 312 a multiple of 19?
False
Suppose 5*m = f - 0*f + 22, 4*f + 12 = m. Suppose -5*r = -m*r - j - 24, 0 = -4*j. Suppose -r = -12*q + 9*q. Is 8 a factor of q?
True
Suppose 0*c - 60 = -5*t - 4*c, 0 = -2*t - 4*c + 36. Is 19 a factor of ((-798)/t)/((-15)/80)?
True
Let i = -50 - -98. Suppose 26*l = i*l - 13442. Is 57 a factor of l?
False
Let n = 16810 - 10453. Is 163 a factor of n?
True
Suppose -2*m = 5*l - 14, -3*m = 1 + 8. Suppose 4 = -2*w + 6*w. Is 16 a factor of (0 - 160)*(2 - (l - w))?
True
Suppose -8*b + 5*b = -2*t - 16, 4*b = t + 13. Suppose 2*r = -6 - b, 4*g + r - 4256 = 0. Is 33 a factor of g?
False
Let r(s) = 127*s**2 + 34*s - 63. Is 39 a factor of r(2)?
False
Suppose 3*k = -0*k + 504. Let t = -1673 - -1676. Suppose 0*j - 2*j = t*q - 76, 4*j - k = 2*q. Is j a multiple of 15?
False
Let q be (-2)/(-3 + (-3)/(-30)*26). Suppose -q*z - 317 = -4*l, -2*z - 2 = -8. Let r = l - -49. Is r a multiple of 11?
True
Suppose 15*w = -2*f + 16*w + 2558, -5*f + 2*w = -6394. Is f a multiple of 3?
True
Suppose 5*k = -3*h + 81908, 4*h + 25518 = -5*k + 134722. Does 32 divide h?
True
Let n(v) = 46*v + 290. Is 18 a factor of n(-2)?
True
Suppose -2*v = 6, -s + 4355 = -6*v + 11*v. Is 45 a factor of s?
False
Let z = -5558 - -7794. Is 52 a factor of z?
True
Suppose 2*i = -12, 25*f - 29*f - i = -1186. Is 25 a factor of f?
False
Suppose -6962*l - 965952 = -7010*l. Does 39 divide l?
True
Suppose -4*p - 29*v = -34*v + 537, -3*p + 5*v - 409 = 0. Suppose -d = -192 - 35. Let f = p + d. Is 9 a factor of f?
True
Let p = -3729 + 13515. Does 12 divide p?
False
Let x(v) = 24 - 7*v + 7*v - 6*v. Suppose 33 = -0*m - 3*m. Does 9 divide x(m)?
True
Suppose 13467 = 3*i - 7*j + 9*j, -5*i = -4*j - 22511. Is i a multiple of 145?
True
Suppose 835 = -4*o - a + 5864, -5027 = -4*o + a. Is o a multiple of 9?
False
Let i = -69 - 9. Let j = 26 - i. Does 13 divide j?
True
Suppose -3360462 = -80*f - 98*f. Is f a multiple of 29?
True
Let m = -831 + 900. Does 22 divide m?
False
Suppose -23*r - 4*s = -21*r - 4356, 3*r + s - 6519 = 0. Does 85 divide r?
False
Let o(z) = 8*z**2 + 103*z + 471. Is o(-41) a multiple of 48?
True
Suppose -j = -2*j. Suppose j = 2*g + 4, -3*t - t + 5*g = -26. Is 98*(2/t + 0) a multiple of 14?
False
Suppose -7*r = 11 - 46. Let n(f) = f**2 + 23*f + 16. Is n(r) a multiple of 26?
True
Let 