 Is 11 a factor of l(v)?
False
Let n(o) = 2*o + 8. Let g be (-84)/(-10) + (-2)/5. Is 16 a factor of n(g)?
False
Let v = -53 - -1. Let m = 74 + v. Is 5 a factor of m?
False
Let u(i) = 3*i - 6. Is u(4) a multiple of 3?
True
Suppose -c - 4*t - 30 = 0, 2*c + 0*c + 16 = 3*t. Let z = c - -20. Is 4 a factor of z?
False
Is -1*2 - ((-288)/(-2))/(-2) a multiple of 34?
False
Let x(g) = 2*g. Let l be x(1). Is 6 a factor of 2 + 1 + l + 7?
True
Is 0 + 2 - (9 + -85) a multiple of 9?
False
Let i be (6 + 1)/(2/(-12)). Is i/4*(-2 - 0) a multiple of 15?
False
Let g(d) be the first derivative of 2*d**3 - 3*d**2/2 + d - 4. Does 23 divide g(3)?
True
Let j = -17 + 34. Is j a multiple of 3?
False
Suppose 4*c + 2*m + 3*m = 60, 3*m = -2*c + 32. Let u = c - 2. Suppose 3*i - 4*y - 50 = 0, -2*i = -y - 38 + u. Does 14 divide i?
True
Let b be ((-1 - -1) + -3)/(-1). Suppose -b*k + 6 = -k. Suppose 0 = k*f + 2*f - 75. Is f a multiple of 12?
False
Suppose -3*m + 20 = 2*m. Suppose 5*q + 2*n + 3*n - 155 = 0, m*q + 5*n - 128 = 0. Is q a multiple of 13?
False
Let j be (12 - -1)/(-2 - -3). Does 20 divide 262/j - (-2)/(-13)?
True
Is ((-15)/6 + -1)*-38 a multiple of 37?
False
Let d = -6 + 16. Let x = -4 + d. Suppose -18 - x = -f - w, 4*w - 18 = -f. Is 16 a factor of f?
False
Suppose -2*n - 4 = 2*c, 4*n + 5*c + 10 = -0*c. Suppose n = -7*w + 8*w - 24. Is w a multiple of 10?
False
Let g(u) be the second derivative of -u**3/3 - 6*u**2 + 4*u. Let p be 3/(-6)*(25 + -3). Is 3 a factor of g(p)?
False
Let d(f) = 4*f - 5. Let k be d(2). Suppose k*j + 25 = -3*a + 94, -a - 97 = -4*j. Is j a multiple of 8?
True
Let a be (-5)/2*(-5 + 3). Suppose -7*s = -2*s + 5*k - 20, -a*s + 38 = -k. Suppose 5*h - s - 38 = 0. Does 9 divide h?
True
Suppose -4*y + 5*y - 4 = -2*o, -y = -3*o + 1. Suppose w - 4*w = 2*j - 9, -y*w = -2*j - 6. Let m(u) = u**2 + 39. Is 15 a factor of m(j)?
False
Let g = -5 - -1. Let v = 24 + g. Is 11 a factor of v?
False
Suppose b - 2 = 1. Let o(m) = 6*m - 4. Let x be o(-4). Is (b/(6/x))/(-2) a multiple of 3?
False
Let x(n) = n**3 - 5*n**2 - 4*n - 2. Let o = -1 + 7. Let i be x(o). Let y = i + 0. Is 3 a factor of y?
False
Let u(f) = -2*f + 2 + 0*f + 4 + 0*f. Is u(-9) a multiple of 6?
True
Suppose -3*u - 20 - 145 = 0. Let r = 88 + u. Is r a multiple of 20?
False
Let p(b) = b**3 + 7*b**2 - 9*b - 3. Let v be p(-8). Suppose 2*x + 16 = -2*x, -v*x = -q - 24. Let m = q + 64. Does 8 divide m?
False
Suppose 0 = -3*d - 4*n + 335, -5*d + 2*n + 476 = -d. Does 39 divide d?
True
Let k be 4/(-6) + 1/(-3). Is k/(-6) + (-70)/(-12) a multiple of 3?
True
Is 17 a factor of -3*(-484)/84 - 4/14?
True
Suppose 4*u - 270 = 2*u. Suppose -z + w = 3*z - 137, 4*z + w = u. Is 17 a factor of z?
True
Suppose 5*a = 20, -j - 3 = -3*a - 0*a. Is 5 a factor of j?
False
Let c = 6 - 8. Suppose -5*i + 2*i + y + 90 = 0, -4*i + y + 120 = 0. Let r = c + i. Is 17 a factor of r?
False
Let f = -2 + 194. Is 32 a factor of f?
True
Let w = -5 + 5. Suppose 2*m - 12 - 12 = w. Is m a multiple of 8?
False
Let t be (-4)/(-10) - 282/30. Is 19 a factor of t/21 + (-958)/(-14)?
False
Let j(b) = -b**2 + 5*b + 5. Let w be j(5). Suppose 4*n = 2*h - h + 3, -2*n + w*h = 21. Is (-12 + (n - -1))/(-1) a multiple of 4?
False
Let n = -180 - -518. Does 12 divide n?
False
Suppose 0 = -f - 4*f + 4*u + 1, -5*f + 3*u - 3 = 0. Let j be -4*(-1)/(2/(-5)). Let k = f - j. Is k a multiple of 7?
True
Suppose 5*q + 8*i - 3*i - 170 = 0, -q + 2*i + 22 = 0. Let h = 30 - 48. Let m = h + q. Is m a multiple of 6?
True
Let d(a) = 3*a + 10. Let k(f) = 2*f + 9. Let s(o) = 5*d(o) - 6*k(o). Is 5 a factor of s(3)?
True
Let a(s) = s**2 + 7*s - 6. Let d be a(-7). Let x = 8 + d. Suppose x*f - 9 = 51. Is f a multiple of 16?
False
Suppose 0 = 7*q - 3*q - 128. Is 16 a factor of q?
True
Let z(i) = -3*i + 4. Let k be z(3). Let j = k - -7. Suppose -o + j = 5*t + 14, -3*t - 2 = o. Does 13 divide o?
True
Suppose 4*l - 18 = l. Is l a multiple of 6?
True
Let v(q) = -q**3 + 7*q**2 + 5*q - 5. Is v(6) a multiple of 20?
False
Let q be 5/15 - (-25)/(-3). Let z(r) = r**2 + 8*r - 4. Let d be z(q). Is (-26)/3*(d - -1) a multiple of 13?
True
Let l(r) = -8*r - 2. Let c be l(-1). Suppose 2*z + 12 = 5*z. Suppose 11 = 5*t - 4*k, c*t - z*k = 2*t + 8. Is 2 a factor of t?
False
Suppose -2*i + 3*r = 5 + 4, -3*i + 19 = 2*r. Suppose -3*g + 7*g = i*k - 92, 0 = 4*k - g - 101. Suppose -4*y = -2*y + 5*m - k, 4*y - 24 = -4*m. Is y even?
True
Let k = -28 + 37. Suppose -2*h = -k*h + 595. Is h a multiple of 22?
False
Let f(d) = -d + 10. Let z be f(7). Suppose -m + 8 = -g, -3*g + z = -2*g. Is m a multiple of 11?
True
Let o(t) = -t**3 + 5*t**2 + 5*t. Let f be o(7). Let j be f/(-6)*4*1. Suppose -2*i = 2*s - j, 2*i + i - 103 = 5*s. Is i a multiple of 13?
True
Suppose 0 = u - 2*l - 61, -5*u + 275 = -0*u + 5*l. Let v = -31 + u. Is v a multiple of 13?
True
Suppose 24 - 469 = -5*q. Is 17 a factor of q?
False
Suppose -32 = x - 2*x. Is x a multiple of 8?
True
Let j(m) = -25*m - 1. Let b be -5*1*1*-1. Suppose -15 = -3*i, -b*i = -x - 0*i - 26. Is j(x) a multiple of 12?
True
Let a = 100 - -12. Is a a multiple of 28?
True
Suppose -u - 4*v = 56, 4*v + 135 = -2*u + 3. Let m = -26 - u. Does 21 divide m?
False
Let x = 3 + 23. Is 9 a factor of x?
False
Suppose 7*x - 988 = 3*x - 4*w, x - w = 243. Is x a multiple of 7?
True
Let c(d) = -d**2 + 14*d - 8. Is 8 a factor of c(8)?
True
Let b(u) = -3*u**2 - 7*u + 8. Let x(y) = -y**2 - 2*y + 3. Suppose 0 = 2*c - 5*c - 51. Let p(z) = c*x(z) + 6*b(z). Does 8 divide p(-6)?
False
Suppose 3*w - 5*u - 153 = 0, 4*u - 51 = -3*w + 2*w. Is w a multiple of 17?
True
Suppose -3*x = -2 - 4. Suppose 4*m - 6 = x*m. Does 3 divide m?
True
Let w = -4 - -10. Let j(g) = -g**2 + 8*g - 3. Is 8 a factor of j(w)?
False
Let q = 7 + -6. Is -6*q/(6/(-14)) a multiple of 5?
False
Let z(g) = -33*g - 26. Does 10 divide z(-4)?
False
Let m be 48/(-1) + (0 - 1). Let b = 80 + m. Is b + -2 - (-2 + 4) a multiple of 12?
False
Suppose 46 = 4*f - 14. Does 5 divide f?
True
Let k be 4/(-10)*(2 + 3). Let m be (-1)/(-2) + (-25)/k. Suppose 0 = 3*n - 56 - m. Is 8 a factor of n?
False
Let o(m) = -m**2 - 8*m + 7. Let q be (-8 - -1)/(4/4). Is o(q) a multiple of 7?
True
Let d be (-6)/(-2) - (-2 - -3). Suppose -l + 1 = -d. Does 4 divide l/(50/22 + -2)?
False
Suppose -t + 2*t = 3*r - 6, -4*t = 5*r - 10. Suppose 5*z - 4*x = 0, -4*z + z = -2*x + r. Is z/14 + (-102)/(-14) a multiple of 3?
False
Let k(p) = p**2 - 13*p - 13. Does 7 divide k(16)?
True
Let p = 3 - 4. Let k = 3 + p. Suppose -k*y + 4*y = 94. Does 17 divide y?
False
Suppose 5*w = -5*k, 3*k = -w + 3*w + 10. Let u(x) = 2*x + x**2 + 6*x**2 + 32*x**k + 1. Does 15 divide u(-1)?
False
Let n be 8/(-36) + (-2)/(-9). Suppose n*g = -2*g + 6. Suppose -g*p + 15 = 3*x, 2*x = 2*p + x - 25. Is 3 a factor of p?
False
Let f(z) = z**3 - 2*z**2 - 2*z - 1. Let t be f(3). Suppose 0 = 2*q + 4*u - 16, -t*u - 26 = -q + 2*u. Is 12 a factor of q?
False
Suppose 0 = 4*l - 2*l - 308. Suppose 4*p + p + 3*a = -l, a + 3 = 0. Let v = p + 53. Does 8 divide v?
True
Let h(l) = 5*l**2 - 2 + 3 - 3 + 3*l + l**3. Let s be h(-4). Is (-9)/s*60/(-9) a multiple of 15?
True
Let v(b) = b**3 + 7*b**2 - 11*b + 5. Is v(-8) a multiple of 9?
False
Suppose 2*z = b - 32, -5*z - 62 = -2*b - 0*b. Let m = b + -21. Is m a multiple of 5?
True
Let r(h) = h**2 + 17*h - 16. Let o be r(-18). Suppose -5*w + 13 = -42. Suppose -u + 101 = 4*n, -n + w = -3*u + o. Is n a multiple of 14?
False
Suppose 11*d - 154 = 9*d. Is 11 a factor of d?
True
Suppose -5*r + 3*r = -136. Is 34 a factor of r?
True
Suppose q = -2*q - 5*a + 525, -q + 2*a + 164 = 0. Suppose -q = 5*g - 10*g. Is 9 a factor of g?
False
Is 21 a factor of (63/(-18))/((-2)/60)?
True
Let b(n) = -n**2 + 6*n + 10. Let g be b(8). Is 13 a factor of 16/(-24) - 82/g?
True
Let q(z) = 7*z + 5. Let b(c) = 6*c + 6. Let p(s) = 6*b(s) - 5*q(s). Let x be p(-9). Suppose 5*t - 36 = -m, -14 = -m + x*m - 5*t. Is 8 a factor of m?
False
Is 5/5*(-6 + 2 + 309) a multiple of 10?
False
Does 13 divide 138 + 1 + (1 - -3)?
True
Let h(m) = -4*m**2 - 2*m - 8. Let p be h(6). Let w = 290 + p. Suppose 3*x + 24 = w. Is 12 a factor of x?
False
Let k(c) = 3*c + 1. Let r be k(2). Suppose 0 = 2*p - r - 5. Is 2 a factor of p?
True
Is 5 a factor of (-1*8)/2 + 50?
False
Suppose 4*g - 20 = 84. Let w = g - 17. Is 2 a factor of w?
False
Suppo