t s(g) = g**3 - 4*g**2 + 1. Let p be s(4). Let y be (0 - p)/(5/(-20)). Suppose r + 2*v = y*v + 22, 92 = 4*r - 4*v. Is 18 a factor of r?
False
Let v(r) be the third derivative of r**5/60 - r**3 + r**2. Let j(w) = 1. Let f(y) = 4*j(y) + v(y). Is f(6) a multiple of 14?
False
Suppose 5*i - 3*k + 0 + 7 = 0, -i - 2*k - 4 = 0. Is 9 a factor of (-108)/(-42)*(-14)/i?
True
Let k = -10 - 59. Let g = 117 + k. Is g a multiple of 10?
False
Let p(n) = 6*n - 1. Let x be p(7). Suppose -3*o + 3 = 6, 3*o = v - x. Let k = -18 + v. Does 14 divide k?
False
Suppose 3 = -2*l - 5. Let k(i) = -10*i - 2. Is 27 a factor of k(l)?
False
Let l(p) = 4*p - 2. Let q be l(3). Suppose 3*b - b = q. Suppose -2*h = 5*g + 19, -h + b*g = 2*h - 34. Is h a multiple of 3?
True
Let k(u) = 12*u**2 - 4*u. Is k(2) a multiple of 8?
True
Let l(x) = 3*x - 6. Is 5 a factor of l(7)?
True
Suppose 2*c - 51 - 13 = 5*u, 2*c - 2*u = 76. Is 21 a factor of c?
True
Is 5 a factor of ((-556)/(-12) - -2) + 2/3?
False
Let t = -4 - -13. Is (-1 + t)*(-15)/(-20) a multiple of 4?
False
Suppose 2*g = -0*g - 12. Is ((-136)/g)/((-4)/(-6)) a multiple of 17?
True
Suppose 0*v + 304 = 4*v. Suppose 5*i - v = 4. Is 6 a factor of i?
False
Let g be 1/(1/(-26)) + 0. Let h = 32 - g. Let b = -36 + h. Is 11 a factor of b?
True
Let q = -18 + 38. Is q a multiple of 5?
True
Let b = -9 + 15. Let f be (-3 + 2/2)*-1. Suppose y + 9 = c, -b + f = -4*c - 4*y. Is c even?
False
Let s = 23 - 45. Let t = -13 - s. Does 2 divide t?
False
Suppose 2*g - 330 = -2*u, -4*u + 660 = -0*g - 3*g. Is u a multiple of 33?
True
Let u(o) be the first derivative of o**4/4 - 5*o**3/3 + 3*o**2/2 - o + 4. Let q be u(3). Let p = q + 17. Is p a multiple of 7?
True
Let t = 17 - 2. Is t a multiple of 15?
True
Let k(z) be the third derivative of z**5/60 - z**4/6 - z**3/3 + 2*z**2. Let m be k(4). Is 11 a factor of (0 + (-58)/m)*1?
False
Suppose -145 - 59 = -m. Does 51 divide m?
True
Let c(r) be the first derivative of -r**3/3 + 65*r - 5. Is c(0) a multiple of 19?
False
Suppose 3*k = k + 124. Let q be 90*4/10*-1 + 2. Let s = k + q. Is s a multiple of 14?
True
Suppose -2*f - 3*d + 591 = 0, -4*f + 1177 = 3*d - 2*d. Is 13 a factor of f?
False
Suppose -4*v = -2*a, -v = 2*a + 2*v - 7. Let d be 1/(a - 1) - 9. Is 13 a factor of (-8)/(-32) + (-326)/d?
False
Suppose -4*m + 5*l + 40 = 13, 3*l = m - 12. Suppose -109 = -m*r + 167. Is r a multiple of 25?
False
Let j(d) = -5*d**2 + 2*d - 5. Let z be j(4). Let n = z - -113. Suppose 6*y = 2*y + n. Is 4 a factor of y?
False
Suppose -4*a - r + 452 = -4*r, -4*r - 16 = 0. Is 16 a factor of a?
False
Let c(k) = 2*k**3 + 2*k**2 - 1. Let q be c(1). Suppose -2*z - 53 = 3*s + 116, 3*s + q*z + 165 = 0. Let r = -19 - s. Does 20 divide r?
True
Let a be 3*1/(-9)*-3. Suppose 0 = 3*g - 0*j - j - a, -5*g = j - 7. Is 8 a factor of 0 - -14 - (g + 0)?
False
Let q = 0 + 3. Suppose 40 = q*r + 2*m, -5*m - 18 = -2*r - 2*m. Does 6 divide r?
True
Is 11 a factor of (-4 + (-26)/(-5))/((-2)/(-155))?
False
Let r = -4 - -4. Let h = 0 + r. Is 9 a factor of (2 - h) + 0 + 7?
True
Let u(k) = 2*k**3 - k**2 + 2*k + 7. Does 22 divide u(5)?
True
Let q(r) = 2*r**3 + 3*r**2 + 2*r + 2. Let t be q(-2). Let h = t - -51. Does 22 divide h?
False
Is 6 a factor of -1*2 + 20/1?
True
Let x = 97 - 49. Is ((-2)/(-4))/(1/x) a multiple of 6?
True
Suppose -3*q = -5*q - 10. Let n = 14 - q. Is 11 a factor of n?
False
Let a(s) = s**3 - 6*s**2 - 11*s + 14. Does 16 divide a(9)?
False
Suppose -46 = -4*g + 3*g. Is g a multiple of 14?
False
Let o be (-5)/(-2) + 2/(-4). Let l be 0/2 + (4 - o). Suppose 64 = l*h + 2*h. Is h a multiple of 8?
True
Let a = -1 + 4. Let k be a/(3/(-2))*-8. Suppose -2*v + 14 = 3*l, 0 = -5*v + 3*v - 4*l + k. Does 2 divide v?
True
Let u(v) = 5 + 0 + 0 + 2*v. Let c(j) = -j + 5. Let d be c(0). Does 11 divide u(d)?
False
Let s(y) = -y - 17. Let w be s(-16). Is 7 a factor of 3 + (-2 + -19)*w?
False
Let c = -5 + 17. Does 12 divide c?
True
Let n(j) = -j**3 - 16*j**2 - 16*j + 17. Is n(-15) a multiple of 16?
True
Let v be 4/6 - (-43)/3. Let u(o) = 2*o**2 + o + 1. Let a be u(-1). Suppose -a*z = -1 - v. Is z a multiple of 5?
False
Let o be 36/(-15)*195/(-2). Suppose 43 = 2*q - q - 3*p, -5*q = 4*p - o. Is 7 a factor of 4/(-6) - q/(-6)?
True
Let n be 2 - (0 - (-4)/(-2)). Suppose -3*q = -q - 4*v + 14, -v + n = 0. Does 10 divide (-3 - -2)/(q/(-12))?
False
Let v(n) = n**2 + 6*n - 3. Let j be v(6). Suppose 0 = k + 4*h - 13 - 8, -h = -2*k + j. Suppose t - 2*z + 3*z = 1, 0 = -5*t + 2*z + k. Does 5 divide t?
True
Suppose -k = -d - 1, -4*d + 2*k + 5 = -1. Suppose d*n - b = 45, 0 = -4*n + 3*b + 38 + 17. Suppose -46 = -2*x - n. Does 18 divide x?
True
Let i(x) = -x + 2. Let c be i(-5). Let r be (12/c)/((-2)/(-14)). Let n = r + 0. Is n a multiple of 12?
True
Suppose 5*n - 9 = 1. Let g(m) = -8 - m**n + 0 + 0*m**2 + 11*m. Does 4 divide g(9)?
False
Let v be 12/8*16/6. Suppose 0 = -0*d - d - 3*q + 3, -v*q - 4 = 2*d. Let t(r) = r**2 + 9*r - 8. Is 10 a factor of t(d)?
False
Let c(i) = -i**3 + 6*i**2 - 5*i - 5. Let s be c(5). Let v = s + 8. Suppose -v*q + 16 = -q. Is q a multiple of 4?
True
Let b(u) = -2*u + 7. Let r be b(8). Does 19 divide (-165)/r - (-2)/3?
True
Is 81/18*((-16)/(-6))/1 a multiple of 12?
True
Suppose 126 = -b + 4*b. Is 14 a factor of b?
True
Suppose -2*d = -2*g + 7*g - 10, 0 = 3*d - 5*g - 15. Suppose 88 = a - d*a. Let f = a + 41. Is 9 a factor of f?
False
Suppose 2*t + 17 + 25 = 0. Is 11 a factor of (-196)/t*(2 - -1)?
False
Suppose -3*p + u + 86 = 0, 3*u - 6*u - 69 = -2*p. Is 4 a factor of p?
False
Let v(d) = d**3 - 6*d**2 - 2. Let c be v(5). Let u be ((-846)/c)/(2/3). Suppose 4*x - 1 - u = 0. Is 12 a factor of x?
True
Suppose 5*v - 150 = -0*v. Let j = -18 + v. Let k = j - -8. Does 10 divide k?
True
Let l(i) = -i**2 + 2*i. Let b be l(2). Let g be b + (-1)/(1/(-3)). Suppose -2*w - 49 = -g*w. Is 17 a factor of w?
False
Suppose 0 = -0*l - l. Does 2 divide 2 - (-6 + (l - -3))?
False
Let c be -4*((-3)/(-2))/(-3). Suppose -2*s + s - c = 0. Is 16 a factor of 6*(s - (-46)/6)?
False
Let g(c) = -5*c**2 - 6 + 14*c**2 + c**3 + 4 + 8*c + 0. Does 10 divide g(-7)?
True
Let b = -3 + 5. Suppose -1 = -b*k - 15. Let t(l) = l**2 + 5*l + 7. Is t(k) a multiple of 9?
False
Let s(r) = 6*r**2 - 1. Let v be s(1). Suppose 4*m + b = -m + 88, m + v*b = 8. Is 18 a factor of m?
True
Let b be 0 - -5 - 4/2. Suppose b*c + 2*g - 11 = -1, -5*c - g + 12 = 0. Suppose -3*w = -c*w - 7. Does 7 divide w?
True
Suppose 2 = -q + 2*q. Let m be 19*q - (3 - 1). Suppose -2*g - 10 = 0, g = -v + 4*g + m. Is v a multiple of 7?
True
Suppose 0 = v - 4*k + 3*k - 6, 5*v - 26 = 4*k. Does 10 divide 3/((-129)/(-60) - v)?
True
Let f(l) = -15*l. Let x be f(-1). Let a = -2 + x. Let g = 1 + a. Is 8 a factor of g?
False
Suppose 2*i = -h + i, -6 = -2*h + i. Suppose -c = -0*c - h. Suppose 0*q = -p + 3*q + 19, -129 = -5*p - c*q. Does 9 divide p?
False
Suppose 0 = -3*a - 2*w + 3*w + 15, 4*w - 8 = -5*a. Suppose 0 = -a*p + 2*p + 44. Does 11 divide p?
True
Suppose 2*j = -j + 282. Suppose -5*x = 2*c - 486, 3*c - 7 = x - j. Let l = -57 + x. Is l a multiple of 13?
True
Suppose -3*f = 3*f - 18. Let b = -6 - -10. Suppose 0 = b*s - f*v - 143, 5*s - 138 = -3*v + 7. Does 16 divide s?
True
Let u = -5 + 7. Suppose -4*h - u*i = -118, -i + 132 = 3*h + 44. Does 17 divide h?
False
Does 34 divide 306/15*30/9?
True
Suppose 620 = 3*c - 5*h, 4*h - 75 = -2*c + 375. Is 12 a factor of c?
False
Suppose 3*y = 2*y + 2. Let s(i) = 2 + 0 + 5*i - 4. Is s(y) a multiple of 6?
False
Let j = 185 + 49. Let c = j + -145. Is 25 a factor of c?
False
Suppose -30 = -4*u - 2*t, 3*t - 11 = -4*u + 22. Is 1/((3 - u)/(-45)) a multiple of 4?
False
Is (0*3/3 - -34)*4 a multiple of 13?
False
Let s(b) = 7*b**2 - 3. Suppose -4*v - 27 = -5*k, 0*k + 15 = 5*k. Does 30 divide s(v)?
True
Is (2 + -24 + -1)/(-1) a multiple of 12?
False
Let a(b) = -b**2 + 4*b - 2. Let v be a(8). Is 5 a factor of 9/6*v/(-3)?
False
Let z(c) = 8*c**2 - 3*c - 2. Suppose -4*x + m = -17 - 1, 3*x - 9 = 3*m. Suppose 4 = 2*w, 0 = -2*v - 0*v - x*w + 6. Is 15 a factor of z(v)?
False
Let q = 12 + -5. Suppose -3*g - 8 = -q*g. Let v(s) = 4*s**3 - 2*s**2 - 2*s + 2. Is 15 a factor of v(g)?
False
Let c(b) = -b**2 + 5*b + 5. Let h be c(6). Let z = -6 + h. Let m = 13 + z. Does 6 divide m?
True
Does 11 divide 18/9 - 39/(-1)?
False
Suppos