b = -2*f + 87, -b + 39 = b - 5*f. Is 9 a factor of b?
True
Let i be ((-12)/(-9))/(12/(-414)). Let q = -5 - i. Is q a multiple of 21?
False
Let a(n) = n**2 - 7*n - 6. Let f(y) = y**2 - 3*y - 8. Let t(p) = p**2 - 4*p - 8. Let x(d) = 3*f(d) - 4*t(d). Let r be x(7). Is a(r) a multiple of 2?
True
Let w(f) = -f + 5. Let z be w(5). Suppose 5*p - 135 = -z*p. Suppose 0 = -3*j + p - 12. Is j a multiple of 2?
False
Let p = -165 - -190. Is p even?
False
Let b(v) = -v**3 + 28. Is 14 a factor of b(0)?
True
Suppose 0*t - 120 = 4*t. Let y = -20 - t. Does 10 divide y?
True
Suppose x = 2*g + 4*x - 21, -g - 3*x + 18 = 0. Let w = -18 - -12. Is ((-8)/w)/(g/18) a multiple of 7?
False
Let k = 4 - -3. Is k even?
False
Let v(g) = -g**3 + 6*g**2 - 5*g + 4. Let b be v(5). Let j = 45 - 21. Suppose -s = -b*s + j. Is s a multiple of 3?
False
Let u be (86/3)/((-6)/(-9)). Let x = -19 + u. Is 8 a factor of x?
True
Is (-7)/(-28) - 46/(-8) a multiple of 2?
True
Does 14 divide -70*(-1 + 3/(-15))?
True
Let r = -12 - 1. Is 12 a factor of (-119 + -1)*r/26?
True
Suppose -7*c = -5*c - 30. Let h = c + -9. Is 6 a factor of h?
True
Suppose 0 = -0*x + 3*x. Suppose x = -3*a - f + 54, 5*a = 4*a - f + 20. Is a a multiple of 6?
False
Suppose -3*d + 4*v - 3 = -24, 4*d - 28 = v. Let n(o) = -o**2 + 10*o - 3. Is 9 a factor of n(d)?
True
Let z(o) = -o**2 - o + 50. Suppose 0 = -2*d + 4*d. Let y be z(d). Let s = -24 + y. Does 13 divide s?
True
Does 12 divide -2 - (-4 + 1) - -25?
False
Let m(r) = r**3 - 5*r**2 + 3*r + 3. Is m(6) a multiple of 19?
True
Let f(p) = -p**2 + 3*p + 1. Let d be f(4). Is 20 + (-6 - d) + 1 a multiple of 18?
True
Suppose -4*f + 118 + 2 = 4*x, -5*f = 4*x - 149. Is 11 a factor of f?
False
Let r = -4 - -2. Let j be r*1/(-2) - -3. Suppose j*h = -1 + 29. Does 7 divide h?
True
Let a(n) = -6*n + n + 0*n + n + 4. Is a(-5) a multiple of 12?
True
Suppose -z = -3*a - 0*a - 16, 7 = 2*z - a. Let k(w) = 0*w + 3*w + 10*w + 6*w. Is k(z) a multiple of 13?
False
Is 33 a factor of (9 - 9) + 43*1?
False
Let a = 347 - 204. Is 13 a factor of a?
True
Let w(v) = 4*v**3 + v**2 + v - 1. Let z be w(1). Let b(n) = -2*n**3 + n - 5*n**2 + 2 + 3*n**3 + 0*n**3. Is b(z) a multiple of 6?
False
Suppose 5*t = 141 + 59. Is 9 a factor of t?
False
Let r be (-2)/(-5) - 188/(-5). Suppose -5*j - 98 = -3*x - j, r = x - 4*j. Is 6 a factor of x?
True
Let f be 6/2 + -3 + 4. Suppose -f*b - 4*r + 24 = b, -3*b + 13 = r. Is b a multiple of 4?
True
Is 11 a factor of 165/(-2)*(-64)/40?
True
Let q = 10 + 1. Suppose 3*y = j + q, 1 + 15 = 3*y + 4*j. Let d = 7 + y. Does 11 divide d?
True
Let s = 11 - 4. Let j = -7 + s. Does 5 divide (-1)/(j - (-3)/(-18))?
False
Let m = 158 - 102. Is 23 a factor of m?
False
Does 17 divide (7 - (-2 - -6)) + 62/1?
False
Let f = -144 + 236. Does 25 divide f?
False
Suppose 0 = 5*j - 7 - 8. Suppose -2*c = -j*c, -3*a + 69 = c. Is 6 a factor of a?
False
Suppose 5*w = 2*w + 6. Suppose 13 - 31 = -2*k. Is 12 a factor of 32/(k/3 - w)?
False
Suppose -5*c - 2*h + 5 = 3*h, 4*c - h - 9 = 0. Suppose x = -c*z + 146, -4 = x - 2. Does 21 divide z?
False
Let s(o) = -2*o**2 + 16*o + 10. Does 6 divide s(7)?
True
Suppose 2*q = -8, 0 = -0*k - 2*k - 3*q + 20. Is k a multiple of 16?
True
Let h(z) = 17*z + 52. Is 15 a factor of h(4)?
True
Let m be 12/(-30) + 1604/10. Suppose -n + m = 3*n. Is 10 a factor of n?
True
Is 15 a factor of (-5*3/((-15)/89))/1?
False
Let b = 1 + 2. Let r = 22 - b. Does 11 divide r?
False
Suppose -32*l + 33*l - 60 = 0. Does 15 divide l?
True
Let w(j) = j**2 + 2*j + 3. Let y be w(-3). Suppose -n - 2*a = -y*n + 2, n = a - 2. Is 13 a factor of 26/((3 - n)*2)?
True
Let w(i) = i**2 + 7*i - 36. Does 13 divide w(-16)?
False
Suppose -5*i = -106 + 16. Let t = -13 + i. Is 2 a factor of t?
False
Let h(c) be the second derivative of c**4/6 - c**3/2 + 11*c**2/2 + 8*c. Is 11 a factor of h(6)?
False
Let u(h) = 35*h**2 + h. Does 12 divide u(1)?
True
Let m = 17 - 9. Let r = 15 + m. Suppose -w + 0*w = -r. Is w a multiple of 18?
False
Let k = -6 + 8. Suppose 0 = -v - 4*t - 13, -t = v - 0*t - k. Is v a multiple of 6?
False
Suppose 4*w - 348 = 4*f, -2*w = 7*f - 2*f - 160. Suppose 5*j - 3 - 7 = r, -4*r + w = 5*j. Is 11 a factor of r?
False
Suppose 0*x + 5*x - 174 = -3*m, 3*m + 6 = 0. Does 12 divide x?
True
Is 39 a factor of -6 + 0 + 6960/16?
True
Suppose 10 = 5*u, -5*u = 4*v - 3*v - 64. Is v a multiple of 13?
False
Let n = -6 - -95. Let y = n + -39. Suppose 50 + y = 4*a. Does 22 divide a?
False
Let z(i) = i - 3. Let t be z(7). Let w be (-1 - -11)*(-1)/(-2). Suppose 42 = w*y + h - 62, -5*y - t*h = -116. Is y a multiple of 10?
True
Suppose 3*z - 414 - 20 = -5*y, -12 = -3*y. Is z a multiple of 28?
False
Let v(g) = 14*g + 3. Let h be v(-2). Suppose 2*j = -j + 141. Let t = h + j. Is 8 a factor of t?
False
Suppose -2*g + 2*x + 2*x + 98 = 0, 0 = -g + x + 49. Suppose 3*n - g = -4*k, 5*k - 18 = 2*k + 4*n. Is 10 a factor of k?
True
Suppose -3*c + 5*c - 12 = 0. Is c/(-2 - 1 - -5) a multiple of 2?
False
Let w(f) = f - 4. Let q be w(6). Suppose -q*h + 59 = -5*l, -3*l + l - 95 = -5*h. Is 16 a factor of h?
False
Let k be -2 - (-25 + (-3 - -3)). Suppose i - 28 = k. Does 11 divide i?
False
Suppose 120 = 2*j + 3*j. Does 4 divide j?
True
Suppose -6*j = 148 - 1666. Is 30 a factor of j?
False
Let m(a) = a**2 + 20*a + 22. Is 11 a factor of m(-20)?
True
Suppose 3*p + 3*c + 0 = 6, -5*p = 3*c - 14. Is p even?
True
Suppose -282 = 2*i + i. Let s = -55 - i. Suppose -4*o + 150 = 5*x, 4*o - s + 9 = -x. Is 15 a factor of x?
True
Let f(n) = n - 1. Let q(x) = 2*x**2 + 6*x - 2. Let b(h) = -5*f(h) + q(h). Let s = 9 + -12. Is b(s) a multiple of 9?
True
Suppose 5*q + o - 93 = 0, 74 = 4*q - 0*o + o. Is 3 a factor of q?
False
Let p = 32 + -68. Let c = p - -55. Is 19 a factor of c?
True
Let r(g) = -31*g - 49. Is 12 a factor of r(-7)?
True
Suppose -2*l - 3*r + 48 = -33, -131 = -3*l + 5*r. Is 14 a factor of l?
True
Is 2 + (-20)/12*-39 a multiple of 25?
False
Suppose -5*p = -3*z - 205, -3*z = -p - 2*z + 41. Does 16 divide p?
False
Let p = -60 + 116. Is p a multiple of 14?
True
Let l be (-2)/10 - (-6)/30. Suppose -x + l*x = -3. Suppose 2*a - x*a + r = -15, -a + 5*r = -3. Does 9 divide a?
True
Let n = -158 + 297. Suppose -5*z = 2*r - n, 0 = -2*r + 6*r - 8. Is 8 a factor of z?
False
Suppose -x - w + 2 = 0, w - 2 = -3*x + 2. Does 14 divide 4*(14 - (x - 1))?
True
Let o be (-55)/(-3) - 5/15. Let f = -13 + o. Suppose -n + 106 = 3*a, -n - f = -0. Does 14 divide a?
False
Let f = -11 + 35. Suppose -3*k = k - f. Suppose k - 86 = -5*p. Is 6 a factor of p?
False
Let a(h) = -3*h**2 + 7*h**2 - 4*h**2 - 6 + 7*h + h**3 + 9*h**2. Let m be a(-8). Let n(y) = 7*y - 3. Does 8 divide n(m)?
False
Is (-190)/(-6) + 5/15 a multiple of 16?
True
Let r(b) = 34*b**2 - b + 1. Is r(-1) a multiple of 9?
True
Suppose 7*g = 2*g + 170. Does 16 divide g?
False
Suppose -85 = c + 4*c. Let q = c + 31. Is 6 a factor of q?
False
Suppose 4*k = -1 + 9. Suppose k*f + 1 = -l - 3*f, -4*l + 2*f = -40. Suppose 2*b = b + l. Does 9 divide b?
True
Is 10/(-65) - 1824/(-26) a multiple of 19?
False
Suppose 341 = 4*s - 0*s - 5*g, 4*s - 2*g = 338. Is 28 a factor of s?
True
Let l = -1 + 5. Let y = 8 - l. Suppose -114 = -y*t + 38. Does 17 divide t?
False
Suppose 0 = -t + 22 - 15. Is (-10 + t)/((-2)/60) a multiple of 15?
True
Is (80 - (4 + -4))*(-12)/(-10) a multiple of 29?
False
Let i(r) = -r + 8. Let v be i(7). Suppose 0 = -l + 3 + v. Suppose 3*x + g + 3*g = 61, -l*x = -2*g - 96. Is 16 a factor of x?
False
Let k be 2 - (-5 - (-2 + -1)). Suppose 2*u = -5*d + 45, -3*u + 3 = k*d - 40. Is 2 a factor of d?
False
Let o(g) = -g**2 + 2*g + 1. Let q be o(2). Is 11 a factor of (3/((-6)/(-44)))/q?
True
Let n(h) = h**2 - h - 6. Suppose -3*a + 20 + 1 = 0. Does 8 divide n(a)?
False
Let y(d) = -3*d - 2. Let g be y(-3). Let r = g - -17. Is 8 a factor of r?
True
Suppose -32 = -4*j - 4*v, 3*v - 34 = -0*j - 5*j. Suppose 0 = -j*p + 104 + 226. Does 22 divide p?
True
Let c(l) = -5*l - 19. Is 13 a factor of c(-9)?
True
Suppose -4*u = -754 + 194. Does 34 divide u?
False
Let b(q) = -q**3 - 11*q**2 + q + 22. Is 2 a factor of b(-11)?
False
Does 12 divide 3/39*-2 - (-938)/13?
True
Let n = -4 + 7. Suppose -1 = a - 5*o, n*a + 5*o = 7*a - 11. Is 2 a factor of a?
True
Suppose 0 = -x - 4 + 9. Let j = x + -5. Suppose j = p - 3 - 1. Is 3 a factor of p?