5 = -c + 121. Let k = 339 - c. Is k a multiple of 22?
False
Let o(c) = 71*c + 114. Let y be 51/6 + (-60)/24. Is o(y) a multiple of 18?
True
Let f(z) = z**3 + 13*z**2 - z - 19. Let u be f(-13). Let l be (81/u)/(6/(-16)). Suppose 120 = 2*p + 2*i, -p + 4*i = -39 - l. Is p a multiple of 10?
False
Let r be (2 + 2)*(-21)/(-28). Suppose 5*a - 5*s = -20, 0*a + a - 12 = -r*s. Suppose a = -4*o + 3*m + 198, 0 = -o - 2*m - 14 + 58. Is 8 a factor of o?
True
Suppose -507 = -7*n + 732. Suppose 180*a - 2106 = n*a. Is a a multiple of 27?
True
Let f = -11226 + 18042. Is 20 a factor of f?
False
Let n = 17 - -34. Let p(k) = -k**3 - 47*k**2 - 133*k + 10. Let j be p(-44). Suppose -n*v = -48*v - j. Does 3 divide v?
True
Let q = -1114 - -3304. Does 5 divide q?
True
Let c(n) = 2*n**2 + 5*n - 9. Suppose 55 = -5*s + 5*v, -s + 5*v = -4*s + 7. Let h be c(s). Suppose -f = -h - 28. Is 15 a factor of f?
False
Let f(w) = 5*w - 7*w - w - 3*w**2 + 11*w**3 - 9. Is f(3) a multiple of 5?
False
Let f = -12 - -14. Let p(v) = -57*v**3 - 4*v**2 + 2*v + 1. Let n(i) = -58*i**3 - 5*i**2 + 3*i + 1. Let a(u) = f*n(u) - 3*p(u). Is 7 a factor of a(1)?
True
Suppose 0 = -2*s - 4 + 2, -11 = -3*u - s. Let t be (-6)/u*4/24*4. Is 5 a factor of -11*(t/1)/((-1)/(-1))?
False
Let z = -3148 - -10655. Is 91 a factor of z?
False
Is 21 a factor of -1*(-34566)/54 + 1/(-9)?
False
Suppose 7*k - 1288 + 336 = 0. Suppose -2*x - 5*y = -6*x + k, -y - 74 = -2*x. Suppose 0 = -3*u + 483 - x. Does 10 divide u?
False
Let m(a) = -1669*a + 3120. Is 5 a factor of m(-23)?
False
Suppose 0 = 350*n - 78*n - 1647972 - 790508. Is n a multiple of 34?
False
Suppose -372*k + 375*k - 25800 = 0. Suppose k = -409*g + 419*g. Does 10 divide g?
True
Let q(k) = k**3 + 8*k**2 + 22*k - 3. Let n be q(-4). Let g(h) = -20*h - 194. Is g(n) a multiple of 32?
False
Suppose -222*i = -35*i + 134*i - 1905456. Is 8 a factor of i?
True
Let s = 23706 + -18296. Is s a multiple of 10?
True
Suppose 7*x + 1860 = 10*x. Suppose i + x = 6*i. Suppose -i = -3*l + 65. Is 15 a factor of l?
False
Let m(z) = 20*z**2 - 4*z + 3. Suppose k + 96 = 2*p, 0 = 4*p - 2*p - 3*k - 96. Let t = 49 - p. Is 7 a factor of m(t)?
False
Suppose 33*z - 27*z - 2436 = 0. Suppose s - z = -s. Let m = s - 139. Does 47 divide m?
False
Suppose 88*g = 16*g + 218736. Is 98 a factor of g?
True
Let s(i) = 10*i**2 + 47*i + 5. Let d be s(-9). Suppose d = -6*m + 1082. Is 69 a factor of m?
False
Suppose -77581 = -5*k - 16871. Does 13 divide k?
True
Let o(i) = 4 + 20 + 34 - 5 + i. Is o(-33) a multiple of 5?
True
Suppose -7*x + 2852 + 214 = 0. Let q = x - 279. Is q a multiple of 22?
False
Let u(g) = g + 8. Let x be u(-4). Suppose -4*i - 4 = 0, 0 = -x*w + 2*i - 0*i + 26. Let t = w + 90. Is 24 a factor of t?
True
Suppose 3*s - 3*n - 4 = 2, 3*n + 13 = 4*s. Suppose s*g = g + 1302. Suppose 77 + g = 3*t. Is t a multiple of 13?
False
Let m = 23706 - 10954. Is m a multiple of 63?
False
Let z(v) = v + 22. Let y be (-522)/27 - (-4)/3. Let n be z(y). Suppose q = 2, -2*j = -3*j + n*q + 75. Does 16 divide j?
False
Suppose 3*l - 49*x = -47*x + 104320, 20 = -4*x. Does 190 divide l?
True
Let i(d) = 722*d + 844. Is 15 a factor of i(13)?
True
Does 5 divide 45*1*162304/1152?
True
Let o = -51 - -34. Let t(u) = -u**3 - 17*u**2 - 4*u - 2. Let g be t(o). Is (0 - 2/(-2)) + g/11 a multiple of 7?
True
Suppose 9*p + 1 = 10*p. Let c(a) = 129*a - 5. Let k be c(p). Suppose -11*m + k = -7*m. Is m even?
False
Let q be 2/6*(-2 - -11). Suppose q*b - 1573 = -2*l, 15*b - 10*b + 3157 = 4*l. Is l a multiple of 22?
False
Let u = 313 - 282. Suppose 1642 = u*b - 17330. Does 65 divide b?
False
Let f(r) = 11*r**2 - 18*r - 3. Let x be f(-4). Suppose x = 3*t - 5*n + 6*n, 4*t - 4*n = 300. Does 3 divide t?
False
Let b(y) = 10*y**2 - 6*y - 18. Let j = -111 + 108. Is 9 a factor of b(j)?
True
Suppose -49*z - 3319 = -43450. Is z a multiple of 7?
True
Suppose 137*x - 139*x + 16 = 0. Suppose 0 = 2*k - 2*h - 968, -x = -5*h + 2. Is 54 a factor of k?
True
Let p = 19756 - 11896. Is p a multiple of 12?
True
Let l = -2179 - -4781. Is l a multiple of 7?
False
Let g be ((-8)/12)/(-1 + 56128/56136). Suppose g = 28*d - 26122. Does 22 divide d?
True
Let h = 2818 + -2383. Does 4 divide h?
False
Let a be ((-8)/12)/(-3 - (-22)/6). Is (8 - a)/((-5474)/784 + 7) a multiple of 6?
True
Suppose 3*g = 3*r + 2403, -211*r + 214*r - 2397 = -3*g. Is 8 a factor of g?
True
Let g(l) be the second derivative of l**3/6 - l**2 - 13*l. Let s be g(6). Is (s - 3*18)*-1 a multiple of 25?
True
Let h(o) = -o**3 + 28*o**2 + 1688*o + 133. Is h(-39) a multiple of 62?
True
Suppose 11*f - 12*f - 16 = -5*w, 5*w + 2*f = 28. Is 10 a factor of (w/(-10))/((-4668)/4665 + 1)?
False
Let f(a) = -20*a + 65. Let m be f(10). Let w = -43 - m. Is w a multiple of 23?
True
Let x(s) = -790*s - 3964. Does 4 divide x(-12)?
True
Let i be 3*1520/15 - 6. Let s = i - 88. Is 6 a factor of s?
True
Suppose -21*z + 43104 = -7*z - 12784. Is 102 a factor of z?
False
Let t(z) = 9*z**3 - 251*z**2 - 156*z + 28. Does 6 divide t(31)?
False
Let a(b) = 16 + 21*b**2 - 16*b**3 + 26*b + 1 + 0*b + 15*b**3. Is 15 a factor of a(22)?
True
Suppose -6*x + 723 = 99. Suppose -46*c + 45*c = -x. Does 8 divide c?
True
Let c = -357 - -335. Is 2 a factor of -26 - c - (2 + 8)*-1?
True
Let f(s) = s**3 + 39*s**2 - 24*s - 194. Is f(-38) a multiple of 47?
True
Let p(g) = 179*g - 16. Let l be p(5). Suppose v = 2*v + c - 873, l = v - c. Does 12 divide v?
True
Let s(k) = 3*k - 10. Suppose -34*a = -29*a - 35. Let i be s(a). Suppose -2*z = 2*v - 10, -3*z + 22 + i = 5*v. Does 4 divide v?
False
Let d(x) = -492*x - 31. Let o be d(-7). Suppose -11*n = -o + 1026. Is n a multiple of 51?
False
Let z(v) be the first derivative of 189*v**2/2 + 6*v - 27. Is z(1) a multiple of 9?
False
Suppose 0 = 2*a - 2*f - 5590, 3*a + 70*f = 67*f + 8367. Is 19 a factor of a?
False
Let g be (1/(-3))/((-18)/(-2538)). Let p = g + 46. Is 10 a factor of (-49 + p)*(-3 + 6)/(-3)?
True
Let j be (-354)/(-5) - (-9)/45. Let w = 679 - j. Does 19 divide w?
True
Suppose 3*n - 4*p + 598 = 0, 6*n - 2*n - p = -819. Let f = -96 - n. Does 22 divide f?
True
Is (-1053065)/(-115) + 6 - ((-477)/69 - -7) a multiple of 79?
False
Let j(b) = 7*b**2 - 23*b + 5. Let l = 170 + -175. Does 94 divide j(l)?
False
Suppose 115*w + 47594 - 184214 = 0. Is w a multiple of 66?
True
Let s be ((-36)/8)/(2/(-4)). Let l(n) = -4 - 11*n + 0 - 16*n**2 + 27*n**2 - n**3. Is l(s) a multiple of 12?
False
Let h = 228 + 112. Is 3 a factor of (56/(-10))/((-17)/h)?
False
Let n(v) = 2*v - 19. Let y = -42 + 38. Let u be n(y). Let a = 32 + u. Is 5 a factor of a?
True
Let n = -17804 + 44976. Is 299 a factor of n?
False
Suppose -9*c + 5*c - 215 = b, -c - 30 = 5*b. Let u be (-8)/(0 + 2/(-28)). Let d = c + u. Does 19 divide d?
True
Suppose -78 = 5*n - 5*o - 388, -4*o = 2*n - 106. Suppose 55 + 31 = 4*y + 5*w, -42 = -2*y - 2*w. Let v = n - y. Does 10 divide v?
True
Let p(r) = -22*r**3 + 6*r**2 - 8*r - 54. Let l be p(-7). Is 3*-2 - (l + -6)/(-6) a multiple of 52?
True
Let s(f) = -35*f - 30. Suppose -29 = u - 4*y, -5*u + 7*y - 10*y = 30. Is s(u) a multiple of 23?
False
Let d = -700 - -988. Let n = -85 - 63. Let a = d + n. Is a a multiple of 14?
True
Suppose 4*l + 27927 = 5*o, 3*o - 66*l = -68*l + 16743. Does 72 divide o?
False
Let r(o) = -o**3 + 29*o**2 + 31*o - 38. Let a be r(30). Is 47 a factor of 5 + a + 6 + 1113?
False
Let x = 267 + -1335. Is 4 a factor of 5/((-30)/x) + 6?
True
Let y(i) = 584*i + 30015. Is 69 a factor of y(0)?
True
Let p(h) = 2*h**2 - h + 1. Let v be p(1). Suppose r - 21 = -v*r. Suppose -2*k - 6 = -4*s + 16, -s + 3*k - r = 0. Is 8 a factor of s?
True
Let f be (-140 - 2)*(-12)/12. Let i = f + -128. Is 3 a factor of i?
False
Let x(n) = -n**2 + 15*n + 38. Let h be x(17). Suppose 149 = h*y + 3*g, 0*y + 50 = y + 5*g. Is y a multiple of 5?
True
Let b = -3505 + 3504. Let j = -1 + -5. Is (309/(-6) + b)*4/j a multiple of 17?
False
Suppose 11*f = 12*f + 25. Let o be -4 + 14 - (-2)/2. Let z = o - f. Is z a multiple of 9?
True
Let y = 455 + -229. Let h be -2 + 0 + 14 + -9. Suppose -l + h*l - y = 0. Is l a multiple of 14?
False
Suppose -1676 = -2*f + 3734. Let g = f - 1265. Is ((-4)/5)/((-18)/g) a multiple of 16?
True
Let n = 12 + -40. Let c be 87 - (-7)/(n/16). Suppose -c = -6*k + 877. Does 16 divide k?
True
Let w(p) = -142*p - 