t q(o) = o**2 + 4*o - 9. Suppose -t + 4*s = 4*t + 4, -4 = -4*t - 4*s. Let f be 1/(t - (-2)/(-18)). Does 8 divide q(f)?
False
Let z(g) = 6*g**2 + 4*g + 2. Let n(w) = -w**3 + 3*w**2 + w - 1. Let c be n(-2). Suppose -4*f = 3*i - f + 6, 5*f - c = 4*i. Is z(i) a multiple of 11?
True
Suppose 0 = 4*m + 139 + 553. Let w = -95 - m. Does 20 divide w/(3 - (2 + 0))?
False
Suppose -3*z = -3*o + 18, -2*z = -2*o - 4*z. Suppose o*m - 79 = 65. Is 8 a factor of m?
True
Let z = -55 + 189. Is 16 a factor of z?
False
Let h = -95 + 130. Does 3 divide h?
False
Suppose 3*o - 2*p - 2382 + 425 = 0, -2*p - 10 = 0. Is 59 a factor of o?
True
Suppose 5*c + 5*t = 2520, -2*c + 974 = -5*t - 13. Does 2 divide c?
False
Let o(v) = v**2 + 13*v + 17. Suppose 36 = 2*l - 5*l. Let z be o(l). Suppose 42 = 3*a - 5*i + i, 0 = -z*a - 2*i + 70. Is a a multiple of 10?
False
Suppose 6*z - 12 = 6. Suppose -z*f - 5*l = -202, 2*f + 0*l + l - 130 = 0. Is 11 a factor of f?
False
Let x be 4/10*(-5 - -870). Let t = x - 207. Is t a multiple of 14?
False
Let k(x) = 31*x**2 + 7*x + 67. Is 129 a factor of k(-11)?
True
Let m(d) = 2*d - 10. Let u be m(6). Suppose -u*i - 31 = -i. Let l = 7 - i. Is l a multiple of 19?
True
Suppose -3*s = 7 - 4. Let q be (21/6)/(s/2). Does 2 divide q*(2 + 12/(-4))?
False
Suppose 0*d = -6*d - 78. Let a(y) = -4*y - 23. Is a(d) a multiple of 4?
False
Let b(d) = d**2 + d - 1. Let t(c) = 6*c**2 + 46*c - 14. Let h(z) = -8*b(z) + t(z). Is 22 a factor of h(16)?
False
Let b = 88 - 34. Let k = b - 25. Does 13 divide k?
False
Suppose -b = -2*f - 2937, 0*f - f - 14685 = -5*b. Is 33 a factor of b?
True
Suppose -x + 6 = -1. Suppose 191 + 796 = x*u. Does 47 divide u?
True
Let g = -1300 + 2160. Is g a multiple of 26?
False
Suppose 14*q - 24 = 12*q. Is (-541)/q*-2 - (-25)/(-150) a multiple of 22?
False
Let s(d) = -26*d**3 - 10*d**2 - 2*d + 2. Is 13 a factor of s(-3)?
False
Let f(v) = v + 1. Let b(l) = 8. Let m = 26 - 29. Let k(o) = m*b(o) + 12*f(o). Is 26 a factor of k(9)?
False
Let t(v) = -75*v + 9. Let u(q) = -374*q + 44. Let h(l) = 16*t(l) - 3*u(l). Let j be h(-4). Is j/(-63)*28/(-3) a multiple of 24?
True
Is 24 a factor of 10/(-25) - 155782/(-55)?
True
Suppose 0 = 4*i - 7506 + 1358. Is i a multiple of 29?
True
Let w = 1121 + -953. Does 6 divide w?
True
Suppose -12*x + 19 = -5. Suppose -4*d = -v + 41, -2*d + 4*d = 10. Is -1 + x + 2 + v a multiple of 16?
True
Is (33048/(-45))/(-12) + (-12)/10 a multiple of 30?
True
Suppose m = -4*m. Let o(x) = 3*x**3 + 1 - 3*x**2 + x + x - 2*x**3 + m*x**2. Does 7 divide o(3)?
True
Let m be (-2)/3 + (-6094)/(-33). Suppose v + v = m. Is 38 a factor of v?
False
Let t(a) = 340*a + 20. Is t(1) a multiple of 38?
False
Suppose 378 = 2*g - 3*f, 5*g - 10*f = -11*f + 928. Is g a multiple of 17?
False
Suppose -5*f + 4*r = -1701, -f = -5*r - 274 - 83. Is f a multiple of 32?
False
Let k(a) = a**3 + 2*a - 1. Let b be k(1). Suppose -b*f = 3*s - 0*s - 157, 4*s - 217 = 5*f. Is s a multiple of 9?
False
Let m = 6 + -7. Suppose 5*k - 10 = 0, -k = -3*v - 4*k - 24. Let t = m - v. Does 9 divide t?
True
Suppose 97*w + 3*z + 2170 = 98*w, -4*w - 4*z = -8760. Does 19 divide w?
True
Let a be 1/5 + (-3 - 3045/(-25)). Suppose 3*u - 121 = a. Is u a multiple of 33?
False
Is (-7 - 192/(-30))/((-3)/60) a multiple of 4?
True
Let v(t) = t**3 - 3*t**2 - 4*t - 2. Let g be v(4). Let x be 79 + (-4 - -4) + g. Suppose 3*j = -4*s + 135, 3*j - s - x = 58. Is 15 a factor of j?
True
Let z = -104 + 183. Suppose -9*n + 38 + z = 0. Is 13 a factor of n?
True
Let q(k) = -k + 14. Let v be ((-1)/2)/(12/(-96)). Suppose 20 = -5*s, 2*s + 56 = v*h - s. Is q(h) even?
False
Let r(q) = -q**3 - 5*q**2 - 3*q - 19. Let x be r(-6). Suppose -88 + x = -z. Is z a multiple of 29?
False
Let o be (2 - 4/8)/((-3)/424). Is ((-9)/6)/(2/o) a multiple of 14?
False
Let t(y) = 1. Let k(o) = -10*o + 11. Let w(q) = k(q) - 6*t(q). Let z be w(4). Let a = 140 + z. Does 32 divide a?
False
Suppose 0 = z - 4, -2*j + 3*z + 9 - 3 = 0. Suppose o = a + j, -o - a = 4*o - 15. Suppose 5*m - 2 = o*m. Does 2 divide m?
True
Let i = 53 + -33. Does 10 divide -75*(4/14 - i/21)?
True
Suppose 0 = 3*z + 4 - 1, 2*v = 5*z + 127. Suppose -l - v = -2*l. Suppose 42 = 4*q - 3*u - l, -53 = -2*q + 3*u. Does 10 divide q?
False
Let f(y) be the first derivative of y**3/3 - 3*y**2 - 7*y + 244. Suppose -7 = 2*r - 23. Is 2 a factor of f(r)?
False
Let q(d) be the first derivative of d**3/3 - d**2 - 11*d + 4. Let j be q(11). Suppose 2*s - j = 4*c, -2*c + 235 = 4*s + 9. Does 27 divide s?
True
Let w = 12 - 10. Let g = 4 - w. Suppose -g*k - 1 = -5. Is k even?
True
Let q = -162 - -327. Let f = -117 + q. Suppose g + f = 3*g. Is g a multiple of 11?
False
Let w(l) = l**2 - 9*l - 3. Let d be w(10). Suppose d = 3*m - 8. Suppose 0 = 4*b, -4*i + m*b + 40 = -0*b. Is i a multiple of 10?
True
Let x(u) = -u**2 + 45*u - 399. Does 20 divide x(28)?
False
Suppose -2*t = 31 + 15. Let v(h) = h**3 + 3*h**2 - h + 2. Let q be v(-4). Let c = q - t. Does 13 divide c?
True
Let o(r) be the third derivative of -r**4/24 + 9*r**3/2 - 2*r**2. Let z be (-1 - -1)/(12/(-6)). Is o(z) a multiple of 6?
False
Let a be (118/(-4)*6)/(-1). Let l = a - 102. Does 19 divide l?
False
Let g(t) = t**2 + 14*t - 5. Let n be g(-10). Let z = 102 + n. Does 14 divide z?
False
Let i(f) = -29*f - 17. Let u(r) = 10*r + 6. Let m(j) = 3*i(j) + 8*u(j). Does 28 divide m(-18)?
False
Suppose 5*s - 2*j = -133, -s + 6 = j + 34. Let p = s - -53. Let d = p - 8. Does 4 divide d?
False
Suppose 5 = 2*n - 5. Suppose -2*a = -n*x + 2 + 2, -4*x + 11 = a. Suppose 4*v - 71 = -5*o, 37 = a*v - 4*o + 7. Is 13 a factor of v?
False
Suppose 5*c + 5*w + 3437 = 8*c, -2*w = -3*c + 3434. Is c a multiple of 13?
True
Let l(x) = 3*x**2 + 6*x - 4. Let t(j) = j**2 - 14*j + 35. Let b be t(10). Is 14 a factor of l(b)?
False
Suppose 0 = y + 2*g - 8, 0 = -y + g + g - 8. Let b = -299 - -300. Suppose y = -3*z + 143 + b. Is 16 a factor of z?
True
Let j(r) = -r**3 + 5*r**2 + 2*r - 6. Let p be j(5). Suppose p*b + 87 - 375 = 0. Does 13 divide b?
False
Suppose 6*x = 2*x + 24. Suppose 0 = -x*g + 96 + 84. Does 10 divide g?
True
Let i(w) = -28*w + 26. Let k(y) = y - 1. Let h(n) = -2*i(n) - 44*k(n). Is h(4) a multiple of 16?
False
Let n(h) = 31*h - 23. Is 34 a factor of n(5)?
False
Does 41 divide ((588/(-35))/(-7))/(3/310)?
False
Let j be (-26)/(-91) + 348/7. Let s = -5 + j. Let f = 63 - s. Is f a multiple of 9?
True
Suppose 7*r = 8*r - 6. Suppose -3*a - 32 = -5*m, -r*m = -m + a - 36. Suppose 0 = -2*c + 57 + m. Is 16 a factor of c?
True
Let p = -197 - -386. Does 9 divide p?
True
Let x(r) be the second derivative of -r**5/20 - 11*r**4/12 - 17*r**3/6 - 9*r**2 - 4*r - 4. Is x(-11) a multiple of 33?
False
Suppose 0 = -3*g + 4*x + 831, -30*g + 34*g - 1080 = -4*x. Does 5 divide g?
False
Suppose 1215 = 5*o + 4*h, o - 13*h = -9*h + 219. Is 4 a factor of o?
False
Let y(d) = -2*d**3 + 12*d**2 - 18*d - 176. Is 20 a factor of y(-8)?
True
Let f(v) = 4 + 257*v**2 - 13*v - 514*v**2 + 23 + 258*v**2 + 3. Suppose -2*n = -4*a + 58, -n = -a + n + 22. Is f(a) a multiple of 18?
True
Is 20 a factor of (-2540)/(-30)*-2*3/(-2)?
False
Let n be (2 - -3)/5 + -1 + 3. Suppose -5*a + 4*s - 90 = -273, 0 = -n*a + 3*s + 111. Is 8 a factor of a?
False
Let s be (-16)/(3/(-6) + 0). Let r be (s/12)/((-2)/(-3)). Suppose r*g - 65 = 3*g. Does 14 divide g?
False
Let f be 2*-1 + 7 + -5. Suppose -5*k + c = -12, f*c - 6 = -2*c. Suppose -3*i = -y - 127, 4*i + k*y = -0*i + 191. Is 10 a factor of i?
False
Let f(j) = -j**2 + 7*j - 2. Let l(v) = v**2 - 7*v + 2. Let o(z) = -3*f(z) - 4*l(z). Does 9 divide o(4)?
False
Let y = -5 - -9. Suppose 0 = -4*k + 8 + y. Suppose -q - k*t + 6*t = -8, 3*t = 12. Is 10 a factor of q?
True
Let y = -623 + 971. Does 5 divide y?
False
Suppose -4*d - 1741 = -3*b, -3*b + 7*d = 9*d - 1753. Is 11 a factor of b?
True
Suppose -2*u = -n - 22, -3*n = -10*u + 5*u + 57. Suppose -9 = -k + u. Is k a multiple of 6?
True
Let r(t) = -21*t**3 - t + 1. Let g be r(1). Let d = g + 27. Is 3 a factor of ((-18)/2)/(d/(-8))?
True
Let s(a) = -2*a**2 - 7*a - 7. Let z be s(-4). Let p = z - -15. Suppose 0 = 5*d + 15, -f + 13 - 3 = p*d. Is 11 a factor of f?
True
Suppose -629 = -5*t - 2*p, 0 = -t + 3*p - 35 + 171. Suppose c = a + t, 2*a + 252 = 2*c - 2*a. Is 28 a factor of c?
False
Does 16 divide 5*4/50 - 30830/(-50)