(2 - 1)*-1 - -6. Is j(s) a multiple of 4?
True
Suppose 4*c + 62 = -18. Is 9/(-6)*c*1 a multiple of 10?
True
Is (-3)/6 - (-313)/2 a multiple of 13?
True
Let i = -157 - -327. Is 17 a factor of i?
True
Let i(l) = l**3 - l**2 - 2*l - 1. Let p be i(3). Let s = -8 + 3. Let k = s + p. Is k a multiple of 3?
True
Let c(p) be the first derivative of p**3/3 + 7*p**2/2 + 9*p - 1. Let i be c(-6). Is 22 a factor of 41 + (i + 1 - 1)?
True
Let x be -2 + 1 + 12 - 1. Let d be (-4)/x - 4/(-10). Let a(m) = m**3 - m**2 + m + 5. Does 2 divide a(d)?
False
Let k = 22 - 9. Let t(s) = -8*s. Let x be t(-3). Let j = x - k. Is 11 a factor of j?
True
Let k(j) = -j - 6. Let z be k(-7). Suppose 2*h = z - 3. Let q(m) = -42*m**3 + m**2 + m. Is 14 a factor of q(h)?
True
Suppose 164 = 2*a - 100. Let g be a - 1/2*4. Suppose 52 = 2*j + l, -5*j + 0*l + g = 2*l. Is j a multiple of 13?
True
Let z = 14 + -5. Is 9 a factor of z?
True
Let o(z) = z**3 - 10*z**2 - 10*z + 11. Does 14 divide o(11)?
False
Suppose -4*y = -17 - 3. Is y + 1/4*4 even?
True
Is 4 a factor of (18 + -17)/(2/30)?
False
Let j = -104 - -51. Let t = 99 + j. Does 23 divide t?
True
Let f(q) be the first derivative of 1/3*q**3 - 3/2*q**2 + 1 - 7*q. Is f(5) even?
False
Let x(b) = -b**2 - 10*b - 8. Let z(w) be the third derivative of -w**5/60 + w**4/3 + w**3/6 - 3*w**2. Let h be z(9). Is x(h) a multiple of 3?
False
Is 2 a factor of 0 + 0 + 2 - (-4)/4?
False
Let j(o) = 2*o**2 - o - 2. Let z be j(-3). Let a = 13 - z. Let y = 7 - a. Is y a multiple of 6?
False
Let l(o) = -o**3 - o**2 - o + 38. Is l(0) a multiple of 25?
False
Suppose -p + 25 = 5*r - 4, -5*p - 5 = -5*r. Let b(j) = 23*j - 6. Let h be b(r). Suppose -3*s + 7*s + 12 = 0, 0 = 5*n + 2*s - h. Is 12 a factor of n?
False
Let o(i) = i + 5. Does 6 divide o(7)?
True
Let o = 6 - -7. Suppose -o = -3*n - 1. Is n a multiple of 3?
False
Suppose 3*r - 5*m - 12 = 4*r, 3*r + m = -64. Let n(o) = 30*o**2 + 1. Let g be n(1). Let k = r + g. Is 9 a factor of k?
True
Let p be (-4)/3*6/(-4). Let k be ((-88)/p)/(-2)*8. Suppose r + k = 5*r. Does 22 divide r?
True
Let t(s) = s - 3. Let y be t(8). Suppose 2*b - 8 = -y*v - 0*b, v + 3*b - 12 = 0. Let m = 5 - v. Does 5 divide m?
True
Let a(c) = 7*c**2 - c - 1. Let j(q) = -q**3 + 3*q**2 + 2. Let f be j(3). Suppose -r + 1 = -f*r. Is 7 a factor of a(r)?
True
Let u = -117 - -202. Suppose 0 = -5*a - 0*a + u. Is a a multiple of 5?
False
Let g be (-2)/(-6) - (-6)/9. Suppose -2 = u + g. Let p(o) = 2*o**2 + 3*o. Does 9 divide p(u)?
True
Let t = -37 - -57. Suppose -t = 6*u - 2*u, -3*d + 4*u + 200 = 0. Let h = d + -36. Is 12 a factor of h?
True
Let s(g) be the first derivative of g**4/4 + 7*g**3/3 + 5*g**2/2 + 8. Is 6 a factor of s(-6)?
True
Let u(w) = -2*w + w - w. Let j be u(-1). Is 9 a factor of 0 + (j/2 - -17)?
True
Suppose -123 = -4*l + 245. Is 31 a factor of l?
False
Suppose 5*b - 2 = 153. Let r = b + -45. Does 21 divide (-2)/(-7) + (-514)/r?
False
Let w = -9 - -12. Suppose -r + 8 = -3*u - 21, w*u - 5 = -r. Is r a multiple of 3?
False
Let b be 0 + -2 - (1 + 1). Let h(s) = -5*s + 3. Is h(b) a multiple of 6?
False
Suppose -3*g = -2 - 7. Suppose 0 = -g*q - 4*o - 31, -3*o = -4*q + 2*o. Is q/(-1)*(-6)/(-10) a multiple of 2?
False
Suppose -3*b = 2*b - 285. Is 26 a factor of b + (-1 - 0 - 1)?
False
Let o(h) = h**3 - 10*h**2 - 10*h + 10. Let j(f) = -4*f - 1. Let x be j(-2). Suppose -3*l = -26 - x. Is o(l) a multiple of 13?
False
Suppose -3*y + 23 = -91. Suppose 0 = 5*b - b - 4*i - 24, 5*b + 3*i = y. Is b a multiple of 2?
False
Let f(g) be the second derivative of 157*g**3/6 - 3*g. Let q be f(-5). Does 20 divide q/(-20) - 3/(-4)?
True
Let p = 16 + 24. Is p a multiple of 8?
True
Let j be 2/4*(-8 + 2). Let c = j - -5. Does 12 divide (-1)/(46/24 - c)?
True
Let p(v) = -6*v**2 + v. Let k be p(2). Is 8/(-6)*(k - -10) a multiple of 16?
True
Let h be (-16)/48 + (-32)/(-6). Suppose m = -h + 14. Is 9 a factor of m?
True
Suppose 0 = 2*u - 386 - 254. Is 13 a factor of (-4)/6 - u/(-12)?
True
Does 19 divide 34 + 4 - (0 + 0)?
True
Let c = -8 + 10. Let j(l) = 25*l - 2. Is j(c) a multiple of 15?
False
Let g(p) = -9*p**2 - 1. Let z be g(1). Let f be 12*(-1 - z/6). Suppose 2*v - v - f = 0. Does 8 divide v?
True
Suppose -r + 9 = 2*c, r + r = -3*c + 16. Let v be ((-1)/1)/((-1)/r). Suppose -2*n - 50 = -v*h, -7*n + 2*n = -h + 10. Does 6 divide h?
False
Let o = 2 - 3. Let w = -2 - o. Let k = w - -7. Is k a multiple of 6?
True
Let p be ((-26)/(-5))/((-2)/(-10)). Does 13 divide (0 - -4)*p/8?
True
Let x be (-1)/(0 - (2 - 3)). Let q(o) = -15*o**3 - 2*o - 1. Is 16 a factor of q(x)?
True
Is (4/(-10))/(2*(-4)/2120) a multiple of 23?
False
Let i(p) = 3 - 5 + 4*p + 3. Let r be i(-4). Is 14 a factor of (-10)/(-2)*(-42)/r?
True
Let u(s) = -3*s**2 - 5*s - 10. Let p be u(-8). Let q = 231 + p. Is q a multiple of 23?
True
Let o = 20 - -313. Does 27 divide o?
False
Let i be (-1 - 13)*(-5)/5. Does 3 divide 52/i + (-6)/(-21)?
False
Let p = -13 - -14. Is 10 a factor of p/(-2 + 54/26)?
False
Suppose 3*s + 3*j = j + 15, -4*j = -5*s + 3. Suppose 4*z - s*k + 2*k - 277 = 0, -5*z + 343 = 2*k. Is 15 a factor of z?
False
Let c(j) = 17*j + 10. Does 6 divide c(4)?
True
Suppose -18 = 4*d + 2*b, 2*d - b + 22 = 3. Let m = d - -11. Is m even?
True
Let v be (6/(-9))/(4/(-438)). Suppose 5*c - 147 = v. Is 13 a factor of c?
False
Let f(h) = -h**3 - h**2 + 91. Let g be f(0). Suppose -3*k = 4*b - g, -3*b - 2*k + 39 = -29. Is b a multiple of 15?
False
Let h = 6 + -7. Does 8 divide 17 + h + 0/(-2)?
True
Suppose 0 = 4*d - d - 21. Is 4 a factor of d?
False
Suppose 5*y + 7 + 3 = 0, 0 = t - y - 8. Does 2 divide t*3*2/18?
True
Let m = 12 - 10. Suppose -m*g = -7*g + 270. Does 24 divide g?
False
Suppose f = -5*x + 425, -3*x + 8*f + 255 = 3*f. Let l = x - 45. Suppose 2*m - l - 2 = 0. Is m a multiple of 11?
False
Suppose 3*l - 2*n = 22, 2*l = 6*l - 3*n - 31. Suppose -2*s + l*s - 67 = o, -s - 4*o = -47. Is 16 a factor of s?
False
Let o = -16 + 24. Let x(b) = 5*b. Let i be x(o). Suppose -v + i = v. Is 10 a factor of v?
True
Let h = -2 - 2. Let l(f) = -3*f**2 + 3 - 1 + 4*f**2. Is l(h) a multiple of 15?
False
Suppose 24*w = 29*w - 180. Is w a multiple of 3?
True
Let w be (-24)/(-10) + (-4)/10. Let x be 8*(1 - w/4). Suppose -85 = -x*c - c. Does 8 divide c?
False
Suppose 0 = -2*o + 23 + 47. Suppose 0 = -2*y + 2, -2*l - 4*y + 3*y + o = 0. Does 6 divide l?
False
Let p be -5*(4/(-5))/2. Let y(a) = -40*a + 3 + 4*a**2 + 5*a**2 + 36*a. Is 20 a factor of y(p)?
False
Let v(u) be the second derivative of u**5/20 + u**4/4 - u**3/2 + 3*u**2/2 - 2*u. Is v(3) a multiple of 17?
False
Suppose 0 = -2*d - 3*d + 20. Let x be 6/4 + (-6)/d. Suppose x*k + k = 12. Does 12 divide k?
True
Let u(l) = -3*l + 11*l + 3*l. Let k be 9/(-3)*2/(-3). Is 11 a factor of u(k)?
True
Let h = 14 - 11. Is 1/(h - 42/15) a multiple of 2?
False
Suppose -228 = -4*v - 36. Is v a multiple of 9?
False
Let s(g) = -g**2 - 8*g - 2. Let j be s(-7). Suppose -10 = -4*r - a + 82, j*a = -4*r + 92. Suppose -2*y = -y - r. Is 9 a factor of y?
False
Let s(c) = 49*c + 2. Let h be s(1). Suppose 49 = 4*x - h. Is x a multiple of 25?
True
Let q = -4 + 7. Is (1 + -11)/(q/(-6)) a multiple of 10?
True
Suppose -4*i = 10 + 14. Does 8 divide (1 - 1) + (-192)/i?
True
Let d = 4 - -63. Is 10 a factor of d?
False
Let r = -10 + -2. Is (-4)/7*42/r a multiple of 2?
True
Let l be (114/18)/(1/9). Let c = -36 + l. Is c a multiple of 19?
False
Suppose -5*h + 8*h = 12. Suppose -5*n + 0*y + 3*y + 62 = 0, 2*n + 4*y - h = 0. Does 5 divide n?
True
Let d = 17 - 40. Let r be d/(3/(-4 - -1)). Suppose -i + r = 7. Does 8 divide i?
True
Let t(y) = y**2 + 11*y + 3. Let a be t(-10). Let l(b) = -4*b + 4. Is 10 a factor of l(a)?
False
Let s(q) = q**3 - q**2 - 2*q. Let h be s(3). Is 18 a factor of (-6)/h + 74/4?
True
Let j(d) = 4*d - 4. Is j(21) a multiple of 16?
True
Let l(g) be the first derivative of 3*g**3 + g - 1. Let z = 3 + -4. Does 5 divide l(z)?
True
Let y be 17/5 + 4/(-10). Let b be (y + -2)/((-2)/(-4)). Suppose g - b*a - 26 = 0, g = a - 5*a - 4. Is 14 a factor of g?
False
Let o = 12 - 10. Suppose 0 = -3*i + 52 + o. Is 13 a factor of i?
False
Suppose h + 0*h = -j + 9, 4*h + 9 = 5*j. Suppose 0 = -z + r + 49, -z = 2*z - h*r - 149. Is z a multiple of 16?
False
Let a = -8 - -3. Let k = -3 - a. Suppose 0 = -k*i + 1 + 3. Doe