se -3*o + 16 + 74 = w. Suppose -4*f - o = -186. Does 11 divide f?
False
Let d = 2939 + -1353. Does 11 divide d?
False
Let j = -15 - 49. Let r = 66 + j. Suppose -z + r*k = -25 - 10, 5*z = -2*k + 163. Is z a multiple of 33?
True
Suppose -2*g + 12 = 3*f, 2*g + 2*g = -2*f. Is (-40)/14*((-133)/14 + f) a multiple of 3?
False
Suppose -3*v + 37 = 1. Does 31 divide 56/v*651/14?
True
Suppose 0 = 12*k + 23 + 73. Is (6/k)/((-36)/1008) a multiple of 4?
False
Suppose -35*f + 47*f = -36. Does 3 divide (561/34)/(f/(-18))?
True
Let a(h) = h**3 + 12*h**2 + 3*h + 41. Let c be a(-12). Suppose 6*u - 3*u - 60 = -2*y, 4*y - c*u - 164 = 0. Is y a multiple of 18?
True
Suppose 2*s = 27*s - 475. Suppose -13*l - 744 = -s*l. Is 4 a factor of l?
True
Let k(r) = r**2 - r + 1. Let c(u) = -3*u**2 - 4*u - 5. Let x(g) = -c(g) - 2*k(g). Let l be x(-2). Let p(b) = 4*b**2 - b + 17. Does 22 divide p(l)?
False
Suppose 2*o = -2*r + 366, -3*r + 2*o = -0*r - 554. Let l = -169 + r. Does 13 divide l?
False
Let j(s) = 11946*s**3 + 4*s**2 + 42*s - 46. Is j(1) a multiple of 22?
True
Suppose 30 = 3*j - 4*v, -9*v = -j - 10*v + 17. Suppose j*s - 23*s + 2232 = 0. Is s a multiple of 3?
False
Let y = -251 - -259. Let z(j) = 2*j**2 - 6*j - 32. Does 5 divide z(y)?
False
Let y be 30/(-45) + 847/(-3). Is 6/(-18) - (y/3 - -1) a multiple of 12?
False
Let s = -18 + 22. Is 1 - -4 - s*-152 a multiple of 28?
False
Let h = -7904 - -5434. Is 48 a factor of 1/(-2) + h/(-20)?
False
Is 8/(8/9105) - (9 + 108/(-9)) a multiple of 66?
True
Let y = -178 + 426. Does 8 divide y?
True
Suppose 49*f = 28*f. Suppose f = -3*u + 126 + 690. Does 9 divide u?
False
Suppose 108 = -5*x + 8*x. Let a be 364/(-30) - (-16)/120. Let z = a + x. Does 6 divide z?
True
Let v(p) = 6*p + 9. Let w be v(5). Let g = 70 - w. Let n = g - 9. Does 11 divide n?
True
Suppose -1 = -5*a + 4. Suppose 0 = 2*w + t + 65, -2*w + 0*t + 3*t - 45 = 0. Does 13 divide 22*a + w/10?
False
Suppose -h - 4 + 3 = 0. Let b(n) = 4 - 1 - 167*n + 4 - 5 - 1. Does 28 divide b(h)?
True
Let g = 28 - 30. Let b(i) = i**3 + 5*i**2 + 8*i + 2. Let a(w) = w**3 + w**2 + w. Let z(h) = -5*a(h) + b(h). Does 4 divide z(g)?
True
Suppose 25*r - 22*r + 3 = 0. Let z(v) = -69*v - 7. Is 31 a factor of z(r)?
True
Suppose 17*s = 5*s - 1920. Let d = s - -324. Does 30 divide d?
False
Suppose 2*z + 22*f = 17*f + 6286, f = -4*z + 12608. Does 18 divide z?
False
Suppose 3*f + 13007 = r, -252*r + 2*f = -251*r - 13013. Does 5 divide r?
True
Let x(i) = 1526*i**2 + 26*i - 142. Is 99 a factor of x(4)?
False
Suppose -939 = 15*r + 411. Does 15 divide 36/r + 752/5?
True
Let i = -10243 + 17658. Is i a multiple of 4?
False
Let n(u) = 10 - 3*u - 4*u - 545*u**2 + 11*u**3 + 543*u**2. Does 46 divide n(4)?
False
Suppose -52 = -25*l + 12*l. Let w be (2/(-4))/(1/(-6)). Does 22 divide (l/w)/(10/1335) - 2?
True
Let o(t) = -t + 23. Let u(r) = 9*r - 10. Let s be u(-2). Let q be o(s). Suppose 3*l = h - q, 9*h - 2*l = 10*h - 61. Is 3 a factor of h?
True
Let i = -17259 - -56063. Is 28 a factor of i?
False
Let s(n) = -n**3 - 17*n**2 - 18*n - 28. Let o be s(-16). Let v be (-8)/(o - 3)*-2 - 1. Let y = v - -41. Does 14 divide y?
True
Suppose -2*m = 2*u - 0*u + 20, 4*m = 3*u + 23. Is 66 a factor of 1/u + 21393/81 + 0?
True
Let x(l) = l**3 - 7*l**2 + 2*l - 8. Let m be x(7). Let c = 8 - m. Suppose -c*t = 3*o - 0*t - 43, 3*o + 5*t = 49. Is o even?
False
Does 15 divide -7 + (4 - 4 - 1760/(-5))?
True
Suppose 7*m - 1372 = -7*m. Let z = m + -102. Does 13 divide ((-26)/z)/(2/4)?
True
Suppose 9*o - 5*o = -5*f - 523, -f + 5 = 0. Let a be (-2084)/(-12) + 4/(-6). Let s = a + o. Is 6 a factor of s?
True
Suppose -3*o - 1047 = -252. Let f = o - -130. Let j = 73 - f. Is j a multiple of 13?
True
Let w = 15 + 54. Let n = 111 + -74. Let a = w - n. Is a a multiple of 4?
True
Let q = -32 - -38. Let l be -4*(1 - 9/q) + 16. Suppose 14*d + 36 = l*d. Is 2 a factor of d?
False
Let i be 1 + 2 + (-7)/(-7). Suppose 243 + 1 = i*s. Let l = s - -19. Does 20 divide l?
True
Let v(n) = n**3 - n**2 - n + 1568. Let a be v(0). Let p = a - 1107. Does 32 divide p?
False
Let z(n) = -n**3 + 17*n**2 + 15*n - 15. Let a be z(16). Let c = a - 382. Does 38 divide c?
False
Suppose -550 = -10*g - g. Let z be 102590/g - 2/((-10)/1). Does 19 divide (z/30)/(2/5)?
True
Does 23 divide ((-636)/(-6))/(32/944)?
False
Let o(a) = 3*a**2 - 1. Let w(r) = -r**3 + 11*r**2 + 13*r - 9. Let c be w(12). Suppose 3*p - 12 = -2*z, -c*p - z - 5 = -7*p. Is o(p) a multiple of 11?
True
Suppose 29*k = -11780 - 254492 + 1878759. Does 110 divide k?
False
Suppose 39330 = 12*v + 9869 - 4391. Does 91 divide v?
True
Is 45 a factor of 8586 + (-11 - 8 - -12)?
False
Let i(c) be the first derivative of -3*c**4/2 - c**3/3 - 3*c**2 + 3*c + 77. Is 11 a factor of i(-4)?
False
Let y be (-5)/((-90)/4) - 8318/9. Is 14 a factor of (-2)/11 + (-983304)/y?
True
Suppose -16*n + 12628 = -11*n + i, 2*n = -4*i + 5044. Is 6 a factor of n?
True
Let o(s) = 1896*s - 10845. Is 71 a factor of o(11)?
True
Let m(q) = q**2 + 17*q + 809. Is m(56) a multiple of 83?
True
Suppose 5*v + 5*n + 1 + 4 = 0, 3*n = 4*v - 10. Let c be v/(-3)*2/((-6)/9747). Suppose 339 - c = -4*s + 4*b, s - 5*b = 198. Does 28 divide s?
False
Let q = -19 - 53. Let x(h) = -133*h**3 - h - 1. Let y be x(-1). Let u = q + y. Is u a multiple of 14?
False
Let d(h) = 2*h + 33. Let x be d(-16). Is 17 a factor of 322 - ((-2 + x)/1 + 0)?
True
Suppose -16245 = -541*a + 536*a. Is 19 a factor of a?
True
Suppose 6*b - 28 = -3*h + 2*b, 8 = h + b. Suppose -c = -h*z + 6 - 2, 3*z - 3 = 2*c. Suppose m - 135 = -c*m. Does 27 divide m?
True
Suppose 5*s - 5*l + 59525 = 0, 3*s + 5*l + 35715 = 3*l. Does 18 divide ((-2)/(-4))/(-7 - s/1700)?
False
Let d be (2 - 32/10)*(7 + -187). Is 24/d + 1239/27 a multiple of 3?
False
Is 23 a factor of (-27)/(-45) - (4 + 41292/(-5))?
False
Let l(b) = 11*b - 226. Let g(n) = -n**3 - 15*n**2 + 17*n + 52. Let v be g(-16). Does 17 divide l(v)?
True
Let w be (0 + 18)*(150 - 0). Suppose g - 5*g = -i - 2160, 0 = 5*g - 3*i - w. Is 30 a factor of g?
True
Suppose -8*b + 1784 + 3256 = 0. Suppose 33*w - 36*w + b = 0. Does 19 divide w?
False
Suppose 32*a = 917503 - 366207. Is 118 a factor of a?
True
Let s(o) = o + 23. Let n be s(-17). Suppose 4 = -n*q + 8*q. Suppose -1 - 20 = -3*w + 3*v, 0 = -w + q*v + 11. Is w a multiple of 2?
False
Let r = -5802 + 18666. Is r a multiple of 67?
True
Suppose 4*b = 16, 2*l + 2*b - 646 = 464. Does 30 divide l - 4 - 24/(-6)?
False
Let c(h) = 41*h**3 + 4*h**2 + h - 5. Let s be c(3). Suppose -403 - s = -4*v. Is 5 a factor of v?
False
Let r be 738/(-5)*1700/(-102). Suppose -9*d = 84 - r. Does 5 divide d?
False
Suppose 0 = -5*x - 5*q + 71325, -460*q - 14253 = -x - 459*q. Does 75 divide x?
False
Let w = 21628 - 21623. Let j(a) = 1 + 4*a**2 + 3 - 9*a + 8*a**2. Does 65 divide j(w)?
False
Let k(a) = 5*a - 5. Let q be k(2). Suppose -q*g = -20, -g - 2*g = 5*s - 37. Does 8 divide (-16 + -4)*s/(-2)?
False
Let l = 70 + -80. Is (-15)/l*6 - -5 a multiple of 2?
True
Let s = -13 - -15. Suppose d = -4*p - 3 + 15, -s*p + 16 = -2*d. Suppose -p*i + 5*r = -107, -4*r - 138 = -5*i - 2*r. Is i a multiple of 5?
False
Let r(z) be the third derivative of z**5/60 + z**4 + 15*z**3/2 - 2*z**2. Let p(f) = 860*f - 5184. Let g be p(6). Does 5 divide r(g)?
True
Let b be 4 + 50 + 24/(4/1). Suppose 3*w - 9*r = -5*r - 37, -2*w + 2*r - 24 = 0. Let o = b + w. Is 7 a factor of o?
True
Let y = -18784 - -26356. Is y a multiple of 34?
False
Suppose 452244 + 57916 = 20*x. Does 27 divide x?
False
Let m = -36227 + 36324. Is 2 a factor of m?
False
Suppose 0 = -31*p - 46*p + 302995. Is p a multiple of 95?
False
Let b be (-3)/(-12) + 45/12 - -3. Suppose -3*g + b = 1. Suppose -4*q = -4*v - 72, 0 = g*q - q + 3*v - 22. Does 19 divide q?
True
Let c(x) = 627*x - 35. Is 12 a factor of c(2)?
False
Let o(y) = y**3 - 2*y**2 + 1. Let l be o(2). Let d(w) = 376*w + 11. Is 22 a factor of d(l)?
False
Let g be (-15 - -27)*2/(-12)*-2. Suppose -g*c = -398 - 218. Is 18 a factor of c?
False
Let p(v) be the second derivative of 25*v**4/12 - 5*v**3/6 - 8*v**2 + 21*v + 2. Is p(4) a multiple of 52?
True
Let h(q) = -q - 1. Let r be h(-1). Let x(z) = z**3 - 152*z**2 + 454*z - 1023. Let t be x(149). Suppose r = -t*w + 5*w + 2970. Is w a multiple of 22?
True
Let h(k) = k**2 - 6*k - 10. Let d be h(8). Let z be 