r. Does 20 divide r?
False
Let b = 190 - 188. Suppose -b*n = -600 - 716. Does 47 divide n?
True
Let q(w) be the first derivative of w**4/4 + 11*w**3/3 + 4*w**2 - 20*w + 18. Let c be q(-10). Suppose c = 9*i - 14*i + 300. Is i a multiple of 19?
False
Let w be ((-10)/160*12)/(6/(-4952)). Suppose -35*d - k = -31*d - w, 0 = 2*d + 2*k - 302. Is 7 a factor of d?
False
Suppose 4 = -a, -3*a - 4607 = 19*q - 20*q. Is 48 a factor of q?
False
Let b(j) = 4*j**2 - 23*j + 8. Let v be b(9). Let o = v + 292. Suppose 2355 = 12*p - o. Does 21 divide p?
True
Suppose -44*i + 66*i = -102447 + 419159. Does 59 divide i?
True
Suppose -5*g = 10*d - 4995, -2*g - 613 = -d - 2616. Is g a multiple of 19?
False
Let i(c) be the second derivative of c**3 + 2*c**2 + 8*c. Let z be i(0). Suppose 30 = 3*o + z*h, -4*h + 6 = -2*o + o. Does 2 divide o?
True
Let z(p) = 5*p + 4. Let g be z(0). Let m(k) = k**2 + 6*k - 9. Let n be m(-7). Is g + 12 + (n - 1) a multiple of 2?
False
Let l = 120 + -194. Let j = l - -107. Suppose -4*n + 67 = -j. Is n a multiple of 5?
True
Suppose -c + 5*x = 4*c + 5, -c - 3*x + 19 = 0. Suppose -c*m - 3*s + 160 = -2*s, 0 = 3*m + 3*s - 129. Let o = m - 36. Is o a multiple of 2?
False
Let j be (-5)/(-20)*4 + 3 + -2. Suppose -j*x - 10*i = -14*i - 1724, 5*i - 5 = 0. Suppose x = -v + 5*v. Is v a multiple of 12?
True
Let y(k) = k**3 + 34*k**2 - 107*k - 78. Does 5 divide y(-34)?
True
Is 11146 + (1 + -211)/15 a multiple of 10?
False
Suppose -125*s + 133*s + 288 = 0. Is 90*(14/(-6))/(s/54) a multiple of 21?
True
Let h be ((-1)/1)/(4/(-144)). Let v be (-21*26/637)/(4/(-14)). Suppose v*w + w = h. Is w a multiple of 9?
True
Suppose -71984 = -13*n + 225069 - 84503. Is n a multiple of 218?
True
Suppose -3*w = 31 - 13. Let g(y) = -y**3 - 7*y**2 - 12*y - 32. Let x be g(w). Suppose -x*o = -2*j + 56, 3*j + j - 136 = 2*o. Does 28 divide j?
False
Suppose -19*j = -53*j - 1870. Does 22 divide (53 + j)/(1/(-384))?
False
Suppose -4*l + 116038 = 4*r - 130674, 2*r - 3*l = 123346. Does 34 divide r?
True
Suppose 22 = m - 8*h + 13*h, 0 = -3*h + 12. Suppose 0 = 2*w + 3*w. Suppose 4*k = 3*d + 657, -m*k + d - 5*d + 312 = w. Is 27 a factor of k?
True
Suppose 32927 = 4*c - z, -c - 92*z + 8234 = -90*z. Is c a multiple of 98?
True
Suppose 0 = -5*u - r + 3634, -4*u - 590 = -r - 3490. Is 6 a factor of u?
True
Suppose -3*y - 3*g + 8*g + 691 = 0, 4*g = -2*y + 490. Let x(b) = -3*b - 6. Let h be x(-5). Suppose 0 = -8*q + h*q - y. Is q a multiple of 29?
False
Suppose 0*q + 6 = w + 4*q, 0 = 2*w + 4*q - 20. Let t(u) = -3*u**2 - u**3 - 5*u**2 - 7 + 30 + 0*u**2 - w*u. Is 12 a factor of t(-7)?
True
Suppose -5*v + 10089 = -t, 27*t = 5*v + 31*t - 10069. Is v a multiple of 4?
False
Let b be (3/2)/(1*6/324). Suppose -b*x - 840 = -93*x. Is x a multiple of 2?
True
Suppose -7*x = 6*x - 1911. Let t = x + -100. Suppose -48*s = -t*s - 272. Is s a multiple of 34?
True
Let d = -601 - -1026. Let o = d - -136. Suppose 156 = -5*b + o. Is 6 a factor of b?
False
Suppose 32 = -o - 7*o. Let h be 12/8*o/(-6). Is 36 a factor of 3166/11*h + 2/11?
True
Let f be (0 - (-4 + 7)) + -8. Let m(b) = -b**2 + 0*b**2 - 8 - b**2 + 14*b - 42*b. Does 31 divide m(f)?
False
Does 11 divide (-491640)/(-400) + (-6)/60?
False
Let r = 506 + -499. Suppose 5190 - 1221 = r*u. Is 12 a factor of u?
False
Let k(p) = 25*p**2 + 17*p + 38. Suppose 0*n - 32 = 4*n - 4*x, -5 = 5*n + 2*x. Does 13 divide k(n)?
False
Suppose -36 + 129 = 3*z. Suppose -5*p = 3*m - 27, 3*m = -5*p + 7*m - 1. Suppose -f = -t + 60, p*t - 2*f - 215 = -z. Does 13 divide t?
False
Let c(r) = 11*r**2 - 93*r + 535. Is c(21) a multiple of 6?
False
Let u = -316 + 319. Suppose -u*x = -13*x + 7660. Is x a multiple of 12?
False
Let d(p) = 4*p**3 + 2*p**2 - 5*p + 8. Let z be d(3). Let b(k) = -218*k + 216*k + 36 - 32 + z. Does 25 divide b(0)?
False
Suppose 565*u - 158*u = 534370 + 6355326. Is 184 a factor of u?
True
Let l(j) = -93 + 12*j + 14518*j**2 - 14515*j**2 + 4*j. Is 23 a factor of l(16)?
False
Let l(q) = -36*q + 17. Let t be l(-6). Let w be 0/(-2) - (t - 14). Let s = -152 - w. Is 4 a factor of s?
False
Let k be (-80)/((-5)/80*1). Suppose -3*f = 2*f - k. Is 11 a factor of f?
False
Suppose -4*z = -5*j - 843, -z + 274 = 2*j + 60. Let v = 319 - z. Does 10 divide v?
False
Suppose a = -18*u + 13*u + 18020, -4*u + 14440 = -4*a. Does 38 divide u?
False
Suppose 339139 + 66376 = 46*p + 27*p. Is p a multiple of 33?
False
Let g(n) = 2542*n + 72. Is 10 a factor of g(4)?
True
Let x(h) = 2*h**2 - 129*h + 2649. Does 23 divide x(65)?
True
Let t(x) = -12*x**2 - 118 + 5*x**2 - 35*x + 14*x**2. Is t(-4) a multiple of 67?
True
Let b = -445 - -274. Let i = b - -763. Does 64 divide i?
False
Suppose -509 + 89 = 10*m. Let w be 58/(-10) - (-1 + m/(-35)). Let l = w - -19. Does 13 divide l?
True
Let m = 138 - 112. Suppose 5*b - 2*v = 33 + m, 10 = -5*v. Is 11 a factor of b?
True
Let k(u) = -76*u**3 + 3*u**2 + u - 1. Let s be k(-2). Let q = s - 441. Suppose -q + 501 = 5*c. Is c a multiple of 13?
True
Let d be 2*2*5/10. Let p be ((-15)/((-120)/(-32)))/(-2). Suppose 3*o + d*z + p*z = 439, 0 = -3*o + 2*z + 469. Is 9 a factor of o?
True
Let w(c) = -73*c**3 - 7*c**2 - 40*c - 84. Does 36 divide w(-3)?
True
Suppose -3*j = -6*x + 10*x - 20, -4*x - 4*j = -16. Suppose x*b - 22 = 74. Is 8 a factor of b?
False
Let s = 40619 - 21327. Is s a multiple of 28?
True
Is 45 a factor of ((-2)/(24/(-27)))/((-23943)/11976 + 2)?
False
Let z = 460 + -972. Is 20 a factor of 2*(-3 - 0) + (-26 - z)?
True
Let f(w) be the third derivative of w**6/120 + w**5/6 + 2*w**4/3 + 8*w**3/3 - 53*w**2. Does 2 divide f(-5)?
False
Suppose -3*k - 309 = -5*q - 2*k, -k - 61 = -q. Suppose 311 = 3*d + q. Does 17 divide d?
False
Suppose 0 = -i - 2*i + 126. Let t = i - 35. Let v(o) = -o**3 + 8*o**2 + 5*o + 10. Does 20 divide v(t)?
False
Suppose -8*u - 28*u + 127236 = 33*u. Is 6 a factor of u?
False
Suppose l - 7 = -5*u, -6*l + 11 = -l + u. Suppose l*n - 1658 = -5*w - 513, 4*w + 605 = n. Is n a multiple of 12?
False
Let f = 21871 + -8701. Does 15 divide f?
True
Suppose -9*u + 38 = -7. Suppose -2*i + u*t + 1690 = 0, 1765 = 4*i - t - 1651. Is i a multiple of 25?
False
Suppose 198*t - 2302755 = 133*t. Does 49 divide t?
True
Suppose -21*s + 80925 = -2*s - 15215. Does 46 divide s?
True
Let i(k) = -207*k - 513. Is i(-9) a multiple of 27?
True
Is 45/18 + 429*(-229)/12*-2 a multiple of 89?
True
Let h = 571 + -571. Suppose h = 2*x + 36*x - 4788. Is 7 a factor of x?
True
Is 172 a factor of (-13946 + 14)/(-2)*(6 - 2)?
True
Let s = 13111 + -12733. Does 21 divide s?
True
Suppose -4*t + 2*x = -43476, 30*t = 27*t - 2*x + 32600. Is t a multiple of 32?
False
Let v(i) be the first derivative of 19/2*i**2 + 1/3*i**3 + 18*i + 18. Does 9 divide v(-19)?
True
Suppose 4*s - 93862 + 27671 = z, -2*s - 2*z = -33108. Is 7 a factor of s?
False
Let r(n) be the first derivative of 19*n**2/2 - 14*n + 73. Does 14 divide r(3)?
False
Suppose -5*z + 41918 = -30613 + 771. Is 138 a factor of z?
True
Suppose -698*q + 680*q = -28152. Does 46 divide q?
True
Suppose -3*l + 25 = -4*x, -5*l = -3*x - 8 - 41. Suppose -4*b + 3*v - 6 - l = 0, 0 = 3*b - 4*v + 18. Let m(k) = 2*k**2 + 2*k + 4. Is 8 a factor of m(b)?
True
Suppose 18*o + 2448 = 26*o. Let r = o + 148. Is r a multiple of 18?
False
Suppose -4*b - 70 = -2*k, -4*k - 3*b + 10 = -3*k. Suppose c - 27 - k = 0. Does 4 divide c?
True
Suppose -66*s + 77644 - 33395 = -138571. Does 10 divide s?
True
Let w be (44/16 + -2)/(1/8). Suppose -12 = -6*o + w. Suppose -o*z = -8*z + 90. Is z a multiple of 18?
True
Suppose -5*h + 893 = -17. Let b be 4 + 0 + 3*h/21. Suppose -b = -2*r - n, 4*r = -5*n + 25 + 41. Is r a multiple of 14?
True
Let k(z) = -z**3 + 2*z**2 + 14*z + 10. Let j be k(5). Suppose 4*l = 5*o + 5359, 0 = -6*l + j*l - 2*o + 1343. Is l a multiple of 28?
False
Let y = 1791 + 16678. Is 73 a factor of y?
True
Is 30 a factor of (171/(-6))/(102/(-100436))?
False
Let b = 4117 - 3774. Is b a multiple of 7?
True
Suppose 3*j + 4*y = 69380, 8 = -y + 10. Does 82 divide j?
True
Let o(n) = -5*n - 87. Let w be o(-16). Is (-1)/w - 3966/(-21) a multiple of 5?
False
Let y = 23 + -21. Suppose 4*p - 3 - 79 = -y*j, -4*j + 3*p + 131 = 0. Is 5 a factor of 185/j + 4/(-14)?
True
Let x = 0 + 4. Suppose l = 2*a - 3*a + 66, 252 = x*l - 2*a. Does 16 divide (1*18)/(12/l)?
True
Suppose -50*u + 5