*p - 0. Is 8 a factor of p?
False
Let u be ((-15)/2)/(3/(-68)). Suppose -2*b - 2*b + 4*t + 220 = 0, 3*b - u = 4*t. Let d = 74 - b. Is 13 a factor of d?
False
Let i be (-108)/14 - 2/7. Is 12 a factor of 2*4/i*-37?
False
Let d(q) = -9*q**2 - 15*q + 26. Let j(f) = -3*f**2 - 5*f + 9. Let x(s) = 6*d(s) - 17*j(s). Let z be x(-4). Does 13 divide 4/(-2)*z/2?
False
Let v = 122 + -82. Suppose v = -2*b + 3*b. Does 20 divide b?
True
Let b = -7 - -4. Let o = 5 + b. Suppose 0 = -o*d + 5*d - 63. Is d a multiple of 10?
False
Suppose -d + 6*d - 75 = 0. Does 5 divide d?
True
Is (-1702)/(-10) - (-15)/(-75) a multiple of 42?
False
Suppose s = -3*c, 0 = -2*s + 4*s + 3*c. Suppose 3*p - 2*l = -4*l + 131, s = -l + 4. Is p a multiple of 19?
False
Suppose 7*v + 5*a - 85 = 3*v, 5*v - 4*a = 96. Does 20 divide v?
True
Let d(l) = -l**2 - 2*l + 2. Let j be d(2). Is ((-3)/(-2) + -2)*j even?
False
Suppose 1 = -u + 6. Let q be u + (-4 - (-2)/2). Suppose 0 = q*p + 4*x - 2, x + 2*x = -5*p + 19. Is p a multiple of 5?
True
Let u be 28/6 + 4/(-6). Suppose 0 = -d + u*n + 19, -3*d - 2*n + 18 = 3. Does 2 divide d?
False
Let q = 7 + -5. Suppose -u - 2*s = -48, -q*s + 2 + 4 = 0. Is u a multiple of 14?
True
Let l = -26 + 36. Suppose -k + 0 + l = -2*h, -57 = -5*k + 3*h. Does 12 divide k?
True
Let h = 7 - -14. Suppose -31 - h = -k - 4*t, 4*k - 2*t = 118. Is 17 a factor of k?
False
Let t(s) = -4*s + 19*s + 2*s**2 - 7*s - 7*s. Does 2 divide t(2)?
True
Suppose 5*f - 3*h + h = 19, 4*h - 1 = -3*f. Suppose -a - a + 15 = 3*r, -f*r = 9. Is 12 a factor of a?
True
Does 12 divide 133/((0 - 3)/(-3))?
False
Let q(r) = -4*r - 9. Let n be q(-6). Suppose 0 = 3*v + 2*v - n. Is v a multiple of 3?
True
Suppose -13 = -3*u + 53. Let x = u + -11. Is 11 a factor of x?
True
Let b(u) = u**3 + 4*u**2 - 3*u - 6. Suppose 5*d + 26 = 6. Let l be b(d). Is ((-12)/10)/(l/(-20)) a multiple of 4?
True
Let p = 137 - -118. Does 36 divide p?
False
Suppose -2*b + 4*b - 4 = 0. Does 3 divide b/(-5) - (-34)/10?
True
Suppose 4*g - 172 = -0*g. Is g a multiple of 17?
False
Suppose -1 - 32 = -t + 3*d, 8 = -2*d. Does 12 divide t?
False
Let t be -109 - (1 + -1)*1. Is 7 a factor of 2/(-8) + t/(-4)?
False
Let o(p) = 4*p**3 + 3*p**2 + 2*p. Let q be o(-1). Is 2/6*-11*q a multiple of 7?
False
Suppose -2*f + 3*z = f - 222, 0 = z + 2. Does 22 divide f?
False
Is (4 + 21)*1 + -3 a multiple of 9?
False
Suppose 3*r - 4*n - 34 = -4, r - 4*n - 18 = 0. Let v = 3 + r. Let g = 13 - v. Is 2 a factor of g?
True
Let a = -21 + 83. Is a a multiple of 10?
False
Let h(f) = 2*f**3 + 3*f**2 + 2*f + 1. Let l be h(3). Let n = l + -56. Suppose s - n = -3*s. Is 3 a factor of s?
False
Let j(q) = 2*q**2 - 14*q + 4. Suppose -2*n - 11 = -31. Let g be j(n). Suppose -2*z + g = 2. Does 19 divide z?
False
Let o be (2 + 8/(-6))*3. Suppose -2 = -o*c + 18. Is 10 a factor of c?
True
Let k(j) = j**2 + j - 7. Let w be k(4). Suppose 3 = 3*z, -z - 2*z - w = -4*n. Is 4 a factor of n?
True
Suppose -7*h + 632 = -187. Is h a multiple of 20?
False
Let w be (-2)/(4/2)*0. Suppose 4*o + 0*o - 240 = w. Suppose 3*u + o = 6*u. Does 11 divide u?
False
Let u be (7 - 4) + 9*9. Suppose 0 = 4*z - u - 96. Is 15 a factor of z?
True
Suppose 5*k - 170 = -70. Suppose -2*y - 186 = -5*s, -149 = -4*s - 5*y - k. Is s a multiple of 13?
False
Is (-3 + 6)/((-3)/(-58)) a multiple of 29?
True
Suppose -u = -0*u - 4*o - 18, 5*o = -3*u + 3. Is (-2 + u)/(10/35) a multiple of 7?
True
Let t = 16 - 4. Is 12 a factor of t?
True
Let k(w) = -2*w - 10. Let g = -12 + 5. Let x be k(g). Suppose -34 = -3*f - x. Does 5 divide f?
True
Let v = -28 - -43. Does 5 divide v?
True
Does 2 divide ((-2)/3)/(1/(-3))?
True
Let s(a) be the first derivative of a**4/4 + a**2 + 52*a + 8. Is s(0) a multiple of 28?
False
Let c(h) = -h**2 + 1. Let d be c(-1). Suppose 3*a = -d*a. Suppose a*r - 36 = -r. Is 14 a factor of r?
False
Suppose 10 = 2*x, -2*o + x + 54 = -19. Is o a multiple of 29?
False
Let c(r) = 2*r**2 + 3*r + 2. Is c(4) a multiple of 6?
False
Let v be ((-15)/(-6))/(2/(-12)). Suppose 3*t - 29 = -5*i, 3*i - i - 34 = -4*t. Let r = t - v. Is r a multiple of 10?
False
Suppose -p - 3 = -3*j + 9, 0 = -5*p. Suppose x - 4*g = -j*x + 34, 5*x - g = 46. Is x a multiple of 5?
True
Suppose 0 = -3*z + 4*z + h + 19, -z - 39 = -4*h. Let g = 41 + z. Is g a multiple of 6?
True
Let i(l) = -l**3 + 7*l**2 + 2*l + 10. Let h(g) = -2*g**3 + 14*g**2 + 4*g + 19. Let v(c) = 4*h(c) - 7*i(c). Is 10 a factor of v(7)?
True
Let n(t) = t**2 - 6*t + 7. Let g be n(5). Suppose -3*j = g*j - 190. Let i = j - 25. Does 8 divide i?
False
Suppose 2*r - 13 = 51. Is r a multiple of 8?
True
Suppose -3*j + 247 = 3*s - 467, -j = -5*s - 238. Is 14 a factor of j?
True
Suppose -9*x = -7*x - 6. Suppose 2*d - 6 = -4*v + 2, v = 2*d - x. Suppose d*f - 50 = -0*f. Does 11 divide f?
False
Let y(u) = -u**3 - 4*u**2 - 3*u - 6. Let r be ((-4)/6)/(10/(-75)). Suppose r*l + 9 + 11 = 0. Is y(l) a multiple of 6?
True
Let r(j) = 12*j**2 + 11*j + 6. Does 22 divide r(-4)?
True
Let w = -17 - -25. Suppose 3*j = j + w. Does 24 divide ((-2)/j)/(2/(-232))?
False
Let i(y) = -y**2 + 11*y + 1. Let d be i(10). Suppose 19 = 5*a - v, -d = -3*a - a + 5*v. Does 2 divide a?
True
Let h(f) = -f**2 - 5*f + 2. Let t be h(-5). Suppose 2*v = p - 2*p + 4, -t*v + p + 4 = 0. Suppose -3*n + v = -31. Does 9 divide n?
False
Let b be -16 + 4 - (2 - 4). Let u be (2/b)/(3/(-15)). Does 15 divide (-364)/(-12) - u/3?
True
Suppose 42 = 2*s - 24. Let c = s - 23. Does 5 divide c?
True
Suppose 6*c - 2*c = 8. Suppose 3*m + 2*z = 80, -m + z = -c*m + 25. Is m a multiple of 15?
True
Let k be -1*(5 - 3) - -5. Suppose 5*f + 2 = i, 5*i - 2*f = -k*f + 88. Is 9 a factor of i?
False
Suppose -m - 2 = -5. Suppose 7*r - 48 = m*r. Is r a multiple of 12?
True
Let n be (-81)/((27/6)/(-3)). Suppose -10 - n = -4*r. Suppose -5*h - r + 101 = 0. Is 6 a factor of h?
False
Suppose -3*s = -121 - 233. Let v = 188 - s. Let o = 99 - v. Is o a multiple of 10?
False
Let a = 6 + -1. Suppose -a*g = 13 + 7. Does 15 divide 86*(10/g)/(-5)?
False
Is 2/5 - (0 - 1272/20) a multiple of 5?
False
Let s be -8*(2 - 10/4). Let b(a) be the third derivative of 5*a**4/12 - a**2. Does 15 divide b(s)?
False
Suppose -25*u + 27*u - 60 = 0. Is 15 a factor of u?
True
Let y = 17 - 12. Let a be (-2)/2 - 13*-11. Suppose a = y*j - 23. Is 13 a factor of j?
False
Let j = -3 - -1. Is ((-12)/9)/(j/9) a multiple of 2?
True
Suppose -8*k + 201 = -3*k + 3*w, -5*k - 4*w = -203. Let r(x) = 2*x**2 - 6*x + 5. Let q be r(5). Let y = k - q. Is 5 a factor of y?
False
Suppose -3*w = -2*w - 55. Is 20 a factor of w?
False
Let a(z) = -38*z - 2. Is a(-2) a multiple of 16?
False
Let v = -4 - -55. Is 17 a factor of v?
True
Let u(g) be the second derivative of 4*g**3/3 + g**2 + 3*g. Is u(2) a multiple of 9?
True
Let t = -64 + 226. Is t a multiple of 35?
False
Let c(y) = -4*y + 28. Is c(0) a multiple of 7?
True
Is 26 a factor of ((-20)/15)/(2/(-39))?
True
Suppose 148 = b + 24. Is 5 a factor of b?
False
Is 15 a factor of 1/(-3) + (-408)/(-9)?
True
Let b(u) be the first derivative of 9*u**2/2 - 2*u - 1. Let n be b(6). Let p = -24 + n. Is 13 a factor of p?
False
Let m(s) be the first derivative of -s**4/4 + s**3/3 + 2*s + 2. Does 2 divide m(0)?
True
Does 16 divide (-211)/(-2) + ((-6)/(-4) - 0)?
False
Suppose 5*q = -3*f + 126, 4*f + 3*q + q = 160. Is 13 a factor of f?
False
Let u(b) = -4 + 6 - 4 - 7*b + 7. Is u(-10) a multiple of 25?
True
Suppose 0 = -3*m - 2*i - 47, 5*m + 44 + 29 = -2*i. Let s = m + 53. Is s a multiple of 12?
False
Let n(v) = v**3 + 8*v**2 - 9*v + 2. Suppose -22 = 2*j + 5*u - 3*u, -3*j = 5*u + 37. Let x be n(j). Suppose -27 = -5*z + x*z. Is 6 a factor of z?
False
Suppose 4*k = 5*g + 99, 5*g - 3*g - 78 = -4*k. Does 4 divide k?
False
Suppose -5*s = -3*v, -2*s - 3*s - v = -20. Let q = s - 1. Suppose 0 = -q*c + 4*c - 12. Does 6 divide c?
True
Suppose -5*g = 4*m - 2189, -4*g + 1249 = 4*m - 943. Is 74 a factor of m?
False
Let f be 6/(-4)*(-16)/6. Suppose -30 = -f*l - 2. Does 3 divide l?
False
Suppose -3*n = -0*n - 549. Is 10 a factor of n?
False
Let f(a) = -a**3 - 2*a**2 + 5*a + 2. Let w be f(-3). Let z = -7 + 4. Does 7 divide z*((-152)/(-6))/w?
False
Let a(y) = -y**3 + 2*y - 2. Let v be a(0). Let q(o) = -3*o. Is q(v) even?
True
Let i(s) = s + 8. Let o be i(-6). Suppose -o*h + 5 = -81. Is h a multiple 