- q + 12. Is 8 a factor of k?
True
Let g(p) = 26*p**3 + p**2 - p - 2. Let q(a) = -26*a**3 - a**2 + 2*a + 3. Let x(o) = -3*g(o) - 2*q(o). Let d be x(-1). Let i = d - 15. Is i a multiple of 3?
False
Suppose 23 = 4*t + 2*p - 115, 3*t - 126 = 3*p. Let l = -25 + t. Suppose 2*c + 5*g = -2*c + 2, -2*c + 3*g + l = 0. Is c even?
False
Suppose -5*a + 20 = -3*p - 10, -a - 3*p - 12 = 0. Let v(h) = 2*h**2 + 3. Does 7 divide v(a)?
True
Does 3 divide (4/6 - 0)/(30/855)?
False
Suppose 2*s + 69 = -l + 6, 0 = -2*s - 2*l - 68. Let u = s + 58. Let n = -13 + u. Is n a multiple of 6?
False
Suppose -d + 22 + 14 = 0. Is (d/(-10) + 2)*-20 a multiple of 9?
False
Let h(g) = g**2 - g. Let z be h(2). Suppose z*x = -2*x + 8. Suppose x*n - 168 = -2*n. Is n a multiple of 14?
True
Let l(w) = -w + 2. Is l(-19) a multiple of 3?
True
Let o(x) = 2*x - 6. Let m be o(6). Let u be 2/(-7) - m/(-21). Suppose 0 = -u*i + 4*i - 32. Does 4 divide i?
True
Let m(l) = l**2 - 5*l - 9. Does 27 divide m(-4)?
True
Let q(j) = -j**3 - 8*j**2 + 2*j + 7. Let c be q(-8). Let w be c/(-2)*12/(-9). Let d = w + 11. Is 5 a factor of d?
True
Suppose -55 + 7 = -2*t. Is 12 a factor of t?
True
Let v(t) = t**2 + 2*t + 3. Does 6 divide v(-5)?
True
Suppose -u + 45 = y, y + 0*u - 39 = 2*u. Is 13 a factor of y?
False
Let d be (-54)/((-5)/(-2) + -1). Let o = 68 + d. Is o a multiple of 8?
True
Let d = 199 - -17. Is d a multiple of 24?
True
Let q(y) = y**3 - y + 8. Let a be (0 - 0)/(0 - -1). Is 8 a factor of q(a)?
True
Let b(g) = -g**2 - 11*g + 43. Does 17 divide b(-13)?
True
Suppose 3*t - 2*t - 30 = 0. Does 15 divide t?
True
Let t = 55 - 33. Does 11 divide t?
True
Let f = -28 - -48. Suppose u = 6*u - f. Suppose 0 = -u*q + 20 - 0. Is q a multiple of 5?
True
Let i = 293 - 103. Does 27 divide i?
False
Does 2 divide 1/(-3) - (-5 - 32/(-12))?
True
Let j(p) = -p**3 + 23*p**2 + 30*p + 3. Does 15 divide j(24)?
False
Suppose 0 = -4*f + 2*f + 116. Is f a multiple of 12?
False
Suppose 5*k = 4*k + 5*c + 73, 187 = 4*k + c. Is 24 a factor of k?
True
Let f(l) = -l**2 + 4*l + 3. Let r be f(5). Let v be 2*-1*r + 0. Is 8 a factor of ((-15)/v)/(4/(-16))?
False
Suppose 5*w - 3*w = 6. Suppose r + r + w*b - 59 = 0, -2*r + 2*b = -54. Does 19 divide r?
False
Is (1 - 1 - 6/(-12))*112 a multiple of 7?
True
Suppose 0 = -2*r + 3*t + 17, r + 3*t = 6*r - 29. Suppose 0 = -0*h - r*h + 144. Does 12 divide h?
True
Let z = -21 + 45. Is 12 a factor of z?
True
Let y be (-6)/(-2*(-2)/(-4)). Let t be y/(-1)*4/(-6). Suppose 4*x - 76 = -5*o, 2*x - t*x + 24 = -o. Does 14 divide x?
True
Suppose -3 = -2*j - 1. Is (1/j)/(2/44) a multiple of 11?
True
Suppose 4*w + 0*w + 3*x - 13 = 0, 2*w = -2*x + 4. Is (-22)/(-5)*(w - 2) a multiple of 12?
False
Let f(s) = 4*s**2 + 1. Let v be f(-1). Suppose -v*t - 1 - 29 = -4*z, -5*t - 35 = -5*z. Is z a multiple of 3?
False
Suppose -o - 3*k + 3 = -2*k, -4*o = 2*k - 14. Let q be (-20)/6*186/o. Let x = -111 - q. Is x a multiple of 18?
False
Suppose -2*w = -2*s - 8, -4*s + 3*s - 1 = 0. Suppose z + 7 = 3*f, 0 = -f - w*z + 23 - 4. Suppose 5*j + 19 = -f*i + 124, 5*i = 3*j + 122. Is i a multiple of 14?
False
Suppose 0 = 4*m + 756 - 2132. Suppose -5*f - 4*y + 338 = 0, -4*f + m = f + 2*y. Is 25 a factor of f?
False
Let b(w) be the first derivative of 11*w**3/3 - 3*w**2/2 + 3*w + 4. Does 11 divide b(2)?
False
Let m(i) = -i**3 + 14*i**2 - 9*i - 12. Let f be m(13). Suppose 0 = -17*b + 21*b - f. Is b a multiple of 10?
True
Let i = 23 + 36. Is 24 a factor of i?
False
Suppose 0 = -a - 6 - 37. Let w = 20 + 46. Let p = a + w. Is p a multiple of 10?
False
Let c be (-6 - -2)/((-1)/(-2)). Is 7 a factor of (c/(-1))/(3/12)?
False
Suppose 0*g + 8 = 2*g. Suppose 0 = -2*w + 4 + g. Does 3 divide w?
False
Suppose 0*i - 12 = -3*i. Suppose 3*p - p + 47 = y, -4*y + 164 = i*p. Let j = y - 5. Is 13 a factor of j?
False
Let l = 0 - 10. Does 4 divide ((-5)/l)/((-1)/(-10))?
False
Let l = -11 + 45. Let v = -2 - 2. Let j = v + l. Is 15 a factor of j?
True
Let w(j) = 3*j**2 - j - 1. Suppose 0*x + 2 = x. Suppose 5*d - x*d = -6. Does 13 divide w(d)?
True
Let y = 8 - -48. Is 14 a factor of y?
True
Is (-1)/2 - (237/(-2) - -7) a multiple of 11?
False
Let h = 5 - -16. Suppose 3*a = -6*m + m - h, 33 = -5*m + a. Does 2 divide 2/((-6)/9) - m?
False
Suppose -60 = -2*h - 8. Suppose 4*o - 60 = -2*z, 6*o - 4*o - h = z. Is 4 a factor of o?
False
Let d(y) = -y + 13. Is d(6) even?
False
Let s(i) = -i**3 + 11*i**2 - 8*i + 13. Is s(10) a multiple of 17?
False
Suppose 6 - 2 = -4*s. Let h = s + 6. Suppose 0*y + h*y = g - 37, -3*y + 61 = 2*g. Does 12 divide g?
False
Let s(f) = -f**3 + 4*f**2 + 2*f - 6. Let m be s(4). Suppose -m*o = -313 + 109. Suppose -5*b = -b - 2*g - o, -2*b - 4*g = -56. Is b a multiple of 13?
True
Let v be (0/(-2))/(-1)*-1. Suppose -2*j = -0*j - 8. Suppose v*c = j*c - 160. Is c a multiple of 19?
False
Let i(y) = 10*y + 5. Let l(z) = -5*z + 3*z + z. Let b(d) = -i(d) - 4*l(d). Is b(-6) a multiple of 11?
False
Suppose 0 = -3*j + t + 152 + 15, 0 = 5*j - 3*t - 273. Suppose d = -d - 82. Let g = j + d. Is 15 a factor of g?
False
Suppose 0 = -5*o - v + 181, -o = -4*v - 13 - 19. Does 4 divide o?
True
Is (-18)/81 + (-112)/(-18) a multiple of 2?
True
Let z = -821 - -1359. Suppose -z + 162 = -3*g - 4*o, -2*g = -5*o - 289. Suppose -123 = -4*x - c, g = 4*x + 2*c + 2*c. Is x a multiple of 13?
False
Suppose 895 = 7*g + 6. Is 37 a factor of g?
False
Does 14 divide (28/(-10))/(8/(-140))?
False
Let l = -66 + 95. Does 6 divide l?
False
Suppose -325 = 6*m - m. Let k = m + 111. Is k a multiple of 25?
False
Does 9 divide 120/(-25)*(-20)/3?
False
Let y(r) = 3*r + 6. Let d be y(-5). Let o(p) = p**2 + 8*p - 7. Let a be o(d). Does 7 divide a/(-5) + 222/30?
True
Let g(k) = -k**3 + 6*k**2 + k + 1. Let c be g(6). Is 16 a factor of 158/c - 9/(-21)?
False
Let k(c) = -c**2 - 12*c + 7. Let o be k(-8). Is 17 a factor of (-102)/(-5)*130/o?
True
Let g = 52 + 20. Is g a multiple of 14?
False
Suppose -3*n = -5*n + 6. Suppose 3*t + 24 = 4*p + 2*t, 4*p - n*t = 32. Is ((-4)/2)/(p/(-55)) a multiple of 11?
True
Suppose -n + 5*l - 7 = 0, 20 = 4*n - 2*l - 42. Is 9 a factor of n?
True
Let z(v) = -4*v. Is 2 a factor of z(-1)?
True
Let c = 23 + -7. Suppose l + c = 3*l. Is l a multiple of 8?
True
Let y = -374 + 540. Let h = y + -94. Is h a multiple of 12?
True
Let k = -4 + 10. Suppose 2*t - k - 40 = 0. Is t a multiple of 6?
False
Let f(l) = -l**3 - l**2. Let y be f(-2). Suppose -142 = -5*v - 2*u, -5*u + 36 = y*v - 64. Is v a multiple of 15?
True
Let h be (-1 + 0 + -2)/(-1). Suppose 3*f + 4*i = 54, 0 = -i - 0*i + h. Does 14 divide f?
True
Suppose -4 = 4*f - 0. Let n = -13 + f. Is 3 a factor of (n/(-6))/(6/18)?
False
Suppose -2*g + 106 = 20. Is g a multiple of 12?
False
Let z(b) = b**3 + 13*b**2 + 7*b + 18. Is z(-12) a multiple of 5?
False
Let z be (-6 + -4)*2/(-4). Suppose -5*i + z = -10. Suppose -i*b + 5*a + 3 = 13, -30 = -3*b - 3*a. Does 5 divide b?
True
Does 16 divide (-1)/(-1*1/32)?
True
Is ((-13391)/(-56) - 2/16) + 4 a multiple of 27?
True
Let y = 3 - 9. Let d be 16/6 + 4/y. Suppose -x + 1 = -3*q, 2*x + 7*q - d*q = 24. Is x a multiple of 3?
False
Suppose 3*r + 51 - 12 = 0. Let h(o) = o**3 + 14*o**2 + 11*o - 18. Is h(r) a multiple of 8?
True
Let w(v) = 5*v**3 - 3*v**2 - v + 2. Let k(n) = -6*n + 1. Let a be k(1). Let t(s) = -s**2 - 6*s - 3. Let u be t(a). Is 10 a factor of w(u)?
False
Let c(a) = -a + 12. Let p be c(9). Suppose p*t - 5*m = 65, 5*t = -2*m + 77 + 83. Does 15 divide t?
True
Let c(i) = -i + 15. Let g(t) = t - 3. Let l be g(5). Suppose l*m = 3*m. Is 4 a factor of c(m)?
False
Does 4 divide 7/((-84)/(-8))*90/4?
False
Does 17 divide (4 - -71) + 0 + 2?
False
Let f(c) = -62*c - 11. Is 4 a factor of f(-1)?
False
Let u(w) = -w + 4 - w**2 + 3*w - 3*w + 0*w. Let x = 0 - 0. Does 3 divide u(x)?
False
Is (-3 - 646/(-8)) + 2/8 a multiple of 39?
True
Let x be (-44)/(-3) - (-2)/(-3). Let r be (-5)/(-15) + x/3. Suppose 3*y = -2*c + 27, -y - 18 = -r*c + 58. Is 15 a factor of c?
True
Let m(k) = -k**3 + 3*k**2 + 4*k - 3. Suppose -u = 2*u - 9. Is m(u) a multiple of 3?
True
Suppose -18 = 2*a - 4*r, -r + 6 + 0 = -2*a. Does 9 divide 15*((-24)/(-15) + a)?
True
Let y(b) = 5*b - 5. Let c be y(2). Suppose 2*p - c*p + 72 = 0. Does 24 divide p?
True
Suppose 4*n - 44 = -s, -5*s = n - 11 - 19. Suppose -3*c + 34 = n. Is 3 a fact