7. Does 22 divide b(z)?
False
Suppose -7*k = -5*k - 402. Suppose k + 391 = 4*y. Is y a multiple of 37?
True
Is 1816 + ((-15)/10)/((-3)/(-2)) a multiple of 106?
False
Let m(f) = -f + 12. Let g be m(10). Let b(u) = 5*u + 0*u**2 - g - u**2 + 2*u**2. Is b(-6) a multiple of 2?
True
Let l = -44 - -131. Let z = l + 0. Is 6 a factor of z?
False
Suppose 96 = 5*w + 3*k, -3*w + 14 + 30 = -5*k. Suppose -3*r - w - 6 = 0. Is (-58)/(-4)*r/(-2) a multiple of 29?
True
Let v(z) be the third derivative of -4/3*z**3 + 0*z - 2/15*z**5 - 9*z**2 + 1/120*z**6 + 0 + 1/2*z**4. Does 24 divide v(8)?
False
Let f(h) be the first derivative of -2*h**4 + 2*h**3/3 - 20. Does 26 divide f(-3)?
True
Suppose -2*o + 1644 = u, 5*o - 6570 = -5*u + u. Is u a multiple of 20?
True
Let k be (0 - 0) + 3 + 0. Let l be ((-4)/(-7))/((-16)/(-7) + -2). Suppose l*x = k + 41. Is x a multiple of 22?
True
Let a be (-38)/((0 - 4)/(-4)). Let o = 106 + a. Is o a multiple of 17?
True
Suppose 2*a = 5*l - 21, 3*l - 5 - 2 = 4*a. Let s(k) = k**2 - 8*k - 9. Let y be s(9). Suppose 0 = a*x - 2*m - 82, -x + 0*x - 3*m + 53 = y. Does 11 divide x?
True
Let d(o) = 717*o**2 + 58*o + 58. Is d(-1) a multiple of 4?
False
Let x(c) = c**2 + 8*c - 14. Suppose -6*a - 85 - 5 = 0. Is x(a) a multiple of 13?
True
Let l(q) = q**2 + 17*q - 2. Is l(-25) a multiple of 18?
True
Let b be 1/((-15)/12)*-10. Suppose -2024 = -b*v - 3*v. Is v a multiple of 41?
False
Suppose -40*g = 14*g - 8802. Is 34 a factor of g?
False
Let g = -3073 - -4522. Does 63 divide g?
True
Suppose 0 = 4*m - 10*m + 2196. Is 13 a factor of m?
False
Is -5 - (-1)/((-4)/(-36))*25 a multiple of 22?
True
Let d = 8 - 3. Suppose -t - 5*u + 64 = 3, -3*u = -t + 53. Let p = t - d. Does 17 divide p?
True
Let t = -564 - -787. Does 35 divide t?
False
Let b = 59 + -95. Is (3 + -2 + 0)*1 - b a multiple of 9?
False
Let r(z) = -84*z**3 - z**2 + 1. Let k be r(-1). Suppose -24*a + 22*a + k = 0. Is a a multiple of 6?
True
Suppose s - 4*s + 144 = 0. Let w = -29 + s. Is 7 a factor of w?
False
Let a(s) = -s**2 - 12*s - 2. Let l be a(-12). Let y = l - -3. Is 12 a factor of y + -1 - (-12 - 2)?
False
Let b(i) = i**2 - 17*i - 117. Does 39 divide b(24)?
False
Let y(s) = -5*s + 60. Is 5 a factor of y(8)?
True
Suppose -n = -32*n + 3224. Does 5 divide n?
False
Let u(v) = -v + 19. Let g be u(10). Let k = 13 - g. Suppose -k*l + 3*i - i + 76 = 0, -5*l + 89 = -i. Does 15 divide l?
False
Let y be 2 - 16*((-12)/(-8) - 2). Suppose y*o = 9*o + 122. Does 25 divide o?
False
Let d(m) = m**2 - 7*m + 2. Let j be d(6). Let c be (9 - j/(-2))*1. Suppose -2*x + 29 = -c. Is 5 a factor of x?
False
Let u(l) = -l**2 - 11*l - 11. Let f be u(-10). Is (-253)/(-22) + f/2 even?
False
Let i = -5 - 1. Let o be ((-3)/i)/(1/38). Let t = -16 + o. Is t a multiple of 2?
False
Suppose k - 2*c = 3*c + 202, 4*k + 5*c = 833. Is k a multiple of 15?
False
Let z be 6/(-4)*(0 - -4). Let c(w) = 2*w**2 + 7*w + 6. Let f be c(z). Let m = 12 + f. Is m a multiple of 16?
True
Suppose 3*z - 14 = c, 3*z - 5*c - 34 = -0*z. Suppose -4*g + z*p = -122, g - 30 + 6 = 4*p. Is 8 a factor of g?
True
Let x(l) = l**3 + 6*l**2 - 6*l + 13. Let c be x(-7). Let y(t) = t**3 - 4*t**2 - 11*t + 10. Is y(c) a multiple of 15?
False
Let h be ((-284)/3 - -2)*-3. Let f = h + -118. Does 40 divide f?
True
Suppose 3424 = -6*l + 8464. Suppose 0 = 13*g - 3*g - l. Does 21 divide g?
True
Let l(x) be the second derivative of -x**3/2 + 23*x**2/2 - 7*x. Is l(-18) a multiple of 8?
False
Let k be ((-3)/6)/(2157/(-540) - -4). Let a = k + 107. Is a a multiple of 17?
True
Does 16 divide (-17)/4*(-130 - (-19 - -5))?
False
Let l = 17 - 8. Let h = 79 - l. Is 19 a factor of h?
False
Suppose -2*t = -3*s - 3*t + 60, 4*s - 80 = 3*t. Does 5 divide s?
True
Suppose -7*t + 5625 = -2*t + 5*y, -3*t + 2*y = -3390. Is t a multiple of 11?
False
Suppose 1459 = 3*g + 5*z, 5*z - 11 = -1. Let w = g + -254. Is 28 a factor of w?
False
Does 11 divide 1 + 1528 + 25/(-5) - 5?
False
Let s be (-12)/18 - 14/(-3). Suppose 5*a - 157 = a + u, -s*a - 3*u + 169 = 0. Let z = a + -28. Is 8 a factor of z?
False
Let c(u) be the second derivative of u**4/12 + u**2/2 + 14*u. Let z be c(-1). Suppose z*x = 15 + 21. Does 18 divide x?
True
Let u be (17 + -14)/(1/3). Suppose -5*f + 72 = -u*f. Is (-12)/f + (-16)/(-3) a multiple of 3?
True
Let c = 42 - 22. Suppose 2*k - 36 = -5*a, -4*a + a = 2*k - c. Is 9 a factor of 435/39 - a/52?
False
Let t = -69 - -251. Let l = t - 108. Suppose 0 = -6*m + 106 + l. Is 10 a factor of m?
True
Suppose -d - 3*k + 82 = -0*d, 0 = 2*d - 3*k - 146. Let t = -24 + d. Does 13 divide t?
True
Let g(t) = t**3 - 4*t**2 - 12*t + 4. Let v be g(6). Suppose 66 + 519 = 4*x + 3*y, v*y - 584 = -4*x. Does 19 divide x?
False
Suppose -1520 = -0*k - 5*k. Is k a multiple of 19?
True
Let j = -655 + 853. Is 33 a factor of j?
True
Suppose -2*c = 3*c - 3*l - 348, -4*c + l = -277. Suppose -3*i - 4*h + 84 = -c, -4*i = -5*h - 173. Does 16 divide i?
False
Let x be -3 - (-2 - 2/(-2)). Let r be -2 + 4 + (-64)/x. Suppose -l = l - r. Is l a multiple of 17?
True
Suppose -i + 554 = -611. Does 16 divide i?
False
Suppose 9951 = 4*t + 3*x, -2*x - 12410 = 35*t - 40*t. Is t a multiple of 18?
True
Suppose -5*u + 38 + 8 = -c, 0 = c - u + 26. Let f = -5 - c. Suppose -4*g - f = 0, j - 1 = -4*g - 4. Is j a multiple of 13?
True
Suppose -3*r + 2*m = -2*m - 3154, 5*r = 5*m + 5250. Is 8 a factor of r?
False
Let h(s) = -51*s**2 - 4*s + 3. Let c(y) = -103*y**2 - 9*y + 7. Let p(b) = 4*c(b) - 9*h(b). Is p(-1) a multiple of 13?
False
Is 48 a factor of 1/((-7)/(-7060)) + (-4)/7?
True
Suppose -21*r + 11411 = -11836. Does 41 divide r?
True
Let u be (-15 + 16)/(2/6). Is (-2)/8 - u/((-84)/875) a multiple of 31?
True
Let d = -227 + 395. Let m = 74 - d. Let c = -52 - m. Is 12 a factor of c?
False
Let q(b) = 20*b + 0*b**3 - 3*b**3 - 18*b + 2. Is q(-2) a multiple of 22?
True
Suppose 2*q + 20 = 4*x, 15 = -3*q + 4*x - 5. Suppose 8 = -q*s + s. Let r = s + 33. Is 9 a factor of r?
False
Does 10 divide (-50)/4*(-11)/(110/96)?
True
Is 2/6 + 201737/201 a multiple of 34?
False
Suppose -5*p = -4*o + 37, 3*o - 3*p = 12 + 12. Suppose 0 = -o*q - 0*q - 3, -192 = -n + 4*q. Is 14 a factor of n?
False
Suppose -4*v - 2282 = -2*l, -6339 = -5*l - 3*v - 595. Does 37 divide l?
True
Suppose 16*u - 4*k = 15*u + 1371, -u - 5*k = -1416. Is 13 a factor of u?
True
Let x(p) = p**3 + 3*p**2 + p + 23. Let h(g) = g**3 + 4*g**2 + 2*g + 25. Let f(b) = -2*h(b) + 3*x(b). Let i be -2*1 + (2 - 0). Does 9 divide f(i)?
False
Let g(z) = 219*z**2 + 4*z - 11. Is 124 a factor of g(-4)?
False
Let x(l) = 18*l**2 - 6*l + 6. Suppose 3*n = -2*n, 0 = -5*t + 5*n + 15. Does 30 divide x(t)?
True
Let u(f) = -291*f + 116. Does 16 divide u(-4)?
True
Let z = 6 + -4. Let n = z - 2. Suppose j + 2*g - 20 = -3*g, n = j - 5*g - 60. Is 10 a factor of j?
True
Let k(q) = -q - 1. Let z be k(-3). Suppose -z*u + u = 4*p - 668, -2*u = -8. Suppose -4*m + 94 = -p. Does 13 divide m?
True
Suppose -5*m = a - m - 371, a - 395 = 4*m. Let f = -260 + a. Is f a multiple of 41?
True
Let s(l) = l**3 - 10*l**2 + 3. Let y = 16 - 6. Let q be s(y). Suppose -q*o - 3 - 6 = 0, 5*n - 225 = -5*o. Is 12 a factor of n?
True
Let i = 12 + -4. Suppose -r = 5*z - 8, -i = 3*r - 4*z + 3*z. Does 9 divide (-3)/(-18)*r*-81?
True
Is 12 a factor of 1173 - (0 - (-12)/(-20))*-5?
False
Suppose -40*g + 64523 = -36037. Does 66 divide g?
False
Let h(b) = -b**3 - 10*b**2 + 42*b + 9. Is 6 a factor of h(-14)?
False
Let y = -2 + 5. Suppose 20 = 11*u - 7*u. Suppose u*t - 282 = -y*a + 2*t, -t = -5*a + 500. Is a a multiple of 13?
False
Suppose 81 + 931 = 2*t. Does 23 divide t?
True
Let k(n) = -n**2 - 47*n - 94. Is k(-39) a multiple of 6?
False
Suppose -4*f - 3*j = -21, -3*f - 2*j = -5*f. Let b be 2/f*27/6. Suppose -2*d = v - 63, b*d + 280 = 4*v + 17. Is 13 a factor of v?
True
Let w = -347 - -499. Is 8 a factor of w?
True
Let y be ((-2)/7)/((-16)/1456). Let k = y - -16. Is 14 a factor of k?
True
Let i(d) = -101*d + 464. Is 12 a factor of i(4)?
True
Let u be 166/34 - (-8 - 134/(-17)). Let s(o) = 6*o**2 + 5*o + 15. Let j(l) = -2*l**2 - 2*l - 5. Let v(h) = 11*j(h) + 4*s(h). Is 12 a factor of v(u)?
False
Suppose 0 = 2*a - 111 + 53. Let k = a - -166. Is 39 a factor of k?
True
Let l(v) be the second derivative of -2/3*v**3 + 0 + 1/4*v**4 + 5*v - 5/2*v**2. Is 12 a factor