4/(-14)))/(2/12). Suppose 57 = -n + 3*z, -n + z = -z + 55. Let y = a - n. Is y a multiple of 10?
True
Suppose -5*i = -3*w - 93 + 454, -5*w + 4*i = -619. Let v = w - 20. Is 39 a factor of v?
False
Let t(h) = 2*h**2 - 3*h + 3. Let b be t(2). Suppose 2*y - b*x = -2*y + 43, x = -3. Suppose 3*f + 2*z - 257 = y*z, 99 = f - 5*z. Is 26 a factor of f?
False
Suppose 19*x = 17*x - 14. Let r(m) = 0*m**2 - m + 0*m + m**3 + 8*m**2. Does 28 divide r(x)?
True
Let y(c) = -5*c - c**3 + 0*c**2 + c**2 - 8 + 2*c**3 + 6*c**2. Does 27 divide y(-7)?
True
Let v(d) = d + 4. Suppose 0 = -z + 3*p + 17, 8 = 3*z - 3*p - 37. Let a = z + -8. Is 10 a factor of v(a)?
True
Is 49 a factor of (-35)/(2 - (-456)/(-224))?
True
Let c = -58 + 69. Is c a multiple of 4?
False
Suppose 3 = f - 9. Let b = f - 9. Suppose 0 = -4*w + b*w + 38. Does 11 divide w?
False
Suppose 0 = 2*n - 4*i - 2203 - 2733, 2454 = n + 5*i. Is 14 a factor of n?
True
Let b(w) = -9*w - 13. Let t be b(-2). Suppose -15*d + 2700 = -t*d. Is 45 a factor of d?
True
Suppose 2*n + 10 = 2*q, -3*n - 45 = -5*q - 2*n. Suppose -q = -10*j + 5*j. Suppose j*v - 4 = 12. Does 4 divide v?
True
Suppose 5*u = p + 1076, 10*u - 2*p - 1072 = 5*u. Is 18 a factor of u?
True
Suppose 5*w - 3*l + 2*l = 15, 0 = -2*w + 2*l - 2. Suppose w*k - 4 = 2*k. Suppose -3 - k = -p. Is p a multiple of 5?
True
Suppose 0 = 5*y - 2*q - 3883 - 2571, 0 = 2*y - 5*q - 2569. Is y a multiple of 17?
True
Let k(c) = 3*c + 32. Let d be k(-10). Is 9 a factor of (4/4)/(d/118)?
False
Suppose -34 = -w + 18. Suppose n = z - 50 - w, 0 = 4*z + n - 408. Is 13 a factor of z?
False
Let z(o) = o**2 + 9*o - 37. Let n be z(-14). Suppose 4*a - n = 3. Is a a multiple of 9?
True
Let r(s) be the second derivative of s**5/20 - 5*s**4/12 - 5*s**3/6 - 4*s**2 - 8*s. Let x be r(6). Does 13 divide (x + 41)/(-1 + 2)?
True
Let y(s) = s**2 - 6*s + 5. Let r be y(5). Suppose r = 6*a - 12*a + 1110. Is 14 a factor of a?
False
Suppose -4*p = -5*k - 153, -3*p + 0*p + 4*k + 114 = 0. Let t = -120 + p. Is (t/9)/((-4)/6) a multiple of 5?
False
Let p = -152 + 227. Suppose 5*x = 3*x - 3*s + p, 3*x - 75 = 3*s. Is x a multiple of 30?
True
Suppose 888 = 2*d + 2*w, -4*d - 3*w + 0*w + 1772 = 0. Does 10 divide d?
True
Let f(p) = -p**3 - 10*p**2 + 5*p - 5. Let d(h) = -h**2 - 10*h + 28. Let m be d(-13). Does 10 divide f(m)?
False
Let k = 15018 - 9403. Is k a multiple of 22?
False
Let y(c) = 5*c**3 + c - 1. Let h be y(1). Suppose -h*a = w - 7, a - 3*w = -4*a + 19. Suppose a*f + 3*f = 80. Does 8 divide f?
True
Let c(r) = 3*r**2 + 14*r + 12. Is 6 a factor of c(-12)?
True
Let n(c) = -3*c**3. Let y be n(-1). Suppose -y*i - 404 = -4*u, 0*u + 505 = 5*u - 4*i. Is 37 a factor of u?
False
Suppose 0 - 8 = -2*g. Suppose g*j - 5*o + 4*o = 635, 0 = -5*j - 5*o + 825. Is 32 a factor of j?
True
Let i(a) = 8*a**3 + a**2 - a. Let d be i(1). Let c = -6 + d. Suppose b - 37 = 2*v, 5*b - c*v = 3*b + 76. Does 13 divide b?
True
Let z(h) = 2*h - 4. Let a be z(6). Suppose a = 4*n - 72. Does 4 divide n?
True
Suppose 8*w - 6*w - 144 = -y, 5*w + 2*y = 360. Is w a multiple of 4?
True
Suppose 5*y - 2*t = 2510, -1028 = -2*y - 5*t + t. Does 8 divide y?
True
Suppose -w = -28 + 3. Suppose -4 = -0*s + s + 5*q, w = -5*q. Does 8 divide s?
False
Let l(b) = -7*b - 28. Let f be l(-3). Let s(u) = u**3 + 7*u**2 - 7*u - 16. Is 6 a factor of s(f)?
False
Suppose -4*i + 3596 = 2*b, -6*i - 5*b = -2*i - 3602. Is 4 a factor of i?
False
Let p(b) = 6*b + 26. Let x be p(8). Let v = 289 + x. Is v a multiple of 39?
False
Let f = 11 - 1. Let y(l) = l**2 - 6*l + 2. Let k be y(f). Does 21 divide k/10*(-5)/(-1)?
True
Let k = 23 + -20. Suppose -i + 67 = -k. Is 14 a factor of i?
True
Does 20 divide (9 - -1130) + 3 - 2?
True
Is 17 a factor of (-144040)/(-39) + 0 - 5/(-3)?
False
Let z = 1168 + -752. Is 16 a factor of z?
True
Suppose -19 = -3*s - 4. Suppose s*m - 4*g + 22 = 0, 3*g - 1 = -2*m + 4. Does 21 divide (-10)/15*249/m?
False
Suppose 2*h + s = 2665, 3992 = 64*h - 61*h - 4*s. Is h a multiple of 12?
True
Suppose 2*u = -2 + 6. Let k be (12/30)/(u/150). Let t = 54 - k. Is 6 a factor of t?
True
Let c(o) = 38*o - 24. Is 10 a factor of c(6)?
False
Suppose -5*h = 4*a - 839, -4*a = 4*h - 7*a - 665. Is 19 a factor of h?
False
Let a(z) = 7*z**2 + z - 5. Let x(f) = 4*f + 34. Let k be x(-8). Is a(k) a multiple of 2?
False
Let w(h) = h**2 + h + 4. Let x be w(-3). Let c = x - 10. Suppose c = -12*v + 14*v - 48. Does 8 divide v?
True
Suppose 6*t + 2515 = 11*t. Let c = -323 + t. Does 36 divide c?
True
Suppose -3*q + 2*q + 148 = 3*a, -5*a = q - 138. Is 21 a factor of q?
False
Suppose 5*c - 70 = 5*b, 0*c + 2*c = -2. Let z = 14 + b. Let m(t) = -51*t**3 - 2*t**2 + 1. Does 7 divide m(z)?
False
Suppose 16*u - 8038 + 6 = 0. Does 9 divide u?
False
Let p = -88 - -51. Let m be 2/(3*(-4)/(-366)). Let r = m + p. Does 9 divide r?
False
Let w be (-10)/(-1 - (3 + -2)). Let r = 8 - 6. Suppose -2*y + r*u = -w*y + 21, 0 = 2*u. Does 7 divide y?
True
Suppose i - 58 = 3*i. Let x = 0 - i. Suppose 92 = -28*f + x*f. Does 23 divide f?
True
Is 38 a factor of (43 + -2)*(16 + 22)?
True
Let v = -97 + 102. Suppose 336 = 9*t - v*t. Does 5 divide t?
False
Is -124*(13/(-52) - 9/2) a multiple of 19?
True
Let x(f) = f**3 - 7*f**2 - 5*f - 1. Let b = 20 - 12. Does 6 divide x(b)?
False
Suppose -5*i - 5*w = -18925, -10*w = -11*w + 5. Does 84 divide i?
True
Let u be 2/(3/2*(-2)/(-372)). Let d = 380 - u. Is 22 a factor of d?
True
Suppose -2*z = 8, -5*j + 0*z + 41 = -4*z. Suppose -d = j*s - 554, -5*s + 3*d - 8*d = -570. Does 19 divide s?
False
Suppose 0 = 4*p - y + 43, -y + 18 = -2*p + 3*y. Let g = p + 14. Suppose -96 = -g*x + 48. Is 16 a factor of x?
True
Let u = 82 - 41. Let v = u - -63. Does 8 divide v?
True
Suppose 8*g + 100 = 5*a + 4*g, 4*a - 39 = -5*g. Is 3 a factor of a?
False
Let v = -537 + 825. Does 18 divide v?
True
Let i(y) = y + 192. Let w be i(0). Suppose 4*c - 2*c = w. Is c a multiple of 16?
True
Let h(t) = 2*t**2 - 6*t + 4. Let c = -2 - -1. Let f = 7 + c. Does 6 divide h(f)?
False
Let x = 1773 + -1421. Does 8 divide x?
True
Let d = 15 + -18. Let n be (-5 - d) + 69*2. Suppose -4*w = -5*i + n, 0 = -10*i + 5*i - 3*w + 108. Is 8 a factor of i?
True
Suppose -2197 - 253 = -5*w + 2*s, 4*w - 3*s = 1953. Is w a multiple of 4?
True
Let s = 11 - 5. Let m be s + (-6)/(-2) + -1. Suppose x - m = -r, 4*x = r + 3*r + 32. Does 2 divide x?
True
Let t(d) = 100*d**2 - 13*d + 2. Let u(b) = 50*b**2 - 7*b + 1. Let j(n) = 6*t(n) - 11*u(n). Is j(1) a multiple of 10?
True
Let c be 13 + -7 + 1*-1. Suppose -c*a - 18 = -3*a. Is 20 a factor of (-6)/9 + (-186)/a?
True
Suppose -53 = 3*s - 4*b, -3*s + 0*b - 47 = -b. Let o = s + 20. Suppose z + 64 = 5*z - 4*a, a = -o*z + 92. Is z a multiple of 5?
False
Suppose 9*a + 136 = 5*a. Let d = -13 - a. Is 2 a factor of d?
False
Let x(h) = 21*h**2 + 8*h + 7. Is 42 a factor of x(7)?
True
Let b(w) = w**2 + 3*w - 10. Let k be b(-7). Does 39 divide (-2)/9 + 1246/k?
False
Let p(w) be the first derivative of 4*w**3/3 - 9*w**2 + 13*w - 21. Is p(9) a multiple of 25?
True
Let k(q) be the third derivative of q**4/6 + q**3/6 - 2*q**2. Let h be k(-1). Is (-4 - h)/(1/(-23)) a multiple of 16?
False
Suppose -2*i + 5*i - 24 = -4*d, 0 = 5*i. Does 3 divide 170/15 - (-4)/d?
True
Let a be 2 + -5 + (-18)/(-6). Suppose 4*n = 3*k + 41 + 7, -n + 2*k + 12 = a. Does 10 divide n?
False
Is 35955/(-102)*4/(-5) a multiple of 47?
True
Let r be (-6)/2 + 1 - -37. Suppose 5*w = 2*s - r, 3*s - 75 = -s + 5*w. Suppose 0 = 2*h - s. Is 3 a factor of h?
False
Let w = 11 + -44. Let y = w + 73. Is 5 a factor of y?
True
Let r(k) = -13*k + 3. Let p be r(4). Let m(w) = w**3 + 5*w**2 - 8*w + 14. Let l be m(-7). Let v = l - p. Is 14 a factor of v?
False
Suppose -5*n + 0*n + 175 = 0. Does 29 divide (n/(-10))/(1/(-58))?
True
Let d = 48 - 48. Suppose 3*t - 2*t + 4*s - 98 = d, 0 = -5*t + 4*s + 586. Is t a multiple of 19?
True
Does 15 divide 150*-3*(-22)/165?
True
Let z = -111 + 246. Is z a multiple of 39?
False
Let x = -15 + 36. Does 10 divide x?
False
Suppose 27 = -4*g + 3. Is 3 a factor of (g/(-10))/(2/10)?
True
Let c(x) = 2*x**3 - 2*x**2 + 4*x - 3. Let w be c(3). Suppose -43*l - 172 = -w*l. Is l a multiple of 15?
False
Suppose f = -2*t - t + 1, -2*t = -4*f - 24. Suppose -p - t*p = -288. Is p a multiple of 15?
False
Let a be (6 + -10)*(1 + -8). Suppose