factor of j?
False
Let l be 2 + 1/2*4. Is 6 a factor of 23/2 + (-2)/l?
False
Suppose 0 = 3*s - 9 - 9. Does 4 divide s?
False
Let p = -4 - -7. Let q(l) be the third derivative of l**5/15 - l**4/8 + l**2. Does 13 divide q(p)?
False
Let c(o) = o**3 - o**2 - o. Let x be c(0). Suppose 3*t + x*t = 630. Suppose 2*y + s = y + 42, -s - t = -5*y. Is y a multiple of 15?
False
Suppose -4*a + 5*l = -5 - 156, -4*a - 3*l = -153. Is a a multiple of 12?
False
Suppose 3*b + 0 + 5 = a, 3*b = -3. Suppose a*h = 8 - 0. Is (h/(-4))/((-1)/28) a multiple of 14?
True
Suppose -4*f + 3*q = -12, -3*f + 5*q = -0*q - 20. Suppose f*r = r - 14. Is r a multiple of 5?
False
Let z(j) = -5*j - 6 + 7*j + 4 + 2*j. Let u be z(2). Suppose -2*l - 11 = -u*l + 3*c, -c - 22 = -5*l. Is 3 a factor of l?
False
Suppose -4*z = -37 - 79. Is 13 a factor of z?
False
Let o(z) = z**2 - 24 + 52 + 55. Is 24 a factor of o(0)?
False
Let f(j) = -j**3 - 8*j**2 - 8*j - 9. Let d be f(-8). Suppose -5*v - 22 + d = 4*u, u = -5*v + 27. Suppose -5*o + u*o + 30 = 0. Does 5 divide o?
True
Suppose 5*a - 31 - 14 = 0. Suppose 12 = -b + 4*z, -4*b + 2*z + z - a = 0. Suppose b*s - 2*s = -36. Is 18 a factor of s?
True
Let b(j) = 5*j**2 - 14*j + 27. Let h(n) = -3*n**2 + 7*n - 14. Let r(s) = 4*b(s) + 7*h(s). Let c be r(-8). Suppose 3*i = 38 - c. Does 6 divide i?
True
Suppose 47*d + 162 = 48*d. Is 56 a factor of d?
False
Suppose 0 = 5*c + 4*s - 140, -3*c + 5*s - 7*s + 84 = 0. Is 5 a factor of c?
False
Suppose 2*u - u = -6. Let l = u + 7. Let o = 23 + l. Does 8 divide o?
True
Suppose m = -2*m + 120. Is 15 a factor of ((-20)/25)/((-2)/m)?
False
Suppose 303 = 29*y - 26*y. Is 12 a factor of y?
False
Let k = -326 + 579. Is 23 a factor of k?
True
Let v be (-3419)/(-39) - 2/(-6). Let h = v + -61. Is h a multiple of 19?
False
Suppose 0*u + 220 = -4*u. Let q = 83 + 2. Let x = u + q. Does 12 divide x?
False
Let d = -58 - -91. Is 11 a factor of d?
True
Let w = 7 + -3. Suppose -2*o - 26 = -w*o. Is 4 a factor of o?
False
Let u be (-18)/(-45) + (-1246)/(-10). Let d = -47 + u. Does 14 divide d?
False
Let i(j) = j**3 + j + 9. Is 8 a factor of i(4)?
False
Let f(o) = -o - 2. Let d = -1 - 5. Does 4 divide f(d)?
True
Let c be -1 - (-1 + 4)/(-3). Suppose c*q - o - 9 = -4*q, -3*o = 5*q - 24. Does 3 divide q?
True
Suppose -x + 48 = 3*x. Suppose -5*g + y - 4*y = -30, 6 = -3*g + 3*y. Suppose -x = -j - g*j. Does 2 divide j?
False
Suppose 10*p - 11*p = -131. Is 37 a factor of p?
False
Suppose -4*k = -2*b + 42, 3*b - 3*k = 2*b + 25. Is 5 a factor of b?
False
Suppose -3*r = r - 2*x - 30, -5*r - 2*x + 42 = 0. Let o(q) = 4*q - 8. Let v be o(r). Suppose 3*c - v = c. Does 8 divide c?
False
Is (1/(-3))/(18/(-2646)) a multiple of 8?
False
Is 10 a factor of (28/5)/((-16)/(-280))?
False
Suppose 2*c = -5*g - 9, 4*c - 3 = -2*g + 3. Does 16 divide -1*(-61 + 0) - c?
False
Let w be 0 + 2 + 17 + -1. Let u = w - 7. Suppose 4*n - 1 = u. Does 2 divide n?
False
Does 9 divide (108/(-60))/(1 + (-32)/30)?
True
Suppose m - 11 = b, 2*b + 14 = -2*m + 4. Let q = b + 27. Is 19 a factor of q?
True
Suppose -4*s + 72 = 2*b, 9 + 7 = 4*s. Does 14 divide b?
True
Does 7 divide 3 + 19 + 7 + -1 + 0?
True
Suppose 0 = 5*o - o - 124. Is o a multiple of 27?
False
Let y(v) = 7*v + 11. Let p be y(-6). Let u = 0 - p. Is 8 a factor of u?
False
Suppose -2*n + 5 = 4*k - 9, 4 = -4*k. Is 2 a factor of n?
False
Let h(q) be the second derivative of q**3/3 - 3*q**2 + q. Does 8 divide h(7)?
True
Let b(f) = f**3 + f**2 + f + 42. Is 7 a factor of b(0)?
True
Let r(n) = n**3 + 6*n**2 - 9*n - 2. Suppose 3*q - 2*q - 9 = 0. Suppose j - 4*f + 2*f = -q, -2*j + 3*f = 17. Is 12 a factor of r(j)?
True
Does 22 divide 6/(-30) - 792/(-10)?
False
Let i(l) = -2*l**3 - 2*l - 2. Let b be i(-1). Let p(v) be the second derivative of -v**5/20 + v**4/6 + v**3/2 - v**2/2 + 2*v. Is 2 a factor of p(b)?
False
Suppose 5*y = -4*u + 98, -3*y + 6*u = u - 44. Let i = 13 + y. Is 17 a factor of i?
False
Let n = 13 + -6. Suppose -n = 5*k - 5*w - 37, 2*k - 8 = 4*w. Is 8 a factor of k?
True
Let p(r) = r**2 - 13*r + 12. Let g be p(12). Let s(c) = -2*c**3 + 44 - 4*c**2 + 3*c**2 + c**3. Does 16 divide s(g)?
False
Suppose h = 3*h + 10. Let a(m) = -8*m + 5. Let b be a(h). Let n = -27 + b. Does 9 divide n?
True
Let y be -1 - ((-3)/3 + 0). Suppose y = -5*j - 3*d + 209, -5*j + d + 2*d + 191 = 0. Let g = j - 24. Is 16 a factor of g?
True
Let w be 0 - 5/((-10)/8). Suppose -w*p + 5*u + 15 = 0, 4*u + 12 = -p + 2*p. Suppose -2*c = 3*k, p = 4*c + 2*k - 1 - 7. Does 2 divide c?
False
Does 27 divide -4 + 4 + -3 + 53?
False
Let y = 12 - -7. Let h = 0 + 2. Suppose h*a - 51 = -3*a - 2*d, -a + 4*d + y = 0. Does 11 divide a?
True
Suppose -52*m - 234 = -55*m. Is m a multiple of 39?
True
Let m(c) = c**2 + 2*c - 7. Let z be m(-5). Let a = -2 + z. Does 2 divide a?
True
Let x(n) = -n**3 + 3*n**2 + 3*n - 4. Let u be x(3). Suppose -y = 1, y + 196 = u*q + 60. Is q a multiple of 25?
False
Suppose -2*m = -0*m - 8. Is 12 a factor of (1 - 0) + m + 7?
True
Let h(z) = 6*z**2 - z - 4*z**2 + 0*z**2 + 1. Is 12 a factor of h(5)?
False
Suppose 2*l - 283 = -v, 0*l + 5*l - 4*v = 727. Does 45 divide l?
False
Is 18 a factor of 4/(-10)*(-613 - 2)?
False
Let h = 14 - 10. Suppose 4*r - 3*i - 23 = -86, -58 = h*r + 2*i. Let k = -11 - r. Is 2 a factor of k?
True
Let j be 17 + (0 - (0 + -1)). Suppose 4*m - 10 = j. Does 4 divide m?
False
Let s = -72 - -103. Suppose -2*x + 3*q + 65 - 1 = 0, q = x - s. Does 11 divide x?
False
Is 156/8*(-16)/(-3) a multiple of 18?
False
Suppose 0 = -5*j + 29 + 1. Does 6 divide j?
True
Let b(v) = -1 - v + 8*v - 2. Suppose 10 + 5 = 3*d. Does 16 divide b(d)?
True
Suppose -24 = -6*b + 348. Is 3 a factor of b?
False
Let k(t) = -2*t + 12. Suppose 0*p - 4*u - 26 = 3*p, 5*u - 5 = 0. Does 16 divide k(p)?
True
Let n = 29 + -8. Suppose -u - 2*u + n = 0. Let w(o) = o**2 - 6*o + 5. Is w(u) a multiple of 12?
True
Let f(x) = -x + 21. Is f(-10) a multiple of 10?
False
Let j = -11 + 23. Let x(l) = 13*l**3 - 24*l**2 + 11*l + 29. Let n(u) = -7*u**3 + 12*u**2 - 6*u - 15. Let r(s) = 11*n(s) + 6*x(s). Is 3 a factor of r(j)?
True
Suppose -4*p + 3*j + 23 = -2*p, p = -j + 9. Does 5 divide p?
True
Let u(m) = -m**3 - 13*m**2 - 10*m - 6. Let q(l) = -l**3 + 2*l**2 + 6*l - 4. Let i be q(4). Let s be u(i). Let a = 43 + s. Is a a multiple of 4?
False
Suppose 2*g + 5 = -f - 4, 5*f - 3*g = -45. Does 17 divide 580/18 - (-2)/f?
False
Let y(m) = m**3 - 7*m**2 + 14*m. Is 5 a factor of y(7)?
False
Let u = -49 - -117. Is 17 a factor of u?
True
Suppose 2*n - 35 + 9 = 3*y, -5*y - 38 = -3*n. Does 5 divide n?
False
Does 16 divide 4*37 - 48/12?
True
Let l be ((-2)/4)/(1/(-4)). Suppose -3*i + 43 = q - 7*i, q = l*i + 33. Is q a multiple of 23?
True
Suppose -x - 136 = -4*z, 3*z + 2*x - 5*x - 93 = 0. Is (z/4)/((-2)/(-8)) a multiple of 14?
False
Let s(c) = -c**2 - 6*c + 5. Let j be s(-7). Let m be (-46)/6 + j/6. Let w(g) = -g**2 - 10*g + 9. Does 13 divide w(m)?
False
Let x be 1239/(-28) + 6/(-8). Let j(n) = 14*n - 1. Let l be j(-5). Let z = x - l. Does 13 divide z?
True
Let d(w) = -6*w + 1. Let p(u) = 11*u - 3. Let t(v) = 5*d(v) + 2*p(v). Does 15 divide t(-2)?
True
Let c = 380 + -191. Is 16 a factor of c?
False
Suppose -4*n = -3*r - 31, -r - 2*r + 18 = 3*n. Is n a multiple of 7?
True
Suppose -19 = -5*c - 2*j + 232, -2*c + 2*j = -92. Is c a multiple of 5?
False
Let k = -72 - -42. Suppose -n = -12 + 55. Let a = k - n. Is 5 a factor of a?
False
Suppose 0 = -5*f + f + 432. Does 12 divide f?
True
Suppose -15 = 3*p - 6. Let u be 4/6 - 7/p. Suppose -2*t - 58 = -5*g + t, -u*t = -4*g + 47. Does 4 divide g?
False
Let b(w) = -w**2 - 11*w + 5. Does 3 divide b(-10)?
True
Let j = -3 + 3. Suppose 0*n + n - 3 = j. Is 3 a factor of n?
True
Suppose 5*f - 44 = 4*s - 7*s, 5*s - 5*f = 100. Is 18 a factor of s?
True
Suppose -n + 5 = -4*w + 2*n, 2*n = 6. Does 3 divide (w/3)/((-4)/(-72))?
True
Let s be (-6)/(-21) + (-208)/(-7). Suppose 5*r - r = -4*x + 20, -3*r + s = -2*x. Is 3 a factor of (-93)/(-12) + 2/r?
False
Suppose -4*b = 4*s - 20, -3*b - 4*s + 5 = -9. Suppose 5*k + i - 4*i = b, -3*k + 4*i - 3 = 0. Suppose -f + 7 = k*z - 29, 36 = 3*z - 5*f. Does 12 divide z?
True
Suppose 12*c - 601 + 121 = 0. Is c a multiple of 40?
True
Let s be ((-9)/4)/((-4)/16). Let r(y) = s*y + 5 - 4*y**2 - 2 + 5*y**2. Is 3 a factor of r(-9)?
True
