ppose -5*w - 4*p = -2*w - 130, 0 = -4*w - 5*p + 174. Is 13 a factor of w?
False
Let d = 19 - -93. Does 28 divide d?
True
Let c(w) = w**2 + 11*w + 1. Let j be c(-8). Let o be (-4)/(-8) - j/(-2). Let n = 20 + o. Is n a multiple of 9?
True
Let g = -49 + 133. Let u = g - 39. Suppose 5*y - u = -0*y. Is 8 a factor of y?
False
Let i(r) = 10*r**2 + 3*r - 5. Let p be i(5). Suppose -5*t - 4*q = -p, 2*t - q - 101 = -2*q. Is t a multiple of 12?
True
Let t = 84 + -46. Let o = -6 + 29. Let m = t - o. Is 15 a factor of m?
True
Let z(w) = 4*w - 1. Let k be z(4). Suppose -3*s + 18 = -k. Is 11 a factor of s?
True
Suppose 3*y - 6*y + 2*s + 16 = 0, 10 = 5*y + 5*s. Suppose -y*u + 406 = 150. Suppose 0*x - 4*x + u = 0. Is x a multiple of 6?
False
Let j(c) = c**2 + 8*c - 2. Suppose r - 13 = -0*q + q, -22 = q - 4*r. Is 5 a factor of j(q)?
False
Suppose 5*w + 343 = -3*n + 1322, 2*n - 658 = 2*w. Does 42 divide n?
False
Suppose -5*u + 2*u - 240 = -3*p, 160 = 2*p - u. Is 13 a factor of p?
False
Suppose -12*z = -6*z - 1512. Does 19 divide z?
False
Let v be -1 + (0 - -99*1). Let q = 180 - v. Is 35 a factor of q?
False
Let w(l) = 2*l**3 - 3*l**2 + 4. Let u be (3 + -2)/((-1)/(-3)). Let g be 2/u*(-81)/(-18). Does 11 divide w(g)?
False
Suppose -17 = 2*p - 105. Does 22 divide p?
True
Suppose 0 = -3*t, -3*j + t + 329 = -31. Is j a multiple of 30?
True
Let a = 5 - 0. Let d = 42 - a. Is d a multiple of 10?
False
Suppose s - 143 = -0*s. Does 13 divide s?
True
Suppose -445 = -5*q + h, 3*q - h + 6*h = 295. Is 30 a factor of q?
True
Let b be (-115)/(-30) + (-2)/(-12). Suppose b*f = -3*i + 28, 5*i - 10 = -2*f + 18. Suppose 28 - 8 = f*d. Is d even?
False
Suppose 3 = i - m, -2*i - 4*m = -0*m - 6. Suppose -62 = -i*h - j + 5*j, 0 = -3*h + 3*j + 60. Is 5 a factor of h?
False
Let l = 145 - 91. Does 18 divide l?
True
Suppose -5*s - 4*z + z = -149, 4*z = -2*s + 54. Suppose k = -1 + s. Does 15 divide k?
True
Suppose 3*a - 1 = 11. Suppose -5 = c, a*c + 3 = -2*b + c. Let w = b - -2. Does 4 divide w?
True
Let a(o) = o**3 + 8*o**2 + 2*o - 7. Is 9 a factor of a(-4)?
False
Let t be 1544/24 - 4/(-6). Suppose -6*y = -y - t. Is 3 a factor of y?
False
Suppose -26*x = -29*x + 120. Does 13 divide x?
False
Let r be (-5 + 1/1)*2. Is 7 a factor of 1*(1 - 2) - r?
True
Let v = 91 - 7. Does 28 divide v?
True
Suppose 3*t + k = -26, -4*t + 2*k - 25 - 3 = 0. Does 11 divide (t - -10) + (-20)/(-1)?
True
Suppose -5*z = q - 48, 0 + 6 = 2*z - 4*q. Is 6 a factor of z?
False
Is 1504/20 - 2/10 a multiple of 25?
True
Let t = 377 - 126. Is t a multiple of 24?
False
Suppose 53*q = 51*q + 182. Is 7 a factor of q?
True
Suppose -2*t + 62 + 98 = 0. Is 18 a factor of t?
False
Suppose -3*n + 0 = -s - 1, -s + 5 = 3*n. Is 3/n - (-24 - 4) a multiple of 18?
False
Let k(u) = -2*u + 1. Let p be k(-4). Suppose -p - 15 = -3*h. Is 4 a factor of h?
True
Let y(a) = -a**3 + 7*a**2 - 4*a. Is y(5) a multiple of 3?
True
Suppose 4*q = -0*q - 36. Let k be -2 - q - (-2)/(-1). Suppose -3*i + 43 = 2*i + 2*l, 5*l - 55 = -k*i. Is 7 a factor of i?
True
Let s(q) = -q**2 - 9*q - 2. Let x be s(-8). Suppose -40 = -5*v + v. Let p = v + x. Does 15 divide p?
False
Let c = -3 - -2. Let n be -2*2*c/2. Suppose -n = -2*j + 26. Is j a multiple of 11?
False
Let x be (4 - (-14)/(-4))*166. Suppose z - m = 95, 0*z - z = 2*m - x. Does 19 divide z?
False
Let p = -134 + 233. Does 9 divide p?
True
Let t(j) = j**2 - j + 48. Let i be (-14)/(-4)*8/14. Suppose -i*o = -3*z - 5*o, 4*z - 3*o = 0. Is t(z) a multiple of 19?
False
Let v(n) = 1 - 2*n**3 + n**3 + 0*n**3. Let f be v(-2). Does 11 divide 178/f + (-2)/(-9)?
False
Suppose -c - 616 = -4*u - 5*c, 2*u = 3*c + 333. Suppose u = 3*l + 21. Suppose -3*f + l = -11. Is 7 a factor of f?
False
Suppose -4*g + 25 = 9. Suppose 14 = g*v - 38. Let s = -8 + v. Does 5 divide s?
True
Suppose -o = 5*a - 5*o - 20, 2*a - 2*o = 10. Suppose x + a - 8 = 0. Is x a multiple of 7?
False
Let r(i) = 5*i + 4*i**2 + 3 - 2*i**2 - i. Does 13 divide r(4)?
False
Let r(d) = 19*d**2 + 2*d - 1. Suppose 3*z + 17 = 2*z - 3*y, -4*y - 21 = z. Let g be 6/5 + 1/z. Is r(g) a multiple of 7?
False
Let m = -9 - -13. Let g = m - 0. Is g even?
True
Let k be 3 + (1 - (5 + -3)). Is 27 - -4 - (-2)/k a multiple of 8?
True
Suppose 23*b - 234 = 22*b. Is b a multiple of 49?
False
Let t = -5 + 9. Suppose 9 = -t*r - 15. Is r/30 + 241/5 a multiple of 21?
False
Let q = -51 + 77. Is q a multiple of 8?
False
Suppose -3*n = 10*n - 3497. Is n a multiple of 15?
False
Suppose 58 = 3*n - 98. Suppose -2*c = 5*s - n, -5*c + 9*s + 130 = 4*s. Is c a multiple of 13?
True
Let b(n) = 7*n + 2. Let m(r) = -13*r - 4. Let a(z) = 11*b(z) + 6*m(z). Does 8 divide a(-10)?
True
Does 2 divide ((-2)/5 - -1)/((-23)/(-115))?
False
Let j(r) = 15*r**2 - r. Let v be j(-1). Suppose 0 = -2*o + 40 + v. Suppose 4*z + 3*t - 18 = 13, 4*t - o = -2*z. Does 4 divide z?
True
Let z be 8/12 + (-25)/(-3). Suppose 0*b + z = -3*b. Is (b + 4)/(1/6) a multiple of 3?
True
Let d(s) = s - 1. Let z be d(5). Let a(n) = -n**2 + 7*n. Is a(z) a multiple of 6?
True
Suppose -124 = -5*c - 44. Let i = c + -10. Is 3 a factor of i?
True
Let g be 5 + 0 - (1 + 1). Suppose g*j - n - 110 = -3*n, -5*n - 162 = -4*j. Is j a multiple of 19?
True
Suppose -3*o + 0*o + 962 = -h, 3*h + 326 = o. Is o a multiple of 43?
False
Let h(q) = -2*q**3 - 9*q**2 + 4*q + 4. Is h(-7) a multiple of 13?
True
Let f = 2 - 0. Let q be 10/4*272/20. Suppose -3*r + f*r = -q. Does 17 divide r?
True
Suppose -b = 2*b - 12. Let m(a) = 2*a**2 - 5*a + 4. Let p be m(b). Suppose -56 = -s - p. Does 20 divide s?
True
Suppose 162 = 4*k - 50. Let x = k + -21. Is (x + 1)/(9/6) a multiple of 11?
True
Let r(j) = -j**2 + 7*j - 3. Let f be r(6). Let v(w) = -f*w + 4*w**2 + w + 5*w + w**3. Is v(-2) a multiple of 2?
True
Let p(q) = -q - 15. Does 3 divide p(-18)?
True
Let m(i) = i**3 + 7*i**2 + 7*i + 11. Let q be m(-6). Suppose 2*j - 97 = -q*o, 7 = -3*j - 3*o + 130. Is j a multiple of 12?
True
Let y(c) = c**2 - 4*c - 4. Does 5 divide y(7)?
False
Suppose -h = 3*h - 12. Let b(g) = -g**3 + 6*g**2 - 4*g - 1. Is b(h) a multiple of 4?
False
Let o(z) = -3*z. Let x be o(-2). Let m(a) = 2 - 2*a**2 + 3*a + 2*a**2 - x*a**2 + a**3. Is m(6) a multiple of 20?
True
Suppose 0 = -v + 4*y - 22, 2*v - 3*y = 7*v + 87. Is v/(0 - (-6)/(-8)) a multiple of 15?
False
Let b = -4 + -1. Let a(d) = d**3 + 6*d**2 + 2*d - 1. Is a(b) a multiple of 7?
True
Suppose p - 146 = 28. Suppose -5*k + 3*g = -p, 4*k - 2*g + 43 = 181. Does 20 divide k?
False
Suppose 0 = 6*x - 4*x + 5*f - 61, -4*x = -3*f - 57. Let i = x - 10. Is i a multiple of 4?
True
Let s = 10 - 5. Suppose -357 = -3*v + 123. Suppose -s*o + v = -0*o. Is 16 a factor of o?
True
Suppose -6 = 4*v - 22. Suppose 0 = -3*o - r + 94 + 238, 5*o + 4*r = 558. Suppose -v*t + o = t. Is 11 a factor of t?
True
Let g(v) be the third derivative of -2/3*v**3 + 0*v + 1/6*v**4 + 1/12*v**5 + 0 - 3*v**2 - 1/120*v**6. Does 13 divide g(3)?
True
Suppose 4*i = -2*d - 6, 0*i - 37 = -5*d + 3*i. Suppose d*y + 5 = 6*y. Is 3 a factor of y?
False
Suppose 2*v = 3*v - 29. Is v - (1 + (-1)/(-1)) a multiple of 9?
True
Let c = -41 + 62. Let s = -1 - c. Is 1 + 1 + -1 - s a multiple of 12?
False
Let i = -30 + 85. Does 7 divide i?
False
Let h be ((-5)/3)/((-3)/(-45)). Let k = 62 + h. Is 13 a factor of k?
False
Let q(s) = -5*s - 8. Let f(t) = 2*t + 3. Let o(w) = -8*f(w) - 3*q(w). Let g(i) = -4*i. Let c(m) = -2*g(m) + 9*o(m). Does 3 divide c(-5)?
False
Suppose -3*f + 8 = -2*h, 0 = 2*h - 4*h - 2. Does 2 divide (-9)/(-12)*(f - -10)?
False
Let l be 6/(1/(18/4)). Suppose -l - 18 = 5*a. Let w = 24 + a. Does 6 divide w?
False
Let v = -64 + 95. Let j be (-3)/6 - 13/2. Let y = v - j. Does 19 divide y?
True
Is (0 - -3)*(16 - 2) a multiple of 6?
True
Let b = 10 + -5. Suppose -25 - 50 = -b*n. Is n a multiple of 9?
False
Let r(i) = i**2 + 17*i - 1. Let p be r(-8). Let s = p + 164. Does 25 divide s?
False
Let i = 0 - -8. Does 8 divide i?
True
Let r(t) be the second derivative of -t**4/12 - t**3 + 7*t**2/2 - 3*t. Let f be r(-7). Let c(n) = n + 16. Is c(f) a multiple of 8?
True
Suppose -2*w = -21 - 29. Does 10 divide w?
False
Suppose 3*o - o = -10. Let q = 20 - o. Is 9 a factor of q?
False
Let z = 11 - -8. Suppose 2*n - 67 = -z. Is 8 a factor of n?
True
Let i = 9 + -7. Let k be i/4 - 70/(-4). Suppose -5*d + k = -57. Is 15 a fac