w - 245 = -1. Suppose -2*n = 4, 2*i - w = -3*i + n. Is i a multiple of 8?
True
Suppose -5*r + g + 116 = 0, -6*r - 28 = -7*r + 5*g. Is r a multiple of 3?
False
Let k = 0 + 3. Suppose 42 = k*j - 3*a, 2*a - 16 = 6*a. Let r = 20 - j. Is 6 a factor of r?
False
Let d(h) = -17*h - 7. Let t(q) be the second derivative of -8*q**3/3 - 3*q**2 - 2*q. Let a(c) = -2*d(c) + 3*t(c). Does 17 divide a(-3)?
False
Suppose -4*y + 2 = -q - 7, -3*q - 3 = -4*y. Suppose -4*g - 89 = -3*r - 0*g, q*r = 5*g + 91. Is r a multiple of 13?
False
Suppose 18*m = 22*m - 100. Does 5 divide m?
True
Suppose 0 = s + s + 18. Let r = s - -17. Is r a multiple of 4?
True
Suppose 15*q - 16*q + 75 = 0. Does 15 divide q?
True
Let t(z) = z**3 - 19*z**2 - 18*z + 4. Does 11 divide t(20)?
True
Let j(f) = -2*f**3 - 7*f**2 - 5*f + 3. Is 14 a factor of j(-4)?
False
Let y(i) = i. Suppose -o = -5 + 2. Let z be y(o). Suppose -2*f - 30 = -z*f. Is 15 a factor of f?
True
Let h(o) = -3*o**2 - 4*o + 1. Let l(c) = 4*c**2 + 4*c - 2. Let b(s) = -3*h(s) - 2*l(s). Suppose 2 = m + 8. Is b(m) a multiple of 13?
True
Suppose -4*g + 74 = 2*l, 5*g - 76 = -l - l. Is 11 a factor of l?
True
Suppose n - 3*q - 1 = -0, -36 = 3*n + 4*q. Let o = n - -6. Let c = 24 + o. Is c a multiple of 7?
False
Let v = 32 - 26. Is v a multiple of 6?
True
Let o = 8 + -6. Does 10 divide (-2 - -1)*-5*o?
True
Let y(h) be the third derivative of h**6/120 - h**5/15 - h**4/12 - h**3/3 + h**2. Let j be y(5). Suppose -d = 4*b - 27 - j, -13 = -3*b - 5*d. Does 11 divide b?
True
Suppose 13 = 4*l - 2*t - 5, 2*l = 4*t + 24. Suppose l*n + 2*n = 12. Does 3 divide n?
True
Suppose -75 = 2*o - 7*o. Let s = o - -3. Is s a multiple of 17?
False
Suppose -5*x + 0 = -20. Suppose 3*b + 53 = 2*r, b = -3*r + x*b + 87. Is 12 a factor of r?
False
Let g(f) = 2*f - 9. Let v be g(6). Suppose n - 40 = -v*n. Is 10 a factor of n?
True
Let q = -22 - -45. Let y = q + -14. Is y a multiple of 6?
False
Let y(t) = -t + 6. Is y(-17) a multiple of 6?
False
Suppose 116 = 4*r - 2*q, 2*r + 3*q + 16 - 58 = 0. Is 9 a factor of r?
True
Suppose 0 = -3*f + 208 + 212. Is f a multiple of 7?
True
Suppose -4*m = -5*q - 843, 7*q + 633 = 3*m + 4*q. Is m a multiple of 31?
False
Let u(h) = 18*h + 3. Let w be u(2). Suppose 0 = -0*v + v - 4*r + 14, 4*v = -3*r + 20. Suppose -z = v*z - w. Is 13 a factor of z?
True
Let q = -5 - 0. Let h(z) = -5*z + 0 - 2 + 0. Is 11 a factor of h(q)?
False
Suppose 6*a - a - 370 = 0. Is a a multiple of 15?
False
Let j be 4/(-2) + 18/(-3). Does 12 divide 80*(4/j - -1)?
False
Let c(v) = v**3 + 6*v**2 + 9*v + 5. Let w be c(-7). Let b be 6/4 - w/2. Suppose 0*x - 23 = -3*x - 2*l, 5*x - 5*l = b. Is x a multiple of 7?
False
Is (-6)/14 + (-2050)/(-14) a multiple of 13?
False
Suppose 5*n - 2*n - 6 = 0. Suppose -n*p + 1 = -1. Let f = p + 9. Does 10 divide f?
True
Let x(z) = 3*z - 3. Let i be x(2). Let a = 8 - i. Suppose a*r - 5 = 80. Is r a multiple of 17?
True
Let d(a) be the first derivative of a**3/3 - a + 1. Let l be d(1). Suppose 0*b - 2*b - 5*q + 24 = l, 5*b + 3*q = 60. Does 12 divide b?
True
Suppose m = -3 + 4. Let b = m - -13. Is b a multiple of 4?
False
Let u(w) = -w**3 + 3*w**2 + 3. Let g be u(3). Let t(z) = -z**3 + 4 + 1 + 6*z**2 + 3 + g*z. Is t(6) a multiple of 15?
False
Suppose -4*w = 4*c - 68, -2*w - 5*c + 21 = -28. Does 2 divide w?
True
Let y be 2 + (-1)/((-1)/3). Suppose 14 = y*f + 4. Does 2 divide f?
True
Let w = -8 + -5. Let r = -33 - w. Does 15 divide (-23 - 1)*r/16?
True
Let l = -213 + 335. Does 7 divide l?
False
Suppose 100 = 5*i - 0*i. Let m be (i/6)/((-1)/3). Let o = m + 28. Does 9 divide o?
True
Let m = 108 - 76. Let z = m + -22. Is 4/(-10) - (-24)/z even?
True
Suppose -2352 = -43*v + 29*v. Is 28 a factor of v?
True
Let d(i) = i**3 + 10*i**2 + 10*i + 8. Does 13 divide d(-7)?
False
Suppose 0*i + 3*i - 3 = 0. Suppose 7 = 3*t + i. Suppose 3*g = 2*q - g - 40, -t*g + 60 = 4*q. Does 11 divide q?
False
Let b be 0 - 3/3 - -3. Let q = b - -24. Is 19 a factor of q?
False
Suppose 21*o = 16*o + 210. Does 11 divide o?
False
Let o(m) = -m + 9. Let c be o(4). Let b = c - -3. Is 8 a factor of b?
True
Let x(z) = z**2 + z - 2. Let g be x(-3). Let p be 15/g*1*-4. Is (-1 - 9/p)*-20 a multiple of 4?
True
Suppose 5*r = 3*z + 195, -4*r + 169 = 3*z - 8*z. Let i = r - 21. Is 15 a factor of i?
True
Let y = -11 + 7. Let c(p) = p**3 + 2*p**2 - 3*p + 3. Let k be c(y). Let x = -3 - k. Is x a multiple of 7?
True
Let f = 1 + -2. Is f/4 + 99/12 a multiple of 3?
False
Suppose 3*f = 5*f - 140. Suppose 0 = -4*x - 31 + 443. Let q = x - f. Is q a multiple of 13?
False
Let s(x) = 6*x**3 + x**2 + 2. Let q be s(2). Suppose -b + 54 = -4*h, 4*b - q = 3*b + 5*h. Is b a multiple of 26?
False
Suppose 3*x + 1603 = 5*s, -x = -5*s + x + 1602. Is s a multiple of 34?
False
Let v(m) = -m + 9 - 4*m**3 + 2*m**2 + 3*m**3 - 2*m**2 - 3*m**2. Is v(-4) a multiple of 17?
False
Let r = 0 + 2. Suppose 172 = -r*n + 4*n. Suppose 14 - n = -3*x - 3*q, -93 = -4*x - 5*q. Is 11 a factor of x?
False
Suppose -11*m + 7*m = -856. Is 18 a factor of m?
False
Let n(d) = 10*d**3 - d**2 + 1. Let b(a) be the third derivative of -a**6/120 + a**5/60 + a**4/12 - a**3/6 - 2*a**2. Let l be b(1). Is 4 a factor of n(l)?
False
Let v = 83 - -125. Is v a multiple of 16?
True
Suppose -c + 2*w = -4, -3*c - 2*w = -2*c. Let o be (-22 - 3)/(c/(-4)). Suppose -p + o = p. Is 25 a factor of p?
True
Suppose 6*z - 523 - 5 = 0. Is z a multiple of 16?
False
Suppose 0 = 3*o + 2*o + 15, 3*o = 5*c - 849. Is c a multiple of 21?
True
Suppose -4*b + 71 = -5*t - 29, -3*b = 3*t + 60. Let x = t - -31. Is 3 a factor of x?
False
Let d(s) = -12*s - 2. Suppose -50 + 10 = -5*w. Suppose 5*j + 3*u - 4*u + 10 = 0, -4*u = 4*j + w. Does 20 divide d(j)?
False
Suppose 4*x + 45 - 441 = 0. Does 27 divide x?
False
Let j be (-1)/(-2) - 3/2. Let c = j - -4. Suppose 5*w + 3*p = 91, 40 = 4*w - 2*w + c*p. Is w a multiple of 17?
True
Let j be (1*21)/3 + 2. Let p = 143 - 203. Is 15 a factor of (-9)/2*p/j?
True
Suppose 0 = -3*a + 6, 7*z - 4*z - a - 1 = 0. Let n(t) = -46*t**2 - t + 4. Let h(m) = 45*m**2 + m - 5. Let k(y) = -3*h(y) - 4*n(y). Does 21 divide k(z)?
False
Let z be (-232)/(-20) - 4/(-10). Is 2/z*51*2 a multiple of 7?
False
Does 4 divide (2/1)/(-6*2/(-576))?
True
Suppose -v + 4*q = -5*v + 956, 4*v = -q + 965. Is 45 a factor of v?
False
Let i(x) = x**2 - 8*x - 4. Let w be i(6). Let m = 28 + w. Is m a multiple of 12?
True
Suppose 0*s - 4*s - 20 = 0. Does 9 divide (2/s)/(1/(-45))?
True
Suppose -11 - 7 = -3*o. Is o/4*(-60)/(-9) a multiple of 4?
False
Let y(d) = d**2 - 9*d + 2. Let i(r) = -r + 9. Let f be (-12)/66 - 4/(-22). Let l be i(f). Is y(l) even?
True
Let v(k) = -10*k**2 + 4*k + 5. Let d(f) = -21*f**2 + 7*f + 11. Let w(x) = 6*d(x) - 13*v(x). Let l be w(7). Let s = l - 77. Is s a multiple of 15?
False
Let t(z) = z**3 - 4*z**2 - 6*z + 8. Let b be t(5). Is (b/(-2))/((-1)/6) a multiple of 9?
True
Let t = 14 + -20. Is 3 a factor of (-1)/(-1*(-1)/t)?
True
Does 9 divide (1 + -25)/((12/9)/(-2))?
True
Suppose -3*r = 2*r - 330. Is 11 a factor of r?
True
Is (-2*254/(-8))/((-22)/(-44)) a multiple of 14?
False
Let q be 8/(0 - (-1)/36). Suppose 5*t + x - q = 0, x = 2*t - 8 - 110. Is t a multiple of 25?
False
Let o(r) = r**3 + 16*r**2 - 18*r + 8. Does 10 divide o(-17)?
False
Let r(m) = 7*m + 3. Let f be r(-3). Let p = f - -35. Is 7 a factor of p?
False
Let y(t) = -26*t - 18. Does 37 divide y(-4)?
False
Let s be -1 + 6/(-3) + 29. Suppose 5*w = 3*w - y + s, 0 = y + 4. Does 4 divide w?
False
Is 104 - -8 - (1 + -3) a multiple of 19?
True
Suppose d = 4*d - 456. Is d a multiple of 40?
False
Let o(s) = s - 2. Let q be o(-2). Let d(u) = -2*u - 2. Let p be d(q). Let w(r) = r**2 - 4*r - 3. Is 5 a factor of w(p)?
False
Let s(q) = -q. Let x(n) = -n**2 + 6*n - 5. Let d be x(4). Let o be s(d). Does 6 divide (o - (-1 + -14))*1?
True
Let g = 84 + -43. Is 16 a factor of g?
False
Suppose 3*k - 14 - 1 = 0. Suppose -12 = -y - 2*q, 2*y + 23 = 4*y + k*q. Suppose -3*v + 40 = -y. Does 9 divide v?
True
Let l(h) = 2*h - 1. Let r be l(2). Suppose 4*n + 33 = -2*p + r*p, -5*n + 90 = 4*p. Is 18 a factor of p?
False
Let n(c) be the first derivative of c**3/3 - 2*c**2 + 3*c - 3. Let g be n(5). Suppose 2*p = 5*x - 18 + g, -x + 4 = 0. Does 5 divide p?
True
Suppose -4*k = -4*n + 76, 0*n - 3*n + 5*k + 65 = 0. Is 2 a fact