-14). Suppose -3*r = -q*w - 65, -2*w = -5*r + 123 + 17. Is 10 a factor of r?
True
Let l(v) = -2*v**2 + 15*v - 25. Let h be l(5). Suppose 2*o + 3*b - 5*b = 68, 2*b = 4*o - 146. Suppose 0 = -3*f - h*f + o. Is f a multiple of 7?
False
Suppose -19*z + 1132 = -15*z. Is 16 a factor of z?
False
Suppose 0*o + 123 = 3*o. Suppose -2*z + o = -73. Suppose -3*t = -2*m - z, 4*t - 131 + 50 = m. Does 21 divide t?
True
Is (-3)/(45/(-10)) + (-330)/(-18) a multiple of 4?
False
Suppose 4*j - 86 = 2*a, 25 = -0*a - 5*a. Let n = 19 + j. Is n a multiple of 5?
False
Suppose 5*v - 51 = -336. Let h = -30 - v. Is h a multiple of 7?
False
Suppose -4*b = -3*a - 864, -136*b + 426 = -134*b - 3*a. Does 4 divide b?
False
Suppose 13 - 13 = 9*j. Suppose 3*u + 5*q - 223 = 0, -150 = -j*u - 2*u - 3*q. Is 40 a factor of u?
False
Let b(i) = i - 2. Let p be b(0). Let t(g) be the second derivative of -19*g**3/6 - g**2 - 68*g. Does 6 divide t(p)?
True
Let x = 241 - 65. Does 22 divide x?
True
Let j be (-1)/2 - (-1)/(-2). Suppose 0 = 240*w - 251*w + 11. Is 2 a factor of (w - -2) + 0 - j?
True
Let u(o) = -2*o**3 - 7*o**2 + 9*o + 9. Does 15 divide u(-6)?
True
Let y = -214 + 700. Does 18 divide y?
True
Let o = -4 + 7. Suppose o*p = 2*m - 0*p - 68, -3*m = -3*p - 105. Let q = m - 19. Is q a multiple of 7?
False
Let u(r) = 12*r**3 + 13*r**2 - 19*r - 3. Is u(2) a multiple of 4?
False
Let u = -46 + 59. Suppose -u - 23 = -2*l. Is 5 a factor of l?
False
Suppose 0 = 5*y + 4*b - 1416, -1112 = y - 5*y + 2*b. Let o = y + -142. Is o a multiple of 24?
False
Let y(t) be the third derivative of -13*t**6/40 + t**4/24 + 11*t**2. Is 9 a factor of y(-1)?
False
Let h(j) be the first derivative of j**4/4 + 8*j**3/3 - j**2 - 8*j + 1. Let d be h(-7). Let g = 107 - d. Is 18 a factor of g?
False
Suppose t + 40 = 3*t. Let j = 17 + t. Does 13 divide j?
False
Let l = -261 + 378. Is l even?
False
Let d(r) = r**3 - 19*r**2 + 5*r - 6. Let w be d(19). Let o = w - 63. Is o a multiple of 13?
True
Suppose 0 = -h + 3*h + f - 325, -5*f = 15. Does 41 divide h?
True
Suppose 0 = -f - 2*s + 4*s, 2*f - 3*s - 2 = 0. Suppose -f*r = 111 - 627. Does 19 divide r?
False
Let t(p) = p - 4. Let h = 7 - 0. Let o be t(h). Does 24 divide (9/6)/o*48?
True
Let z(y) = -51*y**2 + 384*y + 7. Is 97 a factor of z(6)?
False
Is 3 a factor of -3*(-16)/(-12) - -273?
False
Let j = -31 - -86. Let b = 3 + 0. Is (0 - b) + 4 + j a multiple of 15?
False
Suppose 5*a - 4*a = 2. Let f(v) = 2*v**2 + 7*v + 4*v**2 + 0 + 5 - 3*v**a. Is f(-5) a multiple of 11?
False
Let n(j) = -2*j + 1. Let f be n(-4). Let b = -9 + f. Suppose 5*w - 64 + 19 = b. Is 9 a factor of w?
True
Let z(k) = -k**2 - 30*k - 30. Let i(u) = 6*u + 24. Let c be i(-8). Is 16 a factor of z(c)?
False
Is -14*(-3 - 2/((-4)/(-81))) a multiple of 34?
False
Let z = 22 + -20. Let y(r) = 21 + z*r**2 - 9*r**2 - 5*r**2 + r**2 + 8*r - r**3. Does 25 divide y(-12)?
False
Let s(v) = -4*v + 4*v + 7*v + v**2 - 10*v**2 + 11 + v**3. Let p be s(8). Let u(a) = 8*a + 4. Does 14 divide u(p)?
True
Let j(g) = 45*g + 14. Does 4 divide j(6)?
True
Is 4 a factor of -9*((-448)/(-24))/(-1)?
True
Let q(k) = 2*k**3 - 38*k**2 + 35*k + 46. Does 119 divide q(22)?
False
Let l(i) = -7*i + 287. Is l(29) a multiple of 23?
False
Let v(i) = -i**2 - 1. Let w(p) = p**2 + p**2 + 3 - 1 - 2*p - 7*p. Let q(x) = v(x) + w(x). Is q(11) a multiple of 17?
False
Let h(u) = 12 - 13*u - 11*u**2 - u**3 - 6*u**2 + 0*u**3 + 3*u**2. Let p be 6/8 + (-55)/4. Is h(p) a multiple of 9?
False
Let u be 2*1021 - (-4 - -1). Suppose 0 = -2*t - 3*t + u. Suppose -4*p = 125 - t. Is 27 a factor of p?
False
Suppose -9*o + 6*o + 69 = 0. Let h = o + -22. Does 16 divide 32 + (2 - h)*-3?
False
Suppose -15 = -5*f + 35. Let a = f - -46. Does 20 divide a?
False
Suppose -j + 1121 = 4*y, 0 + 1 = j. Is y a multiple of 10?
True
Let v(h) = h**2 - 2*h - 5. Let s(u) = u**2 + 15*u + 17. Let o be s(-14). Let j be v(o). Is 15 a factor of (-2 - -20) + (-6)/j?
False
Suppose 0 = 2*c + 3*m - 2665, 4*c - 3171 - 2114 = 3*m. Does 25 divide c?
True
Let m be 9/(-54) - (-230)/12. Suppose -2*n - 45 = 3*g, -n = 5*g + m - 0. Does 3 divide 8/3*n/(-16)?
False
Suppose i = -2*i + 3*j + 117, -5*i + 2*j = -201. Let b = i + 16. Does 16 divide b?
False
Suppose -1336 = -5*c - 0*u - 2*u, -4*u = 2*c - 544. Suppose 3*x = -2*y + 213, 261 + c = 5*y + 2*x. Is y a multiple of 12?
False
Suppose 0*c + c + 5*z = -16, -c - 4*z = 12. Suppose 2*u = 2 + 6. Suppose c*l + 0*y = -4*y + 64, l - u*y - 1 = 0. Is 6 a factor of l?
False
Suppose -2185 = -b + 4*u + 1768, 4*b = 4*u + 15860. Is 81 a factor of b?
True
Let x = 148 - 148. Suppose 5*j + 3*m - 1662 = x, -974 = j - 4*j + 4*m. Is j a multiple of 61?
False
Suppose -3*q - 5*i = -2*q + 6, -24 = 4*q + 4*i. Does 43 divide q/(-1)*(-259)/(-21)?
False
Let h(y) = -9 + 1 - 11*y + y**3 - 14 + 4 + 12*y**2. Is h(-12) a multiple of 19?
True
Let l(p) = 6*p**2 - 139*p - 45. Is l(31) a multiple of 30?
False
Suppose 11*f = 9*f + 532. Suppose -3*q + f = 2*d, -3*d = 5*q - 7*d - 436. Is 16 a factor of q?
False
Suppose 14*i = 8*i + 234. Is 10 a factor of i?
False
Let k be (-2)/(-1) - (1 - 3). Suppose -k*d + 125 + 43 = 0. Does 25 divide d - -2 - 3 - -3?
False
Suppose -50 = 7*o - 2*o - 5*w, 4*o + 40 = -4*w. Does 8 divide o/(45/150*10/(-24))?
True
Let m(x) = -x + 21. Let d be m(0). Suppose 4*n - 4*f = 36, 3*n + f = 6*f + d. Is 3 a factor of ((-27)/n)/(9/(-24))?
True
Suppose -1135*h + 1816 = -1127*h. Does 34 divide h?
False
Let x be (3 + 3)/((-12)/(-8)). Suppose -6*g + 3*b = -g + 9, 0 = x*g + 5*b - 15. Suppose 4*t - 25 = -3*a, -t + g*a = 3*a + 5. Does 6 divide t?
False
Let r be (-330)/(-114) + (-6)/(-57). Suppose 9*x - 984 = -r*x. Is x a multiple of 30?
False
Suppose 0 = 5*g - 2*v - 1171, 2*g - 3*v - 575 = -111. Does 33 divide g?
False
Let o(z) = -2*z**3 + 75*z**2 - 7*z - 54. Is o(37) a multiple of 12?
True
Suppose 4*u - 6903 + 919 = 0. Is u a multiple of 44?
True
Is 33 a factor of (1 - -387)*(-99)/(-288)*8?
False
Let f(o) = 2*o - 3. Suppose 4*u - 2*y = -14 + 46, -2*u + 2*y + 18 = 0. Is f(u) a multiple of 11?
True
Suppose -4*g - 53*x + 2220 = -57*x, 3*g + 4*x - 1637 = 0. Is 19 a factor of g?
True
Let u(b) be the third derivative of 4*b**7/315 + b**6/360 - b**5/120 - b**4/24 - b**2. Let q(m) be the second derivative of u(m). Is 11 a factor of q(1)?
True
Let x = 17 + -63. Let a be (5 + -7)*(1 - -47). Let c = x - a. Is 13 a factor of c?
False
Let z(u) = u**2 - 2*u + 8. Let t be z(0). Does 28 divide (66 - -2)/(t/36*3)?
False
Let u(s) = -s**3 - 7*s**2 - 7*s - 7. Suppose 0 = 2*f - 4*r + 8 - 2, -f + 3*r - 8 = 0. Suppose 3*v - f = 4*v. Does 26 divide u(v)?
False
Suppose 2*c + 4*o = -33 + 113, 0 = 2*c + 5*o - 80. Suppose -15 + c = w. Let k = w + -14. Is 5 a factor of k?
False
Let h = -10 - -10. Suppose h*o + 3*o = 237. Let t = 114 - o. Does 7 divide t?
True
Let i = -500 + 640. Is 4 a factor of i?
True
Let q(x) = -42*x - 61. Is 30 a factor of q(-20)?
False
Let n(p) = p**3 + 3*p + 22. Let j be n(0). Is j/10 + (-5)/50*2 even?
True
Let y = -110 + 438. Does 10 divide y?
False
Let i(j) = -j**3 + 12*j**2 - 11*j + 6. Let k be i(11). Is 5 a factor of k/(-16) + (-2)/32*-1526?
True
Suppose 2*o = -2*b - 22, 0*o + 67 = -5*b + o. Is 3 a factor of -3 - b - (1 + 1)?
False
Let m be -8*(-3)/(-6)*-6. Suppose -d + 0*d = -5*o - m, -2*o = -3*d + 137. Is d a multiple of 4?
False
Suppose -15 = 3*u, 3*u = -5*s + 373 + 1502. Is s a multiple of 14?
True
Suppose 0 = -11*s + 9*s + 42. Let n = -21 + s. Suppose n = -r + 10 + 33. Is 7 a factor of r?
False
Suppose -z + 2 + 3 = -5*m, z = 2*m - 4. Let b = z - -37. Suppose -2*t = -t - b. Is 27 a factor of t?
True
Suppose 0 = 8*s - 6*s - 140. Suppose c - 78 = -2*w, -w + s = w - 3*c. Is 7 a factor of w?
False
Suppose -3*y = -4*y - 10. Let z(a) = -a**3 - 11*a**2 - 9*a + 6. Let r be z(y). Is 11 a factor of (-8)/(-16) + (-194)/r?
False
Let z be (-11)/(-9) - (-4)/(-18). Let b be 5 + -16 + 6 + 4. Does 24 divide b + 50/z - -2?
False
Let j(i) = -28*i - 23. Let w be j(-10). Let r be (-18 + -2)*(-1)/4. Suppose 9*k + r = w. Is 13 a factor of k?
False
Let f = -30 - -38. Is (-5)/(-4)*(f + 48) a multiple of 11?
False
Let x = -116 + 220. Let c = 150 - x. Does 4 divide c?
False
Suppose -i + 272 = -58. Suppose 2*l = -l + i. Does 37 divide l?
False
Let s = -152 + 234. Suppose -o - 5*n + 0*n = -52, 2*o - n = s. Is 