t b be (-2 + (-4 - -8))*-2. Let z(p) = -p - 4. Let x be z(b). Suppose x = 3*f + 2*f - 35. Is f a multiple of 2?
False
Let q = -97 + 124. Is 4 a factor of q?
False
Let a be (16/10)/((-32)/(-80)). Let b(k) = -a*k - 7 + 5*k**3 - 3*k**3 - k**3 + k**2. Does 34 divide b(4)?
False
Suppose -u + 6 = j, -4*j + u + 44 = -0*u. Let q(p) = -p**3 + 11*p**2 - 3*p - 6. Is 32 a factor of q(j)?
True
Let f(a) = -2*a. Let n be f(1). Let t be n/2 - (-6 + 9). Does 8 divide 8/(0/t - -1)?
True
Suppose -7*n = 16*n - 20723. Does 53 divide n?
True
Suppose -n + 29 + 196 = 0. Is n a multiple of 15?
True
Suppose -4*g = 390 + 138. Let l = -58 - g. Does 19 divide l?
False
Let g(o) = 2*o + 2. Let i be g(-1). Suppose i = -4*s - 4 + 52. Does 4 divide s?
True
Suppose -3*f + 5*w + 732 = 0, f - 244 = 2*w - 5*w. Let c = f - 174. Is c a multiple of 14?
True
Suppose 473 = -7*a + 88. Let y = a + 172. Is 12 a factor of y?
False
Does 22 divide (2082/30)/((-3)/(-45))?
False
Suppose 6*c - 634 = 716. Is 75 a factor of c?
True
Let v = -237 - -426. Let x be (12/18)/(3/v). Suppose -2*m + x = -48. Is m a multiple of 15?
True
Let h(b) = b**3 + 9*b**2 - b + 5. Let q be h(-9). Let v = q + 6. Suppose 0 = 2*j - 200 + v. Does 18 divide j?
True
Let c(t) = t**3 + t**2 - 7*t + 71. Let u be c(0). Let d = -13 - 1. Let v = d + u. Is v a multiple of 19?
True
Suppose -5*m = -3*w + w - 33, 3*w - 17 = -2*m. Suppose 3*j + j + b = m, 2*b = -j. Suppose -j*z = -11 - 1. Is z a multiple of 6?
True
Let m(f) = 267*f - 39. Is m(4) a multiple of 21?
True
Let s(k) be the third derivative of k**8/20160 - k**7/630 - 7*k**6/360 - k**5/20 - 6*k**2. Let t(n) be the third derivative of s(n). Is t(11) a multiple of 11?
False
Suppose -2*r = 4*w + 8, 2*r + 2*w = 3*w + 2. Suppose r = 73*c - 78*c + 575. Is c a multiple of 11?
False
Let v(o) = -489*o - 374. Is v(-5) a multiple of 64?
False
Suppose -5*b - 3*q + 38 = -10, 3*q = 2*b - 36. Suppose 5*c + 30 = j, 3*c = 6*c + b. Is j even?
True
Let n be -4*(-57)/18*-3. Is (n/4)/(8/(-16)) a multiple of 19?
True
Let m(a) = -14*a + 10 - 16*a - 1 + 44*a + 2*a**2. Let d be m(-7). Suppose -d*z = -11*z + 8. Does 4 divide z?
True
Let x(v) = -2*v + 36. Let o be x(15). Let p(c) = 3*c**2 + c - 2. Let z be p(-2). Is ((-5)/o)/(z/(-48)) a multiple of 5?
True
Let o(t) be the first derivative of t**3/3 + 6*t**2 + 23*t - 23. Let d be 2*-2*22/8. Does 12 divide o(d)?
True
Suppose 0 = -18*t + 7*t + 759. Suppose 66*g + 657 = t*g. Does 48 divide g?
False
Let t be (10/(-4) + 2)*(21 + -35). Suppose -895 = -t*w - 13. Is w a multiple of 18?
True
Let v = 110 + -19. Is 4 a factor of v?
False
Suppose -4*l + 243 = -k + 4*k, -4*k + 324 = 5*l. Suppose -2*c + w = -148, c + 3*w - k = -0*c. Does 18 divide c?
False
Let i be 1 + (-1309)/(-3) + (-9)/27. Suppose -539 = -4*u + i. Is u a multiple of 13?
False
Let w(l) = -7*l + 35 - 13 + 6 + 45. Does 51 divide w(-26)?
True
Let f = 30 - 32. Is 13 a factor of 106 + f + 0 + -2 + 1?
False
Suppose -u + 14 = 8. Let n(k) = 35*k - 35. Is 35 a factor of n(u)?
True
Let b = 66 - 64. Suppose b*k = 332 + 72. Does 30 divide k?
False
Let p(i) = -i**3 + 16*i**2 + 54*i - 34. Does 17 divide p(17)?
True
Let s(i) = -i + 9. Let c be s(7). Let w = 166 - 163. Suppose m + 46 = 3*y, y = 2*y + w*m - c. Is 3 a factor of y?
False
Let z(x) = 2*x**2 + x - 50. Is 55 a factor of z(7)?
True
Let n(d) = 4*d. Let o be n(4). Suppose 0 = 5*a - o - 29. Let s(j) = -j**2 + 10*j + 4. Is 3 a factor of s(a)?
False
Let s(i) = 4*i + 10. Let u be s(-2). Suppose -4*y = -4*b - 280, b = u*y + 3*b - 128. Is y a multiple of 19?
False
Suppose 12*x - 70 = 7*x. Does 21 divide 6/(-5)*(-735)/x?
True
Suppose 2*t - 3*t + 307 = 0. Let p = -157 + t. Is 10 a factor of p?
True
Suppose -12*b + 1728 = -4*b. Does 9 divide b?
True
Let i(h) = 2*h**2 - 14*h + 13. Let n be i(9). Suppose -5*y = -3*u + n, 4*u - 2*y = 72 - 2. Suppose 0 = -5*w + u + 2. Is w even?
True
Suppose -n = -6*n + 530. Suppose -d + 29 = -n. Does 19 divide d?
False
Let r be 445/(-20) + ((-15)/(-12))/5. Let f(s) = 3*s**2 - 5. Let i be f(4). Let u = i + r. Is u a multiple of 21?
True
Let u(q) = -q**3 + 10*q**2 + 7*q + 26. Is 6 a factor of u(10)?
True
Suppose -3*s = x - 15, 0 = -7*x + 2*x - 2*s + 10. Suppose -2*b + 6 + 0 = x. Suppose 5*d = b*t - 61, 16 = t - d - 7. Does 9 divide t?
True
Suppose -i + 4*g = i + 78, 39 = -i - 3*g. Let q = i + 95. Is 14 a factor of q?
True
Let q(o) = -o - 12. Let m be q(-13). Let d be (m + -4)*-1 + 51. Is ((-6)/(-4))/(3/d) a multiple of 9?
True
Suppose 5*p - 10 = -f - 0, 0 = 4*p - f - 8. Let h(j) = 11*j**3 - 2*j**2 - j + 2. Does 10 divide h(p)?
True
Suppose -5*d + 14 = -21. Let b be (d/4)/(2/8). Suppose -g - 22 = -5*k, 2*k - b = -g + 2*g. Is k a multiple of 5?
True
Suppose -4 = 5*o - o. Let x(h) = -83*h**3 - h**2 + h + 1. Let a be x(o). Suppose -6*n = -2*n - 3*r - 58, -r = 5*n - a. Does 16 divide n?
True
Let p(h) = h**3 + 18*h**2 + 44*h + 5. Does 5 divide p(-15)?
True
Let l = -420 + 600. Is l a multiple of 4?
True
Let w(f) = f**2 + f. Let z(h) = -3*h**2 + 3*h + 2. Let t(k) = 5*w(k) + z(k). Let v be t(6). Is 4/(-20) + v/10 a multiple of 4?
True
Suppose 4*f = 4*d + 2356, 14*d + 579 = f + 15*d. Does 10 divide f?
False
Let q(o) = -2*o - 5. Let r be q(-5). Let d(n) = n - 4. Let u be d(6). Suppose -2*t = -u*s - 0*s + 112, 3*s - r*t - 160 = 0. Is 25 a factor of s?
False
Let n = 4 + -2. Suppose 5*q - 6*q = -n. Suppose 6*y - q*y = 36. Does 3 divide y?
True
Let g = 1751 + -1527. Does 7 divide g?
True
Let a be 4*(-2 + 9 + -5). Suppose -a = -3*z + 19. Does 2 divide z?
False
Let y = -6 - -11. Suppose -6*x - 10 = -5*u - x, x = -y*u + 22. Suppose u*o = 2*n - 40, -4*n + 0*o + 4*o + 84 = 0. Does 11 divide n?
True
Let w(q) = -4 - 10*q**3 + 9*q**3 + 5 - q - 4*q**2 + 5. Does 6 divide w(-5)?
True
Suppose -3*c = 3*o - 957, 3*c = -0*c + 3*o + 957. Suppose 3*h + 321 = 3*v, -3*v + 2*h = -3*h - c. Is v a multiple of 12?
True
Let f(i) = i**3 - 5*i**2 + 2*i - 1. Suppose 2*k = -c + 28, -4*k - c + 6*c + 42 = 0. Suppose -5*r + 12 = -k. Is f(r) a multiple of 7?
False
Suppose 3*x + 9 = 12. Let y be x*(-2 - 0)*-2. Suppose m - 66 = -y*w - 0*m, -m - 19 = -w. Is 8 a factor of w?
False
Let s be 2794/18 + (-20)/90. Let c = 271 - s. Is 29 a factor of c?
True
Let j(a) = a**3 - 9*a**2 + 54*a - 10. Does 70 divide j(10)?
True
Let f be (3 + 15/(-7))/((-4)/(-14)). Suppose 4 = -2*t, -t - t + 221 = f*z. Does 18 divide z?
False
Suppose i = 4*i - 4*x - 450, 5*i - 773 = -x. Is 30 a factor of i?
False
Let y(r) = 7*r**2 + 2*r - 23. Does 21 divide y(3)?
False
Is 5 a factor of 7/(-1)*150/(-70)?
True
Is 54 a factor of (-20)/6*(-2268)/35?
True
Suppose 5505 = 3*h - d, h - 2 - 1819 = 5*d. Is h a multiple of 54?
True
Let l(t) = 73*t + 24. Let c be l(7). Suppose -13*i - c = -18*i. Does 33 divide i?
False
Let u(y) = -y**3 + 10*y**2 + 14*y - 4. Let b be u(10). Suppose 4*s + 16 - b = 0. Is s a multiple of 3?
True
Does 3 divide (-417)/2*12/(-9)?
False
Let j be (-3 - -4)/(1*(-2)/368). Let z = -128 - j. Does 7 divide z?
True
Suppose -4*p - 15 = -2031. Is p a multiple of 28?
True
Let i(t) = t**2 - 15*t + 97. Is i(15) a multiple of 12?
False
Let t(m) = m**2 - 4*m. Let c be t(5). Suppose 0 = -3*w + 6, 2*l + l - 94 = -c*w. Does 15 divide l?
False
Let o(q) = -q + 13. Let x be o(10). Suppose 138 = x*a - 0*a. Is a a multiple of 12?
False
Suppose -v + 1514 = -3*m, 5*m + 1678 + 846 = 2*v. Let c = -351 - m. Does 9 divide c?
True
Let r(h) = -4*h**3 + 17*h**2 - 20*h - 16. Let p(t) = 7*t**3 - 33*t**2 + 40*t + 31. Let j(k) = -3*p(k) - 5*r(k). Is 13 a factor of j(12)?
False
Let v = -35 - -34. Is -250*(1/2)/v a multiple of 25?
True
Suppose -4 = -5*z - m, -12 = z + 2*m - 5*m. Let u be 4 + -10 + 4 + z. Is (2 + 8)/(u/(-3)) a multiple of 15?
True
Let k(i) = -26*i - 2 - 12*i + 4. Let m = -37 + 36. Does 10 divide k(m)?
True
Let q(r) = 17*r**2 + 7*r + 1. Is q(4) a multiple of 7?
True
Let y(r) = r**2 + 47. Let k(x) be the second derivative of x**3/6 - 3*x**2 + 12*x. Let m be k(6). Is y(m) a multiple of 25?
False
Let r = 154 + 266. Is r a multiple of 14?
True
Let r be 8/52 + 48/26. Suppose -2*t + r*b - 149 = 7*b, -b + 64 = -t. Let u = 143 + t. Does 19 divide u?
True
Let k = 45 - 45. Let b be (-3)/(-1) + 0 - 1. Suppose k*u - b*u + 72 = 0. Is u a multiple of 10?
False
Let l(w) = -w**2 - 21*w - 8*w + 175 - 186. Is 48 a factor of l(-25)?
False