a = 0. Let l(q) = 3*q**2 + 3*q - 3. Let i be l(4). Suppose -2*x = 5*u + 2*x - i, a = -2*u - 5*x + 33. Does 7 divide u?
False
Let g(l) = 16*l**2 + 116*l + 70. Let q be (-3)/2*22/3. Let p(v) = 3*v**2 + 23*v + 14. Let y(m) = q*p(m) + 2*g(m). Does 10 divide y(-18)?
True
Let f be (36/10)/(-3)*(-30)/4. Suppose 3*b - 16 = -o + f, 0 = 3*o + 3*b - 51. Is o a multiple of 3?
False
Let r(n) = -n**2 + 20*n - 15. Let v(f) = f**3 + 6*f**2 - 3*f - 5. Let u be v(-6). Let d be r(u). Let o = d - 13. Does 24 divide o?
False
Let u(g) = g**2 - 5*g + 4. Let j be u(6). Suppose -6*d = 4*n - 4*d + j, -5*d = 25. Let p = n - -36. Is 18 a factor of p?
True
Let p = -52 - -50. Let u(i) = -18*i**3 - 2*i**2 - 2*i - 1. Is 12 a factor of u(p)?
False
Suppose 9 = -w - 6. Let y = -455 + 482. Let l = y + w. Is 12 a factor of l?
True
Let q(c) = -2*c + 175. Is q(-17) a multiple of 21?
False
Let z(g) = 68*g**2 + 9 + 0*g - 67*g**2 + 4*g. Does 19 divide z(-12)?
False
Let g(a) = a + 24. Let x = -24 + 14. Let o be g(x). Let t = o + 21. Does 7 divide t?
True
Suppose -3*k + 75125 = 22*k. Is 146 a factor of k?
False
Suppose -7*m + 3*m = -3768. Is 11 a factor of m?
False
Let p(w) = -4*w + 17. Let o(j) = 2*j - 9. Let h(x) = -11*o(x) - 6*p(x). Let f be h(3). Suppose 2*t - 57 = -c + f*t, -2*t = 6. Does 14 divide c?
False
Let m = 429 + -304. Suppose 5*z + 5*w - 440 = -m, 2*z + 4*w = 130. Is 18 a factor of z?
False
Let a = -608 + 2015. Is 3 a factor of a?
True
Suppose 10*z - 93 = 37. Is 13 a factor of z?
True
Let f(h) = 60*h. Let l(a) = -a**2 - 9*a + 23. Let k be l(-11). Is f(k) a multiple of 15?
True
Let s = -3 + 8. Suppose -7*n + 235 = -381. Suppose 4*k + h = 29 + n, h = s*k - 135. Is 14 a factor of k?
True
Let j(i) = -2 + 1 + 1 - i. Let x be j(-3). Suppose 4*f - 2*v - 2*v - 284 = 0, v = -x*f + 201. Is f a multiple of 20?
False
Let f(r) = -4*r**3 - 7. Is f(-2) even?
False
Let n(z) = 4*z**2 - 15*z - 54. Is n(-4) a multiple of 5?
True
Let p(q) = -q**2 - 8*q + 21. Let k(a) = a - 23. Let g be k(14). Is p(g) a multiple of 6?
True
Suppose 7605 = -24*b + 37*b. Does 13 divide b?
True
Let i(w) = -16*w**3 + w**2 + 2*w + 1. Let y be i(2). Let p = y - -222. Does 7 divide p?
False
Let m = 483 + -393. Is m a multiple of 10?
True
Suppose 0*d - 38 = -2*w + d, 3*w - 52 = 4*d. Let m(n) = 10*n + 42. Does 22 divide m(w)?
True
Suppose 0 = -9*s + 3*s + 402. Suppose -24 = -4*f + 5*m, 3*f + 5*m + 14 = s. Is f a multiple of 2?
False
Let n(f) be the first derivative of f**3/3 + 5*f**2/2 - 3*f + 2. Let j be n(-6). Suppose j*v - 3*i = 0, -4*v - 2 = -3*i - 2*i. Is v a multiple of 2?
True
Suppose 21437 = -17*f + 98362. Does 25 divide f?
True
Let k = 111 + -106. Suppose 2*n - 156 = 4*t, k*t = -5*n - 0*t + 450. Does 18 divide n?
False
Suppose 8*f + 28 = 44. Does 7 divide 9/f*(-9)/((-81)/78)?
False
Let w(r) = r**3 + 5*r**2 + 4. Let q be w(-5). Let y(i) = -i**2 + 15*i - 36. Let h be y(11). Let a = h + q. Does 4 divide a?
True
Let m = -188 + 224. Is 4 a factor of m?
True
Let i = 39 + -35. Let v be (12/i - 4) + -7. Is (-1 - (v + 0))*1 a multiple of 3?
False
Let d(o) = o**2 - 6*o + 2. Let s be d(6). Suppose -3*b = 2*p - 435, 207 + 223 = s*p + 4*b. Is 15 a factor of p?
True
Let n(u) = -7*u**2 + 4*u - 10. Let d(p) = -7*p**2 + 3*p - 11. Let r(m) = 2*d(m) - 3*n(m). Does 32 divide r(4)?
True
Is 18 a factor of 8/(-32)*4*-529?
False
Let k(b) = 199*b - 42. Does 21 divide k(2)?
False
Let x be (20/5)/(-16) + 873/(-12). Let a = x - -128. Does 11 divide a?
True
Suppose -4 = -39*w + 37*w. Suppose 0 = 4*c - 5*j - 41, -w*c + 4*j + 19 = j. Is 4 a factor of c?
False
Let p(h) = -h - 4. Let c be p(-2). Let d be (-72)/(-6)*(-49)/c. Suppose -d = -4*j + 30. Is 24 a factor of j?
False
Let d(b) = 2*b**3 + 23*b**2 - b + 45. Is 3 a factor of d(-11)?
True
Suppose -37400 = 219*m - 269*m. Is 4 a factor of m?
True
Suppose -f - 154 = 2*s, 12 = -s - 3*f - 75. Let b = 0 - 45. Let k = b - s. Does 10 divide k?
True
Suppose 0 = 2*t - t + 3*x + 1666, -5*x + 3354 = -2*t. Let w be ((-21)/28)/((-2)/t). Is 6 a factor of w/(-27) - (-4)/(-18)?
False
Let p(k) = -k**3 - 10*k**2 - 35*k + 22. Does 32 divide p(-9)?
True
Let t(v) = v**2 + 8*v + 5. Let w be t(-8). Suppose -w*g - 51 = 3*x - x, -24 = 3*x - 3*g. Let f = x - -49. Is 9 a factor of f?
True
Let a be (-4)/14 + (-333)/(-63). Let i be (a/(-1))/((-1)/1). Suppose -5*j + 3 = -2*f + 2, -i*j = -f - 3. Is 2 a factor of f?
True
Let j(c) = -c**3 + 7*c**2 + 3*c. Let f be j(7). Suppose -f = -2*d + 7. Does 4 divide d?
False
Suppose 12 = q + 3. Let g = 2 + q. Suppose 33 + g = 2*m. Is m a multiple of 22?
True
Let c(l) = -9*l + 5. Let m(y) be the first derivative of -49*y**2/2 + 28*y + 3. Let t(s) = -28*c(s) + 5*m(s). Is 14 a factor of t(6)?
True
Let y = 1 - -4. Let p = y - 1. Suppose -p*q - 20 = 0, -5*q + 0*q = -5*c + 70. Does 3 divide c?
True
Suppose 2*d + i = 9, 0 = 3*i - 0 - 15. Let g be 1*(0/3 + d). Suppose -34 = -4*o - 0*o + 5*p, -g = p. Does 5 divide o?
False
Suppose -36 - 160 = 4*w. Let s = w - -70. Does 4 divide s?
False
Let a(j) = j + 3. Let f be a(-3). Suppose f = -22*l + 18*l + 16. Suppose 4*h = -t + 36, -4*h + l*t - 3*t = -36. Is h a multiple of 9?
True
Let t(l) = -l**3 - 5*l**2 + 6*l + 9. Let g be t(-6). Let y = -531 + 195. Does 11 divide (-3)/g + y/(-9)?
False
Suppose -l + 42 = -5*x, 0*x + 14 = l + 2*x. Let i = l - 20. Suppose i*v = -4*q + 33 + 39, 0 = q + 4*v - 11. Is 6 a factor of q?
False
Suppose 3*d - 703 = d + l, 0 = 4*d - l - 1407. Is d a multiple of 8?
True
Let r = -100 - -104. Suppose -r*d = -d - 780. Is d a multiple of 20?
True
Let v = -36 - -19. Let j = 11 + v. Let p(i) = -9*i + 3. Is 14 a factor of p(j)?
False
Let n(j) = 3*j + 10 + 1 + 1 - 5 + 4*j**2. Is n(5) a multiple of 24?
False
Let i = -1627 + 4379. Does 86 divide i?
True
Suppose -26746 - 5060 = -62*o. Is 27 a factor of o?
True
Let a = 344 + 81. Let d = a - 293. Is 12 a factor of d?
True
Let k = -103 + 28. Let z = k + 31. Let w = z - -95. Does 15 divide w?
False
Suppose 2*t = -2*c + 162, 4*c - 50 = -2*t + 114. Suppose -5*y + 2*b + t + 130 = 0, 0 = 2*b. Does 6 divide y?
True
Is 24/(-45)*39/26*-1840 a multiple of 3?
False
Suppose 4*q = -t, 0*t - 3 = 5*q + 2*t. Let i = q + 2. Suppose -i*l = 6, 2*p + 3*l + 0*l - 46 = 0. Is p a multiple of 12?
False
Suppose -3*v + 0*v = i - 164, 5*i - 280 = -5*v. Suppose -5*x + 66 = -v. Is 6 a factor of x?
True
Suppose k + 32 = 5*k. Let c(n) = -n**3 + 8*n**2 - n + 2. Let d be c(k). Let v(t) = 3*t**2 + 9*t + 6. Does 15 divide v(d)?
True
Let w be 16/(-6)*3/(-2). Suppose -w*l + 66 = 3*a - 7*l, 5*a + 4*l = 146. Does 23 divide a?
False
Let f(r) = 57*r**2 + 2*r + 1. Let l be f(-1). Suppose 0 = 5*p - 5*j + 170, -4*p - 3*j + 2*j - 146 = 0. Let c = p + l. Is c a multiple of 4?
True
Let m(v) = -v**3 + 10*v**2 + 13*v - 15. Let b be m(11). Suppose -2*s - 539 = -5*g, 429 = 4*g + 3*s + b. Suppose -3*u - 17 = -g. Does 15 divide u?
True
Suppose 2*t - 4053 = 4*i - 833, -4*t = -i - 6461. Is t a multiple of 10?
False
Let y = -119 - -120. Does 34 divide y + (-4735)/(-35) + 8/(-28)?
True
Let f be (-45)/(-9)*(-3)/(-5). Suppose 4*c + 15 = f*v, c = -2*v - v + 30. Is 3 a factor of -4*v/(-24)*10?
True
Let x = 1026 + 1415. Does 9 divide x?
False
Let y = -57 + 60. Suppose -y*w = -140 - 40. Is 3 a factor of w?
True
Let p be -1 - (-2)/2 - -2. Let i be (4/6)/(p/3). Is (-1)/((-54)/51 + i) a multiple of 12?
False
Suppose 11*g - 6833 - 7357 = 0. Does 43 divide g?
True
Let f(d) = 3*d**2 + d + 1. Let z be f(-5). Let s = -47 + z. Does 24 divide s?
True
Let f = 459 + -184. Is 13 a factor of f?
False
Let u be -6*2*4/(-16). Suppose 0 = -u*c + c + 6. Is (c/2)/(1/36) a multiple of 9?
True
Let q = 8 + -8. Suppose 5*t + 3*w - 19 = q, 0 = 3*t + 3*w - 1 - 8. Suppose -t*b + 115 = 3*r, 2*b - 50 = r - 3*r. Is 10 a factor of b?
True
Let k be 4/(-2) - (-2 + 42). Let s = -40 - k. Is s a multiple of 2?
True
Let p be ((-900)/48)/((-2)/(-8)). Let z = 105 + p. Is 15 a factor of z?
True
Suppose -2*c + 4010 = 3*z, 0 = -3*z - 3*c + 6050 - 2036. Is z a multiple of 68?
False
Suppose 0 = -4*h - 3*r + 904, -4*h = -2*r - 502 - 382. Is h a multiple of 86?
False
Let a(c) = c**3 + 8*c**2 - 34*c - 5. Let l be a(-11). Let w(k) = k**2 + 7*k - 14. Does 40 divide w(l)?
False
Suppose -4*r + 7*r = 9. Let a(u) = -r - u - 4*u + u**3 + 6*u**2 + 0*u. Does 14 divide a(-6)?
False
Suppose 1166 = 10*i - 