Suppose -340 = -5*n - 4*i, -2*i - i + 345 = 5*n. Is n a multiple of 9?
True
Suppose -280 = -4*j - 4*j. Is 5 a factor of j?
True
Let c(k) be the first derivative of k**4/4 + 11*k**3/3 - k**2/2 + 9*k + 3. Is 4 a factor of c(-11)?
True
Let o(j) = -225*j. Let z be o(-2). Suppose -z = -3*g - 2*g. Suppose -g = -2*q + 4*d, -225 = -8*q + 3*q + 5*d. Is 14 a factor of q?
False
Suppose -2*f = -4*f + 132. Suppose -3 = 2*u - 7. Suppose -u*n + f = n. Is n a multiple of 7?
False
Let l(f) = 24*f**3 - f + 1. Let p be 1*((6 - 2) + -3). Is l(p) a multiple of 14?
False
Let s = 70 + 36. Is s a multiple of 29?
False
Suppose -2*z + 3 = 3*z + 3*x, -3*x = 4*z. Suppose 5*b = -z*q + 2*b - 9, -3*b = -5*q + 25. Suppose 0*c - q*c = -a - 47, c - 5*a = 28. Does 13 divide c?
False
Let g be 1*-2*9/6. Let s be -2 - g - (-27)/(-1). Let h = s - -44. Is 9 a factor of h?
True
Let j(h) = 2 + 15*h + 2 - 13*h. Is j(8) a multiple of 20?
True
Let c(l) = -8*l**3 - l**2. Suppose -4 = -w - 3. Let g be c(w). Does 15 divide (-6)/g - (-176)/6?
True
Suppose 4*z - 12 + 0 = -4*c, 3*c - 11 = -5*z. Is ((-19)/(-2) + 2)*c a multiple of 9?
False
Let l be 1 - (2 - 6/2). Suppose 0 = l*a + a - 9. Suppose 0 = -a*x - x + 16. Does 4 divide x?
True
Suppose -34 - 2 = 3*o. Let c = 14 - o. Is 13 a factor of c?
True
Suppose -2*f - 5*x = -291 + 10, -4*x - 632 = -4*f. Suppose 5*y + 0*p - 3*p = f, -4*p = 5*y - 181. Is 10 a factor of y?
False
Let u = -42 - -79. Does 9 divide u?
False
Suppose -5*v = -44 - 141. Is v a multiple of 16?
False
Suppose 0 = 3*k - 2*y - 30, -3*y + 51 = 3*k + 2*y. Is k a multiple of 6?
True
Suppose 0 = -i + 2, b + 2*b = -4*i + 80. Is b a multiple of 24?
True
Let z(p) = 2*p**2 + 10*p + 15. Is z(6) a multiple of 49?
True
Let g be (-6)/(-21) - 66/(-14). Suppose g*t + 10 + 6 = 2*l, 6 = 4*l + 3*t. Suppose c - 33 = 5*x, -2*c + 5*x = -l - 43. Does 13 divide c?
True
Let a(x) = -13*x - 13. Let n(i) = -8 - 7*i + i + 2. Let q(t) = -2*a(t) + 5*n(t). Does 8 divide q(-3)?
True
Suppose l = 4, 2*l = -4*j + 8*j - 672. Is 13 a factor of j?
False
Suppose 10 = 3*p - 2. Suppose -x + 3*h = -4*x + 15, 0 = 3*x - p*h - 22. Suppose -3*i + x = -18. Does 4 divide i?
True
Let x = 17 + -5. Does 3 divide x?
True
Let v be ((-33)/4)/(6/(-16)). Suppose 0*w + 2*g = w + 6, 4*g = -2*w + 12. Suppose -q - q + v = w. Is 6 a factor of q?
False
Suppose -3*y - 4*v = -570, -7*y + 12*y = 5*v + 950. Does 19 divide y?
True
Suppose 20 = -4*p, 0*t - 3*t - 4*p = 38. Let u = 12 + t. Is u a multiple of 6?
True
Let j be (0 + -18)/(-3) - 4. Suppose -4*s + 170 = 3*c, s - j*c + c - 46 = 0. Is 22 a factor of s?
True
Suppose -2*l - 10*l + 1536 = 0. Does 36 divide l?
False
Let m = -12 - -64. Does 13 divide m?
True
Let c(p) = -p + 1. Let o be c(1). Let b = 43 - 11. Suppose 4 = t - o*t, -b = -2*q - 3*t. Does 5 divide q?
True
Let z(q) = q + 7. Let d be z(-5). Suppose 0 = d*m - 4 - 2. Suppose 0 = m*o + 2*o - 30. Is o a multiple of 3?
True
Let b(a) = -29*a**2 + 7*a - 7. Let k(j) = 57*j**2 - 15*j + 15. Let n(d) = -13*b(d) - 6*k(d). Let w = -1 - -2. Is n(w) a multiple of 14?
False
Suppose 5*y - 1856 + 126 = 3*p, -y + 1144 = -2*p. Let a be (-14)/((-4)/(-2 + -2)). Does 16 divide (-4)/a + p/(-14)?
False
Let l be (1 - -1)/(-1 - 0). Let s = 5 + l. Does 3 divide (-1)/(-1*s/21)?
False
Suppose 0 = 3*f - 46 - 59. Does 12 divide f?
False
Let p = 44 - 41. Does 3 divide p?
True
Let u(k) = -k**2 + 10*k + 5. Let i(b) = -3*b + 10. Let r be i(7). Let o be (-1)/(1/r) + -1. Is 2 a factor of u(o)?
False
Suppose 2*w = -5*y - 2*w + 40, 3*w - 27 = -3*y. Suppose 29 = y*s - 51. Does 15 divide s?
False
Suppose -2*h = -h + m - 2, 3 = -3*m. Let t be h*2 - 0/(-2). Let x = t - 0. Is 3 a factor of x?
True
Suppose 2*i - 39 = -i. Let x = -14 + 5. Let n = i + x. Does 3 divide n?
False
Suppose -3*q = -3*h - 6, 2*q - 3 = -q + 2*h. Let o be q/(2 + 22/(-10)). Suppose 4*x - 3*x - o = 2*u, -3*u - 3 = -x. Is x a multiple of 4?
False
Let k(m) = m**3 + 8*m**2 - 13*m - 2. Is 7 a factor of k(-9)?
False
Let c = -150 + 353. Does 15 divide c?
False
Let v(g) = 6*g**2 + 4*g - 4. Is 8 a factor of v(4)?
False
Suppose -l + 3*x - 4*x + 9 = 0, -4*l = 5*x - 40. Suppose -5*g - 2*j + 43 = l, -4*j = g - 22. Is g a multiple of 6?
True
Let g(z) = z**3 + 5*z**2 + 4*z + 4. Suppose t = -0*t - 4. Is g(t) a multiple of 2?
True
Let y = 0 - -2. Suppose -z = -9 + y. Suppose -13 = -2*v + z. Does 5 divide v?
True
Does 26 divide (-4)/6*-3*2139/46?
False
Suppose -3*o = -4*a - 20, 5*o - 59 = 5*a - 19. Is 10 a factor of o?
False
Let j = 226 + -130. Is 14 a factor of j?
False
Let m = -199 + 280. Suppose -4*f + 3*w + 61 = 208, 0 = -2*f + 3*w - m. Let c = -16 - f. Is 17 a factor of c?
True
Let c(w) = -w**3 + 8*w**2 - 3*w - 1. Does 9 divide c(7)?
True
Let s be 2/4 + (-193)/(-2). Let z = -69 + s. Does 14 divide z?
True
Suppose -2*u + 0 + 4 = 0. Suppose -u*i - 7*g = -2*g - 72, -4*g = -5*i + 114. Is i a multiple of 13?
True
Let m = 123 + -73. Let o = m - -54. Suppose -4*f = h - 66, o = 2*h + 5*f - 16. Does 17 divide h?
False
Suppose 2*n + 0*n - 8 = 0. Suppose 3*r - 28 = n*l - 6, -r = -5*l - 22. Does 15 divide (-2219)/(-49) + r/(-7)?
True
Suppose 4*g - 444 = -4*o + 108, 5*g - 2*o - 697 = 0. Suppose -g = 5*j + 121. Let s = -21 - j. Does 9 divide s?
False
Let w = -7 - -10. Let x = 0 + w. Suppose 3*f - 22 = -4*p + 15, 44 = x*p - f. Does 11 divide p?
False
Suppose 12*z = -2*z + 406. Does 29 divide z?
True
Let b(k) = 23*k**2 + 2*k - 1. Does 24 divide b(2)?
False
Let z(a) = 3*a - 1. Let p be z(1). Suppose -4*d = -4*y - 16 - 12, p*d + y = 5. Is 10 a factor of (d - 5)/(1/(-23))?
False
Does 4 divide 57 + -4 + -5 - -4?
True
Let v(x) = x + 8. Let r be v(-5). Let h(j) = 13*j**2 - 4*j + 1. Let w be h(r). Suppose -4*s + 106 = -w. Is 18 a factor of s?
False
Let l(g) = -2*g - 1. Let z(m) = -10*m - 5. Let k(w) = 11*l(w) - 2*z(w). Does 6 divide k(-6)?
False
Let j = -174 + 91. Let s = 17 - j. Let k = s - 59. Is 12 a factor of k?
False
Suppose 4*a = a + 273. Let j = -62 + a. Does 18 divide j?
False
Suppose -x - s = 13 + 12, -2*s - 113 = 5*x. Let y = 5 + -2. Does 12 divide ((-5)/y)/(1/x)?
False
Suppose 6*r = 8*r - 378. Does 27 divide r?
True
Suppose 0 = -2*d + 12 + 20. Does 3 divide d?
False
Let z(x) be the third derivative of -x**7/5040 + x**6/720 - x**5/30 - 3*x**2. Let q(c) be the third derivative of z(c). Does 5 divide q(-4)?
True
Suppose 2*q + 1 = -3*v, 3*q = -v - 4*v - 1. Let c = 18 - q. Does 20 divide c?
True
Let b(s) = -s - 3. Let g be b(-7). Suppose n = 3, 0*j + g*n = j - 16. Does 14 divide j?
True
Let d be 78/4*8/12. Suppose -d = 3*j - 1, h = 3*j + 67. Suppose -z + 6*z = h. Does 9 divide z?
False
Let i(o) = 3 - o + 3 + 2. Is 2 a factor of i(5)?
False
Let z(l) = -l**3 - 4*l**2 - 3*l + 16. Is 56 a factor of z(-5)?
True
Let c(w) = -w**2 - 11*w - 1. Is 9 a factor of c(-7)?
True
Let l(j) = -j**2 + 6*j + 11. Does 9 divide l(6)?
False
Does 6 divide (-580)/(-44) - 4/22?
False
Let c(h) = h**2 - 4*h - 8. Let a be c(6). Does 23 divide ((-40)/(-6))/(a/42)?
False
Let a(h) = 4*h - 5. Let w = 2 - -3. Does 5 divide a(w)?
True
Let x = 122 + -53. Does 21 divide x?
False
Suppose -2*n = n - 126. Does 13 divide n?
False
Let r be ((-592)/(-12))/(1/3). Suppose -r + 33 = -5*h. Is 23 a factor of h?
True
Suppose -5*z = 3*q - 4*q - 911, -4*z + 730 = -2*q. Is z a multiple of 13?
True
Suppose -16 = -3*i - 1. Does 2 divide i?
False
Let a = 23 + -13. Does 2 divide a?
True
Let n be ((-20)/(-12))/((-2)/(-6)). Suppose 3*q - 2*q = 4*a + 10, -5*q = n*a. Suppose 18 = 5*h - q*h. Is 6 a factor of h?
True
Suppose 169 + 233 = 3*y. Is 39 a factor of y?
False
Suppose -2*c + 2*v = 2*c - 216, -3*c = -2*v - 162. Let s = c + -25. Let p = s - 10. Does 12 divide p?
False
Does 7 divide (-58)/4*(2 - 4)?
False
Suppose -3*k + 0*z = z - 26, 5*z + 6 = 2*k. Is 3 a factor of k?
False
Suppose -5*m = 5*o - 0*o - 545, 2*o - 111 = -m. Suppose -q = -4, -3*s - 3*q + m = 317. Let g = s - -112. Is 19 a factor of g?
True
Suppose 0*a + 320 = 4*a. Is 16 a factor of a?
True
Suppose 6*t = 2*t + 96. Let c be -1*2*(-14)/(-4). Let x = c + t. Does 17 divide x?
True
Let i(k) = -3*k + 17*k**2 + 2*k + 1 + 4*k**2. Let m be i(1). Suppose 0 = 2*d + d - m. Does 3 divide d?
False
Suppose 0 = -4*g - 5*o + 69, g + g + 4*o = 30. Does 3 divide g?
True
Let y(l) = l**3 + 5*l**2 + 3*l + 2. Let m be y(-4). Suppose x + s - 214 = -0