 2*p + 30, k - s*p - 23 = -5*p. Does 11 divide k?
False
Suppose -2*x - x = 0, 3*b - 12 = -5*x. Suppose -b*r + 1 = -h, -2*h + 3 = -h - 3*r. Does 5 divide h?
True
Suppose 4*s - 2*s = -8. Is 6 a factor of (0 + s)/((-14)/21)?
True
Let u(b) = 8*b - 23. Is u(5) a multiple of 17?
True
Let i = 24 + -20. Suppose 3*b - 58 = -i*m - m, -4*m = -2*b + 24. Is 7 a factor of b?
False
Let s = 88 + -45. Is s a multiple of 8?
False
Suppose -124 = 2*l - 4*l - 4*s, 0 = 4*l + s - 248. Is l a multiple of 31?
True
Let w(n) = -2*n - 9. Let m be (0/2 - 10) + 2. Is 2 a factor of w(m)?
False
Let s(l) = l**3 - 6*l**2 - 9*l + 4. Is s(8) a multiple of 12?
True
Let b = 0 + 5. Let j be (16 + -4)*(-10)/(-4). Let v = j - b. Is v a multiple of 15?
False
Suppose 3*d = 8*d - 525. Let b = d + -71. Does 11 divide b?
False
Let p(f) = f**3 - 4*f**2 - 5*f + 2. Let s be p(5). Suppose s*o = 7*o - 35. Suppose -5*r - 5*l = -70, 0 = -2*r + o*l - 2*l + 14. Does 4 divide r?
True
Suppose z - 1 = 4, -2*z = 2*n - 16. Let d(q) = n + 0*q - q + 4*q. Does 21 divide d(6)?
True
Suppose 20 = 4*i, 3*k - 18 - 100 = -2*i. Let f = -5 - -8. Suppose f*o = 6*o - k. Is 6 a factor of o?
True
Suppose -5*u = -2*j + 37, -5*j + 3*u + 4 + 41 = 0. Let f be (4 + 66)*j/4. Suppose q - 3*i - f = -2*q, 5*i - 91 = -2*q. Is q a multiple of 14?
False
Does 32 divide 157*(1 + -4)/(-3)?
False
Suppose 3*k + f = -0*k + 21, 5*f + 9 = 4*k. Suppose 7*i - 5*i - k = 0. Is 2 a factor of i?
False
Let v(p) = p**2 + 3. Let d(s) = s**2 - 3*s - 3. Let n be d(3). Let z = n - 2. Does 14 divide v(z)?
True
Suppose 2 = u - 3. Suppose 0*f - u*f = -w - 52, -5*f = w - 58. Is f a multiple of 8?
False
Does 3 divide (-9)/(-3)*5/(1/1)?
True
Let z(u) = -u - 5. Let q be z(-5). Let n(x) be the second derivative of x**3/6 + 35*x**2/2 - 2*x. Is n(q) a multiple of 12?
False
Suppose -40 = -5*j + 170. Suppose 4*l - j - 22 = 0. Does 16 divide l?
True
Let c(a) = a**3 + 7*a**2 + 3. Let u(d) = d**3 + 7*d**2 + d + 3. Let q(r) = 4*c(r) - 3*u(r). Does 13 divide q(-7)?
False
Let o(u) = -208*u**2 - u + 1. Let y be o(1). Is (-4)/(-6) + y/(-12) a multiple of 5?
False
Let d be (-42)/(3 - 6)*2. Let q = d - 10. Does 9 divide q?
True
Let k = -1 - -101. Does 8 divide k?
False
Let v(r) = -r**2 + 10*r + 6. Is 4 a factor of v(7)?
False
Let a be -2*(100/(-4) + 2). Suppose 3*v - 123 = -2*v - 3*o, 2*o - a = -2*v. Does 9 divide v?
True
Suppose 0 = -13*b - 0*b + 1053. Is 8 a factor of b?
False
Let a(c) = 29*c**2 - 6*c + 6. Is a(2) a multiple of 22?
True
Let x = -4 + 6. Let r be x - 4/((-4)/(-7)). Let a(h) = -h**3 - 3*h**2 + 7*h - 1. Is 4 a factor of a(r)?
False
Let h(l) = 2*l + 1. Let s be h(-2). Is 17 a factor of (42/(-9) - 1)*s?
True
Let n be (-448)/(-72) + 4/(-18). Is (-4)/n + (-220)/(-6) a multiple of 18?
True
Suppose 4*b - 4*t + 0*t = 76, -12 = -4*t. Suppose -v - 5*z + 15 = 0, 2*z = -2*v + 1 + 13. Suppose w + 23 = 3*m, 0 = -4*m + 5*w + v + b. Is m a multiple of 8?
True
Let p(h) = h**2 - 7*h + 2. Let u be p(7). Let j(g) = -5*g + 66*g + 7*g - u*g. Is 22 a factor of j(1)?
True
Let k(x) = -3*x + 1. Let j be k(-1). Let u(r) = r**3 - 4*r**2 + 4*r - 2. Does 10 divide u(j)?
False
Let w(i) = -i**3 - 10*i**2 - 10*i - 10. Is 15 a factor of w(-10)?
True
Let s(f) = f**3 - 9*f**2 + f + 2. Let v(w) = -w**3 + 10*w**2 - w - 2. Let n(a) = 7*s(a) + 6*v(a). Is n(3) a multiple of 4?
False
Let v(w) = 86*w**2 + 2*w - 1. Let r be v(1). Suppose 2*y - 5*h = -y + 253, 3*h + r = y. Is 14 a factor of y?
False
Let z(p) = -p**3 + 7*p**2 + 7*p + 11. Let a be z(8). Is 10 a factor of 12/(a + (-27)/12)?
False
Let a = -14 + 62. Is a a multiple of 12?
True
Suppose 0 = -s, 3*u - 552 = -s + 192. Is 50 a factor of u?
False
Let q = -6 - 3. Let l(j) = j**2 + 10*j + 4. Let o be l(q). Is 20 a factor of (-2)/o*(54 - 4)?
True
Let v = -9 + 7. Is 15 a factor of 334/22 + v/11?
True
Let o = -2 + -2. Let u be 0 - 16*o - 2. Suppose -3*v + 34 = -u. Is v a multiple of 9?
False
Let k(n) = n**3 + 7*n**2 - 7*n + 4. Let a be k(-8). Let d be (-6)/(-2) + a/(-2). Suppose 0 = d*q - 129 - 141. Does 18 divide q?
True
Let n = 39 - 5. Is 9 a factor of n?
False
Let t = 31 + -17. Suppose 2*l - 44 = 2*w, -2*l - w = -39 + 7. Suppose -4*x + t + l = 0. Is 8 a factor of x?
True
Suppose 9 = r + c - 0*c, -2*c - 2 = -2*r. Suppose 2*j - 16 = 4*y, 3*j + 2*y - r = 3. Suppose 6 = -4*b + 7*b, 4*b = q - j. Is q a multiple of 12?
True
Let d(v) = v**2 + 4*v - 3. Let u = -13 - -8. Let f be d(u). Suppose f*b + 2*b - 60 = 0. Is b a multiple of 15?
True
Suppose 3*p = 2*h + 147, 2*h + 2*p + 141 = -p. Does 17 divide (h/10)/(6/(-20))?
False
Suppose a + 189 = 10*a. Is a a multiple of 3?
True
Let s(d) = d + 62. Does 3 divide s(-14)?
True
Suppose 4*f - 1 = 19. Suppose f*t - 95 = 95. Is t a multiple of 13?
False
Let u = 441 - 301. Does 28 divide u?
True
Let n(q) = -43*q + 1. Let w = 16 - 17. Is n(w) a multiple of 11?
True
Let r(b) = -b**2 - 9*b + 7. Let p be r(-10). Let k = 27 - p. Is 15 a factor of k?
True
Let v(x) = -3*x + 9. Let f be v(6). Let k = f - -13. Let n(t) = -t**3 + 7*t**2 - 6*t + 3. Does 14 divide n(k)?
False
Suppose 2*w - r + 59 = 0, r + 0 = -5. Let k = 49 + w. Let c = k - 10. Is 7 a factor of c?
True
Suppose 1 = f + 2*o - 2, -4*f + 28 = 4*o. Is f a multiple of 11?
True
Let l be -15*(2 - (-8)/12). Let x = -29 - l. Does 11 divide x?
True
Let z(t) = -4*t - 2. Let k(x) = x**3 + 10*x**2 + 9*x - 9. Let m be k(-9). Let l be z(m). Is 13 a factor of (-3)/(-6)*1*l?
False
Suppose -289 = -2*t - 2*g + 269, 2*g - 1404 = -5*t. Is 47 a factor of t?
True
Let j = -159 - -173. Does 9 divide j?
False
Let g be 3/(-5) - (-126)/10. Let i be g/(-6) - -4*17. Suppose i + 30 = 3*f. Does 11 divide f?
False
Suppose -5*b + 75 = -2*b. Is b a multiple of 6?
False
Suppose -3*n + 2643 = 5*u, 2*u - 5*n = 4*u - 1061. Does 13 divide u/20 + (-4)/10?
True
Let s = -18 - -37. Suppose 0 = 4*w - 77 - s. Is w a multiple of 11?
False
Suppose 0 = -5*p + 4*s + 1088, 7*p = 5*p - s + 443. Suppose 4*x + x = p. Is 22 a factor of x?
True
Let f(j) = 4*j**3 + 6*j**2 + 5*j - 4. Let h(l) = -3*l**3 - 5*l**2 - 4*l + 5. Let m(u) = 4*f(u) + 5*h(u). Is m(0) a multiple of 9?
True
Suppose 0*b + 12 = 3*b. Suppose b*x - 20 - 16 = 0. Does 9 divide x?
True
Let z = 531 - 85. Is 43 a factor of z?
False
Let a(q) be the third derivative of q**6/120 - q**5/12 + q**4/24 + 3*q**2. Let y be a(5). Suppose 5*k = -y*r + 115, 6*r - 94 = 2*r - 5*k. Is r a multiple of 21?
True
Let g(u) = 3*u - 2. Let y be g(-2). Let v be (-1)/(-4) + (-14)/y. Is 4/6*36 - v a multiple of 11?
True
Suppose 2 = 5*u + 42. Let y = 25 + u. Is y a multiple of 6?
False
Let h = -2 + 5. Let u = 8 - 16. Let z = h - u. Does 11 divide z?
True
Let n(a) = 2*a**2 + 4*a + 6. Is 17 a factor of n(-4)?
False
Let i(b) = -b**3 - 8*b**2 - 8*b - 4. Let h be i(-7). Is 3/9*17*h a multiple of 6?
False
Let t(y) = -2*y**2 - 48*y - 31. Does 14 divide t(-21)?
False
Let c(a) = 2*a**2 - 9*a - 5. Let m be c(7). Suppose -3*x - m + 96 = 0. Does 22 divide x?
True
Suppose -34 = 5*z - 319. Is 19 a factor of z?
True
Let r be (-4 - -5)*2*2. Suppose -r*i = -2*i - 12. Is 2 a factor of i?
True
Let o(z) be the first derivative of 5*z**2/2 - 4*z - 1. Suppose -36 = -4*p - 8. Is 12 a factor of o(p)?
False
Let s = 3 + -1. Suppose s*u = u + 14. Does 14 divide u?
True
Let s = 88 + -58. Is s a multiple of 15?
True
Let p = -104 + 125. Is p a multiple of 2?
False
Suppose 3*n + 4*l = -148 + 503, -2*n + 5*l = -206. Does 41 divide n?
False
Let g(i) = -4*i. Let o be g(-7). Suppose -2*f + 2 = -o. Is f a multiple of 4?
False
Is (-230)/(-4)*(-4)/(-10) a multiple of 11?
False
Let n(l) = l**3 - 10*l**2 + 9*l + 2. Let g be n(9). Suppose 0 = h + s - 33, -g*h = 5*s - 57. Does 18 divide h?
True
Let l(k) = -2*k - 5. Is l(-4) a multiple of 2?
False
Suppose 5*z - z - 251 = 5*p, 3*z + 5*p - 162 = 0. Is z a multiple of 9?
False
Suppose 2*h - 6 = n, 0 = -4*h - 0*n - 3*n + 22. Suppose 0 = q - 1 - h. Is q even?
False
Let f = -4 + 7. Let a = f - 8. Let w = 16 - a. Is 6 a factor of w?
False
Let w(j) = 2*j**2 - 2 - 1 + 4*j - 4. Is w(-5) a multiple of 9?
False
Is 14 a factor of (96/(-15))/((-18)/45)?
False
Let y(z) = -4*z - 4. Let o be y(-3). Let k be (-2 - 0)*o/4. Let a(u) = -2*u + 1. Is 7 a factor of a(k)?
False
Suppose -n + 198 = 5*m - m, -3*n + 546 = -4*m. Does 18 divide n?
False
Let t = -9 - -24. Is 11 a factor of ((-6)/t)/