actor of i?
False
Suppose -4*r = -n - 550, -4*r + 5*r - 142 = -2*n. Is r a multiple of 41?
False
Suppose 18*i - 7*i = 2948. Is 34 a factor of i?
False
Let r be (-4)/14 + 2/7. Let m(b) = -2*b + 0*b + r*b. Is 9 a factor of m(-6)?
False
Suppose z - 37 + 1 = 3*d, -2*z - 2*d + 64 = 0. Is z a multiple of 9?
False
Let y(n) = n**3 + 3*n**2 - 2*n + 4. Let u be y(-4). Let j = 0 - u. Suppose -2*z - s + 4*s = -28, -j*z = -3*s - 44. Is z a multiple of 8?
True
Suppose 0 = v + 2*v - 6. Let h(q) = q**2 - 1. Let z be h(v). Let o(f) = -f**3 + 4*f**2 - 2*f + 1. Is 3 a factor of o(z)?
False
Let f = 79 + -32. Is f a multiple of 20?
False
Let i be -3 - (-4)/2 - -9. Let c be ((-20)/i)/((-2)/4). Suppose 2*s = 2*g + 30, c*s - 23 - 60 = -3*g. Is s a multiple of 8?
True
Let c(z) = -z**2 + z + 3. Let i be c(0). Suppose 3 = -i*b + 4*b. Suppose -2*q - 2 = -4*q, 0 = b*t + 2*q - 32. Does 4 divide t?
False
Let w = -1 + 7. Suppose -4*o + 5*k = -0*k, 0 = 5*o + 2*k - 33. Is 18 a factor of 10*3/w*o?
False
Let s = -120 - -185. Is s a multiple of 6?
False
Suppose 4*j - 13 = y, 3*y + j = 6*j - 18. Let v(f) = 4*f**2 - 3*f - 33. Let a(w) = w**2 - w - 1. Let m(o) = y*v(o) + 3*a(o). Does 15 divide m(0)?
True
Let d(s) = s**3 - 7*s**2 + 9*s - 2. Let j be (-1 + 14/6)*3. Let y(v) = -v**3 + 7*v**2 - 10*v + 2. Let u(l) = j*d(l) + 3*y(l). Does 20 divide u(7)?
True
Let s be (-3)/9 - 82/(-3). Let i = s - 15. Does 6 divide i?
True
Let q = -4 + -8. Let z = q - -22. Is z a multiple of 5?
True
Let a = -7 - -7. Suppose -w + 13 + 13 = a. Does 14 divide w?
False
Suppose -82 - 587 = 3*j. Let g = j + 314. Is g a multiple of 22?
False
Let x = 9 + -7. Is x even?
True
Let n = 14 + -9. Suppose -4*w = -w + z - 18, -n*z + 40 = 5*w. Is w a multiple of 2?
False
Let p(r) = 5*r + 3. Is 6 a factor of p(3)?
True
Let h(u) = u**3 + 2*u**2 - 3*u - 4. Let m be h(-3). Is m*4/(-8) - -3 a multiple of 5?
True
Suppose 3*a - a - 158 = -2*g, 5*a - 170 = -2*g. Is 25 a factor of g?
True
Let x = -11 + 15. Suppose -x*r + r + 6 = 0. Suppose -5*v + 132 = -r*v. Is 17 a factor of v?
False
Let s be (-2)/(-4)*210/15. Suppose -4*c + s*c + k - 32 = 0, 5*k = -3*c + 52. Is c a multiple of 3?
True
Let v(m) = -2 - 23*m + 16*m**2 + 23*m. Let x be v(2). Let q = -34 + x. Is 10 a factor of q?
False
Suppose -y + 2 = -6. Let t = 3 - y. Does 13 divide 26/((-2 - t)/3)?
True
Let c(p) = -60*p**2 - 6*p - 1. Let o(i) = 59*i**2 + 5*i + 1. Let w(r) = 4*c(r) + 5*o(r). Does 11 divide w(-1)?
True
Suppose 8 = c + 3. Suppose -6*s + 4 = -4*s. Suppose d = -a + 16, -4*d + s = -c*a - 53. Is 6 a factor of d?
False
Suppose 3*i = 3*f - 0*f + 3, -2 = 2*i - 3*f. Suppose i*p = p + 72. Is p a multiple of 8?
False
Suppose -4*c + 0*c + 28 = 0. Suppose 3*n - c*n = -52. Is 5 a factor of n?
False
Suppose -4*z = -62 - 130. Is 8 a factor of z?
True
Let a(u) = u + 1. Let v be a(-3). Let b = 5 + v. Suppose -4*d = -b*d - 28. Is d a multiple of 21?
False
Is 66/(1/((-8)/(-12))) a multiple of 11?
True
Let u be 0 + 1 + 1/1. Let l(o) = 2*o - 4. Let p be l(3). Does 3 divide 6/(p*1/u)?
True
Let m be (12/(-1))/(4/(-18)). Suppose 2*z = -5*k + m, z + 32 = 4*k - 3*z. Is 7 a factor of k?
False
Suppose u + 3*u = 0. Suppose 5*s + 0*s - 125 = u. Does 25 divide s?
True
Let u = 24 + -12. Suppose 5*k = -4*n + 1 + u, 5*n = k - 20. Suppose -198 = -k*c - 68. Does 16 divide c?
False
Does 20 divide ((-60)/42)/((-1)/35)?
False
Let l(v) = v**2 + 12*v + 14. Let t be l(-12). Suppose 4*a - 318 - t = 0. Is a a multiple of 19?
False
Let u(y) = -y**3 + 8*y**2 + y - 4. Does 2 divide u(8)?
True
Suppose -4*h + 136 = -4*n - 0*n, -2*h + 71 = -3*n. Suppose 0 = -2*z + 4*p + 44, 4*z = p + h + 22. Is z a multiple of 6?
True
Does 7 divide 1*((-285)/(-15) + 4/2)?
True
Suppose -b + 2*b = 0. Suppose b = -3*i + 26 - 8. Is 6 a factor of i?
True
Let c(h) = h**3 + 3*h**2 - 2*h. Let d(a) = -a + 4. Let r be d(7). Let o be c(r). Let f(l) = l**3 - 7*l**2 + 8*l - 2. Is f(o) a multiple of 10?
True
Let i(j) = -j - 5. Let x be i(-10). Let w(c) = c**3 - 4*c**2 - 6*c + 2. Let m be w(x). Is 3 a factor of (3/(-2))/(m/6)?
True
Let v(r) = -r + 130. Let c be v(0). Let y = 65 - c. Let o = y - -97. Does 16 divide o?
True
Let h = -1 - -3. Suppose h*a = -a + 9. Suppose -6 = l - 3, -5*l = a*m. Is m a multiple of 5?
True
Let y(z) = -z + 8. Let n be y(7). Suppose -m + f = -n - 17, -56 = -3*m + 4*f. Is m a multiple of 5?
False
Let y = 20 + 101. Does 25 divide y?
False
Let o = -54 + 92. Is 19 a factor of o?
True
Let i(a) = -5*a. Let u be i(-4). Let w = -44 + u. Let o = -9 - w. Is 9 a factor of o?
False
Suppose 4*l = -4*l - 72. Suppose p + 7*v - 2*v - 2 = 0, -2*v = -3*p + 57. Let g = l + p. Is g a multiple of 8?
True
Suppose -z + 16 = 2*m, 2*z + 5*m = 4*z - 68. Is 6 a factor of z?
True
Let q be (-2)/(-5) - 44/10. Let w(h) = -h**3 - 3*h**2 + 5*h - 1. Let b be w(q). Is 8 a factor of b/20 - (-130)/8?
True
Let r be 4/6 + 22/(-6). Is r/(6*(-2)/136) a multiple of 13?
False
Let v be (-1 + 2)/(-3 - -2). Let q = -1 - v. Suppose q = -5*z + z + 48. Does 10 divide z?
False
Suppose -s + 76 = 4*j, 5*s + 0*j = j + 401. Does 34 divide s?
False
Let v(u) = 21 - 16 - 6*u - u. Is 21 a factor of v(-9)?
False
Suppose -4 = 5*q + 11. Let l = q + 3. Suppose 5*z + l*z - 3*g - 36 = 0, 4*z - g - 33 = 0. Is 4 a factor of z?
False
Let n be ((-6)/2 + 5)*-3. Let m be 16 + 1/2*n. Let d = -2 + m. Does 11 divide d?
True
Let j = 98 + -42. Is j a multiple of 16?
False
Let m(h) = h**3 + 7*h**2 + 3*h - 6. Let i be m(-6). Suppose i - 2 = k. Does 10 divide k?
True
Suppose p + 0*p = 4. Suppose -4*g - 88 = -5*i + 47, p*i = -3*g + 139. Is i a multiple of 21?
False
Let d be 4 - (-3)/((-3)/2). Suppose 1 - 5 = -d*l. Is (-1)/6*l*-12 even?
True
Suppose 4*m - 285 = -4*w - 77, 5*m = -4*w + 204. Does 7 divide w?
True
Suppose 3*u - 15 = 0, -4*n - 3*u - 129 = -4*u. Let c(a) = -4*a + 6. Let h be c(6). Let r = h - n. Does 13 divide r?
True
Let n(d) = 10*d**3 + 11*d**2 + 2*d - 1. Let g(c) = -7*c**3 - 7*c**2 - c + 1. Let z(o) = 7*g(o) + 5*n(o). Does 8 divide z(-5)?
False
Does 42 divide (-2 - (-6 - 0)) + (-6360)/(-24)?
False
Let x(f) = f**2 - 6*f + 1. Let b(u) = -2*u**2 + 12*u - 3. Let m(y) = 2*b(y) + 5*x(y). Let q be m(8). Let a = q - 1. Does 4 divide a?
False
Let x(w) = 96*w - 26. Let p(g) = -19*g + 5. Let v(j) = -11*p(j) - 2*x(j). Let s be v(3). Suppose -s - 32 = -4*t. Is t a multiple of 8?
False
Let j(l) = l**2 + 26. Let y be j(0). Suppose d - 2 = y. Does 10 divide d?
False
Suppose -y + 125 = 38. Suppose 5*z - 3*q - 13 = -0*z, -3*q + 22 = 2*z. Suppose -78 - y = -z*h. Is 13 a factor of h?
False
Let o(q) = -q**2 - 23*q - 18. Is o(-20) a multiple of 18?
False
Let x = 9 + -6. Suppose 0 = -x*z + 288. Let s = -53 + z. Is s a multiple of 12?
False
Let n(m) = m**3 + 11*m**2 + 7*m - 12. Is 9 a factor of n(-10)?
True
Let a(s) be the first derivative of s**3/3 + 2*s**2 - 5*s + 1. Let j be a(-5). Suppose -2*u + 13 + 1 = j. Does 5 divide u?
False
Suppose b = 4*b + 69. Let f = 31 - b. Is 11 a factor of f?
False
Let q be (-6)/5 - 10/(-50). Let l be q/(-2)*16 + 2. Suppose 8 = k - l. Is 6 a factor of k?
True
Let n = 8 + -11. Let i be ((-10)/n)/((-1)/(-9)). Is (36/(-30))/((-1)/i) a multiple of 18?
True
Suppose 0*a + a = 4. Suppose a*q - n - 44 = -2*n, -2*q = -3*n - 22. Let i(b) = -b**3 + 12*b**2 - 10*b - 1. Is 5 a factor of i(q)?
True
Suppose -5*w - 5*z = -145, -3*z = w - 8*z + 1. Does 16 divide w?
False
Let q(a) = a**2 - 5*a + 3. Let o be q(5). Suppose -99 = -4*u - 3*i, -o*i = -0*u + 2*u - 51. Suppose n = 5*j - n - u, 4 = -2*n. Is 3 a factor of j?
False
Let l = 85 - 126. Let g = 103 + l. Suppose -k - k + g = 3*t, 4*t + 3*k - 81 = 0. Is t a multiple of 12?
True
Suppose 0 = 3*y - 16*y + 455. Does 4 divide y?
False
Suppose -5*a + 4*a = -5. Let n = a - -12. Suppose -3*s + 28 + n = 0. Does 15 divide s?
True
Let u(j) = 14*j - 40. Let d be u(9). Let v(r) = 10*r**2 - 2*r - 4. Let z be v(-4). Suppose 5*q = d + z. Is 22 a factor of q?
False
Let f = 3 + -1. Suppose 0 = -f*y - y + 66. Does 11 divide y?
True
Let c(g) = -g - 4. Let k be c(5). Let r = 12 + k. Is (12/14)/(r/21) a multiple of 5?
False
Let h(g) = g**3 - 9*g**2 + 11*g + 5. Does 5 divide h(8)?
False
Suppose -2*a + 1 = -65. Is 5 a factor of a?
False
Let k = -6 - -8. Suppose -k*q = -b - 42, 8 = -3*b - 4. Does 11 divide q?
False
Let m(v) = -17*v**2 - 5*v - 5. Let w(r) = 50*r