 72 + n = 5*x - s*u, 0 = -3*u + 15. Is x a multiple of 11?
True
Let w(f) = -f**2 + 1. Let m be w(-1). Suppose -4*p - p + 240 = m. Is 12 a factor of p?
True
Suppose x = 4*f + 27 + 4, 3*x - f - 115 = 0. Does 12 divide x?
False
Let a = 206 - -28. Does 18 divide a?
True
Suppose 33 = 4*d - 87. Let g(p) = d*p**3 - 2*p**2 - 1 + p + p + p**2. Does 15 divide g(1)?
True
Let r(i) = -i**2 - i + 34. Suppose 0 = 3*p + p. Does 9 divide r(p)?
False
Let z(t) = -4*t**3 - t - 1. Suppose n + 3*h = -14, 3*n + 4 = 5*n - 2*h. Is z(n) a multiple of 13?
False
Suppose -25 = -3*z - 2*a - 8, 0 = -z - 2*a + 7. Let m be (-2)/z + 97/5. Let l = m - -28. Is l a multiple of 16?
False
Suppose -2*n = -0 - 4. Suppose -n*b - 2*o + 2 = -42, -o = -2. Does 4 divide b?
True
Let v(x) = x**2 - x + 2. Is 4 a factor of v(4)?
False
Let a = -3 - -6. Let x = 4 - 1. Suppose 0 = 4*o - a*j - 62, x*o + 4*j - 39 = -5. Is 13 a factor of o?
False
Suppose -2*v + m + 32 = 0, 3*v + m + 0*m - 48 = 0. Let s(q) = -q - 2. Let i be s(-4). Let w = i + v. Is w a multiple of 14?
False
Suppose q - 44 = -3*q. Suppose -3*b - 41 = -2*f, -5*f - q - 31 = b. Does 17 divide b/2*(-2 + -2)?
True
Let q be (-1)/(20/12 + -2). Suppose q*r - 4 = 17. Does 7 divide r?
True
Suppose 4*o + 20 = 0, 2*k + 4*o = 3*k - 152. Let x be (k/3)/(3/3). Suppose 3*p - 1 = x. Is p a multiple of 15?
True
Let a be (12/(-16))/(2/(-8)). Let h be (-3 - 21)*(-1 - 0). Suppose a*c - h = -0*c. Is 4 a factor of c?
True
Suppose 0 = -3*h - 3*o - 9, -19 = -3*h + 3*o - 4. Let d = 2 + h. Suppose -d = -v - 4*n, -4*v + 5*n = 2 - 14. Does 2 divide v?
False
Suppose 7*w - 140 = 2*w. Is 7 a factor of w*(-1)/(-6)*3?
True
Suppose -4*p - 3*q + 39 = 0, -6*q + 25 = -q. Suppose 2*n + 96 = p*n. Does 12 divide n?
True
Suppose 0 = 7*j - 714 - 49. Is 18 a factor of j?
False
Let s(o) = -o**3 - o**2 + o + 11. Let r be s(0). Suppose w = 5*m - 67, m + 4*w - 15 - r = 0. Is m a multiple of 14?
True
Suppose -252 = -9*x + 3*x. Is 21 a factor of x?
True
Let v = -4 - -4. Let t(y) = y**2 - 8*y - 9. Let x be t(9). Suppose -5*b + x*k + 69 = k, -5*b + 3*k + 73 = v. Is 8 a factor of b?
False
Let w = -47 - -25. Is 10 a factor of 1/(w/(-21) - 1)?
False
Suppose 5*g - 11 - 14 = 0. Suppose 23 = g*c - 7. Is 7 a factor of 56/c - (-1)/(-3)?
False
Suppose -4*g + 127 = -3*v, 0 = -4*g - 3*v + 116 - 19. Does 20 divide g?
False
Let p = -10 + 18. Suppose 0 = -2*g + p - 2. Suppose k = l - 6, g*l - 2*l - 2*k = 3. Does 9 divide l?
True
Let q(u) = -2*u**2 + 7*u + 8. Let d be q(6). Let g be (-2)/(d/26 - -1). Let w = 20 + g. Is w a multiple of 2?
False
Let v = 4 - 4. Suppose -t = -2*u - 12, 2*t + 4*u + 0 - 16 = v. Is 10 a factor of t?
True
Suppose -490 = -10*x + 280. Is 8 a factor of x?
False
Is 12 a factor of (-4)/8 - 484/(-8)?
True
Suppose 2*j + 3*j = 10. Is 2 a factor of j?
True
Let a(j) = j**2 + 6*j - 4. Let f(t) = 2*t**2 + 13*t - 8. Let q(k) = 9*a(k) - 4*f(k). Does 11 divide q(-5)?
True
Suppose 0 = 2*g + 5*l - 173, 5*l = g - 6*g + 425. Does 21 divide g?
True
Let a be 3/((-18)/(-2))*12. Let l(x) = 48*x**2 + x. Let f be l(-1). Suppose s - 4*k - 20 = 0, a*k = 4*s - k - f. Is s a multiple of 3?
False
Suppose 0 = -2*p + 5*s + 15, 2*p + 5*s = -13 - 2. Suppose p*u + 4*u - 156 = 0. Let v = -1 + u. Does 19 divide v?
True
Let m be 5/(-2)*2/(-1). Suppose 0*i - m*b = -2*i + 50, 5*b = -10. Is 10 a factor of i?
True
Let c(m) = -15*m**3 + 8*m**2 - 4*m - 7. Let g(u) = -2*u**3 + 3*u**2 - 2 - u - 4*u**3 + 2*u**3 - u**2. Let s(l) = -6*c(l) + 22*g(l). Does 11 divide s(3)?
True
Suppose 3 = c, 4*c + 248 = 4*r - 0*c. Is 13 a factor of r?
True
Let m = -10 - -9. Suppose -2*h = 4*r - 2, 0 = -3*r - 4*h + 5*h - 6. Is (r/1)/(m/4) a multiple of 3?
False
Suppose s = 23 + 10. Does 13 divide s?
False
Let b = -4 - -8. Suppose -4*o = -9*o + 105. Suppose 3*v + g = o, 3*v + b*g - 10 = 2. Does 3 divide v?
False
Let w = 89 + -14. Is 15 a factor of w?
True
Let y(u) = 2*u**2 - 4*u - 2. Is 27 a factor of y(5)?
False
Let n(h) = 2*h**2 - 1. Let r be -1 + 1/((-1)/(-2)). Suppose 5*a + 9 = -r. Is 3 a factor of n(a)?
False
Let w(l) = -l**3 + 19. Let s be w(0). Let x = 59 - s. Is 16 a factor of x?
False
Suppose 2*l - 228 = 44. Suppose l = 4*t + 36. Is t a multiple of 22?
False
Let h be (-2)/(-1)*(8 - 39). Let j = h + 87. Does 10 divide j?
False
Let q(r) = r**2 - 13*r + 5. Let c be q(13). Suppose 5*h + w = -0*w + 14, 5*w + 20 = c*h. Is h a multiple of 3?
True
Suppose 0*t + 3*t - 15 = 0. Let y = 8 - t. Suppose y*h - 27 - 6 = 0. Is h a multiple of 11?
True
Suppose -94*s + 98*s - 812 = 0. Does 29 divide s?
True
Let x be 3 - (1 + -1 - 0). Suppose -2*o + 15 = o + x*r, 2*o - 4*r = 4. Suppose o*b = -0*b + 32. Is b a multiple of 4?
True
Let h = -97 + 153. Is h a multiple of 14?
True
Let d(j) = 5*j - 3. Let x(l) = -l**3 + 9*l**2 + l - 5. Let o = 23 + -14. Let g be x(o). Does 9 divide d(g)?
False
Let t = 4 - -6. Suppose -10 = -5*f + t. Is 4 a factor of f?
True
Let p be (-3)/(-2) - 2/(-4). Suppose 0 = -5*u + 3*w + 10, -p*w = u - 2 - 0. Does 15 divide ((-6)/(-8))/(u/80)?
True
Let p(t) = -t**2 - 2*t - 1. Let l be p(-1). Suppose 2*x = -l*x + 30. Does 11 divide x?
False
Suppose 2*a + 4*o = -6, 0 = 4*a - 0*o - o - 6. Let y = 14 + a. Is -1 + y + (1 - -1) a multiple of 7?
False
Let m = 25 + -7. Suppose -4*a + m + 62 = 0. Is a a multiple of 10?
True
Let w = -146 - -99. Let o = w - -78. Is 14 a factor of o?
False
Let k = -17 - -22. Suppose 5*j - 222 + 77 = -5*x, k*j = -4*x + 141. Is j a multiple of 7?
False
Let z = 23 + -14. Does 8 divide z?
False
Let r = 546 - 389. Does 11 divide r?
False
Suppose 93 = 3*b - 3*a, -166 = -5*b - 5*a - 41. Is b a multiple of 7?
True
Let y(l) = -l - 18. Let w(m) = -m**3 + 3*m**2 + 2*m + 2. Let x be w(4). Let r be y(x). Does 12 divide -2 + 1 + 4 - r?
False
Let i(b) = -b + 10. Let z be i(10). Suppose -5*x + 0*x + 30 = z. Is 6 a factor of x?
True
Let f = -4 - -6. Suppose f = t - 4. Does 3 divide t?
True
Let c be (-50)/2*60/(-50). Suppose y - 3*o - 3 = -0*o, -2*o - c = -3*y. Is y a multiple of 6?
True
Let b = 1 + 1. Suppose 32 = b*l - 5*c, -2*l + 24 = -0*c - c. Does 11 divide (-4*l/2)/(-2)?
True
Suppose -u + 17 = -8. Let w = 51 - u. Does 10 divide w?
False
Is 7 a factor of (-15)/(-45) + (-146)/(-3)?
True
Let k(l) be the third derivative of -l**6/120 + 7*l**5/60 + l**3/2 - 2*l**2. Let m be k(7). Suppose -79 = -m*x + 5. Does 14 divide x?
True
Let j(v) be the third derivative of 3*v**5/10 + v**4/24 - 3*v**2. Does 11 divide j(-1)?
False
Let g(z) = -z**2 + 10*z - 12. Let b be g(8). Suppose 2*r = b*k - 98, -4*r - r - 38 = -k. Is k a multiple of 23?
True
Let l(m) = 2*m - 4. Let y be l(4). Let j(q) = 7 + 4*q - q - y*q. Does 12 divide j(-5)?
True
Suppose r + 10 = 163. Suppose 0 = -5*l - 63 + r. Is 6 a factor of l?
True
Suppose -34 - 20 = -2*v. Is 3 a factor of v?
True
Let y(n) = n**3 + 3*n**2 - 4*n - 3. Suppose -2*r = -2*j + 4, -6 = r + 2*r - j. Does 4 divide y(r)?
False
Is 3 a factor of (-1008)/(-77) + (-1)/11?
False
Is 7 a factor of -132*(-6 + 3 + 8/3)?
False
Let r(q) = -5*q - 6. Let u be (-2)/((-21)/(-15) + -1). Let l = 1 + u. Does 13 divide r(l)?
False
Suppose o + 3*n = 27, 3*o - 33 = 2*n + 26. Is o a multiple of 10?
False
Let d be 30/(-4)*4/6. Let m be (3/4)/(d/(-20)). Suppose -m*s - r = -137, 3*s - r - 181 + 54 = 0. Is s a multiple of 15?
False
Let z be (-4 + 14/4)*-2. Let c(m) = 29*m**3 + 2*m**2 - 1. Does 9 divide c(z)?
False
Suppose v - 3*z = -2*z - 9, -v + 3*z = 19. Let b be v/(-2) + 1*4. Let m = 4 + b. Is m a multiple of 10?
True
Let x(f) = f - 5. Let m be x(3). Let i(h) be the first derivative of -h**4/2 - 2*h**3/3 + h**2/2 + h + 7. Is i(m) a multiple of 6?
False
Let o(n) = -3*n + 2. Let c(m) = 2*m - 1. Let u(t) = -14*c(t) - 6*o(t). Is u(-3) a multiple of 8?
True
Is 30 a factor of (-149)/(1 - 2) + 4 + -3?
True
Let q be 1*(3 - 2) + 3. Suppose -2*o - b + 0*b = -19, 0 = -q*b - 4. Suppose -o + 32 = i. Does 9 divide i?
False
Is 17 a factor of (3 - 1)*1 - -53?
False
Suppose 130 - 510 = -5*f. Is f a multiple of 19?
True
Let h be 8/4 - (-2 - -1). Suppose -h*s = -0*s - 102. Does 17 divide s?
True
Let u(z) = z**3 + 6*z**2 - 6*z + 6. Let o be u(-7). Let q be o/(10/(-4) - -2). Suppose 0 - 8 = -q*l. Does 4 divide l?
True
Let d(z) = -33*z + 12. Does 16 divide d(-5)?
False
Suppose -p + 3*t - 72 = 0, 2*p = -2*t - 18 - 134. Let j = 123 + p. Is 18 a factor