uppose 4*n + 3*k - 6*k = 12, 6 = 2*n + k. Suppose -4*j + 46 = -2*w, n*w - 1 = j - 0*j. Is j a multiple of 7?
True
Suppose 4*p - p - 2*x = -170, -5*x + 236 = -4*p. Let v = p - -80. Is 7 a factor of v?
False
Let y = 38 + 6. Is 12 a factor of y?
False
Suppose 2*i + 70 = 4*i. Is 10 a factor of i?
False
Suppose 5*a - 6 = 2*q, -5*q = -3*a - 3*q + 2. Suppose 2*d = -a*d + 28. Is d a multiple of 4?
False
Let f(s) = 4*s - 28. Is 10 a factor of f(12)?
True
Let i = 1 + -2. Is (-14)/(-3) + i/(-3) a multiple of 2?
False
Suppose 4*r - 168 = 3*j - 8*j, -r - 4*j = -53. Let o = r + -16. Is o a multiple of 10?
False
Is (-27 - 1)/(2*(-2)/6) a multiple of 19?
False
Let n = 28 - 14. Let a = 1 + n. Suppose -c = -41 + a. Does 9 divide c?
False
Let h = -27 + 35. Does 6 divide h?
False
Let v(t) = t**3 + 10*t**2 + 10*t + 9. Let b be v(-9). Suppose 0*n - 5*m = -2*n + 30, b = -4*m. Is n a multiple of 7?
False
Let d(q) = 15*q**2 + q - 3. Does 12 divide d(-2)?
False
Let d(k) = 52*k**2 - 8*k - 8. Is d(-2) a multiple of 12?
True
Let m(c) = c**2 - 7*c - 20. Is 2 a factor of m(10)?
True
Is (-1)/(-6) - (-904)/48 a multiple of 7?
False
Suppose h + 0*g = 4*g + 118, -2*g + 298 = 3*h. Let u = h + -64. Is u a multiple of 19?
True
Suppose -80 = 5*y - 7*y. Is y a multiple of 12?
False
Suppose 0 = -5*g - 75 + 275. Suppose -2*d - 2*d + g = 0. Does 5 divide d?
True
Is (-2)/(-4)*4 + 185 a multiple of 10?
False
Suppose 0*j + 1431 = 3*j. Is 27 a factor of j/6 - (-9)/6?
True
Let t(z) = z**3 + 5*z**2 - 5*z + 10. Is t(-5) a multiple of 35?
True
Suppose -2*s + 1156 = 3*x, 7*s = -3*x + 2*s + 1153. Does 12 divide x?
False
Let s(t) = 4*t**2 + 2*t - 5. Let y(j) = -11*j**2 - 7*j + 15. Let r(x) = -8*s(x) - 3*y(x). Is r(-10) a multiple of 19?
False
Let v be -1*(1 - 3) - -32. Let j = v - 20. Does 11 divide j?
False
Suppose -12*g + 7*g + 295 = i, 310 = 5*g + 4*i. Is g a multiple of 29?
True
Suppose 5*q - 5*t - 20 = -85, 4*t + 12 = 0. Let u be -1 + -1 - q/2. Does 13 divide 76/u + (-1)/(-3)?
True
Let j(w) = -w + 11. Let h be j(9). Suppose -c = -h*d - 1 + 2, 0 = 4*c - 3*d + 4. Let u(k) = -5*k. Is 4 a factor of u(c)?
False
Suppose 5*f - 115 = -0*m + m, 0 = 4*m - 20. Let t = -17 + f. Is 7 a factor of t?
True
Let b(f) = f**2 + 9*f + 6. Let l be b(-6). Let o(p) = p**2 + 8*p + 5. Let m be o(-7). Let x = m - l. Is x a multiple of 6?
False
Suppose -8*g - 3*g + 1529 = 0. Is 32 a factor of g?
False
Let h(s) be the third derivative of -s**6/120 + s**5/10 + 11*s**4/24 - s**3 + 2*s**2. Does 11 divide h(7)?
True
Let r be 4/(-6) - 776/6. Let n = -46 - r. Let i = -50 + n. Is i a multiple of 13?
False
Suppose n = p + 3*n - 81, -10 = -2*n. Let f = p + -34. Is 11 a factor of f?
False
Let r be 4/26 - 530/65. Let d(g) = -g + 2. Is d(r) a multiple of 6?
False
Suppose -24 = g - 3*g. Is 8 a factor of g?
False
Let p = -18 - -13. Let a = 4 - p. Does 2 divide a?
False
Let z be 2/3 - (-64)/12. Let u(y) = y**3 - 5*y**2 - 7*y + 8. Let t be u(z). Suppose 0*c + 48 = t*h + 4*c, 3*c + 27 = 3*h. Is 7 a factor of h?
True
Let w = -7 + 11. Suppose 2*c + 4 = 5*a, -2 = -3*a + w. Does 5 divide 10/((9/3)/c)?
True
Let o = -16 - -28. Suppose 0 = u - 5*u. Suppose 0 = -5*i - s + o, u = -2*s - 5 - 1. Is 3 a factor of i?
True
Is 4 a factor of 1 + 3 + -1 + 18?
False
Let d = -92 + 148. Is 14 a factor of d?
True
Let y(r) = -r**2 + 13*r + 6. Let m be (-4)/12 + (-44)/3. Let j be ((-12)/m)/((-3)/(-45)). Does 9 divide y(j)?
True
Let q be (-8)/(-10)*55/(-22). Let t(a) = 5*a**2 + 2*a - 1. Let l be t(q). Let r = -8 + l. Is r a multiple of 7?
True
Suppose -3*j = -0*a - a - 54, -77 = -4*j + 3*a. Suppose 0 = 19*u - j*u - 30. Is 4 a factor of u?
False
Let i be (14/(-21))/(2/(-6)). Suppose -3*s + 3*a = -33, i*s + 0*a + 5*a - 8 = 0. Is s a multiple of 5?
False
Suppose -2*c + 0*c - 32 = -i, -4*i = 5*c - 63. Let r = -10 + 18. Let u = i - r. Does 10 divide u?
False
Let c = 41 + -25. Suppose 4 = 3*u - 2. Let i = c + u. Does 18 divide i?
True
Let i(r) = 3*r**2 - 2*r - 4. Is i(-3) a multiple of 13?
False
Is -1*(-1)/((3 - 0)/123) a multiple of 6?
False
Does 17 divide (-3 - (-8)/4)*-17?
True
Suppose 16 = 2*s - q - 3*q, s = -5*q - 13. Suppose 0 = r - 2*r - 3*c + 21, 5*c = s*r - 42. Does 17 divide r?
False
Let b(w) = -w - 12. Let t be b(-9). Let s be 6/(-21) - 6/(-21). Is 9 a factor of -1 - s - (t - 7)?
True
Let v(x) = x**3 + x**2 + 5*x - 10. Does 9 divide v(4)?
True
Let i(t) = -t**3 - 9*t**2 + 7*t - 24. Let r be i(-10). Let b(q) = -9*q + 8. Let v(j) = -j + 1. Let c(n) = -2*b(n) + 14*v(n). Is c(r) a multiple of 15?
False
Does 26 divide (-960)/(-6) + 1*-4?
True
Suppose -d - 32 = -3*d. Does 12 divide d?
False
Let q(h) be the third derivative of h**6/120 + h**5/60 - h**4/12 - 2*h**3/3 + h**2. Does 13 divide q(3)?
True
Let l(m) = 4*m - 8. Is l(15) a multiple of 21?
False
Let a be -2 + (13 - 2) - 2. Let q = 22 - a. Is q a multiple of 15?
True
Let v = -42 - -91. Is 11 a factor of v?
False
Let k(u) = 5*u**2 + 21*u + 4. Let h(m) = -m**2 - m - 1. Let r(c) = 6*h(c) + k(c). Let s be r(10). Suppose -15 = -3*g + s. Is g a multiple of 7?
True
Does 10 divide (-6)/(-1)*385/33?
True
Suppose -5*x = 42 + 23. Let k = 47 + x. Does 17 divide k?
True
Let f(o) = -o**2 - 1. Let k be f(2). Let c be k/2 + 1/(-2). Is 6 a factor of (-16)/c - (-4)/6?
True
Suppose -24 - 16 = 5*g. Let w = 13 + g. Let t = w + 3. Does 8 divide t?
True
Let v(k) = -5*k. Is 10 a factor of v(-2)?
True
Is (-24)/20*(-300)/9 a multiple of 10?
True
Let l = 45 - 18. Let d = l - 2. Suppose -50 = -5*b + d. Is b a multiple of 6?
False
Does 35 divide 2/8 - ((-1085)/28 - -4)?
True
Let f be (-6)/(-3) + -1 - -3. Suppose -f*c + 10 = -3*c. Suppose 5*j - 35 = c. Does 9 divide j?
True
Suppose 4*o - 168 = -0*d + 4*d, 5*d + 165 = 4*o. Let y = -24 + o. Does 9 divide y?
False
Let u = 9 - 15. Let p(n) = 2*n**2 + 10*n + 6. Is p(u) a multiple of 6?
True
Let q(j) = -j**3 + 2*j**2 + j + 3. Let v be q(3). Let t be (1 - 4)/v + -820. Is 13 a factor of t/(-33) + 2/11?
False
Let k(a) = -a**3 - 4*a**2 - 3*a + 2. Suppose 3*n = 4*v - 16, 2*v = 2*n + 2*n + 18. Does 8 divide k(n)?
False
Suppose -4*p + 2*v + 28 = -22, 5*p = 2*v + 64. Suppose -w - w + p = 0. Does 2 divide w?
False
Suppose 0 = -3*s - 6, 5*s = 3*x - x - 14. Let g(m) = 1 + 4*m**2 + 3*m - x*m + 14*m**2. Is g(-1) a multiple of 18?
True
Is 13 a factor of 46 + 2/(2 - 0)?
False
Let u(z) = 4*z + 1. Does 6 divide u(6)?
False
Let w = 9 + 23. Is 20 a factor of 12/(-4) + w - 3?
False
Let q(m) = m**3 - 7*m**2 - 9*m + 20. Is q(8) a multiple of 5?
False
Let m(p) = -p - 5. Is 6 a factor of m(-17)?
True
Suppose -q = -0 + 1. Let u be -29 + q*(3 - 2). Let f = u + 47. Is f a multiple of 9?
False
Let p(w) = -5 - 5*w + 5*w + w. Let r be p(7). Suppose r*i - n - 4*n = 6, 0 = 5*i + n - 15. Is 2 a factor of i?
False
Suppose -5*b + 35 = 5*r, 0 = 2*r - 2*b + 4 + 2. Suppose 0*w + r*w = 150. Is 25 a factor of w?
True
Let k(p) = p**3 - 12*p**2 + 12*p + 2. Let t(j) = 2*j**2 + 6*j + 3. Let h be t(-4). Is 13 a factor of k(h)?
True
Let d(o) = 2*o - 10. Suppose -2*u + 25 = -3*g, -54 = -5*u - 2*g + g. Is d(u) a multiple of 11?
False
Let y = 162 + 20. Is y a multiple of 13?
True
Suppose 0 = 2*c - 7 + 3. Suppose -2*s + c*u - 34 = 0, -5*s + 3*u - 67 = -s. Let p = s + 23. Does 7 divide p?
True
Let m = 4 - 4. Suppose m = -3*h - 0*h + 48. Suppose -5*v - c + 43 = -49, 0 = v - c - h. Does 17 divide v?
False
Suppose 3*u - 4 = 2. Suppose 0 = 3*i + u*i - 80. Is 8 a factor of i?
True
Suppose -8 = -0*p + p - 3*c, 4*p + 3*c = 43. Is p a multiple of 5?
False
Let y be ((-3)/(-6))/(2/(-36)). Let o = 14 + y. Suppose p = 3*x + 19, 3*p - 4*x = -o + 42. Is 5 a factor of p?
False
Let r be 60/(-9)*12/(-5). Suppose -5*c + r = 1. Is 2 a factor of c?
False
Suppose 3*r + 3*y - 96 = 0, 94 = 3*r + 2*y - 0*y. Is 30 a factor of r?
True
Let o be 3 + 2 + (-9)/3. Suppose -3*f = -121 - o. Is f a multiple of 20?
False
Let o(t) = 30*t**3 + t. Suppose -1 = -3*v + 2. Suppose 4*c - 3 - v = 0. Does 8 divide o(c)?
False
Let v(g) = -g + 12. Let t be (-1)/(-2)*(-5 + 5). Is 10 a factor of v(t)?
False
Suppose 2*t = -0*t - 202. Let y = t + 149. Is y a multiple of 12?
True
Let r(h) = -2*h**3 - 12*h**2 - 2*h - 17. Is r(-7) a multiple of 34?
False
Suppose 0*y + 5*y = l + 11, 2*l = -5*y + 8. Suppose y*u - 3*u = -26. Let o = 38 - u. Is o a multiple of 6?
True
Let v = -8 - -8. Suppose 3