= -12*p. Let c be 0 + 10 + -1*1. Is (c/2)/((-3)/p) a multiple of 10?
False
Let z(l) = l**2 - 2*l + 12. Does 15 divide z(8)?
True
Let o = -46 + 100. Let z = 115 - o. Is z a multiple of 16?
False
Suppose 148 - 302 = -2*b. Is b a multiple of 8?
False
Let h(r) be the first derivative of -r**3/6 + 17*r**2/2 - r + 2. Let x(w) be the first derivative of h(w). Is 6 a factor of x(0)?
False
Let n be (2 + 0/(-3))*(1 - 2). Let g(u) = -51*u**2 + 6*u - 6. Let t(m) = 10*m**2 - m + 1. Let b(f) = 2*g(f) + 11*t(f). Is 11 a factor of b(n)?
False
Let m = 14 + -9. Let f(o) = o + 5. Let z be f(m). Suppose -z = -0*c - c. Does 5 divide c?
True
Let p(m) = -m**2 - 3*m + 6. Let a be p(-5). Let s(r) = -r**2 - 2*r + 4. Let f be s(a). Is ((-20)/f)/((-2)/(-10)) a multiple of 12?
False
Let v(s) = s**3 + 4*s**2 - 7*s + 2. Let m be v(-5). Let g = 37 - m. Is g a multiple of 18?
False
Suppose 6*q = 3*q - 18. Let n = q - -11. Suppose 24 = 2*s - 3*f, 36 = 5*s - n*f - 34. Is s a multiple of 6?
True
Let b be (-4 - -4) + (-1 - 2). Let i be 2/(b/(9/(-2))). Suppose -m + 0*w = -i*w - 49, -5*m = w - 197. Is 20 a factor of m?
True
Let k be 192/40 + 1/5. Suppose -5*n = -j - 151, 5*n - 2*j = -k*j + 147. Does 15 divide n?
True
Let m = -57 + 37. Let d = m + 44. Does 7 divide d?
False
Suppose 2*g = -s, -s = -5*g - 0*s + 14. Let n be 2/g*3*1. Is 19 a factor of n + -1 - (-3 - 35)?
False
Let d = -7 + 43. Let v = 66 - d. Is v a multiple of 10?
True
Let m(n) = 3*n**2 - 2*n - 1. Let t be m(3). Suppose 3*j - 25 = t. Is j a multiple of 5?
True
Suppose -184 = -3*d - 0*d + 2*h, 4*d - 236 = -2*h. Is 20 a factor of d?
True
Let y be (-4)/5*(-6 + 1). Suppose 41 = y*q - 7. Is q a multiple of 4?
True
Let w(h) be the second derivative of -2*h**3/3 - h**2/2 + 3*h. Let r be w(1). Let v = r + 10. Does 5 divide v?
True
Let t(z) = -z**3 + 10*z**2 + 7*z + 2. Does 25 divide t(10)?
False
Suppose -4*q + 4 = 0, 3*h - 1 = -5*q + 7. Let k = h + 17. Does 9 divide k?
True
Suppose l = -5*c - 2*l + 581, -5*c + 585 = 5*l. Does 32 divide c?
False
Suppose -90 = -7*c + 2*c. Is c a multiple of 18?
True
Let t be ((-4)/(-6))/((-8)/(-12)). Let u be (t - 1) + 1 - -5. Let f = 26 - u. Is f a multiple of 10?
True
Suppose 3*o = 4*x - 0*o - 24, -o + 5 = 3*x. Suppose x*d - 15 = 0, -4 = -3*h + 2*d + 1. Is 5 a factor of h?
True
Let p = 3 + -1. Let q(r) = -3*r**p + 3*r + 0*r - 3*r**3 - 2*r + 2. Is q(-2) a multiple of 6?
True
Suppose 3*r - 12 - 6 = 0. Let g = r - 3. Is g a multiple of 3?
True
Suppose -x = 2*x - 45. Is x a multiple of 5?
True
Let j be ((-1)/4)/((-2)/8). Let r be 0 + j + 44/4. Let g = r - 0. Is g a multiple of 6?
True
Let h = -162 + 352. Does 26 divide h?
False
Suppose 2*l - 103 + 7 = 0. Does 13 divide l?
False
Suppose -7*r + 2 = -5*r. Is (-1 - r) + -1 + 59 a multiple of 20?
False
Let r(b) = b. Let h be r(2). Let q be 4/(4 - 2) + h. Suppose 5*c = -q*x + 250, 5*c - 215 = -0*x + 3*x. Is c a multiple of 23?
True
Suppose 5*t + l = -4*l + 605, -5*t + 640 = -2*l. Does 14 divide t?
True
Suppose 0 = -3*a + 5*t + 1306, 0 = 4*a - 5*t - 1807 + 74. Suppose 4*r - a = 5*k, 5*r = 2*r - 3*k + 327. Suppose 12 = -4*w + r. Does 12 divide w?
True
Suppose -2*l - f = -1, 2*f - 4*f + 2 = 0. Suppose l*w = -4*w + 284. Suppose -4*i + w = -29. Is 9 a factor of i?
False
Let u(t) = -t**3 + 9*t**2 - 21. Does 7 divide u(7)?
True
Let t(q) = -q**2 - 1. Let r be t(0). Is (1*-6 + -2)*r a multiple of 5?
False
Suppose 0 = 3*x - 5*x + h + 7, 2*h + 10 = 2*x. Let s(q) = 7*q**2 + 2. Let m(n) = 28*n**2 + 8. Let r(k) = -2*m(k) + 9*s(k). Does 13 divide r(x)?
False
Let m(z) = 23*z - 2. Let s be m(4). Suppose -5*u + 4*y + s = 0, -3*y - 43 = -2*u - 7. Does 18 divide u?
True
Let g = 73 - 23. Is 15 a factor of g?
False
Let q(w) be the second derivative of w**5/60 + w**4/12 - w**3 + w**2/2 - 3*w. Let r(a) be the first derivative of q(a). Is 9 a factor of r(-6)?
True
Let u be 6*(-2)/(-3) - 1. Suppose u*s = s - 2*l + 8, 0 = -3*l + 6. Suppose -s*x + 2*t + 0*t = -34, x + 4*t = 42. Is 11 a factor of x?
True
Is 7 a factor of (354/15)/(4/(-80)*-4)?
False
Let l be (0 - 4)*1 + 4. Let q(j) = j**3 + j**2 + 28. Does 7 divide q(l)?
True
Let h be -3*((-5)/(-1))/(-1). Suppose 0 = 3*f + h, -3*i - 2*f = -7*i + 42. Does 4 divide i?
True
Suppose 111 = 19*l - 16*l. Is 7 a factor of l?
False
Let i(t) = t**2 + 5*t - 9. Does 24 divide i(-10)?
False
Let h = -6 + 8. Let a be 3 - (2 + -1) - h. Suppose 3*m = -3*l + l + 54, a = 2*l + 4*m - 58. Is l a multiple of 17?
False
Let h = 97 + -41. Is h a multiple of 14?
True
Let d be 1/((-3)/24) - 0. Let t(l) be the first derivative of -l**3/3 - 4*l**2 + 10*l + 2. Does 5 divide t(d)?
True
Let o be (-4)/6 - (-16)/6. Suppose o*y + 21 = 3*y. Does 8 divide y?
False
Suppose -64 = -4*r + 12. Does 2 divide r?
False
Let k = 11 + -17. Does 5 divide 2/k*(-90)/6?
True
Let y = 4 - 1. Suppose 5*f - 5 = -2*v - 4, -5*f + 9 = y*v. Suppose 142 = 4*b + 2*q, -v = 2*b - 4*q - 94. Is 10 a factor of b?
False
Suppose -35 = -4*u + 21. Is u a multiple of 7?
True
Let o(c) = -c**2 + 11*c + 8. Suppose 7 = -2*h + 4*u + 21, 0 = h + 4*u - 7. Is o(h) a multiple of 12?
True
Let u = -239 + 355. Suppose u = 8*n - 4*n + 4*q, -2*q = -4. Is 9 a factor of n?
True
Let b = 84 + -53. Does 18 divide b?
False
Suppose 4*p = 3*n + 2, 3*n - n + 20 = -2*p. Let q(r) = -2*r + 5. Is 8 a factor of q(n)?
False
Let p = 99 + -46. Is 9 a factor of p?
False
Suppose -3*c + 123 = -3*u + 33, 5*c + 4*u - 186 = 0. Does 17 divide c?
True
Let i be -3*2/6*-2. Suppose 3*w = i*w + 5. Suppose s + s = w*k, k + 26 = 3*s. Is s a multiple of 4?
False
Suppose -5*p + 1817 = 4*x, -x + 4*p = -2*x + 457. Let q = -283 + x. Suppose -h = 2*m - 86, -5*h = -4*m + 16 + q. Is 22 a factor of m?
True
Suppose -5*z = -8 - 12. Suppose -4*g = -4*c - 64, -2*c + 64 = z*g - 5*c. Suppose d - 5*d + g = 0. Is d a multiple of 2?
True
Suppose 0 = 2*a + 1 - 7. Suppose -o - 105 = -a*q, -3*q - 21 = 4*o - 141. Let k = -19 + q. Does 17 divide k?
True
Let k = -377 + 569. Is k a multiple of 24?
True
Let f(n) = -3*n. Let g(u) = -u - 1. Let r(i) = -f(i) - 4*g(i). Is r(4) a multiple of 18?
False
Let w(m) = 2*m - 4. Let c be w(3). Let h(i) = i**3 + 5*i**2 - 7*i - 6. Let q be h(-6). Suppose 2*p + 20 = c*n, -4*n - p + 5 + 10 = q. Does 5 divide n?
True
Let i(s) = -4*s + 2. Let x(w) = w - 1. Let o(v) = -i(v) - 5*x(v). Let m be o(3). Suppose m = -3*b + 5*n + 143, 0 = -2*n - 2*n - 4. Is b a multiple of 16?
False
Let z(x) = -2*x - 11. Let j be z(-8). Suppose j*o = o + 64. Is 9 a factor of o?
False
Let j = -19 + 27. Suppose 0 = -2*h + 18 + j. Is h a multiple of 9?
False
Let n be 2/(-7) - 78/21. Let l = n - -8. Suppose -2*u + 14 = -l*x, -3*u + 2*x = u - 46. Does 8 divide u?
False
Let r = -2 - -2. Let g = 234 + -144. Suppose 3*h - g + 18 = r. Is h a multiple of 24?
True
Let v be 38*(7/2 + -3). Let i = -7 + v. Is i a multiple of 11?
False
Is (24/48)/((-2)/(-672)) a multiple of 12?
True
Let n(q) = -q**3 - 4*q**2 + 2*q + 2. Let g be (-6)/18 + (-10)/6. Let l be n(g). Let u = 14 + l. Is u a multiple of 4?
True
Let y = 4 + -11. Let c = y + 19. Does 5 divide c?
False
Let l = -8 - 12. Let o(y) = -3*y**3 + 2*y**2 + y - 2. Let w be o(-2). Let n = w + l. Is n a multiple of 4?
True
Let r = -5 - -5. Let d = r + -2. Is -1 + 9 - (d - -4) a multiple of 6?
True
Let u(z) = 18*z + 6. Does 15 divide u(3)?
True
Let z = 48 + -24. Is z a multiple of 8?
True
Suppose -11*r + 175 = -4*r. Is r a multiple of 3?
False
Let v be 0*(10/4 + -2). Suppose v = -5*b + 25, -b + 2*b = -3*h + 128. Is 14 a factor of h?
False
Let z(p) = 25*p. Let k be -1 - -2 - 9/(-3). Suppose k = 5*m - 1. Is 9 a factor of z(m)?
False
Suppose 6*y = 2*y. Does 20 divide y + 46 - (6 + -9)?
False
Let c(w) = w**2 - 2*w. Let u(y) = 2*y - 3. Suppose 0 = -4*g - 20, h - 4*g = 4*h + 8. Let x be u(h). Is 15 a factor of c(x)?
True
Suppose 278 = 11*s - 723. Is s a multiple of 13?
True
Suppose 9*l + 204 = 13*l. Is 17 a factor of l?
True
Let o be (-12)/16 - 273/(-12). Suppose o = f - 17. Does 13 divide f?
True
Suppose 2*z - 4 = -4*b, -22 = 4*z - 4*b - 66. Let n(a) = 3*a - 10. Is 8 a factor of n(z)?
False
Suppose -o - 4*i + 4 + 33 = 0, 5*o + 3*i - 202 = 0. Does 33 divide o?
False
Let f = 9 - 16. Is f/35 + 76/5 a multiple of 5?
True
Let y be (6/2)/(9/12). Let l be 10/(y/2) + 3. Is (12/l)/(6/16) a multiple of 4?
True
Let t = 5 + -3. Suppose -t*s = 5 -