-5*v + v. Suppose -5*r = -p + 10. Is 5 a factor of r?
False
Suppose -5 = -3*d + 1. Suppose d*k - 88 + 22 = 0. Does 13 divide k?
False
Suppose 2*g + 2*g = 12. Suppose -g*s = -0*s - 45. Suppose -s + 143 = 4*j. Is j a multiple of 14?
False
Let w(n) = n**2 + 33*n - 48. Is w(-36) a multiple of 12?
True
Let y(z) = z**2 + 11. Suppose 5*o + 21 = -4. Is y(o) a multiple of 12?
True
Suppose 5*c = n - 6, 0 = 3*c + 4*n + 5 + 17. Let v(t) = -t. Let y be v(c). Suppose -y*q = -16 + 2. Is q a multiple of 4?
False
Let f(a) = a**3 + 8*a**2 + 6*a - 5. Let i be f(-5). Suppose 6*m - i = 2*m. Is 10 a factor of m?
True
Suppose -26 = -4*v - 5*p + 180, 0 = 5*v - 4*p - 278. Let d = v - 14. Let f = -11 + d. Is 20 a factor of f?
False
Let y = 17 - 8. Is y a multiple of 8?
False
Let m(s) = 0 - 1 - 2*s + s + 9*s. Let r be (4 - 2) + (0 - 0). Is 13 a factor of m(r)?
False
Let k(f) = f**3 - 3*f**2 + 8*f + 3. Does 22 divide k(5)?
False
Suppose 7*k - 4*k = 117. Does 9 divide 16/12*k/2?
False
Let l = -25 + 35. Does 5 divide l?
True
Let h = 44 - 20. Does 11 divide h?
False
Suppose 0 = -3*v + r + 175, 3*v + 2*r - r = 185. Does 9 divide v/8*(-10)/(-3)?
False
Let q be ((-12)/10)/(1/(-5)). Is 11 a factor of 6/9*99/q?
True
Let p = 1 + 90. Is 29 a factor of (6 - 9) + p + -1?
True
Suppose 2*b - 4*i + 28 = 208, 4*i = 8. Does 47 divide b?
True
Is 14 a factor of ((-408)/(-9))/((-4)/(-6))?
False
Is 1/(-5) + 4411/55 a multiple of 16?
True
Let d be 2/(-3)*-45*1. Suppose 3*n + 0*n - d = 0. Does 5 divide n?
True
Let f(q) be the second derivative of 7*q**3/3 + q**2/2 + 2*q. Does 9 divide f(1)?
False
Let g = -185 + 317. Does 18 divide g?
False
Let d = 232 - 148. Does 5 divide d?
False
Suppose v - 260 = -3*v. Let b = v + -37. Does 14 divide b?
True
Suppose -5*z + 211 = 3*x, -2*z + 56 = -z - 4*x. Is 6 a factor of z?
False
Let s(k) be the third derivative of -k**2 - 5/24*k**4 + 1/30*k**5 + 0 + 0*k - 1/2*k**3. Is s(4) a multiple of 4?
False
Is 13 a factor of (-100)/(-12)*6/1 - -2?
True
Let t(l) = 28*l**2 + l. Let i be t(-2). Is i/20 + 2/(-4) even?
False
Is (-4)/(-14) + (-159)/(-7) a multiple of 23?
True
Suppose -g = -l - 2*g + 2, 4*l + 17 = g. Suppose 2*v = -3*v - 5. Is 17 a factor of (45 - v) + l - 0?
False
Is 19 a factor of (1/(-2))/(-5 - 1069/(-214))?
False
Let z be (-30)/(-9) - (-2)/(-6). Suppose -z*t - 5 = -35. Does 4 divide t?
False
Let j be 1/2*(-11 + 1). Let w(b) = -b - 2. Let m be w(j). Suppose 0 = -m*v + 15, 0*o + 2*o = v + 25. Is o a multiple of 6?
False
Let q(u) = 9 + 7*u**2 - 9 + 2*u. Let s be q(-3). Suppose 5*g + s = a, a - 3*g - 64 = -9. Does 19 divide a?
False
Let h = -27 + 39. Let z = -4 + 9. Suppose q + h = z*q. Is 3 a factor of q?
True
Let f(u) = -u**3 + 8*u**2 - 3*u - 10. Let r(o) = -o. Let t = -17 - -10. Let a be r(t). Is 9 a factor of f(a)?
True
Let h(s) be the first derivative of 11*s**2/2 + s + 3. Does 17 divide h(4)?
False
Let v(z) be the third derivative of z**6/120 + 2*z**5/15 + z**3/2 + z**2. Let f be v(-8). Let l = 27 + f. Does 8 divide l?
False
Let o(w) = w**2 - 2*w - 8. Let u(c) = c**2 - c - 8. Let y(q) = -3*o(q) + 4*u(q). Let p be (-2 - -3 - -1)*-3. Does 7 divide y(p)?
False
Let t(w) be the third derivative of 0 - w**2 + 1/60*w**5 + 5/24*w**4 + 0*w + 2/3*w**3. Is t(-7) a multiple of 8?
False
Suppose -9 = -4*l + 7, -l = i - 6. Let c(u) = 6 + 3*u**3 + i*u - 5*u**3 + 3*u**3 - 7*u**2. Is c(7) a multiple of 10?
True
Let n(v) = 2*v**2 - 6*v - 23. Does 17 divide n(10)?
False
Suppose -2*y = -y - 22. Is y a multiple of 22?
True
Let x(g) = g**3 - 7*g**2 - 9*g + 8. Let o be x(8). Let v = o + 6. Is 15 a factor of 38 + -6*(-3)/v?
False
Let o be (-65)/(-9) - 12/54. Is o/((-7)/(-45)) + -1 a multiple of 22?
True
Suppose -2*j - 18 = -0*j. Is 14 a factor of 23 + (-2)/((-6)/j)?
False
Let m = 26 - -4. Suppose -4*r = -9*r + m. Does 2 divide r?
True
Suppose -3*h = -4*f - 2 - 57, -2*h - 12 = f. Let y = f - -96. Does 17 divide y?
False
Let n(j) = j**3 + 8*j**2 + 5*j - 7. Is n(-6) a multiple of 7?
True
Suppose 0*l + 15 = 5*l. Suppose -3*s - 4*w + 107 = 2*s, 0 = l*s + w - 60. Is s a multiple of 19?
True
Suppose 15 = l + 2*l. Suppose 3*m - 4 = l. Is 11 a factor of -2 + m - (-40)/4?
True
Let o be 12/(-6)*6/4. Is ((-2)/o)/((-7)/(-189)) a multiple of 18?
True
Let w(g) = -3*g**2 + 8*g + 2. Let b(c) = -3*c**2 + 7*c + 1. Let l(k) = -5*b(k) + 4*w(k). Is 7 a factor of l(2)?
False
Let i(z) = -z**3 - z**2 - z - 21. Let t be i(0). Suppose -2*x + 4*x = 4. Let q = x - t. Is 14 a factor of q?
False
Let w = 23 - 19. Let s be 18/(-4)*-18 - 1. Suppose -w*k - k = -s. Is k a multiple of 8?
True
Suppose -4*k - 18 + 62 = 0. Let t = k + -11. Suppose -12 = -2*g - d + 8, -g - 3*d + 15 = t. Is g a multiple of 3?
True
Let q(k) = -k**2 - 6*k. Let p(j) = j**2 + 3*j - 3. Let z be p(-3). Is q(z) a multiple of 4?
False
Suppose -3*d = -0*d - 18. Is d + (2 - (0 - -3)) a multiple of 2?
False
Let b be (-36)/16*(-8)/(-2). Let s = b - -25. Does 16 divide s?
True
Let b = 11 + 10. Suppose p = -0*p + 10. Let x = b - p. Is 4 a factor of x?
False
Let j = -5 + 9. Suppose 5*h + m = 21, -2*h - j*m - 11 = -h. Is h a multiple of 2?
False
Let j = 229 + -116. Does 41 divide j?
False
Let u = 390 - 264. Does 32 divide u?
False
Let i = 20 - 17. Is i even?
False
Let w be 96/(-18)*3/(-2). Suppose 0 = -4*y + w + 4. Is 2 a factor of y?
False
Suppose 4 = -g + 5*g + 4*y, 0 = g - 5*y - 19. Suppose 0 = -g*k + 2*k + 72. Is 12 a factor of k?
True
Suppose 0 = 3*i - u + 108, -2*i = -0*i + u + 67. Let n = -16 - i. Suppose -4*b = r - 48, -3*b = -2*r + 7*r - n. Is 13 a factor of b?
True
Suppose 3*m + 2*j + 1 - 5 = 0, 5*m - 3*j - 13 = 0. Suppose m*z - 6 = 0, 3*z - 7*z + 110 = 2*y. Is 25 a factor of y?
False
Let z(u) = 4*u**2 + 7. Is z(-8) a multiple of 32?
False
Let x(d) = d**2 + 6*d - 4. Is x(-10) a multiple of 11?
False
Let b be ((-6)/(-4))/(2/60). Let d = b - 19. Does 20 divide d?
False
Let z = -158 + 266. Does 27 divide z?
True
Let q(l) = l**2 - 7. Let y be q(5). Let o = y - 7. Does 11 divide o?
True
Let a be (1 - -1)*(-12)/(-4). Let n = 14 - a. Suppose 2*l = 4 + n. Is 3 a factor of l?
True
Let w(o) = -101*o + 14. Is w(-3) a multiple of 15?
False
Let f(q) = q**3 - 11*q**2 + q + 15. Let g be f(11). Let n be (-2 - 5/(-2))*g. Let d = n - -9. Is d a multiple of 16?
False
Suppose -154*s + 158*s = 480. Does 25 divide s?
False
Suppose 0 = 3*x - x - 2. Let z(l) = -6 + x + 8*l - 5*l**2 + 4*l**2. Is z(5) a multiple of 4?
False
Suppose 2 = -2*x - 3*m - 22, -2*m = 3*x + 36. Let l = x - -17. Is 3 a factor of l?
False
Suppose -2*h = -3*h + 15. Suppose h = -5*q, -3*p - 28 + 91 = -3*q. Is 12 a factor of p?
False
Let m = 198 + -119. Let o = -31 + m. Is o a multiple of 12?
True
Let w = -18 - -37. Let l = -10 + w. Let s = l - 4. Does 3 divide s?
False
Let n(a) = a**3 + a**2 - a + 4. Let k be n(0). Let x(q) = q**3 - 2*q**2 + q. Let y be x(3). Let l = y - k. Does 4 divide l?
True
Suppose 0 = 5*h - o - 14, 4*o + 3 = -4*h - 5. Suppose -h*x - 2*x + 148 = 0. Is 11 a factor of x?
False
Suppose -5*a + 3*y - 141 = 0, 2*a - 2*y - 23 = 3*a. Let u = a + 38. Is u a multiple of 11?
True
Let b be ((-15)/(-2))/(6/16). Is ((-1)/2 + 2)*b a multiple of 15?
True
Let q(r) = 3*r + 3. Is 18 a factor of q(5)?
True
Suppose 3*t = -t. Let q = 6 + 0. Suppose 2*p - q*p + 164 = t. Is p a multiple of 12?
False
Let b be 3 - (-1*2)/(-2). Let z be 1/b*(1 + 21). Suppose n = j + j - 25, 0 = j - 2*n - z. Is j a multiple of 13?
True
Let l be (-178)/(-14) + 8/28. Suppose -4*x + l = -43. Does 6 divide x?
False
Let h = 3 + 31. Suppose -4*v + 38 = 4*p - h, p - 28 = 4*v. Is p a multiple of 10?
True
Suppose 2*n = 3*n + 3. Is 7 a factor of 13 - (1 + n - -4)?
False
Suppose -49 - 161 = -6*t. Is 11 a factor of t?
False
Let t = -10 - -2. Let f = 2 - t. Does 7 divide f?
False
Let r(p) = p**3 + 5*p + 5. Let d be r(-2). Let i = d - -22. Does 3 divide i?
True
Suppose -10 = -5*h, 0*h + 66 = 2*m + 3*h. Is m a multiple of 15?
True
Let b(c) = 3*c. Let g be b(7). Suppose 3*p - g + 3 = 0. Is 3 a factor of p?
True
Suppose -6*i + 20 = -i. Suppose 2*o - 3*p = 159, i*p = -3*o + 69 + 161. Does 25 divide o?
False
Let b(g) = -g - 4. Let o be b(3). Let f = 4 + o. Is 1 + 1 + f - -6 a multiple of 5?
True
Let o(f) = 2 + 30*f**3 - 1 + 3*f + 0 - 3. Does 6 divide o(1)?
False
Let w = 19 + 2. Does 21 divide w?
True
Suppose -3*i = -6 - 6. Let x(t)