 = u*o - o - 2*s - 130. Is o a multiple of 7?
False
Let s(a) = a**2 + a. Let d(c) = 1. Let p(w) = -2*d(w) + s(w). Let x be p(2). Suppose -57 = -4*g - 5*u, x*u - 3*u = -3*g + 29. Is g a multiple of 4?
True
Let m be 22*-2*((-39)/12 + 3). Is 8 a factor of 2*(-2)/8*-6*m?
False
Suppose -5*l + 8*l + 277 = 5*d, 3*l = 3*d - 165. Let v = 82 - d. Is 6 a factor of v?
False
Suppose 5*i = 4*v + 374, 0*v = 4*v + 4. Does 2 divide i?
True
Is 27 a factor of (-432)/(-30) + -14 - (-12416)/10?
True
Let v(y) = -y**3 + 3*y**2 - 3*y + 1. Let i be v(1). Suppose 2*c - 219 + 49 = i. Does 35 divide c?
False
Suppose 81 = -7*k + 1362. Is 28 a factor of k?
False
Let v(w) = w - 9. Let b be v(13). Let q be 1 + 1 - -4 - b. Suppose q - 22 = -2*n. Is n a multiple of 10?
True
Let j = -16 - -10. Let m(r) = -r - 8. Let x be m(j). Does 8 divide 1/x*2 - -9?
True
Suppose t + j = 539, 7*j = 2*j + 15. Does 67 divide t?
True
Let d(i) = 17*i**3 - i**2 - 16*i + 17. Let t be d(1). Suppose j - 16 - 49 = 0. Let a = j - t. Is a a multiple of 16?
True
Let x be (-10850)/(-56) + 2/8. Let k = x + -104. Is 15 a factor of k?
True
Let k(j) = 3*j**3 + 37*j**2 + 4*j + 40. Does 8 divide k(-12)?
True
Let n(l) = 6*l**2 + 6*l + 6. Let r(y) = y**2 - 4*y - 4. Let s = 27 + -23. Let q be r(s). Is 26 a factor of n(q)?
True
Suppose -17*r + 326 = -15*r + 2*b, 4*b = 0. Is 4 a factor of r?
False
Suppose 9*k = 8*k + 263. Is 36 a factor of k?
False
Let w be (-24)/3*(-5 + 4). Let i(z) = z**3 - 5*z**2 + 3*z - 3. Is 13 a factor of i(w)?
False
Suppose 6*y = -42 + 576. Suppose y = 6*v - 163. Does 7 divide v?
True
Does 29 divide 4 - 0 - (8382/(-6) + 6)?
False
Let w(p) = 5*p + 11. Let a(k) = 10*k + 21. Let m(d) = 3*a(d) - 5*w(d). Is m(10) a multiple of 29?
True
Suppose 0 = 2*j + 51 + 33. Let i = 62 + j. Does 10 divide i?
True
Suppose 0*b + 74 = -2*b. Let j = -30 - b. Does 6 divide j?
False
Suppose 12*m = -3*m + 2325. Is 5 a factor of m?
True
Let j be -1 - 4/(-5) - 33759/(-1395). Suppose 0 = 5*f - 4*w + 3*w - 5, 0 = w - 5. Is j*1*3/f a multiple of 12?
True
Let b(p) = 4*p**3 + 2*p**2 - 3*p + 4. Let w be b(3). Let z = 95 + -10. Suppose j = 3*j + 5*n - z, 3*j + n - w = 0. Is 20 a factor of j?
True
Let x = 22 - 20. Suppose x + 73 = h. Is 31 a factor of h?
False
Is (-19)/((-209)/22) - -1249 a multiple of 11?
False
Is (1*(3 + -4))/((-7)/1813) a multiple of 37?
True
Let p = 354 - 198. Is 7 a factor of (0 - -6)/1*p/24?
False
Let v(d) = d**2 + 11*d + 9. Let g be (-468)/(-42) + (-2)/14. Suppose -56 = 3*c - g. Is v(c) a multiple of 27?
False
Let i(o) = 47*o**2 + 13*o + 5. Let r be i(-5). Suppose -6*k + 11*k - r = 0. Is 24 a factor of k?
False
Let i(d) = 54*d**2 + 10*d - 11. Does 15 divide i(2)?
True
Let f = -366 - -625. Does 48 divide f?
False
Suppose -6*d + 220 = 22. Does 11 divide d?
True
Let f(x) = 2*x**2 - 7*x + 4. Let o be f(4). Suppose u = 10 - 6. Suppose -2*t - o = -u*t. Is t even?
True
Let k = -111 - 8. Does 13 divide (-890)/(-7) - (-17)/k?
False
Suppose -5*r + 60 + 5 = 0. Does 2 divide r/3 - 3/9?
True
Let v be 29 - (2 - 6)*-1. Let d = -7 + v. Is d a multiple of 6?
True
Let p(w) = 33*w**3 - w**2 + w. Suppose 0 = a - 4, -5*a + 20 = 5*m - m. Let d be -3*(3 + m)/(-9). Does 11 divide p(d)?
True
Let v(t) = -3*t - 28 + 11 + 6*t. Let b be v(7). Suppose -2*a - 38 = -y, -5*a + 111 = 5*y - b. Is y a multiple of 7?
True
Suppose 10 + 5 = -m. Let t = m - -15. Suppose t = 4*s - 9*s + 135. Is 9 a factor of s?
True
Let z = -351 - -727. Is z a multiple of 13?
False
Let z(n) = 6*n - 3. Let p be z(2). Suppose -o + 4 - p = 0. Let l = -3 - o. Is l a multiple of 2?
True
Suppose 4*x + 5*j - 305 = 0, -3*j + 20 = x - 65. Does 14 divide x?
True
Let m(s) = 6*s + 6*s**2 + 2*s**3 + 7*s**3 - 10*s**3 - 7. Is 5 a factor of m(6)?
False
Let b be (-13 + 33)/(1/372). Is ((b/25)/8)/((-3)/(-10)) a multiple of 16?
False
Let i be 28/10*(-270)/(-9). Suppose 0*r - r = -i. Is r a multiple of 7?
True
Is 70 a factor of (-4 + 153)*(6 + 2)?
False
Let d be 25/(-1)*(-2)/2. Let v = 709 + -708. Does 20 divide (2 - 5) + d + v?
False
Let f(g) = -11*g**2 - 3 + g + 76*g**2 - 4*g. Is 5 a factor of f(-1)?
True
Suppose k + 4*w + 178 = 56, -3*k + 4*w - 430 = 0. Let z = k + 171. Does 3 divide z?
True
Let d be 7 - 1*(-8)/(-2). Let s(m) = 6*m**2 + 8*m**3 - 10*m**2 - 2*m + 4 - 7*m**d. Is s(5) a multiple of 15?
False
Let u(x) = 74*x**2 - 45*x - 3. Does 44 divide u(3)?
True
Suppose 9*p - 16 - 20 = 0. Is 10 a factor of 6/(0 - p/(-28))?
False
Let b = 11 + -9. Suppose b*t - 360 = -3*t. Does 24 divide t?
True
Suppose 5*i - 5851 - 1946 = 3*p, 3*i = 2*p + 4678. Is i a multiple of 13?
True
Let m(l) = l**3 - 4*l**2 - 7*l + 10. Let f be m(4). Is (-158)/(-4) - (-9)/f a multiple of 39?
True
Let k = -430 - -538. Does 7 divide k?
False
Let u(r) = r**3 + 10*r**2 - r - 7. Let q = -31 + 21. Let l be u(q). Suppose -54 = l*a - 8*a - 2*b, -51 = -3*a + 5*b. Is a a multiple of 6?
True
Let g(a) = a**3 - 12*a**2 - a - 14. Let r be g(15). Is 16 a factor of 66/(-88) + r/8?
True
Let x(i) = -i - 15. Let a be x(11). Let g be a/65 + (-33)/5. Let k(q) = -3*q - 9. Is k(g) a multiple of 12?
True
Is 24 a factor of (-1 - (-1563)/(-21))*(-13 - -6)?
True
Let n(o) = o**2 - 19*o - 35. Let d be n(22). Suppose 0 = -5*a + 509 + d. Does 27 divide a?
True
Let a be (-2)/2*(-20 - -1). Suppose -56 = -5*j + 3*t, -4*j = 2*t - 77 + a. Is j a multiple of 2?
False
Suppose -5*u = 3*y + 407, -y = -0*y - 5*u + 109. Let s = 245 + y. Is s a multiple of 15?
False
Let l(g) = 43*g**2 - 3*g + 1 + 4*g - g. Is 16 a factor of l(1)?
False
Suppose 0 = -2*i - 4*x + 8, -4*i + 8*i - x = -2. Suppose -v + 114 + 121 = i. Is 13 a factor of v?
False
Let c = 22 + -19. Suppose 0*f + 528 = c*f. Is f a multiple of 44?
True
Let q(h) = 46*h**2 + 40*h + 6. Is 35 a factor of q(-5)?
False
Suppose 0 = 19*g - 15656 + 1558. Is 53 a factor of g?
True
Suppose -1 = 2*u - 5. Let a(r) = -43*r**3 + 54*r**3 + 1 - r - r + 2*r**u. Is a(1) a multiple of 6?
True
Let k = 5 + 9. Does 12 divide 6/(-21) - (-1012)/k?
True
Suppose 0 = 3*w - 6*w + 45. Suppose 5*u - 2*n = -n + w, -n - 13 = -4*u. Suppose -4*p - 3 = -3*h, 3*h - 28 = -u*h - p. Does 5 divide h?
True
Let b = 692 - 320. Does 31 divide b?
True
Suppose -y + 86 = -0*y - 3*g, -331 = -4*y - g. Suppose 3*o - 4*j - 77 = 0, 2*j + y + 64 = 5*o. Is o a multiple of 7?
False
Let a(b) = -8*b. Let i be a(1). Let h(t) = -13*t - 32. Is h(i) a multiple of 18?
True
Let f be (-2)/3 + 11/3. Suppose 0 = -5*u + x, 3*u + x = 4*x. Suppose -f*n = -u*n - 144. Does 16 divide n?
True
Let b = -4 + 40. Let f = b + 24. Is 12 a factor of f?
True
Does 4 divide (-3 - (2 - -2)) + 207?
True
Suppose -2*o = -n + 847, 3*n + 0*o + 5*o = 2585. Is n a multiple of 45?
True
Suppose -2*o + 426 = 4*o. Suppose -4*n + a + o = -68, -87 = -2*n - 3*a. Is n a multiple of 9?
True
Suppose -4*z - 5*i = -25, -4*z + 4*i + 7 = 27. Suppose 2*s - 4*v - 142 = z, -s + 0*s + v + 68 = 0. Is 13 a factor of s?
True
Suppose 2*s = -2*h + 218, -4*s = -4*h - 2*s + 412. Does 12 divide h?
False
Suppose -4*a = -3*g - 16, -5*a + 2*g = -14 - 6. Suppose -a*z = -k - 387, -4*z + 88 = -3*z - 2*k. Let w = z - 70. Is w a multiple of 7?
True
Let s be 1282/14 + 24/(-42). Suppose -3*v = -7*i + 8*i - s, 2*v = 3*i - 229. Is i a multiple of 16?
False
Let z be (-21 - -27) + 2/2. Suppose z*x - 85 = 2*x. Is x a multiple of 3?
False
Let f(r) = 22*r**2 - 21*r**2 + 5 + 23*r**3 + 3*r - 4 - r. Is f(2) a multiple of 56?
False
Let m(t) = -45 - 11*t + 79 - 49. Is 20 a factor of m(-5)?
True
Let l = 50 - 35. Does 20 divide (5/l)/((-2)/(-342))?
False
Suppose 2*o - 6*a - 14 = -4*a, 5*a = -15. Suppose 0 = h + o*h - 50. Is h a multiple of 5?
True
Let f(x) be the second derivative of x**5/20 + 5*x**4/4 - x**3/2 - 17*x**2/2 + 6*x. Does 7 divide f(-15)?
True
Suppose z = -5*t + 23, 0*z + 5*t = 4*z - 17. Suppose 0 = f, 5*f = 2*k - 28 - z. Does 6 divide k?
True
Suppose 0 = 4*b - 2*k + 7*k - 2733, b = -3*k + 685. Is 11 a factor of b?
True
Let h = -344 + 2221. Does 95 divide h?
False
Suppose 0*i = 5*i + 5*c + 10, -c = -4*i - 3. Let b(j) be the second derivative of -21*j**5/20 + j**3/6 + j**2 - 2*j. Is 4 a factor of b(i)?
False
Suppose 0*i - 5 = -i, 3*i - 399 = -2*o. Is 8 a factor of o?
True
Suppose -4*l + 3 = 4*d - 5, 0 = -5*l - 10. Does 6 divide (d*1)/(2/43)?
False
Let d(y) = -13*y**2 + 9*y - 17. Let g(p) = -64*p**2 + 46*p - 86. Let m(