 + 2*d + 35 - 131. Let j = h - n. Is j a multiple of 4?
False
Let s(u) = -2*u**2 + 70*u + 425. Is 17 a factor of s(34)?
True
Let x be (-9 + 10)/((-2)/(-4)). Suppose 5*z - 20 = -g, x*z + 1 - 9 = -4*g. Suppose z*c = -c + 150. Does 30 divide c?
True
Let l(t) = -4*t - 4 - 11 - 2. Is l(-7) a multiple of 4?
False
Let w be (-264)/(-121) - (-2)/(-11). Suppose 0 = 3*t + 5*v - 0*v + 7, 0 = -w*t - 5*v - 3. Is 45 a factor of t + 60/14 - 1256/(-14)?
True
Let a(j) = 3*j**2 + 9*j + 1. Let k(v) = v**3 + 7*v**2 + 5*v - 16. Let h be k(-6). Let r be (2 + -3)*(h + 17). Does 17 divide a(r)?
True
Suppose 0 = -3*a - 0*a + 2*m + 76, -2*m - 4 = 0. Let u(y) = y**2 - 13*y - 6. Let h be u(14). Is 2106/a + 2/h a multiple of 28?
False
Let c be ((-23)/3)/(6*4/(-2088)). Suppose -1129 = -5*m - 2*y - 254, -c = -4*m + 5*y. Does 5 divide m?
False
Let s be ((-40)/22 + 28/(-154))*-1. Let i(t) = 5*t**s + 2 + 8 - 12. Does 8 divide i(3)?
False
Let i = 38 + -34. Let c be i/(-5) - ((-3122)/(-5))/7. Let w = -60 - c. Does 5 divide w?
True
Suppose 0 = 5*t - 3*i + 3611, -t - 2*i = 3*t + 2902. Let k = 60 - t. Is k a multiple of 16?
True
Let n(o) = 84*o**2 - 5*o + 17. Is n(-9) a multiple of 113?
False
Let h = -3750 - -2592. Is 10 a factor of h/(-6) + 4 + 6?
False
Suppose -1720 = 3*x + 611. Let j be x/2 + 10/(-4) + 1. Does 2 divide j/(-150)*(-1 - (-12)/2)?
False
Suppose -7*p = 0, 4*r - 13588 = 3*p + 5912. Is r a multiple of 13?
True
Suppose -3*i + 2*x = x - 4, 0 = 5*i - 3*x - 12. Suppose 5*q - 3*j - 131 = i, 5*q - 61 = 5*j + 64. Is 28 a factor of q?
True
Suppose -g - 2*s + 2344 = 0, g - 2*s - 3*s = 2330. Does 45 divide g?
True
Let t(y) be the second derivative of -y**4/12 - 31*y**3/6 + 19*y**2/2 + 20*y - 1. Is 62 a factor of t(-23)?
False
Let h = 49 + 198. Suppose 0 = 5*w - 5*t - 1490, 4*t - 61 - h = -w. Is w a multiple of 3?
True
Let q be (4/3)/(1297/1299 - 1). Let u = q + 1284. Is 9 a factor of u?
False
Let c be (0 + 594/4)/(26/52). Suppose 3*t = 804 + c. Is 32 a factor of t?
False
Suppose -4194 = -14*t - 810 + 4652. Does 4 divide t?
False
Let q be (-291660)/(-240) + (1/(-1))/4. Suppose 6*a = 3855 - q. Is a a multiple of 68?
False
Suppose 2*m = -5*r + m - 93, 5*r - m + 97 = 0. Let c = 28 + r. Is -14*(4/(-12) + (-33)/c) a multiple of 14?
True
Let u be (-1)/(-4) + 19341/(-36). Let z = -170 - u. Is z a multiple of 73?
False
Let t(g) = g**2 + 11*g - 102. Let s be t(-17). Suppose p + 4*r - 154 = s, 3*p + 2*r + 199 - 701 = 0. Does 10 divide p?
True
Suppose -4*b - 2*k + 9 = 3, -3*b + k + 12 = 0. Suppose -j = b*j - 96. Suppose -x - c = -j, -1 = 4*c - 5*c. Does 14 divide x?
False
Let p = 59 + -32. Suppose -42*k = -p*k - 3075. Is k a multiple of 41?
True
Suppose -175049 = -34*p + 177123. Does 18 divide p?
False
Suppose 10*q - 5362 - 2968 = 0. Suppose -233 = 30*h - q. Is 10 a factor of h?
True
Suppose k = 3*k + 30. Let p be (-4)/(12/k) + -2. Is (-11)/(p + -1 + -3) a multiple of 4?
False
Suppose 0 = -17*l - 1064 + 9258. Is 5 a factor of l?
False
Suppose -38066 = -9*y - 26897. Is y a multiple of 29?
False
Suppose 18*o - 281962 = 363518. Is 5 a factor of o?
True
Let k(v) = -v**2 + v + 9. Let l be k(0). Suppose 16*t - 287 = l*t. Does 6 divide t?
False
Suppose -66*f - 6010 = -76*f. Let c = f - 342. Is c a multiple of 15?
False
Suppose 0 = 3*n - 784 - 1889. Suppose 4*z - 961 - n = 0. Does 7 divide z?
False
Suppose -23*x + 384 + 43178 = 0. Is x a multiple of 37?
False
Let z = 17009 + 14866. Is z a multiple of 51?
True
Let i(y) = -y**3 - 7*y**2 - 16*y - 47. Let g be i(-4). Let m(l) = l**3 + 3*l**2 + l. Let a be m(-5). Let x = g - a. Is 8 a factor of x?
True
Let p(w) = 5*w**3 - 32*w**2 + 19*w + 4. Does 5 divide p(9)?
False
Let l(s) be the third derivative of 17*s**2 + 19/60*s**5 + 2/3*s**3 + 0*s + 0 - 1/12*s**4. Is l(-2) a multiple of 42?
True
Let g be (-4 - (-1 - -2)*-4)/2. Suppose -5*u + 966 + 474 = g. Does 18 divide u?
True
Let b(p) = -p**3 - 7*p**2 + 2*p + 26. Let m be b(-7). Let l(j) = j**3 - 10*j**2 - 10*j - 16. Is 16 a factor of l(m)?
False
Let x(d) = 623*d - 1122. Is 6 a factor of x(3)?
False
Let f = 95 + -55. Let k = 46 - f. Does 16 divide (-2 - -5) + 3/(k/154)?
True
Suppose 0 = 22*c - 35976 + 8520. Is c a multiple of 3?
True
Let z(b) = -3*b - 11. Let i be z(-6). Let h(w) = -3*w**2 + 5*w - 7. Let n be h(i). Is (14 + n)*(-1)/3 a multiple of 5?
True
Suppose -43 = d - 41, -i - 5*d + 2258 = 0. Does 40 divide i?
False
Let b(w) = -4 + 6*w - 8 - 12 - 2*w. Let a be b(15). Suppose 7*c - a - 489 = 0. Is c a multiple of 10?
False
Let l(t) be the second derivative of -10/3*t**3 - 3/2*t**2 - 17*t - 1/6*t**4 + 0. Is l(-8) a multiple of 2?
False
Is 167 a factor of (2 + 4 - 26995)/(-1)?
False
Let r(a) = -a**2 - 36*a + 15. Suppose 4*u = 2*l - 34, 3*u - l = -4*l - 39. Is r(u) a multiple of 25?
True
Let q = 26045 - 9173. Is q a multiple of 19?
True
Suppose 325*m + 41158 = 327*m. Is m a multiple of 56?
False
Let g be ((-19185)/(-15))/(1*(2 + -3)). Let b = -760 - g. Is 10 a factor of b?
False
Let f(i) = i**3 - i**2 - i - 1. Let v(q) = 5*q**3 - 7*q**2 - 6*q - 2. Let k(s) = -4*f(s) + v(s). Let n be k(3). Does 19 divide n/(-6) + 470/6?
False
Let c(o) = -26*o + 125. Let h be c(-18). Suppose -h = -9*u + 937. Is 3 a factor of u?
False
Does 7 divide ((-3834)/8 + 3/(-12))/((-34)/680)?
True
Suppose -36*m - 1227180 = -121*m - 96*m. Is m a multiple of 15?
True
Suppose 22*s = -77*s + 22*s + 591360. Does 60 divide s?
True
Suppose 6*h = 2*h - 2*y + 15764, 0 = -2*h + y + 7886. Is h a multiple of 27?
True
Let n be 3 + -1 + 1 - -1289. Suppose -3*y + 3*d = 51, 2*y = 4*d - 15 - 23. Is 8/(-60) - n/y a multiple of 11?
False
Let t be (1 + (-24)/18)*-3 + 1. Suppose -t*z + 123 = -5*r + 568, -3*r + 3*z + 267 = 0. Is r a multiple of 83?
False
Suppose 16 = 2*c + c + i, -5*c + 28 = 3*i. Suppose 2*b + 0*m = -4*m - 180, -5*m = -c*b - 510. Let w = b - -167. Is 13 a factor of w?
False
Let s(k) = -k - 12. Let q be s(-14). Let d(n) be the first derivative of 20*n**2 - 12*n - 27. Is d(q) a multiple of 12?
False
Suppose -6845 = -4*n + q, 3*n + 19*q = 23*q + 5150. Is n a multiple of 5?
True
Let d = 309 + -306. Suppose -19*i + d*i = -3344. Is i a multiple of 41?
False
Let f(y) = 2*y + 1. Let h(t) = -9*t + 34. Let g(v) = -2*f(v) + h(v). Does 54 divide g(-10)?
True
Let r(h) = h**3 + 12*h**2 + 26*h + 19. Let b be r(-11). Let o = b + 601. Is 35 a factor of o?
True
Let l = -239 + 242. Suppose 24 = 6*v - l*v. Is v a multiple of 2?
True
Suppose -31*q + 28*q + 5762 = -10*d, 4*d - 28 = 0. Does 8 divide q?
True
Let v(m) = m**2 - 9*m - 26. Let x be v(-9). Let i = x + 139. Does 25 divide i?
True
Let j = -20 + -5. Let n = j - -29. Suppose v - 4*f + n = -1, -2*f + 8 = 0. Does 11 divide v?
True
Let h = 8246 + -5688. Let d = -1414 + h. Is d a multiple of 11?
True
Suppose 5*m = 4*c + 2512, 2*c - 1683 = -3*m - 189. Suppose -y = t - 326, m = t + 4*y + 183. Is 47 a factor of t?
True
Let t(v) = -v**3 + 20*v**2 - 8*v + 17. Suppose 0 = 15*x - 173 + 38. Is t(x) a multiple of 44?
True
Let d be (-5)/(-40) - (-2994)/(-16). Let x be d/(-33) + (-1)/(-3). Suppose x*u = 42 + 36. Is u a multiple of 13?
True
Let u = 103 + -17. Let s be (u/4 - 1)*(-12)/(-6). Let m = s + 61. Is m a multiple of 7?
False
Suppose 3*d + 1316 = 2*p, d - 4*p + 109 = -333. Let h = d - -746. Is 7 a factor of h?
True
Let v(c) = c**2 + 265*c + 451. Does 29 divide v(123)?
False
Let g(u) = u**3 + 8*u**2 - 12*u + 9. Let i(j) = j + 6. Let k be i(-15). Let a be g(k). Suppose -x = -5*b - 73, 5*x - 3*b + a = 357. Is 9 a factor of x?
True
Suppose 0 = -3*f - 2*f + 18560 + 25715. Is f a multiple of 7?
True
Let r(b) = -9*b**2 + 3*b + 3. Let n be r(-1). Let q(p) = p**2 + 10*p + 11. Let o be q(n). Suppose -5*y = o*y - 805. Is y a multiple of 23?
True
Does 68 divide (-12)/(-24)*(-287226)/(-8) - (-102)/272?
True
Is (3*-20 - 3)/((-324)/65664) a multiple of 48?
True
Suppose -811 = -6*d + 221. Let q = d + -115. Suppose -q = -3*j + 3*s - s, -3*j = -s - 60. Is 4 a factor of j?
False
Suppose -7*f = -n - 60, 3*f = 2*n - f + 120. Is 26 a factor of 1*n/(-6)*16?
False
Suppose 0 = 4*i + 35 + 157. Let f be (4/14)/(i/112)*894. Let n = -353 - f. Is 27 a factor of n?
True
Suppose -176 = -8*t - 8. Suppose -420 - t = -9*d. Is 19 a factor of d - ((-1)/3)/((-5)/30)?
False
Is 62 a factor of (-664)/(1*2*(-74)/740)?
False
Let r(a) = 10 + 9*a - 2*a**2 