se 10 - 54 = -2*a. Let s be 2/6 - 730/(-15). Let g = a + s. Is g a multiple of 15?
False
Let j be (0 - 4)*(0 + -2). Let a = -9080 - -9102. Is 4 a factor of (a/j)/11 - (-143)/4?
True
Let d(s) be the first derivative of -s**2/2 + 120*s - 29. Does 11 divide d(38)?
False
Let k be (-4 - (-54)/4)/((-1)/(-6)). Suppose -5*p + 18 = -7, -p = 4*b - k. Does 13 divide b?
True
Suppose 5*f + 154 + 931 = 0. Let u = -100 - f. Suppose 3*l - 427 - 242 = -5*v, -5*l = -v + u. Does 22 divide v?
True
Let v(h) = 2*h**2 + 15*h + 21. Let b be v(-6). Let t(x) = 28*x**2 + 3*x - 9. Does 14 divide t(b)?
True
Let n(m) = m**3 - m**2 - 46*m + 27. Let v be n(7). Is (-55)/(v/(-12)*-4) a multiple of 15?
True
Let d(j) = -j**2 - 22*j + 3. Let f be d(-20). Suppose 0 = 17*i - f*i + 5720. Does 44 divide i?
True
Suppose -5488 = -9*n - 2*u, -48*n + 44*n - u + 2439 = 0. Is 8 a factor of n?
False
Let p(h) = h**3 - 141*h**2 - 402*h + 575. Does 76 divide p(144)?
False
Let z = -10342 - -38656. Does 136 divide z?
False
Suppose 5*d + 4*k - 5827 = 1111, 84 = 12*k. Does 4 divide d?
False
Let u(v) = -4*v**3 - 6*v**2 + 6*v + 18. Let l(z) = -5*z**3 - 5*z**2 + 4*z + 18. Let g(x) = -3*l(x) + 4*u(x). Is 18 a factor of g(-12)?
True
Is 1*7 - (-30226 - 9) a multiple of 6?
False
Let h(z) = -z**2 + 14*z + 36. Let l be h(18). Does 2 divide l/(-18)*(1 - (-123)/6)?
False
Is (138/18 + (-133)/19)*41004 a multiple of 15?
False
Let y(v) = 17*v - 126. Let q be y(8). Suppose b + q = 5, -3*g - 2*b + 515 = 0. Does 25 divide g?
True
Let z = -30236 - -42909. Is 19 a factor of z?
True
Let m(p) = p**2 - 2*p - 4. Suppose -2*c - 2*c - 4*g - 24 = 0, -4*g = 16. Let v be m(c). Is v/(-3) - 1332/(-27) a multiple of 24?
True
Let w(y) = -59*y - 923. Is w(-39) a multiple of 26?
True
Suppose 0 = 139*l - 136*l - 45. Does 6 divide 113/10*8 + (-6)/l?
True
Suppose 78260 = -70*d + 44*d + 39*d. Is d a multiple of 222?
False
Suppose -3*f - 17 = 4*x, 9*x - 2*f + 22 = 5*x. Let y be ((-20)/x)/4*-15. Let c(j) = j**3 + 15*j**2 - 5*j - 51. Does 12 divide c(y)?
True
Let h = 117 + 123. Suppose 38*y - h = 43*y. Let l = 51 + y. Is l even?
False
Let r(y) = -51*y + 153. Is r(-35) a multiple of 57?
True
Let x(k) = -3*k**3 + k**2 + k + 31. Let z be x(5). Let m = z - -581. Is 12 a factor of m?
False
Let k(a) = a**3 + 7*a - 2*a + 7 + 4*a**2 + 3*a**2. Suppose 0 = -s + 2*j - 2, -3*j - 30 = 5*s - s. Is 5 a factor of k(s)?
False
Let l(v) = -290*v**3 - 3*v**2 + 16*v + 32. Does 10 divide l(-2)?
False
Let x be (-3 + (41 - -3))*2/(-1). Let c = x - -547. Is c a multiple of 16?
False
Suppose 25*x = 34*x + 27. Is (1 - x/(-2)) + (-3160)/(-16) a multiple of 36?
False
Let m(c) = 20*c**2 - 140*c + 5. Let g be m(7). Let j = -237 - -402. Is (-6 + g)/((-3)/j) a multiple of 3?
False
Let q be (36 - -4)/(1/((-29)/2)). Let k = 902 + q. Is k a multiple of 11?
False
Suppose 600 = 7*p + 8*p. Let c = p - 36. Suppose 3*u - c*i = 65, -3*u + 8 = 2*i - 27. Is 6 a factor of u?
False
Let l(a) = a**3 - 105*a**2 + 165*a - 904. Is l(104) a multiple of 16?
True
Let y(h) = -55*h + 94. Let q be y(11). Let o = -373 - q. Is o a multiple of 23?
True
Is 36 a factor of -71*(-88 + -9 + 18) + 7?
True
Let i(n) = 384*n - 2385. Is 39 a factor of i(25)?
True
Let i(u) = u**2 - 8*u - 7. Let w(d) = 2*d**2 - 10*d - 8. Let a(l) = 3*i(l) - 2*w(l). Let r be a(-4). Let y = r + 15. Is y a multiple of 8?
False
Does 119 divide 2 + (3558/8)/((-5)/4 + 2)?
True
Suppose 486*b = 407*b + 476607. Does 17 divide b?
False
Suppose -8*n + 6047 - 543 = 0. Is 13 a factor of n?
False
Let v be ((-12)/32 - 81/(-24)) + 2. Suppose 2*i + 1764 = 2*m - 0*m, 4*i = v*m - 4411. Is m a multiple of 10?
False
Let z(h) = -h**3 + 38*h**2 - 84*h - 17. Let m be z(34). Suppose -4*a = -7*b + 6420, 3*b + 3*a - m - 1024 = 0. Is b a multiple of 40?
True
Let g(l) = 188*l**2 + 5*l - 5. Is g(-5) a multiple of 45?
False
Suppose -868*t + 849*t = -1501. Let b = -102 + 229. Let q = b - t. Is q a multiple of 9?
False
Let w = -47 - -48. Let i be w*7 + -16 + 13. Suppose -x - 367 = -i*j, -449 = -3*j - 2*j - 2*x. Is j a multiple of 7?
True
Let v(o) = -2*o**3 - 22*o**2 + 268*o + 43. Is 7 a factor of v(-25)?
True
Suppose 5*c + 595 = 2*o, -5*o - 3*c + 0*c = -1503. Is 12 a factor of o?
True
Let t(s) = -s. Let z(j) = j**2 - 16*j + 8. Let d(u) = 3*t(u) + z(u). Let g be d(15). Let b = 8 - g. Does 15 divide b?
True
Let i = 0 - 0. Let z(f) = -11*f + i*f + 6*f - 25. Is z(-11) a multiple of 30?
True
Suppose 0 = 17*s - 7613 + 1686 - 5089. Is 38 a factor of s?
False
Suppose 0 = 2*t + 6, -4*c = -t + 426 + 615. Let i = -37 - c. Is i a multiple of 32?
True
Let t = 30 - -5. Let q be 14/(-8) + t/(-28). Is 0 + (0 - (q + -6)) a multiple of 9?
True
Let x(c) = 19*c**2 - 8*c - 13. Let i be x(-3). Suppose 181*k + 144 = i*k. Does 16 divide k?
True
Let w(l) = -4*l**2 + 497*l + 300. Is w(68) a multiple of 139?
False
Let b(m) = -25*m**3 + 46*m**2 + 56*m - 71. Let f(v) = -7*v**3 + 15*v**2 + 19*v - 24. Let u(x) = 2*b(x) - 7*f(x). Is 23 a factor of u(-15)?
False
Let a(i) = 58*i**2 + 963*i - 54. Is 18 a factor of a(-24)?
True
Let i(u) = 15*u**2 - 50*u + 293. Does 17 divide i(14)?
True
Let v be ((-5)/(-4))/(1/4). Suppose g = 2*q - 699, v*g - 1 - 14 = 0. Does 39 divide q?
True
Is 141 a factor of (-279174)/(-20) - (-3)/10?
True
Let v = 43 - 38. Suppose -v*x + 10*x - 95 = 0. Does 19 divide x?
True
Let y = 2531 + 43. Does 6 divide y?
True
Let n(f) = -659*f**3 + f**2 - f - 1. Let i be n(1). Let o = -353 - i. Is 24 a factor of o?
False
Let j be 70/22 - (2 - 40/22). Suppose 0 = j*t - t - 10. Suppose 0 = t*m - 10*m + 195. Does 30 divide m?
False
Let c = 20980 + -14380. Is 15 a factor of c?
True
Let f(b) = -b**3 - b**2 + 5*b + 13. Suppose -n + 8 = -5*n, 5*j + 9 = 3*n. Let c be f(j). Suppose -c*i = -2850 - 158. Is i a multiple of 35?
False
Let c(q) = q**3 - 9*q - 2. Let f be c(0). Is 1*(1 + 186) + f + 7 a multiple of 2?
True
Let a(q) = q**2 + 10*q + 26. Let w be a(-6). Suppose -s - k = s - 660, 0 = -s + w*k + 330. Does 88 divide s?
False
Let z(u) = 8*u**3 + 4*u**2 - u + 4. Let d be z(2). Let n = d - -8. Does 10 divide n?
True
Let q = -28 - -37. Suppose q*s - 510 = 7*s. Suppose -5*f + s = -0*j + 3*j, -5*j + 217 = 4*f. Is f a multiple of 7?
False
Suppose 2*n - 1025 = 365. Let w = -406 + n. Does 6 divide w?
False
Let z = -14717 - -76581. Does 76 divide z?
True
Let w = 9 - 3. Let f(s) = -5 - s - 2*s - w. Is f(-11) a multiple of 11?
True
Is 2/((-4)/6574)*(-340 - -339) a multiple of 13?
False
Suppose 3*d - 41 = -4*l, 0*l = 3*d - l - 16. Suppose -d = -2*n + 5. Is (4/n - 2)*-6 a multiple of 3?
False
Let z be 220/(-80)*(1 + (-6 - -1)). Suppose -106 = z*g - 13*g. Suppose -w + 2*q = -18 - 34, -g = -w + 3*q. Does 10 divide w?
True
Let f(a) = 3*a**3 + 31*a**2 + 25*a - 6. Let m be f(-12). Is (-30)/((-2)/(-1))*m/114 a multiple of 23?
False
Let q(d) be the third derivative of 7*d**5/30 - d**4/24 - d**3/3 - 25*d**2. Let w be q(-1). Let j = 1 + w. Is j a multiple of 10?
False
Let d be 4/18 - (-25)/9. Suppose -k + d*u + 2*u + 5 = 0, -2*k + 4*u = -10. Suppose -b + 78 = -0*l - 5*l, -k*l = -5*b + 330. Is b a multiple of 6?
False
Let c(q) be the second derivative of -15*q**4/4 - 2*q**3/3 + q**2/2 - 25*q. Let v be c(3). Is ((-153)/(-2))/3*v/(-39) a multiple of 16?
True
Let y(s) = -s**2 + 20*s - 155. Let l be y(21). Does 22 divide (-66)/l + (-16186)/(-16)?
True
Let d be (-2)/((-36)/28 - -1). Suppose d*t = 2*t - 5. Let g(o) = -11*o**3 - o. Is 6 a factor of g(t)?
True
Suppose 6*k - 38 = 16. Suppose 3*r = j + k, -3*r + 14 = -2*r - 4*j. Is 15 a factor of -1 + -1 + 124/r?
True
Let j(d) = 3*d**2 + d + 804. Does 12 divide j(-51)?
True
Let o = -498 + 300. Let a = 341 + o. Is 4 a factor of a?
False
Suppose 0*g + 21 = -3*g. Let y = -3 - g. Suppose 208 - 14 = 3*m + y*p, -5*m = 2*p - 342. Is m a multiple of 12?
False
Suppose b - 11 = -9. Let l be (5 + -5)/((b + 0)*1). Suppose 7*v - 10*v + 273 = l. Is 13 a factor of v?
True
Suppose -2*q = 13*q - 60. Let n be (-1)/3 + (-64)/(-12). Suppose 0 = -4*l + n*c + 566, -440 = -3*l - 0*c - q*c. Is l a multiple of 12?
True
Let z(w) = 66*w**2 - 5*w + 4. Let r be (-1)/(-2)*(-13 - -15). Is 21 a factor of z(r)?
False
Suppose -24*r = -r. Suppose 0 = 4*k, -3*j + 10*k - 12*k + 198 = r. Is j a multiple of 22?
True
Let a(k) = -411*k**3 - 403*k**3 - 3 - 8*k**2 + 4*k**2 + 5*k + 809*k**3. Suppose -u - 1 = 3