
Let d(g) = -8*g + 4. Let o be d(-2). Suppose o + 12 = 2*w. Does 10 divide w?
False
Suppose -k - k - 4 = -j, -3*k = -5*j + 13. Is 1/j + (-159)/(-6) a multiple of 15?
False
Suppose 5*y = 4*y + 6. Suppose y*g = g + 150. Is g a multiple of 26?
False
Let v = 371 - -19. Is v a multiple of 49?
False
Let u = -18 - -59. Suppose -3*v + u = -49. Does 10 divide v?
True
Let t(o) = -6*o. Let u be t(3). Suppose 2*a - 4 + 10 = 0, -a = 3*l - 123. Let i = u + l. Is i a multiple of 10?
False
Is (64 - 4/2) + (6 - 3) a multiple of 13?
True
Let a = 4 + -11. Let v(b) = -3*b**2 - 15*b. Let l(f) = 2*f**2 + 10*f. Let s(n) = -7*l(n) - 5*v(n). Does 14 divide s(a)?
True
Let b(p) = p - 5. Let n be b(7). Suppose -50 = -4*s - n. Does 12 divide s?
True
Suppose 4 = 2*u - 4. Is 12 a factor of (140/6)/(u/6)?
False
Suppose -2*t + 8 = 2*c - 14, 2*t - 22 = 3*c. Does 15 divide 453/t - 2/11?
False
Let y = 3 - 3. Suppose 130 = -y*x + 5*x. Is 13 a factor of x?
True
Let p(l) = -19*l + 1. Let q be p(1). Does 13 divide ((-92)/3)/(12/q)?
False
Let f be 76/6 - 3/(-9). Suppose 5*y - f + 0 = -4*c, 2*c + 5*y = -1. Does 14 divide (-200)/(-14) - 2/c?
True
Let a = 6 - 6. Let b(z) = a*z + z + 1 - 2 + 23*z**2. Is 18 a factor of b(1)?
False
Let w(i) = -i**3 + 7*i**2 + 10*i. Let g be w(7). Let s = g + -49. Does 15 divide s?
False
Suppose 6*o - o - 344 = -3*w, 4*o = -w + 278. Is o a multiple of 8?
False
Let c = -14 + 8. Is 10 a factor of 8/c*(-45)/2?
True
Let h = 34 - 22. Does 4 divide h?
True
Suppose 4*x + 4*k = 24, k = -4*x - 4*k + 25. Let o = x - -19. Does 11 divide o?
False
Suppose -2*g + 5*g - 666 = 0. Does 16 divide g/7 + 6/21?
True
Let r = -5 + 7. Suppose 2*a = 5*g + 177, r*a - g = 3*a - 78. Suppose v + 4*o - 6 = 0, -4*v + a = -o - 11. Is 10 a factor of v?
False
Suppose -2 = 3*b - 14. Suppose b*p = 9*p - 145. Is 10 a factor of p?
False
Suppose 5*l = -j + 68, -5*j = -11 - 4. Is l a multiple of 2?
False
Let o(n) = -n - 4. Let c be o(-6). Let f(t) be the second derivative of 3*t**5/20 - t**3/6 - t**2 + 6*t. Is f(c) a multiple of 10?
True
Let d be (-5 + 2)*(-15)/9. Suppose 4*x + 0*x + 4*f - 36 = 0, -d*x = -4*f. Does 2 divide x?
True
Let b be 2/(-10) - (-6)/30. Suppose 2*f + 12 = -0*f + 4*s, b = 2*f - s + 24. Let l = 12 - f. Is l a multiple of 14?
False
Does 9 divide (-2)/((-2)/(-9))*-12?
True
Let b be (2/1)/((-6)/(-30)). Suppose 4*o = -2*p + 12, -2*p + b = 7*o - 2*o. Does 10 divide p?
True
Suppose -2*v - 2*r + 65 = -5*r, -4*r = -4*v + 140. Let q be (-30)/(-2 - 1) - 0. Suppose q*a - v = 5*a. Is 6 a factor of a?
False
Let m(g) be the third derivative of g**4/24 - 3*g**2. Let k be m(4). Suppose -44 = -3*d - f, -8*d + 5*f + 65 = -k*d. Is d a multiple of 5?
True
Let q = 7 - 3. Suppose -q*d + 3 + 1 = 4*j, j = -4*d + 10. Suppose -5*p + 3*p + 4*l + 40 = 0, -5*p - d*l = -35. Does 5 divide p?
True
Let m(y) = 40*y**3 + y**2 - 2*y + 1. Is m(1) a multiple of 5?
True
Let f(c) be the third derivative of -c**5/60 - c**4/3 + c**3/2 - 2*c**2. Does 10 divide f(-5)?
False
Suppose 12 = 3*s, -30 = l - 3*l - 3*s. Let w = l + -3. Is 3 a factor of 10*(-2)/(2 - w)?
False
Suppose 0 = 2*y - 4*w - 57 - 71, -2*y + w + 122 = 0. Suppose 0 = -4*b - b + y. Is 7 a factor of b?
False
Let t(y) = 2*y**3 - 13*y**2 + 19*y - 12. Let r(q) = -q**3 + 7*q**2 - 10*q + 6. Let j(n) = -7*r(n) - 3*t(n). Is j(9) a multiple of 10?
True
Let o = -9 + 13. Is 4 a factor of o?
True
Suppose 5*l + 240 = 10*l. Does 12 divide l?
True
Let h(g) = g. Let f be h(-4). Let i(k) = -k**3 - 3*k**2 + 3*k - 4. Let c be i(f). Suppose -w = -c*w - 33. Is 19 a factor of w?
False
Suppose 5*i = 0, 5*o = -i - i + 1535. Let p = -218 + o. Let g = -53 + p. Does 15 divide g?
False
Suppose -t + 17 = -y, 5*y = -0*y - 4*t - 121. Is 8 a factor of y/((-1)/2*2)?
False
Let r(j) = 2*j**3 - 2*j**2 + 3*j - 3. Let s(z) be the first derivative of -z**2/2 + 7*z + 3. Let v be s(5). Is r(v) a multiple of 11?
True
Suppose 0 = -2*x + 3*v + 97, 4*v + 9 = -3. Let h = 68 - x. Is 8 a factor of h?
True
Let d(h) be the first derivative of 2*h**3/3 + h**2/2 + 3*h - 3. Suppose 4*t = 16 - 4. Is 9 a factor of d(t)?
False
Suppose -q - q = -3*v - 89, -5*v - 25 = 0. Suppose f - 4*y - 108 = -q, -401 = -5*f - 3*y. Is f a multiple of 21?
False
Suppose -2*u + 64 = -0*u. Suppose 5*z - u = -2*n + 2*z, 48 = 3*n - z. Is n a multiple of 8?
True
Suppose -3*q - 5*x = -2, 3*q - 4*x - 8 - 12 = 0. Let z be 60/q - (4 + -2). Suppose -l - 5 = -z. Is 4 a factor of l?
True
Let x = 6 + -3. Let v(q) = q**3 - 4*q**2 + 5*q - 3. Let o be v(x). Let d(j) = 2*j**3 - j**2 + 2*j - 3. Is d(o) a multiple of 24?
True
Let z = -45 - -62. Is z a multiple of 2?
False
Let t = -11 + 10. Let k(c) = 57*c**2 + 2*c + 1. Is k(t) a multiple of 13?
False
Let s(i) = 47*i**2. Let o be s(-1). Suppose 3*l = 143 - o. Is l a multiple of 12?
False
Suppose 2*i = -n + 27, i - 75 = -3*i + 5*n. Is 3 a factor of i?
True
Let p(s) be the first derivative of s**4/4 - 5*s**3/3 + 6*s - 3. Let j be p(5). Is 10 a factor of (-3)/(18/(-20))*j?
True
Suppose -8 = o + 1. Let j = 17 - o. Does 6 divide j?
False
Is 10*(-1 + -1)/(-4)*15 a multiple of 7?
False
Let u(r) = r**2 + 55. Is u(0) a multiple of 5?
True
Let l(j) = -j**3 + 7*j**2 - 3*j - 1. Let w be l(6). Does 7 divide w - (-1 - (-1 + 3))?
False
Let l(d) = -7*d**3 + d**2 - d - 1. Let c be l(-1). Suppose -2*p = -3*p - 3*w - 6, -c = p + w. Let f(h) = h**2 + 6*h - 2. Is 8 a factor of f(p)?
False
Suppose 2*z - 4*y - 186 = 0, 5*y + 105 - 510 = -5*z. Is 28 a factor of z?
False
Let x(d) = d**3 - 6*d**2 + 2*d - 9. Let g be x(6). Suppose 12 = 3*q - 2*u, -3 = 2*q - g*u - 16. Is 2 a factor of 2*q/(4/5)?
False
Does 11 divide -11 + 11 + 86/2?
False
Let q(r) = -r**2 + r. Let a be q(-1). Is 3 a factor of 1 - a - (-3 + 1)?
False
Let n = -307 + 523. Does 24 divide n?
True
Let y = 28 + 1. Is 13 a factor of y?
False
Suppose 0 = -4*x + 2*p + 21 + 155, 0 = 5*x - 5*p - 215. Suppose 8*r = 5*r + x. Does 5 divide r?
True
Let d be (12/(-15))/(1/15). Let j be (2*-3)/((-3)/(-12)). Let y = d - j. Does 6 divide y?
True
Let i = 1103 - 635. Does 6 divide (-4)/14 - i/(-21)?
False
Suppose -12*b + 13*b = 19. Does 19 divide b?
True
Let f(n) be the second derivative of -4*n**3/3 + 3*n**2/2 - n. Let k be f(-10). Suppose 3*t + 89 = 5*q, -5*q + k = -0*q - t. Is 8 a factor of q?
True
Let w(t) = 2*t + 4. Let f be w(-5). Let l = f + 9. Is 3 a factor of (-6)/l + 3 - -2?
True
Let y = 4 + -2. Suppose 5*o - y*g + 8 = -0*g, 0 = 3*o - 4*g + 16. Suppose 3*i - 2*p + p = 83, 3*i + 2*p - 86 = o. Is 14 a factor of i?
True
Suppose 6*t - 8 = 2*t. Suppose -q - q + 14 = -4*a, -4*q - t*a = -28. Is q a multiple of 7?
True
Let q(z) = z**3 - 8*z**2 - 7*z + 6. Does 8 divide q(9)?
True
Let o(h) = h**3 - 6*h**2 - 6*h + 4. Let g be o(5). Let y = g - -89. Suppose 5*q - 40 = -5*n, 5*n + 3*q - y = -8. Is 3 a factor of n?
True
Let x(s) be the second derivative of -s**5/20 + 5*s**4/6 + 2*s**3/3 + 5*s**2 - s. Let p be x(11). Let r = -47 - p. Is 10 a factor of r?
True
Let o(g) = -g**3 - 7*g**2 + 10*g - 6. Let m(n) = -n**2 - 1. Let t(f) = 3*m(f) + o(f). Let d be (-1)/((-12)/(-11) - 1). Is t(d) a multiple of 2?
True
Let k(j) = j - 11. Let r = -13 - -22. Let t be k(r). Is 11 a factor of (-42)/((-2)/1) + t?
False
Suppose 0 = 3*h + 2 - 8. Suppose -h*i + 5 = -35. Let c = -12 + i. Is c a multiple of 4?
True
Suppose -v = -2*k + 3*k - 85, v = 3*k + 93. Does 29 divide v?
True
Let i(g) = -3*g + 19. Is 13 a factor of i(-10)?
False
Suppose 0 = -2*d + 3*d. Suppose -2*v + 26 - 9 = -5*a, 3*v + 2*a - 54 = d. Is 8 a factor of v?
True
Suppose -5*i - 26 = -176. Is 13 a factor of i?
False
Let z(s) = s**2 + 2*s - 5. Let q(j) = j - 9. Let i be q(3). Is 13 a factor of z(i)?
False
Suppose 7*c + 36 = 5*c + p, -2*c - 56 = 4*p. Let j = 33 + c. Is j a multiple of 11?
False
Suppose k + 3*a - 104 = 0, 5*a = 2*k + 4*a - 229. Is k a multiple of 19?
False
Suppose -5*w + l = -0*l - 10, -3*w + 2*l + 13 = 0. Let x = 8 + w. Is x a multiple of 9?
True
Is 14 a factor of 54 - (-1 - (2 - 1))?
True
Suppose 0 = 5*u - 4*l - 176, 33 = -u + 2*u - 3*l. Does 9 divide u?
True
Let q be -2 - ((-21)/3 - -2). Let d be 1 - (-2 - (-9)/3). Suppose t - 3*s - 31 = 0, 0 = t - d*s + q*s - 19. Does 9 divide t?
False
Is 4/22 + 251/11 a multiple of 7?
False
Is 10 a factor of 3774/27 - (-2)/9?
True
Let s = -117 + 167. Suppose 3*r + c = -16 + 38, 0 = 5*r 