 Is 15 a factor of i?
False
Let z = 294 + 343. Does 13 divide z?
True
Suppose g - 372 - 861 = 3*u, -g - u = -1213. Does 14 divide g?
True
Suppose -24*f + 2658 = -21*f + 3*y, -3*y = 4*f - 3540. Is f a multiple of 42?
True
Let k = 13 - 6. Suppose 6*i = k*i - 121. Is 26 a factor of i?
False
Is (104/(-5))/(4/(-160)) a multiple of 16?
True
Let c(p) = -20*p + 7. Let z be -12*(-3 + 33/12). Let y be -4 + 3/(0 + z). Is c(y) a multiple of 27?
False
Let w = 420 - 120. Suppose -34*l - w = -39*l. Is 20 a factor of l?
True
Suppose -5*i = -5*f - 100, 3*i + i - 46 = 2*f. Let y = f - -29. Is 12 a factor of y?
True
Let x(j) = j**3 - 17*j**2 - 10*j + 32. Is 16 a factor of x(18)?
True
Let t(a) be the second derivative of -7*a**5/24 + 5*a**4/24 + 7*a**3/6 + 4*a. Let p(v) be the second derivative of t(v). Is p(-2) a multiple of 22?
False
Suppose -5*h = -3 + 13. Let q be h/6 + (-10)/(-3). Let z(k) = 2*k - 3. Does 2 divide z(q)?
False
Let d = 109 + -7. Does 34 divide d?
True
Let t(v) = -2*v**3 - 7*v**2 + 2*v - 6. Let s be t(-6). Let m = s - 39. Does 12 divide m?
False
Suppose -3*s + 8*s + 15 = 0. Does 9 divide ((-1 - -4)/s)/((-5)/135)?
True
Let j = 1815 - 1447. Is j a multiple of 6?
False
Suppose -5*m = 4*b - 809, -b + 40 = -3*m - 141. Is 16 a factor of b?
False
Let c(g) = -16*g - 42. Let j be c(3). Let h = j + 98. Does 4 divide h?
True
Is 83 a factor of (-11)/(-88) + (-89635)/(-40)?
True
Suppose 2*f + 493 - 77 = 0. Let a be (9/12)/(4/f). Does 14 divide 6/a + (-366)/(-13)?
True
Suppose 15*g - 4*q - 26 = 12*g, 0 = 4*g + 2*q - 64. Is 3 a factor of g?
False
Suppose 0 = 5*f, 0*n = n - 5*f + 91. Let t = -76 - n. Is 7 a factor of t?
False
Suppose 0 = -0*q + 2*q + 6, -u + 8 = -2*q. Suppose -3*v + 0*v + 4 = u*w, v + 5*w + 3 = 0. Suppose 0 = 3*y + v*y - 70. Is y a multiple of 7?
True
Let p(x) = x**2 - 5*x + 4. Let o be 33/77 - 25/(-7). Let c be p(o). Suppose -g + 8 + 6 = c. Is 13 a factor of g?
False
Let q = 386 + -232. Let a(m) = -7*m - 5. Let p be a(-3). Suppose 5*d - 1 - q = -5*k, -2*k = -d + p. Is d a multiple of 10?
False
Let l(h) = h**2 - 9*h + 12. Suppose -6 = -o - s, 2*o - s - 8 = o. Let f be l(o). Does 6 divide 4 - (-14)/f - -18?
False
Let u(j) = -32*j - 590. Does 131 divide u(-43)?
True
Let v(u) = -47*u**2 - 6*u - 5. Let l(n) = 117*n**2 + 15*n + 12. Let t(b) = 5*l(b) + 12*v(b). Is t(2) a multiple of 15?
True
Suppose -4*u + 2*b = -12, 0*b + 29 = 5*u + b. Suppose -5*o = p + 283, -162 = 3*o + 3*p - u*p. Let x = 2 - o. Is x a multiple of 26?
False
Suppose 15*t - 90 = 11*t + 2*x, 12 = 4*x. Is 5 a factor of t?
False
Let w be 14/(-105) + (-9906)/(-45). Let x = 371 - w. Is x a multiple of 15?
False
Let v be 3 + (-2*3)/2. Suppose v = -l - 0*l + 2*m + 15, 5*l + 5*m - 30 = 0. Is l a multiple of 3?
True
Let g(j) = 2*j - 8. Let b be g(6). Suppose 5*k - 23 = -4*n, -3*n = -b*k + 3 + 3. Suppose -3*a + a + 140 = r, 0 = -k*r. Does 12 divide a?
False
Let h be (8/26)/2 - 700/(-182). Does 12 divide 3 + -6 + h/(4/141)?
False
Let i(u) = -2*u + 10. Suppose 0 = b + 2*t - 3 + 22, -b - 4 = -t. Does 24 divide i(b)?
False
Suppose p - 823 = -2*g + 2*p, 0 = 5*g + p - 2047. Is 41 a factor of g?
True
Let u = 96 + 23. Is 17 a factor of u?
True
Suppose -47*b + 46*b = -242. Is b even?
True
Let t(l) = 17*l - 12. Let n = 23 + -18. Let i(y) = y**3 - 4*y**2 - 4*y. Let o be i(n). Is t(o) a multiple of 25?
False
Let l be (6/(-8))/(3 - (-5186)/(-1728)). Suppose 4*z - 3*u - 540 = 0, -4*z - z + l = 3*u. Is z a multiple of 11?
True
Suppose 0 = -11*b + 14249 - 1544. Is 33 a factor of b?
True
Suppose 177*a + 67725 = 220*a. Is a a multiple of 9?
True
Let w = -37 - -24. Let i = w + 10. Is 1 + 94 + (i - 1) a multiple of 19?
False
Let p(o) = 3*o**2 - 1. Let x be p(1). Let u(l) = -4 - 7 + 7 - 2*l + 3*l**x. Is u(5) a multiple of 22?
False
Suppose a - 46 - 50 = 0. Suppose 2*m + a = 2*q - 2*m, -4*q + 180 = -5*m. Does 9 divide q?
False
Let g(c) = c**2 + c. Let r(m) = -3*m**2 - 14*m - 3. Let o(s) = -4*g(s) - r(s). Suppose -2*l = -5*l + 27. Is o(l) a multiple of 6?
True
Suppose 2*b - 228 = 3*f, -4*b - 3*f + 357 = -b. Suppose q - 7 = -b. Let t = -49 - q. Is t a multiple of 24?
False
Does 29 divide 57*(-2 + 3 + 16)?
False
Let z = 67 - 70. Is 12 a factor of z*(4 - (4/1 - -44))?
True
Does 24 divide ((-16)/28)/(12/(-798))?
False
Suppose -12 = -3*g - g. Suppose 2*y + g*b = 205, y = -4*b + 90 + 15. Does 24 divide y?
False
Let o be 1/2*-6 + 7. Suppose -3*p + 5*w - o = -5*p, 4*p = 4*w + 8. Let l = 19 - p. Is l a multiple of 7?
False
Suppose -39 = -4*l - n, 3*l + 0*n = 4*n + 34. Is (123/6 - 2)/(5/l) a multiple of 24?
False
Suppose -3*i - z + 1981 = 0, -1975 = 77*i - 80*i + 5*z. Is 29 a factor of i?
False
Let d be ((-28)/(-70))/((-1)/(-5)). Suppose -5*m - d = -2*v + 3, 5*v - 2*m - 23 = 0. Suppose g + v - 32 = 0. Does 9 divide g?
True
Let f(x) = 4*x**2 + 12*x + 41. Is 66 a factor of f(11)?
False
Let g = -80 - -220. Suppose 3*f = -4*r + 1 + 114, 0 = 4*f + 2*r - g. Does 12 divide f?
False
Let w = 357 + 721. Is 98 a factor of w?
True
Let n = -571 - -1625. Does 34 divide n?
True
Suppose -k + 94 = 2*c, 0 = 4*k - 3*c - 245 - 76. Does 6 divide k?
True
Let h(l) = -l**2 - 8*l - 10. Let w be h(-7). Let a be 146 + 8/(w + -1). Suppose -2*r = r - 4*t - 98, -3*t = 5*r - a. Does 10 divide r?
True
Let p(f) = 22*f + 1187. Is 15 a factor of p(-19)?
False
Let u(p) = 4*p**2 - 6*p + 1. Let q(z) = z**2 - z - 1. Let r(c) = -3*q(c) + u(c). Let d be r(6). Let b = d + -2. Is 10 a factor of b?
True
Let o(h) = h**2 + 8*h + 3. Let d be o(-3). Let a(b) = -b**3 - 12*b**2 + 4. Let r be a(d). Suppose 3*v = q - 84 + r, 0 = 2*q + v - 174. Is 23 a factor of q?
False
Let r(n) be the first derivative of 25*n**4/12 - n**3/6 + 6*n + 2. Let t(x) be the first derivative of r(x). Is t(1) a multiple of 8?
True
Suppose -4*z = 16, -3*g + 3*z + 152 = g. Suppose 5*v + 25 + g = 0. Let n = 66 + v. Is 15 a factor of n?
False
Let b(z) = z**2 + z + 3. Let f be b(0). Let k = -44 + 49. Suppose -4*s = k*m - 130, m - s - f*s - 26 = 0. Does 10 divide m?
False
Suppose 0*r = 7*r. Let q = 3 + r. Suppose -w + 23 = -3*y, w + y = -q*w + 79. Is 3 a factor of w?
False
Suppose -13662 = 369*m - 380*m. Is m a multiple of 54?
True
Let x = 18 - 16. Suppose 5*g = x*o, 5*o + 6*g - g - 35 = 0. Suppose -6*w = -o*w - 21. Does 11 divide w?
False
Suppose 2*y - 29 = 2*o - 3*y, -4*y = -12. Let d be (1/1)/(o/(-1008)). Suppose 0 = -4*c + 480 - d. Is c a multiple of 21?
True
Let f(k) = k**2 - 3*k - 3. Let n be f(-6). Suppose -h = d + 3*d - n, 9 = 3*h. Does 13 divide 11 - d - (1 - 80)?
True
Let p = 1035 + -207. Does 12 divide p?
True
Let k(d) be the first derivative of -3*d**2 + 4/3*d**3 + 10*d + 3. Does 10 divide k(4)?
True
Let c(a) be the second derivative of -a**5/20 + a**4/2 + 2*a**2 - 31*a. Does 11 divide c(3)?
False
Let q be ((-2)/7)/(3/21). Let i(d) = -2*d**3 + 2. Is 18 a factor of i(q)?
True
Suppose -56 + 62 = k. Is 4 a factor of 3 + (3 - k/(-1))?
True
Let j = 6 - 8. Let c(g) = -8*g**2 - 3*g**3 + 0*g**3 + 9*g**2. Is 24 a factor of c(j)?
False
Suppose 4*q + 0 = 8. Suppose 2*y - 182 = q*i, 1 = -2*i - 3. Is y a multiple of 23?
False
Suppose -7*t + 3098 = -1487. Is 18 a factor of t?
False
Let q(m) = m**3 + 11*m**2 + 4*m - 1. Is q(-7) a multiple of 3?
False
Let k be (-420)/(-12)*6/(-5). Suppose -4*a + 145 = -9*a. Let z = a - k. Is 10 a factor of z?
False
Suppose 6*m - 1 = 3*q + 2*m, -3*m = q - 4. Let j = 13 + q. Does 7 divide j?
True
Does 47 divide -3*(7 - 442/3)?
False
Let g be (-34)/(-3)*12/(-8). Let k = g + 17. Suppose k*z = 5*z - 95. Is 4 a factor of z?
False
Let k(o) = 2*o + 2. Let l be k(4). Suppose l*z - 13 = 11*z. Let v = 53 + z. Is 8 a factor of v?
True
Let n be -8 - (-4 + 4 - 1). Let j = n + 25. Is 6 a factor of j?
True
Let n(b) = b. Let l(v) = -v**2 + 14*v - 15. Let m(q) = -l(q) + 3*n(q). Does 39 divide m(17)?
True
Let h(r) = r**2 - 3*r - 5. Let p be h(5). Let j be (-4 + 22)/((-6)/(-4)). Suppose -p*g + j = -108. Is g a multiple of 12?
True
Let f = 422 + -515. Suppose 3*o + 63 = 3*j, -4*o + 3*o - 96 = -4*j. Let m = j - f. Is 26 a factor of m?
False
Let z(r) = -40*r - 32. Let i be z(-7). Suppose 3*q + q = i. Is 12 a factor of q?
False
Suppose -v - 3*h = -110, 4*v + 0*h = 3*h + 455. Let y = v - 57. Is y a multiple of 28?
True
Suppose 9*y - 13*y = -4*s + 416, 3*y - 228 = -2*s. Does 12 divide s?
True
Sup