 multiple of 7?
False
Let j(d) = -53*d**2 + 3*d + 1. Let u be j(-2). Let z = u - -400. Is 29 a factor of z?
False
Let u(h) = -4*h - 6*h - 4 + 4*h + h. Let l be u(-5). Let b = l - 4. Is 6 a factor of b?
False
Let j(l) = -l**2. Let v be j(0). Suppose -3*f + v*f = 2*c + 6, -f = c + 1. Suppose -y = 0, -3*y = 7*q - c*q - 176. Does 11 divide q?
True
Suppose -f = 3*f - 8. Suppose l + f*d - 5 = 0, -5*l + 3*d + 12 = -0*d. Suppose l*k = -3*n + 147, -41 + 245 = 4*n + 2*k. Is n a multiple of 31?
False
Let t = -375 + 377. Let v = -1 + 1. Suppose v = -t*o - 6*o + 472. Is 19 a factor of o?
False
Let l = -24 - -3. Let u be -1 + (l - 3) - 3. Is 7 a factor of u*4/(-16)*2?
True
Suppose -6*v + 473 + 67 = 0. Let h = -71 + v. Is h a multiple of 4?
False
Let n(o) = 31*o**3 - 2*o**2 + 1. Let i be n(1). Let h(g) = g**2 + g. Let t be h(1). Suppose -4*d + t*z + 50 = -68, d = z + i. Is d a multiple of 7?
False
Suppose -5 = i, 0 = f - 0*i - 2*i - 95. Suppose 5*m + 4*l - 80 = 65, -3*l = -4*m + f. Is m a multiple of 5?
True
Let y(x) = -17*x + 13. Let o be y(-10). Suppose v - z = -3*v + 363, -z = 2*v - o. Is v a multiple of 8?
False
Suppose -3*y = -8*y - 540. Let v = -55 - y. Is 28 a factor of v?
False
Let y = -7 - -24. Suppose 0 = -5*t + y - 7. Suppose -38 = -t*d - 0*d. Is 4 a factor of d?
False
Suppose -3*y = -3*x + 564, 2*x + 4*y + 565 = 5*x. Is 12 a factor of x?
False
Let w(d) = -2*d**3 + 7*d**2 - 3*d + 16. Let a be w(6). Let i = 440 + a. Is 15 a factor of i?
False
Suppose 19*z - 53*z + 23188 = 0. Is z a multiple of 31?
True
Suppose 4*k = 9 - 1. Let q be (-1 + -1)/(k/8). Does 26 divide 26/q*16/(-1)?
True
Suppose -r - 3*o = -4*r + 768, -2*r + 500 = o. Suppose -2*i - 64 = -3*i - b, -4*i - 3*b = -r. Does 12 divide i?
True
Suppose l = -3*l. Let s(b) = b**2 + 5. Let g be s(l). Suppose -5*c + 30 - 6 = 3*x, -34 = -g*c + 2*x. Is c a multiple of 2?
True
Suppose 0 = -10*u + 11*u. Let l = u + 69. Does 23 divide l?
True
Let t be ((-3)/(-6))/((-6)/(-144)). Is 14 a factor of 53 - 2/(8/t)?
False
Suppose 0*s = 5*s - 25. Suppose -9*j - 3*l = -4*j - 380, s*j - l = 380. Is 10 a factor of j?
False
Suppose 15*j + 6850 = 20305. Does 39 divide j?
True
Suppose 42*y - 3677 = 2497. Is 9 a factor of y?
False
Let j(z) be the first derivative of 5*z**4/4 + z**3 + z**2 - z + 11. Let f be j(-2). Let p = 57 + f. Does 12 divide p?
True
Let x(n) = -10*n + 2. Let q be x(2). Let z be q/8*48/(-36). Is 13 a factor of ((-130)/z)/5*-6?
True
Suppose 3*x = 879 - 174. Suppose -59 + x = -2*o. Does 8 divide (-1)/((28/o)/7)?
False
Let s(x) = x**2 - 19*x - 21. Let n be s(20). Let m be 982/9 + n/9. Let o = 156 - m. Is o a multiple of 11?
False
Let f(p) = -p**2 + 4*p + 7. Let n be f(5). Suppose 2*x + n*j - 62 = 0, -5*x = -3*j - 75 - 72. Does 10 divide x?
True
Let f be 1/((-1)/(-3)*(-12)/8). Does 34 divide 7992/234 + f/13?
True
Let x = 77 - 75. Suppose -3*y = -2*c + 137, -8 - 2 = x*y. Is c a multiple of 17?
False
Let c(r) = 2*r**2 + 0*r**2 - 3*r**2 + 0*r**2 - 10*r + 2. Let y be c(-7). Suppose 4*d = 129 + y. Is 14 a factor of d?
False
Let t = -4957 + 8680. Is t a multiple of 23?
False
Let s(k) = -k**2 - 8*k + 6. Let l be s(-8). Let r(m) = 2 - 4 + 0*m**3 + m**2 + m + 0*m**2 + l*m**3. Is r(2) a multiple of 26?
True
Is 144 a factor of (-19458)/(-8) + (22/2)/(-44)?
False
Suppose -2*x - x = -15. Suppose 2*m - 5 = -x*c, 2*m = 6*m - 2*c + 2. Suppose 2*r = -r - w + 50, m = -2*r + w + 40. Does 6 divide r?
True
Suppose 0 = 4*y - 10 - 22. Let u(q) = q - 3. Let s be u(y). Suppose -5*a + n = -80, s*n + 8 = a - 8. Does 8 divide a?
True
Let v(o) = 2*o**3 + 3*o**2 + 4*o + 3. Let n be v(-2). Let x = -1 - n. Is 7 a factor of x?
False
Suppose 0 = -4*c - b + 1214, b - 2 = 2*c - 612. Is 29 a factor of c?
False
Suppose 2*z - 4*z = -5*t + 23, 0 = 4*z + 2*t + 34. Let h(q) = 5*q**2 + 2*q + 11. Let w(u) = -u**2 - u - 1. Let c(a) = -h(a) - 6*w(a). Does 8 divide c(z)?
True
Suppose -q + 3*q + 74 = 0. Let t = q + 25. Is 8 a factor of t/(-54) - (-500)/18?
False
Let p(i) = -i**2 + 6*i + 3. Let x be p(6). Suppose x*c + 15 = -2*r, -4*c + 4 = -0*c. Is r/(-4)*(-96)/(-18) a multiple of 12?
True
Suppose -4*q = m + q - 18, -3*m + 26 = q. Is 12 a factor of ((-243)/(-18))/(3/m)?
True
Suppose -3*l + 4*w = -1125, 5*l - w = -1263 + 3138. Does 75 divide l?
True
Is (104/(-5))/((12/(-150))/1) a multiple of 6?
False
Suppose -6*s + 8 = -2*s. Suppose -20 = s*x - x - 4*j, -4*j = -20. Suppose 3*l - 3 - 6 = x. Is l a multiple of 2?
False
Let s(r) = 3*r - 31. Let a be s(11). Suppose 4*q - 332 = -4*i, -352 = -4*i + a*q - 20. Is 32 a factor of i?
False
Let z(b) be the second derivative of b**5/20 + 4*b**4/3 + 3*b**3 - 4*b**2 + 17*b. Is z(-14) a multiple of 11?
True
Let p(r) = -r**2 - 2*r - 2. Let v be p(-2). Let t(j) = -j**2 - 6*j + 5. Let b be t(-5). Let a = b + v. Is 4 a factor of a?
True
Let s(j) be the third derivative of -j**6/120 + j**5/10 + 7*j**4/24 + 2*j**3/3 - 6*j**2. Let q be s(7). Suppose 220 = 4*x + 2*u + 2*u, u = q. Does 11 divide x?
False
Let r be (0 + (-12)/4)*-32. Suppose 3*w - r = 6. Does 22 divide w?
False
Suppose 4*x + x = 75. Suppose x*g - 12*g = 1068. Suppose 4*v = -4*k + 2*k + 350, 4*v = 4*k + g. Does 41 divide v?
False
Suppose 0 = -4*k + 7*k - 1611. Suppose 3*r = -0*r + k. Does 9 divide r?
False
Suppose 0 = 8*k - 3536 - 936. Does 13 divide k?
True
Let p(s) = 19 + 10*s**2 - 18 - 11*s - s**3 + 5*s. Does 7 divide p(9)?
True
Suppose -2*h + 2*n = -154, 2*h - 2*n = 2*n + 146. Suppose 2*b + h = 5*b. Let g = b - 20. Is g a multiple of 4?
False
Let c be ((-8)/3)/(-3 + (-7)/(-3)). Is 2 a factor of c + 1 + (2 - -1)?
True
Let n = 18 - 15. Suppose n*f + 293 = -3*g + 5*g, 5*f = -2*g + 253. Suppose -5*d + 146 = -g. Does 19 divide d?
True
Suppose 160*a + 98956 = 186*a. Is 21 a factor of a?
False
Let p = -53 + 77. Let a = p + 82. Is a a multiple of 33?
False
Let g(f) = -f**3 - 5*f**2 - 5*f + 7. Let b be g(-3). Suppose -27 = -3*k + 3*s + 75, -b*k + 171 = 3*s. Is k a multiple of 13?
True
Let c(p) = -847*p - 42. Is 118 a factor of c(-2)?
True
Suppose -206*v = -194*v - 1680. Is 2 a factor of v?
True
Suppose -h = -3*x + 30, -h - 25 = -0*h - 4*x. Let w = 32 + h. Is 7 a factor of (-184)/w - 12/78?
True
Let k be 9 - 5/((-5)/2). Suppose u + 6 = 4*u, s - 3*u = 51. Let l = s - k. Does 14 divide l?
False
Let h(j) = j**3 - 17*j**2 + 23*j + 20. Is h(16) a multiple of 4?
True
Suppose 0 = -5*y + 7*y - 82. Let u = y - 29. Is 12 a factor of u?
True
Suppose 4*g = 5*b - 1632, 2*g - 330 - 658 = -3*b. Is 13 a factor of b?
False
Let m(n) be the second derivative of n**4/12 + 17*n**3/6 - 3*n**2 - n. Let c be m(-16). Is c/(1/4*-2) a multiple of 30?
False
Let g = 302 - 41. Does 35 divide g?
False
Let f(n) = 23 + 4 - n - 9. Let g = -5 - -14. Is f(g) a multiple of 4?
False
Suppose 0 = -2*a + 3*z + 1114, -4*a - 3*z + 2188 = z. Does 29 divide a?
True
Let d(c) = -13*c**3 - 3*c**2 - 4*c - 4. Suppose 20 = -v + 18. Does 28 divide d(v)?
False
Let b(d) = 69*d + 59. Is 44 a factor of b(4)?
False
Let h be 2/6*(-44 - 7). Let c = 22 + h. Suppose -x - 1 = -c. Is x a multiple of 2?
True
Suppose 60 = -3*u - 45. Let f = u + 53. Is f even?
True
Suppose -87 = -4*x - 3. Suppose -5*z + 4*t = 20, 0 = -z - t + 4 + 1. Suppose g = -z*g + x. Is 5 a factor of g?
False
Let m(c) = 8*c**3 - c. Let b be m(1). Suppose 5 - b = -2*g. Does 6 divide (g*-2)/((-2)/6)?
True
Let m(i) = -i**3 + 11*i**2 - 16*i - 9. Let n be m(9). Suppose d - 146 = -z + 2*d, n = -3*d. Is 11 a factor of z?
True
Let i(l) = l**2 + 12*l + 26. Does 6 divide i(-14)?
True
Let r be 0 + 0 + 20 - (-12 - -10). Suppose 2*h - 5*o = 47, -r = -h + o - 0*o. Is 3 a factor of h?
True
Suppose -5*o + 3*o + 268 = -2*a, -3*o + 394 = -a. Suppose -3*w + 44 = -o. Is w a multiple of 6?
False
Suppose -3*h - 2 = -11. Suppose 20 = 2*s - 4*v, v + 2 = 5*s - h. Suppose -37 - 20 = -l - 4*f, s = -3*l - 4*f + 171. Is l a multiple of 19?
True
Suppose 2*c = 3*n - 5466, -5*n + c - 1817 = -6*n. Suppose n = 5*g + 8*g. Does 32 divide g?
False
Let z = 25 + -20. Let p(k) = 10*k - 10. Is p(z) a multiple of 10?
True
Suppose -2*q + 7*q - 4 = 3*h, 2*h = 2*q. Suppose 418 = 5*p - h*s - 285, 0 = p + 2*s - 143. Is p a multiple of 24?
False
Let c = -59 - -74. Suppose 12*t - c*t + 72 = 0. Does 8 divide t?
True
Is 8 a factor of ((-1)/(-3) + 1)/(12/3528)?
True
Suppose 7432*i = 7433*i - 1760. Is 110 a fa