t m(i) = -i + 99. Let p = 2 - -3. Suppose 5*r = p*r + 4*r. Is m(r) a multiple of 11?
True
Let n(c) = -105*c - 61. Let f be n(-8). Let b = f + -439. Does 17 divide b?
True
Let a(c) = 4*c**2 - 19*c - 31. Let q(m) = -31 + 0*m**2 - 12*m + 5*m**2 - 7*m. Let x(j) = 6*a(j) - 5*q(j). Is x(-8) a multiple of 21?
False
Let t = 19759 - 2521. Is 24 a factor of t?
False
Suppose -10697 = -35*a + 31*a + y, 0 = -a - 5*y + 2648. Is a a multiple of 11?
True
Let j(y) = 530*y + 32810. Is 24 a factor of j(0)?
False
Let b(s) = -1615*s**3 + 8*s**2 - 52*s - 156. Is 77 a factor of b(-3)?
False
Let c(j) = 6*j - 8. Let w(l) = -l - 1. Let a(p) = 3*c(p) + 15*w(p). Let n be a(14). Suppose -9*t - n*t = -360. Is 10 a factor of t?
True
Let t(j) be the second derivative of j**5/10 - 13*j**4/12 + 17*j**3/6 - 4*j**2 + 68*j - 2. Is 19 a factor of t(8)?
False
Let v = -6827 + 14199. Is v/(-133)*(-14)/4 a multiple of 71?
False
Let j be (3/2 - 1)*22. Let r = j + -17. Is (9/r)/(3/(-28)) a multiple of 7?
True
Suppose 16*q + l + 10082 = 19*q, 5*q = 3*l + 16806. Suppose 18*s - q = 4*s. Does 10 divide s?
True
Let u(x) = 1022*x - 13369. Is 11 a factor of u(40)?
True
Let r = 542 + 1026. Is 4 a factor of r?
True
Suppose 0 = -7*t + 2*t - 3*k + 1605, -4*t + 1291 = k. Is t a multiple of 162?
True
Suppose 0 = 2*x - n - 50, x = 2*n + 43 - 12. Does 13 divide (x + 15)/((-6)/(-105))?
False
Suppose -5*c + 105*f - 102*f + 7164 = 0, -3*f = -3*c + 4302. Let p = c + -158. Is p a multiple of 19?
True
Suppose 0 = 40*u - 944 + 26464. Let t = u - -1038. Is t a multiple of 40?
True
Let h(w) = 494*w**2 - 15*w + 13. Suppose 117*s - 85*s - 32 = 0. Does 12 divide h(s)?
True
Is 2/8 + 567525/140 + (-25)/5 a multiple of 28?
False
Suppose 62*g = 56*g + 654. Is 88/6*(g - 55) a multiple of 11?
True
Let v(k) be the first derivative of -k**3/3 + 11*k**2/2 + 12*k + 8. Let j be v(13). Is 6/j - 80/(-7) a multiple of 11?
True
Let k(v) be the third derivative of 8*v**2 + 23/6*v**3 + 0*v + 0 - 7/4*v**4 + 1/20*v**5. Does 24 divide k(18)?
False
Let y(s) = 2*s**2 - 13*s - 11. Let b be y(7). Let r be (-36)/(-20)*(b/2 + 7). Suppose r*h = 2*h + 336. Is 16 a factor of h?
True
Suppose -3*o = 35 - 8. Let b = -1 - o. Suppose b*v - 11*v = -117. Is v a multiple of 4?
False
Suppose 2*v + 63015 = 3*d + 14981, -4*v + 16 = 0. Suppose 3*h - d = -31*h. Is h a multiple of 11?
False
Let h be 4 + ((-15)/(-9))/((-2)/(-126)). Suppose h = b - 130. Does 28 divide b?
False
Let a(d) = 4*d**2 - 3*d + 4. Let n be a(2). Suppose 0 = 9*b - n*b + 15, 0 = 5*l + b - 6753. Is l a multiple of 45?
True
Suppose 2*y + 6 = -0*y, 19 = 2*z + y. Suppose z*a + 51 - 436 = 0. Suppose a*t - 513 = 32*t. Does 35 divide t?
False
Suppose -4*s + 8 = 0, -2*q + 17*s = 19*s - 12. Does 23 divide (-10)/q + 2 - (-3825)/34?
False
Let o(z) = -9 - 11 + z**2 + 38 - 2*z**2 - 7*z. Let y be o(-9). Suppose y = -4*x - 8*x + 1932. Does 21 divide x?
False
Let n = -1746 - -3970. Does 4 divide n?
True
Let v = 148 - -12. Let x = 291 - v. Let k = -81 + x. Is 5 a factor of k?
True
Let r be 270/12 + 1 - (-9)/6. Does 9 divide (-534)/(-15) + 10/r?
True
Suppose 159*g + 177*g - 352800 = 286*g. Is 56 a factor of g?
True
Suppose 5*q - 8522 = q + 2*h, 0 = 3*q + 3*h - 6414. Does 9 divide q?
True
Let g(c) = 12*c + 56. Let n = 72 - 50. Is 10 a factor of g(n)?
True
Is 41242 - (2 + 6 + (-11 - -9)) a multiple of 196?
False
Let t(q) = 68*q**2 - 253*q + 52. Is 10 a factor of t(10)?
False
Let z = -21918 - -26910. Does 12 divide z?
True
Let s(g) be the first derivative of 5*g**2/2 - 2*g + 7. Let i be s(-3). Let q(a) = a**2 + 13*a + 22. Does 30 divide q(i)?
True
Suppose 1503 = 2*d + 37. Suppose 6*x - d = -115. Is 15 a factor of x?
False
Let u = 620 - 438. Let o = u + -126. Is o a multiple of 4?
True
Suppose 0 = 4*b - 4*d - 100, 0*d + 75 = 4*b + d. Suppose 2*n - 144 = b. Does 5 divide n?
False
Let s(k) = 10*k**2 + 4*k - 53. Let r(y) = y + 1. Let b be r(6). Is s(b) a multiple of 45?
False
Let c(d) = -2*d + 0 + 7*d + 6 + 39*d**2. Let i(b) = -6*b**2 - 51*b + 89. Let k be i(-10). Is c(k) a multiple of 8?
True
Let b be (-3)/6*0/(-3) - 0. Suppose b = -2*v + 237 + 11. Is v a multiple of 24?
False
Let o be -9*(405*-1 + 3). Suppose o = -m + 10*m. Does 67 divide m?
True
Let g(z) = -5 - 29*z + 51*z + 1 - 24*z. Let i be g(-6). Let t = 34 - i. Is t a multiple of 3?
False
Let o(v) = -v**2 + 19*v - 29. Let r be o(18). Let l = r - -13. Does 2 divide ((-26)/l)/(6/(-6))?
False
Let k be -6*28/27 - (-6)/27. Does 5 divide (56 - (0 + k)) + -4?
False
Let r(d) = 6*d - 46. Suppose 34*h = 38*h - 84. Is 20 a factor of r(h)?
True
Let c be (1 + (-28)/8)*2. Suppose -7*f + 3*f + 140 = 0. Is 154/f*c/(-2) a multiple of 3?
False
Let v(k) = 102*k - 694. Is v(40) a multiple of 7?
False
Let a = 39218 + -8793. Is a a multiple of 117?
False
Suppose 0 = -67*o + 66*o + 328. Suppose 0 = 2*g + 4*d - o, 0*g + d + 527 = 3*g. Is g a multiple of 6?
True
Suppose 5*a - 87 + 2 = 0. Let w(j) = 4*j**2 - j + 3. Let n(f) = 13*f**2 - 21*f + 41. Let v(l) = n(l) - 3*w(l). Is v(a) a multiple of 5?
True
Suppose -5*q + 31 = -29. Is 19 a factor of (-5 - (-68)/q) + 1478/6?
True
Suppose 5*n = -5*r + 450, -4*n + 372 = 5*r + 15. Suppose 11 + n = -8*w. Let j(h) = h + 25. Is j(w) a multiple of 3?
True
Let y(w) = -27*w**3 + 17*w**3 + 4*w + 15*w**2 - 83 + 7*w + 11*w**3. Is 42 a factor of y(-9)?
False
Let s be -2*((-8)/(-1) - 6). Is 2 + (-1989)/s - 9/(-12) a multiple of 8?
False
Let v(k) = k**3 + 29*k**2 - 14*k - 131. Let b be v(-31). Let g = 2378 + b. Is 69 a factor of g?
True
Suppose c = -5, 1883*c + 46431 = 4*q + 1880*c. Is 34 a factor of q?
False
Suppose 5*c = 9*c - 4*q - 24, -3*q = c - 14. Suppose 0 = -4*h - 0 + c. Suppose -3*p = -5*s + 878 - 168, 3*p - 305 = -h*s. Is 29 a factor of s?
True
Let m be 0 + (-3)/(-9) + (-503)/(-3). Suppose -12 + 0 = 4*n, -n - m = -3*k. Does 11 divide k?
True
Let z = -13629 - -17493. Is 24 a factor of z?
True
Suppose -187*f + 181*f + 33696 = 0. Is 54 a factor of f?
True
Suppose 21 = 26*y - 31. Let i(s) = 30*s**3 + 2*s**2 - 5. Does 5 divide i(y)?
False
Let w be 125632/38 - (2 - (-72)/(-38)). Does 34 divide (-4)/3 - w/(-9)?
False
Let y(j) be the third derivative of -j**6/120 + 2*j**5/15 + 13*j**4/12 - j**3 - 108*j**2. Is y(-5) a multiple of 39?
False
Let r(d) = -8735*d**3 + 2*d**2 + 22*d + 21. Does 21 divide r(-1)?
True
Let d(u) = -u**3 - 23*u**2 + 24. Let a be d(-23). Let m = -13 - a. Let z = m + 42. Is z a multiple of 4?
False
Is (-75)/175 + 34586/14 a multiple of 10?
True
Let r(k) = 21*k + 29. Let y be r(-15). Let g = y + 342. Is g a multiple of 7?
True
Suppose 10*n = 5*n + 3685. Let i = n + -487. Let a = -160 + i. Does 23 divide a?
False
Suppose -4570*b + 4561*b = -11871. Is b a multiple of 52?
False
Suppose 979*p - 14766 = 976*p. Is 23 a factor of p?
True
Let r be ((-24)/(-18)*-186)/(-2). Let c = r - 64. Does 3 divide c?
True
Suppose 36*b - 31*b + 2*x - 5944 = 0, -3*x + 21 = 0. Does 8 divide b?
False
Let t = 70 + -18. Let g = 18 - t. Let s = 46 - g. Is s a multiple of 16?
True
Let c(r) = -5*r**2 - 123*r + 20. Let g be c(-25). Let h = -30 - -130. Let w = h + g. Is w a multiple of 35?
True
Let v(p) = p**3 - 8*p**2 - 94*p - 2. Is 42 a factor of v(16)?
False
Let a = -13792 - -22423. Is a a multiple of 137?
True
Is 3772/246*1347/2 a multiple of 17?
False
Is -4 + (-8766)/(-10) + 2*(-2)/(-10) a multiple of 97?
True
Suppose 8*m - 301 = -933. Let x be 2*(47 - (3 - 2)). Let j = x + m. Is 9 a factor of j?
False
Let l be -3*(2 - 292/6). Let q = 4562 - 4430. Suppose -5*y = 4*v - l, -v + 4*v - q = 3*y. Does 6 divide v?
False
Suppose 4 = -2*z + 10. Suppose z*h + 307 = 2*f, -f + 468 = -5*h - 32. Is 4 a factor of 1/(-1 - h/96)?
True
Suppose -130*h + 183528 = -134*h. Does 34 divide h/(-45) - (-6)/15?
True
Let v = -1 - -22. Suppose 0*b - b = -2. Does 29 divide (7 + 0)*(v - (b + -4))?
False
Let t = -7643 + 23336. Is t a multiple of 253?
False
Let o = 109 + 9629. Does 9 divide o?
True
Let o = -50 + 17. Let r = o - -131. Suppose 3*j = -r + 386. Does 16 divide j?
True
Is 3550*(102 + -99)*(-1)/(-3) a multiple of 71?
True
Let q(z) = -457*z - 116. Let l = 13 + -16. Is 99 a factor of q(l)?
False
Suppose -3972 = -t + 3*x, 890*t - 3*x = 895*t - 19968. Is 42 a factor of t?
True
Let i = 3019 - 2199. Does 28 divide i?
False
Let u = 337 + -332. Suppose 0 = u*y - 4*x - 1686, y + 67