g(r) = -2*i(r) - z(r). Does 13 divide g(b)?
False
Let a(y) be the first derivative of -13*y**2 - y - 11. Let j be a(1). Let r = -21 - j. Does 5 divide r?
False
Let v(b) = -b**2 + b + 3. Let w be v(0). Let j be (-1796)/(-20) + w/15. Suppose -4*z + 90 = z + x, -2*x = -5*z + j. Is z a multiple of 6?
True
Suppose 7*u = 2*u + 940. Suppose 68 = 2*x + u. Is 4 a factor of x/6*6/(-10)?
False
Suppose -56 = -2*i + 5*k - 459, 0 = 5*i + 2*k + 1022. Let l = -84 - i. Is 40 a factor of l?
True
Let d(o) = o**2 + 0*o**2 - o**2 - o**2 - 8 - 9*o. Let p(f) = f + 1. Let w(v) = d(v) - 2*p(v). Is 5 a factor of w(-8)?
False
Let t be (-100)/(-16) - 4/16. Let l(a) = a**3 - 5*a**2 + 11*a - 12. Is l(t) a multiple of 11?
False
Let s(v) = -v + 16. Let i be s(13). Suppose i*m - 4*m = -5. Suppose 12 = -4*w, m*w = 2*g + 3*w - 66. Is 15 a factor of g?
True
Suppose -3*q = q + 3*c + 1, q + 4 = -2*c. Let l be 2 - (4 - 4/q). Suppose 4*s + l*s = 160. Is s a multiple of 11?
False
Let p be 0 + -11 - (-4 - -4). Let t = 11 + p. Suppose t = 2*j - 2, -2*j - 34 + 180 = 4*o. Is 12 a factor of o?
True
Let d(r) = r + 6. Let j(p) = -p**3 + 4*p**2 + 5*p - 4. Let f be j(5). Let m be d(f). Suppose 5*i = 3*g + 105, i - 4*g - 40 = -m. Is i a multiple of 5?
False
Suppose -3*r - 27 = -4*c, 2*c + 3*r - 4*r - 11 = 0. Let y(g) = 3*g - 6. Let v(u) = -5*u + 13. Let k(l) = c*v(l) + 7*y(l). Is k(3) a multiple of 15?
True
Let j(d) = 46*d + 3. Let o be j(5). Let y = -165 + o. Does 22 divide y - (1 + 2 - 1)?
True
Let v(k) = -1 + 0 + 30*k**3 - 2*k**2 - 2*k + 65*k**3 + 34*k**3. Let m be v(-1). Let d = 190 + m. Does 13 divide d?
False
Suppose -92 = 4*w - 6*w. Suppose 5*s - 66 = -2*d, -s = 3*s + 5*d - w. Is 2*(s - 1) + -2 a multiple of 10?
False
Suppose -5*r - 3*r = 4*r. Suppose r = 10*n + 9*n - 855. Is n a multiple of 32?
False
Let s be 3/(-6) - 3770/(-20). Suppose 0 = -4*b + s + 248. Is 19 a factor of b?
False
Suppose -68 - 24 = -4*t. Suppose 0 = 5*f - 15, -3*q + 5*q + 2*f = 16. Suppose -j = -l + t + 28, -j = -q*l + 235. Is l a multiple of 12?
False
Let x(a) = a**3 - a**2 + a - 18. Does 29 divide x(13)?
False
Let h(x) = -5*x - 19. Suppose 108 = -6*n - 3*n. Is h(n) even?
False
Let p(i) = i**3 - 16*i**2 + 22*i - 19. Let y be 8/(4*-1) + 17. Let a be p(y). Let j = a + -44. Does 14 divide j?
True
Suppose 4*c + 20*v - 22*v = 1096, 5*c + 3*v - 1359 = 0. Is c a multiple of 3?
True
Let r be (-4 + -2)/(1*(-4 - -5)). Let k(t) = -50*t + 11. Does 19 divide k(r)?
False
Suppose 3*v = 4*p + 56, -v - 44 - 45 = 5*p. Let r = p + 21. Does 12 divide r - ((-29 - 4) + -3)?
False
Let o(f) = f**3 + 15*f**2 + 3*f + 20. Is 17 a factor of o(-4)?
False
Let k be ((-150)/(-20))/(3/68). Is 19 a factor of ((2 - 8)/(-2))/(15/k)?
False
Let z = 674 - 455. Let w = z - 39. Suppose -k + b = -36, 4*k + k - 2*b - w = 0. Is 12 a factor of k?
True
Let y be (-1)/((-6)/297) - 3/(-6). Let h = -38 + y. Is 12 a factor of h?
True
Suppose 0 = -50*f + 10*f + 80520. Is 11 a factor of f?
True
Let n = 80 + -84. Is 8 a factor of (8/n + -2 - -153) + 4?
False
Let j = -2 - 1. Suppose 3*b = 15, 0 = -3*o + b + 32 + 17. Let x = o + j. Is x a multiple of 3?
True
Let h(q) = 260*q**3 - 2*q**2 + 3*q - 1. Does 37 divide h(1)?
False
Suppose -m + 918 - 118 = 0. Suppose c + 1000 = 6*c - 5*p, 4*c - m = -2*p. Suppose 12*l = 17*l - c. Does 13 divide l?
False
Let f(i) = 149*i**2 - 13*i - 31. Is f(-3) a multiple of 80?
False
Suppose -3*g + 2022 = 5*t, -2*t + 156 = -2*g - 656. Is 5 a factor of t?
True
Suppose 0 = -4*m + 5*v + 2860, -34*v + 1452 = 2*m - 31*v. Does 16 divide m?
True
Suppose -24 = -a + 15. Suppose a = 3*l - 2*s, -3*l + 0*l - 3*s = -24. Is l even?
False
Does 56 divide 48/1*98/63*3?
True
Let a(k) = 2*k**3 + 19*k**2 + 12*k - 8. Is a(-8) a multiple of 8?
True
Let w be (-2 + -15)*1/(6 - 5). Let g(n) = 2*n - 8. Let f be g(-6). Let q = w - f. Is q a multiple of 3?
True
Let d(x) = -4*x**3 + 10*x**2 - 2*x + 5. Let t(w) = -w**3 + w**2. Let v(n) = -d(n) + 5*t(n). Let c be 2/4*(-1 - 11). Does 5 divide v(c)?
False
Let y = -1556 - -2438. Is y a multiple of 32?
False
Is 3918/20 + 39/390 a multiple of 40?
False
Let n(g) = g**2 - 5. Let c be n(3). Let x(t) = t**3 - 4*t**2 - 7*t + 7. Let a be x(5). Is a + c*(-30)/(-8) a multiple of 4?
True
Suppose f + 155 = 3*j + 40, 0 = -4*j + 2*f + 150. Let s be j/((0 - 2) + 4). Suppose -s*r = -21*r + 16. Is r a multiple of 16?
True
Let j = -2985 + 5057. Does 28 divide j?
True
Suppose 773*d = 785*d - 2496. Does 52 divide d?
True
Let h(f) = -f**2 - f. Let u(j) = -4*j**2 - 16*j - 1. Let r(x) = 3*h(x) - u(x). Let o be r(-13). Suppose -2*k + o = -1, 4*k = -5*t + 84. Is 16 a factor of t?
True
Suppose 30*y = 17*y + 1274. Is 56 a factor of y?
False
Suppose 5*f - 44 = -4. Let j be 13/(-52) - (-482)/f. Suppose 5*p + j = -5*w + 365, -158 = -3*w + 2*p. Is w a multiple of 14?
True
Suppose -3*q + 3775 + 152 = 0. Does 11 divide q?
True
Suppose -4*f + 314 = s - 405, 0 = 5*s + 5. Is 4 a factor of f?
True
Suppose 3*t + 4*a + a = -2, -20 = -4*t - a. Let q be 470/(-15)*t/(-4). Let o = q + -29. Is 15 a factor of o?
False
Suppose 3*g + 4*d - 10 = 2*g, 0 = 3*g + 5*d - 37. Let u be (0 + 2)/(-2)*g. Is 14 a factor of u*(15/(-21) - 1)?
False
Let x(u) be the third derivative of -13*u**4/6 + 2*u**3/3 - 10*u**2. Is x(-2) a multiple of 18?
True
Let z = -44 + 34. Let b = 36 + z. Does 13 divide b?
True
Suppose 5*k = -2*d + 174, d = -k + 5*d + 48. Is 6 a factor of k?
True
Suppose -3*c = -5*f + 97, -6*f + 68 = -2*c - 2*f. Let k = c - -96. Does 24 divide k?
True
Let s(q) = -6*q**3 + 3*q**2 + 4*q + 7. Let z be s(-3). Let d = z + -72. Is 28 a factor of d?
True
Suppose -17*r + 314 + 536 = 0. Does 28 divide r?
False
Suppose 0 = 41*a - 34*a - 350. Does 25 divide a?
True
Let x be (-8)/(-12) + 1/3. Let j be 3*x + 0 + 2. Let m = 4 + j. Is 9 a factor of m?
True
Suppose s + 0*s - 4*t + 15 = 0, -5*s + t = -20. Suppose 5*l - s*m = 15 + 30, m - 2 = 0. Does 11 divide l?
True
Does 22 divide 4 - 1363*(-56)/14?
True
Let l = 19 - -9. Let y = l + -69. Let s = -18 - y. Is s a multiple of 5?
False
Let k(r) = -11*r**3 + 5*r**2 + 26*r - 6. Is k(-5) a multiple of 11?
True
Let d(p) = 7*p**3 + 5*p**2 - 2*p - 1. Let s(u) = 1 - 6*u**2 + 0 + 0*u - 7*u**3 + 2*u**2 + 2*u. Let j(n) = 2*d(n) + 3*s(n). Is j(-2) a multiple of 12?
False
Suppose 0 = 2*i - 10 + 36. Let l = i + -54. Let t = l + 106. Is 13 a factor of t?
True
Suppose -3*c - 601 + 6979 = -3*a, -4*c - 4*a = -8520. Suppose 10*l - c = -4*l. Does 14 divide l?
False
Let a(d) = -3*d + 4*d**2 - 2*d**3 + 2*d**2 - 138 + 134 + d**3. Is 3 a factor of a(4)?
False
Is 32 a factor of (-13868)/(-34) + (36/17 - 2)?
False
Suppose 6*p - 1168 - 1532 = 0. Is p a multiple of 15?
True
Suppose -6 = 3*q, 8*q = 4*l + 5*q - 350. Does 43 divide l?
True
Suppose -r = -5*r, 4*u = -5*r + 272. Suppose 90 = -5*n + 4*a, 0*n - 4*n = -4*a + u. Let d = 44 + n. Is 18 a factor of d?
False
Suppose 0 = -14*x + 9252 + 5196. Does 43 divide x?
True
Suppose 3015 = 25*o - 20*o. Is o a multiple of 20?
False
Let l(t) = -81*t + 4. Let a(c) = c. Let w(n) = -2*a(n) + l(n). Is w(-1) a multiple of 29?
True
Let t(z) = 26*z + 60. Let k(u) = -25*u - 58. Let i(m) = 7*k(m) + 6*t(m). Does 8 divide i(-10)?
True
Suppose -219 + 1227 = 9*w. Is w a multiple of 8?
True
Let m = 14 + -11. Suppose -x + 1 = -m. Suppose 0 = -x*b - 5*l + 192, 48 = 3*b - 2*b + 2*l. Is b a multiple of 16?
True
Let j(y) = y**3 - 4*y**2 - 3*y. Let d(p) = -2*p**3 + 7*p**2 + 5*p + 1. Let o(v) = -6*d(v) - 13*j(v). Let c be o(6). Suppose 2*z - c = -z. Is z a multiple of 16?
True
Let m = 175 + -255. Let s = 116 - m. Is 10 a factor of s?
False
Suppose 2*u - 6852 = -3*y, 9135 = 4*y + u + 2*u. Does 57 divide y?
False
Suppose f + 5*d - 2460 = -4*f, -982 = -2*f - 4*d. Is 11 a factor of f?
False
Suppose -m - 8 = -3*s - 0*m, s = -2*m - 2. Let v(c) = 0*c + s*c + 6*c**2 + 8 - 14 - 4*c. Does 29 divide v(4)?
False
Suppose -2*o + 132*b - 134*b + 5752 = 0, -4*o + 11499 = -b. Does 115 divide o?
True
Suppose 2 = -5*k + 27, 0 = r + 3*k - 18. Is 13 a factor of 79 - ((r - 0) + -1)?
False
Let z(g) = g**2 + 7*g + 9. Let w(h) = 2*h + 2. Let s be w(-4). Let k be z(s). Is 8 a factor of 61/k + (-2)/6?
False
Let s = 22 - 21. Is 10 a factor of (-9)/((-9)/4) - (-48)/s?
False
Suppose o - 3*s = -0*o + 63, -s + 3 = 0. Does 18 divide (-35)/14*o/(-10)?
True
Suppose -5*z - 1600 = -10*z