t + 8 = -p, -p + 0*t + 3*t = g. Suppose r - 16 + 5 = -p*q, 5*q - 47 = -4*r. Does 7 divide r?
False
Suppose 0*a = 5*a - 560. Is 7 a factor of a?
True
Let n = -140 - -196. Let y = n + -29. Is y a multiple of 9?
True
Let c(x) = x**2 + 4*x + 8. Suppose 2*d + 2 = -2*h, 4*d - 5*h - 29 + 6 = 0. Suppose -d*r - 6 = -r. Is 10 a factor of c(r)?
True
Let u = -97 - -137. Is u a multiple of 20?
True
Suppose 7*h + 235 = 1467. Does 44 divide h?
True
Suppose -4 = -2*q, 0 = 4*u - 4*q + 8*q + 104. Let y be (-76)/u + (-2)/(-7). Suppose -2*z = -4*x - 38, 5*z = -0*z + y*x + 60. Is z a multiple of 5?
False
Let i = 22 - -28. Is i a multiple of 10?
True
Let c be 4/(-18) - 4/(-18). Suppose 18 = 2*l - 5*m, 3*m - 12 + c = 0. Does 12 divide l?
False
Suppose -5 = 2*o - 17. Suppose -20 = 2*x - o*x. Suppose 3*i + 3*g = 39, -x*i + 58 = g - 3*g. Is i a multiple of 4?
True
Suppose 344 = 5*r - 346. Is 46 a factor of r?
True
Suppose -4*p - f + 3 = 0, -4*p + 7*p - f = 11. Suppose -3*b + 3 = 3*m, 3*b = -p*m + 3 + 2. Is 2 a factor of b?
False
Suppose -1 = -3*l - 13. Let k(o) = -2*o**3 - 4*o**2 - 2*o - 4. Let d be k(l). Let y = d + -33. Does 12 divide y?
False
Let v be (-5)/(-2)*(-5 - -7). Suppose 0 = -v*t + t + 32. Let a(l) = -l**3 + 9*l**2 - 7*l + 6. Is a(t) a multiple of 7?
True
Let g be (-4)/22 - 14/(-77). Suppose -3*p - 2*a - 7 - 5 = g, 4*a = 12. Is (-31 + 1)/(9/p) a multiple of 10?
True
Let h be 36/(-7) + (-4)/(-28). Let m be (-6)/h + (-4)/20. Is 17 a factor of (21/15 - m)*100?
False
Suppose -u - 3*r - 4 = 0, 3*r - 1 = -13. Does 3 divide (u/(-6))/(4/(-42))?
False
Let k(d) = 2*d + 2*d + d + 6 + 8. Is k(7) a multiple of 21?
False
Let t = 88 - 47. Is t a multiple of 19?
False
Let p = -1 + 13. Let r = 24 - p. Is r a multiple of 12?
True
Let n = -5 + 8. Suppose -n*w = 0, -4*w - w + 210 = 5*c. Suppose -c = -k - 0*k. Is k a multiple of 14?
True
Let j be 2 + (-2)/((-6)/249). Suppose -3*g + 8*g = j. Is g a multiple of 11?
False
Let i be (-184)/(-56) - 2/7. Suppose 3*s - 74 = -4*x, -i*x - 81 = -3*s - 0*s. Is 11 a factor of s?
False
Suppose -4*g + 100 + 132 = 0. Let f be -2*(2 + -2 + -1). Suppose -n = 5*v - 15, 4*n - n + f*v = g. Is n a multiple of 14?
False
Suppose 3*u - j = 3*j + 133, 0 = -5*u + 4*j + 235. Is 17 a factor of u?
True
Suppose 0 = 2*w - 4 - 92. Is w a multiple of 12?
True
Suppose 2*p + 11 = 43. Is 16 a factor of p?
True
Let q = -93 + 133. Does 11 divide q?
False
Suppose q = -q. Suppose q = 2*l - 42 - 82. Suppose l = w + w. Does 14 divide w?
False
Suppose l - 6*l - 4*k = -354, 0 = 2*l - k - 139. Is l a multiple of 7?
True
Let s(x) = -x**3 - 8*x**2 - 13*x + 3. Is s(-7) a multiple of 10?
False
Suppose 6*g + 10 - 202 = 0. Is g a multiple of 3?
False
Suppose 0 = 5*z - 7*z + 40. Is z a multiple of 7?
False
Let y = -3 - -1. Is 13 a factor of 1/y + 371/14?
True
Suppose -4*h + 6 = -2*w - 6, -3*h = -w - 5. Is (-126)/w + (-4)/(-16) a multiple of 16?
True
Suppose 4*w - 9 = w. Let l = 34 + -30. Does 11 divide (2/w)/(l/78)?
False
Let o(u) = -u + 9. Let d be o(7). Suppose d*t - 3*s + 4 = 73, -3*s = -3*t + 111. Suppose j + 4*v = -4*j + 53, -3*j + v = -t. Is 10 a factor of j?
False
Suppose 5*m = 25, -w + 3*m - 13 = -0*w. Suppose -8*f - 12 = -5*f. Is (w - (-18)/f)*-4 a multiple of 5?
True
Let z be 3*(-22)/6*-2. Suppose 28 = h - 5. Let c = h - z. Is 11 a factor of c?
True
Suppose -2*k - k = -3. Suppose -9 = -m - k. Does 4 divide m?
True
Suppose -2*z = -2 + 4. Let s be (4 + z)*(-10)/(-15). Is (s/5)/((-3)/(-165)) a multiple of 11?
True
Let c be ((-15)/10)/((-6)/116). Let l = c - 24. Does 4 divide l?
False
Is 8 a factor of 36 - (4 + 4 + -6)?
False
Suppose 13 = g - 5. Suppose q + x = -13, 6*x - 2*x - g = q. Is 4 a factor of (-4)/q + (-165)/(-35)?
False
Let j be ((-7)/(-1))/(1 - 2). Let x = j + 16. Is x a multiple of 6?
False
Let g = 94 - 36. Is g a multiple of 12?
False
Let w be (324/16)/((-2)/(-8)). Let h = 127 - w. Is h a multiple of 13?
False
Suppose 3 = s - 9. Suppose -2*p = 3*h - s, p = -p + 4*h - 16. Let x(q) = q + 16. Is 10 a factor of x(p)?
False
Let y(w) = 3*w - 1. Is y(3) a multiple of 4?
True
Let z(g) = -g**3 + 2*g**2 + g + 2. Let d be z(3). Let y be (-10)/(-3)*(-6)/d. Suppose -3*f - 2*q = -9, -2*f = -5*f - y*q. Is 2 a factor of f?
False
Let o(w) = w**3 + 5*w**2 - 5*w + 8. Let k be o(-6). Suppose -4*u = 2*m - 5 + 1, 3*m + k*u = 14. Is m a multiple of 3?
True
Suppose 2*o + 102 = 4*m + 4, -3*m + 4*o + 86 = 0. Let s = 32 - m. Is s a multiple of 10?
True
Let f = -47 - -62. Is 8 a factor of f?
False
Suppose u + 1 = -0. Is u/(-3) + 231/9 a multiple of 13?
True
Suppose -3*d + 0*g + 5*g = 22, 0 = -5*d + 4*g - 15. Suppose a - 4 = d. Suppose a + 60 = 5*s. Is s a multiple of 13?
True
Let a = 77 - 40. Suppose a = 3*u - 17. Is 32/u + 2/9 a multiple of 2?
True
Suppose 0 = 7*s - 5*s - 32. Let q = -13 + s. Does 2 divide q?
False
Suppose 0 = -2*y + 119 + 13. Let s = y - 43. Let g = s + -15. Is 8 a factor of g?
True
Let c be 30 + (-4)/(-3 + 1). Suppose 3*m - c = -m. Does 5 divide m?
False
Let l = 3 + 10. Is 13 a factor of (-1)/((-3)/(l*3))?
True
Let a = -14 - -8. Let p(o) = o**2 + o - 7. Is p(a) a multiple of 23?
True
Is 23 a factor of (-7398)/90*(-30)/9?
False
Suppose 2*n = 16*n - 1274. Is 8 a factor of n?
False
Does 6 divide (-4)/(24/(-390)) - -4?
False
Let k(w) = 3*w. Let z be k(6). Suppose 3*p = 4*p - z. Does 13 divide p?
False
Does 26 divide 196 + (3/(-3))/(4 - 3)?
False
Let u = -9 - -2. Let j(d) = -d**3 - 7*d**2 - 4*d + 2. Is 10 a factor of j(u)?
True
Let s = 10 + -14. Let j = s + 34. Does 11 divide j?
False
Suppose 6 + 2 = 2*z. Suppose z*q - 5 = 3*o + 26, -q - 3*o - 11 = 0. Is q a multiple of 4?
True
Let h = 106 - 68. Let z = h + -26. Suppose -3*a + 2*u = 5*u - 18, 3*a + 5*u - z = 0. Is 8 a factor of a?
False
Let w = 54 - 35. Is 3 a factor of w?
False
Suppose 6*m - 16 = 2*m. Suppose -m = -4*t + 36. Is t a multiple of 10?
True
Let g(d) = -11*d - 24. Is g(-4) even?
True
Suppose q + 293 = 5*a, -2*a + 113 + 9 = -2*q. Is 10 a factor of (-9 - a)*(-1 - 0)?
False
Is 17 a factor of (-385)/(-8) - 14/112?
False
Let q = 0 + 2. Suppose 2*b + s = 79, q*b - s - s = 94. Does 18 divide b?
False
Suppose 0 = 2*m - 0*m - 588. Is m a multiple of 42?
True
Let s = -27 - -62. Is 13 a factor of s?
False
Let m(q) = -q**2 - 15*q + 18. Let d be m(-14). Let x = d - -22. Is 27 a factor of x?
True
Is 34 a factor of (2/(-6))/(2 + (-2991)/1494)?
False
Suppose 9*c - 6*c - 162 = 0. Let w = c + -32. Is w a multiple of 8?
False
Let j = -1549 - -2646. Suppose 3*a - w - 648 = 0, 5*a + 4*w = -0*w + j. Is (a/(-14))/((-1)/2) a multiple of 24?
False
Suppose -3*z = 5*w + 11, -4*w = -2*z - 0*z + 22. Suppose 3*o + z*d - 39 = 0, 7*o + 4*d - 69 = 2*o. Let m = o + -10. Does 7 divide m?
True
Let l = -3 + 23. Suppose -4*i + 40 = 2*m, -2*i + 0*m + l = -2*m. Is i a multiple of 10?
True
Let r(o) = -o**3 + 10*o**2 - 10*o + 13. Let z = 24 - 15. Let k be r(z). Suppose k*d - 4*y = 36, -y - 21 = 3*d - 7*d. Is 3 a factor of d?
False
Let g = -206 - -298. Suppose 5*b - 5*a = 130, b + g = 4*b + 4*a. Does 14 divide b?
True
Let d be -1 + (-6)/9*-3. Let n = d - -23. Is 12 a factor of n?
True
Is 466/6 - (-2)/6 a multiple of 14?
False
Suppose 24*x - 18*x = 498. Does 20 divide x?
False
Suppose -17*a = -13 - 1993. Is a a multiple of 14?
False
Let v(m) = 39*m + 2. Let t be v(2). Suppose -t = -3*s + s. Is s a multiple of 20?
True
Let n(h) = -h**2 + 8*h - 6. Let o be n(7). Let d = o + 0. Does 10 divide (d/(-1))/((-2)/66)?
False
Suppose -35 = -5*b + 105. Is 14 a factor of b?
True
Suppose -8 - 2 = -2*b. Suppose 5*i = 6*i - b. Is i a multiple of 2?
False
Suppose -3*z + 4*g - 200 = -7*z, 0 = 2*z - 5*g - 65. Suppose 55 = 3*x + x - j, -z = -3*x - 3*j. Is 11 a factor of x?
False
Let k = 26 + -12. Suppose -k - 25 = -3*p. Suppose 0 = -0*x + x - p. Is 9 a factor of x?
False
Suppose -2*g + 17 = -4*d + 3, 3*g - 3 = -3*d. Suppose -g*x = -41 - 13. Is x a multiple of 18?
True
Let l(p) = 7*p**2 + p - 4. Let k be l(3). Let s(t) = -6*t**2 - 5*t - 4. Let g be s(-3). Let q = k + g. Is 14 a factor of q?
False
Suppose -3*d - 8 = -3*c - 38, 0 = -3*d - c + 26. Is d a multiple of 3?
True
Let i(q) = 7*q + 1. Suppose 5 + 7 = 4*d. Does 11 divide i(d)?
True
Suppose -2*w + 4*w = -12. Let c = 10 + w. Is c a multiple of 3?
False
Let u(n) = n**2 - 10*n - 14. Is u(12) a multiple of 5?
True
Let u 