 = -552. Let c = f + 36. Is 42 a factor of c?
True
Let r be 25/3 + 16/24. Suppose -2346 = -5*f - a, -2*f - 14*a = -r*a - 920. Does 48 divide f?
False
Let y = 9405 + 5998. Is 27 a factor of y?
False
Suppose 13*b + 4*m = 15*b - 24, 5*b = -2*m. Suppose -3*f - 1504 = -b*v - 6*f, -f + 3773 = 5*v. Does 15 divide v?
False
Let s(f) = -f**2 - 8*f - 2. Let x be s(-4). Suppose 5*h - 12*h + x = 0. Is 12/8*(17 - (1 - h)) a multiple of 9?
True
Let f(h) = 44 - 7*h - 114*h - 72*h + 15*h. Is 16 a factor of f(-2)?
True
Let u(v) = -v**2 - 12*v + 14. Let i be u(-10). Does 40 divide (14 + -1)*i + -2?
True
Suppose 4*p + 4*p = -4273 + 6521. Is 21 a factor of p?
False
Let x be (-4)/(-18) - (-534)/27. Suppose -x + 16 = -n. Suppose -2*z - z + n*j + 282 = 0, -5*j = 4*z - 345. Is 10 a factor of z?
True
Suppose 4*l - 207 = -215. Does 37 divide (-508)/l - (8 + -13)?
True
Suppose 0 = 134653*h - 134658*h + 140400. Is h a multiple of 16?
True
Let u = 22184 - 14434. Does 125 divide u?
True
Suppose 0 = 4*s + 4*n - 7*n - 44197, -4*s = -11*n - 44253. Is 21 a factor of s?
False
Suppose -l + 8*l = 14. Let s be (1 + -2)/((-6)/l)*96. Let n = s - 2. Is 3 a factor of n?
True
Let j be 2/(-3)*(6 - 12). Suppose -3*l + 26 = -j. Suppose 317 = l*d - 563. Is d a multiple of 22?
True
Let i = 6 + -2. Suppose 3*w = -4*p, -4*w = 4*p + w + 8. Suppose 47 = i*d + 3*k, 3*d - 6*k - 9 = -p*k. Is 4 a factor of d?
True
Let l = 32 - 29. Suppose 0 = -v - l*c + 17, 6 = -4*v + 2*c + 4. Suppose 5*o - 110 = -3*b, -28 = -2*o - v*b + 12. Is o a multiple of 25?
True
Suppose 5*t = 7*t + 1692. Let q be (3 - 2)/((-3)/t). Suppose -4*d + q = 2*d. Does 16 divide d?
False
Let v = -7739 - -8323. Does 116 divide v?
False
Let j(f) be the third derivative of f**6/60 - f**4/24 + f**3/6 - 29*f**2. Let p be j(1). Is 5 a factor of ((-1)/p)/((-5)/100)?
True
Suppose -2*l - 120*u + 116*u = -1500, -749 = -l - u. Does 34 divide l?
True
Suppose 5097 = 3*d + 4*g, -g = -14*d + 18*d - 6783. Suppose -3*c + 8*c - d = -4*l, c - 368 = 5*l. Is 7 a factor of c?
True
Let a(j) = -14*j + 139. Let k be a(9). Suppose -k*o - 749 = -5000. Does 7 divide o?
False
Let z = 3031 - 1896. Is z a multiple of 48?
False
Suppose 3*q = 15, 9*q = 2*s + 10*q - 11. Is 7 a factor of -1 + (s + 138)/1?
True
Is 13 a factor of 0 + 26/65 - 3248/(-5)?
True
Let i = 606 + 4326. Is i a multiple of 27?
False
Let z(c) = 65*c**3 - 26*c**2 - 18*c + 36. Let s(o) = 22*o**3 - 9*o**2 - 6*o + 12. Let n(h) = -17*s(h) + 6*z(h). Is 36 a factor of n(3)?
False
Let i = -26 - -31. Suppose i*t = -2*r + 13, -2*r - 5 = 3*r. Suppose 5*d + j = t*d + 378, -2*j - 567 = -3*d. Is d a multiple of 27?
True
Let j = 22120 - 15774. Is j a multiple of 38?
True
Let y be (2/1)/(4/(-10)). Let w be (-12)/((-144)/(-156)) + 9. Is 14 a factor of (-20)/y - (w + -94)?
False
Let u = -37 + 42. Suppose -u*x + 40 = 5*l - 0*l, 0 = 2*x - l - 16. Suppose -x*s + 256 = -136. Is s a multiple of 7?
True
Is 6/48 - 249875/(-40) a multiple of 42?
False
Let s be ((-1935)/(-6))/((-3)/(-2)). Let w(p) = 2*p**2 - 5*p + 2. Let g be w(3). Suppose -u + 5*y + 26 + 47 = 0, -g*u = 5*y - s. Does 8 divide u?
True
Suppose -1135*b = -1143*b + 27390 + 30242. Is b a multiple of 9?
False
Suppose 4*o = 8, -w + 4 = 4*w - 3*o. Suppose -2*r - 2066 = -w*m, r - 2*m = -6*m - 1058. Is 27 a factor of r/(-5) + 34/85?
False
Let v be -2 - ((-180)/(-21))/(-1)*(-203)/58. Let f(d) = -4*d**2 - 27*d + 46. Let b(q) = q**2 - q - 1. Let j(p) = -3*b(p) - f(p). Is j(v) a multiple of 3?
True
Suppose -24*h = 20*h - 12*h - 61728. Is h a multiple of 11?
False
Let v = 104 + -100. Suppose 0 = -v*c + 552 + 512. Is 14 a factor of c?
True
Let n(b) = 53*b + 116. Let s be n(-2). Suppose -8*d - 2564 = -2*h - s*d, d - 3838 = -3*h. Is 9 a factor of h?
True
Let v(m) = 150*m**2 - m - 1. Let r(s) = 300*s**2 - s - 2. Let h = 22 + -19. Let n(b) = h*r(b) - 5*v(b). Is n(1) a multiple of 37?
False
Suppose 23*o = 12*o + 44. Let t(w) = -2*w**2 - 10*w + 15. Let j(h) = -5*h**2 - 29*h + 45. Let m(k) = 6*j(k) - 17*t(k). Does 21 divide m(o)?
True
Suppose 21*t = 2*t + 28006. Suppose -t = -3*s + q, -8*s - 4*q = -4*s - 1976. Is 41 a factor of s?
True
Let q(j) = 212*j - 1428. Is q(11) a multiple of 5?
False
Suppose -6*x - 368 = -5*l - 8*x, -5*x = 5*l - 380. Let t be (1/(-3))/((-6)/l). Suppose -61 = t*u - 237. Is u a multiple of 22?
True
Let m = 55729 + -27841. Does 83 divide m?
True
Let z be ((-1 - 11)*-4)/(24/32). Suppose 7*q = 6*q. Does 14 divide (z + q)*147/42?
True
Suppose 0 = -5*c + 114 - 104. Suppose -47 = -c*t + 301. Is 3 a factor of t?
True
Let b = -9 + -19. Let g = -48 - b. Let l(z) = -z**2 - 23*z - 43. Is l(g) a multiple of 12?
False
Is (-77)/(-210) + 13/(-26) + (-154817)/(-15) a multiple of 19?
False
Let p be (1/((-9)/6))/(4/(-2250)). Does 25 divide p/(-4*(-6)/24)?
True
Let n(g) = -g**3 + 11*g**2 + 8*g - 6. Suppose -24*p + 27*p - 39 = 0. Let l be n(p). Let d = -158 - l. Is 10 a factor of d?
False
Let h(i) = 97*i - 236. Let w be h(19). Let j = w - 813. Is j a multiple of 24?
False
Let r(h) = -368*h + 2626. Is r(7) a multiple of 5?
True
Suppose 132 = 2*m + 2*l, -2*m + 3*l = 2*l - 135. Is m even?
False
Let g be -3 - (-42)/7 - (-6)/(-2). Suppose g*t = 5*x - t + 67, x - 4*t + 21 = 0. Let y = 27 - x. Is 37 a factor of y?
False
Does 125 divide 880/(-6)*(8 - (-63)/(-6))*15?
True
Let h(k) = 141*k**2 - k - 30. Let y be h(6). Suppose 0 = i - 19*i + y. Is 10 a factor of i?
True
Let q(z) = -z**3 + 17*z**2 + 23*z - 17. Let y be -13 + 12 + 38/2. Is q(y) a multiple of 3?
False
Suppose -5*p + 4*p + 50 = 0. Suppose -p*v + 183 = -47*v. Is 9 a factor of v?
False
Does 2 divide 13 - (-3609)/(-279) - 3532/(-31)?
True
Suppose -54177 = -5*c + 2*t, 2*t + 13237 - 2392 = c. Does 6 divide c?
False
Let m(o) = -2*o**3 + 11*o**2 + 17*o - 23. Is m(-11) a multiple of 39?
True
Let c(q) = 2*q**2 + 123*q - 49. Let s be c(-62). Let y(z) be the first derivative of 5*z**2 - 6*z - 1. Is y(s) a multiple of 31?
True
Let s(a) be the first derivative of -4*a**2 + 32*a + 1. Let k be s(5). Is 34 a factor of ((-2)/k)/1 - 2849/(-28)?
True
Suppose 0 = -3*r + 12, -2*m - r = -4*m + 56. Suppose -5*b - 5*c = m, 0 = b - 0*b + 3*c + 16. Does 9 divide 9/((-27)/(-78)) - b?
True
Suppose 0 = 70*o + 20*o - 128*o + 349068. Is o a multiple of 9?
False
Suppose a - 7392 + 1048 = -f, 4*f = 4*a + 25424. Is f a multiple of 12?
False
Let m(x) = 9*x**2 + 3*x - 41. Let b be m(7). Let i = 591 - b. Is 62 a factor of i?
False
Let z(v) = 4*v**2 + 10. Let g be z(6). Suppose g = 2*p - 182. Is p a multiple of 17?
False
Let n = 3169 - 2637. Is n a multiple of 7?
True
Suppose -257617 + 686188 = 89*z + 10*z. Is z a multiple of 12?
False
Let b(y) = -16*y - 54. Let l(h) = 223*h + 810. Let t(w) = 45*w + 162. Let m(u) = -2*l(u) + 11*t(u). Let a(p) = -8*b(p) - 3*m(p). Is 13 a factor of a(-9)?
True
Suppose 0 = 3*c - 5*g - 15046, 2*c - 14*g = -19*g + 10064. Does 31 divide c?
True
Suppose -13*j = 13 - 39. Suppose 28*g + j*g - 15510 = 0. Is 29 a factor of g?
False
Let d(i) = -i**2 - 16*i - 10. Let r be d(-15). Is (-433)/3*(0/r + -3) a multiple of 14?
False
Suppose 5*w = -5*v - 10, -5*w - 8 = 3*v - w. Let y be 23 + 5 + (v/3 - 0). Is ((-148)/(-10))/(y/70) a multiple of 37?
True
Let i = 400 - 395. Suppose -v = -i*h - 253 - 56, -2*v = -h - 591. Is v a multiple of 49?
True
Let g = 176 + -230. Let s = 166 + g. Is 16 a factor of s?
True
Let u(p) be the first derivative of p**3/3 + 4*p**2 + 21*p - 22. Let x be u(-16). Suppose 2*l = 4*j + l - x, 2*j + 3*l - 57 = 0. Is 12 a factor of j?
True
Suppose -2*g = 35*i - 38*i - 61431, 3*g = -i + 92163. Is 10 a factor of g?
True
Suppose 3*o + y - 83257 = 0, -3*o - 30*y = -35*y - 83305. Is 223 a factor of o?
False
Let z(p) = 5*p**2 - 10*p - 16. Let x(j) = 6*j + 2 - 1 + 3 - 1 - j**2. Let c be x(5). Is z(c) a multiple of 12?
False
Let r be (-2 + 1)/((-6)/6). Let t(y) = -2*y**3 + 6*y + r + 5 + y**3. Is 9 a factor of t(-4)?
False
Suppose k - 1104 = -4*w, -2*k + 3*w - 5588 = -7*k. Does 70 divide k?
True
Let w(l) = -3*l**2 - 8*l + 91. Let z(j) = 10*j**2 + 24*j - 274. Let r(u) = -7*w(u) - 2*z(u). Does 4 divide r(-15)?
True
Let z(n) = 7*n**2 - 21*n + 20. Let x be z(13). Suppose -4*i + x = 6*i. Is i a multiple of 31?
True
Let a(k) = -k**3 - 38*k**2 - k - 968. Is 8 a factor of a(-40)?
True
Let x(a) = -42*a + 3328. Is 91 a factor of x(-10)?
False
Supp