actor of (-13296)/(-5) + (-20)/(-25)?
False
Let w = -2297 + 2576. Does 18 divide w?
False
Suppose 0 = f - 2 - 1. Suppose -4*v + 7 = f. Let z(l) = 33*l. Does 10 divide z(v)?
False
Let j(u) = u**3 - 3*u**2 - 6*u + 11. Let d be j(5). Let f = d - 20. Is (-2)/f + 2128/88 a multiple of 13?
False
Suppose j - 2*x - 2362 = -3*j, -5*j = -5*x - 2965. Is j a multiple of 14?
True
Suppose 5*n - 9 = 2*n. Suppose 5*j - 225 = -40*j. Suppose -12 + 52 = n*o + 2*k, j*k = -5*o + 70. Is 3 a factor of o?
True
Suppose 0 = -4*c - t + 12, 4*t + 6 = -4*c + 6*c. Does 25 divide ((-42)/(-12))/(c/150)?
True
Let l(j) = 99*j + 6. Let y be l(2). Let h = -28 + y. Is h a multiple of 8?
True
Let c(w) = w**2 + 10*w. Suppose 0 = 10*z - 9*z + 10. Let t be c(z). Suppose -2*m + 4*f + 56 = t, -2*m - 3*f + 5 = -23. Is 10 a factor of m?
True
Suppose 0 = 3*b - 2*a - 809 - 589, 0 = -2*b + 4*a + 940. Is 16 a factor of b?
True
Let p be (1 + -6)*(-4)/20. Let b(i) = 4 - p - 36*i + 37*i. Is 5 a factor of b(8)?
False
Let q(z) = -z**3 - 5*z**2 - 6*z - 6. Let s be q(-5). Let g be 7/3 + (-8)/s. Suppose 0 = g*t - 17 - 19. Is t a multiple of 10?
False
Let s = -1426 - -2242. Is s a multiple of 51?
True
Let x(s) be the first derivative of -s**3/3 - 6*s**2 - 7*s - 14. Is 20 a factor of x(-9)?
True
Let a(s) = 28*s**2 - s. Let u be a(2). Let f = -195 + u. Let b = -46 - f. Is b a multiple of 10?
False
Let q(a) = 2*a**2 + 1. Let i be q(-1). Suppose -x = -j + x, -4*j + 5 = -i*x. Suppose -j*d + 0*d + 204 = 4*v, 0 = 4*d - 8. Does 25 divide v?
True
Suppose 0 = g - 0 - 5. Suppose -5 = -k - 0. Suppose 3*c + 89 + 21 = k*f, g*f - 80 = -3*c. Does 3 divide f?
False
Let v(n) = 41*n**2 + 5*n - 66. Is v(6) a multiple of 72?
True
Suppose 4 - 496 = -3*a. Does 22 divide a?
False
Let j(f) = -17*f - 156*f**2 - 5 + 0 + 158*f**2 + 5*f. Let l be -1*2/(-2) - 6. Is j(l) a multiple of 32?
False
Suppose -18*d = -5859 - 45. Is d a multiple of 31?
False
Let r(w) = 41*w**2 - 4*w + 1. Is r(-3) a multiple of 16?
False
Let o be (-10)/6*24/(-10). Does 7 divide 64/o*12/8?
False
Let t(g) = g + 2. Let b be t(3). Suppose 5*h - 4*v = 614, b*h = h + 2*v + 496. Does 16 divide h?
False
Is 5 + -2 - (-168)/7 a multiple of 12?
False
Suppose -234*x + 11952 = -225*x. Is 8 a factor of x?
True
Suppose -73961 = -27*l - 7055. Does 14 divide l?
True
Suppose 1973 + 10403 = 14*x. Is 26 a factor of x?
True
Suppose -2*o + 5*o - q - 17 = 0, -2*o - 4*q - 12 = 0. Suppose 355 = c + o*c. Does 17 divide c?
False
Let d = -581 - -1828. Is 72 a factor of d?
False
Suppose 4*g - 3*m = 361, 2*m + 425 = 4*g + 67. Let i = g - 38. Is i a multiple of 25?
True
Let q(t) = -t**3 - 10*t**2 - 7*t + 5. Suppose -4*w = 0, i + 7*w = 4*w - 10. Is 15 a factor of q(i)?
True
Suppose -5 = 4*m - 5*o, -m - o - 2*o = -3. Suppose 5*j + 4*n = 16, 3*j + m*j = -2*n + 10. Suppose 4*w - 5 = -w, -j*w - 2 = -r. Is r a multiple of 3?
True
Let u(j) = -j**3 - 6*j**2 - 2*j - 7. Let g = 47 + -53. Is u(g) a multiple of 5?
True
Let w(m) = -m**3 + m**2 + 4*m + 5. Let k be w(-3). Let q = k + 4. Is q a multiple of 6?
False
Let j = -118 - -39. Is 10 a factor of (-17)/34 + j/(-2)?
False
Suppose -2*x + 0*x - 4*r + 1020 = 0, -2*r = -x + 530. Does 5 divide x?
True
Suppose 6 = 3*u - 0*u. Suppose -4*j - u*j = -504. Suppose -9*s = -7*s - j. Is s a multiple of 12?
False
Let u = -21 - -28. Let i be u - (0/(-5) + 1). Suppose i + 0 = 2*l. Is 2 a factor of l?
False
Let d be (-1)/4 - 231/(-44). Suppose -2*a + 2*r + 4 = -0*r, -22 = -d*a - r. Suppose -3*l = -b - 3*b + a, -5*l + 12 = -2*b. Is b a multiple of 4?
True
Let l = -2617 + 2911. Is 21 a factor of l?
True
Let t(o) = -101*o + 1. Let s be t(1). Let k = -68 - s. Is k a multiple of 8?
True
Let v(u) = u**3 - 41*u**2 - 100*u - 103. Is 5 a factor of v(44)?
True
Suppose -5*b = -2*v - 1472, -4*b - 95 = 4*v - 1295. Suppose 414 = 3*k + 2*c, -b = -5*k - 3*c + 393. Is k a multiple of 8?
True
Suppose -5*g - 45 = 5*y, 0 = y + 2*y - 4*g + 34. Let k be (-2)/7 + 496/(-28). Is 4 a factor of y/(-45) + (-212)/k?
True
Let b = 8 - 5. Suppose -4*d = b - 23. Suppose -3*j = 5*l - 41, -3*j = -4*j + d*l + 27. Is j a multiple of 7?
False
Let n(q) be the second derivative of -q**3 + 11*q**2/2 + 13*q. Let o be n(8). Let r = o + 62. Is r a multiple of 4?
False
Suppose -2*s = 10, -4*s + 138 = -4*w + 1690. Is 60 a factor of w?
False
Let s(x) = x**3 - x**2 + 8*x. Does 5 divide s(5)?
True
Let y(c) = -c**2 - 1. Let u(g) = 39*g**2 - g + 6. Let z(l) = u(l) + 6*y(l). Is z(-1) a multiple of 11?
False
Suppose -3*n = -7*p + 4*p - 33, -2*p + 4*n = 12. Let k = -13 - p. Suppose 0 = -k*b + 3 + 96. Is b a multiple of 11?
True
Suppose 16*m + 3735 = 16839. Does 11 divide m?
False
Suppose 0 = -2*x - 0*x. Let u = x - -4. Suppose -14 = 3*j - u*j. Does 3 divide j?
False
Suppose 0 = -2*k + 3*h + 293, k = -2*h + 6*h + 144. Does 6 divide k?
False
Suppose 0 = -23*f + 643 + 4923. Is 22 a factor of f?
True
Let y = -1218 - -1299. Is y a multiple of 26?
False
Suppose -131 = 2*q + 2*v + 3*v, 0 = 5*q - v + 341. Is 11 a factor of ((-1 + q)/1)/(-1)?
False
Let y(l) = 10*l**3 - 2*l**2. Let g be y(-2). Is 7 a factor of 139/4 - 22/g?
True
Let p be 2/3 + 63/27. Suppose p*o = -2*o - 5. Does 14 divide (37 + 2)*(0 - o)?
False
Let o = -90 - -412. Does 9 divide o?
False
Suppose l + 6 = 5*l + 2*c, -4*l - c = -3. Suppose l*g - g - 2*u = -139, -g + 135 = u. Is g a multiple of 25?
False
Let g = -12 - -14. Suppose g*p + 2*d = -3*p - 52, 4 = d. Let s = p - -20. Is 8 a factor of s?
True
Suppose 2*n - 7*b + 11*b - 322 = 0, -2*n = -3*b - 336. Does 12 divide n?
False
Let w(n) = -n**3 + 8*n**2 - n + 10. Let c be w(8). Is 21 a factor of 8/(-6)*(-189)/c?
True
Let r be (-159)/6*72/(-2). Does 12 divide r/36*1*2?
False
Suppose -3*c + 2 + 6 = -5*q, -c - 3*q - 16 = 0. Let f = 10 + c. Is 5 a factor of f?
False
Let j be 4*(-3)/(-2) + -3. Suppose j*i = 2*i - 2*m + 48, -i + 5*m + 27 = 0. Is i + (-2)/(-6)*3 a multiple of 22?
False
Let s(c) = -2*c + 28. Let z be 0/((-2)/((-1)/(-1))). Is s(z) a multiple of 5?
False
Let a = -18 - -22. Suppose -q - 2*q + a*p + 96 = 0, -4*q + 132 = -4*p. Is q a multiple of 6?
True
Suppose 0 = 5*h - 9*h - 2*j + 66, 2*h = 5*j + 15. Does 19 divide ((-760)/h)/((-20)/12 - -1)?
True
Suppose 690 = 3*w - 5*o, 16*w - 4*o - 458 = 14*w. Does 16 divide w?
False
Let f be 44*2 + (2 - 4). Let l = -23 + f. Is 9 a factor of l?
True
Suppose 56 = -17*x + 651. Is 35 a factor of x?
True
Suppose -7*v + 6898 = 605. Is v a multiple of 26?
False
Suppose 3*o - 7*o - 2*q + 482 = 0, -3*q = -5*o + 597. Suppose x = -x - o. Let w = 90 + x. Is 15 a factor of w?
True
Suppose -k - 4 = 6. Let f be (-12)/20*k/2. Suppose -4*p + 3*x = p - 137, 0 = -2*p - f*x + 59. Is 21 a factor of p?
False
Let t be (3 + 3 + 0)/2. Suppose -3*f - 138 = 4*v, -t*f + f = -v - 40. Let i = 52 + v. Does 4 divide i?
True
Suppose -168 = -2*r - 5*p, 0 = 5*r - 2*p - 89 - 389. Suppose -240 = 91*o - r*o. Is 5 a factor of o?
True
Let c be 2/3 - -14*(-5)/(-30). Let k(n) = 7*n**2 - 3*n + 10. Is k(c) a multiple of 22?
False
Suppose -123 - 792 = -5*w. Let v = w - 129. Does 4 divide v?
False
Let l(m) = 2*m**2 - 3*m + 17. Let h be l(4). Let k = -23 + h. Does 2 divide k?
True
Suppose 39*a = 255384 - 58824. Does 12 divide a?
True
Is (-9266)/(-18) - (-12)/54 a multiple of 37?
False
Let t = -8 + 13. Let r(s) = 1 + t - 9*s**2 + s**3 - s - 8*s + 4. Is 20 a factor of r(10)?
True
Suppose 7*f + 577 - 2054 = 0. Is 15 a factor of f?
False
Suppose 24*l - 417 = 20*l + j, 0 = -4*j + 12. Does 3 divide l?
True
Suppose -55500 = -44*z - 6*z. Does 37 divide z?
True
Let o(f) = f**3 + f + 2. Let d be o(3). Suppose 4*t + 0*t = d. Does 4 divide t?
True
Let u be 5/(-10) + 44/8 + -2. Let m(f) = -f**2 + 4*f - f**2 + 10*f**2. Does 15 divide m(u)?
False
Let p(q) = -q - 5. Let m be p(-6). Let z(o) = 13*o**3 + 2 - 2*o - 278*o**2 - 277*o**2 + 554*o**2. Is z(m) a multiple of 4?
True
Let s be (-24)/(-7) + (-15)/35. Suppose -s*i + 15 + 57 = 0. Does 8 divide i?
True
Let q = -302 - -474. Is q a multiple of 13?
False
Let z(t) = t - 7. Let o be z(3). Is o/(-20) + (-270)/(-25) a multiple of 11?
True
Suppose -3*w - 15 = 2*x, -2*w - 5 = -5*x - w. Suppose -p + x*p + 3 = 4*u, 2*u = -8. Is p a multiple of 4?
False
Suppose 5*n - 909 = 21. Is n a multiple of 6?
True
Suppose 20*b = 22*b + 142. Let q = 99 - b. Is 10 a factor of q?
True
Let j(i) = -9*i +