x - 3*x = 19. Suppose -3*i + x = -47. Is 8 a factor of i?
False
Is 23 a factor of (-31)/62 - (-738)/4?
True
Let v(g) = -g - 1. Let p(b) = -53*b + 8. Let k(u) = -p(u) - 6*v(u). Let n be k(-2). Is 15 a factor of n/4*3/(-2)?
True
Let l(y) = -y**3 + 16*y**2 - 5*y + 2. Does 8 divide l(15)?
True
Suppose 2*k = 26 + 150. Suppose -3*n + 191 = -k. Is 31 a factor of n?
True
Suppose -2*c + 320 = 3*c. Is 16 a factor of c?
True
Suppose 0 = 6*v - 104 + 8. Does 4 divide v?
True
Suppose -132 = -5*o - o. Is o a multiple of 6?
False
Let p be ((-6)/(-4))/((-15)/(-80)). Let f = 2 - p. Is (-110)/f - 1/3 a multiple of 8?
False
Let x = -17 + 12. Let l(d) = d**2 - 8*d - 4. Let u(p) = 7*p + 3. Let i(w) = 2*l(w) + 3*u(w). Does 13 divide i(x)?
True
Suppose 0 = -3*q + 4*q. Suppose 5*n + 3 - 13 = q. Is n a multiple of 2?
True
Suppose -4*b = -4*v - 0*v + 148, 2*v - 54 = -3*b. Is 18 a factor of v?
False
Let c(y) = -2*y - 2. Let u be c(-9). Let g be ((-138)/(-8))/((-6)/u). Let s = g - -68. Does 11 divide s?
True
Let b(u) = -u - 8. Let r be b(-6). Let d be 6/4*r - -24. Is 7 a factor of d*(-3)/9*-2?
True
Suppose x = 73 - 20. Is x a multiple of 8?
False
Let a(j) = j + 8. Let f be a(-8). Suppose -g = -2*n - 17, f = -2*g - g + 2*n + 55. Does 9 divide g?
False
Let q = -20 + 23. Suppose -q*u - u + 44 = 0. Is u a multiple of 2?
False
Let n(l) = -2*l**2 + 8*l - 7. Let v(f) = 3*f**2 - 16*f + 14. Let q(b) = 5*n(b) + 3*v(b). Suppose -4*a + 6 = 34. Is q(a) a multiple of 7?
True
Let o(w) = -w**3 - 3*w**2 + 3*w + 1. Let t be 39/18 + (-2)/12. Let a be 15/(-6) + (-3)/t. Does 3 divide o(a)?
False
Let q(n) = -n**3 - n + 10. Suppose -4 = -5*a + 3*a - 2*b, 0 = 3*a - 2*b - 16. Suppose 5*p = 2*c + a, -1 = 4*p - 2*c - 5. Does 10 divide q(p)?
True
Let x(n) = -5*n**3 - 8*n**2 - 9*n + 4. Let v(r) = 4*r**3 + 8*r**2 + 9*r - 3. Let m(l) = 6*v(l) + 5*x(l). Is 2 a factor of m(9)?
True
Suppose 4*n - 37 - 47 = 0. Is (-3 + (-39)/(-9))*n a multiple of 16?
False
Let b = 227 - 162. Is 13 a factor of b?
True
Suppose 550 = -11*a + 2365. Does 15 divide a?
True
Let v be ((-19)/3)/((-3)/9). Suppose -4*d + 53 + 6 = -3*l, -v = -d + 5*l. Suppose -d = -n - 5. Is 9 a factor of n?
True
Suppose 2*v + 2 = 14. Suppose -v*y = -2*y. Suppose -3*k + 1 = 5*n - 2, y = 3*k - 2*n - 24. Is 3 a factor of k?
True
Let q be (-25)/5 + (0 - -1). Let u be q + 5 + 0 + 1. Suppose -24 = -b - 4*k, 3*b - u*k = -2*b + 186. Is 13 a factor of b?
False
Let m = -7 + 7. Suppose -4*q + 3*q + 4 = m. Suppose 4*b - 12 = -2*p, 0*b - q*b = -p + 18. Is p a multiple of 5?
True
Let l(y) = -y**3 + 4*y**2 - 5. Let s be l(3). Suppose -32 = -0*c - 2*c. Suppose s*g - 3*u + 6 - 38 = 0, -2*u = -2*g + c. Does 8 divide g?
True
Suppose 1264 = 12*w - 4*w. Does 21 divide w?
False
Suppose -5*h + 3*h = -2*d + 18, -46 = 4*h + d. Let c(t) = -4*t + 16. Is 20 a factor of c(h)?
True
Let b = 1 + -1. Suppose b = -3*p - 0*p + 90. Does 15 divide p?
True
Let d(p) = -3*p + 2. Let q be d(2). Suppose 2*w + 2*c - 10 = 0, -w + 0*w = 4*c + 4. Is w + (-2 - q/1) a multiple of 5?
True
Suppose 0 - 10 = -5*o. Suppose 2*b - 8 = -o. Suppose -b*z + z + 8 = 0. Is z even?
True
Let y = 3 - 1. Let d = y - 0. Does 12 divide 1*d/(-2)*-12?
True
Suppose 63 + 1 = -2*u. Is u*(3/12 - 1) a multiple of 24?
True
Does 5 divide (0 + 1)/(1/151)?
False
Suppose 0 = -2*u + 3*f + 5, u - 6 = 3*f - 5. Let y(l) = 22*l**2 - 3*l - u*l**2 + l - 1. Does 9 divide y(-1)?
False
Suppose l - 3 = -0. Suppose 0 = l*c - 8 - 16. Suppose 2*s - 4*d = -c*d, -4*s + 3*d + 44 = 0. Does 5 divide s?
False
Let s(f) = -126*f**3 - f**2 + 1. Does 21 divide s(-1)?
True
Let q(l) = -l**2 - 3*l - 4. Let i(o) = 4*o**2 + 9*o + 13. Let w(x) = 2*i(x) + 7*q(x). Suppose 0*z - 3*z + 18 = 0. Is w(z) a multiple of 7?
False
Let q(u) = 2*u**2 - u + 13. Does 11 divide q(5)?
False
Let g = 15 - 15. Suppose g = 3*r - 52 + 7. Is r a multiple of 6?
False
Let d(k) be the second derivative of -k**3/2 - 4*k**2 - 18*k. Let n(v) = v**2 + 6*v - 6. Let f be n(-6). Does 5 divide d(f)?
True
Suppose 0*a + 3*a - 15 = 0. Does 8 divide ((-3)/(-4))/(a/60)?
False
Let s(t) be the second derivative of 3/2*t**2 + 1/2*t**3 - 1/20*t**5 + 5/12*t**4 - t + 0. Is 18 a factor of s(5)?
True
Let r be 0 + 1 - 1*-2. Suppose 3*f - 4 - 8 = r*n, n - 3*f = -8. Is n/1 + (6 - -12) a multiple of 8?
True
Is 2 a factor of -2*(-4 + 1 + -2)?
True
Let a(w) = w**3 - w + 8. Let m be a(0). Let j = m - -1. Is 9 a factor of (2 - -10)*j/12?
True
Suppose 3 = -2*y - 11. Does 28 divide 2/y - 7670/(-91)?
True
Suppose -49 + 173 = q. Does 23 divide (q/16)/((-1)/(-4))?
False
Let p(w) = -w**3 - 10*w**2 + 10*w - 8. Let x be p(-11). Suppose x*v - 43 = -7. Is 8 a factor of v?
False
Let d(a) = a**2 - 8*a + 9. Let i be d(7). Suppose -6*u = -i*u - 4. Is u + (-2)/4*-70 a multiple of 12?
True
Let y = 5 + -3. Suppose -y*u + 3*u - 12 = 0. Does 5 divide u?
False
Suppose 0 = 3*t + t - 12. Suppose 5*g - 5 = 10. Suppose t*n + g = -x, 3*x = 2*x - 4*n - 6. Is x a multiple of 4?
False
Suppose -2*v + 10 - 4 = 0. Suppose 0*d + 2*d + 5*w + 1 = 0, 0 = -v*w - 9. Suppose 0 = u - d + 2. Is u a multiple of 5?
True
Suppose 4*u - 68 = r, r + 17 = 10*u - 9*u. Is u a multiple of 17?
True
Suppose 4*t = -2*o + 138, -153 - 15 = -5*t - 4*o. Let d(s) = 23*s - t*s - 23*s. Does 12 divide d(-1)?
True
Suppose 0 = -f - 2*f + 171. Suppose -f = -3*n - n + 5*v, 4*v - 66 = -3*n. Suppose -2*a + 52 = 4*d + 8, a - n = -3*d. Does 15 divide a?
True
Suppose -3*k + 60 = 4*d, 0 = -5*d - 4*k + 3*k + 86. Is 6 a factor of d?
True
Let z(v) = 14*v**2 + 3*v - 3. Let d be z(3). Is (3/(-2))/((-9)/d) a multiple of 6?
False
Let q = 94 - 45. Let u = 71 - q. Does 6 divide u?
False
Suppose -b + 3 = -0. Suppose 0 = -b*v + 285 - 45. Suppose 2*d = 7*d - v. Does 13 divide d?
False
Let f(i) = 3*i**2 + 4*i + 2. Let s be f(-3). Let o be (1 - 1) + 4 - 6. Let x = s + o. Does 15 divide x?
True
Let y be 230/70 + 2/(-7). Suppose 105 = 3*a + y*t, 0*t + 32 = a - 2*t. Is 18 a factor of a?
False
Let h = -33 - -21. Does 11 divide (-387)/h + (-12)/(-16)?
True
Let t be 8/3*-4*9. Let s = -60 - t. Is s a multiple of 9?
True
Let t = -620 + 347. Suppose 4*r = f - 7, -3*r - 38 = 2*f + 2*r. Does 15 divide 2/(-6) + t/f?
True
Suppose 9*f = 11*f - 32. Does 3 divide f?
False
Let i = 74 + -40. Let x(j) = -5*j**3 + 2*j**2 + 2*j + 2. Let r be x(-2). Suppose t - i = -w, -r = -2*w - t + 19. Is 12 a factor of w?
False
Let q(l) = 2*l**2 - 10*l - 16. Let w be q(12). Is 21 a factor of 3/(3*2/w)?
False
Let j = -11 + 19. Is 8 a factor of j?
True
Let g(f) = 55*f**3 - 3*f**2 + f + 1. Is 18 a factor of g(1)?
True
Suppose -3*m = -6*m + 72. Suppose -4*n = -2*n - 4*q - m, 0 = 3*q + 12. Is n even?
True
Suppose -w + a = -2 - 6, -4*a = 0. Suppose 3 + w = r. Does 11 divide r?
True
Let s = -18 - -21. Suppose -492 = -s*g - 3*g. Does 19 divide g?
False
Let l(w) = -w**2 + 20*w + 15. Let j = 12 - -3. Does 30 divide l(j)?
True
Suppose -30 = 5*i - 5*u, 2*i = -u - 4*u - 33. Let m(r) = -7*r - 5. Is 12 a factor of m(i)?
False
Let v = 12 - 14. Let o = 14 - v. Is o a multiple of 4?
True
Suppose 4*a + 12 = 0, -4 = 3*n - 4*a - 7. Is n/((-2)/(312/9)) a multiple of 13?
True
Suppose 5*f - 99 = 41. Does 7 divide f?
True
Let n be 1 + 1 - (3 + -6). Suppose 24 + 11 = n*x. Is x a multiple of 7?
True
Let u(j) = j + 2. Let x be u(0). Let p(t) = 4 - 2 + 16*t - 4. Does 10 divide p(x)?
True
Let w(u) = u**3 + 6*u**2 + 6. Let i be w(-6). Suppose f - i*f = -280. Suppose 4*k - b = f, -4*k - k - 3*b = -53. Is k a multiple of 13?
True
Suppose -5*j - c + 41 = 3*c, j - 4*c + 11 = 0. Is j a multiple of 3?
False
Let r(f) = 3*f**2 - 3*f + 3. Let k = 5 - 0. Does 21 divide r(k)?
True
Is 11 a factor of (-3)/(18/8*(-2)/39)?
False
Let i(v) = v**2 - 5*v + 3. Let j be i(10). Suppose w - j = -16. Is w a multiple of 14?
False
Suppose 74 = n + n. Let o = n + -13. Is o a multiple of 12?
True
Is 18 a factor of -11 + 74 - (0 + 0)?
False
Is 2 a factor of 0 + (1 - 4) - -8?
False
Let p(b) = -3*b + 1. Let c be p(-6). Let j = c + 11. Is j a multiple of 15?
True
Let a be (1 - -1)/(8/(-212)). Let g = 134 + -58. Let l = g + a. Is l a multiple of 15?
False
Suppose -q + 3 + 27 = 0. Is 30 a factor of q?
True
Let q(k) = -12*k**3 - k**2 - k + 1. Let d be 2 - (-3)/6*-8. Let g be q(d). Suppose -5*p + 4*h = -55, -g = -4*p - 3*h - 20. Is 8 a factor of p?
False
Let w(p) = -p + 11. Let b be w(8). 