True
Suppose -12*s = -22*s + 8510. Does 74 divide s?
False
Let p(h) be the first derivative of -h**4/2 - 2*h**2 - 4. Let f(o) = 3*o**3 - o**2 + 4*o + 1. Let z(t) = -3*f(t) - 4*p(t). Is z(3) a multiple of 7?
False
Let k(o) = 23*o - 9. Let j(w) = w**3 + 4*w**2 - 12*w - 32. Let d be j(-5). Is 18 a factor of k(d)?
False
Suppose 7*m = 5*m + 92. Suppose 0 = 3*p - m - 230. Is 16 a factor of p?
False
Let w(q) = q**3 + 21*q**2 + 9*q - 24. Is w(-20) a multiple of 7?
True
Is 1/(24996/3570 + -7) a multiple of 12?
False
Suppose -17951 - 3406 = -7*h. Is h a multiple of 13?
False
Let f be -3*4/(-3) - -1. Suppose 0*x + 4*x = f*d - 157, -2*x = -3*d + 93. Does 16 divide d?
False
Suppose 70*s - 73*s - 5*o + 1791 = 0, -4*s + 2356 = -4*o. Does 5 divide s?
False
Suppose -567 = -c + 4*h - h, -2*c + 4*h + 1140 = 0. Is c a multiple of 8?
True
Let t be (-21)/(-6) + ((-6)/4 - -2). Is 23 a factor of (-10)/t*296/(-10)?
False
Suppose x - 3*w + 1 = -8, 2*w = 4*x + 36. Is 20/(-5)*x/12 + 65 a multiple of 9?
False
Suppose -53*g + 59*g - 480 = 0. Does 5 divide g?
True
Suppose 9*u - 13129 = -4633. Is 73 a factor of u?
False
Suppose 3*s + 32 = -4*h + 7*s, -12 = h - 2*s. Does 27 divide 39*(-2)/3*h?
False
Suppose -5*z + 472 = -1263. Is z a multiple of 15?
False
Let l(d) = 131*d - 630. Does 15 divide l(15)?
True
Suppose 109*b - 101*b = 3840. Is b a multiple of 12?
True
Suppose 5*d = 217 - 12. Let k = -21 + d. Suppose r - k = -2*n + 19, r + 3*n = 42. Does 13 divide r?
False
Does 72 divide -4 - (5 + 4 - 1556)?
False
Is 17 a factor of ((-570)/(-35))/(5/70)?
False
Let n = -552 - -1512. Does 24 divide n?
True
Suppose 5*r + 6 = 1. Let m(w) = 164*w**2 - 1. Let c be m(r). Let t = 244 - c. Is 27 a factor of t?
True
Suppose 0 = y + 4*y - 1140. Suppose y = -0*p + p. Does 12 divide p?
True
Suppose d = 5*x + 432, -4*x = 3*d - d - 878. Is 35 a factor of d?
False
Suppose 5*p - p + 24 = -4*g, -2*g + 18 = -p. Is 13 a factor of p/((-148)/(-52) - 3)?
True
Let l(i) = 4*i**2 - i - 2. Let p be l(2). Let u(m) = m + 11. Let s be u(-8). Suppose 3*z + 6 = 0, -5*a - s*z - p = -146. Is a a multiple of 14?
True
Let x(z) = -7*z - 6. Let w be x(-4). Suppose 2*v - w = 8. Does 4 divide v?
False
Suppose 0 = 3*j - 5*z + 22, -2*j - 3 = 4*z - 5*z. Let o be 2 - (-3 - (j - 2)). Suppose o*n - 72 - 64 = 0. Does 17 divide n?
True
Suppose -30 = -5*f - 5. Suppose 3*b - 40 = 4*d, -3*b + f*d = 2*b - 65. Does 4 divide b?
True
Suppose 0 = 2*p - 2*b - 296, 11*p - 10*p - 2*b - 151 = 0. Is p a multiple of 5?
True
Suppose 636 = -55*m + 56*m. Is m a multiple of 17?
False
Let g(f) = -4*f**2 + 3*f + 2. Let h be g(-2). Suppose 0*y - 190 = 5*y. Let m = h - y. Does 3 divide m?
True
Suppose 4*k - 3388 = 3*g - 8*g, 4230 = 5*k + 5*g. Is 27 a factor of k?
False
Let u(j) = -12*j - 45. Suppose o - 35 = 3*a + 6*o, 2*o + 2 = 0. Is 41 a factor of u(a)?
False
Let d(x) be the third derivative of 1/60*x**6 + x**2 + 0*x + 1/24*x**4 + 0 + 1/60*x**5 + 1/6*x**3. Does 23 divide d(2)?
True
Suppose 5*p = 29 - 14. Suppose p*v = v + 4. Suppose -3*r = -v*r - 11. Is 10 a factor of r?
False
Let c = 20 + -14. Suppose 2*h + 110 = c. Is (-528)/h - (-8)/(-52) a multiple of 10?
True
Let t(r) = -r**3 + 3*r**2 + 31*r + 7. Is t(-5) a multiple of 19?
False
Let x(w) = -w**2 + 31*w + 828. Does 69 divide x(0)?
True
Let p = 45 - 24. Let n be 6/p - (-158)/(-14). Let f = 9 - n. Is 10 a factor of f?
True
Let l = -1118 - -2018. Is 64 a factor of l?
False
Let x(z) = z**3 + 4*z**2 + 3*z - 2. Let l be x(-2). Suppose -9*s + 810 = -l*s. Is s a multiple of 9?
True
Let b(t) = 78*t + 154. Is b(18) a multiple of 19?
True
Let j = 529 + -213. Suppose j + 244 = 8*p. Is p a multiple of 7?
True
Let z = 29 + -17. Suppose z*a - 964 = 8*a. Does 43 divide a?
False
Suppose -6*a = 313 + 131. Let h = -55 - a. Is h a multiple of 19?
True
Let b(f) = f**2 + 3*f - 11. Let z be b(0). Is 14 a factor of ((-42)/(-9))/(z/(-33))?
True
Let o be 7/((-1)/(-5 - -2)). Let t = -14 + o. Suppose -k + t = -0*k. Is k a multiple of 4?
False
Let f = 7 - 18. Let l = f - -13. Suppose 108 = l*t + t. Is 18 a factor of t?
True
Let z = 87 + -141. Let d be z/(-4) + 9/6. Let g = 50 - d. Is 7 a factor of g?
True
Let w = 19 + -15. Let b(l) = 41 + 2 + w*l - 5*l + l**3. Is 16 a factor of b(0)?
False
Let t = 437 + -308. Let l = -76 + t. Is 5 a factor of l?
False
Is ((-48)/(-40))/(2*(-3)/(-1185)) a multiple of 22?
False
Suppose 364 = 2*p + 124. Suppose -27*s + p = -25*s. Does 10 divide s?
True
Let q(u) = u - 7. Let r be q(4). Let f be 1/(12/8)*r. Does 9 divide (-26)/f - (-3 - -4)?
False
Suppose 0 = -17*x + 22516 - 6587. Is x a multiple of 25?
False
Let j(a) = a**2. Let g(y) = -11*y**2 - 3*y - 1. Let k = -4 - 2. Let d(x) = k*j(x) - g(x). Is d(-2) a multiple of 5?
True
Let p = 116 + 108. Is p a multiple of 14?
True
Let r be 15/(-45) + 1/3. Let v be r/4*1/(-2). Suppose v = -7*b + 124 + 114. Is b a multiple of 6?
False
Let o = 1156 + -35. Does 90 divide o?
False
Let x(n) = 4*n - 7*n + n**2 - 3 + 10. Is x(3) a multiple of 6?
False
Let p(i) = 149*i + 39. Let z be p(5). Suppose 3*b - b = z. Is b a multiple of 28?
True
Let p = 13 - 11. Suppose -2*l + 2*d + 31 = 3*d, -2*l = -p*d - 46. Does 12 divide l?
False
Let p = -151 + 317. Suppose 0 = 5*o - 59 - p. Let n = o - 19. Does 13 divide n?
True
Let v be 0*(0 - -4)/(-4). Suppose -1480 = -9*k + 4*k + 3*a, 2*k - a = 592. Suppose -2*w = -q + w + 85, -4*q + w + k = v. Is q a multiple of 20?
False
Suppose 0*r + 3*n = 5*r - 8, 0 = -5*r + 2*n + 12. Suppose 4*h = -r*u - 28, -4*h - u - 10 = 12. Let z(f) = f**3 + 6*f**2 + 3*f + 7. Does 4 divide z(h)?
False
Is 33 a factor of (4 + 10588)/8 + -9?
False
Suppose -4*o + 3*x + 16 = -1, 5*x = -5*o + 65. Suppose 12*y = o*y. Suppose -2*i - i + 2*u = -76, -2*u - 10 = y. Is i a multiple of 3?
False
Let b = -82 - -250. Does 42 divide b?
True
Suppose 2*u = -5*u + 14. Suppose 0 = -4*z, 38 = a - u*z + 12. Is 26 a factor of a?
True
Let y(r) = -31*r**2 - 7*r - 3. Let u(f) = -f**2 - f. Let q(j) = 2*u(j) - y(j). Let x be q(-2). Let b = x - 32. Is 22 a factor of b?
False
Suppose 3*z - 5*r = 8, -3*r - 11 - 17 = 4*z. Does 7 divide 2 + 134/6 - z/6?
False
Suppose -19 = -4*n - 5*p, 3*n + 2*n + 5*p = 25. Suppose -n*q - 5 = -5*q. Does 22 divide 47 + 5/(q/3)?
True
Let l = -10 + 38. Suppose -32 - l = -g. Does 12 divide g?
True
Suppose -2*q = -6*q + 464. Let s = -57 + q. Is s a multiple of 14?
False
Let s = -113 + 213. Suppose 9*r = 4*r + s. Is r a multiple of 5?
True
Suppose f - 5*f + 944 = 4*z, 464 = 2*f + 4*z. Does 16 divide f?
True
Let h = -119 + 83. Let o = -106 + 19. Let i = h - o. Is 25 a factor of i?
False
Let r = -2 + 4. Let t be -98*r*(-4)/8. Suppose 2*l = 3*w + 31 + t, 2*w + 134 = 2*l. Is 19 a factor of l?
False
Let l(c) = c**2 + 32. Let u(y) be the second derivative of y**5/20 - 7*y**4/12 + 7*y**3/6 - 3*y**2 + 6*y. Let j be u(6). Does 32 divide l(j)?
True
Let o = -65 + 65. Let s(p) = -p**2 - 4*p + 7. Let f be s(-5). Suppose f*g - 7 + 1 = o. Is 2 a factor of g?
False
Let t(g) = -g**2 - 4*g + 8. Let d be t(-6). Let q(f) = 4*f - 10 - 6 + 15 - 8*f. Does 13 divide q(d)?
False
Suppose 4 = 3*i - 2*i. Suppose -i*u = -400 - 80. Does 17 divide u?
False
Suppose 2*b + 2*x - 5 = 3*x, 2*b - 2 = -2*x. Suppose -2*k - b*k = 5*n - 15, 4*k = -2*n + 6. Suppose 52 = 3*d + 4*p, 65 = n*d + 2*p + 21. Is 6 a factor of d?
True
Suppose -4*v + 2*n - 52 = 0, 5*v + n = -48 - 3. Let x(o) = o**3 + 11*o**2 - 9*o - 19. Is x(v) a multiple of 16?
True
Let d be (1 - 4)/(282/92 + -3). Let f(j) = 9*j**2 - j - 2. Let m be f(3). Let u = m + d. Is 10 a factor of u?
True
Suppose -3*a = a - 52. Let m(l) = l**2 - 16*l + 5. Let y be m(a). Is 10 a factor of (-4)/y - (-5088)/102?
True
Suppose 0 = 92*r - 93*r + 576. Does 12 divide r?
True
Let o = 736 + -657. Is o a multiple of 3?
False
Let w = -23 + 22. Let p be -1*(w - 12/2). Does 23 divide 3 + (4 - p) + 76?
False
Let t(j) = -j**3 - 5*j**2 - 5*j + 1. Let c be t(-4). Suppose 68 = 3*n - p, -5*n = -c*p - 0*p - 100. Is 8 a factor of n?
True
Does 67 divide (402*(-6)/(-54))/(6/9)?
True
Let v = -6 - -18. Suppose 4*i - 16 = v. Suppose -6*w + i*w = 20. Is w a multiple of 10?
True
Let y(q) = q**2 - 27 + 12*q + 2*q + 23 - 37. Is 16 a factor of y(-23)?
False
Let w = -31 + 111. Is w a multiple of 16?
True
Let a = -11 - -11. Let k be a/(0 - (-3)/3). Suppose k = f + m - 87, -3*f + 0*