be q(0). Does 22 divide 168 - (((-3)/1)/a + -1)?
False
Let r(i) = 18*i + 75. Suppose -z + 13 = 11, 0 = -2*c - 4*z + 42. Does 56 divide r(c)?
False
Suppose -4*y = 2*k - 45600, 500 + 22276 = 2*y - 3*k. Does 11 divide y?
False
Is 135 a factor of -29 - -2585 - (-9 - 2 - -2)?
True
Let p be 25 + (-7)/(-14)*-6. Let x(c) = 3*c**2 - 30*c. Is 50 a factor of x(p)?
False
Suppose 2*t + 28 = 5*t + 5*c, 5*c - 20 = 5*t. Let j be (-1 - 1/t) + (-13 - -15). Suppose 1560 = -j*b + 10*b. Does 34 divide b?
False
Let l(z) be the first derivative of -z**4/4 + 8*z**3/3 - 7*z**2/2 + 21*z + 1. Suppose 3*x + 45 = 5*p, -12*x = -17*x - 25. Does 11 divide l(p)?
False
Let c(x) = x**2 + 9*x - 70. Let k be c(-25). Let w = 618 - k. Is w a multiple of 6?
True
Is 126 a factor of (-2 + 4997)*(-36)/(-90) - (-5)/1?
False
Suppose -235*g + 1336131 = 38931. Is g a multiple of 120?
True
Suppose 0*y = 4*q + 2*y, -5*y + 30 = -5*q. Let x be 38 + q + -3 + 3. Let f = x - -16. Is f a multiple of 13?
True
Let b = 574 - 686. Is (b/40)/((-6)/75) a multiple of 20?
False
Let k = -464 + 466. Suppose -k*d = -4*n - 62, 0*n - 4*n - 99 = -3*d. Does 2 divide d?
False
Let z(m) = -m**2 + 19 - 21 + 5*m**2. Let b be z(-1). Suppose 3*v - 250 = -b*v. Is v a multiple of 10?
True
Let p(m) = -11*m**2 - 374*m + 103. Is 67 a factor of p(-29)?
False
Suppose 0 = 4*g - 9*g - 160. Does 2 divide 7/4 + -2 - 1576/g?
False
Let s = 276 + -257. Suppose -s*h + 1256 = -3418. Is 20 a factor of h?
False
Let h(k) = -k**3 - 2*k**2 + 2*k - 6. Let c be h(-3). Does 22 divide c/6*(-920 - 4)?
True
Let g(p) = -8*p**3 - 3*p**2 - p. Let f be g(-3). Let l be (60 - 27)*((-25)/5 - -4). Let r = l + f. Is r a multiple of 24?
False
Let g = -5110 + 5906. Is 2 a factor of g?
True
Let f = 36850 + -25355. Is f a multiple of 55?
True
Is 5 - -2645*(11 - 10) a multiple of 50?
True
Let w = -9132 + 35487. Is 35 a factor of w?
True
Does 110 divide 23/69*(-30)/5*-6380?
True
Let n(m) = 1461*m**2 - 239*m - 1714. Is n(-7) a multiple of 13?
False
Let o(t) = 41*t + 1564. Does 102 divide o(34)?
True
Let o(b) = 9*b + 54. Let w be (2/(-4))/(-1 + 26/24). Let i be o(w). Suppose i = 4*r - 281 - 11. Is 41 a factor of r?
False
Suppose 156*a + 93600 = 181*a. Is a a multiple of 89?
False
Suppose 3*i = -4*r + 103, -107 = -5*i + 5*r + 88. Is 14 a factor of i?
False
Suppose -46*z - 4512 = -47*z + 3*c, 0 = 5*z + 2*c - 22611. Does 33 divide z?
True
Suppose -v - 55 = -291. Let u = -206 + v. Does 9 divide u?
False
Suppose 138*z - 119*z = 31521. Does 21 divide z?
True
Let v(n) = 34*n**3 + 15*n**2 + 6*n - 55. Does 90 divide v(6)?
False
Suppose -117905 + 895 = -42*i + 651590. Does 50 divide i?
True
Let q = 75 + 155. Let a = 313 - q. Does 27 divide a?
False
Suppose 2*s - 6 = 2*l, -3*l - 3*s = 7 - 28. Suppose -2*x = 4*f - 310, 5*f - l*x - 49 = 325. Suppose 3*p - 35 - f = 0. Is p a multiple of 29?
False
Is 16 a factor of 1068*8*(-4)/(-12)?
True
Let k be (28/(-49))/((-2)/224). Suppose 7*y = 4*y - 5*v + 48, -5*y - 3*v = -k. Is y a multiple of 10?
False
Suppose 0 = -k - 2*z - 12, 3*z = -27*k + 26*k - 13. Let o(r) = -2*r**3 - 9*r**2 + 12*r - 20. Is o(k) a multiple of 64?
True
Let h be (3666/1128)/((2/(-2))/20). Let m be (4/(-6))/((-3)/(-9)). Does 7 divide (h/10 + 0)/(m/4)?
False
Is (-802698)/(-78) + (3 - -1) a multiple of 14?
False
Let d = 67 + 39. Suppose 26 = -2*z + d. Suppose 0 = -7*t - z + 376. Is 8 a factor of t?
True
Let i(t) = -32*t. Suppose -5*u + 10*u = 95. Suppose 3*f = -5*y - u, -3*y + 5 = -3*f - y. Is 12 a factor of i(f)?
True
Let c = -3370 + 6670. Suppose -7*b + 5*b = -l - 1320, -4*l = 5*b - c. Does 27 divide b?
False
Suppose 0 = -2*s - 26 + 24. Is 2940/168*(s - -27) a multiple of 13?
True
Let r(q) = -q - 14. Let h be r(-11). Does 23 divide 17216/96*h/(-2)?
False
Let t be 1/2*(1 - -11). Let f(z) be the first derivative of -z**4/4 + 2*z**3 - z**2/2 + 11*z - 569. Is 2 a factor of f(t)?
False
Suppose 5*n + 4*g = 799, -3*g = 2*n + 2*n - 640. Does 12 divide 3*15/(-9) - (2 - n)?
True
Suppose -4*y = 5*w - 44, 5*w = 15 + 5. Suppose -3*g = -2*t + y, 4*g + 0*t - t + 8 = 0. Is 9 a factor of -4*((-8)/(-32) - (-5)/g)?
True
Suppose 0 = -5*k + 10*k + 565. Let m = 115 + k. Is 10 a factor of (5/(m - 1))/((-45)/(-450))?
True
Let o = 286 - 286. Suppose o = 11*t - t - 470. Does 20 divide t?
False
Suppose 5*t = 4*t. Suppose -3*p - 2*p + 20 = t. Suppose 0 = -o - 2*k + 28, -5*o + o + p*k = -124. Is o a multiple of 10?
True
Suppose 2*u - 3560 = -3*c + 11818, 0 = -3*u - 5*c + 23070. Does 32 divide u?
True
Let d = -44 - -51. Suppose -d*n + 1464 = -7300. Is 22 a factor of n?
False
Let v(y) = y**2 - 72*y + 1551. Is 149 a factor of v(-58)?
False
Does 7 divide ((-3189)/12)/(196/(-5488))?
True
Let v = -35917 - -70183. Is 61 a factor of v?
False
Let z = 312 + -250. Let o be 8/20 - 1273/(-5). Suppose -57*w - o = -z*w. Is 9 a factor of w?
False
Suppose -201*c = -197*c + 248. Is 5 a factor of -2 - 0 - (c - 20)?
True
Let o be (-20)/(-150) + 2156/30. Suppose 270 = 4*i + 5*j, -i + j + o = -0*j. Let n = i + -20. Is n a multiple of 5?
True
Let j(l) = 19*l**2 + 9*l - 1. Suppose 11 = c + 7. Let w be j(c). Suppose m = 3*g - 203, 0*m - 2*m = -5*g + w. Is 13 a factor of g?
False
Suppose -5*g = -2*l - 10515 - 3777, 4*g - 5*l - 11454 = 0. Does 136 divide g?
True
Suppose 6 - 24 = -2*t. Let z be 5/((-15)/t) - 338. Let l = z + 535. Is 14 a factor of l?
False
Let v = 605 + 355. Is 16 a factor of v?
True
Let p be (-12 + -606)*(-1 + 8/(-6)). Suppose -p - 784 = -3*b. Is 14 a factor of b?
True
Let c(h) = 33*h**2 + 62*h - 49. Let y(a) = 16*a**2 + 32*a - 24. Let u(n) = -3*c(n) + 7*y(n). Is u(-6) a multiple of 28?
False
Suppose -1182*t - 14250 = -1207*t. Is t a multiple of 15?
True
Suppose -5*j - 4*q = -8, 2*q - 2 - 2 = 0. Suppose 6*b - 10 = 4*b + 5*v, 5*b - v - 25 = j. Suppose 51 = 5*r - 4*r + b*z, 5*r = -z + 207. Is r a multiple of 13?
False
Suppose -2*u = -2*p + 10, -5*u - 3*p - 52 = p. Let n be -6 - -2 - 7/((-28)/u). Does 11 divide -3*-22*(-1)/n?
True
Let f = 356 + -352. Suppose -27*g + 10 = -25*g, f*n + g = 957. Is 7 a factor of n?
True
Let v(n) = -41*n**3 - 9*n**2 + 10*n + 5. Let d be v(-4). Suppose 0 = 8*b - d - 6731. Is 20 a factor of b?
False
Let h be (198/(-24) + (-2)/(-8))/2. Let b(f) = -f**2 + 12*f - 7. Let m(a) = a**2 - 13*a + 7. Let v(z) = h*b(z) - 3*m(z). Is v(-6) a multiple of 30?
False
Suppose 2*f + 17*o = 16*o + 90, -3*f = o - 133. Suppose -41*g - 348 = -f*g. Does 6 divide g?
True
Let r = -1058 - -1220. Suppose -2*l + 76 = -2*c - 20, 0 = -3*l - 6. Let j = r + c. Does 14 divide j?
True
Suppose 2*n + 3*t - 20 = 7, -3*n - 5*t = -39. Suppose 12*w + 558 = n*w. Does 10 divide w?
False
Let b(f) be the first derivative of -f**5/40 + 35*f**4/24 + 10*f**3/3 - 10. Let x(g) be the third derivative of b(g). Is 10 a factor of x(-11)?
False
Suppose 7*q = -9*q + 256. Suppose -q*u + 2067 = -1949. Is 11 a factor of u?
False
Let j(a) = -3*a**3 - 26*a**2 - 138*a + 89. Is j(-9) a multiple of 4?
True
Let i = 2543 + -954. Suppose -4*r + 5*c = -2*r - i, -r = -c - 793. Does 24 divide r?
True
Suppose -6*w = 813 - 1785. Does 23 divide w?
False
Suppose -43287 = -23*o + 111204. Is o a multiple of 20?
False
Let t be 6/(-15) - (-9180)/75. Let o = 90 + t. Is 10 a factor of o?
False
Suppose -15*t - 2482 = 19*t - 7548. Does 26 divide t?
False
Suppose 0 = 2*g - 2*p + 6*p - 104, -g - 3*p = -54. Let f = 48 - g. Suppose 3*k - 74 - 294 = 5*h, -5*k - 5*h + 640 = f. Does 23 divide k?
False
Suppose -w + 0*w = 318. Let n = w - -638. Does 32 divide n?
True
Let b(r) = -r**3 - 5*r**2 - 9*r - 7. Let u be b(-3). Is 16 a factor of (-5)/(-20) + u/(16/382)?
True
Let i(l) = 0*l**2 + 5*l**2 - 124*l**3 + l - 8*l**2 + l**2. Let x be i(1). Let a = x - -267. Is 41 a factor of a?
False
Suppose -596*r = -1186*r + 599*r - 18387. Is 50 a factor of r?
False
Let g(b) = 1925*b + 55. Let v(c) = 275*c + 8. Let a(d) = 3*g(d) - 22*v(d). Is 15 a factor of a(-2)?
False
Suppose -13*c = -25*c + 8640. Suppose -5*x = -4*u - c - 1260, x = 2*u + 390. Is x a multiple of 8?
True
Let s(l) be the first derivative of 15*l**4/2 - l**3/3 + l**2 - 2*l - 51. Does 3 divide s(1)?
False
Let c(t) = 67*t - 539. Let n be c(8). Let s be 5*5/(50/(-36)). Let f = n - s. Does 10 divide f?
False
Let o(i) = 520*i + 72. Let s be o(6). Suppose -6*w = -s + 1050. Does 21 divide w?
True
Let i(j) = 4*j**2 - 22