et n(t) = -5*t - 5. Let g be -12 - -7 - -1*1. Let u = -3 + g. Does 15 divide n(u)?
True
Let b = -98 + 258. Suppose 2*k + 46 = b. Is k a multiple of 19?
True
Let h be (-1 - -3)*(-46)/(-4). Let m = -13 + h. Suppose 0*w = 5*w - m. Is w even?
True
Let y(l) = 3*l**3 + 60*l**2 - 11*l + 12. Is 3 a factor of y(-20)?
False
Let q = -199 - -319. Does 24 divide q?
True
Suppose -4*m + 4066 = 5*f, 3*f + 12*m - 10*m - 2438 = 0. Is f a multiple of 15?
True
Suppose -169 - 2 = -3*o. Let q = o - -10. Is q a multiple of 22?
False
Suppose 10*m = 8*m + 4, -3*r - m + 3062 = 0. Is r a multiple of 30?
True
Let v(u) = -5*u - 5. Let n be (-1 - -4)*(-6)/2. Let i = 6 + n. Does 7 divide v(i)?
False
Let g(p) be the third derivative of 0*p**3 - 6*p**2 + 1/12*p**5 + 0*p - 1/8*p**4 + 0. Is g(-3) a multiple of 12?
False
Suppose 66 - 406 = -5*u. Is 36 a factor of u?
False
Suppose 0 = -3*q + 12, 0 = 10*y - 9*y + q - 445. Does 21 divide y?
True
Suppose -2 = 2*c - 5*m - 6, 0 = 3*m. Suppose -c*i - 4*x = -50, 5*i + 4*x + 50 = 145. Does 3 divide i?
True
Let v(u) be the second derivative of -u**5/20 + 13*u**4/12 - 13*u**3/6 + 11*u**2/2 + 5*u. Let l be v(12). Is 4 a factor of l/(3 + -2) - -15?
False
Suppose 3*r = 5*r. Suppose -3*l + t = 411, -3*l + 5*t - t - 402 = r. Is 4/(-20) - l/15 a multiple of 9?
True
Let x(o) = -5*o**3 + 2*o**2 + 8*o - 18. Let i(w) = 11*w**3 - 3*w**2 - 17*w + 36. Let u(y) = -3*i(y) - 7*x(y). Is u(4) a multiple of 23?
True
Let v(j) = 6*j + 10. Let g = -35 - -41. Is v(g) a multiple of 23?
True
Suppose 5*o + 10*o - 3600 = 0. Does 12 divide o?
True
Suppose 0*y - 4*y = 0. Let m be ((-12)/(-18))/((-5)/((-435)/2)). Is 8 a factor of m - (0 - y/2)?
False
Let q = -220 - -345. Let b = q + -73. Is b a multiple of 4?
True
Suppose 0 = -4*t - 8, 4*t - 2 = 2*k - 14. Let m(p) = -4 - p + p**k + 3*p**2 + 2*p. Does 12 divide m(3)?
False
Suppose 5*h - 3*h = -3*i + 1128, 0 = 5*i - 20. Is h a multiple of 40?
False
Suppose -12*j - 175 = -17*j. Does 21 divide (30/j)/((-5)/(-875))?
False
Let i = -103 - -112. Suppose 66 = -7*u + i*u. Does 8 divide u?
False
Suppose 188 - 472 = -4*r + 5*t, 0 = 5*r - 5*t - 350. Is 54 a factor of r?
False
Let f(b) = 18*b - 8. Let u = -7 + 13. Does 19 divide f(u)?
False
Let l(q) = q**2 + 9*q - 10. Let m be l(-10). Suppose -10*i + 7*i = -6. Suppose -2*o + 0*c = -3*c - 136, o + i*c - 54 = m. Is 12 a factor of o?
False
Let l be (8/6)/(13/(-3666)). Does 6 divide l/(-24) + (-1)/(-3)?
False
Suppose -10*n = -8*n - 1536. Suppose 23*b = 17*b + n. Is 16 a factor of b?
True
Let r be ((-30)/24)/((-1)/40). Suppose 2*p + 0*p = -2*n + r, -2*p = 5*n - 56. Is p a multiple of 19?
False
Let o(a) = -a**3 + 13*a**2 + 5*a - 12. Is 15 a factor of o(6)?
True
Let y(d) = d**3 - 5*d**2 + 5. Let p be y(4). Let b = p - -15. Suppose -5*m + 54 = -3*q, -b*m + q = -q - 44. Is 6 a factor of m?
True
Let i(a) = -9*a - 14. Suppose 4*j = x - 27, -j + 3*x - 7 = 8. Is 8 a factor of i(j)?
True
Let t(w) be the third derivative of w**5/60 + 7*w**4/24 + w**3/6 - 2*w**2. Let q be t(-10). Let s = q - 13. Does 11 divide s?
False
Suppose 34 = 4*z - 34. Let k(f) = -3 + z*f - 7 + 0. Is 20 a factor of k(5)?
False
Let r be 87/(-15) - 2/10. Is (-36)/8*16/r a multiple of 12?
True
Let v = -813 - -1709. Does 64 divide v?
True
Let n(f) be the second derivative of -f**4/12 + 10*f**3/3 - 21*f**2 + 44*f. Does 3 divide n(17)?
True
Let j(y) = 16*y - 3. Let l be j(2). Let d = l + -24. Suppose g - 19 - d = 0. Is g a multiple of 6?
True
Suppose -3*z - 5*t = -5*z + 3, 4*t = 3*z - 8. Let k = z - 1. Suppose 42 = -0*u + k*u. Does 14 divide u?
True
Suppose -10138 = -6*b + 2282. Does 15 divide b?
True
Let c(u) = 22*u**2 + 45*u + 8. Is 10 a factor of c(-4)?
True
Let i(o) = -10*o. Let p(c) = c**3 + 11*c**2 + 12*c + 10. Let k be p(-10). Let s be i(k). Suppose -4*b + s = b. Is b a multiple of 8?
False
Let x(w) = w**3 - 4*w**2 - 3*w - 5. Let b be (-1)/(1/(-2)) + 3. Let i be x(b). Suppose 0 = 2*k - i*z - 44, -3*k + 4*k = -5*z + 37. Is 20 a factor of k?
False
Let g(w) = -w**2 + 19*w + 45. Let n be g(22). Let v(a) = -a**2 - 24*a - 54. Does 2 divide v(n)?
False
Let i(o) = o**3 - 5*o**2 + 4*o + 2. Let s be i(4). Suppose 5*x - 73 = -3*n, 0 = 3*n - 6*x + s*x - 28. Suppose y = -2 + n. Is 14 a factor of y?
True
Let u(w) = -21*w**3 - 2*w**2 - w + 2. Let t be u(-2). Let i(q) = q + 6. Let d be i(-4). Suppose 152 = 4*r + d*o, 4*o + o = -4*r + t. Does 12 divide r?
True
Suppose l = -2*l, 5*y = -l - 15. Let x be 3/(-2)*(-1 - y). Does 12 divide x/3 + (-25)/(-1)?
True
Let p be ((0 - 0)*(4 + -3))/1. Suppose j - 8 + p = 0. Is j a multiple of 2?
True
Suppose 33*d = -1217 + 32105. Is d a multiple of 18?
True
Suppose 6*h - 4 = -76. Is 9 a factor of (266/(-21) - -4)/(1/h)?
False
Let r = 171 - 81. Is (r/(-72))/(2/(-8)) a multiple of 2?
False
Let w be (-1212)/16 + 2/(-8). Let g = 174 + w. Suppose 2*c - g = c. Does 14 divide c?
True
Let g(o) = 2*o**3 - 5*o + 6. Let l(h) = h**3 - 3*h + 4. Let c(p) = -5*g(p) + 8*l(p). Does 8 divide c(-2)?
True
Let l(v) = -v + 14. Let c(y) = -y + 1. Let w(m) = 5*c(m) - l(m). Suppose -38 = -0*g + 2*g. Is 10 a factor of w(g)?
False
Suppose 7*v - 4 = 5*v. Suppose -v*k = -k - 3*d - 60, 0 = 4*k + d - 175. Is 6 a factor of k?
False
Suppose -16*a = -6043 - 9653. Is a a multiple of 71?
False
Suppose 2*n - 6 = -n. Suppose 0 + 6 = n*a + f, -a + 5*f = -25. Suppose 6*r = r + g + 71, 3*g = -a*r + 67. Does 14 divide r?
True
Suppose -2*d = -3*b - 189 + 15, 2*d + 4*b - 146 = 0. Is d a multiple of 6?
False
Suppose -5 - 7 = 3*a. Let d be 222/(a - -1) - 1. Let u = 3 - d. Is u a multiple of 26?
True
Let z = -1 - -6. Let j = -16 - -16. Suppose -4*l + 109 = z*a, -5*l - 3*a + 120 = -j*a. Is 7 a factor of l?
True
Suppose -33 = 2*j - 5*j. Let y = j - 11. Is 4 a factor of (-16)/(-4) - y - -5?
False
Suppose 5*a = n + 1060, 3*a + 10*n - 636 = 7*n. Does 4 divide a?
True
Let b(w) = -w - 16. Let l be b(9). Is 8 a factor of (-1 - 40/(-25))/((-1)/l)?
False
Let y = 39 - 51. Does 14 divide 15/(-5)*(0 - (-896)/y)?
True
Suppose 0 = 3*d - d + 2*s - 18, 52 = 4*d - 4*s. Suppose 10*t - 11*t = -d. Is 8 a factor of t?
False
Let w = 14 - 12. Suppose -4*d + w*n + 450 = 0, -28 = -d - 4*n + 98. Suppose -j + d = j. Is 21 a factor of j?
False
Let w(a) = a**3 + 7*a**2 + 5*a. Let y be w(-4). Suppose -y = -j + 8. Is j a multiple of 36?
True
Suppose 7*p - 5*p = -588. Let q = -53 - p. Suppose -6*v + 11 = -q. Is 14 a factor of v?
True
Let a(z) = 19*z**2 - 1. Let b be a(-1). Let u be 28016/64 + (-2)/(-8). Does 9 divide u/14 - b/63?
False
Let g(w) = -w**2 - 5*w + 7. Let i be g(-6). Let p be 24/(-18)*i*3. Does 3 divide 6/p*66/(-9)?
False
Let c(b) = -3*b**2 + 106. Let d be c(0). Let w = d + -43. Does 7 divide w?
True
Let h be -1*(0*4/16)/2. Let d(z) = 2*z + 24. Does 8 divide d(h)?
True
Let v be (-1 - 1) + (-3 - 0 - -178). Let q = v - 100. Does 11 divide q?
False
Let r(h) = h**3 - 8*h**2 + 2*h - 5. Let z be r(7). Let f be 1/6 - 395/(-6). Let a = f + z. Is a a multiple of 13?
True
Is 7 a factor of (-45*3)/(-3)*(3 + -2)?
False
Let c be 54*12/9 + 2. Suppose i + 2*k - c = 0, 3*k + 68 = -4*i + 354. Is i a multiple of 13?
False
Let m = -50 + 46. Does 15 divide 6 - (m + 8) - -22?
False
Suppose 3*m + 3*k + 6 = -2*m, 5*m + 5*k + 10 = 0. Suppose 3*o - 3*x - 447 = m, -2*x - 8 = -0*x. Does 29 divide o?
True
Let z(t) = 20*t + 2. Let r be z(2). Let d = 73 - r. Is d a multiple of 4?
False
Let k(t) = t + 1. Let u be k(1). Suppose 0 = -x + u*m + 9 + 1, 0 = x + 4*m - 4. Is x a multiple of 3?
False
Suppose -z - 8232 = -5*u, -u + 2*z + 2208 - 567 = 0. Does 61 divide u?
True
Suppose 1057*c = 1059*c - 784. Is c a multiple of 15?
False
Let c = 21 - -19. Suppose u + 31 = c. Is 4 a factor of u?
False
Let r(n) = -n**2 - 2*n + 14. Let a be r(-6). Let x be 0 + 3 - (-6 + 4). Does 7 divide ((-46)/4)/(x/a)?
False
Let v = -28 + 20. Is 5 a factor of -20*(0 + 4/v)?
True
Let d(v) = -v**3 - 2*v - 2. Suppose -w - 8*w = 36. Is 10 a factor of d(w)?
True
Does 58 divide (-2 - (-9)/(-3))*(-3726)/90?
False
Let l = 240 + -118. Suppose 0 = 2*q + l + 6. Does 13 divide -3*q/12 - 3?
True
Suppose 507 + 2151 = 6*m. Is m a multiple of 6?
False
Let d(u) = 13*u - 4. Suppose -7*s + 8 = -3*s. Does 3 divide d(s)?
False
Does 7 divide (-368)/(-32) - 3/2?
False
Let d be 2/3*1260/5. Suppose 8*q - d = 5*q. Is 5 a factor of q?
False
Let p = 1430 +