 = -15*n + 45. Let a(b) = -6*d(b) + 11*x(b). Is a(p) a multiple of 21?
True
Suppose -19228 = 19*c - 77235. Is c a multiple of 9?
False
Suppose 0 = -16*l + 8*l. Suppose -21*s + 606 + 1914 = l. Does 10 divide s?
True
Suppose 117598 = 55*w + 14803. Suppose -2031 = -2*z + w. Is 15 a factor of z?
True
Let v = 88 - 81. Suppose 2*i - v = 3. Is 165*(-4)/(-2) - 15/i a multiple of 42?
False
Suppose 5*u - d - 14 + 5 = 0, -6 = -4*u + 2*d. Let p(j) = -38*j + 0*j**u + j**2 + 10 - 41*j + 82*j. Is 10 a factor of p(-8)?
True
Let v(c) be the third derivative of -5*c**4/24 - 9*c**3/2 - c**2. Let f(n) = n**3 - 22*n**2 - 45*n + 492. Let w be f(23). Is 17 a factor of v(w)?
False
Suppose -15*h - 11*h = -130. Suppose h*k + 7215 = 18*k. Is k a multiple of 15?
True
Is (-15)/(-10)*(-3 + 55391/21) a multiple of 13?
True
Let t(r) = 230*r + 963. Does 13 divide t(8)?
False
Let r be 16/8 - 39/6*-118. Let l = -85 + r. Does 36 divide l?
True
Let j = -264 + 260. Is 8 a factor of 1*(-4 + 28) + j?
False
Suppose -8*t - 6 = -6*t. Let n be (t - -1)/(0 - 2 - -1). Suppose -163 - 173 = -n*x. Does 14 divide x?
True
Let z(m) = 4*m**3 + 12*m**2 + 17*m - 14. Let w(g) = -3*g**3 - 13*g**2 - 18*g + 14. Let q(a) = -3*w(a) - 2*z(a). Does 5 divide q(-13)?
False
Let w = 161 - 566. Let v = -34 - w. Is 8 a factor of v?
False
Let n(r) be the second derivative of r**4/12 - r**3/6 - 27*r**2/2 + 84*r. Is n(-14) a multiple of 3?
True
Suppose 0 = -z + 3*i + 3, -4*z + 5*i + 1 = -18. Suppose -3*l = -z*l + 1017. Is 7 a factor of l?
False
Let o(j) = 7*j**2 + 323*j + 150. Does 234 divide o(24)?
True
Suppose 51*u - 62*u + 28127 = 0. Suppose u = 9*d + 820. Does 20 divide d?
False
Let s(r) = -r**2 - 4*r + 5. Let f be s(-5). Suppose 2*i = -5*i + 644. Suppose f = -5*v + p - 2*p + 145, -4*v + i = -4*p. Does 7 divide v?
True
Suppose -250*b + 19589 = x - 249*b, 2*b + 97987 = 5*x. Does 45 divide x?
False
Let y be 0/((4 - 9) + 3). Suppose y = -31*o + 37*o - 1248. Does 13 divide o?
True
Let c(v) = 7*v**2 + v - 4. Let h be c(1). Let l(z) = 24*z + 16. Does 15 divide l(h)?
False
Suppose 3130 = -2*f + 3620. Does 7 divide f?
True
Let l be 3/(-10) - (-219559)/(-670). Let o = 740 + l. Is 25 a factor of o?
False
Let k be (8/28)/(-4 + (-423)/(-105)). Is 9498/27 + k/45 a multiple of 29?
False
Suppose -39*m = 5198 - 35267. Let r = m + 559. Is r a multiple of 14?
True
Suppose w = -2*m - 4*w + 13, m - 3 = w. Suppose -5*t + 15 = -5*z, 5*t + z - 9 = m*z. Suppose -3*j - 2*l + 65 = t, 6*l = 2*j + 2*l - 22. Does 10 divide j?
False
Suppose 0 = -g - p + 32 + 43, -4*p = -16. Suppose -g*r - 5024 = -75*r. Is r a multiple of 20?
False
Let d(n) = -7*n + 63. Let v be d(24). Does 15 divide (-1047)/(-2) - v/(-70)?
False
Does 42 divide 1 + 6 - (10 + -3447)?
True
Let o = 13 + -10. Suppose 8*y = o*y + 5*j + 10, -4*y - 2*j = -14. Is 13 a factor of (1 - -49) + (y - 9 - -4)?
False
Let n = -117 + 122. Suppose 34 = 3*p - g + 5*g, -n*p - g = -85. Is 6 a factor of p?
True
Let l = 184716 + -104356. Is 14 a factor of l?
True
Suppose 545*f - 558*f = -10192. Is 56 a factor of f?
True
Let d(w) = 6*w + 27. Let q be d(-4). Suppose 4*m + 301 + 155 = 3*k, -2*k + q*m + 305 = 0. Is k a multiple of 32?
False
Let d(w) = 29*w - 43. Let k be d(-10). Let g = k - -673. Is 34 a factor of g?
True
Let x = 177 - 173. Suppose 4*u - 596 = x*k, 4*k = 6*k - 8. Is u a multiple of 17?
True
Let o(q) = -350 - 95*q + 214 + 211. Does 6 divide o(-4)?
False
Let d(q) = 13*q - 16. Let n be d(8). Let t be (-16)/(-40) + (1569/15 - 2). Let a = t - n. Does 4 divide a?
False
Suppose -2*p = p, 5*p = h. Suppose 3*m = m + 2*s - 284, 4*m - 3*s + 563 = h. Let y = m - -228. Is 13 a factor of y?
True
Let f = 1328 - -1731. Suppose -13*o + f = -6*o. Does 19 divide o?
True
Suppose 2*o - 6911 = -2*y + 4073, 22008 = 4*o - y. Is o a multiple of 22?
True
Let c(u) be the first derivative of 7*u**3/3 + 18*u**2 + 17*u + 271. Does 10 divide c(-9)?
True
Suppose 11*t - 339 = 14*t. Let n = t - -134. Does 5 divide n?
False
Suppose -27*p - 18*p = -5*p - 325680. Does 4 divide p?
False
Let f = 48 - 32. Suppose -x = 4*y + f, 4*x + x = 5*y - 55. Let w = 91 + x. Is 8 a factor of w?
False
Let r = 15 - -9. Suppose -2*p + 66 = -r. Is p a multiple of 45?
True
Suppose -14 = y - 8*y. Suppose y*h - 8 = -4*o + 12, h + 25 = 5*o. Suppose 0 = 3*z - h*z - 15. Is z a multiple of 3?
False
Suppose -146 = -u - 968. Let p = u + 1190. Does 16 divide p?
True
Suppose -2*t - 15114 = -5*w, -5*w = -8*w + 2*t + 9066. Is 108 a factor of w?
True
Let l = -1469 - -2749. Does 32 divide l?
True
Suppose 7*p + p - 24 = 0. Suppose h + 2*u = -0*u + 237, 5*h + p*u = 1178. Does 7 divide h?
False
Let f = -202 - -195. Let v(a) = a**3 + 16*a**2 + 37*a - 20. Is v(f) a multiple of 18?
True
Let u(x) = 146*x - 304. Let d(v) = 140*v - 305. Let q(m) = 7*d(m) - 6*u(m). Is q(5) a multiple of 8?
False
Let u(n) = 47*n - 228. Let d(z) = -50*z + 230. Let h(v) = -2*d(v) - 3*u(v). Does 11 divide h(-44)?
False
Suppose -1516*f = -1513*f - 18. Suppose 0 = 3*b - 4*i - 261, b + i - 98 = f*i. Is b a multiple of 78?
False
Suppose 3*k = -3 - 9. Let u = 0 + k. Is u*(1970/8)/(-5) a multiple of 23?
False
Let u(f) = f**3 - 4*f**2 + 14*f + 47. Let s be u(8). Let o = 118 + s. Is 28 a factor of o?
False
Suppose -4*c + 5*h = -1042 - 631, 5*c - 5*h - 2090 = 0. Suppose -267*r + c = -264*r. Is r a multiple of 4?
False
Let v(y) = y**3 - 22*y**2 - 50*y - 36. Suppose 101 = 5*f - 24. Is 10 a factor of v(f)?
False
Let z(k) = -13*k - 9*k**2 + 4 - 12*k + 3*k + k**3 + 0*k. Let x be z(11). Does 30 divide 167 - (x - (0 + 5))?
False
Suppose -4892 + 72792 = 35*x. Does 14 divide x?
False
Suppose -21*i + 18310 = -11*i. Let f = 4043 - i. Does 111 divide f?
False
Let j(c) = 2*c - 19. Let g be j(8). Let y be (1 + -2)/(g*4/408). Is y/9 - (-4)/18 even?
True
Let d be (-1*(-2)/(-2))/((-3)/(-9)). Let v(i) = -120*i + 15. Is 48 a factor of v(d)?
False
Suppose 3*f = 4*w - w + 46359, 4*f + 2*w - 61830 = 0. Is 16 a factor of f?
True
Suppose -11*h + 4194 = -5*d - 9*h, 0 = 2*h - 4. Let c = -218 - d. Is 31 a factor of c?
True
Let c be -5 + 6/2 - -4. Suppose -890 = -c*p - 316. Is 41 a factor of p?
True
Let d(j) = -j**2 - 14*j. Let x be d(-10). Suppose x*i = 39*i - 65. Is (i/4)/(-5)*60 a multiple of 12?
False
Suppose -43990 = -4*a + 2*d, -137*a + 133*a = 5*d - 43997. Is a a multiple of 117?
True
Suppose -4*s = -5*m + 21, 0*s = 4*m + 5*s + 16. Let i be ((-4254)/(-36) - -3) + m/(-6). Suppose -47 - i = -14*b. Does 12 divide b?
True
Suppose -88*j - 30*j + 315084 = 3*j. Is 5 a factor of j?
False
Suppose 5*i = -3 - 42. Let y be (((-15)/2)/(-5))/(i/(-24)). Suppose 46 + 14 = y*h. Is 15 a factor of h?
True
Suppose -4*a + 7 = -1. Let v(n) = n**2 + 51*n - 106. Let g be v(-53). Suppose i = -g*i + a*h + 7, -4*h = -4. Is i a multiple of 5?
False
Let k(x) = -x - 1. Let g(l) = -2*l + 22. Let b(u) = 8*u - 87. Let i(n) = -2*b(n) - 9*g(n). Let y(s) = -i(s) - 3*k(s). Is y(0) a multiple of 27?
True
Let r(c) = -c**2 + 14. Let i be r(7). Let k = 45 + i. Is 4 a factor of ((-2)/(-11) - (-68)/110)*k?
True
Let v = 11 - 8. Suppose 2*r - 135 = -0*r - 3*n, -255 = -4*r - v*n. Suppose 0 = -7*w + 4*w + r. Is 10 a factor of w?
True
Let g(u) = 5888*u**3 + 4*u**2 - 4*u + 2. Does 25 divide g(1)?
False
Let a = 65 - 38. Suppose 0 = t + a - 31. Suppose 2*i - 248 = t*m, -i - 4*m = i - 264. Does 16 divide i?
True
Suppose 5*d = -5, -2*d = 4*k + d + 115. Let y = k + 232. Does 12 divide y?
True
Suppose f - 856 = -5*g + 453, 0 = 3*f + 5*g - 3897. Let j = f + -592. Is 27 a factor of j?
True
Let r(u) = -2*u**2 + 98*u + 235. Does 7 divide r(46)?
True
Let m(o) = -32*o - 187. Let g(w) = -2*w**3 - 5*w**2 + 6*w - 2. Let x be g(-3). Is 3 a factor of m(x)?
True
Suppose 9*x = -3*x + 8*x. Suppose x = -d + 4*d + 234. Let t = d - -121. Is t a multiple of 11?
False
Suppose -508*w + 38986 = 5*r - 511*w, -2*r = 5*w - 15644. Does 160 divide r?
False
Suppose 3*w + 2*n + 322 = 1066, 0 = 5*w + 4*n - 1240. Suppose 4*t + h + 50 - w = 0, -t + 39 = -5*h. Let d = t - -39. Is d a multiple of 22?
True
Let b be 544/(-10) + 34/85. Does 44 divide (79/3)/((-6)/b)?
False
Suppose -3*t - 5*z + 80 = 0, -2*z = z - 12. Let n be 4 - (-1 + (2 - 0)). Is 2108/t + n + (-4)/10 a multiple of 15?
False
Let g(a) = -420*a - 130. Let z be g(-4). Suppose 8*q - z = -118. Is q a multiple of 3?
False
Let n(w) = 14*w 