3*c - 164 = 4*v, 47 = h*c - 5*v - 67. Suppose 3*s - c = -s. Does 3 divide s?
False
Suppose 2*d - g = 8911, -2*d + 5*g = -408 - 8523. Does 73 divide d?
True
Let q = -946 - -1297. Is q a multiple of 27?
True
Let h(x) = x**2 + 5*x - 11. Let g be h(-7). Suppose -2*o + g*l = -13, -o + 2*l = -0 - 7. Let b = 48 + o. Is 22 a factor of b?
False
Let s be (-14)/(-14) + 0 + 1. Does 5 divide (2 - s) + -1 + 41?
True
Suppose 5*r = 14 + 1. Suppose -w = -3*u - r, 0 = 4*w - 3*u - 8 - 4. Suppose t = w*l + 19, -2*t + 3*l - 5*l = -78. Is t a multiple of 13?
False
Let f(b) = -511*b - 10. Let r be f(1). Let g = r + 769. Does 31 divide g?
True
Let j = -1934 - -2294. Is j a multiple of 36?
True
Does 22 divide 21/35 - 19577/(-5)?
True
Let k(p) = p**3 - 4*p**2 - 2*p - 2. Let v be k(4). Suppose 4*c - 77 + 1 = 0. Let y = c + v. Is 8 a factor of y?
False
Suppose -30 = -5*u - 5*r, 0*u + 3*u - 3*r - 6 = 0. Suppose 4*y = 2*f - 3*f - 33, -u*y - 21 = 5*f. Is (-453)/y - (-8)/12 a multiple of 29?
False
Let p(q) = -q. Let m be p(-4). Let g be ((-1)/(-5) - (-1092)/65) + -5. Suppose 140 + g = m*d. Is 25 a factor of d?
False
Let s(y) be the second derivative of -y**5/20 - 7*y**4/6 + 4*y**2 + 14*y. Is s(-14) a multiple of 3?
False
Let o(p) be the second derivative of p**5/20 + 7*p**4/12 + 11*p**2/2 + 3*p. Does 27 divide o(-5)?
False
Suppose -2199 = -9*m - 39. Does 12 divide m?
True
Let q(b) = -132*b - 156. Is q(-5) a multiple of 63?
True
Let n = 15 - 9. Let b = -16 - -173. Does 26 divide b/n + (-8)/48?
True
Suppose 8*o - 5*o - 18 = 0. Suppose 351 = 15*x - o*x. Is 16 a factor of x?
False
Let k = -28 + -85. Let u = 185 + k. Does 16 divide u?
False
Let d(j) = -58*j + 170. Is 12 a factor of d(-31)?
True
Let y(s) = 9*s - 5. Suppose l - 4 = -2. Is 11 a factor of y(l)?
False
Suppose -1010 = -11*q + 6*q. Is q a multiple of 22?
False
Suppose 5 = 12*y - 11*y, -u - y = -99. Is u a multiple of 12?
False
Suppose 0 = b - 2*b - 33. Let m = b - -48. Is m a multiple of 15?
True
Does 7 divide (-56)/(-20) + 1/5 - -494?
True
Let r = 62 - -31. Suppose 4*z - 3*q - 96 = 0, -r = -5*z + 3*q - 6*q. Is z a multiple of 4?
False
Suppose 5*l + 0*h = 4*h + 525, 0 = 2*l + 3*h - 210. Is 60 a factor of l?
False
Let m(i) = -27*i - 9. Let z be m(-2). Suppose -5*x = -255 + z. Does 6 divide x?
True
Suppose -5*v - 1554 = -11*v. Does 44 divide v?
False
Suppose -v + s + 176 = 3*s, -2*v + 2*s + 334 = 0. Is 10 a factor of v?
True
Let b be (1 + 4/(-3))*168/(-4). Suppose -9*d = -b*d + 60. Does 5 divide d?
False
Let t = -2887 - -4741. Does 6 divide t?
True
Let z(c) = 105*c + 186. Is z(8) a multiple of 18?
True
Suppose -1460 = -5*v - 3*r, -3*v - 5*r = -124 - 752. Let k = v - 124. Is 28 a factor of k?
True
Let m(t) = 2*t**3 - 12 - t - 11*t**3 + 10*t**3 - 5*t**2. Does 2 divide m(6)?
True
Suppose -b = 4*b - 215. Let k = -23 + b. Does 7 divide k?
False
Is 2334/9*3/2 a multiple of 19?
False
Let q be (-2)/(-5 + -3)*20. Let w(x) = x**3 - 3*x**2 + 11*x - 6. Is 28 a factor of w(q)?
False
Let p = 61 - -143. Suppose 3*x + 4*g = 3*g + p, 5*g - 54 = -x. Suppose 2*k - x = 21. Is k a multiple of 23?
False
Let y be (-1 - (-4)/3)*15. Suppose -20 = -y*d, 3*d + 10 = -3*c + 4*d. Is 4 a factor of ((-5)/c)/(1/4)?
False
Let n(z) = z + 45. Let l be n(-13). Let u = l + 46. Does 29 divide u?
False
Let b = 2828 - 879. Does 18 divide b?
False
Let l(o) be the first derivative of -7*o**4/4 - 5*o**3/3 + 5*o**2/2 + 3*o + 18. Is l(-3) a multiple of 44?
True
Suppose 4*s = -3*d + 827, -5*s + 208 = -4*s + d. Does 4 divide s?
False
Let o = 51 - 16. Suppose 4*q + 5*m = 28, 5*q - 3*m + 7*m - o = 0. Is 6 a factor of q?
False
Let b be ((-78)/(-1))/(9/48*4). Suppose 116*i - b = 115*i. Is 27 a factor of i?
False
Suppose 136 = 2*l + 646. Is 29 a factor of l*1*(-8)/20?
False
Let m be 2*(-2 - -8 - 4). Suppose 214 = 2*v - m. Is v a multiple of 31?
False
Let z(m) = -7*m - 4. Let r(y) = -4*y - 2. Let u(h) = 10*r(h) - 6*z(h). Is 2 a factor of u(3)?
True
Let d = -387 - -868. Does 13 divide d?
True
Let k(f) = f**3 - 14*f**2 + 47*f + 7. Does 24 divide k(11)?
False
Let c(o) be the second derivative of o**4/12 + o**3/3 - 4*o**2 + o. Let i be c(-8). Suppose g = 0, -4*m - g + 220 + i = 0. Does 17 divide m?
False
Let s(p) be the third derivative of 1/5*p**5 + 1/120*p**6 - 4*p**2 + 0*p - 1/24*p**4 + p**3 + 0. Is s(-12) a multiple of 6?
True
Let o = 646 - 423. Is o a multiple of 16?
False
Let d(t) = 7*t**2 - 6. Let j(i) = 36*i**2 - i - 29. Let r(n) = 11*d(n) - 2*j(n). Is r(2) a multiple of 5?
False
Let t(w) = 2*w**2 + 11*w - 9. Let a be t(-9). Suppose -a = -6*j + 4*j. Is j a multiple of 6?
False
Suppose 0 = -11*c - 4*c + 225. Is c a multiple of 7?
False
Suppose 12 = 4*d + 4. Suppose 5 + 5 = d*j. Suppose 0 = 3*f - j*u - 74, -117 = -4*f - 2*u + 5*u. Is 15 a factor of f?
False
Suppose -g - 4 = -0*g, -3*p - 16 = 4*g. Suppose -4*c = o - 0*o + 7, 4*c - 5*o + 13 = p. Is 19/((2 - c) + -3) a multiple of 19?
True
Is 1*1/2*224 a multiple of 16?
True
Suppose 0 = -m + 2*b + 7, -b - 3*b - 29 = -5*m. Suppose -m*r = -t - 377, -3*r + t + 222 = -t. Is 16 a factor of r?
False
Let w(c) = 22*c**2 + c**3 - 3*c + 2*c + 4*c - 10*c**2 + 6. Let d be w(-10). Suppose -b = -5*b + d. Is 13 a factor of b?
False
Let w(n) = 3*n. Let v(j) = -j. Let z(h) = -5*v(h) - w(h). Let o be z(-9). Is 11 a factor of (-915)/o - (-2)/12?
False
Let k(t) = -t**3 - 8*t**2 + 3*t + 53. Let v be k(-8). Let f = -104 + 161. Let j = f - v. Is 7 a factor of j?
True
Suppose -2*k = -k + 2. Let y(m) be the second derivative of m**4/6 + m**3/6 + m**2/2 + 6*m. Is y(k) a multiple of 3?
False
Let d(k) = k**2 - 9*k + 14. Let a be d(5). Let w = 2 - a. Is w even?
True
Let g(o) = -o**3 + 10*o**2 + 8*o - 12. Suppose 4*z = 5*p + 60, 2*z - 2*p - 24 - 4 = 0. Is g(z) a multiple of 9?
False
Let l = -648 + 924. Does 46 divide l?
True
Let p(h) = 9*h**2 - 2*h. Let y be p(2). Suppose -2*g + 6*g = 5*f - 12, 3*g + 9 = 4*f. Suppose f = -2*t + 22 + y. Does 10 divide t?
False
Is 15 a factor of (10/(-4))/(24/(-2592))?
True
Let j be (1 - 62/(-6))*6. Suppose 2*k = -2*a + k + 109, -4*k - j = -a. Suppose 0*n - 2*n + a = 0. Is n a multiple of 9?
False
Suppose 4*t + 80 = 8*t. Is (301/5 - 0) + (-4)/t a multiple of 20?
True
Let v(y) = -3*y + 7. Suppose 12 = -2*r - 2*r. Is v(r) a multiple of 4?
True
Suppose 12*c - 9*c + x - 9 = 0, 3*c = 3*x - 3. Suppose -c*k = k - 270. Is k a multiple of 10?
True
Suppose -4*f - 2*p + 17 = 1, 3*f - 26 = -5*p. Suppose -f*k = 5*y - 30, 0 = -2*y + y - 2*k - 2. Is 15 a factor of y/28 - 1254/(-21)?
True
Suppose -3 + 18 = f + 5*m, -4*f - 25 = 3*m. Let a = f - -21. Is a a multiple of 11?
True
Let i = -393 + 424. Does 4 divide i?
False
Let x(l) = 4*l + 25. Let t be x(-5). Suppose 2 + 33 = 2*n - h, -t*h - 4 = -n. Is n a multiple of 19?
True
Let b(m) = -m**3 + 4*m**2 - 2*m - 3. Let h be (-16)/56 + (-23)/(-7). Let p be b(h). Suppose 5*j + p*j = 60. Is j a multiple of 10?
False
Let h = 641 + -191. Is 26 a factor of h?
False
Let i(w) = -9*w. Let l(a) = -a**3 + 8*a**2 + 11*a - 20. Let z be l(9). Does 10 divide i(z)?
False
Suppose -p + 1675 = -5*j, -4*p + 4*j - 6*j = -6590. Does 11 divide p?
True
Let a(h) = -2*h + 8. Let y be a(7). Let r be 3/(-12)*2*y. Suppose -4*q + 3*x + 335 = 0, 0*q + 5*q - 418 = r*x. Is q a multiple of 12?
False
Suppose 0 = 4*k - 6*k - 48. Is k/14*616/(-16) a multiple of 11?
True
Suppose 26*g - 755 - 3483 = 0. Does 13 divide g?
False
Let t(k) = 9*k - 1. Let h be t(2). Let a = 7 + h. Suppose -4*m + 0*m + a = 0. Is 2 a factor of m?
True
Let c = 17 - 11. Suppose -c*a = -9*a + 3. Is a - (-3 - 27/1) a multiple of 9?
False
Suppose 390 = 73*t - 70*t. Is t a multiple of 10?
True
Suppose -5*i - 66 = -1. Does 5 divide 12/6 + 0/1 - i?
True
Does 5 divide (-204)/8*(-988)/78?
False
Suppose 12 = 2*d + o, 2*d - o - 11 = 1. Let b be (-37)/(-7) + d/(-21). Suppose -3*j + 190 = -2*w, -3*j + 3*w = b*w - 206. Is j a multiple of 17?
False
Suppose -5*x + 287 = 3*p - 1095, -5*p = 4*x - 1103. Let w = -124 - -267. Suppose 7*t = w + x. Does 15 divide t?
True
Let s = -129 - -23. Let u be 2 - (1 + s - -1). Suppose 2*l - u = 86. Is 32 a factor of l?
True
Let o = -426 + 718. Does 24 divide o?
False
Let r(b) = b**3 + 20*b**2 - 27*b + 55. Let l(y) = 9*y + 6. Let k be l(-3). Does 16 divide r(k)?
False
Let y(j) = j**2 - 8*j - 11. Let h(t) = t**3 - 5*t**2 + 2*t - 6. Let p b