y + 4*y + t. Let n = s + y. Is n a multiple of 39?
False
Let r = 31357 - 19282. Does 134 divide r?
False
Suppose 10 = -3*u + 2*l, 0 = -2*u + 3*u + 5*l - 25. Suppose -4*k + 7 + 5 = u. Suppose k*v - v = 4*b + 258, -b = 2*v - 273. Is v a multiple of 27?
True
Suppose 0 = 2*w + 5*b + 17418 - 64179, 5*w = -b + 117006. Is w a multiple of 29?
True
Let a be (112/21 + -8)*1902/8. Let u = 1280 - a. Is u a multiple of 58?
True
Let p be (-190)/(-35) + -5 - 159/(-21). Suppose 0 = -4*q + p, 11*q + 196 = 3*n + 7*q. Does 3 divide n?
False
Let h be 1/(2 + (-3)/2). Does 11 divide 55/h*(9 + 1)?
True
Suppose -7*p - 492 = -212. Is (0 + 344/p)*-5 a multiple of 5?
False
Suppose 6704 = 57*s - 15469. Let n = 569 - s. Does 9 divide n?
True
Suppose -4*z + 52 = -v, 5*z + 6 = -3*v + 54. Suppose 0 = z*b - 30*b + 5400. Does 32 divide b?
False
Let u(a) = -13*a + 529 - 1182 + 521. Is 2 a factor of u(-12)?
True
Let g(i) = -i**3 - 11*i**2 + 19*i - 14. Let u be g(-13). Let v = 523 + u. Is 8 a factor of v?
True
Let j be (0 - -7 - -390) + 1. Let s = j - -57. Is 15 a factor of s?
False
Let o(r) = -6*r**2 - 40*r - 55. Let f be o(-4). Let a = -1422 - -2109. Suppose -3*s - q = -a, -3*q - f = -6*q. Is 38 a factor of s?
True
Let h(q) = 762*q**2 - 147*q + 747. Is h(5) a multiple of 16?
False
Let w = -7345 - -12731. Is 19 a factor of w?
False
Let n(t) = -t**3 - 146*t**2 - 143*t + 386. Is 18 a factor of n(-146)?
False
Let j be ((-816)/72)/(1/(-27)). Let d be j/10 + -1 - 26/(-65). Suppose -216 = -3*s - d. Is 4 a factor of s?
False
Let f(p) = 3*p**2 - 14*p**2 - 3 - 9*p**3 + 3*p - 11*p + 10*p**3. Is 21 a factor of f(13)?
True
Suppose 0 = t - 4, -2*q + q - 2*t = -3452. Does 69 divide q?
False
Let h(a) = 4*a**2 - 81*a - 29. Let c be h(21). Suppose c*d - 43*d + 252 = 0. Is 2 a factor of d?
True
Let u be 204/2*7/6. Suppose 8*y = u + 9. Is y a multiple of 16?
True
Does 13 divide (-676 - -672) + (2 + 93)*83?
False
Let c(r) = -528*r - 920. Is c(-43) a multiple of 96?
False
Let s be 4 - (-1)/(-8 + 2 - -5). Suppose 0 = -4*o - x + 76 + 46, -3*x + 96 = s*o. Does 2 divide o?
True
Suppose -15 - 10 = -5*z. Suppose -2*i + z*i = -4*b + 744, -i = -3*b - 248. Suppose 0*x = 4*x - i. Is x a multiple of 13?
False
Suppose -4*k = -2*o + 4*o + 2, 4*k + o + 3 = 0. Does 27 divide -2 - (k/(-4) + (-1962)/8)?
True
Suppose 8*w - 2012 = -476. Let r = 570 - w. Is r a multiple of 18?
True
Let k = 78 + -75. Suppose 30*q - 32*q = 4*i - 106, -k*q + 3*i = -114. Is 5 a factor of q?
False
Let h(s) = s**2 + 3*s - 2. Let x be h(5). Let n = -557 + 631. Let r = n - x. Does 9 divide r?
True
Let d(n) be the second derivative of 5*n**3/6 - 46*n**2 + 30*n. Let p(h) = -3*h + 46. Let l(v) = -6*d(v) - 13*p(v). Is 6 a factor of l(7)?
False
Suppose -g - 2*j = -11, 3*j - 14 = -4*g + 15. Suppose g*q = -3*m + 93 + 272, 0 = -3*m. Let x = 253 - q. Does 45 divide x?
True
Suppose 4*y = 2*v + 196120, 78*y = 73*y - 3*v + 245139. Is y a multiple of 61?
False
Let b = 0 + 5. Does 38 divide 1521/b + (-20)/100?
True
Let j(m) be the first derivative of 5*m**2/2 + 130*m - 51. Suppose 6*c = -0*c. Is j(c) a multiple of 10?
True
Let b = -1084 + 1088. Let q(r) = -r**2 - 7*r - 7. Let s be q(-5). Suppose b*y = o + 420, -315 = -s*y - o + 5*o. Is 15 a factor of y?
True
Let h(u) = -u**3 - 4*u**2 - 3*u + 4. Let k be h(-4). Let x be k/40 + 18/5. Let l(i) = i**2 + 3*i - 7. Does 4 divide l(x)?
False
Let j be 2*(-10)/(-8)*22. Suppose 630 = -34*p + 16*p. Let k = p + j. Does 3 divide k?
False
Suppose 105 = -5*p - 16*p. Is 27 a factor of (-10 - 5)*(176/p - -1)?
True
Let g(p) be the third derivative of -p**6/120 - 7*p**5/60 - p**4/6 + p**3 + 9*p**2. Let d be g(-4). Is 10 a factor of -6*3/6 - d?
False
Let v be 4/(-14) + ((-4)/7)/(-2). Suppose 3*z + v = 6. Suppose -5*s + 0*s = z*h - 132, 5*s - 127 = 3*h. Is s a multiple of 13?
True
Let m(s) be the third derivative of s**5/20 - 5*s**4/12 + 5*s**3/2 + 86*s**2. Does 12 divide m(9)?
True
Let p(n) = n**2 - 2*n + 12. Let i be p(-6). Suppose u + 3*u = -i. Is 92 + -2*u/(-10) a multiple of 25?
False
Does 290 divide 2/(-2)*1*-2*7764/24?
False
Let s(h) = -7 + 1 - 3 - 5 - 151*h + 10*h. Is 5 a factor of s(-4)?
True
Let c(w) = -w**2 + w + 17. Let s be c(4). Is 10 a factor of (1/(-4) - (-20)/s)*40?
True
Let x = -77 + 18. Let g = -56 - x. Is 13 a factor of ((-20)/(-8) - g)*12*-7?
False
Does 29 divide ((-1645)/21)/(1/(-6))*261/9?
True
Let q(b) = 5*b**2 + b - 16. Let r(s) = 4*s - 12*s + 11 + 7*s. Let x be r(6). Is q(x) a multiple of 13?
False
Let u(s) = -9*s + 2. Let m be u(-1). Suppose 2052 = -m*t + 11611. Is 35 a factor of t?
False
Let a(x) = -x**3 + 6*x**2 - 51*x + 10. Is 10 a factor of a(-25)?
True
Let j(k) = 534*k - 255. Is j(10) a multiple of 15?
True
Let m be (-5)/(-10) - (-4)/((-24)/(-63)). Suppose -n + 2*s + 196 = 0, m*n - 560 = 8*n - s. Is 19 a factor of n?
False
Let j(y) = y**3 - 140*y**2 + 239*y + 1080. Is 58 a factor of j(141)?
False
Let w = 13046 + 7814. Is 70 a factor of w?
True
Let m = 437 + 621. Let h = m + -834. Does 8 divide h?
True
Suppose -52*f - 113*f + 392756 + 51259 = 0. Is f a multiple of 5?
False
Suppose v = -3*r + 1 + 1, -20 = -3*v + 5*r. Suppose v*g - z - 424 = 0, 4*g - 7*z - 344 = -5*z. Does 30 divide g?
False
Does 67 divide 4/30 - ((-514683)/135 + (-77)/55)?
False
Let h(y) = -16*y - 25. Let a be h(7). Let s = 250 + a. Does 7 divide s?
False
Suppose 3*a = -3, -4*n - 4*a + 8763 = 1271. Suppose -20552 + n = -22*v. Is 44 a factor of v?
False
Let q be 250/10 - -7 - (-1 + 0). Does 44 divide q/((-4)/(-1) - (-218)/(-56))?
True
Let m(o) be the second derivative of o**4/4 + o**3/3 + o**2/2 - o. Let n(i) = i**2 + 31*i - 270. Let k be n(7). Is 21 a factor of m(k)?
False
Let k be 0/(-4) + (0 - 84/2). Does 12 divide ((-18)/5)/(k/4340)?
True
Suppose -2*r - 132 + 182 = 0. Does 2 divide ((-32)/(-10))/(1/r)?
True
Let n(s) = 2*s**2 - 10*s - 12. Let l(j) = -8*j - 2. Let b be l(-1). Let d be n(b). Is (1 - d)/((-9)/(-2007)) a multiple of 27?
False
Is (-9)/(-4) + 500859/404 a multiple of 11?
False
Suppose -15*z - 128*z + 81891 = 100*z. Does 3 divide z?
False
Let n(c) = c**3 - 9*c**2 + 13*c + 14. Let o(u) = 2*u + 45. Suppose 5*i + 114 = 19. Let d be o(i). Does 3 divide n(d)?
False
Let k = -97 + 111. Suppose -j - 895 = -3*q, 5*j = -17*q + k*q + 925. Is q a multiple of 10?
True
Let r(p) = 4*p. Let g(x) = -x. Let i(k) = -12*g(k) - 2*r(k). Let t be i(-1). Is (-11 - (-28)/t)*3*-1 a multiple of 8?
False
Let r(i) = -104*i**2 - 4*i + 14. Let q(h) = -h**2 - h. Let v(x) = q(x) - r(x). Let p(c) = 34*c**2 + c - 5. Let j(d) = -8*p(d) + 3*v(d). Does 6 divide j(1)?
True
Let s be 0/(6 - (1 - -1)). Suppose -7*i + 5*i = s. Suppose 5*l + 0*l - 140 = i. Is 3 a factor of l?
False
Let j(d) = d**3 - 8*d**2 + 6. Let l be j(10). Let y = -168 + l. Does 23 divide y?
False
Let m(p) = 423*p + 3420. Is 82 a factor of m(7)?
False
Let b(o) = -4*o**3 - 10*o**2 + 8*o - 8. Let j(s) be the second derivative of s**5/20 - 14*s. Let l(a) = -b(a) - 5*j(a). Is l(9) a multiple of 17?
True
Let t be (550/(-200))/((-2)/232). Suppose -2*z + 449 = -t. Does 48 divide z?
True
Let j(r) be the second derivative of -9*r**3/2 - 5*r**2/2 + 3*r. Suppose 0 = -2*o + 6*s + 20, 0 = 2*o - 2*s + 5*s + 25. Does 26 divide j(o)?
True
Suppose -3*w + 18*r + 45374 = 19*r, -75629 = -5*w + 4*r. Does 26 divide w?
False
Let b = -110 + 320. Suppose -2*s - 44 = -b. Does 12 divide s?
False
Let p(t) = t**2 + 14*t - 1. Let r be p(-15). Suppose 6 + 2 = -4*h, 0 = -2*s + 3*h + r. Suppose 368 = s*k - 0*k. Is k a multiple of 9?
False
Let o(r) = r + 12. Suppose -3*y - 6*y = 72. Let f be o(y). Suppose 4*d + 110 = 2*t, 0 = -f*t + 4*d + 99 + 105. Is t a multiple of 9?
False
Let n(b) = -b**3 + 2*b**2 + 2*b + 2. Let k be n(0). Suppose -t + 64 = 4*r - 154, 0 = t - k*r - 194. Does 19 divide t?
False
Suppose 3*v - 4527 = -5*c, -3*c + 3398 = 3*v + 677. Suppose c = -3*o + 2271. Does 8 divide o?
True
Suppose 7*t - 12*t - 161730 = -23*t. Is 14 a factor of t?
False
Let t(j) = 3*j**3 - 7*j**2 - 36*j + 54. Is t(15) a multiple of 48?
True
Let u(z) = -z**3 - 10*z**2 - 27*z - 11. Let l be -1 - 148/24 - (-4)/24. Is 15 a factor of u(l)?
False
Is (-37)/296 + 1076635/(-112)*(-2)/5 a multiple of 53?
False
Suppose 0 = 153*l + 30*l - 1180350. Is l a multiple of 150?
True
Let a be (-5 + 6 - -1)*40. Suppose a = 3*r - h, -4*r + 9*r = -5*h + 100