v - 4*p + 34. Let l = 9 - v. Suppose l*n + 0 = 22. Is n a multiple of 6?
False
Let u = 6380 + -4488. Does 43 divide u?
True
Let r be 2 + -6*4/6. Let h(d) = 2*d + 5. Let n be h(11). Is 35 a factor of (r - -5)*315/n?
True
Suppose -3*f + 1709 = 4*u, 3*u + 3*f - 859 = u. Does 26 divide u?
False
Let s(q) = 5*q**2 + 5*q + 5. Let y(m) = 2*m**3 + m + 1. Let v be y(-1). Let k be s(v). Suppose c - 6*c = -k. Is c a multiple of 3?
True
Let l(t) = t**3 + 18*t**2 - 13*t + 15. Let s be l(-18). Let h = -149 + s. Is h a multiple of 25?
True
Let r(m) = m**2 + 15*m + 19. Let l be r(-14). Suppose 41 = -5*k + 3*f + 124, 0 = k - l*f - 21. Is k a multiple of 16?
True
Let t(d) = d**2 + 4*d - 2 - 3 - 8. Let z(j) = 2*j**2 + 11*j - 38. Let s(w) = 17*t(w) - 6*z(w). Is 14 a factor of s(-4)?
False
Let r be (-1)/(-2 - 39/(-20)). Suppose -2*j = 2*u + r, 5*j + 8 + 12 = 0. Let l(g) = -4*g + 1. Is 13 a factor of l(u)?
False
Let c(k) = k**2 + 6*k - 11. Let g be c(-5). Is 18 a factor of 109/2 - 8/g?
False
Suppose 0 = 4*m + k - 68, 27 - 11 = 4*k. Is m a multiple of 3?
False
Let v(a) = 25*a + 10. Suppose -12*n + 18 = -3*n. Is v(n) a multiple of 47?
False
Suppose 4290 = 12*d - 5502. Is 14 a factor of d?
False
Let w(z) = z**3 + 16*z**2 - z + 2. Let k be w(-16). Suppose k = o - 6. Does 8 divide o?
True
Let h(f) = f**3 - 8*f**2 - 39*f + 18. Let k be h(11). Let z be (1 - -1)/(6/27). Is 6 a factor of 9/(-2)*k/z?
True
Suppose -3*l = -2*y - 490, -3*l = 9*y - 10*y - 242. Let i = 419 + y. Is 9 a factor of i?
True
Does 23 divide 8/6*(-12)/16*-146?
False
Let q(j) = 2*j**2 + 6*j. Let y(h) = -6*h**3 - h**2 - h - 1. Let i be y(-1). Let z be q(i). Suppose -p - p = -z. Is 25 a factor of p?
False
Let s = -185 + 453. Does 3 divide s?
False
Suppose 2*d + 96 = 6*d. Let f(m) = m + 14. Let y be f(-11). Suppose -c = y*c - d. Is 3 a factor of c?
True
Suppose -37 = -2*x + 35. Is 6 a factor of x?
True
Suppose -2*c - h = -13, c - h + 2*h = 5. Is 55 a factor of 220/c*4/2?
True
Let a = -281 - -603. Is 14 a factor of a?
True
Let a = 30 + -28. Suppose 0 = -a*u - r + 2*r + 214, -5*r - 307 = -3*u. Is 14 a factor of u?
False
Suppose -5*j - 420 = 2*r, 3*j + 252 = -r + 2*r. Let a = 156 + j. Is 18 a factor of a?
True
Let h(w) be the second derivative of -2*w + 1/6*w**3 + 0 + 23/2*w**2. Does 23 divide h(0)?
True
Let o = 150 + -313. Let d = 231 + o. Does 10 divide d?
False
Let h(o) = 4*o**3 + 5*o**2 + 5*o - 3. Let g(t) = -3*t**3 - 4*t**2 - 4*t + 2. Let c(m) = -5*g(m) - 4*h(m). Let j(r) = 6*r - 2. Let d be j(0). Does 3 divide c(d)?
False
Let l(v) be the second derivative of 0*v**2 - 2*v + 0*v**3 + 4/3*v**4 + 0. Does 16 divide l(-1)?
True
Let z = -2 - -793. Is z a multiple of 13?
False
Suppose -5*p + 4*p - 3 = 0. Let a be (48/4)/(p/(-3)). Is 5 a factor of ((-5)/2)/((-3)/a)?
True
Let j(h) = -74*h**3 - h**2 + 8*h + 3. Does 25 divide j(-2)?
True
Let q = 561 - 348. Is q even?
False
Suppose -46*d - 15949 = -70459. Does 9 divide d?
False
Suppose -4*d + 2*d = -156. Suppose 0 = -3*g + d + 105. Does 8 divide g?
False
Let g be (-4)/(-3) - 132/(-9). Let z(q) = 5*q - 35. Is 15 a factor of z(g)?
True
Let d(t) = -t**2 - 16*t - 11. Let o be d(-11). Suppose 0 = 4*p + 4 - o. Suppose -2*y - p + 98 = 0. Does 22 divide y?
True
Let a(d) = 0*d + d + 3 - 8*d + 2. Let o = -13 - -8. Is 10 a factor of a(o)?
True
Let i(p) = -p**2 + 16*p + 7. Let y be i(17). Is (2/(-4))/(y/520) a multiple of 13?
True
Suppose -12 = 10*l - 11*l. Is 0/(-1) - 12*(-8)/l a multiple of 5?
False
Let p be (-28)/70 - 966/(-15). Let o = 114 - p. Does 50 divide o?
True
Let a = 55 - 34. Suppose 2*r + a = 5. Let p = r - -17. Does 9 divide p?
True
Let f be (2/5)/((-3)/(-15)). Suppose 7*r = 4*r + 171. Suppose -l + h = f*l - r, 15 = -5*h. Is 7 a factor of l?
False
Let a(s) = -11*s - 33. Let n be a(-12). Suppose -n*o + 101*o = 130. Does 13 divide o?
True
Let l(f) = -f**3 + 7*f**2 - 3*f - 8. Suppose 30 = 5*h + d, 0 = 3*h + 4*d - 7 - 11. Does 6 divide l(h)?
False
Suppose -6*w + 8*w - 12 = 0. Suppose -3*f = b + 8, 0 = 5*f - 2*b + w*b + 25. Is (f/3)/(20/(-180)) a multiple of 2?
False
Suppose -1 = -k + d, 3*d + 21 = -2*k - k. Does 7 divide (-16)/k*-13*6/(-8)?
False
Let n = 54 - 51. Does 5 divide 25/(2*n*(-4)/(-24))?
True
Let v(c) = -c**3 + 15*c**2 - 19*c + 22. Is v(12) a multiple of 14?
False
Let y be (-4)/10 - (-270)/50. Suppose y*k - 193 - 177 = 0. Does 4 divide 2/(-12) - k/(-12)?
False
Is (-18366)/9*(-4)/(56/21) a multiple of 54?
False
Let w(p) = p**2 - p. Let g(y) = -4*y**2 - 6*y - 14. Let m(o) = -g(o) - 3*w(o). Does 11 divide m(-13)?
True
Let c = 2862 + -2139. Is c a multiple of 95?
False
Let l(c) = c**3 - 2*c + 1. Let s be l(-2). Let r = s - -8. Suppose r*f - 90 = 135. Is 12 a factor of f?
False
Suppose a = 3*a + 166. Let q = a + -4. Let c = -36 - q. Does 17 divide c?
True
Let b(n) = n**3 + 0*n + 11*n - n**2 - 6*n**2 - 5. Suppose 15*l = 13*l + 16. Is 31 a factor of b(l)?
False
Let f = 8 - 5. Suppose v + 7*o - 3*o - 34 = 0, f*v - 52 = -2*o. Is 7 a factor of v?
True
Does 25 divide (-5532)/(-5) - 291/(-485)?
False
Suppose 0 = -b - 1, -4*z - 3*b + 719 = -2*b. Is z a multiple of 10?
True
Suppose -3*q - 7 + 1 = 0. Is 12 a factor of q + (-1 - -1) - -14?
True
Let k(c) = 42*c**2 - 47*c + 163. Is 50 a factor of k(3)?
True
Let t(w) = w**2 + 7*w + 10. Let f(z) = z**2 - 8*z + 5. Let n be f(4). Is t(n) a multiple of 18?
True
Suppose -5*t + 5 = -15. Let r = 13 + -8. Suppose -t*h - 40 = -z - 138, -r*h = 4*z - 133. Does 12 divide h?
False
Suppose 4*f + 13 = 81. Is 17 a factor of f?
True
Let w(n) = n**2 + 4. Let y be w(0). Let o = -199 - -199. Suppose o*g + 276 = y*g. Is 23 a factor of g?
True
Let s = 26 - 21. Suppose 0 = 2*q - 2*r + 3*r - 221, 4*r + 520 = s*q. Is 9 a factor of q?
True
Suppose -5*g = -5*l, -3 + 7 = 3*g + l. Suppose -p + 7*p = 138. Suppose 2*v = p - g. Is 7 a factor of v?
False
Let n(m) = 3*m**3 + 4*m**2 + m - 4. Let a be n(3). Suppose 5*u - 138 = 3*j, a = -3*u + 7*u - j. Is u a multiple of 3?
True
Let p(x) = -x**2 - 6*x + 6. Let c be p(-6). Let a be c/6*(0 + 2). Suppose -2*y - a*j = 2*j - 12, 3*j = -2*y + 13. Is 2 a factor of y?
True
Let x(w) = -w**3 - 21*w**2 + 39*w - 33. Is 13 a factor of x(-23)?
False
Let y be 4/((-8)/(-10)) + (7 - 8). Suppose 59 + y = 7*w. Is w a multiple of 5?
False
Let t be (306/(-12))/((-2)/(-4)). Let a = t + 83. Suppose 0 = -4*m + 6*m - a. Is m a multiple of 8?
True
Let r = 114 + -61. Does 2 divide r?
False
Let c be 0 - ((-3)/15 - (-1137)/(-15)). Suppose -5*t = -20, g + 14*t = 10*t + c. Does 8 divide g?
False
Let q(m) = -m**2 - 11*m + 14. Let p be q(-12). Suppose 0 = 3*j - 3*x - 69, -p*x - 46 = -2*j - x. Does 6 divide j?
False
Suppose -1069 = -8*k + 2475. Is k a multiple of 7?
False
Let w = -19 - -84. Is w a multiple of 13?
True
Let n = -400 + 489. Does 4 divide n?
False
Suppose -12173 = -26*w - 2969. Is w a multiple of 12?
False
Let p(r) = -6*r**3 - 28*r**2 + 8*r - 53. Does 5 divide p(-8)?
False
Suppose -4*f = 7 - 23. Suppose -6*u = -2*u - 8, -14 = -f*z - 3*u. Is -2 + (-21 + z)*-3 a multiple of 17?
False
Suppose -2*t = -7*q + 3*q + 446, t = -2*q + 225. Let j = q + -38. Does 37 divide j?
True
Let z = -69 - -27. Let v = z + -66. Let a = -33 - v. Is 25 a factor of a?
True
Let i = 26 + -24. Suppose -i*h + h - 12 = 0. Is 9/(-6)*40/h a multiple of 5?
True
Let l be (-39)/(-2)*80/15. Suppose -105 = -2*q - 3*w, -5*q - 4*w + l = -3*q. Is q a multiple of 49?
False
Suppose -4*x - o + 2007 = -0*x, -o + 1005 = 2*x. Is x a multiple of 16?
False
Suppose 8*w + 16 = 10*w. Let n = 23 - w. Is 10 a factor of (-4)/3*n*-1?
True
Suppose 3*p - 2*f - 3*f = 39, -p = -f - 11. Let c be 6/p + 1/4. Is -1*(-41 + (-1 - c)) a multiple of 14?
False
Suppose 2*s - 31 = -3*s - 2*o, -2*s - 5*o = -25. Suppose -3*z + 4*j = -s*z + 440, -5*j + 664 = 3*z. Does 19 divide z?
True
Let c(w) = -94*w - 62. Does 9 divide c(-2)?
True
Does 9 divide (0 - 21/49) + (-11895)/(-21)?
False
Let l = -1 + -1. Let h be l*4/8 + -3. Is 19 a factor of (10/(-3))/(h/90)?
False
Suppose -4*m = -2*m + x - 1, -4 = 2*m - 4*x. Suppose 3*w = -m*w - 24. Is 22 a factor of 3 + (w/4 - -37)?
False
Suppose 9*p = 6 - 42. Does 5 divide (-1)/(-134*p/(-528) - -1)?
False
Suppose 10*r - 4*o = 6*r + 3784, 2*o = -5*r + 4737. Is r a multiple of 41?
False
Let f = 62 - 56. Suppose -n = -f*n + 180. Is 9 a factor of n?
True
Let p(n) = n**2 - 2*n 