x) = -x - 3. Let g(d) = -d. Let m be g(4). Let i be ((-4)/(-8))/(m/56). Is w(i) a multiple of 4?
True
Let m(n) = n**2 - 11*n + 2. Let l = -33 + 47. Is 22 a factor of m(l)?
True
Let c(t) = 102*t**2 - 17*t - 48. Is 33 a factor of c(-3)?
False
Let a(l) = 39*l**2 + 5*l - 1. Let y be a(2). Let z = 230 - 119. Let j = y - z. Is j a multiple of 18?
True
Suppose 3*h + 16*u - 18*u - 1021 = 0, -3*h + 1041 = 3*u. Is h a multiple of 23?
False
Let h(j) = 2*j**2 - 18*j + 23. Is 10 a factor of h(-10)?
False
Let c = 821 - 261. Does 14 divide c?
True
Suppose 7*u - 10 = 2*u. Suppose u*r - 28 + 6 = 0. Let t = r + 22. Is 6 a factor of t?
False
Suppose -131 + 29 = -3*o. Is o a multiple of 17?
True
Suppose -4*a + 6*a + 4*a = 0. Suppose a = -2*q + 7*q - 100. Does 10 divide q?
True
Let z(x) = x**2 - 3*x + 545. Let v be z(0). Suppose 6*s = v - 41. Does 7 divide s?
True
Let y be (-18)/(-8) - 6/(-8). Does 5 divide (-2 + y)/(4/136)?
False
Let f(p) = 16*p - 1. Let r be f(-2). Let w = -24 - r. Is w a multiple of 2?
False
Let v(b) = -23*b + 57. Is 17 a factor of v(-4)?
False
Is 39 a factor of 1/((1/1)/4279)?
False
Suppose -r - 4*y = 63, -336 = 4*r - 6*y + y. Is 11 - 10 - (r - 0) a multiple of 10?
True
Let m(u) = -3*u + 3. Let l be m(-1). Let o(z) = -z**3 + 6*z**2 + 3*z + 12. Does 10 divide o(l)?
True
Suppose 166*q - 141*q = 39650. Does 26 divide q?
True
Let u(f) be the second derivative of f**5/20 + f**4/2 - 7*f**3/6 - 6*f**2 + 2*f. Is 15 a factor of u(-6)?
True
Let k be (-12)/16 - (-114)/24. Suppose 8*y = -4*q + 3*y + 138, k*q = 3*y + 122. Is q a multiple of 4?
True
Suppose 4*v - 2*s + 5*s - 17 = 0, s = -4*v + 19. Suppose 3*c = 2*c - v. Is 2 + 23 - (-15)/c a multiple of 11?
True
Suppose -5*t + 3*k + 7 = -8, -5*k = 4*t + 25. Suppose 15 = f + 5*q - 25, -q = t. Does 5 divide f?
True
Let r(u) = -u**3 + 19*u**2 + 47*u - 19. Let f(h) = -h**3 + 19*h**2 + 47*h - 18. Let t(i) = -4*f(i) + 5*r(i). Is 3 a factor of t(21)?
False
Does 3 divide ((-36)/10)/((-185)/53650)?
True
Suppose -1538 = -5*n - 338. Suppose -4*m + 105 = l, n = 2*l - 0*l + 2*m. Does 7 divide l?
False
Let y be (-49)/(-28) + (-2)/(-8). Suppose -y*q - q + 228 = 0. Suppose 4*d - q = -2*k, -3*d + 177 = k + 3*k. Is 24 a factor of k?
True
Let l(b) = -55*b + 55. Is l(-11) a multiple of 15?
True
Suppose 0 = 4*t + 2 - 26. Let a(p) = 4*p - 7. Is 10 a factor of a(t)?
False
Suppose 5*j - 702 = 68. Suppose 2*u = v + 3, -2*v + 0*u + 18 = 4*u. Suppose 1 = -v*b + j. Does 17 divide b?
True
Let h(a) = 114*a**3 + a**2 + a - 1. Let u be h(1). Suppose -8*q + 13*q - u = 0. Is 4 a factor of q?
False
Let g = 5585 + -3525. Does 5 divide g?
True
Suppose 57*v - 11*v - 40342 = 0. Is 21 a factor of v?
False
Let k be 628/1*(-1 + 5/4). Suppose 0 = 3*s + s + 420. Let f = k + s. Is 13 a factor of f?
True
Suppose 6344 = 20*c - 12*c. Is c a multiple of 36?
False
Let b be 6/(-4) - 12/(-24). Does 4 divide 10 + b + 5 + -8?
False
Let q(y) = y + 0 + 1 - 4*y. Let k be q(-1). Suppose k*i - 3*r - 104 + 39 = 0, -i + r + 15 = 0. Does 4 divide i?
True
Does 59 divide (-1)/((-2)/28)*59?
True
Suppose 27 = -6*b + 3. Let t be b/(3/36*-1). Suppose -4*i = t - 144. Is i a multiple of 12?
True
Suppose -2*f - i = -34, 5*f - 5*i + 0*i - 70 = 0. Suppose 2 = -4*r + 3*g, 4*g + f = -3*r - g. Is 6 a factor of 1 + 41 + 1*r?
False
Let n = 117 - 134. Suppose 5*q - 5*h - 30 = 0, -2*h - 28 - 14 = -5*q. Let b = q - n. Does 8 divide b?
False
Let z(y) = -89*y**3 - 8*y**2 - 5*y + 2. Is z(-3) a multiple of 15?
False
Let i = -242 - -10. Let w = -127 - i. Does 7 divide w?
True
Let j(d) = 0*d**2 + 11 - 3*d**3 - 8*d**2 - 4*d**3 + 7*d + 2*d**3 + 4*d**3. Let x be (-19)/2 - (-1)/2. Is 29 a factor of j(x)?
True
Is 43 + (-6 - -10)/(4/(-2)) a multiple of 20?
False
Let z(b) = 3*b**2 + b + 8. Let v(n) = 2*n**2 + 5*n - 9. Let y be v(-7). Let i be 204/y - 4/(-18). Is z(i) a multiple of 12?
True
Let g = 8 + -5. Let z = -9 - g. Is (z/(-14))/(2/14) a multiple of 3?
True
Suppose -4*o - 3*a + 404 = -49, -o + 3*a = -117. Let h = o - 61. Does 3 divide h?
False
Suppose 2*s - 140 = -4*z - 2*s, -4*z + 4*s + 132 = 0. Suppose 50 = -0*p + p + 5*m, p - z = -m. Is 5 a factor of p?
True
Let n = -5 + 17. Suppose -10*s = -n*s + 140. Suppose 2*y + s = 4*y. Does 7 divide y?
True
Suppose 0 = 5*j + i + 25, j = 2*j + 3*i + 19. Is 10/j*704/(-80) a multiple of 4?
False
Let t = -52 + 101. Suppose 14 = -w - c - 2*c, -40 = 2*w + 2*c. Let o = t + w. Is o a multiple of 13?
True
Let y(k) = 162*k - 494. Is 18 a factor of y(12)?
False
Let i = 1619 + -496. Does 14 divide i?
False
Suppose 5*i + 2421 - 11961 = 0. Suppose -14*a + 6276 = i. Is 52 a factor of a?
True
Let i = 1918 - 742. Is 56 a factor of i?
True
Let l(k) = 5*k**3 + 5*k**2 + 3*k - 57. Let h(m) = m**3 + m**2 + m - 14. Let q(p) = -9*h(p) + 2*l(p). Is q(0) even?
True
Suppose -n - 350 = -11*n. Let c = 87 - n. Is c a multiple of 13?
True
Suppose -2*w - 4*z + 168 = 0, -z + 3 = -4*z. Suppose 3*h - h + w = 0. Let q = h - -61. Is q a multiple of 12?
False
Let g = 553 - 259. Is 14 a factor of g?
True
Suppose -5*j - 4*y + 20 = 0, 0 = -3*y - y - 20. Suppose -11*b + 27 = -j*b. Is b a multiple of 2?
False
Let l(o) = 4*o - 1. Let w be l(8). Suppose -w - 102 = -s. Is 19 a factor of s?
True
Let f = 22 - 18. Let s(j) = 14*j - 15. Let i(r) = 14*r - 15. Let h(p) = f*i(p) - 3*s(p). Is 23 a factor of h(6)?
True
Does 4 divide (-703)/(-5) + 63/(-105)?
True
Let m = -240 - -340. Does 10 divide m?
True
Suppose -5*g + 67 - 52 = 0. Suppose -g*h = 4*y - 292, -h + y = -2*h + 99. Is h a multiple of 27?
False
Suppose -2*c - 9 = -3*c. Let t = -7 + c. Suppose -5*n = -t*n - 33. Is n a multiple of 10?
False
Suppose -6*n + 3383 - 947 = 0. Is 7 a factor of n?
True
Suppose 2*w + 36*n - 4928 = 40*n, 5*w + n - 12298 = 0. Does 15 divide w?
True
Suppose 0 = 9*w - 7230 - 6540. Does 30 divide w?
True
Let z = 1538 + 816. Is z a multiple of 15?
False
Let s(d) = 140*d. Is 35 a factor of s(2)?
True
Let r = 469 + -239. Does 5 divide r?
True
Let n = 29 - 13. Let r be n*(-8 - (2 - 3)). Let v = r + 160. Does 12 divide v?
True
Let x(b) = 5*b**3 + 66*b**2 + 19*b - 11. Let a(s) = s**3 + 13*s**2 + 4*s - 2. Let f(g) = 11*a(g) - 2*x(g). Let p be f(-10). Let m = p - 14. Is 26 a factor of m?
True
Let x = -822 - -1216. Is x even?
True
Suppose 9 = 3*f - 9. Is 3 a factor of (-8)/10*(-60)/f?
False
Suppose -5*g + 10 = -0. Suppose -5*t + 2*o - 33 = 0, 10 + 6 = -2*t - g*o. Is 2320/35 - (-2)/t a multiple of 27?
False
Let w(y) = -y**2 + 19*y + 19. Let o be w(21). Let x(n) = 9*n + 3. Let a be x(-2). Let d = a - o. Does 7 divide d?
False
Let s = -108 - -156. Let b be (-6)/(-10)*10/3. Suppose -5*k + 3*m + 90 = 0, 2*m - 16 + s = b*k. Is 7 a factor of k?
True
Let i(l) = l**3 - 4*l**2 + 2*l - 5. Let b be i(7). Suppose 219 + b = 5*a. Is a a multiple of 25?
True
Let v = -26 + 28. Suppose -o - 73 = -v*m, 4*o = m + 4*m - 190. Does 7 divide (m/4)/((-11)/(-44))?
False
Suppose -m - 4*b - 8 = -2*m, 0 = 5*m + 2*b + 4. Suppose -3*z - 2*n - 16 = 8, -n = m. Is 0 - 1 - (z + -2) a multiple of 7?
False
Let f(q) = 15*q + 12. Let x be f(16). Let n = x - 68. Suppose 6*j - n - 446 = 0. Is 27 a factor of j?
False
Suppose 248*a + 1685 = 253*a. Does 14 divide a?
False
Let o be (-1025)/(-13) - 2 - 18/(-117). Suppose -528 = x - 3*x. Suppose g = 4*y - 178 - o, 4*g = 4*y - x. Is y a multiple of 21?
True
Suppose 2*l - 2*v = 3*l - 369, 2*v = 5*l - 1893. Is 29 a factor of l?
True
Let k(x) = 19*x. Suppose 5*y - 41 = -16. Is 7 a factor of k(y)?
False
Let m(u) = 1 + 18*u + 4*u - 14. Let g be m(11). Suppose 5*j - g = -2*i, 5*i + j = 5*j + 655. Is 26 a factor of i?
False
Suppose -9*k + 5238 - 243 = 0. Is 56 a factor of k?
False
Let z = -333 - -561. Suppose -c - 7*n + 4*n = -18, 5*c = -4*n + 35. Suppose -5*w + z = -c*i - 36, 3*w = -i + 150. Is 14 a factor of w?
False
Suppose 4*w - 4*f - 7284 = 0, 3*w + 4*f - 1166 - 4290 = 0. Does 10 divide w?
True
Let f(x) be the second derivative of x**4/3 + x**3 + 5*x**2/2 + 2*x. Let t = 4 - 8. Is 15 a factor of f(t)?
True
Let f = 296 + -431. Let m = f + 292. Does 8 divide m?
False
Let q = -22 + 25. Let m(t) = 7*t**3 + 2*t**2 + 3*t - 3. Let o be m(q). Suppose -3*u + 39 = i, -4*i - i = -3*u - o. Does 7 divide i?
True
Let w be -5*(-1)/((-15)/9)*-1. Suppose 2*v - 234 = -3*l, w*v - 78 = -2*l + 78. Is l a multiple of 9?
False
Suppose 69 = -4*v + t - 9