1 - (6 + -6). Let a(j) = -2*j + 4. Let l be a(3). Is l/g + (-129)/(-15) a multiple of 9?
True
Let d = 76 + 79. Suppose 2*l + 145 = 3*n, 0*n - d = -4*n - 5*l. Does 24 divide n?
False
Suppose -14*w - 8 = -18*w. Is 38 a factor of (w - 2) + -1 + 1337/7?
True
Let h = -40 - -72. Suppose 6*o + 2*o - h = 0. Does 3 divide o?
False
Suppose -6*i = -1349 - 121. Does 6 divide i?
False
Suppose 54*d - 23835 = 19*d. Is 14 a factor of d?
False
Let n = -309 + 832. Does 13 divide n?
False
Suppose 0 = v + 12 - 13. Is ((10/(-4))/v)/(1/(-12)) a multiple of 10?
True
Let x be (-5)/10 - 225/(-2). Let h be (-3)/(-2)*x/21. Suppose 11*s - h*s = 93. Does 15 divide s?
False
Let z be ((-1)/3)/((-2)/(-30)). Is (61/2)/(z + (-21)/(-4)) a multiple of 8?
False
Suppose 14*j = -3927 + 20111. Is j a multiple of 10?
False
Let v(r) = r**3 + 36*r**2 + 35*r + 109. Does 3 divide v(-35)?
False
Suppose -4*j - 3*h + 2*h = -24, j + 11 = 4*h. Suppose -5*q - 4*y + 19 = 0, j*q = -0*q + 3*y + 12. Suppose q = -5*z + 53. Is 10 a factor of z?
True
Let l(b) = -b**3 + 14*b**2 - 24*b + 14. Let q be l(10). Let c = q - 72. Is 17 a factor of c?
True
Suppose 28 = 2*t - g, t + 4*t = -g + 63. Is 9 a factor of t?
False
Let d be 2 + (1 + -3)*32. Let p = d - -92. Does 21 divide p?
False
Suppose 7*c + 45 = -32. Does 23 divide (c/33)/(2/(-534))?
False
Suppose h + 67 = -2*t + 957, -445 = -t + 5*h. Does 9 divide t?
False
Suppose 2*q + 9 = c + 4*q, -5*c + 12 = -q. Suppose -c*f + 12*f - 1440 = 0. Does 10 divide f?
True
Let h(x) = x**2 + 5*x - 14. Does 78 divide h(-37)?
True
Suppose -a = 5*v - 299, 5*a - v - 2221 = -700. Does 11 divide a?
False
Let c = 33 - 20. Suppose -3*d = -i - c, 2*i + d + 0*d - 9 = 0. Let b(q) = 22*q - 2. Does 21 divide b(i)?
True
Suppose 5*u = -u + 24. Suppose -u*r + 75 = -85. Is 24 a factor of r?
False
Let u = 82 + -84. Is 1/((-5)/125)*u a multiple of 50?
True
Let q(c) be the first derivative of -c**2/2 - 3*c + 5. Let b be q(-6). Suppose 0*d - b*k + 75 = 2*d, 5*k - 41 = -d. Is d a multiple of 12?
True
Is 6588/4 + (-2 + -3)*1 a multiple of 47?
False
Suppose 0 = -2*x + 3*x + 6. Let y = x - -25. Let k = -7 + y. Is k a multiple of 6?
True
Let a = -14 - -16. Let c be -30 - (-2 + 0 + a). Is 12 a factor of (-4)/c - (-1246)/105?
True
Let q = 150 - 172. Let u(m) = -4*m - 8. Is u(q) a multiple of 4?
True
Let y(i) = 3*i**2 - 10*i + 78. Is y(0) a multiple of 39?
True
Let b(z) = 25*z**2 + 21*z + 26. Is 39 a factor of b(-5)?
True
Suppose 113 = 5*a - 4*l, -2*a + 2*l = -65 + 21. Let c = -21 + a. Suppose -254 = -c*r - 5*q, -4*q = 5*r - 0*r - 322. Is 22 a factor of r?
True
Let r = -8 - -11. Suppose 0*x = 3*x + l - 15, r*l - 13 = -x. Suppose 165 - 5 = x*n. Is n a multiple of 11?
False
Suppose 7*t = 6226 + 1502. Does 8 divide t?
True
Suppose 0 = -2*a + 3*l + 14, a + 2*l = -2*a - 5. Is 3 a factor of (-2)/a - (-1 - 17)?
False
Suppose -x = -2*i + 9757, 11*x = -3*i + 10*x + 14628. Is 26 a factor of i?
False
Suppose 4*k + 5*b - 1436 = 0, 3*b + 254 = 5*k - 1541. Does 12 divide k?
False
Suppose -3*o + 3233 = -3487. Is o a multiple of 40?
True
Suppose 21*h = 293 + 1450. Is h a multiple of 15?
False
Let z(k) = -3*k. Let m be z(-1). Suppose -454 = -5*q + m*i, -2*q - i + 462 = 3*q. Is q/4 + -3 + 0 a multiple of 12?
False
Let f(o) = -o**3 + 6*o - 10. Is f(-6) a multiple of 17?
True
Is (-2)/(-7)*(108/(-9) - -124) a multiple of 11?
False
Suppose -35 = -3*l - 23. Let o(i) = 80*i + 18. Is o(l) a multiple of 39?
False
Suppose -v - 3*v - 4*m = 0, -4*m = 2*v + 2. Suppose 5 = 5*f + 25. Let x = v - f. Is 2 a factor of x?
False
Let o be 94/8*(-16)/(-6)*3. Suppose -3*f = -1 + 4, 0 = -4*l + 2*f + o. Is 23 a factor of l?
True
Suppose 405 = 5*s - 4*p - 7480, s + 2*p = 1591. Does 92 divide s?
False
Suppose -40 = 5*s - 10. Let z(x) = 12 + x - 11*x + 3*x. Is 10 a factor of z(s)?
False
Suppose -4*v + 1087 = 5*c, 5*c - 6*v - 1101 = -3*v. Is c a multiple of 5?
False
Let h be 1/(2 + (-25)/13). Suppose a = y + 3, 0*y - 2*y = 5*a + h. Let n = a - -35. Does 11 divide n?
False
Suppose -2*o - 5*w + 13 = 63, 4*w = 5*o + 92. Let j = o - -29. Does 7 divide j?
False
Suppose l - 2*k - 3*k - 13 = 0, -3*k + 9 = 5*l. Let z(f) = 2 + 9*f + 4 - 6 - l. Does 24 divide z(3)?
True
Let q be (1 - 9/3)/2*-25. Suppose 0 = 2*c - 53 - q. Is 4 a factor of c?
False
Let m be (-54)/(-90)*(-1 + 6). Let s(f) = 13*f**2 - 7*f + 3. Is s(m) a multiple of 26?
False
Let c(n) = -n**2 - 23*n + 78. Is c(-20) a multiple of 23?
True
Suppose u + 51 = b, 8*u - 99 = -2*b + 13*u. Is b a multiple of 19?
False
Let l(f) = -f + 5. Let z be l(0). Suppose -z*j = 4*x - 266, 2*x - 4*j + 3*j = 126. Suppose u + 5*m - 67 = 0, -2*u + m + x = -37. Is 26 a factor of u?
True
Suppose 2*b - 5*v + 11 = -8, -4*b + 22 = 2*v. Does 25 divide -3 - -133 - (b + 0)?
False
Let g be 3 - (12/8 - (-188)/(-8)). Suppose k + 206 = 5*l, 4*k = g - 9. Is l a multiple of 5?
False
Suppose -5*p - 2*v = -21, 6*v = 3*p + 5*v - 6. Let i(x) = p*x - 7*x + 33 - 34. Does 5 divide i(-8)?
False
Let c = 440 + -272. Is 12 a factor of c?
True
Let o = 13 - 23. Let v(r) = -5*r + 10. Does 3 divide v(o)?
True
Let d = -39 + 41. Let o(k) = 20*k + 2. Does 6 divide o(d)?
True
Let b = 1208 - 364. Does 9 divide b?
False
Let t = -12 + -56. Let x = -44 - t. Is x a multiple of 18?
False
Suppose 3*s + 3*j = -48, -12 = 5*s + 2*j + 83. Let r = -19 - s. Suppose l - i - r*i - 5 = 0, -8 = -2*i. Is 2 a factor of l?
False
Let m(j) = 7*j + 1. Let h(k) = -7*k - 2. Let n(a) = -2*h(a) - 3*m(a). Let q be n(-5). Let d = q - -4. Is 20 a factor of d?
True
Suppose 0 = 4*q + 162 + 198. Let d = q + 134. Is 8 a factor of d?
False
Suppose -3559 = 56*z - 9887. Is z a multiple of 3?
False
Let r(u) = -8*u + 2. Let b be (3/(-4))/(5/20). Is r(b) a multiple of 26?
True
Let b(p) = 22*p - 1. Let q(v) = -21*v + 1. Let y(g) = -3*b(g) - 2*q(g). Let c be y(-2). Suppose j - c = -15. Does 17 divide j?
True
Let r(v) = -v**3 - 6*v**2 + 15*v + 18. Does 8 divide r(-8)?
False
Let q = 1621 + -954. Does 29 divide q?
True
Suppose 15*u - 1050 = 9*u. Is 12 a factor of u?
False
Suppose 17*r + 1056 = 28*r. Does 32 divide r?
True
Let f = 806 + -783. Does 23 divide f?
True
Suppose 11*u - 226 = 115. Is u a multiple of 23?
False
Let w = 11 - 17. Let s(r) = -3*r + r - r + 1 + 6. Does 11 divide s(w)?
False
Suppose 4*d = 2*a - 54, 0 = 3*a - d - 71 - 15. Let m = a + -23. Does 9 divide (18/(-10))/(m/(-30))?
True
Let d(o) = 53*o. Is d(9) a multiple of 27?
False
Suppose -2*z = 5*h - 14 - 49, 4*h = 2*z - 90. Let m = -61 - z. Let x = 202 + m. Is 38 a factor of x?
False
Let h(z) = -z**3 + 7*z**2 + 13*z - 12. Let c(a) = a**2 - 2*a - 9. Let t be c(-3). Is h(t) a multiple of 11?
False
Let a(s) = s**3 - s**2 + 3*s - 11. Suppose -b + 5*v = 6*v - 7, 5*b + 2*v - 32 = 0. Is a(b) a multiple of 37?
False
Let b(m) = 134*m**3 - m**2 + 11*m - 23. Is 97 a factor of b(2)?
True
Suppose 0 = -b + 3*p + 2 + 3, -5*p = 3*b - 1. Let x(j) = -1 - 2*j + 0*j**2 + 0*j**b + j**2 - 3. Is 20 a factor of x(-7)?
False
Suppose 1083 = -14*z + 4023. Does 21 divide z?
True
Let k = 30 + -28. Suppose -k*a - 5*v + 44 = 0, 6*v - 3*v - 23 = -a. Is 7 a factor of a?
False
Let y(x) = -x**3 + 12*x**2 - 9*x - 2. Suppose 5*w - 263 + 213 = 0. Is 27 a factor of y(w)?
True
Let i = -16 + 3. Let j(p) = p**3 + 12*p**2 - 11*p - 7. Let w be j(i). Let m = w - -47. Is m a multiple of 10?
False
Let y(v) = 26*v**2 - 28*v + 121. Is y(6) a multiple of 9?
False
Let y = -24 + 24. Suppose y = 3*w - 9*w + 486. Is 8 a factor of w?
False
Let h be (5 + -2)/((2/(-47))/(-2)). Let k = 225 - h. Is k a multiple of 8?
False
Let t(n) = -2*n**3 - 5*n**2 - 9*n - 4. Let d be t(-7). Let o be (d/8)/(2/4). Let x = o + -89. Is x a multiple of 13?
False
Is (-408)/(1 - 5) + (0 - -5) a multiple of 10?
False
Let o be (-3 - 4)*(-56 - -3). Suppose -5*i = -169 - o. Does 18 divide i?
True
Let a(f) = f + 3. Let k be a(0). Let d be (-2)/4*(-3 + k). Let m(h) = h**3 + h**2 + 27. Is 9 a factor of m(d)?
True
Let b(s) = s**2 + 14*s + 14. Let f be b(-13). Is 13 a factor of 5/f*26/2?
True
Suppose 61*j - 76874 = 23*j. Does 17 divide j?
True
Let c be 2/9 - (-666)/(-81) - -2. Is 9 a factor of ((-9)/(-4))/(c/(-72))?
True
Suppose -56 = -2*p + 48. Suppose -391 = -3*q - 4*i + p, -2*q - 3*i + 296 = 0. Let j = q - 95. Is j a multiple of 25?
True
Let q = -1710 + 2102. Is 6 a factor of q?
False
Let n(y) = 53*y + 5. 