 3*u + 72, -2*q - 3*q - 2*u = -106. Let m = q + k. Is m a multiple of 12?
True
Suppose -4*c + 37 + 95 = 0. Is c a multiple of 5?
False
Suppose -11*z + 12*z = 0. Let s(o) = z*o + 12 + 2 + 0*o + 4*o. Does 12 divide s(7)?
False
Suppose 0 = -5*x + 5*p + 620, 4*p + 283 = 3*x - 87. Is 21 a factor of x?
True
Suppose 44*x = -4*r + 48*x + 7108, 0 = 2*x - 10. Is r a multiple of 33?
True
Suppose 5*l - 4 = 1. Does 14 divide 3748/14 + (-10)/(-35)*l?
False
Suppose -4*r = -2*r - 238. Let y = r - 64. Does 5 divide y?
True
Let n be (-3 - -1) + 32/16. Suppose n = -0*s - s - 4, -s = c - 17. Is 3 a factor of c?
True
Let u(q) = -q**2 - 8*q + 4. Let d be (0 + (1 - 0))/(-1). Let p = -8 - d. Does 3 divide u(p)?
False
Suppose -2*v = -h + 78, 3*v - 332 = -4*h + v. Suppose 0*n = n - h. Suppose 5*x - 278 = n. Does 24 divide x?
True
Let t(s) = 354*s - 18. Does 36 divide t(9)?
True
Let s(o) = -5*o**3 - 18*o**2 - 23*o - 4. Let m(x) = 14*x**3 + 53*x**2 + 69*x + 13. Let t(r) = 6*m(r) + 17*s(r). Does 8 divide t(13)?
False
Let o be (9/3)/(1/322). Let b = -626 + o. Suppose -y - c = y - 127, 5*y - 2*c = b. Is 33 a factor of y?
True
Suppose -2*t - 7 = 19. Let g = 17 + t. Suppose n = 3, -4*v = -g*n - 80 - 108. Is 10 a factor of v?
True
Let f(h) = -2*h**2 + 7*h + 1. Let i = 39 + -36. Let v be f(i). Suppose -3*x + 4*n = -x - 46, n = -v*x + 56. Is x a multiple of 10?
False
Is 11 a factor of (4 + -83)/(13/(-117))?
False
Let x be (-11 + -3 + 2)*12/(-18). Suppose x*n - 809 = 759. Is 28 a factor of n?
True
Is 22 a factor of (-12)/27*(-4176)/32?
False
Suppose 12*n - 140 - 652 = 0. Is 66 a factor of n?
True
Does 23 divide 9 - 2 - 144/(-9)?
True
Let t = 2818 + -1244. Is t a multiple of 16?
False
Let n(v) = 2*v - 6. Let c(i) = 3*i - 9. Suppose 0 = 6*g - 3*g + 15. Let m(x) = g*c(x) + 7*n(x). Is m(-6) a multiple of 9?
True
Suppose 2*r = 3*j - 3664, -11*j = -14*j - r + 3649. Does 39 divide j?
False
Suppose -5*p + 3*p = 3*y - 1015, -3*p = -4*y - 1514. Is 46 a factor of p?
True
Let k = 34 + -18. Suppose 3*u - 6*u + d = -39, 0 = 2*u - 4*d - k. Is u even?
True
Let n = 10 + -8. Suppose 4*w = 3*c + 7*w - 21, 11 = n*c + 3*w. Is 7 a factor of c?
False
Suppose -4*y + 93 = -3*y. Suppose 6*z = y + 33. Does 15 divide z?
False
Suppose 4*a - 231 = -5*p, -p + 5*a - 8*a + 55 = 0. Is p a multiple of 7?
False
Is 9 a factor of ((-6)/4)/(867/(-288) + 3)?
True
Suppose i + 43 = -4*o, 53 = -5*o - 3*i + 2*i. Let r(y) = -14*y - 25. Let t be r(o). Let q = -68 + t. Is q a multiple of 15?
False
Let j be 20/(-8)*-2*1. Suppose -j - 30 = -5*m. Let x = m + -4. Does 3 divide x?
True
Let n be (4 - -1) + -1 + 1. Suppose -n*t + 47 = 7. Suppose 6*f = t*f - 108. Is 22 a factor of f?
False
Let w be (-1664)/(-12) - (-4)/(-6). Suppose z + 2*p - 5*p - w = 0, -4*z + 4*p = -544. Does 45 divide z?
True
Let t(j) = 15*j + 7. Suppose 3*s - 33 = -4*q, 3*s - 4*q - 15 = -2*q. Let u be t(s). Let g = u + -76. Is 9 a factor of g?
True
Suppose -831*j + 1512 = -828*j. Is 24 a factor of j?
True
Let q = 18 - 15. Suppose q*w = 145 + 80. Is 14 a factor of w?
False
Let j(n) = 6*n + 4. Let a(m) = -3*m - 2. Let o(k) = -6*k - 4. Let c(q) = 11*a(q) - 6*o(q). Let s(u) = -11*c(u) + 6*j(u). Is s(4) a multiple of 3?
False
Suppose 4*b - l = b - 101, -2*b + 4*l - 84 = 0. Let z = 16 - b. Suppose -4*r + z = -0*r. Does 4 divide r?
True
Let w = 3196 + -734. Is 19 a factor of w?
False
Let p(k) be the second derivative of k**6/240 - 3*k**5/40 + k**4/12 + 3*k. Let j(l) be the third derivative of p(l). Is j(7) a multiple of 4?
True
Let o be 107*(-1)/(4 + -5). Let i = 129 - o. Is 22 a factor of i?
True
Let f be 240/9*(-630)/24. Does 10 divide 12/(-5)*f/21?
True
Suppose 2*l + 13 = 1. Is 21 a factor of (-9)/l*(-280)/(-4)?
True
Suppose 2*l - 2429 = -5*q, 25*l = -5*q + 27*l + 2421. Is 11 a factor of q?
False
Is 20 a factor of (280/6)/((-7)/(-21))?
True
Suppose 3*m + 34 = 5*n, m + 2 + 1 = 0. Is 40 a factor of (n/(25/2))/((-2)/(-200))?
True
Suppose -5*c = c - 2040. Let w = -242 + c. Is w a multiple of 20?
False
Let z be 51/6 + 1/(-2). Suppose 3*h - 4 = z. Does 3 divide h?
False
Let i(x) = x**2 + 11*x - 23. Let a be i(-13). Suppose 2*w = -0*w + 4*q + 104, a*w - 176 = -4*q. Is 28 a factor of w?
True
Let b(j) = j**2 - 5*j + 3. Let f be (0/1)/((-4)/(-4)). Let h = -6 + f. Does 23 divide b(h)?
True
Let x(p) = 4*p**2 - 2*p + 10. Suppose -54*v + 51*v - 15 = 0. Does 17 divide x(v)?
False
Suppose z - 816 = 4*m, -3*m + 0*z = 3*z + 627. Let p = -115 - m. Does 15 divide p?
True
Suppose -4*n + 6 = c + 30, 3*n = -5*c - 35. Let a = n + 37. Is a a multiple of 13?
False
Suppose 3*q - 2378 = -722. Is 24 a factor of q?
True
Is (-331)/(-3) - 4/((-84)/35) a multiple of 2?
True
Suppose y - 5*s + 52 = -2*s, 5 = -5*s. Let x be (-12)/10 - 11/y. Is 14 - ((1 - 1) + x) a multiple of 5?
True
Suppose j = 2*y + 21, 5*j - 94 - 1 = 5*y. Suppose 5*w - 9 = 4*w. Is j/1 - 27/w a multiple of 11?
False
Suppose -5*a - 347 = 478. Let o = -240 - a. Is 25 a factor of ((-6)/(-15))/((-1)/o)?
False
Let d be 520/26*144/10. Suppose 5*w = 3*w + d. Is w a multiple of 29?
False
Suppose -50*y + 61793 = -28207. Does 60 divide y?
True
Suppose -5*l = 247 - 967. Does 18 divide l?
True
Let k be -4*3/(18/(-15)). Suppose k = 2*g - 4*p, -2*p - 11 = g - 4*g. Suppose 0 = -g*c + 2*u + 66, 66 = c + 2*c + u. Does 11 divide c?
True
Let v = 196 + -61. Suppose -42*k + 37*k = -v. Is 7 a factor of k?
False
Let w = -40 + 43. Suppose 0 = -w*z + 4*f + 26 + 242, 0 = -f - 1. Is 15 a factor of z?
False
Let n(o) = -15*o + 20. Let u be n(-5). Suppose -u = -2*q + 41. Suppose 0*t + t + l - 70 = 0, -t = -l - q. Is 12 a factor of t?
False
Let v(q) = -q**3 - 4*q**2 + 13*q - 6. Is v(-8) a multiple of 6?
False
Let p(d) = -3*d + 28. Let z be p(6). Suppose 2*r + z = 4*r. Does 3 divide r?
False
Suppose -6*j = -2*j + 20. Let u = j + 9. Suppose 0 = 8*r - u*r - 212. Is r a multiple of 20?
False
Let f(o) = o - 7. Let y = 7 + 3. Let b be f(y). Suppose n + 48 = b*n + 4*g, -3*n + 3*g = -36. Does 8 divide n?
True
Let d(x) be the third derivative of x**6/120 - 7*x**5/60 + 5*x**4/8 - x**3/6 + 5*x**2. Does 10 divide d(6)?
False
Let i = -12 + 19. Let z be (18/7 - 2)*i. Let g(l) = 2*l**2 + l + 4. Is g(z) a multiple of 9?
False
Let x(b) = -b**3 + 6*b**2 + 6*b + 6. Let g be (-12)/(-15)*(-2 - 19/(-2)). Is 11 a factor of x(g)?
False
Suppose 0 = 12*s - 2*s - 1080. Is s a multiple of 54?
True
Let d = 2 - -2. Suppose -i - 18 = -z - z, 0 = -2*z + d*i + 12. Suppose z*o = 11*o - 20. Is o a multiple of 18?
False
Suppose 4*x - 48 = 24. Let z = x - 7. Suppose -9 = -2*a + 3*k, -4*k + z = 5*a - 0*k. Does 3 divide a?
True
Suppose 0 = -3*z - 4*j + 13 + 8, 0 = -2*z + 2*j + 14. Suppose s - z*s = -300. Suppose x = 4, -x + s = 4*k - 82. Is k a multiple of 10?
False
Let p(g) be the third derivative of -g**6/144 - 17*g**5/120 - 3*g**4/8 - 4*g**2. Let b(o) be the second derivative of p(o). Is 12 a factor of b(-6)?
False
Let s = 149 + -153. Let x = 2 + 2. Is 8 a factor of (-3)/x + (-131)/s?
True
Is 8 a factor of (-508)/(80/(-15) + 4)?
False
Let c = 37 - 20. Suppose -18*j + 9 = -c*j. Suppose 4 = 4*w, -2*m - 5*w + j = -10. Does 7 divide m?
True
Let t be 6/(-9) - 166/(-6). Suppose 0 = 4*f - t - 21. Is f a multiple of 4?
True
Let r(g) = -g**3 + 6*g**2 - 3*g - 7. Let x be r(5). Is 17 a factor of 4*(20 - (6 - x))?
True
Let u(g) = 4. Let n(w) = -w + 4. Let y(h) = -5*n(h) + 6*u(h). Suppose d = -3*d + 20. Is 10 a factor of y(d)?
False
Suppose -74 = -2*l - 2*b + 108, -l = -4*b - 116. Let f = -6 + l. Is f a multiple of 9?
True
Let t(m) = 6*m**2 - 10 - 58*m**3 + 2*m - 13*m + 59*m**3. Let y be t(-7). Is 16 a factor of y - (6/2 - 1)?
True
Suppose 5*h - 5 = 0, 450 = g + 9*h - 13*h. Is 9 a factor of g?
False
Suppose i + 8 = 3*u, 6 - 30 = -2*u - 4*i. Suppose -u*h = -138 - 242. Suppose -5*y = 5*v - 0*y - h, 5*v = -3*y + 95. Does 19 divide v?
True
Suppose 6*k - 4*n = 3*k + 647, -637 = -3*k + 2*n. Suppose -2*s - 116 = -2*c, c - s = -4*c + 294. Suppose c = -5*u + k. Is u a multiple of 14?
False
Let d = 1220 + -843. Does 20 divide d?
False
Let f = 4 - 4. Suppose f = -3*i - 0*i. Suppose -x + i + 7 = 0. Is x even?
False
Suppose 127 = -3*b - 17. Is 4*(0 + 1) - b a multiple of 8?
False
Let l = -118 + 238. Suppose -2*p + 6*p = l. Does 19 divide p?
False
Let b = -3 + -3. Let x be (3 + 2)*(b + 7). Suppose 0 = -2*v - x*u + 62, -