 0, 3*a = 5*s + 41. Suppose -a*o + 96 = -3*o. Is 12 a factor of o?
True
Suppose 0 = i - 0*i + 57. Let b be (-6)/(-3)*(5 + -3). Does 10 divide (-2)/b*(i + 3)?
False
Suppose 4*v - 4*h - 108 = 0, 4*v + 111 = 8*v - h. Is 3 a factor of v?
False
Suppose 2*n + 28 = -0*n. Let r = 26 + n. Is 10 a factor of (-118)/(-6) - (-4)/r?
True
Let c be (3 - -9)*4/(-6). Does 12 divide (c + 2)/(1/(-6))?
True
Let v(i) = -3*i + 15. Let l be v(5). Let p(r) = -r**3 + r**2 + r + 76. Does 19 divide p(l)?
True
Let q = -143 - -188. Does 5 divide q?
True
Let k = 57 + -46. Is 2 a factor of k?
False
Let g(c) = -11*c - 3. Let y(j) = 56*j + 16. Let q(u) = 11*g(u) + 2*y(u). Is q(-1) a multiple of 8?
True
Suppose 0 = 4*n - 5*c + 12, -2*n - 5*c = 3*n - 30. Let p be (3 - 6)*(-4)/6. Suppose -p*a + 96 = 4*k, n*k = -5*a + k + 213. Does 20 divide a?
False
Suppose -z - 1 = z + l, -z + l - 8 = 0. Let m(a) = -2*a**3 - 5*a**2 - 4*a - 3. Is m(z) a multiple of 9?
True
Let l = 2 + -2. Suppose -3*u - 2*u + 25 = l. Suppose -u*q + q = -60. Is q a multiple of 11?
False
Let v = 203 - 112. Suppose v = 3*i - 44. Is i a multiple of 28?
False
Suppose -5*g + 5*d = -175, -3*d = -3*g + d + 109. Does 9 divide g?
False
Let y(m) = -m**2 - 11*m - 12. Let w(h) = -3*h**2 - 23*h - 24. Let g(x) = 2*w(x) - 5*y(x). Is 2 a factor of g(10)?
True
Let r = 2 + 1. Suppose -2*l - r*j = -j - 2, -3*l + 31 = -4*j. Suppose l + 1 = 2*h. Is h a multiple of 3?
True
Let b(g) be the second derivative of g**5/20 + 13*g**4/12 - g**3/6 - 2*g**2 - g. Is b(-13) a multiple of 9?
True
Suppose 4*q = -q + 90. Let f = q + 20. Is 18 a factor of f?
False
Let i(b) = 11*b + 4. Does 2 divide i(1)?
False
Suppose -3*d + 2*d = 2*x, -16 = 2*x + 5*d. Suppose -x*g - 31 = -5*t, -45 = -5*t + 3*g - 8*g. Is t even?
False
Suppose -4*o = -83 - 37. Is 15 a factor of o?
True
Let h(v) = 8*v - 1. Let a be h(1). Let y = 3 - a. Let j(b) = 2*b**2 - 6*b - 6. Does 17 divide j(y)?
False
Let a(m) = -m**3 - 22*m**2 - m - 1. Is 21 a factor of a(-22)?
True
Suppose q + 2*i = -3*i + 6, 0 = -2*i. Let y(m) = -m**3 + 7*m**2 + 6*m. Does 24 divide y(q)?
True
Let z = 7 - 4. Suppose -z*t = -t + 4. Is 13 a factor of 16 + (t + 1 - -2)?
False
Is 57 a factor of 542/3 - (-5)/15?
False
Let z(b) = -b**3 + 9*b**2 - 5*b - 2. Suppose 0 = 5*x + 18 + 32. Let f be (-74)/x - 18/(-30). Does 11 divide z(f)?
True
Let w = -7 - 0. Let k(n) = -n**2 - 9*n - 6. Let u be k(w). Let d = 17 - u. Is d a multiple of 9?
True
Let d be (-1466)/30 - (-22)/(-165). Is 2/(-7) + (-357)/d a multiple of 7?
True
Suppose 3*g - 38 = g. Suppose 7 = f - 13. Let j = g + f. Is 11 a factor of j?
False
Let p(r) = 2*r**2 - 2*r. Let n be p(0). Does 14 divide (n/(-2) + 10)*7?
True
Let q(m) = 4*m**2 + m**2 + 0*m**2 + 1 - m**3 - m. Is 16 a factor of q(3)?
True
Let y = 22 + 2. Is 6 a factor of y?
True
Let p = -11 - -14. Is 8 a factor of (p - 2)*8*1?
True
Let b(q) be the second derivative of q**5/10 - q**4/12 + q**3/6 + 2*q. Is 19 a factor of b(3)?
False
Let d(n) = -n + 7. Let y be d(4). Suppose 10 + 35 = y*b. Is b a multiple of 9?
False
Suppose 14 + 12 = j. Suppose -3*v - 57 = -10*s + 5*s, j = 2*s + 2*v. Is 5 a factor of s?
False
Suppose -5*y - 122 = -3*m, 5*m - 174 = -2*y + 3*y. Let k = -4 + 24. Let x = m - k. Does 7 divide x?
True
Let m = 8 - -49. Suppose -5*n = -m - 3. Does 11 divide (-3)/n - 202/(-8)?
False
Let r = 81 - 43. Is r a multiple of 16?
False
Suppose -2*t = -2*d - 2, -5*t - 4*d = -t - 12. Let z(h) = h + 5. Let v be z(0). Suppose -v*a + a + 40 = s, 0 = 2*a - t*s - 20. Does 5 divide a?
True
Suppose -2*a = 176 + 404. Is a/(-35) - (-2)/(-7) a multiple of 3?
False
Suppose z = -2*n, 3*n - 6 = -2*z + 2*n. Suppose f + 0 + 68 = 3*p, -4*p = z*f - 112. Is 16 a factor of p?
False
Suppose -3*n - 200 = -7*n. Suppose x = -x + n. Suppose 2*q + x = 77. Does 13 divide q?
True
Suppose o - 80 = -2*x, 3*x + 27 = -o + 148. Is 13 a factor of x?
False
Suppose -4*l + 1 = -7. Suppose 5*g - l*g - 132 = 0. Let z = 66 - g. Is 11 a factor of z?
True
Suppose 0 = -4*v + s + 334, 4*s - 64 - 112 = -2*v. Suppose 2*m = 2*f + v, -5*m + 78 = -3*m + 4*f. Is 17 a factor of m?
False
Suppose 35 = 5*k + 5*g, 0*g + 31 = 5*k + 4*g. Let i be -2 + -2 + 4 - 15. Is 6 a factor of (-3 + 2)*k - i?
True
Suppose k - 1370 = -3*u - 4*k, -2*u = -3*k - 926. Suppose 4*f + f - u = 0. Is 28 a factor of f?
False
Is ((-6)/10)/(2/(-10)) a multiple of 3?
True
Suppose -4*t = -j - 16 - 4, -t - 2*j = -14. Is 5 a factor of t?
False
Let q(g) = 4*g**2 - 4*g + 3. Is q(2) a multiple of 11?
True
Suppose -20 = 6*b - 2*b, 0 = -5*v - 5*b. Suppose v*f - 91 = -3*s, 2*s - 69 = -0*s - 5*f. Is 15 a factor of s?
False
Suppose -3*j - 3 = 3. Let v(s) = -8*s**2 - 6*s + 6. Let b(d) = -7*d**2 - 5*d + 5. Let g(h) = -6*b(h) + 5*v(h). Does 7 divide g(j)?
False
Let x(y) = y**3 - 1 + 4*y**2 - 3 + 5*y + 2*y**2. Let c be x(-5). Let u = 10 + c. Is 6 a factor of u?
True
Let u = 0 - 0. Let p = u - 0. Suppose 3*d = -15, p = -5*i + 3*d - 2*d + 75. Is i a multiple of 6?
False
Let f(h) = h + 1 + 3 + 3. Let x be f(-7). Suppose -6*w = -w + 3*s - 107, x = -2*w + 4*s + 48. Does 11 divide w?
True
Suppose -q + 112 = q. Let x = q - 35. Does 7 divide x?
True
Is 11 a factor of (-5 - (-20 - -4))*34?
True
Let p be (-10)/6 - 1/3. Let y be p/(-4)*0 - 29. Is 15 a factor of 1 + (1*y)/(-1)?
True
Let p = -12 - -34. Suppose 5*a - 371 = -g, -a + 70 = -4*g - 0*g. Suppose p + a = 4*f. Does 13 divide f?
False
Let y(k) = k**2 + 7*k + 2. Let l be y(-6). Let r(f) = f**3 + 5*f**2 + 2*f + 1. Is 3 a factor of r(l)?
True
Let y(t) = -t**3 - 6*t**2 - 2*t + 3. Is 6 a factor of y(-6)?
False
Suppose -3 = 5*m + 12. Let n = 13 + m. Is 10 a factor of n?
True
Let x be (-70)/(-5) - (-3)/3. Let y = x - 9. Is y even?
True
Suppose 281 = 4*v - 55. Is v a multiple of 6?
True
Suppose -8*j + 6*j = 0, 11 = m - 5*j. Let d = m - 6. Is 5 a factor of d?
True
Suppose -3*j - 2*v = -189 + 20, 5*v = 5*j - 315. Is j a multiple of 16?
False
Suppose 15*s - 24 = 13*s. Is 12 a factor of s?
True
Let n = 35 - -10. Is 12 a factor of n?
False
Let r(p) = -p**3 + 4*p**2 + 6*p - 3. Let b(y) = -y. Let q be b(-4). Does 21 divide r(q)?
True
Let w = 3 - 0. Suppose 0 = r + c + 2, 3*r = -w*c + 5*c + 19. Is (-4)/r*(-30)/4 a multiple of 5?
True
Suppose 4*d = 4*f + 16, -4*f + 0*f = -2*d + 2. Let x = d - 2. Is x even?
False
Suppose 5*c - 3*w = 294, c + 0*c - 56 = 2*w. Suppose 2*s + 4*h = c, 3*s - 78 = 2*h - 5*h. Is s a multiple of 11?
True
Suppose -o - 14 + 5 = 0. Let n = o - -66. Is n a multiple of 20?
False
Suppose 4*p - 69 = -w, 2*w - w = 5*p - 93. Is 6 a factor of p?
True
Is (-61)/(-2)*10/5 a multiple of 10?
False
Let u(w) = 23*w + 5. Is u(2) a multiple of 17?
True
Suppose -k = 3*x - 16, 2*x = 3*x + 3*k. Suppose x*b - 20 = b + 4*w, 4*b - 4*w = 16. Is b a multiple of 3?
False
Let r = -19 + 19. Suppose 6*v - 175 - 149 = r. Is v a multiple of 32?
False
Suppose 0 = -5*i + 3*i. Let f(p) = -3*p**3 - 2*p**2 - p - 2. Let d be f(-2). Suppose 0 = -i*h + 4*h - d. Is h even?
True
Let t be 1/((-2)/(-10))*-3. Does 10 divide -4*t/12*2?
True
Let j = -60 + 18. Let t = j + 60. Is t a multiple of 4?
False
Is (13/52)/(1/436) a multiple of 13?
False
Let f = -36 + 45. Is f a multiple of 3?
True
Suppose 0*h + 144 = 4*a - h, 0 = -4*a + 2*h + 148. Does 7 divide a?
True
Suppose d + 5*r = 29, -4*r + 7 + 1 = -3*d. Suppose 0 = -d*g + 59 + 9. Is 16 a factor of g?
False
Suppose 4*f - f = -9. Let u be -14*(6 - 0)/f. Suppose 3*n - 169 + u = 0. Is 12 a factor of n?
False
Let m be -4 - -2 - 16/(-2). Suppose -5*b = -m*b + 15. Does 5 divide b?
True
Let k(d) = d**2 + 8*d + 7. Let w be k(-7). Suppose 2*a + 2*a = w. Suppose -3*n - 166 = -6*n + 4*g, a = -4*n + 3*g + 219. Is n a multiple of 18?
True
Let l(c) = 3*c. Let p be l(-6). Let n = 0 - p. Is ((-2)/6)/((-2)/n) a multiple of 3?
True
Let m(q) = -q**2 - 15*q + 25. Does 9 divide m(-16)?
True
Let z(l) = l + 7. Let a be z(-5). Suppose 0*n + 4*i + 22 = 2*n, 3*n = -a*i + 17. Is 7 a factor of n?
True
Let u = -264 + 453. Is u a multiple of 27?
True
Let k be (-1 - 3/(-3))/(-2). Suppose k*p - 3*p + 12 = 0. Does 3 divide p?
False
Let g(f) be the second derivative of 7*f**3/6 + 3*f**2/2 - f. Suppose -q - 5 = 8*r - 10*r, -32 = -5*r - 4*q. Does 12 divide g(r)?
False
Is 1 + 61 + (10 - 7) a multiple of 10?
False
Suppose 5*d + 0*d = 45. Suppose -3*z + 27 = l, -l - 2*l = z - d. Does 10 di