 p(v) = -v + 3. Let u be p(0). Suppose 4 = -4*j + u*j. Let n(c) = -c**2 - 5*c + 1. Does 2 divide n(j)?
False
Let l = 3 - 3. Let u = l + 4. Suppose -7 = -u*n + 9. Is 4 a factor of n?
True
Let g(d) = d**3 + 11*d**2 + 9*d - 8. Suppose 2*q + 7*o + 5 = 2*o, 0 = 4*q - 4*o + 52. Let h be g(q). Is 10 a factor of (-1 + -4)/((-1)/h)?
True
Let x(p) = -28*p + 1. Let m(l) = l. Let q(y) = 4*m(y) + x(y). Let g(h) = h**2 - 9*h - 1. Let r be g(9). Does 12 divide q(r)?
False
Suppose 0*w - 3*w + 78 = -5*u, 0 = -w - 4*u + 43. Suppose 16 = 2*r + 2*c, -4*r - 5*c + w = -2*r. Does 2 divide ((-6)/2)/(2 - r)?
False
Let d be (-6)/(-8) + 27/12. Let c be 1/(-3) - (-7)/d. Suppose -17 = -w - w + 5*k, -c*k - 42 = -4*w. Is w a multiple of 4?
False
Let q = 93 + -38. Is q a multiple of 15?
False
Suppose -4*i + t = 5*t - 12, -57 = -4*i + 5*t. Let b be (-5)/(15/i)*6. Let u = -4 - b. Is u a multiple of 6?
True
Is (12*1 - -2) + (9 - 8) even?
False
Let n = -29 + 54. Is n a multiple of 10?
False
Let a(l) = 227*l + 2. Let o be a(1). Let x = o + -154. Is 32 a factor of x?
False
Suppose -3*k = -0*k - 27. Does 8 divide k/(-6) + 41/2?
False
Let r(g) = g**2 - 14*g + 15. Let c be r(13). Does 9 divide c/4 - (-153)/18?
True
Does 9 divide (-3)/(1 - 4) - (2 - 94)?
False
Let s(d) = 24*d**2 + 7*d - 2. Let j(n) = 71*n**2 + 20*n - 6. Let a(k) = 4*j(k) - 11*s(k). Let b be a(2). Suppose -3*c + b = c. Does 9 divide c?
False
Let n = 18 - 25. Let u(t) = -2*t**3 - 12*t**2 + t + 1. Let y(p) = p**3 + 6*p**2 - p. Let m(b) = -4*u(b) - 9*y(b). Is m(n) a multiple of 8?
False
Is (-386)/(-4) + (-8)/16 a multiple of 12?
True
Let y(k) = -6*k**3 - 2*k**2 - 4*k - 3. Let x be y(-2). Suppose x = g + 3. Is g a multiple of 28?
False
Suppose -m + 4*m = -36. Let t = m + 4. Does 5 divide ((-14)/4)/(2/t)?
False
Let g = -15 - -38. Suppose 0 = 4*w - g + 3. Suppose w*d = -28 + 93. Is d a multiple of 5?
False
Let p = -1 - -4. Let r be -3 + 4 + 17 + -1. Suppose 4*i + 3*m - 24 - 29 = 0, -r = -i + p*m. Does 7 divide i?
True
Suppose -853 - 1415 = -9*c. Is c a multiple of 28?
True
Let s be (-11)/((-1)/(-8) + 0). Let c = -52 - s. Does 10 divide c?
False
Suppose 0 = -5*i - 3*q + 17 + 1, 3*q + 12 = 5*i. Let k = 53 - i. Is k a multiple of 15?
False
Suppose w + 17 = -2*q, 3*w - 2*q + 23 = -12. Let r(m) = -m**2 - 15*m + 13. Is r(w) a multiple of 13?
True
Is 88/3*(-3 + 90/12) a multiple of 44?
True
Suppose -34 - 3 = -n + 3*p, 0 = -5*n + p + 171. Suppose 4*q + 2*k = 2*q + 86, -4*k + n = q. Is q a multiple of 21?
False
Let v(s) = 5*s**2 - s + 8 - 3*s**3 + 4*s**3 - 4*s. Let r be v(-6). Does 7 divide r/(-2) - 45/(-3)?
True
Let r = 8 - 17. Let j = -3 - r. Does 6 divide j?
True
Suppose c + 0 = -1, 44 = 3*m - 2*c. Is m a multiple of 14?
True
Suppose -3*f + 5*b + 26 = 0, -b = -2*f - 0*b + 8. Suppose -2*i = -u + 11, 0 = f*u + 2*i - 3 - 1. Suppose u*l = -3*k + l + 37, -2*l + 8 = 0. Is 4 a factor of k?
False
Let b(v) = v**2 + 2*v - 4. Suppose z = 3*z - 6. Does 3 divide b(z)?
False
Let v(x) = 4*x**2 + x - 6. Let n be v(-5). Suppose 4*w - 245 = -n. Is 15 a factor of w?
False
Let c be (-1 + 0)*-3 + 1. Suppose 3*t = -9, 2*a = c*a - 3*t - 9. Suppose a = -3*k + 13 + 29. Does 13 divide k?
False
Let x(n) = n**3 - n**2 - 2*n + 2. Suppose 4*i = 19 + 1. Does 17 divide x(i)?
False
Suppose 2*u = 34 - 0. Is u a multiple of 2?
False
Is (-14 + 1)*(0 - 1) a multiple of 4?
False
Suppose -4*o + 52 + 152 = 0. Suppose -239 - o = -5*v. Does 15 divide v?
False
Suppose -5*q - 11 = -0*q + 2*m, 0 = -2*q - 3*m. Let v = -1 - q. Suppose -4*i = -v*n - 44, 7*i = 2*i - 5*n + 85. Is i a multiple of 13?
True
Suppose -g + 444 = 3*g. Does 18 divide g?
False
Let q = 104 - 40. Is 32 a factor of q?
True
Is 6 a factor of (-117)/(-2)*44/33?
True
Is ((-6)/(-9))/(8/276) a multiple of 23?
True
Let x(y) = -y**2 + 3*y + 1. Let f be x(2). Let s be (0 + 2 + -3)/1. Does 6 divide -3*s/(f/10)?
False
Let f = -46 - -76. Does 13 divide 132/10*f/9?
False
Let m(w) = 4*w**3 - w**2 + 5 - w**2 - 4. Suppose -4*u + 3 = 4*i - i, 3*u = 0. Is 3 a factor of m(i)?
True
Let c = 7 + 2. Suppose -2*s + c = s. Let t = s + 0. Does 2 divide t?
False
Let y = 6 - 8. Let r = y + 7. Suppose r*p - 174 = 2*p. Is 15 a factor of p?
False
Let c(o) = 10*o + 9*o**2 + 10 - 2 - 7*o**2. Is c(-6) a multiple of 10?
True
Let x be -6 - (1 - (-3 - -6)). Let r = -4 - x. Is 2/(2/35 - r) a multiple of 9?
False
Suppose 4*h - 1 = 11. Suppose -2*a + 2 = n, 3*n - 27 + 3 = h*a. Is 2 a factor of n?
True
Let q = -4 - 1. Let c = -5 - q. Suppose c = 3*y, -3*y = -0*d + d - 32. Does 16 divide d?
True
Is 2 a factor of (-15)/6*24/(-20)?
False
Suppose 0 = 3*w + w - 72. Let y = 57 - w. Is 19 a factor of y?
False
Let w(j) = 72*j**3 - j**2 + 2*j - 1. Is 24 a factor of w(1)?
True
Let l = 20 - 8. Is 7 a factor of l?
False
Let m = -61 - -114. Does 13 divide m?
False
Suppose -3*c - 2*v - 6 = -31, -4*v + 45 = 5*c. Suppose 2*y + 12 = -0*y. Let l = c - y. Is l a multiple of 4?
False
Suppose 2*u + n - 10 = -n, u - 1 = n. Suppose 14 = u*i - 4*a, 4*a - 2 = 2*a. Does 3 divide i?
True
Let o = -165 - -29. Is 19 a factor of (-5)/2*o/10?
False
Let y be (1 - (4 + -1))/(-2). Does 17 divide (-44)/(-5)*y*5?
False
Let h = -81 + 217. Is h a multiple of 8?
True
Let u = 0 + 8. Suppose 0 = 5*v - u*v + 15. Suppose 27 + 53 = v*t. Is t a multiple of 8?
True
Let f(b) be the third derivative of b**6/360 + b**5/24 + 5*b**4/24 - b**3/6 - 2*b**2. Let v(d) be the first derivative of f(d). Is v(-5) a multiple of 3?
False
Let x(y) = 88*y**2 - y. Is x(1) a multiple of 29?
True
Let m(u) = 2*u + 2. Let f(l) = l**3 + 4*l**2 + 3*l + 2. Suppose n = 4*n + 3*p + 21, -5*n - 4*p - 31 = 0. Let w be f(n). Does 4 divide m(w)?
False
Let s = 29 - 15. Is s a multiple of 7?
True
Is -45*(1 + -3 + 3 + -7) a multiple of 54?
True
Let f = 6 + -4. Suppose -3 = -j - 5*v, -6*v + v = f*j - 6. Suppose -4*y + 4*r = -52, -j*r + 65 = 4*y + y. Is 6 a factor of y?
False
Let d(p) = p**3 + 9*p**2 - 14*p - 10. Let a be d(-10). Let o = a + 0. Is o a multiple of 10?
True
Let l(z) = -z + 6. Let r be l(6). Suppose -5*h + r*k - 5*k = -115, -3*k = -5*h + 99. Is 14 a factor of h?
False
Suppose 0 = -4*h + 8, -2*h = 3*b - 4*h - 767. Suppose -4*y + 111 = -b. Is 30 a factor of y?
False
Suppose -2 = 5*p + 3. Is 1*p*-13*4 a multiple of 12?
False
Let p(a) = -a**3 + 12*a**2 - 9*a - 1. Does 7 divide p(11)?
True
Let r = -39 + 63. Does 6 divide r?
True
Let t be (2/6)/((-5)/15). Let s(l) = -9*l**3 + 2*l**2 + 1. Let g(y) = y**3 - y**2 - y - 1. Let c(v) = t*g(v) - s(v). Is 3 a factor of c(1)?
False
Suppose 5 = 4*w + 141. Let u = -47 + 115. Let g = w + u. Does 17 divide g?
True
Let u = -34 + 52. Is 10 a factor of u?
False
Let j(w) = -w**3 - 6*w**2 + 2. Suppose 3 + 3 = -t. Let n be j(t). Does 2 divide ((-1)/(-1))/(n/8)?
True
Suppose 3*m - m - 6 = 0. Suppose 2*y - 2 = -2*c, y - 5*c = m + 28. Is 3 a factor of (-16 + -2)*(-2)/y?
True
Suppose -4*v = -3*v - 1. Does 21 divide 17 + v - (-7 + 4)?
True
Let o(p) = p**3 + 7*p**2 + 2*p - 5. Is o(-3) a multiple of 5?
True
Let q be (-126)/(-15) + 4/(-10). Let n(j) = -j**2 + 9*j. Is 4 a factor of n(q)?
True
Let h(k) = 2*k**2 + 9*k + 5. Let u be h(-8). Let m = -33 + u. Is m a multiple of 10?
False
Let d = -2 - 14. Let y = d + 43. Does 9 divide y?
True
Let s = 7 + -4. Suppose -r = s*r - 80. Suppose v = -v + r. Is v a multiple of 8?
False
Suppose 0 = -8*r + 4*r + 384. Does 24 divide r?
True
Suppose 7*q - 4*q = 6. Is 17 a factor of 65 - (q + (-1)/1)?
False
Let h(s) = 16*s**2 - 15*s - 91 + 102 + s**3 - 4*s. Is h(-17) a multiple of 15?
True
Let u(t) = t + 10. Suppose -2*y - 5 - 5 = 0. Is 3 a factor of u(y)?
False
Let u(l) be the first derivative of -l**4/4 - 4*l**3/3 + l**2/2 + 5. Is u(-5) a multiple of 3?
False
Let u = -119 + 174. Does 12 divide u?
False
Let o be (-14 + 1)/(3/(-9)). Suppose -5*d + 51 = -o. Is 6 a factor of d?
True
Let r(n) = n**2 - 2*n + 4. Let a be r(3). Suppose -a = -u + 13. Suppose u = 4*j + j. Is j a multiple of 3?
False
Suppose -3*h = -0*l + 2*l - 11, -2*l = 4*h - 16. Let c be (258/(-24))/(l/8). Does 9 divide 4/10 + c/5?
True
Let q = -38 - -49. Does 3 divide q?
False
Suppose -3*t = -2*y + 63, 4*t = -2 - 2. Does 22 divide y?
False
Suppose c = -3*t - 31, -7 = c - 3*t - 0. Let w = c + 12. Does 6 divide ((-12)/w)/(14/49)?
True
Let k(y) = y**3 - y. Let p be k(0). Suppose p = 3*b - b - 44. Let i = 32