2 + 3*q - 6. Let b be n(-5). Suppose 2*c - 12 - 2 = -w, 0 = -3*w - b*c + 50. Is 11 a factor of w?
True
Let g = 1 + 21. Is 5 a factor of g?
False
Let j(m) = m**3 - 11*m**2 + 2*m - 4. Is 9 a factor of j(11)?
True
Let b be ((-1)/(-2))/(6/(-12)). Is (-1 + b)/((-4)/32) a multiple of 12?
False
Let l(u) = -u**3 - 8*u**2 - u - 8. Let h be l(-8). Suppose 0 = -2*p - h + 8. Suppose p*b + 4 = 0, -5*b = s + 5 - 15. Is 15 a factor of s?
True
Is (1 + 120 - (-3 + 5)) + 0 a multiple of 27?
False
Let p = 4 - 2. Suppose 0 = 5*x + y - 236, x + 2*y = -p*x + 143. Is 19 a factor of x?
False
Let c = 51 + 23. Does 37 divide c?
True
Let r(x) = -x**3 + 6*x**2 - x + 6. Let z = 19 - 13. Let o be r(z). Does 7 divide (1 - o)*(-2 + 9)?
True
Let d(a) = 7*a. Does 9 divide d(3)?
False
Let v(k) = -k - 3. Let q(t) = 2*t. Let x be q(-4). Let j be x + -2 + (0 - 1). Is v(j) a multiple of 4?
True
Suppose 10*l - 3*l - 294 = 0. Is 7 a factor of l?
True
Let k be (-16)/(-3) - (-6)/9. Let r be (-11 - 1)/(k/4). Is 4 a factor of (-35)/(-3) - r/(-12)?
False
Suppose 0 = -4*w + 59 + 141. Let n = w + -30. Is 10 a factor of n?
True
Let l = 3 + 0. Suppose -l*n + 29 = -4. Does 6 divide n?
False
Is (2 + -3 - 1)*-42 a multiple of 12?
True
Suppose -3*s + 6 = -5*s. Let n = 60 + -116. Is n/(-6) + 1/s a multiple of 5?
False
Let k be 70*(-3 - 17/(-5)). Suppose -k = -d + 20. Does 11 divide d?
False
Let o(v) = 29*v**2 - v - 1. Let h(j) = -10*j**2. Let b(t) = 8*h(t) + 3*o(t). Is 17 a factor of b(3)?
True
Let f = 2 - -2. Suppose 5*g - 38 = -l + 19, -f*l = -5*g + 47. Is g a multiple of 8?
False
Let u = 7 + -5. Suppose 0*v - 120 = -u*v. Is 20 a factor of v?
True
Suppose 2*w = -5*v - 0*v + 56, 140 = 5*w + 2*v. Is 4 a factor of w?
True
Let y(b) = b**3 + 8*b**2 - 11*b - 4. Is y(-9) a multiple of 7?
True
Let o(t) = 3*t**2 + 3*t - 9. Does 13 divide o(-7)?
True
Let m = 375 + 168. Suppose 3*x - 24 = 3*v - m, 3*x + 4*v = -484. Is 6 a factor of x/(-9) + 4/(-6)?
True
Suppose 0*t = 2*t + 170. Let c = t - -123. Does 15 divide c?
False
Suppose 2*w - m + 4 = 0, -w - m = 4*m - 9. Is 6 a factor of (-21)/w - (-7 - -5)?
False
Suppose -2*j + 27 = -39. Is j a multiple of 14?
False
Let q = -385 + 226. Let v be (-1)/(-3) - q/9. Suppose -3*l - v = -3*g, -4*g + l = -2*l - 29. Does 5 divide g?
False
Let z(d) = -d + 4 + 0 + 2*d + 0. Does 5 divide z(11)?
True
Let n be -50 + (-2 - 1) + 3. Does 13 divide (-78)/(-5) - 20/n?
False
Is 2*(-4)/(16/(-274)) a multiple of 28?
False
Does 3 divide (-42)/(-63)*(-1 + (-274)/(-4))?
True
Let m(l) = -l**3 - 71. Let s be m(0). Let x be 2505/(-21) - (-2)/7. Let v = s - x. Is v a multiple of 20?
False
Suppose 7*x + 10 = 2*x, 5*x - 278 = -3*j. Does 12 divide j?
True
Let c = -15 + 128. Does 15 divide c/4 - 3/12?
False
Let g = 285 - 195. Is g a multiple of 31?
False
Suppose -3*u - i = -4*i - 51, 0 = -4*u + 3*i + 71. Is 10 a factor of (u/6)/((-1)/(-3))?
True
Let q = 1 + 3. Let j(y) = y**2 - 4*y + 6. Is 6 a factor of j(q)?
True
Suppose 90 = 5*v - 175. Does 9 divide v?
False
Let b(y) = -y + 10. Suppose 17 = 3*u - 4. Let z be b(u). Suppose 0 = -z*w + 98 - 17. Is w a multiple of 10?
False
Let c(y) = y**2 - 2*y + 3. Let v be c(2). Suppose 106 = -v*m + 5*m. Does 13 divide m?
False
Is 5 a factor of 2821/49 - ((-30)/(-14))/(-5)?
False
Suppose -2*h = 4*f + 62 - 228, -f - 4*h = -52. Suppose -2*t = 4*m - 67 + 15, 0 = 3*m + 2*t - f. Does 4 divide m?
True
Let q(x) = -x - 6. Let a be q(-9). Suppose a + 3 = d + 2*t, t - 52 = -4*d. Is d a multiple of 7?
True
Suppose -j = -30 + 12. Is j a multiple of 8?
False
Let z be (-1 + 2)/((-1)/(-4)). Let u be 83/z + 2/8. Suppose -2*d - u = -3*d. Is d a multiple of 17?
False
Let l be (-1)/3 + (-42)/9. Let a(f) = -7*f - 1. Is a(l) a multiple of 16?
False
Suppose 5*k + 34 = i + 2*k, 3*k = -9. Does 10 divide i?
False
Let f(v) = -12*v**3 - v**2 - 2*v - 1. Let l be (-1)/(-2) + 66/4. Suppose 0 = -b - 4*q + 15, 0 = 2*b - 3*b + 4*q - l. Is 12 a factor of f(b)?
True
Suppose 5 = z + 3*k, -4*k = -4*z + 20 + 16. Suppose 4*j + 160 = -4*a + 9*a, 4*j - z = -a. Suppose 0*m + a = m. Is 14 a factor of m?
True
Suppose 4*i - 21 = -z + 18, 3 = -3*z. Is i a multiple of 3?
False
Let d(k) = k. Let h be d(0). Suppose -g + 2*r = -47, 5*g = -h*r - r + 180. Suppose -4*i - a + 10 + g = 0, 72 = 4*i - 4*a. Does 10 divide i?
False
Suppose 0 = -5*l + 3*m + 165, 5*l + 0*m + m = 145. Does 11 divide l?
False
Let p(c) = c - 1. Let d be p(-1). Suppose -5*q = o - 9, 4*q = 4*o - 20 + 8. Does 14 divide (q/d + 1)*52?
False
Let l be (5/4)/((-6)/(-48)). Let v(n) = n**3 + n**2 - n - 1. Let k(b) = 2*b**3 + 14*b**2 - 13*b + 11. Let z(m) = k(m) - 3*v(m). Is 11 a factor of z(l)?
False
Let k(m) = m**2 - m + 20. Let c be k(0). Suppose -5*x + 3*w + 42 = 0, -3*x = -x + 2*w - c. Is 9 a factor of x?
True
Suppose 0*d + 16 = 5*u + 2*d, 2*u - d = 1. Let y = 26 - u. Is y a multiple of 12?
True
Let y = 240 + -104. Is 17 a factor of y?
True
Let h = 393 + -233. Does 8 divide h?
True
Let w be 14/((-1)/((-2)/2)). Is (w/(-2))/((-3)/6) a multiple of 7?
True
Let t(f) = f + 1. Is 24 a factor of t(23)?
True
Suppose 3*c + 4 = -5*j, 5*c - 6 = -3*j + j. Let z = j + 11. Is z a multiple of 6?
False
Let x(b) = -4*b - 4. Let p(v) = -4*v + 2. Let y be (-4)/5*(-15)/6. Let i be p(y). Is 10 a factor of x(i)?
True
Let h be 184/10 - 6/15. Suppose -3*j + 3*n + 12 = n, h = 2*j + 2*n. Let d = j - 2. Does 4 divide d?
True
Suppose -6 = -3*s + 3. Let t(f) = 3 - 5*f**2 + f + 2*f**3 + 0 + 0. Is t(s) a multiple of 15?
True
Is (-9 + 27)/(2/10) a multiple of 15?
True
Is 4 a factor of 2*5*(-19 - -25)?
True
Let d(a) = 2*a**2 + 6*a - 2*a**3 + 2 - 3*a + a**3. Let x be d(3). Suppose j - 30 = 3*w, x*j = 3*j + 5*w - 46. Is j a multiple of 18?
True
Let l = 66 - -15. Is 19 a factor of l?
False
Suppose -2*q + 0*q = 0. Suppose 2*u = -q*u + 42. Is 14 a factor of u?
False
Suppose 2*k - 14 = -0*k. Does 2 divide k?
False
Suppose 0*s = -2*s + 4. Suppose 3*p = -s*p + 120. Is p a multiple of 6?
True
Suppose 7*i - 3*i = 32. Suppose 0 + i = 2*q. Suppose -m + 60 = q*m. Does 6 divide m?
True
Let n(i) = -i**3 - 5*i**2 - 4*i + 4. Let l be n(-4). Suppose h - 50 = -l*o, -h = -3*o + 2*o - 40. Is h a multiple of 15?
False
Let o(b) = -b**3 + 5*b**2 + 4*b - 7. Let z be o(5). Is (-9)/6 - z/(-2) a multiple of 2?
False
Let h(y) = 17*y. Is 17 a factor of h(1)?
True
Let x = -6 + 7. Does 10 divide 7 + 0 - (x - 4)?
True
Let m = 1 + -1. Let t(i) = i + 27. Let a(h) = -h - 14. Let s(b) = 5*a(b) + 3*t(b). Does 6 divide s(m)?
False
Let l(p) = 3*p**3 + 5*p - 4. Let u(t) = 8*t**3 + 14*t - 11. Let m(r) = 11*l(r) - 4*u(r). Let h be m(0). Suppose 0 = 3*b - h*b - 36. Is b a multiple of 12?
True
Let c = 20 + 5. Let h = 1 + c. Let f = h - 16. Is 10 a factor of f?
True
Let s be 6 - (-3 - (1 + -7)). Suppose 0 = s*d - d - 120. Suppose 0 = 5*z + d - 270. Is 21 a factor of z?
True
Let d be 2/6 - 32/(-12). Suppose d*i + 128 = -i. Does 8 divide (i/(-20))/(1/5)?
True
Let j be (-2)/8 - (-11)/(-4). Let u(m) = 7*m. Let i be u(1). Let b = i + j. Is b a multiple of 2?
True
Let t be 80/(-8)*(-2)/4. Suppose -4*c + 125 = u - 34, 4*c - t*u - 165 = 0. Is 11 a factor of c?
False
Let l be 1*(-3 - -2)*-6. Suppose l*y - 104 = -2*j + 2*y, -j - 3*y + 55 = 0. Is 23 a factor of j?
True
Let u = 112 - 62. Does 25 divide u?
True
Does 4 divide -4*((-63)/12 + 4)?
False
Let n(d) = d**3 + 14*d**2 - 2. Let s be n(-14). Is s/(-7) - 3978/(-42) a multiple of 29?
False
Let j be 0 - 1 - (-2 - 1). Suppose j*u + 4*p = -10, -3*u + p - 10 = -u. Let s = 39 + u. Does 17 divide s?
True
Suppose 2*p - p - 27 = 0. Does 27 divide p?
True
Suppose -4*z + 165 = -z. Suppose 5*l - 10 = z. Suppose u - l = -0*u. Does 13 divide u?
True
Suppose 8*s - 206 - 138 = 0. Is 5 a factor of s?
False
Suppose 0 = 5*d + 89 - 354. Suppose -u = u - 3*g - d, -3*g = -5*u + 119. Does 12 divide u?
False
Let q(r) be the second derivative of r**3/2 + 11*r**2/2 - 2*r. Let c be q(-8). Let y = c + 26. Is y a multiple of 13?
True
Suppose -o = 5*v + 2*o - 62, 4*v - 52 = -3*o. Let z = 17 - v. Does 4 divide z?
False
Suppose -3*z + 31 = 292. Let k = z - -134. Does 18 divide k?
False
Suppose -3*r - 5 = 2*a, -5*a = 3*r - 4*r - 30. Let f be (-4)/(-10) + 98/a. Does 2 divide (-4)/10 - (-108)/f?
False
Let c be 1*5/((-15)/(-12)). Suppose c*l + 57 = 3*x, -4*l - 87 = -7*x + 2*x. Does 14 divide x?
False
Let c = 508 + -