j(u) = -2*u - 2. Let g = 21 + -31. Is 9 a factor of j(g)?
True
Let o(h) = 29*h**2 - h - 6. Let v be o(7). Is 20 a factor of v/24 + 4/3?
True
Suppose 3*r + 6*r = 1530. Is r a multiple of 17?
True
Is 12 a factor of 9/(27/204) - 0?
False
Let o(a) = a + 7. Suppose 5*f = 7*d - 3*d - 34, 0 = 3*d - f - 31. Suppose 0 = -2*j + d - 1. Is 6 a factor of o(j)?
True
Let r = -2 + 5. Suppose r*v = -2*v + 25. Suppose -v*o + o + 16 = 0. Is 4 a factor of o?
True
Suppose d - q - 115 = -5*q, 3*q - 220 = -2*d. Is d a multiple of 8?
False
Let s(i) = -12*i - 1. Let c be s(-2). Let j = c + 7. Is 10 a factor of j?
True
Let b(x) = x**2 + 8*x - 21. Is b(-17) a multiple of 10?
False
Suppose 3*x + 17 = -3*u + 149, -3*x - 156 = -3*u. Suppose f - u = -f. Is f a multiple of 12?
True
Let a = -16 + 11. Let b(s) = -s**3 - 5*s**2 - 7*s - 3. Is 8 a factor of b(a)?
True
Let z(x) = -7*x - 3. Is z(-2) a multiple of 3?
False
Suppose -2*s - 2*s + 23 = x, -3*s - 4*x = -1. Let z = -4 + s. Suppose -z*r - r = -76. Does 7 divide r?
False
Let c(l) = -l + 22. Suppose -4*o = -3*a - 23, -2*o - 60 = 5*a - a. Let g = 22 + a. Is 9 a factor of c(g)?
False
Suppose 3 = -2*t + 13, 0 = -4*k - 3*t + 3. Is 12 a factor of k/(-2) + (-161)/(-14)?
False
Suppose 4*y - 108 = -28. Is y a multiple of 16?
False
Suppose 0*l - 120 = -5*l. Suppose b + l = -b. Let z = b + 23. Is z a multiple of 11?
True
Let j = -17 - -24. Suppose 2*f + 3 = j. Does 14 divide ((-34)/f)/(4/(-8))?
False
Let i(g) = -4*g + 4*g - g - 2*g + 2. Suppose 5*z - z = -12. Is 4 a factor of i(z)?
False
Suppose -8*c + 1894 = -146. Does 15 divide c?
True
Let t(c) = -2*c - 5. Let i be t(-4). Suppose i*y + 2*f - 225 = 4*f, 0 = 2*y - 4*f - 158. Does 19 divide y?
False
Suppose -t = 4*t - 300. Let y = t - 6. Let s = y + -15. Is s a multiple of 10?
False
Let j be 544/10 - (-6)/(-15). Is 16/(-40) - j/(-10) even?
False
Let t(p) = -7*p - 3. Let w(g) = g**3 + 9*g**2 + g + 6. Let o be w(-9). Is t(o) a multiple of 9?
True
Suppose 36*k + 65 = 41*k. Is k a multiple of 3?
False
Suppose w - 61 = -4*a + 59, 524 = 5*w + a. Is 13 a factor of w?
True
Suppose 3*g = 6*g - 54. Suppose -o + 74 = g. Is 22 a factor of o?
False
Suppose 5*h - 668 = h. Does 22 divide h?
False
Let b(t) = -t**2 + 5*t - 2. Let z be b(5). Let q(d) = 8*d**2 + 4*d + 3. Let y be q(z). Let l = 0 + y. Is 11 a factor of l?
False
Suppose -2*d + 38 = -38. Does 19 divide d?
True
Let c be (-144)/(-81) + 4/18. Suppose -5*s + 274 = c*j, -j + 4 = 2. Is s a multiple of 27?
True
Let b = -7 + 2. Let i = b - -7. Suppose i*s - 62 = -0*s. Is 16 a factor of s?
False
Suppose 5*f - 266 = -3*j, 3*j + 91 = 4*j + 4*f. Is 26 a factor of j?
False
Let v(n) = 1. Let b(z) = -z**2 + z - 8. Let p(j) = -b(j) - 3*v(j). Is p(0) even?
False
Let i = 5 + 17. Is 22 a factor of i?
True
Does 21 divide 54 + 9/(-2 + 5)?
False
Is (-283)/(-2) + 12/(-8) a multiple of 28?
True
Let j(w) = w**2 + 4*w - 4. Let d be j(-5). Suppose 2 + d = -i, z + i = 9. Does 5 divide z?
False
Let f(p) be the third derivative of -11*p**6/120 + p**5/30 + p**4/24 + 8*p**2. Is f(-1) a multiple of 3?
True
Let p(q) = q**2 - 2*q - 4. Let g(b) = -b**2 + 3*b + 8. Let o(m) = 3*g(m) + 5*p(m). Is 14 a factor of o(-4)?
False
Suppose 2 = -2*s - 2*b + 6, -4*s - 3*b = -7. Is 4 a factor of (-29 - s)/(-3) - -2?
True
Let r(o) = -3*o**3 + o**2 + o - 2. Is r(-2) a multiple of 3?
True
Suppose 0 = 4*b - 23 - 5. Suppose -3*m = -b*m + 320. Suppose 0*f - m = -4*f. Is f a multiple of 10?
True
Suppose -4*m - 144 = -7*m. Suppose 0 = -5*p + 3*p + m. Is 24 a factor of p?
True
Let r(k) = 22*k**3 + k**2 - k. Is r(1) a multiple of 11?
True
Is 14 a factor of (-4)/6 - (500/(-3) + -2)?
True
Let u(d) = -d**3 + 6*d**2 + d - 6. Let p be u(6). Suppose p*v = 2*v - 36. Does 9 divide v?
True
Let q(w) be the second derivative of -w**5/20 + 2*w**4/3 - w**3/2 - 2*w**2 - w. Let f be q(7). Suppose 4*g - f = 20. Is g a multiple of 11?
True
Let s be (-1 - 2)/((-6)/4). Suppose -3*i - 2*g + 64 = 0, 0*g = -s*g - 2. Is i a multiple of 9?
False
Let h be ((-4)/6)/2*-87. Suppose -5*j - 2*b = -h, 6*b - 9 = -j + 4*b. Suppose g - j*g + 88 = 0. Does 11 divide g?
True
Suppose 5*w = -3*z + 85 + 18, 37 = z - w. Is z a multiple of 34?
False
Let h(d) = -d**2 + 8*d - 5. Let m be h(7). Suppose 0 = -2*c - m*c + 168. Is c a multiple of 21?
True
Let d(f) = f**2 + f + 1. Let n(c) = c + 5. Let l(i) = 3*d(i) - n(i). Let x be l(-2). Let u(a) = 4*a - 3. Is 8 a factor of u(x)?
False
Suppose -4*h = -2*l + 8, -2*h - 4*l = -h - 16. Suppose -3*k - 3*r + 99 = 0, h*k - 2*r = 3*k - 104. Is k a multiple of 21?
False
Let c be 0 + 7/1*1. Let x(a) = 2*a + 0*a + 0*a + c. Does 9 divide x(7)?
False
Let d = 108 - 62. Is d a multiple of 23?
True
Let g = 2 + 4. Is 4 a factor of 12 + g/3 - 3?
False
Let z(w) = -4*w - 1. Let h be z(-1). Suppose 0 = -2*q - h*q + 335. Let c = q - 37. Is c a multiple of 12?
False
Suppose 102 = u + 3*u - 2*f, 9 = u + 5*f. Suppose 4*d = -4*v + u, -2*v + 2 = -5*d + 4. Suppose -2*p - d = -42. Does 9 divide p?
False
Let q(y) = 8*y - 6. Let r be q(8). Suppose 4*k + k - 28 = -h, -r = -4*h - 2*k. Is 12 a factor of h?
False
Let n(a) = -a**2 + 6*a - 5. Let z be n(4). Suppose 5*h - z*j = 425, -4*j = -5*j. Is 18 a factor of h?
False
Let o = 18 + -2. Is 8 a factor of o?
True
Suppose -5*j = -2*j - 15. Suppose 13 = j*l - 87. Suppose l = -0*t + t. Is t a multiple of 9?
False
Suppose -5*x + 654 = -601. Suppose 0 = 4*t - x + 59. Suppose -b = 4*b + 4*d - 54, 4*b - t = -2*d. Does 11 divide b?
False
Suppose 0 = -r - 4*r. Suppose r = 5*c - 6 - 4. Suppose -3*h - 124 = -4*f - 7*h, -c*f = -2*h - 50. Is 14 a factor of f?
True
Let m = 11 - 11. Suppose m = 5*d - 203 + 43. Is d a multiple of 17?
False
Suppose -r + 31 = 5*u, -2*u + 9 = -5*r + 2. Suppose 96 = u*s - 24. Is s a multiple of 3?
False
Let u(k) = -2*k + 36. Suppose 0 = 3*t - t. Is u(t) a multiple of 23?
False
Let v be 732/14 + 2/(-7). Suppose 4*u = v + 12. Is 14 a factor of u?
False
Let q be (0 + (-3)/(-6))*4. Suppose -4*w + 8 = -q*w. Suppose -35 = -3*m - w*v + 49, -5*v = 5*m - 135. Is 8 a factor of m?
True
Let i(o) = o**3 + 2*o**2 - 5*o - 3. Let b(g) = g**2 - 7*g - 4. Let n be b(8). Suppose 3*c + n*u - 17 = 2*c, 0 = 2*u - 10. Is 2 a factor of i(c)?
False
Let t be ((-18)/(-5))/(2/(-30)). Let f = 82 + t. Does 14 divide f?
True
Let i be 1/(-2) + (-5)/(-10). Let k(c) = i*c**2 + 8*c + 5 + c**3 - 3*c**2 + 11*c**2. Does 20 divide k(-5)?
True
Let c(n) = 6*n - 18. Is 10 a factor of c(8)?
True
Let x be (1701/18)/(2/4). Suppose 3*c - 5*p = x, -2*c - 2*p = -0*c - 126. Is 22 a factor of c?
False
Suppose 1 + 8 = 3*b. Suppose 0 = 2*f + b*i + 19, 3*i + 14 = -2*f + 5*i. Let z = -4 - f. Is z a multiple of 2?
True
Suppose a - 2 = -a, -5*p + 173 = 3*a. Let q = 99 + -47. Let z = q - p. Does 18 divide z?
True
Suppose -2*r - 3*t + 17 = 0, 3*r + 5*t = 3*t + 18. Suppose 80 = -3*m - u, m + 128 = -3*m + r*u. Does 18 divide (10 - 1)*m/(-6)?
False
Let l(z) = 24*z + 2. Let h be l(-1). Is 4 a factor of h/(-4)*(5 - 3)?
False
Let l(j) be the first derivative of j**3/3 + 3*j**2/2 - 9*j + 1. Is 17 a factor of l(-8)?
False
Suppose 2*f - 3*o = 8, 0*f - 4*f + 2*o + 16 = 0. Suppose 27 = 5*l + 3*w, 3*l - f*l - 9 = -3*w. Suppose 3*y - 5 = 7, 0 = -5*i + l*y + 158. Does 12 divide i?
False
Let h(i) = 31*i**2 + 2*i - 3. Let z be h(2). Suppose -6*b + z = -b. Is b a multiple of 9?
False
Let m(v) = -9*v - 2. Let d be m(-3). Let s = d - 13. Is 6 a factor of s?
True
Let h(b) = b. Let d be h(4). Suppose -d*v = -29 - 91. Is 6 a factor of v?
True
Let j be 39/(-15) + (-4)/10. Let k = 19 - j. Is k a multiple of 22?
True
Let g(f) = 22*f + 53. Is g(16) a multiple of 53?
False
Suppose 4*w - 300 = -5*t, 0*t + 75 = w - 2*t. Suppose d = -4*d - w. Is (10/5)/((-1)/d) a multiple of 11?
False
Let d be 4/5*(-50)/(-4). Suppose -3*s = -s - d. Let n(b) = 3*b + 7. Is n(s) a multiple of 11?
True
Suppose 461 = 2*w - 5*m, -5*m = -0*w + 3*w - 679. Suppose -3*l + w = 4*y, 0 = -4*y - l + 229 + 7. Does 20 divide y?
True
Suppose 3 = -u + 8. Let h = 26 - u. Is h a multiple of 21?
True
Suppose -187 = 3*i - 4*t + 113, 4*i = t - 413. Let k = -51 - i. Does 21 divide k?
False
Let r(u) = u**2 + 6*u + 5. Let k be r(-6). Suppose k*y - 72 = y. Does 13 divide y?
False
Suppose 3 = -3*t - 0. Let f be (0/3 - 4)/t. Suppose -60 = -4*m + w - 5*w, 0 = -f*m + 2*w + 66. Does 6 divide m?
False