*r + 34. Let u be p(18). Is ((147/(-9))/(-7))/(u/(-396)) a multiple of 14?
True
Let k = 150 + -147. Suppose k*p = 1148 - 428. Is 16 a factor of p?
True
Let s = -187 - -198. Suppose 2343 = s*h + 121. Is h a multiple of 12?
False
Let d(t) = 26*t + 1693. Is 10 a factor of d(15)?
False
Suppose 13*u - 1524 = 9*u. Suppose 3*p + u = 3*k, -2*k + 3*p = 4*p - 254. Is k a multiple of 3?
False
Suppose -4*w - 5*o + 14420 = -o, w = o + 3607. Let d be ((-16)/(-24))/(2/w). Does 31 divide 1 + d/7 - (-2)/7?
False
Suppose -2*l = 5*v + 814, 16 = -4*v - 0*v. Let p = -278 - l. Is p a multiple of 55?
False
Let c(o) = -23*o**2 - o + 19. Let z(y) = -22*y**2 + 18. Let d(j) = 3*c(j) - 4*z(j). Let s be d(-5). Suppose -67 = 6*m - s. Is 8 a factor of m?
False
Suppose 3*a - 16 + 19 = 0. Let q(p) = 243*p**2 - 17*p - 1. Does 7 divide q(a)?
True
Let a be -3*(-4)/30 + (-162)/(-45). Suppose -4*x + a*x - 4*x = 0. Does 6 divide 92/6 + x + (-4)/(-6)?
False
Suppose -96*l = -101*l + 50. Suppose -s - l = 5. Let d(a) = a**3 + 15*a**2 - 5*a + 15. Does 9 divide d(s)?
True
Let r be 30/4*270900/375. Suppose -5*d + 4*k = -r, -5*d + 2*k + 759 = -4655. Does 14 divide d?
False
Suppose -c + 5*i + 494 = -0*c, 5*i - 958 = -2*c. Suppose 0 = 4*n - 8*n + c. Let r = 172 - n. Does 12 divide r?
False
Let z = 77 - 117. Let u = z + 55. Suppose -5*c + 6*c - u = 0. Is 15 a factor of c?
True
Suppose 63*f = 32*f - 66*f + 1183400. Is f a multiple of 25?
True
Let y be (-14)/(-4)*(-1)/(14/(-3608)). Suppose -y*w = -894*w - 2456. Is w a multiple of 35?
False
Let c be (-4 - 0)*((-438)/(-24) - 7). Let h = -51 - c. Is h/(-9) + (422/6 - 0) a multiple of 17?
False
Let n be (-33)/(-22)*(-4)/(-3). Suppose -2*t + 4*r = n*t - 624, -3*r = 9. Let y = -54 + t. Is y a multiple of 11?
True
Let g(q) = -q**3 - 13*q**2 + 15*q + 19. Suppose 2*h = -3 + 5, 4*l - 5*h + 61 = 0. Let z be g(l). Suppose 5*y - 43 = 2*y - t, z*t + 41 = y. Does 14 divide y?
False
Let y(u) = 3*u**2 - 24. Suppose -81 = -p - 2*p. Let t be 224/36 + (-6)/p. Is y(t) a multiple of 28?
True
Suppose -3*z + 0*u + u = -632, -842 = -4*z + u. Does 105 divide z?
True
Let b(k) = -5*k**2 - 6*k - 2. Let p(s) = 4*s**2 + 6*s + 3. Let l(z) = 2*b(z) + 3*p(z). Let m(q) be the first derivative of l(q). Does 4 divide m(3)?
False
Suppose -10*s - 11199 = 5231. Let j = s - -3109. Does 13 divide -1*(j/(-30) + 10/(-75))?
False
Suppose 5*y = -5*s + 25, s - 2*s + y = -1. Let d be 80 + (s + -5 - 3). Let f = -60 + d. Is 9 a factor of f?
False
Is (296/10)/(2/410*2) a multiple of 23?
False
Let d = 105 + -99. Is (d/10)/(((-49)/1085)/(-7)) a multiple of 5?
False
Let b = 178 + -250. Let g = 104 + b. Is 12 a factor of (g/(-12))/(-1*4/90)?
True
Suppose 1758 = 14*c - 13*c + 2*p, 0 = 2*p + 2. Is c a multiple of 4?
True
Let v(x) = 11*x**2 + 35*x - 215. Is 15 a factor of v(22)?
False
Suppose 3*f = -3*o + 5 + 7, 4*o - 4*f = 8. Let r be 119 - -4*o/(-12)*2. Suppose -8*c + r = c. Is c a multiple of 13?
True
Let o = 12 - 15. Let f be ((-10 + o)*1)/(3/(-3)). Suppose -24 = 12*h - f*h. Is h a multiple of 8?
True
Let b = 7382 + -839. Is b a multiple of 23?
False
Suppose -21*b + 15424 = -241700. Is b a multiple of 11?
False
Let y = -1450 + 3798. Is y a multiple of 48?
False
Let i = -1698 + 2408. Let z be (-3*(-2)/(-10))/((-2)/i). Suppose -70*v = -73*v + z. Is v a multiple of 16?
False
Let n = -18403 - -18439. Is n a multiple of 5?
False
Let l(o) = -4*o**2 + 40*o + 10. Let z be l(10). Let y(n) = 11*n**2 - 2*n + 48. Is 47 a factor of y(z)?
True
Suppose q + 10902 = -45*s + 46*s, 5*s + q - 54528 = 0. Does 17 divide s?
False
Let s be -6*66 - -1*(5 + -3). Let y = -383 - s. Is 8 a factor of y?
False
Let w(q) = -8*q**2 + 10*q + 44588. Is 157 a factor of w(0)?
True
Let w(k) = 63*k**2 - 31*k + 86. Let f = 444 - 441. Is w(f) a multiple of 40?
True
Let m(l) = -14*l**2 - l - 14. Let d be m(-8). Let n = 1431 + d. Is n/3 - (-2)/(-6) a multiple of 22?
True
Let w(q) = -q**3 - 12*q**2 + 23*q - 18. Does 72 divide w(-18)?
True
Does 5 divide 61/549 + (-30868)/(-18)?
True
Let l(c) be the third derivative of c**5/60 - 3*c**4/8 + c**3/3 - 31*c**2. Let z be l(9). Suppose -663 - 29 = -z*x. Is x a multiple of 36?
False
Let q = -2770 - -8881. Does 63 divide q?
True
Let c = -23702 + 34786. Does 38 divide c?
False
Let s(i) = -41*i + 103. Let m be s(-6). Suppose x = -2*u - m + 1508, -u - 5850 = -5*x. Is 13 a factor of x?
False
Suppose -6*k = -3430 + 268. Let o = k - 359. Does 12 divide o?
True
Suppose -813 - 795 = -3*h. Let f = h - 184. Suppose -t = -5*t + f. Does 11 divide t?
True
Suppose 4*p = -4*v + 34776, 19*p - 22*p + 4*v + 26131 = 0. Does 11 divide p?
True
Let v = 59 - 57. Suppose -370 = -4*y + 5*o, -3*y + v*o + 202 = -72. Does 20 divide y?
False
Suppose -2*s + d = -2*d - 7, -5*d - 11 = -3*s. Let r be (-2 - -23)/((-3)/s) + 3. Is 15 a factor of (1 + -5 + -1)*(-29 - r)?
True
Let n(w) = -37*w**2 + 13*w + 7. Let h(x) = 110*x**2 - 38*x - 19. Let a(l) = 6*h(l) + 17*n(l). Is a(4) a multiple of 43?
True
Let c(i) = -3*i**2 - 6*i + 17. Let g be c(-12). Let y = -517 - g. Let u = 2 - y. Is u a multiple of 22?
True
Let k be (26/6)/(8/(-144)). Is ((-12)/(-10))/(k/(-4420)) a multiple of 17?
True
Suppose 5*n = -4*g + 4750, -5*n + 1165 = 228*g - 227*g. Is 6 a factor of g?
False
Suppose 3*v - s = 2*v + 8, -3*s + 6 = 3*v. Let u be (0 - 4) + -1 + v. Suppose 9*n + 2*n - 880 = u. Is n a multiple of 20?
True
Let n = 2677 + 667. Does 7 divide n?
False
Suppose -j + 109 = 44. Suppose j = 2*d - 449. Suppose -s - d = -5*c + 408, -2*c = 2*s - 254. Does 20 divide c?
False
Suppose -8*j - 12983 = -11*j + h, 4*h = -j + 4332. Does 26 divide j?
False
Let f = 207 - 205. Suppose k = 4, f*c - 4*k + 52 = 3*c. Is 4 a factor of c?
True
Suppose -3*q + 3*y + 589 = -2*y, 985 = 5*q - 5*y. Suppose 0 = -q*g + 196*g + 10. Suppose -r + 50 = -g*d, 6*r - r - 5*d = 210. Is r a multiple of 7?
False
Suppose 4*f + 2*w - 22 = 0, 7*f - 3*w + 19 = 11*f. Suppose f*p + 184 - 4986 = 0. Is 65 a factor of p?
False
Suppose -24663 = -9*y + 29886. Does 29 divide y?
True
Suppose 2*c - 4*q - 428 = -164, 0 = c + 4*q - 120. Suppose -214*y = -215*y + c. Does 4 divide y?
True
Let c = -15 + 10. Let r(o) = -4*o**3 + 3*o**2 + 4*o + 6. Let l(f) = 5*f**3 - 2*f**2 - 4*f - 6. Let m(i) = -6*l(i) - 7*r(i). Is 8 a factor of m(c)?
False
Suppose -11*b = -b - 30. Suppose 5*x = -3*m - 1 + 5, b*m - 2*x = 11. Does 2 divide m?
False
Suppose 9*k - 1142 = 2908. Let o be (110/(-75)*-33)/(2/10). Let p = k - o. Does 59 divide p?
False
Suppose -4*c - 5*f - 5 = 0, -3*c + 4*f = 6*f - 5. Suppose -7*n + 9*n = 2*l - 202, 313 = 3*l - c*n. Is 5 a factor of l?
False
Is (0 + -11227)/(4 + (-18)/4) a multiple of 121?
False
Let j(t) = 2*t**3 + 22*t**2 - 187*t + 7. Does 6 divide j(7)?
True
Let x(c) = -45*c - 726. Let m be x(-17). Let d = -5 - -7. Suppose -4*a + m = -d*g + 7*g, -5*g + 3*a = -32. Is 2 a factor of g?
False
Suppose 0*c = -2*c + 44. Suppose 1215*t - 1217*t = -a - 2, -5*t = -5*a - 20. Is 5 a factor of -28*(c/(-8) + (-4)/t)?
False
Suppose -4*f - 4*w + 18069 + 23467 = 0, w = -4. Is f a multiple of 212?
True
Let s = -53 - -81. Let w(b) = -2*b**3. Let o be w(-1). Suppose 4*u = -o*j + s, -3*j - u = -14 - 48. Is j a multiple of 9?
False
Let o = 6122 + -3519. Is 19 a factor of o?
True
Does 7 divide (83787/21)/1 + ((-88)/(-28) - 3)?
True
Let z(a) = 30*a**2 + 178*a + 31. Does 24 divide z(-8)?
False
Let t = 29 - -365. Let o = -124 + t. Is o a multiple of 15?
True
Let a = 21032 + -10777. Is a a multiple of 35?
True
Suppose 4*l = 11*l - 1414. Let h = -9 + l. Is h a multiple of 12?
False
Let j(c) = c**2 - 3*c + 6. Let g(t) = -t**2 + 4*t - 7. Let k(r) = -5*g(r) - 4*j(r). Let q(h) = -h**3 + h**2 + 2*h + 13. Let v be q(0). Is 19 a factor of k(v)?
True
Suppose 0 = 3*q + o - 4*o - 30, 0 = q + o - 8. Let z(x) = q + 20 - 419*x + 417*x + 10. Is z(15) a multiple of 2?
False
Suppose -4*j + 40888 = 5*r, -r = -94*j + 96*j - 8180. Is 28 a factor of r?
True
Let w = 1482 + 6604. Does 28 divide w?
False
Let i be (-195)/(-2)*648/(-135). Let q = i + 609. Does 47 divide q?
True
Let g = 367 - 367. Suppose 0 = 4*s + 2*z - 0*z - 356, s + z - 90 = g. Is 44 a factor of s?
True
Let h(j) = 59*j + 216. Let l(a) = -2*a. Let q(p) = -h(p) + l(p). Is q(-19) a multiple of 34?
False
Let x = 23504 - 11937. Does 26 divide x?
False
Suppose 0 = -3*q + 28 - 52, 0 = 5*j + 3*q