. Let z(j) = -12*j - 85. Let q(c) = 7*s(c) + 2*z(c). Is 9 a factor of q(8)?
False
Let u = -30 + 29. Is ((-6)/24)/(u/116) a multiple of 22?
False
Let r(k) = 21*k + 126. Is 27 a factor of r(3)?
True
Suppose 26*n - 22*n = -4. Suppose 5*v - 388 = -98. Is 12 a factor of 2 + v/(0 - n)?
True
Let y(p) = 4*p**2 + 7*p - 145. Is 13 a factor of y(10)?
True
Suppose -5*m = -20, 0*g + g + 3*m - 12 = 0. Suppose -d = -g*d - 3*k, k + 32 = 3*d. Suppose -j + 129 = 5*z, z + 4*j = 29 + d. Is z a multiple of 21?
False
Let d = 39 - 50. Let a be 32/(-14) - (-4)/14. Let u = a - d. Is 3 a factor of u?
True
Let i be (-66)/18 + (-1)/3. Let s = i - -39. Is s a multiple of 5?
True
Let v(r) = 3*r - 41. Let c(n) = -5*n + 81. Let o(d) = 6*c(d) + 11*v(d). Is o(7) a multiple of 24?
False
Suppose 0 = -3*y - 21 - 66. Let s = 56 + y. Is 9 a factor of s?
True
Let s = -23 - 7. Let y be 2*(-7 + (-791)/(-14)). Let o = y + s. Does 26 divide o?
False
Suppose -2*y + 3 = -3. Suppose c - 8 = -y*c, 2*a = 3*c + 282. Is ((-4)/18)/((-16)/a) even?
True
Let t = 56 + -48. Suppose -7*h + 29 = t. Is 2 a factor of h?
False
Let t(w) be the third derivative of -w**5/24 + 5*w**4/12 + 5*w**3/6 - 8*w**2. Let u(c) be the first derivative of t(c). Does 20 divide u(-6)?
True
Is 49 a factor of 80/(-680) - 19996/(-34)?
True
Let g(o) = o**3 - o. Suppose 5*p + 0 = 5. Let u(b) = 5*b**3 + 8*b**2 - 5*b + 1. Let x(f) = p*u(f) - 6*g(f). Is 3 a factor of x(8)?
True
Let a(b) = -115*b - 19. Is a(-6) a multiple of 8?
False
Let x(y) be the first derivative of -y**4/4 - 4*y**3 - 6*y**2 - 11*y - 4. Let w be x(-11). Suppose w = -0*j - j + 80. Is j a multiple of 23?
False
Suppose -280 = 4*j + q, -4*j + 0*q = -2*q + 292. Let c = j - -131. Does 12 divide c?
True
Let z(t) = t**3 - 11*t**2 + 9*t + 9. Let d be z(10). Let x be ((-4)/6)/d*63. Suppose 0 = p + 2*v - x, 2*v - 4*v - 54 = -p. Is 16 a factor of p?
True
Suppose -20117 + 94997 = 52*f. Is 16 a factor of f?
True
Let c = 35 + -17. Suppose 4*z + 10 = c. Does 6 divide 2 + (0 - (-30)/z)?
False
Let c(s) = 22*s**3 - 2*s - 2. Let v be c(-4). Does 11 divide v/(-16) + 18/48?
True
Let b be 0 - (-2)/(-1) - -26. Let y = -6 + b. Suppose 0*f + 3*f - y = 0. Is 6 a factor of f?
True
Let p(k) = 14*k - 2. Let v be p(1). Is 12 a factor of (-2)/(-8) - (-4 - 549/v)?
False
Let k(f) = -46*f + 45*f + 5 + 23 - 7. Is k(9) a multiple of 7?
False
Let q = 6 + 237. Does 14 divide q?
False
Suppose 0 = -4*i + 3*j + j + 632, 0 = j - 4. Suppose v - i = -2*b, -v - 4*b - b + 162 = 0. Is v a multiple of 14?
False
Let a(w) = 7*w - 1. Let h be a(8). Suppose -52*k - 81 = -h*k. Is k a multiple of 9?
True
Let i(q) = -q**3 + 2*q**2 + 2*q + 3. Let o be i(3). Suppose o = f + 3*f + 24. Does 9 divide 184/10 + f/15?
True
Suppose -3 = a - j, 5*a + j - 3 = a. Suppose -2*v + 21 = 3*z, a*z = z - 5. Suppose -v*s + 123 = -21. Does 6 divide s?
True
Suppose 3*g + l = 1983, l = -2*g + 962 + 361. Suppose 0 = 5*s - g - 175. Is s a multiple of 30?
False
Let o(t) = 4*t - 60. Let z be o(15). Suppose 3*n = -l + 7, z*l - 2*l = n - 14. Is l even?
False
Let p(m) = m**2 - 8*m - 97. Is 10 a factor of p(-12)?
False
Let l = 6 - 21. Let x be (24/15 - 2)*l. Suppose -c = -x*c + 15. Is c a multiple of 2?
False
Suppose -3538 = -4*d + 5*q, -3*d - 3*q = -8*d + 4416. Is d a multiple of 17?
False
Suppose 0 = -4*u - 20, -5*f + 4*u + 1072 = -5108. Does 14 divide f?
True
Let h = 144 + -302. Let x be 24/84 - h/(-14). Let l = 18 + x. Does 7 divide l?
True
Let u = -827 + 1683. Does 63 divide u?
False
Suppose 3*h + 3014 = 25*h. Does 8 divide h?
False
Suppose 110*w - 2356 = 106*w. Does 19 divide w?
True
Suppose 5*g - 4*j = 3376, -5*g + 2*j = -532 - 2836. Does 16 divide g?
True
Let q(o) = -o + 9. Let z(u) = u - 5. Let g be z(9). Let p be q(g). Does 9 divide p*2 - (4 - 6)?
False
Let i(y) = 1151*y**2 - 6*y - 7. Is i(-1) a multiple of 115?
True
Let c = 7 + -8. Let n(j) = -6*j. Let v be n(c). Let q = -1 + v. Is q a multiple of 5?
True
Let p(u) be the second derivative of u**5/20 + u**4/12 - 23*u**3/6 + 11*u**2/2 - 27*u. Does 38 divide p(7)?
False
Let i(t) = t**2 + 12*t + 24. Suppose 2*h + 17 = -2*u + 5*u, -4*u - 4 = -h. Is i(h) a multiple of 8?
True
Suppose 16*f = 22 + 506. Does 2 divide f?
False
Let r(h) = 2*h**2 + h + 13. Does 4 divide r(6)?
False
Let c(v) = -6*v - 10. Let i be c(3). Is 11 a factor of 30/(-4)*i/5?
False
Suppose -6*n + n = -p + 494, 0 = 3*p + 5*n - 1562. Does 10 divide p?
False
Let d(r) = 2*r**3 - r**2 - 4*r. Let h be d(2). Suppose h*b = s + 417, -3*b + 2*s + 171 = -148. Suppose -p + 3*a + a = -17, 3*p = -a + b. Is p a multiple of 7?
False
Let o = -249 - -354. Suppose o = 3*u - 48. Is 16 a factor of u?
False
Is 59 a factor of 262 + -18*2/(-6)?
False
Let l(t) = t**2 + 9*t + 12. Let a be l(-8). Suppose 2*o - 2*d = 70, a*o = 3*o + 2*d + 31. Is o a multiple of 15?
False
Suppose 12*t - 7812 = -6*t. Does 13 divide t?
False
Let p be (2*(-44)/12)/(3/(-9)). Let v = p + 49. Is v a multiple of 4?
False
Let d(u) = -u**3 - 10*u**2 - 13*u - 1. Let n be 10*((-231)/(-6))/7. Suppose -5*c - 5*m = n, 3*c + 29 = -0*m - m. Is 15 a factor of d(c)?
False
Suppose 3*k - 6*o = -9*o + 1404, 0 = -5*k - o + 2324. Does 58 divide k?
True
Suppose 3*l = 3*z + 3141, -5*l + 2*z + 2033 = -3199. Is l a multiple of 8?
False
Suppose -2*z - 2*o = -110 - 94, 3*z = o + 310. Let r = -58 + z. Let h = r + 5. Does 10 divide h?
True
Let o = 213 + -123. Let v = o + -32. Is v a multiple of 14?
False
Suppose -2*y - 3*d = -34, 2*y - 3*d = 20 + 26. Is y a multiple of 2?
True
Suppose 3*o - 3564 = 5*q, o = 16*q - 11*q + 1198. Does 73 divide o?
False
Let s = -96 + 84. Let r(b) = 3*b**3 + 10*b**2 + 2*b + 18. Let l(k) = 10*k**3 + 29*k**2 + 7*k + 55. Let t(x) = -2*l(x) + 7*r(x). Is 4 a factor of t(s)?
True
Let p be 8 + -4 - 1 - -178*1. Suppose p + 69 = 5*t. Does 5 divide t?
True
Let q(i) = i**2 + 3*i + 12. Let m be q(-11). Let f be (-1 - -4)*m/6. Suppose -2*n + f = 3*n. Is 10 a factor of n?
True
Let t = -95 + 182. Is 17 a factor of t?
False
Suppose x - 3*y = y + 48, -y = 0. Let o = x + -32. Suppose -o - 16 = -s. Is 22 a factor of s?
False
Suppose 0 = 10*o - 3*o + 378. Is 2 a factor of (2/6)/((-2)/o)?
False
Let i(n) = n**3 + 8*n**2 - 2*n + 10. Is i(-8) a multiple of 13?
True
Let u = 5 + 25. Let k(h) = -h**2 - 4*h + 5. Let o be k(0). Suppose 0 = -5*z + o*j + u, 4*z + j - 24 = 4*j. Is 2 a factor of z?
True
Let t = -1762 - -2633. Is t a multiple of 5?
False
Suppose 3946 = 76*c - 69470. Does 69 divide c?
True
Let u = -696 + 1383. Is u a multiple of 23?
False
Let v(x) = 2*x**2 + 4*x + 2*x**2 - 3*x**2 - 15. Let w(f) = f**3 + 7*f**2 - 7*f - 4. Let j be w(-8). Is 27 a factor of v(j)?
True
Let f(s) = -s**3 - s**2 + 2*s - 1. Let m be f(1). Is 23 a factor of 3 - (2 - -5) - (m - 95)?
True
Does 8 divide 2163/2 + 7/(-14) - 1?
True
Suppose -2 = -7*y + 6*y. Does 10 divide y/5 + 63/5?
False
Let h(n) = 63*n**2 + 4*n + 5. Let b be h(-1). Let y = 51 + b. Does 16 divide y?
False
Let c(g) = g**3 - 10*g**2 - 15*g + 2. Suppose -4*j = w, -3*j + 0 = 9. Is 15 a factor of c(w)?
False
Let i(q) = -2*q + 18. Let p be i(0). Suppose 81 - p = g. Is g a multiple of 11?
False
Let m = 40 - -52. Let j = m - 60. Is 4 a factor of j?
True
Let z = 21 + -23. Does 32 divide -1 - (-3 - (-290)/z)?
False
Suppose 0 = -36*n + 126*n - 12780. Is n a multiple of 13?
False
Let k be (-12)/(-66) - 2/11. Suppose k*o + 60 = 4*o. Suppose -6*c = 3*s - c - 38, -s + o = 4*c. Is s a multiple of 4?
False
Let u(a) = -2*a**3 - 11*a**2 - 7*a + 17. Let s(j) = -j**3 - 5*j**2 - 3*j + 8. Let d(y) = 9*s(y) - 4*u(y). Let c be d(0). Is 3 a factor of (-3 - c/(-1))*10?
False
Let d = 7 + -3. Suppose -4*j + 2*s + 182 = j, -d*j - 5*s = -172. Let v = -18 + j. Does 5 divide v?
True
Suppose -3*g + 3*o + 9 = 0, -2*g - 3*o = 2*g - 5. Suppose 0 = 2*d + g*d - 4*t - 52, 36 = 4*d + 4*t. Is d a multiple of 10?
False
Suppose -12*g + 11253 = 21*g. Is g a multiple of 18?
False
Suppose 0 = -5*t + 46 + 1214. Is 12 a factor of t?
True
Let g be -3*(28/(-3) + 2). Suppose -x = 4*u - g, 2*x + 5*u = -2*x + 44. Suppose 3*a = x*a - 132. Does 15 divide a?
False
Suppose 2*t - 2*i - 91 = 25, -5*i = 2*t - 130. Is 4 a factor of t?
True
Suppose 0 = -4*w + 4 + 4. Let a be w*(2 - 2/4). Suppose -5*g + 5 = a*z, g + 3*g = 2*z - 40. Is z even?
True
Let d(n) = 83*n - 1. Let w be (6/(-8))/((-5)/(-60)). Let l = w +