d?
False
Suppose -216 = -0*q - 4*q + 2*j, 2*j - 270 = -5*q. Let d = q + -22. Does 16 divide d?
True
Let l be ((-8)/(-6))/(8/(-36)). Let i(m) = m**3 + 7*m**2 - 6*m + 4. Let n be i(l). Suppose -5*h + 4*v + n = v, v = -4*h + 54. Is 13 a factor of h?
False
Suppose -n + 5 - 2 = 0. Suppose -4*c + 3*q = 1, -n*c + 4 - 6 = -2*q. Is (-83)/(-2) + (-2)/c a multiple of 17?
False
Is 11 a factor of 26 - -3*8/(-6)?
True
Suppose -3 = -5*a + 2*a. Let k(q) = -1 - 4 + a + 3*q. Is k(7) a multiple of 17?
True
Let o(b) = -b**3 - 7*b**2 + 9*b + 11. Suppose -2*f - 8 = 0, -x - 3*x + 4*f = 16. Let p be o(x). Does 3 divide 10/3 - 1/p?
True
Let b = 53 + 90. Is b a multiple of 8?
False
Suppose -5*c + 145 = 5*h, 2*h - 4*c + 2*c - 54 = 0. Let i = 40 - h. Let q = i + 5. Does 11 divide q?
False
Let a be 10*(2 - 0 - 0). Let c(i) = -4*i**3 + 2*i**2 + 1. Let r be c(-2). Let u = r - a. Is 8 a factor of u?
False
Suppose 315 = s + 5*q - 69, 3*s - 4*q - 1076 = 0. Is 13 a factor of s?
True
Suppose j = 2*j + 2*d - 4, 2*j + d - 2 = 0. Suppose j = -3*g - 5*p + 135, -g = -0*g + 5*p - 45. Does 27 divide g?
False
Suppose f + 4 = 2*f, -x + 4*f = -28. Let i = x - 24. Suppose 3*n - 5*n = -i. Is n a multiple of 7?
False
Let o be 1 - 0 - (-2)/(-2). Suppose -2*y + y - j + 30 = 0, o = 3*j - 9. Is y a multiple of 10?
False
Let y = 91 - -56. Is y a multiple of 21?
True
Let a(k) = -k + 4. Let n be a(6). Does 2 divide n*-2*3/3?
True
Suppose u - 5*g - 4 = 9, 127 = 4*u + 5*g. Let a = 46 - u. Is 9 a factor of a?
True
Suppose -3*h + 14 = -0*h - 2*o, 20 = 4*h - 4*o. Suppose -a = -0*a - h. Is 3 a factor of a?
False
Let z(i) = -5*i**3 + 6*i**2 - 3*i - 7. Let b(c) = 9*c**3 - 13*c**2 + 5*c + 13. Let m(r) = -4*b(r) - 7*z(r). Is m(10) a multiple of 7?
True
Let c = 10 - 3. Let o = c + 9. Is o a multiple of 8?
True
Suppose -2*y = -3*y + 132. Suppose s - y = -s. Does 22 divide s?
True
Let f(z) = 3*z**2. Let a be (-9)/(-6)*(-10)/(-5). Is f(a) a multiple of 27?
True
Let n = 4 + 1. Suppose -2*k = n*a - 118, 0*a - 3*k = -3*a + 75. Is 12 a factor of a?
True
Let a be (4/4 + -5)*-2. Is ((-124)/16)/((-2)/a) a multiple of 11?
False
Let m = -8 + 8. Let b(o) = o**3 - o**2 + 14. Let n be b(m). Let q = n - -22. Does 17 divide q?
False
Let m(i) = -2*i + 3. Let p be m(3). Let b = 0 - p. Suppose -2*z = -3*h - 34, -b*z + 18 + 30 = -3*h. Is 14 a factor of z?
True
Suppose 0 = 2*r - q - 160, -4*r - 5*q + 124 = -196. Does 20 divide r?
True
Suppose 5*v - 14 = 201. Is v a multiple of 9?
False
Let l = 8 + -5. Let h(k) = -2*k - 11. Let x be h(-6). Is x + 3/l*15 a multiple of 12?
False
Suppose -3*u = h - 49, -u + 2*h - 7*h - 7 = 0. Suppose -2*p + 6 = -6. Suppose 3*b = p*b - u. Is b a multiple of 6?
True
Let a = 8 - 8. Suppose s - 3*s + 48 = a. Does 9 divide s?
False
Let f(c) = -2*c**2 + 4*c + 2 + 4*c**2 + 6*c**2. Suppose 0 = -5*w + 2*t - 6 - 10, -3*w = 2*t. Does 13 divide f(w)?
True
Suppose -74 = -4*b + f, 0 = -4*b + f - 3*f + 80. Is b a multiple of 8?
False
Let x(j) = 2*j**2 + 8*j - 3. Let r = 76 - 111. Let v be r/6 - 8/48. Is x(v) a multiple of 8?
False
Let y(f) = 9*f - 3. Let z be y(2). Is 12 a factor of (z - (-1 - -1)) + -3?
True
Suppose -6*j = -5*j - 9. Is 2 a factor of j?
False
Suppose 35 = 4*r - 73. Suppose -4*g - 3*p = 0, 2*p = -5*g + 5*p - r. Does 10 divide (10/3)/(g/(-9))?
True
Let v(w) = -4*w**2 + w**3 - 2*w + 2*w**2 + 1 + 0*w + 0*w. Is v(4) a multiple of 12?
False
Suppose 0*m - 54 = -m. Suppose -5*f + 8 = -h, -2*f = -2*h - 0*f. Suppose y - m = -h*y. Is 9 a factor of y?
True
Suppose 4*h + k + 0*k - 135 = 0, 0 = -4*h - 4*k + 132. Is 17 a factor of h?
True
Let y = 9 - 5. Suppose 6*x = 4*x - 2*q - 20, y*x = 2*q - 10. Let g(k) = k**2 - 7. Does 5 divide g(x)?
False
Suppose -134 = 35*c - 37*c. Is 18 a factor of c?
False
Let c(p) = -p**3 + 8*p**2 - 5*p - 7. Let n = 3 + 4. Is c(n) a multiple of 6?
False
Let m = 2 + 22. Does 8 divide m?
True
Let m(w) = 3*w**3 - 2*w**2 + 5*w - 3. Let j be m(4). Suppose 0 = -5*i + 3*c + j, -c = 4*i - 3*i - 29. Is 13 a factor of i?
False
Let c = 6 - -51. Does 15 divide c?
False
Let z be (0 - -4) + (0 - 2). Suppose -z*d + 80 = -4*y, -2*y - 112 = -3*d + 4. Does 26 divide d?
False
Let m = 41 + 7. Does 8 divide m?
True
Let a(q) = -5*q - q + q + 0*q. Is 5 a factor of a(-1)?
True
Suppose -5*l + 6 = -5*d + 4*d, -3*d = -2*l - 8. Suppose 0 = 4*i - 2 - 2, -22 = -a + d*i. Does 9 divide a?
False
Let n(y) = -y**2 - 19*y + 48. Does 2 divide n(-20)?
True
Suppose 2*q + 4*p = 4*q - 160, 5*q = 4*p + 424. Is q a multiple of 11?
True
Suppose 0 = -k + m - 5, -2*k + 3*m = -m + 4. Let n = 37 + k. Does 13 divide n?
False
Suppose 4*y = 20, -4*d - 13 = -2*d - 5*y. Let m = d + 2. Does 3 divide m?
False
Suppose 3 = u - 3. Suppose -3 = 4*l - u*l + f, -4*l + 3*f = -5. Suppose -l*g = 2*g - 36. Is g a multiple of 4?
False
Let k = 12 - 12. Suppose 0 = -4*j + 4*u + 132, -185 = -5*j + u - k*u. Does 19 divide j?
True
Suppose 10 = 5*w - 20. Suppose w + 19 = 5*v. Suppose -2*j - v*c = -54, -c = -5*j + 60 + 21. Is j a multiple of 17?
True
Is (-2 + 31 + 1)*1*1 a multiple of 6?
True
Let q = -2 + 0. Is 3*(-6)/q - -2 a multiple of 4?
False
Let g(q) = q - 2. Let c be g(2). Suppose -4*h + 2*h + 46 = c. Does 10 divide h?
False
Suppose -3*k + 5*k - 84 = 0. Is 21 a factor of k?
True
Let p = 24 - 25. Let y(k) = -28*k**3 - 2*k**2 + 1. Is 9 a factor of y(p)?
True
Suppose -3*m = 32 + 28. Let y = -7 - m. Does 13 divide y?
True
Suppose 2*p + 214 = 4*p. Suppose 4*o - 4*k + 2*k - 194 = 0, 3*k = 2*o - p. Is 16 a factor of o?
False
Let v(r) = r**3 + 5*r**2 - r + 3. Does 5 divide v(-5)?
False
Let p(t) = -t + 2. Let i be p(0). Suppose 0 = -3*d - 3*w + 7*w - 2, 2*d - 22 = -i*w. Is d a multiple of 6?
True
Suppose -2*k = -3*k. Let n = -10 - k. Is 8 a factor of ((-4)/n)/(5/175)?
False
Suppose 23*f = 26*f - 99. Is f a multiple of 5?
False
Suppose -3*s + 192 = 2*y, -5*y - 8 = 7. Is s a multiple of 33?
True
Let h(l) = 2*l**2 - l - 3. Let t be h(-4). Is 4 a factor of 10/35 - t/(-7)?
False
Let h = -88 + 145. Is 20 a factor of h?
False
Suppose 4*q + 5 - 21 = 0. Suppose -5*s + 282 = -q*j + j, -3*s = -j - 166. Is 27 a factor of s?
True
Suppose -2*i - 1 = 5. Is 28 a factor of 75 + -1 + i/(-1)?
False
Suppose 0 = -5*z - 0*z + 10. Let i = -9 - -9. Suppose 5*d - 5*g = -i*d + 75, z*d - 3*g = 32. Is 13 a factor of d?
True
Suppose 3*h = -2*h + 80. Is h a multiple of 16?
True
Suppose 5*w - 250 = -3*p, 0 = -w + p + 38 + 20. Is w a multiple of 8?
False
Suppose -n + u - 5 = 0, 3*n + 0*n - 5 = -u. Let g = 3 + n. Suppose 0 = -0*j - g*j + 51. Is j a multiple of 12?
False
Let b = 40 + -29. Let q = -10 + 17. Let r = b + q. Is 8 a factor of r?
False
Suppose -2*q + 5 = -q - i, 3*i + 11 = 2*q. Suppose -2*d = 3*o - 2*o - 32, -4*d + q*o = -88. Is 6 a factor of d?
True
Let t be (-2 + 1)/2*0. Suppose q + 0*q - 10 = t. Does 4 divide q?
False
Let m = 103 - 62. Is m a multiple of 9?
False
Let k = -2 - -2. Suppose -u + 5*j = -11, -u + 2*j - 7 + 3 = k. Let a = u + 25. Is 11 a factor of a?
True
Let j be (1 + 2)*1 + 2. Suppose 36 = -j*m + 166. Is 18 a factor of m?
False
Let k(p) = -2*p**3 - 2*p**2 + p - 2. Let x be k(-2). Suppose x*y + 42 = 186. Is y a multiple of 12?
True
Suppose -8*w + 114 = -2*w. Is w a multiple of 9?
False
Let g(s) = s**2 - 6*s - 5. Let j be g(7). Let f(z) = 7 - j*z**2 + 9*z - 3*z**2 + 4*z**2. Does 6 divide f(9)?
False
Suppose k + 2*d + 10 = 5*k, -13 = -4*k + d. Suppose 2*v - k*w = -0*w + 24, -103 = -4*v - 3*w. Does 11 divide v?
True
Let w(o) = -o + 1. Let n be w(-1). Is 4 a factor of 119/4 + n/8?
False
Suppose -40 = -2*f - 3*f. Is f a multiple of 8?
True
Let m be (-6)/9*(-84)/8. Let v(f) = 10*f - 2. Is v(m) a multiple of 23?
False
Let s(j) = -j - 1. Let k(n) = -n**3 + 3. Let x be k(0). Let b(l) = 14*l - 8. Let y(t) = x*s(t) - b(t). Is 26 a factor of y(-4)?
False
Is 9 a factor of (3*328/(-12))/(-2)?
False
Let x be (1 + -1)/(2 - 1). Suppose -q + 2 + 4 = x. Is q a multiple of 4?
False
Let g = 22 - -12. Let r = 61 - g. Is r a multiple of 20?
False
Let v(l) = l**3 - 5*l**2 - 1. Suppose -2 = -2*u, -5*u - 2 = -k - 7. Suppose 5*o - 4*o - 6 = k. Is v(o) a multiple of 12?
False
Let h = 131 - 39. Let r = h - 61. Does 8 divide r?
False
Let p = 20 + -10. Does 2 divide p?
True
Let q(j) = 3*j**2 + 32*j + 7. Let y(w) = 4*w**2 + 48*w + 10. Let b(z) = 7*q(z) - 5*y(z). Let v(c) be the first derivative 