+ 4002 = d. Suppose -v = 6*x - 10*x. Does 12 divide x?
False
Let r(c) be the third derivative of c**5/10 - 7*c**4/12 - c**3/3 + 39*c**2. Let h be r(10). Suppose -3 - 2 = -z, 2*k - h = 2*z. Is 33 a factor of k?
False
Let j be ((-22)/(-6) + -4)/((-2)/12). Let h(a) = -2046*a**j + 8 + 2045*a**2 - 42 - 26*a. Is h(-18) a multiple of 22?
True
Suppose 5 = -2*h + 5. Suppose -p + 4*z = -105, 5*p + 2*z - 222 - 193 = h. Is p a multiple of 4?
False
Let q be ((5 - 6) + 2)*25. Is (q/75)/(1/2679) a multiple of 47?
True
Let h be (-8)/28 + 13780/14. Suppose 0 = -5*j + 276 + h. Does 9 divide j?
True
Suppose -18*y + 22*y = -r + 2537, 1894 = 3*y - r. Is 6 a factor of y?
False
Let l(u) be the third derivative of 5/24*u**4 + u**2 + 1/30*u**5 + 0*u + 0 + 2/3*u**3. Is 6 a factor of l(-8)?
False
Let y(v) = 39*v - 416. Is y(53) a multiple of 20?
False
Does 69 divide ((-12)/10)/(18/(-20)) - 3234805/(-609)?
True
Let b be (-10 + -9 + 11)*10/4. Does 5 divide (59/(-28) + 5/(-35))*b?
True
Suppose 5*f + 5*c = 2685 + 380, 5*f = -3*c + 3063. Is f a multiple of 17?
True
Let r = -9 - -18. Let l(o) = o**2 - o - 15. Let q be l(r). Suppose -2*v - 9 = -q. Is v a multiple of 7?
False
Is (120/63 + (-8)/14)*(-3960)/(-6) a multiple of 16?
True
Let g(p) = -p**3 - 6*p**2 + 12*p + 3. Let f be g(-7). Is 15 a factor of (-9*104/f)/(1/20)?
True
Let p(n) = -12*n - 26. Let r(m) = -4*m - 9. Let t(w) = 2*p(w) - 7*r(w). Is 9 a factor of t(13)?
True
Let f = 4080 - -2289. Does 33 divide f?
True
Let z = -177 + 259. Suppose 10*w - z = 468. Is 5 a factor of w?
True
Let p(t) = t**2. Let y be p(4). Let r be (2/(-4))/(7 + (-99)/14). Let u = y + r. Is u a multiple of 11?
False
Let l = 3090 + -1648. Is l a multiple of 3?
False
Does 6 divide -2*3/15*49/(784/(-199200))?
True
Let h = 92941 + -63860. Does 123 divide h?
False
Suppose 4*q = -2*x + 96, x - q = -0*x + 54. Suppose 8*n = -1 + 17. Suppose v = -v + 10, -o - n*v + x = 0. Is o a multiple of 21?
True
Let b(c) = 683*c**3 + c + 3. Let o be b(2). Suppose o = 7*a + 646. Is a a multiple of 13?
True
Suppose 5*o - 13 - 2 = 0. Let d be -3 + 91 - o/1. Suppose 5*l - d = 25. Is 8 a factor of l?
False
Let p(k) = 62*k + 129. Let u be p(-2). Suppose u*x + f = 102, 0 = -2*x + 7*x - 5*f - 90. Does 4 divide x?
True
Let v(z) = 670*z + 1624. Is v(38) a multiple of 12?
True
Let b be (298/4 - 1) + (-2)/4. Let s = 145 - b. Let c = s + -57. Is c a multiple of 3?
True
Suppose -3*i = -5*i + 10. Is 2/10 + (3732/i)/3 a multiple of 15?
False
Let u = -598 - -1200. Suppose -w + 1511 = 4*w - 4*r, -4*r - u = -2*w. Suppose -4*q - 4*x = -x - w, 0 = 5*q - x - 374. Is q a multiple of 5?
True
Let y(t) = -9*t**3 - 6*t**2 - 4*t - 6. Let r be 1152/(-240) - 2/10. Is 43 a factor of y(r)?
True
Let v = 209 - 191. Let i(q) = -2*q**3 + 37*q**2 - 18*q + 24. Does 6 divide i(v)?
True
Let d(p) = 1485*p - 4764. Does 5 divide d(10)?
False
Suppose 16*g - 4 = 44. Suppose -4*a + 102 = -3*y - 234, -4*a = g*y - 336. Does 42 divide a?
True
Let g = -7551 + 13244. Is g a multiple of 41?
False
Suppose 2*r = -5*f + 5*r - 209, 223 = -5*f - 4*r. Suppose 4*v = -3*y + 27 + 151, 3*v = 12. Let c = y + f. Is c a multiple of 7?
False
Suppose -5*p - 88 = -27*p. Suppose -g + 5*y = -575, -4*g + 392 = p*y - 1956. Is 45 a factor of g?
True
Let u be (-3 - 14/(-7))/(2/(-362)). Suppose 0 = 5*m + 5, 9*w - u = 7*w - m. Is 13 a factor of w?
True
Let s be 4/(-6)*(6 - 9). Suppose s*b + 24 = 2*r - 12, -5*b - 30 = -2*r. Is r a multiple of 3?
False
Let g(h) = 23*h**2 + 2*h - 1. Suppose 3*b = -0 - 3, -x - 2*b = 47. Let j = x + 43. Is 8 a factor of g(j)?
False
Let v(g) = 45*g + 2*g - 13*g - 9. Suppose 3*w + 3*h + 0 = 21, 5*h - 29 = w. Does 4 divide v(w)?
False
Suppose -10 = 5*n + 5*b, 2*n + b + 16 = 3*b. Let p be (2 + 3)*(-2)/n. Suppose s = -4*g + 40, 3*s + p*s - 2*g - 310 = 0. Does 30 divide s?
True
Suppose -m + 25*m - 643776 = 0. Does 12 divide m?
False
Suppose -2*u + 6 = 0, 3*r - 6*u = -4*u + 6. Suppose 136 + 24 = 2*j - r*q, -3 = 3*q. Does 13 divide j?
True
Suppose 6*r = 4*q - 74214, -4*r = -5*q + 62748 + 30044. Is 42 a factor of q?
True
Suppose 0 = -2*v - 3*k + 21525, -23*v - 4*k - 10724 = -24*v. Does 84 divide v?
True
Suppose -12*b = 12 - 72. Suppose -3*s = -2*n - 2395 + 248, b*s - 3589 = -2*n. Does 24 divide s?
False
Let w(m) = -13*m**2 + 52*m - 63. Let j(r) = 3*r**2 - 13*r + 16. Let c(f) = -9*j(f) - 2*w(f). Let p be c(14). Is 22 a factor of 7*(p/12)/((-2)/3)?
False
Let u(i) = 202*i + 55. Let m be u(-3). Let o = -546 - m. Is o a multiple of 5?
True
Let a = -988 - -1504. Does 129 divide a?
True
Let r(g) = 2*g**2 - 67*g + 69. Let w(s) = s**3 - 7*s**2 + 13*s - 9. Let m be w(6). Is r(m) a multiple of 12?
True
Suppose -4*g = -5*t + 9, 4*t - 6 - 1 = 3*g. Let k(w) = 11*w + 10*w + t - 2*w. Is 23 a factor of k(6)?
True
Let a = 311 - 311. Suppose v = -3*v + 3*c + 1185, 3*v - c - 895 = a. Does 50 divide v?
True
Let c be 5/(-20) + 945/36. Suppose 0 = 34*h - c*h - 7888. Is 29 a factor of h?
True
Suppose -5*z - 4 = -34. Let f(l) = 0*l**2 - 4*l + l**3 - 9*l**2 + 15 - 12 + 4*l**2. Is f(z) a multiple of 3?
True
Suppose -v = -4*b - 3844, 3*v - 20*b - 11652 = -23*b. Is 17 a factor of v?
True
Suppose 0 = 3*s - 10*s + 28. Suppose s*p = -i + 14, 4*p - 10 = 4*i + 14. Suppose -p*z + 316 = -3*n, 16 = -2*n - 2*n. Does 19 divide z?
True
Let z(x) be the second derivative of 3*x**3/2 + x**2/2 + 17*x. Let f be z(1). Suppose f*p - 299 = 1881. Is p a multiple of 40?
False
Does 83 divide ((-2)/(-4) + 21344/(-192))*(-516)/16?
True
Let d(y) be the first derivative of 4*y**3/3 + 11*y**2/2 + 20*y - 29. Let f = -28 - -23. Is d(f) a multiple of 13?
True
Suppose -21206 = 20*l - 132601 - 67225. Does 108 divide l?
False
Let c = -30 + -19. Let l = c + 54. Suppose 45 = l*z - 130. Does 5 divide z?
True
Let l = 7331 + -4653. Is l a multiple of 18?
False
Let k(x) = 83*x + 94. Let f be k(7). Suppose 2*m - 681 = -c, -m = m - 5*c - f. Does 70 divide m?
False
Suppose 124630 = 24*g + 4035 - 1397. Does 94 divide g?
False
Suppose 0 = 9*t - 430 - 38. Suppose -10*f + 242 = t. Is f a multiple of 5?
False
Let h = 1404 + -410. Let t = h + -586. Does 72 divide t?
False
Suppose -66*b - 34*b + 2848313 - 242913 = 0. Is 37 a factor of b?
False
Let m = 5883 + -4570. Is 13 a factor of m?
True
Let g(n) = 33*n - 213. Let b(l) = -3*l**3 - 2*l**2 - 1. Let d be b(-2). Does 9 divide g(d)?
False
Suppose -24220 = -5*l + 14*s - 13*s, 5 = s. Is l a multiple of 95?
True
Does 5 divide (-6)/(6/(-1)) + 4604?
True
Suppose -5*l + 29176 = -32*a + 35*a, -5*l + 8*a + 29209 = 0. Is 2 a factor of l?
False
Let l(o) = 4*o**2 - 18*o - 16. Let u be l(8). Suppose 119*r = u*r + 26542. Is 104 a factor of r?
False
Let l = -92 - -99. Let n(u) = 14*u + 91. Is 8 a factor of n(l)?
False
Let p = 3453 - 4846. Is 7 a factor of (-46)/(-115) + 3/((-15)/p)?
False
Suppose 3*j + 34 = -17. Let q be (1 - -3)/(j/(-102)). Is 930/36 - (-4)/q a multiple of 13?
True
Let y = -5520 + 8694. Is y a multiple of 138?
True
Let t(m) = 15*m**2 - 406*m - 418. Does 11 divide t(43)?
False
Suppose 5*b + 5*i - 30419 - 1006 = 0, 3*b - 18815 = 5*i. Is 37 a factor of b?
False
Suppose -5*s - 15 = 0, 230*m + 15594 = 233*m - 2*s. Is 27 a factor of m?
False
Suppose 3*h - 2*v = -4*v + 2210, v + 2225 = 3*h. Let l = h + -675. Is 2 a factor of l?
False
Let d = 285 - 283. Does 12 divide d - 466/3*-3?
True
Suppose 2*m = w + 5812, -44*m + 46*m + 5*w = 5860. Is m a multiple of 10?
True
Let s = 5481 + -634. Does 25 divide s?
False
Suppose 308*z + 2086 = 315*z. Suppose n = 4*v + z, -19*n + 15*n - 3*v = -1154. Is 29 a factor of n?
True
Let y = 10883 + -8321. Does 10 divide y?
False
Let r be 1 + -3*(-2)/(-6). Suppose r = -3*c + 65 - 80. Let f(u) = 3*u**2 - 4*u - 3. Is f(c) a multiple of 23?
True
Suppose 2088 + 2344 = -4*n + 2*a, a = -4. Is (n/9)/((-1)/6) a multiple of 37?
True
Let f(l) = -l**3 - 9*l**2 + l + 7. Let y be f(-9). Does 19 divide ((-130)/20)/(y/92)?
False
Suppose 2*j - 5 = -3. Let h be 3 + -53 + 2 + j. Let k = h + 64. Does 4 divide k?
False
Let o(h) = -2*h**2 - 94*h - 56. Does 74 divide o(-26)?
True
Suppose -8*m - 9*m = -m - 100368. Does 51 divide m?
True
Let d be (-7)/((-15)/4 + 4). Does 41 divide (d/35)/(-2 + (-2007)/(-1005))?
False
Let w(c) = -572*c + 5831. Is w(9) a multiple of 16?
False
Suppose -l - 2 + 7 = -3*o, 1 = -o. Does 10 divide ((-62)/(-6))/(l/12)?
Fals