- 2*z + 3*z, 0 = 5*v - 5*z - 160. Let o be (-2*1)/(-2)*23. Let h = v - o. Does 8 divide h?
False
Let a(z) = -2*z**3 + 34*z**2 - 23*z - 9. Is a(16) a multiple of 27?
True
Suppose -26*h + 741 = -7*h. Is h a multiple of 6?
False
Suppose -2*d = -4 + 14. Let v = d - -10. Does 5 divide v?
True
Let z be (18/(-5))/((-4)/20). Let k = z + -3. Does 5 divide k?
True
Suppose 0*t + 2*t = 150. Suppose 2*p - 5 = t. Let w = p + -18. Is 6 a factor of w?
False
Suppose 0*d + 2*d - 21 = -5*n, 9 = 3*d + 3*n. Let t(m) = 12*m**2 + 4*m + 2. Is t(d) a multiple of 14?
True
Let u be (-4)/10 - 24/(-10). Suppose u*t = -t + 117. Suppose -3*m = -0*m + 3*k - 6, -t = -2*m + 5*k. Is 7 a factor of m?
True
Let d(c) = -c**2 + 2*c - 1. Let v be d(1). Suppose v = 4*t - 101 - 159. Is t a multiple of 18?
False
Suppose 0*z - 5*z = -295. Let l = -33 + z. Does 6 divide l?
False
Let b(y) = -y**3 + 9*y**2 - 16*y + 14. Is 9 a factor of b(6)?
False
Let f be (16/4)/4*3. Suppose f*u - c - 44 - 27 = 0, -5*u - 5*c + 125 = 0. Is u a multiple of 6?
True
Suppose 571 = 4*b + 127. Is b a multiple of 15?
False
Let v = -6 + 9. Suppose -q = v*q - 12. Suppose -q*b + 2 = -28. Is b a multiple of 5?
True
Let u(v) = -v**3 - 15*v**2 - 2*v - 20. Let f be u(-15). Suppose -f = -s + 8. Does 18 divide s?
True
Suppose -154 = -12*q + 146. Does 9 divide q?
False
Let o be (-38)/(-14) + (-4)/(-14). Let p be (-1)/(-2) - o/(-6). Suppose p = a - 4*h, 3*h + h = -2*a + 50. Is a a multiple of 9?
False
Let u be (0/(1/(-1)))/(-2). Suppose u = 2*a - 5*r - 21, 4*r - 79 = -3*a + 2*r. Does 17 divide a?
False
Is 22 + 0*(-4)/(-8) a multiple of 11?
True
Suppose -292 = -2*f + g - 3*g, 0 = 2*g. Suppose 0 = -4*w - z + 117, 6*w + z = w + f. Does 13 divide w?
False
Let q(t) = 9*t - t**3 - 5*t**3 - 8*t**2 + 8 + 7*t**3. Is 11 a factor of q(7)?
True
Let i(m) = -m**3 + 4*m**2 + 2*m - 6. Let o be i(4). Let h = 22 + 1. Suppose o*k = k + h. Is k a multiple of 10?
False
Suppose 5*o - 19 = 16. Let i(s) = -s**3 + 9*s**2 - 9*s - 4. Let k be i(o). Let p = -18 + k. Is 13 a factor of p?
True
Let j(w) = -w**2 - 18*w + 3. Suppose -3*d = 5*n + 64, -4*n + 3*n = -4*d - 47. Is 17 a factor of j(d)?
True
Let g = -39 + 64. Is g a multiple of 7?
False
Let v(m) = 4*m - 2. Let f(s) = -7*s + 4. Suppose 0 = -g - 2*g - 6. Let q(w) = g*f(w) - 5*v(w). Is q(-4) a multiple of 16?
False
Suppose -p = 5, -2*m + 5*p + 64 = p. Does 7 divide m?
False
Suppose -5*m + 3 + 2 = 0. Suppose 5*u = -q - 9, -5*u + m + 2 = 3*q. Does 3 divide q?
True
Let q be (-13)/(-3) - (-2)/3. Let p(d) = -2*d + 1. Let g be p(-1). Suppose -m = -0*a - g*a - 5, -q*m + 5*a + 25 = 0. Does 3 divide m?
False
Suppose n = -1 - 2, 3*n = -3*a + 18. Is 9 a factor of a?
True
Let x = 13 - 25. Let q be (-4)/x + 26/3. Suppose 109 - q = 5*r. Is 10 a factor of r?
True
Is 3 a factor of (4/(-2))/((-3)/15)?
False
Suppose -5*l - 20 = 0, 0*g - 5*g = 5*l - 240. Is 13 a factor of g?
True
Let h(z) = z**3 - 9*z**2 + 5*z - 13. Is 15 a factor of h(9)?
False
Let a(h) = h**3 + h**3 - h**3 - h + 6*h**2 + 6. Suppose 3*t + 3 = -12. Does 18 divide a(t)?
True
Let k(p) = -p**3 + p - 1. Let z(b) = -7*b**3 - 4*b**2 + 10*b + 1. Let n(q) = -6*k(q) + z(q). Does 6 divide n(-5)?
True
Let o = 117 - 64. Let l = o - 20. Is l a multiple of 10?
False
Let f(p) = p**3 - 11*p**2 + p + 13. Is f(11) a multiple of 4?
True
Let m = 221 - 137. Does 14 divide m?
True
Suppose -5*p - 124 = -9*p. Is p a multiple of 6?
False
Suppose -9 = -5*g + 1. Let h(v) = -v**2 - 7 + 0*v - g*v + 2*v**2. Is 3 a factor of h(5)?
False
Suppose -193 = -2*k + d, 5*k - 93 = 4*k - 3*d. Does 12 divide k?
True
Suppose -42 = -x - 5*d + 10, 0 = -4*x - 2*d + 136. Is 13 a factor of x?
False
Let i be (-1)/(-1)*(-4 - -5). Does 17 divide (3 - 2) + i - -63?
False
Let s(x) = 15*x + 6. Is s(7) a multiple of 32?
False
Let f(d) = d**3 + 11*d**2 + 4*d - 9. Let z be f(-10). Suppose -3*q - b = -q - z, -3*b - 9 = 0. Is q a multiple of 9?
True
Let i(x) = x**3 + 3*x**2 - 2*x + 5. Is i(-3) a multiple of 2?
False
Suppose j - 3 = 2*j. Is j/12 + (-610)/(-8) a multiple of 26?
False
Let f(m) = m**3 + 3*m**2 - 2*m - 4. Suppose -5*s - 4 - 6 = 0. Let p be (-2 + (-21)/(-6))*s. Is f(p) a multiple of 2?
True
Suppose 5*q - 2 = -7, 5*s - 4*q = 39. Suppose 2*a = -t + 4 + s, 0 = 5*t + 4*a - 31. Suppose x + 5*u + 9 = -2, -t*x + 3*u + 21 = 0. Is x a multiple of 3?
False
Suppose -2*y = y + 45. Does 14 divide ((-36)/(-15))/((-2)/y)?
False
Suppose -3*v - v = 12. Let d(f) = 2*f + 3. Let b be d(v). Is 9 a factor of -2 + (12 - b/(-3))?
True
Let a = -479 - -682. Is a a multiple of 35?
False
Suppose 0 = 2*v - 6*v + 100. Let s = v + 1. Suppose -2*q - 3*w = -s, -q - 3*w + 8 - 1 = 0. Does 18 divide q?
False
Suppose -2*h + 72 = 2*h. Is 5 a factor of h?
False
Let y(l) = -l**2 - 16*l + 5. Is 14 a factor of y(-14)?
False
Suppose 2*d + 4*j - 2 = 22, -4*d + 3*j - 7 = 0. Suppose s - d*s = 0. Suppose s = -2*u + 9 + 19. Is u a multiple of 14?
True
Let c = 2 + 10. Is c/15*(-90)/(-4) a multiple of 6?
True
Let g(k) = -k + 13. Let i be g(13). Suppose -f + 4*f - 207 = i. Is f a multiple of 12?
False
Let z be ((-6)/5)/((-2)/5). Suppose -z*r + 5*l = -26, 3*r - 32 = 2*l - 0*l. Let x = r + -5. Is x a multiple of 7?
True
Suppose 5*n - 22 - 3 = 0. Let u be 15*(8/n - 2). Let l = 16 + u. Does 10 divide l?
True
Suppose 0 = 2*s - 12 - 4. Is s even?
True
Suppose -3*f + 0*f - 33 = -3*u, -4*f + 2*u = 34. Let k = 4 + -6. Is 12 a factor of k/f - 88/(-6)?
False
Suppose -12 = -a - 5*x, -a + 18 = -x - 0*x. Is a a multiple of 17?
True
Is 72/(-10)*(-50)/15 a multiple of 9?
False
Let q = -7 + 17. Is q a multiple of 2?
True
Let z(k) = 184*k**2. Suppose 5*v - 2 = w, 4*v + 13 = 2*v + 5*w. Let p be z(v). Suppose 2*q = -2*q + p. Is q a multiple of 12?
False
Suppose 0 = -4*g + 1 + 7. Is g a multiple of 2?
True
Let j(f) = -f**2 + 14*f + 8. Does 16 divide j(10)?
True
Let b = 10 + -7. Suppose 144 = -b*w + 7*w. Does 20 divide w?
False
Let x = 5 + -2. Suppose 0 = 4*u - x*s + 1782, 5*u + 2218 = -0*s - s. Is 6/(-39) + u/(-13) a multiple of 24?
False
Let s be (-218)/(-6) - (-1)/(-3). Let d = -63 + 43. Let a = d + s. Is a a multiple of 7?
False
Suppose 2*a - 4*p + 14 = p, 2*p - 8 = 0. Let i be 5 - 1/a*0. Suppose 3*y - 20 = -0*l - l, 0 = i*y + 3*l - 36. Does 3 divide y?
True
Suppose -10 - 116 = j. Let k = 212 + j. Suppose -3*m - 10 - 35 = -2*q, -4*q + 2*m = -k. Does 11 divide q?
False
Suppose -6*m - 3*m + 1440 = 0. Does 16 divide m?
True
Suppose 3*j - 161 - 175 = 0. Is 14 a factor of j?
True
Suppose 4*l - 69 - 135 = 0. Does 17 divide 4/(-3)*l/(-2)?
True
Suppose 3*t - 242 + 17 = 0. Suppose -2*k + 7*k = t. Is k a multiple of 15?
True
Does 12 divide (-2)/(-7) + 1/((-21)/(-2157))?
False
Let w(q) = 14*q - 2. Let b be w(4). Suppose j - b = 4. Is 29 a factor of j?
True
Let u be (-10)/15 - (-14)/3. Let q(y) = 7*y + 3. Is q(u) a multiple of 29?
False
Suppose -120 = -4*i - 3*n, -n = 5*i - 2*n - 131. Is i a multiple of 10?
False
Let a(q) = 11*q**2 + 2*q + 1. Let p(l) = l + 1. Let t(w) = w**2 - 12*w. Let y(r) = 5*p(r) + t(r). Let h be y(6). Is a(h) a multiple of 10?
True
Let b = 3 - -1. Let o(d) = -d**2 - 5*d + 1. Let p(z) = 5*z - 1. Let c(s) = -5*o(s) - 6*p(s). Is 21 a factor of c(b)?
False
Suppose -3*z - 12 = -2*u - u, 0 = -5*u + z. Is 22*(1 + u/(-1)) a multiple of 18?
False
Suppose -3*g - g - 34 = -5*n, 2*n + 2*g = 28. Suppose 6*t + n = t. Is t*(-3)/(-12)*-36 a multiple of 18?
True
Suppose 9*f - 11*f + 22 = 0. Is f a multiple of 6?
False
Let h(t) = -2*t**2 - 9*t - 4. Let r(q) = -2*q**2 - 8*q - 3. Let a(w) = 4*h(w) - 5*r(w). Does 14 divide a(-7)?
False
Suppose -8*t = -13*t + 1985. Is 26 a factor of t?
False
Does 42 divide (-2)/(-6) + (-500)/(-12)?
True
Let r(g) = g**3 + 4*g**2 - 2*g - 3. Let o be r(-4). Suppose -3*l = -o - 49. Does 18 divide l?
True
Let n be 84/18 + 2/6. Suppose 2*q + n*y = 2*y + 6, 0 = 2*q + y - 6. Is 5 a factor of 13 + (9/3)/q?
False
Let f = 7 - 2. Let b(i) = 3*i**2 + 2*i. Let z be b(-4). Suppose f*l - z - 40 = 0. Is 8 a factor of l?
True
Let c(j) = 15*j + 10. Is c(8) a multiple of 10?
True
Let s(x) = 4*x + 40. Is 28 a factor of s(4)?
True
Does 31 divide -124*((-15)/4)/5?
True
Suppose 0 = 3*r - 13 + 7. Suppose r*g - 312 = -4*g. Is 13 a factor of g?
True
Suppose 992 = 5*l - 2*t, 3*l - 392 = l + 2*t. Is 40 a factor of l?
True
Let p = -2 + -2. Does 8 divide 588/18 - p/(-6)