21/(-35) + ((-18)/10)/(-3). Suppose -6*j + j + 1180 = a. Is 14 a factor of j?
False
Suppose -15*l = -13*l - 2. Let r = l + 32. Is 9 a factor of r?
False
Suppose 3*l + 7 = 31. Suppose -5*q + l*q = 36. Does 4 divide q?
True
Suppose -6*d + 1266 + 2214 = 0. Does 10 divide d?
True
Let f be 48/10 + (-5)/(-25). Let j(m) = -m**3 + 3*m**2 + 2*m - 3. Let a be j(3). Suppose -a*s + 75 = 5*p, f*p = 2*p. Is 7 a factor of s?
False
Suppose 7*w - 2*u = 5*w + 488, -4*u + 760 = 3*w. Let b = w + -92. Is b a multiple of 15?
False
Suppose 2*o - 5*j - 1977 = 0, -5*j = o - j - 1008. Let z be 6/21 + o/42. Suppose -4*l + l = -z. Is 2 a factor of l?
True
Suppose 3*q + 8213 = 4*w - 228, -4*w + 2*q = -8438. Is w a multiple of 31?
True
Let g = -13 - -9. Is 10 a factor of (1 + -21)/(g/6)?
True
Suppose 6*i - 3*i - s = 3, -s = -5*i + 7. Does 10 divide 41 + (-2 - 1) + i?
True
Let h = 103 + -55. Is h a multiple of 6?
True
Let g(q) = -q**2 + 9*q + 14. Let d be 1/(1 + (-36)/40). Let z be g(d). Suppose 4*s + z = 20, 27 = 3*o - 3*s. Is o a multiple of 13?
True
Let d(f) be the second derivative of -f**6/120 - f**5/30 + 5*f**4/24 + f**2 + 5*f. Let h(x) be the first derivative of d(x). Does 14 divide h(-5)?
False
Let f(u) = -17*u - 19. Let l be f(-7). Let d be l - 0/3*-1. Is ((-24)/(-5))/(20/d) a multiple of 6?
True
Suppose -23*t = -685 - 5433. Does 12 divide t?
False
Suppose -2*r = -3*r. Suppose 2*i = -5*z - 11, 5*z - i - 4*i + 25 = r. Is (z + -25)*9/(-12) a multiple of 12?
False
Let j = -14 - -20. Does 9 divide -2 - (-49 + -3*j/(-9))?
True
Let d = 2 + -2. Suppose 0*w - 2*w + 16 = d. Is w a multiple of 8?
True
Does 31 divide -1 + 160 + (-16)/4?
True
Suppose 9*y - 3952 = 6*y + 2*c, -5*c = 25. Is 9 a factor of y?
True
Suppose 3*a - 4*l + 17 = -2*l, 5*a + 7 = -2*l. Does 35 divide 2092/12 - 2/a?
True
Let t = 131 + 520. Does 60 divide t?
False
Let f(c) = 4*c - 19 + 7 - 13. Is 30 a factor of f(17)?
False
Let y be 4/(-22) - (-73606)/209. Suppose 0 = -8*s + 12*s - y. Is 8 a factor of s?
True
Suppose -2*m + 20 = 3*m. Let v be (3 - 3 - m)*-1. Suppose v*p - 113 - 99 = 0. Is p a multiple of 24?
False
Suppose u - 72 = 7*r - 11*r, 2*r + 3*u = 36. Is r a multiple of 3?
True
Let h = 25 - 23. Does 4 divide 8/((h/5)/(3/5))?
True
Let l = 82 - 59. Let p = -8 + l. Let j = 17 + p. Is 22 a factor of j?
False
Is 30 a factor of -1 - 0 - (-61 - 4)*7?
False
Let x = -133 - -141. Suppose 198 = 5*a + 4*w, -w + 5*w = x. Is a a multiple of 19?
True
Let k(a) = -3*a + 1239. Is k(-12) a multiple of 5?
True
Let g = 75 - -2376. Is g a multiple of 14?
False
Suppose 0 = 2*t - 37*t + 3885. Is t a multiple of 37?
True
Let o(t) = -3*t + 31. Let z be o(14). Is (-1703)/z - (217/77 + -3) a multiple of 28?
False
Let n(u) = u**3 - 6*u**2 - 6*u + 20. Let r be ((-1)/1)/((-4)/32). Is n(r) a multiple of 10?
True
Let s(t) = -2*t + 6. Let a be s(6). Let n(p) = p**2 + 2. Is n(a) a multiple of 18?
False
Is 5 a factor of 54/(-30)*-2*(-50)/(-4)?
True
Let r(i) = 7*i**2 - 9*i. Suppose 0*l + 14 = 5*x + 3*l, 2*x = 5*l + 18. Is 38 a factor of r(x)?
True
Let c(l) = l**2. Suppose 5*o + 15 = -5*t, 3*t - 7*t = 12. Let q be c(o). Suppose q = -u - 13 + 42. Does 12 divide u?
False
Let t be 38/(-1)*(-15)/5. Suppose -x + 3*x = t. Let a = x + -32. Does 21 divide a?
False
Let j(u) = 2*u**2 - 4*u + 2. Let t be j(2). Suppose 5*v + 10 = 8*v + 5*o, 0 = -2*v + 4*o + 14. Suppose v*q - t = 23. Is 4 a factor of q?
False
Let j(m) = m**2 - 10*m - 16. Let n be (4/10)/((-1)/(-30)). Let d be j(n). Suppose 0 = o - d*o + 287. Does 8 divide o?
False
Let c = -246 + 719. Does 11 divide c?
True
Let a = 68 + -147. Let f = 211 + a. Is f a multiple of 44?
True
Let a = 159 + -61. Is 5 a factor of a?
False
Let g(o) = 10*o**2 + 2*o + 1. Let y be g(-1). Let c = 72 - 71. Let t = c + y. Does 5 divide t?
True
Let m(d) = 18 - 18 + 8 + 6 - 2*d + 8. Let j be 4/3*(-15)/2. Is 26 a factor of m(j)?
False
Suppose 4*d + 4*b = -20, -2*d = -5*d + 3*b + 15. Suppose d = -2*a - a - 48. Is 32 a factor of 1/(-4) + (-516)/a?
True
Let j be 365/20 + (-2)/8. Let f = 5 + j. Let i = f - 8. Is i a multiple of 5?
True
Let z be (-6)/8 + (-19)/(-4). Suppose -5*a + 823 = -z*h - 0*a, 0 = -4*h - 4*a - 796. Let t = -130 - h. Is 18 a factor of t?
True
Suppose -50*w - 595 = -55*w. Let s = -59 + w. Is s a multiple of 12?
True
Suppose 4*l - 3*o = 530, -2*l - 5*o + 180 + 98 = 0. Is l a multiple of 4?
False
Let y(f) = -f**2 - 2*f + 3. Let a be y(2). Let r(h) = h**3 + 7*h**2 - 8*h - 8. Does 13 divide r(a)?
False
Let j = -11 - -15. Suppose j*g + 16 + 24 = 0. Is 6 a factor of (12/5 + -3)*g?
True
Let q(k) = 3*k**2 + 70. Is q(10) a multiple of 45?
False
Suppose -2 + 13 = -r. Let d = r + 110. Is d a multiple of 11?
True
Let m(a) = 2*a - 20. Let h be m(10). Is 11 a factor of h/(-6) - (-1 + -41)?
False
Suppose -2*k = -4*t - 18, 3*k + 5*t - 17 = t. Is (44/28 - -1)*k a multiple of 9?
True
Does 25 divide (-5 + (-5 - 1136))/(-2)?
False
Let i = -1492 - -2306. Does 22 divide i?
True
Suppose 0 = -2*u - 92 + 252. Let l = u + 101. Does 29 divide l?
False
Let a be 8/2 - 38/(-2). Suppose -20*g - 762 = -a*g. Is 52 a factor of g?
False
Suppose g - 4*z + 27 = 250, 2*g = 5*z + 455. Does 5 divide g?
True
Let u(t) = 2*t**2 - 6*t - 12. Let z be u(-5). Suppose -184 = -7*s + z. Is 12 a factor of s?
True
Suppose -14*i - 3576 = -20*i. Is 17 a factor of i?
False
Is (6 + -9 - -70)/1 a multiple of 4?
False
Suppose -4*w + w - 4*y - 20 = 0, 5*y = -25. Suppose 19*v - 15*v - 896 = w. Is v a multiple of 41?
False
Suppose 991 = 9*r - 4022. Does 21 divide r?
False
Suppose -3*m + 1210 - 235 = 0. Suppose 3*v - 330 = -3*y, 3*v + 0*v = -2*y + m. Is v a multiple of 33?
False
Let k = -31 - -42. Is (15 - k) + (-404)/(-1) a multiple of 60?
False
Let q(c) = -c**3 + 9*c + 67. Does 14 divide q(-9)?
False
Let z = -100 - -259. Is z a multiple of 3?
True
Let w(m) be the third derivative of -m**5/60 + 17*m**4/24 + 5*m**3/6 + 8*m**2. Let x be w(17). Suppose -x*g + 54 = -26. Is 16 a factor of g?
True
Suppose 0 = -2*t + 1087 - 411. Is t a multiple of 12?
False
Let u = 156 - 150. Suppose 2*r - 58 = u. Is 7 a factor of r?
False
Let l(j) = 83*j**3 + 2*j**2 - 3*j - 2. Let a be l(-2). Let s = -415 - a. Let t = 337 - s. Does 25 divide t?
True
Let q be (-22)/8*(-4)/(-1). Let o = 15 + q. Suppose -o*v - 2*j = -160, -v - 3*v + 184 = -4*j. Is 21 a factor of v?
True
Suppose -10*z + 3024 = -2*z. Suppose 8*s - z = 5*s. Is 21 a factor of s?
True
Suppose 5*t - t - 20 = 2*y, -y + 3*t - 15 = 0. Suppose -5*n + y*n + 130 = -5*r, 27 = 2*n + 3*r. Does 3 divide n?
True
Let a be 15/(-12)*(0 + -2)*2. Suppose 8*d = a*d + 306. Is d a multiple of 17?
True
Suppose -5*i + 114 = -1. Suppose -y - 3*w = -29, w + i + 54 = 4*y. Is 10 a factor of y?
True
Let k(g) = g**3 - 57*g**2 - 54*g + 27. Is 11 a factor of k(58)?
False
Let o = 131 - -43. Does 16 divide o?
False
Suppose -2*u = -4*u + 700. Does 50 divide u?
True
Let h(x) = x**2 - 2*x - 25. Suppose u + 3*f = 2 - 3, -u - f = -5. Is h(u) a multiple of 5?
False
Let h be (105/9)/((-3)/(-54)). Suppose -z = -3*m - 2*m - h, 668 = 3*z + 4*m. Suppose -2*j = 16 - z. Does 28 divide j?
False
Let f(c) = 111*c**2 + 3 + 2*c - 54*c**2 - 56*c**2. Let i be f(-2). Suppose i*u + 18 = 3*t, 3*u - 46 = -7*t + 2*t. Is 4 a factor of t?
True
Let i = 11 - 2. Suppose -10*k = -i*k - 17. Suppose -5*x - k = -92. Does 5 divide x?
True
Suppose -x = -5*w + x + 418, -5*w - 5*x + 390 = 0. Let s = -25 + w. Is 19 a factor of s?
True
Let g(i) = 2*i - 8. Let p be g(6). Suppose -2*d - 77 = 5*c - 3*d, -p*c - 68 = -4*d. Is 5 a factor of (2 + -1)*c/(-1)?
True
Suppose 2*z + z - 2*w + 2 = 0, 0 = -z - 4*w + 4. Suppose -4*p + 3*t + 45 = z, -p = 3*t - 13 - 2. Is p even?
True
Let y(w) be the first derivative of 31*w**2/2 - 5*w - 18. Does 8 divide y(2)?
False
Let f(h) = h**3 + 25*h**2 - 8*h + 20. Does 38 divide f(-18)?
True
Let k(y) = 63*y**2 + 18*y - 54. Does 27 divide k(4)?
True
Let y = 38 + -32. Suppose 0 = -y*v + 165 + 447. Does 34 divide v?
True
Suppose 0 = 3*l - 3*m - 24, -3*m + 17 + 37 = 3*l. Suppose 3*b - l + 1 = 0. Suppose b*p + 0*p = 52. Is 12 a factor of p?
False
Let d(c) be the first derivative of c**5/120 + 5*c**4/8 - 4*c**3 - 2. Let r(z) be the third derivative of d(z). Is r(-13) even?
True
Suppose 0 = 4*t - 2*l, -3*t + 0*t + l + 2 = 0. Let k = 18 - t. Is k a multiple of 4?
True
Let c = 24 +