1*o + 4 - 3 - 4 + 2. Is p(1) a multiple of 15?
True
Suppose -2*q + 11 + 22 = -3*x, x + 2*q + 3 = 0. Let a be (-6)/(-5)*(-30)/x. Suppose a*s - 64 = -0*s. Is 8 a factor of s?
True
Let p(h) = 2*h**2 - 4*h + 2. Let l be p(3). Let j(m) = -m + 13. Is j(l) a multiple of 5?
True
Let u = -123 + 147. Is 16 a factor of u?
False
Let h be 1718/8 + 4/16. Suppose 5*k = -0*k + h. Let r = 75 - k. Does 16 divide r?
True
Let m(s) = s**3 - 2*s**2 + 2*s - 3. Let q be m(3). Suppose q = 2*z + 2*z. Suppose 4*t = z*t + 22. Is 22 a factor of t?
True
Let d(w) = 2*w**2 + w - 2. Let n(x) = -x + 8. Let t be n(0). Suppose 5*k = k - t. Is 3 a factor of d(k)?
False
Suppose f + 5 = -4*i - 5, -3*i + 1 = 5*f. Let l(r) = -2 - 42*r**2 + r - r + 45*r**2. Is 25 a factor of l(i)?
True
Let q(j) = j - 5. Let u be q(6). Does 18 divide ((-1)/(1/(-50)))/u?
False
Suppose 0 = -3*y + 8*y - 15. Let x = -12 + 14. Suppose x*s = -2*o + 48, -3*s + y*o + 117 = s. Is s a multiple of 10?
False
Suppose -5*v = -2*v - 12. Let o be v/(-12)*-1*9. Suppose x - j = 3*x - 33, o*x - 4*j = 44. Is 15 a factor of x?
False
Let b = -68 + 108. Does 40 divide b?
True
Let m be (-9)/(-6)*2 + -48. Let b be 65 - (0/2 + -2). Let v = m + b. Does 6 divide v?
False
Let z(q) = 3*q**2 - 2*q + 7. Let j be z(-3). Suppose a = 4*x - j, 2*a - 3*a + 5 = x. Does 3 divide x?
True
Let h = 3 - -32. Does 4 divide h?
False
Suppose 3*r + 5*m = -r + 191, 3*r = -5*m + 142. Does 10 divide r?
False
Let n = 7 - 5. Suppose n*x - 69 - 21 = 0. Let q = x - 18. Does 15 divide q?
False
Let p be (-2*2/4)/(-1). Suppose -p - 8 = -3*k. Is 2 a factor of k?
False
Suppose -9*m + 14*m - 915 = 0. Is 27 a factor of m?
False
Suppose -2*j = 73 - 255. Is j a multiple of 18?
False
Let m = 38 - 12. Does 22 divide m?
False
Let x(y) = 4*y + 5. Let q be x(-9). Does 16 divide (8 + -4)*q/(-4)?
False
Let x(h) be the second derivative of h**6/240 - h**5/24 + h**4/6 - 2*h. Let k(o) be the third derivative of x(o). Does 7 divide k(4)?
True
Let k(m) = m + 11. Let c be k(-7). Suppose c*z = 2*g - 1 + 17, -z = 2*g - 4. Is 4 a factor of z?
True
Suppose 3*i + 51 = 2*i. Let a be (-1 + 5)*i/4. Let n = 88 + a. Does 23 divide n?
False
Let j(z) be the second derivative of -2*z**3/3 - z**2 + 3*z. Is j(-2) a multiple of 3?
True
Suppose -5*c - 33 = -3. Let u(g) = g**3 + 7*g**2 - 3*g - 2. Let l(w) = w**3 + 8*w**2 - 2*w - 3. Let b(y) = 2*l(y) - 3*u(y). Is b(c) a multiple of 6?
True
Suppose 0*p + 25 = 5*p. Suppose p*d + 4*q - 33 = 3, d - 2*q = -4. Is 4 a factor of d?
True
Suppose -2*m - 58 = -4*p, 0*m + 5*m + 70 = 5*p. Does 4 divide p?
False
Let i(z) = 8*z - 4. Does 17 divide i(9)?
True
Let i be -1*(-2 - 61/1). Suppose -h + 35 = h + 3*o, 4*h - i = o. Does 4 divide h?
True
Let f(p) = -p**2 + p. Let o(z) = -4*z**2 - 4*z + 4. Let l(n) = -3*f(n) + o(n). Does 4 divide l(-5)?
False
Let y = -127 + 287. Is 16 a factor of y?
True
Let o be (-5)/(10/(-4))*6. Let t = o + -6. Is 6 a factor of 16 - ((2 - t) + 2)?
True
Let o = -5 + -2. Is (o/(-4))/((-3)/(-48)) a multiple of 24?
False
Let n = -1 + 2. Suppose g = -x + 3*x + 9, -n = g + 3*x. Does 3 divide g?
False
Suppose 6 + 4 = n. Does 10 divide n?
True
Let d be 30/40*(1 + 75). Suppose -d = -4*w + 55. Does 13 divide w?
False
Is 16 a factor of 1922/10 - (-5)/((-50)/2)?
True
Let z(y) = -y**2 + 10*y + 4. Let o be z(10). Suppose -q + 4*q = 2*r - 150, o*r - 5*q - 300 = 0. Does 22 divide r?
False
Suppose b = -2*b + 6. Suppose x = 6*x - 2*c - 19, 3*c - 19 = -b*x. Does 5 divide x?
True
Suppose -3*k + 0*k - 36 = 0. Let j be (-4)/(-18) + (-872)/36. Let u = k - j. Is 7 a factor of u?
False
Suppose 739 = 9*k - 665. Is 12 a factor of k?
True
Let x be 2 - (1 + 38 + 1). Let s = -2 - x. Does 21 divide s?
False
Let b(q) = 3*q**2 - 4*q - 8. Let h be b(6). Let x = h - 52. Suppose -2*k + l + x = 0, -2*k = -5*l + 5 - 13. Is k a multiple of 7?
True
Let f be 20 + -7 + -4 + 2. Suppose -2*r - 3 + f = 0. Is 4 a factor of r?
True
Let t = -3 + 3. Let g be 26 + (2 - (t - 1)). Let p = g - 16. Does 13 divide p?
True
Suppose a - 15 = -r, 60 + 0 = 4*r + 2*a. Suppose 4*c - 3*c - r = 0. Is 5 a factor of c?
True
Suppose 54 = 2*f + 4*x, 7 = -f + 5*x + 34. Let r = -16 + f. Suppose 0 = -g - 2*j + 21, -3*g - 5*j + r = -50. Is 13 a factor of g?
False
Let i be ((-32)/20)/(2/(-60)). Suppose 0*h = 3*h - i. Does 16 divide h?
True
Let g = 20 + -9. Suppose 5*v = 39 + g. Is v a multiple of 10?
True
Let y(b) = 2*b**2 + 5. Let l be y(-5). Let n = l + -14. Is n a multiple of 10?
False
Let n = 45 - 17. Is (n/6)/(4/6) a multiple of 3?
False
Let o(u) = u**2 + 5. Is o(5) a multiple of 15?
True
Let t(n) = -n**3 + 6*n**2 - 2*n + 5. Is 10 a factor of t(5)?
True
Is (-2)/2 - -16 - 3 a multiple of 12?
True
Suppose -23 = -o - 4*a - a, 5*a - 47 = -4*o. Let i(n) be the third derivative of n**5/60 - n**4/4 - n**3/3 + n**2. Is i(o) a multiple of 6?
False
Let m = -4 - -3. Let t be ((-78)/15)/(m/5). Suppose -4*q + t = -26. Is q a multiple of 13?
True
Suppose p + 0*p - 25 = 4*x, 2*p = 3*x + 25. Let z = 13 - p. Is z a multiple of 8?
True
Let w = -9 - -11. Is 44/2 + w + 1 a multiple of 12?
False
Suppose -15 = -3*a - 2*a - g, 5*g - 35 = -5*a. Suppose -a*p = 3*p - 20. Suppose 2*l - 75 + 13 = -4*t, t = p. Is 8 a factor of l?
False
Suppose -2*q + 3*q - 162 = -3*u, 2*u = 3*q + 119. Let a = u + -17. Is a a multiple of 19?
True
Let x be (2/(-8))/((-1)/4). Is 14 a factor of ((-4)/(-6))/(x/42)?
True
Suppose 604 = 4*h - 0*h. Suppose -4*o + 6*o + u - 9 = 0, 19 = 4*o + u. Suppose 9 = o*c - h. Is 16 a factor of c?
True
Let i be ((-1)/2*2)/(-1). Let o = 4 - i. Suppose -108 = -4*s - o*g, 5*s + 22 = -3*g + 160. Is s a multiple of 15?
True
Let t be (-4 - -3)/((-1)/(-37)). Let j = t - -61. Suppose 2*h = -3*v + j, 53 = v + 4*v - h. Is v a multiple of 10?
True
Let l = -16 - -10. Does 27 divide l/(-5)*135/6?
True
Let g(h) = 2*h**3 + 5*h**2 - 5*h - 17. Let o(q) = -q**3 - 3*q**2 + 3*q + 9. Let b(t) = 6*g(t) + 11*o(t). Is 2 a factor of b(3)?
True
Let q = 36 + -37. Let s = 36 + -25. Let u = s - q. Is u a multiple of 6?
True
Suppose 2*d = d - 3*g + 54, 68 = 2*d - 4*g. Is 4 a factor of d?
False
Let o(q) = 5*q**2 - q - 2. Let m be o(3). Suppose 0*p + m = 2*p. Is (p/(-8))/((-1)/2) a multiple of 5?
True
Let y = 6 - 2. Is (0 + y)*16/2 a multiple of 12?
False
Suppose 5*x + r - 338 = x, -265 = -3*x + 5*r. Is 17 a factor of x?
True
Does 3 divide (-11 - 1)*1/(-2)?
True
Suppose i + i - 113 = -5*z, -2*z = -i - 38. Does 7 divide z?
True
Suppose 0 = -d + 3*d + 3*g - 6, d - 3 = -g. Suppose -r + 3*p = -25 + 8, -4*r + d*p = -68. Does 15 divide r?
False
Let v(q) = q**2 - 6*q + 6. Let b(d) be the second derivative of d**5/20 - 2*d**4/3 + 3*d**2 - d. Let o be b(8). Is v(o) even?
True
Suppose 3*j = t + t + 8, 3*j = 12. Does 6 divide (-6)/(t/1)*-4?
True
Suppose -2*a - 162 = -4*m - 4*a, -a = 4*m - 157. Is m a multiple of 19?
True
Let l = 187 + -118. Is 13 a factor of 2/5*(l + -4)?
True
Let x = 1 + 48. Let h = x + -1. Does 24 divide h?
True
Suppose 0 = -3*u - 3*u + 336. Is 14 a factor of u?
True
Is 14 a factor of 408/28 + 12/(-21)?
True
Suppose 272 = 13*k - 5*k. Does 17 divide k?
True
Let h = 46 - -17. Does 9 divide h?
True
Let d be ((-1)/4)/((-13)/52). Does 9 divide (0 - -10) + d/(-1)?
True
Suppose -9 = -5*z - 4. Is 6 a factor of 0 - (1 + z) - -8?
True
Suppose -920 = -4*l - 140. Is l a multiple of 27?
False
Suppose 5*a + 112 = 7*a. Does 15 divide a?
False
Suppose 4*b - 1 = 3. Suppose 3*i = 5 + b. Let c = i + 12. Does 7 divide c?
True
Suppose -2*x - s = -0*s + 13, 2*x + 4*s + 4 = 0. Let i(g) = g**2 + 7*g + 1. Let l be i(x). Suppose 5*c - 86 - l = 0. Is c a multiple of 7?
False
Let t(h) be the third derivative of h**4/6 + h**3/6 - 3*h**2. Let w be t(1). Suppose w*r = 3*a + 42, -r = 2*r + a - 28. Is 9 a factor of r?
True
Let c = 809 - 485. Is 14 a factor of c?
False
Let h = 922 - 635. Is 17 a factor of h?
False
Suppose 0 = -4*x + 93 + 7. Does 8 divide x?
False
Is (-57 + -1)*(-10)/4 a multiple of 29?
True
Let x(m) = -m**2 - 5*m - 3. Let v(t) = -t**2 - 6*t - 3. Let k(g) = 5*v(g) - 6*x(g). Is 2 a factor of k(0)?
False
Suppose 4*t - 72 = -0*t + 2*u, 0 = 3*u. Let w be t/(-27) - (-100)/6. Suppose -2*r = -4*y + 76 + 28, -y + w = -3*r. Is y a multiple of 14?
True
Let i(m) = 81*m**2 - m + 1. Let x be i(1). Suppose 0 = -3*n + 10 + 2. Suppose x = n*h - 3. Is 10 a factor of h?
Fals