) = -3*r**2 - 5*r + 22. Let a be u(5). Let w = 92 + a. Is w a multiple of 7?
True
Let q(u) = -26*u - 26. Let a(c) = -25*c - 26. Let d(b) = 4*a(b) - 3*q(b). Is 23 a factor of d(-11)?
False
Let q = 1613 + -965. Does 24 divide q?
True
Let k be (10/(-4))/((-9)/18). Suppose -935 = k*y - 6155. Is 27 a factor of y/30*10/3?
False
Suppose -2*g + 0*d - 11 = 3*d, 4*g = -5*d - 17. Suppose m - g*m + 15 = t, 4*m + 5*t = 59. Is 4 a factor of m?
True
Suppose 3*a - x - 9 = 2*x, 2*a - x = 4. Let c = a + 28. Does 3 divide c?
False
Let y be 3/3 - (-2)/2. Let j be (-9)/y*154/(-33). Let m = -3 + j. Is m a multiple of 10?
False
Let w be 2/(-7) + (-4 - (-220)/35). Suppose -w*v + 90 + 186 = 0. Is v a multiple of 21?
False
Suppose 0 = 11*t - 8*t - 60. Suppose -4 = -n, 2*f = f + n + t. Does 2 divide f?
True
Does 57 divide 38804/36 + -8 + (-3)/(-27)?
False
Let v(h) = h**2 - 6*h + 3. Let d be v(5). Let n be d + 4 - (4 - -4). Let b(s) = -s + 7. Is 5 a factor of b(n)?
False
Let p(w) = w**3 - 5*w**2 + 7*w - 1. Let l be p(6). Suppose 2*u = 3*u - 5*s + 67, -2*u - 78 = 4*s. Let c = l + u. Is c a multiple of 15?
True
Let d(j) = -j**3 + 47*j**2 + 54*j - 24. Is 44 a factor of d(48)?
True
Suppose -16*g + c = -21*g + 228, -168 = -4*g + 4*c. Does 15 divide g?
True
Let g(k) = 2*k - k - 3*k**2 + 4*k**2. Let f be g(0). Suppose 0 = -f*h + 4*h - 172. Is 21 a factor of h?
False
Suppose -3 = -g, 3*x + 3*g - 17 = 7*x. Does 25 divide 2475/63 + x/7?
False
Suppose -4*f = -3*o - 76, -o + 0*o = 2*f - 38. Suppose 5*l - 49 = -f. Is 26 - 2*l/3 a multiple of 13?
False
Let g = -25 - -28. Is (-2)/g + (-1960)/(-42) a multiple of 11?
False
Let k = -514 + 564. Does 50 divide k?
True
Let l(a) be the third derivative of a**5/60 + a**4/24 + a**3/3 + 19*a**2. Is l(-7) a multiple of 11?
True
Let p(m) = 3*m + 0*m - 43*m**3 + 44*m**3 - 6 - m**2 + 3*m. Is 35 a factor of p(6)?
True
Suppose 0 = 99*t - 275206 + 64732. Is 31 a factor of t?
False
Let a(s) = s - 9. Let w be a(11). Does 5 divide 2/(-4) - (-19)/w?
False
Suppose 0 = -54*k + 47*k + 826. Let b = k + -71. Does 4 divide b?
False
Does 85 divide ((-1360)/(-50))/((-14)/(-525))?
True
Let g = 785 + -162. Is 25 a factor of g?
False
Suppose 4*n - 24 = 2*n. Suppose -3*v + 3*b + 12 + n = 0, 3*v + b - 8 = 0. Suppose -v*y = -m + 58, m + 5*y = 7 + 15. Does 14 divide m?
True
Let j be -1*369/(-2)*18/(-27). Is 10 a factor of (8/(-8))/(1/j)?
False
Suppose -d = -4*d + 6. Let j be d - 3 - 2 - 2. Does 3 divide -3 + j/((-10)/28)?
False
Suppose -10 = -5*r, 5*r + 12 = -3*f + 4*f. Does 2 divide f?
True
Suppose -5*b + 23 = -92. Let x = 26 - b. Does 3 divide x?
True
Let v = -29 + -12. Let g = -15 - v. Is 10 a factor of g?
False
Let q(m) = -m**3 - 20*m**2 + 33*m + 57. Is 14 a factor of q(-22)?
False
Does 47 divide (-12005)/(-15) - 2/(-3)?
False
Let r = 874 + -799. Does 3 divide r?
True
Does 6 divide (-260350)/(-1143) + ((-4)/(-18) - 0)?
True
Suppose 4*l - 7 = 1. Suppose -l*c + 383 = 3*c - 3*s, s - 75 = -c. Is 20 a factor of c?
False
Let h be ((-14)/(-42))/(2/30). Suppose 2*g - h = 3. Suppose r - 2*f = 5*r - g, 5*f = -2*r - 14. Is r even?
False
Suppose -5*c + y + 3*y = -612, 3*c - 364 = 4*y. Is c a multiple of 24?
False
Let u(j) = -29*j + 53. Is 6 a factor of u(-10)?
False
Suppose 140*l - 112*l - 19432 = 0. Is l a multiple of 23?
False
Let d be 3/7 + (-72)/168. Does 2 divide (3 - (-5 - d)) + 2?
True
Suppose 4*f - 12 + 24 = 0. Is 3 + f - (-13 + 5) a multiple of 4?
True
Let p(b) = -b**3 - 9*b**2 + 2*b - 7. Let j be p(-6). Let y be 2 + (2 - 3)*j. Does 20 divide 2*y/6 + -3?
True
Suppose -7*l = 5 - 68. Suppose -4*f + l*f - 50 = 0. Does 8 divide f?
False
Suppose 2*n + 0*n = -10. Let l = n - -7. Suppose -2*g - l*g = 3*r - 99, 31 = g + 2*r. Is 17 a factor of g?
False
Suppose -12*j + 8*j = -2*b - 1540, 5*j - 1931 = 4*b. Is 30 a factor of j?
False
Is 15 a factor of (2 + 4540/(-6))*1260/(-240)?
False
Let n(t) be the second derivative of -t**3/6 + t**2/2 + 7*t. Is n(-11) even?
True
Let v(q) = 80*q**2 + 2*q - 1. Let t be v(3). Suppose -56*m + 51*m + t = 0. Is 27 a factor of m?
False
Let q = 3 - 27. Let a = 20 + q. Let f(t) = t**3 + 6*t**2 + 4*t. Is 4 a factor of f(a)?
True
Suppose -g + 2*g = 4*z - 362, 4*z + 5*g = 350. Is 18 a factor of z?
True
Suppose 0 = -3*o + 1 + 5. Suppose p - 5*c + 64 = 2*p, -p + o*c = -50. Does 29 divide p?
False
Suppose -3*w + w = 294. Let g = -69 - w. Does 13 divide g?
True
Let r(f) = 5*f + 10. Let n be r(-2). Suppose -8*t - 4*p + 1178 = -3*t, t - 4*p - 226 = n. Is t a multiple of 29?
False
Is 7 a factor of (0 - -1)/((-13)/(-1820))?
True
Let x be -114*(2/6 + -1). Let u = -49 + x. Suppose 3*l - 16 = -4*f, 2*l - u = -7*f + 2*f. Is 2 a factor of f?
False
Is 8 a factor of (-4)/(-5)*(-3880)/(-16)?
False
Let u be ((-3)/6 + 4)*10. Let j = u + -19. Suppose j + 28 = 2*n. Is 4 a factor of n?
False
Is 11 a factor of (913/220 + (-6)/(-10))*116?
False
Let j(w) = 33*w**2 - 70*w - 4. Does 62 divide j(-4)?
False
Suppose 11*x - 494 = 661. Is x a multiple of 13?
False
Does 11 divide (25 - 21 - (-3)/(-2))*66?
True
Let z = -42 - -366. Does 9 divide z?
True
Is (-2)/8*(-717 + 1) a multiple of 5?
False
Suppose 4*s - 7*s = -3*q - 870, -5*q = 5*s - 1430. Is 11 a factor of s?
False
Suppose 2*u - 10 = 4*s - 0*u, -3*s - 21 = 3*u. Let n be (-22)/s + 1/(-2). Suppose 0 = 4*f - 5*j - 2 - n, 5*f - 30 = 2*j. Is 8 a factor of f?
True
Let l(k) = k**2 - 4*k - 10. Let n be l(6). Suppose 0 = n*a - 12 - 12. Is 3 a factor of a?
True
Suppose 0 = v - 10 - 6. Suppose -v*c + 17*c - 94 = 0. Does 12 divide c?
False
Let u be ((-12)/14)/(8/(-28)) + -601. Let y = 837 + u. Is y a multiple of 22?
False
Let c(u) = -u**3 + 4*u**2 - 3*u + 2303. Is c(0) a multiple of 49?
True
Suppose -4*k = -30*k + 13104. Is 56 a factor of k?
True
Let b(o) = 4*o**2 - 16*o + 19. Is b(22) a multiple of 29?
False
Let m be (0/1)/((-36)/(-12)). Suppose m = 3*b + 2 + 4. Let l = b + 11. Does 9 divide l?
True
Let c(f) = f**3 - 21*f**2 + 21*f - 18. Let p be c(20). Suppose -3*z + p*z = -5. Does 3 divide z?
False
Is 408 + (3/4 - (-2)/8) a multiple of 37?
False
Let u = -374 + 695. Is 4 a factor of u?
False
Suppose 5*z + 11 = -2*c - 10, 3*c + 5*z + 24 = 0. Does 16 divide 2 - c/(-3)*-117?
False
Let b(a) = a - 7. Let i be b(10). Suppose -16 = -i*p + 359. Suppose -p = -4*z + 107. Is z a multiple of 32?
False
Suppose k - 18 = -14. Suppose -6 = k*q - 22, 5*h = -q + 339. Is 13 a factor of h?
False
Let j(o) = o**2 - 2*o - 3. Let d be j(3). Suppose p - 4*p - 174 = d. Let z = p - -104. Does 13 divide z?
False
Let x(z) = z**2 + 10*z - 21. Let n be x(-12). Suppose -4*a + 93 = -3*o, 51 = 5*a - 3*a + n*o. Is a a multiple of 3?
True
Let k = -5 - -14. Suppose 2*m - 11 = k. Does 2 divide m?
True
Let g(i) = 19*i**3 - 2. Let n be g(2). Suppose 0 = -4*x + 7*x - n. Does 10 divide x?
True
Let f(h) = -2*h**3 + 12*h**2 - 6*h + 2. Let j be f(5). Let p = -31 + 21. Let a = j + p. Is a a multiple of 12?
True
Let u(z) = -2*z**3 - 2*z**2 - 4*z + 9. Is 13 a factor of u(-5)?
False
Let f be (3 - 5) + -5*(0 - 1). Suppose 16 - 88 = -f*w + 4*a, -5*w = -5*a - 120. Is w a multiple of 7?
False
Let i be 3 + ((-9)/4)/(3/(-8)). Let q be -19*(-5 - 1)*-1. Is 12 a factor of q/(-9) - 6/i?
True
Suppose -3*c + 0*c - 5*o = -1658, 0 = -2*c - 2*o + 1100. Does 21 divide c?
True
Let f(p) = 19*p + 390. Is 77 a factor of f(-13)?
False
Let r(h) = -4*h - 6. Let k be r(-5). Suppose 5*g - f = 15, -4*g + 0*f = 5*f + 17. Suppose -2 - k = -g*z. Is 4 a factor of z?
True
Let g(r) = -r**3 + 2*r**2 - 2*r - 3. Let o(v) = -v - 1. Let s(h) = 2*h**2. Let n be s(1). Let a be o(n). Does 16 divide g(a)?
True
Let g(q) = q**2 + 44*q - 87. Is 13 a factor of g(-56)?
True
Is 6*6/(-12) - -11 a multiple of 4?
True
Suppose -5*d + 9106 = 2*n, 9*d - 10*d - n + 1823 = 0. Is 14 a factor of d?
True
Let u be 1 + 0 + (3 - 125). Let x = u - -202. Is 14 a factor of x?
False
Let i = -197 + 725. Does 22 divide i?
True
Suppose a + 3 = -5*x, -2*x + 3*x = a - 15. Let k(s) = s**2 - 16*s + 26. Let h be k(a). Does 22 divide (h/4)/((-2)/8)?
True
Let l(h) = h**3 + 6*h**2 + h + 3. Let g be l(-6). Is 20 a factor of 1 + g - -2 - (-49 - -5)?
False
Let x be ((-6)/12)/((-2)/12). Let j(y) = -6 - 16*y + 1 - x + 0. Is j(-5) a multiple of 22?
False
Let n = -18 + 23. Suppose -9 - 6 = -n*h. Suppose 9*s - 324 = h*s. Is s a multiple of 9?
True
Let k(z) = 35*z - 2