 a multiple of 7?
True
Suppose -8 = 2*m + 6. Let h(z) = z**3 - 2*z**2 + z. Let q(y) = -5*y**3 - y**2 - 10*y + 4. Let v(w) = -4*h(w) - q(w). Is v(m) a multiple of 26?
True
Suppose -3 - 15 = -6*l. Suppose -l*d + 124 = -164. Does 8 divide (d/18)/((-2)/(-12))?
True
Let d(s) = -32*s - 3. Let u be d(-2). Let z = 139 - u. Suppose -m + 3*m = i + 46, -5*i = 4*m - z. Is 22 a factor of m?
True
Let h be (165/44)/(6/128). Suppose -7*n + h = -3*n. Is n a multiple of 3?
False
Let q = -43 + 7. Let y = q - -43. Is 7 a factor of y?
True
Let r(d) = 3 - 7*d**2 + 3*d**3 + 2*d**3 - 6*d**3. Let v be r(-7). Suppose v*h - 72 = 36. Is 20 a factor of h?
False
Is 5 a factor of 106*2/(4 + 0)?
False
Let s(h) = 8*h + 10. Let b be s(7). Let m(a) = 2*a**2 + 5*a + 2. Let i be m(-4). Suppose -4*p - 4*o + b = -i, -3*o - 84 = -5*p. Is p a multiple of 18?
True
Suppose 3*p - 2*v = 23, 0 = -3*p + 2*v - v + 25. Suppose -k - 3*y + 13 = 0, 2*k + p = 3*k + 5*y. Is 8 a factor of k?
False
Let g(s) = -30 - 3*s + 4 - 5*s. Is g(-6) a multiple of 4?
False
Suppose 2*r - 6 = 4. Suppose 64 = r*h - h. Does 16 divide (h/6)/((-19)/(-114))?
True
Let z be (-1)/(-2*(-4)/(-40)). Let c be z/20 + (-1)/4. Suppose 5*j - 4*b = 119, c*j - 2*j + 45 = b. Is j a multiple of 16?
False
Let b(z) = 10*z**2 - 240*z - z**3 + 240*z + 7. Is 21 a factor of b(9)?
False
Suppose 48*i - 10 = 53*i. Does 8 divide 21 + 1 + 4 + i?
True
Suppose -48 = -5*p + p + 4*w, -2*p + 9 = w. Suppose -p*z = 106 - 386. Is 20 a factor of z?
True
Let j(r) = 3*r**2 + 5*r + 10. Does 29 divide j(7)?
False
Let l = 2 - 0. Suppose c + 4*q - 10 = 3*q, 2*q = l*c. Suppose -15 - 25 = -4*a - z, -5*a - c*z = -50. Is 8 a factor of a?
False
Is 300/70*(-84)/(-9) a multiple of 6?
False
Let n(v) = v**2 + 8*v - 2. Let c be n(-9). Is 2/(c/((-147)/(-2))) a multiple of 7?
True
Let d = -76 + 14. Let l = 96 + d. Does 10 divide l?
False
Let z be 6*(-2 - -1)/(-3). Let v(b) = b**2 + 3 - 6*b + z + 2 + 5. Is 13 a factor of v(9)?
True
Suppose v = 2*x - 12, -3*x = -11 - 1. Let z(j) = j**3 + 9*j**2 + 5*j - 5. Does 22 divide z(v)?
False
Let s = -17 + 20. Is s + -2*(4 - 35) a multiple of 13?
True
Let b = 250 + 498. Does 65 divide b?
False
Let g be (-17)/(-5) + (-2)/5. Let i be ((83 - 2)/g)/1. Does 6 divide -5*i/(-15)*1?
False
Suppose 0 = -4*i + 4*o + 238 + 282, 0 = -5*i - 4*o + 668. Suppose b + b - i = 0. Is 11 a factor of b?
True
Suppose 0 = -5*c + 10 - 0. Suppose -2*g - c*g + 20 = 0. Is 5 a factor of g*(26/5 + -3)?
False
Does 9 divide (-4)/(-34) + 192666/102?
False
Let q = -837 - -897. Is q a multiple of 20?
True
Suppose 1675 = 3*c + 2*c. Let n = -227 + c. Is n a multiple of 12?
True
Let r(h) = 5*h**3 - 12*h - 15. Let c(s) = s**3 + s**2 - s - 1. Let i(x) = -6*c(x) + r(x). Is i(-6) a multiple of 6?
False
Suppose -3*m - 2*x + 475 = 0, -m = -5*m - 4*x + 640. Is m a multiple of 11?
False
Let h(d) = -21*d**3 - 3*d**2 + 6*d + 2. Let n(s) = -s**2 + s + 1. Let w(o) = h(o) - 5*n(o). Is 38 a factor of w(-2)?
False
Suppose 3*w - 10 = -2*q, 0 = -0*w + 3*w - 2*q - 26. Let k(j) = j**3 - 8*j**2 + 10*j - 8. Let r be k(w). Let a = 28 + r. Is 6 a factor of a?
False
Suppose -1 = -3*d + 4*j, -6 = -4*d - j + 4*j. Suppose t - d*f = -2*t + 390, t - 100 = -5*f. Does 25 divide t?
True
Let c(g) = 6*g - 83. Let z(d) = -5*d**2 + 23*d + 7. Let t be z(4). Is c(t) a multiple of 31?
True
Let s(y) = 8*y. Let c(u) = 6*u + 2. Let l be c(-2). Let x(w) = -w**3 - 10*w**2 - 2*w - 14. Let d be x(l). Is 16 a factor of s(d)?
True
Let l(j) = 2*j - 4 + 3*j**3 + 4*j**2 - 2*j**3 + 6. Let b be l(-3). Suppose 5*f = 5*m - 95, -115 = -b*m + 3*f - 2*f. Is m a multiple of 15?
False
Let q(x) = 532*x**3 + 2*x**2 - 1. Does 11 divide q(1)?
False
Suppose 2*u = -2*m - 36, 0*u = u + 2*m + 20. Let c = u + 19. Suppose c*r + 34 = 118. Is r a multiple of 7?
True
Let c(h) = h**2 + 7*h + 2. Let q be c(-6). Let n(g) = -2*g - 2. Let m be n(q). Suppose -m + 93 = 3*z. Does 25 divide z?
False
Let a(i) = 4*i**2 + 4*i - 4. Let u be (-16)/6*(-3)/2. Let m be a(u). Suppose -m = -3*c + 5. Is 6 a factor of c?
False
Suppose -3*v - 12 = -7*v. Suppose v*x = -16 + 1, 30 = 3*t - 3*x. Suppose t*q - 29 = -2*r, -2*r - 2*q + 4*q = 6. Does 2 divide r?
True
Let d(s) = 2*s**2 - 27*s - 89. Let b(l) = 3*l**2 - 40*l - 134. Let x(f) = 5*b(f) - 8*d(f). Is x(18) a multiple of 3?
True
Let m(x) = -x + 8. Let u be m(7). Let l be (3/9)/(u/12). Is 8 a factor of ((-33)/l)/((-21)/56)?
False
Suppose -196 = -w + 3*h, 2*w + h - 101 = 312. Is w a multiple of 5?
True
Let q(z) = 3*z**2 - 6*z + 5. Let j = -93 + 97. Is q(j) even?
False
Suppose -x - 5*p - 10 = 0, -2*x - x + 4*p = 68. Let g be 1/((-6)/(3*-86)). Let f = g + x. Is 8 a factor of f?
False
Suppose 0 = z + 15*z - 64. Suppose z*v - 209 = 279. Is 13 a factor of v?
False
Suppose 458 + 290 = 2*v. Does 40 divide v?
False
Let l be (6 - 2)/2 - -64. Suppose -4*j = -l - 102. Is j a multiple of 12?
False
Suppose 0 = -5*o + 3*d + 1 + 677, 0 = -5*o - 3*d + 672. Is o a multiple of 3?
True
Suppose 2*c - 26 + 6 = -2*i, -4*i - 2*c = -42. Suppose -i*z + 32 = -7*z. Let u(x) = -x**2 + 9*x + 1. Does 5 divide u(z)?
False
Suppose 2*p - x - 1380 - 6661 = 0, -4*x - 16076 = -4*p. Is p a multiple of 41?
False
Suppose 5 = -3*o - w + 1, 5*o - 5*w + 20 = 0. Let a = o + 4. Suppose -l + 121 = 3*h, 11 = -a*l + 1. Is 14 a factor of h?
True
Let p(l) = 175*l - 83. Is 16 a factor of p(9)?
False
Let y = -36 + 106. Let z = 160 - y. Does 10 divide z?
True
Suppose 57*i - 213640 = 23366. Is 18 a factor of i?
True
Let n(u) = -3 + u - 6*u - u + 3*u**2. Suppose 12 = -3*s - 0*s. Is n(s) a multiple of 17?
False
Let m(a) = a**3 + 6*a**2 - 31*a. Suppose -96 = 6*b + 6*b. Does 14 divide m(b)?
False
Suppose 6*b - 2185 + 589 = 0. Does 5 divide b?
False
Let x = 310 - -840. Does 13 divide x?
False
Is 22680/(-16)*(-10)/15 a multiple of 7?
True
Let q(c) = -32*c + 7. Let b = 32 - 29. Suppose -n - b = -0*n. Is q(n) a multiple of 31?
False
Let u be (-78)/13*(-10)/4. Let h be (-5 + -1)*10/u. Is 28 a factor of h/18 + (-1010)/(-9)?
True
Suppose -12*w - 24 = -8*w. Let p be -5 + 1 - 5*w. Let q = p - 14. Is 12 a factor of q?
True
Suppose 11*z - 9*z = 8. Suppose z*s + 2 = -2*y + 24, 4*y + 4*s - 32 = 0. Suppose -y*x = -0*x + 4*o - 237, -5*o + 150 = 3*x. Is x a multiple of 26?
False
Does 22 divide 2 + (-4)/1 + 90?
True
Suppose 4*r + 24 = -52. Let x = 39 + r. Is 912/x - (-9)/(-15) a multiple of 11?
False
Let d = -5 - 0. Let c be 0 - (-186)/(-2 - d). Suppose 0 = -3*n - f + c, 8 = -n - 3*f + 26. Does 4 divide n?
False
Let u(g) be the second derivative of g**5/20 + 5*g**4/12 - g**3/6 + g**2/2 - 3*g. Let i be u(-5). Let x(y) = -y**3 + 5*y**2 + 8*y. Is x(i) a multiple of 3?
True
Suppose -3*m + 11 = -1. Suppose -80 = -5*i + m*x, -4*i - x - 4*x = -23. Is i a multiple of 6?
True
Let c(m) = -16*m + 31. Let w be c(-8). Let d(k) = k**2 - 20*k + 7. Let v be d(9). Let x = w + v. Does 24 divide x?
False
Let c = -53 - -430. Is c a multiple of 29?
True
Does 33 divide ((-13)/((-52)/10632))/2?
False
Suppose -27*c - 680 = -32*c. Let f = c - 30. Is 29 a factor of f?
False
Let s = 45 - 45. Suppose 9 = -5*p + 6*p + 4*y, -3*p - 4*y + 35 = s. Is 9 a factor of p?
False
Suppose 8*b - 740 = 4*b - 4*m, b + 4*m = 197. Is 3 a factor of b?
False
Let i = -615 - -949. Is 51 a factor of i?
False
Let q(s) = -7*s + 0*s - 6 - 1. Let g = 3 + -7. Does 7 divide q(g)?
True
Let d(w) = w**3 + 2*w**2 + 2*w + 1. Let c be d(-1). Let g be 12/(-8)*1*-2. Suppose c = a + g*f - 28, 0 = 4*a + 5*f - 3*f - 62. Is a a multiple of 13?
True
Suppose -1575 = -8*s + 137. Does 41 divide s?
False
Let h be (-2)/(-10) - 3/15. Suppose -5*g + 2*k + 36 = -0*k, -4*k + 8 = h. Is g a multiple of 2?
True
Let z be 15/(-10)*(-8)/6. Suppose 14*l = 11*l. Suppose 2*m - 2*r = -l*r + 36, -z*m + 40 = -r. Is 22 a factor of m?
True
Let v(f) = f**2 + 9*f + 9. Suppose 0 = 4*k - 4 + 28. Let q be v(k). Is 2 a factor of q/(-2) - 6/4?
False
Suppose -8*a - 49 + 2177 = 0. Does 14 divide a?
True
Suppose 3*g + 2*w - 5*w = 3, -4*w - 7 = -5*g. Suppose 4*t = g*r + 286, -r = -4*t + r + 284. Is t/(-14)*(-16)/10 a multiple of 5?
False
Suppose -2*j + 0*j - 3*t = -29, -4*j + 91 = -5*t. Suppose -4*h - 4*w = -5*h + j, -3*h = w - 31. Is h a multiple of 2?
False
Let n(c) = 64*c - 151. Does 11 divide n(17)?
False
Let i = -246 + 776. Does 5 divide i?
True
Let f be (-5 + 0/(-6))*6/(-10). Su