b = 4*b - 10, 3*k + 2 = -5*b. Is (-30 + 0)*(k + -7) a multiple of 13?
False
Let d = 232 + -427. Is 6 a factor of d/(-7) + (-2)/(-14)?
False
Let k = 5 + 0. Let h be k + (-3 - 2/(-2)). Is ((-176)/6)/(-4)*h a multiple of 11?
True
Let z be ((-24)/16)/((-3)/28). Let a = z - 6. Is 4 a factor of a?
True
Is (-3 - 1)/(-4)*61 a multiple of 16?
False
Let s(k) = -k**2 + 17*k + 12. Let v be s(10). Let g be (-3)/(-12) - 238/(-8). Suppose -4*n + g + v = 0. Is 18 a factor of n?
False
Suppose 6 = -a - 3. Let f = a - -24. Suppose t - 2*t + f = x, 4*x - 35 = t. Does 4 divide x?
False
Let j(c) = -c**2 + 2*c - 4. Let w be j(4). Let y be (-4 - -53)*(-6)/(-7). Let z = w + y. Is z a multiple of 15?
True
Let r(x) = x**2 - 10*x + 5. Let b be r(15). Let a = b - 26. Is a a multiple of 27?
True
Suppose 6*c + 18 = 4*c. Is (-87)/(-1) - (8 + c) a multiple of 28?
False
Let t(h) = h**3 - 12*h**2 + 10*h + 13. Let s be t(11). Suppose s*z + 220 = 7*z. Does 11 divide z?
True
Let i be ((-4)/(-3))/(5/180). Is (4 - 3)*(-2 + i) a multiple of 16?
False
Suppose -2*y + 238 = 3*x, -3*x = -5*x + 2*y + 152. Does 10 divide x?
False
Let f(m) = m**3 - 4*m**2 - 6*m + 1. Let d be f(5). Let q be (5/(10/d))/2. Is (-3)/q*30/2 a multiple of 17?
False
Suppose -3 = f - 2*f. Let h = 3 - 0. Suppose 34 = 4*a - c, f*c - 16 = -h*a + 2. Does 4 divide a?
True
Let b(p) = 2*p**2 + 16*p - 4. Does 14 divide b(-9)?
True
Let x = 103 - 51. Suppose 0*w - 3*w = 12, 4*z + 3*w = x. Suppose 3*r - 29 = z. Is r a multiple of 15?
True
Let x = 14 + 67. Does 16 divide x?
False
Suppose 2*v - 32 = -3*z - 0*z, -2*z = -5*v + 61. Is v a multiple of 9?
False
Let n be 12/7 + 4/14. Suppose -n*c + 7*c = 60. Does 12 divide c?
True
Suppose -5*q - 86 = -r, 2*r - 80 = -3*q + 40. Does 11 divide r?
True
Suppose 0 = -2*r - 0*r + 48. Is 6 a factor of r?
True
Let n(q) = q**3 - 9*q**2 + 12*q - 10. Is 8 a factor of n(8)?
False
Let u be (12/(-5))/((-4)/40). Let a = 50 - u. Does 6 divide a?
False
Let p(i) = i - 3. Let k be p(-3). Let m(w) = -11*w**2 - w - 4. Let u(j) = -32*j**2 - 3*j - 11. Let s(t) = k*u(t) + 17*m(t). Does 13 divide s(-2)?
False
Let x(l) = l**2 - 2. Let g(f) = f. Let y(c) = 5*g(c) + x(c). Is y(4) a multiple of 13?
False
Suppose 7*p - 15 = 4*p. Suppose -28 = -p*b - 8. Suppose 3*j + 34 = b*j. Is 23 a factor of j?
False
Suppose 3*q - 12 = -q. Suppose -3*y + 4*a + 77 = q*a, 3*a = y - 15. Does 10 divide y?
False
Let s(t) = -t**3 + 15*t**2 - 7*t - 18. Let b be s(14). Suppose -4*d - 4*i + b = 0, 5*d + 4*i + 53 - 149 = 0. Is 3 a factor of d?
False
Let v = 66 + -46. Is v a multiple of 4?
True
Let x(t) = 8*t**2 - t + 1. Is 27 a factor of x(2)?
False
Does 5 divide 330/(-9)*(-15)/10?
True
Suppose -2*s = -7*s - 4*n + 366, -s = 5*n - 69. Suppose 3*p - 3*v - 31 = -112, 2*v = -2*p - s. Let k = p + 57. Does 7 divide k?
False
Suppose 12 = 3*x, x + 233 = 3*u - 0*u. Is u a multiple of 16?
False
Does 12 divide 140/(-15)*(-9)/2?
False
Is ((-57)/(-3) - 3)*1 a multiple of 4?
True
Let j(i) = 7*i + 15. Let y be j(10). Suppose -5*t + t = 212. Let f = y + t. Is 16 a factor of f?
True
Let n(d) = 4*d**2. Let t be n(1). Suppose -3*g + 7 = -q - t, 3*q = -3*g - 9. Is (-301)/(-14) - (-1)/g a multiple of 11?
True
Let c(p) = 25*p + 11. Is c(3) a multiple of 42?
False
Does 33 divide 1/((-3)/(-889)) - (-24)/36?
True
Let p(b) = 11*b**2 + 4*b. Let j(o) = -o - 1. Let f(h) = j(h) + p(h). Does 10 divide f(2)?
False
Suppose -44 = -2*f + 52. Is f a multiple of 15?
False
Let c = -6 - -14. Suppose 0 = -5*u + 6*u - c. Is 3 a factor of u?
False
Suppose 2 = 2*i + 4*p, -5*p + 5 = 2*i + i. Let x = 3 - 3. Suppose x = -5*t + a + a + 34, -25 = -5*t + i*a. Does 8 divide t?
True
Let p = -41 - -26. Let d = 17 - p. Does 16 divide d?
True
Suppose -5*u = -j - 3*j + 29, -3*u - 12 = 3*j. Let y be 5/15 + j/(-3). Suppose q - 4 = -y*q. Is 4 a factor of q?
True
Let j(w) = w**3 - w**2 - 5*w + 2. Let a be j(3). Does 19 divide (3 + 23/5)*a?
True
Is 12 a factor of 91/26*(13 - -1)?
False
Let t = 4 + -6. Is t - (-27 + (-2 - -1)) a multiple of 24?
False
Let r(q) = -10*q - 2. Let x be r(-3). Suppose 2*v + 2*v + x = 0. Does 16 divide (-1 - v)*(-16)/(-3)?
True
Let b = 68 + -24. Is 5 a factor of b?
False
Suppose 0*g = 4*g - 56. Is g a multiple of 7?
True
Let n(d) = d**2 - 16*d + 36. Does 12 divide n(16)?
True
Suppose 20*y = 22*y - 324. Does 27 divide y?
True
Let w(m) = -38*m + 7. Is 16 a factor of w(-3)?
False
Suppose 5*v = -m + 62, -3*v - 10 = 2*v. Suppose 5*o + 2*j = o + 66, 4*o - 4*j = m. Does 10 divide o?
False
Suppose -3*c = -d - 88, 5*c - 100 = 2*c - 5*d. Suppose -3*z - 5*p = -75, -5*z + p + c + 95 = 0. Is z a multiple of 10?
False
Suppose -4*z + 14 = -3*z - 3*n, n - 4 = -4*z. Let g be (-2 + z + 1)/1. Is 5 a factor of -1*g/1*-15?
True
Suppose 0*y = 5*y. Suppose y = -9*w + 4*w + 90. Is w a multiple of 5?
False
Let o = 8 + -57. Let q = -29 - o. Does 10 divide q?
True
Suppose s + 6 = 3*s. Suppose 235 = 5*y + 4*v, 2*y - 4*v = s*y - 47. Does 14 divide y?
False
Suppose -4*c = -n - 6, -5*c = 2*n + 9 - 23. Suppose -2*o + 4*o - c = 0. Is ((-10)/(-6) - o)*39 a multiple of 13?
True
Let j(s) = s + 47. Let q be (-2 - -1) + -1 - -2. Let k be j(q). Suppose -2*h = -5*f - 89, h - 6*f - k = -f. Is h a multiple of 14?
True
Suppose 2*q + a = 30, -23 = -5*q + 5*a + 22. Suppose -q*u + 16 = -11*u. Is u a multiple of 2?
True
Let m(n) = -n + 8. Let z be m(6). Suppose -4*y + 16 = u + z*u, -u = 3*y - 12. Is 13 a factor of (-53 - -1)*(-2)/y?
True
Let m = 5 - 5. Let l = m - -4. Is l a multiple of 3?
False
Let i(t) = t + 4. Let x be i(-4). Suppose 3*r - 7*r + 1060 = x. Suppose q - 6*q + r = 0. Is q a multiple of 17?
False
Let a be 0*(-3)/(-9) + 8. Suppose -2*t = -u + 2*u + 2, 0 = 5*t + 4*u + a. Suppose 3*c + 44 - 125 = t. Is c a multiple of 12?
False
Suppose -6 - 3 = 3*p. Suppose 0 = -2*c + c + 128. Is 10 a factor of (-1)/(c/(-42) - p)?
False
Let c(k) = -9*k**3 + k**2 - 2*k + 1. Let v be (-2)/(-6) - (-2)/3. Let y be c(v). Let j = y - -15. Is 6 a factor of j?
True
Let u be (0 + -1 + -4)*-2. Suppose -u = -0*m - 5*m. Let f = m + 24. Does 16 divide f?
False
Let p(g) = -g**3 + 10*g**2 - 2*g - 9. Let r be p(9). Is 12 a factor of r/(1/(3/6))?
False
Let h = -11 + 55. Is h a multiple of 22?
True
Suppose 3*v - 162 = -0*v. Does 27 divide v?
True
Let m = -38 - -88. Does 5 divide m?
True
Let c = -3 + 7. Suppose -c*s - 67 - 65 = 0. Let w = 65 + s. Does 14 divide w?
False
Let g = -179 - -263. Does 8 divide g?
False
Let k = -51 - -249. Suppose k = 3*l + 3*p, 199 = 3*l + 2*p + 2. Is l a multiple of 17?
False
Let k be -3 + 247 - 8/2. Suppose 0 = 4*c + c - k. Is 16 a factor of c?
True
Suppose 3*d = -d. Suppose 2*t - 28 = -d. Is t a multiple of 4?
False
Let c = 4 - -2. Suppose 2*d - w + 0*w - c = 0, -4*w + 4 = -d. Let s = -1 + d. Does 3 divide s?
True
Is -18*9/3*(-86)/18 a multiple of 12?
False
Let r(l) = -l**3 + 5*l**2 - 2*l - 3. Let u be r(4). Suppose -z = u*m + 14, 5*z + 4*m + 13 + 15 = 0. Is (z/(-6))/(10/75) a multiple of 4?
False
Is 8 a factor of (1/6)/((-1)/40)*-6?
True
Let x(w) = -w**3 + 17*w**2 + w + 24. Is 14 a factor of x(17)?
False
Let k(x) = -x**3 - 3*x**2 - 2. Let j be k(-2). Let y be (16/j)/((-14)/21). Suppose 18 = y*i - 34. Is i a multiple of 5?
False
Suppose 4 - 109 = 3*a. Let j = -12 + -1. Let b = j - a. Is 11 a factor of b?
True
Let b be 1 - -1 - (-1 - 1). Suppose 0*z - 15 = 3*z, -b*t + 5*z + 101 = 0. Is 8 a factor of t?
False
Suppose 30 = -4*d + 5*d. Let i be -3*1*d/9. Does 10 divide (-242)/i - 2/10?
False
Suppose 5*s - 2*s = 4*m + 27, 4*m = -4*s - 20. Is 4/(8/m) - -17 a multiple of 7?
True
Let c = 24 - 9. Is c a multiple of 5?
True
Let z(s) = 16*s - 7. Is z(7) a multiple of 36?
False
Let o be (-17)/(1/(-2)*1). Suppose 4*b = 5*b + 20. Let i = o + b. Is 9 a factor of i?
False
Let z be 1*((-6)/(-3) + -2). Suppose z = -5*l - 153 + 3. Let q = 53 + l. Does 10 divide q?
False
Let p(a) be the third derivative of -23*a**4/24 + 5*a**3/6 + a**2. Let m(g) = 8*g - 2. Let x(l) = 8*m(l) + 3*p(l). Is 7 a factor of x(-4)?
False
Suppose -3*o - 4*m = -45, -o + 4*m = 4 - 19. Is o a multiple of 4?
False
Suppose -c - l + 12 = 0, 0 = -2*c - 7*l + 2*l + 15. Is 5 a factor of c?
True
Let s = -8 - -10. Let v = s + 2. Let t(w) = 3*w**2 - 4*w + 3. Does 13 divide t(v)?
False
Suppose -x + 14 = -0*x. Suppose -5*f = -x - 6. Suppose -f*r - r + 65 = 0. Is 5 a