*j**2 + 2*j + 6. Let r be n(10). Suppose 4*d - 220 = -2*a, d - 5*a + r = 5*d. Does 18 divide d?
True
Suppose 2*r - 65 = -5*h, -2*h - 3*h = 15. Suppose 6*v - r - 2 = 0. Is 2 a factor of v?
False
Suppose -q + 53 = -4*u + 405, -u + 2*q = -88. Is u a multiple of 11?
True
Let h(b) = -b**2 - 4*b - 1. Let z be h(-3). Suppose s - 2*a = 3 + 7, 0 = -z*s - 5*a - 7. Is 11 a factor of 36 - (s - (-1 + 2))?
True
Let d = -595 - -73. Let f = -274 - d. Is f a multiple of 31?
True
Let k(p) = -p**3 - p**2 + 5*p + 2. Let r be k(-3). Suppose r*c - 240 = c. Suppose 3*v - c = v. Does 10 divide v?
True
Let u = -721 - -1114. Is 30 a factor of u?
False
Suppose -n = 0, -276 = -4*f - 0*n + 2*n. Suppose -x = -19 - f. Is 22 a factor of x?
True
Suppose 4*k - 61 = -g, 2*g + 2*k - 72 = 68. Let x = 409 - g. Is x a multiple of 14?
True
Let o = 40 - 35. Suppose -20 = 3*k + 4*g, -4*k + 10 = -5*g + 3*g. Suppose -b + o*b - 16 = k. Does 4 divide b?
True
Suppose -4*b = -o + 6, -2*o = -2*b + o - 8. Does 20 divide ((-245)/b - 1) + 37 + -41?
True
Let t = -59 + 95. Suppose -4*k + 4*r + t = 0, 3*r - 13 = 4*k - 44. Suppose -66 = -k*x + x. Is 5 a factor of x?
False
Suppose -2*z - 3*z + 3*q + 422 = 0, -262 = -3*z + 4*q. Let p = z + 26. Is p a multiple of 12?
True
Suppose 12 = 2*r - 2*p, 0 = 47*r - 42*r + 4*p - 12. Suppose 0 = -2*b - b - 3. Is 13 a factor of (-546)/56*r/b?
True
Suppose 5*s - 8642 = -2*o, -1273 - 3907 = -3*s + 4*o. Is 72 a factor of s?
True
Let q = 58 - -101. Let s = -59 + q. Does 10 divide s?
True
Suppose -7*o - 20440 = -12*o + 5*r, 4104 = o + 3*r. Does 44 divide o?
True
Let g = 391 + -271. Suppose -a = -4*a + g. Does 6 divide a?
False
Let u(i) = 3*i - 10. Let g be u(5). Suppose -3*o - 3*h + 111 = 0, 2*o - g*o + h = -91. Let a = 48 - o. Is 7 a factor of a?
False
Let h = -26 - -62. Is 2/(-9) + ((-5416)/h)/(-2) a multiple of 15?
True
Let p = 19 - 22. Let a be (2/(-5))/((-3)/(-90)). Does 14 divide 22/a*p*10?
False
Suppose 0 = 5*d - 19 + 4, d + 17 = r. Suppose 4*i - r = -2*o + 10, -i = 5*o - 75. Is 15 a factor of o?
True
Let t = -17 - -16. Is 25 a factor of 228 - (-2 + 6 + t)?
True
Let z = 17 - -10. Suppose -5*l + 450 = 2*o, -4*o + 7 = z. Does 19 divide l?
False
Let k(r) = -40*r - 127. Is k(-5) even?
False
Suppose 33*d - 28*d + 5*h = 9665, 0 = 4*d + 5*h - 7733. Is d a multiple of 28?
True
Let d(f) be the second derivative of 7*f**6/180 - f**5/120 - f**3/2 + 11*f. Let v(w) be the second derivative of d(w). Is v(1) a multiple of 3?
False
Let h(p) = -4*p + 1. Let a be h(-1). Let r be (1 - 1) + 20/a. Suppose -r*y - j = -149, 0*y + 4*j = -2*y + 64. Does 29 divide y?
False
Is 3 a factor of ((-107)/(-214))/((-2)/(-144))?
True
Let k(o) be the third derivative of -o**6/360 + 7*o**5/60 - 5*o**4/12 - o**3/3 + 3*o**2. Let v(x) be the first derivative of k(x). Is 5 a factor of v(12)?
False
Is 2/7 + 388/14 + 0 a multiple of 7?
True
Suppose 4*j = -z + 582, j - 155 = -0*j - 5*z. Is 29 a factor of j?
True
Suppose 4*g + 264 = 4*c, -8 - 298 = -5*c - 3*g. Does 63 divide c?
True
Suppose -4*p - 252 = -3*p. Is 12 a factor of p/(-9) - (-2 - -6)?
True
Let r(d) be the third derivative of -7*d**5/60 - d**4/24 - d**3/3 - 9*d**2. Let p be r(2). Let g = -25 - p. Is 7 a factor of g?
True
Suppose -110 - 22 = -3*k. Is 11 a factor of k?
True
Suppose 13*g + 3*l = 10*g + 642, l = 2. Does 53 divide g?
True
Let q be -3 - 4/(-2) - -7. Suppose -70 = 2*h - q*h - z, -5*h = 4*z - 82. Suppose -h = -4*s + 70. Does 7 divide s?
False
Let l(z) = 7 - 3*z**2 + 4*z**2 - 4*z - 3*z. Suppose 3*o + 2 = 23. Does 3 divide l(o)?
False
Let h(v) = 2*v**2 - 13*v + 38. Does 39 divide h(11)?
False
Suppose 0 = -4*m - 2*a - 234, 2*m + 0*m - 3*a + 113 = 0. Let i = 37 - m. Suppose -i = -3*r + 10. Is 7 a factor of r?
True
Suppose 3*p - 2*o - 49 = -7*o, 0 = -p - o + 15. Suppose p*q - 487 = 215. Is 54 a factor of q?
True
Suppose i + 436 = 5*i. Let q be (1 - -2) + i - 1. Suppose -c = 2*c - 3*x - q, 42 = c + 4*x. Does 19 divide c?
True
Let j(i) = -i - 1. Let p be j(-3). Suppose -4*c + 36 = -p*c. Let t = 39 - c. Is 21 a factor of t?
True
Suppose 0 = -4*g - 5 - 11. Suppose -4*u - 108 = 5*w, -2*u = w - u + 22. Does 24 divide g/(-15)*-9*w?
True
Suppose 2*p + 11*h - 168 = 13*h, 2*p = h + 163. Is 2 a factor of p?
False
Let w = 995 - 179. Is 9 a factor of w?
False
Let s be (3 - 5 - 0) + 16/2. Let x(n) = 2*n**3 - 9*n**2 - 9*n + 2. Does 14 divide x(s)?
True
Let v = 524 + -486. Is v a multiple of 2?
True
Let f(t) = -5 + 13*t - 1 - 14*t. Let g be f(-12). Suppose 9*p - 15 = g*p. Is p a multiple of 5?
True
Let j = -11 - -21. Let k = -6 + j. Suppose -k*b - 31 = -p, p = -b + 3*b + 21. Is 5 a factor of p?
False
Suppose 5*u - 22 = -2. Let i be ((-10)/u)/(1/(-26)). Is (-4)/(-26) - (-900)/i a multiple of 6?
False
Let v(k) = -145*k**2 - 2*k + 2. Let o be v(1). Let u = o + 257. Is u a multiple of 28?
True
Let o be ((-22)/6)/(3/(-36)). Let w = 18 + o. Is w a multiple of 31?
True
Let k(u) = -53*u + 58. Is 28 a factor of k(-5)?
False
Suppose 3*o + 5*q = 4, -o - 4*q + 4 = -2. Let n be ((0/2)/2)/o. Suppose -5*u + 45 = -n*u. Is u a multiple of 3?
True
Let g be -28*(4/8)/(-1). Let f be 357/g*4/(-3). Is 10/(-15)*(4 + f) a multiple of 4?
True
Let g(l) = 14 + 3*l + 7*l - 11*l + 8*l. Is 9 a factor of g(10)?
False
Suppose g + 9 = 5*x, -4*x + 12 = 4*g - 0. Let k(i) = -x - 8 - 4*i + 6*i. Does 6 divide k(8)?
True
Let u(n) = -n**3 - 8*n**2 + 4*n - 1. Let c(i) = 4*i**3 + 32*i**2 - 16*i + 5. Let t(z) = -2*c(z) - 9*u(z). Is 7 a factor of t(-7)?
False
Is 2*5 + -11 + 2707 a multiple of 41?
True
Suppose -3*f - 5*o = 14, 4*f + 0*o = -5*o - 12. Let x(v) = -5 + v**f - 3 + 5 + 4. Does 2 divide x(2)?
False
Let k(v) = 2*v**2 - 3*v + 2. Let x be k(2). Suppose -y + 0 - 20 = 5*b, 0 = 2*y - b - x. Suppose -5*o + 352 = -2*f, 0*o + 4*o + f - 292 = y. Does 24 divide o?
True
Let o(r) = -r**3 + 72*r**2 + 9*r - 38. Does 7 divide o(72)?
False
Let j(v) = v**2 - 11*v + 3. Suppose b - 3*b + 22 = 0. Let i be j(b). Suppose -m = i*m - 24. Is m a multiple of 3?
True
Let b(w) = -w**3 + 7*w**2 - w - 8. Let l(a) = a**2 + 5*a - 10. Let t be l(-7). Is b(t) a multiple of 36?
True
Suppose 3*m - 306 = -3*g, 3*m - 217 - 85 = -g. Is m a multiple of 4?
True
Let c = -361 - -614. Is 11 a factor of c?
True
Let q = -350 + 1041. Does 13 divide q?
False
Let o = -402 - -405. Suppose 1 - 2 = 3*b + 5*l, 4*b + 2*l = -6. Does 11 divide 25 - (o/(-3) - b)?
False
Let a(m) = 3*m**2 - 30*m + 33. Is a(18) a multiple of 63?
False
Suppose -j + 13 = -4*i, 2*i + 11 = -3*j + 8*j. Let f be 0*(3 + i - 1). Suppose f = 3*h - 41 - 43. Is 7 a factor of h?
True
Let c = -295 + 1288. Does 12 divide c?
False
Let j = -7 - -9. Suppose 4 = -4*p, -j*v - p + 201 = -6*p. Is v a multiple of 14?
True
Let t = 953 + -672. Is t even?
False
Let u(g) = 299*g. Let r = -12 + 11. Let d be u(r). Is 23 a factor of (d/39)/((-2)/6)?
True
Let d = -487 + 702. Is d a multiple of 11?
False
Let q(h) = 2*h**2 + 30*h + 7. Is 7 a factor of q(3)?
False
Suppose 3*h - 5 = 7. Let y be (-16)/((16/(-52))/h). Suppose -4*j + w + y = j, -5*w = -5*j + 200. Does 21 divide j?
True
Let j be -149*(-5 + 4 + 3). Let q = -2 - j. Suppose 0 = 3*o + 89 - q. Is o a multiple of 14?
False
Let q(w) = 5*w + 2 - 3*w + 1 + 11. Let b be q(-8). Is 6 a factor of (b + 12)*(-12)/(-10)?
True
Let a be -3 + 6 + (-2 - -1 - 3). Does 14 divide a - -60 - 3/(-3)?
False
Let h(i) = 85*i - 104. Is h(8) a multiple of 12?
True
Suppose -41*w + 39265 + 5835 = 0. Is 20 a factor of w?
True
Let v be 380/(-6) - 3/(-9). Let o be 4 + (-4)/(12/(-333)). Let d = v + o. Does 21 divide d?
False
Let u(k) be the third derivative of -k**6/120 - k**5/6 + 3*k**4/8 + 4*k**3/3 - 7*k**2. Does 9 divide u(-11)?
False
Let m(h) = -h**3 + 5*h**2 + 5*h + 7. Let n be m(6). Does 32 divide 42 + n - 24/(-12)?
False
Suppose 4*b + 2 = -3*k - 4, 3*b + 4*k = -8. Suppose -5*i + 8 + 12 = b. Suppose 91 = 5*w + 3*g, i*w + 4*g = 37 + 39. Is w a multiple of 11?
False
Let c be (-8)/(-36) - (-1894)/(-18). Let q = c + 195. Does 15 divide q?
True
Let w be ((-2)/6)/(3/(-18)). Let x be (-1)/1*(w - 2). Suppose x = 5*c - 35. Is 7 a factor of c?
True
Let m = 53 + -101. Let w = -12 + m. Is (-16)/5*w/24 a multiple of 4?
True
Let u = 46 + 41. Does 6 divide u?
False
Suppose 4*b + 2764 = 4*w, -3*w + 4*w + 5*b = 703. Is w a multiple of 11?
True
Suppose -16*g - 8 = -328. Does 12 di