+ 10. Let m be (30/(-24))/(2/(-8)). Let q = v - m. Does 3 divide q?
True
Suppose 5*s - 24 = 11. Is 7 a factor of s?
True
Let s(d) = -2*d - 3*d + d**3 + 2*d**2 - 2 + 2*d**2. Let l be s(-5). Is 16 a factor of ((-48)/(-15))/(l/(-10))?
True
Suppose -92 = 3*x - 5*x. Is 8 a factor of x?
False
Let n = -58 + 94. Does 12 divide n?
True
Suppose -2*t - l + 3*l + 10 = 0, 5*l = 0. Suppose -155 = -t*x + 110. Is 16 a factor of x?
False
Let t be (-4)/6 - (-18)/27. Suppose t*h + 515 = 5*h. Is 27 a factor of h?
False
Let t(h) = 7*h**2 + h - 2. Let v be t(2). Let i = 79 - v. Does 18 divide i?
False
Let n(j) = 3*j - 1. Let f = -6 + 8. Let a be n(f). Suppose 81 + 44 = a*k - 2*m, -4*m = 5*k - 155. Does 12 divide k?
False
Let y = -327 + 655. Is y a multiple of 36?
False
Suppose y = -5*c + 21, -y - y = -2*c + 18. Let z(a) = c*a**2 + 3*a - 4*a + 2*a + 0*a - 1. Does 2 divide z(1)?
False
Let v = 75 + -13. Does 20 divide v?
False
Let w(u) be the second derivative of u**4/12 + u**3/6 - 3*u**2/2 + 5*u. Is w(-6) a multiple of 20?
False
Is 24 a factor of (-18)/(-48) - (-2333)/8?
False
Suppose 0 = 3*j - 3*f + 18, 0 = -j - 4*f - 1 + 5. Let b be (j/10)/(2/(-20)). Does 6 divide (-2)/(-8) + 63/b?
False
Let v = 3 + -3. Let s be v/(6/3 + -3). Suppose 4*y - 2*y - 108 = s. Is 14 a factor of y?
False
Let s(i) = -2*i**3 - 5*i**2 - 4*i - 2. Is 5 a factor of s(-3)?
False
Suppose 4*r - 3*g - 39 = 0, 4*r + 4*g + 1 = -g. Let s be 366/(-10) + r/10. Is 18 a factor of (s/(-14))/(3/21)?
True
Let d = -54 + 119. Is d a multiple of 15?
False
Suppose -j = -f - 41, 4*f = -5 + 1. Suppose 0 = 5*m + g - 154, -m = -3*m + 5*g + j. Does 15 divide m?
True
Let j(p) = -p**2 - 2*p + 2. Let x be j(-3). Let q be 1 + (3/x)/3. Suppose -5*a + w + 158 = q, -4*a + w = -2*w - 122. Is 15 a factor of a?
False
Let x(a) = a**2 + 4*a - 9. Is x(-9) a multiple of 12?
True
Let o(k) = 7*k**2 - 9*k + 11. Is 47 a factor of o(5)?
True
Let c = -326 - -232. Let m = c - -134. Suppose -4*k + 344 = m. Is 27 a factor of k?
False
Let g = 639 + -351. Does 35 divide g?
False
Let k = 44 + -6. Is 10 a factor of k?
False
Suppose 5*y = 26 + 94. Suppose h + 0*h - y = 0. Is 24 a factor of h?
True
Suppose z = -4*y + 41, 0 = -2*z - 2*z + 3*y + 145. Is 10 a factor of z?
False
Let v = -8 + 37. Does 14 divide v?
False
Let i(c) = -3 - c - 11*c + 2. Let g be (-2 + 3 - 0)*-1. Is 11 a factor of i(g)?
True
Let f = 7 - -54. Does 13 divide f?
False
Suppose 3*i - 33 - 33 = -j, 2*j - 177 = 3*i. Is 10 a factor of j?
False
Let n(j) be the second derivative of 16*j**3/3 + j. Is 16 a factor of n(1)?
True
Suppose 0 = 5*o + 4*k - k - 49, -3*k = 2*o - 25. Is o a multiple of 8?
True
Let h(r) = -r**2 + 6*r - 3. Let o = -3 + -8. Let z = o - -15. Is h(z) a multiple of 3?
False
Let l(z) = 2*z - 6. Let o be l(5). Suppose -250 = 3*a + o*u, 2*a + 5*u + 332 = -2*a. Let t = 110 + a. Is t a multiple of 13?
False
Is 36 a factor of (-20)/70 + 1516/14?
True
Let w(t) = -t**3 - 3*t**2. Let u be w(-3). Suppose -5*g + 184 + 21 = u. Is g a multiple of 12?
False
Suppose 3*q - 8 = 7*q, -2*n + q + 18 = 0. Suppose -3*w + n*w - 45 = 0. Let k = w - -4. Is 13 a factor of k?
True
Let t = -103 - -199. Suppose -4*q = -76 - t. Is q a multiple of 28?
False
Suppose -2*n = 4*b - 3*b - 19, -n = -b + 16. Is 17 a factor of b?
True
Let s = -23 + 35. Suppose -s = 2*c + 2*c. Is 13 a factor of (-3)/3*111/c?
False
Let w = -28 - -40. Let r = 11 + w. Is r a multiple of 23?
True
Suppose 0 = -2*p - 4*q - 10, p + p - 4*q = 14. Let z = p + 19. Is 10 a factor of z?
True
Let h = -38 - -26. Let l be 1*(-68)/(4/(-2)). Let s = l + h. Does 11 divide s?
True
Let o be 10/6 + 2/(-3). Let t(r) = 6*r**3 + 2*r - 1. Let a be t(o). Let s(x) = -x**2 + 8*x - 3. Is 3 a factor of s(a)?
False
Let y(s) = s**3 - 20*s**2 + 40*s - 17. Does 5 divide y(18)?
True
Suppose y - n - 11 = 0, -3*n = -0*y - y + 3. Let m = y - -7. Is 11 a factor of m?
True
Let y(w) = w**3 - 2*w**2 - 4*w + 3. Let d be y(4). Let m(g) = g**2 - 3*g. Let t be m(3). Suppose t + d = c. Does 19 divide c?
True
Let l be (1 - (-2)/4)*2. Let s(u) = -u**2 + 5*u - 2. Let d be s(l). Let t(z) = z - 1. Is 3 a factor of t(d)?
True
Let l = -4 - -1. Does 10 divide -57*(-2)/(l + 5)?
False
Let n be 111/3 + (-3 - -2). Let b(v) = v**3 + 10*v**2 + 8*v - 11. Let r be b(-9). Is (n - 0)*(-1)/r a multiple of 18?
True
Let l(m) = -m**2 - 5*m + 4. Suppose y + 5*o = 4, -3*y - 5*o = -0*y + 8. Let w be l(y). Is (-3 - -33)*w/(-3) a multiple of 9?
False
Let m be ((-28)/(-2))/(1 + -2). Is (14/(-4))/7*m a multiple of 5?
False
Suppose 3*f = -2*f + 3*p + 26, 4*f - 14 = -p. Suppose -2*s - 7 = 2*t - 41, -f*t = s - 62. Is t a multiple of 6?
False
Suppose w - 2*p = 71, -w - 2*p - 2*p + 41 = 0. Suppose -3*u = -4*u + w. Is u a multiple of 23?
False
Suppose 4*x - x + 3 = 0, x - 40 = -j. Is 7 a factor of j?
False
Is ((-1)/(-2)*-9)/((-3)/140) a multiple of 10?
True
Is 23 a factor of (0 + 1)/(-6 - (-446)/74)?
False
Suppose -7*g + g + 126 = 0. Is 13 a factor of g?
False
Does 37 divide (-146 + (2 - 4))/(-10 + 9)?
True
Suppose -2*q = 0, 0*j + 4*j + 256 = -3*q. Let y = -22 - j. Is 14 a factor of y?
True
Let x be 3/(-6)*-98 + -3. Suppose -x - 6 = -2*p. Does 13 divide p?
True
Does 4 divide (-1044)/(-54) - 10/(-6)?
False
Suppose 70 = -4*y - 62. Let r = 91 + y. Let u = r - 18. Is u a multiple of 20?
True
Let y = 15 + -12. Let o be ((-1)/(-1)*6)/1. Does 2 divide 10/4 + y/o?
False
Suppose 5*j - 8 = j. Let m = 8 + j. Does 6 divide m?
False
Let i = 61 - -41. Suppose 4*m - 56 = 5*c + 26, 0 = -4*m - 5*c + i. Is 8 a factor of m?
False
Suppose 11*i = 5*m + 12*i - 795, -4*m + 665 = -5*i. Is 39 a factor of m?
False
Is 43 a factor of ((-2)/(-6))/((-2)/(-258))?
True
Let r(p) = -11*p - 1. Let w = 8 - 9. Let d be r(w). Let f = 2 + d. Does 9 divide f?
False
Let r = 4 - 6. Let b(g) = 3*g**2 + 3*g + 4. Let l be b(-4). Is 13 a factor of (2 + (-3 - r))*l?
False
Suppose y + 5*k = -10, 4*k = 2*y - y - 8. Let r be y + -1 + (-3)/(-1). Suppose r*l + 2 = 0, 3*c + 2*l = -0*l + 19. Does 3 divide c?
False
Let o(q) = q**3 + 5*q**2 + 9. Does 5 divide o(-4)?
True
Let s = 264 - 99. Suppose 3*w = -2*w + s. Does 20 divide w?
False
Suppose -3*y - 21 = 3*h, 5*h = -3*y - 6 - 25. Let j = 66 - 144. Does 13 divide (h - 0)*j/15?
True
Suppose c + 20 = 3*j, -4*j - c = 3*c - 16. Is (-3)/(-2) + 69/j a multiple of 4?
False
Suppose -3*k = -2*a + 4 + 30, -2*k + 4 = 0. Suppose 5*m - a = 5. Let t(w) = w**2 + 2*w - 3. Does 19 divide t(m)?
False
Suppose 0 = -2*v - 0*v + 120. Is v a multiple of 20?
True
Suppose 3*o + 66 = 216. Let r = o + -25. Is r a multiple of 10?
False
Let n be 6/21 + 69/(-21). Let t be n + -3 + 3 - 233. Is 17 a factor of t/(-7) - 18/(-63)?
True
Let c = -91 - -148. Does 10 divide c?
False
Is 0 + -5 + 3 + 32 a multiple of 15?
True
Suppose -3*n - 29 = -2*j, j = -j - n + 41. Is 3 a factor of j?
False
Let h be (6/(-5))/((-24)/80). Suppose h*t = -t + 35. Does 7 divide t?
True
Suppose 12 = -4*y - 0*y. Let s be (-2 - y)/(1/23). Let g = s - 4. Is 19 a factor of g?
True
Let r(p) = -8*p. Suppose 0 = 2*m - 2*k, 2*k + 5 = -3*k. Let y = 0 + m. Does 4 divide r(y)?
True
Let d(j) be the first derivative of -19*j**2 - j + 1. Is 15 a factor of d(-2)?
True
Suppose -3*h + 14 = -1. Suppose 2*u + h*j = -3*u + 85, 5*j - 37 = -2*u. Does 7 divide u?
False
Let g be (-4)/22 - 336/(-33). Is g + 4 + -1 + 3 a multiple of 13?
False
Let c(x) = x**3 - 14*x**2 + 13*x + 15. Let l be c(13). Suppose 0 = n - l + 3. Is n a multiple of 4?
True
Let v = -9 + 15. Let h = 33 + v. Does 10 divide h?
False
Let j = -4 + 32. Is 22 a factor of (j/(-1) + -3)*-1?
False
Let u be (0 + -12)*(-2)/4. Suppose -u = -2*z + 8. Suppose 3*m + z = -5*r + 48, -2*m = -3*r + 36. Is 6 a factor of r?
False
Let u(d) = 6*d**2 + d - 1. Does 6 divide u(-2)?
False
Suppose 0 = 2*j - 163 + 1. Is 27 a factor of j?
True
Is 2 a factor of ((-4)/1)/(12/(-6))?
True
Let b = -19 - -13. Is 2 a factor of 6/(-9)*1*b?
True
Suppose 16 = 5*q + p, -3*p + 5 = 2*p. Let i(l) = -l**2 + 5*l + 1 - q + 6*l. Is i(5) a multiple of 20?
False
Let o be (-4)/(-14) - (-496)/28. Let k = o + -13. Suppose -6*d = -k*d - 4. Is 2 a factor of d?
True
Suppose 5*j - 543 = 17. Is j a multiple of 20?
False
Let t = 36 + -32. Is t even?
True
Suppose 0 = 4*h + 31 + 9. Let s be (h/15)/((-1)/9). Suppose 0 = 3*d - 66 - s. Is d a multiple of 9?
False
Suppose 0 = 2*d