*u + 290 = -f*u. Is u a multiple of 15?
False
Let y be 24/((-4)/12*2). Let d = y + 65. Is 14 a factor of d?
False
Suppose 0*z - 19 = -3*x + 2*z, -2*x + 12 = -z. Suppose -2*c = x*j - 24, 0*j = -c - 2*j + 12. Is c a multiple of 9?
False
Let b be (-2)/(-3)*108/24. Suppose 198 = 3*n + 5*a, -n + b*a + 67 = 15. Does 27 divide n?
False
Let f(v) = v**2 - 6*v + 7. Let b be f(5). Suppose b*r - 120 = -3*r. Suppose 5*u = -l + r, 2*l = 7*u - 4*u + 22. Is 14 a factor of l?
True
Is 19 a factor of (45/(-75))/(1/(-95))?
True
Suppose t + u = 26, -3*u + 12 = 2*t - 44. Let v be 18/5 + (-4)/(-10). Suppose -v*c + t = -10. Is c a multiple of 4?
True
Let p = 19 - 11. Suppose 4*r = -4*s + 44, 5*s + 9 = 3*r - p. Suppose -r = 3*w - 4*w. Is w a multiple of 9?
True
Let v = -16 + 18. Suppose -293 = -4*z + h, 2*z + v*h = -z + 206. Is z a multiple of 36?
True
Let w(f) = -f**3 - 5*f**2 - 5*f - 3. Let b be w(-3). Let c = 27 + -10. Let h = c + b. Is 5 a factor of h?
False
Suppose g - s = 65, -3*s - 292 = -5*g + 25. Does 12 divide g?
False
Let u be (-3)/(-2)*(-6)/9. Does 22 divide u/3 + (-696)/(-9)?
False
Suppose 5*m - 7*m + 30 = 0. Suppose 0*a = 5*a + m, 5*j - 365 = 5*a. Does 13 divide j?
False
Suppose 81 = -4*j + 5*j + 4*d, 4*j - 335 = -5*d. Is j a multiple of 57?
False
Suppose 22 = 4*x - 14. Is 3 a factor of x?
True
Suppose 3*p = -10*q + 5*q + 206, 4*q + 197 = 3*p. Does 10 divide p?
False
Suppose 7*p + 261 = 737. Is 34 a factor of p?
True
Let w(j) = 0*j**2 - 3 + 5 - 3 - 7*j - j**2. Is w(-5) a multiple of 9?
True
Let o be 1 - 3/(3/(-2)). Let u(p) = 2*p + 3. Is u(o) a multiple of 9?
True
Let n(q) = -q**3 + 7*q**2 + 6*q + 1. Let l be 6/15 - 28/(-5). Let t(k) = 2*k**3 - 13*k**2 - 11*k - 2. Let u(o) = l*t(o) + 11*n(o). Is 3 a factor of u(2)?
True
Let k be (1 - 4)/((-6)/4). Suppose -v + 0*f + k*f = 8, 2*v = 5*f - 21. Suppose v*i = -h + 11, -5*h - 5*i + 55 = -20. Is h a multiple of 10?
False
Let n(s) = s**3 - 8*s**2 - 7*s - 11. Does 7 divide n(9)?
True
Suppose -4*k - 3*y = -572, 2*k + 0*k - 260 = 5*y. Suppose -7*t = -12*t + k. Is t a multiple of 7?
True
Let r(n) = n**3 - 7*n**2 + 5*n + 8. Suppose 4 = 2*x - 10. Is 16 a factor of r(x)?
False
Let b(c) = -2*c - 7. Let k be b(-6). Suppose -k*g + 70 = 5*z - 0*g, -4*g = -z - 11. Is z a multiple of 9?
True
Let i = 1 + -1. Let s(y) = -3*y**3 - 3*y**2 + 3*y + 10. Let o(p) = p**3 + p**2 - p - 1. Let c(k) = 2*o(k) + s(k). Is 4 a factor of c(i)?
True
Let y(d) be the first derivative of 2*d + 1 + 17/2*d**2. Is 19 a factor of y(2)?
False
Suppose -3*t = -0*t - 2*h - 47, -5*h + 10 = 0. Suppose -2 = 5*d - t. Suppose d*o + m - 92 = -3*m, 114 = 4*o + m. Is o a multiple of 14?
True
Let x(r) = r**3 + 2*r**2 + r. Let d be x(-1). Does 9 divide (d - 0) + (22 - -11)?
False
Suppose 3*q = q. Suppose 3*w + 0*w + o - 28 = 0, 5*w + 4*o - 49 = q. Does 4 divide w?
False
Let j(v) = 5*v + 0*v**3 + v**3 + 5*v**2 - 2*v**2 + 3 + 2*v**2. Does 3 divide j(-3)?
True
Let o(c) = -2*c**2 - c - 2. Let i be o(-2). Does 9 divide 27 + 1 + i/8?
True
Suppose 0 = -5*b + v - 98, 0*b + 47 = -2*b + 3*v. Let j = 41 + b. Does 11 divide j?
True
Let r(a) = -a**3 - 6*a**2 + 7*a + 4. Let f be r(-7). Suppose 0 = -f*n + 2*n + 30. Is n a multiple of 8?
False
Let v be (-4 - 2)*5/(-6). Suppose -v*g + 47 = t, -2*g - 3*t + 5*t + 26 = 0. Is 10 a factor of g?
True
Suppose 4*s - 78 = -3*a, 0 = -2*a - 2*s + 29 + 21. Is 3 a factor of 15/6*a/5?
False
Let r(a) = a**2 - 5*a + 8. Let s be r(4). Let p(m) = -m**2 + 7*m + 6. Is 12 a factor of p(s)?
False
Let n(k) = k**3 + 2*k**2 - 5*k - 4. Let s be n(-3). Suppose 0 = 5*g + r - 395, -5 = -4*r + 3*r. Does 19 divide g/s + -5 + 4?
True
Suppose -476 = -5*q - 4*p + 132, -4*q + p + 499 = 0. Let g = -81 + q. Is g a multiple of 19?
False
Let o = 1 - -3. Let i(l) = -7 + l**3 - o - 5*l - l - 8*l**2. Does 8 divide i(9)?
True
Let a(p) = 2*p**2 - p - 3. Suppose r - 4 = -0. Let v be a(r). Suppose -8 = -3*l + v. Is 3 a factor of l?
False
Let d = -10 + 44. Suppose -d = -4*g - 6. Does 2 divide g?
False
Let x = 65 - -79. Is x a multiple of 16?
True
Let q = 151 + -61. Is q a multiple of 30?
True
Let r be -1 + (18 - (1 - 4)). Suppose -2*c = 2*c - r. Let m = 15 + c. Does 10 divide m?
True
Suppose 4*w = 16, -2*p - 4*w + 42 + 38 = 0. Is 16 a factor of p?
True
Let i(r) = -r**3 - 6*r**2 - r - 2. Let j be i(-6). Let a(c) = 5*c + 1. Let w be a(3). Let g = w - j. Is g a multiple of 12?
True
Suppose 2*b + 16 = 4*b. Suppose 3*j - 9 = -0*j - z, z + 5 = 4*j. Suppose b = -k + j*n + 25, 0 = -2*k - 3*n - 1. Does 2 divide k?
False
Let g = -124 - -178. Let q = 123 - g. Is q a multiple of 29?
False
Let g(v) = 17*v**2 + 1. Let u be g(1). Is 1/(-3) - (-366)/u a multiple of 10?
True
Suppose z = -5*p - 58, -2*p = -p - 2*z + 16. Let a(v) = v**3 + 13*v**2 + 11*v + 15. Is 12 a factor of a(p)?
False
Does 8 divide 21 - 3/2*-2?
True
Let s(z) = z**2 + 1. Let b be s(-1). Let k be 10/(b*1/(-2)). Is 3 a factor of (-76)/k - (-4)/10?
False
Suppose -z + 8 = 3*z. Suppose -146 = -z*m + 28. Is m a multiple of 19?
False
Let v(u) = -u + 11. Does 2 divide v(2)?
False
Does 16 divide (8/(-6))/((-5)/420)?
True
Suppose 0 = 5*j + 851 - 2536. Is j a multiple of 16?
False
Let m(k) = 2*k + k + 33 - 12 - 4*k. Is m(-15) a multiple of 12?
True
Let f(y) = -y**3 - 11*y**2 - 10*y + 3. Let a(w) = 2 - w**3 - 2*w + 0 + 0*w**3 + 6*w**2. Let t be a(6). Is 3 a factor of f(t)?
True
Suppose -3*g + 7 = -5, -2*g = -a + 12. Is a a multiple of 4?
True
Let j(v) = v**3 + 8*v**2 - 8*v + 4. Let a be j(-9). Let i(g) = -16*g + 14. Is 31 a factor of i(a)?
False
Let n(m) be the third derivative of m**2 + 1/6*m**3 + 0*m + 0 - 1/8*m**4. Is 13 a factor of n(-4)?
True
Suppose a = l + 1, 4*l - l = a + 5. Let q(n) = -n + 5. Let r(z) = 2*z - 9. Let j(u) = 7*q(u) + 4*r(u). Does 3 divide j(a)?
True
Let u = 228 - 54. Suppose -q = -3*q + u. Is 29 a factor of q?
True
Let a = -4 + 6. Is 20 a factor of (2 - 46/(-4))*a?
False
Let k = 2 + 0. Let z be 8/28 + 6/(-21). Suppose z = -2*c - k*c + 40. Is c a multiple of 5?
True
Let t = -97 - -221. Suppose 2*v = 4*v - 6. Suppose v*c = 8 + t. Does 15 divide c?
False
Let h(a) = -16*a - 26. Is h(-6) a multiple of 17?
False
Let g(s) = s**3 - 10*s**2 + 5*s + 11. Let v be g(9). Let q = -10 - v. Is 6 a factor of q?
False
Let g = 19 + -6. Let v = 53 - g. Let o = v - 20. Does 10 divide o?
True
Is 8 a factor of 22/143 + 4674/39?
True
Suppose -14*p + 384 = -11*p. Is p a multiple of 32?
True
Is 1/5 + (-945)/(-25) a multiple of 19?
True
Let a(c) = 0 + c**2 - 1 + c**2 + 2. Is a(2) even?
False
Let k(c) = 11*c**2. Let n be (2/(-3))/((-6)/(-9)). Is 9 a factor of k(n)?
False
Let x(v) = 7*v**2 + 15*v + 30. Does 21 divide x(-8)?
False
Is 16 a factor of 2 + (-72)/33 - 1062/(-33)?
True
Let o = 170 - 120. Does 25 divide o?
True
Suppose -h - h + 70 = 0. Is 8 a factor of h?
False
Suppose -2*q = 3*q. Let z be (-1)/(-1 - 1)*q. Suppose 3*t = 4*c - 14, c + 9*t - 4*t - 15 = z. Is 3 a factor of c?
False
Let m be 10 - (3 - 2)*-1. Suppose -d - 4*b - m = -2, 3*b = -3*d. Let o = d - -2. Is o a multiple of 3?
False
Suppose -2170 = -12*o + 1766. Does 41 divide o?
True
Let j(v) = v**3 - 2*v**2 - 4*v + 2. Let s be j(3). Let p be (s/(-2))/(4/(-8)). Let m = p + 14. Is m a multiple of 13?
True
Is 4 - (-1)/((-4)/(-240)) a multiple of 43?
False
Let p(a) = a**2 - 5*a + 3. Let m be p(5). Suppose -2*n = m*n + 60. Is (n/(-10))/(2/25) a multiple of 4?
False
Suppose 0 = -3*c + 5*n - 10, 5*c + 26 = n - 2*n. Let t(a) = 4*a - 1. Let i be t(-2). Let q = c - i. Is q even?
True
Suppose 0*h + 3*h = -5*k + 9, -2*h - 5*k = -11. Let o = h + 2. Suppose 4*r - 53 - 31 = o. Is 19 a factor of r?
False
Let a(o) = -138*o + 4. Is a(-2) a multiple of 28?
True
Let z = 32 + -24. Is z a multiple of 5?
False
Let m(v) = 129*v - 6. Is 24 a factor of m(2)?
False
Suppose -15 = 2*z + 6*d - d, -d = -3*z + 3. Suppose 4*r + 8 + 4 = z. Is 13 a factor of 26 + r + (3 - 0)?
True
Let y = -2 + 4. Is 5 a factor of -1 + y - (-14 - -3)?
False
Let o = 2 - -3. Let n(p) = p**2 - 2*p - 4. Does 8 divide n(o)?
False
Does 15 divide (-56)/6*((-194)/14 - -1)?
True
Suppose 2*h - 14 = -2*h - 3*m, 2*h - 2*m = 0. Suppose h*y - 4*y + 96 = 0. Suppose 3*j - y = -3*k, -4*j - 5*k + 67 = -0*j. Does 5 divide j?
False
Suppose 4*n - 8 + 0 = 0. Let j(d) = 2*d + 2 + n + 2*d + 7*d**2 + d**3. Is j(-5) a multiple of 17?
True
Suppose -n - 