 - 12 = -s + 2*y, -h*y - 29 = -2*s. Is 10 a factor of s?
False
Let q = 192 + -60. Suppose -q = -5*n + 3*n. Does 25 divide n?
False
Let v(y) = 4*y - 5. Is 11 a factor of v(8)?
False
Let y(o) = 3*o - 3. Is 12 a factor of y(7)?
False
Let y(x) = 13*x - 2. Suppose 3*r + r + 2*h = 0, -2 = -5*r - 2*h. Is y(r) a multiple of 4?
True
Let o(j) = j**3 - 11*j**2 + 4*j - 1. Let g be 68/6 + (-8)/24. Let m be o(g). Suppose 5*z = a + m, 0 = 2*z - a - 4 - 12. Is 9 a factor of z?
True
Suppose 2*x + 4*m = x + 34, m = 0. Suppose -p - p = -x. Is 4 a factor of p?
False
Let b(s) = 7*s**2 - 3*s + 45. Let m(n) = 3*n**2 - n + 22. Let v(z) = -2*b(z) + 5*m(z). Does 6 divide v(0)?
False
Let a be (2/(-3))/(6/(-63)). Suppose -2*c - 4*k + 32 = 0, -c + 4*k + 15 = a*k. Does 6 divide c - 0*(1 - 0)?
True
Let d = 29 - -1. Is d a multiple of 6?
True
Let j(n) = -n**3 + 7*n**2 - 3*n - 4. Let t be j(3). Let y = 35 - t. Is y a multiple of 3?
True
Suppose 5*i = -4*k + 13, 15 = 3*i - 0*i. Let t(f) = -3*f - 3. Let r(x) = x**2 - 8*x - 9. Let v(s) = 6*r(s) - 17*t(s). Does 15 divide v(k)?
False
Is 11 a factor of 1230/75 - (-3)/5?
False
Let c be (-3)/2*84/(-18). Suppose -3*v + 5*o = -0*o + c, -3*v + 4*o - 5 = 0. Let b = v - -5. Does 3 divide b?
True
Suppose -3*y + 2*y = 0. Suppose -5*c + 3*v = -423 + 114, 192 = 3*c - 4*v. Suppose y = -4*i - i + c. Is i a multiple of 12?
True
Let l(h) = h**2 - 17*h + 21. Let g be l(16). Suppose -2*f - 2*u + 90 = 0, u = 6*f - g*f - 45. Is 15 a factor of f?
True
Let x(t) = -t**3 - 5*t - 5*t - 9*t**2 + t + t + 6. Is x(-8) a multiple of 4?
False
Is 8 a factor of 40 - (0 - -1)/1?
False
Suppose z - 4*w - 26 = 0, z + 4*w - 28 = -2. Is 13 a factor of z?
True
Let i = -49 - -81. Is 12 a factor of i?
False
Suppose 0 = 7*f + 131 - 362. Does 6 divide f?
False
Let v = 89 + -56. Is (-3)/2 + v/2 a multiple of 12?
False
Let g = -59 - -99. Does 10 divide g?
True
Is 36 a factor of (272/(-170))/((-1)/180)?
True
Suppose -4*y - 35 + 115 = 0. Is 5 a factor of y?
True
Let h(b) = 42*b - 14. Is 12 a factor of h(2)?
False
Suppose -5*l = m - 37, 10 + 3 = 3*l - 4*m. Is l even?
False
Let j(n) = -n**2 - 7*n - 9. Let y be j(-7). Let g(w) = -w**2 - 10*w - 3. Is g(y) a multiple of 6?
True
Suppose -2*j = h - 2, -2*j = -0*h - 5*h - 14. Let s be 0 + 3/(3/j). Suppose s*a = 7 + 41. Is a a multiple of 12?
True
Let u(m) = m**2 - 6*m + 14. Does 5 divide u(7)?
False
Suppose 4*m = 4*j, 5*m + 0*m - j + 8 = 0. Does 25 divide m/7 + (-634)/(-14)?
False
Suppose 2*v - 28 = 22. Is v a multiple of 25?
True
Let y be 16/3*(-3)/(-2). Suppose -3*w + v = y, -2*w + w + 3*v + 8 = 0. Let o = w + 20. Is 12 a factor of o?
False
Suppose -3*q - 39 = -2*q. Is q/(-2) - 21/14 a multiple of 18?
True
Let o = 35 + -12. Is 5 a factor of o?
False
Let q = -4 - -8. Suppose -18 = q*j - 5*s, -4*j + 4*s = 14 + 2. Is 10 a factor of -12*(-1 + 0) + j?
True
Suppose k - 24 = -0*k. Does 5 divide k?
False
Let u(q) = 63*q**2 - 2. Is u(-2) a multiple of 26?
False
Let v(r) = -r - 1. Let u be v(-4). Let i(n) = -n**2 - 8*n - 5 + u*n**2 + 2. Is i(7) a multiple of 15?
False
Let w(q) = 5*q**2 + 4*q - 1. Is w(-6) a multiple of 31?
True
Suppose -339 = -m - 96. Suppose 5*k + 43 = m. Is k a multiple of 20?
True
Is (-36)/(0 + -3) - 4 a multiple of 4?
True
Let h = -11 + 18. Suppose -30 = -11*g + 8*g. Let v = h + g. Does 5 divide v?
False
Let h(m) = m**3 - m**2 - m - 3. Let d(t) = t**3 - 5*t**2 + 4*t + 1. Let o be d(3). Let k be h(o). Let b = -99 - k. Is 20 a factor of b?
False
Suppose 2*p = v - 12, -v - v = -5*p - 28. Let h be (-36)/(-1)*2/p. Let u = 36 + h. Is u a multiple of 18?
True
Let f = 16 - -37. Is f a multiple of 7?
False
Let c be (-1 - -3) + (0 - 2). Suppose 3*x - 50 - 16 = c. Is x a multiple of 21?
False
Let d(x) = x**3 - 9*x**2 + x. Let y be d(9). Let g = -6 + y. Suppose -16 = -4*n + g*n. Is 6 a factor of n?
False
Suppose 4*d - 589 = 279. Is d a multiple of 31?
True
Does 10 divide (-23 - 1)*5/(-10)?
False
Suppose -49 = -5*p + 66. Is 16 a factor of p?
False
Let x(k) = -k - 2. Let n be x(-6). Suppose -n = -5*w + 31. Is 7 a factor of w?
True
Suppose 0 = 3*t - 0*t - 6. Is 10 a factor of 159/4 - t/(-8)?
True
Let d(w) = -w**2. Let a be d(0). Let t(b) = 10*b**2. Let h be t(-1). Suppose 2*s - 10 - h = a. Is s a multiple of 9?
False
Let b(f) = -2*f**3 - 4*f**2 - 3*f - 1. Let o be b(-3). Suppose 0 = -c - 4*i + o, 1 = i - 3. Suppose c = 3*n - 32. Does 11 divide n?
False
Is 14 a factor of (32/(-16))/(2/(-101))?
False
Suppose -2*f + 45 = -d + 121, -5*f = 5*d - 380. Suppose -4*l + h = 2*h - 19, l + 4*h = 1. Suppose 3*m + d = l*m. Is 19 a factor of m?
True
Is ((-2)/(-3) - 0)*(-3 - -24) a multiple of 13?
False
Let h(s) = 7*s**2 + 10*s - 8. Is h(-6) a multiple of 8?
True
Suppose -2 = 3*c + 7. Does 5 divide 4*(c + (-22)/(-4))?
True
Let m(v) = -v**3 - 7*v**2 + v. Is m(-8) a multiple of 29?
False
Let q = 1 - 5. Let v(o) = 3*o**2 + 4*o + 6. Is 19 a factor of v(q)?
True
Let q = 244 + -157. Is q a multiple of 28?
False
Let s(v) = -3*v - 1. Let i be s(-7). Let j = i - -3. Is 23 a factor of j?
True
Let v = 60 - -10. Is 10 a factor of v?
True
Let l(f) be the second derivative of -1/3*f**3 + f + 0 + 0*f**2. Does 4 divide l(-5)?
False
Suppose -2*d = 4*u + 10, -6*u + 5*d = -3*u - 25. Let p = -3 + u. Is 4 a factor of 34/6 + p/(-9)?
False
Let f(i) = -7*i**3 + 2*i**2 + 4*i + 3. Is 5 a factor of f(-2)?
False
Let j = -16 + 32. Does 8 divide j?
True
Is (-92 + -1 + 4)/(-3 - -2) a multiple of 12?
False
Suppose -5*n = 2*a - 13, -2*a - 7 + 2 = -n. Let z be 1/a + (-87)/(-3). Suppose 0 = -3*j + z + 2. Is j a multiple of 10?
True
Let s(f) = 6*f**2 + 19 + 2*f - 9 - 11. Suppose -i = -5*v + 1 + 2, v - 5*i = -9. Is 3 a factor of s(v)?
False
Let q = 16 + -5. Does 9 divide q?
False
Is ((-23)/2)/(49/14 - 4) a multiple of 2?
False
Suppose 0 = -3*p + 43 + 32. Suppose 0 = 2*v - 1 - p. Is v a multiple of 13?
True
Suppose 0 = -0*u + 2*u - 8. Suppose 0 = u*v + 82 - 222. Is 13 a factor of v?
False
Let s(r) = -179*r**3 - r**2 - r. Let n be s(-1). Let a be n/3 + 2/6. Does 9 divide -2 - 3*a/(-9)?
True
Suppose 0*x - 20 = 5*d - 3*x, d - 4 = -x. Let i = 16 + d. Does 8 divide i?
False
Let j(w) = 28*w + 1. Is j(6) a multiple of 32?
False
Let t be ((-16)/12)/(2/(-3)). Let v be t + -1 - (5 - 8). Suppose -5 + 23 = 2*z + v*r, 5*z = 4*r + 59. Does 4 divide z?
False
Suppose 0*k + 1 = k + 5*g, 4*g + 20 = 0. Is 13 a factor of k?
True
Suppose 0 = -5*y - 20, 0*y + 938 = 5*i - 2*y. Is i a multiple of 31?
True
Let q(w) = 2*w**2 - 4*w - 1. Does 4 divide q(4)?
False
Let d be -3 + 3/((-6)/(-10)). Suppose d - 9 = -l. Is 2 a factor of l?
False
Let j be 0 - (2 + -3) - -4. Let a = 9 + -2. Does 22 divide (8/j)/(a/210)?
False
Suppose -2*t - 14 = 3*t - w, 4*t - w + 11 = 0. Let l(g) = -g**2 - 2*g - 2. Let j(h) = h. Let n(r) = t*j(r) - l(r). Does 14 divide n(-3)?
True
Let k(c) = -c - 7. Let t be k(-9). Suppose 5*v + 2*x - 245 = 0, -t*v = 2*v - 2*x - 196. Is 11 a factor of v?
False
Let o(x) = -x**2 + 11*x - 5. Does 4 divide o(9)?
False
Suppose -4*q - 5*c = -22, q = -0*q - 4*c. Does 2 divide q?
True
Suppose 0 = 4*i - 2*i. Suppose 4*b - b - 54 = i. Does 6 divide b?
True
Let l(v) = -v**3 - 2*v**2 - 2*v - 4. Let y be 13/(-3) - 3/(-9). Is l(y) a multiple of 9?
True
Let o(a) = -a + 3*a + a**2 - a - 1. Does 14 divide o(-6)?
False
Let k = -37 - -66. Is 11 a factor of k?
False
Let w(q) = -q**3 + 5*q**2 + 7*q - 1. Let j be w(6). Suppose -j*d + 59 = -11. Is 14 a factor of d?
True
Let y(f) = -f**3 - 7*f**2 - 7*f - 6. Let z be y(-6). Suppose z = 5*a, -k + 3*k + a = 146. Let o = -44 + k. Is 12 a factor of o?
False
Let k(r) = -2*r**3 - 6*r**2 - r + 2. Let p(s) = s**3 + 6*s**2 - 5*s + 10. Suppose -2*n + 5*g = 24, 4*n - 7*g = -3*g - 36. Let q be p(n). Does 21 divide k(q)?
False
Suppose -5*i - 2*r + 4*r = -217, 5*i - 5*r = 205. Is i a multiple of 15?
True
Let x(k) = 6*k - 3. Let s(p) = 6*p - 4. Let j(q) = 4*s(q) - 3*x(q). Let f(h) = -5*h - 3. Let d be f(-2). Is 16 a factor of j(d)?
False
Is 18 a factor of (-574)/(-12) - 75/90?
False
Let c(t) = t**3 + 5*t**2 - 2*t. Is 8 a factor of c(-4)?
True
Suppose 1 = 2*m - 3. Does 17 divide (-34)/(m/2 - 2)?
True
Suppose a - 19 = 61. Is a a multiple of 20?
True
Suppose -w - 14 + 90 = 0. Suppose -h - 3*h = 4*z - w, 4*h - 58 = 2*z. Is 16 a factor of h?
True
Let k = -4 - -9. Suppose 5*w = -n + 3 + 8, 136 = k*n 