ue
Let k(w) = w**3 + 15*w**2 + 13*w + 48. Is k(-12) a multiple of 36?
True
Let k be -1*(-21)/6*10. Does 9 divide -5*(3/7 + (-260)/k)?
False
Does 26 divide ((-3)/6)/1*(13 + -1145)?
False
Let k be -2*76/(-16)*2. Let n = k + 38. Let x = 115 - n. Does 9 divide x?
False
Let b(v) = -2*v + 59. Let m be b(27). Suppose 0 = -2*q - 3*y + 111 - 39, -m*q + 3*y + 201 = 0. Is q a multiple of 3?
True
Does 13 divide (6 - 12 - -84) + -6?
False
Let u = -13 - -16. Suppose -z = -3*z + 5*b + 147, -u*b + 210 = 3*z. Suppose -3*p + z = 8. Is p a multiple of 21?
True
Suppose 39*u = 1422 + 12969. Does 3 divide u?
True
Suppose 3*m - 108 = 3*a, -5*a + a = -2*m + 70. Let g = m - 25. Is g a multiple of 3?
True
Let h be (-2 - (0 + -1)) + 4. Suppose 0*k + h*k = 6. Suppose c = -3*c + u + 62, 3*u + 36 = k*c. Is c a multiple of 5?
True
Let n(x) = x**2 - 49*x - 114. Is n(55) a multiple of 18?
True
Does 88 divide (-3 - 9)/(-4) + 1771?
False
Let f be (-160)/(-12)*-1*12. Let d = f - -243. Is d a multiple of 12?
False
Let g = -109 - -83. Let p(c) = -c**2 - 25*c + 33. Does 5 divide p(g)?
False
Let d = 172 - 131. Is 14 a factor of d?
False
Suppose -2020 = 24*x - 28*x. Let f = x + -234. Suppose -3*q + 3*y - 5*y + f = 0, 291 = 3*q - 3*y. Is q a multiple of 21?
False
Let j(s) be the first derivative of s**4/2 - 4*s**3/3 - 3*s**2 + s - 61. Let m be 14/4 + 1/2. Does 13 divide j(m)?
False
Let i(l) = -l**3 + 18*l**2 - 30*l - 40. Is 18 a factor of i(14)?
True
Suppose t + 2*p - 13 = 0, 4*p - 10 + 2 = 4*t. Suppose 2*k - 554 = -5*l, -3*l + k + t*k = -348. Is l a multiple of 28?
True
Suppose -5*n = w - 16, 5*w - 2*n + 2 = w. Let u(b) = 11*b - 2. Is 9 a factor of u(w)?
True
Suppose 8 = -4*f - 8. Let d be -3*16*(-2)/f. Is 2 a factor of -2 + (-1)/(3/d)?
True
Suppose 0 = i + 5*h - 14, 2 = 2*i - 3*h - 0. Let x be -6*(-5)/15*35. Is x/(-4)*(-10 + i) a multiple of 19?
False
Let c(j) = j**3 - 3*j**2 + 18*j - 9. Is 63 a factor of c(13)?
False
Does 11 divide 12 + -23 - -6 - 379*-1?
True
Suppose -3*w + 387 = 3*l, -59 - 70 = -w + 5*l. Does 25 divide w?
False
Let f(n) = 9*n. Let g(l) be the first derivative of -l**2/2 + l + 4. Let x(j) = -f(j) - 4*g(j). Is 8 a factor of x(-4)?
True
Suppose -40*z - 1575 = -45*z. Is 21 a factor of z?
True
Let l be (-40)/(-30)*6/4. Suppose 4*n = l*n. Suppose n = -3*y + 2*p + 130, y = 4*p - 3*p + 43. Is 18 a factor of y?
False
Suppose 0 = 8*f - 4*f + 8. Let t be 0/2 + 7 + f. Let s(n) = n**3 - 4*n**2 - 4*n + 4. Is 9 a factor of s(t)?
True
Let b = 126 - 102. Is b a multiple of 8?
True
Does 57 divide ((-4)/((-24)/27) + -3)*384?
False
Suppose 3*o = 2*u + 61, -5*o + 81 = -u - 9. Suppose 0 = 9*z - o*z + 168. Is 2 a factor of z?
False
Let v = 491 + -449. Does 3 divide v?
True
Suppose 0 = -3*y + 5*t - 13, y + 2*t = -3*y - 52. Let n = 16 + y. Suppose -2*l = 4*x - 238, -n*l + 24 + 49 = x. Is x a multiple of 19?
False
Let v = 1856 - 867. Is 21 a factor of v?
False
Let j be (34 - 1)*(-56)/(-24). Let r = 29 + j. Suppose -8 = -t + r. Is t a multiple of 29?
False
Suppose -12*h + 10*h = -2*a - 2102, -5*h + 5258 = -4*a. Does 28 divide h?
False
Let y(c) = -c**3 - 38*c**2 + 85*c + 19. Is y(-41) a multiple of 19?
True
Let n(p) be the third derivative of 23*p**4/24 + 3*p**3/2 - p**2. Is n(10) a multiple of 29?
False
Let v(o) = 2*o**2 + 12*o + 6. Let j be v(-6). Suppose 0 = -2*q - 4*b + j, -4*b + 24 = -3*q + 7*q. Is 13 a factor of 42/q*(-135)/(-10)?
False
Suppose -4*u = -u. Suppose u = a - 3*t - 54, 2*t = 3*a - 2*t - 152. Suppose 14 = 2*b + j, 5*b = -j + 5*j + a. Does 3 divide b?
False
Let r(y) = 4*y - 25. Let g be r(12). Suppose -2*p + 32 = -2*i, 3*p + 2*i - g = 15. Is 9 a factor of p?
False
Let y = 108 + -112. Does 11 divide (2/y)/(18/(-828))?
False
Is 5 a factor of ((-2255)/11)/(0 + -1)?
True
Suppose 2*j + 3*l - 184 = 0, 2*j + 2*l - 182 = -0*l. Is j a multiple of 13?
False
Let w(a) = 16*a**2 + 2*a + 4. Is 3 a factor of w(-1)?
True
Suppose -358*u = -348*u - 4960. Does 6 divide u?
False
Let o(z) = -z**3 + 16*z**2 + 28*z - 20. Is o(15) a multiple of 25?
True
Let l be (-1)/((-6)/4 - -2). Let m(d) = -4*d - 16*d**2 - 6*d**2 - 5 + 31*d**2. Is 11 a factor of m(l)?
False
Suppose 0 = w + 4*v - 1, -3*w + 0*v + 58 = v. Let m = w + -12. Suppose 0*y - 3*y + 2*b = -27, -y + 5*b + m = 0. Is 9 a factor of y?
True
Let y = -1512 - -1808. Is 27 a factor of y?
False
Let f = -26 + 42. Suppose -2*g = -3*b + f, 2*b = -g + 9 - 3. Suppose -63 = -b*p + 3*p. Is p a multiple of 14?
False
Let t = -97 - 49. Let b(c) = -97*c**3 - 1. Let u be b(1). Let o = u - t. Does 16 divide o?
True
Let a(r) = 83*r**2 - 8*r - 16. Is 12 a factor of a(-4)?
True
Let q = 2 - -2. Suppose q*x - 158 = 346. Suppose 4*z + x = 7*z. Is z a multiple of 23?
False
Let r = 19 - 10. Suppose 2*j + 5*d + r - 1 = 0, 22 = 3*j - d. Is (76/10)/(j/30) a multiple of 19?
True
Let c(w) = -2*w**2 + 66*w + 92. Is 6 a factor of c(31)?
True
Let h(o) = -o**2 + 4*o - 2. Let t be h(5). Let a(l) = 2*l + 11. Let i(u) = -10*u - 56. Let g(b) = -11*a(b) - 2*i(b). Does 2 divide g(t)?
False
Let j(z) be the first derivative of -z**4/4 - 2*z**3 + 3*z**2 - 10*z + 8. Let d be j(-8). Let b = d - 27. Is 24 a factor of b?
False
Let m = 238 + -141. Let c = m - 43. Is 44 a factor of c?
False
Let h be -63*-9*(0 + 2). Suppose -h = 7*m - 16*m. Does 11 divide m?
False
Does 59 divide (-4 - 3114)*2/8*-2?
False
Let c be 2*(3/(-2))/(-3). Let r = 18 - c. Is r/(1/1) + -3 a multiple of 4?
False
Let c(r) = -7*r - 2. Let j be c(-1). Suppose j*x - 3*x - 1 = z, 5*x = 3*z + 3. Suppose x = g - 6*g + 135. Is 14 a factor of g?
False
Suppose g - 39 = 4*s + 128, -3*g - 3*s + 576 = 0. Does 17 divide g?
True
Let j(a) = 1. Let b(f) be the first derivative of -f**2 + 8*f - 5. Let p(t) = b(t) - j(t). Is 4 a factor of p(-6)?
False
Suppose 24*j - 9*j = 6300. Does 21 divide j?
True
Let b be (11/(-4) - -2)*(-148)/1. Does 14 divide 1*b/6 + (-1)/(-2)?
False
Let z(g) = 2*g**2 + 7*g + 1. Let m be z(-6). Suppose -7*w + 8*w - m = 0. Is w a multiple of 4?
False
Let x(d) = -2*d - 15. Let n = -34 - -24. Let b be x(n). Suppose -b*f + 12 = -f. Is f a multiple of 3?
True
Suppose 43*a = 39*a + 1152. Is a a multiple of 12?
True
Suppose 2*p - 3*p + 4 = 0. Suppose -p*i + 35 = -37. Is 6 a factor of i + 0/(-2) + -1?
False
Let c be 1 + (1 - 2) - -4. Suppose -2*b + 8 = 2*b. Is (b/c)/(7/588) a multiple of 21?
True
Let l(x) = -x**2 + 3*x + 1. Let t be l(2). Suppose w - 2*u - 1 = -u, u = t*w - 9. Suppose 240 = w*b - b. Is b a multiple of 32?
False
Suppose -132 = 2*a - 3*a. Let w be (-6)/3 - a/(-3). Suppose w = 2*x - 6. Is 6 a factor of x?
True
Suppose 0 = -u - 4*u + 135. Let h be -14 + (-9)/(u/(-6)). Is 12 a factor of (-2)/h + 1850/60?
False
Let z = 434 + -164. Does 36 divide z?
False
Suppose -4*m + 354 = 98. Suppose -4*q + 6 = -6. Suppose g - q*g = -m. Does 14 divide g?
False
Suppose 0 = -4*n + 4*s + 128, -2*n - n + s + 88 = 0. Is 4 a factor of n?
True
Let r(p) = p**2 - 17*p + 3. Is 4 a factor of r(-8)?
False
Let a(c) = -c**2 + 5*c - 1. Let y be a(7). Is 39 a factor of ((-234)/(-4))/(y/(-20))?
True
Let h = -19 - -22. Let f = 5 - h. Suppose -250 = -5*w - 2*c - 3*c, -w + 35 = -f*c. Does 8 divide w?
False
Let w = -44 - -36. Let g = 9 + -10. Is 363/24 - g/w a multiple of 5?
True
Does 7 divide (11/99*786)/((-2)/(-18))?
False
Let d(b) = 3*b**2 + 5*b + 5. Suppose -4 = -4*n + 6*n. Is 2 a factor of d(n)?
False
Suppose 2*g - 3*j = -5 - 12, 0 = 3*g + 3*j + 63. Let y be (2 - 544) + 0 + 0. Is (-4)/g + y/(-8) a multiple of 17?
True
Let z = 504 - 14. Is z a multiple of 76?
False
Let w(k) = -k**3 - 7*k**2 + k + 1. Let a be w(-7). Is 9 a factor of 3 - (-2)/(-1) - (a - 29)?
True
Suppose -12*d + 15*d - 5314 = -5*v, -4*d - 8 = 0. Is v a multiple of 14?
True
Let v be -41*((-2)/(-16) - (-81)/(-72)). Suppose 2*f = 2*l + 140, 0 = -0*f - 2*f - 4*l + 146. Let o = f - v. Is 10 a factor of o?
True
Suppose 1107 = -5*p - 4*p. Suppose -5*u + 2*d - 2 = 16, 3*u + 3*d = 6. Does 13 divide u/(6/p) + 0?
False
Let d = 13 + -7. Suppose -12 = -d*k + 4*k. Is k even?
True
Let o = 2 + 0. Let d(y) = 13*y - 11. Let s be d(11). Suppose 5*a - s = o*a. Does 12 divide a?
False
Let r be 160/(0/(-2) - (-15 - -14)). Let h = -94 + r. Is h a multiple of 33?
True
Is 2 a factor of 472/34 + (30/51)/5?
True
Suppose 0 = -0*d - d - 15. Let s = 16 + d. Does 14 divide (-141)/(-6)*(s + 1)?
False
Suppos