s + 0*s - 360 = 0. Suppose 0 = 5*i - s + 25. Is i a multiple of 7?
False
Let s(o) = 2*o + 5. Let l be s(5). Suppose 0 = -4*f - 3*n + 32, 4*n - l - 9 = -3*f. Is f a multiple of 3?
False
Suppose t - i = 4*i - 29, 15 = -3*t - 3*i. Let m = t + 41. Does 11 divide m?
False
Suppose -5*i = -5*n + 50, 0*i + 32 = 2*n - 5*i. Is n a multiple of 3?
True
Let c(m) = 2*m + 2. Let g be c(-5). Suppose s + 2*p + 155 = -0*s, -350 = 2*s - 4*p. Is s/(-12) - 2/g a multiple of 5?
False
Suppose 3*k - 4 = 5. Suppose -k*d = d + 16. Let q = d - -7. Does 3 divide q?
True
Let n(x) be the second derivative of -x**5/10 - x**4/4 - x**3/6 + 3*x**2/2 - 10*x. Is 9 a factor of n(-3)?
False
Suppose l = 4*d - 16, -l + 5*l + 5*d + 85 = 0. Let g(v) = 4*v + 8. Let z be g(8). Let b = z + l. Is b a multiple of 10?
True
Does 14 divide 1*22 - (21 - 23)?
False
Let c(l) = 3*l**2 + 16*l + 8. Is 10 a factor of c(-6)?
True
Let n = 52 - 19. Is 5 a factor of n?
False
Let y = -14 + 8. Suppose -23 = 3*v - 5*b, -b = 1 - 2. Is (-302)/y - (-2)/v a multiple of 25?
True
Let f(q) = 13*q + 1. Let r be f(-2). Suppose 0 = -3*c + 2*c - 69. Let z = r - c. Does 22 divide z?
True
Suppose 3*r + 5*r = 544. Is r a multiple of 14?
False
Let g(m) = m**2 + 4*m + 4. Let d = 15 - 19. Is g(d) a multiple of 2?
True
Let q(b) be the third derivative of b**5/60 + b**4/6 + b**3/6 - 9*b**2. Does 13 divide q(-8)?
False
Suppose 2*p - 57 + 0 = -5*u, 3*p - u = 43. Suppose 7 = -g - 3*v, -15 = -4*g + 5*v + 8. Is 7 a factor of g/((p/(-22))/(-4))?
False
Suppose 2*v = 3*u - 0*v - 29, -v - 60 = -5*u. Suppose -2*m + u = 3. Is m a multiple of 5?
True
Suppose -5*h + 9 = -3*y + y, 0 = y - h. Is y + (2 - 1) + 26 a multiple of 11?
False
Is 12/(-60) - (372/(-10) + 0) a multiple of 16?
False
Let n(l) = -l - 1. Suppose 2*m = 5*r - 6, -3*m - 9 = r + 3*r. Let w be n(m). Suppose -w*u + 54 = 4*f, -5*f + 47 = 4*u - 25. Is 7 a factor of f?
False
Suppose -4*x - a + 127 = 0, 5*x + 3*a = a + 161. Let d = -57 + x. Let z = d - -57. Is 13 a factor of z?
False
Suppose 5*y = 25, 3*o + 5 = -2*o + y. Let l be (-1)/1*o*-1. Suppose -5*i + 2*a + 32 - 9 = 0, -3*i + 5*a + 29 = l. Is i even?
False
Let a = 0 - 8. Let b = a - -14. Is b a multiple of 6?
True
Let v = -11 + 23. Let x = v - -5. Is 6 a factor of x?
False
Let n(k) = -k + 6. Let r be n(5). Is 4 a factor of (r/2)/((-1)/(-22))?
False
Let s(g) be the first derivative of -g**2 + 7*g - 12. Let x be 40/(-6) + (-4)/(-6). Is 19 a factor of s(x)?
True
Suppose -3*l + 3 = -0*l. Let i = l - -2. Suppose 24 = i*k - 0*k. Is 4 a factor of k?
True
Suppose 2*y - 10 = -3*y. Suppose 3*k - 4*k = -y. Let t(r) = 3*r**2 + r. Is t(k) a multiple of 8?
False
Suppose 3*y - 221 = -10*y. Does 6 divide y?
False
Let o(h) = h**2 - h + 9. Suppose 3*l - 1 + 4 = 0. Let m be (-3)/(-6) - l/(-2). Does 7 divide o(m)?
False
Suppose 5*r - 106 = 99. Does 7 divide r?
False
Let o = 111 - 21. Let k = -46 + o. Does 10 divide k?
False
Let k = 114 - -6. Let w = -68 + k. Is 26 a factor of w?
True
Let i = 212 + -122. Does 30 divide i?
True
Let n(d) = -d**2 - d. Let p be n(0). Suppose -52 = -p*l - 4*l. Is 13 a factor of l?
True
Is (0 - -2)/(-2)*-2 a multiple of 2?
True
Let q = 1 - -4. Suppose 12 = q*i - 5*m - 148, 0 = -2*m - 2. Is 13 a factor of i?
False
Suppose 8*o - 30 = 3*o. Is 4 a factor of o?
False
Suppose 81 = -3*w - 0*w. Does 12 divide 100/3 + 9/w?
False
Let r = -34 + 151. Let q = -73 + r. Is q a multiple of 14?
False
Suppose 3*u + 10 = 2*w - 0*u, 3*w + 15 = -3*u. Let p be (6/5)/(w/65). Let l = p - -110. Does 16 divide l?
True
Let x = 12 + 24. Suppose -5*k + x = -2*j + 4*j, 5*k + 36 = 2*j. Is 6 a factor of j?
True
Let p be -2 + (55 - (1 + 0)). Let a be 3*(p - 2/2). Suppose 5*o - 2*o - a = 0. Does 21 divide o?
False
Suppose -6*v + 2*v = -16. Suppose -524 = -k - 3*k - v*d, 5*k = 2*d + 662. Suppose -3*w = w - k. Is 9 a factor of w?
False
Suppose 0 = 5*p - 3*k - 18, k = -2*p + 2 + 3. Suppose 0*l - p*l = -33. Let o = l - 4. Is o a multiple of 7?
True
Let f be 1 - 22*(-3)/6. Let o be (-3)/(-18) - (-58)/f. Suppose 2*j + 54 = 3*a - j, 2*a + o*j = 22. Does 7 divide a?
False
Let a be (-7)/(-14)*26*1. Let u = a + 1. Does 13 divide u?
False
Let g(n) = 6*n**2 - 3*n - 3. Let c be g(-3). Suppose -4*r + 2*r = -c. Let z = 46 - r. Does 8 divide z?
True
Suppose -l - 5 = -3*h + 8, 3*h = -4*l + 23. Suppose 0 = 4*q - l*q - 6. Suppose k - q*z = 9 + 5, -2*k = 5*z - 6. Is k a multiple of 8?
True
Let y(z) = z - 1. Let r(f) = 5*f + 9. Let d(j) = 2*j + 3. Let a(b) = 8*d(b) - 3*r(b). Let q(s) = -a(s) + 2*y(s). Is q(6) a multiple of 5?
False
Let x = -1 + 2. Let z(q) = 2 + x - 2*q + 3. Is z(-8) a multiple of 15?
False
Suppose 3*j + 45 + 75 = 0. Let l = -14 - -9. Let c = l - j. Is 13 a factor of c?
False
Suppose -v = -2*v + 309. Is 23 a factor of v?
False
Suppose 200 = 2*l - 2*o, 4*o = 3*l - 290 - 10. Is l a multiple of 10?
True
Suppose 3*n = 2*h - 23 - 27, 5*n + h + 66 = 0. Let s be 108/42*n/(-3). Suppose 3*j - 2*f = -j + 16, 3*j - 2*f - s = 0. Does 4 divide j?
True
Let y = 38 - 24. Is y a multiple of 3?
False
Let v(b) = -b**3 + b**2 + b - 5. Is 35 a factor of v(-5)?
True
Let m = 54 - 8. Let x = -28 + m. Is 16 a factor of x?
False
Let f(w) = 2*w**2 + 2*w - 1. Let b be f(1). Suppose j = 10 + b. Does 13 divide j?
True
Let f(m) be the first derivative of m**3/3 + m**2 + 2*m + 3. Let z be f(-4). Is 6 a factor of 2 - ((-1 - z) + 1)?
True
Let d = -4 + 6. Suppose 2*k = -d*k + j + 35, 4*k - 2*j = 38. Is 8 a factor of k?
True
Does 21 divide 3 + (-12)/(-4) + 35?
False
Let r be 12/(-16) + (-58)/8. Let l = r - -11. Is l even?
False
Let r(a) = -a**3 + 4*a**2. Let d be r(4). Suppose d = 5*s + 5, 0 = 4*v - 4*s - 0*s - 20. Suppose 2*j + 56 = 2*m, v*j - 20 - 36 = -3*m. Does 12 divide m?
True
Let c(t) = 38*t**2 + 76*t + 76. Let y(h) = h + 1. Let z(o) = c(o) - 76*y(o). Is z(1) a multiple of 15?
False
Let h = 0 - -8. Is 8 a factor of h?
True
Let y be ((-18)/10 + 1)*10. Let i(l) = -l**3 - 7*l**2 + 8*l + 12. Does 4 divide i(y)?
True
Suppose 4*y + 38 = -6. Let j(i) = -i**3 - 9*i**2 - 6*i - 1. Let w be j(-8). Let t = y - w. Is 6 a factor of t?
True
Let q = 199 + -94. Is q a multiple of 35?
True
Suppose 6*m - 895 = 293. Is m a multiple of 9?
True
Is 2/(-2) - (-217 + 6) a multiple of 51?
False
Does 14 divide 52 - (-3 - 5 - -4)?
True
Let j be 0/(-2) + (2 - 0). Suppose 4*o - j*o - 80 = 0. Is 20 a factor of o?
True
Let b be (-6)/(-8)*(6 + -2). Suppose 2*v = -2*v + l + 139, -3*l + 123 = b*v. Is v a multiple of 18?
True
Is 10 a factor of 314/8 - (-3)/4?
True
Is (153/(-12))/(6/(-16)) a multiple of 26?
False
Suppose 4*k - x + 3*x - 36 = 0, 0 = -2*k - 4*x + 12. Is 5 a factor of k?
True
Let j(x) = x**3 - 11*x**2 - 10*x + 24. Is 16 a factor of j(12)?
True
Let n be 3 + 5/(5/74). Suppose 3*o - n = 16. Is o a multiple of 14?
False
Let m be 32/(-4)*(-3)/6. Suppose -4*q - 28 = -0*t - m*t, -2*t + 12 = -3*q. Does 9 divide t?
True
Suppose 0*q - 4*j + 304 = 4*q, 4*q + 5*j - 308 = 0. Is q a multiple of 12?
True
Let x(z) be the second derivative of -z**5/60 - z**4/8 + z**3/3 - 2*z. Let m(h) be the second derivative of x(h). Does 3 divide m(-5)?
False
Let b be 372/132 - (-4)/22. Suppose -b*w + 84 = w. Does 7 divide w?
True
Let u = -79 + 144. Is 22 a factor of u?
False
Suppose 6*p = p - 145. Let t = p - -50. Is 7 a factor of t?
True
Let v be (-82)/(0 - 2/1). Let y = v - -15. Is 23 a factor of y?
False
Let b(x) = 14*x - 1. Let o = -1 + 2. Is 13 a factor of b(o)?
True
Let v(r) = -2*r + 3*r + 2 - 3*r + r**2. Suppose -3*d + 2*j = -20, d - j - 4*j = 24. Is 10 a factor of v(d)?
True
Let b be (-174)/8 - (-12)/16. Does 16 divide (-615)/b - (-4)/(-14)?
False
Let o = 75 + 4. Does 6 divide o?
False
Let z(r) = r**2 + 5*r - 2. Let t(a) = a**2 - 14*a - 21. Let n be t(15). Is 2 a factor of z(n)?
True
Let f(p) = p**3 - p**2 - 5*p + 2. Let m be f(3). Is (2 - -3)*(2 + m) a multiple of 12?
False
Let s(o) = o**2 + 6*o + 7. Let q be s(-6). Let z be -4*(-3 + q/2). Let u(f) = -6*f - 3. Does 8 divide u(z)?
False
Let z = 24 - 9. Is z a multiple of 5?
True
Let x(j) be the first derivative of -j**4/4 - 4*j**3/3 - 2*j**2 - 5*j - 2. Suppose f + 29 = 5*p, -4*f + p + p = 26. Is x(f) a multiple of 9?
False
Suppose -3*f - 34 = -103. Suppose -m - 3 = 0, -4*m = -4*b - 5 - f. Let w = 44 + b. Does 17 divide w?
True
Let q(p) = p**3 + 5*p**2 + 3*p - 4. Let h be q