(-8)?
False
Let u be 3/(6/(-13))*-2. Let t be (-4)/(-10) + ((-82056)/(-20))/13. Suppose u*d - 17*d = -t. Is d a multiple of 16?
False
Let k(l) = -l**3 + 10*l**2 - 12*l + 19. Let a be k(9). Let t(g) = -8*g + 15. Is t(a) a multiple of 23?
False
Suppose 5*q - 28 = -8. Suppose 461 = q*a - 5*l, 4*a - 3*a - 119 = 5*l. Is 18 a factor of a?
False
Is 39/104 + 4397/8 a multiple of 34?
False
Suppose 2*v + 5 = 3*v, -3*g + 18 = 3*v. Suppose 5*k - g = a, k - 5*a = -3*k - 16. Is 13 - (0 - k - 0) a multiple of 7?
True
Let s(g) = -g**2 - 18*g - 31. Suppose -w + y - 15 = 0, 0*w + 4*y = -2*w - 24. Let r be s(w). Is 12 a factor of (r + -28)/(1/(-28))?
True
Suppose -6*l = -4*l + 4*r - 2, -10 = -3*l + r. Suppose 2*v = -4, l*b - 2*v = -5*v + 6. Suppose 2*h + 96 = b*h. Is h a multiple of 16?
True
Is (-411)/137 - (-853 - (-1)/(-1)) a multiple of 37?
True
Let b = 54 - 42. Is 5 a factor of (-22)/(-3) + 8/b?
False
Suppose 0*q + 11*q - 1078 = 0. Let k = -58 + q. Is 4 a factor of k?
True
Let v = -18 - -22. Let x = 3 - v. Let a(z) = -38*z**3 - z. Does 17 divide a(x)?
False
Let j be (44/(-20))/(4/(-20)). Suppose y = j*y - 300. Does 3 divide y?
True
Does 10 divide 345/(-12)*(10 - 18)?
True
Let j(q) = 2*q**2 - 18*q + 3. Let w be j(13). Let l = -42 + w. Does 13 divide l?
True
Let c be (-6)/9 - (-16)/6. Suppose -5*g - i = 2*i + 45, 16 = -g - c*i. Does 28 divide 1*-7*(g - 6)?
True
Let i(u) = 9*u**2 + 32*u + 1. Does 33 divide i(-5)?
True
Let j(s) = 2*s + 38. Suppose 4*h - 35 = -3*o - 2*o, -3*h = -o - 31. Does 8 divide j(h)?
False
Let k(x) = 5 + 0*x**3 - 2*x**3 + 3*x**2 + 7*x + 5*x**2 + 3*x**3. Let b be k(-7). Suppose -b*l + 91 + 69 = 0. Does 11 divide l?
False
Suppose 0 = 5*z + p - 0 - 11, 5*z = -4*p + 14. Suppose 4*h + z*w + 80 = 6*h, -4*h = 2*w - 190. Suppose -4*d + h = -23. Is 17 a factor of d?
True
Let b(d) = -d**3 + 11*d**2 + 2*d + 5. Let o be b(11). Suppose -24 = -3*k - 2*a, -2*k + o = -3*a + 8*a. Is k even?
True
Does 51 divide (2 - (1 + -2))*375 + -3?
True
Suppose 0 = -4*l + 7*l + 108. Let v = 135 + l. Is v a multiple of 10?
False
Suppose -3*p + v + 161 = 0, -3*v + 141 = 2*p + p. Let n = p - 28. Is 6 a factor of n?
True
Let f(c) = 2*c + 26. Let i be f(-11). Suppose 9*z = i*z - 3*b + 390, 5*z - 5*b = 430. Is 11 a factor of z?
False
Let w(c) = c**3 - 2*c**2 - 13*c + 3. Let j be w(5). Suppose b + 11 = -4*d + 85, -d + j = 3*b. Does 6 divide d?
False
Let z(q) = -7*q**3 + 11*q**2 + 2*q + 8. Let n(j) = 20*j**3 - 33*j**2 - 6*j - 23. Let i(p) = -6*n(p) - 17*z(p). Suppose 36 - 3 = 3*m. Is i(m) a multiple of 6?
True
Let p be (10/15)/((-3)/(-9)). Let l be p/(-2)*(2 + -2). Suppose -5*w + 128 - 43 = l. Does 8 divide w?
False
Let m(y) = 11*y**2 - y + 200. Is m(0) a multiple of 25?
True
Suppose -4*q = -4*g, -4*q + 2*q = 4*g - 6. Is 13 a factor of (-5)/(-5) - q - -79?
False
Let x be ((-1)/(-2))/(2/(-72)). Let o be (-45)/x + 2/(-4). Is 6 a factor of o + (6 - -2)*4?
False
Let t = 21 - -5. Suppose 8 - t = 2*i. Does 24 divide 610/6 - 3/i?
False
Let s = -533 - -908. Is 10 a factor of s?
False
Let k be 12 - 7/(28/16). Let n(h) = h**3 - 9*h**2 + 11*h - 9. Let q be n(k). Is 22 a factor of ((-3)/q)/(2/(-830))?
False
Let a(s) = -14*s - 558. Is a(-52) a multiple of 17?
True
Suppose 0 = 10*j - 13*j - 6. Does 4 divide 3 + ((-3)/(-5))/(j/(-10))?
False
Does 6 divide (-6)/36*-6*(-1712)/(-8)?
False
Suppose -4*f = -0*f - 16. Let t be ((-9)/(-6))/(f/96). Let i = t + -18. Does 9 divide i?
True
Does 16 divide (-9 - (51 - 2))/((-6)/21)?
False
Let l = 174 + 86. Does 10 divide l?
True
Suppose 4*a - 12551 = -5*p, 0 = p - 3*a - 1266 - 1248. Is p a multiple of 27?
True
Let l be 2/2 - 2 - -25. Is 18 a factor of (114/(-15))/(1 + l/(-20))?
False
Let x(w) = 52*w**3 + 14*w**2 - 13*w - 1. Is 3 a factor of x(1)?
False
Let m(b) = -2*b**2 + 4 + 2*b**2 + 3*b**3 - 12*b + 6*b. Let t(w) = -4*w**3 - w**2 + 6*w - 4. Let j(i) = 5*m(i) + 4*t(i). Is 13 a factor of j(-3)?
True
Suppose -81 = -9*y - 0*y. Is -9*((-48)/y + 2) a multiple of 10?
True
Suppose 23392 = 11*h + 21*h. Does 43 divide h?
True
Let m be 18/14 + 1/14*-4. Is (-4 + (-45)/(-10))/(m/226) a multiple of 13?
False
Let a(h) = -h**3 + 5*h**2 - 5*h + 6. Let i be a(4). Suppose -2*t + 48 = -5*j, -j + 40 = i*t - 4*j. Is t a multiple of 7?
True
Suppose -9 = -2*i + 7. Does 32 divide 11 - i - (0 - 61)?
True
Let n be (0 - 0)/(24/8). Suppose 5*b - 131 - 29 = n. Does 19 divide b?
False
Suppose 4*z + 2*d = 12, 0*z - 10 = 2*z - 3*d. Let c = 2 - z. Is 17 a factor of 2*204/8*c?
True
Suppose 5*c - 6 = 4*c. Suppose 6 + 1374 = c*x. Suppose 34 - 119 = -y - 5*s, 4*y = 2*s + x. Is y a multiple of 20?
True
Let x be 4*18*(-2)/(-16). Suppose 0 = 4*d + 1 - x. Suppose -i - 2*m = m - 5, -d*i + 10 = m. Is 3 a factor of i?
False
Suppose 2*k = -2*k + 12. Let a(o) = 9*o + 3*o - o**2 + k + 0*o**2. Is a(8) a multiple of 15?
False
Suppose -3*s = -6*s + 30. Is 32 - 4/(s/(-5)) a multiple of 6?
False
Let f be ((-3)/2)/((-2)/(-16)*3). Is 11 a factor of 1 + 1 - (-17 + 5 + f)?
False
Suppose -2*t - 6720 = -16*t. Does 15 divide t?
True
Suppose 4*v - 147 = v. Let d = 89 - v. Is 20 a factor of d?
True
Let r(j) = 267*j - 569. Is 8 a factor of r(5)?
False
Let b = -338 - -1019. Is 8 a factor of b?
False
Suppose 3*n - 191 = -4*q, -5*n + 9*n - 3*q = 288. Is 3 a factor of n?
True
Suppose 1130 = 25*i - 1295. Does 9 divide i?
False
Let o(a) = 14 + a**3 - 6*a**3 + 6*a**3 - 7*a - 4*a**2 - 1. Is 12 a factor of o(7)?
False
Suppose -5*u = 2*n - 37, -u - u + 2*n + 12 = 0. Let g = u - -80. Is g a multiple of 13?
False
Let z be 2/6 + (-35)/(-21). Let y be 1 - (1 - z - 1). Suppose 3 = x, -5*x = -y*i + 2*i - 10. Is i a multiple of 2?
False
Let t(q) = 3*q**2 + 11*q + 20. Let z(g) = -4*g**2 - 2*g + 2. Let d be z(1). Is 13 a factor of t(d)?
False
Let q(r) = r**3 + 1. Let n be q(-1). Is n + 23 + -1 + 2 a multiple of 6?
True
Suppose 0*f + 8 = 2*f - 2*q, -3*q = 2*f + 2. Suppose 2*g - 70 = 5*h, -3*h + 210 = 5*g + f*h. Does 8 divide g?
True
Let b(c) = c**3 - 6*c**2 + 4*c + 6. Let k be b(5). Does 32 divide (-5 - 5)/(k/(-14))?
False
Let s(g) = g**3 - 6*g**2 + 6*g. Let n be s(5). Let a = 16 + n. Suppose 0 = p - 15 - a. Is 18 a factor of p?
True
Suppose -522*w - 574 = -524*w. Does 21 divide w?
False
Let v be (-1 - -3)*6/4. Let y(u) = 2*u**2 + v*u + 2*u + 0 - 4. Is y(-6) a multiple of 16?
False
Let v be 1 + (-8)/2 + 21 - 0. Is 44 a factor of 1 - 5 - -1 - (-241 + v)?
True
Suppose -6*h + 4420 = -h + 5*m, -4*h + 3524 = m. Is 80 a factor of h?
True
Let v = 3733 - 2611. Is v a multiple of 34?
True
Let z(v) = -6 + 6*v + 13*v + 3*v**2 - 8*v. Does 14 divide z(-8)?
True
Let t = 397 + 395. Is 39 a factor of t?
False
Let u(z) = 3*z**2 + 34*z + 5. Suppose 5*q + 3*i + 62 = q, 22 = -q - 4*i. Does 13 divide u(q)?
True
Let g = 1 - 1. Suppose 4*s + w - 673 = g, -5*s - 4*w + 508 = -2*s. Suppose 0 = 4*v - s - 28. Is 9 a factor of v?
False
Suppose 4*d + 28 - 279 = -3*c, -4*c = 2*d - 328. Let q = 63 + c. Does 16 divide q?
True
Does 13 divide ((-2)/(-4))/((42/884)/21)?
True
Suppose 3*s = 60 - 18. Let y = 155 - s. Is 24 a factor of y?
False
Let c(o) = -4*o**3 - o**2 - 6*o + 5. Let q be c(-5). Let s = 868 - q. Suppose 69 = 2*n - n + 3*a, 5*n - s = -2*a. Is 24 a factor of n?
True
Let l(y) = -266*y - 198. Does 78 divide l(-5)?
False
Suppose 4*n - 72 = 6*n. Suppose 3*y - 31 = -4. Is 21 a factor of 749/y - (-8)/n?
False
Let m(t) = t**3 + 15*t**2 - 19*t - 21. Suppose -9*w + 38 = 182. Is m(w) a multiple of 9?
True
Suppose 15 = 8*l + 31. Does 17 divide ((-1)/(-2))/(4*l/(-544))?
True
Let g = 12 + -16. Let f be (g/(-5))/(2/70). Is ((-20)/(-14))/(4/f) a multiple of 5?
True
Let q be ((-3)/(-6))/(2/2396). Suppose k + 5*n + 463 = 4*k, -3*n = -4*k + q. Is 6 a factor of k?
False
Suppose 0*r - 15 = -5*r. Suppose 5 = r*y + 5*l, 4*l = -5*y + 7 + 10. Suppose -2 = v, -4*k + 428 = -y*v + 126. Is 24 a factor of k?
False
Suppose -1 = -4*c + 11. Suppose 3*d + 0*l - 272 = -4*l, c*l = -4*d + 358. Is 34 a factor of d?
False
Suppose -15*u + 16*u = 408. Suppose -4*x = 2*h - u, 3*h - 5*x + 2*x = 603. Does 23 divide h?
False
Let k be 0 - (-40 - 2/1). Suppose 3*b + 0*b - 9 = 3*j, 5*b + 4*j = k. Suppose -b - 10 = -g. Does 16 divide g?
True
Let r = 30 + -24. Is 32 a factor of 1863/18 - r/4?
False
Let u(x) = -2*x - 9. Let s be u(-6). Let z = 19 - 7. Suppose z = 2*l + s*j - 39, 3*l - 67 = 5*j. Is l a mul