i - 6. Suppose -2*z = 3*w - h*z - 176, -136 = -3*w - 4*z. Is w a multiple of 26?
True
Let m(s) = -6*s**3. Let l be m(-1). Let b = 15 + l. Does 9 divide 1 + -2 + (b - 2)?
True
Let k(y) = -y**3 + 4*y**2 - y - 2. Let z be k(3). Suppose -z*b + 63 = -d, -3*b + 9 = -2*b + 2*d. Does 12 divide b?
False
Suppose 4*u - 90 = -2*u. Does 15 divide u?
True
Let n(u) = 3*u + 8. Let c(m) = -4*m - 9. Let f(z) = 4*c(z) + 5*n(z). Let b be f(0). Suppose -b*j = 2*o - 36, -2*o + 29 = o + j. Does 8 divide o?
True
Suppose 2*d - 5*d = -9. Is 3 a factor of d?
True
Let q(c) = -4*c**2 + 4*c + 1. Let l(k) = -5*k**2 + 3*k. Let t(z) = 3*l(z) - 4*q(z). Let n be t(8). Let p = n + 10. Does 5 divide p?
False
Let q = 118 + -63. Does 13 divide q?
False
Let u(i) = i**2. Let g be u(-2). Let z(b) = 4*b - 3. Is 12 a factor of z(g)?
False
Suppose 52 = 4*a - 56. Is -1 - (-5)/(15/a) a multiple of 8?
True
Suppose 4*b + 6*b - 360 = 0. Is 6 a factor of b?
True
Suppose 890 = 3*v - 2*u, 1013 = 3*v - 4*u + 115. Is v a multiple of 42?
True
Is -1*(-30)/(-18)*(-1 + -44) a multiple of 5?
True
Let m(v) = -v**2 - 6*v + 1. Let o be m(-5). Is 28 + o/(3/(-1)) a multiple of 9?
False
Let y be (1 + -1 - 3)/(-1). Suppose 92 = s - 64. Suppose z + y*z = s. Is 10 a factor of z?
False
Suppose 0*v + 3 = 3*v - q, q = 4*v - 3. Let l(m) = 2*m**2 + 2*m**2 + 2*m + v + 0. Is 12 a factor of l(-2)?
True
Let g(k) be the first derivative of k**5/60 - k**4/24 + 11*k**3/6 + k**2 - 1. Let c(i) be the second derivative of g(i). Is 11 a factor of c(0)?
True
Suppose 20 = 4*y - 0. Suppose -i + y*h = -44, -4*i + h + 104 = -i. Does 12 divide i?
False
Let y(g) = g**3 + g**2 + 65. Let k be y(0). Let b = -26 + k. Is 20 a factor of b?
False
Let q = 2 + 0. Suppose k = 22 + q. Suppose -2*v + 0*v = -k. Is 7 a factor of v?
False
Suppose -4*k + 14 = 2*q, 2*k + 1 = q + 6. Suppose -2*o = k*o - 10. Suppose 3*j = -2*f + 34, -o*f + 6*f - 3*j - 104 = 0. Is f a multiple of 10?
False
Let w = -1 - -13. Let q = 4 + w. Is 12 a factor of q?
False
Suppose 0 = -3*u - 2*u + 10. Suppose -u*l = 3*l. Suppose -4*x = -l*x - 136. Does 13 divide x?
False
Let z = -2 + 7. Suppose -3*c + 5*i = -50, 0*i + 2*i - 42 = -z*c. Does 10 divide c?
True
Let n be 2/(-3) + 55/15. Suppose 2*z - n = -z. Is 9 a factor of (-41 - z)*(-4)/8?
False
Let k(u) = u**3 + 12*u**2 - 12*u + 16. Let g be k(-13). Is 9 a factor of 3*4/g + 32?
True
Suppose 0 = 3*r - 4*o + 23, 5*r - 3*o + 2 + 18 = 0. Let n be (r - -5)/(-1 - -2). Let d = n - -3. Is 7 a factor of d?
True
Let x(a) = a**2 - a - 2. Let h be x(2). Suppose 4*q - 64 = -h*q. Is q a multiple of 11?
False
Does 10 divide 6*2/6 - -28?
True
Let g(c) = c**2 + 4*c - 9. Let o be g(-9). Let w = o + -20. Is w a multiple of 7?
False
Let i(b) = b**2 + 8*b - 5. Let m be i(-7). Let j(t) = -t - 8. Does 3 divide j(m)?
False
Let d(a) = a**3 + 6*a**2 + 1. Let o be d(-6). Does 6 divide 6/((-9)/(-12)*o)?
False
Let m(x) = 9*x. Let d = 3 + -3. Suppose d*r = i + r - 3, 0 = 5*i + 4*r - 14. Does 16 divide m(i)?
False
Let w = -106 + 127. Is 21 a factor of w?
True
Let o = 283 - -357. Suppose -3*r = 2*r - o. Suppose 3*m = -m + r. Is m a multiple of 13?
False
Let t(f) = 10*f**2 + 7*f - 11. Does 10 divide t(3)?
True
Let b = 378 - 264. Does 19 divide b?
True
Is 22 a factor of -2 + 21 - (2 + -5)?
True
Suppose -6 = -3*r + 4*q, -12 = -4*r - 2*q - 4. Let n be ((-2)/(-4))/(1/r). Does 6 divide (-4)/n*46/(-8)?
False
Suppose 0 = 4*f + 5*l - 18, -2*l + 4 = 4*f - 4*l. Suppose f*w = -0*w + 10. Does 5 divide w?
True
Let a(r) = r - 8. Let t be a(11). Let m = 21 - -19. Suppose 3*f + 6 = 0, -2*f = -0*h - t*h + m. Does 6 divide h?
True
Let d = -12 - -17. Suppose d*j = -3*a + 725, 10 + 5 = -3*a. Does 12 divide 8/(-12) + j/6?
True
Suppose 0 = 5*h - 0 - 35. Let l(x) = h + 4*x - x - 4*x. Does 4 divide l(0)?
False
Let l be 112/52 + (-2)/13. Suppose 46 + 18 = 3*d + 5*z, -l*d + 16 = -2*z. Is d a multiple of 4?
False
Suppose -3*a + 0*a = 9. Let m = 3 - a. Does 5 divide (-3)/(m/(-4)) + 3?
True
Suppose 3*o = 6*o - 42. Is 8 a factor of o?
False
Let w(z) = -z**2 - 9*z - 6. Let s be w(-8). Suppose -18 = -s*i + 2. Does 5 divide i?
True
Let r(v) = v**3 + 7*v**2 - 9*v + 8. Let h be r(-8). Suppose 4*f - h = 2*o, 3*f = -2*f + 20. Suppose -2*u - u + 18 = o. Is u a multiple of 6?
True
Let w(d) = -d**2 + 12*d - 5. Is 9 a factor of w(5)?
False
Suppose -4*l + 71 + 73 = 0. Is 9 a factor of l?
True
Let b = -4 - -6. Let y be (b/(-4))/((-1)/4). Suppose -2 = -2*u + 3*k + 2, 4*u + y*k - 24 = 0. Does 4 divide u?
False
Does 25 divide (-4550)/(-15) + -3 + 2/(-6)?
True
Let d(t) = t**3 - 8*t**2 + 4*t + 16. Let h be d(7). Let q(r) = -15*r. Is 17 a factor of q(h)?
False
Does 10 divide (228/(-10))/(28/(-70))?
False
Let v(c) = c**2 - 6*c + 8. Let n = 7 - 10. Let r = n - -9. Is 3 a factor of v(r)?
False
Let o(s) = -s + 1. Let l be o(7). Let x = l - -30. Does 12 divide x?
True
Suppose -7*t - 16 = -9*t. Let r = 5 + t. Is 3 a factor of r?
False
Let u(c) = 2*c - 9. Let f be u(6). Suppose 0 = -f*j + 7*j - 136. Is 12 a factor of j?
False
Let s(p) = -p**3 + 15*p**2 + 5*p + 9. Is 14 a factor of s(15)?
True
Let l(s) = 7*s. Let h be l(4). Let c = 48 - h. Is 20 a factor of c?
True
Suppose 6*i - 150 = i. Let z be (-1)/(5/4)*5. Let v = z + i. Is v a multiple of 10?
False
Let u = 1 + 22. Suppose 2*a - a = u. Does 3 divide (-4)/14 - a/(-7)?
True
Does 21 divide (34 + 1)*(0 - -3)?
True
Let j = 65 + 79. Is j a multiple of 12?
True
Is -1*(-6)/(-18)*-39 a multiple of 7?
False
Suppose -4*y = -0*y - 40. Suppose 2*r = y + 44. Is r a multiple of 11?
False
Let r(w) = w - 13. Let x be r(15). Suppose -3*i - 64 = -2*b, b - 23 = -x*i - i. Is 10 a factor of b?
False
Let s(f) = -2 + 0*f**3 + 2*f**3 + 2*f**2 + 4 + 0*f**3. Does 10 divide s(2)?
False
Let u(t) = 5*t - 4. Is u(3) a multiple of 3?
False
Let m(k) = 2*k**3 - 3*k**2 + k - 5. Does 13 divide m(4)?
False
Let h(y) = -y**3 - 10*y**2 - 10*y - 4. Let a be h(-9). Suppose -2*r = -4*r + 3*f + 48, -2*r + a*f + 44 = 0. Is 27 a factor of r?
True
Suppose -4*r = -2*r - 34. Is 14 a factor of r?
False
Let h(f) = 159*f**3 - f**2 + f - 1. Let p(i) = -i**2 - 10*i - 8. Let t be p(-9). Let d be h(t). Suppose 93 = 3*c - 6*m + 3*m, 5*c - 2*m = d. Does 16 divide c?
True
Let j(g) be the first derivative of 11*g**2/2 - 3*g + 2. Does 9 divide j(2)?
False
Let r(c) be the first derivative of -c**4 + c**3/3 - c + 20. Let h(g) = -g - 3. Let q be h(-2). Is 3 a factor of r(q)?
False
Let i = 109 + -2. Suppose 0 = -5*g + 25, -2*g - 51 = -2*j + i. Is j a multiple of 28?
True
Suppose 3*t = 5*p + 121, -2*t = -p - 4*p - 74. Does 9 divide t?
False
Let u = 15 + 10. Let l = u - 3. Does 14 divide l?
False
Suppose -3*s = 2*s - 85. Let u = -7 + s. Does 10 divide u?
True
Let a be 0/(4 + 2/(-1)). Suppose a*g - g + 34 = 0. Is 15 a factor of g?
False
Let k = -11 + 27. Does 6 divide k?
False
Suppose -846 = 8*v - 26*v. Is 39 a factor of v?
False
Suppose -5*f + 555 = 4*x, 0*f + 278 = 2*x + 2*f. Does 28 divide x?
True
Let i(k) = -3*k**2 + k. Let r be i(1). Let n be 5/(5/2) - r. Suppose -3*h - 7 = -4*y + 39, 3*y + n*h - 22 = 0. Is 10 a factor of y?
True
Let u(x) = -12*x. Let a = -3 + 4. Let k be u(a). Is 10 a factor of (-362)/k - 2/12?
True
Let y(w) = w**3 - w**2 - w + 2. Let s be y(0). Suppose s*o + 9 + 2 = 3*z, -1 = z - 3*o. Suppose z*f - 6 = 69. Does 10 divide f?
False
Let h = 0 - 0. Suppose h = 5*o - 6*o + 10. Is 5 a factor of o?
True
Let c be ((-78)/8)/(3/(-8)). Let s(w) = -4*w**3 + c + 3*w**3 - 2*w + w. Is s(0) a multiple of 13?
True
Let c(u) = u**2 - 6*u + 4. Does 24 divide c(-7)?
False
Is 1/(2*(-4)/(-336)) a multiple of 21?
True
Suppose 2*x - 2*r - 215 = -65, 2*x - 145 = -3*r. Is 23 a factor of x?
False
Let s(c) = -6*c + 4. Let p be s(-2). Does 2 divide ((-4)/(-1))/(p/24)?
True
Is ((-3)/4)/((-2)/56) a multiple of 11?
False
Let y = 10 - 14. Let b = 20 + y. Is b a multiple of 11?
False
Let r = 35 + -20. Let j(n) = -10*n**2 - n. Let w be j(-1). Let i = r + w. Is 4 a factor of i?
False
Let r(n) = -n**3 + 10*n**2 + 4*n + 9. Is 14 a factor of r(9)?
True
Let d = 28 + -26. Suppose d*a - 47 = 3*h + 11, 4*a = 5*h + 116. Is a a multiple of 7?
False
Let w(i) = -i**2 - 12*i - 8. Let t be w(-11). Let s be 1354/6 - (-8)/(-12). Suppose 2*l + t*l - s = 0. Is l a multiple of 15?
True
Suppose -k + 3*b = -52, -2*k = -7*k - b + 196. Is k a multiple of 8?
T