 t be k(-4). Let a = -6 + t. Is z(a) a multiple of 7?
False
Let w = 9 - 5. Let o be w - 3 - 6*-4. Suppose 5*r - o = -5. Is 4 a factor of r?
True
Let a(k) be the third derivative of -5*k**4/12 - k**3/2 + 2*k**2. Let o be a(-3). Suppose -4*l + o = 2*x - 7*l, 4*l = 3*x - 38. Is 6 a factor of x?
True
Let n = 67 - 50. Is n a multiple of 7?
False
Let g(p) = p**2 + 5*p - 12. Let f be g(-8). Let k = f + 13. Is 12 a factor of k?
False
Let t be (2/2)/((-18)/(-576)). Suppose o + 21 = 4*m, -4*m - m - 3*o + 22 = 0. Suppose 26 = 5*r + 2*z - 3*z, m*z = -2*r + t. Does 3 divide r?
True
Let q be 102/42 - (-4)/7. Suppose 4*k - 206 = -q*y + y, -y + 259 = 5*k. Is 13 a factor of k?
True
Let l be 27/(-18)*(-16)/3. Let b be 623/9 - l/36. Suppose -2*g = -2*q - 86, 3*g = -4*q + 74 + b. Does 14 divide g?
False
Suppose 18 = a - v + 6*v, -v = a - 6. Suppose 3*g = a*m - 117, -3*m = 4*g - g + 147. Is 11 a factor of g/(-6)*9/6?
True
Let q(h) = -3*h + 2 + 9*h - h. Is q(2) a multiple of 4?
True
Let x(b) = 15*b - 5. Let t(i) = -8*i + 3. Let d(q) = -5*t(q) - 3*x(q). Is 20 a factor of d(-4)?
True
Suppose 0 = -4*j - 3*n + 12, -2*n = 4*j - 6 - 2. Suppose 4 = p - j*p. Does 4 divide p?
True
Let o(h) = h - 1. Let d(f) = -14*f. Let k(c) = d(c) - o(c). Does 7 divide k(-1)?
False
Let y(q) = q**2 - 2. Let a be y(4). Is 76/28 + 4/a a multiple of 2?
False
Let a(j) = j**3 - 4*j**2 - 7*j + 4. Let l be a(5). Is 2/l + 48/9 a multiple of 5?
True
Suppose -4*m + 3*w = 4*w - 459, -5*w + 471 = 4*m. Is m a multiple of 9?
False
Let s(c) = 2*c**2 + 6*c + 5. Let d be s(-4). Suppose 2*o = 5*z - 27, -3*z + d = -3*o - z. Is 19 a factor of (3 + o)/((-1)/(-19))?
True
Suppose 0 = o + 3*o - 172. Let i = o + -20. Is 10 a factor of i?
False
Suppose 6*h = 2*h + 12. Suppose -32 - h = -5*a. Does 2 divide a?
False
Let q(a) = -a**3 + 11*a**2 - 6*a + 15. Suppose 0*d = -d + 10. Is 21 a factor of q(d)?
False
Let v(m) = -19*m - 1. Let a be v(-5). Suppose -53 = -3*f + a. Suppose 5*u = 2*j - 6, f = 5*j - 2*u - 2*u. Is j a multiple of 8?
False
Suppose -5*v + 3*r + 2*r = -110, 3*v = -2*r + 76. Is v a multiple of 8?
True
Let i = 3 - 1. Suppose -i*q = 3*q + 200. Let o = q + 61. Is 8 a factor of o?
False
Suppose -33 = 5*v - 273. Is v a multiple of 12?
True
Let c = -133 + 59. Let z = -41 - c. Is 11 a factor of z?
True
Let z(m) = -10*m - 63. Is 7 a factor of z(-7)?
True
Let o be 8/14*(-7)/(-2). Let z(j) = 2*j**2 + 6*j + 5. Let k(y) = 3*y**2 + 11*y + 9. Let n(u) = -4*k(u) + 7*z(u). Is 2 a factor of n(o)?
False
Suppose 2*h - 4 = -4*k, -6 = -3*h - 3*k + 8*k. Suppose -z + 17 = -r, -4*r + 79 = h*z + z. Suppose z = 3*y - 15. Is 4 a factor of y?
True
Suppose n = 5*h + 3*n - 173, -3*h - 2*n + 103 = 0. Is h a multiple of 28?
False
Suppose 3*q + 2*h = 52, 2*q = -2*h - 2*h + 24. Does 5 divide q?
True
Suppose 5*b + 5*w - 40 = 0, -b + 0*w - 17 = -4*w. Suppose 0 = -2*i + 3*s + 12, b*i - i + s = 4. Does 7 divide 7 + i + (-1 - 2)?
True
Let k be (6/(-4))/((-3)/6). Suppose 0 = -2*v + k*v. Suppose v = -2*f + 34 - 2. Does 9 divide f?
False
Suppose -2*r + 5*c + 52 = 0, -4*r = 2*c - c - 148. Does 20 divide r?
False
Let j(w) = 106*w + 1. Does 29 divide j(3)?
True
Suppose 5*l - 133 = 5*m - 543, -5*m - 4*l + 365 = 0. Does 24 divide m?
False
Suppose -3*l - 2*l + 20 = 0. Suppose -w + 5*g = -0*w, 17 = l*w - 3*g. Does 5 divide w?
True
Suppose 0 = -11*a + 7*a + 612. Is 17 a factor of a?
True
Let o = -5 + 130. Is o a multiple of 25?
True
Let d(v) = -v**2 + 18*v + 3. Let i be d(18). Suppose l = i*n + 57, -2*l - n = 2*l - 215. Does 27 divide l?
True
Let y(o) be the third derivative of -o**4/12 - o**3/6 + 2*o**2. Let x be y(-4). Is (2 + -9)*(-24)/x a multiple of 12?
True
Suppose -4 = h - 5. Suppose -p = 2*s + p, 2*p = -5*s. Is 21 a factor of (-2 - s - h)*-7?
True
Does 38 divide (105 + 3)/((-5)/((-45)/6))?
False
Let i = -8 + 19. Let w = 12 + i. Is 6 a factor of w?
False
Let z = 5 - 3. Suppose z*o - 26 = 10. Is 5 a factor of o?
False
Let f be 33/(-7) + 10/(-35). Let w(t) = 2*t. Let m be w(-1). Does 24 divide (256/10)/m*f?
False
Let r(l) = l**3 - 3*l**2. Let b be r(3). Suppose b = -2*h + 5*h - 57. Suppose h = 3*o - 44. Is 8 a factor of o?
False
Let u(m) = -m + 81. Does 20 divide u(21)?
True
Let q(r) = 4*r**2 - 3*r - r**2 - 2 - 1. Suppose 3*u = -6, 2*i - 7 = -3*i - 4*u. Does 8 divide q(i)?
False
Let v(f) be the second derivative of f**5/20 + f**4/4 + f**3/2 + f**2 + 4*f. Let h be v(-2). Let b = h - -4. Is 2 a factor of b?
True
Suppose -11*x - 234 = -20*x. Does 11 divide x?
False
Let b(c) = -c + 25. Is b(10) a multiple of 5?
True
Let m = 78 - 66. Is m a multiple of 12?
True
Let j = 43 - -12. Let x = j - 32. Is x a multiple of 5?
False
Suppose -4*u = 4*f - 52, f - 8*u = -4*u - 7. Let h = 15 - f. Suppose h*y - 12 = 2*y. Does 3 divide y?
True
Suppose a - 3*h + 6*h - 6 = 0, -6 = -3*h. Let f(g) = -4*g. Let d be f(-3). Suppose 4*b - d = a, b - 135 = -3*q - 24. Is 18 a factor of q?
True
Suppose -b + 2 + 0 = 0, f + 3*b = 15. Suppose -5*c = 1 + f. Does 13 divide ((-68)/c - 2) + -2?
False
Suppose q = -4*q. Let u be 3/(9/114) - q. Suppose 0 = 3*r - 2*r - u. Is 19 a factor of r?
True
Suppose 15 = -2*y + 3*n, -26 = 5*y + 4*n + 23. Let f = y + 51. Is f a multiple of 14?
True
Suppose -334 = -5*k + z, 4*k - 3*z - 2*z - 284 = 0. Suppose -k = -4*i + 262. Is 17 a factor of i?
False
Let g(s) = 2*s**2 + 3*s - 8. Is 23 a factor of g(-6)?
True
Let w = -284 + 580. Suppose -c + 830 + w = 0. Is 17 a factor of c/22 - (-12)/(-66)?
True
Let t be (-6)/30 - 16/(-5). Suppose -t*z + b + 7 = -3*b, -55 = -5*z - 2*b. Let o = z + -4. Does 5 divide o?
True
Is 14 a factor of (-1 - 2)*(-140)/15?
True
Is 5 a factor of (-4)/3*27/(-6)?
False
Let p = -1 - -4. Let z(d) = d**3 - 9*d**2 - 2*d + 4. Let a(c) = -2*c**3 + 17*c**2 + 4*c - 7. Let k(i) = 6*a(i) + 11*z(i). Is k(p) a multiple of 8?
True
Suppose -30 = -m - 4*m. Is 6 a factor of m?
True
Suppose 4*j = -k + 302, 3*j + 934 = 3*k + j. Does 31 divide k?
True
Suppose 3*p + 5 = -5*f, 3*p - 2 + 0 = 2*f. Is 19 a factor of (19/f)/((-2)/8)?
True
Suppose 75 = z - 6*z. Let l(s) = -6*s. Let c be l(-4). Let i = c + z. Is 6 a factor of i?
False
Let v be -3*(-3 - (-3 - -1)). Suppose 4*z - 104 = -v*m, -m - z = 3*z - 32. Is 9 a factor of m?
True
Suppose 4*m + 2*h - 30 = 0, 2*m - 5*h = 3*m - 3. Is m a multiple of 4?
True
Let a(i) = i**2 + i + 2. Let r be a(-5). Let g = r - -47. Is g a multiple of 25?
False
Suppose 2*h - 792 + 248 = 0. Suppose 4*n = 4*g - h, g = n + 4*n + 68. Is 17 a factor of g?
True
Let t(m) be the first derivative of m**3/3 - 7*m + 42. Suppose -2*j - 5 + 19 = 0. Does 21 divide t(j)?
True
Let k(n) = n + 12. Let m(q) = 4*q + 5. Let r be m(-3). Does 2 divide k(r)?
False
Let h(d) = d**2 + 4*d - 7. Let f be h(-8). Let g = 41 - f. Does 16 divide g?
True
Let q = 197 + -125. Is q a multiple of 18?
True
Let t(j) = 3 - 4*j + 3*j + 11 + j**2. Let a be 6*(1 - (-3)/(-2)) - -3. Is 7 a factor of t(a)?
True
Suppose 7*z - 2*z - 2*t = 10, 2*t = -5*z + 10. Suppose -z*r - r + 78 = 0. Is 10 a factor of r?
False
Suppose -5*g - 3*l = -40, -l - 1 = -3*g + 9. Let i = g - -5. Is 5 a factor of i?
True
Let u = -38 + 54. Is 4 a factor of u?
True
Let t be (2/3)/((-2)/6). Let y = t - -10. Is 4 a factor of y?
True
Let m(c) = -c**3 - 7*c**2 - 2*c - 4. Let z be m(-7). Suppose 2*q - z = 0, 130 = 3*b + 4*q + q. Is 16 a factor of b?
False
Suppose -844 = j + 492. Is (-2)/(-7) + j/(-28) a multiple of 21?
False
Suppose 3*u - 190 - 507 = -4*a, 0 = 5*u - 3*a - 1152. Is u a multiple of 29?
False
Is 78 + 0 + (3 - 3) - 2 a multiple of 19?
True
Let s be (-1 - -1)*2/(-4). Let t(f) = f - 43. Let q be t(s). Let w = q + 73. Is 11 a factor of w?
False
Suppose -3*q + 133 = 4*z, 3*z - 2*q = 2*z + 47. Is z a multiple of 13?
False
Let j be (7 - 3/(-1))*12. Let h be (-329)/(-4) - 2/8. Let a = j - h. Is a a multiple of 13?
False
Let u be (-3)/(-3) + 3 + -4. Suppose -5*m - 6*g + 78 = -2*g, -4*g + 8 = u. Does 3 divide m?
False
Let b(u) = 9 + 6*u - 2 + 8*u - 3*u. Let p be b(5). Suppose -2*q = 5*m - p, -4*m + 2*q + 43 = -3*q. Is 6 a factor of m?
True
Suppose 5 = 5*r - 5*z, 4*r - r - 7 = 2*z. Is r a multiple of 5?
True
Suppose 0 = 15*u - 5*u - 140. Is u even?
True
Let s(o) = -3*o**3 + o**2 + 2*o. Let d be s(2). Let f = d - 20. Let p = f - -61. Is 17 a factor of p?
False
Is (-2)/(-6) + 1179/27 a multiple of 22?
True