+ i = 3*s. Suppose 5*p - 5*v - 130 = 0, -6*p - s*v = -4*p - 52. Does 14 divide p?
False
Let k be (-2)/8 - (-642)/8. Suppose 5*s + 0*s - k = 0. Is s a multiple of 13?
False
Does 24 divide (-9)/(27/12) + 50?
False
Suppose -2*o - o = -33. Does 6 divide o?
False
Let k be (-25)/(-4) + (-2)/8. Let m be k/(-4)*-2*1. Does 13 divide (26/8)/(m/12)?
True
Is 34*3*(-3)/(-18) a multiple of 7?
False
Let r = -10 + 4. Let d(u) = -u**3 - 6*u**2 - 3*u - 9. Is 9 a factor of d(r)?
True
Let x(t) = 2*t**3 + 3*t**2 + 4*t. Let a(p) = -2*p**3 - 2*p**2 - 3*p. Let b(k) = -3*a(k) - 2*x(k). Let u be b(1). Suppose -u*s + 78 = 27. Does 7 divide s?
False
Let w(o) = -o + 78. Is w(0) a multiple of 13?
True
Suppose 3*b - 9 = 5*d - 3*d, 3*d = 9. Suppose -b*y = -4*s - 12, 3*y - y + 2*s = 12. Is y a multiple of 2?
True
Let p(o) = 2 - 3 + o**3 + 0*o**3 + o**2 + 0*o**3 - 2*o. Is p(3) a multiple of 21?
False
Let o be 0*1*2/(-4). Suppose -3*u + 3*t = u - 89, o = -t - 3. Does 16 divide u?
False
Let x(w) = -2*w**2 - w**2 - 12*w**3 + 13*w**3 - 5*w. Let q be x(4). Let h(g) = 3*g**2 + 5*g + 2. Does 15 divide h(q)?
True
Suppose 0 = -5*x - 5*p - 50, 3*x - x + p + 15 = 0. Is 17 a factor of (-4)/10 + (-87)/x?
True
Let t(d) = -2*d - 2. Let r be t(-1). Is (2 - -2) + (r - -1) a multiple of 5?
True
Let d = 6 - 3. Let o = d - 2. Suppose -o + 21 = 5*z. Does 2 divide z?
True
Let f(d) = -2*d + 2. Let s be f(3). Let k(g) = 2*g**3 + 6*g**2 + 4*g - 2. Let p be k(s). Is p/(-3) + (-4)/6 a multiple of 16?
True
Let f(m) be the third derivative of m**4/8 - 4*m**3/3 + 2*m**2. Let d be f(7). Let g = 4 + d. Is 10 a factor of g?
False
Suppose -41*m + 104 = -39*m. Is 42 a factor of m?
False
Suppose -z = 2*z - 153. Let k = z - 29. Is 7 a factor of k?
False
Let v(c) = 10*c**3 - 2*c**2 + 2*c - 1. Let d be v(1). Let n be d/(2/(-4) + -1). Is (-170)/n - 10/(-15) a multiple of 12?
False
Let c be (357/3)/(6 - 5). Suppose -2*t + f + 3*f = 0, 0 = -5*f. Suppose -4*m + 2*i - i + c = t, -5*m - i + 151 = 0. Does 15 divide m?
True
Suppose o - 15 = 8. Suppose 0 = -g + 2*g - o. Is g a multiple of 16?
False
Let s(k) = -k**3 + 6*k**2 - 4*k + 1. Let t be s(5). Let f be (38/t)/((-2)/(-18)). Does 15 divide -3 - (f/(-3) + 1)?
True
Let h be 74/14 - (-4)/(-14). Suppose 0 = 4*x + 3*t - 60, h*x - 2*x + 2*t - 45 = 0. Does 15 divide x?
True
Suppose 2*i - 62 = -4*g, 0 - 32 = -g + 5*i. Let s be (-2 + g)*8/(-10). Is (-6 - 0)/(s/64) a multiple of 14?
False
Does 38 divide (0 - -18)*(-190)/(-30)?
True
Let q = -2 + 14. Let h = -5 + q. Is 5 a factor of h?
False
Let r(f) = 2*f**2 + 4*f - 1. Let o(l) = -l**2 + 3*l - 3. Let v be o(3). Let a be r(v). Suppose a*n - 64 = n. Is n a multiple of 7?
False
Suppose -8 = 2*q, 3*z + q + 42 = -2*q. Let n = 2 - z. Is 6 a factor of n?
True
Let a = -3 + -2. Let b = a + 9. Suppose w + 2*m = 30, 6*w = 2*w - b*m + 124. Is w a multiple of 15?
False
Let g(v) = -4*v - 4. Suppose -a = -3*a - 8, m - a = 7. Let b = m + -10. Is 12 a factor of g(b)?
True
Let i be -3 - (-1 + 2 - 126). Suppose 0 = 4*f - i - 518. Does 11 divide ((-18)/15)/((-6)/f)?
False
Let q(y) = -y**2 + 2*y + 11. Let k be q(-9). Let n = k - -142. Is n a multiple of 18?
True
Let w = -13 - -16. Does 5 divide ((-60)/(-9))/(2/w)?
True
Let y(a) = a**2 - 10*a + 10. Suppose 5*q = 6*q - 9. Let j be y(q). Let x = 8 + j. Is 9 a factor of x?
True
Let c = 19 + -9. Let d = c - 0. Is 5 a factor of d?
True
Let r = 42 - -34. Does 38 divide r?
True
Suppose 2*c - 4*n + 18 = 0, -6 = -c - 2*n + 1. Let l = c + 17. Is l a multiple of 9?
False
Suppose 2*i = 3*c + 106, 4*c + 0*c = 0. Does 8 divide i?
False
Let d = 21 - 19. Suppose -d*y + 37 = 11. Is y a multiple of 11?
False
Let n = -6 - -8. Does 2 divide n?
True
Let s(a) = 4*a + 1. Does 3 divide s(1)?
False
Is 84*(0/(-5) - -1) a multiple of 14?
True
Suppose 2*d = -3*s + 19, 4*s + 4*d = -0*s + 32. Suppose -s*h = 2*h - p - 80, -25 = -3*h - 4*p. Is h a multiple of 11?
False
Suppose -22*r + 120 = -16*r. Does 13 divide r?
False
Let p be (10 + -127)*2/(-6). Does 2 divide 89/13 + 6/p?
False
Let t(b) = b**2 - 9*b + 14. Let c be -1*(-3 - -26) + 3. Let d = c - -31. Is t(d) a multiple of 18?
True
Let b = -4 + 9. Suppose -4*u = -b*u + 18. Is 18 a factor of u?
True
Suppose -2*a = 3*u - 10, 5*u - 3*a - 15 = -8*a. Suppose -2*z = -6 - u. Suppose 79 = 4*p - 3*g + 14, z*p - 80 = 5*g. Is p a multiple of 6?
False
Let g(o) = 15*o**2 - 5*o + 4. Is 32 a factor of g(4)?
True
Does 11 divide (6/8 - -2)/(1/40)?
True
Let l(k) be the third derivative of k**5/60 - k**4/12 - k**3/2 - 4*k**2. Does 9 divide l(7)?
False
Suppose 0 = p + u - 42, 10 = 8*u - 3*u. Let k = p + -25. Is k a multiple of 9?
False
Suppose 3*i + 2*l = 7*i + 6, 3*l + 13 = -5*i. Is 5 a factor of 10/(1/(-2)*i)?
True
Let o(a) = a**3 + 6*a**2 + 5*a - 7. Let x be o(-6). Let u = x + 74. Does 8 divide u?
False
Suppose -i - 7 = 3*b, -4*i - 4 = 3*b - 3. Suppose 25 = i*n - 3. Does 7 divide n?
True
Does 19 divide (0 + 1)/(15/2580)?
False
Let u(t) be the second derivative of 19*t**3/6 - t**2 + 3*t. Is 20 a factor of u(3)?
False
Suppose -6 - 12 = -v. Is v a multiple of 8?
False
Suppose 0 = -3*d - 3*y + 12, -2*d = -6*d - y + 7. Let i(s) = 5*s. Let b be i(d). Suppose -b = -3*g - l, -3*l + l = -4*g + 20. Is g even?
False
Let z = -23 - -45. Does 22 divide z?
True
Let z be (-3)/(6/16 + 0). Let j = 0 - 15. Let m = z - j. Is 6 a factor of m?
False
Let q be (2 - (2 - 2))*-1. Let n be q - 1/((-1)/2). Suppose n*b + 14 = b. Does 7 divide b?
True
Suppose -v = -4*n - 53, -4*v + 2*n + 178 = 3*n. Let i = 83 - v. Does 19 divide i?
True
Let x(f) = -f + 5. Let n be x(6). Let b be 4 + n*3/3. Suppose -b*u - o + 26 = 0, -4*u + o = 4 - 41. Is 4 a factor of u?
False
Let s = -12 - -23. Let v = -7 + s. Suppose 3*z = -x + v, 3*x - 3*z = 16 - 4. Does 2 divide x?
True
Let w = 17 + 25. Is 21 a factor of w?
True
Suppose 13 = 2*d + 1. Let o = -2 + d. Is 2 a factor of o?
True
Let a(x) = -x**2 - 10*x - 12. Suppose 2*c - 3*c - 8 = 0. Does 2 divide a(c)?
True
Let a(g) = -4*g**3 + 4*g + 1. Let p be a(-4). Suppose 5*t = -2*i + 445, -3*t + 0*i + 4*i = -p. Is t a multiple of 21?
False
Let n be (2/5)/((-2)/(-60)). Suppose -5*z + 4*t - 25 = 0, 5*z + t = -13 - n. Let r(g) = -4*g. Is r(z) a multiple of 11?
False
Let c(m) = -28*m - 6. Let h = -8 + 6. Does 10 divide c(h)?
True
Let v(u) be the second derivative of u**3/3 - 5*u**2/2 - 2*u. Let x be 8/12 + (-132)/(-18). Does 4 divide v(x)?
False
Let j(p) = 3*p**3 - 5*p**2 - 4*p. Let d be j(5). Let g = d - 146. Does 15 divide g?
False
Let n(y) = -y + 16. Is n(-6) a multiple of 10?
False
Suppose 5*f - 54 = 26. Suppose 4*q = -b - 0*q + 40, 0 = 4*q - f. Does 12 divide b?
True
Let s(p) = -p**2 - 10*p - 16. Let o be s(-6). Let m(c) be the third derivative of -c**6/120 + c**5/6 - c**4/2 + 2*c**3/3 - c**2. Does 14 divide m(o)?
False
Suppose -4*y - 3*n - 230 = y, 63 = -y - 4*n. Let d = -25 - y. Is 7 a factor of d?
False
Let l(m) = m**3 - 14*m**2 + 15*m - 19. Let s be l(13). Suppose 0 = -2*f + s*f - 360. Is f a multiple of 24?
True
Suppose 5 - 32 = -g. Is 3 a factor of g?
True
Let m(f) = -f**2 + 7*f - 5. Let g be m(6). Suppose -4*a = -4*c - 16, a - 2*c - 3 = -g. Is 3 a factor of a?
True
Let m be (-10)/(-55) + 708/(-22). Let a = m - -48. Is 8 a factor of a?
True
Let y(c) be the first derivative of 3*c**2/2 - 3. Does 8 divide y(5)?
False
Let j = -16 - -8. Let w(v) = 5*v**2 + 8 - 2*v**2 - 2*v**2 + 6*v. Is 16 a factor of w(j)?
False
Suppose 240 = 4*i - 2*i. Is i a multiple of 25?
False
Let g = -384 + 274. Is 10 a factor of g/4*(-4)/5?
False
Let n be (-1)/4 - (-15)/12. Let m = n - -1. Suppose m*o = 34 - 2. Is 16 a factor of o?
True
Let q(r) = 7*r + 9. Let x be q(9). Suppose -x = 2*y + 2*y. Let a = -3 - y. Is 13 a factor of a?
False
Suppose 5*b - 1600 = -5*c, -2*b + 5*c - 966 = -5*b. Suppose -p + 1 = 0, 5*x - p - b = -93. Is x a multiple of 17?
False
Let p(b) = -b - 11. Suppose -5*t + u - 2*u = 53, -t - 19 = 3*u. Let v be p(t). Does 7 divide -1 + (v - (-32 - -2))?
True
Let y(i) = -3*i - 11. Is y(-8) a multiple of 2?
False
Let m = 2 - -7. Is (-3)/m - 266/(-6) a multiple of 25?
False
Let a(x) = 21*x + 1. Let d be a(-1). Is 14 a factor of 22*(-8)/d*5?
False
Let k(p) = -11*p - 7. Does 12 divide k(-5)?
True
Suppose 0 = 5*s + 1 - 76. Let n = s - 10. Suppose 0 = 5*k - 2*a + 4 - 59, a + 50 = n*k. Is 5 a factor of k?
False
Let 