r(-3). Let l be (0 - 0) + 3*23. Let a = q + l. Is 14 a factor of a?
False
Suppose 2*l = -5*k + 162, -4*l + 3*l = -3*k - 81. Is 27 a factor of l?
True
Let a = 7 + 14. Is 11 a factor of a?
False
Let j = 114 - -33. Suppose 5*o = -2*g + j, -g - 5*o + 375 = 4*g. Is 13 a factor of g?
False
Let x be 103/2 - 1/(-2). Let j = 75 - x. Is 6 a factor of j?
False
Let g be ((-74)/(-5))/((-2)/(-10)). Suppose -2*l + g + 34 = n, 5*l + 5 = 0. Suppose 0 = 4*d - 2*f - 200, 5*d - 4*f - 137 = n. Is d a multiple of 21?
False
Let h = 13 - -12. Is 5 a factor of h?
True
Suppose t - 294 = 5*s - t, -4*s - 3*t - 249 = 0. Let j = 28 - s. Is j a multiple of 21?
False
Is 48 - ((-6)/(-2) - 2) a multiple of 13?
False
Suppose 0 = q + b - 92, -12*b + 9*b - 174 = -2*q. Does 15 divide q?
True
Suppose -2*p - 2*q = -216, 2*q - 602 = -4*p - 170. Suppose -p = -m - 2*m. Is m a multiple of 18?
True
Let v(i) = i**2 - 18. Is v(-10) a multiple of 8?
False
Suppose 3*c - 3 = -4*m - 4, 2*c - 2*m - 18 = 0. Suppose -4*b - 70 = -c*k - 8*b, 0 = -k - 2*b + 8. Is 9 a factor of (-3)/(k/(-16))*6?
False
Is (26/1)/(2/4) a multiple of 11?
False
Let i = 10 - 9. Let r(v) = 24*v**3 - v + 1. Is 12 a factor of r(i)?
True
Suppose 12 = -2*v - 4*d, 3*d = 4*v - 2*d - 28. Suppose 0 = 2*n + 5*h - 5, 2*n = v*h + 12. Suppose 5*l + a - 20 = n, -2*l + 4*a = -10. Does 2 divide l?
False
Let q = 38 + -21. Is q a multiple of 17?
True
Let o = 7 + -10. Let b be o/((-7)/2 + 2). Suppose -6*k + 12 = -b*k. Is 2 a factor of k?
False
Suppose 4*v + 5 = 1. Does 10 divide -2 - (-39)/(v - -4)?
False
Let s(z) = -6 + 2 + 3 + 2*z**2. Let l be s(1). Let d(h) = 42*h**3 - 2*h + 1. Is d(l) a multiple of 11?
False
Suppose -292 = -n - 5*y - 85, 0 = -2*n - 4*y + 420. Is 38 a factor of n?
False
Let u(l) = -l**3 - 24*l**2 - 25*l - 28. Is u(-23) a multiple of 6?
True
Let a be (-1 + 2)/(2/74). Let p = 83 - a. Is 23 a factor of p?
True
Let d be (-4)/(-6) + (-423)/27. Does 9 divide (5/d)/((-1)/33)?
False
Let t = -135 + 278. Does 13 divide t?
True
Let w = 6 + -6. Suppose h = -w*h. Is (h/3)/3 + 14 a multiple of 13?
False
Suppose -4 = -3*d + d + 4*w, -3*d = -2*w - 10. Let u(m) = 2*m - m - d + 2. Is 2 a factor of u(5)?
False
Suppose -f + 292 - 815 = -4*p, 2*f = 2*p - 266. Suppose 0 = -5*k + p + 60. Is k a multiple of 19?
True
Let u(j) = j**3 - 3*j**2 - 4*j + 2. Let h be u(4). Suppose 3*s + h*q - 2 = 0, -2*s + 3*q = -14 - 9. Suppose t + s*t = 35. Is 7 a factor of t?
True
Does 4 divide 2/(114/28 - 4)?
True
Suppose -5*o + 4*u + 72 = -0*u, -4*o = 2*u - 68. Let t = o - -33. Is 19 a factor of t?
False
Let i(v) = v**2 + 4*v + 3 - 2 - 5 + 2. Let g be 1/((-2)/1)*12. Is 4 a factor of i(g)?
False
Is (6/(-5))/((63/2660)/(-3)) a multiple of 19?
True
Suppose 0 = 3*k - 4*u - 90, 4*u = 3*k - u - 90. Is k a multiple of 3?
True
Let l be 0/(1*(-1 - 1)). Suppose l*y - 20 = -3*y + 5*n, 14 = 3*y + n. Is 2 a factor of y?
False
Suppose 4*w - 200 = 4*x, -4*w - 7*x = -2*x - 182. Suppose -k - k + w = 0. Is 14 a factor of k?
False
Let f(s) = 10*s**2 + s. Let y be f(2). Let n = 101 + -110. Let b = y + n. Is b a multiple of 26?
False
Let v(d) = 2*d**2 - 3*d. Let u be v(2). Suppose -4*o = -u*o - 12. Is o a multiple of 2?
True
Let j(z) = -7 + 9*z + 3 - 2 + 0*z. Is 10 a factor of j(4)?
True
Suppose -2*h - 6*v + 2*v + 250 = 0, -v = -3*h + 375. Does 25 divide h?
True
Let l be (53 + 2 - 0) + -1. Let d be (-1)/(-1 - (-52)/l). Let n = d + -12. Is n a multiple of 7?
False
Suppose 0 = -b + 1, -2*b - b = -q + 137. Is 23 a factor of q?
False
Let h = 1 + 9. Is h a multiple of 5?
True
Suppose -5*d = -3*d - 8. Suppose -c = 3*q - 12, 2*c = -3*c + d*q + 60. Is 4 a factor of c?
True
Let h(c) = -2*c**3 + 21*c**2 - 6*c + 20. Let x(v) = v**3 - 11*v**2 + 3*v - 10. Let g(b) = -3*h(b) - 5*x(b). Let i be (15 - -1)*1/2. Is g(i) a multiple of 14?
True
Let k be (3/3 - 2)*-2. Suppose l + f = 19, 0 = -f + 3 + k. Is l a multiple of 7?
True
Suppose 4*y + 5*o = 36 + 9, y = -5*o + 30. Suppose y*z - 81 = 149. Is z a multiple of 21?
False
Suppose 4*o - 4*s - 444 = 0, -o + 3*s + 90 = -13. Does 23 divide o?
True
Let z(k) = -12*k - 15. Let j be 96/(-10) - 4/10. Let c be z(j). Suppose -5*v = -2*v - c. Is v a multiple of 13?
False
Let m = -7 + 1. Let b(k) = k**3 + 6*k**2 - k + 1. Is 4 a factor of b(m)?
False
Let k be (0 - -3*2)/2. Suppose k*n + c + 0*c = 27, -2*c + 22 = 2*n. Does 8 divide n?
True
Suppose -a - 28 = 2*v - 4*v, 5*v - 3*a = 72. Is 9 a factor of v?
False
Let k(q) = 4*q**2 + 10*q + 5. Let u(b) = 3*b**2 + 9*b + 5. Let l(o) = -4*k(o) + 5*u(o). Does 5 divide l(4)?
False
Suppose 12 = 4*b - 0. Is (-6 + b + -32)*-1 a multiple of 16?
False
Let x = -6 + 14. Suppose 0 + 3 = h. Let z = x + h. Is 11 a factor of z?
True
Let c = -62 + 75. Is 2 a factor of c?
False
Let c = -205 - -402. Suppose c = 4*o + 5. Is 13 a factor of o?
False
Suppose v - 2*w = 110, -3*v + 0*w + 4*w = -332. Is 20 a factor of v?
False
Let r = -42 + 45. Is r a multiple of 2?
False
Suppose 0 = -10*z + 509 + 501. Does 14 divide z?
False
Suppose 5*x - 3*x - 2*r - 2 = 0, -21 = -x - 4*r. Let g be (-34)/(-10) - 2/x. Let w = 8 + g. Is w a multiple of 4?
False
Suppose 0 = -j - f + 38, -j + 3*f = 4*j - 166. Let c = j - 25. Is c a multiple of 8?
False
Let q = -3 - 6. Is 2 a factor of q/12 + 93/12?
False
Does 10 divide -1 - ((-33)/6)/(2/4)?
True
Suppose 2*k = 7*k - 150. Let x = k - 19. Is 11 a factor of x?
True
Let y be 9/((1*-4)/(-60)). Let s = 193 - y. Is 29 a factor of s?
True
Suppose -20 = 3*y - 62. Is 3 a factor of y?
False
Suppose r = 2*r + 5*u + 12, 0 = 2*r + 2*u. Suppose -2*n + 65 = 2*k + 11, k + r*n = 31. Is k a multiple of 7?
False
Suppose 4*q = -2*q + 6. Is 77/2 - q/(-2) a multiple of 11?
False
Let y be -2*(3 - (-82)/(-4)). Suppose -y = -4*u - u. Does 3 divide u?
False
Suppose -w + 0*w = -56. Suppose s - 3*s = -12. Suppose -3*h = v - 16, -s*v - 3*h = -v - w. Does 4 divide v?
False
Let f = 87 - 32. Does 7 divide 2/8 + f/4?
True
Is 8 a factor of (-4)/6 - (-1335)/45?
False
Suppose 0 = -5*d - 5 + 20. Suppose -y - 4 = d*y. Is (y - 6/(-3)) + 16 a multiple of 17?
True
Suppose 4*c = 2*y + 7*c - 262, 5*y - 655 = 3*c. Is 6 a factor of y?
False
Let b = 300 - 80. Is b a multiple of 38?
False
Let k(x) = x**3 - 8*x**2 + 9*x - 7. Suppose 4*b - 3*b = 7. Does 4 divide k(b)?
False
Let r(w) = w - 1. Let x be r(4). Suppose v + x*v = 16. Suppose 29 = v*o - 23. Does 13 divide o?
True
Let s = -57 - -81. Is 12 a factor of s?
True
Let g(u) = -2*u - 1. Let k be g(-1). Let s = k + -3. Let i(n) = 3*n**2 + n + 2. Is i(s) a multiple of 5?
False
Suppose j = 0, 3*j - j - 441 = -3*h. Does 26 divide h?
False
Let x(z) be the first derivative of 9*z**3 - z + 2. Is 13 a factor of x(1)?
True
Let v be -6 + 9 - (1 - 2). Suppose -275 = -t - v*t. Is t a multiple of 16?
False
Let j(r) = r**3 + 6*r**2 + 6. Let z be ((-54)/24)/(3/8). Let t be j(z). Is (-18)/4*(-44)/t a multiple of 11?
True
Suppose -6*k + 9*k - 6 = 0. Suppose 35 - 153 = -4*j + k*r, 0 = -2*j + 3*r + 53. Is 19 a factor of j?
False
Let p(i) = -i**2 + 10*i + 1. Let u be p(9). Let z(b) = b**2 - 11*b + 13. Is 3 a factor of z(u)?
True
Let k(d) = d**2 - 2*d + 2. Let z be k(-5). Suppose -13 = -q + z. Does 14 divide q?
False
Let s = 0 + 2. Let k(x) = 0 + 5*x + 5 - 3. Is k(s) a multiple of 12?
True
Let k(j) = 4*j**3 + 3*j**2 - j + 1. Let i be k(2). Let f = i - 20. Does 12 divide f?
False
Suppose -32 = 5*g - g. Does 12 divide (-2)/8 - 290/g?
True
Let d(s) = 6*s**2 - s + 2. Is 3 a factor of d(2)?
True
Let i = 415 + -247. Is i a multiple of 42?
True
Let u = 6 + -4. Let r be 0/3 + 4/u. Suppose -4*o + 26 = -5*q, -2*q - 8 = r*q. Is o a multiple of 2?
True
Suppose -5*a - 4*l = 23, 3*l = -4*a - 0*a - 19. Let r = a - -19. Does 6 divide r?
True
Does 69 divide 15/10*4200/18?
False
Let b = -29 + 63. Is b a multiple of 9?
False
Suppose -4*g - 4*s + 28 = 0, -4*s + 18 = -2. Let i = 34 + g. Is 14 a factor of i?
False
Suppose 2*j + 3*k = -73, j + k + 36 = -0*k. Is 2/5 - 1701/j a multiple of 18?
False
Suppose 0 = 10*t + 68 - 718. Does 21 divide t?
False
Suppose -5*k + 55 = 3*j, 3*j = 6*j. Does 11 divide k?
True
Let h(y) = 11*y - 5*y - 3*y. Is 3 a factor of h(1)?
True
Suppose -2*v + 0*v = -8. Let z = 8 - v. Does 4 divide z?
True
Let i = 10 + -5. Suppose -1180 = -i*h - 0*h + 2*a, -2*h - a = -472. Suppose 5*r = -4*d + h, -3*r + 123 = 2*d - 19. Is 24 a factor of