True
Let f(q) = -2*q + 25. Let j be (-60)/140 + 76/14. Is f(j) a multiple of 4?
False
Let y(z) = 9*z - 162. Let h be y(16). Let c = 4 + 0. Is 147/c - h/(-24) a multiple of 14?
False
Suppose 0 = -5*r + u + 15, 2*r - 4*r - u + 13 = 0. Let b be (380/30)/(r/(-6)). Does 3 divide 1 + (-4 - b) - 0?
False
Suppose 32 = -4*z + 4*x, 2*z = -2*z - 4*x. Let d = 1 - z. Does 2 divide 16/10*d/2?
True
Suppose -6 = 3*p + 3, 0 = c + 4*p - 66. Is 26 a factor of c?
True
Does 152 divide 18852/15 + (-6)/(-30)?
False
Let q(h) = 8*h + 23. Let s(w) = -4*w - 12. Let z(x) = -3*q(x) - 5*s(x). Let o be (-27)/12*2*2. Is 22 a factor of z(o)?
False
Let o be (2/3)/(12/72). Suppose 0 = -3*m - 5*f + 211, -m + 0*m = -o*f - 76. Does 18 divide m?
True
Is 57 a factor of (-20)/(-3)*((-2904)/(-32) - 9)?
False
Let d(h) be the third derivative of h**4/4 + 7*h**3/3 - 29*h**2. Is 43 a factor of d(12)?
True
Is 2714/2*(-4 - -5) a multiple of 59?
True
Suppose -674 = 14*g - 2634. Is 10 a factor of g?
True
Let c = 12 + -14. Let j be (-2)/((1/c)/1). Suppose -j*w + 332 = -72. Does 23 divide w?
False
Let w(x) be the first derivative of 19*x**3/3 - x**2 - 4. Is w(2) a multiple of 8?
True
Let b = 514 - 228. Does 13 divide b?
True
Suppose 5*v - 41*s + 44*s = 1117, 0 = -4*v - 3*s + 896. Does 10 divide v?
False
Let b = 38 + -26. Let y = -3 + b. Is 6 a factor of y?
False
Suppose -2*k - 1 + 13 = z, -2*z + 3*k - 4 = 0. Suppose -2*x = z*a - 3*x - 3, 0 = a - x + 3. Suppose a*p = -0*p + 92. Is 23 a factor of p?
True
Let x = 8 + 4. Let a(d) = 18*d + 8. Let i be a(x). Suppose 4*q - 64 = -u, 3*u - 6*q - i = -2*q. Is 24 a factor of u?
True
Suppose 6*j - 8*j = -26. Let q(p) = p**2 - 4*p - 27. Is q(j) a multiple of 23?
False
Suppose 0 = -4*f - f + 2*x + 10, 0 = -3*f - 5*x - 25. Suppose 4*b = 2*b + 4*w + 26, f = 3*b - w - 34. Suppose -b*z + 12*z - 13 = 0. Is z a multiple of 3?
False
Let r(b) = b**2 + 20*b + 80. Does 6 divide r(-20)?
False
Let v = 12 + -9. Suppose -v*x - 76 = -x. Let h = x - -58. Is 4 a factor of h?
True
Suppose 0 = 5*f - 27 - 13. Let v = f - 5. Suppose -y - 5 = -o, -v*o - 4*y + 60 = o. Is 2 a factor of o?
True
Suppose -5*x + 3*x - 16 = 0. Let d = 0 + x. Let g(z) = -z + 8. Is g(d) a multiple of 8?
True
Let p = 90 - 45. Let l = p + -23. Is l a multiple of 22?
True
Suppose -3*c = -3*m + 22 + 8, 4*m + 5*c = 13. Let j = 10 - m. Suppose 60 = 2*z + j*z. Is z a multiple of 12?
True
Suppose -2*h - 110 - 36 = 0. Let k be 3 - (3 + -2 + -1). Does 12 divide h/(-2) + k/(-6)?
True
Let a be 4/(-20) + 1252/10. Let i be a/3 - (-30)/(-45). Suppose i = z + 5. Is 9 a factor of z?
True
Suppose 5 = r, 2*r + 584 + 148 = m. Is m a multiple of 12?
False
Suppose -114199 = -41*q + 65094. Is q a multiple of 69?
False
Let i(s) = -s**3 + 7*s**2 + 10*s + 3. Let o be i(5). Suppose -2*k - o = -3*k + 3*r, -403 = -4*k + 3*r. Is 20 a factor of k?
True
Let f(b) = -b + 16. Let w be f(13). Let z be (w + -1)*(-39)/(-26). Is (-1)/z - 140/(-6) a multiple of 15?
False
Suppose -4*b = 27 - 131. Let t = -24 + b. Suppose 0 = t*w + 3*w - 210. Is 14 a factor of w?
True
Let c(y) = -3*y**3 + 2*y**2 - 1. Let q be c(-3). Let o = -43 + q. Is 16 a factor of o?
False
Suppose -5*a + 8*u = 12*u - 2034, a + u = 407. Is 3 a factor of a?
False
Let n(l) = l**2 - 2*l + 52. Suppose 3*z = -z + 2*a - 6, -3*a = -3*z - 9. Let v be z/((0 - 5) + 1). Is n(v) a multiple of 14?
False
Let a(p) be the first derivative of -p**3/3 - 4*p**2 - 11*p - 12. Let t be a(-6). Is 48/56*(t - -20) a multiple of 5?
False
Is 21 a factor of (41 + -5 + 6)*(-207)/(-9)?
True
Let f(i) be the third derivative of 0 - 1/24*i**4 + 4/3*i**3 + 0*i - 11/60*i**5 - 1/120*i**6 - 2*i**2. Is 4 a factor of f(-11)?
False
Suppose j + 54 = z, -4*z = -9*z + 2*j + 270. Is z a multiple of 20?
False
Let k be (4/(-5))/((-8)/20). Suppose 0 = -4*p + 109 + 39. Suppose k*s - p = -5. Is 8 a factor of s?
True
Suppose 17*c - 14*c = 5*x + 416, 0 = 2*c - 3*x - 279. Does 7 divide c?
True
Let g(o) = -o**2 + 8. Let r be g(4). Is (4 + r)*1 + 21 a multiple of 13?
False
Is ((-9)/3 + 7 - -1) + 269 a multiple of 13?
False
Let a = -117 + 192. Does 10 divide ((-24)/(-18))/(-2*(-1)/a)?
True
Suppose -2*v - q + 11 = 0, -3*v - q + 21 = 2*q. Suppose v*f + 38 = 2*p, -3*p + 3*f + 37 = -p. Let n = 33 - p. Is 8 a factor of n?
True
Let o = 8 - 6. Let d be -1 + o - (2 + -4). Suppose -g = -5*r - 23, 0 = d*g - g - r - 19. Is 4 a factor of g?
True
Let q = -27 - -27. Is (-36)/(-8)*(q + 6) a multiple of 12?
False
Suppose -6*b + b = -5*t - 130, -3*b - 132 = 4*t. Let j = t + 80. Is 11 a factor of j?
False
Suppose 11*f - 2 = 20. Suppose 2*v + f*v - 792 = 0. Is v a multiple of 33?
True
Suppose 4*g = -3*p + 11 + 3, -4*g = p - 10. Suppose -2*o - 3*o = g*x - 340, 3*x + 51 = o. Suppose -2*f + b = 5*b - o, 2*f - 93 = 5*b. Is 18 a factor of f?
False
Suppose 5*d + 432 = 7*d. Is d a multiple of 27?
True
Let k(w) = -2*w - 27. Let z be k(-15). Suppose 4*d - 4*s = 5*d + 36, -272 = 5*d - z*s. Let i = d - -200. Is 37 a factor of i?
True
Let h(d) = -2*d**3 - 2*d**2 + d - 2. Let y be h(-2). Let k be (-289)/(-4) + y/(-16). Suppose -5*o = 5*t - 290, 3*o = 5*t - 202 - k. Does 21 divide t?
False
Let h(c) = c**3 + 2*c**2 + 7*c - 4. Let y be h(5). Suppose -21*w = -172 - y. Is w a multiple of 3?
True
Suppose -38*u = -5*u - 13926. Does 3 divide u?
False
Suppose -2*a - 5 = 1. Let i be 0*a/(-6) - -6. Suppose -3*g = -66 - i. Is g a multiple of 14?
False
Let z(p) be the first derivative of -p**3/3 - 3*p**2/2 + 13*p + 7. Let v be z(-7). Let o = -7 - v. Is o a multiple of 4?
True
Suppose -2600 = -2*z - 48*z. Suppose b + 2 = 21. Suppose 0 = -4*d - 2*i + 150, -5*i + z - b = d. Is 19 a factor of d?
True
Let q = 6657 - 3225. Is 143 a factor of q?
True
Let g = 1093 + -633. Is g a multiple of 11?
False
Let r = 498 + -285. Suppose -5*l - 5*c + 853 + 137 = 0, 0 = l - 2*c - r. Suppose 4*f + g - 162 - 61 = 0, -4*f - 5*g + l = 0. Is f a multiple of 20?
False
Let v(b) = 254*b**2 - 9*b - 14. Does 8 divide v(-2)?
False
Suppose -6*p + 5*s + 20 = -p, 2*s = 0. Suppose -p*n = t - 4, -t + 4*n + 24 = 3*n. Is 7 a factor of t?
False
Let f be (-1 - -10 - 1)/1. Is 3 - -2*164/f a multiple of 8?
False
Let t(i) be the first derivative of 9*i**2/2 - i - 4. Let k be t(3). Suppose 0 = -6*d + 5*d + k. Is d a multiple of 15?
False
Let t = -457 + 679. Does 26 divide t?
False
Let l(p) = 5*p - 28. Let y be l(-4). Let m(u) = u**2 - 6*u - 6. Let g be m(6). Is 3 a factor of y/40*20/g?
False
Let z(j) be the first derivative of j**2/2 + 1. Let q be z(5). Suppose 23 = -5*k + 5*x + 83, -3*k - q*x = -60. Is 5 a factor of k?
True
Let v(t) = -13*t. Suppose -p - 35 = -8*p. Suppose -q - 6 = p*q. Is 10 a factor of v(q)?
False
Suppose 2*j + 90 = -5*z, -3*z - z + 180 = -4*j. Is 5 a factor of (-8)/(-12)*j/(-2)?
True
Let f = 563 + 749. Does 16 divide f?
True
Let b(r) = -12*r**3 + 2*r**2 - r - 4. Suppose 11 = -4*t + 3. Let o be b(t). Suppose -p + o = -l, -6 = -2*l + 5*l. Is 20 a factor of p?
True
Suppose -5904 = -8*i + 4168. Is 49 a factor of i?
False
Suppose 5*u + 3*x + 613 = 0, 5*x = 5 + 15. Let z = u + 269. Suppose -10*n = -7*n - z. Is n a multiple of 8?
True
Suppose -3*v = 4*z - 2905, 6*v - 2930 = 3*v + z. Is 15 a factor of v?
True
Let z(v) = v**2 + 13*v - 21. Let m be z(-15). Let f be ((-6)/m)/(2/(-6)). Is 20/5 + 190/f a multiple of 11?
True
Let f = -168 - -337. Does 13 divide f?
True
Suppose 4*h - 3*l - 9 = 17, 5*h - 15 = -5*l. Let z be ((-94)/6)/(1/(-3)). Suppose z + 73 = h*g. Is g a multiple of 24?
True
Suppose h - 1 = 1. Suppose j - h*j + 3 = 0. Does 14 divide 67/j - (-5)/(-15)?
False
Is ((-1617)/(-7))/(6/16) a multiple of 56?
True
Let f = 464 + 1082. Does 17 divide f?
False
Let k = 90 + -2. Let t = k - -20. Is t a multiple of 10?
False
Let x be ((-6)/4 + 2)*-6. Let k(o) be the second derivative of -4*o**3/3 - o**2 + 5*o. Is k(x) a multiple of 11?
True
Suppose -q + 7 + 23 = 4*t, 3*t = -3*q + 54. Suppose 0 = p - q - 182. Is p a multiple of 44?
False
Suppose -2*f = 28 + 36. Let y = -248 - -252. Let k = y - f. Does 12 divide k?
True
Suppose q - 2*q + x = 32, -3*x = -2*q - 63. Let h = 75 + q. Is h a multiple of 35?
False
Suppose s - 154 = 29*w - 34*w, -4*s + 4*w = -568. Is 5 a factor of s?
False
Let q be (1 + 2)*(-3 + 12). Let f be 2*1 + -10 + -9. Let n = q + f. Is n a multiple of 10?
True
Suppose -54 - 72 = -z. Is 9 a fa