 y. Let a = 53 + d. Is 12 a factor of a?
True
Let y(s) be the first derivative of s**4/4 + 3*s**3 + 9*s**2/2 - 7*s + 8. Is y(-7) a multiple of 28?
True
Suppose -2*a - 66 = -72. Suppose -a*d + 2*n + 95 = 0, -195 = -5*d + n - 5*n. Is 7 a factor of d?
True
Let f(i) = i - 2. Let l be f(4). Suppose 4*y - b = 15, y + 5*b + 18 = l*y. Suppose 0 = 3*g + y*q - 60, 3*g - 55 = -2*g + 4*q. Is 7 a factor of g?
False
Let s = -17 + 11. Does 11 divide (-1717)/(-51) + 4/s?
True
Suppose 0 = -5*q + 2*j - 5*j + 2300, j = -q + 460. Is q a multiple of 53?
False
Let l be 36 + 5/((-15)/(-12)). Let q = 3 + -19. Let c = l + q. Is c a multiple of 8?
True
Suppose 5*r + 361 = v, -6*v + 2*r = -v - 1851. Suppose 4*c - 61 = v. Suppose 0 = -4*s + c - 20. Is 8 a factor of s?
False
Let a(m) = 2*m**2 - 62*m - 591. Is 47 a factor of a(56)?
True
Let x = 119 + 4. Is x a multiple of 10?
False
Suppose 3*n = 5*j + 37, 2*n - 3*j - 19 = n. Suppose -n*x - 17 = -s, -2*x - 16 = -s - s. Is 4 a factor of s?
False
Let i be -2*(-7 + 10/2). Does 10 divide 195/3 - (i + -7)?
False
Suppose -120 = -0*c - 6*c. Let g be c/3 - 1/(-3). Let r = 31 + g. Does 19 divide r?
True
Suppose -5*q + 252 = 2*c, 5*q = 2*c - 26 - 226. Does 9 divide c?
True
Suppose 30*d = -15*d + 65340. Is 66 a factor of d?
True
Let c = 67 - 36. Suppose -k + c = -46. Does 7 divide k?
True
Suppose 0 = 3*f - 2*v - 17 - 61, -4*f + v + 99 = 0. Suppose 0*j + 3*c = -3*j + 48, -j + c = -f. Does 20 divide j?
True
Let g = 39 + 9. Let m(d) = d**3 + 5*d**2 + 2*d - 6. Let a be m(-4). Suppose 0 = -a*p - 0*p + g. Is 21 a factor of p?
False
Suppose -120 - 472 = -4*y + 4*z, z = -y + 140. Does 2 divide y?
True
Suppose -2*r = 5*l - l - 124, 4*r = 0. Let p = l + -29. Suppose -2*t - p*t + 334 = 2*i, 3*t + 5*i = 240. Does 19 divide t?
False
Let i = 6 + 8. Suppose -4*o + i = 2. Is o a multiple of 3?
True
Suppose -5*s + 6*s = 32. Suppose -11*o = -15*o + s. Let g = 38 + o. Is 10 a factor of g?
False
Let i(h) = 1 + 0*h**2 - h**2 + 1 + 2*h. Let b be i(2). Suppose -171 = -b*w - w. Is w a multiple of 19?
True
Let r(s) be the first derivative of 3*s**4/4 + 2*s**3/3 - 2*s**2 + 9. Is 2 a factor of r(2)?
True
Let j be ((-4)/(-6))/((-6)/(-477)). Suppose -4*c + j = -v + 4*v, 5*v + 2*c = 79. Does 13 divide v?
False
Suppose x = -3*i - 433 + 1177, -4*x + 3002 = -i. Does 44 divide x?
False
Suppose -4*s = -12*s - 1368. Let g = -63 - s. Is g a multiple of 12?
True
Let k(l) = -7*l - 3*l + 6 + 4*l**2 - l**2. Is k(8) a multiple of 21?
False
Let d be (-2)/4*-6 + 1. Suppose -n + d*n - 168 = 3*a, -5*n - 2*a = -301. Is 21 a factor of n?
False
Suppose o - 4*o + 150 = 0. Let u = o + -28. Suppose 2*v + u = 3*v. Does 11 divide v?
True
Let o = 2697 + -1889. Does 8 divide o?
True
Let j be 0/(-9 - -3) - 10/2. Let f = 18 + j. Is f a multiple of 13?
True
Let r = 1649 - 1049. Suppose 7*l - 17*l + r = 0. Is l a multiple of 10?
True
Let d(f) be the second derivative of 5*f**4/12 - 3*f**2 - 351*f. Let w be -5 + (-1 + 2)/1. Does 12 divide d(w)?
False
Suppose 5*n - 4 = -l + 4, 0 = -3*n - 5*l - 4. Suppose 25 = b - z, -n*b - 3*z - 31 + 91 = 0. Let j = 32 - b. Is j a multiple of 5?
True
Let a(u) = -u + 2. Let b be a(-1). Suppose -3*k - b*f = -363, -2*f - 355 = -3*k - 7*f. Suppose 24 = 2*t - 2*s - 38, 0 = 4*t - 3*s - k. Does 7 divide t?
False
Let w = 88 - 86. Suppose -3*z = w*k - 181 + 26, 5*k - z = 345. Is k a multiple of 51?
False
Let x = -50 + 37. Does 12 divide (x + 7)*(-8)/3?
False
Let v(q) = 23 - 6*q + 11 + 0 - 1. Does 27 divide v(-8)?
True
Suppose 4*p - 829 - 475 = 0. Does 57 divide p?
False
Let f = 40 + -56. Let u = -8 - f. Is u a multiple of 4?
True
Suppose 3*n + 38 = -97. Let i be (54/n)/(3/(-10)). Suppose -r - r = j - 31, i*r - 64 = -4*j. Is r a multiple of 15?
True
Is 20 a factor of -3*(7/(-21))/(-1)*-375?
False
Suppose -4*c - 9*p + 191 = -4*p, -5*p = 2*c - 83. Let o = c - -34. Does 18 divide o?
False
Let v(l) be the third derivative of -l**5/60 - l**4/12 + 36*l**3 - 14*l**2. Let i be v(0). Suppose -6*z + 12 = -i. Is 8 a factor of z?
False
Let b(j) = -j + 5. Let p be b(0). Suppose 0*d - d + 190 = -4*l, 5*l = -p*d + 1075. Is 30 a factor of d?
True
Does 23 divide 14/(-119) - 111441/(-51)?
True
Let c = 1174 + -665. Does 8 divide c?
False
Let m(q) = -q**2 + q - 1. Let o(b) = 7*b**2 - 17*b + 19. Let u(p) = -6*m(p) - o(p). Let v be u(9). Let s = 44 - v. Is 22 a factor of s?
False
Let f = -2150 + 3553. Is f a multiple of 61?
True
Suppose -3*a = -2*a + 3*h - 3291, 6598 = 2*a + 2*h. Is 14 a factor of a?
False
Suppose -4*g + l = -58, 5*g - 3*l - 64 = 5. Suppose -3*n + g = 2*x - 8, -2*n - 6 = 0. Is x a multiple of 8?
True
Suppose -36 = -3*t + 5*f, 3*t + f = 10 + 8. Suppose 5*z + t = 32. Does 12 divide (3 - z) + 1*27?
False
Suppose 35*u - 50163 = -15583. Is u a multiple of 26?
True
Let f(i) = i - 7*i - 7*i - 20*i**2 - 33 + i**3 - 3*i. Does 5 divide f(21)?
False
Suppose -5*i = -i. Suppose -2*f = -7 - 3, -b + f - 25 = i. Does 6 divide (-7 - -5)*b/2?
False
Suppose -5*a = -11*i + 16*i - 16705, 2*i = 5*a + 6710. Is 8 a factor of i?
False
Let h = 64 - 37. Suppose -3*z + 4*i + 30 = -0*i, -h = -4*z + i. Suppose 3*r + r = 5*j - 238, 2*r = z. Does 12 divide j?
False
Suppose 2*b + 6 - 4 = 2*z, b + 1 = 4*z. Suppose v + 12*v - 1690 = z. Is 7 a factor of v?
False
Suppose 5*l - 1 = 5*o + 4, -4*o - 4 = 3*l. Suppose 6*c - 12*c + 288 = l. Is 6 a factor of c?
True
Suppose 14 = 2*c + 4*d, -2*c + 0*d + d - 1 = 0. Let h = 12 - c. Is 11 a factor of h?
True
Let j = 137 + -75. Is 31 a factor of j?
True
Let s = 721 - 105. Is s a multiple of 44?
True
Let k(u) = -u**2 + 10*u - 4. Let n be (-32)/(-14) + (-16)/56. Suppose 2*j - 29 = -n*j + q, 3*q + 38 = 5*j. Does 6 divide k(j)?
False
Let n be 2/9 + (-80)/(-45). Suppose -n*i + 6 = i. Suppose i*t - 14 = 2. Does 8 divide t?
True
Let q = -194 - -190. Let x(f) be the first derivative of f**4/4 + 5*f**3/3 + f**2/2 + 4*f - 1. Does 7 divide x(q)?
False
Let t be 1*(-2 - -3)*1. Let x be (-4)/((1/t)/(-1)). Suppose 2*c + 2*u - 10 = 0, 0 = -x*c - 5*u + 4 + 17. Is c a multiple of 4?
True
Let m = 49 + -44. Suppose f = -0*f + m*u + 128, -2*u - 602 = -4*f. Is 36 a factor of f?
False
Is 6 a factor of -1 - (-4 + (-1515 - 6)) - 0?
True
Let a be 2/(-2) + 18 - -1. Suppose -5*c + a = 3. Suppose c*t = 5*w - 117, -w - 4*t = -12 - 16. Is 12 a factor of w?
True
Suppose -4*m + 1458 = 2*m. Let n = -126 + m. Is n a multiple of 39?
True
Is 22 a factor of (364/(-42))/(-26) + 17282/3?
False
Let r(w) = w**2 - w - 8. Let h be r(4). Is 19 a factor of ((-835)/60*3)/((-1)/h)?
False
Let t = -23 + 22. Is 17 a factor of (-16 - (-1)/t)*-3?
True
Let q be (0 - (-6)/(-27)) + (-1734)/(-27). Suppose 0 = -6*w + 4*w + q. Does 32 divide w?
True
Let w(p) be the first derivative of p**3 + 6*p**2 + 9*p + 35. Does 21 divide w(-8)?
True
Let s be 2/3 + (-344)/(-24). Suppose 15 = 3*z - 5*j, -2*z + s = 3*z - 5*j. Suppose -l + z*l + 35 = 0. Is 9 a factor of l?
False
Suppose -14*g + 122 + 186 = 0. Let m = g - -20. Is m even?
True
Let g(o) = o**3 + 7*o**2 - 10*o + 6. Suppose f = 6*a - a + 36, 2*a = f - 12. Does 6 divide g(a)?
False
Suppose 15*y = 1930 + 7835. Does 11 divide y?
False
Let y(u) be the second derivative of u**5/20 - 5*u**4/12 + u**3 + 5*u**2/2 + 27*u. Does 13 divide y(4)?
True
Is 23 a factor of (2415/63)/(1/(19 + -4))?
True
Let q = -42 + 42. Suppose -7*i + 373 + 5 = q. Does 14 divide i?
False
Let m(h) = 35*h - 14. Let k be m(-11). Let g = k - -157. Is 20 a factor of (-44)/g + (-1756)/(-22)?
True
Let h be 11 + -14 - 0/1. Is (-1)/h + (-92)/(-3) a multiple of 14?
False
Suppose 28*i - 6430 + 2510 = 0. Is i a multiple of 4?
True
Is 3 + -5*(-3)/(-3)*-116 a multiple of 15?
False
Suppose -19*p + 11*p = -160. Is p a multiple of 5?
True
Suppose 55 = -2*g + 91. Suppose 20*r - 18 = g*r. Is 3 a factor of r?
True
Let c be (-2)/(-1)*(-5)/2. Let y be (2/(-6))/(2*(-3)/882). Let v = c + y. Is 11 a factor of v?
True
Let u(b) = -b + 8. Let y(v) = 1. Let t(z) = u(z) - 4*y(z). Let a be t(4). Suppose a = -4*x + 2*x + 24. Does 11 divide x?
False
Let j(n) be the second derivative of -n + 1/6*n**3 + 0 + 1/2*n**2 + 17/12*n**4. Does 9 divide j(-1)?
False
Let j(t) = t**3 - 3*t**2 + t + 5. Let m be j(4). Suppose 4*v - 2*i + 0 - 10 = 0, 5*i = 2*v + 15. Suppose -o = -3*b - 13, v*o + 3*b = -2*b + m. Is o even?
False
Suppose 5*u - 2*a = 7*u - 62, -5*u = 