ide p?
False
Let q = -1 + 9. Is 5 a factor of q?
False
Does 5 divide 146 - ((-8 - -14) + 0)?
True
Suppose -2*f - 94 = -4*h, 3*f - 50 + 2 = -3*h. Suppose 2*a = -3*u + a + h, 0 = 3*u - 2*a - 30. Is u a multiple of 8?
True
Is 7 a factor of -1*3*-2*168/7?
False
Suppose 23 - 3 = 10*v. Suppose -v*u + 9*u = 728. Does 13 divide u?
True
Suppose 2*s - y - 2591 = 3331, 0 = 2*s - 4*y - 5922. Does 47 divide s?
True
Does 79 divide (80 - 1)/(8/(-96)*-2)?
True
Is 37 a factor of 0 + (3 - 2954*6/(-12))?
True
Let v(c) = -10*c - 55. Suppose -19 = 3*u + 8. Does 5 divide v(u)?
True
Let k = 502 + -309. Is 3 a factor of k?
False
Let w(h) be the second derivative of h**4/12 + 5*h**3/3 + 15*h**2/2 + 6*h. Is w(-10) a multiple of 13?
False
Let h = -43 - -43. Suppose -2*q - l + 191 = h, q - 2*l = 4*q - 286. Does 32 divide q?
True
Let j(b) = 2*b**3 + 4*b**2 - b. Let x be j(-3). Let d(w) be the second derivative of -5*w**3/6 - 37*w**2/2 + w + 56. Is d(x) a multiple of 12?
False
Let i = -14 - -23. Suppose -i - 11 = 4*f, -4*l - 4*f = -216. Is 14 a factor of l?
False
Let p = -12 - -17. Suppose c - 5*t = 14, -p*c + 3*t - 75 = 7*t. Let s = -4 - c. Is 3 a factor of s?
False
Suppose 4*j = -3*q + 2189, -4*q = -4*j + 475 - 3431. Is 25 a factor of q?
False
Let z = 529 + -303. Suppose -76 = 6*r - z. Does 7 divide r?
False
Let o(p) = -3*p - 29. Is o(-41) a multiple of 2?
True
Let v = 2411 + -1461. Is v a multiple of 51?
False
Let k be -3 - 1/(1/(-2)). Let m(u) = -u + 1. Let v be m(k). Is ((-130)/(-10))/(v/4) a multiple of 7?
False
Suppose 275 = 5*t - 5*u, -u = -5*u - 12. Let j = t + -40. Is j even?
True
Suppose -36 = 14*g - 18*g. Suppose -10*b + 30 = -g*b. Is 14 a factor of b?
False
Let p(y) = y**3 - 2*y**2 + 8*y + 24. Let r be p(8). Is 39 a factor of ((-2)/(-6))/(-1 + r/468)?
True
Suppose 0 = 2*b - o - 281, -5*b + 3*o = 6*o - 697. Suppose 0 = -c - 2*p + b, p + 94 = 2*c - 176. Does 17 divide c?
True
Let b = 60 - -20. Suppose -15*i = -7*i - b. Does 3 divide i?
False
Let j(q) = -2*q + 1. Let a be j(-1). Let v be 3*(48/(-9))/(-4). Suppose -a*i - 5*d = -17, -d = -2*i - v*d + 13. Is i a multiple of 4?
False
Let u be -33 - (0 + (-9)/3). Let r = -15 - u. Does 3 divide r?
True
Let m(w) = 204*w - 22. Does 132 divide m(12)?
False
Suppose -2*z = -3*w - 459, -5*w + 204 = 3*z - 494. Is z a multiple of 21?
True
Let y(j) = 161*j**2 - 5*j - 10. Is y(-2) a multiple of 28?
True
Let r = 14 - -14. Suppose -3*l + r + 65 = 0. Is 5 a factor of l?
False
Suppose -4*a + 7 = 3*v + 131, 0 = -2*a + 10. Let m = 148 - v. Is m a multiple of 49?
True
Suppose -5*r + 171 = -629. Suppose -h + 5*h = r. Is 40 a factor of h?
True
Suppose 2*l + 4*r = l + 1, -4*l - 4*r = -64. Let p be (4/4)/((-1)/l). Let f = p - -97. Is f a multiple of 25?
False
Suppose 4*b - 12 = 8. Suppose -a + b = 4*p, -4*a + 88 = -4*p + 8. Let f = a + -9. Does 4 divide f?
True
Suppose 4*c - 8*c = -912. Suppose 3*j - c = -66. Is 5 a factor of j?
False
Let d = -20 - -877. Is 22 a factor of d?
False
Suppose 3*v + 4*v + 511 = 0. Let w = v + 112. Is 3 a factor of w?
True
Let z(h) = h**2 - 3*h. Let c be z(4). Suppose -c*v + 44 = -4*k, -2*k = -4*v - 5*k + 23. Suppose 27 = v*b - 5*b. Does 2 divide b?
False
Suppose 2*j = i - 19, -2*i + 4*j = 8*j - 6. Let k(s) = -s**3 + 10*s**2 + 13*s - 2. Does 10 divide k(i)?
True
Let d(i) = -i - 4. Let f be d(-7). Let l(g) = 3*g**3 + 7 - 3*g**2 - 5*g**3 + 3*g**f - 3*g. Is 11 a factor of l(5)?
False
Suppose 4257 = 10*p - 1263. Suppose 8*d - 6*d = p. Does 56 divide d?
False
Does 12 divide -4 + 7 - -2 - (0 - 1350)?
False
Suppose -10*g = -11*g + 143. Suppose -2*z - 79 = -g. Is 32 a factor of z?
True
Suppose -5*j + 13 = -b, 6*b + 6 = 4*j + 3*b. Suppose 0 = 2*s - j*s - 117. Let z = -69 - s. Is z a multiple of 16?
True
Is (-6)/(-10) + 3612/105 - -3 a multiple of 11?
False
Let p(h) = -h**2 - 10*h - 6. Let n be p(-9). Suppose -r + 50 = n*b, -3*b + r = -15 - 25. Is b a multiple of 15?
True
Let p = 90 - -50. Is 14 a factor of p?
True
Let i = 53 - -107. Is 10 a factor of i?
True
Let g = -5 - -37. Does 15 divide -30*(-4)/(g/12)?
True
Suppose -3*f + 6 = 3*j + 2*f, -3*j = -2*f + 15. Let y be (j - -13)/(-2)*-1. Suppose w - 33 = y*p, 0 = 2*p + 2*p. Is 8 a factor of w?
False
Let h be (6/(-8))/((-12)/80). Let n(w) = 34*w - 6. Is 33 a factor of n(h)?
False
Suppose r - 39 = -0*r. Let k = 65 + r. Does 26 divide (-1)/(0 + (-4)/k)?
True
Let x(b) = b**3 - b - 8*b**2 + 7 - 3*b**2 - 10*b - b. Let f be x(12). Does 13 divide 294/f - (-2 - -5)?
True
Let r(g) = g**3 + g + 682. Is r(0) a multiple of 35?
False
Suppose 37 = v - 31. Let k = 112 - v. Is k a multiple of 11?
True
Suppose 2*i - 3*y - 94 = i, -3*y = -4*i + 421. Suppose -43 - i = -2*m. Is m a multiple of 9?
False
Suppose 0*s + b = 4*s + 22, -14 = 2*s - 2*b. Let h = s + 4. Does 18 divide 289/8 - h/(-8)?
True
Let v = -162 + 79. Let x = -41 - v. Does 6 divide x?
True
Let c(a) = -2*a**3 - 5*a**2 - 6*a + 24. Does 7 divide c(-6)?
False
Let h(k) = -k**2 - 20*k - 25. Is h(-18) a multiple of 3?
False
Suppose 0 = 4*h - 6*h + h. Suppose -4*z + 852 = -h*z + 4*m, 4*m = -z + 228. Is z a multiple of 15?
False
Let v(p) = 2*p + 22. Let q be v(-8). Is 27 a factor of 3/q*72*3?
True
Let g(y) be the second derivative of y**3/6 - 3*y**2/2 - 6*y. Let u be g(4). Suppose -4*h + w + 12 = 0, h + w - 7 = u. Is 4 a factor of h?
True
Let z = -2135 + 4489. Is z a multiple of 75?
False
Let n = -1545 - -2207. Does 24 divide n?
False
Suppose q = -3*q + 16. Suppose 2*d - 2*i = 24, q*d + 4*i - 8 = d. Suppose 27 = 5*p - d. Is 3 a factor of p?
False
Suppose t - 5*a = -7, -3*a - 39 + 4 = 5*t. Let y be 175/(-3)*(-10 - t). Suppose d = 5*p - y, -105 = -3*p - 2*d - 2*d. Does 7 divide p?
True
Is 9 a factor of 4374/36*(-20)/(-3)?
True
Does 15 divide (3*-1 + 1)*4726/(-68)?
False
Let u be 5 + -1 - (-4)/(-2). Let b be 4 + -1 + (-6)/u. Suppose -4*p = -5*w - 56, 0*p - p + 4*w + 3 = b. Does 19 divide p?
True
Suppose 3*j - 61 = -4*w, w - 90 = -4*j - 0*w. Let t = j + -18. Suppose 2*f - 76 = -t*g, 4*g = 2*f - 2 + 52. Is g a multiple of 14?
True
Let t = -12 + 16. Suppose -t*p = -115 - 57. Does 8 divide p?
False
Let g be (4/(-5))/(3/15). Let p be (-1)/g - (-11)/4. Suppose p*v - 1 = 11, -d + 40 = 3*v. Is 14 a factor of d?
True
Let g(l) = -935*l**3 - l**2 + l + 2. Is g(-1) a multiple of 13?
False
Let d = -5969 - -11669. Does 150 divide d?
True
Let n = 293 - 197. Suppose 0 = 2*x - 3*x - 4*u + 24, 4*x - n = -4*u. Does 12 divide x?
True
Let p(v) = -v + 1. Let g be p(1). Suppose g = -n + 5, -m + 3*n + 12 = 2*m. Is 6 a factor of (-84)/m*(-3)/2?
False
Suppose 0 = -4*c - 2*o + 2948, -5*c + o + 2*o = -3674. Suppose 3*a - c = 146. Does 42 divide a?
True
Let b(d) = d**2 + 9*d + 3. Let u be b(-9). Suppose -u*q - 8 = -y, -4*y + 5 + 7 = -2*q. Suppose 4*c = -2*h - 0*c + 54, -5*h + 135 = -y*c. Is h a multiple of 20?
False
Suppose 3*v - 346 = -b - 0*b, 2*v - 224 = -2*b. Let a = 82 + -155. Let r = a + v. Is 11 a factor of r?
True
Let r be (-260)/50*(2 + -1 + -46). Does 14 divide r + 9/((-27)/(-6)) + 2?
True
Suppose 4*q = -0*q + 476. Is ((-130)/7)/((-17)/q) a multiple of 29?
False
Is 22 a factor of 407 - (5 - 10) - (0 + 2)?
False
Does 39 divide 7*44 + 1/((-4)/12)?
False
Let p = 337 - 185. Suppose 8*n - p = 24. Is 11 a factor of n?
True
Let i(t) = 38*t + 15. Let p be i(25). Suppose 5*s + w - p = 0, -5*w = 2*s + 31 - 440. Is s a multiple of 12?
True
Let g(m) = m**2 + 86*m - 7. Is 56 a factor of g(7)?
False
Let f(b) = -9*b**3 - 6*b**2 + 14*b + 18. Does 13 divide f(-4)?
True
Suppose -3*u + 2 = 4*x - 4, 4*u = 4*x - 20. Let k(w) = w**x + 4*w**3 + 8*w + 1 + 11*w**2 - 3*w**3 - w**3. Is 21 a factor of k(-10)?
True
Suppose 0 = 9*x - 8300 - 7324. Is 56 a factor of x?
True
Suppose 0 = -31*d + 1733 + 995. Is 4 a factor of d?
True
Suppose -5*h = -3*p - 5550, -6*h = -8*h - p + 2209. Is h a multiple of 41?
True
Let l = 44 - -389. Let f = 612 - l. Suppose 0 = 4*d + 5*j - f, -2*d + 7*d - 193 = 4*j. Does 22 divide d?
False
Let y(k) = 4*k - 29. Let o be y(-14). Does 8 divide 0 + (o/(-20))/(2/8)?
False
Suppose -4253 = 16*b - 15405. Is b a multiple of 18?
False
Let c(h) be the second derivative of h**5/20 - 13*h**4/12 - 7*h**3/3 - 4*h**2 + 4*h. Let s be c(14). Let z(r) = r**2 + 3*r + 8. Is z(s) a multiple of 14?
False
Suppose 2 = 2*t - 3*r, 0 = -3*t - r + 30 - 5. Suppose 5 = -2*i + t. Let m = 9