Let l be (45/(-10))/(t/80). Suppose -s + l = 5*u, 0*s + s + 3*u = 56. Does 14 divide s?
False
Suppose -11*g + 10 = -6*g. Suppose g*i - 4*i = n - 137, -n = -3*i + 198. Is 7 a factor of i?
False
Suppose -n + 2 = -0*n. Let z be 339/(-9) - n/6. Let s = z - -109. Is 13 a factor of s?
False
Let v(u) = u + 1. Let l(o) = 18*o - 7. Let d(f) = l(f) - 2*v(f). Is 29 a factor of d(6)?
True
Suppose 13*y - 33 = 10*y. Let c(p) = p**2 - 2*p. Let j be c(2). Suppose j = 5*u - 4 - y. Is u a multiple of 3?
True
Let r be 3 - ((-15)/3 + 0). Suppose -r*q - 6 = -10*q. Suppose -q*t - 3*a + 24 = 0, -3*a + a = t - 7. Is 9 a factor of t?
True
Let s be 3/(30/4)*(-910)/(-26). Let g be -72*((-39)/(-9) - 2). Is (g/(-14))/(3/s) a multiple of 8?
True
Suppose 7 = 4*r - 5. Let q be (-1 + 0)*(10 - 1). Does 13 divide q*(r - 4 - 6)?
False
Let x = 61 - 49. Is x a multiple of 4?
True
Suppose 2*p - 18 = -p. Suppose 342 = p*z - 204. Is 13 a factor of z?
True
Let b(j) = j**2 - j + 8. Let x = 24 + -24. Does 4 divide b(x)?
True
Suppose 187 = 9*x - 3368. Suppose 3*v = -0*s - s + 205, 2*s = -v + x. Is s a multiple of 44?
False
Suppose 10*u = 18*u - 2640. Is u a multiple of 22?
True
Let b = 327 + 41. Does 46 divide b?
True
Suppose -3*h + 50 = -2*x, -3*h = 5*x - 4*x - 38. Let n = 18 - h. Suppose n*f = -4*c + 64, 4*c = 3*c + 5*f + 10. Is c a multiple of 5?
True
Let f be (-7)/(-2) + ((-5)/(-2) - 1). Suppose 4*w = -f*v + 66, 0 = -2*v + 5 - 1. Does 6 divide w?
False
Let y(d) = 30*d + 458. Is 49 a factor of y(37)?
True
Let w(n) = n**3 - n**2 - 15*n + 9. Let j be w(4). Does 13 divide j/12 + (-3)/(12/(-361))?
False
Let i(w) be the third derivative of 7*w**4/12 + 7*w**3/6 - 3*w**2. Let r be i(-3). Is ((-20)/(-25))/((-2)/r) a multiple of 7?
True
Suppose 4*c + 3*v = 2476, 3*c - 1166 - 720 = 5*v. Is c a multiple of 49?
False
Suppose -s = -3*f - 23 + 6, 5*s = -3*f - 5. Suppose -5*u + 6*l - s*l = -24, -2*l - 18 = -4*u. Is u even?
True
Let q = -81 - -94. Is q a multiple of 3?
False
Suppose 2*z - 3 - 7 = 0. Suppose 0 = 3*h - 2*h - 3. Suppose 5*t + 50 = 3*x, -70 = -8*x + h*x - z*t. Does 13 divide x?
False
Let p be 188 + ((-4)/(-4) - 0). Is (-2)/(-9) - (-13944)/p a multiple of 17?
False
Is 35 a factor of (43/(-4))/((-22)/1408)?
False
Let v(k) = 3*k + 13. Let l be v(-7). Let q(s) = 3 + 4*s - s**2 + s**3 + 7*s + 11*s**2. Does 25 divide q(l)?
False
Let t(l) = l**2 - 10*l + 18. Is t(18) a multiple of 9?
True
Let a(b) = -b + 191. Let h be a(0). Suppose -409*g - 2091 = -426*g. Let o = h - g. Is 11 a factor of o?
False
Let f(s) = -1708*s - 6. Is f(-1) a multiple of 23?
True
Let s be -1 + (-4)/(-18) - (-34)/(-153). Does 14 divide (6/(-5))/(s*1/70)?
True
Suppose 0 = -36*m + 10*m + 15600. Does 20 divide m?
True
Suppose 3577 = 17*k - 13559. Does 16 divide k?
True
Let m(u) = -u**2 + 2*u + 1. Suppose 0 = 5*o - 4*j - 3, -2*o + 2*j + 2*j + 6 = 0. Let f be m(o). Is 15 a factor of f*((-147)/6 + 2)?
True
Let p(k) = k**3 - 11*k**2 - 25*k + 4. Let a be -2*13*5/(-10). Does 6 divide p(a)?
False
Does 4 divide ((-528)/36 - (2 - 2))*-18?
True
Suppose -903 = -9*p - 327. Is 3 a factor of p?
False
Does 12 divide (37 - -17)/((-3)/(-40))?
True
Let h(s) = -4 + 3 + 4 - 13*s**2 - s**3 + 4*s**2 - 5*s. Does 12 divide h(-9)?
True
Let k(f) = -5*f**3 - 15*f**2 - 17*f - 7. Is k(-9) a multiple of 16?
True
Let h = 3 - 14. Does 35 divide 2/h - 3084/(-22)?
True
Let s = 40 + -50. Let t(f) = -f + 1. Is t(s) a multiple of 2?
False
Let g(a) = -a**3 + 11*a**2 + 11*a + 43. Is g(11) a multiple of 4?
True
Suppose -74*m - 4312 = -3*p - 76*m, p - 3*m - 1452 = 0. Is p a multiple of 9?
True
Let q be (-4)/14 - 450/42. Let k be q - (4 + -7) - -1. Let w = -1 - k. Is 2 a factor of w?
True
Suppose -10*s - 18 = -11*s. Is 18 a factor of 3 - (s - -3)*-3?
False
Suppose -14*s + 953 = -6089. Is s a multiple of 25?
False
Let z(w) = 4*w**2 - 3*w - 4. Suppose -3*s - 2*h + 52 = 0, -s - h + 16 + 3 = 0. Suppose -r = -4*o + s, -7 = -4*o - 2*r + 1. Is z(o) a multiple of 9?
False
Let d(z) = z - 4. Let k be d(4). Let a(l) = -l**3 - 4*l**2 + 5*l - 3. Let p be a(-6). Suppose 0 = -k*o + 3*o - p. Is o a multiple of 6?
False
Let m(r) be the second derivative of r**3/6 - 3*r**2 + 14*r. Let p = 22 - 14. Is m(p) even?
True
Let d(k) = 16*k**2 + 3*k + 124. Is d(12) a multiple of 32?
True
Suppose -3*g = -5*g + 76. Let m = -1 + g. Let t = 72 - m. Is 9 a factor of t?
False
Let v = -17 + 42. Suppose v = 6*f - 155. Does 3 divide f?
True
Suppose 0 = 5*m + 4*z - 40, z - 4 = 1. Suppose 5*y + 37 = 2*w + 14, -m*y - 21 = w. Is (w/3)/((-1)/36) a multiple of 8?
False
Suppose s + 29 = -5*c, 2*c + 1 = s - 5. Is 8/(-3)*6/s a multiple of 2?
True
Let h(q) = q**2 - 3*q - 6. Let z be h(7). Let v = -19 + z. Is 3 a factor of 0 + v + 3 + 12?
True
Let j(c) = 5*c - 23. Let l be j(5). Suppose -2*o + 486 = 3*p, l*p = -2*p. Does 27 divide o?
True
Is (129/(-4))/((-18)/(-24) + -1) a multiple of 43?
True
Let g be (-5 - (-52)/(-28))*7. Let d = g + 131. Is 15 a factor of d?
False
Suppose -3*c + 4*k + 58 = 0, -3*c + 45 = -3*k - 15. Let o = c - 8. Is o a multiple of 7?
True
Let h = 425 - 151. Is 34 a factor of h?
False
Suppose 70 = -5*s - 3*r, -2*s - 2 = -r - 3*r. Let u = 14 + s. Suppose -y = -u - 2. Is 5 a factor of y?
True
Let x be (-12)/(-54) - (-4)/(-18). Suppose -5*h - 4*z + 21 = x, h - 7 = 4*z + 2. Suppose 4*i = -a + 33, 1 - 34 = -a - h*i. Is 11 a factor of a?
True
Let w(l) = -17*l. Let s be w(-6). Suppose -3 + 7 = 2*g. Suppose -g*n = -s + 38. Is n a multiple of 16?
True
Suppose -k = -0*k - 5*g - 24, 3*k - 5*g = 32. Let u = -2 + 5. Suppose -135 = -u*p - 0*t + 2*t, -k*p - t + 180 = 0. Is 16 a factor of p?
False
Suppose u - 3*u + 3*t = 23, 3*t - 44 = 5*u. Is 14 a factor of -3 + (2/u - (-2832)/14)?
False
Let i = -1069 - -1504. Is i a multiple of 6?
False
Suppose 0 = -5*t + 34 + 1. Does 5 divide t?
False
Suppose y - 1 = 2*r - 8, 2*r - 4 = -2*y. Suppose r*b - 5*b = -8. Suppose 3*c - 5*c = -5*l + 482, b*c = -4. Is 32 a factor of l?
True
Is 16 a factor of (-6)/(-4)*((-2989)/(-21) + -17)?
False
Let p be 1*1/(1/5). Let g(o) = -o**2 + 3*o + 5. Let k be g(p). Is (-732)/(-20) - (-3)/k a multiple of 12?
True
Let q(d) = -d**3 - 3*d**2 - 4*d + 2. Let y(p) = p**3 - 8*p**2 + 7*p - 5. Let n be y(7). Does 34 divide q(n)?
False
Let m = 68 - 64. Suppose m*i = 12, -4*l + i = -2*i - 1311. Does 55 divide l?
True
Suppose 16*s = -g + 13*s + 1773, -2*g - 3*s + 3543 = 0. Does 118 divide g?
True
Let x be (-17)/((1 + 0)/(-1)). Let z = 61 + -26. Let k = x + z. Is k a multiple of 13?
True
Let f(p) = 3*p**2 + 8*p + 7. Let q(b) = -b**2 - b. Let y(a) = f(a) + 4*q(a). Let j be y(5). Suppose -5*o + l = -55, 2*o - j*l = 3 + 27. Is o a multiple of 10?
True
Suppose 15 = 8*q - 3*q. Suppose x - 151 = q*u, -5*u + 117 = 4*x - 402. Does 12 divide x?
False
Suppose -2*k + 4446 = 4*k. Is 19 a factor of k?
True
Let o = 645 + -333. Is 78 a factor of o?
True
Suppose 0 = 32*h - 34*h + 8. Suppose d + 311 = 5*p, 0*p - h*p + 4*d = -236. Does 9 divide p?
True
Suppose 0*f + 35 = 7*f. Suppose 4*o + 2*c - 538 = 0, -o + f*c + 155 - 15 = 0. Is 27 a factor of o?
True
Let z = 392 - 274. Let c = 178 - z. Does 15 divide c?
True
Suppose 2*f - 228 = -2*q, -6*q + 7*q = -1. Is f a multiple of 4?
False
Suppose 0 = 4*y + 1795 - 535. Is 14 a factor of ((-4)/12)/(3/y)?
False
Suppose -7*q + 6*q = 0. Suppose q = u - 4*b - 31, -4*u - b = -47 - 26. Is u a multiple of 19?
True
Suppose -34 = 3*f + 5*s, 5*s = -0*f - 4*f - 42. Let b = -3 - f. Suppose 0*a + 41 = b*o + 4*a, 0 = 3*a - 12. Is o even?
False
Suppose -659 = 11*k - 2210. Is k a multiple of 16?
False
Does 6 divide (-8)/12*(4 - 124)?
False
Let p be 16/6 - (-12)/(-18). Suppose p*f = -4*c - 10, 2*f = -3*f - 2*c + 7. Does 12 divide (f + (-7)/1)*-9?
True
Let f(p) = 20*p. Let w be f(1). Let h = 19 - w. Is 10 a factor of 1*(h - 62/(-2))?
True
Suppose 2*j + 55 = -15. Let y = 71 - 31. Let g = y + j. Is g even?
False
Let w(c) = c + 188. Let o be 3/(33/(-2)) - 4/(-22). Is w(o) a multiple of 41?
False
Let f = -32 - -23. Let p = -4 - f. Let h(k) = k**2 - 2*k - 3. Does 10 divide h(p)?
False
Let r = 35 - 25. Suppose -r - 10 = -d. Is d a multiple of 4?
True
Suppose -2*b + b - 2*h = -14, 0 = -3*h. Let z = b + 10. Suppose -z = -x - 0. Does 14 divide x?
False
Suppose 3*v + 17 = 2*s, -4*s + 23 = -0*s + 5*v. Suppose 4*h - 12 = -u + s, 0 = -5*u + h - 10. Is 2 a