 - 69 - 67 = -v, c = -o - 5*v + 15. Suppose 4*i - o = -i. Is i a multiple of 7?
True
Suppose 3*u + 5 = -13. Let m(g) = -2*g**3 - 12*g**2 - 2*g + 3. Does 3 divide m(u)?
True
Suppose -4*o + 5 = 5*y - 2*o, 3*y - 24 = 3*o. Let j(q) = 7*q - 4. Let b(p) = 8*p - 4. Let s(z) = y*j(z) - 2*b(z). Is s(7) a multiple of 14?
False
Let a = 387 - 302. Is a a multiple of 2?
False
Let f(w) = -4*w**2 - 3*w - 12. Let p(l) = 13*l**2 + 8*l + 35. Let y(m) = 11*f(m) + 4*p(m). Is 14 a factor of y(-4)?
True
Suppose 34*z + 3600 = 50*z. Is z a multiple of 25?
True
Suppose 0 = -5*u - 15, -x + 2*u + 233 = 22. Does 21 divide x?
False
Let q(i) = i**3 - 17*i**2 - 3*i + 157. Is q(22) a multiple of 93?
True
Let y be 2*2/(-10)*(-17 + 2). Is 10 a factor of (y + 4)/(-1 + 6/4)?
True
Let c(a) = -a**3 + 39*a**2 + 12*a - 41. Is 61 a factor of c(39)?
True
Let n = -153 + 240. Does 29 divide n?
True
Let f = 1805 + -2651. Is 5/(-2)*f/15 a multiple of 10?
False
Let v(g) = g**2 - 14*g. Let a(r) = r + 1. Let i(x) = -a(x) - v(x). Does 7 divide i(9)?
True
Let y(h) = 4*h**2 - 25*h + 6. Let z be y(6). Suppose z = 3*i - 8*i + 105. Does 21 divide i?
True
Suppose 5*v - 6 = 4. Suppose -5*b - 3*q + 6*q - 396 = 0, -v*q + 238 = -3*b. Let l = -53 - b. Does 9 divide l?
False
Suppose 0 = 6*d - 2*d + 20. Let b(o) = -13*o + 10. Let m be b(d). Suppose -a - 2*a = -m. Does 5 divide a?
True
Suppose -3*z - 320 = -8*z. Let u = z - 33. Is 31 a factor of u?
True
Let u(l) = -l**2 - 13*l - 1. Let a be u(-13). Is 28 a factor of a/((-8)/84)*8/3?
True
Suppose 0 = 3*y - t - 2847, -8*y + 3821 = -4*y + 7*t. Is 12 a factor of y?
False
Let q(j) = 13*j - 550. Is q(48) a multiple of 11?
False
Suppose -c + 2*s = 3, -33 = -5*c - 3*s - 9. Suppose y - 5*t - 131 = c*y, -3*y = 4*t + 186. Let m = y - -82. Is 6 a factor of m?
True
Suppose 5*n - 10259 = 2*c - 1535, -5*c - 8730 = -5*n. Is n a multiple of 16?
True
Let v = -99 - -156. Suppose -4*p + 6*p + l + 69 = 0, -4*p - 147 = 5*l. Let q = p + v. Is q a multiple of 6?
True
Let u(y) = 3*y**2 + 15*y + 9. Is 20 a factor of u(6)?
False
Let f be 2*(1 - 0/(-2)). Suppose -f*m + 53 = -13. Is 17 a factor of m?
False
Let c(n) = 6*n + 8 + 2 + 32*n - 3. Does 15 divide c(1)?
True
Suppose 5*q - 16*q = -242. Let n = 1 - 49. Let w = q - n. Is 24 a factor of w?
False
Suppose -7*a = -95 - 136. Is 33 a factor of a?
True
Let d(b) = 3 - 4 - 38*b**3 + 39*b**3 + 2*b**2 - 84*b**3. Does 22 divide d(-1)?
False
Let k be (1 + -31)*(-14)/28. Suppose -4*w + 2 - k = -r, 4*w + 55 = 3*r. Is 3 a factor of r?
True
Let q(b) = b**3 + 6*b**2 + 4. Let n be q(-4). Let o be ((-2)/4)/(6/(-648)). Suppose 5*y - n = o. Does 9 divide y?
True
Suppose -3*f = -2*j + 1, -2*j - 2*f - 4 = -6*f. Is 6 a factor of (-4)/j*-4 + 30?
False
Suppose 4*o - 15 = o. Suppose 0 = d + 3, 3*a - 5*a + 17 = -o*d. Does 3 divide (-2)/(-3)*3 + a?
True
Let t be (-30)/4*(-6)/5. Let h = 5 - t. Is h - -67 - (2 + 0) a multiple of 27?
False
Let m(n) = -2*n + 28. Let d be m(20). Is d/10*-6*280/63 a multiple of 5?
False
Let s(u) = u**3 + 28*u**2 - 43*u - 26. Does 5 divide s(-29)?
True
Suppose -2*m = 3*m + 60. Does 5 divide (32/m)/((-4)/60)?
True
Suppose 8*d - 13*d - 3*m + 32 = 0, 5*m = 2*d - 19. Is d even?
False
Suppose 0 = -3*p + h + 37 + 28, 5*h = 3*p - 49. Is 23 a factor of p?
True
Let s(x) = -561*x - 6. Does 55 divide s(-2)?
False
Suppose -5415 = -9*g + 5025. Is g a multiple of 5?
True
Is (-47 + 22)/((-1)/22) a multiple of 65?
False
Let f = 36 - 19. Is f*1 - 26/13 a multiple of 5?
True
Let n(m) = 2*m**2 + 4*m - 7. Let x be n(-6). Let j = x - 24. Let d = -8 + j. Is d a multiple of 7?
False
Let g be -10*((-216)/(-5))/(-6). Suppose -g - 26 = -7*q. Is q a multiple of 3?
False
Let b(c) = -104*c + 260. Is 57 a factor of b(-26)?
True
Suppose -5*v - 4000 = -0*g - 5*g, -4*g - 2*v = -3200. Is g a multiple of 25?
True
Let c = 6 + -2. Let z(d) = 3*d + 0 + d**3 - 2 + 0*d - 4*d**2 - d. Is 6 a factor of z(c)?
True
Let g(v) = 38*v**2 - 3*v - 1. Let j be g(-2). Suppose -o + 658 = 3*o - x, -j = -o + 4*x. Suppose -6 = 2*m - 0*m, 4*h = -m + o. Is 14 a factor of h?
True
Suppose -10*b + 13*b = 15. Suppose 14 + 21 = b*x. Does 6 divide x?
False
Let a be (3/(-9) - 0)*-27. Is 16 a factor of (1 - 1) + 864/a?
True
Let i = -266 - -287. Is 7 a factor of i?
True
Suppose 0 = 2*s + s - 5*i - 1208, -1258 = -3*s - 5*i. Suppose s = 12*j - 381. Is 6 a factor of j?
True
Suppose -5*g + 10 = 0, 88*h - 90*h + 2*g + 894 = 0. Does 12 divide h?
False
Suppose 0 = -4*n - b + 449, -26*n = -29*n + b + 335. Is n a multiple of 4?
True
Suppose 5*q - 579 = 2*z, -6*z = -2*q - 4*z + 234. Does 5 divide q?
True
Let z(o) = 2 - 6 + 0*o - o + 3 + 18*o**2. Is z(-1) a multiple of 3?
True
Let v be (-8)/14 - 243/(-21). Suppose -v = 2*b - 53. Suppose 0 = 3*o - b - 15. Is 11 a factor of o?
False
Suppose -5*z - 4*y + 1 = -36, 0 = 3*y + 6. Does 6 divide z?
False
Let p = -1714 - -2239. Is 5 a factor of p?
True
Let k(o) = 17*o + 1. Let m(z) = z**2 + 7*z + 12. Let t be m(-5). Is k(t) a multiple of 9?
False
Suppose -5*v + 1429 + 6 = 0. Is 41 a factor of v?
True
Let h(s) = -5*s + 200. Is 7 a factor of h(26)?
True
Suppose 0*c = 4*c + 3*c. Is 2/(-9) + (-2940)/(-108) + c a multiple of 18?
False
Let g(o) = o**3 + 7*o**2 + 6*o + 1. Suppose 0 = 4*w + 30 - 10. Does 8 divide g(w)?
False
Let f(b) = -4 + 3*b + 20 - 2*b. Is 8 a factor of f(-7)?
False
Suppose -5*a + 2*a + 21 = 0. Suppose a*k - 6*k = 4. Suppose -k*n + 21 = -47. Is n a multiple of 17?
True
Let s(u) = u**2 + 4*u + 15. Let p be s(-5). Does 9 divide (-336)/4*p/(-16)?
False
Let m = 30 + 87. Let d = m - 114. Is d a multiple of 2?
False
Suppose 2*p = -0*p. Let r = p + 17. Is r a multiple of 3?
False
Let p(t) = -10*t**3 - 3*t**2 - 5. Is 39 a factor of p(-5)?
True
Suppose 20 = -2*t - 2*d - 44, 0 = 4*t - d + 113. Let c = 116 + t. Is 6 a factor of c?
False
Let n(p) = -p**3 + 10. Let z be n(0). Suppose 0 = -4*r - z - 2. Does 11 divide r/(-9) - (-96)/9?
True
Let b(t) = -4*t**2 + 4*t - 2. Let q(g) = g. Let k(w) = -b(w) + 4*q(w). Is k(3) a multiple of 4?
False
Let n = 80 - 76. Is 1 - (-145 - n) - 4 a multiple of 33?
False
Let i(w) = -w**3 + 6*w**2 + 3*w - 7. Let h be i(6). Suppose p = -0*p + h. Suppose 4*q - p = 5*t, t - 37 = -3*q - t. Does 5 divide q?
False
Suppose 0 = -3*d + 626 - 59. Let x(c) = 87*c**3 - 2*c**2 + 2*c. Let i be x(1). Suppose 2*o + 3*v - d = 0, o - 4*v + 8*v = i. Is 33 a factor of o?
True
Let a(f) = -f**3 + 11*f**2 + 1. Let v be a(11). Suppose -h + 0*h + 1 = 0, 4*h - v = -k. Does 8 divide 1 - (k - -3) - -29?
False
Let r(c) = 2*c + 18. Let d be r(-6). Let h(w) = -2*w**2 + 10*w + 6. Let m be h(d). Let b = 35 + m. Is 12 a factor of b?
False
Let z(v) = -5*v + 5. Let q(c) = 3*c - 2. Let p(j) = 9*q(j) + 4*z(j). Let t be p(-5). Let d = t + 65. Does 7 divide d?
False
Let r be 0*2/((-12)/3)*2. Suppose r = -x - 2, 3*z - 2*z + x = 55. Is z a multiple of 19?
True
Suppose 3*h - 4*h = -51. Is (-6 - 0) + 3 + h a multiple of 20?
False
Let c(b) = -b**3 - 14*b**2 - b - 11. Let g be c(-14). Suppose -80 = -4*o + 3*a, 0 = -5*o - g*a + 30 + 43. Is o a multiple of 4?
False
Let m be 3/2*(-40)/(-30)*44. Let x = m + -59. Is 3 a factor of x?
False
Is (75992/21 - 8) + 12/9 a multiple of 21?
True
Suppose -m + 7 = -0*m. Suppose -m*i + 432 = -i. Is 13 a factor of i?
False
Suppose 1006 = 4*q - 1054. Is 7 a factor of q?
False
Suppose 0 = 3*y + 615 + 30. Let s = y + 370. Is s a multiple of 32?
False
Suppose p + 4*p = 0. Let y(x) = -2*x + 15. Is y(p) a multiple of 15?
True
Suppose -2470 = -38*s - 27*s. Is 38 a factor of s?
True
Suppose -d + 0*d + 61 = 0. Let g = -32 + d. Is 9 a factor of g?
False
Suppose t + 3*p + 180 = 0, -4*t + 0*t - 2*p - 730 = 0. Let f = 41 - t. Is 15 a factor of f?
False
Let p = 1379 + 1151. Is p a multiple of 23?
True
Suppose 0 = 4*w - 1 - 15. Suppose 15 = -w*s - 9. Does 9 divide 3/6*s - -21?
True
Let d be (-1486)/(-8) + 5/20. Let x = d + -82. Suppose -o = -q + 4*o + 48, -x = -4*q - 2*o. Does 8 divide q?
False
Is 80 a factor of 425/2*(-162)/(-45)?
False
Let q be ((-7)/(-21))/(1/(-3)). Let m(n) = -12*n - 2. Is 10 a factor of m(q)?
True
Suppose 3*k + 4*r - 9 = -0*r, 5*r = -15. Suppose k*n - 8*n = -11. Is n a multiple of 4?
False
Is 43 a factor of (4832/48)/((-6)/(-27))?
False
Let c(k) = -17*k + 48. Does 5 divide c(-9)?
False
Is 39 a factor of (5 + (-3944)/40)*-5?
True
Suppose 0 = r +