. Is (-30)/9*(-24)/h a multiple of 2?
True
Let b(h) = h + 6. Suppose 2 = 3*d - 3*q + 11, 2*d = -q + 3. Is 6 a factor of b(d)?
True
Let c(a) = a**2 + 0 + 9*a - 7 - 21. Let k be c(-12). Is 3 a factor of (-9 + k)/((-2)/16)?
False
Let r(c) be the first derivative of -19*c**2 + 2*c - 3. Let s be 3 + (-3)/1 + -2. Does 22 divide r(s)?
False
Suppose 2*j - 12*y + 14*y = 18, 26 = 4*j + 2*y. Let f(m) be the second derivative of m**4/12 - 5*m**3/6 + 3*m**2 - 2*m. Is f(j) even?
True
Suppose 0 = -4*z + 913 + 675. Is 23 a factor of z?
False
Let d(y) = -185 - y**3 + 185 - 10*y**2 + 8*y. Let h be d(-12). Suppose i + h - 17 = 3*m, -2*m + i = -115. Does 20 divide m?
True
Let p = -97 + 103. Suppose p*b - 18 = 36. Is 3 a factor of b?
True
Let i(f) be the first derivative of -f**2 - 1. Let c = 7 - 15. Does 13 divide i(c)?
False
Does 11 divide (70 - -1)*((3 - 5) + 3)?
False
Let t be 0/((36/4)/3). Is 9 a factor of 0 - 0 - (t - (-5 + 53))?
False
Does 42 divide (294 - (3 - 3))/((-1)/(-2))?
True
Suppose 0 = -6*y + 8 - 464. Is 1/((-8)/y) + (-2)/4 a multiple of 3?
True
Let x(l) = -70*l - 102. Is x(-5) a multiple of 18?
False
Does 16 divide 4 + -5 - (128 + 4)/(-4)?
True
Let m(o) = 17*o - 9*o - 13*o - 3 - 6. Is 6 a factor of m(-4)?
False
Let l(m) = 41*m**2 - 58*m + 246. Is 67 a factor of l(4)?
True
Let u be 4/5 + 188/(-10). Let j be u/15 + (-1)/(-5). Let x = j + 16. Does 5 divide x?
True
Let b(z) = 10*z - 1. Let y = 20 - 19. Let q be b(y). Suppose 7*j = 10*j - q. Does 3 divide j?
True
Suppose 5*t - 82 = 8. Suppose -t = -g + 3*o, g + 2*o + 2*o - 18 = 0. Let k = -15 + g. Is k a multiple of 3?
True
Let w(q) = 3*q**3 - 6*q**2 + 7*q - 7. Let o = -48 - -51. Is w(o) a multiple of 12?
False
Let v(f) = 7*f**2 - 19*f + 3. Let k(w) = w**2 - w. Let a(b) = 6*k(b) - v(b). Suppose 4*y = 4*l - 36, -4*l + 0*y - 3*y = -22. Does 13 divide a(l)?
True
Is 30 a factor of 3/12 - 696/96 - -3313?
False
Suppose 0 = -3*j + 315 + 63. Is j a multiple of 18?
True
Suppose -13*s + 15 = -8*s. Let q be ((-4)/(-10))/(2/10). Suppose l - s*j - 24 = -j, j = q*l - 54. Does 19 divide l?
False
Suppose -v + 79 = 4*a - 110, 2*a - 4*v = 90. Suppose j - a = -g - g, 3*j - g = 134. Suppose j = 2*w - 7. Is 3 a factor of w?
False
Let t be 154/33 + (-2)/3. Suppose -t*w - 69 = 55. Let l = -6 - w. Is l a multiple of 22?
False
Let u = 9 - 7. Suppose 3*a + 99 = z - 0*z, -2*a + 182 = u*z. Let s = -54 + z. Is 13 a factor of s?
True
Let b be 4*((-9)/12)/(-1). Suppose -10 = -b*d - 4. Suppose -4*r - 2*y + y + 59 = 0, -d*y - 26 = -r. Does 8 divide r?
True
Let v(h) = -h**3 - 3*h**2 - h + 2. Let p be v(-3). Suppose -96 = -5*u + 4*z, p*u - u - 2*z = 78. Is 2 a factor of u?
True
Does 21 divide (-7 + 2038)/3 + (-2 - 3)?
True
Suppose -21*z + 8149 + 1658 = 0. Does 24 divide z?
False
Suppose 2*j = 3*k + 190, 0 = -5*j + 4*k + 95 + 366. Does 8 divide j?
False
Let n = 3 + 2. Let d(z) = -z + 6. Let l be d(n). Let p = l - -11. Is p a multiple of 4?
True
Let d(z) = -19*z + 21. Is 3 a factor of d(-2)?
False
Let d = 122 + -89. Is 11 a factor of d?
True
Let x = -753 + 1390. Does 49 divide x?
True
Suppose 0 = -7*u + 3*u + 16. Suppose -u*t - 296 = -2*i, 0*t = 2*i - 3*t - 294. Does 21 divide i?
False
Suppose -3*v + 81 = -318. Let n = -114 + v. Is n a multiple of 2?
False
Let z(q) = q**2 + 4*q - 12. Let m be z(5). Let y = 160 - m. Is 7 a factor of y?
False
Suppose 4*u - 2*u = 982. Does 71 divide u?
False
Suppose 68*n - 540 = 62*n. Is n a multiple of 9?
True
Let x(o) = -52*o + 25. Is 15 a factor of x(-3)?
False
Let q = -6 + 188. Is q a multiple of 13?
True
Let i(j) = -273*j - 170. Is i(-8) a multiple of 20?
False
Is 4/2 + -8 - 2*-588 a multiple of 30?
True
Let n(p) = -p**2 - 14*p + 9. Let q = -24 - -26. Suppose 0 = 2*t + q*t - k + 58, -3*k - 22 = 2*t. Is 2 a factor of n(t)?
False
Let g(k) = -k**3 - 12*k**2 + 15*k + 16. Let c be g(-13). Suppose 3*d - 2*f + 0*f - 62 = 0, -5*f + 15 = d. Is 4 a factor of (24/c)/((-6)/d)?
True
Let n be (4/(-3))/(4/(-12)). Suppose -n*x = -7*x + 36. Does 11 divide 50/3*x/10?
False
Let r(j) = -2*j**2 + 5*j. Let q(x) = -x**2 + x - 1. Let m(t) = -q(t) + r(t). Let n be m(3). Suppose n*d = 16, 48 = 2*l + d + 2*d. Does 9 divide l?
True
Suppose 3*s + 7 = 2*q - 22, 5*q = -3*s + 104. Suppose -q*n + 67 = -18*n. Is 21 a factor of n?
False
Let z(c) = -35*c. Suppose 7 = 4*b - 5. Suppose -2*s = b*s + 10. Is 18 a factor of z(s)?
False
Suppose -d = 17 - 22, 0 = -3*k + d + 3871. Is 33 a factor of k?
False
Let t = 3482 - 2055. Does 18 divide t?
False
Suppose -3630*y + 3641*y = 7579. Is 53 a factor of y?
True
Let j(y) = -4 - 2 + 10 - 2 + 3*y**2. Is 2 a factor of j(2)?
True
Let o be (-3 - -5)*(1 - 0). Suppose 3*b + 9 = -4*w, 0 = w + o*b + 5 + 1. Let q = w + 18. Is q a multiple of 3?
True
Let t be (-1)/(-2 - 10/(-6)). Suppose 1 = t*f - 4*f. Is (f - -1) + 51 + 1 a multiple of 13?
True
Let w(y) = y**3 - 10*y**2 + 7*y + 8. Let q be w(9). Let p = -12 - q. Is ((-9)/p)/((-6)/(-48)) a multiple of 9?
True
Let c(z) = 20*z - 2. Let i(m) = -m. Let u(w) = c(w) + 12*i(w). Let l be u(2). Suppose l + 2 = 2*t. Does 8 divide t?
True
Let g = 33 - 28. Suppose o - l + g - 33 = 0, 0 = l + 4. Is o a multiple of 6?
True
Suppose 1484 = 5*z - 3*k, 5*z = -3*k - 195 + 1691. Is z a multiple of 4?
False
Let s = 42 - 27. Let q = s + -5. Suppose 0 = -5*m + q + 30. Is 4 a factor of m?
True
Suppose 5*v + 2*f - 22 = 30, -1 = -f. Let h(p) = 3*p**2 + 3*p - 18. Let r(i) = -2*i**2 - 4*i + 17. Let a(b) = 3*h(b) + 4*r(b). Does 13 divide a(v)?
False
Suppose -2*u - 5 = -r + 1, 0 = -r - 4*u. Let v = r - -38. Is v a multiple of 7?
True
Let n(o) = 2*o**3 + 19*o**2 + 11*o + 8. Let b be n(-9). Let m(c) = -c**3 - 9*c**2 + 5*c + 2. Is m(b) a multiple of 13?
True
Suppose -5*v = -2*w - 1586, -v - 7*w + 314 = -9*w. Does 49 divide (2 - v/12)/(2/(-28))?
True
Is 8 a factor of (-6)/4 + 21330/12?
True
Suppose s = 2*s + 4*l - 1792, -9045 = -5*s - 3*l. Is s a multiple of 12?
True
Is (6 - (-1239)/9) + (-1)/(-3) a multiple of 9?
True
Suppose -4 = -2*m + 28. Let l(x) = 3*x - 16. Let h(z) = 4*z - 16. Let i(v) = 4*h(v) - 3*l(v). Is i(m) a multiple of 12?
True
Let h(y) = 33*y - 54. Let u be h(6). Is 2 a factor of 7*(u/(-21))/(-1)?
True
Let y(o) = -3*o**2 + 133*o - 39. Is 9 a factor of y(36)?
False
Let z = 14 + -12. Let i(x) = -5 - 3*x - z*x + 2*x. Does 2 divide i(-5)?
True
Suppose -137*q + 140*q = 9. Suppose 6*d + 2*x = 2*d + 1062, 4*x - 1064 = -4*d. Suppose d = 4*v + l, q*v = v + l + 125. Does 12 divide v?
False
Let y = -611 - -1634. Does 77 divide y?
False
Let m(o) = -o**3 + 28*o**2 + 173*o + 58. Does 13 divide m(33)?
False
Suppose -2*d = d - 36. Let h(p) = 3*p**3 + 15*p**2 + 7*p + 14. Let t(c) = c**3 + c**2 - c + 1. Let r(z) = -h(z) + 4*t(z). Does 2 divide r(d)?
True
Suppose 4*p = 2*p + 38. Let z(x) = x**2 - 18*x - 9. Does 3 divide z(p)?
False
Let y(z) = -z**3 - 15*z**2 + 69*z + 30. Does 3 divide y(-19)?
False
Suppose -5 = 5*f, -2*q - f = 3*q - 439. Is 6 a factor of q?
False
Suppose 5*n - t - 1440 = 0, n + 5*t = -3*n + 1181. Is 17 a factor of n?
True
Suppose 38*v - 43*v - y = -2512, -4*v - 5*y = -1997. Is 32 a factor of v?
False
Suppose 0 = -53*w + 35*w + 3024. Does 3 divide w?
True
Is 20 a factor of 7 + 1*(9 - -704)?
True
Let q = -2444 + 3771. Is q a multiple of 10?
False
Let k(t) = -t - 1. Let c be k(-1). Suppose -3*x = -c*x + 4*q + 103, -134 = 4*x + 2*q. Let a = -9 - x. Is 8 a factor of a?
True
Let t = 677 - 599. Is t a multiple of 16?
False
Let w be (9714/22)/(-3) - (-6)/33. Let d = -57 - w. Is d a multiple of 9?
True
Let z(b) = -8*b + 63. Is 36 a factor of z(-36)?
False
Let l = -202 - -143. Is l/(-12)*3 - (-6)/24 a multiple of 3?
True
Let w = 91 + -91. Suppose w = -5*l + 535 + 5. Does 8 divide l?
False
Let t be (0 - 0)/(10/10). Suppose -g - 3*g + 320 = t. Is g a multiple of 8?
True
Let r(w) = w - 9. Let c(s) = -10. Suppose 0 = -11*p + 8*p - 6. Let t(n) = p*c(n) + 3*r(n). Is t(5) a multiple of 8?
True
Let w(t) = 61*t**2 - t + 1. Let b be w(1). Let f = -23 + b. Is f a multiple of 5?
False
Is 21 a factor of (-13)/((-39)/330) + -5?
True
Suppose 4*v = -6*v + 1100. Suppose -64 = -3*t + v. Is 9 a factor of t?
False
Suppose 6*n + 65 = n. Let m be (12 + n)/(1/(-55)). Suppose 3*u + 95 = 4*h, 3*h - m = h + 3*u. Is h a multiple of 10?
True
Suppose -c + 238 = 2*y, c + 9*y = 11*y + 246. Is 11 a factor of c?
True
L