+ 2*z - 5*z + 22. Does 3 divide f(-5)?
False
Does 18 divide 4 + 68/(-18) - (-185148)/81?
True
Suppose h + 0*h - 2*y = 16, 5*h - 5*y = 60. Let f(a) = -a**3 + 10*a**2 + 23*a + 12. Let w be f(12). Suppose w = -q + h + 37. Is 19 a factor of q?
False
Let j(m) = 6*m + 7 - 6*m - m. Let n be j(0). Suppose v - 40 = 3*t - n*t, -2*v + 25 = -3*t. Does 10 divide v?
True
Suppose -2*a - p = -1164, 0*p = 4*a - 5*p - 2356. Is a a multiple of 30?
False
Let m(k) = -k**3 + k**2 - 5*k - 12. Let v(i) = -i**2. Let z(n) = -m(n) + 6*v(n). Is 3 a factor of z(7)?
False
Let u = -22 + 23. Suppose -k - 2*k + 16 = -b, 5*k + 2*b - 34 = 0. Does 8 divide (-3)/k*u*-46?
False
Suppose -v - 14 = -2. Let t = 12 - v. Does 6 divide t?
True
Suppose 0*y - 6*y + 156 = 0. Suppose -y*f + 32*f = 1452. Is f a multiple of 37?
False
Let b be 0/(0 + (1 - -3)). Suppose 316 = 5*z - 4*f, f - 296 = -5*z - b*f. Does 24 divide z?
False
Suppose -3*y - a = -303, 2*y = -5*a + 62 + 140. Is y a multiple of 3?
False
Suppose l = 5*l - 120. Let z = -1 + l. Is z a multiple of 12?
False
Let t be 1 + 0 + 3/3. Let c(p) = 2*p**3 + p**2 + 3*p - 2. Let n be c(t). Suppose 2*d - n = 24. Is d a multiple of 8?
True
Let a(d) = -6*d**3 + d - 6*d**2 - 15*d + 5*d**3. Does 5 divide a(-5)?
True
Let u(x) = x**3 - 9*x**2 - 13*x + 11. Let d be u(10). Let p = d + 37. Is p a multiple of 14?
False
Let v = -219 + 607. Is v a multiple of 69?
False
Let h = 842 - 581. Is 7 a factor of h?
False
Let r = 2827 - 2227. Is r a multiple of 60?
True
Let s(q) be the third derivative of q**5/60 - q**4/2 + q**3/2 - q**2. Suppose -16*t + 72 + 136 = 0. Does 4 divide s(t)?
True
Let c(p) = -p - 4. Let y(w) = 1. Let s(f) = 3*c(f) + 12*y(f). Let d be s(-12). Suppose 12*g = 10*g + d. Does 18 divide g?
True
Is (-3 - 4)*(-5214)/21 a multiple of 79?
True
Let t(u) = -42*u**2 - u - 2. Let r be t(3). Let c = r - -548. Is c a multiple of 11?
True
Let x be (-2 - (-4 + 2))/(-2). Let o(j) = -j**2 + 2. Let h be o(x). Suppose -d - 2 = -2*s, -h - 13 = -3*s. Does 4 divide d?
True
Suppose -2*d + 72 = 3*f, 2*f - 6 = 2*d + 42. Is f a multiple of 6?
True
Let i(l) = -l**2 + 6*l - 1. Let q be i(7). Let v be (q/(-12))/((-6)/(-99)). Suppose -4*m = -v*m + 392. Is 8 a factor of m?
True
Let w be 19/(-2) - 2/(-4). Suppose -6*p - 12 = -2*p. Let m = p - w. Is m a multiple of 3?
True
Let f be -2*(15/(-6) + 1). Suppose -4*g = -t + 1 - 29, f*t = -5*g + 18. Is 2 a factor of g?
True
Suppose -5*r = 2*i - 3635, r + 3*i = 789 - 62. Does 65 divide r?
False
Let q(y) = 4*y + 21. Let t be q(-4). Suppose -d = -t*m - 216, -596 = -3*d - m + 3*m. Is d a multiple of 13?
False
Suppose 527*n = 526*n + 127. Is n a multiple of 5?
False
Let j(v) = -35*v - 472. Is 6 a factor of j(-26)?
True
Let a(v) = v + 20. Let w be a(-20). Suppose 31*t - 36*t + 575 = w. Is t a multiple of 13?
False
Suppose -17590 = -10*c + 2740. Is c a multiple of 72?
False
Let d(l) = 15*l + 510. Is d(-13) a multiple of 19?
False
Let s(l) = -l**2 + 2*l + 1. Let t be s(-1). Is 37 a factor of 1/((8/(-444))/t)?
True
Let g(k) = -k**2 - 11*k + 1. Let b be g(-11). Suppose 0 = -3*t - 4*q - 5, -5*t + b = 3*q + 2. Is 4 a factor of 30/8 - t/(-4)?
True
Does 18 divide 4 - (40/(-5) - 48)?
False
Let i be -4 - (1314/(-3))/3. Suppose -3*v - 34 + i = 0. Is 12 a factor of v?
True
Let q(x) = -x + 11. Let v be q(7). Let y(i) = 3*i - 9. Let w be y(v). Suppose -4 + 5 = h, -w*n + 5*h = -205. Does 14 divide n?
True
Let p be ((-188)/(-3))/(116/(-30) - -4). Suppose -13*f = -3*f - p. Does 8 divide f?
False
Let z = 9 - 7. Suppose -z*n - 5 = -3*n. Is 13 a factor of (-5)/(n/3) + 25?
False
Suppose -26*o + 5088 = -23*o. Is o a multiple of 19?
False
Let t(c) = -c**3 - c**2 - c - 1. Let l be t(-2). Suppose z - 15 = -l*d - 4*z, 3*d = -4*z + 11. Suppose -d = 2*m - 23. Is m a multiple of 4?
False
Suppose -15 = -j + 5*w + 10, 2*j - w = 14. Is 20 a factor of 39*1 + (j - 4)?
True
Let x = -31 - -36. Suppose 4*m - 149 = -5*s, 0*s + x*s - 4*m = 181. Is s a multiple of 3?
True
Let f(d) = -20*d - 4. Let r be f(-6). Let n = r - 34. Is n a multiple of 13?
False
Suppose 16 = -2*v - 194. Let c = -61 - v. Is 7 a factor of c?
False
Is -40*(10/50 + 14/(-20)) a multiple of 4?
True
Suppose -4*d + 5*d - 44 = 0. Suppose -8*b - d + 124 = 0. Is 4 a factor of b?
False
Let o(t) be the second derivative of -t**4/8 - 8*t**3/3 + t**2 - 7*t. Let g(s) be the first derivative of o(s). Is g(-10) a multiple of 7?
True
Let g be (3/2 - -1)*4. Let t be (-3 - 7/(-2))*g. Suppose 0 = 2*m + 4*l + l - 10, -m + t = -4*l. Does 3 divide m?
False
Let r(i) = i**3 + 4*i**2 - 2. Let w be (5 - 8)/(2 - (-1)/(-2)). Is r(w) a multiple of 4?
False
Let z = 3 + 148. Let q = z - 85. Does 15 divide q?
False
Suppose 682 = 4*t - 4*z - 6518, 0 = t - 3*z - 1800. Is t a multiple of 36?
True
Let v be (-18)/12*(-8)/3. Suppose -3*y + 3*w - w = -208, 3*y + v*w = 214. Is y a multiple of 9?
False
Suppose 2*x + 4*v - 32 = 0, 0*x + 3*v = 4*x - 20. Suppose -2 + x = 3*f. Suppose f = -3*w + 23. Does 3 divide w?
False
Let c(g) = 78*g**2 + 4*g - 1. Let r be c(2). Suppose -r = -4*i + 137. Is i a multiple of 10?
False
Let w(h) = -h**3 - 5*h**2 + 3*h + 13. Let c be w(-5). Is 10 a factor of c/9 + 10469/171?
False
Suppose -5*j = -21 + 6. Suppose -2*v = -j*v + 16. Does 10 divide v?
False
Suppose 199 = 3*y - 143. Suppose -c = -4*g - y, -5*c = -4*c + 3*g - 107. Does 20 divide c?
False
Let m = 32 + -17. Suppose 5*n - 33 = -4*o + 13, -m = -2*n - 5*o. Is n a multiple of 2?
True
Suppose 0*v - 60 = l + 4*v, 0 = -l + v - 35. Let n be (1 + 0)/((-4)/96). Let i = n - l. Does 13 divide i?
False
Let k be (15/(-1))/(-3) + -3. Suppose 0 = -c + 3 - k. Let m = c - -11. Is 12 a factor of m?
True
Suppose 3*d - 7*d = 340. Let o = d + 129. Is o a multiple of 10?
False
Suppose -2*c - 3*m + 1661 = 2*m, 0 = -4*m + 4. Is 12 a factor of c?
True
Let n = -7 + 17. Suppose n*h - 8*h - 4 = 0. Suppose -3*s - h*d + 17 = 0, -s - 3*s - 2*d + 26 = 0. Is 9 a factor of s?
True
Let h(v) = 315*v**2 - 1. Let j be h(-1). Suppose -2*c + c - 289 = -y, j = y + 4*c. Is 49 a factor of y?
True
Let f be ((-15)/(-12))/(4/16). Suppose -3*v + 0*l = -f*l - 9, 3*v = l + 9. Let i = 10 - v. Is i a multiple of 7?
True
Let o(m) = -3*m + 29. Let g be o(-7). Let z = 62 - g. Is 4 a factor of z?
True
Is 4 a factor of 4/7 + ((-457860)/105)/(-13)?
True
Let z = -641 + 1103. Does 66 divide z?
True
Does 26 divide (-11 + (-17458)/28)*(-4)/6?
False
Suppose 2*i = 2*c - 58, 0*c - 53 = -2*c + i. Suppose k = -t - 0 - 16, 0 = t - 3*k + c. Let b = 31 + t. Is 13 a factor of b?
True
Suppose 2*v = 5*g + 32, -3*v + g + 102 = 28. Suppose 0 = v*d - 24*d - 16. Does 8 divide d?
True
Let u be (-4)/18 - (-168)/27. Let d(t) be the second derivative of t**3/6 + t**2 + 12*t. Does 8 divide d(u)?
True
Let t = 2335 + -981. Does 83 divide t?
False
Suppose -5*b = 2*w + 40, -w - 2*w - 21 = b. Does 6 divide 611/94*b*(1 - 3)?
True
Suppose 3*a = 10*a - 4165. Does 7 divide a?
True
Suppose -176 = 22*u - 44. Let i(d) = -5 + 1 - 7*d - 3. Does 13 divide i(u)?
False
Suppose -4*h - h = 0. Suppose -y - 115 = -2*x, 3*x + h*x - 170 = -y. Does 19 divide x?
True
Suppose 0 = 20*s - 19*s + 3. Let i be (40/12)/(2/s). Let a(p) = -8*p - 9. Does 14 divide a(i)?
False
Let y = -906 - -1306. Is 19 a factor of y?
False
Suppose 4*p + 208 - 80 = 0. Let d be (0 - -1)/((-4)/p). Let h(s) = 3*s**2 - 11*s - 4. Is 28 a factor of h(d)?
False
Let l be 63/27 - (4/(-6) - -1). Does 9 divide (-6)/(-4) + 47/l?
False
Suppose -12*p + 25*p - 2145 = 0. Is p a multiple of 17?
False
Let f = 27 - -194. Is f a multiple of 17?
True
Suppose -2*z + 74 = -z - 3*t, -2*z = -t - 143. Suppose -22 = -r + 3*s + z, -5*r + 5*s = -445. Is 28 a factor of r?
False
Let v be 3 + (-4 - (-16)/4). Suppose -4*u - i = -17, 4*u + v*i - 21 = -2*i. Suppose 0 = -3*w + u*w - 109. Is 16 a factor of w?
False
Is 28 a factor of (48/144)/(2/5652*2)?
False
Suppose 22 = -2*v + 478. Let y = v + 27. Is y a multiple of 13?
False
Let b = -8 - -5. Is (1/b)/((-14)/1428) a multiple of 16?
False
Let n(l) = -l + 1. Let b(h) = -2*h - 13. Let j(p) = -b(p) + 4*n(p). Let f be j(8). Does 19 divide (204 - 14)*f/2?
True
Suppose 2*l - 8 = 3*z, z = -2*l + 3*l - 2. Let a be 7/35 - l/(-10). Suppose a*q + 5*f = 3*q - 142, 3*q = f + 122. Is q a multiple of 13?
True
Let b be (-4 - 549/6)*-2. Suppose 5*d = -3*k + 769, d + 4*d + k = 763.