d + l = v. Is d even?
False
Let n = -83 + 83. Suppose n = -5*s + 457 + 943. Does 10 divide s?
True
Let j = 6427 + -4663. Is 14 a factor of j?
True
Let p = 18592 + 12523. Is p a multiple of 116?
False
Does 57 divide (-73411)/(-7) + 285/399?
True
Let t(x) = 50*x + 188 + 50*x - 92*x. Is 20 a factor of t(36)?
False
Let r(b) = 29*b**2 + 7*b**2 - 5*b**2 + 413*b + 6 - 419*b. Is 32 a factor of r(2)?
False
Let p be ((-21)/9)/((-322)/162 - -2). Let a = p - -670. Is 37 a factor of a?
True
Let d = 67234 - 37470. Is 8 a factor of d?
False
Suppose -960 + 8 = -8*h. Let l(c) = -c**3 - 7*c**2 - 5*c + 5. Let w be l(-6). Is 13 a factor of -2 + (h*w)/(-1)?
True
Let h(s) = s**3 + 14*s**2 - 14*s - 14. Let x be h(-13). Let u be (604/6)/((-18)/27). Let w = x + u. Is 31 a factor of w?
True
Let v = 24 - 19. Suppose -2*z - 3*z = -v*m, -5*m + 2*z = 0. Suppose 0 = g - m*g - 91. Is g a multiple of 11?
False
Let d = -17 + 17. Suppose -7 = -2*j - l - 92, j - 5*l + 48 = d. Let s = -8 - j. Does 11 divide s?
False
Let x(y) = 21 + y**2 - 568*y + 581*y + 21. Let u be x(-8). Suppose 4*r - 175 = 3*t - 3, u*r + 5*t - 112 = 0. Is 23 a factor of r?
True
Let z = 11119 + -5971. Does 22 divide z?
True
Suppose -2*b - 14408 = -4*x, 17992 = 5*x + 39*b - 37*b. Does 75 divide x?
True
Let w(g) = -g**3 - 3*g**2 - 2. Let x be w(-5). Suppose 0 = -2*n - 10*n + x. Suppose 0 = l - 4*u - 140, n*l - 3*u - 2*u - 538 = 0. Is 21 a factor of l?
False
Let h(n) = -n**3 + 4*n**2 + 5*n + 4. Let p be h(5). Suppose 0 = -3*l - 9, w + 2 = -4*w - p*l. Suppose -4*m = -4*o + 356, -w*o + 184 = 2*m - m. Does 13 divide o?
True
Let l(p) = 21*p**2 + 32*p**3 + 11 - 31*p - 31*p**3 + 25. Is l(-22) a multiple of 26?
True
Let s(d) = 593*d + 6. Let m be s(1). Let r = -396 + m. Does 39 divide r?
False
Let p(z) = -z**3 - 38*z**2 - 17. Let j be p(-38). Does 30 divide (-4)/(-14) + j/(1190/(-16780))?
True
Let k = -65627 - -95773. Is 14 a factor of k?
False
Let r be ((-6)/(-3) + 338/(-4))*-24. Suppose -419*z - r = -423*z. Is z a multiple of 45?
True
Suppose -o - 5*w = -0*w - 269, -4*w + 862 = 3*o. Let m = -101 + o. Is 27 a factor of m?
False
Suppose m + 4*u = 12, 0 = -4*m - 0*m - 4*u + 24. Suppose m*g = 1276 + 616. Is 43 a factor of g?
True
Let g(s) = s**3 + 5*s**2 - 9*s - 18. Let c be g(-6). Suppose c = -15*m + 10*m + 570. Suppose -594 + m = -8*r. Is r a multiple of 15?
True
Suppose -o = 4*z - 135250, 4*z - 185262 = 4*o - 49982. Is 95 a factor of z?
False
Let n(j) = -2*j**2 + 8*j + 2. Suppose 0*k - 4 = -k. Let l be n(k). Suppose 0 = -5*x + 3*c + 278, 3*c = -x - l*c + 50. Is x a multiple of 13?
False
Is (-539655)/(-105) - 8/14 a multiple of 26?
False
Let d(k) = -3*k + 2*k**2 + 15 + 17 - 47 + 16. Let f(c) = c + 7. Let w be f(-5). Is d(w) a multiple of 3?
True
Let z(o) = -o**3 - 153*o**2 - 220*o - 1871. Does 137 divide z(-152)?
False
Let v = 40539 + -16653. Is v a multiple of 17?
False
Let y(s) = s**2 - 8*s + 3. Let z be y(8). Let a be (-333)/(-117) - (-4)/26. Suppose -c + a = 0, -z*u + u = c - 15. Is 3 a factor of u?
True
Let m(u) = -3*u**2 + 3*u + 832. Let d be m(0). Suppose -4*q + 3*s + d = 0, 4*q + 530 = -4*s + 1362. Is q a multiple of 13?
True
Suppose 5882 = 41*y + 502 - 360. Let t(h) = -21*h + 2. Let l be t(5). Let m = l + y. Is m a multiple of 9?
False
Let f(b) = 24*b**2 - b**3 - 36*b**2 + 3*b**2 - 8*b - 6*b + 6 + 5*b. Suppose 3*r = -3*m - 39, -m + 5*r + 7 = -4. Is f(m) a multiple of 10?
False
Let i(v) = v**3 + 39*v**2 - 89*v + 126. Does 10 divide i(-39)?
False
Suppose -3*a + 4*d - 12 = 0, 0*d + 4*d = 0. Let w(h) = 5*h**2 + 9*h + 14. Let i be w(a). Suppose -120 = 54*y - i*y. Does 5 divide y?
True
Let n = 10709 - 7855. Is n a multiple of 41?
False
Suppose 4*d + 5*n + 13 = 0, 4*n = 3*d + 2*d - 35. Suppose -5*k = -2*g + 427, d*g - 301 = -5*k + 402. Does 19 divide g?
False
Suppose -11*s + 13*s = i + 3, s = -2*i + 9. Does 34 divide (61 + -163)*(-11)/s?
True
Let l = 3893 - 2810. Is l a multiple of 58?
False
Suppose 5*c - 2*w + 263 = 0, 3*c - 3*w = -6*w - 141. Let k = c + 54. Suppose -4*r - k*d = -483, 2*r - 44 - 197 = -d. Does 10 divide r?
True
Suppose -2*f + 4*o + 166683 = 3*f, 3*o + 166681 = 5*f. Is f a multiple of 87?
False
Suppose 5*z = 145 + 910. Let r = 271 - z. Does 5 divide r?
True
Suppose -4*b + 3*f + 30189 = 0, -79*b + 37745 = -74*b + 5*f. Is b a multiple of 51?
True
Let c(i) = 6*i**2 - 19*i + 5. Let z be c(3). Suppose 0 = z*d - 69 - 469. Is d a multiple of 7?
False
Suppose -4*m - 5*s + 6260 = 0, 4696 = 3*m + 2*s + 2*s. Let f = -606 + m. Is 16 a factor of f?
False
Suppose 0 = -11*b + 2052 + 3437. Let t = 42 + b. Is t a multiple of 6?
False
Let n = -333 - -335. Suppose 5*x - 1256 = -3*k, 252 = n*x - x + k. Is x a multiple of 50?
True
Let a = 35 + -19. Let u be 1/1 - (a + -128). Suppose 2*y = 179 + u. Does 13 divide y?
False
Suppose 16*h - 45 = 7*h. Suppose -5 = -5*p + 5, -5*o + 4130 = -h*p. Does 9 divide o?
True
Suppose -24 = 4*m, -5*s - m - 6184 = -7*s. Does 247 divide s?
False
Does 44 divide 2586/((6/(-440))/((-16)/80))?
True
Suppose 27 - 292 = 5*r. Let j = -30 - r. Does 13 divide j?
False
Suppose 3*n - 45 = -2*s - s, -s = -3*n - 23. Let g = 13 + -10. Suppose -s = -g*m + 115. Is m a multiple of 7?
False
Suppose 59*j + 86*j + 208060 - 1243215 = 0. Does 81 divide j?
False
Let s = -5785 - -6516. Does 12 divide s?
False
Let v = 90 + -59. Let n = v - 29. Is 156 - (n + -4 + 2)/2 a multiple of 12?
True
Suppose 5*f + 14*s - 11*s - 45445 = 0, 18189 = 2*f - s. Is f a multiple of 15?
False
Suppose 6*m = 2330 - 734. Does 4 divide m?
False
Suppose -4*v = 3*z - 55864, -v - 29152 - 63924 = -5*z. Is z a multiple of 203?
False
Let x(k) = k**3 - 40*k**2 + 430*k + 22. Is 28 a factor of x(41)?
False
Let m = 154 - -10. Suppose 13*x - 10*x = -243. Let n = x + m. Is 28 a factor of n?
False
Suppose k = 3*u + 3209, 5*u + 6443 = 2*k + 4*u. Is 62 a factor of k?
True
Suppose 5*f + 375 = 5*r, -4*r - f - f = -282. Does 72 divide 10/(-4) - (-31284)/r?
True
Suppose -2*l = 5*z - 27, 2*l = -3*z + 14 + 3. Let q(y) = 259*y**2 + y - 4. Does 8 divide q(l)?
True
Suppose 160 = -144*n + 139*n. Is 64 a factor of (n/3)/((-2)/36)?
True
Is 11 a factor of 10/(-70) - (5 - 1179290/49)?
False
Let y be 88/32 - ((-3)/(-4))/(-3). Suppose -5*v + 1655 = 2*w, 272 - 1286 = -y*v + 3*w. Is 56 a factor of v?
False
Let c be 7/(-7)*(38 + -1 + -1). Suppose 113 - 23 = -2*g. Let z = c - g. Is z a multiple of 2?
False
Let t(u) = 10*u**2 - 272*u - 255. Is t(39) a multiple of 23?
True
Let v(z) = -z**3 + 5*z**2 - 2*z - 8. Let x be v(-4). Let w = x - 278. Let y = w + 234. Is 12 a factor of y?
False
Let h(a) = 3275*a - 289. Is 4 a factor of h(2)?
False
Suppose -142 = 13*i - 792. Does 49 divide (-3)/(-5) - (-5)/(i/4894)?
True
Suppose 0 = -2*b + z - 1785 - 2730, -6773 = 3*b - z. Let l = -1401 - b. Is l a multiple of 22?
False
Suppose c = -4*c. Suppose -4*r + 9*r + q + 50 = c, -2*q + 10 = -r. Let l(s) = -s**3 - 9*s**2 + 9*s - 6. Is l(r) a multiple of 2?
True
Suppose -f + 3*u - 399 = 315, 5*u + 10 = 0. Let o = -270 - f. Is 45 a factor of o?
True
Suppose 12*u + 6*u - 251092 = 14426. Is 9 a factor of u?
True
Suppose 286 = -4*m - 194. Does 13 divide (-14)/105 - 134296/m?
False
Let m = 1065 - -1275. Suppose 0 = -21*z + m + 684. Does 12 divide z?
True
Let o(l) = -l - 1. Let d(y) = 9*y**2 + 6*y - 22. Let v(f) = -d(f) - 6*o(f). Does 5 divide v(0)?
False
Let m(a) be the second derivative of -7*a**3/2 - a**2 - 6*a. Let n be m(-1). Suppose 5*p = -n + 159. Does 7 divide p?
True
Let z(x) = 11 + 4*x**2 - 14 - 13*x + 4. Let k be z(4). Suppose -k*a = 2*a - 2715. Is a a multiple of 15?
False
Suppose -5*k = -4*v + 6051, -2*k + 2*v - 2426 = -v. Let n = k + 2057. Is n a multiple of 85?
True
Suppose -2*b + 12 = 4*s, s = b - 3*s + 6. Suppose -2*f = b*z - 726, 0*z + 5*z = -f + 1803. Does 10 divide z?
True
Let q be ((-12)/3)/(-3 + 1) + 327. Suppose 0 = -3*u + q + 100. Does 13 divide u?
True
Suppose 51*f + 25 = 56*f. Suppose 0 = -f*n - 2*h + h - 2410, -3*n - 2*h - 1439 = 0. Is n/(-4) + (-9)/12 a multiple of 20?
True
Suppose -2*y - 247 = -61. Let c = y + 131. Is 15 a factor of c?
False
Suppose -o - 5*h = -10*h - 162, 0 = -o - 2*h + 169. Suppose g - o = 113. Is g a multiple of 53?
False
Suppose 146*i - 2*p - 129239 = 141*i, 2*i = -4*p + 51686. Is 45 a factor of i?
False
Suppose -6*t + 10*t - 5*j - 1237 = 0, 5*t + 4*