 divide m?
True
Let i be (1 - 1/2)*-498. Let s = -136 - i. Suppose 4*h = s - 17. Does 11 divide h?
False
Suppose 5*d = -0*a + a - 4, -5*a - 120 = 3*d. Let m = -31 - a. Is (-94)/m + (-4)/10 a multiple of 9?
True
Suppose 6*s - 3*s = -12, 3*s + 192 = 5*r. Is 17 a factor of r?
False
Let i(g) = 6*g - 1. Let v be i(1). Suppose 0 = -2*c + 6*c - 4*l - 36, -l = v. Does 4 divide c?
True
Suppose -4*y = y - 1060. Suppose -i + 3*s + 11 = -17, -y = -5*i - 3*s. Does 20 divide i?
True
Let m be 2 + (2 + 0 - 1). Suppose 6 = -p - 2*z - 2*z, m*p - 15 = -z. Is ((-2)/p)/(1/(-27)) a multiple of 9?
True
Let p = 58 + -54. Is p a multiple of 4?
True
Let l be (0 - 12)/(-3) - 2. Suppose -l*j = -18 - 36. Let w = 46 - j. Is w a multiple of 7?
False
Let b = 292 - 151. Does 28 divide b?
False
Let l = 7 - 4. Let x(m) = m**2 - 2*m - 4. Let k be x(l). Is 0 + k - 120/(-6) a multiple of 13?
False
Suppose -3*h = -33 - 36. Let b = h - 10. Let j = 48 - b. Is 14 a factor of j?
False
Suppose 11 = 4*n - 33. Is 11 a factor of n?
True
Suppose -4*f = r + 7, -f - 3*r = -9 - 3. Suppose -5*g + q - 32 = 0, q - 10 = -4*q. Is 20 a factor of -47*(-2)/g*f?
False
Let w = 102 + 3. Is w a multiple of 15?
True
Let v = 153 - 82. Suppose 0 = 2*f + 9 - v. Is f a multiple of 8?
False
Let t(u) = -u + 1. Let d be t(-11). Suppose 33 = 3*z - d. Suppose k + 4*r - 8 = 0, z = -k + 4*k + 3*r. Is k a multiple of 2?
True
Let g(k) = k**3 - k**2 + k + 12. Is g(0) a multiple of 12?
True
Let b be 1/(-2 + 1) - -1. Suppose 10 = 5*a - b. Does 8 divide a*(1 - 2)*-8?
True
Suppose -z - z + 28 = 0. Is 5 a factor of z?
False
Suppose -348 = -3*k + 3*q, 5*k = -2*q + 661 - 53. Suppose -2*m = 3*m - k. Is m a multiple of 8?
True
Let u(o) = o**3 - 19*o**2 - 19*o + 4. Is u(20) a multiple of 3?
True
Let s(d) = d**2 + 0*d**2 - 3 - 4 + 10*d. Is s(-13) a multiple of 32?
True
Suppose -126 - 1392 = -6*n. Is n a multiple of 11?
True
Let z(h) be the first derivative of h**4/4 + 2*h**3/3 - 2*h**2 - 2*h - 2. Let k be z(-3). Suppose -7 = -2*c + k. Does 4 divide c?
True
Let u(t) = -t**3 - t**2 + 2*t - 2. Let q(l) = -5*l**2 - 2*l + 1. Let x(s) = -3*s**2 - s + 1. Let z(a) = 5*q(a) - 8*x(a). Let b be z(-2). Is 5 a factor of u(b)?
True
Let o(f) = -2*f - 5*f**2 - 9 - 3*f + f + f**3. Let c be o(7). Let z = 87 - c. Does 13 divide z?
True
Suppose -6*d - 808 = -8*d. Is 54 a factor of d?
False
Is 14 a factor of 0/(-3) + (-3 - -45)?
True
Let i(x) be the second derivative of -x**5/20 + 2*x**4/3 - x**3/2 - 2*x**2 - 2*x. Is i(7) a multiple of 6?
True
Suppose -z - 23 = 5. Let o = 1 - z. Is o a multiple of 16?
False
Suppose -3*r + 3*i + 123 = 0, -50 = -5*r + 3*i + 163. Is r a multiple of 15?
True
Suppose a - 31 = 2*x + 28, -2*a + 110 = 4*x. Is 10 a factor of a?
False
Suppose 0 = 3*o + 5*f - 7, -3*o + 5*o = -f + 7. Suppose -o = -3*m + m. Suppose -4*h - 2*v + 70 = 0, m*v = 4*h + v - 73. Does 10 divide h?
False
Suppose 3*g + 858 = 5*z, 4*z - 3*g - g - 680 = 0. Is 29 a factor of z?
True
Let g(c) = 17*c + 3. Is 13 a factor of g(4)?
False
Let t be 4*-9*(-2)/8. Is 5 a factor of 15*(21/t + -2)?
True
Let z = -53 - -97. Does 26 divide z?
False
Let w = 21 - 1. Does 20 divide w?
True
Suppose 35*f - 120 = 34*f. Is f a multiple of 12?
True
Let f(p) = -5*p + 15. Let x(q) = 3*q - 8. Let j(m) = 4*f(m) + 7*x(m). Suppose 0 = -6*y + y + 45. Does 4 divide j(y)?
False
Let r = -37 + 93. Is 28 a factor of r?
True
Let x(a) = a**3 - a**2 - 6*a - 6. Let g be x(6). Suppose 0 = -5*k + 3*k + g. Suppose -4*y + k = 13. Does 5 divide y?
False
Let w(c) = -c + 26. Let y(n) = -4*n + 3*n + 0*n - 8 + 0*n. Let g be y(-8). Is w(g) a multiple of 9?
False
Let o(n) = n**3 - 4*n**2 - 9*n + 10. Does 4 divide o(6)?
True
Let v = 1 + -12. Let a = v + 18. Suppose -5*b = -42 + a. Is 7 a factor of b?
True
Let s(q) = -q**3 - 4*q**2 - q. Let v be s(-4). Let k be 0 + 0*(-2)/v. Is 13 a factor of 2 + 0 + (24 - k)?
True
Suppose 0 = 4*u + 5*z - 22, 2*u - 2*z + 1 = 3. Suppose -u*l = -5 - 4. Suppose 4*s + 141 = l*b, -b + 15 = -2*s - 34. Is 17 a factor of b?
False
Let v(i) = 22*i**2 + i - 2. Is v(2) a multiple of 14?
False
Let c(j) = j**3 + 8*j**2 + 7*j. Let u be c(-7). Let y be (8/(-3))/(1/(-3)). Suppose u = -4*x + y, z - 2*x = -0*x + 17. Is z a multiple of 11?
False
Suppose 5*z - 4*g - 363 = 0, 0*z - 5*g - 360 = -5*z. Does 19 divide z?
False
Suppose 3*o = -2*v + 257, 0 = -2*v + 3*v + 5*o - 139. Does 24 divide v?
False
Let x(o) = -o - 2. Let z be x(-1). Let c(q) = -40*q**2 + 1. Let b be c(z). Let t = -13 - b. Is 13 a factor of t?
True
Suppose 4*i - 3*v - 821 - 2357 = 0, 2*v = 4. Suppose 22 = 3*k + i. Is 10 a factor of k/(-8) - 1/4?
False
Let g(x) = -6*x - 9. Is g(-4) a multiple of 5?
True
Let q = -2 + 3. Let s be ((-2)/4)/(q/(-8)). Suppose 24 + s = 4*n. Does 7 divide n?
True
Suppose -2*g + 8 = 0, 4*n + 2*g = -0*g - 8. Let h be ((-2)/n)/((-1)/(-28)). Suppose 36 + h = 2*f. Is 12 a factor of f?
False
Is 4/(-3 + (-170)/(-56)) a multiple of 23?
False
Let z be 6/12 + 426/4. Suppose 5*a = 33 + z. Is a a multiple of 14?
True
Let v be (-1)/(-3)*3 + 2. Let y = v + -4. Let i = 12 - y. Does 9 divide i?
False
Let v be 5 - (3 + -2)*2. Suppose 2*p - v*p - 102 = -5*u, p + 39 = 2*u. Does 17 divide u?
False
Let z = 0 - 2. Let j(c) = 2*c + 2. Let f be j(z). Is 7 a factor of (-1)/(1/14*f)?
True
Suppose 2*d - 63 = -d. Let f = 54 - d. Suppose -4*a + a = -f. Does 11 divide a?
True
Let j be (-8)/(-3)*(0 + 3). Let a = -11 + 14. Suppose -4*m = -a*m - j. Does 6 divide m?
False
Let z(h) = -5*h - 7. Let d(c) = c**3 + 5*c**2 + 6*c + 3. Let i be 2*(-1 - 0) - 2. Let w be d(i). Is 7 a factor of z(w)?
False
Let h(i) = i**2 + i + 17. Let u be 0/(0 + -1)*-1. Let w be h(u). Let t = w + 7. Does 17 divide t?
False
Suppose 5*s - t + 3 = 7*s, 4*s = -3*t + 5. Suppose -4*g = -2*g - 48. Suppose -4*c - g = -u, s*u - 6*c + c - 39 = 0. Is u a multiple of 7?
False
Let w(d) = 10*d - 6. Is w(4) a multiple of 17?
True
Let j(f) = -8*f - 2. Suppose -2*p + k = -6*p - 18, p - 5*k + 15 = 0. Does 18 divide j(p)?
False
Suppose 2*n - 214 = -4*t - 0*n, 5*n - 76 = -t. Is 17 a factor of t?
True
Suppose -370 = -19*j + 17*j. Is 24 a factor of j?
False
Suppose 0 = 2*w - 23 + 77. Is 11 a factor of 4/1 - (w + 2)?
False
Suppose 7*b = -0*b + 182. Is 13 a factor of b?
True
Let s(i) = i**3 + 8*i**2 + 6*i - 1. Let h be s(-6). Suppose -10 = -2*n, 6*z - 2*z - n = h. Is 10 a factor of z?
True
Suppose -n - 12 + 1 = 0. Let o = 22 - n. Does 12 divide o?
False
Let c = 7 - 3. Let p = 7 - c. Suppose 2*i = 4*x - 0*x - 122, 0 = -2*x - p*i + 57. Does 13 divide x?
False
Let h be (8/(-5))/(2/(-45)). Let a = h - 21. Is 9 a factor of a?
False
Let l = 7 - 10. Let m be (-2)/3 + (-95)/l. Let g = m + -18. Is g a multiple of 12?
False
Suppose 5*b = 5*p + 20, 4*b + 16 = 2*b - 4*p. Suppose f - 2*s - 25 = -b*f, 19 = f - 5*s. Let o = f + -18. Does 11 divide o?
True
Let g(y) = y**3 + 5*y**2 + 3*y - 1. Let b be g(-4). Suppose 1 + b = 2*t. Suppose 0 = -t*f - 2*f + 56. Is f a multiple of 14?
True
Let s be (-24)/14 - 2/7. Let j be 662/8 - s/8. Suppose -2*r + j = -h + 22, -5*h = 5. Does 15 divide r?
True
Let n = 10 - 19. Let p(r) = r**2 - 4*r + 3. Let i be p(6). Let u = i + n. Is u a multiple of 5?
False
Let l(g) = g**3 + 12*g**2 + 8*g - 13. Is l(-11) a multiple of 20?
True
Suppose -6*u - 65 = -11*u. Is 3 a factor of u?
False
Let a be 3*1 - (22 - 6). Let u = 23 - a. Does 20 divide u?
False
Suppose 4*r = 8*r + 184. Let q = 124 + r. Is q a multiple of 34?
False
Let r(i) be the second derivative of i**3 - 4*i. Let l be r(-1). Does 6 divide 0 - l*(1 + 3)?
True
Let t = -58 - -141. Does 6 divide t?
False
Let r = 123 + -93. Does 5 divide r?
True
Suppose 2*z + 5 = -2*i + 21, -5*i + 22 = -z. Suppose 4*s - 25 = -i*j, -2*j + 5*s = -9 - 1. Suppose -17 - 33 = -j*o. Is o a multiple of 4?
False
Let l = -240 + 576. Is 24 a factor of l?
True
Suppose 0*s + 4*n - 52 = -s, 0 = -s + 2*n + 64. Let y = s - 27. Is y a multiple of 11?
True
Let o = -51 - -71. Suppose -2*n - 2*x = -30, 0*n - 2*x = n - o. Does 5 divide n?
True
Let r = -4 + 5. Is 48*1 + -2 + r a multiple of 19?
False
Let a(h) be the second derivative of -h**5/20 - 2*h**4/3 + 7*h**3/6 + 4*h**2 + 2*h. Is a(-9) a multiple of 13?
True
Let b(p) = -p - 1 + 2 - 7. Let t be b(-8). Suppose -t*d + 7*d = -3*c + 115, -3*d + 76 = 2*c. Is 13 a factor of c?
False
Suppose -3*u = 5*r + 127, -5