*z + 156*z + 44. Suppose -z*v + 2*s + 6488 = 0, 2*v + 1616 = 3*v + s. Does 15 divide v?
True
Let t(r) = 1063*r - 4531. Is 11 a factor of t(36)?
True
Suppose 3753 = -3*d + 14982. Does 65 divide d?
False
Is 35 a factor of (22508/(-102) - 42)/(2/(-84))?
False
Let n(c) = -11*c - 18. Let g be n(-2). Suppose 14 + 22 = -g*u. Is 11 a factor of (11*(4 + -3))/(u/(-54))?
True
Suppose 167733 = 5*q - 2*f - 2693, 136368 = 4*q - 5*f. Is q a multiple of 146?
False
Let v(o) = -o**3 + 3*o**2 + o + 3. Let g(a) = a**2. Let f be g(2). Suppose 2 + f = -2*y. Is 9 a factor of v(y)?
True
Suppose 0 = -2*n + 26 - 2. Let t be (32/n*-3)/(2/(-41)). Suppose 0 = -r + 20 + t. Is r a multiple of 46?
True
Suppose -2*g - 5*f + 13405 = 0, -2*g - 7*f + 11*f + 13432 = 0. Is g a multiple of 55?
True
Suppose -5*y + 3 - 23 = 0, 0 = s + y - 5. Suppose s*c - 33*c = -720. Is c a multiple of 3?
True
Suppose 0 = -20*j + 42*j + 198. Does 25 divide -1 + (-2463)/j + (-6)/(-18)?
False
Is (7/14)/(1/6002) + 0 a multiple of 22?
False
Suppose 51*r + 68549 = 56*r - 3991. Is 226 a factor of r?
False
Suppose 0 = -4*w + 4*u + 159 + 281, -u = 2*w - 223. Let s be 1/4 - (-67)/4. Suppose -14*q + s*q - w = 0. Is 37 a factor of q?
True
Let t = 75 - 72. Suppose -2*w = t*v - 1671, v + 4*v - 2787 = -4*w. Does 15 divide v?
True
Let v(x) = -540*x + 614. Does 26 divide v(-14)?
False
Suppose 255*y = 261*y. Suppose 21*w - 683 = -5*l + 18*w, y = -5*l - w + 691. Is 5 a factor of l?
False
Let d(k) = 2*k + 22. Let w be d(-20). Let c(v) = -v**3 - 15*v**2 - 16*v - 10. Let p be c(-14). Is 17 a factor of 4/w - (-1228)/p?
True
Let g(a) = 100*a**2 - 7*a + 14. Suppose 80*q = 87*q - 21. Is g(q) a multiple of 22?
False
Let p be (-1 + (-15)/(-6))*(-152)/(-12). Suppose -3*w - 7 + p = 0. Suppose 0 = 5*h + b - 706, -5*h + w*b + b + 730 = 0. Is h a multiple of 27?
False
Let f(b) = -b + 9. Let r be f(6). Suppose -r*p - g + 8 = 0, 3*g + g = -5*p + 4. Suppose -43 = -2*w - 3*h, -2*h - p - 44 = -2*w. Is w a multiple of 9?
False
Is ((6 - -3758) + -3)*(5 - 4) a multiple of 26?
False
Suppose j - 4*u - 196 = 0, -7*u + 4*u = j - 203. Let r = j - 191. Is r a multiple of 2?
False
Let j be 1/2*(41 - -3). Suppose -4 = 3*o + 2*g - 10, -j = -4*o + 2*g. Suppose 18 = -2*l + o*l. Is l even?
False
Suppose 0 = 16*h - 220 - 2564. Suppose -166 = -4*y + h. Is y a multiple of 17?
True
Let s(l) = 4*l - 4*l + 8*l + 630 - 601. Let z(k) = k**2 + 5*k - 5. Let p be z(-7). Is 23 a factor of s(p)?
False
Suppose 1503 - 515 = 2*t. Let n = 166 + t. Suppose l + n = 6*l. Does 21 divide l?
False
Suppose 4*l - z - 256 = 0, -5*l + 193 = -3*z - 134. Suppose -32 = g + 2*b + b, -b = g + 24. Is 12 a factor of (g/(-6))/(3/l)?
False
Suppose 2*u - 10 = -3*b, -b - 3*u + 25 - 10 = 0. Suppose 5*w - i - 428 - 1179 = b, -2*w + i + 644 = 0. Suppose -66 = 5*c - w. Does 17 divide c?
True
Suppose 6*u - 18 - 12 = 0. Suppose 5*b = -4*c + 369, 4*c = u*b + 436 - 37. Suppose -57 - c = -3*a. Does 40 divide a?
False
Let l(m) = 3*m - 13. Let y be l(6). Suppose 11*a = 14*a - 2*x - 46, y*x - 20 = 0. Is a even?
True
Let v = -613 - -616. Let k(y) = -y**2 + 5*y - 4. Let c be k(4). Suppose 3*d - 70 = -2*l, v*d - 4*l - 94 = -c*d. Does 5 divide d?
False
Suppose 4*j + 3 = 19. Let n(i) = -22*i + 25. Let c(f) = -45*f + 51. Let y(x) = j*c(x) - 9*n(x). Does 2 divide y(3)?
False
Let y be ((-10962)/9)/(-6) + 1 + -3. Let q = -90 + y. Let a = -92 + q. Is a a multiple of 10?
False
Suppose 0 = -7*o + 1 + 20. Suppose -o*v = -v - 10, -76 = 2*n - 4*v. Let s = n - -56. Is 28 a factor of s?
True
Let r be (6/2)/1 + -3. Suppose n + 22*n - 2208 = r. Is 6 a factor of n?
True
Let l(g) = 59*g - 4. Let a be ((-32)/(-48))/(1/3). Is 38 a factor of l(a)?
True
Suppose 5*u + 1445 = -12*u. Let r = u + 304. Let x = 7 + r. Is x a multiple of 14?
False
Let v(q) = 3*q + 2. Let s(r) = -8*r - 6. Let z(n) = 2*s(n) + 5*v(n). Let d be (4 + 6)*1*-2. Does 18 divide z(d)?
True
Let g(z) be the third derivative of 15*z**4/8 + 95*z**3/2 + 69*z**2 + 2*z. Does 21 divide g(17)?
True
Suppose y - 2688 = 15*y. Let v = -145 - y. Is 16 a factor of v?
False
Suppose 6*b + 16 = -a + 2*b, -5*a - 5*b - 5 = 0. Suppose a*f + 4*q - 9*q - 81 = 0, 4*q + 42 = 2*f. Does 19 divide f?
True
Let v be (-18)/(-21)*84/18. Let j be (-266)/(-63) + (-4)/18. Suppose 0*c + j*d = -v*c + 80, -d - 64 = -3*c. Is 4 a factor of c?
False
Suppose 10*c - 28713 = 45907. Is c a multiple of 82?
True
Let v = 6991 - 3496. Is 20 a factor of v?
False
Let s(h) = h**2 + 3*h - 4. Let p be s(-3). Suppose -39 = -9*f + 96. Does 6 divide (3*12/f)/(p/(-130))?
True
Suppose 35 = 8*n - 53. Suppose -1816 = -n*l + 1990. Is 56 a factor of l?
False
Is 24 a factor of 1080*((-272)/24 + 14)?
True
Let h be (-40)/(-3)*105/20. Is 7 a factor of (h/(-4)*10)/(-1)?
True
Let r(w) be the second derivative of w**5/20 - 5*w**4/12 - 2*w**3/3 + 5*w**2 - w. Let n be 4 + 1 + 17/((-68)/(-8)). Does 16 divide r(n)?
True
Is 10 a factor of -3694*(6 + 2)*(4 - 135/30)?
False
Let z(h) = h**2 - 11*h + 5. Let l be z(11). Suppose 2*q - 7*n = -2*n + 94, -q + 62 = l*n. Let g = q - 7. Is g a multiple of 7?
False
Is 73 a factor of 31/((-434)/(-205170)) + 18?
True
Suppose i = 5*j + 1479, -8*i + 4*j + 1484 = -7*i. Suppose 4*n = -2*f + i, 0*f = n + 2*f - 376. Is 8 a factor of n?
True
Let k(d) = 6*d + 4. Let u(n) = 3*n**2 + n - 2. Let w be u(-3). Is k(w) a multiple of 8?
True
Let g = -2643 - -4380. Is g a multiple of 95?
False
Suppose 5*w - 2425 = -4*l, -2*l - 9*w + 1217 = -8*w. Does 15 divide l?
False
Let r(l) be the third derivative of 169*l**5/30 - l**3/3 - 2*l**2 + 62. Is r(-1) a multiple of 38?
False
Let b(i) = -12*i + 3960. Is 34 a factor of b(41)?
True
Suppose 5*d = -25, -5*d = 8*a - 4*a + 29. Does 45 divide -399*(-4 - (2 - -1)*a)?
False
Let r(d) = 5*d**3 + 13*d**2 - 3*d - 15. Let j(q) = -2*q**3 - 4*q**2 + 5 - 1 + q + 1. Let l(y) = 8*j(y) + 3*r(y). Is l(4) a multiple of 13?
True
Let n(o) = -o**3 - 4*o**2 - 3*o - 3. Let d be n(-4). Let y = d - 4. Suppose -2*h = 3*k + 3*h - 109, -4*h - 194 = -y*k. Does 2 divide k?
True
Let z(n) = 7*n**2 + 4*n - 4. Let i be z(1). Suppose 152 = -i*u + 8*u. Does 19 divide u?
True
Suppose 2*a + 4*b = 206, 482 = 2*a + 3*a - b. Let h = -63 + a. Is 2 a factor of h?
True
Let x(h) = 2325*h - 2290. Is 20 a factor of x(4)?
False
Let m = -1665 - -1677. Let c(j) = 24 - j + 0*j + 0*j. Is c(m) a multiple of 6?
True
Let c = 54 + 145. Let o = c + -131. Does 34 divide o?
True
Suppose -2*l - 5*m = -36047, 97*l = 99*l + 3*m - 36033. Does 19 divide l?
False
Suppose -k = 3*p + 28, -4*k = -5*k + p - 44. Is 3 a factor of 1*(k - -13)*(-3 + 0)?
True
Suppose -u + 7 + 3 = 2*q, 0 = -u + 3*q + 25. Suppose -1 + 12 = 5*w - 4*p, 4*p + u = 0. Is w + 3 - (-86)/2 a multiple of 15?
True
Suppose 3*a + 5*d + 8 = 0, 3*a - 6*a - 22 = -2*d. Let q(z) = 10*z**2 + 9*z + 7. Let j be q(a). Let y = j + -153. Does 8 divide y?
True
Let h = 357 + -83. Suppose 0 = 270*w - h*w + 232. Is w even?
True
Let y(u) = u**3 - 34*u**2 + 45*u - 23. Suppose 33*s = 23*s + 340. Is 9 a factor of y(s)?
False
Let p be 2*10/4 + -1. Suppose -5*l + 2*o = 0, -l = 4*l + p*o - 30. Suppose l*s = -0*s + 280. Is 20 a factor of s?
True
Suppose 3*m = o - 2*o + 217, m + 4*o = 87. Suppose -61 = -3*t + m. Let s = t + 0. Does 11 divide s?
True
Suppose 38 + 22 = 4*o. Suppose 4*i = -n + 3, -2*i + i - 5*n = -o. Suppose i = -2*v + 4*y + 116, 2*v - 6*v + 253 = -y. Is 32 a factor of v?
True
Let s(f) = f**2 + 6*f. Let b be s(-6). Let x be -4*(4 - b)/4. Let r(i) = i**3 + 11*i**2 + 7*i + 6. Is 30 a factor of r(x)?
True
Let s = -109 - -117. Suppose 300 = s*x - 6*x. Does 50 divide x?
True
Let n(i) = -185 + 212 - 2*i - 2*i + i. Let y be n(9). Suppose f - 7*q - 30 = -2*q, -5*f + 3*q + 216 = y. Is 15 a factor of f?
True
Let b be 7/(-2*(-1)/96). Suppose -404 = -10*n + b. Is 6 a factor of n?
False
Let s = 4902 - 2779. Does 52 divide s?
False
Let i = 647 - 147. Does 5 divide i?
True
Let y = 230 + -424. Let i = y - -333. Is 3 a factor of i?
False
Let b be (351/(-18))/((-171)/(-60) + -3). Suppose b = 863*v - 858*v. Does 2 divide v?
True
Let t be (-7 - 22/(-4))*-118. Suppose 27 = f - 3*j, f + t = 6*f - j. Is 29 a factor of f?
False
Suppose 16*h = 20*h - 324. Is 5997/5 - h/(-135) a multiple of 40?
True
Suppose -2*n = v - 34, -45*v + 41*v - 98 = -5*n. Suppose 2*b + n*b - 3720 = 0. Is b a multiple of 31?
Tru