 a multiple of 24?
False
Let x(c) = 211*c**3 + 5*c**2 - 4*c**2 + 20 - 212*c**3. Does 7 divide x(0)?
False
Suppose 0 = 6*x - x - 5. Let q be -1 + 3 + (1 - x). Suppose q*r - 132 = -r. Does 21 divide r?
False
Let k = -11 - -13. Let z = 3 + k. Suppose 0*w - 5*g = -z*w + 190, -4*g = 8. Is w a multiple of 15?
False
Let t be (-418)/(-55) + ((-18)/(-15))/3. Suppose t*v = 1265 + 639. Is v a multiple of 17?
True
Suppose -25*h - 6*h + 12276 = 0. Does 33 divide h?
True
Let m(r) = 2*r**3 - 5*r**2 - 11*r + 9. Let n be m(7). Suppose 0 = -7*f + 82 + n. Does 13 divide f?
True
Suppose h - 4 = -5*r, h - 2*r + 0*r + 3 = 0. Is (-3 - h)*(6/3 - 18) a multiple of 13?
False
Suppose -5*x + 50 = -2*c - 32, -3*c + 61 = 4*x. Suppose h + x = 5*h. Suppose 4*q - t + h*t = 66, -52 = -3*q - t. Is 6 a factor of q?
True
Let a = -27 + 117. Suppose 4*s - 2*s - 8 = 0. Suppose 0 = s*k - a - 42. Is 11 a factor of k?
True
Let s(d) = -5*d - 4 - d**3 + 9*d**2 - 3*d**3 + 4*d + 5*d**3. Let i be s(-9). Is (i/(-2))/(1/(-14)) a multiple of 22?
False
Let s = -25 - -27. Let n be ((-42)/(-49))/(s/(-14)). Is (-286)/n + (-1)/(-3) a multiple of 12?
True
Suppose -70*t + 60*t + 5080 = 0. Does 4 divide t?
True
Let o be 4/(-16)*-4*(2 - 0). Let h be 356/10 + 9/(-15). Suppose -h - 209 = -o*g. Is 34 a factor of g?
False
Let t = 20 - 17. Let v be 5 - -2*(-4 + t). Suppose 11 = r + v*q - 9, r = 5*q - 12. Does 8 divide r?
True
Let l = -634 - -714. Is 16 a factor of l?
True
Suppose -5*z + 58 + 2 = 0. Suppose -s = g + 2*s - 3, s + z = 4*g. Suppose v - n + 8 = 2*v, -3*n = -g*v + 6. Is v a multiple of 5?
True
Let l(x) = x**3 - 8*x**2 - 15*x + 6. Let v be l(10). Let h = 278 - v. Is h a multiple of 27?
False
Suppose 4*g - 3*b = 99, -5*b + 4 = 5*g - 76. Let y = g - -29. Is 15 a factor of y?
False
Let r(t) = t**2 + 7*t + 5. Let q be r(-5). Let a = q - -1. Let z = 8 - a. Does 5 divide z?
False
Suppose -9 = -6*l + 3*l. Suppose 0 = u - l*x - 9, -4 = -u - 3*x + 17. Let q = u + -13. Is 2 a factor of q?
True
Suppose -4*f + 171 = 5*k, -3*k + 0*k = -f - 89. Does 4 divide k?
False
Suppose 4*u - 2 - 362 = 0. Let k = 211 - u. Does 20 divide k?
True
Suppose 0 = -2*k - 0*k + 16. Let w(o) be the third derivative of -o**6/120 + 2*o**5/15 + o**4/8 + 5*o**3/6 - o**2. Is 7 a factor of w(k)?
False
Suppose -70 = -y + 4*b, -4*b + 230 = 4*y + y. Let w be 0/(-4 - -8) + y. Suppose -x + c + 46 + w = 0, -5*c = 5*x - 440. Is x a multiple of 23?
True
Suppose 0 = -6*w + 722 + 598. Is 20 a factor of w?
True
Let t = 18 + -13. Suppose -1 = -2*k + t. Suppose y - k = 11. Is y a multiple of 7?
True
Let t = -37 - -218. Does 7 divide t?
False
Is 86 a factor of 31080/32 - 1/4?
False
Suppose 6*y - 3*y = -30. Let w(c) = -c**3 - 13*c**2 + c - 12. Let t be w(y). Is 23 a factor of (3*-1)/(21/t)?
True
Suppose -5*m + 5735 = 5*a, -3*a + 3441 = 2*m - 3*m. Is a a multiple of 15?
False
Let o(d) = -d**3 + 18*d**2 - 20. Let q be o(18). Let l be (-16)/q - 172/(-10). Let p = l + -7. Is p a multiple of 4?
False
Let p be (-4)/6*(-3)/2. Let s be (-5 + 5)/((-1)/p). Suppose -c + f = -4*c + 227, s = -2*c - f + 152. Is 19 a factor of c?
False
Let h = -94 + 97. Suppose -3*x + x + 4 = 0, -5*t = -h*x - 469. Is 5 a factor of t?
True
Let h(r) = 6*r + 10. Let u be h(-11). Is 8 a factor of 2/(u/(-917)) + 3/(-4)?
True
Let o = 3 - 5. Let x be 3/((0 + 1)/(-12)). Does 26 divide ((-9)/x)/(o/(-296))?
False
Let n be (-4 - -2) + 19 + 0. Suppose n*v = 20*v. Suppose v = -5*c + 20, 5*c + 113 = 2*a + 35. Is 26 a factor of a?
False
Is 10/(602/147 - 4) a multiple of 21?
True
Let g(z) be the third derivative of -3*z**6/4 - z**5/60 - z**4/12 - z**3/6 + 3*z**2. Let i be g(-1). Does 10 divide (2/3)/(4/i)?
False
Suppose 4*s - 4*q + 20 = 8, -2*s = -4*q - 4. Does 11 divide 2/4 + (-412)/s?
False
Let l(z) be the first derivative of -z**3/3 - 2*z**2 - z + 6. Let x be l(-5). Let o(j) = -7*j - 6. Is 23 a factor of o(x)?
False
Suppose 4*i = 5*i - 59. Let s(a) = 53*a**2 + a + 1. Let d be s(-1). Suppose 5*p + 3*q = -13 + i, -3*q = -4*p + d. Is p a multiple of 11?
True
Let d(p) = 38*p**2 + 3*p + 1. Suppose 0 = -2*o - 3*o - 5. Is 12 a factor of d(o)?
True
Suppose 0 = 68*v - 79*v + 3993. Does 21 divide v?
False
Suppose -2*q + 18 = -4*q. Let v(k) = -16*k - 39. Is v(q) a multiple of 9?
False
Let t = -66 + 66. Suppose t*u = 5*u - 470. Is 17 a factor of u?
False
Suppose 5*k + 25 = 0, d + k - 67 = 30. Let i = -48 + d. Is 18 a factor of i?
True
Suppose 5*m - 5*w = -4*w + 7982, -m + 1598 = -w. Is 62 a factor of m?
False
Is 43 a factor of ((-258)/(-8))/((-4)/(-48))?
True
Let d be 3/(-9)*0/1. Suppose -5*w + 6 - 1 = d, 41 = t + 5*w. Let v = t - 27. Does 7 divide v?
False
Suppose 4*z - 83 = 3*w, 0 = -0*w - w - 4*z - 17. Let r = -21 - w. Does 2 divide r?
True
Suppose -2*j - 4*h + 229 = 3*j, 2*j + 3*h = 93. Suppose d - j = -10. Is 7 a factor of d?
True
Let k(r) = -r**3 + 9*r**2 + 3*r - 20. Let l be k(9). Suppose 0 = 15*m - l*m - 880. Does 8 divide m?
False
Let b = -427 - -2491. Is b a multiple of 31?
False
Let a(v) = -v**2 - 37*v - 18. Is 18 a factor of a(-18)?
True
Suppose -3*j + j = -8. Suppose -7 = x - j. Is 5 a factor of x/(-1) - 85/(-5)?
True
Let j be (-16)/(-24) - 118/(-3). Suppose -3*v = a - 28, -5*v - 4*a + j = a. Suppose 4*w - 14 - v = 0. Is 4 a factor of w?
False
Let c be 2/2 + (-2)/(-1). Suppose 2*t + 58 = -4*y, t + c*y = 7*y - 5. Does 6 divide ((-18)/(-21))/((-1)/t)?
True
Let c = -10 + 9. Let v = 11 - c. Suppose 0 = -4*g + g, v = 3*i + 4*g. Is 2 a factor of i?
True
Let r(q) = 1. Let g(t) = -2*t + 21. Let h(y) = -5*y + 43. Let v(o) = 13*g(o) - 6*h(o). Let m(f) = 6*r(f) - v(f). Is 7 a factor of m(-6)?
False
Let u = 1274 + -914. Does 52 divide u?
False
Let l(r) = 82*r + 369. Is l(25) a multiple of 52?
False
Let j(r) = 13*r**3 - 2*r**2 + r - 1. Suppose 8 = 2*d + 4. Does 25 divide j(d)?
False
Let q be 0 + 6/(-21) + 207/63. Suppose -o - 3 = -2*o, -2*o - 762 = -q*i. Does 16 divide i?
True
Let p(w) = 22*w**2 + 10. Let r be p(3). Suppose -x + q = -r, -4*x + 2*q + 658 = -176. Is 11 a factor of x?
True
Let k = -45 + 48. Suppose 2*u - k*j - 158 = 0, 5*u - 3*j + 0*j = 404. Is 13 a factor of u?
False
Let g(y) = -y**3 + 6*y**2 + 2*y - 10. Let h be g(6). Suppose -272 = -h*v - 0*v. Does 8 divide v?
True
Let x(a) = -a**3 + 15*a**2 - 27*a + 20. Is x(10) a multiple of 50?
True
Let i = 261 + -57. Is 4 a factor of i?
True
Suppose 7*j - 15 + 1 = 0. Suppose 3*b = -5*r + 219, -j = -b + 1. Is r a multiple of 4?
False
Is (-47)/799 + 10168/34 a multiple of 5?
False
Let i be -12*((-8)/(-44) + (-45)/66). Suppose -i*d = -344 - 988. Is d a multiple of 37?
True
Suppose 0 = 5*m + 3*d - 48, 0 = m - d - 0*d - 16. Suppose -3*o + m = o. Suppose 173 - 23 = o*s. Is s a multiple of 13?
False
Let y = -26 - -67. Let h = 66 - y. Suppose -h*s = -21*s - 320. Is 10 a factor of s?
True
Let v(a) = 5*a - 35. Let x be v(8). Suppose -x*t + 4*s + 264 = -2*t, -t - 4*s = -104. Is t a multiple of 23?
True
Let x = -26 + 71. Let n = x + -31. Does 10 divide n?
False
Suppose -46*l = -89385 + 10265. Does 86 divide l?
True
Suppose -4*i + 0*i - 2*z = 174, 0 = -i + z - 51. Is 3 a factor of -1 - (-4)/(-8)*i?
False
Suppose 0 = 8*c - 3*c - 10. Suppose -c*r = 3*r - 160. Suppose 0 = 5*k + 3*v - 27, -4*k - 3*v - 2*v = -r. Does 2 divide k?
False
Let h(z) = 26*z**2 + z + 10. Is h(-2) a multiple of 2?
True
Suppose -781 + 139 = -6*k. Does 14 divide k?
False
Let d be 12/21*-1 + 18/7. Suppose 28 = 2*h - 5*o, -o = 2*h - 10 - 6. Suppose -d*g + h = -9. Does 5 divide g?
False
Suppose 0 = 2*p - 3*p - 3*p. Suppose p = -s - 5*o + 57, -s + 12 = 2*o - 36. Does 14 divide s?
True
Suppose 7*p - 2879 - 1909 = 0. Is 19 a factor of p?
True
Let q(r) = 2*r**3 - 39*r**2 + 3*r + 18. Let d(o) = o**3 - 20*o**2 + 2*o + 9. Let m(y) = 5*d(y) - 3*q(y). Is m(17) a multiple of 4?
True
Let o(u) be the second derivative of -u**5/10 - u**4/3 + 3*u**3/2 + 6*u**2 - 15*u. Is 37 a factor of o(-6)?
False
Suppose 4*z = 5*w + 157, 11*z - 6*z - 2*w - 209 = 0. Is z a multiple of 4?
False
Let f(v) = v**2 - 13*v + 11. Let s be f(12). Let p(a) = -a + 2. Let q be p(s). Is 4 a factor of (-63)/q*4/(-12)?
False
Suppose -i = -a - 100, 3*a = i + a - 104. Does 8 divide i?
True
Let o = -418 + 633. Does 12 divide o?
False
Suppose l - 127 - 184 = 0. Is 14 a factor of l?
False
Let d(w) = w**2 - 8*w + 2. Let p = 22 - 14. Let b be d(p). 