8 divide j?
True
Suppose 4*c + 66 - 183 = -3*w, -2*w - 10 = 0. Does 23 divide c?
False
Suppose 0*f = 4*f - 24. Suppose 12 = 3*n + 2*g, 16 = -2*n + f*n + g. Is n a multiple of 2?
True
Let c be 3 + -1 + (-2 - -3). Suppose -4*u = -c*u - 2*s + 5, -2*s = -6. Does 7 divide 1/((-1)/(-23)) + u?
False
Let v = 128 - 63. Is 13 a factor of v?
True
Let d be (-30)/24*(-5 + 1). Suppose -3*l - a = l - 19, -d*a + 11 = -l. Suppose -p - 12 = l*b, b + 8 = -p - 2*b. Is p even?
True
Let h(d) = -d**3 - 5*d**2 + 3*d + 3. Let x be h(-6). Suppose -3*c + 63 + x = 0. Let k = -11 + c. Does 17 divide k?
True
Suppose 0 = -2*n + 4*j + 30, 0*j + 2*j - 40 = -4*n. Does 5 divide 1/(1 - n/12)?
False
Suppose 4*z = 5 + 3, 4*z + 36 = 4*w. Is 4 a factor of w?
False
Does 17 divide (15 + 2)/((-40)/(-12) - 3)?
True
Let s(w) = -w**3 - 14*w**2 - 3*w + 10. Is s(-14) a multiple of 17?
False
Let i = 56 - 2. Does 9 divide i?
True
Let x(o) = -2*o + 14. Let w(u) = -3*u + 27. Let k(h) = 3*w(h) - 5*x(h). Let f be k(-8). Suppose -4*n - f*v + 71 = 8, 42 = 3*n + 4*v. Is n a multiple of 18?
True
Let z = 177 - 92. Suppose 4*p = -13 + z. Is 7 a factor of p?
False
Suppose 5*s = -25, -3*s - 2 - 8 = -5*c. Let h be (c - 2/(-4))*-2. Is 10 a factor of 2/1 + 8*h?
True
Let u = 56 + 152. Suppose -h = 3*h - u. Suppose 4*p - h = 2*s - 3*s, 4*p = 2*s + 52. Is p a multiple of 13?
True
Let k(p) = -5 - 2*p**3 + 3 + p + p**3 + p**2. Is k(-2) a multiple of 6?
False
Let w = 10 + -7. Suppose 10 = 3*t + b, 5*t - w*b - 12 = -7*b. Suppose -30 - 26 = -t*h. Is 14 a factor of h?
True
Let p = 29 + -27. Suppose 0 = -4*f + 2*c + 238, f - 174 = -p*f + 3*c. Is 16 a factor of f?
False
Does 3 divide 1*-2 - (6 - 2 - 16)?
False
Let x = 5 - 3. Suppose 0 = -x*y + 8. Suppose y*o + 70 = 5*w, -2*w + 2*o = -0*o - 30. Is w a multiple of 5?
True
Let c = 26 + 45. Does 4 divide c?
False
Suppose -8*c - 32 = -12*c. Is c a multiple of 8?
True
Let n(h) = -h**3 - 8*h**2 + 9*h + 4. Let c be n(-9). Suppose 0 = -m + c*m - 45. Let d = m + -5. Is 5 a factor of d?
True
Let b = 29 - -2. Is b a multiple of 3?
False
Is 19 a factor of 2/(8/6)*44?
False
Let j(m) = m - 1. Let o(n) be the third derivative of -2*n**4/3 + 2*n**3 + 2*n**2. Let f(u) = -60*j(u) - 5*o(u). Does 10 divide f(1)?
True
Let d be (-46)/(-10) - (-2)/5. Suppose -i - 3*t - 5 = i, 0 = -5*t - d. Is 7 a factor of -7*(0 - i - 2)?
True
Let i = 6 + -4. Let n = 23 + -45. Is n/6*(i - 11) a multiple of 11?
True
Suppose -3*b - 24 = -7*b. Suppose z + 23 = 5*p + 2*z, 0 = -2*z + b. Does 3 divide p?
False
Suppose 9 = -5*l + 34. Let m = 9 + l. Suppose -9 = -k + m. Is 23 a factor of k?
True
Let c(f) = f**3 + 4*f**2 - 2*f - 5. Let q be c(-4). Suppose -q*v + 2*v + 11 = 0. Is v a multiple of 3?
False
Suppose n + 2 - 47 = 0. Is 15 a factor of n?
True
Let b(f) = f**3 - f**2 - 6*f + 3. Let y be b(5). Let h = y + -7. Is h a multiple of 30?
False
Let q(a) = a**2 - 14*a + 9. Is q(14) a multiple of 9?
True
Suppose -4*v + 150 = v. Is 6 a factor of v?
True
Suppose 0 = -5*c + d + 45, 2*c - c - 20 = -2*d. Does 5 divide c?
True
Let v be 2/9 + (-909)/81. Let i(t) = t**3 + 12*t**2 + 9*t - 16. Is i(v) a multiple of 6?
True
Let l(y) = y**2 - 9*y - 14. Let c be l(11). Suppose m = 3*h - c, -2*m = 4*h + m + 11. Is 20 a factor of (240/6)/(h/1)?
True
Let q(a) = 6*a - 13. Is 47 a factor of q(10)?
True
Let s = -22 - -31. Is 6 a factor of s?
False
Suppose 7*u = 3*u - 3*j + 33, 0 = 2*u + 5*j - 13. Does 3 divide u?
True
Let z = 109 + -59. Let i = z + -126. Is 7 a factor of ((-2)/(-1))/((-8)/i)?
False
Let d(a) = 5*a + 1. Is 8 a factor of d(5)?
False
Suppose 14*i - 4*i = 660. Is i a multiple of 6?
True
Let y(v) = 16*v - 15. Does 9 divide y(6)?
True
Suppose 4*j = -g - 17, 2*j - j - 10 = -5*g. Does 25 divide (j/(-10))/(1/58)?
False
Let m(n) = n**2 + 2*n + 1. Let g be m(-4). Let y be 3/g*3 - -2. Is -3*(2 - 21/y) a multiple of 15?
True
Let q(y) = -25*y - 21*y + 44*y - 1. Does 7 divide q(-4)?
True
Suppose 0 = 4*l - 2*l - 6. Suppose -z - l*z = 0. Suppose z = 4*s + s - 190. Is s a multiple of 19?
True
Let x be (2 - 3)/1 - -1. Suppose x = -d + 22 - 1. Does 10 divide d?
False
Let z = 193 + -91. Suppose 2*m = -2*b + 42, 2*m = -5*b - 0*m + z. Suppose 0*r - b = -r. Is 14 a factor of r?
False
Is (3/(-2))/((-2)/20) a multiple of 4?
False
Suppose -2*l + 0 + 21 = 3*b, -2*b = 2*l - 16. Suppose 0 = 2*h - h + 4*v + 4, -4*h + 28 = b*v. Is h a multiple of 12?
True
Let j be -2 - (-1 - (2 + 0)). Suppose 4*t = -4*h + 20, 2*h = -4*t - j + 13. Suppose -5*w + 43 = -h*w. Is w a multiple of 13?
False
Let r = -1 + -2. Let y(n) = -n**3 - 2*n**2 + 2*n - 2. Let q be y(r). Does 10 divide 8/6*15/q?
True
Suppose -4*y = -360 - 444. Is 36 a factor of y?
False
Let b(c) = c**3 + 10*c**2 + 9*c. Let x be b(-9). Let h = 1 + 3. Suppose x*g - h*g + 56 = 0. Is 14 a factor of g?
True
Is 8 a factor of (48/(-10))/((-45)/150)?
True
Suppose 9*c - 23*c = -1190. Is c a multiple of 13?
False
Let l(d) = -72*d - 2. Let v be l(4). Let w be 1 - v/2 - 2. Suppose 0*o + w = 4*o - 5*p, -p = o - 36. Is 13 a factor of o?
False
Let o = 1 + 3. Suppose o - 9 = -v. Is v a multiple of 5?
True
Let d(j) = -j**2 + 6. Let y be d(0). Is 3*1 + y/3 a multiple of 5?
True
Let y(u) = 12*u**2 - 4*u + 8. Is 48 a factor of y(2)?
True
Suppose -4*p = 2*x - 468, 3*x - 714 = -6*p + 4*p. Is 16 a factor of x?
True
Suppose m - 26 = -0*h - 4*h, -2*h - m = -12. Let j = -1 + 2. Suppose -k = j - h. Is k a multiple of 3?
True
Let d be ((-1)/(-2))/((-1)/(-86)). Suppose 0 = 2*v - 3*r - 50, -3*v + r + 18 + d = 0. Does 9 divide v?
False
Let q(g) = -g + 6*g - 2*g - 2. Suppose 0 = 4*p - 2*p - 12. Is 16 a factor of q(p)?
True
Let r(z) = z**3 + 6*z**2 + 3. Does 14 divide r(-5)?
True
Suppose -8 = -4*w, -3*y + 4*w = -21 - 16. Is y a multiple of 4?
False
Let i be 2/(-9) - (-272)/9. Is (6/(-10))/((-2)/i) a multiple of 4?
False
Suppose 3*n + 196 = 4*l + 5*n, -l + 47 = n. Suppose 2*b + 17 = l. Suppose -o = -8 - b. Is 10 a factor of o?
False
Suppose 2*j + 8 = 4*j. Suppose 5*o + 4*c = 160, o - 4*o + 64 = -j*c. Does 12 divide o?
False
Suppose -2*k = -30 + 4. Is 9 a factor of k?
False
Suppose -4*t + 3*t + 22 = -4*v, 0 = 3*t - v - 110. Let j = -14 + t. Is 6 a factor of j?
True
Suppose p + 523 = -5*d, 4*d + 161 = 2*p - 249. Let w = d + 167. Is 21 a factor of w?
True
Suppose -h + 76 = -4*j, 4*h - 2*j - 221 = 69. Is 10 a factor of h?
False
Suppose 20 = r - 150. Is 10 a factor of r?
True
Let y be 145/15 - (-2)/(-3). Let o be 6/4*12/y. Suppose -o*n + 44 = -0*n. Is n a multiple of 8?
False
Let o(m) = m**2 + 10*m + 2. Let r be o(-10). Does 13 divide (2 - -48) + r + 2?
False
Does 8 divide 78/6 + 0 + -1?
False
Let s = 7 + -20. Let r = 27 + s. Is 14 a factor of r?
True
Suppose 0 = l - 2*l + 5. Suppose 2*o = -l*b + 2, 5*b - 2*o = -2 - 0. Let n = b + 4. Does 2 divide n?
True
Suppose 4*k + 5*p - 36 = 0, -p = -3*k + 5*k - 12. Suppose -31 = -4*m - g, g + 21 = 4*m - k. Is 5 a factor of m?
False
Let q(g) = 2*g + 3. Let y be q(-2). Let a = 0 + y. Does 3 divide a/(-6) - (-46)/12?
False
Let b(p) = 8*p. Does 24 divide b(9)?
True
Suppose 2 = -2*a + 3*a. Suppose 4*z - 188 = -4*c, 121 - 48 = a*z - 5*c. Is 22 a factor of z?
True
Let n be 1*2*(-2)/(-4). Let c = 1 + n. Suppose 35 = c*a - a. Is a a multiple of 15?
False
Let a(p) = p + 4. Let w be a(-3). Is (w + -16)*(-9)/9 a multiple of 15?
True
Let q(f) = 296*f**2 + 8*f + 1. Does 10 divide q(-1)?
False
Suppose -5 = -3*d - 2*d. Suppose 2*z + d = 71. Is 18 a factor of z?
False
Does 12 divide (-1 - 5)*(-15 + 13)?
True
Let z(s) = -8*s + 3. Is 9 a factor of z(-3)?
True
Let b(q) = q**3 - 4*q**2 + 3*q - 2. Let o be b(3). Let r = o - -7. Suppose r*y - 69 = 31. Does 10 divide y?
True
Let c(p) = -67*p**2. Let h be c(-1). Let x = -48 - h. Is 12 a factor of x?
False
Let s(k) = -k**2 - 11*k + 19. Is s(-10) a multiple of 15?
False
Suppose -220 = -4*a + 140. Is 23 a factor of a?
False
Let y = 277 + -165. Is y a multiple of 34?
False
Let u(j) = j**3 + j**2 - 12*j + 9. Does 41 divide u(4)?
True
Let z(b) = -19*b - 36. Is z(-9) a multiple of 9?
True
Let u = 87 + -47. Is (15/(-2))/((-6)/u) a multiple of 17?
False
Let i(x) = -3*x + 9. Let b be i(5). Let q = 7 - b. Does 13 divide q?
True
Let l = -3 - -5. Let p be (l + -3)/((-2)/198). Suppose 5*b + 4*y + 17 = p, -5*y - 10 = 0. Does 17 divide b?
False
Suppose 0 = 5*c - 4*c + 3, c = -b + 19. Is 9 a