, -3*p = 2*j - 5. Suppose 25 = p*c - 8. Is 6 a factor of c?
False
Suppose -10*r + 122 = -448. Does 19 divide r?
True
Let s(p) = p**2 + 2*p. Let j(t) = -t**2 + t. Let n(q) = -9*q**2 - 4*q. Let k(d) = 4*j(d) - n(d). Let u(h) = 4*k(h) - 18*s(h). Does 17 divide u(6)?
False
Let p = -1 + 4. Suppose -2*h = -2*r + 26, -p*r = r + 3*h - 73. Does 8 divide r?
True
Let n be -1 + 6 - 2*1. Suppose 0 = -h + 41 - n. Suppose -2*w = -0*w - h. Is w a multiple of 19?
True
Let q(v) = -v - 1. Let x be q(-1). Suppose 2*c - 2*h = -4*h + 28, 2*c - 3*h - 18 = x. Is c a multiple of 6?
True
Suppose 0*h + 3*h - 105 = 0. Is h a multiple of 13?
False
Let u be (-2)/(-3)*(3 - 6). Let d be (-3 - u)*(-3)/1. Suppose d*j - 14 = 2*j. Is 9 a factor of j?
False
Suppose -3*s = -i + 10 + 2, -4*i + 5*s = -69. Let z = -14 + i. Let t = 0 + z. Is 7 a factor of t?
True
Let x(m) = 3*m**2 + 3*m - 1. Let c be x(-4). Let t = c - -85. Suppose 0 = 3*u - 8*u + t. Is u a multiple of 12?
True
Let j(l) = -l**3 - 7*l**2 + 8*l + 1. Let f be j(-6). Let b = -38 - f. Is 15 a factor of b?
True
Let f(l) = 3*l**2 - 2*l - 1. Let h be f(-1). Suppose 0*p - 40 = -h*p. Suppose 4*r + a = 16, 0 = -2*r + 5*a - 6*a + p. Does 3 divide r?
True
Suppose -y - 9 = -4*y. Suppose -y*i - 2*i + 2*u = 76, -4*u = -4*i - 68. Is i/(-4)*4/1 a multiple of 5?
False
Suppose -4*f - 8 = 5*j, -f - 2 + 0 = 2*j. Suppose -2*o = -j - 22. Is o a multiple of 3?
False
Let t(k) = -k + 10. Let f(h) be the second derivative of -h**4/6 + 5*h**3/6 - 2*h**2 - 2*h. Let g be f(3). Is t(g) a multiple of 12?
False
Let v(k) = 2*k + k + 2 - 2*k. Let f be v(3). Suppose 2*z + 53 = f*y, -5*z + 18 = 4*y - 31. Is 4 a factor of y?
False
Let z be (1/(-3))/((-4)/(-48)). Is 6 a factor of 6 + z + 12/3?
True
Let w(n) = -n**3 + 5*n**2 + 4*n - 8. Let q be w(6). Let b = 131 + -81. Let g = q + b. Is g a multiple of 10?
True
Let o(m) = -m + 5. Let i = 4 - 4. Let j be o(i). Let x(d) = d + 3. Is x(j) a multiple of 5?
False
Let w = -10 - -1. Let s = w - -19. Does 4 divide s?
False
Suppose 5*t + 4*u = -70, 0*t - 5*u + 14 = -t. Suppose 5*f - 5*c - 67 - 93 = 0, 5*f = -4*c + 151. Let a = f + t. Is 7 a factor of a?
False
Let c(t) = t - 9. Let i be c(10). Let y(w) = -5*w + 1. Let o(s) = 9*s - 2. Let r(m) = -6*o(m) - 13*y(m). Is r(i) a multiple of 10?
True
Let i be ((2/(-3))/1)/(6/(-27)). Suppose 2*x + 1 - 5 = 0. Suppose -i*k - 118 = -2*q, 3*k = x + 4. Does 20 divide q?
False
Let x = -101 - -155. Is x a multiple of 18?
True
Let z(j) = -9*j + 0 - 2*j**2 + j**2 + 5. Let g be z(-8). Let a = g + 11. Does 16 divide a?
False
Suppose 0 = -2*j + 3*y + 215, -3*y + 6*y - 9 = 0. Is j a multiple of 14?
True
Suppose -v - 10 = a - 5, -6 = -2*a. Let h be 0 + v*(-2 - 0). Is (-6)/4*h/(-6) a multiple of 4?
True
Let p(y) = -15*y + 18*y + 2*y**2 - y**2. Is p(-4) a multiple of 2?
True
Let r(m) = -m**2 - 16*m - 3. Let j be r(-7). Is 16 a factor of (8/(-5))/((-3)/j)?
True
Suppose 0 = -4*d - 3*b + 12, 18 = 4*d + 2*b + 6. Suppose d*h - 42 = h. Is 7 a factor of h?
True
Let j(b) = 10*b - 2. Let f be j(13). Let p(y) = y**2 + 4*y - 2. Let q be p(-5). Suppose -q*t - t = -f. Is 14 a factor of t?
False
Let s(b) = 3*b**2 + 6*b + 2. Does 21 divide s(-4)?
False
Let x = -17 + 25. Is x a multiple of 4?
True
Suppose q - 5*q = -5*s - 136, 0 = 2*q + 5*s - 98. Does 16 divide q?
False
Let q be 52/14 + (-2)/(-7). Suppose 33 - 1 = q*l. Does 4 divide l?
True
Let i = 14 + -10. Is 2 a factor of -3 + i/((-12)/(-15))?
True
Does 20 divide (-2)/(-14) + 3744/56?
False
Suppose -w - 52 = -5*l - 3*w, -20 = 5*w. Does 3 divide l?
True
Suppose 4*w + 6*k - k = 33, -3*w + 4*k = 14. Let v(l) = -14*l. Let g be v(-6). Suppose 0 = 3*q + b - 70, -3*q + 1 + g = -w*b. Does 12 divide q?
False
Let r be ((-4)/10 - -1)*5. Suppose -5*w + 94 = -r*w. Suppose -5*g + w = b, -3*g - 2*g = -4*b + 113. Is 16 a factor of b?
True
Suppose n - 2*n + 39 = 0. Is n a multiple of 11?
False
Suppose 3*x + 0*x - 6 = 0. Suppose -x*w + 9 + 3 = -j, 3*j + 2*w + 4 = 0. Let y = 0 - j. Is 4 a factor of y?
True
Suppose -r - 9 = 2*s - 0*r, 5*s = 5*r. Let z(g) = 2*g**2 - 3*g - 1. Let d(n) = 4*n**2 - 7*n - 2. Let a(u) = -2*d(u) + 5*z(u). Is a(s) a multiple of 20?
True
Let i(h) = 2*h**2 + h + 2. Let l be i(3). Suppose -2*x + 15 = -l. Is x a multiple of 12?
False
Let r = 6 + 14. Does 20 divide r?
True
Suppose 118*i + 630 = 123*i. Is 14 a factor of i?
True
Suppose -11 + 91 = -4*h. Suppose j - 6 = -4*q, -8 + 62 = -5*j + q. Let f = j - h. Is f a multiple of 10?
True
Suppose m - 3*c = -7*c + 36, 0 = 2*m - 3*c - 72. Suppose -3*x = -2*n - 4, 4*n - m = 3*x - 8*x. Does 4 divide n?
True
Suppose 0 = -0*x + 5*x. Let n = x - -10. Does 10 divide n?
True
Let y = -19 + 52. Let p = y - 21. Is 6 a factor of p?
True
Suppose -360 = -22*m + 17*m. Is 18 a factor of m?
True
Let q be ((-2)/6)/((-5)/60). Suppose -2*x + 3*x - 157 = -q*t, 3*t = -2*x + 124. Is t a multiple of 19?
True
Let l(f) = 4*f**2 - 7*f + 4. Is l(4) a multiple of 8?
True
Let x(c) = 23*c**2 + 14*c + 5. Does 34 divide x(-5)?
True
Suppose 28 = -z + 5*z. Is 12 a factor of (-2)/z - (-228)/14?
False
Let r(j) = -j**2 - 16*j + 12. Does 27 divide r(-15)?
True
Is -2 + (10 - 5) + 10 a multiple of 3?
False
Let k = 6 + -1. Let h = 4 - k. Is 0 + h/((-2)/112) a multiple of 19?
False
Let h(c) = 30*c - 3. Is 11 a factor of h(1)?
False
Is ((-42)/(-5))/((-4)/(-10)) a multiple of 7?
True
Suppose -k - i = -2*k + 10, -5*i + 15 = 0. Is 6 a factor of k?
False
Let d = -25 - -33. Does 6 divide d?
False
Let p = 4 - 0. Suppose 0*x - 2*x = d - 23, -p*x + 31 = d. Does 15 divide d?
True
Let w(x) = 12 + 5*x - 4*x + 2*x - x**2 + 8*x. Suppose -4*y + 2*s + 30 + 8 = 0, -4*y = 4*s - 44. Does 11 divide w(y)?
True
Let w be 6/27 + (-6)/27. Let v(l) = l - 11. Let a(g) = -1. Let p(d) = -2*a(d) - v(d). Does 6 divide p(w)?
False
Let q = 77 - -5. Does 13 divide q?
False
Let g(z) = -z**3 + 7*z**2 - 5*z + 5. Suppose -2*b = 3*f - 3, -3*b + 5*b - 3*f = 21. Is g(b) a multiple of 3?
False
Let i(q) = q**3 + q + 2. Let y be i(0). Suppose 0 = -2*s - 4*r + 40, 3*s + 5*r = y*s + 20. Is s a multiple of 7?
False
Let p(f) = 9*f + 55. Let y(u) = -4*u - 27. Let z(j) = -2*p(j) - 5*y(j). Is z(0) a multiple of 25?
True
Suppose 0 = 5*y - 28 - 17. Does 16 divide (-3 + 159/y)*3?
False
Suppose 251 = 2*j + 7. Is j a multiple of 21?
False
Suppose -11*l + 7*l - 64 = 0. Let v = -5 - l. Does 3 divide v?
False
Suppose -4*i = -7*i + 72. Does 8 divide i?
True
Let r be 0 + -1 + 0/(-1). Let s = r - 0. Is 9 a factor of s/(2/6)*-3?
True
Let l = 18 - 12. Let a be (4/(-6))/(10/(-60)). Let t = l - a. Is t a multiple of 2?
True
Suppose 7*h + 6 = 62. Is h a multiple of 4?
True
Let n(q) = q**3 - 4*q**2 - 3*q - 1. Let j be n(5). Let p(t) = t**3 + 6*t**2 + t - 1. Let m be p(-5). Let o = m - j. Does 5 divide o?
True
Suppose g + 2 - 23 = 0. Is g a multiple of 21?
True
Let y(i) = 34*i**2. Let l be y(-1). Suppose -l = -5*g - 4*w, -g + 0*w = 2*w - 8. Does 2 divide g?
True
Let y(m) = m**2 + 6*m - 2. Is y(-7) a multiple of 2?
False
Suppose 3*z + 5*f - 2 = -0, -4*z - 6 = -2*f. Let u = z - -9. Is 94/u + 1/4 a multiple of 6?
True
Let u = 129 - -111. Is u a multiple of 24?
True
Suppose 22 = 2*i + 4*a, -2*a + a = i - 8. Let l = i + -6. Is 2 a factor of (6/(-4))/(l/2)?
False
Let v = 8 + -5. Does 6 divide v/3*14 + -2?
True
Suppose -4*j = 3*p - 10, 0 = 3*j + 3*p - 6. Is 3 a factor of (8/3)/(j/18)?
True
Let y(i) = 25*i**2 + 3*i. Is 39 a factor of y(3)?
True
Let a(x) = -x**3 - 6*x**2 + 10*x + 2. Is 25 a factor of a(-8)?
True
Let r = 153 - 144. Does 9 divide r?
True
Suppose r + 2*r + 3*u = 36, 0 = 2*r - u - 30. Is r a multiple of 5?
False
Suppose 0 = 2*f - 3*k - 45, f - 3*k - 2 - 22 = 0. Suppose -3*b - 55 = 2*b. Let h = f + b. Does 6 divide h?
False
Let u be (-5)/(-10) - (-14)/4. Let h = 16 + -11. Suppose -h*p = u*l - 7 - 1, 19 = l - 3*p. Is l a multiple of 7?
True
Suppose 14 = -u - 3*s + 2*s, 4*u + 5*s = -53. Is 6 a factor of 4/(16/u)*-4?
False
Let f be (-1656)/(-14) + 6/(-21). Suppose -h - f = 2*h + b, -3*h = -b + 122. Does 5 divide (3/2)/((-6)/h)?
True
Suppose 157 = 5*d - 63. Is d a multiple of 12?
False
Does 11 divide (-3)/((-3)/25) - 3?
True
Let c(l) = l**3 + 8*l**2 - 5*l - 5. Does 17 divide c(-5)?
False
Let u(g) = -g**3 - 5*g**2 - g. Let q be u(-5). Suppose 0 = -q*s - 10, 3*r + s + 4*s + 34 = 0. Does 9 divide -2*-2*(-18)/r?
True
Su