*c + 4*r + 16, -5*r - 20 = 4*c. Suppose c = -6*b - 10*b + 400. Does 2 divide b?
False
Let v be ((-456)/(-10))/((-9)/(-270)). Suppose -v = 45*y - 51*y. Does 14 divide y?
False
Suppose -3*v = 3*w - 6*w + 90, 3*v = 5*w - 96. Let o = v - -31. Is ((-48)/(-3))/4*o a multiple of 5?
False
Let x = 223 + -103. Suppose 2*m - x = -4*m. Is m a multiple of 10?
True
Let t = 20 - 13. Let a(y) = -t + 2 - 7 - 22*y - 1. Is a(-4) a multiple of 14?
False
Is (1 - 2)/((52/(-2024))/13) a multiple of 11?
True
Let c be 2*(45/10 - 3). Suppose -3*d = 4*i - 203, -c*i + i - 5*d + 105 = 0. Is 8 a factor of i?
False
Let b = 42 + 5. Let z = b + -23. Does 24 divide z?
True
Let x be (3/9*1149)/1. Suppose -3*j = 5*i - x, -2*j + 2 = -0*j. Does 16 divide i?
False
Suppose -66 = -2*w - 6. Suppose a = -a + w. Is a a multiple of 2?
False
Suppose -639 = -5*o - b, -2*b - 627 = -o - 4*o. Suppose 3*a = 3*m + 87, 9*a = 4*a - 4*m + o. Is a a multiple of 27?
True
Suppose -20 = -5*c + 5. Suppose w - 596 = -4*v - 0*w, v - 130 = -c*w. Is 15 a factor of v?
True
Suppose 83*o - 374768 = -35*o. Is 22 a factor of o?
False
Suppose -5*a + j + 405 = 0, -5*j - 265 = 3*a - 6*a. Does 18 divide a?
False
Let q(k) = 2*k**2 - 2*k + 15. Let h(r) = -7*r + 34. Let f be h(4). Does 12 divide q(f)?
False
Let u = 400 - 325. Is 8 a factor of u?
False
Suppose 5*h - 40 = h - j, 0 = h + j - 7. Suppose 0*y = 3*l - 2*y - h, 3*l - 5*y + 4 = 0. Is l even?
False
Let x(l) be the third derivative of 0 - 1/120*l**6 + 0*l - 4*l**2 + 1/60*l**5 + 5*l**3 + 0*l**4. Is x(0) a multiple of 16?
False
Let g be (1 - -1)/1 + 154. Let z = 110 - g. Let h = -24 - z. Does 11 divide h?
True
Let h be -4*(-2)/8 - -98. Let z be -4 + h*-1 - -3. Is 2 a factor of z/(-12) - 4/(-6)?
False
Let k = 20 + -18. Suppose k*a - 3 = -f + 183, 3*f - 2*a - 542 = 0. Suppose -82 - f = -3*s. Is s a multiple of 21?
False
Let v(t) = -7*t**2 + 4*t - 1. Let g(k) = k**2 + 19*k + 33. Let j be g(-17). Let r(s) = -s**2 + s. Let b(d) = j*v(d) - r(d). Is 32 a factor of b(4)?
False
Let f(l) = l**3 - l**2 + 10*l - 9. Let u be f(4). Let m = 89 - u. Is m a multiple of 5?
True
Let v(r) = -r**3 + 11*r**2 + 6*r + 26. Let k be v(10). Does 34 divide ((-15)/9)/(-5)*k?
False
Let x be (-2)/(-11) + (-93)/(-33). Suppose 0 = 3*w - 9, 4*r + x*w = 4*w - 11. Let k = r + 14. Is k a multiple of 3?
True
Let v = 1097 + -971. Is v a multiple of 7?
True
Suppose 0 = -4*m - 4*u + 924, 7 = 4*u - 5. Suppose 3*h = 6*h - m. Is h a multiple of 8?
False
Let s be ((-15)/30)/(2/(-28)). Suppose -c + 8 = -s. Does 15 divide c?
True
Let s(g) = 0 + 54*g - 1 + 1 + 2. Let y be s(-3). Let d = -90 - y. Does 11 divide d?
False
Is 17 a factor of (646/4*(-1 - -3))/1?
True
Suppose 2*i + 3*n + 11 = 0, 3*n - 10 = 5*i - 35. Let c(g) = 90*g - 7. Is 14 a factor of c(i)?
False
Suppose 6*l + 10969 + 27341 = 0. Let j = -4105 - l. Is j/36 + 1/(-3) a multiple of 21?
True
Let k(x) = x**3 - x**2 + x. Let y(s) = -6*s**3 - 3*s**2 + 4*s + 9. Let f(v) = -5*k(v) - y(v). Suppose 4*l = 4*d - 12, -l - 2*d = -4*l - 14. Does 21 divide f(l)?
True
Let v = 678 + -354. Does 27 divide v?
True
Let m(n) = -n + 4. Let a be m(0). Let k = a - -7. Suppose -k*h + 208 = -7*h. Is 26 a factor of h?
True
Suppose -19 - 1 = -4*i. Does 4 divide 55/(-22)*(-52)/i?
False
Suppose -3*k + 0 = 2*r - 13, -3*k + 17 = 4*r. Suppose -v = r*w + 32, -w - 26 = 2*v + 26. Is ((-252)/v)/((-1)/(-6)) a multiple of 21?
True
Suppose 2*z + 8 = 3*r - 2, 4*r + 5*z = 21. Suppose 9*u - 845 = r*u. Suppose 9*w - 4*w - 2*m - u = 0, w - 29 = -2*m. Does 14 divide w?
False
Suppose -2*r + 2*v + 4773 = -165, 0 = -r + 5*v + 2461. Does 57 divide r?
False
Suppose 0 = 3*k - 11 - 37. Let u = k - 13. Is (26/u)/(1/6) a multiple of 13?
True
Let p(n) = 2*n**2 - 8*n - 12. Let w be p(7). Suppose w*r - 57 = 27*r. Is 3 a factor of r?
False
Let i = 1806 - 310. Is 8 a factor of i?
True
Suppose 0 = 3*v - 5*c - 5002, 10*v - 8330 = 5*v + 5*c. Does 52 divide v?
True
Let r(s) be the first derivative of -18*s**3 - s**2 + 2*s + 6. Let c be r(1). Is -3 + (-3)/6*c a multiple of 8?
True
Let i = 880 + -761. Is 9 a factor of i?
False
Suppose 2*i + 39 - 3 = 0. Let d = -16 - i. Suppose d*b - 11 = 43. Is b a multiple of 10?
False
Let f(d) = -20*d**2 - 17*d + 79. Let g(r) = 7*r**2 + 6*r - 26. Let j(o) = 6*f(o) + 17*g(o). Let c(x) = 4*x - 88. Let n be c(22). Is 32 a factor of j(n)?
True
Suppose 0 = -3*u - 2*b + 269, u + b - 56 = 34. Let k(f) = f**3 + 9*f**2 - 7*f - 8. Let o be k(-9). Suppose 3*w - u = o. Is 10 a factor of w?
False
Let h(v) = 9*v**2 + 5*v + 9. Let q be h(-4). Let k = q - 83. Is k a multiple of 18?
False
Suppose -12 = -3*f - 5*r + r, -2*f + 6 = 2*r. Let p(s) = 2*s + 17. Let b(w) = -w - 9. Let z(l) = 11*b(l) + 6*p(l). Is z(f) even?
False
Let h = 1461 + 936. Does 13 divide h?
False
Suppose -12*j - 6 = -13*j. Suppose 520 = 2*k - 0*k. Suppose -p + j*p = k. Is 26 a factor of p?
True
Let c(u) = 3*u**2 + 6*u + 7. Let n(b) = -7*b**2 - 12*b - 15. Let z(s) = s + 14. Let w be z(-12). Let m(p) = w*n(p) + 5*c(p). Is m(-6) a multiple of 5?
True
Let h = 78 - -199. Is h a multiple of 7?
False
Let r = -97 - -163. Does 3 divide r?
True
Let u = 83 + -87. Let b(s) = -4 - 4*s**3 + 0*s + 3*s**3 + s**2 + s. Does 28 divide b(u)?
False
Let x be (-10)/2*(5 - 54/10). Let j be (-2)/(-8) - 30/(-8). Suppose 4*n + 20 + 28 = 2*p, x*n + j = 0. Is 5 a factor of p?
True
Does 25 divide 642 - ((-42)/(-36))/(1/6)?
False
Suppose 73*c - 66*c - 8099 = 0. Is 5 a factor of c?
False
Let u be (6/(-4))/((-39)/910). Suppose -2*z + 7*z = u. Is 2 a factor of z?
False
Let b(f) = -3*f + 1. Let i be 2 - (-3 - 1 - 0). Let q be b(i). Let y(z) = z**2 + 12*z - 12. Is y(q) a multiple of 9?
False
Is 3 a factor of (-55)/(-15)*33 - (0 + -3)?
False
Suppose -439 - 49 = -4*v. Suppose -h + v - 50 = 0. Does 12 divide h?
True
Let m(d) = 2*d**2. Let z be m(1). Suppose f - 5*p + 15 = 0, 4*f + f + z*p - 33 = 0. Suppose 5*a - 6*a + f = 0. Does 2 divide a?
False
Let t = -20 - -15. Does 13 divide t + 4 + 29 + 0?
False
Suppose -6*q + 6 = -4*q. Suppose -8 = q*l - l, -1252 = -5*u + 3*l. Suppose 3*o = u - 44. Does 21 divide o?
False
Suppose 78 = 4*r + 3*p + 229, 0 = r + 5*p + 59. Let g = r + 24. Let m(z) = -z**2 - 13*z + 3. Is 9 a factor of m(g)?
False
Let r = -46 - -228. Does 26 divide r?
True
Suppose -6*r = 5*g - 10044, -2*g - 8370 = -5*r + 2*g. Does 46 divide r?
False
Is 18 a factor of -3*1238*(-10 - -12)/(-4)?
False
Let o be (-1)/3 - (-2)/6. Suppose a - 28 - 20 = o. Does 12 divide a?
True
Suppose 2*h = -3*v - 2*h + 7, 2*h = 3*v - 19. Is 5 a factor of 3*16/120 + 273/v?
True
Suppose 0 = 6*n - 2262 - 2028. Is 55 a factor of n?
True
Let r = -14 - -9. Let g(o) = o**2 + 7*o - 6. Let s(c) = 2*c**2 + 13*c - 11. Let w(d) = -7*g(d) + 4*s(d). Does 3 divide w(r)?
False
Is (-5 + 169 - -7) + (-1 - -5) a multiple of 14?
False
Let q(z) = -z**3 + 17*z**2 - 7*z + 20. Let b(k) = -k**3 + 18*k**2 - 7*k + 21. Let v(t) = 4*b(t) - 5*q(t). Is v(13) a multiple of 25?
True
Suppose -12*z + 26 = -10*z. Let l = z - -26. Does 26 divide l?
False
Let g(k) = 2*k**2 + 13*k + 6. Does 19 divide g(-10)?
True
Let o be ((-42)/63)/(11/(-6) - -2). Is (o/24*2)/(2/(-696)) a multiple of 29?
True
Let h = -841 - -4995. Is h a multiple of 81?
False
Let o(z) = 10*z - 8. Let u be o(3). Suppose -u = -2*g - 4*k, 2*g + 2*k = -0 + 16. Let h = 30 - g. Is h a multiple of 5?
True
Suppose 5*b - 4*c = 280, -3*b + 3*c - 135 = -5*b. Suppose 2*g = -4*g + b. Does 6 divide 78/g + (-3)/(-15)?
False
Let i = -77 + 44. Let t = -73 + i. Let h = t - -176. Is h a multiple of 17?
False
Let m = -9 + 11. Let o(l) = 3*l**2 + m + 0*l - l**2 + l - 3. Is 5 a factor of o(-2)?
True
Let x(c) = 3*c**2 - 12*c + 48. Is 8 a factor of x(6)?
False
Let h(r) = -8*r + 5. Let i = -13 + 12. Let o(n) = 1. Let s(b) = i*h(b) + 4*o(b). Is 12 a factor of s(4)?
False
Does 39 divide (-12)/102 + (-11936)/(-17)?
True
Let u(m) = 44*m + 23. Let f be u(-4). Let y = 276 + f. Does 41 divide y?
True
Let j = 3 + 68. Is 29 a factor of j?
False
Let c(j) = 6*j**2 + j + 2. Suppose 11 - 23 = -6*l. Is c(l) a multiple of 14?
True
Suppose -624 = 7*t - 15*t. Does 7 divide t?
False
Is 72/14*13090/165 a multiple of 8?
True
Let d = -39 + 38. Is 4 + d + (2 - -4) even?
False
Let s(y) = 2*y**2 + 24*y - 35. Let q(g) = g**2 + 8*g - 12. Let r(u) = 17*q(u) - 6*s(u). Let j be r(5). Let b = j + -58. Is 5 