c(r) = -3*r - 2. Let k be c(-4). Let y = k - i. Is y a multiple of 17?
False
Let p = -8 - -7. Is (1 - p)/((-4)/(-24)) a multiple of 12?
True
Let k(o) = o**3 - 3*o**2 + 2*o. Let v be k(2). Let y be -1*((1 - 1) + v). Suppose -147 = -y*f - 3*f. Is f a multiple of 20?
False
Let s(c) = -c**3 - 6*c**2 - c - 4. Let z be s(-6). Let u(o) = -4*o**2 - 2 + 2*o**2 - 3*o + 4*o**z. Does 16 divide u(4)?
False
Is 0 + (0 - 3)*-24 a multiple of 13?
False
Suppose 3*k - 253 = -s, 3*k - s = 276 - 25. Is k a multiple of 28?
True
Does 17 divide -4 + 162/(2/1)?
False
Let g(f) be the second derivative of f**4/2 + f**2/2 - 3*f. Let m be g(1). Let z(i) = -i**2 + 8*i + 10. Is 9 a factor of z(m)?
False
Suppose 0*h + 3927 = 17*h. Does 22 divide h?
False
Let x(q) = -q**2 - 8*q - 3. Let n be x(-7). Suppose -3*u + 4 = -4*o, 0 = 4*o - 3*o - n*u + 14. Suppose 0 = -a + o*a - 41. Is 14 a factor of a?
False
Let j = 94 - -194. Suppose 2*u = -4*u + j. Is 16 a factor of u?
True
Suppose -44 = -2*n - 2*a + 3*a, -3*n + 44 = 4*a. Does 13 divide (135/n)/((-1)/(-4))?
False
Let r be 20/(-50) + (-3734)/(-10). Suppose -4*x + r = 73. Is 15 a factor of x?
True
Suppose 4*m = 29 - 5. Let w = m + -2. Suppose 0*q + w*q - 84 = 0. Does 11 divide q?
False
Let w(f) = 6*f - 2. Let v(y) = 6*y - 1. Let n(l) = -4*v(l) + 3*w(l). Is n(-8) a multiple of 23?
True
Does 10 divide (-6)/(-8) - (-4)/(32/234)?
True
Let p(l) = 12*l - 25. Is 9 a factor of p(5)?
False
Let l(b) = -17*b - 2. Suppose 0 = 5*a - 3*a + 4. Is l(a) a multiple of 13?
False
Suppose -3*j = -2*x - 21, -4*x = -4*j + x + 35. Suppose 4*r = 4*k + 124, r - 77 = -r + j*k. Is r a multiple of 26?
True
Let t(h) = -16*h**3 + 2*h**2 + 4*h. Let i(f) = -15*f**3 + 2*f**2 + 5*f. Let k(r) = -3*i(r) + 4*t(r). Suppose 3*x + 4 = 1. Is k(x) a multiple of 20?
True
Suppose 0 = -2*l - 4*h - 168, -5*l - 4*h - 261 = 153. Let v = -58 - l. Is 12 a factor of v?
True
Let l = 40 + 56. Is 4 a factor of l?
True
Let j(c) = 24*c**2 + 2*c + 3. Let i be j(-2). Let g = -53 + i. Does 14 divide g?
True
Let a(l) = 2*l**2 - 4*l + 4. Is 26 a factor of a(6)?
True
Let a be 12/5 + (-4)/10. Suppose 0 = -a*o + 20 + 16. Does 9 divide o?
True
Suppose 0 = -0*o + 3*o - 429. Is 18 a factor of o?
False
Let a = -3 + -1. Let k be (-1 - -11)*(1 - 0). Let d = k - a. Is d a multiple of 6?
False
Suppose 0*j = 4*j. Suppose -2*r + 40 = 4*c - 8, -5*r - 3*c + 92 = j. Does 8 divide r?
True
Let n(z) be the third derivative of 3*z**2 + 0 - 1/24*z**4 + z**3 + 0*z. Is n(4) a multiple of 2?
True
Does 15 divide ((-100)/(-30))/((-1)/(-9))?
True
Let j(h) = h + 5. Is j(0) even?
False
Let j = 420 - 152. Does 10 divide j?
False
Suppose 2*n - 2 = 2. Suppose -93 = -n*f - 0*f - 3*k, -5*k - 130 = -3*f. Does 16 divide f?
False
Let r(d) = 3*d**2 - 5*d + 1. Let c(x) = 7*x**2 - 9*x + 1. Let j(k) = -2*c(k) + 5*r(k). Let o(y) be the first derivative of j(y). Does 3 divide o(7)?
False
Does 25 divide (2/3)/((-8)/(-492))?
False
Suppose -14 - 1 = -3*g. Let v = g + -7. Does 11 divide 28 - (0 + v + 0)?
False
Let r be 10/(-35) - 46/(-14). Let w(o) = -2 + 2 - 5*o**2 + o**r + o - 7*o + 3. Is w(6) even?
False
Suppose -n + 2 = 5. Let w(z) = 8*z**2 - 3*z + 3. Is w(n) a multiple of 28?
True
Suppose -t - 2*f + 54 = 0, -3*t - 4*f = -9*f - 118. Does 18 divide t?
False
Suppose 0*r - r = 4*c - 11, 2*c - 2*r + 2 = 0. Suppose 5*l - 155 = -0*l - f, 0 = -c*l - f + 65. Is l a multiple of 10?
True
Suppose 0 = 4*o + o - 190. Let w = 55 - o. Is 7 a factor of w?
False
Let g(c) be the first derivative of -c**2 + 2*c + 2. Is g(-2) a multiple of 6?
True
Suppose -2*d + 4*m = -5*d + 82, 0 = -d + 5*m + 2. Suppose 3 + 3 = -j. Let x = j + d. Is x a multiple of 6?
False
Suppose 2*v = -2*v - 100. Let n = -15 - v. Does 5 divide n?
True
Let j = 1 - 37. Let i = j + 69. Is i a multiple of 11?
True
Let y(q) be the third derivative of 7/20*q**5 + 0*q + 1/6*q**3 - 3*q**2 + 0 + 1/24*q**4. Does 8 divide y(-1)?
False
Let h = -163 + 70. Let t = 131 + h. Does 19 divide t?
True
Let v be (-7)/(-21) - 1150/(-6). Suppose 0 = 3*u - v. Let g = u + -35. Does 13 divide g?
False
Let t = 62 + -34. Is 11 a factor of t?
False
Does 6 divide 108 + -2 + (1 - (-2)/1)?
False
Let d(m) = m**2 + 2*m - 2. Let l be d(3). Suppose -10*b - 102 = -l*b. Is 17 a factor of b?
True
Suppose 0 = 4*o - 1128 + 172. Is o a multiple of 27?
False
Let b be ((-25)/(-10))/(1/2). Suppose -4*p + 254 = -3*j, 101 = b*p + j - 207. Does 23 divide p?
False
Let h(t) = 21*t**2 + 2*t - 1. Is 22 a factor of h(1)?
True
Suppose 5*f + 7 = 6*f. Is 3 a factor of f?
False
Let b = 183 + -174. Does 4 divide b?
False
Let s(q) = -10*q - 2. Let m be s(-2). Does 18 divide 1*-1*m*-1?
True
Suppose 0 = -7*u + 2*u + 4*r + 496, r + 99 = u. Suppose 0*w = -2*w + u. Suppose -m - 4*m = -4*j + 86, -2*j + w = m. Does 12 divide j?
True
Let v be 12/30*(410 + 0). Let z = -89 + v. Is z a multiple of 15?
True
Let j(b) be the first derivative of b**6/120 + b**5/15 + b**3/2 - 3*b**2/2 - 3. Let s(a) be the second derivative of j(a). Is 3 a factor of s(-4)?
True
Is 3/(-2)*-2*152/3 a multiple of 37?
False
Let a(h) = 31*h**2 - 2*h - 4. Is 22 a factor of a(4)?
True
Suppose -r - 3 + 23 = 0. Let h = 13 - 8. Suppose 0*j + j = -2*s + r, -2*s = -h*j + 148. Is j a multiple of 14?
True
Let h(m) = 13*m**2 + m. Let j be h(-1). Suppose -2*i = -j - 8. Is i a multiple of 5?
True
Let o be ((-14)/(-28))/((-1)/(-6)). Suppose 3*u - 52 = 4*b, 3*b - 5*b + 28 = o*u. Is u a multiple of 5?
False
Suppose -2*h - 2*j = 3*h - 530, -4*j = -3*h + 344. Is 27 a factor of h?
True
Let o(d) = d**2 + 2*d - 3. Let u be o(-4). Let p(s) = 6*s - 7. Let k(l) = 31*l - 35. Let m(r) = -2*k(r) + 11*p(r). Is m(u) a multiple of 13?
True
Let f(b) = -b**2 - 3*b. Let q be f(-3). Suppose n - 6 + 0 = q. Does 13 divide (88/n)/((-16)/(-24))?
False
Let a = -38 + 64. Suppose -x = -0*x - a. Does 16 divide x?
False
Let c = -34 - -60. Suppose -4*p + c = -2. Is 3 a factor of p?
False
Let c = -2 - -4. Suppose c*b + 0*b = 12. Does 6 divide b?
True
Suppose 18 = k + 5*c, -k - 2*c + 9 = -0*k. Let x(r) = 3*r - 3. Let i be x(k). Is 11 a factor of i*2 + (-2)/2?
True
Let n = -33 + 89. Is n a multiple of 5?
False
Let w = 29 - -11. Is w a multiple of 20?
True
Let m(r) be the second derivative of -r**4/12 + 8*r**3/3 - 8*r**2 + 7*r. Is 19 a factor of m(11)?
False
Suppose 2*t = 9 + 45. Is 9 a factor of t?
True
Suppose -i = -3*i + 76. Is i a multiple of 34?
False
Let h be 2/(-1)*2/(-4). Suppose 4 - h = q - 5*s, -5*s + 5 = -5*q. Is 10 a factor of 4 + q + (0 - -18)?
True
Suppose -4*r - 12 = 3*y + 7, 2*r = -8. Let j be ((-21)/6)/(y/(-38)). Is (-2)/6 - j/21 a multiple of 2?
True
Is -2*1 + (-9)/((-27)/696) a multiple of 46?
True
Let g = -131 + 241. Suppose g = 3*v + 2*v. Is v a multiple of 17?
False
Let j(a) be the third derivative of -a**6/120 - 7*a**5/60 - a**4/4 + a**3/3 + 2*a**2. Let d be j(-6). Is (68/(-6))/(d/(-3)) a multiple of 17?
True
Suppose 0 = m - 42 + 12. Is 15 a factor of m?
True
Let j(k) = 5*k**2 + 7*k + 1. Let t be j(6). Suppose 5*c - t = -2*b - 32, 4*b = -2*c + 70. Is c a multiple of 8?
False
Let v = 4 - 17. Let b = v + 24. Is b a multiple of 11?
True
Let y(s) = s**2 + 11*s - 14. Let v(i) = -3*i**2 - 23*i + 29. Let p(z) = -2*v(z) - 5*y(z). Does 12 divide p(9)?
True
Let b(j) = 2*j**2. Let t be (6/(-4))/(2/4). Let i = t + 1. Does 4 divide b(i)?
True
Is 19 a factor of -1 + 58 + -2 + 2?
True
Let s be (24/(-20))/(2/(-5)). Let x(r) = 0 - s + 6*r**2 - 2*r - 5*r**2. Does 14 divide x(-4)?
False
Suppose 4*u - 3 - 33 = 5*k, 3*u - 8 = -k. Is u + -2 + (7 - 0) a multiple of 7?
False
Let n = 634 + -147. Is 20 a factor of n?
False
Let s(o) = -o**2 + 2*o - 4. Let z be s(3). Let x(f) = -6*f. Let d be x(1). Does 14 divide d*(-3)/((-9)/z)?
True
Is 31 a factor of (-11)/(-1*4/44)?
False
Suppose -6*i + i + y = -1284, 4*i - 4*y = 1040. Is 32 a factor of i?
True
Let x(g) = 2*g**3 + g**2 + 3*g + 3. Let b be x(3). Suppose 0 = -4*w + w + b. Is w a multiple of 14?
False
Is 5 a factor of (1 + -1)/(9/(-9)) + 65?
True
Suppose k - 5*i + 28 = 8, 0 = 5*k + 4*i - 16. Suppose k = 4*v - 10 + 54. Does 11 divide (-1)/3*3*v?
True
Suppose -m - 2 = -3*t, 0*m + 3*t = 2*m + 4. Is m + (1 - -47) + -2 a multiple of 15?
False
Suppose 1 = 2*c - c - 2*w, 0 = 4*c - 4*w + 4. Let f = 1 - c. Suppose 2*g + f*z = 18, 5*g - 2*z = 65 + 4. Is 8 a factor of g?
False
Let c = -8 