
False
Let h(o) = -10*o + 1. Let u be h(-5). Let n(s) = -s**2 + 2*s + 16. Let t be n(8). Let y = u + t. Is y a multiple of 12?
False
Let t = -5 + 12. Let g = 137 + -335. Is g/(-10) - t/(-35) a multiple of 12?
False
Let j(v) = v**2 - 8*v + 8. Let r be j(6). Let m(c) = -c**3 - c**2 + 1. Let n(f) = 2*f**3 + f**2 + 2*f - 3. Let l(k) = 6*m(k) + 2*n(k). Is 16 a factor of l(r)?
True
Suppose -20*r + 2693 = -847. Is 61 a factor of r?
False
Let y(i) = -17*i**2 - 41*i - 36. Let r(c) = 4*c**2 + 10*c + 9. Let p be ((-18)/(-15))/((-6)/(-45)). Let u(g) = p*r(g) + 2*y(g). Is u(-6) a multiple of 9?
False
Let z be 54/12 - (-6)/(-4). Suppose 5*b = 5*c - 245, 3*b + 205 = -2*b - z*c. Does 22 divide (-1)/(4 - (-178)/b)?
True
Is 1831 + (-4 - (-96)/18)*-3 a multiple of 29?
True
Let x be (4/(-8))/((-2)/4). Let r be x/4 - (-30)/8. Suppose r*y + y = 220. Is y a multiple of 11?
True
Let a(p) = p**3 + 35*p**2 + 30*p - 93. Is a(-34) a multiple of 39?
False
Let z be 8/(-4)*-27 - 4/2. Is (-2)/3 + z/6 a multiple of 8?
True
Let v = -22 - -27. Let q(f) = -6*f**2 - v + 7*f**2 + 2*f + 2. Does 8 divide q(4)?
False
Suppose 24 = 4*d + 32, -8118 = -5*j - d. Is j a multiple of 8?
True
Let j(t) = t**2 - t - 2. Let y(x) = x**2 + x - 4. Let i be y(-3). Let l be j(i). Suppose -3*h + 111 - 3 = l. Is h a multiple of 8?
False
Suppose -r + 8 = 53. Let n = 106 + r. Is 13 a factor of n?
False
Let h(p) = 293*p**3 - 8*p**2 - 5*p + 2. Does 128 divide h(2)?
True
Suppose 0 = -a + 4*a, a = -c + 83. Suppose -3*g + 73 = -c. Is 8 a factor of g?
False
Suppose -26*v + 961 = 5*v. Does 12 divide v?
False
Suppose 4*i + 2*v - 7819 = -3029, 3*v = 2*i - 2383. Is i a multiple of 92?
True
Let x be -4 - (40 + 4)/(-4). Suppose -75 = 2*f - x*f. Does 3 divide (-20)/f + 58/3?
True
Let r be -73 + 2/11 + (-31)/(-11). Let g = 208 + r. Is g a multiple of 11?
False
Let b = -81 - -126. Is 15 a factor of b?
True
Let b be -4 + (-4 - 21)/(-1). Suppose -3*i = -39 - b. Is 13 a factor of i?
False
Let b(l) = 51*l + 362. Is 34 a factor of b(14)?
False
Let y(o) be the third derivative of -o**4/3 - 2*o**3/3 + 3*o**2. Let i be y(-1). Suppose i*j = j + 21. Is j even?
False
Suppose 10*g - 40 = 2*g. Suppose -1 - g = -2*o. Suppose 4*w + 30 = f, -w = o*f + w - 48. Is f a multiple of 8?
False
Let y = 27 + -35. Does 34 divide (2 - 5)*38/4*y?
False
Let s = 18 - 32. Let x(t) = -t**3 - 15*t**2 - 14*t + 2. Let r be x(s). Suppose -r*a = -119 + 47. Is 18 a factor of a?
True
Let p be 64*(-2)/8*2. Let n be (-1)/(-4) + (-8536)/p. Is 11 a factor of (-2)/16 - n/(-24)?
True
Let g(p) = 8 - 8 + 11 + 5 + p. Suppose -5*i + 10 = -3*i - 5*r, -4*r + 15 = 3*i. Is 7 a factor of g(i)?
True
Let c(l) = 10*l**2 - 7*l + 1. Let x = 12 + -17. Let p(a) = -9*a**2 + 6*a - 1. Let o(t) = x*c(t) - 6*p(t). Does 4 divide o(2)?
False
Suppose 1376 = 5*n + c, -5*n + 4*c - 214 = -1610. Is 23 a factor of n?
True
Let h be (-217)/4 + 1/(1 - -3). Let t = h + 78. Is 6 a factor of t?
True
Let v(q) = -12*q - 6. Let s(r) = r + 1. Let f be 12/(-15) + 1/(-5). Let n(t) = f*v(t) - 10*s(t). Is n(4) a multiple of 4?
True
Let c(d) = -9*d**3 - 37*d**2 - 29. Let z(p) be the first derivative of -5*p**4/4 - 19*p**3/3 - 15*p - 2. Let u(w) = -6*c(w) + 11*z(w). Is u(13) a multiple of 2?
False
Let h = 852 + -292. Is h a multiple of 80?
True
Let i be 19/4 + 15/(-20). Suppose -3*a = -a + 3*k - 17, 5*a + k - 23 = 0. Suppose 96 = -2*q + i*q + a*l, 4*l = -3*q + 136. Is q a multiple of 20?
True
Let h be -20*4/(-1*16). Suppose j = 33 + h. Is (-40)/8*j/(-10) a multiple of 19?
True
Let l be 24/(-84) + ((-10)/14 - -1). Suppose l = -3*b - 3*s + 114, -2*b + 3*s = -s - 46. Is 11 a factor of b?
True
Suppose 12*x - 8592 = 6756. Suppose -283 = -11*q + x. Is 13 a factor of q?
False
Let g(f) = 2*f**3 - 11*f**2 + 2. Is 43 a factor of g(9)?
False
Let h = 79 + 54. Is h a multiple of 7?
True
Let q(n) = n**2 + 4*n - 16. Let o be q(-7). Suppose -4*a + 43 = 4*z - o*z, 3*a = -2*z + 35. Is 11 a factor of a?
True
Let b = -617 + 889. Does 10 divide b?
False
Suppose 10*u - 5*u = -3*w + 2, 0 = -4*w - 4. Does 3 divide u/(-2)*(-75 - 7)?
False
Let j(p) = -p**3 - 3*p - 5. Let o be j(-2). Suppose o*h + 24 = 13*h. Does 20 divide 6/(h/35) + -1?
False
Suppose -f = 2*x - 186, -3*f + 300 = 4*x - 70. Is x a multiple of 45?
False
Let d(c) be the first derivative of 8*c**3/3 - 7*c**2/2 + c + 31. Does 28 divide d(5)?
False
Suppose -10 = -6*q + 2. Suppose 0 = 6*o - 9*o + q*i + 78, 0 = 2*o - 4*i - 44. Is o a multiple of 24?
False
Let m = 38 - 35. Suppose -m*h + 17 = 2. Suppose h*y + 3 = 2*n - 2, -2*n = 5*y - 55. Does 3 divide n?
True
Let n = 292 + -248. Is n even?
True
Suppose v + 326 = -u, 6 + 6 = -4*u. Let s = v - -15. Is 28 a factor of 2 - (-2)/((-8)/s)?
False
Let k(v) = -10*v - 131. Is 46 a factor of k(-18)?
False
Let t = 46 + -34. Is 43 a factor of 6/8 - (-1023)/t?
True
Let m(a) = 6*a**3 + 2*a**2 + a - 2. Let r be m(-2). Let w = r + 102. Is 29 a factor of w?
True
Let l(h) = 1 + 2*h - 11*h - 3 - 4. Suppose 5*f + 5*s - 3*s + 24 = 0, f - 4 = 4*s. Is l(f) a multiple of 20?
False
Suppose 4*t + t = 45. Let m(c) = 2*c + 4*c + 18 - t*c + 4*c. Does 3 divide m(-8)?
False
Let q(j) be the second derivative of -2*j**3/3 + 7*j**2/2 + 68*j. Let d = -14 + 9. Does 9 divide q(d)?
True
Suppose 0 = 6*j - 7*j. Suppose j = 5*n - 2 - 8. Is 2 a factor of 1/(-2) - (-11)/n?
False
Let p(x) = 7*x + 43. Let h be p(-7). Let z(i) = -3*i + 3. Is z(h) even?
False
Let u = 241 - 107. Suppose 2*m + 4*c - u = 0, m - 5*c = -3*m + 294. Is m a multiple of 8?
False
Let q = -111 + 1107. Is q a multiple of 36?
False
Let x(l) = -21*l + 2. Let s be x(-1). Suppose -2*b + 7 = s. Let w(u) = -u**3 - 6*u**2 + 10*u - 14. Is 17 a factor of w(b)?
True
Suppose 3*v + 4 = 13. Let y(j) = j**3 - 2*j**2 + j - 6. Let u be y(v). Suppose u*b - 335 = b. Is b a multiple of 16?
False
Let x(i) = -i**3 + 8*i**2 - 9*i - 5. Let g(t) = -t**2 - 2*t + 8. Let l be g(-3). Is 5 a factor of x(l)?
True
Let l(o) = -o**3 - 6*o**2 + 3*o - 3. Let k be l(-4). Let n = 67 - k. Suppose 4*b = -6 + n. Is b a multiple of 15?
False
Let x(c) = c**3 - 18*c + 20. Does 7 divide x(7)?
False
Let u be 1 - -3*1/(-3). Let m(x) = -2*x. Let q be m(u). Suppose q*t + 4*a + 54 = 3*t, -2*t + 4*a + 40 = 0. Is t even?
True
Let q(t) = -t**3 + 10*t**2 - 5*t - 29. Is q(-9) a multiple of 14?
False
Let o be -17 - (5 + -13) - -8. Let p = 1 - 2. Does 14 divide 80 + (p - -1 - o)?
False
Suppose 4*x - 3232 = -4*o, 3*o - 8 = -o. Does 26 divide x?
True
Is ((-216)/10)/(6/(-80)) a multiple of 18?
True
Does 9 divide (69 + -66)/(-1 - 31/(-28))?
False
Let f(t) = 3*t + 22. Let l be f(-5). Is 14 a factor of (-1 - 2) + (42 - l)?
False
Suppose 6*l - 7722 = -7*l. Does 27 divide l?
True
Let c(u) = 101*u**2 - u - 2. Suppose -2*j - 3 = 5*y - 0, 5*j - 6 = y. Is c(y) a multiple of 18?
False
Let p(c) = -4*c - 43. Let f be p(10). Let h = f + 274. Does 12 divide h?
False
Suppose 7*x - 30 = 5. Suppose 0 = x*t - 5, c + 21 = 4*c - 3*t. Is 8 a factor of c?
True
Let l(f) be the third derivative of f**6/120 + f**5/60 + 100*f**3/3 - f**2. Let p be l(0). Let g = p + -120. Is 22 a factor of g?
False
Let a(j) = -j + 9. Let c be a(5). Suppose -363 = 5*q + 5*p - 1348, 0 = -3*q - c*p + 588. Is q a multiple of 25?
True
Let n = 1578 + 29. Is 19 a factor of n?
False
Let q = 101 + -169. Let j = q + 96. Does 28 divide j?
True
Suppose 3*f + 14 = 2*l, 0 = 5*f - 7*l + 2*l + 20. Let p(m) = m**3 + 7*m**2 + 3*m - 2. Is 10 a factor of p(f)?
False
Let m(x) = 15*x + 27*x - 9*x. Is m(3) a multiple of 15?
False
Let l be (-117 + 14)/(1/(-2)). Let d = l - 94. Is d a multiple of 14?
True
Suppose 438 = i + 5*z, -z - 221 = -220. Is i a multiple of 13?
False
Let s(j) be the second derivative of -j**2 + 1/20*j**5 + 4*j - 7/3*j**3 + 0 + 5/6*j**4. Is s(-11) a multiple of 8?
False
Let q be 6/(-15) - 614/(-10). Let z = q - 35. Does 13 divide z?
True
Suppose 5*g - 1 - 4 = -5*r, -g - 2*r + 4 = 0. Let s be 26/(-10) - g/(-5). Is ((-6)/s)/(8/76) a multiple of 14?
False
Let d(j) = -11*j + 16*j - 10 + 11*j. Suppose -6*o + 5*f + 7 = -2*o, 10 = 5*o - 5*f. Is d(o) a multiple of 19?
True
Let h(p) = -18*p**2 + 13*p**2 - 2*p**3 + p**3 + 5 + p. Let o be (-2)/(-7) + 88/(-14). Does 28 divide h(o)?
False
Let b = 19 + -16. Suppose b*d = -2*y + 15, -2*y + 9 = -0*y + 5*d. Is (-3)/y + 471/12 a multiple of 13?
True
Let q(v) = 7*v - 7