 -3*l + 2*w = -z - 2, 0 = 3*l + 5*w - 2. Suppose -5*m - 2*g - 3*g = -85, -g + l = 0. Is 6 a factor of m?
False
Suppose 0 = -2*m + 5*h + 58, 0*h = -4*m + 2*h + 100. Suppose m*y - 9725 = 451. Is y a multiple of 9?
False
Let j(p) = -p**3 + p**2 + 26*p - 60. Let o be j(3). Let s(g) = -2*g**3 - 3*g**2 - g. Let m be s(-3). Suppose o = -h - 10 + m. Is h a multiple of 11?
False
Let g = -934 - -308. Let o = -263 - g. Is 11 a factor of o?
True
Suppose 4*x - 29 = -1. Suppose -x = -2*m + 3. Does 5 divide 1 - (0 + (-110)/m)?
False
Let b(d) be the third derivative of -65*d**4/24 - 209*d**3/6 - 106*d**2. Is b(-9) a multiple of 4?
True
Suppose 5*m + 3*c - 363365 = -9887, 7*m = 3*c + 494862. Is m a multiple of 45?
True
Let j(i) be the first derivative of i**4/4 + 8*i**3/3 + 7*i**2/2 - 8*i + 13. Let d be j(-7). Is 27 a factor of (d/6)/(40/(-3180))?
False
Let d(y) = y**3 - 64*y + 761. Is 10 a factor of d(0)?
False
Let f be 22 + -16 + -401 + -1. Let n = -242 - f. Is n a multiple of 7?
True
Suppose -16736*x = -16701*x - 277200. Is 20 a factor of x?
True
Let n(g) = g**3 + 5*g**2 - 131*g - 121. Is n(12) a multiple of 3?
False
Is ((-1)/2)/((-2)/10992) a multiple of 69?
False
Let w = 375 - 66. Let n = w - 560. Let x = n + 382. Is 28 a factor of x?
False
Let l(j) be the first derivative of -2*j**3/3 + 33*j**2/2 + 33*j - 62. Does 7 divide l(16)?
True
Let c(x) = 50*x - 194. Let m be c(4). Does 13 divide m/4*24722/47?
False
Let p(h) = h**3 + 6*h**2 - 4*h + 10. Let b be p(-7). Let z be 6/(33/b*(-1)/2). Suppose 2*x - 54 - z = 0. Is x a multiple of 6?
False
Is 4985050/1050 + 10/(-6) a multiple of 14?
True
Let c be 4/((-48)/(-9)) + (-200)/(-32). Let g = 63 + -103. Is (-4)/1 - 7/(c/g) a multiple of 36?
True
Let j be (368/(-6))/((-10)/(-315)*-3). Let i = 1244 - j. Does 30 divide i?
True
Let u(s) = 2939*s**3 - 8*s**2 + 8*s + 7. Does 49 divide u(2)?
False
Suppose -4*d + 5*h = 0, -2*h + 6*h - 26 = -2*d. Suppose -18 = -2*g - 3*b - 2, -26 = -d*g - 4*b. Does 4 divide (36/10)/(g/30)?
False
Let z be (-15)/(-10)*(-8)/(-3). Suppose -3666 = -z*i - 9*i. Let d = 474 - i. Does 32 divide d?
True
Let r(s) = -50*s + 167. Let z be r(18). Let a = z - -1645. Does 57 divide a?
True
Suppose 0 = 6*g + 6*g + 24. Is (g + 17/(-4))*-84*1 a multiple of 67?
False
Let o be 3/((-42)/(-4)) + (-2096)/(-112). Suppose 6*l + 15 = l, -4*v + l + o = 0. Suppose -k - 6*c = -v*c - 105, -4*k + 5*c = -355. Is 10 a factor of k?
False
Suppose 5*z + 361 - 31 = 2*k, -5*z - 5*k = 365. Let p = 113 + z. Is p/(-2)*((-180)/(-25))/(-6) a multiple of 3?
True
Let s(b) = -22*b - 11. Let y(n) = -22*n - 8 - n - 2. Let z(u) = -6*s(u) + 7*y(u). Is z(-3) a multiple of 32?
False
Let c = -127 - -107. Does 47 divide (10/c)/((-2)/564)?
True
Suppose -4*p = -102 - 42. Suppose 40*o = p*o + 672. Is o a multiple of 10?
False
Suppose -15*c + 2*i = -13*c - 192, -5*c - 3*i = -512. Suppose 5*a + 0*a = 1460. Let d = a - c. Is 35 a factor of d?
False
Let n = 10174 + -6170. Is n a multiple of 33?
False
Let i = -4703 - -24008. Is 11 a factor of i?
True
Let w(y) = 1041*y + 5. Is 7 a factor of w(1)?
False
Let i = -5622 + 5998. Does 47 divide i?
True
Suppose -26508 = -16*h - 5132. Is h a multiple of 3?
False
Let n be 1 - ((-4)/6 + (-56)/24). Is -22*(-3 + 4 + -8 + n) a multiple of 6?
True
Suppose 14*d - 8*d = 132. Let w(r) = -r**3 + 21*r**2 + 22*r. Let t be w(d). Suppose t = -2*z - 2*v + 126, 3*v + 117 = 2*z + 2*v. Does 30 divide z?
True
Let y(x) = 2*x**3 - 2*x**2 - 5*x - 5. Let s be y(-3). Let c = s + 66. Suppose 44 + c = 4*n. Does 10 divide n?
False
Let j be 44/(-418) - 2/(-19). Suppose j - 17 = -l + 2*u, 48 = 4*l - 3*u. Suppose -2*b = -8, 3*w - 15 = 3*b + l. Does 2 divide w?
True
Let u = -39 - -42. Suppose 2*l + 193 = 3*d - 370, 2*l + 593 = -u*d. Let k = 489 + l. Does 25 divide k?
True
Let x = -41 + 41. Let q be 3/(18/48) - (x + -1). Suppose 1440 = q*f + f. Is f a multiple of 28?
False
Suppose -p + o - 8 + 7 = 0, -4*p + 4 = 4*o. Let c(g) = -4*g**3 - 2*g**2 - 2*g + 951. Does 44 divide c(p)?
False
Let k(r) = 44*r**3 - r**2 + 3*r - 2. Let o be k(1). Suppose -5*d + 144 = o. Suppose -57 = -w + d. Does 18 divide w?
False
Let i(d) be the third derivative of d**8/6720 - d**7/2520 - 5*d**6/72 + d**5/20 + 33*d**2. Let u(r) be the third derivative of i(r). Is 14 a factor of u(-6)?
True
Suppose -2*u + 9 = -7. Let s(a) = 50*a - 25. Let y be s(u). Suppose -3*k = -3*z - y, k + 5*z = -2*k + 399. Is k a multiple of 16?
True
Suppose -38*t - 125 = -43*t. Is t/(-150) - 1129/(-6) a multiple of 41?
False
Suppose 2*a = -5*c + 58, 3*a + 42 = 3*c + 6*a. Suppose -11*p + c*p + 225 = 0. Does 45 divide p?
True
Does 15 divide (-6)/9*353*(73 - 91)?
False
Is 15 a factor of 25/(-2)*4*(-9)/((-405)/(-8892))?
False
Let g(c) = 89*c**2 - 2*c + 4. Let r be g(2). Suppose 4*q - j = 691, -9*q - 4*j = -11*q + r. Is 5 a factor of q?
False
Let y(c) = -c**2 - 41*c + 232. Let v be y(-46). Let u(b) = 44*b**3 + 2*b**2 + b - 6. Is 30 a factor of u(v)?
False
Let p = 170 + 1. Suppose -160*m = -p*m + 2310. Is m a multiple of 86?
False
Let y = -159 + 154. Let n(c) = -33*c - 4. Is n(y) a multiple of 23?
True
Suppose 2*a - 22*i + 17*i + 29 = 0, -4*i + 12 = 4*a. Is (-1680)/(-3) - (a + 2) a multiple of 20?
True
Let a = 302 - 648. Let k = 44 - a. Does 30 divide k?
True
Suppose -2*a + 2*b - 171 = 79, 241 = -2*a + 5*b. Let n = 1 + -15. Let r = n - a. Is 19 a factor of r?
True
Let w(h) = -2*h + 22*h + 33*h**2 - 32*h**2 + 50. Let u be w(-21). Suppose -4*g + u + 1 = 0. Is g even?
True
Suppose 223*u - 166729 = 205*u + 99095. Does 16 divide u?
True
Suppose -30 + 22 = -4*f. Suppose -2*m - f = 0, -4*w - 6*m + 10*m = -1452. Does 13 divide w?
False
Let x(b) = 6*b**2 - 17*b - 274. Suppose 14*u = 81 - 291. Does 24 divide x(u)?
False
Let g = -57 + 59. Suppose 5*y - 4*a - 3550 = -708, -2*y + g*a + 1136 = 0. Does 57 divide y?
True
Let r(m) be the second derivative of m**5/20 + 7*m**4/12 + m**3/2 + 27*m**2/2 - 14*m. Let h be r(-6). Suppose h*a = 49*a - 624. Does 26 divide a?
True
Suppose -6*y + 2*o = -57238, 240*o - 47661 = -5*y + 237*o. Is 56 a factor of y?
False
Let x = -134 - -137. Suppose -778 = -3*f - 0*l - l, 0 = -f + x*l + 256. Does 37 divide f?
True
Let u be 0 + 60 - 0 - 40/10. Suppose 3*w = -w + 2*x - u, 3*w + 41 = 2*x. Let f = -10 - w. Does 5 divide f?
True
Suppose 25*u = 20*u - 3*g + 18222, -u + 3626 = -4*g. Is u a multiple of 87?
False
Let x(j) = -5*j**2 - 154*j + 33. Let n be x(-31). Let g(z) = 68*z**3 + 2*z**2 + 4*z - 1. Does 13 divide g(n)?
True
Let b be ((-3)/(-6))/((-2)/(-3624)). Let v = b - 532. Let g = -216 + v. Is 13 a factor of g?
False
Suppose v - 4*r = 84, -63 = -v - 7*r + 4*r. Suppose -512 + v = -4*f. Is 7 a factor of f - 6/4*2?
False
Let b = 5 - 1. Is (-2835)/(-12) + (-1)/b a multiple of 26?
False
Suppose n = -g + 55, 4*g + 3*n + 0*n - 215 = 0. Let z = g - 51. Let y(h) = -91*h**3 + h**2 + h. Is 13 a factor of y(z)?
True
Suppose -241*x = -243*x + 1768. Is x a multiple of 26?
True
Suppose 4*a - 144 = -2*y, 5*a + 2*y = -0*y + 179. Let p = a - -220. Does 25 divide p?
False
Suppose -10*p + 6*p - 3*f = -3034, -3*f + 3794 = 5*p. Is p a multiple of 95?
True
Is (68789/35 - 4)/((-21)/(-70)) a multiple of 17?
False
Is (-6115)/(-4) + (3 - 2/40*35) a multiple of 45?
True
Suppose 30*g = 8*g - 17*g + 118404. Is 13 a factor of g?
False
Let m = 522 + -480. Suppose 26*w + 9792 = m*w. Is 18 a factor of w?
True
Let a(m) = -m**3 - m**2 + m + 62. Let g be a(0). Let k(q) = -33*q - 1526. Let h be k(-45). Let y = h + g. Is y a multiple of 21?
True
Let a be ((-16)/16)/(1/(-2679)). Suppose 0 = -j - 3*n - n + 666, 4*j - a = -n. Is 43 a factor of j?
False
Let o(d) = 21*d + 92. Suppose -5*r - 4 = -3*r, 2*j + r - 50 = 0. Is 18 a factor of o(j)?
False
Let a(t) = t**3 + 18*t**2 - 32*t - 33. Let m be a(-20). Let c be m - (133/(-119) + (-4)/(-34)). Let y = 18 - c. Is y a multiple of 11?
False
Let b(p) = -p**3 + 7*p**2 - 2*p + 14. Let j be b(7). Suppose j*q - 2*q + 155 = 5*l, -q - l + 79 = 0. Let o = q + -53. Does 7 divide o?
False
Suppose 4*d - r - 17235 = 0, 0 = 106*d - 104*d + r - 8625. Is d a multiple of 10?
True
Let r = -27 - -32. Let m be 15/1*4*(-301)/(-84). Suppose 3*t = 5*u - 2*u + 147, -r*t - u = -m. Is t a multiple of 21?
False
Suppose 0*g + 2*g = 2*m, -5*g = -25. Suppose -v + 2*v + 2*f = -15, m*v + 4*f + 45 = 0. Is 44 a fac