e 3*n - n - 10 = 4*i, 2*n = 6. Does 12 divide i/(-8) + 287/8?
True
Let p = 3 - 7. Let h(t) = 4*t**2 - 2*t - 2. Is 21 a factor of h(p)?
False
Suppose -447 = -4*o + 5*p, 4*o + 338 - 825 = -3*p. Let y = 44 - o. Let s = -53 - y. Is 18 a factor of s?
False
Let q(j) = -2*j - 13. Let c be q(-7). Let z be 8/20*5/c. Suppose -z*u + 5*b = -u - 1, 3*u - 68 = 2*b. Is u a multiple of 11?
False
Let r = 2370 - 908. Is r a multiple of 43?
True
Let h(n) = n + 6. Let o be h(0). Suppose -3*g = -15, 60 = -a + o*a + 4*g. Is 5 a factor of -3*(-2)/(-6) + a?
False
Let m(x) = 32*x**2 - 2*x + 2. Is m(-2) a multiple of 33?
False
Is 21 a factor of (-492)/(-82) - (-1709 + -1)?
False
Let u = 17 + -26. Let t(m) = m**2 + 7*m - 10. Is 8 a factor of t(u)?
True
Suppose -534 = -2*y - 210. Is y a multiple of 27?
True
Let h = 0 + 3. Suppose 2*i - 5*i = h, 0 = -5*a + 2*i + 17. Let g(n) = 9*n - 3. Does 6 divide g(a)?
True
Let k(f) = 83*f**2 - 3*f + 3. Let t be k(-3). Suppose -3*y + 549 = -0*u + 3*u, -t = -4*y + 5*u. Is 14 a factor of 6/8 - y/(-8)?
False
Let u = -2908 - -4416. Is u a multiple of 13?
True
Let v(a) = a**3 - 7*a**2 + 6*a + 4. Let p be v(6). Suppose p*t - 60 + 1136 = 4*x, -3*x + t = -815. Does 21 divide x?
True
Let z be (1 - 0/(-1)) + -2. Suppose 16*n - 252 = 28*n. Does 17 divide (-102)/n*(-7)/z?
True
Suppose -12 = -4*i, -8*b + 13*b - 1772 = i. Does 31 divide b?
False
Suppose 5*x + 5*d = -6 - 4, -14 = -3*x + 2*d. Let p = 3 + -1. Suppose -p*v = -16 + x. Is v a multiple of 2?
False
Let i(b) = 6*b**2 + 13*b + 65. Is i(-11) a multiple of 9?
True
Let y = -21 - -33. Is 12 a factor of (114/(-12))/((-2)/y)?
False
Let q be ((-6)/(-24))/((-2)/(-40)). Suppose p = -m + 122, -2*m + 111 = q*p - 505. Is p a multiple of 11?
False
Suppose 2*i - 36 = -3*i - 2*b, i - 2*b = 0. Is (-7)/((-147)/i) - (-4332)/28 a multiple of 31?
True
Let p(a) = -a**3 + 4*a**2 + 3*a - 5. Let w be p(5). Let u be (-1248)/w + (-20)/(-25). Suppose -3*o = 5*m - 127, m + u = 2*o + 5*m. Is 29 a factor of o?
False
Suppose -6 = g - 16. Suppose -8*m + g*m = 28. Is 3 a factor of m?
False
Does 58 divide 6/(-4)*58*(-60)/18?
True
Let b = 135 - 133. Let v = 71 + b. Does 24 divide v?
False
Let o = 1030 + -886. Is 6 a factor of o?
True
Suppose 0 = 10*y - 11*y + 65. Is 7 a factor of y?
False
Let a = -571 + 654. Is 2 a factor of a?
False
Suppose 9*j = 8*j - 9. Let o(i) = i**2 - i + 1. Is 10 a factor of o(j)?
False
Let r be 4/(-1) - -161 - 0. Suppose 3*d - r = -2*t, -d + t + 49 = -0*d. Does 39 divide d?
False
Suppose -4*h = -3*m + 127, 3*m + m + 5*h = 221. Suppose 2*j - 21 = -z, 0 = z - 0*z - 5*j - m. Is 15 a factor of z?
False
Let t(i) = -17*i**3 + 1. Let w be t(2). Is 32 a factor of (w/2)/((-1)/4)?
False
Let o(a) = a - 2. Let g be o(3). Let r be -91 + (5 - (g + 1)). Let s = r + 169. Is s a multiple of 27?
True
Let i(b) = b**3 - 3*b**2 - b - 7. Let m be i(4). Does 26 divide (m/(-5) - -5) + 230?
True
Suppose -36 = -4*o + 5*o. Is (105/4)/((-9)/o) a multiple of 21?
True
Let q be 4986/21 + 8/14. Suppose -3*s + c = -q, 0 = 5*s - 2*c - 2*c - 406. Does 41 divide s?
False
Let m(f) = -f**3 - 3*f**2 + 3*f - 1. Let z = 26 - 31. Does 8 divide m(z)?
False
Let n be -2 - (-22 - 0/(-3)). Let d = n + 10. Let s = 64 - d. Is 9 a factor of s?
False
Let l(s) = s**2 - 2*s - 2. Let x be l(3). Let m(j) = 15*j + 2. Let p be m(x). Is 3 a factor of p - 2/(-6)*0?
False
Suppose 4*w - 14 = -3*w. Suppose 5*s = -w*v + 4*v - 2, -v = s - 8. Suppose 210 = v*d - 3*d. Is 14 a factor of d?
True
Let f be 5/(-1)*(13 - 11). Let x(k) = -k - 5. Let s be x(f). Suppose -j + 0*j = -s*h - 47, -3*h = j - 87. Is 26 a factor of j?
False
Suppose 2*m - 3*m = 116. Let x = -37 - m. Does 17 divide x?
False
Suppose 5*n = -0*u - 2*u + 614, 308 = u + 2*n. Does 13 divide u?
True
Let z = 77 - 18. Let m = -27 + z. Is 4 a factor of m?
True
Let h be (2 + -1)*0/2. Suppose 0 = -4*t + f + 608, 3*t = -h*t + 2*f + 451. Does 12 divide t?
False
Suppose -5*q = -4*l + 252 + 1058, -5*q + 1660 = 5*l. Does 10 divide l?
True
Let v(k) be the second derivative of -13*k**5/10 - k**4/12 + k**2/2 + 3*k + 11. Suppose -r = -2*r - 1. Is 5 a factor of v(r)?
False
Let i(g) = -g**2 + 10*g - 7. Suppose 5*x = 6*x - 9. Let w be i(x). Let a(s) = 9*s + 4. Is 11 a factor of a(w)?
True
Let i be 2/(-4) + (-87)/(-2) + 3. Let s = 35 + -55. Let a = i - s. Is a a multiple of 11?
True
Suppose -3*q + 14*q = 88. Suppose 0 = -q*a + 268 - 36. Does 3 divide a?
False
Let j = -3 - -25. Suppose 2*v = j + 76. Suppose -n + 4 + v = 0. Is 20 a factor of n?
False
Let n(u) = -14*u**2 - 3*u + 2. Let g be (-6)/(-15) + 39/15. Let h(a) = -15*a**2 - 4*a + 3. Let t(r) = g*h(r) - 4*n(r). Does 20 divide t(-3)?
True
Suppose 5*q + 800 = 3*w, -q - 820 = 197*w - 200*w. Is 16 a factor of w?
False
Let y(m) = 2*m**2 - m + 4. Let x(w) = -w**2 - 6*w - 6. Suppose 5*k = 2*h - 6*h - 32, 3*k + 3*h + 21 = 0. Let n be x(k). Does 5 divide y(n)?
True
Does 10 divide ((-55)/(-33))/(-1 - (-362)/360)?
True
Suppose 0*h = 10*h - 570. Is 7 a factor of (h - 0) + 0 + 4?
False
Let f(m) = 58*m**3 - m**2 + 2*m - 1. Suppose -7 = 4*g - 11*g. Is 31 a factor of f(g)?
False
Let x(y) = 19*y**2 + 25*y + 118. Does 30 divide x(-8)?
False
Suppose 0 = 2*m + 3*m - 20. Let d be (1 - 14/10)*-10. Let z = d + m. Is 4 a factor of z?
True
Let o(r) = -14*r**2 + 9*r + 3. Let d(h) = -15*h**2 + 10*h + 4. Let c(w) = 5*d(w) - 6*o(w). Let q be (-2)/(-5) - (-16)/10. Is c(q) a multiple of 8?
False
Let i = 17 - 14. Suppose -10 = -p + i*p. Is 6 a factor of 5/(p/2) + 20?
True
Let o be 120/50*20/6. Suppose -o*h + 6*h - 3*r + 141 = 0, -h + r + 78 = 0. Is 5 a factor of h?
True
Suppose -k - 316 = -4*n, k - 395 = -5*n - 4*k. Does 3 divide n?
False
Suppose -4*l + 2*l = -2*u + 2, -u - 17 = 2*l. Let r be (-32)/l - (-3)/(-9). Suppose 2*p + f + 13 = 41, r*f - 44 = -4*p. Does 8 divide p?
True
Suppose -22 = 3*t - 5*n, 4 + 3 = -3*t + 2*n. Suppose -37 = -2*o - t. Is 9 a factor of o?
True
Suppose 3980 = v + b, -2*v = -3*v - 2*b + 3985. Does 53 divide v?
True
Suppose -5*f = 9*f + 1134. Let r = -11 - f. Does 30 divide r?
False
Let l(z) = -z**2 + 39. Let t(f) = 3*f**2 - 116. Let i(y) = -8*l(y) - 3*t(y). Let w(c) = c**3 - 4*c**2 + 2*c + 3. Let g be w(3). Does 18 divide i(g)?
True
Suppose 3*l - 838 = 2*q, -5*l - 5*q = -8*q - 1395. Is l a multiple of 8?
False
Is (-4 + -3)*((-21 - -4) + 0) even?
False
Let q(r) = 6*r**3 - 4*r**2 + 9*r - 10. Does 4 divide q(2)?
True
Let t(b) = -150*b**3 - b**2 + 4*b + 11. Is t(-2) a multiple of 35?
False
Let b(o) = -5*o**2 + 9*o - 8. Let j be b(7). Let w = -94 - j. Is w a multiple of 32?
True
Suppose 2*x - 5 + 1 = 0. Let m be (10/15)/(x/(-42)). Does 7 divide (-2 - -5)/((-3)/m)?
True
Does 15 divide (-29718)/(-45) - (-2)/(-5)?
True
Suppose -h = 2*h. Let o be (3 + 7/(-2))*h. Suppose p - 55 = -o*p. Does 14 divide p?
False
Let s be (-27456)/(-42) - 2/(-7). Suppose 2*y = -w + 336, 0 = w - 3*w + 2*y + s. Is 14 a factor of 2/(-4) - w/(-12)?
False
Let m = 61 + -110. Let f be (-14)/m + (-2)/7. Suppose 5*q + 0*q + 204 = 3*b, -5*q = f. Is 25 a factor of b?
False
Suppose 165 = -3*z - 27. Let s = 77 + z. Does 13 divide s?
True
Let c be ((-2)/4)/((-1)/144). Suppose 5*u = 5*i - c - 63, -5*u = 4*i - 81. Is 6 a factor of i?
True
Let z(n) = 29*n + 188. Does 16 divide z(34)?
False
Let y be 2*1/(8/(-68)). Let c = -2 - y. Is c a multiple of 3?
True
Suppose -24*r + 2*w = -27*r + 6632, -5*w = 3*r - 6644. Is r a multiple of 24?
True
Suppose 3 = -4*d + p, d + 6*p = p - 27. Let w = d - -28. Is 12 a factor of w?
False
Suppose 0 = -d + 2*d + 4*d. Suppose -5*s + 7 + 188 = d. Is 11 a factor of s?
False
Let a(j) = 57*j - 442. Is 42 a factor of a(25)?
False
Let s = -113 - -115. Suppose 2*c - 5*b + 54 = 322, -5*c = s*b - 670. Is 9 a factor of c?
False
Is -505*(-182)/350 - 2/(-5) a multiple of 20?
False
Suppose 0 = 6*k - 257 - 1063. Does 5 divide k?
True
Let d(i) = -11*i + 16. Suppose 5*z - m + 35 = 0, 3*z + m + 0*m = -29. Is d(z) a multiple of 26?
True
Let g(d) be the third derivative of d**6/120 - d**5/20 + d**4/12 + d**2. Let y = -10 - -15. Is g(y) a multiple of 16?
False
Let z(g) be the second derivative of 0 - 1/2*g**3 - 6*g - 1/2*g**2. Does 3 divide z(-6)?
False
Suppose 59 = x - 0*a - a, 5*x - 286 = 2*a. Is 14 a factor of x?
True
Suppose n = -3*f + 728, -2*f - 1570 = -5*n + 2070. Does 26 divide n?
True
Let m(v) = -v**3 + 