 of r(21)?
False
Let a be (5 - -1)*1/3. Let u(m) = 0*m**a + 2 + 2 + 6*m**2 + 12*m - 7*m**2. Is 3 a factor of u(12)?
False
Suppose -3*r = -i + 29, 0 = 3*i - 2*r - 41 - 25. Is i a multiple of 3?
False
Suppose 0 = 5*a + 2*a - 14. Let b(u) = 9*u**3 - u**2 - 9*u + 13. Does 21 divide b(a)?
True
Let i(t) = t - 14. Let w be i(-11). Let y be (w/10)/((-2)/4). Suppose y*n - 3 = g - 14, n = 3*g - 19. Does 6 divide g?
True
Suppose -5*g - 206 = 2*p, 2*g + 3*g + 402 = -4*p. Let m = -43 - p. Does 8 divide m?
False
Suppose l + 433 + 197 = 5*p, 3*p + 5*l - 406 = 0. Let m = p - 106. Is m a multiple of 7?
True
Let b = 3 - 3. Suppose b = j - 5*j + 112. Does 8 divide j?
False
Let o = 63 + -113. Let y be 57/133 - 501/(-7). Let k = y + o. Is k a multiple of 5?
False
Suppose -9 - 11 = 4*h. Let o(m) = -9*m - 4. Let u(q) = -17*q - 8. Let b(d) = 5*o(d) - 2*u(d). Is 12 a factor of b(h)?
False
Let r(t) = 9*t**3 + 101 - 4*t - 47 + t - 49 - t**2. Is 31 a factor of r(2)?
False
Let v(q) = 0 + 2 - 9 - 6*q - q**2. Let h be v(-6). Let l = h + 10. Is 2 a factor of l?
False
Let a(j) = -j**3 + 9*j**2 - 6*j - 9. Suppose -2*q = -3*n - 19, 0*n = 4*q - 3*n - 41. Suppose 3*h - 13 - q = 0. Is a(h) a multiple of 2?
False
Suppose -3*f - 264 = -3*k + 1086, -f = -3*k + 1346. Does 28 divide k?
True
Let q(t) = t**3 - 4*t**2 - 2*t + 5. Let b be q(4). Is 6 a factor of 79*1 + 5/(-15)*b?
False
Let l(w) = -w - 4. Let d(f) = 2*f + 4. Let t be d(-4). Let u be l(t). Suppose u = 3*g - 0 - 21. Is 7 a factor of g?
True
Let p be ((-8)/6)/(18/(-4887)). Suppose 0 = 2*z - 5*c - 503, -410 = -3*z + 4*c + p. Suppose 16 = 5*r + 6, 5*m = -2*r + z. Is m a multiple of 13?
True
Suppose g - 3*g + 5*h = -15, 4*g - 5*h = 25. Suppose -686 = -2*f + 2*s - 16, 0 = -2*f + g*s + 655. Suppose 0 = -b - 4*b + f. Is 23 a factor of b?
False
Let o = -108 - -147. Does 9 divide o?
False
Suppose -2*k + 3*u + 1941 = -0*k, 5*u + 988 = k. Is 29 a factor of k?
False
Suppose 0 = -5*b + 12*b - 301. Let m = b + 134. Is 16 a factor of m?
False
Let l = -21 + 32. Suppose l = -d + 4*u, u - 2*u - 10 = 4*d. Is 4 a factor of 4/3*d + 20?
True
Suppose 4*j - 1039 - 2315 = -2*a, 3*a = -5*j + 4195. Is j a multiple of 44?
True
Let l(a) = a + 9. Let g be l(-5). Suppose 7*c = g*c. Suppose 4*t + 0*t - 50 = -2*h, 2*t + 2 = c. Is 5 a factor of h?
False
Let o(n) be the second derivative of n**4/12 - 7*n**3/2 - 9*n**2/2 + 6*n. Is o(22) a multiple of 12?
False
Suppose -5*f + f - 4 = 0. Let s be 1*(0/f - -11). Suppose g - s = 23. Is 17 a factor of g?
True
Let i be ((-1)/(-3))/(1/18). Let q = i - 10. Let z = q + 8. Does 2 divide z?
True
Suppose -10*s + 57 = -9*s. Suppose -6*k + 99 = -s. Does 13 divide k?
True
Suppose -6745 = -7491*x + 7486*x. Does 25 divide x?
False
Let t(y) = y**3 - 4*y**2 + y - 6. Let h be t(4). Let n(q) be the first derivative of 5*q**3/3 - q - 2. Does 17 divide n(h)?
False
Let h(n) be the third derivative of -n**6/80 - n**5/24 - n**4/24 - 3*n**2. Let u(w) be the second derivative of h(w). Does 13 divide u(-3)?
False
Suppose -12*y = -7*y - 4815. Suppose -63 = 3*v - y. Suppose 2*t + v = 7*t. Is t a multiple of 11?
False
Suppose -164 = -3*a + 4*j + 6, 0 = -3*a - 2*j + 176. Is 42 a factor of a?
False
Let a(p) = 9*p - 2. Let c be a(1). Let g = 18 + c. Is g a multiple of 14?
False
Let o = 3024 + -1197. Is o a multiple of 15?
False
Suppose -5*t - 251 = -a, 2*t + 1022 = a + 3*a. Is a a multiple of 14?
False
Let x(g) = g**2 - 1 + 0 + 1 - g. Let p be x(1). Suppose u - 4*u + 18 = p. Does 2 divide u?
True
Let v(d) = -d - 5. Let o(g) = 6*g + 25. Let z(c) = -2*o(c) - 11*v(c). Let w(p) = -p + 1. Let b(t) = 4*w(t) - z(t). Is 10 a factor of b(-6)?
False
Let w be 2/4 - (-2870)/28. Let o = -57 + w. Does 46 divide o?
True
Suppose x - 4*i + 14 + 12 = 0, -2*x - 5*i = 0. Does 6 divide (1/(x/24))/(7/(-105))?
True
Let h(y) = 2*y**2 - 34*y + 6. Is 13 a factor of h(-12)?
True
Let r(x) = 181*x**3 - 1. Let y be r(1). Suppose -4*w + y = w. Suppose 16 = 4*a - w. Is 13 a factor of a?
True
Suppose -2*f + 2 = 0, 4*q + 0*q - 5*f - 6099 = 0. Is 54 a factor of q?
False
Suppose y - 5*g + 6 = 0, -y + 2*y - g + 2 = 0. Let d(j) = -2 - 1 + 3 - 13*j + 1. Is 14 a factor of d(y)?
True
Let z(n) = -n**3 - 5*n**2 + 14*n + 13. Let u be z(-6). Let j(x) = 6*x**2 - x - 1. Let m be j(2). Let q = m - u. Is 14 a factor of q?
True
Suppose 4*b - d - 6929 = 0, d - 3*d + 1730 = b. Does 92 divide b?
False
Suppose 5*u - 1 = z, 2*z + 4*u + 8 = 5*z. Suppose 146 + 46 = z*j. Is 19 a factor of j?
False
Suppose 6 + 8 = -2*y. Let m be y/(9/6 + -1). Let f = m - -30. Is f a multiple of 16?
True
Suppose -2*i - 8 = -6*i. Is i/6 - 203/(-3) a multiple of 9?
False
Let z(f) be the second derivative of -f**7/2520 + 19*f**6/720 - f**5/40 - f**4/4 + 9*f. Let p(o) be the third derivative of z(o). Does 17 divide p(14)?
False
Suppose 4*t + r - 160 = 0, -4*r = -0*r. Let j be (0 - -1)/((-5)/t). Let p = j + 39. Is 10 a factor of p?
False
Suppose 3*j - 873 + 21 = 0. Suppose v + 2*r - j = 0, 0*r = -2*v - 2*r + 564. Does 40 divide v?
True
Suppose 6*u - 3*u = 0. Suppose -2*j + 19 + 13 = 4*b, 0 = -2*j + b + 7. Is (j - u)/(9/30) a multiple of 9?
False
Suppose 0 = 5*i - 3*u - 4649, -2*i - 311 + 2179 = -4*u. Is 32 a factor of i?
True
Suppose 0 = -y - 2*z + 5*z + 1061, 3*y - 2*z - 3183 = 0. Is y a multiple of 5?
False
Let d(j) be the third derivative of j**7/2520 - j**6/80 + 11*j**5/60 + 5*j**4/24 + 10*j**2. Let y(z) be the second derivative of d(z). Does 8 divide y(7)?
True
Suppose -4*n = 2*g - 580, -5*n = 2*g - 188 - 536. Does 8 divide n?
True
Let c(h) = -9*h**3 + 40*h**2 + 35*h - 37. Let q(i) = -5*i**3 + 20*i**2 + 18*i - 19. Let x(r) = 6*c(r) - 11*q(r). Does 14 divide x(-19)?
False
Let v = -89 - -126. Let o = v + -19. Is o a multiple of 6?
True
Let z = 582 + 118. Is 50 a factor of z?
True
Suppose -5*j + 2*b - b - 7 = 0, -5*j - 5*b - 25 = 0. Let x be 10/30 + j/6. Suppose -y - 3 = x, -4*a - 3*y = -22 - 9. Is a a multiple of 5?
True
Let v be 86 + (4/10)/(4/(-40)). Suppose -6*s + v + 260 = 0. Is s a multiple of 5?
False
Let w = 723 + -398. Is w a multiple of 13?
True
Let n(s) be the second derivative of s**6/72 + s**4/24 + s**3/6 + 2*s. Let w(o) be the second derivative of n(o). Is 6 a factor of w(-1)?
True
Suppose -5*r - 71 = -2*n + 482, 1100 = 4*n - 4*r. Suppose a - 47 + 181 = 2*u, -5*a - n = -4*u. Is 12 a factor of u?
False
Let b(z) = -z - 2. Let t be b(-5). Suppose -7 = -t*d - 1. Let w = 2 + d. Is w a multiple of 3?
False
Let g(i) = i**2 - 21*i - 62. Is 13 a factor of g(30)?
True
Suppose -p - 4*f + 261 = 0, -5*f - 492 = -5*p + 888. Is p a multiple of 21?
True
Is (5/(50/(-24)))/((-107)/68480) a multiple of 16?
True
Let x(u) = 81*u**2 - 2*u - 1. Let m be x(-1). Suppose -m + 28 = -r. Let o = r - 15. Does 13 divide o?
True
Let z(l) = 7*l**2 - 5*l - 1. Is z(-7) a multiple of 13?
True
Let f be (6/(-15))/((-4)/100). Suppose 40 = -9*t + f*t. Does 13 divide t?
False
Let q be (-1 - 5/(5/2)) + 6. Let p(x) = 2*x**3 - x + 9. Is p(q) a multiple of 6?
True
Let i(l) = l**2 + 9*l + 12. Let s be i(-8). Suppose 529 = -s*a - a - 4*k, -k = 1. Let u = -57 - a. Is u a multiple of 16?
True
Suppose 3*o = -0*o - 39. Let v(g) = 35*g + 17. Let l be v(o). Does 12 divide l/(-15) - 1/5?
False
Let s(z) = 1471*z**2 - 38*z - 37. Is s(-1) a multiple of 46?
True
Let u(f) = f**2 - 2*f + 343. Let b be u(0). Is (-4)/(-12)*b - 1/3 a multiple of 9?
False
Suppose 0 = k - 1, 5*k - 3 - 8 = -2*m. Suppose -m*j + 4*j - 43 = 0. Suppose -2*d - 3*g + j = 0, -5*g - 33 = -2*d - 14. Does 5 divide d?
False
Let t(g) = -9*g**2 - 19*g + 9. Let q be t(-7). Let b = q + 449. Does 30 divide b?
True
Let p = 36 - -180. Is 11 a factor of p?
False
Let k(b) be the second derivative of -b**5/20 + b**4/3 + b**3/3 + 3*b**2/2 - 8*b. Let a be k(5). Does 16 divide (-651)/a - 4/16?
False
Suppose f + 4*g - 5 = 2, 5*g = 5*f - 35. Does 4 divide 274/f - (-3)/(-21)?
False
Let a = -1061 - -1216. Is 5 a factor of a?
True
Suppose 1362 = 5*h - 4*f, -4*f + 0*f - 282 = -h. Is h a multiple of 27?
True
Let i = -8 + 13. Let b(z) = 98*z**2 + 9*z + 9. Let f(j) = -49*j**2 - 5*j - 5. Let s(l) = i*f(l) + 3*b(l). Is 14 a factor of s(-1)?
False
Suppose 0 = -s + 4*s. Suppose -b = -2*b - 4, s = 4*i + b - 636. Suppose 2*r = -3*r + i. Does 9 divide r?
False
Let t = -12 + 19. Let f(z) = -z**3 + 9*z**2 + 4*z + 4. Is f(t) a mu