. Let z be v(15). Does 4 divide 4/(-12)*-33 + z?
False
Let c(v) = -v**3 + 6*v**2 - 5*v. Let q be c(5). Suppose q = -6*y + y - 110. Let h = 63 + y. Is h a multiple of 13?
False
Suppose -x - 1 = -3*r, -3*x - 3*r = r - 23. Suppose 3*m = x*h - 95, -4*h + 5*m + 95 = h. Is 15 a factor of h?
False
Suppose 0 = z + 42 - 14. Let y = z + 64. Is y a multiple of 9?
True
Let f = 16 + 3. Does 4 divide f?
False
Let g(m) = 10*m + 3. Let z be g(3). Suppose -2*w = -5*a + z, 3*a = -0*w + w + 19. Does 5 divide a?
True
Suppose 1747 = 6*p - 317. Is p a multiple of 43?
True
Let v = -7 - -21. Is 3 a factor of v?
False
Let s(n) = -n**3 + n**2 - n + 17. Is s(0) a multiple of 7?
False
Let h(t) = 3*t + 7 - 2 - 2*t. Let r be (-2)/(3*(-6)/45). Is h(r) a multiple of 6?
False
Let d be (-3)/(2*(-1)/(-6)). Let s = d + 16. Is s a multiple of 2?
False
Suppose -g + 100 = 5*r, 5*r - 3*g = -g + 115. Is r a multiple of 10?
False
Suppose -4*c + 65 + 23 = 0. Let t = c - -10. Is t a multiple of 9?
False
Let a(d) = 5*d - 5. Is 10 a factor of a(7)?
True
Suppose -9*r + 10*r - 2 = 0. Does 10 divide r + 34 + -2 + 1?
False
Let k be 2/(-6)*(-108)/12. Is 6 a factor of 6*(k - (-8)/12)?
False
Is 3/2*-54*-1 a multiple of 18?
False
Suppose -2*b + 4*b = 0. Suppose b = -0*u - 2*u + 5*o + 3, 50 = 5*u - 4*o. Let q = u - 9. Is q even?
False
Let p be (-4*1 + -1)*(3 - 4). Let x(h) be the third derivative of h**5/60 - h**4/12 + h**3 - h**2. Does 7 divide x(p)?
True
Suppose 6 = 2*y - 4*w, 21 = y + 2*w + 2*w. Is y a multiple of 4?
False
Let w(d) = -d + 0*d**3 + 2*d + 4 + d**3 + d**2 - 5*d**2. Let l be w(4). Let q = 35 - l. Is 11 a factor of q?
False
Let o = -4 - 11. Does 14 divide 20/o*126/(-4)?
True
Let i(j) = -j**3 - 24*j**2 - 2*j + 33. Does 17 divide i(-24)?
False
Suppose 4*w + 2*v - 231 = 293, 5*w - 3*v - 644 = 0. Suppose q + q = -2*l + w, 2*q + 68 = l. Is 3 a factor of l/9*(-3)/(-2)?
False
Suppose 11*s - 65 = 6*s. Is 13 a factor of s?
True
Let m(p) = p**3 - 4*p**2 + 2*p + 2. Let b be m(3). Let a = -3 - -5. Does 3 divide (-6)/(a*b/2)?
True
Let k be -6*(-3)/(-12)*-2. Suppose -n + 4*n + 9 = k*j, -2*j - 5*n = -41. Is 4 a factor of j?
True
Does 23 divide 3 + (-1)/2 + (-450)/(-4)?
True
Let y(v) = -5*v**3 - v**2 + 1. Let l be y(1). Let n = l + 12. Is n a multiple of 7?
True
Suppose 0 = 139*d - 140*d + 140. Is 20 a factor of d?
True
Suppose 0 = 14*z - 12*z - 98. Does 13 divide z?
False
Let t(v) = 3*v**2 + 3. Does 3 divide t(-2)?
True
Let n = -68 - -138. Does 14 divide n?
True
Suppose -g = 2*g. Suppose -4*z + 0*z + 116 = g. Is z a multiple of 17?
False
Let d = 0 + 2. Suppose d*r - 69 = -r. Is r a multiple of 10?
False
Let z be (-264)/10 + (-14)/(-35). Let x = 15 - z. Is x a multiple of 12?
False
Let x(t) = -4*t**3 - 2*t**2 - t - 1. Let v be x(-4). Suppose -5*w + 2*r + v = 0, 2*r = w + 3*r - 44. Suppose -4*k + w = -15. Is k a multiple of 13?
False
Suppose k + 3*c = -10, 2*c = -2*k - 0*c - 20. Is 9 a factor of k/(-15) - (-104)/6?
True
Let q(m) = 4*m + 9. Let l(h) = 5*h + 10. Let y(b) = -5*l(b) + 6*q(b). Is 4 a factor of y(-4)?
True
Suppose 0 = -6*q + 4*q + 42. Does 7 divide q?
True
Suppose 2*u - 3*u + 2 = 0. Let q be ((-175)/u)/(2/(-4)). Suppose j + 4*j = q. Is j a multiple of 9?
False
Let f be (-6 + -12)/(2/(-12)). Let p = 183 - f. Is p a multiple of 25?
True
Let y = -1 + 1. Suppose 4*m - 2*m - 5*q + 42 = 0, y = 3*m - 4*q + 56. Let o = 26 + m. Is 4 a factor of o?
False
Let j be 22/55 + 116/10. Suppose -z - j = -3*z. Is z a multiple of 6?
True
Let c(p) = p**3 - 9*p**2 + 2*p - 12. Let g be c(9). Let m be g/(-4)*24/(-4). Let n(i) = -i**3 + 9*i**2 + i + 13. Is n(m) a multiple of 6?
False
Suppose 3*w + 0*w + 3 = 0. Let y = w + 33. Is 10 a factor of y?
False
Let x be (-588)/(-9) - (-4)/6. Let r = x - 28. Is 13 a factor of r?
False
Is 4 a factor of 2 + -2 + -2 - -25?
False
Suppose 3*s + 34 = 2*t - t, -5*s + 24 = 2*t. Is 22 a factor of t?
True
Let l(i) = -i**2 + 2*i. Let p be l(2). Does 18 divide 37 - (-2 + 3 + p)?
True
Let s(k) = 2*k**2 - 10*k + 11. Let i be s(9). Let a = i - 2. Is a a multiple of 24?
False
Suppose 0*i + 126 = 3*l - 4*i, 3*l - 132 = 2*i. Is l a multiple of 9?
False
Does 6 divide 20 + (0 + -2)*1?
True
Let i(m) = -18*m**3 + m + 1. Let h(v) = 2*v**2 - v - 1. Let w be h(2). Suppose -w*f + 0 - 5 = 0. Is 11 a factor of i(f)?
False
Suppose 2*l = -5*s + 46, 0 = 2*l + l - 5*s - 19. Does 13 divide l?
True
Let c = 88 - 12. Does 19 divide c?
True
Let s(n) = -5*n + 6. Is s(-4) a multiple of 15?
False
Suppose -105 = -5*p + 4*l + 36, -5*p + 144 = -l. Does 29 divide p?
True
Suppose -4*a = -10 - 50. Is 4 a factor of a?
False
Let r(q) be the second derivative of q**5/5 - q**4/12 + q**2/2 + q. Let f be r(1). Suppose 0 = g + 6*a - 5*a - 6, 3*g - f*a - 18 = 0. Does 5 divide g?
False
Let r be 24/14 + 22/77. Suppose r*c = 8 - 2. Is c a multiple of 3?
True
Suppose -14*w = -15*w + 25. Suppose 6*c - c - 125 = 0. Suppose -5*q + z - 4*z = -c, 4*z = 5*q - w. Is 5 a factor of q?
True
Is (-154)/(-11) + 2/(3 + -2) even?
True
Let c(j) be the second derivative of -7*j**3/6 - 3*j**2/2 + 4*j. Is 9 a factor of c(-3)?
True
Suppose t + 5*i - 237 = 0, 2*i - 2 + 8 = 0. Is 19 a factor of t?
False
Let k = -159 + 287. Does 25 divide k?
False
Let l(r) = 3*r. Let v be l(3). Let i = -13 + v. Let o(a) = 2*a**2 + 2*a + 4. Is o(i) a multiple of 14?
True
Suppose 18 = 4*m - 3*i, 5*m - 11 = i + 6. Suppose 4*d + m = -w + 17, d - 2 = 0. Does 6 divide w?
True
Suppose -w - 2*w = -39. Let d = -9 + w. Suppose -d*i + 4 = -12. Does 2 divide i?
True
Suppose l - 230 = 25. Does 16 divide l?
False
Suppose 5*f + 7 = 4*f. Let y = f - -20. Is y a multiple of 13?
True
Let k be (-2)/((-30)/9 + 4). Is 14 a factor of (-120)/k + 12/3?
False
Suppose -x - 4*x = -120. Let q(h) = -h**2 - 3*h + 2*h + h - h**3 + x. Is 12 a factor of q(0)?
True
Let z(p) = p. Let u be z(-5). Is 23 - (-5 - (u - -3)) a multiple of 13?
True
Let g(r) = 8*r - 1. Let f(b) = 9*b - 1. Let j(i) = -6*f(i) + 5*g(i). Is 15 a factor of j(-1)?
True
Suppose 0 = -5*x + 4*x - 2*k + 9, 3*x + 5*k - 27 = 0. Does 3 divide x?
True
Suppose -2*o = -4*o - 18. Does 10 divide (-20)/6*o/3?
True
Let r = -33 + 57. Let i be (r/9)/((-4)/(-90)). Suppose -d = -3*o + 4*d + 125, -2*d + i = o. Does 25 divide o?
True
Suppose 2*p + p - 18 = 0. Suppose -p*f + u + 13 = -f, -2*u = f + 4. Suppose -3*t + 2*g = -49, -3*g + 46 = f*t - g. Is t a multiple of 9?
False
Suppose 2*c = -5*s + 427, -c - 164 = -2*s + 14. Suppose -2*p - 4*k + 137 = -s, -4*p + 492 = -3*k. Suppose 0 = -b - 3*b + p. Is b a multiple of 10?
True
Let p(h) = h**3 + 8*h**2 - 9*h + 3. Let w be p(-9). Let g be w + 90 + -1 + 3. Suppose -5*z + 0*s = 4*s - g, -5*z = -3*s - 60. Is z a multiple of 7?
False
Let y(x) be the second derivative of -x**4/12 + 4*x**3/3 + x**2 + x. Let i be y(7). Suppose -u + i + 8 = 0. Is u a multiple of 7?
False
Let k(m) = 3*m**3 - 4*m**2 - m - 3. Let h(x) = -2*x**3 + 3*x**2 + x + 3. Let u(n) = 4*h(n) + 3*k(n). Let w be u(0). Suppose w*j + 0*j = 36. Does 6 divide j?
True
Suppose -o - 3*o + 8 = 0. Suppose -4*j - 8 = s, 4*j = 2*s + o*s - 28. Suppose 42 = -h + s*h. Is 14 a factor of h?
True
Let q(n) = 7*n - 9. Suppose 4*b - 36 = -0*b. Is 17 a factor of q(b)?
False
Let s(v) = v**3 + v**2 + v + 5. Suppose 4*f - 3*w = w, 0 = -f + 4*w - 6. Let h be 2*(1 - 2) + f. Does 3 divide s(h)?
False
Let a = 57 + -30. Suppose -2*v - 3*f + a = -v, 0 = -v - 4*f + 30. Is 18 a factor of v?
True
Let t be -2 - (1 - 3) - -4. Suppose -i + 13 = 3*n, 3*i = 6*i - t*n. Is 4 a factor of i?
True
Suppose r = 2*k - 4*r - 28, -r = 3*k - 8. Suppose -b + 5*h = -5*b + 90, -2*h = -k. Suppose -2*c = -0*c - b. Is 6 a factor of c?
False
Suppose 3*l - 30 + 3 = 0. Let z = -4 + l. Is z a multiple of 2?
False
Suppose -5*g - 2*c - 71 + 194 = 0, 77 = 3*g - 2*c. Is 3 a factor of g?
False
Suppose -3*m = -5*m + 46. Does 11 divide m?
False
Let p be 2/(-4)*(5 - 5). Let q = 3 - p. Does 2 divide q?
False
Let l(a) = 26*a**2 + 5*a + 1. Let s be l(5). Let o be (-2)/11 - 108/11. Is 17 a factor of s/14 + o/35?
False
Let t(x) = x**2 - 3*x - 2. Let n be t(4). Suppose -n = -h + 31. Is 11 a factor of h?
True
Is 8 a factor of 4/(-4 + 24) - (-477)/15?
True
Suppose 5*g + 83 = 233. Is 6 a factor of g?
True
Suppose 73 = 5*j + a, -a + 6*a = -10. Is 5 a factor of j?
True
Suppose 374 = 3*i + a, -3*a = -5*a + 10. Does 12 divi