ve of w**5/5 - w**4/12 - w**3/6 - 2*w. Is i(2) a multiple of 13?
True
Let j(f) = 6 + 5 - 14 + 4*f**2 + 6. Does 13 divide j(-3)?
True
Suppose 0 = 3*i - 8 - 4. Suppose -i*t = -75 + 15. Let z = -4 + t. Is 11 a factor of z?
True
Let t = -7 + 7. Suppose -2*x + 0*x + 24 = t. Let v = -7 + x. Does 5 divide v?
True
Let p = -11 + 14. Suppose -3*g - 285 = -p*c - 0*g, -c = 5*g - 95. Is 26 a factor of c?
False
Let g(q) be the second derivative of -q**3/3 - 3*q**2 - 3*q. Is 8 a factor of g(-8)?
False
Suppose 55 = t + 2*n, -5*t + 116 = 3*n - 124. Is 4 a factor of t?
False
Let r = -2 - -5. Let n(m) = m**3 - 4*m**2 + 5*m - 2. Let b be n(3). Suppose -r*t - 2 = 3*q - 62, -5*q + 55 = -b*t. Is q a multiple of 12?
False
Is -1 + 4 + 1 - -21 a multiple of 10?
False
Let p = 11 - 3. Let j(r) = r**2 - 7*r + 7. Does 14 divide j(p)?
False
Let a(y) = -y + 4. Does 6 divide a(-9)?
False
Suppose -2*q + 93 = 5*p, -3*p + 3*q + 4 = -35. Is p a multiple of 13?
False
Suppose 2*n - 214 = 64. Is n a multiple of 11?
False
Let o(i) = i + 11. Does 2 divide o(0)?
False
Suppose -j + 8 = -6. Let c be ((-12)/(-14))/((-2)/14). Let y = j + c. Is 4 a factor of y?
True
Let c be 2/((-2)/(-12)*3). Suppose -n + 168 = 4*n + c*z, 4*n = -3*z + 135. Is n a multiple of 12?
True
Suppose 236 = -b + 5*b. Is 18 a factor of b?
False
Suppose -3*o = -15, -159 = -3*c + 5*o + 74. Let k = -34 + c. Is 26 a factor of k?
True
Suppose 0 = 2*j - j - 2. Suppose 0 = -4*w - 4, -j*x = -0*w - w - 49. Let g = x + -2. Is g a multiple of 11?
True
Is -3 + 5 + -2 + 4 a multiple of 3?
False
Does 9 divide 116/8 - (-2)/(-4)?
False
Let v(m) = 2*m - 2 + 5 - m. Suppose 0 = -3*f + 10*f - 84. Is 4 a factor of v(f)?
False
Let b be -1 - -1 - -2 - -2. Let v = 7 - b. Suppose 48 = 3*o - v*u, 4*o - 60 + 14 = -5*u. Is o a multiple of 7?
True
Let g(k) = -15*k**3 + 2*k**2 + 2*k. Does 5 divide g(-1)?
True
Let w(r) = r**3 - 13*r**2 + 14*r + 22. Is w(12) a multiple of 2?
True
Let f = -23 + 79. Suppose 4*v - f = -3*p, 2*p = -p + 4*v + 16. Does 8 divide p?
False
Let j be (2 - (4 - 2)) + 3. Let w be -1 + j + 6/3. Suppose w*z + 0*z - 144 = 0. Does 18 divide z?
True
Let u = -178 + 398. Is u a multiple of 44?
True
Let y = -33 + 9. Let k = 0 - y. Is k a multiple of 7?
False
Let o = 5 - 3. Let i be (-7 + 3)/o - -5. Suppose 2*y = 5*u + 21, y + i = -0*y - 2*u. Does 3 divide y?
True
Suppose 6*z + 6 = 3*z. Let r be (-13 + z)*2/(-6). Let l(h) = h**2 - h + 6. Does 13 divide l(r)?
True
Let a be ((-3)/2)/((-3)/(-6)). Let h = a - 7. Let f = -7 - h. Is f even?
False
Suppose 0 = -f + 2. Suppose -f = -2*d, -2*i + 0*d = 3*d - 93. Is 26 a factor of i?
False
Let p be (-32)/(-5) + 4/(-10). Suppose -m - 85 = -p*m. Is 9 a factor of m?
False
Let o = -7 - -16. Suppose -3 + o = 3*h. Is 2 a factor of h?
True
Let k be (5/(-3))/((-4)/60). Suppose -5*c - 27 = 23. Let q = c + k. Does 10 divide q?
False
Suppose -2*i + 2 = -3*n, 5 = 4*n + 6*i - i. Suppose 0 = 3*s - n*s - 12. Does 4 divide s?
True
Let g = 22 + 54. Is 30 a factor of g?
False
Let v(f) = -10*f**3 - 4*f**2 + 3*f - 5. Let m be v(-5). Suppose 5*d = -m + 275. Is 19 a factor of (-2)/(1/(d/6))?
True
Let j(a) be the first derivative of -a**4/4 + 7*a**3/3 + 5*a**2 + 2*a + 4. Is 9 a factor of j(8)?
True
Let n(a) = -3*a + 7. Let c be n(-6). Let v = -4 + c. Is v a multiple of 7?
True
Let k be 0*(-3)/(-12)*-2. Suppose 2*v - 37 = 5*u, -17 = -v - k*u + 4*u. Let d = -13 + v. Does 8 divide d?
True
Suppose 0 = 5*d + 21 + 34. Let f(x) = x**2 + 8*x - 1. Does 12 divide f(d)?
False
Let b(j) = -j**2 - 7*j + 6. Let p(l) = -l - 1. Let h(n) = -n**3 + 6*n**2 + 4. Let c be h(6). Let o be p(c). Does 16 divide b(o)?
True
Suppose 2*z - 261 = 603. Suppose 5*x = z - 147. Suppose 3*l - 3*f + 0*f = x, -3*f + 23 = 2*l. Is l a multiple of 8?
True
Suppose -2*n + 0*n = 0. Suppose -2*f - 4*s + 140 = n, -60 - 12 = -f - 4*s. Does 15 divide f?
False
Let h = 11 - 11. Suppose -x - 3*u = -5*u - 11, 2*x - 3*u - 23 = h. Is x a multiple of 8?
False
Let i = -14 + 1. Let o be (-1)/4 - i/4. Suppose -o*w - 4 + 6 = -4*u, -4*w - u = -9. Is w a multiple of 2?
True
Let i(j) = -j**2 - 23*j - 2. Is 34 a factor of i(-14)?
False
Let o(d) be the second derivative of -d**5/20 + d**4/12 + d**3/6 - 3*d**2/2 + 18*d. Let f be 2 - 1 - (5 + -1). Is 15 a factor of o(f)?
True
Suppose -3*x - 9 = 2*a, 4*x + 12 = a + 2*a. Suppose a*t + 26 = -t. Is (-5)/((-10)/(-4)) - t a multiple of 12?
True
Let x = -17 - -26. Let k = -6 + x. Does 14 divide 10/15 + 118/k?
False
Let f be (-4)/(-4) - (-2)/2. Suppose -f*o + 146 + 28 = 0. Does 23 divide o?
False
Is 27 a factor of (1 + -2)/((-4)/(-352)*-2)?
False
Is 2/6 - 71/(-3) a multiple of 8?
True
Suppose -g - 6 = -5*g - i, 2*i = -4*g + 8. Is 6*(-20)/(-6)*g a multiple of 13?
False
Let n(x) = x**2 - 5*x - 1. Let p be n(6). Let k(c) = c**3 + c**2 - c - 1. Let r(d) = -4*d**3 - 11*d**2 - 2*d + 14. Let u(g) = p*k(g) + r(g). Does 4 divide u(7)?
False
Suppose -t = t. Suppose t = 3*s + 3. Does 10 divide 17 + -1 + 3 + s?
False
Suppose i = 2*i. Suppose 0 = m + 1 - i. Let z = 29 - m. Is 15 a factor of z?
True
Suppose -66 = -2*o - 20. Is o a multiple of 3?
False
Let n be (6/(-9))/(6/(-9)). Suppose -n = p + 1. Is 13 a factor of (-55)/p*12/10?
False
Let n = 68 - 54. Suppose 4*q = q + 3*r + 21, q = -2*r + 10. Let a = n - q. Is a a multiple of 2?
True
Suppose 8*a - 264 = -0*a. Is 10 a factor of a?
False
Does 20 divide (-1 - 63/(-2))/((-1)/(-2))?
False
Suppose -4*h + 2*h + 260 = 3*v, -2*h = -v - 268. Does 38 divide h?
False
Let h(q) = -q**3 - 3*q**2 + 10*q + 10. Let w(s) = -s**3 - 3*s**2 + 9*s + 9. Let a(d) = -6*h(d) + 7*w(d). Let p be a(-4). Does 2 divide -1*(-1*p - -2)?
False
Let j = -18 + 28. Suppose 0 = -2*m - j, m = -4*n - 11 - 6. Is ((-52)/n)/(2/3) a multiple of 13?
True
Let p = -10 + 16. Suppose p = t + t. Is 10 a factor of (-30)/(0 + t)*-1?
True
Let s(x) = x**3 + 9*x**2 + 9*x - 7. Let k be s(-8). Is 16 a factor of -126*(-3 - k/6)?
False
Is -6*((-1)/(-4))/(2/(-12)) a multiple of 3?
True
Let j be 584/6 - (-4)/(-12). Suppose 4*k - 39 - j = 0. Is 17 a factor of k?
True
Let w(h) = h**2 - 9*h + 11. Let t be w(8). Is 24 - 0/3 - t a multiple of 18?
False
Let x(s) = s**3 - s**2 + 1. Let z(u) = 5*u**3 - 3*u**2 - u + 3. Let d(f) = 4*x(f) - z(f). Let k be d(-2). Suppose k*q = q + 38. Is 11 a factor of q?
False
Suppose -6*h - 2 = -7*h. Suppose o + h = 10. Does 7 divide o?
False
Suppose -3*r + 2 + 4 = 0. Suppose 2*b + r = 3*b. Does 2 divide b?
True
Let w = 15 + -11. Suppose -2 - 18 = -w*u. Suppose -a + 13 = -u. Is a a multiple of 12?
False
Suppose 0 = 15*s - 12*s - 228. Does 9 divide s?
False
Does 23 divide ((-184)/(-16))/(2/8)?
True
Let r(b) = 3*b**3 - b**2 - 2*b - 1. Let t be r(2). Let s be (-6)/t + 54/10. Suppose -122 = s*u - 332. Does 17 divide u?
False
Suppose x = -2*a, 4*a + 2 = x - 4. Suppose -184 = -2*b - x*b. Is b a multiple of 14?
False
Suppose 2*p = 3*j + 46, 5*p = -2*j - 37 - 19. Does 6 divide 8/36 + (-212)/j?
True
Suppose -4*w + 29 - 1 = 0. Let z = -4 + w. Suppose x = -v - 4*v + 12, -z*v = 3*x - 36. Is 12 a factor of x?
True
Let z(b) = 5*b**2 - 3*b - 10. Let f(d) = -5 - 10 - 2*d + 0*d + 6*d**2 + 4. Let y(h) = -6*f(h) + 7*z(h). Is y(-8) even?
True
Suppose 4*s + 3*p = 114, 5 = -p + 3. Let n(q) = -q**3 - 4*q**2 - 3*q - 5. Let b be n(-4). Suppose 2*y - b*y + s = 0. Does 6 divide y?
True
Let x be 9/6*(-26)/(-3). Suppose 4*k = 123 + x. Is k a multiple of 17?
True
Let p(m) = 3*m**2 - 6*m + 12. Does 13 divide p(7)?
True
Suppose 0 = 2*u + 2*a - 3*a + 1, -3*u - 4 = -2*a. Let s(w) = 3*w - 2. Let d be s(2). Suppose -u*m = -d*m + 28. Is m a multiple of 6?
False
Let z be (-16)/4 - (-8)/2. Suppose -4*c - 4*h + 7 = -13, 5*c + 2*h - 37 = z. Is 9 a factor of c?
True
Let n(l) = 2*l**3 + l**2 - l + 1. Let p be n(1). Suppose 0 = -p*w + 33 + 48. Does 9 divide w?
True
Let u(t) = -t**3 + 5*t**2 + 3*t + 6. Is 34 a factor of u(4)?
True
Let x = 12 + -6. Is 10 a factor of (-51)/(3*(-3)/x)?
False
Suppose 0 = g + 3*g + 3*h - 358, 4*g - h = 350. Is g a multiple of 26?
False
Let b be (-99)/(-6)*(-28)/(-3). Suppose -26 - b = -3*s. Suppose -2*k + 34 = -4*y - 2, -5*y = -4*k + s. Is k a multiple of 10?
True
Suppose -4*r - 4*y + 119 = 7, 0 = -r + y + 24. Is r a multiple of 7?
False
Let q(x) = 5*x**2 + 2*x + 12. Does 18 divide q(-5)?
False
Suppose -3*d + 2*d = -2*f + 482, 0 = -3*d + 3*f - 1452. Let 