*2 - i**3. Does 7 divide g(k)?
False
Let b be ((-9)/(-12))/(((-4)/(-1024))/(-1)). Is (-3)/(-15) + 3/((-45)/b) a multiple of 9?
False
Let q(h) = 11*h**3 - h**2 + 3*h - 2. Let x be q(1). Suppose -3*f + r = -28, -46 = 6*f - x*f + 2*r. Is 3 a factor of f?
False
Suppose -n + 29 = 4*v - 25, -v - n + 12 = 0. Let r(p) = 3 - 12 + 4*p - 10. Is 12 a factor of r(v)?
False
Let h be (21/6 + -2)*-4. Is 13 a factor of (-52)/h*(-6)/(-4)?
True
Let h(s) = -3*s**3 - s**2 - 9*s - 24. Is h(-3) a multiple of 2?
False
Suppose 101565 = 58*h - 13*h. Is 9 a factor of h?
False
Suppose 0 = -0*j + 2*j + 2, -4*q + 2404 = 4*j. Is 58 a factor of q?
False
Suppose a - 58 = -a. Suppose 234 = -40*s - 646. Let b = s + a. Is 2 a factor of b?
False
Let b(d) = -d**2 - 3*d - 1. Let k be b(-10). Let a = -43 - k. Is 10 a factor of a?
False
Let t(r) = 7*r - 2. Let y be t(-4). Let u = -49 - y. Let x = u - -36. Is x a multiple of 17?
True
Let z(p) = -10*p + 8 - 25 + 4*p**2 - 2. Is z(6) a multiple of 5?
True
Is 730/8 - 20/80 a multiple of 13?
True
Let o be (-6)/9 + 40/15. Suppose -2*s = -o*x + 264 - 66, -3*s - 105 = -x. Does 10 divide x?
False
Let v = -2 - -66. Let f = v - 31. Suppose f + 18 = 3*o. Does 4 divide o?
False
Suppose 71*w = 88*w - 6290. Is 8 a factor of w?
False
Does 23 divide 138*2/8*92/6?
True
Suppose 0 = -3*j + 223 + 29. Suppose 10*l - 8*l = j. Is l a multiple of 18?
False
Let p = -781 - -1045. Is 8 a factor of p?
True
Let m(o) = o**3 + 6*o**2 - 9*o - 3. Let g be m(-7). Let n(h) = h**3 - 10*h**2 - 12*h + 12. Let v be n(g). Is v/7 - (-768)/14 a multiple of 20?
False
Let n be ((-15)/12)/(8/(-32)). Suppose n*i - 510 = -145. Is 11 a factor of i?
False
Is 18 a factor of (13112/220)/((-1)/(-5))?
False
Let a = 758 - 281. Is 73 a factor of a?
False
Is 23 a factor of 1115 - (11 - (-4 - -4))?
True
Let g = 0 + 4. Let b = 9 - g. Suppose 9*c - b*c = 184. Does 13 divide c?
False
Suppose 9*m = 8*m. Suppose 0 = -q - m*q + 8. Is (4/q + -1)*-32 a multiple of 4?
True
Is 10 a factor of 3*226/3 + 24/24?
False
Let q(s) = -93*s - 3. Suppose -n + 4 = 5. Does 9 divide q(n)?
True
Suppose 5*z + 1 + 11 = -4*j, -5*j - 6 = 4*z. Suppose 86 = -j*w + 4*w. Does 12 divide w?
False
Does 4 divide 20/(-2 - 15/(-6))?
True
Let t(m) = 10 + 14*m - 36*m + 18*m. Is 5 a factor of t(-5)?
True
Let h(c) be the first derivative of 2*c**3/3 - 5*c**2/2 + c + 1. Let k be h(2). Let z(w) = -28*w. Does 7 divide z(k)?
True
Is (-94200)/(-420) - 2*(-3)/(-21) a multiple of 8?
True
Let t(w) = -w + 1. Let l be t(-2). Suppose -2*r = o + 6, -3*o - 14 = -r + l*r. Is (-1)/o + (-573)/(-12) a multiple of 16?
True
Let y(w) = -4*w + 1. Let q be y(0). Let c(o) = 98*o**3 + 2*o**2 - 1. Does 19 divide c(q)?
False
Suppose -9 = 3*w - 0. Let h be (18/w - 0)/2. Is h/(76/(-64) + 1) a multiple of 4?
True
Let m be ((-40)/(-15))/(2/3). Suppose 5*a - 60 = m*a. Does 15 divide a?
True
Does 14 divide (-794)/(-2) - (-19)/(304/48)?
False
Let c be (8/(-14))/((-30)/315). Let k(b) be the first derivative of 3*b**2/2 - 4*b + 2. Is k(c) a multiple of 14?
True
Let r be ((-3)/2)/((-3)/10). Suppose -252 = -4*w - v, -5 = -r*v - 25. Is w a multiple of 16?
True
Suppose -236 - 159 = -5*a. Suppose -4*b + 389 + a = 0. Is b a multiple of 39?
True
Is (5 - 2) + 1316 + -8 a multiple of 23?
True
Let r = 14 - 10. Is (1/(1/(-64)))/(-5 + r) a multiple of 32?
True
Let u = -38 + 54. Let k = u + -27. Let z = -7 - k. Does 3 divide z?
False
Let a be 1 - (3 - 8/2) - -103. Let n = a - 77. Does 28 divide n?
True
Let f be ((1 - 3) + 0)*2. Suppose 7*o - 3*o = -20. Is ((-12)/o)/(f/(-50)) a multiple of 7?
False
Does 5 divide (-4)/(-10) + 240792/395?
True
Is 24 a factor of (-4)/(-22) + (-1310)/(-55)?
True
Is -5*6/(-20) - (-340)/8 a multiple of 4?
True
Let t = 7 - 2. Suppose 0*u - t*u = 105. Let d = 37 + u. Does 3 divide d?
False
Suppose 5*d + 5*u - 44 - 16 = 0, -6 = -d + u. Suppose -11*l + 190 = -d*l. Does 5 divide l?
True
Let b be (-2)/((-35)/15 + 2). Let i = 22 + b. Is i a multiple of 4?
True
Let c = 69 + -18. Let a = c + 32. Is 8 a factor of a?
False
Let x = -55 - -31. Let j = x - -39. Is 5 a factor of j?
True
Suppose 0 = -50*v + 46970 + 65830. Is v a multiple of 74?
False
Let k(m) = -3*m**3 - m**2 + 2*m + 2. Suppose 2*y + 3*y = -5*r - 35, -y = -r + 1. Is 11 a factor of k(r)?
False
Suppose 4*o + 0*o = 3584. Let z = o - 555. Is z a multiple of 17?
False
Suppose -4*k - 3*g = -3099 - 3772, k - g = 1716. Is k a multiple of 17?
True
Is 6 a factor of -51*(-25 + (2 - 6))?
False
Let k = -2928 - -3054. Does 7 divide k?
True
Let t = -109 - -55. Let p = t + 103. Does 9 divide p?
False
Let l be (-9)/12 + 66/24. Let b be 0/(l/(1 + 0)). Suppose -a + 45 - 4 = b. Is 20 a factor of a?
False
Let j = -181 - -308. Let o = -85 + j. Does 21 divide o?
True
Suppose 37 = 2*z + 43. Is 30 + z*6/(-9) + -2 a multiple of 30?
True
Suppose -26*x = -13*x - 8268. Is x a multiple of 19?
False
Suppose -r = 1809 - 3552. Is 54 a factor of r?
False
Let p = -562 - -939. Is 2 a factor of p?
False
Suppose -3*g = -23 + 2. Let z(b) = 10*b - 6. Is 23 a factor of z(g)?
False
Suppose 4*a = 5*a - 26. Suppose l - 6*l + k = -a, -5*l + 2*k = -27. Suppose 5 = -l*y + 45. Is 3 a factor of y?
False
Let f(w) = 31*w + 24. Is 13 a factor of f(5)?
False
Suppose 0 = 4*f - 8*f - 5*l + 1132, 20 = 5*l. Is f a multiple of 8?
False
Let h = 11 + 25. Suppose 0 = -5*y + 3*y + h. Is 13 a factor of y?
False
Let h(j) = 1 + 17*j**2 + 5*j**2 + 18*j - 17*j. Is 2 a factor of h(-1)?
True
Suppose 2*l = -92 - 36. Let j = -11 - l. Is 14 a factor of j?
False
Let b(h) = -13*h**2 + 2*h - 1. Let y be b(1). Let c(m) = -m**2 + 10*m. Let i be c(8). Let w = i + y. Does 2 divide w?
True
Let r = 272 - -409. Is 76 a factor of r?
False
Suppose 4*z + 654 - 126 = 0. Let b = z - -84. Let j = 111 + b. Does 23 divide j?
False
Suppose -x - 391 = 9*j - 14*j, -4*j = 2*x - 310. Is 39 a factor of j?
True
Let a(i) = -28*i + 4. Does 10 divide a(-12)?
True
Suppose 14*i + 10 = 19*i, -5*g - 4*i + 7808 = 0. Does 52 divide g?
True
Let r = -1081 - -2863. Is 22 a factor of r?
True
Let w(c) = c - 9*c + 7*c + 6. Suppose -4*f - 14 - 6 = 0. Is w(f) a multiple of 11?
True
Suppose -2*x = -4*m + 110, 5*x - 135 = -4*m + 2*x. Let c = 2 + m. Is c a multiple of 8?
True
Suppose -6*k + 14 - 158 = 0. Is k/10*140/(-42) a multiple of 3?
False
Let k(w) = 34*w + 110. Does 20 divide k(5)?
True
Let m(v) = -11*v - 132. Is 19 a factor of m(-31)?
True
Suppose 5*m = 2*r + 25, -6*r = -2*r - m + 23. Let w be r + 6 - (-223 + 2). Let d = w + -135. Is 29 a factor of d?
True
Does 14 divide (370500/24)/13 - 10/(-4)?
True
Suppose 8*s = -3*o + 3*s + 1953, -2*o = -5*s - 1277. Suppose o = -3*q + 1654. Is q/20*(-20)/(-6) a multiple of 28?
True
Let b = 1101 - 947. Is b even?
True
Suppose 14*k - 9*k = 50. Let w(o) = -o**3 + 12*o**2 - 11*o + 1. Does 22 divide w(k)?
False
Let v(b) = -b**3 - 10*b**2 - 7*b + 4. Let p be -7 + 2/(-2)*3. Is 24 a factor of v(p)?
False
Is 2900 - ((5 - -1) + -4) a multiple of 21?
True
Suppose 0 = 14*y - 17*y - 9. Is 21 a factor of (-319)/y + (-48)/36?
True
Let u(y) = -15*y - 11. Let x be u(-1). Suppose -x*h + 0*h + 562 = 2*z, -5*h + 4*z = -735. Is 8 a factor of h?
False
Let w(n) = 32*n**2 - 28*n - 62. Does 60 divide w(-8)?
False
Let a(c) = c**2 + 4*c - 42. Let s be a(-10). Let i = s + -7. Is i a multiple of 11?
True
Suppose 6678 = -14*f + 35*f. Does 3 divide f?
True
Suppose 103*r + 3780 = 108*r. Is 18 a factor of r?
True
Suppose -2*b + 2*m - 6 = -0*b, -24 = 3*b + 2*m. Let u(n) = 2*n**2 + 7*n + 4*n - 3*n - 2. Is 8 a factor of u(b)?
False
Let j be 2 + -1 + (-4 - 18). Let i = 36 + j. Is i a multiple of 14?
False
Let x = 443 - 91. Is 22 a factor of x?
True
Let a(v) = 2*v + 1. Let t be a(0). Suppose -5*f + t = 3*r - 0, -f + 5 = 3*r. Does 11 divide 41 + 1 - (0 - r)?
True
Suppose -4*x - p + 22 = 0, -2 = 4*p - 10. Let d(c) = -x*c - 1 + c**2 - 1 + 6 - 6. Is 4 a factor of d(7)?
True
Let t be ((-1)/(-2) - -1)*-12. Let l be (-148)/(-3) - (-24)/t. Let g = 83 - l. Is 15 a factor of g?
False
Suppose -2*i + 2*c = i - 18, 0 = -i - c + 1. Suppose 5 = -u, -u - 10 = -i*q + 3*q. Suppose -q - 37 = -2*y. Does 21 divide y?
True
Let b(x) = -10*x - 24. Does 6 divide b(-18)?
True
Let c = 534 + 1266. Is 40 a factor of c?
True
Let c = 12 - 6. Let u = c - 2. Suppose 117 = 3*s + 4*k, -s = -u*k - 4 - 19. Is 12 a factor of s?
False
Let g(p) 