2*m = -4*d + 22773. Is d a multiple of 14?
False
Suppose 21*k + 144 = 2*n + 23*k, 2*n + 3*k - 144 = 0. Does 5 divide n?
False
Let j(w) = -111*w**2 + 3*w - 2. Let v(h) = h. Let p(m) = -j(m) + 2*v(m). Is p(1) a multiple of 23?
False
Let q = 47 - 37. Let f(v) = -v**2 + 14*v - 23. Is 4 a factor of f(q)?
False
Does 5 divide 7/(4*6/24)?
False
Suppose m - 1 = 3*p - 14, 4*p - 9 = 3*m. Suppose p*x - 33 = 399. Is 41 a factor of x?
False
Let f be 21/14 - (-6)/4. Suppose 3*h - 2*h + 5 = 0, f*h = -5*s + 40. Is 6 a factor of s?
False
Let v(r) = 145*r - 1 - 1 - 154*r - 4. Is 20 a factor of v(-14)?
True
Suppose 0 = -m - 4, 5*n + 2*m = 590 + 152. Is 5 a factor of n?
True
Suppose -3*u - 264 = -d, -3*u - 354 = -3*d + 414. Is 10 a factor of d?
False
Let q = 10067 - 6510. Is 105 a factor of q?
False
Suppose 3*m - 2*c = 10, 5*m = 3*m - 4*c - 20. Suppose -23 = -3*i - 5*g, 3*i + 5*g - 4*g - 43 = m. Is 6 a factor of i?
False
Let l(p) = 7*p**2 - 6*p - 12. Is 23 a factor of l(-6)?
True
Let m(i) = -i**3 + 7*i**2 - 4*i + 4. Let l be m(7). Let v = l + 37. Suppose -q = -v - 4. Is 11 a factor of q?
False
Is ((-66)/9)/(3/(-108)) a multiple of 11?
True
Suppose 3*o = 5*a - 2526, 0 = 5*a - 2*o - 3*o - 2520. Is 39 a factor of a?
True
Let o = 94 - 89. Suppose o*f + 4*a - 328 = 0, f - a = 6*f - 322. Does 27 divide f?
False
Suppose 2*f - 80 = j, -2*j = -4*f + 3*f + 148. Is ((-14)/(-21))/((-2)/j) a multiple of 5?
False
Let t(i) = i**3 - i**2 + 12. Suppose -5 = 4*z - y - 12, 0 = -3*z - 4*y + 10. Let s(r) = -r**2 + 3*r - 2. Let p be s(z). Is t(p) a multiple of 12?
True
Let q be (-69)/(-15) - 5 - (-4)/10. Suppose -v + q = -66. Is v a multiple of 8?
False
Suppose 0 = -w - 5*g + 1, 2*w - 23 = -0*w - 3*g. Suppose 858 = w*z - 5*z. Does 26 divide z?
True
Let l = 124 - 121. Let q(k) = 15*k**3 - 2*k**2 - 6*k + 6. Is q(l) a multiple of 25?
True
Let l(b) = b**3 + 10*b**2 - 12*b - 11. Let k be (-10 + 43)*2/(-6). Let s be l(k). Suppose s*r + 78 = 2*r. Is 6 a factor of r?
False
Suppose 32*g - 7828 - 11500 = 0. Is g a multiple of 20?
False
Suppose -7750 = -21*j - 10*j. Is j a multiple of 5?
True
Suppose -580 = 15*j - 20*j + 4*m, 2*m = -2*j + 214. Is 28 a factor of j?
True
Let f(b) = 5*b**2 + 3*b + 13. Let d be (15 - 14)*(-1 + -5). Let m(c) = 14*c**2 + 8*c + 38. Let j(y) = d*m(y) + 17*f(y). Does 2 divide j(-5)?
False
Suppose 0 = a - 5*a + 3*j + 9, -5*a - 2*j - 6 = 0. Suppose 3*w - 11 = -3*l - 2, 5*w + 6 = 2*l. Suppose 2*g + w*g - 80 = a. Does 10 divide g?
True
Let m(c) be the first derivative of -c**2/2 + 3*c - 10. Let p be m(3). Suppose -12*b + 7*b + 80 = p. Is 8 a factor of b?
True
Suppose -n - 3*r + 0 - 21 = 0, r + 47 = -2*n. Let u = 83 - n. Is 8 a factor of u?
False
Suppose 38*d = 56*d - 828. Does 29 divide d?
False
Is 35 a factor of (-3)/((-18)/(-24)) - (2 + -321)?
True
Let b = 231 + -122. Let c = b - 37. Is 12 a factor of c?
True
Suppose -l = -3*x - 9, -4*x = 3*l - 62 + 22. Does 17 divide ((-34)/(-6))/(4/l)?
True
Suppose 2*d + 3 = 3*d. Suppose 2*q = 2*h - 3*h, 0 = -3*h - d*q. Suppose t - 3*j + j - 2 = h, -j + 8 = t. Is t even?
True
Let i(s) = s**2 - 4*s + 5. Let u be i(4). Suppose 0 = -u*r - 2*c + 14, 0 = 4*r + r + c - 12. Suppose -4*h - 125 = -5*a, 4*h + 18 = -r. Does 4 divide a?
False
Suppose -2*t + 4 = -3*t, 3*t = -4*m. Suppose m*p - 5*p = -88. Let k = p - -4. Is k a multiple of 16?
True
Suppose -5*p = -2*x - 12, 12 = -4*p + 5*p + 2*x. Let j(z) = -z**2 + 4*z + 3. Let a be j(p). Suppose 5*i + 3*v = i + 38, -v - 35 = -a*i. Is i a multiple of 11?
True
Let t(h) = -11 + 2*h**2 + 10 - h + 59*h**3 + h**2. Does 10 divide t(1)?
True
Suppose 2*s + 16 = -2*i - 4, 2*s = -5*i - 41. Let r = 17 - i. Is r a multiple of 12?
True
Suppose 4*z + 5*q = 24, -z + 3*z + 4*q - 12 = 0. Let w = -3 + z. Suppose -w*l + l - 4*b = -64, 0 = 4*l + 5*b - 131. Does 17 divide l?
True
Let t be (-286)/14 + 12/(-21). Is 11 a factor of (165/(-9) + -1)/(14/t)?
False
Suppose -3*n - 1 = -4*r, -11 = r - 5*r + n. Suppose -5*s + 31 = -r*s. Is s a multiple of 8?
False
Suppose 0 = 5*o - 16*o. Does 18 divide 102 - -2 - o/(-3)?
False
Suppose 6*i = 5*i. Let m be (0 - -4) + (i - -5). Does 24 divide (-246)/m*(-18)/12?
False
Let n(t) = 92*t**2 + 3*t + 5. Let s be n(-1). Suppose -i = -6 - 16. Suppose -4*b - i = -s. Is b a multiple of 4?
False
Does 10 divide 64*(-5 + 63/6)?
False
Let u(b) = 20*b**2 + 5*b - 4. Let q be u(4). Suppose -14*l + 17*l = q. Does 13 divide l?
False
Is 18 a factor of ((-20)/(-15) + -2)*87*-14?
False
Suppose 30*s - 7380 = -15*s. Is s a multiple of 26?
False
Let x = 3 - -2. Let o(r) = -3*r**3 + r**2 + 5*r + 1. Let j(n) = -7*n**3 + n**2 + 9*n + 2. Let w(m) = 2*j(m) - 5*o(m). Is w(x) a multiple of 4?
False
Let m(h) = 8*h**2 + 38*h - 30. Let b(q) = -q**2 - 3*q**2 - q + 10 + q**2 - 12*q. Let p(a) = 11*b(a) + 4*m(a). Does 4 divide p(7)?
True
Let t(l) = -16*l - 40. Is 8 a factor of t(-9)?
True
Suppose -3*x - 4*t - 13 = -3*t, -10 = -2*t. Let r = 8 + x. Suppose 5*w = 2*f + 110, -4*w + 88 = -0*f - r*f. Does 11 divide w?
True
Let x = -1 + -9. Let q be (-15)/6*1*x. Is 11 a factor of (-3 + 3 - 3) + q?
True
Let m = -502 - -1310. Is m a multiple of 20?
False
Suppose 13*v = 3*v + 20. Suppose u - v*u = -m + 23, -m - u = -21. Is m a multiple of 22?
True
Let f(t) = -31*t + 9. Let d(q) = 5*q - 8. Let j(u) = -6*u + 7. Let w(a) = -4*d(a) - 5*j(a). Let h(c) = -4*f(c) - 11*w(c). Is 25 a factor of h(2)?
True
Suppose 13*r + 144 = b + 9*r, 4*b = -3*r + 576. Is b a multiple of 12?
True
Let y(m) = m**2 + m - 60. Is 37 a factor of y(14)?
False
Is 8/(-44) + 48293/77 a multiple of 11?
True
Suppose -24 = -5*c - 14. Suppose -w - c = -3*p + w, 5*p = 4*w + 2. Is p even?
True
Suppose 2*y - 13*y = -198. Suppose -19*w = -y*w - 43. Does 43 divide w?
True
Suppose 2*y - 15 = 3*b, -5*y + 0*b + 2*b + 21 = 0. Suppose 0 = 3*o - 3*k - 84, k - 20 = -y*k. Does 6 divide o?
False
Let j(m) = 5*m - m - m**2 - 4*m + 8. Let p be j(0). Is 4 a factor of p/(-6)*15/(-2)?
False
Suppose -3030 = -5*c - 4*s, -3*c - s + 1194 = -631. Does 53 divide c?
False
Let d be 1111/33 - 4/6. Suppose -4*q - 19 = -5*b, -5*q - 5*b = -2*b + d. Is 12 a factor of q/(-24) + (-141)/(-12)?
True
Suppose 4*d = -0*d - 136. Let g be 3/(-2*3/d). Let b = g - 12. Is 5 a factor of b?
True
Let n(g) = -104*g + 92. Is n(-7) a multiple of 11?
False
Let q be (-18)/(-8) - (7 - (-248)/(-32)). Suppose 0 = q*y + 105 - 267. Is y a multiple of 9?
True
Let o be 20/6 + 4/6. Let s(x) = 7 + 0*x**2 - o - x**2 + 3 + 7*x. Does 6 divide s(7)?
True
Let l be (-5 + 8)/(-3 - -2). Let f(w) = -w**2 - 6*w - 5. Let p be f(l). Suppose -4*t = -5*q - t + 212, -3*q + 104 = p*t. Does 9 divide q?
False
Let y = -1021 - -1451. Does 80 divide y?
False
Suppose 2*u + 0*u = -2*t, -2*u = -t. Let z(q) = -q**2 - 14*q - 27. Let s be z(-11). Suppose 0 = h - u - s. Is 2 a factor of h?
True
Suppose 127 = 3*o - 2. Let h = 79 - o. Does 12 divide h?
True
Let f(g) = -3*g - 10. Let t be f(13). Let x = t - -79. Does 5 divide x?
True
Suppose -30 = -5*k + 5. Suppose -194 = -3*p - 4*o, -265 = -k*p + 2*p + 5*o. Is 29 a factor of p?
True
Let q(i) = 6*i - 2. Let t be q(1). Suppose -o - 2 = -t. Suppose o*s - 88 = -24. Is s a multiple of 32?
True
Suppose -17*j = -47*j + 7560. Does 7 divide j?
True
Let t(f) = f**2 - 23*f - 50. Let s be t(25). Suppose s = -7*r + 1709 + 461. Is 49 a factor of r?
False
Does 13 divide (-1)/(0 + (-2)/2306) - 4?
False
Let b(s) = -s - 2. Let m(p) = p + 1. Let u(c) = -3*b(c) - 6*m(c). Suppose 0*w + 3*w = -15. Does 6 divide u(w)?
False
Let t(a) = -a**3 - 5*a**2 - 6*a + 2. Let c(n) = -2*n - 8. Let v be c(-14). Suppose -5*l = o + v, -1 + 6 = 4*l + 5*o. Does 11 divide t(l)?
False
Suppose -3*h - 5*h = -368. Let k = 82 - h. Is k a multiple of 36?
True
Suppose -4*u = -3*p + 7968, 2651 = 99*p - 98*p - 3*u. Is 10 a factor of p?
True
Let b(g) be the third derivative of g**5/60 - g**4/4 - 3*g**3/2 + 2*g**2 - 16. Let f be ((-18)/(-15))/((-3)/(-20)). Is b(f) a multiple of 7?
True
Let o = -1057 + 537. Let b = o + 839. Suppose b - 39 = 5*w - 4*c, 4*w - 3*c - 223 = 0. Does 13 divide w?
True
Let a(l) = l - 4. Let b be a(6). Suppose b*p - 46 - 18 = 0. Is 8 a factor of p?
True
Let t(k) = -4 - k**2 + 2 + 3 + 7*k. Let z be t(6). Suppose -2*w + 60 = 2*h, 0 = 2*h - z*h + 2*w + 150. Is h a multiple of 15?
True
Suppose 4*l + 1325 = -231. Let r = 546 + l. Does 16 divide