- 862)?
True
Is 4/22 - (-1 + 8574/(-33)) a multiple of 9?
True
Let n(a) = -a**3 + a**2 + a - 4. Let w(i) = -i**3 - 3*i**2 + i + 3. Let r be w(-3). Let q be n(r). Is q/(-6)*(40 + 2) a multiple of 4?
True
Let h = 11094 + -9842. Does 7 divide h?
False
Suppose 629 = 4*n + 5*z, 4*z - 5*z - 164 = -n. Suppose 0 = -2*u - 4*c - 298, -8 = -u - 4*c - n. Let k = u - -265. Does 12 divide k?
True
Let w(p) = 54*p**2 + 84*p - 902. Does 196 divide w(19)?
True
Suppose z - 4*z - 66 = 0. Let v = 22 + z. Does 5 divide (-18 - -28)/(1 + v)?
True
Suppose 0 = -3*w, -3*l + 103*w = 99*w - 8901. Is 24 a factor of l?
False
Does 3 divide (-10262)/4*53/((-3339)/54)?
True
Suppose 3*b = -2*f + 22283, 3*b = -5*f + 15922 + 6337. Is 13 a factor of b?
False
Let x(m) = -m**3 + 4*m**2 + 5*m - 5. Suppose 41*g - 44*g = -21. Let j = g + -3. Does 5 divide x(j)?
True
Let s(u) = -336*u**3 + 2*u**2 + 210*u + 1003. Is 13 a factor of s(-5)?
True
Suppose -2*x - 12186 = -4*o - 926, 0 = 3*o - 4*x - 8455. Is o a multiple of 11?
False
Let p = -23467 - -48073. Is 9 a factor of p?
True
Let v(d) = -d**3 - 3*d**2 - d + 41774. Is v(0) a multiple of 17?
False
Let c(p) = -p**3 + 17*p**2 - 31*p - 34. Let s be 11 - -3 - 0/8. Is c(s) a multiple of 8?
True
Is ((-134)/402)/((-2)/38826) a multiple of 9?
True
Suppose -2*b - 18 = -2*u - b, 3*b + 9 = u. Suppose -u = -14*x + 11*x. Suppose x*m = -0*m + 342. Is m a multiple of 19?
True
Let r(o) = 10*o - 26. Suppose -3*h - 9*l = -4*l - 43, 5*h = 3*l + 15. Is 4 a factor of r(h)?
False
Let h(y) = -5*y - 10. Let t be h(-2). Suppose t*c + 2079 = 7*c. Is 14 a factor of c?
False
Let z(p) = 15*p - 318. Let l be z(23). Suppose l*d - 334 = 16271. Is 15 a factor of d?
True
Let z = 1829 + -946. Is 8 a factor of z?
False
Is (-82)/(-123) + (-11739)/(-9) + 1 a multiple of 14?
False
Suppose -3*f + v = -6296, -4380 = -2*f - 2*v - 188. Is f a multiple of 14?
False
Suppose -l = -4, 2*g + 168 = 6*l - l. Let s = -73 - g. Does 26 divide 0 + s + -16 + 70 - 1?
False
Let j = 7532 + 11474. Is 26 a factor of j?
True
Let y(n) = 20*n. Let m be y(8). Suppose 53*w - 48*w = m. Does 3 divide w?
False
Let a(k) = 9*k - 1 + 20 + 2*k**2 - 3 - 2*k**2 + 2*k**2. Let v(h) = 7*h - 1. Let y be v(-1). Does 18 divide a(y)?
True
Suppose 1 = s + x, 3*s - 8*s = 2*x - 8. Suppose -2*j = s*c - 16, -5*c + j + 0*j = -52. Does 3 divide c?
False
Let f(d) = -298*d - 1. Let u be f(-1). Suppose 11*o - 363 = u. Is 6 a factor of o?
True
Suppose 5*r - 2*z = -28233 + 75653, -4*z = -2*r + 18968. Is r a multiple of 82?
False
Let y = 1107 - -525. Suppose y = 80*u - 77*u. Is 16 a factor of u?
True
Let p = -334 + 349. Let a = p - -545. Is a a multiple of 20?
True
Suppose -2*w - 48 = -4*w + 2*q, -68 = -3*w + 2*q. Is 54 a factor of ((-2245)/w + -1)/((-33)/220)?
False
Suppose -251 = -15*u + 14*u. Suppose 3*k = -3*h + 789, -k + 0*h + u = -2*h. Is k a multiple of 7?
True
Does 62 divide -5680*(4/(-1) + 13/((-130)/(-20)))?
False
Let a(d) = d**3 + 112*d**2 - 132*d - 72. Does 6 divide a(-112)?
True
Suppose -h + 19 = 19. Suppose h = 19*i - 1180 - 568. Is i a multiple of 7?
False
Suppose 17 = -7*f + 31. Suppose 4*m - 7*m + 21 = 0. Suppose -m*k + f*k = -180. Is k a multiple of 15?
False
Let q(b) = -4 - 2 - 487*b**3 - 3*b + 5*b + 4*b**2 + 4 + 0*b. Is 16 a factor of q(-1)?
False
Let o(s) = s**2 - 4*s - 3. Let x be o(4). Is x/(-2) - 5109/(-26) a multiple of 8?
False
Suppose -55 = 15*j - 100. Is 2163/9 + 21/(-9) + j a multiple of 16?
False
Let k be (2 - 3) + -1 - (-125 - -108). Suppose 21181 + 6044 = k*t. Is t a multiple of 33?
True
Suppose 0 = -y + 4*i + 334, 0*y - 5*y + 1670 = -5*i. Let m = y + -254. Is m a multiple of 6?
False
Let i be (20/(-15) + 3)*(-36)/(-20). Suppose -o + 1091 = 4*o - 4*b, i*b = -2*o + 441. Is o a multiple of 38?
False
Let u(h) = 87*h**2 + 4*h - 3. Let l(j) = -2*j - 16. Let y be l(13). Let a = -41 - y. Does 44 divide u(a)?
True
Suppose 95 = -8*m - 11*m. Is ((-2979)/(-6))/(2*m/(-20)) a multiple of 67?
False
Suppose 156*t + 33747 - 224892 = 141*t. Is t a multiple of 194?
False
Let m = -9050 - -15472. Is 19 a factor of m?
True
Suppose -8*z + 22491 = -3621. Is z a multiple of 17?
True
Let f be 4/(-3)*2067/26. Let v = f - -100. Let s = v - -186. Is s a multiple of 12?
True
Let r = 3991 - -10737. Is 14 a factor of r?
True
Suppose -3*y + 1460 = -2*o, 45 = 4*o + 61. Does 11 divide y?
True
Let i = 1162 - 654. Let a = 293 - i. Let o = 362 + a. Does 21 divide o?
True
Suppose -4*l - 1324 = -i + 1007, i = -3*l + 2296. Does 17 divide i?
False
Let d = 6834 - -1617. Does 3 divide d?
True
Let y(r) = -2*r + 22. Let b be y(14). Let t be b/(9/(-3)*(-2)/(-3)). Suppose -2*v - 124 = -g, 3*g + 96 - 486 = -t*v. Is g a multiple of 32?
True
Let o be (-24)/(-78) - (-87814)/299. Suppose -3*s + 307 = 832. Let g = o + s. Does 27 divide g?
False
Let y = -3112 + 5601. Does 30 divide y?
False
Let u = 4222 + 1355. Is 95 a factor of u?
False
Let h(n) = n**3 + 23*n**2 + 30*n - 49. Let k = -121 + 101. Does 29 divide h(k)?
True
Suppose 0 = 3*y - 4*m - 10433, -4*m + 8*m = 4*y - 13908. Does 6 divide y?
False
Let o = 627 - 853. Let y = 330 + o. Does 13 divide y?
True
Suppose 116 = -12*b + 788. Suppose -3*y = -9, -b = -t + 5*y - 2*y. Does 3 divide t?
False
Let h = -53 + 200. Let b(a) = -a**3 - 10*a**2 - 10*a - 12. Let f be b(-6). Let n = f + h. Is n a multiple of 10?
False
Let j(a) = 15*a - 62. Let s be j(4). Let i(b) = -160*b - 5. Is i(s) a multiple of 15?
True
Let h(f) = f**2 - 2*f - 3. Let o be h(3). Suppose -2*l + 2*u - 536 = o, l + u = -3*u - 248. Let g = 370 + l. Is g a multiple of 15?
False
Let u(y) = y**3 - y**2 + 9*y - 6. Does 12 divide u(10)?
True
Let p(r) = -r**2 - 7*r + 8. Let s(n) = n + 4. Let o = -34 + 26. Let g be s(o). Is 20 a factor of p(g)?
True
Let w(q) = -q**3 + 5*q**2 + 8. Suppose -2*h + d - 11 = -4*d, -3*h - 2*d + 12 = 0. Suppose 0 = h*s - 3*s + 5. Is w(s) even?
True
Suppose 47*o = 35249 + 111438. Is o a multiple of 113?
False
Let k = 453 - 450. Suppose -j + 777 = k. Is 25 a factor of j?
False
Let m(s) = -497*s + 235. Is m(-4) a multiple of 39?
True
Suppose -8 = -t - 3*t. Suppose -7*m + t*m = -4*h - 226, m - h = 46. Let p = m - -25. Does 13 divide p?
False
Let r = -106 - -14. Let g(n) = -555*n - 9967. Let q be g(-18). Let j = q - r. Does 12 divide j?
False
Does 25 divide -264820*(-21 + (-2808)/(-135))?
False
Let m(h) = 42*h**2 - 23*h - 231. Is 34 a factor of m(-13)?
False
Does 166 divide (5460 - (-15 + 7)) + 10?
True
Suppose 2*t + 16 = 4*l - 2, 3*l = 6. Let i be (-6 - -6 - -5)*(-4)/t. Suppose -i*f - f + 295 = 0. Is f a multiple of 13?
False
Let s = -607 + 2705. Suppose -b - 896 = -s. Is 12 a factor of b?
False
Suppose 209 = 7*g + 489. Is 27 a factor of 1322 + 0 + (-40)/g?
True
Let b(j) = 2*j**2 - 27*j + 79. Suppose 2 = 15*t - 283. Does 18 divide b(t)?
True
Suppose 941360 = 142*w + 448*w + 66*w. Does 11 divide w?
False
Suppose 2*k = -3*t + 59935, 4*k - 172097 + 52252 = -t. Is k a multiple of 40?
True
Suppose 3*f - 9126 = -3*y, -14*f + 9142 = -11*f - y. Does 170 divide f?
False
Let o = -579 - -6887. Suppose 2*t - 5050 = -4*w - 0*t, -t = 5*w - o. Is 26 a factor of w?
False
Suppose 145728 = 67*h + 71*h. Is h a multiple of 4?
True
Let b be ((-6)/(-16))/(3/24). Suppose -117 = -4*q + b*k, 5*k = -4*q + 3*q + 58. Does 3 divide q?
True
Suppose 4*f = 5*z + 59, -2*z + 3*f - 25 = -0*z. Let m = 18 + z. Suppose m*s - 454 = 456. Is 15 a factor of s?
False
Let x(r) = r**3 + 35*r**2 - 36*r. Let f be x(-36). Suppose f = 14*t - 15*t + 308. Is t a multiple of 11?
True
Let n = -13090 - -46851. Is 127 a factor of n?
False
Let p(y) = -2*y**2 - 12*y. Let q be p(-6). Let z be 2/(-2) + q + 5 + 0. Suppose -5*i - z*t + t = -459, 4*t = 3*i - 258. Is i a multiple of 14?
False
Let v be (-27)/36 + (-73)/4. Suppose -k + 47 = -3*n, -5*n + 2*n = -6. Let h = k + v. Is h a multiple of 5?
False
Let t(z) = -1402*z - 7326. Is 70 a factor of t(-23)?
True
Let x = -1491 - -2862. Suppose -2*s + x = -a, -48*s + 51*s - 2062 = -4*a. Does 11 divide s?
False
Does 16 divide (-20952)/(-2) - ((-32)/72)/((-4)/18)?
False
Suppose 0 = 66*c - 139*c + 22*c + 97665. Does 14 divide c?
False
Let x(b) = -b**3 - 21*b**2 - 10*b + 39. Suppose -4*v - 224 = -140. Is x(v) a multiple of 20?
False
Let f(s) = 285*s - 1122. Is f(6) a multiple of 21?
True
Let q = -1263 + 3310. Is 23 a factor of q?
True
Suppose