*g + 5*j - 39 = g, 0 = 3*j - 15. Is g a multiple of 7?
True
Let m(i) = 13*i - 3. Is m(3) a multiple of 18?
True
Let u = 13 - 6. Suppose -u*w - 54 = -8*w. Is w a multiple of 18?
True
Does 20 divide (1 - 103)/((-32)/48)?
False
Is 20 a factor of -2 + 10/35 + (-876)/(-21)?
True
Let y be 2/(-10) + 26/5. Suppose y*b + 2*j + 72 = 4*j, 4*j = 5*b + 74. Does 2 divide (-1)/b*4*7?
True
Let x(u) = u**3 + 5*u**2 - 10*u + 9. Is x(-6) a multiple of 25?
False
Let g be ((-6)/4)/((-3)/4). Let t be 3 + (0 + 2 - g). Suppose -t*k = 2*k - 40. Does 8 divide k?
True
Suppose -2*q + 5*o + 40 = 3*q, 3*o + 30 = 5*q. Suppose 30 = -3*t + 4*n, 2*t + 2*n + q + 3 = 0. Does 6 divide t/12 - 62/(-4)?
False
Let c(q) be the first derivative of q**3/3 - 2*q**2 - 7*q + 1. Is 10 a factor of c(8)?
False
Suppose -4*f - 32 = -3*f. Let h = f - -50. Is 8 a factor of h?
False
Let b(f) = -3*f**3 - 2*f**2 + 1. Suppose -3*l + 1 - 11 = 4*y, l + 2 = 0. Let m be b(y). Suppose -o = m*o - 150. Does 17 divide o?
False
Let b(p) = -5*p + 25. Is 5 a factor of b(4)?
True
Let j(v) = v - 5. Let g be j(7). Suppose -2*s + g*i + 8 = 0, 2*s = -0*s - 4*i + 14. Is s a multiple of 4?
False
Let s(t) = -t + 5*t + t**3 - 1 - 5*t**2 + 4. Let n be s(4). Suppose -15 = -n*c, -3*c = -5*h - 2*c + 10. Is h a multiple of 2?
False
Let i(k) = -k**3 + 9*k**2 - 9*k + 9. Let s be i(6). Suppose 4*o - s = o. Is 7 a factor of o?
True
Let c = 161 + -62. Suppose 4*l - c = l. Is 12 a factor of l?
False
Suppose -4*q = -3*u - 365, -q = q - 2*u - 180. Is q a multiple of 14?
False
Does 13 divide -2 - 2 - (-2 - 41)?
True
Let i(z) = -2*z**2 - 2. Let u be i(2). Is 14 a factor of 2*6/(-8)*u?
False
Is 30 a factor of 3*3/9*3*26?
False
Let p = -71 + 110. Suppose 3 = 3*i + p. Does 7 divide (-11)/4*(i - -4)?
False
Let o(y) = -65*y. Let r be o(1). Let s = 19 + r. Let g = s - -85. Is 18 a factor of g?
False
Let a(h) = -h**2 - 11*h + 7. Let u be a(-12). Is 7 a factor of (-68)/u - 6/(-15)?
True
Suppose l - 2*l = 5*j - 208, -3*j = 15. Is 43 a factor of l?
False
Let m = -13 - -40. Is 18 a factor of m?
False
Suppose 5*u + 21 - 1 = 0. Let t be u/(-6)*(-5 - -2). Is 17 a factor of (t + (-39)/6)*-2?
True
Suppose -4*q = -2*q + 18. Let s = 15 + q. Is s a multiple of 2?
True
Let u be ((-2)/(-2))/((-1)/(-25)). Let o be (3/(-6))/(1/(-24)). Let t = u - o. Is t a multiple of 13?
True
Let c be (4 + -4)/(0 + -3). Does 6 divide -2 - (-1 - c)*8?
True
Suppose -4*c - 5*w + 31 = 0, 2*w - 18 = -0*c - 3*c. Suppose -p - c*f + 7*f = -22, -5*p + 3*f + 110 = 0. Is 6 a factor of p?
False
Suppose 3*q + 4*l + 2 = 0, 2*q + 3*l + 14 = 6*q. Let a(n) = 0*n**3 - 2*n + 3*n**3 - 4 + n**q - 2*n**3 + 2. Is a(3) a multiple of 18?
False
Suppose 0 = -8*z + 3*z + 130. Is z a multiple of 14?
False
Suppose h = -h + 180. Is 15 a factor of h?
True
Suppose -2*o + 1 = c + 3, 3*c - 5*o = 16. Suppose c*x = 4*x + 4. Let r(v) = -4*v + 1. Does 5 divide r(x)?
False
Does 26 divide (-1)/(-2)*-2*(17 + -329)?
True
Suppose -6 = 4*s - 7*s. Suppose j - 7 = s*j. Let m(p) = -4*p - 6. Is 16 a factor of m(j)?
False
Let w = -15 + 15. Does 12 divide (-6 + w)/(3/(-18))?
True
Suppose c = -3*c - 224. Is 6/(-27) + c/(-9) a multiple of 3?
True
Let q(l) = -6*l**2 - l - 1. Let v be q(-1). Let x be (54/(-15))/(v/100). Suppose 4*u - x = 12. Is u a multiple of 12?
False
Let w be (87/(-12))/((-2)/(-8)). Let z = -16 - w. Is 13 a factor of z?
True
Let t(n) = 3*n - 3. Let l(d) = 4*d - 3. Let x(h) = 4*l(h) - 5*t(h). Let k be x(-3). Suppose k = -o + 5. Is o a multiple of 5?
True
Suppose -16 = -5*b + 14. Does 6 divide b?
True
Let o be 36/10 + (-3)/5. Let n(y) = 6*y**o - 3*y**2 + y - 3*y + y**2 - 2*y**3. Is 20 a factor of n(2)?
True
Suppose -3*d = z - 20, 0 = 4*z + z - 5*d. Does 2 divide z?
False
Suppose 3*c - 51 = 117. Let z be 1*(c + -3 - 0). Let n = z + -11. Is 21 a factor of n?
True
Let u(d) = -d**2 - 5*d - 3. Let r be u(-2). Suppose -273 = -r*v + 2*z, -3*z = -3*v + z + 279. Let w = -64 + v. Is w a multiple of 10?
False
Let f(u) = u**2 - 8*u - 14. Let z be f(12). Let b = z + 4. Does 17 divide b?
False
Let c(b) = -b + 2. Is 8 a factor of c(-6)?
True
Let c = -2 - -5. Is 3 a factor of c/(-1)*20/(-12)?
False
Suppose -2*x + 17 = -3. Suppose -x*q + 28 = -8*q. Is q a multiple of 9?
False
Suppose -q + 21 + 58 = 0. Suppose q = 4*n - 17. Is 9 a factor of n?
False
Let x(u) = -u**3 - 4*u**2 - 2*u. Let r = 6 + -3. Let i be (1 - r)/((-2)/(-4)). Is x(i) a multiple of 4?
True
Suppose 0 = 3*m + 2*m - 180. Is m a multiple of 11?
False
Let m(l) = 2*l**2 - 39*l - 29. Let v(c) = c**2 - 20*c - 15. Let b(q) = -6*m(q) + 11*v(q). Is 10 a factor of b(12)?
False
Let z = 17 - 8. Is z a multiple of 2?
False
Suppose -2*c - 6*s + 2*s + 50 = 0, 2*s = -3*c + 75. Does 25 divide c?
True
Let h be (0/(-1))/(-2) + 10. Let y = 6 + h. Is y a multiple of 16?
True
Let c(l) = -2*l**3 + 4*l**2 + 2*l + 5. Does 21 divide c(-4)?
True
Let o = 4 - 1. Let u(d) = 3*d - 3 - 3*d**2 - d**2 + o*d**2 - 2*d**3. Is u(-3) a multiple of 12?
False
Does 3 divide 41 + (-3 + 2 - -2)?
True
Is 0 + -1 + 2 + 18 a multiple of 13?
False
Let t be ((-20)/(-6) - 2)*3. Suppose 0 = -2*y - 0*y - t. Is 19 a factor of -20*(y - 3/(-4))?
False
Is 4 a factor of 0 - -41 - (-2 - -3)?
True
Let x be ((-2)/(-3))/(8/(-12)). Is 0 + 1 - (-11 + x) a multiple of 13?
True
Let o(j) = j**2 - 4*j - 8. Let i be o(6). Suppose -195 = -i*p + 3*s, -5*p - s + 261 = s. Does 17 divide p?
True
Let k = 18 - 8. Let g(f) = -2*f**2 + f + 2. Let w be g(2). Let q = w + k. Is 4 a factor of q?
False
Suppose 5*c = 21 - 6. Does 6 divide 19/(-3*(-1)/c)?
False
Let p be (0/2)/(-2 - 0). Suppose 0 = -w + 3*t - p*t - 35, 30 = -2*w - 4*t. Let o = w + 47. Is o a multiple of 12?
True
Let d = 12 + -8. Suppose 4*p + d = -4. Is 8 a factor of p + 16 + 3 + -1?
True
Let s(y) = y**2 - 4*y - 1. Let h be s(3). Let f(o) = -3*o + 1. Does 13 divide f(h)?
True
Suppose -25 = -3*d + 5*c - c, -5*c - 5 = 5*d. Suppose -4*g = -d*w + 104, 4*w + 2*g - 118 = -3*g. Is w a multiple of 16?
True
Suppose 5*p - t + 63 = 2*t, 3*p - 2*t = -38. Let j = 20 + p. Is j a multiple of 4?
True
Let c(s) = -2*s + 3 + 6*s - 4. Suppose f = -0*f + 4. Is 5 a factor of c(f)?
True
Suppose 2*x - 11 - 13 = 0. Does 4 divide x?
True
Let w = -37 + 21. Let t be 27/2*w/(-6). Suppose p + t = 4*p. Does 6 divide p?
True
Let a(y) = y**2 - 8*y + 3. Let w be a(8). Suppose 2*i - 5*z = 19, 3*z + 21 = w*i - 12. Does 6 divide i?
True
Let i = 11 - -3. Let u(k) = 1 - 5 - 6*k + i*k. Does 16 divide u(6)?
False
Suppose -5*p = b - 18, 5*p - 3*b = 39 - 13. Suppose 22 = 2*j - a + 2, -p*j = 2*a - 48. Does 11 divide j?
True
Let a(n) = 7*n - 3. Let i(u) = -u. Let c be i(-7). Does 17 divide a(c)?
False
Let f = -10 + 7. Is 10 a factor of 2 - -7 - (f + 2)?
True
Let y(f) = -8*f - 9. Let i = -16 + 10. Is y(i) a multiple of 13?
True
Does 14 divide 2/(-17) + (-18000)/(-408)?
False
Let o(i) = i**2 - 8*i - 1. Suppose -3*j = -38 + 5. Is o(j) a multiple of 16?
True
Does 14 divide (-3*2/6)/(2/(-112))?
True
Suppose 3*r - a - 209 = 0, 2*a - 341 = -0*r - 5*r. Is 23 a factor of r?
True
Let k be ((-69)/(-9))/((-1)/(-3)). Suppose -5 = -3*d - k. Does 23 divide 4/d*(-246)/4?
False
Let l be 1/(-2) - 50/(-20). Does 9 divide (1/2)/(l/80)?
False
Suppose p = -4*p - 605. Let i = -76 - p. Is i a multiple of 15?
True
Let i(n) = -41*n - 10. Is i(-3) a multiple of 22?
False
Let i(t) = t**3 + 14*t**2 + 18*t - 11. Does 41 divide i(-10)?
False
Suppose -2*l - 2*l + 8 = 0. Let t = -61 + 142. Suppose l*a + t = 5*a. Is a a multiple of 12?
False
Suppose -3*y + 2*y = -4*i + 22, 0 = -y + 5*i - 26. Is 20/y*9/(-2) a multiple of 5?
True
Let k(m) = m**3 - 4*m**2 - 9*m - 3. Let l be k(8). Suppose -5*h - 6 = -l. Does 15 divide h?
False
Suppose -f = 5*r + 3, -4*r - 6 = 2*f - 3*f. Suppose 4*c - 64 = 5*m, -m + 32 = f*c + 2*m. Is c a multiple of 4?
True
Let h = 43 - 19. Suppose -a - 2 = -2*j, -2*j - 6 = 3*a - h. Suppose z = -4*k + 172, 0*z - z = j*k - 129. Is k a multiple of 15?
False
Let w be -1*3/(-9)*6. Suppose l + 105 = -w*j, -2*l = j - 0*j + 48. Does 10 divide j/(-3) - 4/(-2)?
True
Suppose -3*g = -3*l + 285, 2*l + 3*g = -8 + 198. Suppose -3*p + l = 2*p. Is 5 a factor of p?
False
Let z be 251/(-5) + 1/15*3. Let p(d) = 39*d - 1. Let w be p(-2). Let l = z - w. Does 13 divide l?
False
Let q be 7 + -5 - (-230 + 1). Let p = q - 71. Suppose p = -0*m + 4*m. Is m a multip