 5*y**2 + 7*y + 3. Is 16 a factor of v(9)?
True
Suppose -3*c + 0*l = -4*l + 17, -c + 5*l = 24. Suppose -5*o + 51 - c = 0. Is 8 a factor of o?
False
Let g(n) = n**3 + 2*n**2 - 2*n + 3. Let s be g(5). Suppose 3*c - 55 = -2*c. Suppose s = 4*m + u, -c = -4*u + 5. Is m a multiple of 19?
False
Let k = 1 + -1. Suppose k*h + h = 3. Suppose -h*s + 27 = -18. Is s a multiple of 4?
False
Suppose 4*m - m - 3*u = 213, -4*m - 2*u + 290 = 0. Is 24 a factor of m?
True
Let n(w) = -w**2 - 9*w - 9. Let q be n(-6). Suppose 3*s + q = 90. Is s a multiple of 7?
False
Let b be -3 - -3 - 4/(-2). Let i(v) = 2 - 2 + v**2 + b - 3. Does 12 divide i(-5)?
True
Suppose 0 = -4*y - r + 112, 2*r - 12 = -r. Is 12 a factor of y?
False
Let k(d) = -d**2 + d + 2. Let s(u) = -4*u**2 + 2*u + 6. Let q be 36/6 - 1*-1. Let w(c) = q*k(c) - 2*s(c). Is w(-4) a multiple of 3?
True
Suppose 0 = i - 3*i. Suppose 3*n + 9 = i, -5*p + 2*n + 3*n = -155. Does 14 divide p?
True
Let g = 939 - 498. Is 9 a factor of g/15 + 2/(-5)?
False
Let r(b) = -221*b - 1. Let y be r(1). Let s = y - -130. Does 11 divide s/(-8) + 2/(-4)?
True
Let a(o) = 3 - o**3 - 4*o**2 + 0 - 2*o + 0. Let f be a(-3). Suppose -3*w - 3*b = -4 - 20, 4*w - 2*b - 38 = f. Is w a multiple of 9?
True
Let a(x) = -15*x - 61. Does 30 divide a(-24)?
False
Let l = -105 - -130. Is l a multiple of 25?
True
Let q(p) = 20*p**2 + p + 1. Suppose 0 = 3*o - 5*m + 13, -4*o - m - 2 = -0*m. Is 14 a factor of q(o)?
False
Let h(p) be the third derivative of -1/15*p**5 + 4*p**2 - 1/120*p**6 + 0*p - 1/12*p**4 + 0 + 2/3*p**3. Does 15 divide h(-5)?
False
Suppose -7*w = -5*w - 6. Suppose 3*u - 32 = -2*k, 38 = 3*k + 2*k - w*u. Does 10 divide k?
True
Let l(h) = -h**2 + 5*h - 2. Let n be l(4). Is n + 0 - (-40 + 3) a multiple of 13?
True
Let i(v) = -v**2 + 9*v. Suppose -5*f + 32 = x, f - 3*x - 9 = 7. Let d(j) = 2*j - 9. Let t be d(f). Is 10 a factor of i(t)?
True
Suppose -4*v + 43 = 5*n, 2*v = -n - 3*n + 14. Does 17 divide v?
True
Let r be ((-16)/(-10))/(2/(-10)). Is 7/((-14)/r) - 1 even?
False
Suppose 0 = 5*a - 4*h - 610, 0 = 4*a + 5*h - 3*h - 462. Suppose f + a = 2*f. Suppose -f = -4*p - 2*w, 2*w + 130 = -p + 5*p. Does 21 divide p?
False
Suppose 4*k - 60 + 256 = 0. Let m = k - -95. Is m a multiple of 23?
True
Suppose 0 = -h + 4*h - 60. Suppose h = 5*n, -r - 5*n + 4*n = -6. Suppose -23 + 79 = r*c. Does 14 divide c?
True
Let b be (3/1 - 1)*1. Suppose -s + 68 - 319 = -4*p, b*s = 2. Does 11 divide p?
False
Suppose -6*m + 85 = -5*m. Is 5 a factor of m?
True
Let z(j) = -j**3 + 5*j**2 - 5*j + 6. Suppose 0 = -2*o - 0 + 8. Let g be z(o). Suppose -4*i + 0*m + g*m + 54 = 0, -m - 40 = -3*i. Is i a multiple of 13?
True
Suppose -59 = -c - 52. Is 7 a factor of c?
True
Let f = 97 + 246. Is f a multiple of 66?
False
Let o(y) = -y**3 + 8*y**2 - 2*y - 5. Is o(7) a multiple of 10?
True
Suppose -2*y - 3 - 1 = 0. Let a be (4/8)/(y/(-52)). Is (-2)/4*-4 + a a multiple of 8?
False
Let c(m) be the first derivative of m**3/3 + m**2/2 - 2*m + 3. Is c(6) a multiple of 7?
False
Let g = 426 + -189. Suppose 3*b - 237 = n, 7*b + 4*n - g = 4*b. Does 28 divide b?
False
Let q = 47 - -30. Let j = q - -5. Suppose -l + 13 = -5*s, s - 6*s - j = -4*l. Is l a multiple of 10?
False
Let g(b) = b**2 - 7*b + 8. Let y be g(6). Suppose -y*c + 26 = 3*d - 95, -2*d = c - 58. Is 34 a factor of c?
True
Let q = 6 - 4. Suppose -3*v - q*w + 202 = 0, 4*v = 4*w + 407 - 111. Suppose -v = d - 3*d. Is 13 a factor of d?
False
Let c be -3*3/(-6)*-14. Is 11 a factor of (c/(-28))/(2/48)?
False
Suppose -11*t - 4*p = -7*t - 524, 2*t - 227 = 5*p. Does 18 divide t?
True
Suppose -10*o = -5*o - 380. Does 38 divide o?
True
Suppose -4*m + 122 = -2. Is 31 a factor of m?
True
Let o be (-2)/(-8) - (-15)/4. Let l(y) = -o*y - 1 - 13*y**3 - 2*y**2 + 0*y**3 + 2*y + 0*y**2. Does 12 divide l(-1)?
True
Let x = 13 + -10. Suppose y + 3*n + n - 1 = 0, 2*n - x = -y. Is 2 a factor of y?
False
Let k = 19 - 73. Let l = -99 - k. Let g = -24 - l. Does 14 divide g?
False
Suppose y - 122 = -5*z + 4*y, 0 = -2*z + y + 48. Is z a multiple of 22?
True
Let y be -2 - -3 - (0 + -1). Let d(x) = x. Let u be d(y). Suppose 0 = b - c - 18, -u*b - 4*c = 3*b - 90. Does 18 divide b?
True
Suppose -253 = -4*m + 63. Is 22 a factor of m?
False
Suppose g + 42 = 4*g - 3*c, -2*c = 2*g - 20. Let w(i) = i**2 - 8*i - 14. Does 10 divide w(g)?
False
Let a be 37/7 - 2/7. Suppose 2*t - a - 19 = 0. Suppose s - t = -s. Does 6 divide s?
True
Suppose 5*a + 3 = 4*a + 5*w, -2*a + 5*w = 1. Suppose a = -q + 3*q. Is 3 a factor of ((-7)/(21/(-18)))/q?
True
Suppose 276 = -27*x + 31*x. Is 3 a factor of x?
True
Suppose -48 = y - 5*y. Suppose -a - n = a - 7, 4*n = -y. Suppose -a*i = 2*b - 4*b + 9, 9 = b - i. Is 5 a factor of b?
False
Let x(m) = 2*m**3 - 3*m**2 + 3*m. Let u be x(2). Let k = 4 + u. Does 7 divide k?
True
Let r(g) = g**2 + g - 3*g + 2*g. Does 12 divide r(6)?
True
Let y(t) = t**2 + 5*t + 6. Let j be y(-4). Does 17 divide j*(-4)/(-8)*17?
True
Let b be -131 + 1*1/1. Let h = -42 - b. Is h a multiple of 28?
False
Let m = -2 - -6. Let n(u) be the first derivative of -u**4/4 + 4*u**3/3 + 3*u**2/2 + 3*u + 2. Does 15 divide n(m)?
True
Is 19 a factor of (8 - 84)*(2 + -3)?
True
Let f(l) = -l - 11. Let s be f(-9). Let u = s - -2. Suppose 2*n - 7*n + 60 = u. Is 5 a factor of n?
False
Let z = 38 + 32. Is 28 a factor of z?
False
Let j(t) = t + 2. Let n be j(-8). Is (-340)/n - 1/(-3) a multiple of 19?
True
Let x(k) = 15*k - 15. Let j(q) = 7*q - 7. Let w(n) = 13*j(n) - 6*x(n). Let f be w(9). Suppose -4*h = h - v - 24, 4*v + f = -2*h. Is 3 a factor of h?
False
Let w(l) = 4*l**2 - 4*l - 40. Is w(-5) a multiple of 13?
False
Suppose -2*r - 5 = -1, 3*r + 34 = l. Does 14 divide l?
True
Let s(i) be the first derivative of 2*i**3/3 + 2*i**2 - 3*i + 2. Does 13 divide s(2)?
True
Let o = -5 - -5. Suppose o*s = 2*s + 3*m - 81, 25 = -5*m. Is s a multiple of 24?
True
Does 6 divide ((-25)/2)/(-5)*(-576)/(-80)?
True
Let g = -9 - -27. Is g a multiple of 9?
True
Let v be (-10)/4*(4 + -6). Suppose 3*t = 4*b - 279, -2*t = -5*t + 9. Suppose -v*k = -k - b. Is 7 a factor of k?
False
Suppose -2*u + 130 = c, 286 - 101 = 3*u - c. Suppose -u = -y - 5. Is 22 a factor of y?
False
Let c(l) = -l**3 + l**2 - l + 48. Let v be c(0). Suppose 0*s - 5*s - 135 = 5*m, m + 4*s + 15 = 0. Let g = m + v. Is 12 a factor of g?
False
Let f be 126/35 - (-4)/10. Let n = 1 + f. Is n a multiple of 5?
True
Does 15 divide 8/16 - 178/(-4)?
True
Let b(u) be the second derivative of -u**4/12 - 4*u**3/3 - 3*u**2 - u. Is 4 a factor of b(-4)?
False
Let z(h) = h**2 + 6*h + 3. Let p be z(-6). Suppose p*y + y + 40 = 0. Let r = 10 - y. Is r a multiple of 11?
False
Let s = 67 + -54. Does 3 divide s?
False
Is 17 a factor of (-84)/(-70)*(-170)/(-3)?
True
Let l be ((-10)/4)/(-5)*2. Suppose l = 2*b - 3*b. Let f = b - -11. Does 10 divide f?
True
Suppose q = -3*z + 16, -5*q + 4 = -4*q. Let d(t) = -7*t**2 + t + 2. Let n(y) = y**2 - 1. Let j(u) = -d(u) - 6*n(u). Does 7 divide j(z)?
False
Let v be (-292)/(-2)*2/4. Let h = v - 46. Is h a multiple of 9?
True
Suppose -2*b = -5*b + 264. Let c = b + -63. Does 19 divide c?
False
Let d be (2 + -1)/(1/11). Let c = 45 - d. Suppose -62 = -4*o + c. Is o a multiple of 13?
False
Let k(d) = d**3 + d**2 - d + 2. Let a be k(0). Suppose s + 33 = a*s. Is 9 a factor of s?
False
Suppose -2*i = -45 - 13. Is 12 a factor of i?
False
Let c = 11 + -7. Suppose -a + 0*a = -c. Does 16 divide 19 + (1 - a/1)?
True
Let b(z) = -z**3 - 2*z**2 - 2. Let t be -5 + -1*(0 - 2). Let u be b(t). Suppose 0*w + w = u. Is 4 a factor of w?
False
Does 14 divide ((-25)/20)/((-3)/168)?
True
Let z(i) = 6*i**2 - i + 2. Is 18 a factor of z(-3)?
False
Let h(m) = -2*m + m - 3*m**3 + 2*m**3 + 0*m**3. Let o be h(0). Let a = o + 4. Is a even?
True
Is 90*(24/(-15) - -2) a multiple of 36?
True
Let g(w) = 35*w + 1. Is 10 a factor of g(2)?
False
Let v = -289 - -509. Is v a multiple of 22?
True
Let q(i) = i**3 - 2*i**2 + i + 4. Suppose 2*z + 15 - 36 = 3*r, 3*z - 5*r = 33. Let o be (z/4)/(4/8). Is 8 a factor of q(o)?
True
Does 24 divide ((-252)/24)/(6/(-92))?
False
Is 11 a factor of (-2)/(-7) - 612/(-14)?
True
Let x be -70*(-1 + -1 + 0). Suppose -x = 2*n + 3*n. Is 15 a factor of (-6)/((-2)/n*-2)?
False
Suppose 0 = -r + 53 + 85. Let f = -9 - 23. Is 8/f + r/8 a multiple of 10?
False
