ue
Suppose -47 = -7*n - 19. Suppose -2*s + n*q - 180 = -6*s, 0 = s + 3*q - 53. Is 7 a factor of s?
False
Let c = 8 + -4. Suppose 8*n - c = 4*n. Is 1/(-2)*-34 + n a multiple of 14?
False
Suppose -37 + 157 = -5*i. Suppose 2*l = 99 - 21. Let k = i + l. Is 8 a factor of k?
False
Let n(k) be the third derivative of -3*k**4/2 - 5*k**3/2 + 20*k**2. Is 33 a factor of n(-5)?
True
Suppose 281*x = 270*x + 660. Is x a multiple of 7?
False
Let c(n) = 2*n**2 - 10*n - 9. Let k be c(6). Suppose 123 + k = 6*v. Is v a multiple of 2?
False
Let o(a) = 84*a + 9. Is 55 a factor of o(6)?
False
Suppose -30 + 386 = d. Suppose -6*w + d + 58 = 0. Does 23 divide w?
True
Let a(o) = 9*o + 100. Is 3 a factor of a(-7)?
False
Does 33 divide -4 - (-7666 - 6)/8?
False
Suppose -s + 14 = -6. Suppose 3*c - 4*y = 2*c + 20, 0 = c + 4*y + s. Suppose 5*d - 35 = -c*d - 4*g, 4*d - 32 = -4*g. Is d a multiple of 2?
False
Let d = 1215 + -951. Is 5 a factor of d?
False
Let j(i) = -20*i - 56. Is 4 a factor of j(-5)?
True
Let h be (-206)/6 - 2/3. Let t be 240/(-28)*h/2. Suppose 7*g - 5*g - t = 0. Does 15 divide g?
True
Let x = 494 + 265. Is 11 a factor of x?
True
Let q be 3/9 + 380/(-6). Let r = q + 115. Suppose 4*y - 2*y = 4*a + r, -5*y = -2*a - 154. Is y a multiple of 8?
True
Suppose 6 = 2*x - 10. Is (0 - 1) + 17 + x a multiple of 8?
True
Suppose 47*g - 37803 - 24801 = 0. Does 36 divide g?
True
Let w(f) = 5*f + 1. Let y be w(3). Is 18 a factor of (-774)/(-12)*y/12?
False
Does 35 divide ((-5)/(-1) - 2)*5820/180?
False
Let i = -19 - -19. Suppose i = -p + 2*q + 3, -4*p + 5*q + 12 = 0. Suppose p*r = -3*m + 96, 163 = 5*m + 3*r + r. Is m a multiple of 11?
False
Suppose -12 = 5*u + 3. Let s be (-8 + 0)*(-54)/u. Let z = 223 + s. Does 32 divide z?
False
Let x be 0 - (6 - 3 - 10). Suppose -x*a - 512 = -3*a. Let o = -74 - a. Does 18 divide o?
True
Let x be 98/2 - (1 + -8 + 4). Let s = x - -20. Does 12 divide s?
True
Let v(a) = -26*a + 52. Does 39 divide v(-16)?
True
Is 25 a factor of -258*(-7)/(-42)*-14?
False
Let r(t) = -t**3 + 2*t**2 + 9*t + 237. Is r(0) a multiple of 10?
False
Let t be ((-32)/(-48))/((-1)/3). Let b be t/(8/(-20)) + 1. Suppose -3*v + 39 = b. Is v a multiple of 7?
False
Suppose 5*s - 3*s + 117 = -a, 3*a + 2*s + 351 = 0. Let v = 205 + a. Is v a multiple of 20?
False
Let w(h) = h**2 + 2*h - 21. Does 21 divide w(-30)?
True
Let o be -46 - 0*(2 - (-6)/(-4)). Let a = 50 + o. Is a a multiple of 3?
False
Let m be 2/((-36)/(-15) + -2). Suppose y = -f + 54, -310 + 33 = -m*y + 2*f. Suppose k = -3*x + 27, 5*k - 2*x - 80 = y. Is k a multiple of 20?
False
Suppose -l + 5 = -c, 0 = 2*c + 5*l - l - 8. Let h be -4*(c + -42)*1. Suppose -5*q + 224 + h = 0. Is q a multiple of 20?
True
Let q(y) = -y**3 - 2*y**2 - 3*y - 10. Let o be q(-4). Does 16 divide o - (5/2)/((-5)/(-4))?
True
Suppose -2*v + 6 = j - 11, 3*v + 6 = 2*j. Does 4 divide (-10 - -6) + j/6*8?
True
Suppose 1 - 41 = -5*o. Suppose -o*g + 16 = -4*g. Suppose -g*b + 108 = -2*b. Does 11 divide b?
False
Let o(t) = -t**2 - 11*t. Let a be o(-11). Suppose a = -4*n + 8 + 4. Suppose n*h - 68 = 76. Does 16 divide h?
True
Suppose 2*n - 75 = 223. Does 4 divide n?
False
Suppose -5*z + 5*o = -2405, -4*z - 57 = 3*o - 1946. Does 68 divide z?
True
Let a be ((-6)/(-1))/(-4 + 6). Suppose a*q + 12 - 50 = -2*h, -70 = -3*h + 2*q. Is h a multiple of 22?
True
Suppose -114*a = -118*a - 24. Let t(y) = -y**2 + 25*y - 1. Let m(z) = -8*z. Let u(d) = -7*m(d) - 2*t(d). Does 12 divide u(a)?
False
Let z = -218 - -275. Does 4 divide z?
False
Suppose -u - 2*y + 571 = 0, 0*u = u + 3*y - 570. Is u a multiple of 31?
False
Let f(c) = c - 2. Let i be f(7). Suppose -3*n + i*n - 156 = 0. Is n a multiple of 13?
True
Let w be (-65)/(-30) + (-2)/12. Suppose 3*s = 5*j - 9, 0 = 5*j - w*s - 4 - 7. Is (-38)/(-57) - (-22)/j a multiple of 3?
False
Let l(r) = -3*r - r**3 + 6*r + 2*r**2 - 4*r - 62 + 0*r. Let p(x) = 2*x**3 - 3*x**2 + 2*x + 124. Let g(n) = 5*l(n) + 3*p(n). Is g(0) a multiple of 16?
False
Is 41 a factor of ((-25)/(-2))/(-5) + (-25917)/(-106)?
False
Let u be 1*-5*54/45. Is 138/12 + 3/u a multiple of 3?
False
Let z = -110 - -245. Is 12 a factor of z?
False
Let i(q) = 2*q**2 + 9. Let c be i(7). Suppose 2*b - 523 = -5*z + 3*b, 0 = -z - b + c. Is z a multiple of 35?
True
Suppose 4*w + 28 = 16. Does 34 divide -5 - w - 20*-13?
False
Is 7 a factor of (-14)/21 - (-926)/3 - 1?
False
Let h(f) = f**3 + 7*f**2 - f - 10. Let y be h(-7). Suppose -25 - 647 = -4*b. Is 1*(b/y)/(-4) a multiple of 4?
False
Suppose 4*g - s - 139 = 0, 2*g - s = -0*s + 69. Let f = g + 19. Is f a multiple of 7?
False
Let w(m) = -216*m - 18. Let u be w(-8). Suppose 2*s - 176 - 490 = -4*z, 5*s - u = 5*z. Does 42 divide s?
False
Suppose -3*n - 215 = -8*n + 5*x, 3*x = n - 33. Is n/(-60) + (-589)/(-5) a multiple of 39?
True
Let c(i) be the third derivative of -2*i**4/3 - 8*i**3/3 + 4*i**2. Is 11 a factor of c(-4)?
False
Let f(w) = -3*w**3 + 2*w**2 + 4*w + 8. Let s(z) = 2*z**3 - 3*z**2 - 4*z - 9. Let n(a) = 3*f(a) + 4*s(a). Does 12 divide n(-6)?
True
Let w be 2/5 - 2/5. Let r(z) = -z**3 - z**2 - 2*z + 15. Is 15 a factor of r(w)?
True
Let m(x) = 8*x**2 + 6. Let i be m(3). Let g = i + 42. Is 30 a factor of g?
True
Suppose -3*d + 225 = v, 140 = -0*d + 2*d + 4*v. Let n = d - 49. Is n even?
False
Let o(u) = -12*u + 108. Is o(-19) a multiple of 48?
True
Is 64 a factor of 480*(8/5 + 150/125)?
True
Let j = 2 + 2. Suppose j*s - 174 = -2*s. Is 11 a factor of s?
False
Does 63 divide 2597/15 - 14/105?
False
Suppose 3*h - 2*i = 19, 4*h + 4*i = i - 3. Suppose -b = 5*c - 44, 0 = h*b - c + 3*c - 132. Is b a multiple of 11?
True
Let y(c) = -5*c + 9. Let g = -10 + 4. Is 16 a factor of y(g)?
False
Let n be ((-16)/6)/((-4)/6). Suppose -5*b = 3*d - 195, n*d = -d + 2*b + 294. Does 19 divide d?
False
Is 23 a factor of 14436/22 - (-9)/(495/(-10))?
False
Suppose 3*z - 3 = 3. Is 111/z*32/48 a multiple of 6?
False
Let x(s) = 4*s**3 + 4*s**2 + 20*s - 133. Is x(5) a multiple of 9?
True
Let t(r) = -21*r - 215. Is t(-50) a multiple of 75?
False
Let z be 1/(2/(-4))*(8 - 10). Suppose z*b + 4*s - 2*s = 672, 0 = -3*b - s + 505. Does 32 divide b?
False
Suppose 5*b - 4*d + 247 = 0, d = -0*d - 2. Let q = b - -90. Is 10 a factor of q?
False
Let y = 13 + -16. Let c be (-15)/(-4) - y/12. Suppose -j - 150 = -4*k - 4*j, -c*j = -k + 28. Is 18 a factor of k?
True
Let o = 46 + -41. Suppose 0 = -o*y - 2*v + 598, 5*v + 112 = y - 13. Does 24 divide y?
True
Let h = 286 + 94. Let p be (-3 - -6) + h + 1. Suppose 6*l - 2*l = p. Is 26 a factor of l?
False
Let f(g) = g**3 + 14*g**2 - 20*g + 16. Let m be (-2)/7 - (-309)/(-21). Does 16 divide f(m)?
False
Let b(p) = 2*p**2 - 12*p + 289. Is 2 a factor of b(12)?
False
Let x(f) = f**3 + 9*f**2 + 8*f + 2. Let g be (-26)/4 + 2/4. Is x(g) a multiple of 31?
True
Let y(v) = v**2 - 10*v - 67. Does 5 divide y(-7)?
False
Let d be (2 + -2)/(10 + -8). Suppose -r - s + 148 = 2*r, -5*r + 5*s + 260 = d. Suppose -r = 4*q - 290. Does 12 divide q?
True
Let u(v) = 51*v**2 - 2*v - 2. Let a be 3/(-2)*(-30)/(-45). Does 17 divide u(a)?
True
Let d = 2260 - 1201. Does 13 divide d?
False
Let k be (-16)/(-80) + (-1176)/5. Let f = k - -349. Suppose 121 = 5*n - f. Does 19 divide n?
False
Let s = -101 + 691. Does 58 divide s?
False
Let d(i) = 116*i + 34. Does 14 divide d(3)?
False
Let b(c) = -6*c - 11. Let y(q) = -q + 1. Let l(h) = b(h) + y(h). Does 13 divide l(-7)?
True
Let w be (-315)/(-20) - 3/(-12). Let x(l) = -l**2 + 4*l + 20. Let n be x(w). Let t = -37 - n. Is 27 a factor of t?
True
Let y be 567 + (6 - 0 - 3). Suppose 5*x - 20 = 0, 6*s - s - y = -5*x. Is s a multiple of 38?
False
Let s(k) = 10*k + 2. Let d be s(1). Let n(j) = 3*j**2 + 13*j + d + 4*j**2 - 5*j**2. Does 9 divide n(-8)?
True
Suppose -10 = -2*r - 2*b, -4*r - 15 = -7*r + 3*b. Suppose -9 + r = -2*q. Is 10 a factor of (-1)/(2/(-18)) + q?
False
Let j(z) = z**2 + 8*z + 2. Let r be j(-7). Is 8 a factor of (-4)/r - 3728/(-40)?
False
Let d(v) = -v**2 - 13*v + 12. Let h = 28 + -33. Is 4 a factor of d(h)?
True
Suppose 2*k + 5*y - 3 = 0, -3*y - 45 = -0*k - 4*k. Suppose -261 - 99 = -k*r. Is r a multiple of 20?
True
Let a(x) = 1 - 718*x**2 - 4*x + 798*x**2 + 2*x. Suppose -2*z - 4*g + 9 = 3*z, -5 = -3*z - 2*g. Is 24 a factor of a(z)?
False
Suppose 5*y = 5, 2*a + 4*y = 2 + 8. Suppose 0 = -a*m - 2 + 17. Suppose