)/(-26) - c/(-65). Suppose -16 - k = -8*s. Is s a multiple of 13?
True
Let u(a) = -1666*a**2 - 3*a - 1. Let p(l) = -l**2 - 7*l - 7. Let i be p(-6). Let b be u(i). Is 18 a factor of (-1)/5 + b/(-20) + 0?
False
Suppose -r + 4 = 6, -4*k + 3*r + 466 = 0. Suppose -k = d - 118. Suppose d*n - 35 = 49. Is 7 a factor of n?
True
Let g(y) = y**3 + 131*y**2 + 278*y + 246. Is 167 a factor of g(-128)?
False
Let x(j) = -j + 20. Let y be x(11). Suppose -a + 315 = 4*b, 0 = -y*b + 4*b - 2*a + 396. Is 13 a factor of b?
True
Suppose 4*w - 1384 = -j, 2*j + 59*w - 2726 = 58*w. Does 9 divide j?
False
Let l = 141 - 134. Suppose -22*z = -21*z - 20. Suppose -l*d - 2171 = -z*d. Is d a multiple of 10?
False
Let l(p) be the second derivative of p**5/20 - 19*p**4/12 + 7*p**3/2 - 12*p**2 - 4*p - 6. Is 24 a factor of l(18)?
False
Let a = 162 - 184. Let x = a + 346. Does 18 divide x?
True
Let o be 1*(316/(-4))/1. Let n be (-98)/(-4)*-6*4/12. Let a = n - o. Does 10 divide a?
True
Suppose 1 = 4*j + 3*n - 2, 5*j = -2*n + 9. Suppose j*l - 98 = -26. Is 6 a factor of l?
True
Let r(l) = -163*l - 12. Let w be r(-4). Suppose -12*i + 332 = -w. Suppose q - 23 = i. Does 8 divide q?
True
Let s(p) = -7*p**2 + 134*p + 7. Let r be s(14). Let f = 568 - r. Is f a multiple of 3?
True
Let m = 15103 + -14440. Is 39 a factor of m?
True
Let a(g) = 3*g - 14. Let m(u) = -2*u + 26. Let f be m(11). Let h be a(f). Is 2/(-4)*h*157 a multiple of 18?
False
Suppose 0 = -3*h + 4*w + 11062, 5*h = -2*w + 15612 + 2790. Does 26 divide h?
False
Does 20 divide (976/(-12))/((-16)/6768)?
False
Let l be -403 + (-32)/(-24)*6. Let d(y) = -2*y + 675. Let z be d(0). Let p = z + l. Is p a multiple of 28?
True
Let y = -13940 + 20433. Does 43 divide y?
True
Suppose 529*m + 888934 = 686*m. Is m a multiple of 38?
True
Let m(x) = 98*x**3 - 12*x**2 + 8*x + 17. Is 81 a factor of m(5)?
False
Let b(f) = 456*f**2 - 707*f + 24. Is b(10) a multiple of 17?
False
Let r = -1504 + 1568. Is 3 a factor of r?
False
Suppose 3*r + 141 = 2073. Suppose -r = -22*t + 1314. Is 8 a factor of t?
False
Suppose -8*a = 74 - 106. Suppose 2*m + 1436 = -l + 6*l, 1156 = 4*l - a*m. Does 22 divide l?
True
Let f(q) = -4839*q**3 - 2*q**2 + q. Is 62 a factor of f(-1)?
True
Let s(g) = 17*g**2 + 220*g + 6. Is s(-19) a multiple of 13?
True
Let n = -7067 - -9971. Does 24 divide n?
True
Suppose 5*d + 4*y = 136919, 3*d - 2*y - 90634 + 8465 = 0. Suppose 24*f - 1341 = d. Is f a multiple of 19?
True
Let t(n) = -28 - 8*n + 10*n - 23 - 13*n. Is 8 a factor of t(-18)?
False
Let d(k) = -81*k + 27 - 1 + 31*k. Is 23 a factor of d(-5)?
True
Suppose 5*v - 4*r = 5436, -2*v + 89*r = 88*r - 2178. Is 52 a factor of v?
True
Let b(y) = y**2 - 3*y - 7. Let a be b(5). Suppose 2*d = 0, 0 = -a*i - d + 5 + 4. Suppose -2*n = -i*n + 100. Is 10 a factor of n?
True
Let h = 39 - -15. Suppose 12 = -4*q, -q + 21 = 2*m - 96. Let u = m + h. Does 19 divide u?
True
Suppose -200*h - 40426 = -241*h. Is 16 a factor of h?
False
Suppose -4*b + t = -10, 4*b = 9*b + 5*t. Let j(o) be the second derivative of 3*o**5/5 - o**3/6 - 2*o**2 - o. Is j(b) a multiple of 16?
False
Let d(x) = -2*x - 9. Let v be d(-7). Suppose 0*u + 5*q = -3*u + 45, v*u = -3*q + 75. Let h(k) = 3*k + 19. Does 18 divide h(u)?
False
Suppose -3*n + 37 = -50. Let s(v) = 2*v**2 + 13*v - 62. Let j be s(-10). Suppose j*f - 253 + n = 0. Is f a multiple of 14?
True
Suppose -28703 = -l + 2*w, -5*w + 114851 = -302*l + 306*l. Is 23 a factor of l?
False
Suppose 440 = x + 140. Let o = x - 120. Is o a multiple of 20?
True
Let h(x) = 20 + 367*x**2 + 15*x + 6*x + 628*x**2. Is h(-1) a multiple of 14?
True
Let s(j) = j**3 - 3*j**2 + 7*j - 13. Let y(g) = 3*g**2 - 8*g + 14. Let m(w) = 2*s(w) + 3*y(w). Is m(6) a multiple of 14?
False
Let g(c) = 5*c**2 - 2*c - 4. Suppose 4*r - 2*n + 14 = 0, 0 = 2*r - 3*n + 3 + 10. Let o be g(r). Suppose j - o - 19 = 3*u, -2*j = 3*u - 33. Is 24 a factor of j?
True
Let p be (-1 + -7)*(-795)/212. Suppose -y + 11 = -0*y. Suppose 0 = k - p + y. Is k a multiple of 5?
False
Suppose -4*i + 2*v + 402 = 0, 5*i - 5*v + 234 = 739. Suppose i*k - 101*k + 253 = 0. Does 11 divide k?
True
Let m be 6/3 + (-11)/(11/(-364)). Suppose -283 = -3*u - 2*t, -4*u + 3*t + m = -0*t. Suppose 4*z = 3*s - 134 - 40, -5*z + u = 2*s. Is s a multiple of 27?
True
Suppose -57*s + 3120 = -42*s. Suppose -3232 = -12*g - s. Is g a multiple of 36?
True
Suppose -m - 113 + 466 = 0. Let q = m - 83. Is q a multiple of 27?
True
Let w = -5119 + 7431. Suppose 5*x - 2304 = -4*j, w = -5*j + 9*j + 3*x. Is j a multiple of 83?
True
Let j(u) = 68*u + 33. Let v be j(8). Suppose v = 3*y + 2*m, -3*m = 4*y - 0*m - 771. Is 21 a factor of y?
True
Let b(z) = -19*z**3 - 3*z**2 + z + 5. Suppose 0 = -2*w + 4*w + 4. Does 11 divide b(w)?
True
Let r(a) = a**3 + 12*a**2 + 11*a + 1. Let b be r(-11). Let v(j) = b - 18*j**2 - j + 0 + 38*j**2. Is 11 a factor of v(2)?
False
Let c(n) = -25 + n**2 - 15 + 26 - 41 - 7*n. Does 10 divide c(-8)?
False
Suppose 3*k - 5*b - 60 = 0, -k = -0*b + 4*b - 20. Suppose -3*x = k + 1. Let z = 127 + x. Is z a multiple of 24?
True
Let b(m) = -14*m + 17. Suppose -5*u = -o + 5 + 2, -5*u = o + 23. Let r be b(o). Suppose -3*v + 15 + r = 0. Does 8 divide v?
True
Suppose -31*m = -2*m + 232. Does 7 divide 1*((-18)/3 - -5)*m?
False
Let x(r) = -r**2 + 19*r - 4. Let f be x(24). Let l = 101 - f. Is 45 a factor of l?
True
Suppose -13*z + 16*z = 6. Let t be (-968)/(-6) + 1/(-3). Suppose t = z*n - n. Is 23 a factor of n?
True
Suppose 32*k = 21137 + 12463. Suppose -k = -397*l + 390*l. Is 10 a factor of l?
True
Suppose -283*i - 22*i + 3110085 = 0. Is 11 a factor of i?
True
Let z be 2 - (0/(-1) - 6). Suppose 4*m - z = -0. Suppose -5*u = -3*a - 486, 5*u - 488 = 2*a + m*a. Is 8 a factor of u?
True
Let k(t) = -t**3 - 8*t**2 - 14*t + 8. Let h(i) = 87*i + 4. Let j be h(1). Let c = -99 + j. Does 12 divide k(c)?
True
Let v be 36*((-28)/(-3) - 1). Let c be (21/28)/(1/v). Suppose -2*q - 4*d = -0*d - 132, 3*q = 3*d + c. Is 18 a factor of q?
True
Let q = -3935 + 13336. Does 17 divide q?
True
Let n(y) = 2*y**2 - 10*y + 6. Suppose -16*t = 8*t - 360. Is 31 a factor of n(t)?
False
Suppose 0 = 100*p - 109*p + 26145. Does 59 divide p?
False
Let m(f) = 3*f. Suppose 4*z + 180 = -z. Let u be (-8)/z - (-61)/9. Is 4 a factor of m(u)?
False
Suppose -25 - 35 = 4*z. Does 17 divide (-85)/z*(19 + 2)?
True
Suppose -557 - 2243 = -4*s. Let z = -167 + s. Is 43 a factor of z?
False
Suppose 2*i + 14*a - 2154 = 10*a, 0 = 2*i + 3*a - 2155. Let x = -478 + i. Is x a multiple of 44?
False
Suppose -7*z - 19 = -54. Suppose -w = -5*t - 138, 8*w + t - 430 = z*w. Is w a multiple of 25?
False
Let z = 60 + -59. Suppose -4*d - 3*i + z = 0, -i = d - 5*i - 24. Suppose 2*n = d*p - 208, 5*p + 2*n = -n + 238. Is p a multiple of 14?
False
Let b(i) = 4*i - 7. Let k be (-7)/(-3) + 16/24. Let y be b(k). Suppose 3*p + p = -r + 199, 5*p - y*r = 280. Is p a multiple of 36?
False
Let n(z) = 562*z**2 - 13*z - 35. Is 21 a factor of n(-3)?
False
Let o = -34 + 39. Let y be 1 + o/(-5) + 0. Suppose 81 = 3*f - 0*l - 2*l, y = -f - l + 32. Does 7 divide f?
False
Let o(m) = 64*m**2 - 1010*m - 7176. Does 5 divide o(-7)?
True
Suppose 0 = -13*s + 3*s + 97230. Suppose -3003 = 16*g - s. Does 45 divide g?
False
Let l be (6/(-2) + 1)*14/28. Does 54 divide (-57)/l*((-42)/7 - -7)?
False
Suppose 1275 = 6*q - 303. Let d = 608 - q. Does 31 divide d?
False
Suppose 4*l - 3*b - 7 = 0, -3*l + 0*b - 11 = b. Let j be 651/186 - (1 - (-1)/(-2)). Is (l/j)/(3/(-747)) a multiple of 30?
False
Suppose -249954 = -18*y + 485778. Is 17 a factor of y?
False
Let o(i) = 7*i**3 - i**2 - 17*i - 14. Let b be o(6). Let p = -961 + b. Is p a multiple of 20?
False
Suppose 0 = -106*s - 174*s + 3371200. Does 138 divide s?
False
Let l = 107 - 80. Let s = l + 53. Does 16 divide s?
True
Let t(i) = 3*i + 17. Suppose 5*s - 2*r - 21 = 0, -3*r - 2*r = -4*s + 10. Suppose -5*b + 3 = 4*g - 2*b, 4*g + s = 5*b. Is t(g) a multiple of 7?
False
Let g(x) = 36*x**2 + 32*x - 32. Let d be g(22). Suppose 90*y - 103*y = -d. Is y a multiple of 24?
True
Let x = -88 + 178. Let q be 51/(-4)*(-28)/21. Suppose -12*y = -q*y + x. Does 6 divide y?
True
Is 90 a factor of (10/(-6))/((-405)/469476)?
False
Let k(r) = -r**2 - 17*r - 12. Let f = 3 + -2. Let n be ((-55)/(-10))/(f/(-2)). Is k(n) a multiple of 18?
True
Let s(u) 