alse
Let k = 7167 - 999. Does 8 divide k?
True
Suppose 48 = 7*c + c. Let d(z) = -z**2 - z. Let x(m) = -5*m**2 + 6*m + 13. Let l(h) = -2*d(h) - x(h). Does 16 divide l(c)?
False
Let g = 197 - 196. Is (12 - 6) + 2 + g a multiple of 3?
True
Let j(d) = 6*d**2 - 5*d + 19. Let k(i) = -5*i**2 + 5*i - 19. Let g(h) = 3*h - 52. Let s be g(16). Let q(x) = s*k(x) - 3*j(x). Is 19 a factor of q(-7)?
True
Suppose -10048 - 7242 = -35*j. Does 13 divide j?
True
Suppose -5*h - 2904 + 5537 = -2577. Is h even?
True
Suppose -3*d + 29 = 5*t + 1, -4*t = -2*d - 18. Suppose -2*g + 5*w = -113, 4*g + g = t*w + 275. Does 27 divide g?
True
Suppose 0 = 5*a - 7*a + 160. Suppose 5*w + a = 5*p, -2*w = -6*p + 2*p + 62. Suppose p*x - 16*x = -72. Is 18 a factor of x?
True
Let w(n) = 252*n**2 + 37*n - 37. Does 59 divide w(5)?
False
Let z = 576 - 549. Let f(k) = k**2 - 10*k + 26. Is 97 a factor of f(z)?
True
Let k(s) = -s**2 - 2*s - 1. Let v(t) = -168*t**2 + 6*t + 18. Let i(d) = -6*k(d) - v(d). Does 12 divide i(2)?
True
Let k(v) = 1580*v**2 + 15*v + 38. Does 16 divide k(-2)?
False
Suppose -3*s - 8 = 7, 5*s + 40 = b. Let y(m) = 15*m - 18. Is y(b) a multiple of 23?
True
Suppose -3*p - n + 5500 = -0*n, 7330 = 4*p + 3*n. Let b = p + -972. Is 14 a factor of b?
False
Let m(h) = -h**2 - 2*h - 5. Let v(u) = -3*u**2 - 2*u - 7. Let i(z) = 2*m(z) - v(z). Let f(p) = -p**2 - 7*p + 5. Let x be f(-7). Does 6 divide i(x)?
True
Let c be (2 + 14)/(4 + -2). Let o be (3/4)/(2/c). Suppose 2*a = o*a - 39. Does 32 divide a?
False
Suppose 10*z + n - 2347 = 6*z, 4*z - 6*n = 2382. Is z a multiple of 49?
True
Let k be ((-140)/(-42))/((-2)/(-135)). Suppose 650 = 227*f - k*f. Is 26 a factor of f?
False
Let p(g) = 16*g**2 - 19*g - 898. Is p(32) a multiple of 14?
False
Let v be (6/4)/((-6)/(-16)). Let i be 3 + (4/4 + -7 - (-19 - 90)). Suppose 0 = -5*t + v*w + i, 5*w = 5*t - t - 83. Is t a multiple of 12?
False
Let u(f) = 4*f**3 - 245*f**2 + 75*f + 278. Is u(61) a multiple of 14?
False
Suppose -10 = q - 0*r + 4*r, 5*r = 2*q - 19. Let g(b) = b**3 - 5*b + 2. Let v be g(q). Suppose 0 = d + s + 2*s - 14, 2*d - 4*s + 12 = v. Is d a multiple of 2?
True
Let y(r) = 6*r**2 - 18*r - 113. Does 16 divide y(-16)?
False
Let y be ((-4)/(-10))/((-13)/195). Let h be 0/(-4 - y/3) + 1. Is 9 a factor of (15/h)/(13/39)?
True
Does 33 divide (-1032235)/(-85) - 12/(-204)?
True
Suppose -158*k = -3825895 + 1254603. Is k a multiple of 12?
False
Let n be 421/(7 - (1 + 5)). Let a = n + 421. Is a a multiple of 26?
False
Let o(m) = -2*m - 33. Let g be o(-10). Let f = 118 - g. Does 16 divide f?
False
Let q(f) = 2*f**3 - 15*f**2 + 15*f - 6. Let j(y) be the first derivative of -y**2/2 + 23*y - 26. Let i be j(16). Is 10 a factor of q(i)?
True
Let m(d) = 3*d**3 + 4*d**2 - 54*d + 133. Is 6 a factor of m(13)?
False
Let r be ((-21)/(-14))/((9/8)/(-3)). Does 9 divide 3/36*r*-243?
True
Let m = 498 - 503. Is 9 a factor of 2*185*m/(-50)?
False
Suppose -b - 5*m + 40 = b, -2*b - m = -32. Let s(x) = x - 15. Let p be s(b). Suppose 0*v = -2*v - 4*w + 16, p = -2*v + w + 6. Is v a multiple of 3?
False
Let t(b) = -3*b + 27. Let n be (-4)/2*36/(-8). Let y be t(n). Suppose 0 = -y*p - 3*p + 24. Does 4 divide p?
True
Let q = 1551 - -915. Does 6 divide q?
True
Let b(f) = 38*f**2 - 15*f + 30. Let a be b(2). Let d = a + 28. Does 11 divide d?
False
Suppose 9*y - 2*y = 5411. Suppose -5*a - 1295 = -5*z, -a - y = -2*z - z. Is z a multiple of 16?
False
Let r(f) = -18*f**2 - 7*f - 13. Let v(g) = 22*g**2 + 6*g + 14. Let k(x) = -5*r(x) - 4*v(x). Is 12 a factor of k(-13)?
True
Let h(d) = -6*d**2 - 14*d + 21735. Does 5 divide h(0)?
True
Suppose -4*m - 14*d + 15*d - 13 = 0, 5*d - 5 = 5*m. Suppose 0 = -6*f + 4*f + 2, -3*s = -3*f - 39. Does 7 divide (s/16)/(m/(-16))*2?
True
Suppose 116166 = -8*i + 24*i - 8122. Does 42 divide i?
False
Suppose 0*q = q - 0*q. Suppose -4*r + 52 - 12 = q. Is 3 a factor of r?
False
Let u = -7576 - -8762. Is u a multiple of 27?
False
Suppose 32*t = 111055 + 1182097. Is t a multiple of 136?
False
Suppose -3 = 3*u - 15. Let b(y) = -18 - 9*y + u + y**2 + 0*y + 2*y**2. Does 10 divide b(6)?
True
Suppose 4*r = -12, 0 = -2*q - 38*r + 41*r + 6043. Is q a multiple of 8?
False
Let j(g) = -g + 10. Let a be j(10). Suppose -d + 3 = -a*d. Is (-1)/(d/(-6)) + 68 a multiple of 7?
True
Let r = -162 - -156. Let i(q) = -7*q - 2. Let z be i(-1). Is z - (5 + r)*9 a multiple of 2?
True
Let y(b) = -b**3 + 30*b**2 + 42*b - 66. Does 116 divide y(29)?
False
Suppose 2*y - 6 = 3*w + 5*y, -5*w + 2 = 2*y. Suppose 0 = -4*g - 3*i + 231, 0 = -w*i - 5 - 1. Suppose 2*b - 2*j - 388 = -g, -b + 155 = 2*j. Is b a multiple of 9?
False
Is (-4)/(-34) - (62148/(-34) + 39 + -51) a multiple of 5?
True
Suppose -z = 15*z + 61*z - 2131591. Is z a multiple of 19?
True
Suppose 13 = 4*y + 37, y + 1 = w. Suppose -f + 6*f - 30 = 0. Is 24 a factor of (f/w)/(24/(-3760))?
False
Suppose -5 = k - 10. Let v be 4*(-1)/((-4)/k). Suppose v*i = 4*j + j + 170, -5*j - 46 = -i. Is 5 a factor of i?
False
Let s be (-4 - 0 - -5) + 6. Let h(j) = -j**3 - j**2 - 15*j + 23. Let a be h(s). Let y = 678 + a. Does 17 divide y?
True
Let t(g) = -8 - 10 + 5 - 2*g + 6*g. Let r be t(-11). Let l = r + 121. Is 8 a factor of l?
True
Let w be (-348)/28 - 6/(-14). Let x be (-1)/((2/(-4))/((-18)/w)). Suppose 4*j + 231 - 75 = 2*t, x*j + 9 = 0. Does 36 divide t?
True
Suppose -140*j + 124*j = 80. Does 19 divide ((-1176)/(-2))/(6 + j)?
False
Let n(w) = w**3 + 59*w**2 + 2*w - 1262. Is n(-44) a multiple of 7?
False
Let q be 254*4/16*2. Let x = q - 127. Suppose -10*c + 12*c - 180 = x. Is c a multiple of 10?
True
Is 11 a factor of 2 - 1 - -5118*(-51)/(-34)?
True
Let r(d) = -5 - 6 - 3 + 2*d**2 + 8 + 32*d. Is r(-19) a multiple of 36?
True
Let j = -12214 + 23197. Is 21 a factor of j?
True
Let p(b) = 15*b**2 + 28*b + 112. Does 95 divide p(-14)?
True
Suppose -33*f + 13872 = -29*f. Is 44 a factor of f?
False
Let m(d) = 14*d**2 + 172*d + 71. Is 45 a factor of m(-14)?
False
Let r = 74 + -69. Suppose -5*g = 10 - 0, r = -3*f + 2*g. Does 21 divide 0 + (f - -161) + -5?
False
Suppose 115*z = -1259223 + 3807623. Is 77 a factor of z?
False
Let r be (3180/9)/4 - (-6)/9. Let u = r - 82. Does 5 divide (10*1)/(0 - (-1)/u)?
True
Suppose 15 = -o + 34. Suppose 0 = -4*i - w + 771, o*i - 2*w = 20*i - 191. Is 8 a factor of i?
False
Suppose i = -10*i + 33. Suppose -t - 5*r = 20, i*r = 4*t - 3*t - 12. Suppose 4*a + 2*n - 34 = t, 12 - 38 = -a - 4*n. Is 6 a factor of a?
True
Let n(j) = -j**3 - j**2 + 19*j + 2. Let u be n(-6). Let b = u - -244. Is 39 a factor of b?
True
Let j(k) be the first derivative of -33*k**2/2 - 9*k + 66. Does 7 divide j(-6)?
True
Suppose -12*k - 1512 = -4*k. Let w = -104 - k. Is 34 a factor of w?
False
Let r = 8334 + 3141. Does 40 divide r?
False
Let g(r) = -5*r + 13. Let l be g(-1). Suppose p + 2*c = l, -2*c + 12 = 2. Is p a multiple of 5?
False
Let b = -3324 + 6621. Is 21 a factor of b?
True
Let p(l) = -l**3 + 2*l**2 + 276*l + 30. Is p(-23) a multiple of 49?
False
Suppose 2*r + 530 - 534 = 0. Suppose 1537 = r*g + 59. Is 23 a factor of g?
False
Let q(y) = -2*y**3 - 11*y**2 + 5*y + 9. Let w be q(-7). Suppose -v - 242 = -3*n, 2*n + 4*v - 2*v - 148 = 0. Let g = w - n. Does 21 divide g?
True
Suppose -7*z + 3780 = -3031. Let i = z + -621. Does 22 divide i?
True
Suppose -z - 4 + 10 = 0. Let i be (z - 6) + 1 + -1. Suppose i = 3*a - 244 - 125. Is 28 a factor of a?
False
Let i(w) = 503*w**2 - 14*w - 19. Is i(7) a multiple of 55?
True
Is ((-44)/(-5))/((-6)/(-3240)) a multiple of 6?
True
Let j = -349 - -344. Is (25 - -25)*(-21)/j a multiple of 14?
True
Let p = 524 - 274. Suppose -f - 130 = -p. Is f a multiple of 40?
True
Let w(g) = g**3 + g + 1. Let d(q) = -5*q**3 - 2*q**2 - 14*q - 6. Let k(t) = -d(t) - 6*w(t). Let s be k(4). Suppose s = 22*a - 26*a + 344. Is 13 a factor of a?
False
Let p(k) be the second derivative of k**4/6 + k**3/2 + 41*k**2/2 - 4*k - 11. Does 19 divide p(-6)?
True
Let w(p) = 19*p**2 - 32*p + 64. Let z = -700 - -702. Is w(z) a multiple of 7?
False
Let n(b) = -b**3 + 3*b**2 + 4*b - 7. Let w be n(3). Suppose w = -10*k + 5*k, 5*c - 4*k - 319 = 0. Is c a multiple of 9?
True
Suppose -7*u = -11*u + 180. Suppose 4*r - 7*o - u = -2*o, -3*r + 42 = -o. Let d(z) = -z**2 + 19*z + 10. Is 7 a factor of d(r)?
True
Let m = 5746 + -4905. Is 64 a factor of m?
F