
False
Is 9 a factor of 2/6 - -12066*(-17)/(-153)?
True
Let k = -13544 + 14025. Is 5 a factor of k?
False
Let c(b) = 30*b + 186. Is c(32) a multiple of 6?
True
Let r = 10130 - -1530. Does 20 divide r?
True
Let s(j) = 38*j - 70. Let m be s(22). Let q = -435 + m. Does 36 divide q?
False
Let y = 4 - -10. Let a(o) = 5*o + 7 + 0*o - y + o. Does 14 divide a(5)?
False
Let u = 18287 - 7795. Is u a multiple of 86?
True
Suppose h + 33 - 36 = 0. Suppose -h*b + 133 = -245. Does 7 divide b?
True
Suppose 3*l = 4*y + 8540 - 450, 2*l + y = 5408. Suppose 2*z = 4*p + 1420, 804 = 5*z + p - l. Is z a multiple of 13?
True
Let p = 46 + -112. Let b(q) = -q**2 - 2*q - 55. Let g be b(-13). Let c = p - g. Is c a multiple of 30?
False
Let c(t) = -265*t + 4826. Does 47 divide c(-71)?
True
Let a be 82*(16 + 0)/(-1) - 4. Is (21/(-6) + 3)*a/7 a multiple of 29?
False
Let c be 24/18*1*3. Let r be (8/20)/(c/1180). Let y = r + -83. Is y even?
False
Let r(k) = 12455*k + 5018. Does 14 divide r(2)?
False
Suppose 32958 = -z + 6*z - 2*m, -2*z - 3*m = -13187. Is z a multiple of 64?
True
Suppose 2*y + 364 = 2*z + 6*y, -170 = -z + 4*y. Suppose -2*j + z = 5*d, 4*d - 106 = d - j. Let h = d + 2. Is 18 a factor of h?
True
Let s(y) = -y**3 - 16*y**2 + y + 16. Let b be s(-16). Suppose b = 4*w + w - 1025. Suppose 509 = 5*h + v + 3*v, -3*v = 2*h - w. Is h a multiple of 16?
False
Let h(u) be the first derivative of u**3/3 - 6*u**2 + 16*u - 3. Let p(k) = 2*k + 4. Let y be p(5). Is 11 a factor of h(y)?
True
Suppose -4*z + 3920 = 4*g, 2948 = 3*g - 4*z + 5*z. Is g a multiple of 164?
True
Let r be 69/46*(-76)/3. Let s be r + 36 - (1 - 11). Suppose -3*h + s*h = 1265. Is h a multiple of 23?
True
Suppose -3*g - i = -15, -3*g = 3*i + i - 15. Suppose 0 = w + 2*w - 5*a - 1088, 0 = w + g*a - 356. Is w a multiple of 19?
True
Let d = 15 + -24. Let x(p) = -p**2 - 72*p - 963. Let b be x(-18). Let r = b - d. Is 6 a factor of r?
True
Let r be (-5 - -9) + -3 + 3. Suppose 0 = -5*j + 4*h + 17, -r*j + j = -h - 13. Suppose -173 = -5*l + l - j*k, 4*l - 4*k - 164 = 0. Is l a multiple of 7?
True
Let c be (-84)/9*(-2)/(4/9). Suppose -d - 4*x + 811 = 0, -5*d = 40*x - c*x - 4011. Is d a multiple of 11?
True
Suppose 2*n = 2 - 10, 0 = -4*r - 2*n. Let t be 7/21*r*9 - 3. Suppose t*q - 154 = 236. Is 26 a factor of q?
True
Let v = 7 - 6. Suppose -14 + v = -5*x - 2*z, -3*z = 4*x - 9. Suppose -x*a + 112 = -26. Is a a multiple of 45?
False
Is 16 a factor of (-278355)/(-567) + 12/162?
False
Let k = 4722 - 2958. Suppose 0 = 5*f + 9*f - k. Does 18 divide f?
True
Let s = -24 + -59. Let l = s + 202. Suppose -647 = -2*p - l. Is 31 a factor of p?
False
Suppose 0 = -3*y + 2*y - 2. Let u be 3 + 18 + (y - (1 - 0)). Suppose -236 = -u*a + 16*a. Is a a multiple of 25?
False
Let l = -41 + 8. Let u be 37/(6475/975)*(7 - 0). Let q = u + l. Is q a multiple of 2?
True
Suppose -16*p = -11*p - 16591 - 6854. Does 9 divide p?
True
Suppose 3*r - 12 = -3*w, -5*r = -2*w + 14 + 1. Suppose 82 = -w*q + 262. Is 9 a factor of q?
True
Let a(t) = 2473*t - 3583. Is a(3) a multiple of 2?
True
Suppose 3 = -v - 11. Is (v - -76)*3/6 a multiple of 31?
True
Let m = -85 - -90. Suppose -m*f - 49 = -19. Is -6*56/f + -1 a multiple of 10?
False
Does 3 divide 1412/18 + (-140)/315?
True
Let u be (-1)/5 - (-52)/10. Suppose -u = 5*m, -m = 5*x + 4*m - 10. Suppose w = -5*t + 115, -3*w + x*t + 204 = -w. Is 35 a factor of w?
True
Let d(n) be the second derivative of -13*n**3/3 - 68*n**2 + 51*n. Is d(-16) a multiple of 8?
True
Suppose s = 6*s + 5*x - 230, -s + 2*x = -43. Let z be (-2)/10 - (-9)/s. Suppose -2*i = -3*n - z*i + 42, -4*n + i + 51 = 0. Does 12 divide n?
True
Is 15 a factor of (48/360)/(1/550)*54?
True
Let z = 336 + 492. Is z a multiple of 3?
True
Let m = 321 - 324. Does 24 divide -3 - m/12*-182*-18?
True
Let l be 7/(-2)*(-1 - (-3825)/(-7)). Suppose 0 = 3*z + 5*d - l, z + 0*z - 4*d - 616 = 0. Does 14 divide z?
False
Suppose 5*v - 5*c + 12212 = -8393, -3*c - 8217 = 2*v. Let r = v - -12702. Does 34 divide 4/(-14) - r/(-63)?
True
Does 16 divide ((-2820)/6)/(8*(-13)/5408)?
False
Let t be (-1)/3 + 12/9. Let b be (t + 0)/((-9)/(-18)). Suppose 5*u = -b*c + u + 8, 8 = 2*c + 2*u. Is c even?
True
Suppose 7*h = 81*h - 1229103 - 132719. Is 11 a factor of h?
True
Let b(c) = 4*c**3 - 15*c**2 + 15*c - 33. Let o(w) = -6*w**3 + 23*w**2 - 22*w + 50. Let l(t) = -7*b(t) - 5*o(t). Is l(5) a multiple of 2?
True
Let f = 71 - 69. Suppose -f*a = a - 72. Is 24 a factor of a?
True
Suppose 16*a + 2 = 17*a. Suppose a*d - 364 = -4*p, 6*d - 723 = 2*d - 3*p. Let u = -104 + d. Does 16 divide u?
False
Suppose 10*f = 13*f - 537. Let r = f + -175. Is 3 a factor of r?
False
Let q(g) = g**3 + 8*g**2 - g - 1. Let v be q(-8). Suppose -2*o + v*o = 225. Let j = o - 13. Is 9 a factor of j?
False
Suppose 0 = -4*i + 60 - 32, 5*j - i = 2603. Is j a multiple of 29?
True
Let k = -329 + 729. Suppose -p - p + 4*b = -k, 3*p - 2*b - 608 = 0. Does 12 divide p?
True
Suppose -925 = -5*w - 8*y + 3*y, 4*w - 743 = -y. Let a = w - -129. Is 9 a factor of a?
True
Let h(b) be the third derivative of -b**6/40 - b**5/15 + b**4/12 + 4*b**3/3 + 8*b**2. Suppose -2*p + 12*o - 10 = 10*o, 0 = -4*p - 2*o - 14. Does 8 divide h(p)?
True
Let d = -522 - -153. Let k = -140 - d. Is 9 a factor of k?
False
Suppose 0 = -126*j + 129*j + 4*g - 4929, -j - 5*g + 1621 = 0. Is 130 a factor of j?
False
Let y = -1258 + 1975. Suppose -3*r + x + 427 = 0, -5*r + x = -2*x - y. Does 12 divide r?
False
Suppose 2*u + 4*i = -1295 - 29, -5*u = -4*i + 3324. Let x = -460 - u. Is x a multiple of 10?
False
Let z(p) = -p**2 + 22*p - 83. Let l be z(14). Let u = 97 - l. Is 12 a factor of u?
False
Suppose 42*f - 37*f + 5 = 0. Is (-306)/(-2) - (-3 + f - -5) a multiple of 19?
True
Suppose 10*a - 8*a - 3*a = -6855. Is a a multiple of 19?
False
Let d(n) = 6*n + 22. Suppose -7*f + 0*f = -140. Let y be ((f/(-6))/((-3)/9))/2. Is d(y) a multiple of 26?
True
Let n be -3 - (-7)/(42/30). Suppose y + 2*d = 68, -139 - 193 = -5*y - n*d. Does 11 divide y?
True
Suppose 10 = 16*m - 15*m. Let l(u) = u. Let k be l(m). Suppose -14*q + 580 = -k*q. Is q a multiple of 29?
True
Let s(x) = -173*x - 684. Is 12 a factor of s(-8)?
False
Let n = -6198 - -15082. Suppose 12*u - n = -892. Does 18 divide u?
True
Let n = -18054 + 25422. Is 24 a factor of n?
True
Suppose 5*a = -5*h + 6*h + 39988, h = -a + 7994. Is a a multiple of 45?
False
Suppose -248*n = -262*n - 3493 + 39193. Does 85 divide n?
True
Suppose 244*c = 478*c - 242*c + 18816. Does 21 divide c?
True
Let y(d) = 2*d**2 - 18*d + 12. Let h be ((-4 - -2) + 3)*(6 - -9). Let c be y(h). Suppose -8*l - 48 = -c. Is 3 a factor of l?
True
Let c(f) = -f**3 + 6*f**2 - 5*f + 7. Let b be c(5). Suppose -b*v + 9*v + 2892 = 0. Is 19 a factor of v/2*((-56)/24 - -2)?
False
Let d(a) = a**3 - 7*a**2 + a - 5. Let s be d(7). Does 51 divide (-10)/s - (3 - 636/3)?
True
Suppose 8*b = -2*s + 4*b + 12, 4*b = -4*s + 20. Suppose -4*z + 208 = -s*t + 1508, -t - z + 321 = 0. Is 17 a factor of t?
True
Suppose 5*m + 858 = 193. Is 10 a factor of (-5 - -5) + (1 - 4 - m)?
True
Let g(w) = 16*w + 154. Let l be g(22). Let o = -131 + l. Does 25 divide o?
True
Suppose 0 = -2*x + i - 5*i - 114, -2*x = -2*i + 96. Let k = x + 62. Let s = 39 - k. Does 14 divide s?
True
Let c = 333 + 5322. Does 195 divide c?
True
Suppose 3*w - 4*w = -4. Suppose 567 = w*z - 213. Does 15 divide z?
True
Suppose -8*a - 48 = -3*a + 4*n, 4*a + n = -34. Let k(q) = -q**3 - 2*q**2 + 5*q + 11. Let o be k(a). Suppose 75 = x - 2*d - 5, -5*x + d = -o. Is 7 a factor of x?
True
Let q(b) = 28*b**2 - 4*b - 79. Let p(y) = -13*y**2 + 2*y + 39. Let d(a) = -13*p(a) - 6*q(a). Does 3 divide d(-8)?
False
Let m = 333 - 346. Is 9 a factor of (2 - (m - 0))*175/15?
False
Suppose -3*u = 5*c + 3, -4*u - c - 4 - 17 = 0. Let b = 6 + u. Suppose b = -7*i + 12*i - 395. Does 18 divide i?
False
Suppose 0 = j - 5*c + 29, 0 = j + c - 3*c + 44. Let d = 59 + j. Suppose d*l = 5*u + 340, -2*u + u - 5 = 0. Does 3 divide l?
True
Is 23 a factor of (-17)/(-81 - -30) + (49334/3 - 0)?
True
Let x(a) = -a**3 - 9*a**2 - 13*a + 10. Let t be x(-7). Suppose -t*j - 2*k = 3*k - 1070, -4*j - k + 1438 = 0. Is j a multiple of 18?
True
Let u(f) = -f**3 - 6*f**2 + 14*f + 64. Suppose 0 = 32*q - 19*q + 117. Does 28 divide u(q)?
False
Let z(u) = -u**2 + 14*u + 40. Let v b