et c = 4 - 14. Let f be ((-5)/c)/((-2)/4). Does 6 divide (26/(-8))/(f/4)?
False
Let s = 360 + -153. Is s a multiple of 23?
True
Let m = 120 - 34. Is 41 a factor of m?
False
Let p(m) = 5*m - 6. Is p(6) a multiple of 8?
True
Let t(r) = 6*r**2 - 2*r + 3. Does 9 divide t(-3)?
True
Let g be (2 - 0)*1/2. Is 4 a factor of 123/9 + g/3?
False
Let t be 1/(-2) - (-26)/4. Let z(i) be the first derivative of i**4/4 - 2*i**3 + i**2/2 + 5*i + 1. Is 11 a factor of z(t)?
True
Let s = 2 + -2. Suppose 19*t - 18*t = 27. Does 13 divide 0 - 1 - (s - t)?
True
Let y(h) = -2 + 0*h + 2 - 3*h. Let a(c) = c**3 - 2*c**2 - 2*c + 2. Let r be a(2). Is y(r) a multiple of 6?
True
Suppose c + 100 = 5*l, -3*l + 5*c = l - 80. Is 10 a factor of l?
True
Let l = 19 - 8. Suppose -l - 65 = -4*f. Is f a multiple of 19?
True
Let b be (1/(-1))/(4 - 5). Suppose -y - b = -3. Suppose -11 - 7 = -y*k. Is k a multiple of 9?
True
Let x(d) = 6 + 1 + 26*d**2 - 2 - 3 - 2*d. Is x(1) a multiple of 13?
True
Is 10 a factor of (-1552)/(-52) - 2/(-13)?
True
Suppose -8*t + 138 = -5*t. Suppose -3*y = -47 - t. Is 12 a factor of y?
False
Suppose 5*f + 916 = -3*x, -2*x - 311 = -f + 291. Let p be (-2)/3 + x/(-3). Suppose 0 = -5*a + 5*b + p, -2*b - 60 = -3*a - 4*b. Does 10 divide a?
True
Let o(b) = 5*b**2 - 3*b - 16. Does 40 divide o(8)?
True
Let g be 122/4 + 3/(-6). Let x = g - -18. Does 16 divide x?
True
Suppose x + 11 + 0 = 3*a, 0 = -4*x - 3*a + 16. Let k(i) = -9*i - 1. Let c be k(-3). Is 10 a factor of (c + x)/1 - 0?
False
Suppose q + 28 = 4*z + 6, 4*z = 5*q + 78. Let s = 71 + q. Suppose 15 = -5*d + 2*d, -5*d = 2*a - s. Does 15 divide a?
False
Let g(n) = -n**3 - 2*n**2 + 5*n. Suppose -2*b - 13 = -o, -4*o + 1 = b - 15. Does 6 divide g(b)?
True
Suppose 3*b = -0*b + 6. Suppose -t = -w + 29, 2*w + b*w + 4*t = 100. Is w a multiple of 15?
False
Is 9/6*(2 - 20/(-6)) a multiple of 3?
False
Suppose 0 = -a - 0*a + 3. Suppose -2*k - 20 = 4*x, -a*k + x + 10 = -4*k. Is 4 a factor of (4/5)/((-1)/k)?
True
Suppose 3*j - 148 = j + 2*q, 0 = -j + 3*q + 72. Suppose 18*b - 34 = 38. Suppose b*z = -z + j. Is z a multiple of 5?
True
Let r be 2 + (-1)/(-2)*-4. Is -4 + 1 - (-11 + r) a multiple of 5?
False
Suppose -2*x = 2*x - 124. Let g = x - 13. Does 5 divide g?
False
Suppose 5*y = -5*j + 5, 4*j + 2*y + 2 = y. Let m = j + -1. Let x(r) = 3*r**2 + r - 2. Does 5 divide x(m)?
False
Is 14 a factor of (-5)/(20/(-12)) - 67/(-1)?
True
Let n(u) = -4 + 8*u - 2*u + 1 - 3. Is n(11) a multiple of 12?
True
Is (57 - (-1 + -2))*2/5 a multiple of 4?
True
Let u = -30 + 52. Suppose -4*r + 7*r + 4*t = 83, -2*r + 4*t = -u. Let w = -12 + r. Is w a multiple of 3?
True
Suppose 0 = 2*x - 0*x - 4, -3*i + 3*x = -72. Is i a multiple of 10?
False
Does 42 divide 2/(-5) + 15156/90?
True
Suppose 0 = -2*v + v - 1. Let j be v/(-2 - (-18)/10). Suppose 0 = x + j*g - 25, 2*x - g = 2*g + 50. Is 12 a factor of x?
False
Let l = 2 + -9. Let d(r) = 2*r**2 + 8*r - 10. Is d(l) a multiple of 14?
False
Let f be (-474)/(-9)*(-3)/(-2). Suppose 3*t - 21 = -4*w + f, t = -5*w + 26. Is 11 a factor of t?
False
Suppose 4*y = 2*y + 266. Is 11 a factor of y?
False
Let w = 3 - 2. Is 2 a factor of (21/12)/(w/4)?
False
Let p = -20 - -6. Is (-696)/p - 10/(-35) a multiple of 16?
False
Suppose -y = -4*l - 2, -5*l + 10 = 4*y + 2. Suppose x - y*v = 3*v + 4, -3*x + 12 = -v. Is 6/(-4) + 78/x a multiple of 9?
True
Suppose 9 + 7 = -2*a. Let c(y) = y**2 + 3*y + 3. Let u be c(-5). Let f = u + a. Is f a multiple of 5?
True
Let p(b) = -9*b**3 - 2*b**2 - b - 4. Let x(j) = -18*j**3 - 4*j**2 - 2*j - 7. Let v(w) = -5*p(w) + 3*x(w). Let f be v(-2). Let n = -35 + f. Does 13 divide n?
False
Let s(t) = -t**2 - 5*t + 1. Let q be s(-5). Let z(x) be the second derivative of x**4/4 + x**3/6 - x**2/2 - 2*x. Is 2 a factor of z(q)?
False
Suppose -176 = -w - w. Is 34 a factor of w?
False
Let s = -150 + 466. Is s a multiple of 45?
False
Suppose -p - g + 52 = -0, -p - 4*g = -67. Is p a multiple of 9?
False
Let z(q) = -5*q + 1. Let g be z(3). Let v = g - -2. Let s = 28 + v. Does 8 divide s?
True
Let z = 77 - -29. Is z a multiple of 16?
False
Let b be (-177)/6*(1 + -3). Suppose 2*v = 215 - b. Is 18 a factor of (-1)/((-3)/v) + -2?
False
Is 22 a factor of (-5)/(-2)*(1 - (-49 + 6))?
True
Suppose 0 = -2*s - k + 277, s + 3*s - 534 = 2*k. Is 17 a factor of s?
True
Suppose -r + 3*d = -18, 2*r - 3*r = -4*d - 21. Suppose 3*g - y - r = 0, 3*g = -2*y + y + 3. Does 12 divide g/(-5) + 819/35?
False
Let j = 2 - -2. Let c be (1/(-1) - -2) + 2. Suppose j = -2*w, -5*w - 15 = -2*r + c. Is 3 a factor of r?
False
Suppose 0 = 9*p - 162 + 45. Is 13 a factor of p?
True
Suppose -h - 3*s + 11 = -7*s, 9 = -3*s. Suppose 0*u = 3*u - 6. Does 8 divide 22 + h/u*-4?
True
Let v = 392 - 237. Is v a multiple of 16?
False
Suppose 0 = -f - 5, -2*f - 37 = -p + 4*p. Let m = 9 - -7. Let z = p + m. Is z a multiple of 3?
False
Suppose -l = -p - 1 - 3, 0 = 5*l - 10. Let x be -1*1 + (-4 - p). Does 12 divide (-14)/6*(x - 6)?
False
Let q(f) = -f + 10. Let j be q(6). Suppose 60 = -s + j*s. Is s a multiple of 11?
False
Suppose 2*u = 3*a - 233, 0*a - u = 2*a - 153. Suppose 8*m - 4*g - 91 = 3*m, -5*g - 52 = -3*m. Suppose -4*z + a = -m. Does 12 divide z?
True
Suppose 4*x - 30 = 2*n, 4*n + 5*x + 5 + 16 = 0. Is 19 a factor of 19 - (2 + n/3)?
False
Let t = 128 - 60. Suppose 0 = 4*k + 92 + 52. Let s = k + t. Is s a multiple of 13?
False
Let o = 111 - 61. Is o a multiple of 7?
False
Let a = 4 - 2. Let v = a + -4. Does 21 divide 1841/35 + v/(-5)?
False
Let v = -4 + 1. Let q be (2/4)/((-1)/60). Does 6 divide (-20)/v*(-36)/q?
False
Suppose -4*v + 40 = -80. Does 30 divide v?
True
Let y be (1 - 26/8)*100. Let n = y + -9. Is 2/(-3) - n/27 a multiple of 5?
False
Suppose n + 10 = 3*n. Suppose -n*x + 30 = -0. Is 6 a factor of x?
True
Let a(l) = -l**2 - 9*l - 3. Let v be a(-8). Suppose -19 = 4*n + 3*c, 3*n - v*c - 30 = 8*n. Does 11 divide ((-3)/(-4))/(n/(-40))?
False
Is (11/(-2))/(-11) + (-694)/(-4) a multiple of 58?
True
Suppose -g = 3*i - 20, i = 4*g - 4*i + 5. Suppose g*y + 31 = 2*k - k, 0 = k - 2*y - 31. Does 12 divide k?
False
Suppose -b + 16 = 3*b. Suppose b*f + f - 15 = 0, -3*f - 87 = -4*l. Is l a multiple of 12?
True
Let l(z) be the second derivative of -z**3 - z**2 - 3*z. Does 8 divide l(-4)?
False
Suppose -290 = -5*g + 910. Suppose 8 + g = 4*x. Is x a multiple of 15?
False
Let x = 664 + -457. Suppose 3*t + 4*f = 208, -x = -3*t - f - 2*f. Suppose -4*g - 2*q = -q - t, 4 = -q. Does 9 divide g?
True
Suppose 3*a + 4*v = -a + 16, 0 = 2*a + 4*v - 6. Suppose -3*q + 4*q = a*p - 3, -4 = -2*p. Is q a multiple of 7?
True
Suppose -w - 3*w - 24 = 0. Does 11 divide w*5/((-10)/16)?
False
Suppose -3*f = 4*p - p - 27, 0 = 5*f + p - 53. Let v = 14 - f. Is v even?
False
Suppose 5*c - 13 + 53 = 5*n, -5*c + 4*n - 35 = 0. Does 11 divide c/3 + (0 - -46)?
False
Is (-36)/90 + -57*(-1)/5 a multiple of 2?
False
Suppose 0*v - 392 = -3*v - w, -4*v + 516 = -2*w. Does 26 divide v?
True
Suppose 10 = -2*l, -2*l - 19 = -2*t + l. Suppose -44 = -2*u - 2*i + i, t*u = 3*i + 28. Does 5 divide u?
True
Suppose 0 = -4*t, -w + 0*w + 5*t = -2. Suppose -5 = -w*g + 7. Does 6 divide g?
True
Let k(x) = -x**3 + 5*x**2 + 7*x - 4. Let f = -11 + 17. Let a be k(f). Suppose 3*h - q = h + 41, -a*q = 6. Is 14 a factor of h?
False
Suppose -3*l + 14 = v + 3*v, -12 = -4*l - 2*v. Suppose -4*a + 104 = -5*m, 4*m + 77 = l*a + a. Is a a multiple of 9?
False
Let g be -14*((-36)/8)/3. Let q = g + -7. Is 14 a factor of q?
True
Is 36/(-27) - 200/(-6)*4 a multiple of 12?
True
Let d = -14 + 14. Suppose 5*b = -d*b + 310. Is 20 a factor of b?
False
Suppose -2*n + 0*n - 4*o = -84, 4*n + 4*o = 148. Suppose -4*r = -5*g - 40 - n, r - g = 18. Is 14 a factor of r?
False
Suppose -m = 3*m + 12. Does 7 divide 1 - (-17 + m/(-1))?
False
Let o(w) = w**2 + 14*w + 10. Let l be o(-8). Let x(g) = -g**3 + 4*g**2 + 4. Let z be x(-3). Let b = l + z. Is b a multiple of 10?
False
Let v = 11 - 6. Suppose -2*l = i - 4*i + 32, 60 = -4*l + v*i. Let a = l - -50. Is a a multiple of 20?
True
Let p(q) = -q. Let l be p(-3). Suppose t = -x + 17, -2*t + l*t - 2 = 4*x. Is t a multiple of 14?
True
Suppose d - 4*w + 1 = -w, -5*d - 4*w + 14 = 0. Suppose -d*c + 32 = -2*z + z, -4*c - 3*z + 74 = 0. Is 10 a factor of c?
False
Let d(b) = 7*b - 5. Let h be d(4). Let c = 38 - h. Does 