(z). Is 5 a factor of a(7)?
True
Let o(t) be the first derivative of -t**4/4 + 5*t**3/3 - 3*t**2/2 - t + 1. Let a be o(4). Is 8 a factor of a/(-2)*(-20)/3?
False
Suppose -2*v + 5*d = -18, -v = -4*v + 3*d + 18. Let l(w) = 22*w - 5. Is l(v) a multiple of 16?
False
Let f be 0 + 2 + (-36)/3. Let x(v) = -v**3 - 8*v**2 + 12*v - 2. Is 39 a factor of x(f)?
True
Let p be -2*1/(-2)*2. Let h = p + -3. Does 6 divide (0/h - 15)/(-1)?
False
Does 25 divide -3*(11046/18)/(-7)?
False
Let u(a) = -31*a - 1. Let d be u(-1). Suppose 3*g - 18 = d. Does 6 divide (1/2)/(1/g)?
False
Suppose -6*i + i = -155. Let r = i - 19. Is r a multiple of 5?
False
Suppose -6*o + 10*o = 864. Is 9 a factor of o?
True
Suppose -5*k - 14 = d, d + k - 2 = -0*k. Is 2 a factor of d?
True
Let c(f) = -f**3 + 8*f**2 - 4*f. Let v = -16 + 23. Does 7 divide c(v)?
True
Let a(s) = 49*s - 13. Let r(k) = 24*k - 7. Let b(m) = -4*a(m) + 9*r(m). Is 19 a factor of b(5)?
False
Let c = 262 - 184. Does 26 divide c?
True
Suppose 81 = -5*s + 6. Is 16 a factor of ((-96)/s)/((-1)/(-5))?
True
Suppose -7*w = c - 2*w - 59, 0 = -5*c + 3*w + 435. Is 14 a factor of c?
True
Let o = 33 + -12. Is o a multiple of 3?
True
Let j(p) = p**3 + 5*p**2 - 4. Let g(x) = x - 2. Let i be g(-2). Does 12 divide j(i)?
True
Let b = 410 + -227. Is b a multiple of 9?
False
Suppose -5*u = -32 + 12. Let y(c) = 5*c + 4. Let a be y(4). Suppose -j + 6 = q, -7*j + 2*j = -u*q + a. Is 3 a factor of q?
True
Let y(a) = -a**2 + 4*a + 6. Let j be y(5). Is 18 a factor of j/(-3) + 110/6?
True
Suppose 123 = -j + 4*j. Is 35 a factor of j?
False
Let m(o) = -o + 14. Is m(11) even?
False
Let j be (1*2)/(-6 - -8). Suppose -12 = -2*q + u, -5*u + 2 + j = -q. Does 5 divide q?
False
Let u be 1 - 5 - (-2 + -2). Suppose 7*n - 2*n - 85 = u. Does 11 divide n?
False
Let p(i) = -i**2 + 10*i + 10. Is 9 a factor of p(5)?
False
Let r(b) = 10*b - 2. Suppose 3*g + 16 = 7*g. Suppose 0 = -2*d - g*q + 18, -q - q = -6. Does 9 divide r(d)?
False
Let l(m) = m - 1. Let i = -3 - -8. Is 2 a factor of l(i)?
True
Suppose -3*w + 120 = f, 510 = 7*f - 2*f - 3*w. Let l = f - 59. Does 15 divide l?
False
Let g be 22/6 + 1/3. Suppose -110 = -2*j - 2*r + 48, -j = -4*r - 104. Suppose 2*u + 5*i = 83, -g*u + 5*i + j + 7 = 0. Does 13 divide u?
False
Suppose 0 = p - 3*d - 58, 2*d - 69 - 72 = -3*p. Is 13 a factor of p?
False
Suppose 2*t = t + 49. Is t a multiple of 11?
False
Let m(n) = -n + 1. Let i be m(3). Let h = i - -5. Suppose 4*f + 0*u = 4*u + 116, 4*u = -h*f + 59. Is f a multiple of 10?
False
Suppose -u + 3 = -0. Let g be (u + -1)*(-1)/2. Is g*(-2 - 6) - -2 a multiple of 7?
False
Suppose -4*g + 608 = 144. Suppose 0 = v + 3*v - g. Suppose 0*o = o - v. Is o a multiple of 17?
False
Let g = 21 - -140. Is g a multiple of 6?
False
Suppose 5*x - 204 = 2*x. Does 20 divide x?
False
Let y(u) = 118*u**3 + u**2 - 2*u. Is y(1) a multiple of 39?
True
Let g(s) = 7*s + 8. Let m be g(4). Suppose 3*j - 2*j = m. Does 9 divide j?
True
Suppose -2*u + 35 = 1. Suppose -4*b - u = -5, -2*r + 4*b = -54. Is r a multiple of 7?
True
Let n be ((-3)/6)/(3/(-54)). Let c = 12 - n. Is -2 - (1 - c) - -24 a multiple of 12?
True
Suppose 0 = i - 3*i. Suppose 0 = -i*q + 2*q - 16. Is q a multiple of 7?
False
Suppose 3*a = -4 - 5. Let f = 2 + a. Let j(u) = -33*u - 1. Does 16 divide j(f)?
True
Suppose -9*l = -4*l - 295. Is 10 a factor of l?
False
Let b(k) = k**3 + 11*k**2 + 6*k + 8. Suppose -7 = -l - 4*y - 29, -4*l = -3*y + 31. Is 24 a factor of b(l)?
True
Let k(a) = a**2 - 23*a - 10. Does 35 divide k(-5)?
False
Let d(m) be the third derivative of -1/60*m**6 + 1/12*m**4 + 0 + 0*m**5 + 0*m - 2*m**2 - 1/6*m**3. Does 11 divide d(-2)?
True
Is 3 a factor of ((-12)/14)/((-8)/56)?
True
Let x(o) = -o**3 + 3*o**2 + 2*o - 4. Let f be x(3). Let m be (-10)/4*16/(-10). Let a = f + m. Is a a multiple of 3?
True
Let r(b) = 6*b**3 - b + 1. Let z be r(1). Let m = 30 - z. Does 6 divide m?
True
Suppose -q = 5 + 2. Let v = 7 - q. Does 7 divide v?
True
Let i = 7 - 1. Let h be -1*(i - 3) + 3. Suppose -3*s + 33 + 21 = h. Is 7 a factor of s?
False
Let v = 307 + -27. Is v a multiple of 37?
False
Suppose b + 1712 = 3*g - 0*b, -3*b = -4*g + 2286. Does 12 divide 2/11 + g/11?
False
Let z(t) = t + 23. Is z(0) a multiple of 13?
False
Let h(z) = -19*z**3 - 2*z**2 + 1. Let w be h(-1). Suppose 26 + w = r. Is 22 a factor of r?
True
Let t be 6/18 - (-136)/6. Let a = -14 + t. Is a a multiple of 7?
False
Suppose m + 6*r - r + 3 = 0, -3*m = r - 5. Suppose i - m*i = -3. Does 2 divide i?
False
Is 24 a factor of (-4 - 2)*-24 - 0?
True
Let w(g) be the first derivative of g**4/4 + 7*g**3/3 - 2*g**2 - 8*g - 1. Let q be w(-7). Let d = q - 12. Does 5 divide d?
False
Suppose 467 = 16*q - 4813. Does 41 divide q?
False
Let b be (-51)/(-2)*(-16)/(-12). Let q be -11 - (0 - 0)*1. Let f = q + b. Does 9 divide f?
False
Let a = 10 - -14. Suppose -8 + a = 4*t. Let u(k) = -k**2 + 6*k - 3. Is u(t) even?
False
Let r(z) be the third derivative of z**7/1260 - 11*z**6/720 - 7*z**5/120 + z**4/12 + z**2. Let k(p) be the second derivative of r(p). Is k(8) a multiple of 12?
False
Let j = -177 - -288. Is 17 a factor of j?
False
Let p(a) = 0*a**2 - a**2 + 4*a**2. Let w be p(-5). Suppose 4*f = 7*l - 2*l + 99, 4*f + 3*l = w. Does 11 divide f?
False
Suppose -22*z + 180 = -20*z. Is z a multiple of 18?
True
Suppose -2*l = 2*l + 4. Let r be 3 + l - (2 - 3). Suppose r*z - 3 = 33. Is 6 a factor of z?
True
Suppose -4*t - 13 = b, b = 5*b - t - 16. Suppose r + r = d + 17, -2*r + 19 = -b*d. Is r a multiple of 8?
True
Let o = -64 + 122. Does 6 divide o?
False
Let q(j) = j**3 + 5*j**2 + 5*j + 3. Let v be q(-5). Let d = 22 - v. Suppose 4*o - d = 2*w - w, -o + 11 = -2*w. Is o a multiple of 7?
False
Let i = -11 - -42. Let n = i + -8. Is 10 a factor of n?
False
Suppose 4*s + 5*p - 120 = 0, -2*s + p = -3*s + 30. Does 5 divide s?
True
Let d(h) be the first derivative of -h**3/3 + 15*h**2/2 - 6*h - 3. Is d(11) a multiple of 19?
True
Let w = 13 - -4. Let b = w + -1. Suppose 4*t = -3*g + 134, b = g - 4*t - 18. Does 24 divide g?
False
Let c be ((-2)/(-4))/(1/70). Suppose 0 = 3*z - 8*z - 5*r - 25, 3*z + 5 = -r. Suppose -4*b + z = 5*d - 15, 3*b = d + c. Is 6 a factor of b?
False
Let u be -1*-1*(-3 + 3). Suppose -k - 2*k - 6 = u. Is -17*(-2 + 3 + k) a multiple of 17?
True
Let t be (-6)/21 + (-738)/14. Let f be 460/(-6) + (-1)/3. Let q = t - f. Is 12 a factor of q?
True
Let b be 2/8 - 7/(-4). Suppose -b*m = m + 42. Does 7 divide (0 + -1)/(1/m)?
True
Let n(u) = -2*u - 9. Suppose j + 16 = -0*j. Let c be ((-22)/(-3))/(j/24). Is 13 a factor of n(c)?
True
Does 15 divide (12/(-30))/((-1)/150)?
True
Is 8 a factor of (-7)/(21/(-60)) + 4?
True
Suppose 0 = 2*q - 4*q + 16. Suppose 5*c - q - 77 = 0. Is c a multiple of 8?
False
Let j = -128 + 134. Does 3 divide j?
True
Suppose 8*j - 5*j = 9. Suppose -3*y - y = 2*m - 44, 73 = j*m - y. Does 4 divide m?
True
Let f = 4 + -2. Let b be ((-2)/(-4))/((-1)/(-16)). Suppose -5*o + b = -f. Does 2 divide o?
True
Let y be 14/6*(-9)/(-3). Suppose -l = -4*b + 23, -b = y*l - 2*l - 11. Does 2 divide b?
True
Let z = -5 + 7. Suppose -z*n = n. Suppose -o + 34 = -n*o. Is o a multiple of 9?
False
Let c = -4 + -22. Let g = 40 + c. Is 12 a factor of g?
False
Let r = -118 - -182. Is r a multiple of 16?
True
Suppose n + a = -2*a + 80, n - a - 68 = 0. Is 6 a factor of n?
False
Let r(x) = x**2 + x - 10. Let k be r(3). Suppose 6 = j + j. Suppose -j*z - k*z = 0, -4*w = z - 52. Is 11 a factor of w?
False
Let m = 20 + -13. Is m even?
False
Let z(g) = 4*g**2 + 6*g + 4. Let p be 68/(-18) + 6/(-27). Is 11 a factor of z(p)?
True
Let d(f) = f**2 + 14*f - 10. Let q be d(-15). Suppose q*x - 214 = -2*w, 5*w = 5*x - 61 - 139. Is 23 a factor of x?
False
Let n(z) = -2*z**3 - 5*z**2 + 2*z - 1. Let c be n(-4). Let x = -10 + c. Is x a multiple of 26?
False
Let q(r) = 5*r - 5. Let w be q(2). Suppose -w*b + 105 + 15 = 0. Is b a multiple of 12?
True
Suppose 2*r + s + 3*s - 138 = 0, 3*s = -3*r + 222. Suppose -t + r = 2*t + 5*m, 4*t - 92 = -4*m. Is 10 a factor of t?
False
Is (4/(-8))/(2/(-224)) a multiple of 7?
True
Let y = 102 + 250. Does 22 divide y?
True
Suppose 5*g - 488 = 3*z, -g - 2*g + 292 = -2*z. Is g a multiple of 15?
False
Let p(l) = l**2 - l - 3. Let y be 62/10 - (-1)/(-5). Let t be p(y). Suppose 36 = 2*c - 4*f, f - 8 - t 