 = f**2 + 11*f - 121. Let o be r(10). Let n = o - p. Does 9 divide n?
False
Suppose -56 = -4*o + 5*j, 4*j - 28 = o - 3*o. Let h(s) = -s**3 + 13*s**2 + 14*s + 8. Let k be h(o). Suppose -6*a - 148 = -k*a. Is 29 a factor of a?
False
Suppose -842 = 6*a - 4982. Is a a multiple of 15?
True
Let x be 442/8 + (-1 - (-3)/4). Let v = x - 20. Does 11 divide v?
False
Let k = 829 + -404. Does 7 divide k?
False
Suppose 6*b + 360 = 11*b. Is b a multiple of 22?
False
Let z(j) be the third derivative of -j**6/120 + j**5/20 + j**4/12 - j**3/2 + 2*j**2. Let m be z(4). Let c = 32 + m. Is c a multiple of 13?
False
Let f(s) = -s**2 + s. Let i(b) = 3*b**2 + 18*b + 39. Let n(j) = 4*f(j) + i(j). Does 22 divide n(18)?
False
Suppose 0 = -6*u + 7*u + 3*y - 110, -110 = -u - 2*y. Is 11 a factor of u?
True
Suppose 2*v = 4 + 26. Let b = -13 + v. Suppose -4*c + b*c + 4 = 2*k, 3*k = c + 22. Is k even?
True
Let a be -3 + (130 - -2 - 4). Let m = -76 + a. Does 7 divide m?
True
Let j = 17 - 22. Let n(v) = -33*v + 19. Does 46 divide n(j)?
True
Let s(n) = -2*n**3 + 98*n**2 - 131*n - 36. Is 37 a factor of s(47)?
False
Let j(b) = 2*b**2 + 4*b + 9. Is 3 a factor of j(-2)?
True
Suppose -420 = -207*n + 205*n. Is n a multiple of 35?
True
Let q = 3355 - 488. Is 106 a factor of q?
False
Let l(q) = 4*q - 17. Let m be l(-9). Let g = -16 - m. Is 5 a factor of g?
False
Suppose 3*r - 777 = -3*y, r + 6*y = 4*y + 261. Suppose -5*m - 173 = -q, -4*q + m - r = -930. Does 8 divide q?
True
Let i(r) = 61*r**2 - r. Let q be i(-1). Let g be 0 - (q - (-1)/(-1)). Let y = g - -85. Is y a multiple of 8?
True
Suppose 5*o - 12 = -b, -4*b - 27 = 4*o + o. Let h(d) = -5*d - 29. Does 12 divide h(b)?
True
Suppose 4*o = -13 + 21. Let x(f) = 3 - 3*f + 2*f**o - f**2 + 0*f**2 + 0*f**2. Is x(-8) a multiple of 20?
False
Let s(x) = -x**3 - 6*x**2 - 7. Let n be s(-6). Let p(v) be the third derivative of -v**4/24 + 3*v**3/2 + 71*v**2. Is p(n) a multiple of 8?
True
Let s(j) = j + 2. Let k be s(0). Suppose -5*n + 4 + k = -d, n = 4*d - 14. Suppose n*r - 25 = r. Does 12 divide r?
False
Let l(z) = 59*z - 4. Let a(i) = -119*i + 9. Let r(f) = 6*a(f) + 13*l(f). Is 24 a factor of r(1)?
False
Let q = -64 - -155. Is 24 a factor of q?
False
Suppose -5*y = -0*y + 100. Let s = -97 + 131. Let q = y + s. Does 10 divide q?
False
Let u(x) = x**3 + 6*x**2 - 4*x - 20. Let t be u(-6). Does 2 divide ((-8)/t - -4) + 0?
True
Suppose 7*t + 8*t - 9300 = 0. Does 10 divide t?
True
Let b(z) = -3*z**3 + 8*z**2 + 20*z + 18. Is b(-6) a multiple of 36?
False
Let p(v) = 137*v - 4. Let s(q) = 149*q - 17. Let m(i) = -37*i + 4. Let z(b) = 26*m(b) + 6*s(b). Let g(x) = 2*p(x) + 5*z(x). Is 17 a factor of g(-1)?
True
Let c = -216 - -354. Is 9 a factor of c?
False
Let a(l) = 152*l - 76. Does 54 divide a(14)?
True
Let c = -391 - -576. Does 6 divide c?
False
Let j(c) = -11*c**3 + 3*c**2 - c + 2. Let r(y) = 21*y**3 - 5*y**2 + y - 3. Let h(m) = 5*j(m) + 3*r(m). Let g be h(1). Let i = -1 + g. Is i a multiple of 3?
True
Suppose -2*s + 4*s - 50 = 0. Let k be -3 + 6 - 0/(-2). Suppose s + 65 = k*r. Is r a multiple of 30?
True
Let x(d) = -677*d + 4. Does 11 divide x(-1)?
False
Suppose 0 = 3*x + 2*a + 223, 3*a - 133 - 20 = 2*x. Is (3 + 17)*x/(-20) a multiple of 25?
True
Suppose 4*d - 7809 = b, 4*d = b - 3*b + 7818. Does 16 divide ((-4)/(-14))/(9/d)?
False
Let q = 24 - 21. Let r be (-2 - -5)*2/q. Suppose -4*f = -3*v - 8, -4*f + 0 = -r*v - 12. Does 5 divide f?
True
Let a = 6 + -3. Let n(r) = -33*r + 9. Let l be n(-3). Suppose 7*h = a*h + l. Is h a multiple of 9?
True
Is 7 a factor of 319/((-3 + 2)/2*-2)?
False
Suppose -5*r - 4*t = 13 - 53, 4*t - 4 = 4*r. Suppose -4*n = -r - 0. Let f = n + 19. Does 7 divide f?
False
Is 11 a factor of -22773*(-1)/21 + (-30)/70?
False
Suppose 3*k = 4*m - 12, k - 3*k = -4*m + 12. Suppose k = -r + 6*r - 10. Suppose -r*w + 15 + 33 = 0. Is 6 a factor of w?
True
Suppose 9*n - 12 = 3*n. Suppose 0*m - 100 = n*m. Let a = 70 + m. Is 17 a factor of a?
False
Let b(u) = -u**2 + 7*u - 9. Suppose 5*h + h = 36. Let l be b(h). Does 13 divide (-930)/20*4/l?
False
Let z = -689 + 909. Is z a multiple of 11?
True
Suppose 5*b - 187 = 153. Suppose b = -3*u + u. Is 1 - 4/2 - u a multiple of 11?
True
Suppose 7 = 2*p + 5*c - 9, -11 = -3*p - c. Suppose -p*x + 216 = -0*x. Does 24 divide x?
True
Suppose -7*f + 233 = 3*c - 5*f, -3*c = 4*f - 235. Does 10 divide c?
False
Let r = 711 + -686. Is r a multiple of 3?
False
Suppose -996 = -3*t - 3*f, 883 = 5*t - f - 747. Suppose -2*n - 2*r + 138 = 2*r, 0 = 5*n + r - t. Is 13 a factor of n?
True
Let n be 6/33 - (-62)/22. Suppose 70 = 2*h - j, -5*j - 8 = n*h - 126. Does 34 divide h?
False
Let j(v) = -v + 19. Let s be j(16). Suppose f - 6*f + 74 = -4*m, -s*f + 58 = m. Is f a multiple of 6?
True
Let x(g) = -185*g - 64. Is 38 a factor of x(-3)?
False
Suppose 2*m - 4*t - 20 = 0, 2*m - 3*t - 5 = 10. Suppose m = -3*l + 5*s + 190, 0 = 5*l - 0*l + 2*s - 265. Does 5 divide l?
True
Let f(a) = 88 + 3*a**2 - 87 - 4*a + 5*a**2. Let h = 8 - 5. Is 22 a factor of f(h)?
False
Let n(y) = -5*y + 5. Let j(t) = 45*t - 45. Let x(u) = 4*j(u) + 35*n(u). Is x(4) a multiple of 2?
False
Let g = 85 - -6. Suppose 0*c - 4*c + g = 5*z, 5*c = -2*z + 118. Is 24 a factor of c?
True
Let g(n) = 2*n**3 + n**2 - 1. Let k be g(1). Suppose 2*h - 20 = -k*h. Suppose 152 = 5*u + h*p - 53, 5*u + 4*p - 200 = 0. Is 12 a factor of u?
True
Suppose 5*p + 41 = -9. Let o be 404/6*(-15)/p. Let f = -37 + o. Does 18 divide f?
False
Is 12 a factor of 6/8 - -102*(-3)/(-8)?
False
Let h be 1727/13 - ((-24)/(-26))/(-6). Is (h/76)/((-2)/(-96)) a multiple of 21?
True
Let j(u) = u**3 - 6*u**2 - 6*u - 6. Let f(s) = -s**3 + 5*s**2 - 3*s - 2. Let q be f(3). Let x be j(q). Is (x - -7)/(5/15) a multiple of 8?
True
Suppose -5*g - 2*b + 1056 = -648, -4*g = 2*b - 1364. Is 85 a factor of g?
True
Let t = -4 - -4. Suppose t = -5*q - 5*k + 455, 6*k - 276 = -3*q + 2*k. Is 44 a factor of q?
True
Suppose -b + 5*t = -534, -b - 21*t = -23*t - 531. Is 23 a factor of b?
True
Suppose -2*w - w + 3*o = 132, -4*w = -5*o + 179. Let s = -32 - w. Is s a multiple of 4?
False
Let i = 1492 - 1040. Does 30 divide i?
False
Let u(c) be the third derivative of 0 + 13/24*c**4 - 1/2*c**3 + 5*c**2 + 0*c. Does 13 divide u(2)?
False
Suppose 2*l = -g - 2*g + 3, -5*g + 5 = -2*l. Suppose l = 3*w + 48 - 363. Is 15 a factor of w?
True
Suppose -66*l = -41*l - 3950. Does 6 divide l?
False
Let w(y) = -y**2 + 8*y + 13. Let k be w(9). Suppose -b = -3*g - 312, k*b - 631 = -g + 630. Is 26 a factor of b?
False
Let n(f) = 39*f**2 - 3*f - f + 5*f - 1. Let d be n(-2). Suppose -30 = 3*x - d. Is x a multiple of 10?
False
Let p(r) = -72*r + 14. Let z be p(-4). Suppose -5*w = -4*b + 405, -b + z = 2*b - 2*w. Is 20 a factor of b?
True
Let f(r) be the third derivative of r**5/60 - r**4/12 + 4*r**3/3 + r**2. Let y be f(-10). Let a = y - 68. Is a a multiple of 12?
True
Let u(p) = -44*p - 3. Suppose -4 = 3*h + 2. Does 34 divide u(h)?
False
Let u = -5 + 5. Suppose u*b + 6 = b. Is 1/b + (-250)/(-12) a multiple of 7?
True
Let i = 13 - 23. Let y = 9 + i. Is (15 + -20)/(y/1) a multiple of 4?
False
Suppose -3*u + 564 = l, 5*u - 3337 = -4*l - 1095. Is l a multiple of 31?
True
Suppose 13*z - 172 = -4*g + 15*z, -4*z = 3*g - 107. Is 41 a factor of g?
True
Let v = 42 - 104. Let t = 4 - v. Does 11 divide t?
True
Let c be 3 + -1*(-1 - 1 - -1). Suppose 4*i - 269 = 3*k, -4*i + c*k + 91 = -177. Does 10 divide i?
False
Suppose 43*m - 6148 = 7440. Is 8 a factor of m?
False
Let d(t) = 5*t**2 - 16*t + 8. Is d(4) a multiple of 6?
True
Suppose -4258 - 38888 = -27*u. Is u a multiple of 20?
False
Suppose -9*l = -11*l. Let s(a) = -a**2 - 7*a - 8. Let z be s(-6). Does 18 divide 2 + l + z - -18?
True
Let g = -138 + 67. Let h = 108 + g. Does 5 divide h?
False
Suppose 0 = -2*i + 2 - 4. Let c(k) = -239*k**3 + 2*k**2 + k. Let q be c(i). Suppose 6*x + 0*x - q = 0. Is x a multiple of 8?
True
Let k(m) = 16*m**2 - 45*m - 21. Does 10 divide k(8)?
False
Suppose -6*g = -10*g. Suppose -5*x + 108 - 18 = g. Is 9 a factor of x?
True
Suppose 13*c - 2*w = 9*c + 1184, 572 = 2*c + 4*w. Is c a multiple of 45?
False
Suppose -33 = -5*f - 3*m + 199, -3*m + 100 = 2*f. Is f a multiple of 6?
False
Let r(a) = -a**3 - 4*a**2 - 8*a - 2. Let c be r(-7). Let g be (3 - 3) + (1 - -2). Suppose 0 = -4*f - 3*x + 296, 