1*d + 0 + 19/6*d**4 + 1/6*d**3. Is y(-1) a multiple of 10?
False
Suppose -4*w = 3*s + 2, 0*s - 19 = s + 5*w. Suppose -2*u = -2*p - 5*u - 8, -2*u = 4*p. Suppose j - 2*i = s, i + 5 = p*j - 7. Is 6 a factor of j?
True
Let t be 1 + 0 + -1 + 5. Suppose -4*f + 5*g = -f - 267, -5*f = t*g - 405. Is 28 a factor of f?
True
Let a be -1*3 - (7 - 19). Suppose -a*v + 8*v = -4. Is 2 a factor of v?
True
Let i(g) = -8 - 11*g - 10 + 14*g. Is 15 a factor of i(11)?
True
Let x be (-18)/(-42) + 3/(-7). Suppose -m + 5*r + 107 = x, 4*r - 275 = -3*m + 46. Is m a multiple of 34?
False
Suppose 3*n - 3644 = -5*d, 4*n + 3*d = -d + 4856. Is n a multiple of 31?
False
Let g = -19 - -203. Is 12 a factor of g?
False
Suppose -4*n + 3*q = -337, 2*n - 5*n + 252 = -2*q. Is n a multiple of 14?
False
Suppose -4*j + 4 + 12 = 0, -10 = -3*o + 2*j. Let b be 0/8 + o/1. Let z(i) = i - 2. Is 2 a factor of z(b)?
True
Let o be 239 + -2 + (1 + 0)*-1. Suppose -5*r + o = 2*g, -8 = 4*r - 2*r. Does 41 divide g?
False
Does 23 divide 68 - (-1 - (-2)/4)*-2?
False
Let u be 2*(-1)/(-2)*4. Let j = -7 + u. Is (0 + -4 + j)*-1 a multiple of 2?
False
Let s(l) = -2*l**2 - 72*l + 24. Does 10 divide s(-34)?
True
Suppose -6*b - 3 = -39. Is 15 a factor of (262/b)/(10/30)?
False
Suppose -15*z - 30 = -16*z. Suppose -o = -5*x - 3*o - 39, 2*x - 4*o + z = 0. Let g(j) = j**3 + 11*j**2 + 12*j - 5. Does 10 divide g(x)?
False
Let s(d) = -20*d + 2. Let l be s(-1). Let q = 29 - l. Let p(g) = g**2 - 3*g + 11. Does 14 divide p(q)?
False
Suppose r + 3*y = -12, r + 1 = -2*r - 2*y. Suppose 16 = 4*z - 2*f - 18, -5*f - 15 = -r*z. Suppose 3*i + z = n, -n + 4 = -2*n - 4*i. Is n a multiple of 2?
True
Let y(k) = -k**3 - 8*k**2 - 12*k - 4. Let a be y(-6). Let r be a/32 - (-33)/8. Suppose 2 + 358 = r*j. Is j a multiple of 18?
True
Suppose 0 = -2*k + 9 - 9. Let s = -11 + 15. Suppose k = 3*u - 5*u - 5*q + 27, -99 = -s*u + 5*q. Is 12 a factor of u?
False
Suppose -11080 = 2*i - 0*i. Is 51 a factor of i/(-14) - (27/(-21) - -1)?
False
Let n(f) = 3*f**2 + 9*f + 6. Let b(j) = 2*j**2 + 4*j + 3. Let q(t) = 5*b(t) - 3*n(t). Is 19 a factor of q(-8)?
False
Let s(g) = -g**3 + 8*g**2 - 8*g + 13. Suppose f - 21 = -2*f. Let j be s(f). Suppose 2*h - 14 = -2*w + j*w, 8 = 2*h - w. Is h a multiple of 2?
False
Let p be (8/10)/(((-16)/60)/(-2)). Does 11 divide 693/(-6)*p/7*-2?
True
Suppose 0 = -r + 4 - 34. Does 12 divide (72/(-15))/(3/r)?
True
Let s(r) = -r**3 + r**2 - r + 530. Let f be s(0). Suppose 11*g - 9 = f. Does 7 divide g?
True
Let d be 1/(-3 + (-390)/(-129)). Suppose d*y = 42*y + 11. Is y a multiple of 11?
True
Let q = 316 + 130. Is 22 a factor of q?
False
Let j be 1*(7/4 + 1/4). Let o(m) = 14*m**3 + m**2 - 5*m + 2. Is o(j) a multiple of 18?
True
Suppose -f - 2*k - 3 = -k, 2*k = -3*f - 4. Suppose 0 = -5*g + 4*y + 14, f*y + 3*y = -5. Suppose -g*j + 80 = 2*j. Is j a multiple of 12?
False
Let m = 1110 - 774. Is 6 a factor of m?
True
Let s(l) = 2*l**2 + 3*l + 8. Does 3 divide s(10)?
False
Suppose -3*u + 2 + 13 = 0, 2*u + 95 = 3*c. Let p = 112 - c. Does 11 divide p?
True
Suppose 7 = w - m, 5*m + 26 = 3*w + m. Let r be (-1 + w)/(8/112). Is 3 a factor of -7*-12*2/r?
True
Let x be 2/3 - 107/3 - 2. Let w = x + 81. Does 4 divide w?
True
Let y(w) = w**2 + 3*w - 6. Suppose 5*n = q - 22, 5*q + 24 = -2*n - 1. Let r be y(n). Let f(o) = -o + 8. Is f(r) a multiple of 2?
True
Suppose -54*m + 73*m - 38 = 0. Let i be (0 - 4/(-1)) + -1. Suppose m*y - 23 = -i. Is y a multiple of 3?
False
Let j(z) = 110*z - 2. Let s be j(1). Suppose 0 = x, 0 = -6*f + 5*f - x + s. Is 3 a factor of f?
True
Suppose -72*l = -66*l - 4158. Does 12 divide l?
False
Let g = -6 - -2. Let w be (-2)/(-4) + (-22)/g. Suppose -18 = -p + w. Is p a multiple of 7?
False
Let o(t) = 10*t + 2. Let i be o(-2). Let a = i + 20. Suppose -q + 30 = a*q. Does 6 divide q?
False
Let w(a) be the third derivative of a**6/120 - 3*a**5/20 - 11*a**4/24 + 2*a**3/3 - 2*a**2 - 9*a. Does 25 divide w(11)?
True
Suppose 5*r + 14 = -u, -9 = -3*u + 4*r - 2*r. Does 5 divide (2 - u)/(414/(-210) - -2)?
True
Let y = -8 - -10. Suppose 6 = -3*f + 3*r, 10*f - 5*f + y*r = 18. Suppose i - 44 - 15 = -l, 4*l = f*i + 230. Is l a multiple of 10?
False
Suppose 4*k = -4*n + 20, 3 = k + 2*k. Suppose 0 = 5*j - w - 33, -2*j - n*w + 22 = -0*w. Is 3 a factor of j?
False
Suppose 0 = -3*l - 6, 163*p - l - 4358 = 161*p. Is p a multiple of 18?
True
Is (-3)/((0 - -2)/2) - -265 a multiple of 79?
False
Let y = -3 - -1. Let z(l) = 5*l**2 + 6*l + 9. Let r(i) = 5*i**2 + 5*i + 9. Let x(q) = y*r(q) + 3*z(q). Is 19 a factor of x(-4)?
True
Suppose -13*j + 264 = -9*j. Let a = -2 - j. Does 4 divide a/17 + (10 - -1)?
False
Let w = 43 + -55. Does 6 divide 46 - w/4*1?
False
Let x = -31 - -28. Does 11 divide (-33)/(27/(-8) - x)?
True
Let d = 31 + -38. Is 22 a factor of (-192)/(-7) + 3/d?
False
Let g(t) = t**2 - 18*t + 12. Let b be g(10). Let n = b + 137. Is 15 a factor of n?
False
Let k(h) = 3*h**2 + 13*h + 8. Let i(b) = 9*b + 9 + 7*b**2 + 3*b**2 - 6*b**2 + 5*b. Let o(q) = 5*i(q) - 6*k(q). Is 13 a factor of o(6)?
False
Let k = -336 - -338. Let v(u) = -272*u + 1. Let l be v(-1). Suppose r = 3*q - l, -k*q + 2*r + 456 = 3*q. Is 30 a factor of q?
True
Suppose o + w - 75 = 50, 5*w = 3*o - 415. Does 50 divide o?
False
Let x(y) = y**2 + 12*y + 136. Is 25 a factor of x(-31)?
True
Suppose 8*c + 11869 = 5*p + 5*c, 3*p - 3*c - 7119 = 0. Suppose 779 = -7*j + p. Is 19 a factor of j?
True
Suppose 0 = 3*i - 4*d - 5593, 4*i + 20*d = 16*d + 7448. Does 27 divide i?
True
Suppose 12*o - 37*o + 2750 = 0. Does 5 divide o?
True
Let t(m) = -2*m**2 - 9*m + 21. Let o be t(-6). Suppose 2*l + 3*l - o*w = 465, -w - 379 = -4*l. Does 11 divide l?
False
Suppose 22 = 2*h + 2*r, -h + 5*r + 4 = -1. Let y(l) = 61 - l - 123 + 62 - l**2 + 2*l**2. Is y(h) a multiple of 18?
True
Suppose d = -d + 26. Suppose d = -2*b + 3, 0 = 4*l + 4*b - 656. Is 25 a factor of l?
False
Let f(t) = -t**2 - 2*t. Let x be f(0). Suppose d - 1 - 4 = x. Suppose 2*y = -u + d + 8, -u = y - 10. Is 3 a factor of u?
False
Let x = -63 + 55. Let r(q) = 5*q**2 + 6*q - 5. Is 18 a factor of r(x)?
False
Let a(j) = -17*j**3 + 16*j**2 + 7*j + 1. Does 19 divide a(-6)?
False
Let x be (3/2)/(6/(-4)). Is 5/2 + x - 1001/(-14) a multiple of 18?
False
Suppose -4*d = -4*o + 4, 0 = 2*o + 3*d - 2 - 15. Suppose -o*r - 5*k = 7, 2*r = -2*k - k - 5. Is 6 a factor of (-6 + 0)/(r/(-6))?
True
Suppose -6*m + 360 = -2316. Is 21 a factor of m?
False
Let o(s) = s**3 - 5*s**2 - 21*s - 25. Does 5 divide o(10)?
True
Let a = 5 - -39. Let t(j) = -6*j + 89. Let g be t(14). Suppose -4*p + a = 3*o, -29 = -3*o + p + g. Is o a multiple of 4?
True
Suppose 0*n - 4*n - 184 = 0. Let f = n + 51. Is 2 a factor of f?
False
Suppose -3*c + 5*f + 104 = 0, -5*c - 5*f = -80 - 40. Does 14 divide c?
True
Let v = -415 - -1057. Is 6 a factor of v?
True
Suppose -288 = -4*u - 4*k, 16 = k - 5*k. Let y(h) = 2*h**2 - 4*h - 1. Let m be y(3). Suppose v = m*v - u. Does 5 divide v?
False
Is (-2)/15 - 333074/(-555) a multiple of 15?
True
Does 7 divide ((-2601)/68 + 18)/(3/(-56))?
True
Let j(t) = -9*t**3 - 2*t**2 + t + 7. Is j(-4) a multiple of 20?
False
Let s(z) be the first derivative of z**3/3 + z**2 - 18*z - 15. Is 6 a factor of s(-8)?
True
Let c(r) = -r**3 - 78*r**2 - r + 3614. Is 13 a factor of c(0)?
True
Suppose g + 3*g = 36. Let r = 99 + g. Does 54 divide r?
True
Suppose -5*n - 39 = -2*n. Let l = n - -34. Is l a multiple of 2?
False
Does 15 divide 136 - (81/54)/((-6)/(-20))?
False
Let s(r) = -r**3 - 13*r**2 + r + 12. Let b be s(-13). Does 46 divide (218/14 + b)*(16 - 9)?
False
Let h(z) be the first derivative of z**4/4 + 2*z**3 + z**2/2 + 2*z + 5. Does 7 divide h(-4)?
False
Let p(k) be the third derivative of k**4/8 + k**3/3 + 42*k**2. Let z(s) = s**2 - 5*s - 4. Let x be z(6). Is 8 a factor of p(x)?
True
Suppose -2*m + 492 = 4*x - 4420, 4*m = -16. Is x a multiple of 30?
True
Let y be ((1 - -32) + 1)*-1 + -3. Let m(z) = -49*z - 1. Let i be m(-2). Let x = i + y. Does 28 divide x?
False
Let y = 184 - -172. Does 82 divide y?
False
Let q(y) = -4*y**2 + 1 + 5*y**2 + 2*y + 12. Let o(m) = 2*m**3 - 13*m**2 - 6*m - 13. Let p be o(7). Does 13 divide q(p)?
False
Suppose 3*z - 1539 - 1926 = 0. Suppose 11*a + z = 16*a. Is a a multiple of 33?
True
Let z(x) be the first derivative of -6 - 5/2*x**2 - 3*x. D