-p*t. Let m = -30 + t. Is m a multiple of 16?
True
Suppose 2*v - 218 - 60 = -3*d, 2*d + 556 = 4*v. Is 36 a factor of v?
False
Is ((-360)/25 + 0)*(-45)/6 a multiple of 18?
True
Let n(z) be the first derivative of -z**4/4 + 4*z**3/3 + z**2 - 5*z - 1. Let u be 0 - (-2 - (-2)/(-1)). Is n(u) a multiple of 2?
False
Let w(d) = -d + 2. Let a be w(0). Let b = a + 7. Is 9 a factor of b?
True
Suppose -177 = -3*q + 5*l + 58, 5*l - 290 = -4*q. Is 25 a factor of q?
True
Let w be (-6 - -5)/((-2)/10). Suppose 5*l + u = -0*u + 2, -w*l - 5*u - 10 = 0. Let r(g) = 3*g**2 + 2*g - 1. Is r(l) a multiple of 2?
True
Suppose -2*w + n + 10 = 0, -17 = -5*w + 2*n + 8. Is w even?
False
Let o = -45 - -63. Is o a multiple of 5?
False
Suppose d + j = 2, 2*d - j - 6 = 7. Suppose -4*u = r - 17, 3*r + 32 + 2 = d*u. Is 2 a factor of u?
False
Suppose -4*j = 2*g - 200, 5*g + 100 = 2*j + 2*g. Suppose -2*b - 12 = -j. Is b a multiple of 19?
True
Suppose 3*l + 54 + 36 = 0. Let h = l + 84. Is h a multiple of 27?
True
Let p(b) = 4*b**2 - 1. Let h be p(1). Suppose -4*f = 2*s - 12, 4*f + 4 = 3*s + h*f. Does 2 divide s?
True
Suppose -f + 12 = 2*u, 5*f - 4*u + u = 8. Suppose 19 - 6 = s + 5*w, -144 = -f*s + 3*w. Is 12 a factor of s?
False
Suppose -q + 6 = -4*p - 6, q + 4*p = 44. Does 13 divide q?
False
Suppose -q - 2 = 0, 3*u - 3*q = q + 11. Suppose -u + 11 = 5*f - 2*d, 0 = -2*f + d + 4. Does 9 divide 11 + (f - 3) + -1?
True
Let p(c) = c**3 + 7*c**2 - c - 3. Let z be p(-7). Suppose 3*l + 1 = 2*g - 11, l + 14 = z*g. Suppose v + 89 = g*u, -6 = v - 1. Is 15 a factor of u?
False
Let f(x) = x**3 + x - 2. Let m be f(3). Let o = 45 + m. Does 25 divide o?
False
Let z be 6/4 + 1/2. Suppose 4*l = -j + 91, -5*l + 4*l + j = -29. Suppose -l = -z*m - i, 4*i = 6*i. Is m a multiple of 4?
True
Let x(f) = 3*f**2. Let q be x(-1). Suppose -q*m + 18 = -m. Does 9 divide m?
True
Let s = 49 - 41. Is 6 a factor of s?
False
Suppose 0 = z + 3*q - 30, 42 = z - 4*q + q. Does 9 divide z?
True
Let n = 19 + -17. Is n even?
True
Suppose -8*q + 3*q + 2*c = -7, 0 = -2*c - 2. Let i = 0 - q. Let w = 7 + i. Is w a multiple of 6?
True
Let i = 17 + -14. Let m(c) = 3*c**2 + 2*c - 1. Is 12 a factor of m(i)?
False
Suppose 3*v = 9*v - 90. Does 5 divide v?
True
Let v be (-1 - -1)/(2 - 4). Suppose 2*m = 3*t - 17, v = -5*m + 8*t - 3*t - 45. Let i = m + 18. Is 4 a factor of i?
True
Let u be (-2)/(-6) - (-274)/(-3). Let t(y) = -134*y + 1. Let j be t(-1). Let i = u + j. Is i a multiple of 18?
False
Suppose -5*b + 10 = -10. Does 5 divide 0 + 1*(1 + b)?
True
Suppose 0*t - 2 = -t. Suppose t*x + 0*s = -3*s + 80, 80 = 2*x - 3*s. Does 13 divide x?
False
Let z be (-4)/22 + (-72)/(-33). Let n(k) = -2*k**3 - 2*k**2 + 7*k - 2. Let m(c) = 3*c**3 + 3*c**2 - 10*c + 3. Let d(i) = 5*m(i) + 7*n(i). Is 7 a factor of d(z)?
False
Suppose -6 = -4*g + 2*g. Let s(t) = -t**3 + 3*t**2 + 2*t. Is 3 a factor of s(g)?
True
Let g = -15 - -28. Is g a multiple of 5?
False
Is 17 a factor of (-516)/(-10) + (-3)/5?
True
Suppose 5*h + 4*l - 77 = 45, -15 = -5*l. Is h a multiple of 11?
True
Suppose 2*m + 3*q = 35, -3*m + q - 95 = -7*m. Does 3 divide m?
False
Let n(i) = -3*i**2 + 2 + 6*i**2 - 2 - 3 + 2*i. Is n(-3) a multiple of 18?
True
Let v(g) = -43*g - 2. Let z be v(-2). Suppose 2*i - 3*i + 28 = 0. Suppose 3*s = l - i, -3*s + z = 3*l - 7*s. Is l a multiple of 16?
False
Let t = -4 - -7. Suppose 0 = t*x - 2*x - 2*m - 6, 4*x - 24 = 3*m. Suppose 3*i - x*i = n - 36, -5*n - 2*i + 193 = 0. Does 17 divide n?
False
Suppose -c = -4*c + 411. Is c a multiple of 41?
False
Let k(f) = -10*f + 0 - 6 + 2 + 2. Is k(-4) a multiple of 19?
True
Is 222/2*(-3 + 4) a multiple of 20?
False
Suppose 2*a - 6*a - 2*b + 310 = 0, 0 = -b - 5. Is 16 a factor of a?
True
Let i(x) = -x**3 + 5*x**2 - 6*x + 1. Let g be (-46)/(-11) + (-8)/44. Let d be i(g). Let u(v) = v**2 + 7*v + 3. Does 2 divide u(d)?
False
Let d(l) be the second derivative of l**4/6 - 5*l**2/2 + 8*l. Is 3 a factor of d(3)?
False
Let w(l) = -l**2 - 17*l + 7. Does 11 divide w(-7)?
True
Suppose 0 = -4*m - 3*n + 27, -3*m + 27 = -2*n + 11. Suppose -4*b - 37 = m*w - w, -3*w - 24 = 3*b. Let q = w - -17. Does 6 divide q?
True
Let x(v) be the first derivative of -v**2/2 + 8*v + 3. Let f be ((-4)/(-3))/(2/9). Does 2 divide x(f)?
True
Suppose 5*r - 2 + 0 = 4*l, 0 = 5*r - 10. Suppose -2*n - 2*d = 3*n - 14, n = -l*d + 6. Suppose -n*c + 24 = -16. Does 10 divide c?
True
Suppose z - 51 - 7 = -5*p, -p + 4 = 4*z. Let h = p + -7. Let a(r) = r**2 - 3*r - 5. Does 2 divide a(h)?
False
Let r = -5 - -8. Suppose -4*x + r*v = -30, x - v = 4*v + 16. Is 3 a factor of x?
True
Is 976/14 + 8/28 a multiple of 10?
True
Is 14 a factor of (-3 + (-27)/(-7))*49?
True
Suppose 12 = 5*i - 8*i. Is i/2 + 0 + 13 a multiple of 11?
True
Suppose -g = 3*g - 4*j - 16, g = -3*j - 4. Suppose g = -t + 11. Is t a multiple of 4?
False
Let v(t) = -t**3 - 7*t**2 - 9*t - 6. Let a be -5 + 21 + -1 + 3. Suppose -i = 2*i + a. Is v(i) a multiple of 6?
True
Let t(o) = -o**3 + 6*o**2 + 3. Does 6 divide t(5)?
False
Suppose 223 = -4*i - 137. Is 5 a factor of (-3)/9*i/2?
True
Suppose 15 = -3*r, 2*y + 2*r - r = -21. Is 13 a factor of ((-156)/48)/(2/y)?
True
Does 26 divide 3/(-2)*(-48 + -4)?
True
Suppose 6*w - 45 = w. Is w a multiple of 6?
False
Let a = 0 - 0. Suppose a*r = -4*r + 144. Suppose 6*b - 5*n = 2*b + 12, 0 = 4*b + n - r. Is 7 a factor of b?
False
Let n(v) = -v**3 + 4*v**2 + 6*v + 1. Suppose 5*k = 5*i + 35, -4 = -2*i + 4*k - 20. Let r be 10*((-3)/i)/1. Is n(r) a multiple of 3?
True
Let v(c) = c**3 + 3*c**2 - 2*c - 3. Let f be v(-3). Suppose 3*g = -g + 3*a + 106, -f*g + 86 = a. Is g a multiple of 14?
True
Suppose -o + 2*j + 28 = 0, 0*j - 63 = -2*o - 3*j. Let n be (o/12)/(2/52). Suppose 5*d = 7*s - 2*s - 75, -5*s + 3*d = -n. Is s a multiple of 5?
True
Let s(d) be the second derivative of d**3/6 + 3*d**2 - d. Let m be s(0). Let q(v) = v**3 - 5*v**2 - 2*v - 3. Is q(m) a multiple of 8?
False
Let x = 0 - -2. Suppose -x*d = 3*d - 270. Suppose d = v + 19. Is 14 a factor of v?
False
Is -2 + (-1*4 - (11 + -81)) a multiple of 19?
False
Let g(x) = x - 6. Let w be g(8). Let q = w - 2. Suppose q = 5*i - 2*i - 9. Is i a multiple of 3?
True
Suppose 4*m + 42 = 170. Let u be (-18)/2 - (0 - -1). Let b = m + u. Is b a multiple of 8?
False
Let x be ((-3)/(-1))/1*1. Suppose 5*r - 2*l + l = 90, x*l = 2*r - 23. Does 19 divide r?
True
Let l be (-1)/(-5) - (-28)/10. Let f be (6/(-15))/((-2)/10). Let i = f + l. Does 5 divide i?
True
Suppose 6 = 3*k - 3*t, 5*k - 4 = -5*t + 6. Let c = 14 - 7. Suppose 0 = -c*y + k*y + 50. Does 4 divide y?
False
Let i(u) = 4*u**2 + 10*u - 6. Let d be i(-5). Let k be (-514)/(-8) - (-2)/(-8). Let c = k - d. Does 10 divide c?
True
Does 5 divide (11/(-2))/(4/(-24))?
False
Suppose 0 = v - 3 + 1. Suppose 0 = 3*u + v*o - 18, 2*u + u = -4*o + 18. Does 3 divide u?
True
Let j = 34 + -7. Is j a multiple of 13?
False
Let c(w) = 3*w**2 - 5*w - 6. Suppose -2*t + 4*a - 2 = 0, -4*a + 17 = t - 0*t. Does 22 divide c(t)?
True
Let t be (9/(-6))/(6/(-16)). Suppose -5*f - 259 + 879 = 0. Suppose -4*r = 5*j + 21 - f, -t*j - 148 = -4*r. Is r a multiple of 16?
True
Let o = -3 - -2. Let h(q) = -31*q - 1. Let a be h(o). Suppose 8*m - 5*m - a = 0. Is m a multiple of 7?
False
Suppose -3*b = -0*b. Suppose 4*d + 1 - 45 = b. Is 11 a factor of d?
True
Let y(l) = -l**3 - 8*l**2 + 9. Let p = -20 - -12. Is y(p) a multiple of 8?
False
Let b = -5 - -15. Is (-7)/(-3)*60/b a multiple of 12?
False
Let z(k) = k**2 + 2*k + 3*k + 0*k. Let m be z(-5). Suppose -4*r - y + 55 = m, 0 = 5*r + 2*y - 4*y - 72. Does 7 divide r?
True
Let u = 100 + -64. Does 18 divide u?
True
Does 38 divide ((-7)/3 + 3)/((-8)/(-708))?
False
Let d = -82 + 142. Is 10 a factor of d?
True
Let i be 298/3 + 8/12. Suppose -4*g = g - i. Is 5 a factor of g?
True
Let p = -3 - -3. Suppose 0*k + 2*k - 134 = p. Is 16 a factor of k?
False
Let a(i) = 20*i - 1. Let t be a(2). Let j = 57 - t. Does 7 divide j?
False
Let o = 18 - 16. Suppose 0 = z + 3, -2*d + 6*z + 200 = o*z. Is d a multiple of 22?
False
Let b be (0 + 0 - -1)*1. Let w(l) = l**3 - 5*l**2 - b - 2 + 12*l**2. Is 15 a factor of w(-6)?
False
Let x(j) = -6*j**3 + 2*j**2 + 3*j + 2. Is 15 a factor of x(-2)?
False
Is 43 a factor of (4 + 2)/2 + 162?
False
Let j = -28 - -49. Is j a multiple of 7?
True
Suppose j = 3 + 1. Let a(g)