= 18*j**2 + 2*j + 1. Let y be r(4). Suppose 8*v = 5*v + y. Suppose -33 = -4*c + v. Is 12 a factor of c?
False
Suppose 4*n + 10 = 3*o, -5*n - 9 = 2*o - 4*o. Let b(i) = 161*i**2 + 8*i + 9. Is b(n) a multiple of 26?
False
Let r(j) = j**2 + 10*j + 4. Let g(t) = t**3 + 6*t**2 + 3*t + 8. Let d(l) = -l**2 + 3. Let o be d(3). Let b be g(o). Is r(b) even?
True
Let g(k) = 195*k**3 + k - 1. Let f be g(1). Suppose -h - 43 = -f. Is h a multiple of 15?
False
Let v(w) = -w**3 + 6*w**2 + 5*w + 5. Let b(r) = r**3 + 6*r**2 - 8*r - 7. Let l be b(-7). Suppose 2*i - 15 + 3 = l. Does 12 divide v(i)?
False
Let i(n) = n**2 - 5*n + 6. Let v be i(5). Let u(d) = d**3 - 7*d**2 - 10*d + 18. Let b be u(8). Does 9 divide (-1)/b - (-57)/v?
True
Let p = 307 + 134. Is 29 a factor of p?
False
Suppose -353 + 1280 = 3*g. Is 57 a factor of g?
False
Let d(i) = -33*i + 83. Does 12 divide d(-9)?
False
Let f(n) = -n**3 - 3*n**2 + n + 3. Let y(m) = m - 7. Let k be y(2). Does 16 divide f(k)?
True
Let w(o) = -o**3 + 5*o**2 - 3*o + 2. Let h(f) = f**2 - 2*f + 4. Let i be h(4). Suppose b + i = 5*b. Is w(b) a multiple of 8?
False
Is (3 + -2*6)/((-15)/2145) a multiple of 33?
True
Suppose 11*j - 9*j + 10 = 0. Is 13 a factor of -3 - (290/j + 3)?
True
Suppose -5*w + 28 = -3*d, -w + 4*w + 4*d = 11. Suppose -116 - 84 = -w*p. Let z = p - -5. Is z a multiple of 15?
True
Let l = -90 - -30. Is (60/9)/((-8)/l) a multiple of 16?
False
Let r = 2454 + -1735. Is 40 a factor of r?
False
Let g be 15/(-9) - (-92)/12. Suppose -g*c + 128 + 280 = 0. Does 47 divide c?
False
Suppose 2*k - 12 = -k. Suppose -36 = -k*x + 292. Is x a multiple of 41?
True
Suppose -8*y = 16*y - 10920. Is 8 a factor of y?
False
Let o(b) = -14*b + 218. Does 14 divide o(-19)?
False
Suppose -1 = 5*i - 11. Suppose i*y - 71 = 11. Is 10 a factor of y?
False
Let i(a) = 34*a**2 + 93*a + 738. Does 31 divide i(-8)?
True
Does 23 divide 4/(-18) + (36960/108 - -3)?
True
Let m = -1 - -6. Suppose -q - m*f = 23, 4*q = -4*f - 3 - 9. Let u(r) = 5*r**2 + r - 2. Does 19 divide u(q)?
False
Suppose 8*b - 323 = 37. Does 44 divide 10/(-75) + 11886/b?
True
Let f = -1599 + 2777. Is f a multiple of 18?
False
Let h = -31 - -5. Suppose 5*t = -1 + 6. Is 6 a factor of (-2)/(h/24 + t)?
True
Let p = -1723 + 1753. Is 4 a factor of p?
False
Suppose 3 = p + 2*p + 4*c, 0 = 5*p + 5*c - 10. Suppose 0 = -3*g + g - 4*h + 208, -529 = -p*g - h. Is g a multiple of 20?
False
Let z(f) = f**3 - 7*f**2 + 8*f + 8. Let g be z(8). Suppose 0*i + 2*i - g = 0. Suppose -t - 4*t + 36 = k, -i = -k + 3*t. Does 14 divide k?
True
Let m = -1166 + 1438. Is 17 a factor of m?
True
Let q(x) = -58*x - 146. Is q(-6) a multiple of 38?
False
Suppose -4*a - 7*w = -2*w - 929, -5*w + 1165 = 5*a. Is a a multiple of 9?
False
Let r(v) = 92*v - 2. Let i(w) = 3*w**2 + w. Let b be i(-1). Suppose -3*a + 3 - 13 = b*u, -20 = 5*a. Does 27 divide r(u)?
False
Suppose 4*v + 69 + 31 = 0. Let m be 10/v + (-117)/(-5). Suppose -m = -2*c + 2*r + 23, 4*r = 5*c - 116. Does 4 divide c?
True
Suppose -16*k + 13*k = -12. Suppose -3*y = z - 18 - 6, 3*z - 67 = -k*y. Is z a multiple of 7?
True
Does 44 divide ((-24)/(-9) - -1)/((-10)/(-2400))?
True
Let x(l) be the third derivative of 6*l**6/5 - l**4/24 - 23*l**2. Is x(1) a multiple of 20?
False
Let w(d) = 4*d + 4. Let n be w(7). Suppose -2*x + g + 11 = 0, -x = -4*g - 0*g - 16. Let t = x + n. Is 12 a factor of t?
True
Let r(h) = 2*h + 6. Let u be r(-3). Is 1 - u - 264/(-11) a multiple of 15?
False
Let k = 107 + -11. Let n = k - -184. Is n a multiple of 10?
True
Let p(c) be the second derivative of -c**5/20 - c**4/4 - c**3 - 3*c**2/2 + 3*c. Is 5 a factor of p(-3)?
True
Suppose 7*j - 1388 - 10085 = 0. Does 3 divide j?
False
Suppose 803 = 3*s - v, -2*v - 3*v + 827 = 3*s. Is 27 a factor of s?
False
Does 16 divide 242 + (-7 - -6) - 1?
True
Suppose i - 12 = -3*s, i - 8 - 8 = -4*s. Is 8 a factor of 30212/126 + s/18*1?
True
Suppose -4*h - 4*s = 36, h + 4*s + s = 3. Let c be (0/1)/(h/(-6)). Suppose c = -0*i - i + 15. Is 5 a factor of i?
True
Let a be 3/((-6)/(-50)) - 2. Let g = a + -21. Is 12 a factor of g/(-9) - 436/(-18)?
True
Let o(c) = 3*c + 8. Let k(x) = 1. Let l(p) = 3*p - 6. Let s(z) = -15*k(z) - l(z). Let h(g) = 5*o(g) + 4*s(g). Does 16 divide h(10)?
False
Suppose -u + 279 = 5*v - 7*v, -5*v + 5*u = 695. Suppose 0 = 5*k - 8*q + 3*q + 490, -2*q - 188 = 2*k. Let t = k - v. Does 22 divide t?
True
Let f(c) = 9*c**2 + c + 3. Let i be f(-4). Let j be (-4)/(-10) - i/(-5). Let m = j - 26. Is 2 a factor of m?
False
Let t be 20*3*(-41 - -29). Let r = -492 - t. Does 12 divide r?
True
Suppose 13*k + 13 + 13 = 0. Suppose f + 3*f - 1664 = 0. Is (f/(-40))/(k/5) a multiple of 8?
False
Suppose -4*i - 62 = -6*i. Let m = i - 7. Is m a multiple of 4?
True
Let v(f) = f**3 + 7*f**2 - 7*f + 7. Let i(k) = k**3 + 16*k**2 - 7. Let o be i(-16). Is 8 a factor of v(o)?
True
Suppose 108 = 5*v - 4*q, -q + 56 = 3*v - 19. Let c = v + 14. Is c a multiple of 19?
True
Let x be ((-8)/(-20))/(2/300). Suppose -o - 16 = -x. Suppose o = 4*i - 4*j, 4*i + 2*j - 100 + 38 = 0. Does 7 divide i?
True
Suppose 5*r + 515 = 6*r. Is 24 a factor of r?
False
Let z(u) = u**2 - 10*u - 7. Let g be z(-4). Is 28 a factor of g*((-72)/(-21))/4?
False
Let g = 2933 - 1938. Is g a multiple of 43?
False
Let f(n) = n**3 + 7*n**2 + 7*n + 8. Suppose -3*x = -3*z + 3, -2 = 3*x - 4*z - 4. Let p be f(x). Let d = p - -26. Does 7 divide d?
True
Let h = -5549 + 8669. Is 40 a factor of h?
True
Suppose -2*w + 0*u + 5*u = -10, -4*u = 4*w + 8. Suppose w = -4*c - c - 35. Let t(n) = -6*n - 13. Is 6 a factor of t(c)?
False
Let q be 2/9 - (-34)/9. Suppose 0 = 5*a + q*y - 801, 0 = a - 3*a + y + 323. Is a a multiple of 23?
True
Let o = -11 - -13. Suppose o*w = 3*j, 5*w - 2*j = -0*j + 22. Suppose w + 24 = 2*v. Is v a multiple of 15?
True
Suppose -3*x + 14 = -1. Let k be (x/2)/(2/4). Suppose 0 = -4*o - k*r + 86, 0 = 5*o + 4*r - 28 - 84. Is o a multiple of 12?
True
Let q(d) = d**3 + 8 + 2*d + 0*d - d + 6*d + 7*d**2. Let u be q(-6). Suppose -5*s + 7 = u*n - n, -38 = -2*n - 2*s. Does 22 divide n?
True
Let o(t) = t**3 - 10*t**2 - 7*t - 27. Let j be (-632)/(-56) + (-4)/14. Is o(j) a multiple of 9?
False
Let n(f) = 16*f**2 + 11*f - 42. Does 6 divide n(4)?
True
Suppose -4*k + 852 = u - 906, -2204 = -5*k + 2*u. Is k a multiple of 11?
True
Let n(b) be the third derivative of -b**4/2 + 2*b**3/3 + 100*b**2. Let x(t) = t**3 - 3*t**2 - 5*t - 2. Let k be x(4). Is n(k) a multiple of 19?
True
Suppose 0 = -13*s + 17*s - 140. Let z = 78 - s. Let c = 178 - z. Is c a multiple of 32?
False
Let r(o) = -o**3 + 5*o**2 - 7*o + 10. Let n be r(3). Suppose n*w = -w + 1216. Is 19 a factor of w?
True
Let b be (16 + -14)/((-2)/(-14)). Is 969/119 + (-2)/b a multiple of 6?
False
Suppose 3*w = 5*w - 168. Suppose -5*p - p = w. Does 16 divide (-112)/(-8)*(-48)/p?
True
Let r(s) be the third derivative of s**6/30 + s**5/30 - s**3 - 16*s**2. Is 15 a factor of r(3)?
True
Suppose -16333 - 4896 = -13*h. Does 23 divide h?
True
Let m(u) = -3*u**3 + 9*u**2 + 20*u - 8. Is m(-5) a multiple of 12?
True
Let r be 2*(707/2 - -2). Suppose 8*i - r = -87. Does 13 divide i?
True
Let w(b) = 3*b**2 - 8*b. Suppose 1 = -2*k - 3*c, 3*c = k + k - 17. Suppose 0 = -4*a - t + 19, 5*a + t - k = 21. Is 20 a factor of w(a)?
True
Let k(f) = 3*f**3 + 2*f**2 - f. Let u be k(1). Suppose 5*q = -5*p - 9 + u, -2*q = 3*p + 3. Let l(y) = 8*y**2 - y - 1. Is l(p) a multiple of 8?
True
Let d(j) = j**2 - 5*j + 4. Let b be d(4). Let a = -6 + 28. Is 12 a factor of (a - b) + (12 - 10)?
True
Let p(s) = -s**3 + 9*s**2 - 11*s - 3. Let l be 128/24 - 2/6. Is p(l) a multiple of 6?
True
Let p = 11 + -9. Suppose -4 = -u - p. Does 4 divide u/((-2)/(-16)*4)?
True
Let c(u) = 24*u**3 + u**2. Let g be c(-1). Let d be (1 - -4)/15*-117. Let y = g - d. Is y a multiple of 13?
False
Let n be ((-42)/(-4))/(2/52). Suppose -7*t = -20*t + n. Does 4 divide t?
False
Let t(n) = 12*n + 130. Does 23 divide t(10)?
False
Suppose -m + 3*d + 1192 = 94, 4*d = -8. Is 39 a factor of m?
True
Let k(m) = -63*m + 4. Let f be k(-2). Suppose 2*a - f = -3*a. Does 13 divide a?
True
Suppose 426 = 2*k + 146. Let g = k - 77. Is 12 a factor of g?
False
Suppose -4*o = 12 - 4. Is 8 a factor of 216/(-18)*7/o?
False
Let d(a) = -a**2 + 3*a - 4. Let u(h) = -h**2 + 6*h - 7. Let o(k) = -5*d(k) + 3*u(k).