+ 13. Suppose l + g - 11 = 1, 4*l + g - 45 = 0. Suppose -13 = 3*u + l. Is 5 a factor of h(u)?
False
Suppose 39*b - 273870 = -31*b - 32*b. Is 5 a factor of b?
True
Suppose 35*w - 2*w = 16*w + 99008. Is w a multiple of 91?
True
Let g be (9/27)/((-4)/12). Is 21 a factor of 27*124/6 + g?
False
Suppose 0 = -23*d + 121438 - 14718. Is d a multiple of 145?
True
Suppose -14 = -2*y - 4. Suppose -3*g - 389 = 4*a - 2*a, 642 = -y*g + 3*a. Let k = -87 - g. Is 5 a factor of k?
False
Let t be 93*(-2 + (-56)/(-21)). Suppose 0 = z + 5*v - 13, -2*z - 2*v + v = -t. Is 2 a factor of z?
False
Let g(f) = -24*f + 89. Let n be g(-15). Suppose n = 20*d - 151. Is 6 a factor of d?
True
Suppose 22*h + 34*h = -19*h + 345450. Does 7 divide h?
True
Let l(r) = -2*r - 39. Let y be l(0). Let n be 7/(-7) - (-1 + y). Suppose n*o - 41*o + 472 = 0. Is o a multiple of 42?
False
Let m(p) = -22*p - 19. Let a be m(-1). Suppose -a*s + 3*b + 0*b = -111, -3*b = s - 49. Is 6 a factor of s?
False
Let p(j) = -128*j - 6. Let q be p(8). Does 8 divide (0 - 30/25)/(4/q)?
False
Let x be 2/(4/(-166)) + -2. Let s = x - -95. Suppose -s*j + 403 = -207. Is 39 a factor of j?
False
Suppose 0 = -5*r + 4*r + y + 7, -5*r - 4*y - 1 = 0. Suppose 0 = r*t - 2*a - 814, t - 2*a + 266 = 2*t. Does 54 divide t?
True
Let s = 449 + -440. Suppose 9491 = s*l - 1111. Is 19 a factor of l?
True
Suppose -6*q + 8*q = 1024. Let l(t) = 513*t**2 - q*t**2 + 1 - 10. Does 3 divide l(5)?
False
Let x(s) = -3*s**3 - 4*s**2 - 6*s. Let t be x(-2). Suppose t*w + 10 = 21*w. Does 3 divide w?
False
Let g(u) = 28*u**2 + 7*u - 2. Let p be g(3). Suppose 3*z - p = 128. Does 2 divide z?
False
Let s(w) be the first derivative of w**4/4 + 2*w**3/3 - 9*w**2/2 - 70. Does 12 divide s(4)?
True
Suppose -3*q + g = -5*q + 10202, 4*q + 5*g - 20410 = 0. Does 12 divide q?
True
Suppose 14 = 7*u - 0*u. Suppose -u*i + g + 350 = 0, -3*i - 5*g + 362 = -i. Suppose s = -10*s + i. Is s a multiple of 9?
False
Suppose 62*j - 221660 = 57278. Is 57 a factor of j?
False
Let r(j) be the first derivative of j**4/2 - 16*j**3/3 + 15*j - 69. Is 15 a factor of r(8)?
True
Let l = -10 + 13. Suppose 8*s = 7*s + 4*b + 1298, l*s - 3861 = b. Is s a multiple of 33?
False
Suppose 11 - 29 = -4*u - q, -2*u - q = -10. Let b be -10*((-22)/u + 3 + 2). Suppose -3*y + 15 = -0*y, b*f = y + 270. Is 20 a factor of f?
False
Let z(a) = 63*a**2 - 9*a - 8. Let d be z(-1). Let m = 109 - d. Is m a multiple of 9?
True
Suppose -2*f - 55 = -3*y, -5*y + 50 = 6*f - f. Let q(r) = -r**3 + 14*r**2 + 17*r - 28. Let v be q(y). Suppose 0*i = v*i - 112. Does 14 divide i?
True
Let y(f) = 29*f**2 - 4*f - 154. Let g be y(-8). Let q = 2449 - g. Is q a multiple of 55?
True
Let i(d) = -2*d**3 + 3*d**2 - 4*d + 8. Let w be i(2). Does 64 divide 1 + w/(-8)*371*2?
False
Suppose 2*t - 648 = -2*t. Let o = t - -45. Is 9 a factor of o?
True
Suppose 4*u + 35*u - 51675 = 0. Does 25 divide u?
True
Suppose 3*u + 65*b - 3050 = 70*b, 3*u = -4*b + 3014. Does 10 divide u?
True
Suppose 139*p - 6369 = 128*p. Let w = p + 81. Is 11 a factor of w?
True
Let c(t) = t**3 - 11*t**2 - 26*t - 1. Suppose -5*o + 91 = 26. Let g be c(o). Does 13 divide (-104)/2*(7/(-2) - g)?
True
Let a(o) be the second derivative of -o**5/10 - o**4/6 - o**3/6 + 6*o. Let z be a(-2). Is 25 a factor of (-5)/z*((-188 - 2) + 2)?
False
Suppose 5*v - v = 0. Suppose -k + v*k = 0. Suppose 2*d - 24 - 148 = k. Is d a multiple of 18?
False
Suppose 399 = 5*a - 551. Let d = 235 - a. Is d a multiple of 2?
False
Suppose -47*a + 24375 + 81657 = 0. Is 16 a factor of a?
True
Suppose 134499 + 42744 = 33*b. Does 37 divide b?
False
Suppose 60 = -2*w + 2*y + 966, -5*w - 4*y = -2292. Suppose -6*l + 1860 = -w. Is l a multiple of 21?
False
Suppose 3*i + 4*m - 1241 = 0, -4*i = -2*m + 7*m - 1654. Suppose -4*f - i = -1743. Does 17 divide f?
False
Suppose 0 = 197*n - 199*n + 4*k + 78400, 2*n = -k + 78400. Is n a multiple of 40?
True
Let u = 11174 + -10471. Is u even?
False
Suppose -55*v + 89412 + 416698 = 0. Is 107 a factor of v?
True
Let i(u) = 6*u - 2. Let j be i(1). Suppose -2 = k, -3*y - j*k = -38 - 71. Is 39 a factor of y?
True
Let a(g) = g**2 - 4*g + 6. Let o be a(3). Suppose 0 = 4*i - 0*i + o*d - 1389, 5*d - 1039 = -3*i. Suppose 4*u - 120 = i. Does 13 divide u?
True
Suppose 2*g - 1568 = 2*d, 4*d + 3136 = -6*g + 3*g. Let b = 788 + d. Is 2 a factor of b?
True
Suppose 38*b - 26*b - 121366 = 79514. Is b a multiple of 180?
True
Suppose 2*p = 4*j + 5166, j - 6*j - 4*p = 6438. Let y = -484 - j. Does 17 divide y?
False
Let v(n) = -n**3 + 6*n**2 + 144. Let z be v(12). Let c = z + 1208. Is 46 a factor of c?
False
Let m(p) = 10355*p - 3. Let u be m(1). Does 49 divide u/16 - 3*-1?
False
Let i = 720 - 707. Suppose -i*d = -11780 - 4535. Does 72 divide d?
False
Let y(a) = -2*a**3 + 46*a**2 - 31*a + 53. Let n be y(22). Let x = -39 + n. Does 4 divide x?
True
Suppose 3*z = 5*f - 47 - 34, -9 = -f + 3*z. Suppose 0 = -19*x + f*x + 1005. Is x a multiple of 67?
True
Let y be ((-1)/(-1))/((-2)/(-6)). Suppose 2*a - 3*a - h + y = 0, -5*a + 4*h - 3 = 0. Is a*(2 - 3)*-10 a multiple of 5?
True
Suppose 4*x - 13 = -25. Let a = x - -9. Suppose a*c = c + 50. Is 8 a factor of c?
False
Suppose 2*t + 11996 = 5*f, -13*f + 14*f = -2*t + 2404. Does 24 divide f?
True
Let c = 20 + -15. Suppose -c*a = -4*d + d + 406, 0 = -3*a - 6. Does 22 divide d?
True
Suppose 38*r - 9*r - 41036 = -5*q, 0 = 2*r + 12. Does 41 divide q?
False
Suppose 2*g + 156037 = 7*s, 21*s - 25*s - 4*g = -89164. Does 8 divide s?
False
Let n(w) = w**3 - 32*w**2 - 103*w + 2854. Is 40 a factor of n(41)?
True
Suppose 2*s = a + 11, 3*a + 20 = s + 2. Suppose s*q = n + 202, -q - 3*n - 17 + 91 = 0. Let p = -9 + q. Is p a multiple of 7?
False
Let t be ((-35)/5)/(9/(-828)). Does 14 divide 552/t*3/(6/266)?
False
Let k = -1061 - -1902. Suppose 8*b - k - 1847 = 0. Is b a multiple of 14?
True
Let b(p) = p**3 + 6*p**2 - 4*p - 17. Let s be b(-6). Let x be (s/2 + -2)/((-5)/(-530)). Suppose 3*d - 435 = -3*o, 152 = 2*o - 5*d - x. Is o a multiple of 15?
False
Let t = 6494 - -1114. Is 12 a factor of t?
True
Is 3/((2 - 4) + 18040/9008) a multiple of 49?
False
Suppose i - 5 = -4*i - 4*h, 4*i - 4 = -4*h. Is 0 + i + (119 - 6) a multiple of 6?
True
Suppose -d - 3 + 14 = 0. Suppose 0 = d*p - 100 + 12. Suppose -11*c + p*c = -477. Does 53 divide c?
True
Suppose 8*g - 10*g = -10. Let u be (1/(-2))/(g/(-4200)). Suppose -u = -16*i + 13*i. Does 17 divide i?
False
Does 50 divide ((-11)/(44/2820) + 4)/(9/(-765))?
False
Let i(a) be the first derivative of -7*a**4/12 + 7*a**3/3 - 19*a**2/2 - 23. Let d(b) be the second derivative of i(b). Does 14 divide d(-7)?
True
Let a = -2670 + 4014. Does 112 divide a?
True
Suppose -y + 27*p = 23*p - 17226, 18 = -3*p. Is y a multiple of 141?
True
Let x be 0 + (-2)/7 + (-412)/28. Does 14 divide 3482/6 - x/(-45)?
False
Suppose -5*n - f = 5 - 1, -5*f = 3*n + 20. Suppose 9*u + 1196 - 260 = n. Let t = 152 + u. Does 7 divide t?
False
Let t(j) = 3*j + 21. Let x be t(-6). Suppose v + x*v + 2*d - 1096 = 0, d = -5*v + 1364. Suppose -5*c + 857 = v. Is c a multiple of 18?
False
Let j be (-10)/(-60) - (-857)/6. Suppose -o = 10*o - j. Suppose 0 = 2*s - 7 - o. Is s a multiple of 3?
False
Let t be -9 + (6/(-9))/((-14)/84). Is 7 a factor of (-338)/(-2) - (t + 5)?
False
Let s = 9472 - 6952. Is s a multiple of 21?
True
Let w be -2 + -1 + (-31 - -3534). Suppose -35*l + 28*l + w = 0. Is l a multiple of 27?
False
Let f(o) be the third derivative of -o**5/60 - o**4/12 + 47*o**3/3 + o**2 - 16. Does 11 divide f(-9)?
False
Suppose 3*v + 5*k = 3567 + 24283, v - 2*k - 9287 = 0. Is 18 a factor of v?
False
Let i(o) = -4*o - 19. Let g be i(-6). Suppose 0 = g*h + y - 3*y - 1100, 220 = h - y. Does 45 divide h?
False
Suppose -302*x = -1672763 - 5394037. Is 65 a factor of x?
True
Let h(q) = -4 + 8*q + 12*q + 4. Let b(a) = a. Let x(n) = -105*b(n) + 3*h(n). Is 6 a factor of x(-2)?
True
Suppose 168448 = 150*o - 486992 + 44340. Does 25 divide o?
False
Let a = -258 + 209. Let c = 249 + a. Is 50 a factor of c?
True
Let m = -55 + -109. Let r = m + 306. Let f = r - 87. Does 11 divide f?
True
Suppose 124*b - 180 = 120*b. Suppose -4*m + 2904 = -b*w + 44*w, 4*m + 2*w = 2892. Is 29 a factor of m?
True
Suppose 0 = 4*a - 76 - 204. Suppose -a = 8*k - 6*k. Let w = -33 - k. Is 2 a factor of w?
True
Let c =