 - 0) - 50. Let u(j) = j**2 - 6*j - 2. Let q be u(6). Does 15 divide (m/(-33))/(q/(-108))?
True
Let k be (-1430)/(-275) + 2/(-10). Suppose k*w + 2834 = 8*w - 5*y, 2831 = 3*w - 2*y. Is w a multiple of 31?
False
Let t(n) = 8*n**2 - n + 8. Suppose -4*x = -5*x - 5, -x + 191 = -4*c. Let i = c - -52. Is 11 a factor of t(i)?
True
Suppose 10*t - 2*t - 672 = 2*k, -k + 259 = 3*t. Suppose t*a = 83*a + 80. Is 6 a factor of a?
False
Let i = 416 - -166. Is 97 a factor of i?
True
Suppose 12 = -6*w + 9*w. Let r be 2*((-138)/w)/3. Let l = 119 + r. Does 16 divide l?
True
Suppose 23*r = 17*r - 312. Is 38 a factor of 114*(r/12 + 9)?
True
Let f(r) = -104 - 12 + 11*r**2 + 56 - 13*r. Is f(-8) a multiple of 11?
True
Let s = 5490 + -457. Does 6 divide s?
False
Let s(l) = l**2 + 28*l + 27. Let q be s(-27). Suppose q = -46*j + 42*j + 676. Does 59 divide j?
False
Suppose -468*h = -424*h - 1293600. Is 49 a factor of h?
True
Let u be ((-45)/(-18))/(30/24). Suppose 9 = 3*v, -l - 50 = u*v - 137. Is l a multiple of 3?
True
Suppose -18 = 30*g - 21*g. Is 8 a factor of (98 - (-3 - 0)) + -3 + g?
True
Suppose f + 3*b - 18 = -2*f, 3*f = 5*b + 58. Suppose -7*o + f = -3. Suppose o*r + 2*r = 168. Is r a multiple of 42?
True
Is 748995/25 + (-295)/25 + 13 a multiple of 26?
False
Let d(p) = -p**3 + 11*p + 13. Let s be d(-10). Suppose 0 = -4*f - n + s, -4*f - 4*n = -0*f - 912. Does 15 divide f?
True
Let p = 6064 - 1096. Does 24 divide p?
True
Let p(g) = 147*g + 30 - 100 + 22*g - 23*g. Is p(3) a multiple of 16?
True
Let g = 9657 - -6447. Does 12 divide g?
True
Let a = 26 - -66. Suppose -5*x + x = t - 326, -5*t + 91 = x. Suppose -2*d = z - x, -z - 79 - a = -4*d. Is 21 a factor of d?
True
Let y(a) = -a**3 + 2*a**2 - 2*a + 1. Let z be y(-4). Let n = 27 + z. Does 6 divide n?
True
Suppose 2*v + 4*n = 4864, -12*v = -16*v + 5*n + 9741. Does 11 divide v?
False
Suppose 2 = -2*d, 0*l - 4*l + 3*d + 158559 = 0. Is l/73 + (-2)/(-1) a multiple of 12?
False
Suppose 4 = 12*j - 8*j. Let b(d) = -16*d**2 - d. Let t be b(j). Let l = -3 - t. Is 14 a factor of l?
True
Let z = 26 - -186. Suppose 2*j + 2*g = -z, 5*j = -7*g + 11*g - 548. Let i = j - -129. Does 7 divide i?
True
Let g be 10602/8 + 6/(-24) + 0. Suppose 2*n + 17*l - 14*l - g = 0, -5*n - 4*l = -3330. Is 67 a factor of n?
True
Let b be 2 + 30/(-24) - 26/(-8). Suppose 4*f + 344 = 4*v, 256 = 2*v + v - b*f. Is 11 a factor of v?
True
Let s(u) = 6*u**2 + 17*u + 463. Is s(36) a multiple of 19?
False
Is (175/(-10) - -17)*-13530 a multiple of 11?
True
Let f = -5793 - -16417. Is f a multiple of 32?
True
Suppose 439*i = 291*i + 574092. Does 5 divide i?
False
Suppose 3*i = -5*o + 2964, 4*i - 3*o - 1002 = 3*i. Let z = i + -687. Is z a multiple of 25?
False
Let o(n) = -25*n**3 + 4*n**2 + 7*n - 7. Let w be o(-7). Suppose -w - 10536 = -31*p. Is 9 a factor of p?
True
Let y = -3950 + 6670. Is y a multiple of 68?
True
Suppose -10*h - 1 = -31. Suppose -j = -3*o + 168 + 122, 282 = h*o + 3*j. Is 7 a factor of o?
False
Let z = 186 - 184. Suppose -2*c + 110 = 5*n + c, -2*n = 3*c - 35. Suppose -2*u = z*y + y - 322, 0 = -5*u + n. Is 10 a factor of y?
False
Suppose -3*w - m = -2*m - 18, 31 = 5*w - 2*m. Suppose w*i + 4*i - 3393 = 0. Suppose 87 = 4*j - i. Is 29 a factor of j?
True
Let g(m) = 66*m - 125. Suppose 47 + 121 = 7*v. Is g(v) a multiple of 12?
False
Let o(m) = 47*m - 13. Let l be o(3). Suppose 133*q = l*q + 480. Does 8 divide q?
True
Suppose -v - 2*x = 3, -v = -5*v - 2*x + 12. Suppose -928 - 37 = -v*c. Suppose 5*w - c = -3*s, -8 + 71 = s + 2*w. Is s a multiple of 4?
False
Suppose -9035 = 6*w - 35. Let f = -558 - w. Does 9 divide f?
False
Is 239 a factor of 16/((-112)/(-14)) + 9797?
True
Does 10 divide ((-6270)/(-25))/((-9)/(-120))?
False
Suppose 34*v = -14*v + 6*v + 42126. Is v a multiple of 59?
True
Let k(b) be the first derivative of -25*b**2/2 - 101*b - 58. Is k(-16) a multiple of 23?
True
Suppose -2*x - 6 = 0, -315 = 3*o - 5*o - 3*x. Let w = o - 2. Is w a multiple of 40?
True
Suppose -3*j + 5*n + 1969 = -2705, 5*j - 7812 = n. Suppose 14*q + j - 6155 = 0. Does 33 divide q?
False
Let d be (-1194)/(-5)*(-35)/(-14). Let k = 1143 - d. Is k a multiple of 21?
True
Suppose v = -4*t - 9, -2*t - 3 = -4*v - 5*t. Suppose p + 292 = 4*m, -v*m - 6*p = -2*p - 238. Let x = m + -14. Is x a multiple of 15?
True
Let v(j) = -49*j + 256. Let s(u) = 17*u - 86. Let l(h) = -7*s(h) - 2*v(h). Does 15 divide l(-15)?
True
Let c(w) = 2746*w + 34. Let j be c(3). Let q = j - 12697. Does 59 divide (8/(-20))/(5/q)?
True
Let v(l) = -10*l + 5. Let z = -114 - -117. Suppose -z*w - 31 = 4*f, 3*w + 2*w + 29 = -f. Does 8 divide v(w)?
False
Let f(c) be the second derivative of c**5/20 - c**4/4 + c**3/6 + 180*c**2 - 79*c. Is f(0) a multiple of 15?
True
Let c be ((-1)/2)/((-7)/210). Let a(x) = -x**3 + 19*x**2 - 14*x + 4. Does 10 divide a(c)?
False
Let r(h) = 567*h - 3534. Does 46 divide r(24)?
True
Let l(k) = -11 + 64*k + 83*k - 129*k. Suppose -6 = -2*f + 10. Is l(f) a multiple of 17?
False
Suppose -3*y + 104 = 80. Suppose 14*k = y*k + 3108. Does 14 divide k?
True
Let d(v) = 17*v**2 + 2*v - 1. Let g(x) = -x**3 - 11*x**2 + 12*x + 3. Let l be g(-12). Let w be (l - 5)*1/(-2). Is 11 a factor of d(w)?
False
Suppose 4*h - 24 = -76. Suppose 0 = 4*j + 3*y + 20, 0 = 5*j + 5*y - 4*y + 14. Does 3 divide (2/j)/(h/39)?
True
Let y(v) = 3 - 2*v + 0*v + v**3 + 0*v**3 - v**2 + 3*v**2. Let u be y(-3). Suppose x + u*x = 171. Does 30 divide x?
False
Suppose -324 + 924 = 8*l. Suppose -6630 = 62*d - l*d. Does 34 divide d?
True
Let p(t) = t**3 - 5*t**2 + 6*t - 5. Let v be p(4). Suppose -v*z + 442 = 5*m, 5*m = -2*z - 53 + 356. Is z a multiple of 14?
False
Let s(w) be the second derivative of -2/3*w**3 + 4*w**2 + 38*w + 23/6*w**4 + 0. Does 11 divide s(2)?
False
Suppose -4*t = 4*i + 16, 7*i - 2*i = 10. Does 31 divide 6/2*(-1322)/t?
False
Let d(n) = n**3 + 27*n**2 + 20*n - 24. Suppose -23 = a + 3*z, z + 29 - 134 = 4*a. Does 6 divide d(a)?
True
Let j = -106 - -134. Suppose -45*q + j*q = -5525. Is 25 a factor of q?
True
Let v(b) = 50*b - 459. Is v(30) a multiple of 21?
False
Let b(c) = c**3 + 5*c**2 - 8*c - 10. Let y be b(-6). Let n(m) = y*m**2 - 64 + 61 - 2*m + 7*m. Does 9 divide n(-6)?
False
Let d be ((-24)/(-16))/(((-27)/156)/3). Is 9 a factor of ((-33)/9 + -1)/(d/429)?
False
Suppose 0 = 521*s - 535*s - 168. Is (1 - -148)*2/s*-6 a multiple of 14?
False
Let o(k) = 436*k - 24. Let s(b) = -87*b + 5. Let l(m) = -3*o(m) - 14*s(m). Let c be l(-1). Suppose -28*n = -30*n + c. Does 26 divide n?
False
Suppose 4*i = -k + 3788, k = -5*i + 4361 + 375. Is i a multiple of 129?
False
Let b be 1*((-21)/4)/((-3)/(-8)). Let j(l) = l**3 + 11*l**2 + 5*l - 9. Let z be j(b). Let u = -305 - z. Is 50 a factor of u?
False
Let a(v) = -3*v + 5*v**2 - 3*v**2 + 2*v - 9 - v**2. Let u be a(3). Is 56/(4/(-12)*u/2) a multiple of 20?
False
Suppose 3*k = 9*k - 18. Let n(j) = -8*j + 9*j + 14*j**2 + k*j. Does 19 divide n(-3)?
True
Let y(f) = -135*f**3 - 9*f**2 - 9*f - 4. Is y(-2) a multiple of 2?
True
Suppose 4*k + 4*n + 8 = 0, 5*k + 2*n - 3 - 2 = 0. Suppose -8 = 2*v + 4*s, v - k*s = 5*v - 4. Suppose -3 = 3*a, -73 = -6*q + v*q - a. Is q a multiple of 6?
False
Let o(h) = -24*h + 69. Let x be o(-19). Suppose x - 1785 = -5*c. Is 7 a factor of c?
True
Let l(z) = -z**3 - 33*z**2 - 63*z - 22. Let k be l(-31). Suppose -k*f = 466 - 3607. Is f a multiple of 14?
False
Let v = 163 + -10. Suppose v = w + 31. Let s = w - 74. Is s a multiple of 8?
True
Suppose -124 = -4*l - g, 7*g - 8*g = 2*l - 64. Let v(x) = 6*x**2 - 177*x - 14. Does 76 divide v(l)?
True
Does 4 divide 890*(-15)/((-1050)/308)?
True
Let i = -1132 - -1659. Let j = i - 281. Is j a multiple of 36?
False
Suppose n + 1020 = 7*n. Let d = 296 - n. Does 7 divide d?
True
Is 5/((-70)/(-210)*6/2228) a multiple of 4?
False
Suppose 0 = -4664*n + 4658*n + 131400. Does 99 divide n?
False
Let f(p) = p**3 - 12*p**2 + 17*p - 10. Suppose 0 = 5*h + 3*a - 55, -2*a = -h - 4*h + 55. Let s be f(h). Suppose 8*c - 56 = s. Does 7 divide c?
True
Suppose 2*m - 2*n = 23892, 3*m + 11926 = -2*n + 47734. Does 20 divide m?
True
Is 53/(1113/700812) - -15 a multiple of 11?
False
Let f(j) = j**2 + 187. Suppose -3*z = 5*y - 6, 9*y - 2*z = 11*y - 4. Is 17 a factor of f(y)?
True
Suppose 3*y - 136422 = -4*s, 4*s + 106743 = 10*y - 347997. Is 66 a factor of y