- 2 + 4*s - 6*s**2. Suppose 5*o = -l + o + 22, -2*o + 2 = -4*l. Does 12 divide i(l)?
True
Let j(l) = -3*l + 19. Let r be j(4). Suppose 108 = -3*v + r*v. Is v a multiple of 5?
False
Suppose -4*t = 8 - 24. Let o be (3 + t)*3/7. Suppose -7*k = -o*k - 52. Is 7 a factor of k?
False
Suppose 5*q + 4*y = 6*y + 577, -q + 116 = -y. Is 41 a factor of q?
False
Let l be 8/20 + 43/5. Let t(c) = -c**3 + 10*c**2 - 4*c - 15. Is t(l) a multiple of 22?
False
Let h(g) = -g + 7. Let n be h(8). Let l(w) = -78*w + 2. Is l(n) a multiple of 8?
True
Let k(x) = 2*x**2 + 27*x + 181. Does 4 divide k(-18)?
False
Suppose -5*b = -5*v - 1535, v + 1223 = 4*b + 2*v. Let c = b - 209. Is 14 a factor of c?
False
Let j(a) = -a**2 + a + 12. Let p be j(0). Let g = -20 + p. Let r = 4 - g. Is r a multiple of 3?
True
Let l be 8/(-40) + (-22)/(-10). Suppose 3*p - 5*b + 41 = 176, -l*p + 90 = b. Does 9 divide p?
True
Suppose -114 = 315*l - 318*l. Is l a multiple of 38?
True
Let q(k) = -6*k - 20. Let i be q(-5). Suppose -6*d - i*d = -2080. Is 26 a factor of d?
True
Does 20 divide ((-212)/(-6) + -2)*(-192)/(-40)?
True
Let k(h) = 166*h - 37. Is 10 a factor of k(1)?
False
Let z = -9 + 9. Is 8 a factor of (1 - z - 0 - 2) + 21?
False
Let r be 365 + -1 - (-1 - -4). Suppose -5*y + 4*j + r = 0, 0 = -y - y + j + 142. Does 13 divide y?
False
Let j(o) = -o**2 + 47*o - 6. Let m be j(39). Suppose 0*f + 5*f - 15 = -5*s, 5*s - 23 = 3*f. Does 34 divide (s + -1)*m/9?
True
Let s(n) = -n**3 + 17*n**2 - 5*n - 48. Is s(16) a multiple of 16?
True
Suppose 22*c + 290 = 1280. Is 9 a factor of c?
True
Suppose -5*c + 4*j + 269 = -71, -3*j = -3*c + 204. Is 11 a factor of c?
False
Suppose 456 = -5*x + 1741. Let w = x - 169. Is w a multiple of 44?
True
Let y = 31 + -17. Let g = 8 - y. Is (g*(-4)/(-2))/(-2) even?
True
Let u be (0 + 10)/(2*1). Suppose -h + 4 = 0, h - 22 - 292 = -u*t. Let n = 92 - t. Is n a multiple of 15?
True
Let d(o) be the third derivative of o**6/120 - 17*o**5/60 - 5*o**4/8 + o**3/6 + 36*o**2. Is 11 a factor of d(18)?
True
Suppose g + 5*n = 62, 3*g - 4*n = 43 + 124. Is 19 a factor of g?
True
Let s = 43 - 38. Let y = 17 - s. Is y a multiple of 9?
False
Let h be (-4)/1*518/8. Let o = -111 - h. Is 18 a factor of o?
False
Let p(g) = -14*g**2 + 3*g - 4. Let m be p(-4). Let q = 338 + m. Is q a multiple of 16?
False
Let c(j) = j**3 - 7*j**2 + 5*j + 11. Let l be c(6). Let d = l - 8. Is 150/5*(-2 - d) a multiple of 9?
False
Let u(l) = 19*l - 1. Let n be u(2). Suppose 0 = -0*p + 3*p - o - n, -o + 35 = 3*p. Suppose 2*h - 2*d - 28 = 0, -p = -h + 4*d + 11. Is 3 a factor of h?
False
Is 5 a factor of (-6)/(-2)*(630/27 + -12)?
False
Let l(n) = n - 1. Let p(v) be the first derivative of v**3/3 + 7*v**2 - 5*v + 3. Let r(c) = 5*l(c) - p(c). Is r(-8) a multiple of 3?
False
Let c(z) = -z**3 + 3*z**2 + 3*z + 3. Let j be c(4). Is 2/(-2) + (j - -25) a multiple of 3?
False
Let j(g) be the first derivative of 4*g**2 + 15*g + 19. Does 7 divide j(6)?
True
Let a = -3 - -5. Suppose 3*h + a*h = -10. Let i(n) = n**2. Is 4 a factor of i(h)?
True
Let p(v) = -9*v + 5 + 5 + 3 + 15*v. Does 27 divide p(4)?
False
Let v(a) = -a + 9. Let t be v(8). Suppose 5 = 3*k - t. Suppose -4*w = -4*p - 156, -k*w + p + 110 = 31. Is w a multiple of 6?
False
Suppose 0 = 91*b - 78*b - 8034. Does 6 divide b?
True
Let g be -3*8/(-12)*1. Let n(s) = 6*s**2 + 25*s + 1. Let p(o) = -o**2 - 5*o. Let d(t) = g*n(t) + 11*p(t). Does 5 divide d(6)?
False
Is 42 a factor of 2/((-70)/(-21)) + (-15351)/(-15)?
False
Suppose 83 - 1063 = -10*z. Suppose -3*o + 2*x + z = 0, 0 = 5*o + 2*x + 3*x - 155. Is o a multiple of 16?
True
Suppose 3*b - x - 46 = 0, -2 = b + 3*x - 4. Let y be (-218)/b - (-8)/14. Does 5 divide ((-48)/(-10))/(-4)*y?
False
Suppose -2*f + 7*f = 985. Suppose -2*a - 2*c + 126 = 0, f = -0*a + 3*a - c. Is a a multiple of 7?
False
Let p = -249 - -151. Let c = -62 - p. Is c a multiple of 6?
True
Let p(v) = -3*v. Let y be p(-5). Let t = y + -12. Suppose -t*a + 72 = -a. Does 10 divide a?
False
Let l(h) = 4*h**2 + 6*h + 6. Let n(p) = 3*p**2 + 7*p + 7. Let z(f) = -2*l(f) + 3*n(f). Let q be z(-7). Is 7/(-2)*(q + -3) a multiple of 25?
False
Suppose 0 = -5*i - 3*j - 2*j + 190, 2*i - j = 70. Is 9 a factor of i?
True
Suppose 194 = 138*g - 137*g. Suppose -5*c = -2*f - 172, -5*c - 5*f - 29 + g = 0. Is c a multiple of 11?
False
Suppose 3*j + 8*j = 22. Suppose 4*a - 5*l + 10 = 158, -j*a + 48 = 4*l. Is 8 a factor of a?
True
Suppose 5*d + 4*c + 5183 + 23 = 0, -5*d - 3*c = 5207. Does 27 divide (-268)/52 + 5 - d/13?
False
Is ((-35)/(-15))/(28/12)*1289 a multiple of 45?
False
Let v = -1407 - -1913. Is v a multiple of 67?
False
Suppose -q = -3*q - 146. Let w = 142 + q. Is 11 a factor of w?
False
Suppose 5*k + 5872 = 9*k. Does 21 divide k?
False
Let k(o) = 20*o**2 + o - 2. Let t be k(1). Suppose 134 = -17*c + t*c. Is 14 a factor of c?
False
Suppose -6*f + 142 + 1028 = 0. Suppose -9*g + f = -4*g. Does 13 divide g?
True
Is 9 a factor of 20/((3 - 1) + 441/(-222))?
False
Let i = 1110 + -737. Is i a multiple of 36?
False
Suppose -3*j = -9, 4*l - j + 0*j = 533. Suppose -3*b + l + 145 = 0. Is b a multiple of 13?
False
Is 8 a factor of ((-982)/4)/((-14)/28)?
False
Suppose -3*p = -4*m - 1287, 6*p - 10*p + 3*m + 1716 = 0. Is 25 a factor of p?
False
Let k(a) = 6*a + 566. Is k(0) a multiple of 23?
False
Suppose 5*g - 13 - 22 = 0. Let k(f) = f**3 - 8*f**2 + 8*f - 3. Let a be k(g). Suppose -142 - 34 = -a*h. Is h a multiple of 12?
False
Suppose -1360 = -12*h - 172. Does 34 divide h?
False
Suppose -6320 = -563*c + 559*c. Is c a multiple of 20?
True
Let o(j) = 32*j + 20. Let g be o(5). Suppose -4*f - q + 150 = q, -5*f = q - g. Does 7 divide f?
True
Suppose 40 = -5*n - 0*n. Let w(r) = -9*r - 9. Does 14 divide w(n)?
False
Let d(j) = 6*j - 1. Let p(r) = -r**3 + 4*r**2 - 2*r - 1. Let x be p(3). Suppose m + x + 3 = -4*y, -95 = -5*m + 4*y. Does 22 divide d(m)?
False
Let s(w) = 192*w - 212. Is s(5) a multiple of 4?
True
Suppose 161 = t - 3*f, -t - 4*t + 853 = f. Does 29 divide t?
False
Let m be 10/8*(5 - 1). Let k(r) = 4*r**2 + r - 1. Let u be k(m). Suppose u = -3*a + 5*a. Is a a multiple of 13?
True
Let t(k) = 4*k**2 - 2*k + 1. Let s be t(1). Suppose 3*r + 92 = s*c + 17, -110 = -4*c + 2*r. Is c a multiple of 10?
True
Suppose -2*d + y = -359, 4*d - 601 = -y + 120. Is d a multiple of 20?
True
Suppose -8068 = -17*q + 14*q + 4*x, -q - 2*x + 2686 = 0. Does 56 divide q?
True
Let a(f) = f + 13. Let h be a(-11). Suppose 0 = -h*y + 53 + 77. Does 13 divide y?
True
Suppose -8162 - 4105 = -29*a. Is 9 a factor of a?
True
Let r(f) = -f**2 + 12*f + 17. Suppose -4*w - g = -52, 2*w = -0*w - 5*g + 26. Let v be r(w). Is ((-39)/v)/(12/(-32)) a multiple of 20?
False
Let h = 0 + -3. Let u(j) be the first derivative of 5*j**3/3 + 2*j**2 + 4*j - 19. Does 11 divide u(h)?
False
Suppose 0 = -4*x + 3*g - 2*g + 2307, g + 1731 = 3*x. Suppose 0 = -4*r - 5*a + 572, -2*a = -4*r - 6*a + x. Is r a multiple of 37?
True
Let a(c) = 38*c + 8. Let m(y) = -y**2 - 11*y - 20. Let k be m(-8). Is 13 a factor of a(k)?
False
Suppose -7*b - 2335 = -12*b. Is b a multiple of 24?
False
Suppose 25*i - 24*i = -2, 3*i - 1349 = -5*y. Does 52 divide y?
False
Suppose -c + 3*c - 14 = 5*d, -5*c - 3*d = -4. Suppose -4 = -c*i - 0*i, 0 = l - 3*i + 4. Suppose -41 = -3*q + 4*w, -q + l*w - 6*w = -35. Is 14 a factor of q?
False
Suppose 5*w + 2*t + 45 = 0, 0 = -3*w - 0*w + 2*t - 43. Let z = w + 13. Suppose -z*s = 5*q - 57, -s - 4*q + q + 30 = 0. Is 6 a factor of s?
False
Suppose 3*b + 2*b - 255 = 0. Suppose -55 = -n - 5*d + b, 106 = n + 3*d. Is 24 a factor of n?
False
Let g = 10 + -5. Suppose 3*x - 3*o - 2 + g = 0, -21 = -3*x - 5*o. Suppose -x*y = -3*y + 16. Is 7 a factor of y?
False
Suppose 5*r - 5 = -5*u, 2*r - 4 = 4*r + 5*u. Let d be 37/r - (-2)/(-6). Suppose -4 = -a - 3*l, -5*l = 4*a - 11 - d. Is 2 a factor of a?
False
Let o(j) = j + 4. Let z be o(-7). Let s be z/(-5 - 1)*4. Suppose s*l = 6*l - 60. Does 15 divide l?
True
Suppose 5*a = 3*a + 772. Suppose -2*w + 12 = -5*w, 5*n + w = a. Is 26 a factor of n?
True
Let y be -124 - -10 - 1*2. Let o = -48 - y. Does 34 divide o?
True
Suppose -2*j + 3*w = -2*w - 50, 3*j - 37 = -2*w. Let i = 18 - j. Suppose -i*c = -10*c + 98. Does 9 divide c?
False
Let y = -2411 + 3633. Does 62 divide y?
False
Suppose 2*a - 3 = -1. Let j be (a 