x. Is x a multiple of 16?
False
Let z(f) = 4*f + 3*f**2 + 0*f + 30 - 39. Let d(q) = -4*q**2 - 3*q + 9. Let y(t) = 4*d(t) + 5*z(t). Is y(6) a multiple of 2?
False
Suppose 114 = 14*j - 11646. Is j a multiple of 15?
True
Suppose -3*q - 5*c + 130 = 0, 4*q + 3*c - 2*c - 145 = 0. Suppose 4*f + q = -f. Let r(k) = k**2 + 5*k + 7. Does 12 divide r(f)?
False
Let o be 7*-12*(-4)/(-6). Suppose 2*j - l - 4*l = -49, 4*l + 56 = -4*j. Let s = j - o. Is 17 a factor of s?
False
Let g be -1 + 19 - 2*-1. Let r(f) = f + 3. Let d be r(1). Suppose 0 = 2*c - a - 19, d*c - 5*a - 27 = g. Is 4 a factor of c?
True
Let h be 54/13 + (-6)/39. Suppose 2*a = g - 6, 3*g + 3*a + 10 = h*g. Let u = g + 13. Does 9 divide u?
False
Let c(r) = 15*r**2 - 11*r - 9. Let n(p) = 8*p**2 - 6*p - 5. Let w(f) = 6*c(f) - 11*n(f). Let i be w(4). Let t = i + -21. Is t a multiple of 6?
True
Is 11 a factor of (15/(-6))/5*(-2160)/9?
False
Let w(m) = 19 + 12*m - 41 - 18 - 5*m. Does 2 divide w(7)?
False
Suppose 4*c - 7*c + 12 = 0. Suppose 6 = 2*w - c. Is w a multiple of 3?
False
Suppose 36*u - 28526 = 2*u. Is 47 a factor of u?
False
Suppose p + 5*t = -5, -3*p + 8*t - 15 = 3*t. Let a(y) be the second derivative of -y**3/6 + y**2 - y. Is 3 a factor of a(p)?
False
Let y(s) = -4*s - 30. Let i be y(-12). Suppose 0 = -2*n - 4*c + 38, -2*n + 0*c + c + i = 0. Is n a multiple of 2?
False
Let u(q) = 9*q**2 - 36*q - 17. Is 14 a factor of u(10)?
False
Suppose 4*r - 444 = -3*z, -3*r + 10*z - 9*z = -333. Does 3 divide r?
True
Let r be (-3)/((30/(-22))/5). Let t be (-18)/(-4) + r/(-22). Suppose 2*n - n + t*p = 16, 23 = n - 3*p. Is n a multiple of 5?
True
Let a(k) = -k**3 + k**2 + 4*k. Let o be a(3). Let b(f) = -f**3 - 7*f**2 - 7*f - 3. Let s be b(o). Suppose -t + 156 = s*t. Does 13 divide t?
True
Suppose b + 1 + 9 = 0. Let h = 148 + b. Suppose 37 + h = 5*r. Is 26 a factor of r?
False
Suppose 2*m - 4 = -2*m. Let r be (1 - (-1 - 9)) + (2 - 4). Suppose -m = 2*c - r. Is 4 a factor of c?
True
Let d(t) = -16*t**3 - t**2 - 2*t - 1. Let m(y) = -y**2 - 10*y - 1. Let h be m(-10). Does 16 divide d(h)?
True
Let r(s) = 13*s - 1. Let t be r(4). Let m = t - -69. Does 31 divide m?
False
Is 323 + -17 - -1*4 a multiple of 12?
False
Suppose -2*y + b + 183 = 0, -4*b = 2*y - 87 - 91. Does 15 divide y?
False
Suppose 8*y = 15*y. Suppose y = 17*x - 6*x - 176. Is 5 a factor of x?
False
Suppose 0 = 6*u - 3*u + 339. Does 14 divide 2*(-4)/(8/u)?
False
Suppose -4*t + 7 = -13. Let g be (2/5)/(t/25). Suppose -22 + g = -4*q, q = -2*y + 21. Is 3 a factor of y?
False
Suppose -62 + 2 = -5*a. Let k(y) = 8 + 2*y + 14 - 9 + y. Does 14 divide k(a)?
False
Let m(b) = b. Let i be m(-6). Let f(g) = g**2 + 5*g - 4. Let r be f(i). Suppose -4*h + s = -99, -4*h + r*s + 126 = h. Does 12 divide h?
True
Suppose 0 = -2*v + 4*v - 4. Suppose 674 = 3*i + 4*j, -4*i - 6*j + 10*j = -936. Suppose 3*b = -v*b + i. Does 23 divide b?
True
Suppose 0 = -d - 4*d - 160. Let a = d + 30. Is 23 a factor of a*(-3 + (-43)/2)?
False
Suppose -3*v - t + 729 = 0, 2*v + 6*t = 7*t + 481. Is v a multiple of 22?
True
Let b be 2 + -1 + 2/2. Suppose -109 = -b*g + 69. Suppose -n = 4*j - g, -2*j + 13 = 3. Does 19 divide n?
False
Let y = 29 + -40. Let h = 20 + y. Let v(m) = -m**2 + 10*m + 2. Is v(h) a multiple of 5?
False
Let z(b) = -35*b - 6. Let u(j) = 7*j + 1. Let x(r) = -11*u(r) - 2*z(r). Let s be x(-5). Suppose 2*n = -n + s. Is n a multiple of 6?
True
Suppose 0*p - 725 = -5*p. Suppose 9*z - p = 944. Does 27 divide z?
False
Let f = -7 - 1. Let w = -28 + f. Let p = 33 - w. Is p a multiple of 18?
False
Suppose 5*z - 2*b - 10 = 25, 4*z + 5*b = -5. Suppose 1 - z = 4*g. Does 7 divide (g + 2)/((-4)/(-104))?
False
Let p(r) = -r**2 + 2*r - 1. Let q be p(4). Let n(u) = -u**2 - 18*u + 6. Let y be n(q). Suppose 3*m = -y + 225. Does 16 divide m?
False
Suppose 18 = 2*u + 2*s, -3*s - 3 + 38 = 4*u. Let n(y) = 4 + 102*y + 0 - 100*y. Is n(u) a multiple of 4?
True
Suppose -3*j + 4*j = -2*k - 28, -3*j - 39 = 3*k. Let n(q) = -6*q - 17. Is n(k) a multiple of 23?
False
Let g = -5496 + 7702. Suppose -g = -6*v + 464. Suppose v = 7*r - 2*r. Is r a multiple of 15?
False
Let s(t) = 7*t - 12. Let m(j) = -2*j**2 + 4*j + 1. Let o be m(2). Suppose -o = -d + 5. Does 10 divide s(d)?
True
Let p = 9 + -7. Suppose 3*q = p + 4. Suppose q*g = 5*g - 27. Is g a multiple of 4?
False
Suppose 0 = w - 9 + 8. Does 11 divide 4 - (w + (-13 - 2))?
False
Suppose 108 - 29 = -t. Let h = t - -109. Is 6 a factor of h?
True
Let q(z) = 0 + 2*z**3 - 4*z + 2*z + 5*z**2 - 1 - 3*z**3. Let g be q(5). Let m = 28 + g. Is m a multiple of 8?
False
Suppose -5*w = -4*w. Suppose -5*f + 166 + 554 = w. Suppose -a = -4*a + f. Is 12 a factor of a?
True
Suppose 3*f = 3*g + 120, 0 = -f - 3*g + 10 + 50. Suppose 14 = w - 5. Suppose f = a + w. Is 13 a factor of a?
True
Suppose u - 16 = -4*d, -4*d + 40 - 4 = -4*u. Suppose -v = -d*t - 237, 2*v + 0*v = -3*t - 150. Is (-14 + 13)/(1/t) a multiple of 24?
True
Let l be (-204)/(-48) + (-1)/4. Suppose g - l*g = -9. Does 3 divide ((-96)/9)/((-2)/g)?
False
Let n = 299 - 512. Let x = 402 + n. Is 9 a factor of x?
True
Suppose 0*k = -3*k + 1368. Is k a multiple of 19?
True
Does 13 divide (16/(-20) + (-264)/(-5))/2?
True
Suppose -7245 = -2*w - 7*w. Does 18 divide w?
False
Let m(f) be the third derivative of 31*f**4/24 - f**3/6 + 10*f**2. Is m(2) a multiple of 7?
False
Let m be 2910/7 + 2/7. Let h be 3/(-1)*m/(-24). Suppose -5*t + 5*u = -h - 8, -5*u = 4*t - 3. Does 5 divide t?
False
Is 4 a factor of (-13)/((-260)/(-8)) + 204/10?
True
Is 7/(-3) - 118864/(-228) a multiple of 22?
False
Let n = -8 - -10. Suppose 0 = w - 5*q - n, 4*w + 3*q + q = 128. Does 26 divide w?
False
Suppose 522 = 4*f - 38. Is f a multiple of 12?
False
Let l(h) = -2*h**3 + 4*h**2 + 4*h + 2. Let m be l(-2). Let b = 47 - m. Does 7 divide b?
True
Suppose 158*b = 62*b + 39648. Is b a multiple of 9?
False
Let y(k) = 2*k**2 - 27*k + 26. Is 2 a factor of y(15)?
False
Let m(g) = -g**2 - 7*g + 2. Let d be m(-7). Let b be ((-52)/65)/(d/(-5)). Suppose 0 = -2*a - b*a + 24. Is a a multiple of 3?
True
Let y be -5*(-3)/3 - 2. Suppose 5*s - t - t = 0, -y*s = t - 11. Suppose 0 = s*a - 51 - 87. Is a a multiple of 23?
True
Suppose 3*v + 845 = 4*t - 34, 213 = t - 3*v. Does 6 divide t?
True
Let s = -1056 + 1346. Does 5 divide s?
True
Let q(j) be the second derivative of 5*j**3/6 + 5*j**2/2 - 322*j. Suppose 0 = -2*v - v + 12. Is 8 a factor of q(v)?
False
Let q(o) = -o**3 + 4*o**2 + o + 1. Let a be q(4). Suppose -6*t + 416 = -2*t - n, -20 = -a*n. Is 35 a factor of t?
True
Suppose -2*w + p + 844 = -w, p = -3*w + 2536. Does 82 divide w?
False
Let d be ((-2)/(-7))/(5/35). Suppose 0 = 5*x - d*m - 585 + 31, 3*m + 6 = 0. Is 10 a factor of x?
True
Let a be (-9 - -8)*25/(-1). Suppose 77 = 5*j + l, -j - 3*l - 4 + a = 0. Is (5/(-3))/(j/(-18)) even?
True
Let v be ((-4)/6)/((-3)/9). Suppose -11 - 27 = -v*p. Is 17 a factor of p?
False
Let x(c) = 9*c - 7. Let p be x(6). Suppose 5*s - 375 = -5*q, -2*s = 2*q + q - 224. Let m = q - p. Does 9 divide m?
True
Does 6 divide 97 + (6 - (-4 + 5))?
True
Let s(k) = 7*k - 6 + 11*k - 26*k. Is s(-6) a multiple of 14?
True
Let b(t) be the first derivative of 10*t**2 - 4*t + 4. Is 7 a factor of b(1)?
False
Suppose 2*p - 5*p + 39 = 0. Let d = -11 + p. Suppose 0 = -w + d*w - 6. Is 6 a factor of w?
True
Let s(a) = 4*a**2 + 8*a - 12. Let r be s(7). Suppose -6*m - 24 = -r. Is 18 a factor of m?
True
Suppose -20*f + 71 = -309. Does 13 divide f?
False
Let r(u) be the second derivative of u**3/3 + 2*u**2 - 9*u. Is 24 a factor of r(22)?
True
Suppose 0 = 3*t - 10 - 26. Suppose -4*w = -w - t. Suppose -5*r + y - 3*y + 286 = 0, -r - w*y = -68. Does 12 divide r?
False
Suppose 13*a - 762 = 12*a - 3*c, 5*a = -5*c + 3850. Is a a multiple of 17?
False
Let n(g) = 2*g - 11. Let z be n(13). Let l(q) = q**2 - 15*q + 24. Does 12 divide l(z)?
True
Let q = 364 - 264. Is q a multiple of 5?
True
Does 116 divide (-166986)/(-90) - (-18)/30?
True
Let p(i) = i + 447. Is 2 a factor of p(12)?
False
Let w = 128 + -38. Suppose 4*x + 5*m - 32 = 0, 29 = 4*x + 4*m + 1. Suppose -93 = -x*p + w. Does 13 divide p?
False
Suppose 2*h + 2*h = 5*c + 88, -2*h + 74 = -4*c. Is 2 a factor of (8/10)/((-2)/c)?
True
Suppose 0 = 15*q + 116 - 896. Does 2 divide q?
True
Does 25 divide 30/(-40) - (-4)/((-64)/(-3212))?
T