 7*c. Does 8 divide d?
True
Suppose -s + 18 = 3*v + s, 5*s = 4*v - 1. Suppose -v = -d - 0*d, 4*a - 12 = -3*d. Suppose g + 5 = 0, a = -5*c + 3*g - 2*g + 45. Does 3 divide c?
False
Let t(y) = -15*y. Is t(-6) a multiple of 15?
True
Let j(p) = -p**2 - 8*p + 4. Let v = -25 - -17. Let i be j(v). Suppose 0 = -u - 1 - i, -5*b + 35 = u. Is b a multiple of 3?
False
Let m be ((-3)/(-6))/((-1)/184). Let s = m + 131. Is s a multiple of 13?
True
Let m(z) = -z**2 - 7*z + 2. Let c be m(-8). Let l = c + 13. Is 3 a factor of l?
False
Let y(v) = v**2 + 3*v - 4 + 2 - 10*v. Let j be y(8). Let f(w) = w**3 - 4*w**2 - 8*w + 6. Is f(j) a multiple of 14?
False
Let l(h) = -22*h**2 + 3*h + 1. Let m(a) = a**2 - a. Let w(n) = -l(n) - 2*m(n). Is w(-1) a multiple of 10?
True
Suppose 2*w = -5*s + 5, -3*w = -4*w + 5*s - 5. Suppose w = 2*x - l - 8, -2*l = -x - 0*x + 10. Suppose -x*r = 3*r - 55. Is 11 a factor of r?
True
Let w(u) = 2*u - 2. Let l be w(-2). Let s = l + 10. Suppose 3*m - 1 - 4 = -s*o, -m - o = -2. Is m a multiple of 2?
False
Let w be (-9)/(-3) + (-1 - -2). Suppose 0 = -3*o - a + 25, o - 36 = -4*o + w*a. Does 3 divide o?
False
Let f = 13 + -11. Suppose t = -f*t + 30. Does 10 divide t?
True
Let n(t) be the third derivative of -t**4/12 - t**3/2 - 2*t**2. Let g be n(-3). Suppose 0 = 3*q + g*v - 15, -4*v - 3 = -2*q + 19. Is q a multiple of 7?
True
Let w(g) = g**3 + 5*g**2 - 2*g - 6. Let i be w(-6). Suppose o + 34 = -2*q, -o + 3*q = q + 54. Let k = i - o. Does 14 divide k?
True
Is 4 - (4/(-18) - 38764/198) a multiple of 8?
True
Let z = 578 - 354. Is 56 a factor of z?
True
Let j be 3/(-12) - (-1)/4. Is 17 - (-2 + j)*1 a multiple of 14?
False
Suppose -15*d - 270 = -18*d. Is 9 a factor of d?
True
Let g(h) = 2 - 12*h + 13*h - 4 + 1 + 6*h**2. Does 24 divide g(2)?
False
Suppose -2*b + 25 = 3*b. Let u(p) = 6*p**2 - 2*p - 3. Let s be u(-2). Suppose b*k - s = 10. Is 4 a factor of k?
False
Let x(z) = z**2 + 1. Let h(m) = -4*m**3 - 2*m**2 + 2*m - 5. Let y(t) = -h(t) - 4*x(t). Let s = 2 + 0. Is 7 a factor of y(s)?
True
Let q = -5 + 5. Suppose -3*k = -q*k - 195. Is 22 a factor of k?
False
Let l(c) = c**3 - 5*c**2 - 5*c + 28. Is l(7) a multiple of 14?
False
Let i(t) = -t + 8. Does 14 divide i(-6)?
True
Let i = -2 + 7. Suppose g - 31 = -k, g = i*k - 2 + 3. Does 13 divide g?
True
Suppose 2*u - 15 = 3*w + 304, 4*w = -12. Suppose -2*z + 4*z - 4 = 0. Suppose 5*n - u = 2*k - 10, 0 = -2*n - z*k + 58. Does 13 divide n?
False
Let x(n) = -5 + 10*n + 0 + 3*n**2 - 4*n**2. Is x(9) a multiple of 2?
True
Suppose o - 2*o + 2 = 0. Suppose w = o*w - 2. Suppose -w*h = -67 + 15. Is 13 a factor of h?
True
Suppose 91 = 5*s + 16. Does 7 divide s?
False
Let w(k) = -7*k**3 - 8*k**2 + 2*k - 2. Let u(a) = 8*a**3 + 8*a**2 - 3*a + 2. Let x(l) = -6*u(l) - 7*w(l). Is 19 a factor of x(-5)?
True
Let j(s) = 4*s - 10. Let a be j(8). Suppose -2*y + 5*q = -25, -3*y = -5*q - a - 18. Does 14 divide y?
False
Suppose 0 = -4*o - 0*o - 3*g - 12, -3*o + 8 = -2*g. Suppose o = 2*l - 28 + 2. Is 13 a factor of l?
True
Let s = -52 - -176. Is 31 a factor of s?
True
Let a(b) = b - 3. Let p be a(3). Let s = 0 - -2. Suppose s*n - 48 = -p*n. Does 12 divide n?
True
Let q(i) = 3*i - 3 + 6 - 4*i. Let y be q(0). Suppose h - y*h + 26 = 0. Is h a multiple of 13?
True
Suppose -5*t + 4*w = 6*w - 292, w = -4. Is 10 a factor of t?
True
Let r(g) = -g + 8. Let a be r(8). Suppose a = 2*f - 1 - 11. Is f/15 - 138/(-5) a multiple of 14?
True
Suppose -k = -2 - 22. Is 5 a factor of k?
False
Let t = 5 + -3. Suppose -123 = -3*o + 3*c, 4 = 3*c - t. Let a = o - 23. Is 10 a factor of a?
True
Let j(u) = u**3 + 6*u**2 - 5*u + 1. Let i be j(-7). Let f = i - -33. Is 10 a factor of f?
True
Suppose 1 = -u + 73. Does 18 divide u?
True
Does 34 divide 149 - (-6 - -3) - -1?
False
Let g(c) = -c**2 - 2*c + 9. Is g(0) a multiple of 9?
True
Let x(h) = 8*h**2 - 3*h. Let r(t) = t**2 + t + 2. Let i be r(0). Let p be x(i). Suppose -4*d = -3*d - p. Is d a multiple of 13?
True
Suppose -3*m + 5*d = -4, 2*d = -2*d + 4. Suppose -b - 24 = -m*b. Is 4 a factor of ((-3)/2)/((-2)/b)?
False
Does 6 divide -1 + 40/(-32)*28/(-1)?
False
Let b be 3*(-3)/(9/(-4)). Let t(m) = m**2 - 3*m. Let c be t(b). Suppose 2*v + 30 = 2*a, -c*a + 55 = -0*a + v. Does 7 divide a?
True
Let x(b) = 26*b - 2. Let w be x(4). Let r = -62 + w. Does 20 divide r?
True
Let j be 93/33 - (-4)/22. Does 23 divide j + 0 + -1 + 42?
False
Suppose -6*o = 3*d - 5*o - 49, 5*o - 21 = -d. Does 5 divide d?
False
Let i(a) = a**3 + 4*a - 3. Let w be i(3). Let b = -20 + w. Does 5 divide b?
False
Let s = 1 + -1. Suppose -3*g - v + 17 = s, -5*v - 6 = -16. Suppose -5*f + 25 = 0, z + g*f - 41 = -3*z. Is z a multiple of 2?
True
Suppose 4*f - 3 = q, 2*q - 4 = 3*f - 0*q. Is 280/21 + f/3 a multiple of 14?
True
Suppose z - 2*k + 104 = 3*k, -4*z + 5*k = 371. Let o = z + 149. Is o a multiple of 21?
False
Let m be 3*(2 + 32/6). Is 1 + m - (1 - 0) a multiple of 10?
False
Suppose -2*a + 24 = 3*o, 3*o = o - a + 15. Suppose 3*n = o + 18. Is 3 a factor of n?
False
Let f(h) = h**2 + 8*h - 1. Let j be f(-10). Suppose -4*q + 43 = -k, -2*q + 0*q + j = -3*k. Is q a multiple of 6?
False
Let h = 438 + -280. Let q = 242 - h. Is 1 - 1 - q/(-2) a multiple of 19?
False
Let s = 159 - 89. Is (s/(-21))/((-2)/6) a multiple of 5?
True
Let v = 176 + -36. Is v a multiple of 20?
True
Let a = -6 - -8. Suppose -4 = a*y - z + 5*z, 0 = -2*y - 5*z - 9. Let m = -2 + y. Is m a multiple of 4?
False
Suppose -2*j + 4*w + w = -2, 3*w - 6 = 0. Let q = 1 + j. Does 3 divide q?
False
Let j = 11 + -6. Let u = j + -1. Is 2 a factor of u - 0/(-2 - -1)?
True
Let c = 44 - -98. Is c a multiple of 15?
False
Suppose -9*n - 315 = -14*n. Is n a multiple of 21?
True
Suppose 123 = -5*u + 5*g - 2*g, -u - g - 31 = 0. Let d = -16 - u. Does 11 divide d?
True
Suppose -94 = -3*r + 2*f, -4*r - 2*f + 132 = 2*f. Is 14 a factor of r?
False
Let o be (-3)/((-3)/(-2)) + 7. Suppose -h = u - 6, -2*h - 4 + 31 = o*u. Suppose u*r = 5*j - 4 + 29, -3*j = 5*r - 9. Is 2 a factor of r?
False
Let z(l) = l**3 - 4*l**2 + 2*l - 11. Is z(6) a multiple of 10?
False
Let s(q) be the second derivative of q**5/20 - q**4/3 + q**3/2 - 5*q**2/2 - 4*q. Does 3 divide s(4)?
False
Suppose 3*o = o - 4. Let u = o + 8. Does 3 divide u?
True
Suppose 5*g - 16 = 254. Does 18 divide g?
True
Let r = 5 - 3. Let z = 1 - r. Let w(l) = -34*l**3. Is w(z) a multiple of 13?
False
Let i(t) = t**2 + 10*t - 7. Is i(-11) a multiple of 4?
True
Let o(i) = -12*i - 12. Is o(-6) a multiple of 20?
True
Let p be (-82)/(-1) + 3/1. Let t = -47 + p. Does 20 divide t?
False
Let p(d) = -d + 57. Is p(13) a multiple of 11?
True
Is 34 a factor of (65/1)/(-5)*-29?
False
Suppose -74 = 5*a - d, -2*d + 10 + 3 = -a. Let i = a - -21. Is 3 a factor of i?
True
Let i(l) = -96*l**2 + 7*l + 7. Let v(m) = 48*m**2 - 3*m - 3. Let a(q) = 4*i(q) + 9*v(q). Does 15 divide a(-1)?
False
Is 4 a factor of (-10)/6*3 + 63?
False
Let f(z) = z**2 + 8*z + 23. Is f(-11) a multiple of 37?
False
Does 5 divide 11/66 - (-59)/6?
True
Let l(d) = d - 4. Let f be l(8). Suppose u - 5*y = -f*u + 155, -140 = -4*u - 4*y. Does 4 divide (u/(-9))/((-2)/6)?
False
Let i(b) = b**3 - b. Let g be i(0). Suppose a - 6*a = g. Suppose 3*l - 6*l + 6 = a. Is l a multiple of 2?
True
Is (2 + 13 + -4)*3 a multiple of 21?
False
Suppose -5*c - 42 = 2*m, 9*m = -4*c + 5*m - 36. Let s = 46 - 96. Does 16 divide s/(-3) - c/(-12)?
True
Is 5 - 0/2 - -19 a multiple of 4?
True
Suppose 5*j + g - 6*g - 5 = 0, 1 = -3*j + 4*g. Suppose -2*p - 48 = -j*p. Is p a multiple of 8?
True
Suppose 5*f - 4 - 6 = 0. Let p(z) = 6*z - 3. Is p(f) even?
False
Let h = -26 + 44. Is h a multiple of 6?
True
Let y = -1 - 3. Let p be (-38)/y + (-4)/(-8). Let u(a) = a**2 - 10*a + 15. Does 15 divide u(p)?
True
Suppose -16 = 6*b - 2*b. Let o be (6 + -3)/((-6)/b). Suppose -2*a + 0*a = -2*i + 6, 4*i - 22 = o*a. Does 4 divide i?
True
Let j(r) be the first derivative of -7*r**2 - 3. Let b = -2 + 1. Does 8 divide j(b)?
False
Let c(j) = 2*j - 3. Let b be c(3). Is -3 + 27 + (b - 6) a multiple of 7?
True
Let w(x) = -5*x + 1. Let k be w(-2). Let r = k + -6. Suppose -205 = -0*v - r*v. Does 14 divide v?
False
Let j(b) = 2*b**2 + 28*b + 27. Does 4 divide j(-14)?
False
Let u(x) = -8*x + 25. Does 43 divide u(-13)?
True
Let g(w) = -w + 1. Let l be g(-1). Let j(o) = 5*o**2 + 3