*h + 5. Does 4 divide f(-5)?
True
Let b be (-2)/(-7) - 54/42. Let p be b + -6 - (1 - 1). Let s = p + 11. Is s a multiple of 4?
True
Let w = 500 - -71. Is w a multiple of 27?
False
Suppose 0 = 18*z - 275 - 2659. Does 21 divide z?
False
Let k be (1288/12)/((-4)/6). Let x = -83 - k. Is 22 a factor of x?
False
Let k = 414 - 352. Is k a multiple of 13?
False
Let y = -134 + -660. Is y/(-11) - (-14)/(-77) a multiple of 22?
False
Let q = 0 - -3. Suppose 0*a = q*a - 96. Is a a multiple of 5?
False
Let w be (44/8)/(-11) - (-59)/(-2). Let p = w - -76. Is 24 a factor of p?
False
Let v = 341 - 131. Suppose -3*t + 0*t + v = 0. Does 35 divide t?
True
Suppose 0 = 23*l - 14923 - 8537. Does 68 divide l?
True
Let c = 16 + 3. Let x be 6/(-1)*3/(-6). Suppose x*r + 4 = c. Is r a multiple of 5?
True
Let d = 33 + -29. Suppose -4*o + 3*r = 285, 3*o + 157 = -d*r - 63. Is 11 a factor of (-1)/4 - 2322/o?
False
Suppose -2*x + 102 = -0*p + 2*p, 2*p + 5*x - 108 = 0. Let h = -18 + p. Does 18 divide h?
False
Suppose -1066*r + 11050 = -1061*r. Is r a multiple of 13?
True
Let y(i) be the first derivative of -i**4/4 + 4*i**3/3 + i + 3. Let o be y(4). Is ((-240)/(-25))/(o/5) a multiple of 24?
True
Let i(a) = 3*a**3 + 10*a**2 - 7*a + 8. Let r(f) = -2*f**3 - 9*f**2 + 6*f - 8. Let k(g) = 5*i(g) + 6*r(g). Is k(4) a multiple of 7?
False
Let j = 199 + -70. Let n = j + -86. Is 10 a factor of n?
False
Let n(r) = -3*r + 5*r - 18*r. Suppose -3*y + 3*m = -y - 7, 3*y - 12 = 5*m. Does 12 divide n(y)?
False
Let h = -55 - -83. Suppose 0 = -7*m + 3*m + 5*k, 4*m = -2*k + h. Is m a multiple of 3?
False
Is 121 a factor of 22867/27 + (-56)/(-756)?
True
Let w be 1/5 + (-54)/(-30). Let b(a) = 3*a - 2. Let v be b(w). Suppose -2*y - 15 = -f - 1, -v*f - y + 47 = 0. Is f a multiple of 6?
True
Let q = -7 + -29. Let k = 51 + q. Is 8 a factor of k?
False
Suppose 13 - 12 = -o. Let r(p) = -2*p**3 + p**2 - 1. Let s be r(o). Is 16 a factor of (-241)/(-5) - s/10?
True
Suppose -z - 16 = -2*z. Suppose 1 - z = -3*q. Let f(c) = -c + 8. Does 3 divide f(q)?
True
Let f be (6/(-3))/(-2 + (-15)/(-6)). Let k(b) = 7*b**2 - 5*b. Is 33 a factor of k(f)?
True
Suppose 0 = 5*t + 3 - 13. Let y be ((-212)/(-12))/(t/6). Let i = 106 - y. Does 23 divide i?
False
Suppose 18 = -o + 28. Is 8 a factor of o?
False
Let l = 498 + -490. Is 6 a factor of l?
False
Let n = 0 - -5. Suppose -n*r + 64 = -r. Suppose 36 = 4*w - r. Does 13 divide w?
True
Let p(y) = -2*y + 35. Let s be p(0). Does 20 divide (-7)/(s/(-340)) - 1?
False
Suppose -4*s + 5*y = 9*y - 1476, 4*s = -y + 1485. Is 58 a factor of s?
False
Let l be 63/9 - (-3)/(-1). Suppose l = -4*r, 5*s + r - 23 = 4*r. Suppose s*a = a + 36. Is 8 a factor of a?
False
Let h(a) = 5*a**2 + 86*a - 35. Is h(-24) a multiple of 24?
False
Suppose -4*q + 5*o + 15 = q, 0 = 5*q - 3*o - 13. Suppose q*j + 4 = 3*j. Suppose 4*g - 3*z = 44, z - j = -g + 14. Is 7 a factor of g?
True
Suppose 13*f - 21*f = -3552. Does 74 divide f?
True
Suppose -2*m - 3*r = -3*m + 8, -3*m + 94 = 5*r. Let o = -75 + 82. Suppose i + o = m. Does 4 divide i?
True
Let h(d) = -15*d + 45. Does 5 divide h(-7)?
True
Let k(i) = i**2 + 40*i - 243. Is k(7) a multiple of 3?
False
Suppose 2*p - 2*n - 29 - 19 = 0, -2*n = -p + 21. Is 3 a factor of ((-2)/(-8))/((-6)/(-8))*p?
True
Let f(d) = -d. Suppose 0 = -5*m - 5. Let s(t) = -t**2 - 14*t - 11. Let q(o) = m*s(o) + 6*f(o). Is 11 a factor of q(-11)?
True
Suppose n + 2*b = -4, -b + 4*b = 5*n - 6. Suppose 0 = -n*y - 4*y + 8. Suppose 0 = y*z + 2*z - 16. Does 2 divide z?
True
Let y = -679 - -1580. Is y a multiple of 14?
False
Let v be (12/(-7))/(3 + 180/(-56)). Suppose -v*t + 12*t = 192. Does 48 divide t?
True
Let m be 30/5*2/(-4). Let c be 5*(48/(-10))/m. Suppose -2*i = -c*i + 540. Is i a multiple of 23?
False
Suppose 5*v - 581 = 3*b, 0 = 3*v - b - 2*b - 351. Is 13 a factor of v?
False
Suppose 0 = -6*q + 4*q - 4*s + 136, 0 = -5*s - 10. Does 11 divide q?
False
Suppose -i - 4*i + 4*k + 15 = 0, -2*k = -3*i + 7. Let x = i + 122. Is x a multiple of 11?
True
Let w(j) = 2*j**3 - 11*j**2 + 10*j. Does 24 divide w(10)?
False
Suppose 47 = 2*j + 3*l, j = 4*j + 3*l - 66. Suppose -3*a + j = 4*s, 5*a + 0*s + 4*s = 29. Let g(c) = c**2 + 2*c - 6. Is 16 a factor of g(a)?
False
Suppose 4*b + s - 2663 = 6*s, 2*s + 3350 = 5*b. Suppose 67*i + b = 71*i. Does 24 divide i?
True
Let d(g) = 8*g**3 + 7*g**2 - 9*g - 2. Is d(5) a multiple of 49?
False
Let l be ((-21)/5)/((2 + 3)/(-25)). Suppose 7*t - l = -0*t. Is t even?
False
Suppose -2118 = -5*d + 3*n, -6*d = -3*d - 2*n - 1271. Is 33 a factor of d?
False
Suppose -s - 6 = 2*t, 4*s + 12 + 3 = t. Is 16 a factor of (2 - (-30)/(-9))*12/t?
True
Let n(m) = -m**2 + 112*m + 25. Does 10 divide n(24)?
False
Let k(w) = -9*w**2 - 2*w + 1. Let l be k(1). Let i(j) = j**2 + 9*j - 5. Let s be i(l). Suppose 4*x - 161 = 5*h, 3*h = 4*h + s. Is 17 a factor of x?
True
Let i be (1/12*8)/((-2)/(-3)). Let v = i - -11. Is v even?
True
Does 17 divide 12/(-2) + 3 + 88?
True
Let v be 4/(-5) - 662/10. Let y = 107 + v. Is y a multiple of 3?
False
Let i = -23 - -23. Suppose 3*y + 9 = 0, -2*f - y + 7 = -i*y. Suppose 3*t + c - 136 = 71, -3*t = f*c - 195. Is 14 a factor of t?
True
Let z(n) = -n**3 + 7*n**2 + 49*n + 44. Does 21 divide z(-6)?
False
Suppose 4*q + 13 - 55 = -2*i, 0 = 4*i + 4*q - 96. Suppose i - 216 = -7*o. Is 9 a factor of o?
True
Let w be ((-8)/6)/(7/147). Let l = w - -175. Does 21 divide l?
True
Let t be 440/77 + 4/14. Suppose -9 = t*m - 4*m - 5*u, 5*m + 57 = u. Does 14 divide 3/(-12) + (-507)/m?
True
Let t = -2307 + 3290. Does 60 divide t?
False
Suppose -19614 = -13*j - 29*j. Does 14 divide j?
False
Let d be (0 + 3/(-6))*2. Let w be (2/3)/(d/3). Is 25 a factor of (51 - -3) + -2 + w?
True
Let o be -2 + 1 - (-14 - -8). Suppose 0 = 4*g - 5*d - 171, -o*g = -3*g + 3*d - 113. Is 2 a factor of g?
False
Suppose -2*z + 67 = 19. Suppose t - 21 - z = 0. Does 9 divide t?
True
Let p(k) = 2*k**3 - 2*k**2 - k. Let s be p(-1). Let g(r) = 32*r**2 - r + 31. Let d(w) = 22*w**2 - w + 22. Let h(j) = -7*d(j) + 5*g(j). Does 32 divide h(s)?
False
Let l be (-79)/(-9) + 5/((-90)/(-4)). Suppose 4*i + 0 + l = 5*y, -y = -2*i + 3. Does 5 divide y?
True
Let r = -439 - -1507. Is r a multiple of 12?
True
Suppose 0 = -18*r + 21*r. Suppose r = 5*v + 5*f - 310, -3*f = 2*v - 68 - 58. Is 9 a factor of v?
False
Let d = 26 - 18. Suppose -d*o + 25 = 1. Suppose -b + 209 = 3*i, 335 = 5*i - o*b + 2*b. Is 34 a factor of i?
True
Suppose 0 = 5*z - 3*x - 504, 4*x = -z + 6*x + 98. Does 34 divide z?
True
Let x(b) = -b + 3. Let a be x(0). Suppose -a*v + 0*k + 507 = -3*k, 0 = -v + 2*k + 166. Is v a multiple of 14?
False
Let t = 180 - 104. Is 4 a factor of t?
True
Let k(x) = -x**2 + 44*x - 31. Is k(16) a multiple of 19?
False
Let t be 0 + (2 - 5 - (-4 + -4)). Suppose -2*f + h + 107 = f, -3*f - t*h + 77 = 0. Is 9 a factor of f?
False
Let d be 2/4 - (2547/(-2) - 5). Suppose -961 = -10*m + d. Is 23 a factor of m?
False
Suppose 2*g + 8 = 0, -22*n = -21*n + 3*g + 15. Let d(c) = -c**3 + c**2 - c + 34. Let v be d(0). Is 4 a factor of 1/(((-6)/v)/n)?
False
Let z = 72 - 71. Is 9 a factor of (-8*(-18)/4)/z?
True
Suppose 2*n = 4*w - 20 - 32, 5*w + 3*n - 76 = 0. Let j be (-18)/w + 12/42. Is 16 a factor of 771/12 + j/4?
True
Let x = 4023 + -2812. Is x a multiple of 20?
False
Let i be 2/4 - (-77)/(-14). Let g = i - -23. Suppose -b = -g - 14. Is 16 a factor of b?
True
Let j(p) = p + 1. Let c(g) = 11*g + 3. Let r(y) = 17*y + 4. Let z(h) = -8*c(h) + 5*r(h). Let n(l) = 2*j(l) - z(l). Is 8 a factor of n(5)?
False
Let j be 39/(((-4)/6)/2). Suppose -3*m - 4*x - 225 = -74, 2*x - 243 = 5*m. Let y = m - j. Is y a multiple of 17?
True
Suppose 4*b - 3 = 13. Suppose u - 80 = -b*u. Does 2 divide u?
True
Let v be -1*(-42)/(4/2). Let w(o) = 13*o + 80. Is w(v) a multiple of 56?
False
Suppose -3*z = -12, -5*o - z + 2101 = -2*z. Is 31 a factor of o?
False
Let h = 334 - 187. Let b = h - 101. Does 23 divide b?
True
Is 56 a factor of ((-91)/(-26))/((-5)/(-7440))?
True
Suppose -2166 = 28*m - 34*m. Is m a multiple of 19?
True
Suppose -428 = -23*v + 400. Is v a multiple of 12?
True
Let b = 34 + -33. Let p be -2 + (9 - b)/4. Suppose -3*k + y + 191 = p, -2*k - 195 = -5*k + 3*y. Does 31 divide k?
False
Let l(h) = 13*h + 100. Is l(-5) a multiple of 17?
False
Let c(o) = -o**2 + 5*o + 2. Let q 