n) = -n - 2. Let k be (-12)/5 - 2/(-5). Let j be z(k). Suppose j = 5*u - 96 - 44. Is u a multiple of 11?
False
Let g(d) = -d**2 - 16*d - 11. Is g(-10) a multiple of 26?
False
Let f = 6 - 3. Let c = f - 3. Suppose -2*t + 17 - 3 = c. Does 6 divide t?
False
Suppose 2*q + 3*q + 55 = 3*d, 5*q + 10 = 0. Is 5 a factor of d?
True
Let o(v) = 1 + 10*v**2 + 7*v**2 - 7*v**2. Is 10 a factor of o(1)?
False
Suppose -l - 2*s = -70, -5*l + 424 = -5*s + 149. Is l a multiple of 5?
True
Suppose 4*t - 2*t = -3*d - 26, d + 7 = t. Suppose -2*c = -5*p - 57, 0 = -p - 0*p + 5*c + 7. Let y = d - p. Is y a multiple of 5?
True
Let x(u) = u**2 + 7*u - 15. Does 8 divide x(-12)?
False
Suppose 4*q - 860 = -y, 5*q - 880 = q + 4*y. Is 12 a factor of q?
True
Suppose -2*n - 2*d = -0*n, -3*n = -d + 12. Let s be n/((-1)/34*-2). Let b = s + 88. Does 14 divide b?
False
Let k be 8/(-1)*2/(-4). Suppose -k*b - 5*g + 117 = -0*b, 0 = 3*b + 4*g - 89. Is b a multiple of 23?
True
Let x(l) = -l**2 + 18*l - 12. Is 12 a factor of x(13)?
False
Let m(a) = 3*a**2 + 3*a. Let q be ((-8)/6)/((-3)/9). Let u be m(q). Let i = u + -32. Does 14 divide i?
True
Let q(s) = -24*s + 51. Let k(w) = -6*w + 13. Let y(j) = 15*k(j) - 4*q(j). Let x be y(6). Suppose 3*c - x - 57 = -3*a, 80 = 4*a - 4*c. Is 15 a factor of a?
False
Let z(k) = k**2 + 15*k + 32. Is z(-14) a multiple of 15?
False
Suppose 4 = 2*m - 42. Suppose -2*l + 25 = -m. Is 12 a factor of l?
True
Let n(p) = p**3 - 4*p**2 + 2*p + 3. Let l be n(3). Suppose l = -2*m + 5*m. Suppose m = -u - 4*u + 55. Is 11 a factor of u?
True
Let q be 70/5*(-6)/(-4). Suppose q = 4*g - 87. Does 11 divide g?
False
Suppose 2*t = -3*k + 281, -2*t = k - 6*k - 321. Does 37 divide t?
True
Suppose 3 = 5*u - 37. Suppose 0*o + 2*o - u = 0. Does 17 divide 90/o + (-4)/8?
False
Let q(d) = -d + 6. Let m be q(6). Suppose m*t = 3*t - 63. Does 8 divide t?
False
Let v(r) = -r + 1. Let q(t) = t + 5. Let p(i) = -q(i) + 6*v(i). Let k be p(-1). Suppose k = 5*f - f. Does 2 divide f?
True
Suppose -3*w + 10 - 49 = 0. Let n = w + 31. Is 11 a factor of n?
False
Suppose -5*s + j + 21 = 0, 0*j = -2*s + j + 6. Does 4 divide s?
False
Suppose 16 + 9 = 5*u. Suppose 9 = -3*z + 2*y + y, -5*z - 15 = u*y. Is 19 a factor of z/9 + 460/12?
True
Let i(x) = -x**3 - 5*x**2 + 4*x + 5. Suppose -2*y - 17 = -3*d - 4*y, 4*y - 7 = 3*d. Suppose 0 = -0*j + d*j + 2*c + 10, 5*c = 4*j + 44. Does 12 divide i(j)?
False
Suppose 5*u - 20 = 5*b - 120, 0 = -4*u + 4. Does 7 divide b?
True
Let a(k) = k**3 - 2*k**2 - 6*k + 4. Is 6 a factor of a(4)?
True
Let o(c) = -2*c**3 + 2*c - 27. Let g(u) = 5*u**3 - 5*u + 55. Let q(f) = -f**2 - 3*f + 1. Let m be q(-4). Let y(k) = m*g(k) - 7*o(k). Is y(0) a multiple of 12?
True
Does 18 divide 5/20 - 350/(-8)?
False
Let k = 2 - 0. Suppose 5*f - 4*i - 19 = 0, 0 = -k*f + 5*i - 8 + 2. Is 7 a factor of f?
True
Let i(z) = 3*z**2 - 1. Let x be i(1). Suppose d + x*d = 0. Let g = 9 - d. Does 5 divide g?
False
Let h be (-4)/(-3 - 37/(-13)). Suppose -3*a - 5 = -h. Is a a multiple of 4?
False
Suppose 0 = -3*p + 4*g + 316, 2*g - 3*g - 105 = -p. Is p a multiple of 13?
True
Let r(j) = -j - 1. Let b(x) = -x - 32. Let w(h) = -b(h) + 2*r(h). Is w(0) a multiple of 13?
False
Suppose -4*q + 11 = -9. Suppose -4*z + d = -132, -2*d + 76 + 89 = q*z. Is 11 a factor of z?
True
Let l = -42 - -56. Does 7 divide l?
True
Let v(i) = -i**2 + 6*i - 1. Let j be v(5). Suppose j*m = -k + 11, -m + k - 3*k = -1. Is 3 a factor of m?
True
Suppose -39 = -6*r + 351. Is 12 a factor of r?
False
Suppose 4*o - 18 = -b, -2*b = o + 2*o - 11. Suppose -o*v + 2*n - n + 106 = 0, -3*v + 4*n + 50 = 0. Is 18 a factor of v?
False
Let y = -9 - -13. Does 3 divide y?
False
Let t(l) = 6*l - 30. Is t(16) a multiple of 11?
True
Suppose 5*j - 3 = 17. Suppose j*b - b = 45. Is b a multiple of 8?
False
Suppose -4*d + 6 = -14. Let k be (d/(-2))/((-6)/12). Suppose -w + k*w - 148 = 0. Is w a multiple of 14?
False
Suppose 0*i = 2*i + 2*r + 4, 5*i + 2*r + 1 = 0. Let u(w) = i + w**2 + 2 - 5*w + 4. Is u(9) a multiple of 11?
False
Is 4 a factor of (136/16)/(2/4)?
False
Suppose t - 2*t + 4*p - 14 = 0, 17 = -4*t + 3*p. Let y = 7 - 4. Does 15 divide 32 - ((-6)/y - t)?
False
Let c(b) = 2*b - 3. Let x be c(3). Suppose 3*u + 3 + x = 0. Is 15 a factor of 31 + (1*u)/2?
True
Suppose 218*q - 212 = 216*q. Is q a multiple of 57?
False
Suppose 2*g = -g - 27. Let t(x) = x**3 + 7*x**2 - 2*x + 12. Let b(d) = -3*d**3 - 20*d**2 + 7*d - 36. Let s(v) = 2*b(v) + 7*t(v). Is 12 a factor of s(g)?
True
Let y = 70 - -108. Suppose -n - y = -3*n. Is 29 a factor of n?
False
Let u = 196 + -131. Let r = -42 + u. Suppose 0 = 4*v - 71 + r. Does 12 divide v?
True
Suppose -4*i = 5*b - 793, i + i = -3*b + 475. Does 13 divide b?
False
Let q(k) = k**3 + 6*k**2 - 5*k + 2. Let l be q(-4). Suppose 0 = 2*z - l + 4. Is 11 a factor of z?
False
Is 35 a factor of (-2)/(-3)*(-1050)/(-4)?
True
Let s be (-114)/(-7) - (-10)/(-35). Is 21 a factor of (21/(-4))/((-4)/s)?
True
Suppose -2*h = -2*c + 5*c - 102, -4*h - c + 184 = 0. Does 15 divide h?
True
Let q = 5 + -3. Suppose -q*n - 65 = 41. Let o = n + 75. Is o a multiple of 11?
True
Let q be ((-35)/4)/((-6)/384). Suppose -q = -6*v - 134. Is v a multiple of 13?
False
Let h = -82 - -38. Let w = h - -62. Is w a multiple of 18?
True
Suppose -12 = 4*k + 4*c, -k + 3 = -c - 0. Let s be 11*(-1 - k) - -3. Let n = 12 + s. Is n a multiple of 2?
True
Let j be 75/(-27) + (-4)/18. Let f = j + 8. Is f a multiple of 4?
False
Suppose -84 = -13*u + 10*u. Is 14 a factor of u?
True
Suppose -6*j + 90 + 18 = 0. Is 16 a factor of j?
False
Let d(r) = r - 6. Let z be d(3). Let v(n) = n**3 + 4*n**2 - n. Is v(z) a multiple of 4?
True
Suppose 17*b = 24*b - 735. Is b a multiple of 7?
True
Let l(n) = 51*n**2 + n. Let g be l(1). Suppose 4*j = -0*j + 20. Suppose 24 = f + 2*i, -j*f + 4*f = -5*i - g. Does 16 divide f?
True
Let o be 0 + 1 - (-8)/4. Suppose o*a = -7 - 92. Let f = a - -54. Is 13 a factor of f?
False
Let b(r) be the second derivative of 2*r + 0 + 5/6*r**3 + 1/2*r**2. Does 11 divide b(2)?
True
Suppose 10*v - 6*v = 0. Suppose v = -q - 2 + 38. Is 12 a factor of q?
True
Let s = 143 - 79. Is 22 a factor of s?
False
Let n(w) = -2*w + 13. Let r be n(10). Let g = -3 - r. Is 2 a factor of g?
True
Let p be -3 + (-80)/(1 + -3). Let z = -14 + p. Is 6 a factor of z?
False
Is 3/6 - (-291)/6 a multiple of 15?
False
Suppose 0 = 5*u - 2*u - 36. Suppose 2*c - 6*c + u = 0. Is 3 a factor of c?
True
Let f be 251/3 + 8/(-12). Let j = f - 59. Let i = -8 + j. Does 8 divide i?
True
Does 3 divide (-3 + (-6)/4)*(0 - 2)?
True
Let a be (-10)/(-4)*(-2)/(-1). Suppose -5*p = a*s - 25, -s + 7 = -p + 4*s. Is p even?
False
Suppose -3*b + 63 = -57. Is 6 a factor of b?
False
Suppose -6*n - n + 182 = 0. Is 5 a factor of n?
False
Let f = -19 - -2. Let a = f + 26. Is (6/a)/((-1)/(-3)) a multiple of 2?
True
Let n be 20/5 - (-1 + 1). Suppose -4*r + 2 = -2, r = -n*v + 13. Does 3 divide v?
True
Does 10 divide -52*(-2 + 6/4)?
False
Does 31 divide (1/((-10)/12))/((-6)/620)?
True
Suppose 2*t = -0*t - 2. Let b be 47*(2 - (4 + t)). Let s = b - -67. Is s a multiple of 10?
True
Let v(k) = -2*k - 3. Let t(d) = 2*d + 4. Let b be t(-3). Let q = -9 - b. Is 11 a factor of v(q)?
True
Let d = 12 + -15. Let g = 20 + d. Is 17 a factor of g?
True
Let g = 3 + -4. Let x be ((-3)/9)/(g/15). Suppose y = x*y - 12. Is 3 a factor of y?
True
Let t = 318 - 173. Does 29 divide t?
True
Let r = 0 - -3. Does 3 divide r?
True
Let m = 165 - 96. Is 4 a factor of m?
False
Let d be ((-7)/14)/(2/8). Let s be 2 + (-14 - -1)*d. Let w = s + -16. Does 12 divide w?
True
Suppose -15 = -2*t - 9. Suppose -5 = 2*d - t*d. Does 5 divide d?
True
Suppose 64 + 44 = 4*p. Is p a multiple of 9?
True
Suppose -3*l - 78 - 852 = 0. Does 23 divide ((-16)/40)/(2/l)?
False
Let c(v) = 6*v**3 - 4*v**2 - 8*v - 15. Let z(g) = g**3 + g**2 - 1. Let t(o) = c(o) - 5*z(o). Does 5 divide t(10)?
True
Let n = 34 - -16. Suppose 0*r + 5*r - n = 0. Is 5 a factor of r?
True
Suppose t = 4*u + 2*t - 220, 4*u - 5*t - 196 = 0. Is u a multiple of 27?
True
Let r(j) = j**3 + 4*j**2 - 2*j + 8. Let g be r(-6). Let y = 20 + g. Let x = -14 - y. Is 9 a factor of x?
True
Let o(u) = 2*u + 3. Is o(3) a multiple of 9?
True
Let j(n) = 2 + 2 + 6*n**2 - 1 - n**3. Let f be j(6). Suppose f*t + 9 = 0, -30 - 24 = -3*m + 4*t. Does