(-2))) a multiple of 6?
True
Let p = 7525 + 1162. Does 19 divide p?
False
Is 28 a factor of 6991 + 2/(5 - 430/90)?
True
Let z(l) = -9*l - 5. Let g(y) = y**2 - 2*y - 1. Let v be g(3). Let k be 7*(-1 - v - -2). Is 13 a factor of z(k)?
False
Let o = 174 + -176. Is 55 a factor of ((-154)/(-4))/(o/(-20))?
True
Suppose 21166 - 67534 = 28*l. Let n = -1098 - l. Does 11 divide n?
False
Let r(d) = d**3 - 5*d**2 - 11*d - 11. Suppose 0 = 3*n, -5*i + 35 = -0*i - n. Let k be r(i). Suppose -136 = 6*w - k*w. Is 34 a factor of w?
True
Let z(t) = 2*t**3 - 8*t**2 + 5*t - 6. Let k be z(5). Let i = 78 - k. Suppose -299 = -5*c + 5*g + 626, 3*g = i. Is 16 a factor of c?
False
Let z(l) = l**3 + 4*l + 1. Let x be z(0). Is (-9 + 11 - (-441 + -1)) + x a multiple of 67?
False
Suppose -946*l - 945 = -951*l. Let n = l - 53. Is n a multiple of 17?
True
Let g = -17 - -22. Suppose -5*u + 4*m = -478, 5*u - m - 462 = -g*m. Suppose -4*o = k - u, 2*o - 78 = -o + 3*k. Is o a multiple of 4?
True
Suppose 28 = 7*l - 11*l. Let x be (-42)/35*(l + 2). Is 34 a factor of 30*(40/x + -1)?
True
Suppose 9*a + 28 = 13*a. Suppose -2*c + 12 = -2*o, o + a + 11 = 4*c. Is 262*(12/(-8) - o) a multiple of 43?
False
Suppose 12 = 3*k, 3*b = -k + 3*k - 14. Is (69/b)/(6/(-32)) a multiple of 8?
True
Let a = 87 - 35. Suppose -44 = -4*d - a. Is 30*(-3 + (-51)/(-6)) + d a multiple of 18?
False
Let z be (-39)/(-26)*1304/6. Suppose -l + z = 99. Is 9 a factor of l?
False
Let c(p) = -21*p - 7. Let o(d) = 6*d - 16 - 5*d - 10. Let j be o(19). Does 21 divide c(j)?
False
Let v(t) = t**3 - 8*t**2 - 308*t + 70. Is v(-13) a multiple of 35?
True
Let w(s) = 22*s**2 - 47 + 22*s + 29*s + 20*s - 87*s. Is 9 a factor of w(-6)?
False
Let a be -4 + -1 + 335/(-5). Let i = 125 + a. Is i a multiple of 12?
False
Let y(v) = v**3 + 5*v**2 + 13*v - 34. Let c be y(-10). Let r = c + 936. Suppose -443 = -5*w + r. Is 13 a factor of w?
True
Let h = -79 - -194. Let a be -4 - (3 - 4) - h. Let s = a - -202. Is s a multiple of 42?
True
Suppose -5*f + 14 = 4*t - 2*t, -t + 5*f - 8 = 0. Suppose 2*l + t - 6 = 0. Suppose -3*x + 288 = l*q + q, -280 = -3*q - x. Is 17 a factor of q?
False
Suppose -w = p + 98, 4*p - 5*w + 182 = 2*p. Let c be (-111)/(-2)*8/3. Let s = c + p. Is s a multiple of 26?
True
Let k be 31/(7*8/4816). Suppose -5*z + 3*w = -k, 6 = -3*w - 0. Does 7 divide z?
True
Suppose y = r - 5036, -20168 = -10*r + 6*r - 2*y. Is r a multiple of 63?
True
Suppose -8*y - 17*y - 7*y + 47232 = 0. Does 18 divide y?
True
Let l(c) = c**2 - 12*c - 1. Let k(w) = -w**2 + 11*w. Let r(t) = -6*k(t) - 5*l(t). Let i be r(6). Suppose -i*b - 107 = 4*u - 458, -u + 81 = -b. Does 14 divide u?
True
Suppose -r + 18 = -3. Suppose 2*i = 5*n - 3329, -r*n + 4*i = -17*n - 2656. Is 51 a factor of n?
False
Is ((-42672)/(-20))/((-28)/(-40)*6/14) a multiple of 14?
True
Let i be (-3 + -2 + 7)/(4/46). Suppose -d + 2 = -0, k = -2*d + i. Is 5 a factor of k?
False
Let r(n) = -37*n - 72. Let p be (8/5)/((-9)/90). Is r(p) a multiple of 10?
True
Let h = -68 + 72. Suppose 0 = 5*i + 3*b - 7 + 197, 3*i + 85 = h*b. Let l = 80 + i. Is l a multiple of 16?
False
Let u be (-2 + -37)/(246/(-328)). Suppose 4*f - 80 - 288 = 0. Suppose -u + f = k. Is 5 a factor of k?
True
Let a = -1195 + 1813. Does 3 divide a?
True
Suppose 15*t + 0*t = -240. Let h(g) = -g**2 - 36*g + 36. Does 49 divide h(t)?
False
Suppose -6 = -10*i + 9*i. Suppose -2 = i*w - 7*w. Suppose -2*z = 2*s - 596, -3*z - 10 = w. Is 19 a factor of s?
False
Let b be (-1133)/(-3) - 11/(-33). Let p = b + 51. Suppose 7*r - p - 390 = 0. Is r a multiple of 39?
True
Suppose 34*l = -l - 70. Is 32 a factor of (15 - -105)*(0 - 2)*l?
True
Let f = -21729 - -24047. Does 122 divide f?
True
Let n = -10159 + 14015. Does 25 divide n?
False
Suppose 53*q - 57*q = -4164. Suppose -12*t + 2283 = -q. Is 31 a factor of t?
False
Suppose 14 = k + 3*g, -3*g = -7*k + 10*k - 18. Suppose -2*i - 846 = -5*p + 945, k*p = -2*i - 1770. Does 14 divide i/(-9) + (-4)/6?
True
Let d(h) = 113*h**2 + 74*h - 175. Does 7 divide d(3)?
True
Let y be (4 - 7)/6*10 + 3. Is 6 a factor of ((-2)/(-3))/(7/(-756)*y)?
True
Let k = -93010 + 50254. Is ((-2)/(-3))/(56/k)*-2 a multiple of 15?
False
Let p be 21/(-77) - (-138)/22. Is 34 - 30 - -24*p a multiple of 4?
True
Suppose -2*q + 20 = 4*z, -4*z + 10 = -3*q - 0*z. Let d(v) = 5*v**3 - 7*v + 6. Let m be d(1). Suppose m*j + q*t = 50, 2*j = -5*t - 7 + 36. Is j even?
True
Let h(n) = 9*n**3 - 2*n**2 - 10*n + 20. Suppose 4*m + 4 = 16. Is 12 a factor of h(m)?
False
Let v(a) = a**3 + 7*a**2 - 14*a - 19. Is v(-8) a multiple of 2?
False
Let y(q) = 2*q**3 - 12*q**2 - 12*q - 16. Let u be y(11). Suppose 6*j - j + 1805 = 5*m, 3*m + 4*j = u. Is 37 a factor of m?
False
Let k = 19 + -14. Suppose -k*w - 20 = 0, 0 = 2*m - 5*m - 5*w + 37. Suppose 34 = y - m. Does 3 divide y?
False
Suppose p + p - 6 = 0. Suppose d - 2*d + 12 = -p*x, 0 = 5*d - 2*x - 47. Let b(v) = -v**3 + 10*v**2 - 8*v + 11. Is 20 a factor of b(d)?
True
Suppose -81*f - 41*f = 23*f - 433550. Is f a multiple of 26?
True
Let v = 9 - 12. Let i(k) = -k**3 - 2*k**2 + 2*k - 3. Let o be i(v). Is o/(-1) - (-128)/16 a multiple of 8?
True
Is (-3110)/(-1*50/20) a multiple of 7?
False
Let t = -12870 - -57178. Is t a multiple of 106?
True
Let q be 3/(-2)*(84/(-9))/2. Suppose -u - 2*g = -q - 59, 330 = 5*u + 2*g. Is 6 a factor of u?
True
Let u(j) be the second derivative of -6*j**5/5 - j**4/12 - j**3/3 - 4*j**2 - 60*j. Is u(-2) a multiple of 5?
False
Suppose -77696 = -31*m + 5446. Is 9 a factor of m?
True
Let t(g) = 3*g**3 + 2*g**2 + 15*g - 4. Let j(y) = -5*y**3 - 3*y**2 - 22*y + 6. Let x be ((-5)/(-3))/((-2)/6). Let d(a) = x*j(a) - 7*t(a). Does 21 divide d(3)?
False
Let m be (255/(-34))/(9/(-48)). Suppose -4311 = m*x - 49*x. Does 12 divide x?
False
Suppose -2*j + 219 = -6369 + 456. Is 93 a factor of j?
False
Suppose -10*d = -37*d + 513. Suppose -5*l + 16 = -g, 2*g - 11 = 4*l - d. Is 4 a factor of g?
True
Suppose 0 = -3*z - 9, -3*k + 4*z = -51112 - 10283. Is 79 a factor of k?
True
Let a(f) = -32*f**3 - 2*f**2 + 7*f + 25. Let j be a(-3). Let m = j + -430. Is 15 a factor of m?
True
Let m = 1725 + 4629. Does 13 divide m?
False
Let l(j) = j**3 - 28*j**2 - 12*j + 101. Let z be l(28). Let w(d) = -15*d**3 - 4*d**2 + 2*d - 3. Let u be w(3). Let y = z - u. Does 51 divide y?
False
Let d(s) = 2*s - 29. Let k be d(15). Is 65 a factor of (-36 - -38) + 323*k?
True
Suppose 5*y = 10*m - 15*m + 92325, 3*y = 3*m - 55431. Is m a multiple of 131?
True
Suppose -3*h - 40 = -5*z, 4*h - 23 - 1 = -3*z. Suppose 0*m + 7 = 7*m. Does 26 divide 1880/z + (m - 0 - 2)?
True
Suppose -d = -s, 10*s = 11*s + 3*d - 8. Suppose 5*m = 4*n - 1815, 2*n = -s*m + 3*m + 915. Is 10 a factor of n?
True
Suppose -g + 12 = -2*i, 24 - 3 = g - 5*i. Let y be g/(-27) - 1228/(-18). Let z = -59 + y. Is 2 a factor of z?
False
Let j(z) = 5*z - 161. Let a(k) = -2*k + 54. Let s(r) = -7*a(r) - 2*j(r). Let u be s(28). Does 20 divide u + -2 + 8/(-4)?
False
Suppose -2*i + 8*i - 34793 = 136207. Does 25 divide i?
True
Is 20 a factor of (((-417496)/(-368))/((-3)/8))/(2/(-3))?
False
Suppose 6 + 3 = 3*r, 2*r - 291 = 5*h. Let i = h + 101. Does 20 divide i?
False
Let z(f) = -f**3 - 14*f**2 - 16*f - 32. Let o = 30 - 43. Let n be z(o). Suppose 12*g = n*g + 450. Does 9 divide g?
True
Let k = 51 + -47. Let y be (-57)/(-5 - -2) + k. Suppose 0 = q - 4 - y. Does 9 divide q?
True
Let s be (1 + (-2)/(-6))*-24. Suppose -8455 = 23*c + 66*c. Let x = s - c. Does 11 divide x?
False
Suppose -15*t = -8*t - 140. Suppose -4*j - 15*k + t*k + 1191 = 0, -3*j + 895 = -2*k. Does 13 divide j?
True
Let r be 2/(-3)*(-9)/3. Suppose u - 128 = -r*u - 5*y, -96 = -3*u + 3*y. Suppose o - 4*o = -u. Is 6 a factor of o?
True
Let i(y) = y**3 - 9*y**2 + 18*y - 8. Let p = 5 - 4. Suppose k = -2*g - 2*k - p, -3*g = -3*k - 36. Is i(g) a multiple of 2?
True
Let n(k) be the third derivative of -k**4/4 + 35*k**3/3 + 2*k**2 - 30. Does 11 divide n(-32)?
False
Suppose -56*q + 38*q = 18*q - 445788. Does 45 divide q?
False
Is 83 a factor of (-1)/((-8)/36)*(-13)/(117/(-39798))?
False
Let v = 8159 - 4877. Suppose -5*z + 5*o - 2372 + 5642 = 0, -5*z + o + v = 0. Does 30 divide z?
False
Let q = 2055 + 6. Does 9 divide q?
True
Let a(f) = 22*f**2 + 5*f + 9. Let s be a(-2). Let o = 112 - s. Is o a multiple of 3?
False
Let f = -1755 - -33