i**2 + i**2. Let g be c(3). Let h(u) = -u**2 + 6*u + 8. Is h(g) a multiple of 3?
False
Suppose 0 = -m + 1, 4*x + 7*m + 5 = 4*m. Let y = x + 9. Suppose -y = -2*q + 9. Is 8 a factor of q?
True
Let z = -6 + 3. Is (z - -1) + 62 - 3 a multiple of 12?
False
Suppose -15 = -4*p - 3. Is ((-21)/p + 3)*-3 a multiple of 12?
True
Let t = 27 + -12. Let v = t - 11. Suppose 1 = u - v*m - 1, -50 = -4*u - 5*m. Is u a multiple of 9?
False
Suppose 6*r - 219 = -3. Is 12 a factor of r?
True
Let l = 20 - 18. Suppose 3*b = -o + 3*o + 46, -b + 2 = l*o. Does 3 divide b?
True
Let j be 0 - (0 - 5/1). Suppose -98 = -j*n + 4*w, 4*w + 4 = 2*w. Let h = 35 - n. Does 12 divide h?
False
Let n(f) = f**3 - 4*f**2 - f + 17. Is n(5) a multiple of 7?
False
Suppose 0 = -3*m - m + 36. Let n = -5 + m. Is 14 a factor of n/(8/6) - -20?
False
Let c = -28 - -14. Is 7 a factor of (-4)/c + 1554/49?
False
Suppose 4*y - 5*y = 0. Let p = y - 0. Suppose p*c + 54 = 3*c. Is c a multiple of 11?
False
Let o = 27 - 9. Is o a multiple of 6?
True
Suppose -2*z = 3*p - 8*p + 49, -5*z = -15. Is p + (-2 - (-3)/1) a multiple of 4?
True
Suppose -2*y - 177 = -5*y + 5*o, -2*y + 119 = -3*o. Does 11 divide y?
False
Let c = -16 - -27. Let b = c - 8. Suppose b*l = 4*l - 4*g, 5*l + g - 42 = 0. Does 4 divide l?
True
Suppose -k = -6*k + 90. Suppose 3*m = -2*n + 4 + 12, -3*m = -n - 28. Suppose -2*f + k = m. Is 4 a factor of f?
False
Let k(l) = -2*l**2 - l - 3*l - 5 + 13*l**2 - 9*l**2. Let t = -1 + 7. Does 11 divide k(t)?
False
Suppose -2*b + 4 = -4. Let z(h) = -h**3 + 6*h**2 - h - 4. Does 9 divide z(b)?
False
Let w(d) be the first derivative of -d**2/2 + 10*d - 4. Let y be w(9). Is -3 + 5 + 17*y a multiple of 13?
False
Is (0 - 1)/(20/(-840)) a multiple of 12?
False
Suppose -4*k + 4*b = -712, 4*b - 280 - 240 = -3*k. Is k a multiple of 16?
True
Suppose 0*m + 5*m = -2*f + 197, 36 = m - 3*f. Is m a multiple of 11?
False
Let f = 17 - 8. Is 16 a factor of 34 + f/(-3) - -1?
True
Is 17 a factor of (-21 - -4)/((-2)/(-2)*-1)?
True
Is 29 a factor of 50 + (4 - -3 - 4)?
False
Suppose 0 = -3*x + d + 86, 2*x - d - 50 = -4*d. Is x a multiple of 6?
False
Let v(l) = -4*l**3 + 3*l**2 - 4*l - 12. Let g(t) = -2*t**2 + 2*t**2 - t**3 - 3 - t + t**2. Let j(y) = -9*g(y) + 2*v(y). Is j(3) a multiple of 3?
True
Let a(v) = -v + 3. Let i(t) = -t + 2. Let b(m) = -6*a(m) + 5*i(m). Let x be b(10). Suppose x*j + 10 = 0, -4*r - 3*j = -3*r + 5. Is r a multiple of 10?
True
Is 13 a factor of (-7)/(49/(-184)) + (-4)/14?
True
Let i(s) be the second derivative of -5*s**3/6 - s. Is i(-1) a multiple of 4?
False
Let x be (6/(-9))/(2/(-9)). Suppose 0 = x*d - 21 - 21. Does 14 divide d?
True
Let q be (4 - -2)*6/1. Let c = 84 - q. Does 12 divide c?
True
Let z(t) = -113*t + 7. Let x(d) = -112*d + 7. Let w(n) = 6*x(n) - 5*z(n). Let r be w(5). Is 16 a factor of 4/14 + r/(-14)?
False
Suppose 2*f - 2 = -3*j + 14, 5*j + 4*f = 26. Let a = j + -10. Is a/6 + 28/6 even?
True
Suppose 5*m - 4*c = -3 + 328, 261 = 4*m - 3*c. Is m a multiple of 29?
False
Let z(p) = -6*p**3 - p**2 - p - 1. Does 5 divide z(-1)?
True
Suppose 2*t = 4*l, 0*l - 4 = -t - 2*l. Suppose y = -5*b + 330, -2*b - t*y + 132 = -4*y. Does 11 divide b?
True
Let s(i) = 2*i**2 - 4 + i**3 + 3 + 0 + 0*i**3. Is 19 a factor of s(3)?
False
Let j(z) = z + 85. Is j(0) a multiple of 11?
False
Let j = 5 + -2. Let d be (4 + -2 - j)/(-1). Is d*(8 + -2)*1 a multiple of 6?
True
Let p be (-441)/84 + 2/8. Let h = 12 - p. Is 17 a factor of h?
True
Let f = -5 + 7. Let i(b) = 17*b**2 - b - 2. Let g be i(f). Does 10 divide -3 + (-2 - g/(-2))?
False
Let x be (-1)/1*75/(-5). Suppose 0*m = m - x. Is 11 a factor of m?
False
Suppose -4*q + i + 753 + 75 = 0, -3*q = -2*i - 616. Is 16 a factor of q?
True
Let y(q) = q + 12*q + 1 + 3 - 3. Let j be y(1). Suppose -5*r + 126 = -j. Is r a multiple of 14?
True
Suppose 0 = 3*l - 2*w - 296, -5*l + 8*w = 3*w - 485. Does 27 divide l?
False
Let c be (-1)/(-1) + (-2)/(-2). Suppose -4*x - 74 = -c*m, 0 = -5*m - 0*m - 3*x + 133. Is m a multiple of 12?
False
Suppose 0 = -2*i - 6, d - i = -d + 67. Is d a multiple of 5?
False
Let o(q) = 5*q**3 + q**2 + 2*q - 3. Let w(b) = -b + 1. Let h(x) = -o(x) - 3*w(x). Let p be h(1). Is 10 a factor of ((-4)/p)/(4/90)?
False
Suppose 10*c - 2220 = -0*c. Is 29 a factor of c?
False
Suppose 490 = 5*o - 340. Suppose -3*d - 19 + o = 0. Does 10 divide d?
False
Let k = -4 - -4. Suppose 0 = -5*g + r + 13, r = 2 - 5. Suppose -g*y + 60 = -k*y. Is y a multiple of 15?
True
Suppose 0 = 3*x - 4*x - 6. Let b = 9 + x. Suppose b*i - 5*q - 53 = 0, 0 = -4*i + 4*q + q + 74. Is 7 a factor of i?
True
Suppose -57 = 2*x - a, 51 + 26 = -2*x - 3*a. Let y = 27 - x. Is 25 a factor of y?
False
Let v = -129 + 253. Is v a multiple of 20?
False
Suppose f + 0 = 2. Suppose -o - p + 88 = 4*o, p = -f. Does 6 divide o?
True
Suppose 0 = -5*w + 35 + 5. Let j = w - -2. Is ((-28)/10)/((-2)/j) a multiple of 5?
False
Suppose -2*u + 3*u = 2*m - 7, 23 = 4*m - 5*u. Let w be ((-8)/2)/(-5 - -4). Suppose -m*g = -32 - w. Does 9 divide g?
True
Is 1/(-3) - (-111)/9 a multiple of 6?
True
Let x be -2 - 2*(-2 + 1). Suppose -2*w + x*w = -4. Suppose w*q = -3*q + 125. Does 17 divide q?
False
Let w be 8/(-6)*108/(-8). Let b = w + -12. Let h(p) = -p**2 + 10*p - 4. Is h(b) a multiple of 10?
True
Suppose 43*i = 46*i - 525. Is i a multiple of 25?
True
Let j(n) = n - 4. Let x be j(9). Suppose -6*u + u + 200 = x*w, 0 = 4*u + w - 163. Does 19 divide u?
False
Let h = 241 + 47. Is h a multiple of 8?
True
Suppose 3 = k, 4*k = -v - 0*k + 181. Does 13 divide v?
True
Suppose -y - 468 = -5*y. Is 13 a factor of y?
True
Let q(t) = -t - 1. Let u be q(-2). Let z = u + -1. Suppose -k = -z*k - 17. Is k a multiple of 7?
False
Let r = -5 + 10. Let i(l) = -l**3 + 5*l**2 + 3*l - 7. Does 6 divide i(r)?
False
Let g be 4/(-18) - 1790/45. Does 6 divide 9/(5/(g/(-6)))?
True
Suppose -3*r - 6 = -0*r. Let d be 250/5*r/4. Does 14 divide 5/d + 162/10?
False
Let g be 2/(-5) - (-24)/10. Suppose -6 = g*j - 32. Is 10 a factor of j?
False
Suppose -3*d + 3*i + 768 = 0, 4*d + 2*i = -2*i + 1064. Does 29 divide d?
True
Suppose 17*f = 16*f + 12. Is f a multiple of 6?
True
Suppose 3*a = 4*m, -a = a - 5*m - 7. Let g(l) = -3*l + 2. Is 5 a factor of g(a)?
False
Let m(k) be the first derivative of -k**4/4 - k**2/2 + 18*k + 1. Let j(a) = a**2 + 9*a + 8. Let r be j(-8). Is 18 a factor of m(r)?
True
Let d(s) = s - s - 3*s + 0*s - 1. Let x be d(-8). Suppose -5*n + 22 = -x. Is n a multiple of 5?
False
Let u(s) = 4*s**2 - 37*s + 3. Let k(y) = y**2 - 12*y + 1. Let h(f) = 7*k(f) - 2*u(f). Let x be h(-7). Suppose -x = -m - 2*n, 5*n + 4 = 2*m + n. Does 6 divide m?
True
Suppose 4*a + 13 + 3 = 0. Does 11 divide 558/(-12)*a/6?
False
Let b(p) = 2*p**2 - 3*p + 1. Let x(f) = -f**3 + 4*f**2 + 5*f + 2. Let l be x(5). Let g be b(l). Suppose 6*a = g*a + 21. Does 7 divide a?
True
Suppose 4*v - 20 = -0. Suppose 0*a - v*a - 5*c = -110, 5*a - 110 = 3*c. Is 22 a factor of a?
True
Suppose -52 = 3*s - s. Let w = s - -8. Does 17 divide -2 - -2 - 1 - w?
True
Let m = -22 + 37. Does 5 divide m?
True
Let c = 460 + -250. Is 14 a factor of c?
True
Suppose -34 - 11 = -3*i. Does 2 divide i?
False
Let v(s) be the second derivative of -s**3/3 + s**2 + s. Is 12 a factor of v(-8)?
False
Suppose 3*b + b + 24 = 0. Let y(k) = k**2 + 7*k + 8. Is y(b) a multiple of 2?
True
Let k(d) be the third derivative of d**5/20 + d**4/24 - d**3/3 + d**2. Let r = 10 - 12. Does 5 divide k(r)?
False
Let q be -15 - (-6)/(3 + -1). Let i = q - -29. Is i a multiple of 17?
True
Let z(o) = 5*o + 1. Let k be z(-5). Let d = k + 34. Is d a multiple of 5?
True
Suppose -4*u = -0*u - 156. Suppose 0 = -3*l - 3*t + u, -5*t + 4 = -l + 23. Does 7 divide l?
True
Suppose 0 = 3*g - g. Suppose 4*b - 215 + 11 = g. Is 14 a factor of b?
False
Is (-12)/9 - (-20)/6 even?
True
Suppose -5*m = 3*b - 205, -18 = -4*m + b + 163. Is m a multiple of 11?
True
Suppose -4*d = -400 + 84. Is 15 a factor of d?
False
Is 0 + 2 - (26 - 112) a multiple of 16?
False
Let y(m) = -m**2 - m + 3. Let f be y(0). Is 9 a factor of -18*(f - 21/6)?
True
Let b = -12 - -25. Let m = b + -3. Is 5 a factor of m?
True
Let n(v) = v**2 - 9*v + 3. Let y be n(7). Let m = -8 - y. Suppose m*o = o + 32. Is 8 a factor of o?
True
Let j = -34 - -63. Suppose -14 = z - 5*z - 2*u, -5*u = -25. Let c = z + j