uppose -20*x - 36 - 4 = 0. Does 15 divide d(x)?
True
Suppose 3*r + 0*r = -54. Let y = 26 + r. Suppose 4*k - y = -l + 2, -3*k - 20 = -2*l. Is l a multiple of 5?
True
Let z = 3612 - 938. Is 6 a factor of z?
False
Let x(d) = -d**3 + 6*d**2 - 2*d + 15. Let c be x(5). Is 69 a factor of c/55 + 3030/11?
True
Suppose -4*i + 8 = 0, -y + 2*i + 12 = 7*i. Let p(v) = -86*v**y - 2*v + 144*v**2 + 77*v**2 - 2. Is p(-1) a multiple of 9?
True
Is 108/1944 - 3994/(-36) a multiple of 7?
False
Let m(s) be the first derivative of -41*s**2 - 10*s - 759. Let h(b) = b**3 - b**2 + 1. Let z be h(-1). Is m(z) a multiple of 18?
True
Let g = -53 + 65. Suppose 10*r - g = 6*r. Suppose 61 = r*x - 2*m, x + 6*m - 25 = 2*m. Does 3 divide x?
True
Let m(c) = -2*c**2 + 19*c - 38. Let p be m(6). Suppose -p*b + 3 = -49. Is 2 a factor of b?
False
Let p(f) = f**2 - 3. Let o be p(3). Let r be 6/(-4)*(-844)/o. Suppose -5*s + r = -439. Is 13 a factor of s?
True
Suppose -520*y = -489*y - 4898. Is y a multiple of 120?
False
Suppose -13*n + 25 = -9*n + 5*r, -5*r = n - 25. Is 11 a factor of (-3 - 1) + n - (-403 - -23)?
False
Let f(t) = -2*t**2 - 4*t**2 - 6*t**2 + t**3 + 7*t - 5*t**2 + 14. Let u be f(12). Does 10 divide u/(-14) - (-15)/(-35)?
False
Suppose -73*u = -59*u + 140. Is (-6)/u + (-209509)/(-335) a multiple of 20?
False
Let x = 27 - 33. Let d be (-3 - (-11)/3)*x. Is 8 a factor of (2*-19)/(d/4)?
False
Let b(i) be the third derivative of -5*i**4/24 - 13*i**3/6 + 56*i**2. Let q be 45/(-10)*(3 - 1). Does 9 divide b(q)?
False
Let h(z) = -z**3 + 42*z**2 - 75*z + 436. Is h(37) a multiple of 7?
False
Suppose 2*k = -5*f + 21, -f - 4*k + 18 = f. Suppose 10*q - 438 = 9*q + f*m, q + m = 434. Is q a multiple of 29?
True
Suppose 2*x = 2*c + 3*c - 19, -25 = 5*x - 5*c. Is 1238/6 - x/3 a multiple of 23?
True
Suppose -3*o + 5*o + 2*b - 6 = 0, o - 3*b = -1. Suppose r + o*s - 312 = 0, 3*r + r = -3*s + 1248. Is r a multiple of 12?
True
Suppose -740928 = -2247*y + 2213*y. Is 11 a factor of y?
False
Is ((-4656)/(-32))/((-6)/(-764)) a multiple of 12?
False
Let v = 31 - 27. Let r(f) = 4*f**2 - 2*f + 1. Let t be r(v). Suppose -3*b + 57 = -4*a, 3*b - 4*a - a = t. Is 3 a factor of b?
False
Let z(y) = -20*y - 3. Let c be z(-2). Suppose 5*o + 153 = 3*s + c, -2*s + 4*o + 78 = 0. Let l = -7 + s. Is l a multiple of 15?
True
Does 3 divide ((-3)/((-84)/(-836)) + 5)*756/(-9)?
True
Let z(v) = -969*v + 618. Is z(-2) a multiple of 96?
False
Let m(w) = -w**3 - 12*w**2 + 23*w + 4. Let g be m(-16). Suppose 1617 = 29*k + g. Is k a multiple of 4?
False
Suppose -a = 5*y - 21533, -a - 802 = -4*y + 16419. Is 29 a factor of y?
False
Let f(r) = 24*r**2 + 26*r + 8. Let q be f(4). Suppose -20*j = -584 - q. Is j a multiple of 9?
True
Is 3 a factor of (-14 + 5)/3 + 163/1?
False
Let y = -2080 - -3744. Does 5 divide y?
False
Suppose -8226 - 8487 = 27*t. Let g = 754 + t. Does 10 divide g?
False
Let z = 40 - 36. Suppose 0 = -o + z. Is 7 a factor of (-82)/(-8) + 3 - (-3)/o?
True
Let f be (-4)/(-14) - 0 - 44100/(-1715). Suppose f*n - 2277 = -353. Is 18 a factor of n?
False
Suppose -1 + 11 = 5*v. Suppose 4*d + 5*a = 29 - v, 2*d - 4*a = -6. Suppose -152 = -4*y - 5*x, x = -y + d*y - 90. Is 43 a factor of y?
True
Let v(o) be the second derivative of -o**3/6 + 11*o**2/2 - 16*o. Let z be v(9). Suppose 6*i - z*i + 172 = 4*m, 39 = m + 3*i. Does 7 divide m?
True
Let d(b) = -3*b**2 + 2*b**2 - 10*b**2 - 6*b + 19 + 2*b**2 - b**3. Let h be d(-9). Let s = h + -54. Is s even?
False
Let n(h) = -270*h - 3464. Does 36 divide n(-47)?
False
Suppose 134 + 91 = 15*x. Let u be 1062/x*15/6. Suppose -3*v + 4*v = u. Is v a multiple of 10?
False
Let d = 10473 + -6586. Is 63 a factor of d?
False
Let m = 31037 - 30153. Does 2 divide m?
True
Suppose -3*r - 190 = -l, 57 = -5*l - r + 1087. Is (185/(-25) - -8)*l a multiple of 3?
True
Suppose -l + 1 + 1 = 0. Suppose 4*g - 9 = s, -3*g - l*s + 3 = -1. Suppose 5*j = g*f - 130, -3*f + 4*j - 218 = -6*f. Is f a multiple of 39?
False
Let h(o) = -238*o - 116. Let u be h(-8). Suppose -j + 2554 = 3*r - 150, 3*j + u = 2*r. Is r a multiple of 20?
True
Suppose 0 = 3*l - 5*o + 8, -5*o = 3*l - 51 + 19. Suppose 4*d + 8*h - 128 = l*h, -4*d = -h - 128. Suppose n = d + 207. Is n a multiple of 16?
False
Suppose -62 = -3*h + 2*v + 81, 3*v - 33 = -h. Let n = h - 37. Is 12 a factor of 2/n + -1*945/(-12)?
False
Let t = 1321 + -891. Let r = t - 214. Is r a multiple of 27?
True
Suppose -18*f - 4995 = -23*f + 4*u, -2*f + u = -1998. Is f a multiple of 27?
True
Suppose 228*q + 2186625 = 333*q. Is q a multiple of 32?
False
Let g(r) = -513*r - 31. Let m be g(-3). Suppose m = -253*t + 257*t. Does 13 divide t?
True
Suppose 18*o + 42 = 25*o. Suppose -o*m + 8*m = 12. Suppose -8*t + m*t = -j - 502, 0 = 5*j. Is 14 a factor of t?
False
Suppose -3*l + l = -22. Suppose -8*j = -l*j + 927. Let w = -124 + j. Does 44 divide w?
False
Suppose m + 22106 = 5*n, 941 = -n + 4*m + 5385. Is n a multiple of 21?
False
Let j = 16 - -80. Suppose -4*p + j = 24. Is 15 a factor of 871/9 + 4/p?
False
Let m(v) = 87*v - 6. Let k(i) = -88*i + 6. Let n(w) = 6*k(w) + 5*m(w). Let l be n(-5). Suppose 0 = 5*z - 1239 - l. Is z a multiple of 57?
True
Suppose -371 = -7*t + 1918. Let f = t + -107. Suppose 326 = 3*a - 2*j, 2*a - 2*j - f = -0*j. Does 26 divide a?
False
Suppose -4*m + 5225 = -5*x, -18*x = -2*m - 16*x + 2616. Is 62 a factor of m?
False
Suppose -10*m + 98 = -57472. Does 60 divide m?
False
Let c(n) = n**2 - 21*n - 48. Let y = 48 + -4. Is c(y) a multiple of 73?
False
Suppose 9*p - p - 50503 = -19967. Does 34 divide p?
False
Let w(j) = 24*j**2 - 9*j + 11. Let k(p) = -48*p**2 + 21*p - 22. Let t(y) = 6*k(y) + 13*w(y). Is 21 a factor of t(5)?
False
Let r(y) = y**3 - 15*y**2 + 36*y - 4. Let i(q) = -5*q**3 + 76*q**2 - 181*q + 20. Let v(w) = 2*i(w) + 11*r(w). Does 6 divide v(10)?
True
Suppose 2*z - 8 = 0, 6*z - z = -5*w - 60. Let b(a) = a**3 + 12*a**2 + 37*a + 9. Let g be b(-5). Is 9 a factor of (w/(-6))/(g/(-42))?
False
Suppose 118*k + 5*r - 1035 = 122*k, 2*r = 6. Let t = k - -458. Is t a multiple of 29?
True
Let a be 8/(-14) - 73392/(-56). Is -1 + (2 - a)/(-3) a multiple of 55?
False
Let k be -2 - (2 - (-40)/(-5)). Suppose 550 = a + f + 16, 0 = a - k*f - 524. Does 82 divide a?
False
Let f(v) be the first derivative of 13*v**2/2 - 21*v - 13. Does 21 divide f(15)?
False
Let q = -59 - -62. Suppose 0 = -3*s + 12, 0*c + 717 = 5*c + q*s. Does 23 divide c?
False
Let m(p) = 100*p**2 - 134*p - 652. Is 35 a factor of m(-6)?
False
Suppose -690*p + 2026113 = -587*p. Is 123 a factor of p?
False
Let l(b) = 6*b**3 + 6*b**2 - 27*b - 29. Is 21 a factor of l(11)?
False
Let t be (-3 - -5)/(3/(45/6)). Let w(s) = 24*s + 23. Let b(j) = 35*j + 34. Let c(m) = t*b(m) - 8*w(m). Is c(-4) a multiple of 27?
True
Suppose -21*p - 61127 + 339363 = -327740. Does 86 divide p?
False
Does 11 divide (4/6 + 0)*-6 - -6120?
True
Suppose 14*q - 8925 = -21*q. Is q a multiple of 15?
True
Suppose 41 = m - 20. Let i = -55 + m. Suppose -9*w + i = -75. Is 3 a factor of w?
True
Suppose 35*y - 16*y = -12160. Let o = y - -901. Is o a multiple of 12?
False
Suppose p - 1990 = -2*l + 1403, 6 = 2*l. Is p a multiple of 17?
False
Let a(n) = n**2 - 9*n + 20. Let r be a(7). Suppose 35 = -z + r*z. Let d(v) = v**3 - 6*v**2 + 2*v + 24. Is d(z) a multiple of 16?
False
Let f(t) = t**2 + 5*t - 2. Let a be f(-6). Is 16 a factor of ((-16)/(-2) - 2)*a?
False
Let b be -2*425/20*90/3. Let y = 2354 + b. Is y a multiple of 83?
True
Suppose 3*r + 7 = 3*n - 2*n, 5*r = 0. Suppose 8*q - n*q = 958. Is q a multiple of 77?
False
Suppose -64*v + 68*v = 536. Let w = -103 + v. Does 3 divide w?
False
Let s(c) = 20*c**2 - 4*c + 3. Let z be s(1). Let q = z + -31. Is 4 a factor of (3 - q) + -1*3?
True
Let x(z) = z**3 + 6*z**2 - 28*z - 9. Let j be x(-9). Suppose j = -13*h - 21*h + 23494. Is 94 a factor of h?
False
Let t(y) = -4848*y + 5276. Is 352 a factor of t(-6)?
False
Suppose -13*g + 10*g + 1035 = 3*c, g + 681 = 2*c. Is 19 a factor of c?
True
Let n be (-8)/18 - (-1820)/45. Is ((-96)/n)/((-2)/35) a multiple of 14?
True
Let c = -87 - -261. Suppose -3*u - c = -1281. Is 18 a factor of u?
False
Suppose -12 = -4*g, -3*g = 6*q - q - 19. Suppose 2 = 2*r - v - 0, 4*r - q = v. Suppose 2*z = -r*z + 3*s + 17, 5*z - 2*s = 37. Is 6 a factor of z?
False
Let j(b) = -b**3 - 11*b**2 + 