 -i + 2*q + 42 = -3*q, 2*i - 70 = 3*q. Does 16 divide i?
True
Suppose j = 8 - 33. Suppose -22 = 2*n - 4. Let u = n - j. Is 8 a factor of u?
True
Suppose -5*m - 18 + 158 = 0. Is m a multiple of 7?
True
Let n(k) = k**3 - 9*k**2 - 7. Let y(j) be the first derivative of -j**4/2 + 19*j**3/3 + 15*j + 2. Let x(i) = 13*n(i) + 6*y(i). Does 9 divide x(4)?
False
Let z(s) = -22*s**2. Let a be z(-1). Let t = 16 + a. Let p(y) = -3*y - 5. Does 10 divide p(t)?
False
Suppose 20 = 5*i + 3*h + 1, -4*i + 4*h + 28 = 0. Suppose -3*n = -3*o - n + 164, -5*n = i. Suppose o - 18 = 2*w. Does 10 divide w?
False
Let x(c) = 6*c - 2. Does 2 divide x(2)?
True
Let k(i) = -2*i**3 - 5*i**2 + 15*i + 6. Is 21 a factor of k(-6)?
True
Suppose -r = -3*r - 4*k + 20, 25 = 3*r + 5*k. Suppose n + 3*a - 14 = 1, -n + 4*a - 13 = r. Does 2 divide n?
False
Let k be 0 - (4/1 - 0). Let c(f) be the third derivative of -f**4/24 - f**3/3 + 3*f**2. Is c(k) a multiple of 2?
True
Is ((-1)/(-2))/(((-20)/152)/(-5)) a multiple of 19?
True
Let n = -53 + 62. Is n a multiple of 8?
False
Suppose f = -5*f + 228. Is 35 a factor of f?
False
Let d = 5 - 3. Suppose 27 = d*z + z. Is 8 a factor of z?
False
Let k be ((-1)/(-2))/((-5)/240). Is 18/k*(0 + -72) a multiple of 18?
True
Let t(b) = 5*b**3 - b**2 + b - 3. Does 21 divide t(3)?
True
Suppose -2*m - 84 = -28. Does 4 divide 2 - 1*m/2?
True
Suppose -3*l = -5*x - 211, -81 = -l - x - 0*x. Is 31 a factor of l?
False
Suppose 0 = -3*p + p - s - 46, -90 = 4*p + s. Does 10 divide (-1)/1 + (-1 - p)?
True
Is (((-400)/(-12))/5)/((-4)/(-42)) a multiple of 10?
True
Suppose -4*c = -21 + 1. Is 5 a factor of c?
True
Suppose 18 = 2*h - 0. Suppose 4*x - 4 = 2*x, -2*n - 5*x = -22. Is 68/n + 6/h a multiple of 12?
True
Suppose -4*o - 264 = 5*i - 6*i, -i - 3*o = -229. Does 42 divide i?
False
Let n(l) = l**2 + 6*l + 1. Let f be n(-3). Let h = f + 8. Suppose 3*y + 15 = i - 5, -3*i + 4*y + 45 = h. Is 6 a factor of i?
False
Let u(p) be the second derivative of p**4/12 + p**3 - 2*p. Is 10 a factor of u(-10)?
True
Suppose m + 10 = -2*j - 0*m, m = 0. Let q be (-3)/j*(-5)/(-1). Suppose -q*u + 20 = -u. Is u a multiple of 4?
False
Let f(r) = r**2 + 6*r - 10. Let u be f(-8). Let a = u + 10. Is a a multiple of 11?
False
Let i(g) = g**2 - 6*g + 2. Let d be i(6). Suppose -d*o = -s + o + 28, -4*o = -s + 24. Let n = s + -18. Is n a multiple of 10?
False
Let w(m) = 2*m**3 - 3*m**2 + 4*m - 6. Let t be w(4). Let k be ((-35)/(-21))/(1/t). Suppose 0 = -10*z + 5*z - 2*x + k, 4*x = 0. Does 8 divide z?
False
Let v be 33*(0 - 1*6). Let w be (6/(-9))/(2/v). Let o = w - 38. Does 14 divide o?
True
Let p(q) = q**3 + 5*q**2 + 3*q + 1. Let t be p(-4). Suppose t*g + 4*x = 82, -5*x = -3*g + 76 - 12. Does 7 divide g?
False
Let l = 1 + -22. Let w = -35 + 32. Does 7 divide 3*l/w*1?
True
Suppose -4*w + 12 = -2*w + 4*r, 0 = -3*w + 4*r + 18. Suppose -3 = -c - 2*z, 5*z - w - 9 = 0. Let x(l) = 3*l**2 + l - 3. Is x(c) a multiple of 14?
False
Let a(n) = -n**3 + 9*n**2 - 12*n + 12. Is a(7) a multiple of 6?
False
Let z(m) = -2*m**2 + 3*m + 2. Let i be z(4). Does 30 divide 6/27 + (-536)/i?
True
Let y(o) = -o**3 + o + 3. Let r be y(0). Suppose 0 = 7*j - 2*j + 5*d - 95, -5*j - 2*d + 95 = 0. Suppose 5*p = r*b - b + j, 4*p = 3*b + 11. Is b a multiple of 2?
False
Suppose 0 = 3*i - 3*l - 123, -4*i - 2*l + 159 = -l. Is i a multiple of 10?
True
Let v = 26 + 96. Is v a multiple of 8?
False
Let z(k) = k**3 + 5*k**2 - 5*k + 8. Let s be z(-6). Suppose -s = -y + 3. Suppose 4*p = y*r - 66 + 8, -r = -2*p - 14. Is r a multiple of 10?
True
Is 3 a factor of 255/(-30)*(-1 + 15/(-3))?
True
Suppose o - 19 - 51 = 0. Is o a multiple of 32?
False
Let s be (-2)/9 - 6/(-27). Suppose s = 6*g - 3*g. Suppose g = -5*h + 2*h + 42. Is 5 a factor of h?
False
Suppose -2*l = t - 18, t - 1 = -5*l + 8. Suppose -z + 5*v + t + 5 = 0, -2*z - 3*v = -123. Does 14 divide z?
False
Let k = -14 - -16. Does 13 divide (k - 4) + 12 + 3?
True
Let n(l) = l**2 - l + 4. Suppose 3*u = r - 6, 4 = r - 0*r - 2*u. Let f be n(r). Suppose z = -f*z + 75. Is 5 a factor of z?
True
Suppose -5*n = 5 - 35. Let b(x) = x**3 - 7*x**2 + 7*x + 4. Is 10 a factor of b(n)?
True
Suppose b - 18 - 11 = -5*c, -4*c - 232 = -5*b. Is b a multiple of 22?
True
Suppose -3*u = -4*u + 9. Let i(b) = -b**2 + 10*b - 7. Let l be i(u). Suppose -3*a + l*y = a - 8, a - 8 = -y. Does 4 divide a?
True
Let g(y) = -y**3 - 7*y**2 + 6. Let k(f) = 2*f**2 + 6*f - 1. Let w be k(-5). Let n = 12 - w. Is 5 a factor of g(n)?
False
Let o(t) = -4*t - 4. Is 5 a factor of o(-6)?
True
Let r be (-2)/((-3)/(-6)*-1). Suppose 44 = -2*c + r*c. Is 11 a factor of c?
True
Let p(u) = u - 1. Let x be p(6). Suppose 155 = x*a - 5*n, 2*n = a - 2*a + 28. Let c = -10 + a. Is c a multiple of 17?
False
Does 34 divide (-411)/(-12) - ((-15)/12)/(-5)?
True
Let x = 4 - -18. Is x a multiple of 11?
True
Suppose 2*m = 6 + 4. Is 3 a factor of (-1 - -2)*(-2 + m)?
True
Let j = 13 - 9. Suppose -j*f - 32 = -3*c + 3, 5*f + 5 = -4*c. Does 4 divide c?
False
Let z = 68 + -98. Let a = -24 - z. Is 5 a factor of a?
False
Let q(x) = 5*x**3 + 2*x**2 - 4*x + 2. Suppose 0 = g + 4*g - 20. Let u = g + -2. Does 14 divide q(u)?
True
Let i(m) = 7*m**2 - 15*m - 15. Let b(l) = -3*l**2 + 8*l + 8. Let r(o) = -9*b(o) - 4*i(o). Let k(t) = 2*t - 2. Let s be k(-3). Is 10 a factor of r(s)?
True
Suppose 3*w = 3*h + 99, 2*w = 3*w - 4*h - 42. Is 5 a factor of w?
True
Suppose -5*g - 3*r - 62 = -224, 0 = 3*r - 12. Is g a multiple of 12?
False
Suppose -87 = -3*j + 93. Is j a multiple of 12?
True
Let d be 1/2 - 35/(-14). Suppose -d*w - 44 = -7*w - 4*m, 5*w - 55 = -m. Is 11 a factor of w?
True
Suppose 4*q - 351 = 61. Let g = q - 61. Suppose 0 = -n - n + g. Is n a multiple of 8?
False
Let i be 392*(3/(-6) - -1). Let k = i + -101. Is k a multiple of 24?
False
Let q(g) = -8*g - 1 + 2 + g - 21*g. Let c be q(-4). Suppose -378 = -5*h - c. Is 16 a factor of h?
False
Let o = -184 + 393. Is 15 a factor of o?
False
Suppose -g - 6 = g. Does 6 divide ((-10)/g)/((-2)/(-12))?
False
Let p be (-634)/(-14) - (-18)/(-63). Let v = p + -32. Is v a multiple of 4?
False
Let i(f) = f**2 - f + 17. Is 19 a factor of i(8)?
False
Suppose 3*m = -0*m + 177. Suppose 203 = -3*f + m. Let w = f + 78. Is 15 a factor of w?
True
Suppose -2*f + f = 4, 0 = -5*c - 4*f - 1. Let d = c - -2. Is 5 a factor of d?
True
Let s(a) = 5*a - 4. Is 21 a factor of s(5)?
True
Let n = 0 - -2. Suppose 4*s - 32 = n*q, -q + 4*q + 44 = 5*s. Is 14 a factor of (-4)/q - 75/(-2)?
False
Let q be 1 - 1/(1 + -2). Is 11 a factor of -4 + 41 + q/(-1)?
False
Let i(h) = -6*h + 0 - 5 - 1 - 2. Let o be i(-9). Suppose -142 = -4*c - o. Does 12 divide c?
True
Let j(b) = b**3 + 15*b**2 - 19*b - 23. Is 3 a factor of j(-16)?
False
Let z(k) be the first derivative of -k**4/4 + 5*k**3/3 + 3*k**2/2 + 2. Let w be z(4). Suppose 0*d = -4*d + w. Is d a multiple of 6?
False
Let u(n) = 8*n + 4. Suppose -24 = -3*r - 3*f, -2*r = f - 3 - 10. Let y be u(r). Let b = y + -23. Is 14 a factor of b?
False
Suppose -5*r + 17 + 38 = 5*b, 0 = 2*b + 5*r - 37. Is b a multiple of 2?
True
Let q(v) = -2*v + 6. Suppose -2*j + 12 = 36. Is 10 a factor of q(j)?
True
Suppose 3*t - t = -6. Does 6 divide (4/t)/4*-21?
False
Let j(m) = 5*m**2 + 2*m - 21. Does 6 divide j(5)?
True
Let g(i) = -4*i - 5. Let f be g(-5). Let v be 16/10 - (-6)/f. Suppose 5*m - 66 = v*m. Is m a multiple of 11?
True
Let m = 8 - 5. Is m a multiple of 3?
True
Let b(r) = 3*r**2 + 12*r + 29. Let u(f) = 2*f**2 + 8*f + 19. Let i(a) = 5*b(a) - 7*u(a). Is i(-6) a multiple of 5?
False
Suppose 5*z + 2*j + 24 = 60, 0 = 2*z + 3*j - 21. Let a(o) = o**3 - 7*o**2 + o**2 + o**2 + 0*o**3 - 2*o - 6. Does 9 divide a(z)?
True
Let y(t) be the third derivative of t**5/60 + t**4/8 - t**3 - t**2. Suppose i + 2*i - w + 23 = 0, -w + 7 = -i. Does 17 divide y(i)?
True
Let z(f) = 12*f**2 + 5*f - 5. Is z(2) a multiple of 21?
False
Let j = 108 - -165. Let d = j - 194. Does 20 divide d?
False
Let s(n) = n**3 - 8*n**2 - 4*n + 18. Is 10 a factor of s(9)?
False
Let h(l) = 34*l**2 - 4*l - 2. Is h(-1) a multiple of 3?
True
Let n(w) = 2*w**2 - 3*w - 1. Let a(g) = g**3 - g**2 + 1. Let t(x) = -2*a(x) - n(x). Is 26 a factor of t(-3)?
False
Let l(s) = -s + 2*s - 2*s + 1. Let z be l(-7). Is (-2)/(-4) + 172/z a multiple of 11?
True
Let v(o) = 4*o - 3. Suppose 2 = -3*f + t + 