j be f(-3). Suppose -4*a - 2*z + j = 0, -151 + 1 = -b*a + 3*z. Does 7 divide a?
False
Let z(r) = -r**2 - 13*r - 10. Let v be z(-11). Let a be 0 + v/(6 + -2). Suppose 0 = a*p - 54 - 45. Does 27 divide p?
False
Let q be (-15)/90 + (-50)/(-12). Is (-2)/q - (-1215)/30 a multiple of 9?
False
Let t be ((-2)/(-4))/((-8)/(-48)). Suppose -t*u = -5*u. Does 8 divide (-3)/(u + 6/(-46))?
False
Let n = 3697 + -826. Is 11 a factor of n?
True
Suppose -4*m - 2*m + 2838 = 0. Is 12 a factor of m?
False
Let h(a) = -a + 1. Let d be h(3). Let c(t) = t**2 + 4*t + 1. Let r be c(d). Let s(k) = -3*k**3 - 8*k - 3. Is 34 a factor of s(r)?
True
Suppose -50 + 750 = 5*u. Is u a multiple of 46?
False
Suppose -25*i - 3476 = -10151. Does 49 divide i?
False
Let l be 33/55 + 46/(-10). Is (-386)/l*(-1)/(2/(-4)) a multiple of 15?
False
Suppose -5*z + 169 = 29. Is 28 a factor of z/6*(-2 - -8)?
True
Let i = 1211 - 785. Is i a multiple of 53?
False
Let o = 482 + -227. Is 8 a factor of o?
False
Suppose -3*a - 20 = -5*r, -20 = -5*r - 4*a - 0*a. Suppose -y - 6 = -r*y. Is 82/6 - y/(-6) a multiple of 7?
True
Let z(n) = n - 25. Let m be z(15). Is (-1)/((-5)/m) - -36 a multiple of 17?
True
Let s(z) = -z**2 + 26*z - 5. Suppose 46 = 25*d - 23*d. Does 8 divide s(d)?
True
Let h be (-1)/(-3) - ((-304)/(-12) - -5). Let j = -7 - h. Is j a multiple of 3?
False
Let t(s) = -6*s + 5. Suppose 0*f - 2*f - 2 = 2*h, 26 = -5*h + 2*f. Is t(h) a multiple of 4?
False
Suppose -2*b + 16 - 66 = 4*k, -2*k - 3*b - 19 = 0. Let q be (8/(-6))/(k/273). Is 8 a factor of q + (-1)/(4/8)?
True
Let l(v) = -v**2 + 12*v - 7. Let j be l(11). Let d be 4592/49 + 2/7. Suppose -36 = -2*q - 3*k + 7*k, 3*q - d = -j*k. Is 26 a factor of q?
True
Suppose 0 = -7*i + 24*i - 510. Is i a multiple of 10?
True
Is (9/6)/(46/3404) a multiple of 4?
False
Let h = -40 + 26. Let r be 2/(-2)*h/7. Suppose 72 = -0*s + r*s. Does 11 divide s?
False
Suppose -4*m - 2*d - 16 = 0, -2*m + 4*d - 19 + 1 = 0. Does 31 divide (6/(-10) - (-121)/(-5))*m?
True
Let c be -177*2/(-10) + (-4)/10. Does 12 divide (24/(-7))/((-5)/c)?
True
Let f(d) be the first derivative of -17/2*d**2 + 5 - 1/3*d**3 - 19*d. Is f(-15) a multiple of 11?
True
Let x = -82 - -674. Does 60 divide x?
False
Let x(v) be the second derivative of -v**5/20 - 11*v**4/12 - v**3/3 - 3*v**2 + 6*v. Let b be x(-10). Let s = b - -132. Is s a multiple of 23?
True
Is 10 a factor of (0 - 7 - -5) + 2 + 180?
True
Suppose -41*o + 576 = -33*o. Is 24 a factor of o?
True
Suppose 0 = -4*h - 4*c + 112, -5*c + 66 = 2*h - 2. Suppose 35 - 92 = -4*s + k, 0 = -2*s - 4*k + h. Is s even?
True
Let i be (-10)/(-4) - (-11)/(-22). Suppose 0 = -5*y + 2*w + 3 + i, 0 = -y + 5*w - 22. Suppose y*f + f = 248. Does 12 divide f?
False
Let h(a) = -35*a**3 - a**2. Let m be h(-1). Suppose 0 = 3*d - m - 14. Let w = d - 0. Is 11 a factor of w?
False
Let k(b) = b**3 + 4*b**2 - 3*b - 3. Let r(g) = g**2 + 12*g + 7. Let d be r(-11). Is k(d) a multiple of 5?
False
Let z(m) = 6*m**2 + 4*m + 4. Let n be z(-2). Suppose -c + 2*c - n = 0. Is 2/(-8) - (-65)/c even?
False
Let w(o) = o + 1. Let m be w(-5). Suppose -192 = 18*k - 498. Let b = k - m. Is 16 a factor of b?
False
Suppose -4*i = 2*w - 2, 2*i = 5*w - i - 44. Let d(a) = -9*a + 0 + w + 12*a + 10*a + 2*a**2. Is d(-7) a multiple of 3?
False
Let o = 634 - 187. Does 35 divide o?
False
Suppose -75*n + 2592 = -69*n. Is 24 a factor of n?
True
Let g(y) = y**3 - 5*y**2 - 6*y + 9. Suppose 8*q - 3*q - 4*d = -32, 2*q - 3*d + 17 = 0. Let i be (-56)/(-9) + q/18. Is 6 a factor of g(i)?
False
Suppose 2*j + f + 18 = 0, -2*j + f - 12 = 5*f. Let l be ((-2)/5)/((-2)/j). Is l/(-15) + (-1164)/(-45) a multiple of 7?
False
Let a(p) = -2*p**3 - 32*p**2 + 14*p - 28. Is a(-17) a multiple of 13?
True
Suppose 4*b - 2*b = -w + 280, b = 4*w - 1120. Suppose 9*d = 2*d + w. Is d a multiple of 2?
True
Suppose -5*c = -8*c. Let j be (6*5)/(6/28). Suppose c = -5*l - 20 + j. Is l a multiple of 17?
False
Let y be 47 - 3*12/(-9). Suppose 0*o + y = o. Is o a multiple of 15?
False
Let v = 80 + -75. Let w(l) = -l**2 + 14*l + 12. Is w(v) a multiple of 13?
False
Let f = -530 - -839. Does 10 divide f?
False
Let c be 9/6*8/3. Suppose -c*q = 1 - 5. Suppose -3*r + 11 = -q. Is 4 a factor of r?
True
Suppose -5 = -f + 4*d - 2*d, -3*d = 3*f - 33. Suppose f*i - 260 = 7*i. Is i a multiple of 23?
False
Let j(r) = -r**3 - 12*r**2 - 25*r + 29. Does 15 divide j(-12)?
False
Let i(r) = -13*r + 12. Let g = -11 - -6. Let j be i(g). Suppose -3*a + 0*a - 2*p = -j, -a + 23 = -2*p. Does 21 divide a?
False
Suppose 2*h - 2*q - 1006 = 0, 4*h - q - 2*q = 2010. Does 70 divide h?
False
Let w = 21 + 42. Let p(h) = 0*h + w + h**2 + 0*h. Does 23 divide p(0)?
False
Does 26 divide (7/2 + 4)*(1 + 3)?
False
Let q = -2495 + 6110. Is 15 a factor of q?
True
Let d(r) = -10*r + 2. Let k be d(-3). Suppose -p - 4*m = p + 26, -4*m = 4*p + k. Is 15 a factor of (-2 - 50*-1) + p?
True
Let d(i) = 13*i**2 + 20*i - 173. Is 43 a factor of d(6)?
False
Let d(k) = 3*k - 56. Let h be d(17). Let t(u) = -u**3 - 2*u**2 + 5*u - 4. Is t(h) a multiple of 7?
False
Is 13 a factor of 247/((-12)/((-96)/2))?
True
Let x = -220 + 640. Is x a multiple of 9?
False
Let l(y) = 3*y + 28. Suppose m = -4*s + s - 6, -4*m = -4*s + 24. Is 10 a factor of l(m)?
True
Let c(y) = 35*y**2 - 5*y + 6. Let d be c(2). Suppose -2*x + d = 86. Does 5 divide x?
True
Suppose -4*o - 278 = -5*t - 2051, 0 = -3*t - 3. Suppose 5*v - 218 = o. Is 7 a factor of v?
False
Let y(c) = 10*c**2 + 5*c - 67. Let g(k) = -3*k**2 - 2*k + 22. Let u(x) = 7*g(x) + 2*y(x). Is 8 a factor of u(-6)?
True
Let b be 4/(-12)*-3 + -73. Is (129/(-4))/(27/b) a multiple of 13?
False
Let s = -1758 + 1818. Does 42 divide s?
False
Let n be ((-6)/(-15))/(1/5) + 352. Suppose -5*y = -2*y - n. Is y a multiple of 19?
False
Let n(i) = -3*i + 11. Let o be n(-23). Suppose -y = -o + 28. Is 4 a factor of y?
True
Let j be (24/(-8))/(0 - -1). Suppose 0*m - 5*m = 20. Is ((-174)/m)/j*-2 a multiple of 10?
False
Let y(c) be the third derivative of -c**4/24 - c**3 + 3*c**2. Let k be (8 - 7)/((-1)/13). Is y(k) a multiple of 2?
False
Let s(n) = n - 5. Let q be s(10). Suppose 5*g + 2 = -2*c, 0*c + q = -5*g - 5*c. Suppose 4*f + 18 - 122 = g. Is 13 a factor of f?
True
Let m(f) = -7*f + 7. Let v(j) = 20*j - 21. Let g(x) = 11*m(x) + 4*v(x). Let p be g(4). Suppose 5*z = -5*k + 135, -46 = -4*k - p*z + 62. Is 9 a factor of k?
True
Suppose 52*i = 54*i - 14. Let q(k) be the third derivative of -k**6/120 + k**5/10 + 3*k**4/8 - 7*k**3/6 - k**2. Is 2 a factor of q(i)?
False
Let b(h) = 15*h**2 - 11*h + 7. Let j(a) = -8*a**2 + 6*a - 4. Let o(t) = 6*b(t) + 11*j(t). Let n = 13 + -17. Is o(n) a multiple of 15?
True
Suppose 37*r = 6101 + 25941. Is r a multiple of 7?
False
Let a be (1 - 3)*1365/(-6). Suppose -h = 4*h - a. Does 17 divide h?
False
Suppose 5*c + 2*u = -386, 229 = -5*c - 4*u - 153. Let l = -38 - c. Is l a multiple of 9?
False
Is 19 a factor of -1724*(-3 + (-26)/(-13))?
False
Let x = -690 - -822. Is x a multiple of 33?
True
Suppose 4*u - 3*n = -14, 5*n + 4 = 3*n. Does 15 divide (-6)/(-10) - u/((-50)/(-1044))?
True
Suppose -158*u = -166*u + 11312. Is u a multiple of 73?
False
Let g be (10/(-4))/((-105)/84). Let r(w) = -23*w + 54*w - w**g - 10*w - 8. Does 17 divide r(16)?
False
Suppose 0*x = -5*x + 75. Suppose -2*k = 11*k + 13. Does 12 divide x + -1 - (k + 3)?
True
Suppose -5*k - 2 = -22, 624 = 5*y - 4*k. Let d = y - 100. Is d a multiple of 3?
False
Suppose 2*s + 9 - 1 = 0, 0 = o + 2*s - 1. Suppose o*g + 17 = 8*g. Let q = 59 - g. Is q a multiple of 19?
True
Let o(w) be the second derivative of w**4/3 - w**3/3 - w**2 + 3*w. Let x be o(-2). Let l = x + 18. Is l a multiple of 9?
True
Suppose 4*f - 13*r - 302 = -15*r, -3*r - 15 = 0. Is 3 a factor of f?
True
Let i(x) = 53*x**2 + 3*x - 2. Is 27 a factor of i(2)?
True
Suppose -r - 2 = -2*r, -26 = 2*w - r. Let d(i) = -i**3 + 5*i**2 - 8*i + 10. Let z be d(4). Is (z/1)/(2/w) a multiple of 9?
True
Suppose 198 = 16*m - 19*m. Let d = -40 - m. Suppose -d = -7*b + 156. Is b a multiple of 13?
True
Let k = 1042 - 723. Let t = k + -190. Suppose 0 = 3*n - j - t, -4*n + 215 = n - 4*j. Does 14 divide n?
False
Let k be (-24)/(-5) + 5/25. Suppose -3*d - 4*q + 2*q = 16, k*d - 5*q + 60 = 0. Let w = d + 39. Does 11 divide w?
False
Let f = -926 - -614. Let n = 200 + f