)*(-2)/(-6). Is d/(-4) + (-453)/(-12) a multiple of 22?
False
Suppose 3*u - 3*w - 61 = 26, u = 4*w + 38. Is u a multiple of 10?
False
Let k(t) be the third derivative of -t**6/720 + t**5/6 - t**4/24 + t**2. Let p(z) be the second derivative of k(z). Is p(0) a multiple of 10?
True
Let m = 4 - 7. Let k = m + 12. Does 5 divide k?
False
Let y = 372 + -264. Is y a multiple of 18?
True
Let h = -3 - -5. Suppose -g - 3*k - 5 = 0, h*g + 8 + 8 = -4*k. Let n = g + 25. Is 11 a factor of n?
True
Let d(p) be the second derivative of 19*p**4/12 + p**2/2 - 2*p. Let c be d(-1). Let y = 37 - c. Does 8 divide y?
False
Suppose 0 = -5*u, 3*d + u - 23 = 10. Is 6 a factor of d?
False
Suppose v = 2 + 4. Suppose 4*y - 3 = -q - 0*y, -v = -2*q + 5*y. Suppose -a - 58 = -3*a + 4*s, -q*a + s = -82. Does 13 divide a?
False
Suppose 3*n + n + 44 = 0. Let v = n - -31. Suppose 0 = g - d - v, -g - 4*d = d - 20. Does 10 divide g?
True
Suppose z - 3*z = 4, 0 = -u + 5*z + 1. Let r be (-795)/u - 1/3. Suppose 3*o + o - r = 0. Is 11 a factor of o?
True
Let r(t) = -t**3 - 5*t**2 - 6*t - 3. Let s be r(-4). Let j = 8 - s. Suppose 69 = 5*y - j*f, 3*f - 2 + 11 = 0. Does 12 divide y?
True
Suppose 4*k - 2*k = 10. Is k a multiple of 3?
False
Let w(j) = 17*j**3 - 2*j**2 + 2*j - 1. Let a(x) = x**3 - x**2 - x + 1. Suppose q = -0*q. Let v be a(q). Is w(v) a multiple of 16?
True
Suppose 3*x = -2*r + 4, 0*x + 2*r + 4 = -x. Suppose x*n = -5*u + 2*n + 275, -3*u - 3*n = -174. Let p = u - 37. Does 16 divide p?
True
Suppose -m = -9 - 14. Suppose 4*j = -u + 106, -5*j - u + 155 - m = 0. Does 13 divide j?
True
Let w(j) = -65*j**3 + 11*j**2 - 5*j - 3. Let q(l) = 22*l**3 - 4*l**2 + 2*l + 1. Let m(b) = -11*q(b) - 4*w(b). Is m(1) a multiple of 5?
False
Let r = -8 + 11. Suppose -2 = -r*k + 64. Is k a multiple of 16?
False
Let g(q) = -2*q + 6. Let o be g(-6). Suppose -4*b + 11 = 3*t, 7*b - 3*b = 4*t + 4. Suppose o = b*r - r. Does 9 divide r?
True
Is -3 + (0 - -4) - -62 a multiple of 21?
True
Suppose 60 = -k - k. Does 14 divide (-498)/(-10) - (-24)/k?
False
Let r(a) = -3*a - 11. Suppose 0 = 5*j - 3*t - 106, -5*t = 5*j - 34 - 96. Let x = j + -33. Is 7 a factor of r(x)?
False
Does 11 divide 11/((4/(-3))/(-4))?
True
Let z(a) = -a**2 + 8*a. Let s be 4/(4/(-6)*-1). Is 10 a factor of z(s)?
False
Let s = -41 - -76. Is s a multiple of 7?
True
Suppose 16 = -3*x + 7*x. Suppose -4*v + 3*i = -3*v - 39, 3*v + x*i = 52. Does 12 divide v?
True
Suppose -4*g - 157 = -497. Does 17 divide g?
True
Let v(w) = w - 17. Let i be v(11). Is (-30)/(-45) + (-296)/i a multiple of 13?
False
Is 381/7 - (-57)/(-133) a multiple of 9?
True
Suppose 5*n + 2*j + 10 = -0*n, -2*n - 18 = -2*j. Let c be 6*(-2)/n*1. Suppose 0*l = l - c. Does 2 divide l?
False
Is 8 a factor of 144/45*(-15)/(-2)?
True
Suppose -62 - 14 = -c. Does 9 divide c?
False
Suppose 2*m = 8 - 0. Suppose -s - 2*b = -46 - 0, s = -m*b + 54. Does 12 divide s?
False
Let c be (0 + 3)*100/15. Is 4 a factor of 16/c*(14 + 1)?
True
Does 13 divide 4 + 3/(-1) - -98?
False
Suppose n - f = 0, f + 0 - 4 = 0. Let l(t) = -t**3 + 4*t**2 + 2*t + 1. Is 9 a factor of l(n)?
True
Let q = -39 - -55. Is 7 a factor of q?
False
Let b(y) = y**2 + 3*y + 4. Suppose -2*f + 5*z = -12, -3*f = -4*f + 4*z + 12. Is b(f) a multiple of 8?
True
Is 21 a factor of 4 - ((-16 - 3) + 2)?
True
Let x(v) = -v**2 - 7*v - 5. Let j be x(-7). Let y(z) = -4*z - 3. Let c(n) = 7*n + 5. Let t(r) = -3*c(r) - 5*y(r). Is 5 a factor of t(j)?
True
Suppose 5*s = -2*q + 273, 3*s - 171 = -2*q - q. Does 24 divide s?
False
Let q be 4*1/4*-2. Is 9 a factor of (10 + q/(-2))/1?
False
Is 45/75 + (-232)/(-5) a multiple of 7?
False
Let t = -97 + 160. Is t a multiple of 28?
False
Suppose 11*o - 10*o - 75 = 0. Does 20 divide o?
False
Suppose -5*f + 28 = -f. Let k(j) = j**2 - 5*j - 9. Is 4 a factor of k(f)?
False
Let q(p) = -p**2 - 12*p + 16. Is 12 a factor of q(-9)?
False
Let d = 2 - 0. Suppose 0 = w + 5*y - 34, -d*w + 2*y = y - 90. Is 22 a factor of w?
True
Let p(l) = 3*l + 1. Let i be p(1). Suppose -10 = -i*o - o. Suppose -o*k - 3 + 23 = 0. Is k a multiple of 5?
True
Let n(m) = -21*m**2 + 5*m - 3. Let q(s) = -11*s**2 + 2*s - 1. Let w(p) = 3*n(p) - 7*q(p). Is w(-2) a multiple of 26?
True
Let f = 16 + 144. Does 52 divide f?
False
Let j = 67 - 35. Does 8 divide j?
True
Suppose 4*m = 4*v + 30 + 2, 0 = v. Suppose 0 = -j - 2*j - u + 16, 5*u - m = 3*j. Suppose -6*n + j*n + 62 = 0. Is n a multiple of 11?
False
Is 2632/48 + (-2)/(-12) a multiple of 14?
False
Suppose 7 = 4*i - 57. Is 3 a factor of i?
False
Suppose -18*p = -3*p - 1575. Does 7 divide p?
True
Suppose -46 = -5*l - 4*y, -l - 2*y + 5 = -9. Does 5 divide l?
False
Suppose 4*y - 44 = -4*t, -3*t - 18 + 3 = -5*y. Let p(o) = -o**3 + 5*o**2 + 8*o + 5. Is 10 a factor of p(y)?
False
Let q(a) = -4 + 77*a - 3 + 5 + 0. Is q(1) a multiple of 15?
True
Suppose 5*z = 4*z. Suppose 5*p - 365 = y + y, z = 3*p + 5*y - 188. Is 18 a factor of p?
False
Let a = -9 - -4. Let k = a - -29. Is 12 a factor of k?
True
Let r = -18 - -45. Is 7 a factor of r?
False
Suppose -o + 127 = 5*x, -5*x = -5*o - x + 693. Is 9 a factor of o?
False
Let n be (-6)/(-4)*140/21. Is 17 a factor of (148/n)/(6/15)?
False
Suppose 4*j - 14 = 126. Suppose 7 = 3*y - j. Is 7 a factor of y?
True
Let m = 67 + -27. Is 7 a factor of m?
False
Let a be 2 + 2 + 0 + -2. Suppose a*v + v - 66 = -2*n, 5*v - 4*n = 88. Is 10 a factor of v?
True
Let d(g) = g**2 - 2*g + 2. Let s be d(2). Suppose 2*q = 2, 8*q = s*t + 5*q - 79. Does 12 divide t?
False
Suppose -2*v - 3*v + 10 = 0. Suppose -4 + v = -b. Does 17 divide 51*(-5 + b)/(-9)?
True
Let x(k) = -k**2 + 22*k - 16. Is x(16) a multiple of 40?
True
Suppose -o - 3 = 4*m, -7*m = -3*m + 4*o - 12. Let z be (-1040)/(-18) - (-6)/27. Let a = z + m. Does 19 divide a?
False
Let p(t) = t**2 - t - 32. Let j be p(0). Suppose -30 - 138 = -3*g. Let c = j + g. Is 12 a factor of c?
True
Let y = 19 - -16. Suppose 3*k + 2*l = 3*l + 113, -l = k - y. Is k a multiple of 13?
False
Suppose -2*a + 3 = -1. Suppose 0*c - 14 = -a*c. Is 7 a factor of c?
True
Let c = -13 - -18. Let k be 4/20 - (-14)/5. Suppose c*p - 103 + 9 = -3*x, -k*x = p - 86. Is 13 a factor of x?
False
Let z = 193 + -122. Let v be 2 + -3 + 97 - -5. Let j = v - z. Is 18 a factor of j?
False
Let z = 56 + 142. Does 9 divide z?
True
Let x be (1/2)/((-3)/(-102)). Let b = x - -34. Is b a multiple of 17?
True
Let p be (3 + -7)*(-1)/(-4). Is 19 a factor of -2 + 4 + p + 51?
False
Let g(j) = 4*j**3 - 7*j**2 - 8*j + 3. Let o(r) = -16*r**2 + 9*r**3 + r**2 + 4 + 3 - 17*r. Let t(d) = 13*g(d) - 6*o(d). Is 10 a factor of t(-2)?
False
Suppose -4*u - 7*b = -3*b - 32, -5*u + 3*b + 8 = 0. Suppose -3*w + 14 = w - t, u*w - 10 = -t. Suppose 12 + 30 = w*l. Does 7 divide l?
True
Let g = -104 + 160. Suppose -4*u + 2*y = g, -3*y = -2*u + y - 16. Let p = -7 - u. Does 4 divide p?
False
Let l(g) = g**3 + 4*g**2 - 5. Let x be l(-4). Let b(d) = 13*d - 1. Let k(t) = 6*t - 1. Let s(q) = x*k(q) + 2*b(q). Is s(-3) a multiple of 6?
False
Let b = -56 - -117. Suppose -5*k + 2*k + s + b = 0, s + 103 = 5*k. Does 21 divide k?
True
Let b = -23 - -29. Let q(i) = -8*i + 1. Let k be q(-3). Let n = k + b. Is 12 a factor of n?
False
Suppose 5*x - 23 = 2. Suppose 15 = -x*w + 55. Is w a multiple of 4?
True
Suppose 0 = -4*j + 61 + 19. Is 13 a factor of j?
False
Suppose 2*d - 2 = d. Let l = d + 12. Is l a multiple of 7?
True
Let w(c) = -28*c**2 - 5*c - 6. Let r(k) = -55*k**2 - 11*k - 13. Let g(l) = 4*r(l) - 9*w(l). Let t(a) be the first derivative of g(a). Is 17 a factor of t(1)?
False
Suppose 2*z - 9 = 51. Suppose 30 = l - z. Is 9 a factor of l?
False
Suppose 5*c - 280 = c. Let x = -32 + c. Is x a multiple of 14?
False
Suppose -9*t = 838 - 2260. Is t a multiple of 39?
False
Suppose -5*i + 3*d + 114 = 0, 72 = 2*i + 2*i + 4*d. Is 17 a factor of i?
False
Let m = -5 + 3. Let c be (-25 - -1)*5/m. Suppose 2*o + 2*z - 54 = 0, 3*o - 3*z = z + c. Is 11 a factor of o?
False
Let r(u) = u**3 - u**2 - 7*u + 1. Let n be r(-6). Let d = -149 - n. Is 24 a factor of d?
False
Let i(o) = 3 + 4*o + 0*o**2 + 2*o**2 - 7 - 3*o. Let c be i(-3). Suppose 0*q + 5*q - 5*h = 35, 5*h = 3*q - c. Does 6 divide q?
True
Let t(u) be the third derivative of -u**4/6 + 7*u**3/6 - u**2. Is t(-7) a multiple of 11?
False
Suppose -p = -0*m - m - 62, 3*p + 3*m = 162. Is 1