
Let g(t) = -t**3 + 5*t**2 + 3*t + 2. Let w(i) = -3*i - 2. Let f be w(-5). Suppose 4*m - f - 7 = 0. Is g(m) a multiple of 10?
False
Suppose 51 = 4*o + 7. Let p = o - 4. Let d(g) = 2*g**2 - 8*g - 7. Does 14 divide d(p)?
False
Suppose -6*j + 82 = -2*j + 5*h, 0 = -2*j - h + 38. Let r = 25 - j. Is 7 a factor of r?
True
Suppose 21 = j + 4*a, -7 = -2*j - 3*a + 15. Suppose 3*q = j*w - 9, 2*w + 0*q = 2*q + 2. Is w/(-6) + (-49)/(-2) a multiple of 12?
True
Let p = -41 - -71. Is p a multiple of 30?
True
Suppose -68 = 8*o - 12*o. Does 17 divide o?
True
Let b(o) = -o**2 + 8*o. Does 3 divide b(7)?
False
Suppose 3*z + 0*z - 105 = -3*l, 3*z - 81 = 3*l. Is z a multiple of 20?
False
Suppose 0 = p + 4*p + 15, 3*p + 21 = 4*v. Suppose 0 = m - 2*y - 82, 4*y + 155 = 2*m + v*y. Does 27 divide m?
False
Let n(l) = 4*l**3 - 4*l**2 - 1. Let r(m) = 3*m**2 + 4 - 4 - 5*m**3 + m. Let g(v) = -2*n(v) - 3*r(v). Is 24 a factor of g(2)?
True
Let n(h) be the second derivative of -h**5/20 - 3*h**4/4 + 4*h**3/3 - 5*h**2/2 - h. Is 15 a factor of n(-10)?
True
Let k(y) = -y**2 - 11*y - 6. Does 7 divide k(-8)?
False
Let k(x) = x**2 - 3*x - 7. Is k(-8) a multiple of 18?
False
Let w(s) = s**2 + 3*s + 1. Let g be w(-4). Suppose -a - 148 = -g*a. Is 8 a factor of a?
False
Suppose p - 2*p + 5 = 0. Is p a multiple of 2?
False
Let g(h) be the third derivative of h**4/24 + 5*h**3/3 - 3*h**2. Does 9 divide g(8)?
True
Let v(f) = f**2 + 2*f + 2. Let k be v(-2). Suppose -304 = -6*l + k*l - 3*a, 2*l + 3*a = 158. Is 24 a factor of l?
False
Let j(t) = -t**3 + t - 1. Let v be j(0). Let x be v/(-5) + (-76)/5. Let u = x - -25. Does 10 divide u?
True
Is 17 a factor of (6/(-4))/(2/(-136))?
True
Let y be (-14)/21 + (-2)/6. Let g(b) = -19*b. Does 11 divide g(y)?
False
Let f = 56 + -4. Let u = f - 36. Is 7 a factor of u?
False
Suppose 0 = 2*h + 18 - 4. Let i = 2 - h. Is i a multiple of 3?
True
Let j = 20 + -15. Suppose 0 = -j*a + 2*a + 156. Does 13 divide a?
True
Suppose b = -r - 2*r + 52, 5*b + 2*r - 208 = 0. Suppose -4 = -2*y, 2*g - 4*y + b = 158. Is 16 a factor of g?
False
Let s(w) = w**2 - w. Let r be 2/4*2 - 2. Let f be s(r). Suppose -4*v + f*t + 56 = 0, -5*t + 14 = v - 0*v. Is 7 a factor of v?
True
Let n = -50 + 105. Suppose -35 - n = -3*u. Is u a multiple of 10?
True
Let x(c) = 4*c**2 - 4*c + 2. Is 13 a factor of x(-4)?
False
Let c(g) = -174*g + 1. Does 12 divide c(-1)?
False
Let t = -4 - -4. Suppose q - 18 + 4 = t. Is q a multiple of 14?
True
Suppose -w + 140 = w. Is w a multiple of 35?
True
Suppose a = -a + 12. Is (1 - -47)*4/a a multiple of 9?
False
Let d be (-1 - 4/(-2)) + 2. Let b(j) be the second derivative of j**4/6 + 2*j**3/3 - j**2 + 6*j. Is 17 a factor of b(d)?
False
Let g = 18 - -9. Is 11 a factor of g?
False
Let z be 1208/14 + 4/(-14). Let j be (-1)/5 + (-272)/(-85). Suppose 5*w = 5, -2 = -j*o + 5*w + z. Is 13 a factor of o?
False
Let v = -9 + 15. Suppose 2*a - v*a + 24 = 0. Does 2 divide a?
True
Let z = 4 - 0. Suppose 0 = -z*t + 19 + 109. Let n = -2 + t. Does 12 divide n?
False
Suppose 0 = 3*r - 2 + 5. Let d = 28 - r. Is d a multiple of 16?
False
Let o = 5 - 7. Let p be o + (2 + 0)*-3. Let b(n) = -n**3 - 8*n**2 - 4*n + 2. Is b(p) a multiple of 13?
False
Suppose 3*t + 0*t - 21 = -4*l, 0 = 2*l - 2*t - 28. Is l a multiple of 6?
False
Let r = 33 + -18. Suppose 0 = q + r. Is 3/(-2)*(q - -3) a multiple of 18?
True
Suppose -2 = -2*f + 20. Is f a multiple of 3?
False
Let t = 85 - 40. Suppose 4*b + y - 165 + 66 = 0, 2*b - y = t. Is b a multiple of 12?
True
Let c = 69 + 11. Does 16 divide c?
True
Suppose m + 171 = 5*j, 0 = 4*j + 3*m + m - 132. Does 24 divide j?
False
Let v = 258 - 148. Is 10 a factor of v?
True
Suppose 4*w - 12 = 16. Suppose 0 = -d + w + 1. Let h(u) = -u**2 + 13*u - 8. Does 13 divide h(d)?
False
Suppose -3*q + 99 = -5*y + q, 5*y + 5*q + 135 = 0. Let d = 38 + y. Does 8 divide d?
False
Suppose 0*s - 5*s + 490 = 0. Suppose 5*j - 7 = s. Let c = 30 - j. Is c a multiple of 9?
True
Let d = 21 - 6. Is 3 a factor of d?
True
Let o(t) = t**2 + 9*t + 10. Is 23 a factor of o(-12)?
True
Let k(b) = -2*b**2 + 8*b - 10. Let m be k(6). Let t = 62 + m. Is 14 a factor of t?
True
Let t be -3 - (1 + (-4)/1). Suppose 98 = 5*k + 2*i, t*i = -k - 3*i + 17. Does 20 divide k?
True
Suppose -5*b - 2*f = -262, -f = 4*b - 214 + 2. Is 6 a factor of b?
True
Does 9 divide 318/18 + 1/3?
True
Let i = -81 + 354. Does 13 divide i?
True
Let x(l) = -2*l**2 + 2. Let u be x(2). Is 68/5 - u/15 a multiple of 4?
False
Does 8 divide (-14)/21 - 166/(-6)?
False
Suppose -2*i + 146 = 40. Does 11 divide i?
False
Let c = -222 - -383. Is (-3)/2 + c/14 a multiple of 8?
False
Suppose 4*f = 9 + 7. Let l = f - 2. Suppose 4*c - 5*o = -2 + 42, -l*o = -2*c + 20. Is 7 a factor of c?
False
Let x(k) = 16*k**2 + 5*k - 20. Suppose -3*q - z = -2 + 11, z = 3*q + 3. Let u(b) = -3*b**2 - b + 4. Let a(c) = q*x(c) - 11*u(c). Is a(6) a multiple of 19?
True
Suppose 0 = -3*k - 0*k + 105. Is 18 a factor of k?
False
Does 9 divide ((-60)/25)/((-6)/75)?
False
Suppose 5*b - 2*g - 335 = 0, 0*g = b + 3*g - 84. Suppose 4*l + 3*a + 219 = 4*a, -5*a = -l - b. Let k = 108 + l. Is k a multiple of 27?
True
Let y(q) = q**3 - 4*q**2 + q + 4. Let n be (-100)/36 - (-4)/(-18). Let w be ((-13)/n + -3)*3. Is y(w) a multiple of 4?
True
Let c = 5 + -3. Is 20 a factor of (c/3)/((-2)/(-180))?
True
Suppose i - t = t - 3, -3*i - 6 = -5*t. Let j = i + -3. Suppose j*w + 100 = 5*w. Is w a multiple of 15?
False
Let v be 2/(-4) + 212/8. Suppose -5*x + 3*t + 114 = 2*t, x + 3*t = v. Is 23 a factor of x?
True
Let g(t) = -t**2 + 1. Let z be g(1). Is z/(-3) + (-8)/(-1) a multiple of 4?
True
Let n(d) = -d**3 - d**2. Let b be n(-1). Suppose 4*g = b, -g + 3 = -0*m + 3*m. Is 12 a factor of -2 - -3 - (m - 12)?
True
Is 8 a factor of 576/4*3/6?
True
Suppose 2*m - 11 = 3*d, m - 4*d = 3 + 15. Let k(f) = 4*f**2 + f + 2. Is 5 a factor of k(m)?
False
Let w = 5 - 7. Let x = 6 + w. Is 4 a factor of x?
True
Let a(u) = 40*u - 24. Is a(3) a multiple of 16?
True
Suppose m + 18 = 4*m. Let y = 5 + 9. Let n = y + m. Is 10 a factor of n?
True
Suppose 3*y = 2*s - 76 - 70, y + 72 = s. Is 5 a factor of s?
True
Let r be (-4)/24*3*0. Suppose f - 3*f + 42 = r. Does 7 divide f?
True
Let l = 14 - -13. Let d = 59 - l. Is d a multiple of 8?
True
Let a(p) = 6*p**2. Let s(g) = g**3 - 5*g**2 - 7*g + 7. Let b be s(6). Let q be a(b). Suppose -5*j + 44 + q = 0. Is j a multiple of 10?
True
Does 16 divide -4 - (-3 - 1) - (0 + -71)?
False
Let g(h) = -h**3 + 6*h**2 + 5*h + 5. Does 32 divide g(6)?
False
Suppose 3*t - t - 194 = 0. Is 44 a factor of t?
False
Let i = -47 - -102. Is i a multiple of 7?
False
Let m(h) = 2*h + 1. Let y(z) be the third derivative of -z**5/60 - 5*z**4/24 + 5*z**3/6 + 2*z**2. Let a be y(-5). Is 4 a factor of m(a)?
False
Let k(d) = -12*d**3 + d**2 + 2*d + 1. Let i be k(-1). Let y = 4 + i. Is 8 a factor of y?
True
Let v(t) be the third derivative of -1/6*t**4 + 5/3*t**3 - 3*t**2 + 0*t + 0. Does 14 divide v(-8)?
True
Let a be (-1032)/(-15) + 3/15. Let j = a + -135. Let y = -44 - j. Is 22 a factor of y?
True
Let g be ((-340)/(-50))/(1/5). Let t = g - 11. Is t a multiple of 11?
False
Let r = 20 - 66. Let m = r - -85. Does 13 divide m?
True
Let w be -10*2*2/(-8). Let l be 1/w - (-14)/5. Suppose 2*m - l*t = 1 + 10, -3*m = -t - 34. Does 13 divide m?
True
Let f(k) be the first derivative of -k**3/3 + 6*k**2 + 12*k - 4. Is f(9) a multiple of 13?
True
Let p(g) = -7*g**2 + 4*g + 4. Let y be p(4). Let n = -194 - y. Let x = -60 - n. Does 21 divide x?
True
Is 5*(0 - 252/(-15)) a multiple of 28?
True
Let a = -129 - -354. Suppose 0*d = 3*d - a. Does 25 divide d?
True
Let o = 3 - 5. Is 13 a factor of (-1 - o - -17)*1?
False
Let g = -82 - -100. Is g a multiple of 2?
True
Let v be 156*(15/2)/5. Does 17 divide 2*-1 + v/6?
False
Suppose -5*u = -u. Does 16 divide -1 + (-52)/(u - 2)?
False
Let o = 6 - 4. Suppose 5*a - 2*n - 57 = 103, -5*n = -o*a + 85. Does 14 divide a?
False
Let w = -17 + 30. Let q = w + -4. Is 7 a factor of q?
False
Let a = 14 + -8. Suppose -165 = r - a*r. Does 11 divide r?
True
Is 31 a factor of (33/(-55))/((-2)/230)?
False
Suppose 1138 = 7*h + 319. Does 29 divide h?
False
Suppose 18 = -8*i + 98. Is 2 a factor of i?
True
Let b(s) = 8*s + 13. Is 9 a factor of b(4)?
True
Let k = 224 + -130. Suppose 0 = 5*r - k - 1