k + 13*k = 10. Let y(i) = 23*i**3 - 3*i**2 + 2*i + 4. Does 12 divide y(k)?
True
Let k = 143 - 105. Suppose -2*x + 222 = 2*h, -k = -x + 4*h + 93. Let f = x + 54. Is 16 a factor of f?
False
Let j(w) = -26*w - 23. Let y be j(-5). Let a = 113 - y. Does 3 divide 234/4*4/a?
True
Suppose -5*w + 4*k = -67022, -4*w + 18288 = -3*k - 35331. Is 6 a factor of w?
True
Suppose 0 = -4*s + 2*f + 4494, 11*s - 14*s + 3348 = 3*f. Suppose -29 = 7*z - s. Does 39 divide z?
True
Suppose 7 - 59 = -5*y + g, -5*g + 48 = 3*y. Is 6 a factor of (-4)/3*(10 - (y + 20))?
False
Suppose 0*g - 2*g = w - 488, -3*g = 3. Let h(y) = 15*y**2 + y + 1. Let k be h(-2). Suppose k*p + w = 64*p. Does 14 divide p?
True
Let i be 8/(-140)*-7 + 187/(-5). Let t = -33 - i. Does 12 divide (3 - 1005/(-12)) + t/16?
False
Let o = 10 - -20. Let q = -86 - o. Let m = q + 187. Does 24 divide m?
False
Let j(r) = -12*r + 37. Let h(m) = -6*m + 19. Let a(v) = -11*h(v) + 6*j(v). Let k be a(3). Does 6 divide (k - (-798)/33) + (-4)/22?
False
Let f = -266 + 271. Suppose -c + f*r - 105 = -2*c, -516 = -4*c + 4*r. Is c a multiple of 5?
True
Let c(y) = y**3 + 19*y**2 + 45*y - 45. Let o be c(-16). Let x = 0 + 1. Suppose -o*n + 26 = -x. Does 7 divide n?
False
Let o = 13977 + -14087. Suppose 177 + 21 = w. Let j = w + o. Is 17 a factor of j?
False
Let g(l) = -l**3 + 16*l**2 - 29*l + 28. Let r be g(14). Suppose -888 = -r*h + 6*h. Is 37 a factor of h?
True
Suppose -2*m - m + 4*n = -8222, -5*n + 5 = 0. Is m a multiple of 102?
False
Suppose 362*w + 2205308 = 444*w. Is 238 a factor of w?
True
Let z = -1130 - -2847. Does 33 divide z?
False
Suppose -8*z + 662 = -346. Suppose z*h - 120*h - 1704 = 0. Is h a multiple of 71?
True
Suppose -q = -5*v - 86, -6*q + 2*v + 398 = -2*q. Let t = -24 + 67. Suppose -c + 3*w + w = -t, 0 = -3*c + 5*w + q. Is 4 a factor of c?
False
Let m(h) = h**2 - 31*h - 54. Let f be m(25). Let s = 377 + f. Is s a multiple of 15?
False
Suppose 0 = 4*s + 28, 0 = 12610*l - 12605*l + 3*s - 115789. Does 37 divide l?
True
Let a(d) = -24*d**3 + 12*d**2 - 32*d - 171. Let m(o) = -8*o**3 + 4*o**2 - 10*o - 57. Let g(c) = 4*a(c) - 11*m(c). Is 19 a factor of g(-6)?
False
Let c(y) = 143*y**3 - 10*y + 241. Let n(q) = 102*q**3 - 7*q + 161. Let g(r) = 5*c(r) - 7*n(r). Let l = 1 + -1. Is 26 a factor of g(l)?
True
Let p(b) = -7*b - 45. Let z be p(-4). Let j(o) = -21*o + 87. Is 12 a factor of j(z)?
True
Let d = 54 - 33. Suppose d*w + 52 = 25*w. Suppose -w = r - 91. Does 33 divide r?
False
Suppose -2*l = -15 - 35. Suppose -6*c + 673 = -5*c - 3*d, 2*c = 4*d + 1354. Suppose -5*w + l = 0, -2*q = 3*q - 3*w - c. Is q a multiple of 28?
True
Let b = -127032 + 180726. Is 12 a factor of b/189 + 8/(-84)?
False
Suppose 5*j = 4*n - 15627, 0 = -2*n + 5*j - 10*j + 7851. Does 91 divide n?
True
Let t = -12050 - -16750. Is 7 a factor of t?
False
Suppose -6*t = -52661 - 3793. Does 36 divide t?
False
Is ((-145)/(-15) + -3)*84/70*190 a multiple of 95?
True
Let z(i) = 7*i**2 - 5*i + 4. Let m = 380 - 385. Is z(m) a multiple of 12?
True
Suppose 4*n - 13177 = -3*r, 29*r = 31*r + 2*n - 8782. Is 107 a factor of r?
True
Let i(d) = 888*d**2 - 10*d + 11. Let q be i(1). Let s = q + -528. Does 16 divide s?
False
Suppose u = -w + 29984, -9*u - 59938 = -11*u + 4*w. Is u a multiple of 11?
False
Let g(x) = -x + 12. Let t be g(9). Suppose -7*d + t*d + 23 = k, -5*k + 163 = -4*d. Is k a multiple of 2?
False
Suppose -19*t + 132*t - 1293140 = 18*t. Is 35 a factor of t?
False
Let u(l) = 15221*l**2 - 139*l + 3. Is 131 a factor of u(-1)?
False
Suppose 90*o - 83*o = 41384. Does 15 divide o?
False
Let l be 16 + 7 + -1 + -1. Let i = -17 + l. Let x(y) = 2*y**3 + 5*y**2 - 4*y - 2. Is 41 a factor of x(i)?
False
Let x(d) = 3*d**2 + 35*d - 12. Let p be x(-12). Suppose p = w - 594 + 236. Is 11 a factor of w?
False
Let w(p) = p**3 + 11*p**2 - 14*p + 16. Let y be w(-9). Let x = y + -277. Does 9 divide x?
True
Suppose -8*z + 2942 = -6*z. Let m = -606 + z. Suppose 5*o = 150 + m. Does 41 divide o?
False
Suppose -r + 0*r = -100. Let n = r + -45. Let c = 33 + n. Does 17 divide c?
False
Let w(r) be the third derivative of -r**5/60 - r**4/3 + r**3/3 - r**2. Suppose 52*n + 138*n + 665 + 95 = 0. Is w(n) a multiple of 5?
False
Let d(l) = -l**2 + 33*l + 131. Let n be d(34). Let z = 215 - n. Does 53 divide z?
False
Let v be (-36)/(-6) + (2 - 6). Let o(z) = -z + 2 - 7 + 10*z**v - 2. Is 22 a factor of o(3)?
False
Let v be (8/(-6))/(-2) - 32/(-24). Suppose -q = v*c - 73, -8*q + 203 = -5*q - 2*c. Is 2 a factor of q?
False
Let h = -108 - -70. Let g(d) = -3*d**2 - 115*d - 10. Is 6 a factor of g(h)?
False
Suppose -2*b - 3*l + 5*l = -14, 2*b - 14 = -5*l. Let o(v) = v**2 - 7*v + 3. Let u be o(b). Is 9 a factor of (u/(-6))/(1/(-36))?
True
Let s(t) = 172*t**2 + 2*t + 68. Is s(5) a multiple of 23?
False
Suppose -27380 = -5*v - q, 93*q = -5*v + 89*q + 27365. Is v a multiple of 24?
False
Let k = -1557 + 3474. Does 6 divide k?
False
Let x(d) = 6 - 3*d - 19*d - 17 - 8. Is x(-18) a multiple of 4?
False
Let n(i) be the first derivative of i**4/4 - 13*i**2/2 + 38*i + 41. Does 22 divide n(6)?
True
Suppose 7789 + 701 = 2*y + 4*o, 5*o = y - 4273. Is y a multiple of 92?
False
Let b be 1/(0 - (-2)/(-360)). Let d = 6707 - 6735. Let z = d - b. Does 23 divide z?
False
Suppose 0 = -4*b + 4*s + 13349 + 67, -5*s = 5*b - 16830. Is 15 a factor of b?
True
Let q(g) = 66 - 15*g - 2*g - 8 + 14. Does 21 divide q(-22)?
False
Suppose 3*t + 12 = -9. Let k = t - -57. Let s = k - 12. Is 5 a factor of s?
False
Let d(w) = 10*w**2 - 537*w + 384. Does 21 divide d(69)?
True
Suppose -4*v - 2*w + 1548 = 0, 0 = -2*w - 5 + 13. Does 77 divide v?
True
Let w(d) = -51*d - 297. Let o(s) = -15*s**2 + 4*s + 7. Let z be o(-1). Is 9 a factor of w(z)?
True
Let d(m) be the second derivative of m**3/3 + 3*m**2/2 - 22*m. Let v be d(2). Suppose -215 = -v*g - 47. Is 3 a factor of g?
True
Let s = 765 - 637. Let c = s - 3. Is 20 a factor of c?
False
Let z(j) = j - 28. Let p be z(10). Does 19 divide ((-420)/p)/(2*4/84)?
False
Let m = 7045 + -4579. Does 4 divide m?
False
Let h(o) = -8*o + 18. Let u(y) = -24*y + 53. Let a(q) = -11*h(q) + 4*u(q). Let d be a(12). Let v = -47 - d. Does 5 divide v?
True
Let o(m) be the second derivative of -21*m**3/2 - 122*m**2 - 121*m. Is o(-12) a multiple of 28?
False
Let m be 5/(30/(-9))*-2 - -3. Suppose -26*h = -23*h - m. Suppose 3*q = -h*j + 14, -3*q - 6 = -8*q + j. Is 2 a factor of q?
True
Suppose -5556*c - 12144 = -5567*c. Is 69 a factor of c?
True
Is (-7)/(-35)*-6*(3160/6)/(-2) even?
True
Let z(x) = -2*x**3 + 28*x**2 - 8*x - 23. Suppose -2*q + 4 = 0, -3*r = 3*q - q - 46. Let d be z(r). Is 3 a factor of 6/(d/(-25) + -5)?
True
Let y = -16203 - -32163. Suppose 10*a - 34*a = -y. Is 35 a factor of a?
True
Suppose -2*b + 3*f + 291 = 0, 0 = 23*b - 27*b - 3*f + 573. Suppose 113 = 5*y + 453. Let j = y + b. Does 12 divide j?
False
Let b(i) = -22*i + 19*i - 4 - 24. Let a be b(-9). Is 6 a factor of (-1 - a) + 240/16?
False
Let d be (-2572)/6*(-3)/2. Let i be 10*(-24)/(-18)*(-12)/(-40). Suppose i*n + 5*q = d, -5*n - 5*q + 605 + 205 = 0. Does 28 divide n?
False
Suppose 5*m + 2*i = -239, -m - 4*m + 4*i = 227. Let t = -54 - m. Let y(c) = 3*c**2 + 22*c + 14. Does 6 divide y(t)?
False
Let k be 144/(-576)*(0 + -116). Let o(q) = 100*q**2 - 1. Let r be o(1). Let s = r - k. Is 9 a factor of s?
False
Suppose -25 = -3*p - 4*n, -12 = -2*n - n. Suppose 12 + p = -3*t, -5*t = j + 25. Let z(g) = g**3 - g**2 - g + 95. Is 19 a factor of z(j)?
True
Suppose 73 = 27*y - 35. Is 30 + -23 + y + 1 a multiple of 7?
False
Let k(r) = 200*r**3 - 18*r**2 + 73*r - 27. Does 68 divide k(5)?
True
Is 33 a factor of (-2)/1 + (2 - (-2549 + 8))?
True
Let k(i) = -i**3 + 3*i**2 + 5*i + 1. Let b be k(4). Suppose 2*u = -b*m + 264, 4*m + 9 = 1. Suppose a = -0*g + 4*g - u, 3*a = -15. Is 11 a factor of g?
True
Let a(p) = -p**2 + p + 1. Let v(l) = 3*l**2 - 4*l - 6. Let n(k) = -2*a(k) - v(k). Let b be n(4). Does 15 divide (-82)/b - 36/(-24)?
False
Suppose -19*d = 38*d - 157450 - 57041. Is d a multiple of 137?
False
Let x(m) = 27*m - 75. Let w(j) = -13*j + 37. Let c(t) = -13*w(t) - 6*x(t). Suppose 0 = 12*h - 82 - 74. Is 10 a factor of c(h)?
True
Let g = 590 + -584. Let p(u) = 3*u**3 - 15*u**2 + 5*u - 26. Is 4 a factor of p(g)?
True
Let n = 2401 - -515. Is n a multiple of 36?
True
