et r(a) = -a**2 + 13*a - 9. Is 9 a factor of r(h)?
True
Let g = 78 - 48. Suppose -4*t - 2 = -2*m - 14, -5*t = 5*m - g. Suppose -t*l + 156 = -l. Does 16 divide l?
False
Let j(y) = 2*y - 8. Let z be j(4). Suppose -2*h + 2*a - 74 = z, -4*a - 41 = h - a. Let i = -31 - h. Is i a multiple of 4?
False
Suppose 2*n = -2*m + 222, -5*n = -2*m - 38 - 510. Is 27 a factor of n?
False
Let i be (-23)/(-4) - (-24)/(-32). Suppose 3*a + 129 = 3*w - i*w, -32 = a - 3*w. Let r = -22 - a. Is r a multiple of 5?
False
Suppose -4*x - 4*l + 256 = 0, -4*x + 9*x - 330 = -3*l. Is x a multiple of 5?
False
Let n(t) = 3*t**3 + 4*t**2 + 3*t - 4. Let f(l) = -3*l**3 - 5*l**2 - 4*l + 4. Let m(x) = -2*f(x) - 3*n(x). Let i = -2 + 0. Is m(i) a multiple of 22?
True
Is 3 a factor of ((-1676)/(-5) - -14)/(4/10)?
True
Let g(p) = p**3 - 2*p**2 - 98*p. Does 70 divide g(14)?
True
Let w be (8/(-3))/((-20)/(-30)). Let d be ((-142)/w)/(1/8). Suppose 5*p - 3*a - 71 = 407, -a + d = 3*p. Does 22 divide p?
False
Suppose -112 = 3*k - 82. Let n(l) = -4*l - 2. Let y be n(-4). Let v = y + k. Does 2 divide v?
True
Suppose -13*t + 6*t = -3164. Suppose 10*j = 448 + t. Does 15 divide j?
True
Let f be 3/(-5) - (-864)/40. Does 2 divide 36/f + (-4)/(-14)?
True
Let h(s) = 6*s - 42. Let t be h(7). Suppose 5*x + 4*p - 129 - 42 = t, 5*x - 5*p - 135 = 0. Does 9 divide x?
False
Let k(m) = -2*m**2 - 2 + m + 10*m - 3. Let z be k(5). Suppose -2*g - u - u + 72 = z, 0 = 3*g + 4*u - 110. Does 17 divide g?
True
Is ((-184)/40 + 5)*3930 a multiple of 82?
False
Let i = 13 + -10. Let c(r) = 9*r - 14. Let x be c(5). Suppose 5*g = 2*k - 4*k + x, 4*g = -i*k + 22. Is g even?
False
Suppose 607 = 3*x + 5*z, 4*x = 2*x - z + 414. Let u = -21 + x. Is u a multiple of 13?
False
Suppose 2*j + 4*z = -182, 5*j - j - z = -391. Let o = -45 - j. Is o a multiple of 26?
True
Suppose -8*z = -3*k - 3*z + 793, 1059 = 4*k - 5*z. Is 78 a factor of k?
False
Suppose 3*n - 8 - 4 = 0. Let f(d) = -d**3 + 2*d**2 - 7*d + 6. Let x(y) = -y**2. Let z(h) = -f(h) + 2*x(h). Does 11 divide z(n)?
True
Is (1 - 161)/(-1 + -5 - -4) a multiple of 16?
True
Is 684/30*(-1)/(-2)*5 a multiple of 4?
False
Let k be 43/(1/4*2). Is k - (-3 + 3 - 2) a multiple of 22?
True
Let j = -309 + 327. Suppose f - 22 = -f. Let t = j + f. Does 7 divide t?
False
Does 4 divide (-9)/6*212/(-6)?
False
Let o = -450 - -625. Is o a multiple of 10?
False
Suppose -6*f - 104 = -800. Suppose 3*y - f = 2*y. Does 29 divide y?
True
Is 333 - (-3 + 0 + 0) a multiple of 21?
True
Let l be (-1 + (-16)/(-12))*-6. Let m be (-45)/(-10) - l/4. Let y(c) = -c + 14. Does 9 divide y(m)?
True
Suppose -3*p + 5*p - 502 = -2*v, -v - 1261 = -5*p. Suppose 438 = 3*w + 3*j, -176 - p = -3*w + 2*j. Does 18 divide w?
True
Let r(o) = 3*o**2 - 2*o - 22. Does 17 divide r(-4)?
True
Let p = -264 - -739. Is 16 a factor of p?
False
Let j(w) = -5*w + 20. Let f be j(-6). Suppose 2*l = -2*l - d + 284, l = 5*d + f. Is l a multiple of 14?
True
Suppose 23*q - 8*q - 26460 = 0. Is 14 a factor of q?
True
Is 7 a factor of 17/(357/(-2)) - (-26907)/63?
True
Let u(r) be the second derivative of -r**5/20 - 3*r**4/4 - 13*r**3/6 - 4*r**2 + r. Let q(g) = -2*g + 30. Let h be q(19). Is 14 a factor of u(h)?
False
Suppose -7*u - 76 + 321 = 0. Suppose -3*i - 8 = -u. Is i a multiple of 2?
False
Is (0 + 13)*(4 - (5 + -4)) a multiple of 4?
False
Let s(c) = c**2. Let o be s(2). Suppose -o*z - z = -10. Does 11 divide 56 + z/(8/(-12))?
False
Suppose -2*z - 13 = -19. Is 7 a factor of (150/5)/z + -3?
True
Let o be (-1)/2 + (-2)/(-4). Suppose o = 2*x + x - 27. Does 9 divide x?
True
Suppose -15 = -2*i - 3*i. Suppose i*d - 4*d = -76. Suppose -4*y + 37 = -v, 5*y + 26 = 2*v + d. Is 2 a factor of y?
True
Suppose 10*q + 38 = 8*q. Let l = q + -97. Let t = -63 - l. Does 17 divide t?
False
Let h(t) = -t**3 + 9*t**2 - 4*t - 8. Let i(o) = -2*o**3 + 19*o**2 - 9*o - 15. Let s be (-11)/(-77) + 27/7. Let l(z) = s*i(z) - 9*h(z). Does 5 divide l(5)?
False
Let k(r) = 8*r**2 - 12*r - 4. Let j be 9/12 + (-39)/(-12). Is k(j) a multiple of 32?
False
Suppose 4*s = 3*j + 284, -5 = 2*j - s + 186. Let q be (-20)/(-50) - j/10. Suppose q = 5*n, -5*m + 10 = -5*n - 15. Is m a multiple of 3?
False
Let b be (-56)/(-16) + 2/4. Suppose w + 3*q + 330 = b*w, 454 = 4*w + 3*q. Is w a multiple of 16?
True
Let n(j) = -7*j - 7. Suppose 5*g - 11 - 9 = 0. Suppose -h + g = -2*h. Does 7 divide n(h)?
True
Let l(v) = 18*v**2 + 4*v + 5. Let g(r) = r**2. Let t(q) = -5*g(q) + l(q). Is 10 a factor of t(-3)?
True
Let j = 11 - 10. Let f be j/(((-8)/6)/(-4)). Suppose 12 = 3*s + 3*l - 54, 2*s = -f*l + 49. Is s a multiple of 13?
False
Let n(m) = 5*m**2 + 9*m + 8. Suppose -1 = -3*y - 22. Let o(u) = 9*u**2 + 17*u + 15. Let f(q) = y*n(q) + 4*o(q). Is f(-7) a multiple of 10?
False
Let j(b) = -2*b - 8. Let a be j(-10). Let n = 34 + a. Suppose -32 = -3*r + n. Is 9 a factor of r?
False
Let z = 613 - -557. Does 65 divide z?
True
Let o = 81 - 31. Does 50 divide o?
True
Let u be ((-69)/92)/((-3)/(-8)). Let j be (-1 + 3)/((-2)/3). Does 11 divide (-184)/(-6)*j/u?
False
Let g(z) = -z**3 - 20*z**2 - 28*z - 3. Is 8 a factor of g(-19)?
True
Suppose 0 = -2*p + 474 + 444. Does 27 divide p?
True
Suppose 10*j - 20 + 0 = 0. Is 32 a factor of (-2 + 10)/(j/8)?
True
Let r be (1 + 1 + 619)*4/6. Does 13 divide 4/16 + r/8?
True
Does 6 divide 2*(1071/105)/(2/10)?
True
Let x(c) = c**2 + 5*c - 7. Let p be x(0). Let q = 18 + -8. Let z = p + q. Is z a multiple of 3?
True
Does 19 divide (1 + (-357)/(-14) - -2)*4?
True
Let h be 132*(0 - (-3)/6). Let c = h - 34. Is c even?
True
Let x(a) be the second derivative of -7*a**3/6 - 9*a**2/2 + 34*a - 2. Let o be 20/(-3) - (-3)/(-9). Does 26 divide x(o)?
False
Let m = -21 - -24. Suppose -m*w + 3 = -0. Is 22 - (16/(-4))/w a multiple of 13?
True
Let y(t) = 4*t**2 - 4*t - 289. Is 4 a factor of y(10)?
False
Suppose -8 + 0 = -2*w. Let c(d) = 2*d + 15*d + d + 2 + 3. Does 16 divide c(w)?
False
Suppose -o + 6*o - 20 = 0. Suppose o*z = 3*k + 83, 5*k + 6 = 3*z - 59. Is z a multiple of 3?
False
Let q(t) = -t**3 + 6*t**2 - 3*t - 6. Let b be q(5). Suppose 0 = 2*g - 6, 0 = 3*w + b*g - 9*g - 597. Is 34 a factor of w?
True
Suppose -9 = -3*g, 55 = -5*k - 2*g - 3*g. Let x = 19 + k. Let b = 4 + x. Does 5 divide b?
False
Let i(d) = 3*d**2 + 27*d + 19. Let x be i(-8). Does 20 divide 1 + x - (-4 + -1 + -168)?
False
Suppose -3*g - 10*i = -14*i - 1013, 3*i = -2*g + 664. Is g a multiple of 5?
True
Let n(g) = -6*g + 9. Let m = -21 - -14. Let f be n(m). Suppose 0 = -7*d + f + 75. Is d a multiple of 12?
False
Let s(a) = -83*a**3 + 3*a**2 - 3*a + 1. Let p be s(1). Let k = 118 + p. Is k a multiple of 12?
True
Suppose -10*n - 33 = 7. Let t = n - -122. Is t a multiple of 6?
False
Let t(m) = -8*m**3 + m**2 - 5. Let n be t(-3). Suppose 2*w = -5*r + n, 2*w - 2*r - 188 = 46. Is 11 a factor of w?
False
Suppose 0 = 4*l + 4*c - 15 - 9, -2*l + 5*c = 16. Suppose 6*u - 346 = 3*u + l*d, 465 = 4*u + d. Does 10 divide u?
False
Suppose 2*y + 2 = 0, -4*a + 1120 = 7*y - 3*y. Suppose 7*s - a - 608 = 0. Is s a multiple of 24?
False
Let i = -180 + 250. Is 14 a factor of i?
True
Suppose 2*u - u + 4*u = 0. Suppose -3*q - 2*g + 233 = u, 3*q = -2*q + 4*g + 425. Is 27 a factor of q?
True
Let n(z) = z**2 - 2*z - 1. Let p be n(-4). Let u be 6 - (2/6)/((-1)/9). Let i = p - u. Is 7 a factor of i?
True
Let k be 0 - 2 - -10 - 0. Suppose -4*n + k = -16. Is n a multiple of 2?
True
Let y = 165 - 163. Suppose d + 0*r = -r + 89, 4*d = -y*r + 354. Is d a multiple of 4?
True
Let r(s) = -9*s - 24. Let u be r(-6). Let p = u - 9. Is p a multiple of 3?
True
Let q = 19 - 14. Suppose 2*h = -x + 2 - 3, -2*h = -x - q. Does 14 divide 12/x - -74 - -2?
False
Let o(q) be the third derivative of q**6/30 - q**5/60 - q**3/3 + 32*q**2. Does 17 divide o(2)?
False
Suppose 4*j - 14 + 2 = 0. Suppose -41 = -j*y + 100. Is y a multiple of 21?
False
Let f(d) be the second derivative of -d**3 - 3*d**2 - 1/4*d**4 - 1/20*d**5 + 0 + 2*d. Is f(-4) a multiple of 14?
False
Let c(b) = 64*b**3 - 4*b**2 + 10*b - 4. Is 16 a factor of c(2)?
True
Let f(x) be the first derivative of -2 - 8*x + 3/2*x**2. Does 5 divide f(8)?
False
Let m(l) = 7*l**3 - l**2 - 4*l + 3. Let g be m(3). Suppose -5*o = 4*o - g. Is 9 a factor of o?
False
Suppose 3*z + 3*y - 528 = 0, 0 = -3*z + 4*y - 0*y + 535. Does 6 divide z?
False
Su