1/(-5)?
False
Let r be (-1 - (2 + 0)) + 13. Does 8 divide -2*1/2 + r?
False
Let w(j) = 2*j**2 + 3. Let g be w(3). Suppose -4*v - g = -7*v. Is v a multiple of 2?
False
Let h(p) = -p**2 - 4*p + 3. Let t be h(-5). Is -1*t/(-4)*-38 a multiple of 6?
False
Let h = -25 - -54. Is 14 a factor of (-1)/((-3)/(-3)) + h?
True
Let k(r) = -10*r - 2. Let o = 11 + -19. Does 26 divide k(o)?
True
Let d(s) = s**2 + 3*s + 2. Does 7 divide d(5)?
True
Let l = 7 + -7. Let k be (l/(-1) - 1) + -5. Let h(o) = -o**2 - 8*o + 7. Does 7 divide h(k)?
False
Suppose -4*m + 623 + 21 = 0. Suppose 0 = -4*f + m - 5. Is 10 a factor of f?
False
Let n = 12 - -3. Suppose -4*y = 2*w - y - 5, n = -w - 5*y. Is 10 a factor of w?
True
Let t = 113 - 56. Does 9 divide t?
False
Let h(f) = f - 8. Let t be h(10). Is 5 - (2 - (t + -1)) a multiple of 3?
False
Let c = 77 + -35. Is 10 a factor of c?
False
Let q(l) be the third derivative of -l**4/12 - l**3/3 + 5*l**2. Is q(-3) a multiple of 2?
True
Let j(g) = -g**2 - 24*g - 9. Is 12 a factor of j(-18)?
False
Suppose 5*y + 12 = 3*y. Let q(i) = -3*i**2 - 2*i + 9. Let b(o) = -4*o**2 - 2*o + 10. Let g(r) = -4*b(r) + 5*q(r). Does 19 divide g(y)?
False
Let d = -3 - -1. Let w(y) = 7*y**2 + 3*y. Let v be w(d). Let o = v - 11. Is 11 a factor of o?
True
Let i(w) = w**3 - 10*w**2 + w - 8. Let g be i(10). Let x(f) = 11*f**2 - 2. Does 19 divide x(g)?
False
Let l(u) = -3*u. Let w be l(-2). Does 16 divide (-4)/(-6) - (-290)/w?
False
Suppose -3*n + 25 + 5 = 0. Let l(d) = -d**2 + 12*d + 7. Is l(n) a multiple of 9?
True
Let a(m) = -m**2 + 7*m - 6. Let s be a(6). Suppose -2*q - 2*w - 12 = -w, -3*w + 18 = -3*q. Let u = s - q. Is u a multiple of 3?
True
Suppose -3*w - n + 8 = 0, 3*w - 5*w = -5*n - 28. Suppose w*m + 5 = 17. Suppose m*h - 7 = 4*k + 97, -k + 51 = 2*h. Is h a multiple of 16?
False
Suppose 6*a + 444 = 1908. Does 47 divide a?
False
Suppose 2*u + 26 = 4*u. Is u a multiple of 4?
False
Suppose -4*p + 17 - 57 = 0. Does 5 divide p/(-4)*42/15?
False
Let r(k) = k + 3*k**3 - 4*k**2 + 2*k**2 + k**2. Let y be r(1). Suppose -2 = -y*g + 34. Is g a multiple of 7?
False
Let x = 149 - 74. Is 18 a factor of x?
False
Suppose 0 = -0*n - 4*n - 2*d + 720, d = 0. Does 19 divide n?
False
Let n(w) = w**2 - 8*w + 5. Let c be n(8). Suppose -2*l = -c*l + 63. Let a = 39 - l. Is a a multiple of 7?
False
Suppose l - 226 = -2*x + 3*l, l + 5 = 0. Does 17 divide x?
False
Let p be -2 - -73*(-1 + 3). Suppose -3*n + p = n. Is n a multiple of 10?
False
Is 3 a factor of (-12)/(-8)*(-4)/(-2)?
True
Does 13 divide (-138)/9*(-6)/4?
False
Let w be (16/(-20))/(1/5). Let a be -1 + 32 + (w - -4). Suppose -7*t + a = -3*t + j, -15 = -5*j. Is 7 a factor of t?
True
Suppose -3*s + 10 + 95 = 0. Is s a multiple of 29?
False
Let l = -6 + 36. Is l a multiple of 15?
True
Let q(w) = -w**3 + 2*w - 1. Let n be q(1). Suppose 4*o + n*v - 104 = 4*v, -3*o - 5*v = -78. Is o a multiple of 7?
False
Let a = -1 - 1. Let p(u) be the third derivative of -3*u**4/8 - u**3/6 + u**2. Is p(a) a multiple of 17?
True
Suppose -5*a = -z + 2*z - 42, 5*z - 210 = 5*a. Suppose -5*m + 6 = -4. Suppose -f - m*f = -z. Does 7 divide f?
True
Suppose 7*m = 4*m + 9. Suppose m*q - 108 = -q. Is 10 a factor of q?
False
Let h(t) = t + 14. Let v be h(-10). Suppose -2*p = -6*p + v*i + 124, p - 3*i - 25 = 0. Is p a multiple of 14?
False
Suppose 4*k = -4*v + 108, v = -k + 5*k + 12. Let u be (v/(-16))/(1/(-54)). Suppose -3*c + u - 9 = 0. Is c a multiple of 24?
True
Let i be 1 + 2*3/(-2). Suppose t + 2*t = 0. Is i/(-4)*(12 - t) a multiple of 6?
True
Let v(t) = -2*t**2 + 2*t + 2. Let s be v(2). Is s/(-4) - 21/(-2) a multiple of 3?
False
Suppose -m = -y + 3, 2*y - 7 = -4*m - 1. Suppose 9*d + 7 = 4*d + 3*o, m = -2*d - 2*o + 10. Is ((-2)/4)/(d/(-36)) a multiple of 6?
True
Let q = 1 + 84. Does 20 divide q?
False
Let w = -6 + 12. Suppose -4*m - 6 = -w*m. Is 2 a factor of m?
False
Let t(h) = 3*h**2 - 3*h + 1. Let i be t(1). Let u = 0 + 12. Is 7 a factor of i - (u/(-3) + -2)?
True
Let t(s) = -4*s - 1. Let p be t(5). Is 18 a factor of 2/(-14) - 381/p?
True
Suppose 2*m - v - 323 = 0, -4*m + 670 - 30 = 4*v. Does 34 divide m?
False
Suppose 5*c - 6 - 9 = 0. Suppose -c*q + 47 = -q + 3*d, 4*d + 64 = 4*q. Is q a multiple of 7?
False
Let s(m) = -59*m - 21. Is s(-4) a multiple of 14?
False
Let h = -6 - -6. Suppose -5*r + 245 = -h*r. Is r a multiple of 20?
False
Let h be 3 - (-2 + (5 - -1)). Let c = 55 - h. Is c a multiple of 22?
False
Let c(y) = y + 16. Let m be c(10). Let s = 2 - 6. Let j = s + m. Is 11 a factor of j?
True
Is (37/(-1))/(-2 - (-45)/25) a multiple of 21?
False
Let k(x) be the first derivative of 9*x**2/2 + 7*x - 3. Is k(4) a multiple of 11?
False
Let f = 75 - 59. Is 11 a factor of f?
False
Let d = 4 + 0. Let n be 13/d - 6/(-8). Suppose 0 = g - n*g - 5*h + 72, -3*g + 69 = 4*h. Is g a multiple of 11?
False
Suppose -4*c = 3*m - 98, 0 = 5*m - c + 5*c - 158. Is m even?
True
Suppose 3*i + 3*f + 12 = 0, 0 = -2*f - 2*f - 16. Suppose -3*h + 48 - 15 = i. Does 11 divide h?
True
Let d(g) = 4*g + 4. Let p be d(-3). Let h be (10/p)/((-3)/12). Suppose h*a + 9 = -2*v + 4*v, -v + 2*a + 6 = 0. Does 4 divide v?
True
Let c(y) = -4 - y**2 + y + 0*y + 2*y + 2*y. Let v be c(3). Is 13 a factor of 1/(v*2/52)?
True
Does 10 divide (6 + 0)/(5*(-1)/(-25))?
True
Let p(z) = z + 9. Is p(20) a multiple of 16?
False
Suppose -j + 2 = 4*q, j - 4*q - 2 = -0. Suppose 3 = -j*c + 79. Is (6/(-6))/((-2)/c) a multiple of 6?
False
Suppose 2*w = j + 53, -7*j - 112 = -4*w - 3*j. Let u = w - 11. Is 4 a factor of u?
False
Let g = 117 - 62. Is g a multiple of 11?
True
Suppose -31 - 9 = -4*f. Suppose 3*l = 5*r - 29, -r + 2*l - 18 = -3*r. Suppose t - r = f. Is t a multiple of 9?
False
Suppose 3*i - 21 = -3*r, i + 5*r - 10 - 9 = 0. Let t(u) = i*u**2 - 3*u - 2 - 1 + u**3 + 2*u**2. Is t(-6) a multiple of 12?
False
Suppose 9 - 15 = -2*t. Suppose 0 = 2*l + p - 87, -t*l + 111 = -0*p - 5*p. Is l a multiple of 21?
True
Let f(n) be the third derivative of n**6/360 - n**5/60 + n**4/24 + n**3/6 - 2*n**2. Let h(b) be the first derivative of f(b). Is 16 a factor of h(5)?
True
Let j = 148 + -105. Does 4 divide j?
False
Suppose -m + 2*t + 5 = 4, 5*m - 12 = 3*t. Suppose -m*n = -31 - 53. Is 14 a factor of n?
True
Is 4 a factor of -4 - 2/(4/(-42))?
False
Let k(y) = y**3 + 7*y**2 - 9*y + 4. Suppose -4*r + 2*r = 16. Is k(r) a multiple of 12?
True
Suppose -332 = -4*l - 108. Is 7 a factor of l?
True
Suppose 4*l + 4*x + 4 = 8*l, 13 = 3*l - 5*x. Let q = l + 6. Suppose 3*t - q*y - 136 = 0, 0 = 2*t + 2*y - 69 - 15. Does 18 divide t?
False
Let x(q) = -q**2 - 6*q - 1. Suppose 0 = h + 4*h - 4*w + 5, -h - 3*w = -18. Suppose 20 = -2*c - h*c. Does 7 divide x(c)?
True
Suppose -4*w = -3*w - 1, 4*j - 16 = -4*w. Suppose b = 4*t - 14, j*t = 5*t + 5*b + 4. Is 2 a factor of t?
False
Let z(v) = -v**2 + 19*v + 9. Is 11 a factor of z(12)?
False
Let n be 6/21 - (-178)/14. Let i be ((-20)/(-6))/((-2)/(-12)). Suppose 3*r = n + i. Is 11 a factor of r?
True
Let i(z) = z**3 + 11*z**2 - 17*z - 18. Let r be i(-13). Is 5 a factor of r/18*(-16)/6?
True
Suppose 0 = 4*n - 0 + 24. Let x(m) be the third derivative of -m**6/120 - m**5/12 + m**4/8 + 4*m**3/3 + 5*m**2. Does 9 divide x(n)?
False
Suppose -2*q = -297 + 67. Suppose 5*w = -0*l + 3*l + q, 0 = 4*w + l - 92. Is w a multiple of 21?
False
Suppose 0 = -3*v + 3*o + 12, o - 2 = 1. Does 2 divide v?
False
Suppose 5*j = -3*j + 144. Does 9 divide j?
True
Suppose 2*o = -5*k + 7 + 41, -43 = -4*k + 3*o. Let c be (1 - -37)/(4/k). Let h = c + -63. Is h a multiple of 16?
True
Suppose 0 = -5*b - 3*z + 15, 5*b + 0*z + 5 = z. Suppose -5*k - 2 - 3 = b. Let h = k - -5. Is h a multiple of 2?
True
Does 8 divide 1782/78 + 4/26?
False
Suppose -3*v = 2*o - 12, -2 = -4*v + o + 14. Suppose -v*a - a = -90. Is 9 a factor of a?
True
Let r(g) = -3*g - 4. Let b be r(-5). Suppose -4*z + 0*z + 4 = -p, 5*z = 5*p + 20. Suppose 4*v = -5*d + b + 43, -3*d - 4*v + 34 = z. Is d a multiple of 10?
True
Let p = 38 - 17. Does 18 divide p?
False
Let b = 21 + -1. Let t = -29 + b. Let v = t + 23. Is v a multiple of 7?
True
Suppose 6 = -3*k + 6*k + 3*m, 0 = -3*k - m + 10. Suppose 2*t - k*y = -2*y + 40, 4*t + 5*y - 44 = 0. Is 8 a factor of t?
True
Let s(r) be the third derivative of 0 - 1/24*r**4 + 0*r + 1/60*r**5 - 1/2*r**3 + 2*r**2. Is 5 a factor of