a(12) a multiple of 10?
True
Does 13 divide (-6)/(-432)*-12 + 50894/12?
False
Let g = 457 + 107. Suppose -l + 0*l = -g. Suppose 0 = 6*d - 366 - l. Is 31 a factor of d?
True
Let z = 356 + -361. Let w(v) = -4*v**3 - v**2 - 15*v - 56. Is w(z) a multiple of 12?
False
Suppose 0 = -4*z + g + 9981, 3*g = 2*z - 3275 - 1728. Does 29 divide z?
True
Suppose 5*g + 3*f - 72 = 0, -4 = -f - 0*f. Suppose 0 = -9*o + g*o - 255. Does 5 divide o?
True
Let w(p) = -126*p - 514. Is 9 a factor of w(-16)?
False
Suppose -3060 = 77*l - 94*l. Suppose -19*u = -l - 1872. Is 25 a factor of u?
False
Let s(r) = r**3 + 7*r**2 + 11*r. Let l be s(-3). Suppose 0 = l*b + 318 - 2208. Is b a multiple of 70?
True
Let x(u) = 1 + 6 - u**3 - 29*u - 1 - 806*u**2 + 827*u**2. Is x(19) a multiple of 26?
False
Let x(n) = 10*n**2 - 10*n + 17. Let m(q) = -9*q**2 + 10*q - 17. Let i(h) = -6*m(h) - 5*x(h). Is 13 a factor of i(3)?
False
Let o(f) = f**2 - 9*f + 18. Let b = 36 + -29. Let r be o(b). Suppose 152 = 6*c - r*c. Is c a multiple of 19?
True
Let k = 37 + -3. Let a = k + -24. Suppose 1596 = 4*r + a*r. Is 19 a factor of r?
True
Let p(q) = -q - 109*q**2 + 7*q - 4 + 3 - 5*q. Let h be p(1). Let c = -61 - h. Is c a multiple of 5?
False
Let m(i) = i**3 + i**2 + 7*i + 35. Let s be m(-3). Is 14 a factor of (s + 36/6)*(1 - -190)?
False
Let y(j) = 176*j**2 - 765*j + 43. Does 308 divide y(-13)?
True
Let p(n) = 24*n**2 - 1 - 5*n - 22*n**2 - 4*n. Let q be p(5). Suppose -y = -q*k - 116, -77 = 2*y - 5*k - 309. Is y a multiple of 29?
True
Suppose 0 = 2*k - 3*k - 5*l - 3, 5 = -5*l. Suppose k*z - 1268 = -5*o, -2*o - z = -6*z - 484. Suppose o - 60 = 8*q. Is 4 a factor of q?
True
Let m(x) = -14*x**2 - 20*x - 4. Let a(d) = -5*d**2 - 7*d - 1. Let c(v) = 11*a(v) - 4*m(v). Let b be c(-3). Is 335/b - (4 + -1) a multiple of 4?
True
Let u = -184 - -3121. Is u a multiple of 3?
True
Let g(w) = 228*w + 3572. Is g(43) a multiple of 32?
True
Let h be -4 + 1 + -1 + 8. Suppose 4*t - 3*u + 81 = 0, t - h*u = 5*t + 88. Is 24 a factor of (-2408)/t + 4/(-6) + -1?
False
Let y be ((-782)/(-4) - 0) + 3/6. Suppose -h = 6*h - y. Suppose 4*v + p = 78, 3*p = v - p - h. Is v a multiple of 5?
True
Suppose 2*t = 6*m - 5*m + 265, -1405 = -11*t - 2*m. Does 2 divide t?
False
Let j(u) = u**3 + 6*u**2 + 9*u + 14. Let c be j(-5). Does 14 divide c + 1158/8 - 2/(-8)?
False
Suppose -d = g + 349, 109 = 2*d - 2*g + 795. Let b = d - -562. Is 24 a factor of b?
True
Let u = 142 + -60. Let c be (6/12)/((-4)/272). Let m = u + c. Is 12 a factor of m?
True
Let b = -195 - -247. Is 80 a factor of b/39 - (-1091)/3?
False
Suppose -8720813 = -494*l + 2007385. Is 28 a factor of l?
False
Let v be (13035/(-44))/15 - (-1)/(-4). Let b(f) = f**3 + 21*f**2 + 4*f - 41. Does 13 divide b(v)?
False
Let s(x) = -22*x + 15. Let j be s(3). Let g = j - -55. Is 9 a factor of (-68)/(-6)*g*(-6)/(-16)?
False
Let f(w) = w**2 - 15*w + 3. Let y be f(0). Is 10 a factor of 1*(-5 - (y - 117))?
False
Suppose 22*y - 119543 = 145889 + 14562. Is y a multiple of 7?
False
Let q(m) = 2*m - 1. Let n be q(3). Let h(x) = 23*x**2 + 26*x - 5. Let v(f) = 13*f**2 + 13*f - 2. Let k(s) = 4*h(s) - 7*v(s). Is 10 a factor of k(n)?
False
Let c be (-11 + 12)/((-2)/(-2)). Suppose 0 = 4*p - 2*w - 17 - 5, 2*w = -3*p - c. Let k = p - -3. Is 3 a factor of k?
True
Suppose 13*t - 10 = 8*t. Suppose t*f + 4 = -4*s, -4*s = -3*f + 2 + 2. Suppose f = -3*z + 2*z + 59. Does 12 divide z?
False
Suppose 6*x = 45 + 81. Suppose -224 = 20*l - x*l. Suppose -5*t = 4*o - 729, 5*o + t + l = 1109. Is 27 a factor of o?
False
Let r(p) = 18*p**2 - 28*p + 207. Let j be r(7). Suppose 4*k = z + j, -8*k + 7*k + 4*z + 227 = 0. Is k a multiple of 29?
False
Suppose -3*i = -16*i + 3185. Suppose i + 7 = 6*a. Does 7 divide a?
True
Suppose 10*w + 457 = -1783. Does 11 divide w/(-1 - 0 - (-21 - -21))?
False
Is ((-12)/(-10))/(3/5) - -17251 a multiple of 9?
True
Suppose 0 = 11*t - 8*t - 9. Suppose 0 = 4*m + b - 33, -2*m + 2*b = -m - 15. Suppose -t*c + m = -9. Is c even?
True
Suppose 0 = -4*k + 6*d + 33554, -5*k - 52*d = -51*d - 41934. Does 152 divide k?
False
Let p = 105 + 2178. Let k = p + -1213. Is k a multiple of 13?
False
Suppose 0 = -5*s + 20, -4*j = 2*s + 3*s - 4912. Let h = j - 23. Is h a multiple of 35?
False
Let r(u) = 5*u**3 - 12*u**2 + 7*u + 27. Let z(w) = -3*w**3 + 6*w**2 - 3*w - 14. Let l(j) = -4*r(j) - 7*z(j). Let t = 2 - 8. Is 6 a factor of l(t)?
False
Let a(u) = 58*u - 159. Let z be a(3). Suppose 0 = -z*f + 28*f - 8359. Is f a multiple of 15?
False
Let b(s) = -11*s + 17. Suppose 0 = v + 3*v - 20. Suppose 2*f - d + 13 = 0, -2*f - v*d = f + 39. Is 21 a factor of b(f)?
True
Let y be ((-50)/(-60))/(1/6). Suppose 1105 = y*x - 4*c, 24*x - 665 = 21*x + 2*c. Is x a multiple of 45?
True
Let g = -35 - -40. Let d = 40 + g. Does 15 divide d?
True
Suppose -2*k + 4110 = -5*i, -3*k + 2233 = -4*i - 3918. Is 3 a factor of k?
False
Let i be (-27 + 6)/(2 + -3). Let y be 3/(-7) - 8496/i. Let g = 664 + y. Is g a multiple of 37?
True
Let l(z) = -z + 13. Let g be l(18). Let i be 25*(1*(3 + -4) - g). Suppose i = 3*a - 206. Is a a multiple of 17?
True
Let n = 395 - 611. Let m = n - -909. Does 11 divide m?
True
Let y = 177 + -170. Suppose 6*v + 370 = y*v. Is v a multiple of 37?
True
Suppose -30*x = -3178 - 4472. Is 78 a factor of x?
False
Suppose 7*b + 9 - 16 = 0. Is b/((-2)/4*1) + 198 a multiple of 14?
True
Let l(r) = -4*r - 16. Let m be l(-4). Suppose -a + m*t - 4*t + 7 = 0, -t - 2 = -a. Suppose -1 - 2 = 3*y, -a*y = 4*h - 525. Is 33 a factor of h?
True
Let u be (4 - (-1 - -8))*-48. Suppose 13*f - u = 4*f. Does 8 divide f?
True
Let c(y) = -2*y**3 + 87*y**2 + 19*y - 2025. Does 123 divide c(37)?
False
Let z = 4774 - 3610. Is z a multiple of 8?
False
Suppose -2*m - a = -37956, -196*a + 201*a - 37932 = -2*m. Is m a multiple of 40?
False
Let r be 3 + (-8 - (3 - 3)) + 391. Suppose 5*c - 666 = 2*w + w, 0 = 3*c + 5*w - r. Is c a multiple of 6?
True
Suppose 0 = -5*y - 40, y - 792 - 2266 = -2*s. Is s a multiple of 3?
True
Let l(g) = 2*g**3 + 15*g**2 + 6*g + 14. Let y be (-1 - -2)/((-54)/24 + 2). Is 4 a factor of l(y)?
False
Let q(y) = -24*y - 230. Let z be q(-11). Is 6 a factor of 2 + (-6491)/(-9) + z/(-153)?
False
Suppose 86*z + 120 = 81*z. Let f = z + 142. Is 25 a factor of f?
False
Suppose -2*w + 21 = 3*q, -1 + 12 = q + 2*w. Suppose 208 = 4*x - 4*v, -438 = -q*x - 5*v - 128. Let b = -39 + x. Is 3 a factor of b?
True
Let i(m) = -37*m + 46. Let g be i(2). Let u(s) = s**2 + 14*s + 108. Is 49 a factor of u(g)?
False
Let g(f) = 13*f + 75*f + 15*f - f + 5. Is 19 a factor of g(2)?
True
Let u = -169 + 208. Is (753/(-78) - (-6)/u)*-18 a multiple of 19?
True
Suppose -3*g + 3*h = g + 555, 2*g + 272 = -4*h. Let a = g + 321. Does 42 divide a?
False
Let i(a) = -a**2 + 11*a - 10. Suppose -4*w = 3*b - 2, -w = 3*w + 4*b. Suppose 3*q - w*u = 30, 4*u = -16 + 4. Is 11 a factor of i(q)?
False
Let m(s) = -2*s - 50. Let o be m(-26). Suppose 6*h = -4*g + o*h - 36, -4*g = 5*h + 36. Let w = g - -55. Does 4 divide w?
False
Let w = 35367 - 29780. Is w a multiple of 11?
False
Let h be 310/15 - 2/3. Let y be 4/10 + 492/h. Let j = y + -11. Is 14 a factor of j?
True
Let o = 0 - -4. Let m be (1 + -6)*((-36)/10 + o). Does 4 divide 32 + (-3)/m*(-8)/6?
False
Suppose 19*m - 2033446 + 582340 = 0. Is m a multiple of 11?
False
Let x(z) = -z + 1. Let d(j) = -25*j + 13. Let a(h) = -d(h) - 3*x(h). Does 4 divide a(3)?
True
Let t = -19 + 32. Suppose t = a - 12. Suppose 0 = -24*u + a*u - 96. Is 6 a factor of u?
True
Let c = 1829 - -790. Is 4 a factor of c?
False
Let l(c) = c**3 + 15*c**2 + 18*c - 15. Let f be l(-14). Let k = -66 - f. Suppose k*i + 0*a - 4*a - 351 = 0, 16 = -4*a. Is i a multiple of 33?
False
Let n be 74/6 - 13/39. Let b be (-16)/n + (-2188)/6. Does 24 divide b/(-15) - 2/5?
True
Suppose 0 = -7*h + 8*h - 17. Suppose h = -d - 5*m, -4*d + 4*m = -0*d - 28. Is 5 a factor of -12*5/(-10)*d?
False
Suppose 0 = -2*z + 5*x + 201, 2*x - 4*x - 318 = -3*z. Let l = z + 45. Is 21 a factor of l?
False
Let c(f) = f**2 - 44*f + 855. Does 59 divide c(-88)?
False
Let t = -37 - -43. Is 5/((t/(-1468))/((-6)/4)) a multiple of 47?
False
Suppose 84*k - 1 = 83*k, -3*k - 9019 = -2*v. Is v a multiple of 49?
False
Let t(n) = 10*n - 47. Let l be t(5). Suppose l*m - 3*z = -m + 2094, 5*m - 2618 = 4*z. Is 58 a factor of m?
Tr