5*m + 13. Is 45 a factor of p(r)?
False
Suppose -51 = -15*w + 54. Suppose -19*d = -w*d - 1776. Suppose y = n - 77, 2*n - y = 4*y + d. Does 21 divide n?
False
Let v(o) be the second derivative of o**4/12 - 5*o**3 + 49*o**2/2 - 297*o. Is v(-15) a multiple of 22?
False
Suppose -18*p = -16*p - 4. Suppose -p*c = -1 - 9. Suppose -135 = -c*r + 105. Is 6 a factor of r?
True
Suppose 3*v - 6*v + 12 = h, 0 = -5*v - 3*h + 20. Suppose 0 = v*j - 0*o - o - 8, j - 2 = -5*o. Suppose -180 = -3*l - j*l. Is l a multiple of 12?
True
Let j(h) = 2*h**3 - 35*h**2 - 6*h - 12. Let t be j(26). Suppose 62*q - 20482 = t. Does 22 divide q?
False
Let b = -941 - -1901. Suppose -b = -32*a + 27*a. Does 6 divide a?
True
Let l = -55 - -62. Suppose d + 156 = l*d. Suppose -d - 16 = -c. Is 7 a factor of c?
True
Let c = 28 + -26. Suppose -u = 4*u + o + 393, -c*o = -u - 72. Is 6 a factor of (-79 + -1)*(4 + u/15)?
True
Let n(d) = 10*d**2 + 3*d - 2. Let m = -60 - -68. Let f be n(m). Is (-2)/((-8)/f) - (-3)/(-6) a multiple of 15?
True
Let n(q) = -4*q + 22. Let t(v) = 5*v - 23. Let u(i) = 4*n(i) + 3*t(i). Let g be u(12). Suppose -2*z - g = -17. Does 2 divide z?
False
Suppose -12*k - 26676 = -4*d - 8*k, 5*d + 3*k - 33321 = 0. Is d a multiple of 66?
True
Let i(g) = 1677*g**2 + 3*g. Let u be i(1). Suppose 12*l = 5*l + u. Is l a multiple of 15?
True
Let f = 250 - 140. Suppose -f - 418 = 3*n. Let g = n + 268. Does 35 divide g?
False
Suppose -3790 = -q - 2*i + 9490, 185982 = 14*q - 3*i. Does 246 divide q?
True
Suppose 8*g - 30 = 4*y + 10*g, 3 = -3*g. Does 37 divide (-7335)/(-6) - (y - 51/(-6))?
True
Let i = -103 + 99. Let b be (i/5)/(3/(-15)). Is 24 a factor of (b/(-3))/(7/(-378))?
True
Suppose 5*h = -3*r + 1661, 0 = 3*h - 4*r - 559 - 426. Suppose -h = -3*b + 41. Is 8 a factor of b?
False
Suppose 4*k + 2*w - 26 = 0, w + 15 = 4*k + 4. Suppose k*s = 2*t - 35 - 7, 2*s - 5 = -t. Does 3 divide t?
False
Let s(d) = -5*d**3 + 9*d**2 - d - 16. Let l(w) = -2*w**3 + 1. Let h(q) = -2*l(q) + s(q). Is 44 a factor of h(6)?
False
Let l be -1611*(2/18 + 35/(-45)). Suppose m - l = -313. Is m a multiple of 19?
False
Suppose 28*t - 33*t + 79812 = -3*u, -2*u - 79808 = -5*t. Does 57 divide t?
True
Suppose 2*u + c - 170 = 0, -3*u + 0*c + 4*c = -255. Let x = u - 58. Does 9 divide (-190)/(36/x*3/(-2))?
False
Is 2/(-3)*(109788/(-24) - 23) a multiple of 107?
False
Let k(x) = -418*x + 5215. Does 9 divide k(-28)?
False
Let v = -7840 - -30458. Is v a multiple of 19?
False
Let b(l) = -l + 5. Let r be b(4). Is (-6 - (-54)/24)/(r/(-32)) a multiple of 15?
True
Suppose 0 = 713*o - 712*o - 13334. Is 10 a factor of o?
False
Does 146 divide ((-74)/111)/((-6)/396117) - -10?
False
Suppose 96 = -9*t + 21*t. Suppose t*u - 819 = 5*u. Is u a multiple of 39?
True
Is 21 a factor of ((8/(-36)*22047)/((-66)/(-693)))/(-1)?
False
Let c(r) = 3*r**3 + r**2 - 4*r + 751. Is c(0) a multiple of 3?
False
Suppose 0 = -21*y + 6*y + 7230. Suppose 3*a = -g + 90, y = 5*g - a - 0*a. Does 10 divide g?
False
Suppose -137*y - 1785 = -144*y. Suppose -2*j + 408 + y = z, 0 = z + 5*j - 651. Is 68 a factor of z?
False
Let r(i) = -49 - 6*i - 9*i - 42 - 6*i. Is 7 a factor of r(-10)?
True
Let p(b) = b**2 - b - 1. Suppose -3*f = -4*o - 70, -f - 8 = -3*o - 33. Let k = -15 + f. Does 33 divide p(k)?
False
Is ((-158240)/1075)/((-2)/105) a multiple of 184?
True
Let j(w) = 248*w**2 - 108*w - 11. Is j(-6) a multiple of 11?
False
Suppose -5*u - 3*i - 5 = 2*i, 3*i + 3 = -5*u. Suppose u = -23*s + 15*s + 1056. Is 44 a factor of s?
True
Let c(r) = 23*r. Let t(o) = -5*o + 1. Let y(q) = -6*q + 2. Let n(h) = 7*t(h) - 6*y(h). Let s be n(6). Is 11 a factor of c(s)?
False
Suppose -15*t - 131*t = 45*t - 1278745. Is t a multiple of 13?
True
Let v = 228 + -69. Let a = v - 74. Is a a multiple of 27?
False
Suppose -30 = -20*y + 10. Does 16 divide (9/y)/3 - (-81)/2?
False
Let b be 14/(-5) + 3 + (-2664)/(-30). Suppose -83*t + b*t - 2592 = 0. Is 14 a factor of t?
False
Let l(k) = k**3 + 13*k**2 + 12*k - 22. Let c(j) = -j - 8. Let x be c(3). Let g be l(x). Let q = -28 + g. Is q a multiple of 20?
True
Let n(x) = -18 + 72*x - 138*x + x**3 - 8*x**2 + 49*x. Is n(12) a multiple of 59?
True
Let s = -2046 - -3018. Suppose -288 = -6*y + s. Is y a multiple of 42?
True
Let i(j) = j**2 - 24*j - 46. Let b be i(26). Is b/(-60) + 8133/30 a multiple of 41?
False
Let s(i) = 153*i**2 - 3*i + 10. Let y be s(-4). Suppose y + 2826 = 16*a. Is a a multiple of 29?
False
Suppose 3*t + m - 65809 = 0, 2*t - 91*m - 43910 = -97*m. Is t a multiple of 10?
False
Let o = -138 - -229. Suppose 0 = -23*n + 459 - o. Is 13 a factor of n?
False
Let v(w) = -26*w - 1659. Is v(-83) a multiple of 3?
False
Let q be (42 + 5)*(-4)/2. Let h = 95 + q. Suppose 2*x - 3*r = 2*r + 37, 0 = -r - h. Is x a multiple of 3?
False
Let t = 186 - 172. Does 55 divide (t + -4)*(96 - 10)?
False
Suppose 0 = -13*a + 27 + 25. Suppose -56*x - a = -57*x. Is x a multiple of 2?
True
Let f(t) = -2793*t + 5733. Does 63 divide f(-6)?
True
Let v(d) = 6*d + 274. Is 38 a factor of v(-14)?
True
Let s(x) = -2*x + 21. Let d be s(10). Let j be 1/((-2)/d)*-26. Suppose 2*r = j + 7. Is r a multiple of 3?
False
Let i(c) be the third derivative of 7*c**5/20 + 2*c**3/3 - c**2 - 58. Is 15 a factor of i(2)?
False
Let v(k) = k**2 - 6*k + 8. Let o be v(4). Suppose d - 4*m + o*m = 0, d - m = 3. Suppose -z - 1 = 0, d*i - 2*z - 3*z = 845. Is i a multiple of 14?
True
Let v = -4979 - -9724. Is v a multiple of 19?
False
Let k(i) = i + 1. Let b(l) = -3*l. Suppose 2*o = -z - 6, 5*o - 4*z - 19 + 8 = 0. Let w(v) = o*b(v) - 4*k(v). Does 6 divide w(-12)?
False
Suppose 19*l - 62454 - 10611 = 42645. Is 58 a factor of l?
True
Let g be -1 - -4 - (-16)/(-4). Let i be (3 - -1)/(g/(-14) - 0). Suppose -113 = -3*r - 3*v + 79, r = -5*v + i. Does 22 divide r?
True
Let o(n) = 1227*n - 2. Let q be o(2). Suppose 4*v = -780 + q. Does 23 divide v?
False
Suppose -20*w + 1913 = -28227. Is w a multiple of 11?
True
Let r = 197 + -212. Does 3 divide (-2793)/r + (5/(-25))/1?
True
Suppose 5*l - 2*y - 1 = 5, 3*l + 9 = -3*y. Suppose l = r + 3*r + 3*f - 84, r = 4*f + 40. Is 8 a factor of r?
True
Suppose 0 = -9*j + 30 + 15. Suppose -7*b - 10 = -2*b, -3*x - j*b = -182. Does 64 divide x?
True
Suppose 18*l = 20*l + 1144. Does 15 divide 8/24*(-8 - -2) - l?
True
Suppose -71249 = -35*f - 6432 + 54183. Is f a multiple of 16?
False
Let t = 8142 + 4421. Does 53 divide t?
False
Suppose -3*h + 3*m + 39 = -57, -5*h = -2*m - 151. Let x = 39 + h. Is 17 a factor of x?
True
Suppose 174112 - 224 = 62*t - 120798. Does 30 divide t?
False
Suppose 137*x - 12487 = 363030. Is x a multiple of 86?
False
Suppose d - 499 = 4*o, 5*o - 946 - 1524 = -5*d. Does 9 divide d?
True
Let p(o) = 2*o**2 - 77*o + 111. Let i(y) = y**2 - 39*y + 57. Let u(r) = 5*i(r) - 3*p(r). Does 12 divide u(28)?
False
Let x(r) = -r**2 - r - 4. Let s be x(0). Let b(y) be the third derivative of -y**4/12 - 2*y**3/3 - 75*y**2. Does 2 divide b(s)?
True
Let c(v) = 6*v - 68. Let q be c(12). Suppose 3*h + 812 = 3*n + 2630, 5*h - q*n = 3027. Is 67 a factor of h?
True
Let t = 8531 + -4674. Is t a multiple of 29?
True
Let h = -8 - -16. Let u(z) = z**2 + 19*z - 1. Let i be u(h). Suppose -1275 = -10*w - i. Is w a multiple of 12?
False
Suppose -w + 965 = -5*b, -w + 505 = 2*b - 495. Is 22 a factor of w?
True
Let d = -841 + 1727. Does 26 divide d?
False
Let k be (-4)/6 + 8400/18. Suppose -75 = q - k. Let c = -202 + q. Is 42 a factor of c?
False
Let c = -6139 + 13793. Is 86 a factor of c?
True
Suppose t = -7*t + 192. Suppose -2*k - 3*k - 16 = r, 0 = -5*r + k + t. Suppose -320 = -4*w - 4*u, -3*w - 3*u = -r*w + 100. Is w a multiple of 16?
False
Suppose 0 = -10*v + 8*v. Let i be 0 + (v/(-2) - (-3 - -1)). Suppose 5*s - 419 = l, -229 = -s - i*s - 5*l. Is 15 a factor of s?
False
Does 19 divide 3/6 - 1/(14/(-159761))?
False
Let q be (-9)/4*(-32)/24. Suppose 0 = -q*g + r + 108, -4*g - r - 1 + 152 = 0. Suppose 4*c + 3*t = -c + 139, c = 4*t + g. Is 4 a factor of c?
False
Let p = 29264 + -17014. Is p a multiple of 70?
True
Let f(l) = -18*l - 87. Let j be f(-5). Is j/(-12) - (4082/(-8) - -1) a multiple of 15?
False
Suppose m + 18935 = -0*k + 3*k, -16*m = 32. Does 69 divide k?
False
Suppose 128 = -p + 9*p. Suppose -3*w = -0*w + j - 16, -5*w + j + p = 0. Is 12 a factor of (10/25)/(w/360)?
True
Let k 