 0, 3*b - 4*b + 36 = -3*a. Let j(y) = y - 10. Let r be j(8). Is ((-153)/b)/(r/10) a multiple of 6?
False
Suppose 5*b = -2*x + 132, 0*x + b - 264 = -4*x. Suppose -4*s + x - 8 = z, -2*s + 4*z = -38. Is s a multiple of 5?
True
Let y = 4817 + -1897. Is 52 a factor of y?
False
Suppose 0*z + z - 419 = 3*x, -x - z = 137. Let q = x - -202. Does 7 divide q?
True
Suppose -5*y + 3*y = 0. Suppose 2*l = 29 + 11. Suppose y = -2*i + 40 + l. Is 10 a factor of i?
True
Let b(j) = -j - 4. Let o be b(12). Let f be (o/(-6))/((-2)/(-3)). Let r(z) = z**3 - 2*z**2 - 3*z - 2. Does 4 divide r(f)?
False
Suppose 0 = 19*c - 21*c + 478. Is c a multiple of 17?
False
Let x = -74 - -302. Is x a multiple of 76?
True
Suppose 86*n - 805 = 82*n + 3*u, 0 = 2*n + u - 405. Is 48 a factor of n?
False
Let k(a) = -4*a**3 + a**2 + 25*a + 4. Is 3 a factor of k(-4)?
False
Is 213 - 12*(-2)/(-6) a multiple of 7?
False
Let i be 3 - 4/(-10)*-5. Let v be i + (-2 + -1 - -5). Suppose 0 = 5*w - 2*x - 221, 0 = 4*w - 2*w + v*x - 77. Is 20 a factor of w?
False
Let s = 16 - 49. Let t = 145 + s. Does 11 divide t?
False
Let c = -87 - -153. Suppose -4*s = 8, -2*s - c = 3*d - 4*d. Is 13 a factor of d?
False
Let v = -7 + 21. Let q = 16 - v. Is (218 + 12)*q/5 a multiple of 20?
False
Suppose 2*j - 19 = -2*d + 549, 574 = 2*d - j. Suppose -2*v - 3*v - 3*m + 288 = 0, -m = 5*v - d. Is v a multiple of 25?
False
Is ((-1042)/(-12))/((-8)/(-48)) a multiple of 13?
False
Let i = 2 + 0. Suppose l = i*l - 60. Is l a multiple of 15?
True
Let g(q) = q**2 + 21*q + 20. Let k be g(-20). Does 9 divide (k + -2)/((-2)/69)?
False
Suppose -5*g = -11123 + 3143. Is 57 a factor of g?
True
Is ((-10)/(30/(-3)))/((-4)/(-5380)) a multiple of 72?
False
Let i = 430 + -227. Is 32 a factor of i?
False
Suppose -5703 = -3*d + 3*k, 3*d - 5700 = -0*d + 2*k. Is d a multiple of 21?
False
Let m(x) be the first derivative of x**4/4 - 2*x**3/3 - 2*x**2 - 4*x - 14. Does 3 divide m(4)?
True
Suppose 0*j = 2*j. Let d(g) = 3*g + j*g - g + 5 - 3*g. Does 6 divide d(-7)?
True
Is ((-648)/30)/((-9)/210) a multiple of 86?
False
Let n be (-4)/4 + 1*-1. Let d be (-27)/n*4*1. Suppose -d = -2*q + 10. Is 14 a factor of q?
False
Let s = -2307 - -3262. Suppose a - s = -4*a - 5*x, -2*x = -3*a + 573. Does 30 divide a?
False
Let z = 6442 + -4466. Does 13 divide z?
True
Let z = 41 + -36. Suppose 0 = z*f - 51 - 79. Is f a multiple of 13?
True
Let y(o) = -o**3 + 3*o**2 + 3*o - 1. Suppose 2*c - 3 = 7. Let k be y(c). Is 31 a factor of (-48)/k + (-374)/(-3)?
False
Let g(l) = -13*l**2 + 2*l - l**3 + 109 - 60 - 82. Does 45 divide g(-14)?
True
Let m(f) = f**2 + 7*f. Let s be m(-3). Is 43 a factor of ((-9)/s)/((-6)/(-16)) + 49?
False
Let u(m) = m**2 - 5*m + 8. Let c(j) = 1. Let r(a) = 3*c(a) + u(a). Let b be r(-9). Suppose 2*x = 4*s - 308, 3*s - 4*x - b = 99. Does 27 divide s?
False
Let k(o) = o**2 - 3*o + 8. Let l be k(7). Suppose 5*s - l = -6. Suppose w = s*w + 10, 5*c - 119 = 2*w. Is c a multiple of 5?
False
Suppose 0 = -19*w + 25*w - 624. Does 15 divide w?
False
Let t = -187 - -331. Does 21 divide (14/70 - (-14)/5) + t?
True
Let y(l) = 0*l + 6*l - 4*l + 3*l**2 - 4. Let h(k) = k + 16. Let i be h(-20). Is y(i) a multiple of 12?
True
Let g(v) = v**2 - 13*v - 22. Let c be g(15). Suppose 29*p - c*p = 2646. Is p a multiple of 18?
True
Let r = -1 - 17. Let t = r + 28. Does 10 divide t?
True
Suppose -18*c = -11340 + 2646. Is 19 a factor of c?
False
Suppose 4*t = -2*t + 13356. Suppose 0*u + 4*u + 1788 = 4*g, 5*g - t = 2*u. Is 9 a factor of (-2)/(-3) - g/(-9)?
False
Let r be -7*1 - (5 - 3). Let m = 6 + r. Is 8/((m/(-7))/3) a multiple of 28?
True
Let m(c) = c**2 + 24*c - 81. Let k be m(-27). Let o(w) = 200*w**3 + w**2. Let y be o(1). Suppose k*u + 4*u = 5*s + y, 4*s = 5*u - 240. Is 10 a factor of u?
False
Suppose v = -3*p + 1580, 2197 = 3*p + 5*v + 609. Is p a multiple of 17?
False
Let q be 3387/15 - (-8)/(-10). Suppose p + 2*p + 15 = 0, -q = -2*u - 3*p. Let w = u + -68. Is w a multiple of 10?
False
Let d = 3 + -3. Suppose -l + d*s = -4*s - 22, -3*s - 9 = 0. Does 4 divide (-32)/l*30/(-12)?
True
Let c = 1381 + -1375. Does 4 divide c?
False
Suppose -2*q - 37 = -4*a + q, -3*a - q = -31. Let x be a*(2/5 + 4). Suppose b + 3*c = -4*b + 55, 4*b = -2*c + x. Does 5 divide b?
False
Let a(r) be the first derivative of -45*r**2/2 - r - 7. Let i = 0 + -1. Is a(i) a multiple of 22?
True
Suppose -2 = 5*i + 3*c, -4*i + 23 + 5 = -5*c. Suppose n = -3*x + 104, -x + 3*n = i*x - 108. Is x a multiple of 8?
False
Let j(n) = 5*n**2 + 5*n - 15. Let o(d) = -d**2 - d + 1. Let y(h) = -j(h) - 6*o(h). Let m be y(0). Let s = 11 + m. Is 5 a factor of s?
True
Does 10 divide (-3)/24 - (-29602)/16?
True
Suppose -2*p = 3*p - 20. Let q = 57 + 52. Suppose 284 = p*y - w, q + 187 = 4*y + 2*w. Does 24 divide y?
True
Let d(m) = -m**2 - 14*m - 4. Suppose -h + 3*x + 32 = 0, -4*h = 5*x - 35 - 76. Let v = h - 39. Does 9 divide d(v)?
True
Suppose v + 8*v - 72 = 0. Suppose 0 = -14*g + v*g + 2268. Is 54 a factor of g?
True
Let a = 100 + 116. Does 13 divide a?
False
Let d = 1325 + -869. Is 42 a factor of d?
False
Suppose 8*b - 7*b = 4*l - 1164, 582 = 2*l - 5*b. Is l a multiple of 16?
False
Let f(b) = -b**2 - 17*b + 9. Let q be f(-18). Let z(x) be the third derivative of -x**4/24 + x**3/6 + x**2. Is 4 a factor of z(q)?
False
Let g(s) = s**2 + 6*s + 4. Let v be g(-5). Let p = v - -7. Does 2 divide p?
True
Suppose -122 = -3*w + m, 2*w - 44 = w + 2*m. Suppose 5*o - 4*o = w. Is o a multiple of 24?
False
Let d be -5*(-3 + (2 - -2)). Is 8 a factor of ((-20)/12)/d*24?
True
Let a(r) = r**2 + 12*r + 22. Let c be a(-10). Let o be (-16)/6*3/c. Does 11 divide 385/(-7)*o/10?
True
Let w be (4/4)/(-3 - -2). Let g = 4 - w. Suppose 0*z = g*z - 225. Is 12 a factor of z?
False
Suppose 8 = 2*f + 32. Is 48*(2 - f/(-8)) a multiple of 24?
True
Suppose -96*n + 40*n + 74088 = 0. Does 49 divide n?
True
Let g(k) = -708*k - 9. Is 7 a factor of g(-2)?
True
Let j = 74 - -556. Does 14 divide j?
True
Let p(d) = 62*d + 642. Is 12 a factor of p(21)?
True
Suppose 110*r = 113*r - 693. Is 8 a factor of r?
False
Suppose m - 1 - 2 = 0. Suppose m*h + 3*j = -j + 5, -1 = j. Suppose -12 = -h*g - 4*a, -21 = -2*g + 4*a + 7. Is 4 a factor of g?
True
Suppose 4*t - 131 = 5*s, -29 = -0*t - t + 5*s. Suppose -358 = -4*m - t. Is 9 a factor of m?
True
Let s(v) = 5*v - 38. Is 13 a factor of s(24)?
False
Let u = 688 + -1045. Let b = -249 - u. Is b a multiple of 20?
False
Suppose 4*d + 5*f + 7 = 4*f, 0 = -5*d + 4*f - 35. Let j(s) = 1 + 0*s**3 + 3*s**2 - s**3 + 1. Is 10 a factor of j(d)?
False
Suppose 2*c - 4*o - 18 = 0, -6*c - 2*o + 9 = -5*c. Suppose -c*r = -5*r + 16, 69 = d + 2*r. Does 6 divide d?
False
Suppose 3*o = -q + 11, 5*q = o + 4*o + 135. Does 10 divide q?
False
Let q = -23 - -25. Suppose 0 = 3*c - 2*h - 60, q*c - c + h = 25. Suppose -3*u + 14 + c = 0. Is u a multiple of 5?
False
Let r = 1130 + -674. Does 57 divide r?
True
Is 19 a factor of 6/4*(1380 - (33 - 19))?
False
Suppose 4*d = -t + 4*t - 615, -3*d = -3*t + 618. Is 5 a factor of t?
False
Let g be (-184)/(4 + 0) + 3. Is (g - 1)*((-7 - -2) + 3) a multiple of 30?
False
Let b be (-1)/(-4) - 1611/(-36). Let q be (b/(-20))/((-2)/112). Is 8 a factor of 12/7*q/12?
False
Suppose 3*l = -7*t + 6*t - 6, -3*t - 2 = 5*l. Does 25 divide (3 - 69/(-6))*t?
False
Let g(r) = -16 - 4*r + 4*r - 2*r + 0. Let o be g(-12). Let z(x) = x**3 - 8*x**2 + 4. Does 4 divide z(o)?
True
Let s = 4 + -1. Suppose 2*f + 208 = s*k, 33 + 38 = k + f. Is 12 a factor of k?
False
Let f(m) = -m**3 - 4*m**2 + 35*m + 5. Is 8 a factor of f(-11)?
False
Suppose -3*v + 25 = -m - 4*m, 5*v - 5 = m. Let u(d) = -d**2 + 2*d. Let a be u(v). Suppose n + 70 = -2*x + 3*x, a = -5*x - n + 362. Is 12 a factor of x?
True
Suppose -14 = -4*c - 2. Suppose c*r - 457 = -115. Is 11 a factor of r?
False
Suppose -2*p - 3*p - 10 = 0. Is (14/4)/(p/(-20)) a multiple of 22?
False
Let z(g) = -4*g - 30. Let v be z(-9). Let n(f) = -f**2 + 8*f - 7. Let h be n(5). Let y = h + v. Is y a multiple of 11?
False
Let a(z) = -z**3 - 6*z**2 - 4*z + 6. Let v be a(-6). Suppose 0 - v = -6*m. Suppose -3*l = 5*h - 4*l - 224, -m*h + 5*l = -240. Is 22 a factor of h?
True
Let a be 2 + -2 - 5 - 105. Let v = 199 + a. Does 15 divide v?
False
Suppose -35 = -2*i - 4*j + 345, -2*i = 2*j - 374. Is 32 a factor of i?
False
Le