et i = z - 82. Let f = -18 - i. Is f a multiple of 11?
True
Suppose -33*s - 104 = -31*s. Let q be 4/(-22) - s/44. Is q/(1 + 31/(-32)) a multiple of 8?
True
Suppose 528*r = 529*r - 37. Is r a multiple of 34?
False
Let c be -1 + -2*(-14 + 1). Let y = c + -21. Does 7 divide ((-98)/y)/((-4)/8)?
True
Suppose 8*q - 93 = 35. Is 2 a factor of q?
True
Let l(i) = -1. Let m(a) = a + 34. Let t(n) = -6*l(n) + m(n). Is t(0) a multiple of 5?
True
Is 11 a factor of ((-44)/(-6))/(-3 - (-1289)/429)?
True
Let j = 68 - -292. Is 60 a factor of j?
True
Is (191/(-2))/((-525)/(-30) + -18) a multiple of 3?
False
Let j be (3 - -2)*72/(-40). Let m(s) be the first derivative of s**4/4 + 3*s**3 - 9*s**2/2 - 8*s - 2. Does 22 divide m(j)?
False
Suppose 5*b + 3*f = 11075, 4*b - 3*f - 7843 = 1017. Does 5 divide 1 + (-3)/4 + b/20?
False
Let s(n) be the third derivative of -3*n**4/8 + 4*n**3/3 - 7*n**2. Does 35 divide s(-3)?
True
Let x be (-3 + 1)*(-24)/(-12). Let t be (-18 - 0)/(x/10). Suppose -4*d = -p + 26, -2*p - d = -5*p + t. Is p a multiple of 14?
True
Suppose 8 = -11*b + 12*b. Let j = 6 + b. Is 3 a factor of j?
False
Is 3 a factor of 105 + 6/(-30) + (-12)/15?
False
Let r be 2/6 + 7/(-3). Let z be (860/(-15))/(r/3). Suppose -3*c + 3*p = -2*p - z, 4*p + 4 = 0. Is 9 a factor of c?
True
Let o be (-12)/16*-4 + -3. Suppose o = 2*a + f - 4, -3*a - 7 = -6*a - f. Suppose -126 = -6*c + a*c. Is 7 a factor of c?
True
Let x(l) = 161*l + 0 - 2 - 156*l - 5*l**2 - l**3. Let i be x(-6). Suppose i*d + 2 = 38. Is 2 a factor of d?
False
Let y = -3 - -5. Let v = y + 5. Suppose -1 + v = o. Does 2 divide o?
True
Suppose w = -2, -7*f + 3*f + 3*w = -14450. Is f a multiple of 23?
True
Let f = 34 - 42. Let m(l) = l**2 + 8*l + 12. Is m(f) even?
True
Let q(x) = 12*x - 1. Let j be q(-1). Let l(p) = 3*p**2 + 5 - 2*p**2 + 5 + 11*p. Does 12 divide l(j)?
True
Let o(w) = -8*w - 37. Does 51 divide o(-11)?
True
Let a be (0/(-1))/(2 - 4). Suppose a = 3*m - 4*d - 192, -4*d + 256 = 4*m - 0*d. Let p = 2 + m. Is p a multiple of 11?
True
Let w = -11 - -23. Let v = w - -33. Suppose -2*x = l - 8, 4*l - l = x + v. Is 4 a factor of l?
False
Suppose 5*o - 3*z - 25 = 10, o = z + 9. Suppose o*t + 0*t = 268. Suppose 0 = 4*u + t - 275. Is u a multiple of 26?
True
Let h = -1220 + 2577. Is h a multiple of 51?
False
Suppose 2*h + 45 = -h. Let c be 26/6 + 5/h. Suppose 3*d + 96 = 3*a - 0*d, -a + c*d = -32. Is 16 a factor of a?
True
Suppose 10*s + 47 = 97. Is s even?
False
Let c(l) be the third derivative of l**2 + 0 - 1/60*l**5 + 0*l + 7/24*l**4 - 5/6*l**3. Is 7 a factor of c(4)?
True
Let u be (14/21)/((-2)/(-9)). Let b(o) = -10*o**2 - 4 + u*o + 19 + 21*o**2 - 10*o**2. Is b(-5) a multiple of 16?
False
Suppose -21 = -2*v + 35. Suppose -2 + v = 2*m. Is 5 a factor of m?
False
Is 34 a factor of (-6)/8 - 2200/(-32)?
True
Let s(m) = -2*m**3 + 40*m**2 - 18*m + 5. Is s(19) a multiple of 10?
False
Let n(i) = -i**2 - 6*i + 17. Let p be n(-8). Does 22 divide p/((-3)/(-528)*4)?
True
Let k = -46 + 105. Suppose 13 = -2*n + k. Does 23 divide n?
True
Let s(q) = -3*q**2 - 8*q + 1. Let x(a) = 4*a**2 + 8*a - 2. Let l(h) = -5*s(h) - 4*x(h). Let g = 93 + -87. Does 7 divide l(g)?
False
Is 55 a factor of -7 + -1 + -1 + 614?
True
Is (-181)/(-6) + (-25)/(-30) + -5 a multiple of 22?
False
Let c(t) = -3*t**2 + 7*t - 17. Let v(r) = 2*r**2 - 4*r + 8. Let j(q) = -3*c(q) - 5*v(q). Let n be j(0). Suppose 0 = n*g - 7*g - 352. Does 22 divide g?
True
Suppose 2*n - 7 + 69 = 3*r, 0 = 3*n - 15. Is 8 a factor of r?
True
Suppose 5*a + 75 = 6*a. Suppose 0 = -5*b + 35 + a. Suppose 0 = v - b - 5. Is v a multiple of 23?
False
Let j(m) = -m**3 - 9*m**2 - 5*m + 2. Let s be j(-8). Let y = 42 + s. Does 13 divide 1/(2/y) - -3?
True
Let r(i) = -i**2 + 20*i - 19. Let g = 12 + -10. Let x be 182/(-21)*(-3)/g. Is 36 a factor of r(x)?
True
Suppose -4 + 0 = 2*m. Let c be (m/4)/((-1)/2). Is 2*c + 209/11 a multiple of 13?
False
Let o(x) = x**3 + 3*x**2 - 6*x - 4. Let z be o(-4). Suppose m = z*m - 9. Suppose 0*v - 3*v = -3*g + 36, m*g + 4*v - 29 = 0. Is 11 a factor of g?
True
Let x(b) = 4*b + 4. Let u be x(-2). Is 182/u*-8*(-7)/(-14) a multiple of 32?
False
Let k = -728 - -1064. Does 6 divide k?
True
Let g = 1600 + -264. Is 18 a factor of g?
False
Let i = -2272 + 3966. Is i a multiple of 29?
False
Suppose -3*z - 5*c + 28 = 78, -z - 12 = 4*c. Suppose 3*g + 2*f - 89 = 6*g, -2*g + 3*f - 51 = 0. Let o = z - g. Is 9 a factor of o?
False
Let i = -31 + 35. Suppose 2*r + 2*l = l + 9, 2*l = -5*r + 23. Suppose -66 = -4*g + r*t, 0*g + 34 = 3*g + i*t. Is 7 a factor of g?
True
Suppose 3*i - 19 - 1 = -f, -5*i = -5*f + 120. Does 23 divide f?
True
Suppose 1887 = 3*f + 3*o, 2*f + 5*o + 149 - 1416 = 0. Is 9 a factor of f?
False
Suppose 4*s + 20 = 8*s. Is 244/6 + s/(-3) a multiple of 13?
True
Let m = -1102 - -1119. Is 17 a factor of m?
True
Let q be -10*(-1 + 2/4). Suppose 85 = h + 4*w + 13, -99 = -h + q*w. Does 14 divide h?
True
Suppose h + 4834 = 2*j, 4*h + 1185 = j - 1218. Is j a multiple of 116?
False
Suppose -35 + 8 = z. Let m = 46 + z. Suppose -4*i - 3 + m = 0. Does 4 divide i?
True
Does 2 divide ((-102)/(-204))/(0 - 2/(-204))?
False
Let q(p) = 2*p. Let d be q(6). Suppose 0 = -17*h + 14*h + d. Let u(t) = t**3 + t**2 + 2*t - 1. Does 29 divide u(h)?
True
Let k be (-51)/(-6) + (-1)/(-2). Suppose -288 = k*r - 15*r. Does 24 divide r?
True
Let o = 8 + -8. Let u be o/(-7) + 1*2. Is (2 - -12)*u/4 a multiple of 2?
False
Does 26 divide ((-3)/((-15)/(-22)))/(130/(-58825))?
False
Suppose -4*i = 2*y - 14 - 16, 20 = 3*i + y. Let d = 19 - i. Let t = d + -3. Is t a multiple of 7?
False
Suppose 20 = -o + 5*o. Suppose 2*c + 19 = o*q + 4, -q + 3 = -4*c. Suppose 3*z - 70 = 5*v, c*z - 3*z = v - 40. Is 3 a factor of z?
True
Does 8 divide (229 + -93)*3/((-3)/(-2))?
True
Let j(u) = -u**3 - 1. Let i(p) = -19*p**2 - 3*p + 14. Let a(g) = -i(g) + j(g). Is a(19) a multiple of 6?
True
Let d(w) = -w**2 - 4*w. Let k be d(-4). Suppose h - 2*v - 2*v = 60, -v + 2 = k. Does 17 divide h?
True
Let m = -44 + 55. Suppose 1 = -a + 2*h + 15, 2*h = -5*a + 106. Suppose w = 5*t - 2*t - m, 0 = 5*w - a. Is t a multiple of 5?
True
Let k(z) = -5*z + 11. Let j(x) = 20*x - 43. Let n(r) = 6*j(r) + 22*k(r). Is 8 a factor of n(7)?
False
Let j = 467 + 139. Is j a multiple of 14?
False
Is ((-1431)/3)/((1 - -11)/(-60)) a multiple of 14?
False
Suppose 0 = 7*v - 3*v + 104. Does 32 divide 834/13 + (4/v)/1?
True
Let a(d) = 2*d**3 - d**2 + 15*d + 35. Is a(11) a multiple of 32?
False
Let v(j) = j**3 + 2*j**2 - 4*j - 2. Let y be v(-3). Let s be -713 - 0 - (-3)/y. Is (-2)/(-7) - s/14 a multiple of 17?
True
Let l(k) = -k**3 - 6*k**2 - 9*k + 10. Let j be l(-5). Is ((-42)/(-70))/(1/j) even?
True
Suppose 3*m + 23 = 5*u, -4*u + 2*u - m = -7. Let g(p) = 1 + 3*p - 1 - 3 + 2. Is 11 a factor of g(u)?
True
Let s(j) be the first derivative of -j**4/4 + 2*j**3/3 + j**2/2 - 2*j + 9. Is s(-2) a multiple of 12?
True
Let j = -1236 + 3542. Does 17 divide j?
False
Let o be 4 - -9 - 2/(-1). Does 25 divide (-2)/o + 3016/120?
True
Let w = 13 + -15. Is 42 a factor of (w/(-4))/(6/504)?
True
Suppose -3*b = -y - 3676, -11*y + 13*y - 3682 = -3*b. Is 4 a factor of b?
False
Let v be (-4)/(-14) + (-1046)/(-14). Let q(s) = s**2 - 7*s - 23. Let t be q(10). Suppose 2*g = t*g - v. Is 5 a factor of g?
True
Let r(i) = -17*i - 1. Let y be r(2). Let q be y/(-15) - (-6)/9. Suppose -l = -2*x + 43, q*x + 0*l = -l + 67. Is 11 a factor of x?
True
Suppose -6*c + 3*c = -6. Let h(t) = 5 + 8*t**c + 3*t - t**2 + 0*t**2 - t**3 + 9*t**2. Is h(16) a multiple of 12?
False
Suppose 14*h - 313 = 1367. Is 10 a factor of h?
True
Let l(c) = -53*c - 192. Does 13 divide l(-10)?
True
Suppose -l = 4*l - 200. Let z = 58 - l. Let g = 31 - z. Does 13 divide g?
True
Let u = -55 + 77. Suppose a = 3*a + s - u, 3*a = 2*s + 40. Is a even?
True
Let u(n) = 28*n**2 + 10*n - 156. Is u(8) a multiple of 52?
True
Suppose 10*k - 2499 = 3961. Does 19 divide k?
True
Let w = 343 + 173. Is 5 a factor of w?
False
Let n(p) = -p**2 + 6*p + 1. Let m = 0 - -3. Suppose -m = -4*u + 9. Is n(u) a multiple of 4?
False
Suppose -15 = 3*w, -4*u + 113 = -w - 0*w. Suppose 0*m + m = u. Is 9 a factor of m?
True
Suppose 7669 = 6*d - 4157. Is 27 a factor of d?
True
Suppose 0 = 13*a + 3 - 29. Suppose -a*x = x + q - 232, 5*q = -3*x + 236. Is x a multiple o