(-12) + 0. Suppose -2*l + 236 = -2*v, -152 - 428 = -j*l + 3*v. Is 7 a factor of l?
False
Is (-77 - -23)*(-3)/1 a multiple of 11?
False
Suppose v = -0 + 2. Let a be (-1)/(1 + 0) + 7. Suppose v*i = a*i - 180. Does 12 divide i?
False
Let y(d) = d**3 - 7*d**2 + 8*d + 4. Let k be 0*3/(-9) - -6. Does 16 divide y(k)?
True
Suppose 2*y - 8 = 0, -b + 0*y = 2*y - 6. Is (b - 1 - -28)*1 a multiple of 25?
True
Suppose 5*c - 118 = 32. Is 3 a factor of (40/c - 16/3)*-1?
False
Let q(v) = -146*v + 157. Does 17 divide q(-5)?
False
Suppose 6*w + 5*w = 8261. Is w a multiple of 35?
False
Let h(s) = 6*s**2 + 4*s - 2. Let f be h(-5). Let k = -86 + f. Is k a multiple of 14?
True
Suppose -2*x + 5*x - 100 = 5*m, -45 = -2*x - m. Suppose -265 = -5*f - x. Is 12 a factor of f?
True
Suppose -2*o = 3*w + 221, 3*o + 357 = -2*w + 38. Let t = -73 - o. Is t a multiple of 6?
True
Suppose -4*q + 13*b + 5610 = 11*b, -5*b = -4*q + 5601. Does 52 divide q?
True
Let w(o) = -o**2 - 58*o - 148. Is 23 a factor of w(-36)?
True
Let p = 1170 - 519. Is p a multiple of 21?
True
Suppose -2*w + 7*w + 3*u - 1743 = 0, -4*w + 1387 = -5*u. Is w a multiple of 46?
False
Suppose -y - 1032 = -9*y. Is 20 a factor of y?
False
Let l be (-4)/6 + 33/9. Suppose 3*j + l*r = 183, 2*j - 7*j = 3*r - 303. Is 29 a factor of j?
False
Suppose -22 = -h + 2*d + d, -5*h - 3*d = -146. Let s(l) = -l - 3. Let f be s(-4). Is (f - -9)*h/14 a multiple of 5?
True
Let c = 1501 + -667. Is c a multiple of 9?
False
Suppose -3*x = 6, 0*n - n - 5*x + 96 = 0. Suppose 5*k + m - n = -0*m, 86 = 3*k - 5*m. Is (-8)/44 + 1236/k a multiple of 28?
True
Suppose 276*l - 278*l + 42 = 0. Is 9 a factor of l?
False
Let n be 1/((-2)/12) + 1. Let t(x) = 4*x**2 + 8*x + 24. Is t(n) a multiple of 7?
True
Let t be ((-18)/12)/((-2)/4). Suppose n = -t*n + 32. Is 17 a factor of (-256)/16*(-34)/n?
True
Let a(o) = o + 6. Suppose 4*d = 3*s + 15, 20 = -2*d + 2*s - 6*s. Is 6 a factor of a(d)?
True
Let x be (4/(-6))/(1/3). Does 18 divide (492/(-18))/(x/6)?
False
Let b(w) = 14*w**2 + 19*w - 3. Is b(-4) a multiple of 29?
True
Let f(v) = v - 4. Let j be f(4). Suppose -677 = 3*d - x, -2*d - 2*d + 4*x - 916 = j. Is 19 a factor of (-6)/(-9) + d/(-6)?
True
Let h = -1427 + 2297. Is h a multiple of 11?
False
Let l(d) be the second derivative of -3/2*d**2 + 0 - 7*d + 7/2*d**3. Is 20 a factor of l(3)?
True
Let y be ((-56)/5)/(2/(-15)). Suppose -y - 201 = -5*r. Is r a multiple of 42?
False
Suppose j + 2*j - 2*c + 8 = 0, 20 = 5*j + 5*c. Suppose -792 = -j*r - 6*r. Does 11 divide r?
True
Let w = -178 + 222. Is w a multiple of 3?
False
Suppose 14*a + 571 - 3553 = 0. Is 3 a factor of a?
True
Suppose -2*h + 9 = 7*h. Is 4 a factor of 15 + ((-1)/(-3))/(h/3)?
True
Let c(x) = 2*x**2 - 24*x - 306. Is c(-12) a multiple of 90?
True
Suppose 7*u - 3*u = -5*k + 149, -32 = -u - 3*k. Is 7 a factor of u?
False
Let t(h) = -h**2 - 13*h - 10. Let c be t(-7). Suppose -2*u = -6 - c. Let q = u - 9. Does 10 divide q?
True
Let t = 749 + 110. Does 36 divide t?
False
Suppose -4*x + n = -23, -x + 0 - 1 = 2*n. Suppose -x*s = 4*p - 22, -3*s = 3*p - 19 + 7. Suppose -s*a - 5*f = -3*a - 154, 242 = 5*a + f. Is 19 a factor of a?
False
Let d(w) = -603*w**3 - 6*w**2 - 3*w - 3. Does 21 divide d(-1)?
False
Let z be ((-2)/1)/(-2 + 24/13). Let h = 1 + z. Is 2 a factor of h?
True
Does 3 divide (-2)/(-5) + (-3438)/(-30)?
False
Let a(m) = -1. Let u(l) = -7*l + 11. Let d(c) = -2*a(c) - u(c). Is d(22) a multiple of 18?
False
Let f = -287 + 519. Let p = f - 372. Let m = p - -214. Does 26 divide m?
False
Let t = 6203 - 3977. Is t a multiple of 12?
False
Let q(o) = o**2 - 7*o + 8. Let j = 29 + -24. Let k be q(j). Is 14 a factor of (29/k)/((-3)/18)?
False
Let c(s) = 4*s**3 + 2*s**2 - 3*s + 5. Suppose -3*o - 7 = -13. Does 13 divide c(o)?
True
Let s be 37/74*3*(0 - -2). Suppose n = s*n + 3*b - 160, 2*b = 0. Does 16 divide n?
True
Let h(p) = -4*p**2 + 5*p + 1. Let c(n) = -8*n**2 + 10*n + 1. Let f(i) = 2*c(i) - 5*h(i). Let d be (-102)/36 + 2/(-12). Is f(d) a multiple of 12?
True
Let s be (3/3)/((-1)/(-5)). Suppose s*u + 2 - 252 = 0. Is 24 a factor of u?
False
Let z(h) be the first derivative of 4*h**3 - h**2 - 2*h + 4. Let b be z(2). Suppose -3*w - 5*x + 19 = 0, 4*w - b = -w + 2*x. Is 4 a factor of w?
True
Suppose 0*x - 22 = -11*x. Is 12 a factor of x/(-5)*(-300 + 25)?
False
Suppose -9*v + 7*v + 340 = 0. Is 3 a factor of v?
False
Let x(t) be the third derivative of -t**6/360 - 3*t**5/20 - 2*t**4/3 + 5*t**3/6 - 3*t**2. Let k(o) be the first derivative of x(o). Is k(-14) a multiple of 8?
True
Suppose 3*c = 2*a - 6, 2*c + a = 4*c + 3. Suppose c = -2*y + 7*y - 15. Suppose 4*g - t = 3 + 48, 0 = y*g + 3*t - 42. Is g a multiple of 9?
False
Let y = 242 + -18. Is y a multiple of 41?
False
Let h(f) = 3*f + 4. Let d be h(5). Let v = d - 7. Does 12 divide v?
True
Let t(m) = m**2 - 5*m + 3. Let d be t(5). Suppose -5*h - 573 = -v - 2*v, -d*h = 9. Suppose 3*g - 55 + 13 = -f, 4*f + 3*g - v = 0. Is 16 a factor of f?
True
Let u = 2185 - 807. Does 13 divide u?
True
Let n(b) = 3*b**2 - 97*b + 205. Is n(40) a multiple of 23?
False
Suppose 0 = 10*w - w - 36. Suppose r + w = 0, 2*j - 2*r = 40 + 590. Is 23 a factor of j?
False
Let t be (-6)/5*(-20)/(-8). Let y be (t - 4) + 3 - -2. Is 3 a factor of (y + 0)/((-18)/81)?
True
Suppose -2*n = 3*o + 177 - 702, n = 2*o + 252. Does 30 divide n?
False
Let n(u) = -u**2 - u - 18 + u**3 - 2*u + 19. Let p be n(4). Let r = -13 + p. Is r a multiple of 7?
False
Let s(f) = 30*f + 6. Let o(j) = 90*j + 17. Let v(r) = 4*o(r) - 11*s(r). Let w be v(3). Suppose -z + w = z. Does 23 divide z?
True
Let c(j) = 6*j + 27. Let w(x) = 7*x + 28. Let s(l) = -4*c(l) + 3*w(l). Is s(-11) a multiple of 5?
False
Let n(m) = -5*m**2 - 5*m - 24. Let p(s) = -2*s**2 - 2*s - 8. Let c(i) = 3*n(i) - 8*p(i). Let t = 49 + -55. Does 11 divide c(t)?
True
Let x(b) = -b**3 - 3*b**2 + 14*b - 18. Let k(y) = -y**2 - y + 1. Let z(n) = -6*k(n) - x(n). Is 21 a factor of z(-9)?
True
Suppose 4*l - 2 = 2*l, -2 = -5*u + 3*l. Let k be 2 - (-2 - 0)*u. Suppose -k*z = -8, -5*h = -5*z - 32 - 58. Does 10 divide h?
True
Let a be 2/3*(-63)/(-14). Suppose a*y - 2*y - 19 = 0. Does 12 divide y?
False
Suppose r + 0 = 2. Let i be r + (2/1 - 49). Is ((-72)/i)/((-2)/(-60)) a multiple of 16?
True
Suppose -5*m = 5*t - 4565, 5*t - 10*t = -4*m - 4556. Does 24 divide t?
True
Let f be (7/(-2) + 2)*-2. Suppose -f*k + 35 = -88. Suppose -3*p = -4*m - 188, m + k = -5*p + 316. Does 14 divide p?
True
Let p = -47 + 146. Is p a multiple of 9?
True
Let x(c) = 7*c - 37. Let y(p) = 4*p - 19. Let u(k) = -3*x(k) + 5*y(k). Is u(-11) a multiple of 16?
False
Let s be 4/3 - 12/(-18). Suppose s*l - 58 = 102. Is 10 a factor of l?
True
Suppose 2 - 3 = -4*o - 5*g, 3*o + 6 = 3*g. Let u be 0 - (4 - 4)*o. Suppose 3*z + u*z = v - 19, 0 = -3*v - 2*z + 79. Is v a multiple of 5?
True
Let d be -3*72/(0 + -1). Suppose -3*h + d + 326 = -2*k, 3*k = 15. Let v = -107 + h. Is 20 a factor of v?
False
Let s = -402 + 714. Is s a multiple of 8?
True
Suppose 3*m = -5*y + 47, 5*y + m = 3*m + 52. Does 10 divide y?
True
Let n = 928 - 778. Does 3 divide n?
True
Let k(j) = -6 + 2 - 6 + 1 - 6*j. Does 9 divide k(-7)?
False
Let u be 16/56 + 26/7. Let z be (-2277)/(-55) - u/10. Let r = 75 - z. Is 11 a factor of r?
False
Let t = -89 - -32. Let n = 61 + t. Is n a multiple of 2?
True
Let o = 2213 + -1467. Is o a multiple of 8?
False
Let c be 2 - 0*(0 - -1). Let g be 1/c - 1306/(-4). Suppose -g = -5*y + 4*v, -2*v - 329 = -5*y + v. Is 23 a factor of y?
False
Let s = 8 + -9. Let u(d) = -61*d**2 + 1. Let o be u(s). Let t = o - -132. Is 17 a factor of t?
False
Let c = 3 + -1. Suppose 0 = -c*x - x + 4*q - 86, 5*x + 95 = -3*q. Let l = -9 - x. Is 5 a factor of l?
False
Let t(w) = 6*w**2 + w - 3. Let a be ((-18)/27)/(2 + (-10)/6). Is 3 a factor of t(a)?
False
Suppose -1998 = -10*q + 7*q - 3*l, -2*l + 6 = 0. Is 31 a factor of q?
False
Suppose -5*z = -0*z - 10. Does 2 divide (-6)/((-7)/30 - z/12)?
False
Let m = 510 - 300. Does 35 divide m?
True
Suppose -44 + 14 = -5*x. Suppose u = s - x*s + 23, 0 = 4*u + 5*s - 167. Is u a multiple of 11?
False
Suppose -6*n = -4*u - n + 1543, -5*n = -5*u + 1935. Suppose 4*w = 8*w - u. Is w a multiple of 14?
True
Suppose -3*z + 0*z + 9 = 0. Suppose 12 = z*f - 4*d, 6*d - 4*d + 6 = 0. Suppose 4*p = 3*y + 58 - 22,