. Is i a multiple of 7?
True
Suppose 10*z = 5*z - 755. Is z/(-9) + 4/18 a multiple of 17?
True
Let w(r) = r**3 + 4*r**2 + 3*r + 1. Let m be w(-2). Let l(i) = i**3 - i**2 - 3*i + 1. Does 7 divide l(m)?
False
Let s = -20 - -124. Does 13 divide s?
True
Suppose -2*z + 6*z + 2*a + 76 = 0, -z + 2*a - 24 = 0. Let f = z + 40. Is f a multiple of 4?
True
Suppose -l = -4*l - 9. Let q = 5 + l. Suppose q*k - 20 = -0*k. Is k a multiple of 10?
True
Let s = -27 - -16. Does 2 divide (7/4)/(s/(-44))?
False
Let n = -83 - -163. Does 25 divide n?
False
Does 2 divide 1/2*(-54)/(-3)?
False
Suppose -9*t = 433 - 2269. Is t a multiple of 17?
True
Suppose -2*k - 115 = 43. Let c = k - -123. Is c a multiple of 18?
False
Let z(p) = -p**3 - 4*p**2 - 4*p + 1. Let c be z(-3). Suppose -c*h = h - 195. Does 10 divide h?
False
Suppose -114 = -5*v - k, -5*k = -2*v - 0*k + 51. Suppose 5*c + 3*y = 12, 0*y - 7 = -4*c - 5*y. Suppose 6 = -c*m, 2*w + 3*m = v + 5. Does 11 divide w?
False
Let k = -10 + 4. Let f = k - -22. Is 15 a factor of f?
False
Let f be (-2)/9 + (-76)/(-18). Suppose -f*i + 142 = -2*i. Is 20 a factor of i?
False
Let l = 11 + -16. Let r(t) = -t**2 + 5*t + 10. Let x(w) = 2*w**2 - 9*w - 19. Let c(s) = 5*r(s) + 3*x(s). Is 13 a factor of c(l)?
False
Let s be (-16)/10 + (-10)/25. Let j = s - -5. Suppose -o + 24 = -0*o - 2*z, j*o + 3*z - 45 = 0. Does 18 divide o?
True
Suppose 5*c + m - 5 = 0, -2*c + m = -c - 7. Suppose c*k = 12 + 42. Does 19 divide k?
False
Let t(l) be the second derivative of -l**5/20 - 2*l**4/3 - l**3/6 - 5*l**2 - 4*l. Let j be t(-8). Is 2/(5/((-15)/j)) a multiple of 2?
False
Let q(i) = -7*i + 2. Let k(y) = -6*y**3 + y**2 - y. Let s be k(1). Is 22 a factor of q(s)?
True
Let x(j) be the second derivative of -j**5/20 + 5*j**4/12 + 4*j**3/3 - 2*j**2 + 2*j. Let s be x(5). Suppose -4*h + s = -5*l, 6*l = 2*l. Does 5 divide h?
False
Let g be 14/49 + (-2012)/(-14). Suppose 2*m - g = -0*m. Is 18 a factor of m?
True
Let j be 2/(-4)*-4 + 1. Suppose 46 + 47 = j*m. Does 10 divide m?
False
Let w = -18 - -32. Does 3 divide w?
False
Suppose 0*i - 5*i - 7 = 2*q, 0 = -q + 4. Let z = i + 3. Suppose 2*c - 1 - 3 = z. Is c even?
True
Let w = -74 + 80. Does 2 divide w?
True
Let c be (-1 + 4)/((-12)/(-8)). Is 34/1*(c + -1) a multiple of 17?
True
Suppose -3*r + 4 = -2*r. Let g = r - -56. Is 10 a factor of g?
True
Suppose -6*q + 0*q + 36 = 0. Is 6 a factor of q?
True
Does 2 divide (-31)/(-3) - 8/24?
True
Let o(p) = -28*p + 4. Suppose 0 = -0*i + 5*i + 15. Let n be o(i). Suppose 62 = 5*u - n. Does 12 divide u?
False
Let l = -268 + 378. Let u(d) = d**2 + 2*d + 2. Let y be u(-2). Suppose l = y*h - 42. Does 26 divide h?
False
Let t be (3 + -15)/(-3)*1. Suppose -2*s - 4*w + 31 = s, 32 = t*s + 3*w. Suppose 6*q - 65 = -s*j + q, 0 = -2*j - 5*q + 23. Is 11 a factor of j?
False
Let i = -3 + 5. Suppose -i*q - 137 = -7*l + 2*l, -3*l = -q - 82. Suppose 3*x - 21 - l = r, 80 = 5*x - 5*r. Is x a multiple of 16?
True
Let a = -425 - -710. Is 13 a factor of a?
False
Let j(h) = -h**2 + 6*h. Let n be j(6). Suppose n*z + 4*z = 56. Let l = -5 + z. Does 3 divide l?
True
Let g(b) = b - 12. Let s be g(21). Let d be (3 + -1)/2 - -5. Does 20 divide (222/s)/(4/d)?
False
Let l = -7 + 17. Suppose 0 = -5*a + l + 20. Does 3 divide a?
True
Let r(v) = -v**3 + 4*v**2 + 3. Let g(h) be the first derivative of h**2/2 + 9*h - 1. Let u be g(-6). Does 5 divide r(u)?
False
Suppose -6 = -3*p + 6. Suppose -3*x = -6*x + h + 108, -12 = p*h. Is 16 a factor of x?
False
Suppose 0 = -j + 2*i + 28, 0*j + 5*i = 2*j - 60. Suppose 5*x = -v + j, 0*x - 10 = -5*v + 5*x. Is 2 a factor of v?
False
Suppose 4*h - 84 = 2*w, 2*h - h = -3*w - 126. Let p = w + 106. Is 13 a factor of p?
False
Suppose 808 = 4*d + 4*c, -c + 459 + 349 = 4*d. Does 33 divide d?
False
Suppose 4*l - 151 = -i, -3*l + 860 = 5*i - 4*l. Does 19 divide i?
True
Suppose r + r = 132. Let z = r - 23. Let p = 66 - z. Is 19 a factor of p?
False
Let x = -4 - -34. Suppose -4*n + 5*z = -59, 0 = 3*n + z - 0*z - x. Is 11 a factor of n?
True
Suppose 0 = -3*o + 2*a + 19, 3*o + 2*a = 4*o - 1. Let x = o - 5. Suppose -2*q = -x*q + 6. Does 3 divide q?
True
Let p(u) = 3*u**3 + 1. Let y be p(-1). Is y/4 + (-45)/(-2) a multiple of 11?
True
Let g(j) be the first derivative of -j**3/3 - 4*j**2 - 8*j + 1. Let b be 4/((-8)/(-6))*-2. Is 3 a factor of g(b)?
False
Let z(k) = -k + 3. Let b(i) = i**2 - 1. Let m be b(1). Let v be z(m). Let p = 22 + v. Is p a multiple of 10?
False
Let z(u) = 14*u**2 + 2*u + 2. Does 25 divide z(-2)?
False
Suppose 0*w = 2*w. Suppose -x + 11 + 19 = w. Does 10 divide x?
True
Let z be (-21)/6*-2*1. Suppose -q = -z - 23. Is q a multiple of 30?
True
Let b be (2/5)/((-2)/(-20)). Suppose b*h - 12 - 6 = -2*r, 3*h - 2*r - 3 = 0. Suppose 12 = h*c - 2*c. Is c a multiple of 12?
True
Suppose r + c + 23 = 0, 31 = -2*r + c - 0*c. Is (-60)/(-27) - (-4)/r a multiple of 2?
True
Suppose 2*c - 12 = -4*o, -3*c - 6 = -2*o - 16. Let i be (10/6)/(c/24). Is 11 a factor of 38/4 - (-15)/i?
True
Suppose -2*h + 11 = -2*i + h, 0 = 4*i - 2*h + 2. Let z(b) = -15*b**2 + 3*b + 6. Let r(j) = -5*j**2 + j + 2. Let q(a) = 17*r(a) - 6*z(a). Does 8 divide q(i)?
True
Suppose i - 2*j = 2, 0 = -7*i + 2*i - 4*j + 24. Suppose 0 = -i*a + 2*a + 4. Suppose a*y = -17 + 63. Is 17 a factor of y?
False
Let i(s) = -10*s**3 - 2*s**2 - 2*s. Let v be i(-1). Is (44/v)/(17/85) a multiple of 5?
False
Suppose -5*r + w = -4*w + 20, 0 = -r - 5*w + 26. Let c = 4 - r. Suppose -3*j + c*l + 2*l = -28, 0 = 2*l + 4. Is j a multiple of 3?
True
Suppose 62 = f - o - 0*o, -334 = -5*f - 3*o. Let x = -34 + f. Does 31 divide x?
True
Let l(h) = h - 1. Let r(b) = b**3 - 6*b**2 - 9*b + 10. Let c be r(7). Let a be l(c). Let p(u) = -2*u - 7. Is p(a) even?
False
Let r = 69 + -51. Is 3 a factor of r?
True
Let m(n) = 2*n - 10. Suppose -7*g - 4*a + 43 = -2*g, g + 2*a = 11. Let p be m(g). Suppose p*w = 2*w + 20. Does 5 divide w?
True
Is 1/(-2) + 217/2 a multiple of 27?
True
Suppose 67 + 61 = -4*k. Let m = k + 46. Does 14 divide m?
True
Suppose -t + 3*t + 2 = 0. Does 3 divide (18/(-15))/(t/5)?
True
Suppose 0 = -x - 12*x + 234. Does 9 divide x?
True
Let r(q) = 3*q**3 - 17*q**2 + 9*q - 3. Is r(7) a multiple of 16?
True
Suppose -2*g = 5*a - 87, -a + g + 4*g + 39 = 0. Is 3 a factor of a?
False
Let z(o) = -o + 4. Let h be z(-4). Suppose 2*n + h*w - 48 = 4*w, w + 105 = 4*n. Does 26 divide n?
True
Suppose 2*k + 2 = -m - 1, 5*k = -4*m - 6. Is 11 a factor of 62 + (m + 1)/(-2)?
False
Let z = -2 + 34. Does 12 divide z?
False
Let g(l) = -l**3 + 7*l**2 + 11*l - 7. Is g(7) a multiple of 14?
True
Let x = 95 + -32. Suppose 3*u - n = 4*u - x, n = 2. Suppose -2*b + h + u = 0, 5*b + 0*h = -5*h + 115. Is 14 a factor of b?
True
Let v be 7/(-2) - 1/2. Let z = v - -55. Does 15 divide z?
False
Let k(x) be the second derivative of -5*x**3/2 + 2*x. Is 15 a factor of k(-2)?
True
Let l = 15 + -23. Is 28 a factor of ((-6)/9)/(l/1068)?
False
Suppose -3*z = u - 16 - 4, -10 = -2*z. Let c(k) = -k**3 + 7*k**2 - 5*k + 2. Is c(u) a multiple of 9?
True
Is -5 + (-474)/(-9) - (-4)/(-6) a multiple of 28?
False
Let k(u) = u**3 + 0*u**2 + 3 + 2*u**2 - u + u**2. Let b be k(-3). Suppose b = -5*h + 51. Does 5 divide h?
False
Let m be (92 - (-4 + 3)) + 1. Suppose 2*r = -b + 73, 9*r - 4*r = 25. Suppose -3*c + b = -l - 3*l, m = 5*c - 3*l. Is c a multiple of 9?
False
Let p be 2/4 - (-9)/6. Suppose -4*x - 4*f + 165 = -75, 4*x + p*f - 244 = 0. Is 17 a factor of x?
False
Suppose -2*p + 3*r - 23 + 140 = 0, -2*p = r - 129. Does 9 divide p?
True
Let h(n) = -n**2 - 5*n - 3. Let w be h(-2). Suppose -w*x + 2*x = -4. Let v(g) = 2*g**2 - 2. Is 10 a factor of v(x)?
True
Let x be (2/(-4))/((-3)/168). Suppose 5*z + 31 = -34. Let k = z + x. Is k a multiple of 15?
True
Let y = 13 - 7. Let a = -2 - -1. Let g = y - a. Is g a multiple of 6?
False
Let d = -27 + 41. Is d a multiple of 14?
True
Suppose -31*z + 26*z = -110. Is z a multiple of 4?
False
Let d(j) = -j**2 - 6*j + 3. Let c be d(-6). Let v be 8/6 + (-1)/c. Is ((-1)/1)/(v/(-16)) a multiple of 9?
False
Let f = 33 + -29. Is f a multiple of 4?
True
Let t(m) = m**2 + 6*m + 8. Let z(w) = w + 1. Let v(d) = t(d) - 5*z(d). Suppose -12 - 3 = -3*f. Does 15 divide v(f)?
False
Suppose -r - 4*r = -4*b + 285, 3*r - 180 = -3*b. Does 22 divide b?
False
Let x = -58 + 32. Let w(z) = -