 Is a a multiple of 16?
False
Suppose -412 = 2*q + 4*y - 0*y, 0 = -q - 5*y - 212. Let j = -156 - q. Is 4 a factor of j?
False
Suppose -3 = -0*r - r. Let b(x) = 1504*x**r - 1507*x**3 + 2*x**2 - 6 - x**2. Does 21 divide b(-3)?
True
Let j(t) = 17*t**2 + 97*t - 933. Is j(13) a multiple of 33?
True
Let g be ((-36)/10)/(4 + 66/(-15)). Let q(r) = -9 + r**3 - r + g*r**2 - 4 + 2*r + 5*r. Is 3 a factor of q(-8)?
True
Let v be (45/21 - 3)/(2/(-7)). Suppose -5*c + 5*p = 2*p - 3491, -c = -v*p - 691. Does 50 divide c?
True
Suppose 3*l - 2 = -f + 2*f, -60 = -4*f - 5*l. Suppose -14*q + f*q = -852. Is 20 a factor of q?
False
Let q = -64 + 133. Suppose -73*b = -q*b + 8. Let g(i) = -21*i - 18. Is g(b) a multiple of 6?
True
Let a(d) = d**3 + 5*d**2 - d + 78. Let s be a(0). Let x = 74 + s. Is x a multiple of 19?
True
Let y(q) = -6*q + 24. Let c be y(4). Let o(k) = 0*k**2 - k**3 - 122 + 133 + 11*k + c*k**2. Does 31 divide o(-4)?
True
Let z = 15129 - 12929. Is 40 a factor of z?
True
Let c(m) = 50*m**2 - 13*m - 18. Does 29 divide c(9)?
True
Let f(n) = 4*n**2 + 5*n + 6. Let v(x) = -4*x - 1. Let b be v(-2). Let p = b - 8. Does 2 divide f(p)?
False
Let b(t) = t. Let y(k) = -8*k - 136. Let g(a) = 3*b(a) - y(a). Does 8 divide g(15)?
False
Let c = 404 - 404. Suppose c = -3*i + 97 - 79. Is 4 a factor of i?
False
Let l(f) = -f**3 - 6*f**2 - 9*f - 21. Let w(r) = 2*r**2 + 12*r - 9. Let t be w(-9). Let q = 39 - t. Does 7 divide l(q)?
False
Let v = -1 - 4. Let t = 484 + -444. Let b = v + t. Is b a multiple of 15?
False
Let i(w) = 55*w - 13. Let k be i(-1). Is ((-122)/(-3))/(k/(-1326)) a multiple of 69?
False
Suppose -f + 16143 = 2*t, 247*t = 251*t - 3*f - 32321. Is t a multiple of 15?
False
Let v(x) = -x**3 - 13*x**2 + 112*x - 28. Let y be v(-19). Suppose 13*w = y*w - n + 893, 0 = 4*n + 4. Does 29 divide w?
False
Let v(n) be the second derivative of n**4/6 + 17*n**3/6 - 13*n**2/2 - 2*n - 4. Is v(-14) a multiple of 44?
False
Suppose 5*f = 8*f - 18. Let w(a) = -a**2 + 10*a - 17. Is 2 a factor of w(f)?
False
Let u(n) = -3*n + 136. Let b(s) = 29*s + 82. Let c be b(-4). Is 14 a factor of u(c)?
True
Let f = -852 + 1578. Is 17 a factor of f?
False
Suppose 2*m + 88 = -5*h + 664, 0 = 3*m + h - 851. Suppose -3*u - 3*t = m + 44, 0 = 2*t + 8. Does 7 divide (u/(-60))/((-1)/(-28))?
True
Let g = -1187 + 2615. Is g a multiple of 68?
True
Let j(v) = 360*v**2 - 58*v - 286. Is j(-7) a multiple of 160?
True
Let n(t) = 2*t**3 - 15*t**2 + 7*t + 9. Let d(h) = 8*h - 183. Let u be d(24). Is n(u) a multiple of 7?
True
Suppose 1657*s - 1665*s = -2752. Suppose -5*c + 474 = -2*h, 4*c - 237 = 2*h - h. Let z = s + h. Is 16 a factor of z?
False
Suppose -572 = -2*b + 5*t, 5*b - 576 = 3*b + 4*t. Suppose -w + 2*o = -72, 4*w - 4*o = -0*w + b. Is 21 a factor of w?
False
Suppose 0 = -5*l - 5*s + 65, -2*l - l - 5*s = -37. Is -16*((-133)/l + 4) a multiple of 44?
True
Suppose -10*t + 105 + 25 = 0. Let r(o) = 5*o + 14. Is 12 a factor of r(t)?
False
Let t = 394 + -341. Suppose 3*x = 4*d + 195, -t*x + 57*x = -d + 260. Is x a multiple of 19?
False
Let a = -23 + 55. Let f be 3/(3/a) - 2. Suppose -2*q = -2*i - 220, q - 148 + f = 5*i. Does 27 divide q?
True
Let j be (-130)/26*2*(-4)/(-5). Does 9 divide j/(-12)*-9 + 72?
False
Suppose -2*q + 37 = 39. Let a be 3*(1/q)/(6/18). Is 27 a factor of (-15)/a - 2 - 1016/(-6)?
False
Is 8 a factor of (-5)/15*-30 + -15 - -14347?
False
Suppose 0 = -k - 22*k - 345. Is k*14/(-35)*55 a multiple of 15?
True
Let q be 1/((-5)/5)*843. Is 20 a factor of (-6)/21 + q*(-8)/84?
True
Suppose t = r + 81 - 28, -3*r + t = 161. Let c be (-4662)/r + (-2)/(-3). Suppose 4*a = -4*b + 584, 2*a + 4*b - c = 201. Does 19 divide a?
False
Let z(u) = 42*u**2 + 72*u - 15. Let n(r) = 5*r**2 + 9*r - 2. Let k(o) = 51*n(o) - 6*z(o). Is 12 a factor of k(-13)?
True
Let a = 37 + 53. Suppose 4 = -23*t + 25*t - 2*g, t - 2 = -5*g. Does 18 divide a/t*(-40)/(-50)?
True
Let b(y) = -5*y**2 + 667*y - 188. Does 10 divide b(69)?
True
Let b(x) = 5*x**2 - 52*x - 187. Does 17 divide b(-10)?
True
Let a = -94 + 40. Let w = a + 60. Is 6 a factor of (-1130)/(-15) - w/(-9)?
False
Does 6 divide (-6)/(-12) + 52866/44?
False
Is 30 a factor of 3266214/285 + (-8)/(-10)*4/(-8)?
True
Let y(p) = -207*p + 11. Let j be y(3). Let z = j + 651. Is 4 a factor of z?
False
Let f = -1397 + 7705. Is f a multiple of 83?
True
Let f(h) = -56*h - 16. Let t = -701 - -695. Does 40 divide f(t)?
True
Suppose -72553 = -51*m + 15473. Suppose -6*b + m = -2102. Is 11 a factor of b?
True
Let w = 34 - 38. Let s be 118 + (-4 - w) + -3. Suppose 4*j - s = -j. Is 7 a factor of j?
False
Suppose g = 4*w + 4315, 5*g - 21667 = -486*w + 483*w. Is g a multiple of 24?
False
Let l(w) = -82 + 67 + 30*w - 91 + 5 - 67. Is l(10) a multiple of 6?
True
Suppose 0 = -3*v - 2*i + 38, 0 = v - i + 4*i - 8. Let n be (8 + 0)*v*(2 - 1). Suppose -m = -5*j - n, -m + 48 = 4*j - 55. Is m a multiple of 12?
False
Suppose -2*n = -6, 787 = -4*a - n + 198. Let r = a + -187. Does 8 divide 3*(r/(-15) - -1)?
False
Let h be (16/(-4) - 0) + 2. Is 3 a factor of ((-38)/8 + h)*240/(-18)?
True
Let p(b) = 10*b + 29. Let z be p(15). Let w = z - 77. Is w a multiple of 6?
True
Suppose 0 = -10*j + 22 + 8. Does 9 divide j/(-7) + 9 + 90675/91?
False
Let v(d) = -d**3 + 4*d**2 - 5*d + 15. Let t be v(3). Let o be (-1)/2*8 + t. Is o - ((-158)/2 - -3) a multiple of 9?
True
Let s(g) = g**2 - 6. Let l be s(3). Suppose 16*a - 608 = -l*a. Is 4 a factor of a?
True
Let p = 2 - -1. Suppose -4*w - 105 = -p*t + 326, -5*w = 25. Is 11 a factor of t?
False
Let w be 5*7/(105/(-36)). Let s be (-28)/w*(-6)/(-1). Suppose s = 5*h - 31. Does 9 divide h?
True
Suppose 4*m = 36*m - 14432. Suppose 8*g - 1133 = m. Is g a multiple of 21?
False
Let w(j) = 322*j**2 - 10*j - 45. Is 11 a factor of w(-7)?
False
Is -4 + 61557 + (4 - (-5)/(-4 + -1)) a multiple of 51?
False
Suppose -127 = 4*x - 10*i + 5*i, -5*i = -3*x - 89. Let m = x + 492. Is m a multiple of 8?
False
Does 83 divide 3640 + 1 + (-168)/42?
False
Let j(s) = 4*s**2 - 154*s + 2784. Does 13 divide j(64)?
False
Let f(d) = 9*d + 18. Let g be f(-2). Suppose g = 5*b - 2*y - 2240, 3*b = 6*b + 5*y - 1375. Does 50 divide b?
True
Suppose -q + 4*v + v + 7 = 0, 3*v + 35 = 5*q. Let f = 124 + -34. Suppose -q*d + f = -d. Is d even?
False
Let a(t) = -t**2 + 16. Let y be a(-4). Suppose y*x = -x - 3*g + 134, 0 = -5*x + 3*g + 580. Does 7 divide x?
True
Suppose -2*s + n - 6*n = 4673, 4*n = 3*s + 7067. Let k = s - -3922. Suppose -565 = 8*b - k. Is 14 a factor of b?
True
Suppose 0 = -12*o + 13*o - 4. Suppose 2152 = 4*a - 2*t, o*a + 11*t = 8*t + 2172. Does 90 divide a?
True
Let j = 1 + 1. Suppose 12 = -j*o - 124. Is o/(2/3*-1) a multiple of 34?
True
Let t(u) = 15 + 4 - u - 6 + 7. Is 11 a factor of t(8)?
False
Suppose -18*p = -15*p + 3. Is p/4 + (-265)/(-4) a multiple of 6?
True
Suppose -8*w + 108 = w. Let y be (183 + -15)*4*50/w. Suppose -7*r + 15*r - y = 0. Does 50 divide r?
True
Let n(q) = 15 - q**2 - 4*q + 20*q + 3*q**3 + 8*q**2 - 4*q**3. Let s be n(9). Is 13 a factor of -52*7/(28/s)?
True
Let y = -29 + 35. Suppose 5*z - 19 = -u, 5*u - 1 + y = 0. Suppose z*a + 2*w - 382 = 4*w, 2*w = 2*a - 194. Is 5 a factor of a?
False
Let o(c) = 378*c**2 - 78*c - 66. Is o(-3) a multiple of 14?
True
Suppose -a - 101 = 3*r, -5*r - 3*a = 71 + 92. Let p = 59 + r. Is 38 a factor of (-4)/(p/171)*(-4)/3?
True
Let k be (-562)/6 - (-1)/(-3). Let s = k + 178. Is 6 a factor of s?
True
Let u be 1/2 - (-63)/18. Let o(k) = -2 - 2*k**3 + 3*k**3 - u*k + 0*k**3 + 4*k**3 + 5*k**2. Is 23 a factor of o(3)?
False
Suppose -220 = -12*k + k. Suppose -k*i + 17*i = 2*p - 924, 0 = -3*p + 2*i + 1360. Is p a multiple of 12?
True
Suppose -4*b + 21 = 5, -3*j = 2*b - 15326. Is 69 a factor of j?
True
Suppose -3*j - 2*p + 69773 = 0, 0 = 5*j - 4*j - 2*p - 23271. Is 17 a factor of j?
False
Let p be (-3)/((-3)/2) + -2*1. Suppose -70 = -7*u - p*u. Is 198/u - 20/(-100) a multiple of 4?
True
Suppose 3*z = 2 - 11, 0 = m - 5*z - 21. Suppose -28 = 4*y - 2*l, 3*y - 5*y - l = m. Does 18 divide y/((-15)/837) - 4?
False
Let s = 857 + -495. Suppose -j + 3*t - 84 = -261, 4*t + s = 2*j. Is 27 a factor of j?
True
Suppose 0 = y + 2*k + 6, -3*y + 10 = -k - 0*k. Suppose 19*m + 70 = 29*m. Suppose y*q - 45 = m. Is q a multiple of 13?
True
Let j(s) = 2*s**3 - 3*s**2 - 4*s + 8. Let c b