- 2*q - 3. Let a be j(-3). Does 10 divide s/39 - a/39?
True
Suppose 6 = 3*o - 0. Let u be o/(-5) + (-348)/30. Does 12 divide (-3)/(u/100) - 0?
False
Let f(x) = -83*x + 1. Let v be f(-4). Suppose 5*c - v = -68. Is c a multiple of 10?
False
Does 73 divide 10425/6 - 2/(-4)?
False
Let k = -42 + 161. Is k a multiple of 17?
True
Suppose -4*j + 4*p = -188, 3*j + 3*p - 8*p - 147 = 0. Is 11 a factor of j?
True
Suppose 184 = 5*d - 41. Suppose -4*o - o + d = 5*c, -7 = o - 3*c. Does 5 divide o?
True
Suppose 0 = -5*s - h - 6, -3*h - 4 = s - 0. Let y be 0/8 - s/(-1). Is y*74/6*-3 a multiple of 22?
False
Let c be 9/12 + 1431/12. Suppose 56 = -4*t + c. Is t a multiple of 8?
True
Let v be 2/(-13) + (-154590)/(-130). Suppose -5*c + 606 = -v. Does 47 divide c?
False
Let n(r) be the second derivative of -r**5/10 + r**4/6 - r**3 + 2*r**2 - 5*r. Let v be n(-5). Suppose -6*w = x - 2*w - 80, 5*x = 2*w + v. Does 21 divide x?
False
Let d(c) = 3*c - 11. Let r be d(13). Is 331/7 + (-8)/r a multiple of 14?
False
Let u(d) = d**2 - 3*d + 20. Let r be u(20). Suppose 10*w = r + 270. Is w a multiple of 7?
True
Suppose 9*a + 5*u + 475 = 10*a, 0 = -4*a + u + 1957. Does 14 divide a?
True
Suppose l + 1 = -x, -l + 2*x + 2 = -0*x. Suppose -5*s = -f - 71, -s - 4*f + 6 + 25 = l. Let p = 0 + s. Is p a multiple of 2?
False
Is ((-174)/(-8))/(3/28) a multiple of 2?
False
Suppose -14*x - 257 = -1461. Is x a multiple of 9?
False
Let a(v) = -v**3 + 6*v**2 + 7*v - 8. Let o be a(7). Is (-2)/(o/12) + 7 a multiple of 5?
True
Suppose 4*q = -528 + 896. Does 9 divide q?
False
Let j(r) = 101*r + 4. Let l be j(4). Suppose 0*w = 4*w - l. Is w a multiple of 31?
False
Let d = 17 + -16. Is 15 a factor of 19 + d - (6 + -2)?
False
Suppose 6*l + 4*l - 20 = 0. Is 352/14 + (6/l)/(-21) a multiple of 25?
True
Suppose -554 = -j - 2*u, -3*j + 5*u + 613 + 1082 = 0. Does 14 divide j?
True
Suppose 5*z + 3*g - 177 = 0, -4*z + 4*g + 73 = -75. Suppose -1 - z = -c. Is 10 a factor of c?
False
Suppose -8*s = -11*s. Suppose 150 = 6*a - s*a. Is 5 a factor of a?
True
Let n(f) = f**2 - 1. Let r = 11 + -9. Let a be n(r). Let s = 1 + a. Is s even?
True
Is 21 a factor of 8/6*-1 + 1772/6?
True
Let j = 81 + -33. Let g(b) = b**3 - 6*b**2 - 9*b + 22. Let a be g(3). Let t = a + j. Is 5 a factor of t?
False
Suppose 4*j - 853 = 979. Is 7 a factor of j?
False
Suppose -5*q = -5*r - 2*q + 20, 0 = -5*q. Suppose 0 = -r*f + 3*l - 99 + 458, 4*f - 339 = -l. Does 19 divide f?
False
Is 40 a factor of 799 - -2*(-4)/(-8)?
True
Suppose 54 = 3*f - 4*h, -h - 17 = -f - 0*f. Suppose -17*r + 42 = -f*r. Is 14 a factor of r?
True
Let w = 22 + -6. Does 6 divide w - (-4 + 8)*(-4)/8?
True
Let h be (-8)/60 + (-2559)/45. Let m = h + 100. Does 5 divide m?
False
Let k(u) = -21*u + 15. Let t(x) = -x**3 + 7*x**2 - 3*x + 17. Let i be t(7). Is k(i) a multiple of 40?
False
Let m be 1/2 + 21/(-6). Is 3 a factor of ((-2)/4 + m + 2)*-10?
True
Let w = 13 + -11. Suppose 2*p = -3*a - 9, -2*p - w - 2 = 2*a. Is (-1)/p - 114/(-18) a multiple of 2?
True
Let m = -845 + 1611. Does 7 divide m?
False
Suppose -2*p + 25*r + 756 = 30*r, -4*r = -3*p + 1088. Is p a multiple of 12?
False
Suppose 0 = -4*m + 4 - 0. Let a be m/((-4)/(-12 + 4)). Suppose 2*z = -3*i + 130, -5*z - 5*i + 334 = -a*i. Is 34 a factor of z?
True
Let y be ((-10)/(-8) - (-3)/4) + 1. Suppose -2*m + 5*f = -62 - y, 3*m - 2*f - 114 = 0. Is 5 a factor of m?
True
Let m = 379 + -181. Does 11 divide m?
True
Suppose 912 = 8*d + 4*d. Does 31 divide d?
False
Let l be ((-2)/4 + 0)*0. Suppose -4*y + 14*y = 20. Suppose l = -0*t - y*t + 60. Is t a multiple of 15?
True
Suppose -2*b = b - 6. Suppose 5*r + 30 = 5*u, 4*u - 2*r - 2 - 12 = 0. Is (-140)/(-14) - (u - b) a multiple of 5?
False
Suppose 4*y + y + 5 = 0. Let a be -81*4*y/(-4). Let j = -35 - a. Is 20 a factor of j?
False
Let t = -55 + 91. Let n = 16 + t. Suppose -4*o = -f + n, -73 = -3*f + 2*o + 93. Is 14 a factor of f?
True
Suppose -4*r + 5*v + 349 = 0, 3*v = -4*r + 268 + 41. Is 8 a factor of (6/9)/(3/r)?
False
Suppose 3*i - s - 4*s = 22, 0 = 5*i + 5*s - 10. Does 17 divide (i + (-19)/4)*(0 + -60)?
False
Let o(t) = 2*t**3 + 19*t**2 + 4*t + 10. Let v be o(-8). Suppose -2*j - v = -2*h, 3*j + 2*j = -3*h + 239. Does 14 divide h?
False
Let m(j) = 55*j**2 + 4*j - 3. Let q be m(1). Is q + -2 + (-6)/(-3) a multiple of 10?
False
Suppose -2*o - 23 = -1123. Does 7 divide o?
False
Does 5 divide 3*(-4 + (-1900)/(-15))?
False
Let v = -40 - -115. Does 12 divide v?
False
Suppose 450 = -j + 6*j. Suppose 0*t = -3*t + j. Suppose 7*c - t = 2*c. Is c a multiple of 2?
True
Suppose 915 = 8*h - 357. Suppose -2*i + 3*i = -2*l + 43, 4*l + h = 3*i. Does 40 divide i?
False
Let a(f) = 334*f**2 - 113*f**2 - 110*f**2 - 15*f + 11 - 110*f**2. Is a(19) a multiple of 34?
False
Let q(p) = 28*p - 13. Let m be q(5). Suppose 13 + m = 2*a. Is 14 a factor of a?
True
Suppose 46970 = 65*h - 4*h. Is h a multiple of 11?
True
Suppose 3*v - 108 = 180. Is 12 a factor of v?
True
Let k(t) = -19*t + 123. Is k(6) a multiple of 9?
True
Suppose 0 = 8*j - 36 - 12. Suppose -3*h - r + 101 = 0, -h + j*h + 5*r - 165 = 0. Does 17 divide h?
True
Let q be 3716/(-6) - (-4)/(-6). Let r = q + 884. Is r a multiple of 22?
True
Let h(v) = -v + 27. Let g be h(-12). Suppose 3*i + 20 = -43. Let t = g + i. Is 6 a factor of t?
True
Let c be 5/10 - 83/(-2). Suppose -n = -5*n - 3*s - c, -2*s + 40 = -3*n. Is 15 a factor of ((-2)/3)/(n/486)?
False
Let b(w) = 4*w**3 + 2*w**2 - 5*w + 13. Let t(k) = -5*k**3 - 2*k**2 + 5*k - 13. Let g(m) = -6*b(m) - 5*t(m). Is g(5) a multiple of 14?
False
Let b be 3 + (-21 + -2)*-1. Let c = 41 - b. Does 5 divide c?
True
Suppose 3*s = -0*s - 975. Let z be s/(-75) + 1/(-3). Does 13 divide (220/(-77))/(z/(-70))?
False
Suppose 2*o - 1025 = x, -37*o - 2567 = -42*o + x. Is o a multiple of 14?
False
Suppose 0*i - 36 = -9*i. Suppose -i*z + 5*z = o + 48, -4*o = 0. Is z a multiple of 11?
False
Suppose 0 = -4*g + 4*a - 716, 0*a = 4*g + 3*a + 716. Let z = 7 - g. Is 31 a factor of z?
True
Let x(i) be the first derivative of 7*i**4/24 - 10*i**3/3 + 15*i**2/2 + 2. Let w(f) be the second derivative of x(f). Is 12 a factor of w(6)?
False
Is 11 a factor of 14/(-12)*-2 - (-195318)/162?
False
Suppose 4 = -4*u, 0 = -4*o - 4*u + u + 245. Suppose 4*b - 66 = o. Is 12 a factor of b?
False
Let y(l) = l**2 + 2. Let d be y(-2). Let z = -43 + 45. Suppose -2*r = -d - z. Does 2 divide r?
True
Suppose 0 = 3*f + 39 - 408. Is 13 a factor of f?
False
Let b be (-2 + 1 + 1)/1. Suppose b = -4*m + 3 - 63. Let v = 83 + m. Is v a multiple of 17?
True
Let r = -78 - -456. Is (-20)/(-50) + r/5 a multiple of 18?
False
Let t(o) = 2*o**3 - 12*o**2 + o - 3. Let v be t(6). Suppose k = v*c - 0*c + 45, -2 = c. Is k a multiple of 11?
False
Is 23 a factor of 6/234*13 + 3448/6?
True
Suppose 2*u - 7*u - 3*g + 803 = 0, -3*u = -2*g - 497. Let n = 278 - u. Does 18 divide n?
False
Suppose -3*p - 3*p + 2952 = 0. Suppose 3*j - p = -4*w, -3*w - 9 = -6*w. Does 10 divide j?
True
Suppose -2*n - n - g = -19, -25 = -n - 5*g. Suppose -q = -y + 64, 11 = -n*q - 14. Is y a multiple of 7?
False
Let n(q) = -q**3 + 12*q**2 - 3*q - 13. Suppose -5*c + 47 = -2*y, -2*y = c - 7*y + 9. Does 12 divide n(c)?
False
Suppose 0 = -175*g + 163*g + 36612. Does 27 divide g?
True
Let u(i) = 2*i**3 + i**2 + 2*i - 2. Let y be u(1). Suppose -10 = -y*a + 41. Does 5 divide a?
False
Let g(t) = 9*t**2 - t - 18. Is g(-9) a multiple of 16?
True
Let z(r) = r. Let b(p) = 4*p + 9. Let n(c) = b(c) - 3*z(c). Is n(5) a multiple of 14?
True
Suppose -7*d = -4573 - 4373. Does 71 divide d?
True
Suppose 15*h = 18*h + 5*j - 1159, 6 = 3*j. Is 68 a factor of h?
False
Suppose 1238 = -14*a + 3338. Is 6 a factor of a?
True
Let x(a) = -a**2 + a - 2. Let m be (3 - (-5)/(-2))*2. Let n be x(m). Let b(d) = -6*d**3 - d**2 + d + 2. Is 13 a factor of b(n)?
False
Let c(y) be the second derivative of -31*y**3/6 + 5*y**2 - 8*y. Let l be c(-5). Suppose 0 = -2*i - 3*d + l, 4*i - 2*i - 2*d = 160. Is i a multiple of 27?
True
Let g be 2/(-8) - 2/16*-26. Suppose z = 3*i - 288, -5*i - g*z - 76 = -556. Is i a multiple of 24?
True
Suppose -4*z + 553 = -5*t, -5*t = -14*z + 11*z + 421. Is z a multiple of 12?
True
Suppose -2454 = -2*f + 5*w, -4*f - 5*w + 2389 + 2549 = 0. Does 16 divide f?
True
Let s(i) = -i**2 + 6*i - 4. Let h be s(4). Let k = 11 - 8. Sup