 -0*h, -2*j - 2*h = -90. Is j a multiple of 19?
False
Suppose a + y = -34, 135 = -5*a - 0*a + 2*y. Let r = a - -93. Suppose -3*w + 9 + r = k, 0 = w - 3*k - 11. Is 9 a factor of w?
False
Suppose k + 5*b = 54, -2*k + 3*b - 50 = -3*k. Is k a multiple of 11?
True
Suppose 238 - 22 = 6*x. Does 12 divide x?
True
Suppose -9*i + 14*i - 887 = -3*b, 5*i - 895 = -5*b. Is 25 a factor of i?
True
Let l(q) = -2*q + 6. Let p be l(4). Does 11 divide 6/p + 26 + -3?
False
Let n(m) = m + 4. Let s be n(-2). Suppose -62 = -y + 2*j, 3*y - 42 = s*y - 2*j. Does 13 divide y?
True
Let k(a) = -a**3 + 6*a**2 + 7*a - 1. Let l be k(7). Let z = l + -38. Let b = z - -64. Is b a multiple of 10?
False
Let x = -1 + 5. Suppose 0 = -x*v - 31 + 7. Let i(h) = h**2 + 2*h - 7. Is 11 a factor of i(v)?
False
Let f be (195/(-9))/(1/(-3)). Suppose -i + f = -5*g - 20, 4*g = 4*i - 68. Let k = -12 - g. Is k a multiple of 3?
False
Let d be (-3)/2*(9 - 11). Suppose -135 = -d*n - 33. Is 17 a factor of n?
True
Suppose 4 = 4*p, -5*v + 5*p = -156 - 84. Does 6 divide v?
False
Suppose 3*n = 3, -3*n = -2*m - 4*n + 9. Does 4 divide m?
True
Suppose 0 = u - s, -18 = u + 4*s + 7. Let n be (-9)/(-6)*(-40)/(-6). Let i = u + n. Is i a multiple of 2?
False
Suppose -94 = 4*v - 22. Does 8 divide (v/(-7))/((-3)/(-21))?
False
Is 14 a factor of 15*2 - (-19 - -21)?
True
Let s(o) = o - 4. Let v be s(-3). Let j = 11 + v. Does 4 divide j?
True
Let o(j) = -j**2 + 19*j - 25. Is o(11) a multiple of 17?
False
Suppose -2*l + 3*a = 1 + 5, 2*l = -a + 10. Suppose -4*r = -l*y + 221, 5*y + 2*r = r + 376. Is 20 a factor of y?
False
Let v(c) = -52*c. Let z be v(-1). Suppose -w - 3*w + z = 0. Is 13 a factor of w?
True
Suppose k + 4*g = 2*k + 8, 68 = 4*k + 4*g. Does 5 divide k?
False
Suppose 48 = -7*z + 11*z. Does 8 divide z?
False
Suppose 132 = k + 3*k. Is 11 a factor of k?
True
Let v(k) = -k**3 - 13*k**2 - 2*k + 2. Let p(i) = -i - 3. Let j be p(10). Is 7 a factor of v(j)?
True
Let y(n) = -n**3 - 7*n**2 - 10*n - 14. Does 6 divide y(-8)?
False
Let x be (-6)/(-4)*(-34)/(-3). Let r = 59 - x. Is r a multiple of 15?
False
Let g(v) = 2*v + 4. Is 11 a factor of g(9)?
True
Let x(o) = -255*o**3 - 3*o**2 + 1. Does 10 divide x(-1)?
False
Suppose 254 = -2*m + 5*m + r, r + 334 = 4*m. Is m a multiple of 12?
True
Let t = 43 + 48. Is t a multiple of 7?
True
Let w = 286 - 184. Is 34 a factor of w?
True
Suppose 0 = 4*o + 1 - 5. Let v(g) = 28*g - 1. Is 9 a factor of v(o)?
True
Suppose x = 4*c + 7, -7*c + 10 = -5*x - 2*c. Let o be x/(15/6) + 12. Let j = o + 2. Is 12 a factor of j?
True
Let i(z) = 4*z - 3. Suppose 3*s + 18 = j, 0*j - 3*s = -3*j + 36. Does 9 divide i(j)?
False
Is 9 a factor of 1/(-5) - 724/(-20)?
True
Let d = 9 - -21. Suppose -3*v + d = 2*v. Does 2 divide 5 - (0 - v/(-3))?
False
Is 20/7*(-28)/(-8) a multiple of 9?
False
Let m(y) = -y**3 + y**2 + y + 2. Let r be m(0). Suppose -r*u = -22 - 18. Does 10 divide u?
True
Suppose 5*z - 2*z = -9. Let n be 2 - (1 + z + 0). Suppose b - 3*h - 11 = 0, -n*h + 29 - 9 = 0. Is b a multiple of 13?
True
Let t = 273 + -22. Is t a multiple of 28?
False
Let n = 176 - 102. Does 37 divide n?
True
Let k(r) = -r + 1. Let p be k(-1). Let x = p - 3. Let s(q) = -9*q - 1. Is s(x) a multiple of 8?
True
Does 13 divide (48 - 1)/(24/120)?
False
Let x be (1/3)/((-6)/(-252)). Does 8 divide x/(-8)*3*-4?
False
Let p(i) = i**3 - 20*i**2 + i + 34. Is p(20) a multiple of 18?
True
Let d = -1 - -3. Suppose d*p - 3*p = -20. Does 10 divide ((-208)/p)/((-4)/10)?
False
Suppose -21 + 1 = 4*g. Let j be 146/4 - g/(-10). Suppose 4*a + 4*v - j = 0, -5*a = -4*v + 2*v - 45. Is 9 a factor of a?
True
Let f(r) be the first derivative of -r**2/2 + 21*r + 4. Does 12 divide f(0)?
False
Suppose 8 = 5*r - r + 2*c, 0 = c. Let h be 160/6*3/r. Let a = h + -7. Does 12 divide a?
False
Let i = -4 - -7. Suppose 0 = 7*s - i*s - 24. Does 5 divide s?
False
Let c(f) = -4*f**2 - 10*f + 171. Let i(j) = 3*j**2 + 7*j - 114. Let q(g) = 5*c(g) + 7*i(g). Is 27 a factor of q(0)?
False
Suppose -7*m - 225 = -12*m. Let f = m - 19. Is f a multiple of 13?
True
Let d be (7/(-4))/(2/8). Let f(a) = a**2 + 2*a - 2. Let s be f(d). Let u = 0 + s. Does 11 divide u?
True
Let i(h) = -h**3 + 2*h**2 + 2*h + 14. Does 6 divide i(0)?
False
Is 21 a factor of 4 - 57*2/(-3)?
True
Does 8 divide -4 - (2/(-1) - 10)?
True
Let c(k) = 2*k + 3. Suppose b + 2 = 2*b. Let g(d) = -d - 1. Let o(f) = b*c(f) + 6*g(f). Is 12 a factor of o(-6)?
True
Let a be (-1 - 0)/(1 + 0). Let f(z) = -9*z**2 + 8*z**2 + z - z - 50*z**3. Is 15 a factor of f(a)?
False
Let t(o) = -28*o**2 + o + 1. Let k be t(-1). Let c = 16 - 9. Is 7 a factor of (-8)/k - (-75)/c?
False
Let h(u) be the third derivative of -u**6/120 - u**5/6 + 3*u**4/8 - 4*u**3/3 - u**2. Suppose -15*y - 8 = -14*y - s, 4*y + 56 = -4*s. Does 7 divide h(y)?
True
Suppose 0 = -5*b - 12 - 8. Let y(s) = -s + 1. Let g be y(b). Suppose g*v - 2*v - 72 = 0. Is v a multiple of 8?
True
Let n(z) = 2*z + 23. Does 11 divide n(-6)?
True
Suppose -3*y - f + 582 = 238, -4*y - 2*f = -462. Suppose y = 4*p - 3. Does 11 divide p?
False
Let j(w) = -w**2 + 12*w - 6. Suppose -k + 9 = p, -k - 3*k = -p - 11. Is j(p) a multiple of 25?
False
Suppose 8*r - 21 = 5*r. Is r a multiple of 3?
False
Suppose -5*h + 6 + 4 = 0, -d = h - 7. Does 8 divide (6/d)/(21/140)?
True
Suppose 103*l + 76 = 105*l. Is 3 a factor of l?
False
Does 5 divide 43/5 + 16/40?
False
Suppose -3*t = 49 - 4. Does 24 divide (-909)/t - (-2)/5?
False
Suppose -3*f = 18 - 75. Let z = 35 - f. Is 7 a factor of z?
False
Suppose -5*f = -2*f - 3*d - 210, 0 = 5*f - d - 370. Let i = f + -43. Is i a multiple of 16?
True
Let i = -10 - -14. Suppose 2*m - 216 = -2*m - 4*p, 0 = i*m - 3*p - 195. Is m a multiple of 13?
False
Let u(v) = -43*v + 7. Let x(t) = -128*t + 20. Let y(p) = -17*u(p) + 6*x(p). Let g be y(-1). Let s = -12 + g. Does 10 divide s?
False
Let j(a) = -a - 4. Let d be j(-7). Does 11 divide d - 19*(-3)/3?
True
Let j(d) = 34 - 2*d**3 + d**2 + d**3 + d + 0*d**3. Does 17 divide j(0)?
True
Suppose -y = -0*y - 67. Suppose 3*f + c = y, -5*c - 100 = -2*f - 27. Is 8 a factor of f?
True
Suppose -a + 10 = -4*c, -5*a + 0 = 3*c - 4. Suppose -25 = -a*s - 3*s. Does 5 divide s?
True
Let t be (-86)/(-8) - 6/8. Suppose -5*z - t = -10*z. Is 2 a factor of z?
True
Suppose 4*g - 2*t = -6*t + 612, -g - 5*t + 161 = 0. Is 61 a factor of g?
False
Let i = -11 - -8. Is 3 a factor of 3 + -2 + (-6)/i?
True
Suppose 3*t - 18 = 24. Is t a multiple of 4?
False
Let a(o) = -6*o**2 + o + 1. Let j be a(-1). Is 366/15 + j/15 a multiple of 13?
False
Let m be (2/(-2))/(2/(-38)). Let h be ((-4)/10)/(4/(-20)). Is 10 a factor of m/1 + -1 + h?
True
Let k = 26 - -4. Is k a multiple of 10?
True
Let y be 1 + (4 - 3) + 3. Suppose 5*g = y*z + 20, 2*g + 2 = -3*z - 0. Is g a multiple of 2?
True
Suppose 0 = -d - 3*b + 33, -4*d - 108 = -9*d + 4*b. Is 12 a factor of d?
True
Let h(y) = -y + 10. Let r be h(11). Let c = 3 - r. Let m(p) = -p**3 + 6*p**2 - 4*p - 4. Does 12 divide m(c)?
True
Let l(d) = 12*d - 1. Let w be l(-1). Let c be 1/2 + 90/(-4). Let u = w - c. Is u a multiple of 9?
True
Let b = -44 + 111. Let m = b - 95. Let w = -5 - m. Is 8 a factor of w?
False
Let a(v) = 3 - 3 - 2 - 6*v. Is 16 a factor of a(-3)?
True
Let b = -11 + 5. Let z(l) = 0*l - 2*l - l + 2 + 0. Does 10 divide z(b)?
True
Let m(k) = 1 + 0 + 2*k - 7. Suppose 2*w - 7 = 3. Does 2 divide m(w)?
True
Let g(m) = m + 1. Let k(q) = -q - 8. Let o(u) = 5*g(u) + k(u). Is 5 a factor of o(3)?
False
Suppose 5*k = -4*u + 144, -3*u + 8*u - 12 = -k. Let l = -15 + k. Is 11 a factor of 1*l + (-1 - -3)?
False
Suppose 0 = -0*r + 3*r - 6. Suppose r + 1 = -3*p. Is 8 + (-4 - p)/3 a multiple of 4?
False
Let j = -242 - -506. Does 33 divide j?
True
Let y = -4 + 2. Let j be 39/2 + y/(-4). Let q = j - 11. Is 9 a factor of q?
True
Does 2 divide 1*12*12/18?
True
Suppose 0 = -4*d - 3 + 71. Is 3 a factor of d?
False
Let p(g) = -g**3 - 11*g**2 - 9*g + 10. Let x be p(-10). Let s be -31 + (-4 + 3 - x). Let y = s + 83. Is y a multiple of 17?
True
Let o(i) = i**2 - 1. Let q be o(0). Let j = 13 - q. Does 10 divide j?
False
Let j be (-4 + 3)*-6 + 2. Is j + 0 + -5 + 7 a multiple of 8?
False
Let r = -36 - -63. Does 7 divide r?
False
Let p = 161 + -16. Suppose -k + p = 4*k. Is k a multiple of 12?
False
Suppose c + 0*c - 21 = 0. Let a = 6 + 25. 