z + 81 = 2*p. Does 8 divide p?
True
Let b(j) = -5*j + 29. Let d(c) = -2*c + 14. Let f(u) = 3*b(u) - 7*d(u). Let n(s) = s - 1. Let h(w) = -f(w) + 6*n(w). Does 10 divide h(3)?
False
Let z be -2 + 13/((-65)/(-80)). Let p be -1*(-1)/(1/5). Suppose -p*q - 180 = -z*q. Is 10 a factor of q?
True
Let u = 1 - -3. Let a be ((-56)/(-35))/(u/10). Suppose a*s = 47 + 33. Does 5 divide s?
True
Let w(g) = g**2 - 8*g + 15. Let n be w(13). Let u = -65 + n. Does 3 divide u?
True
Suppose 0 = 2*g - 5*o - 67, -4*g + 2*o + 145 = 3. Let i = g - 17. Is 19 a factor of i?
True
Suppose -7*h + 10*h - 3 = 0. Is 2 a factor of (2 + 20/4)*h?
False
Let b = 70 + -43. Suppose f - t - b = -0*t, -4*f = -5*t - 106. Is f a multiple of 11?
False
Let j be -2*(494/65)/((-4)/(-5)). Let w = 31 - j. Does 25 divide w?
True
Suppose 17*c = 11*c + 780. Does 40 divide c?
False
Suppose -3*y + 2*h + 1027 = 0, 2*y - 582 - 128 = -5*h. Suppose y = -9*d + 14*d. Let l = -44 + d. Does 6 divide l?
False
Let t be 2/(-5) - (-2294)/10. Let w be 6/(-4) - (-1463)/22. Suppose -5*j = 3*a - t, 3*j - w - 6 = -a. Is a a multiple of 26?
False
Let n(l) = l**2 + 25*l + 5. Suppose c - 5*u + 7 = -0, -77 = 3*c - u. Is n(c) a multiple of 46?
False
Suppose -78 = 13*j - 19*j. Suppose -720 = 10*b - j*b. Is 25 a factor of b?
False
Suppose -9 = -x - 6. Is (x*1 - 1)/(17/374) a multiple of 8?
False
Suppose 33519 = 46*o - 124859. Is 123 a factor of o?
False
Suppose 0 = -b + 2*i - 12, 3*b + 23 = 5*i - 8. Let x(l) be the third derivative of -l**6/40 - l**5/15 - l**4/12 + 2*l**2. Is x(b) a multiple of 6?
True
Let r(j) = -43*j + 23. Let v(h) = 14*h - 8. Suppose 2*s - 1 - 13 = 0. Let c(q) = s*v(q) + 2*r(q). Is c(4) a multiple of 13?
False
Let c(t) = -12*t + 22. Let l be c(9). Let d = l + 95. Is d a multiple of 4?
False
Suppose -5*r + 11 = -3*h + 6*h, -r - h = -3. Let x = 4 - r. Does 8 divide 89/6 + x/18?
False
Let f(b) = 8*b**2 - 2*b - 1. Let h = 49 + -53. Is 22 a factor of f(h)?
False
Suppose -24 = 4*g - 3*i - 553, 0 = -3*g - i + 413. Suppose g = u + 3*u. Does 11 divide u?
False
Suppose 0 = -3*g + 3*p - 228, 0*g + g - 2*p = -78. Let q = g + 166. Suppose 5*s + 4*c - q = 0, 4*s - c = -0*c + 61. Is 4 a factor of s?
True
Suppose -18*s + 4270 = 850. Is (-3)/(4 - 766/s) a multiple of 6?
False
Suppose 5*g - 1424 - 89 = -3*f, -2526 = -5*f - 4*g. Is 14 a factor of f?
False
Let u be 11/(-44) - 31/4. Let b(a) = 2*a**2 + 11*a + 37. Is 20 a factor of b(u)?
False
Let s = 22 + -40. Let p(n) = n**2 + 13*n - 5. Is 17 a factor of p(s)?
True
Suppose 2*b = -2*d + 2014, -5*b - 4052 = -9*b + 4*d. Does 10 divide b?
True
Suppose 0 = -23*x + 24*x - 11. Suppose 0 = x*u - 821 - 2116. Does 33 divide u?
False
Suppose -3*l + 512 = -3025. Is 21 a factor of l?
False
Let d = -2149 + 4423. Is 18 a factor of d?
False
Suppose -2*t = -4*u - 66, 4*t - 5*u - 59 - 64 = 0. Let i = t + -18. Let b = i + -3. Does 3 divide b?
True
Suppose -2*j + 5*j - 1144 = -2*b, -1915 = -5*j - 5*b. Is j a multiple of 27?
True
Suppose 3*a + 25*a - 23520 = 0. Is a a multiple of 56?
True
Let l be 3/(-2)*(-416)/24. Suppose z = b - 3*z - l, -5*b = 5*z - 30. Let h = 35 - b. Does 5 divide h?
True
Let m(j) = 3*j - 1. Let u be m(1). Let c be (u - 3)/(3/(-15)). Let k = c - -9. Is k a multiple of 3?
False
Let c(d) = -82*d + 30. Is 50 a factor of c(-5)?
False
Suppose 0 = -5*a + 4*s + 1631, 4*a - 4*s + 38 = 1346. Is 17 a factor of a?
True
Does 22 divide 3162 + -1 + (-89 - -96)?
True
Suppose 0*a - 4*a = -332. Suppose 5*f = v - a, f + 34 - 3 = 5*v. Let x = 38 + f. Does 5 divide x?
False
Suppose 158 = 3*g - 4*q - 138, 3*q - 77 = -g. Does 9 divide g?
False
Suppose 5*h - 11795 = -0*h. Is h a multiple of 5?
False
Let u(n) = 2*n**3 - n**2 + 2*n - 6. Let k be u(3). Let r = k + 18. Is r a multiple of 34?
False
Let f(v) = -v**2 + 5*v + 9. Let m be f(6). Suppose m*t - 437 = -35. Is 28 a factor of t?
False
Suppose 4*l - 2*l = -2, -4*l + 4 = -s. Let g(v) = v**2 + 7*v - 6. Let a be g(s). Suppose -a*p - 84 = -4*p. Is 19 a factor of p?
False
Suppose -25*u - 21736 = -47*u. Is u a multiple of 4?
True
Suppose -c + 2*h + 3 = 0, -3*c + 8*c = h + 24. Suppose -3 = w - 1, -9 = d + c*w. Let l(a) = 12*a**3 - a**2 + 2*a - 1. Does 6 divide l(d)?
True
Suppose -2*j - 106 = -4*j. Suppose 0 = 4*s - 3*s + 4*x - 67, 3*x = -6. Let p = s - j. Is 11 a factor of p?
True
Let d be -2*((-512)/2)/4. Let l = d + -39. Does 47 divide l?
False
Suppose 99*p = 101*p - 1300. Is p a multiple of 25?
True
Let c = -9 + 4. Let q(l) = 0*l + 52 - 40 - l. Does 10 divide q(c)?
False
Let n(b) = 30*b + 1080. Is 60 a factor of n(20)?
True
Suppose 5*x = -4*y + 362, 0 = -0*x + 2*x + 3*y - 149. Let d = x + -34. Is 3 a factor of d?
True
Let m(w) = 52*w**2 - 1 - 2*w + 0 + 2. Let d = -22 + 23. Is m(d) a multiple of 27?
False
Is (-5 - 60/(-8))/((-2)/(-124)) a multiple of 20?
False
Let b(m) = 16*m + 162. Is 26 a factor of b(24)?
True
Let w be (-55)/(-22)*(-2 + 18). Suppose -w*a + 276 = -37*a. Is a a multiple of 18?
False
Suppose -1617 - 2133 = -30*p. Is 29 a factor of p?
False
Let p = 322 - 133. Suppose -p = -2*h + 11. Is 18 a factor of h?
False
Let c(n) be the second derivative of n**4/3 + n**3/3 - n**2/2 - 6*n. Is 2 a factor of c(2)?
False
Let r(v) = -v**3 + 15*v**2 - 14*v + 2. Let c be r(14). Suppose 0 = 4*w - 8, -c*w + w = 2*u - 640. Does 46 divide u?
False
Let x(b) be the first derivative of b**3/3 - b**2/2 + 30*b - 17. Is x(0) a multiple of 7?
False
Let r be (0/(-2 - 3))/(-1). Suppose -5*k = -r*k - 40. Is 8 a factor of k?
True
Suppose -31 + 43 = 4*l. Is 186 + (1 + l - 0/2) a multiple of 9?
False
Let v(h) = h**3 - 51*h**2 + 30*h + 416. Is 14 a factor of v(51)?
True
Suppose 3*b - 1 = 4*b. Does 5 divide 29 + 2 + 0 + (b - 2)?
False
Let r(n) = 3*n + 5. Let x(i) = -16*i - 24. Let f(u) = 11*r(u) + 2*x(u). Let o(p) = -1. Let d(t) = f(t) + 5*o(t). Is d(5) a multiple of 4?
False
Suppose 24*p - 2542 - 3842 = 0. Is 19 a factor of p?
True
Suppose -5*b + 107 = -2*d, -14*b - 5*d = -18*b + 72. Is 7 a factor of b?
False
Let f = -455 + 835. Is 9 a factor of f?
False
Suppose 0*m - 4*y = 5*m - 5790, 4*m - y = 4611. Does 12 divide m/16 + (1 - 18/16)?
True
Let h be (3 - 2/4)*2. Suppose 5*l - 260 = -h*u, l = -u + 6*u + 28. Is 10 a factor of l?
False
Let b(q) = -q**3 + 3*q**2 + q - 2. Let f be b(-2). Let l = -13 + f. Suppose -3*t + 14 + 136 = l*o, 4*o + 3*t - 201 = 0. Does 18 divide o?
False
Is (5/3)/((-1883)/189 + 10) a multiple of 9?
True
Suppose 2*h = 10, -3*h + 35 = -5*n - 2*h. Let i be 42/(-56) - n/8. Suppose i = 5*t - 75. Does 5 divide t?
True
Let b = -3 - -11. Let h(m) = -1 - 5 - 5 + 2*m. Is h(b) a multiple of 2?
False
Let s(q) = 2*q**3 - q**2 + 28*q + 7. Is 12 a factor of s(7)?
True
Is (27/(-6))/(179/(-44) - -4) a multiple of 11?
True
Let m(j) = -12*j**3 + 3*j**2 + 2*j. Let k(a) = -a**2 - 7*a - 8. Let g(w) = -w**3 - 7*w**2 - 4*w + 6. Let h be g(-6). Let z be k(h). Does 16 divide m(z)?
False
Let z(m) = m**3 - 3*m**2 - 2*m + 2. Let y be z(3). Let x be 10*1 + 0/y. Let o = -4 + x. Is o a multiple of 3?
True
Let w(u) = u + 19. Let r be w(-18). Let x be (42/(-7))/(2/r). Is (7 - 4) + -1 - x a multiple of 5?
True
Suppose 0 = -2*z - 2*z - n + 878, 3*z - 4*n - 649 = 0. Is 37 a factor of (-24)/32 + 2/(8/z)?
False
Suppose 30 + 56 = 4*w - 2*l, w - 14 = -l. Suppose -93 = -j + w. Is 42 a factor of j?
False
Is (-7)/(-77) + (-746)/(-22) a multiple of 34?
True
Suppose -2*a + 5*a - 11 = l, 3*l = 4*a - 23. Suppose -a - 2 = -y. Does 2 divide y?
True
Is 204/(-33)*-34 - 46/253 a multiple of 6?
True
Suppose 4 = 4*c - 5*c. Suppose -t - 3*t = -40. Let n = t - c. Is n a multiple of 3?
False
Suppose -28*q + 1580 = -688. Does 44 divide q?
False
Let g be (6/(-5))/((-6)/20). Is 2/g + (-133)/(-2) a multiple of 19?
False
Suppose 3*d = 15 - 3. Suppose d*o + r - 355 = 88, -r = -2*o + 229. Is 8 a factor of o?
True
Let u(r) be the third derivative of 0*r**4 + 9*r**2 + 2/3*r**3 + 0 - 1/60*r**5 + 0*r. Is 4 a factor of u(0)?
True
Let c(l) = 9*l**2 - 88*l - 14. Does 49 divide c(16)?
True
Let i(m) = -147*m + 35. Does 50 divide i(-6)?
False
Suppose -3*z = -3*u + 9, -5*u - z - 4 + 1 = 0. Suppose 5*w = -2*t + 5 + 93, -2*t + 3*w + 114 = u. Is t a multiple of 18?
True
Let g = -72 + 103. Suppose g = 3*l - 101. Is l a multiple of 3?
False
Let l be (-4)/20 + (-2853)/(-15). Suppose 3*a - l = z, z + 6 - 68 = -a. Is a a multipl