 = 1665, -2*h = 4*g - 2568. Is g a multiple of 7?
True
Let d(a) = 40*a**2 - 40*a + 29. Let f(t) = 10*t**2 - 10*t + 8. Let v(z) = 6*d(z) - 22*f(z). Is v(-5) a multiple of 16?
False
Let y = -361 + 528. Suppose -y*o + 161*o + 1470 = 0. Is 45 a factor of o?
False
Is 9460 + -83 + 24/(-6) + 0 + 1 a multiple of 11?
False
Let j(g) = 45*g**2 - 7*g + 10. Suppose -6*n + 4*u = -n - 14, 2*u = -3*n + 4. Is 21 a factor of j(n)?
False
Let f(g) = -g**3 + 7*g**2 - 6*g + 3. Suppose -3*h + 25 = 7. Let l be f(h). Suppose -2*d - j - 54 + 163 = 0, 0 = -l*j + 15. Is 13 a factor of d?
True
Let c(w) = 5*w**3 + 29*w - 132. Suppose -6 = -83*h + 82*h. Does 78 divide c(h)?
False
Suppose 141*x = -12*x + 137135 + 1033315. Does 15 divide x?
True
Suppose 3*c = 24 - 15. Suppose 3*t = 3*b + 3, -2*t - 3*b - c = -0. Suppose -4*l + 24 = -t*l. Is l a multiple of 2?
True
Let w(r) = 3*r + 38. Let k be w(-8). Let f = 3069 - 2156. Suppose 0 = 3*v - k*v + f. Does 57 divide v?
False
Let p(z) = z**2 + 17*z + 72. Let m be p(-8). Suppose -12*b + 0*b + 9288 = m. Is 14 a factor of b?
False
Let n be -7*8/(-252) - (-5600)/(-9). Let o = n - -1782. Does 10 divide o?
True
Is 1/((-54718)/7817 - (-37 + 30)) + 0 a multiple of 20?
False
Let y(x) = 100*x**2 - 299*x - 1502. Does 4 divide y(-5)?
False
Suppose -5*i - 159 = -x, -5 = -5*i - 15. Let w be (-5)/((-15)/(-267)) + 5. Let m = x + w. Is m a multiple of 12?
False
Suppose 37507 = -91*d + 2732927. Is d a multiple of 10?
True
Let u(j) = -j**3 + 8*j**2 + 15142. Does 167 divide u(0)?
False
Let h = 3959 + 987. Is 22 a factor of h?
False
Suppose 1698 - 56994 = -24*j. Does 6 divide j?
True
Let z(v) = -118*v - 717. Is 33 a factor of z(-21)?
False
Suppose -4*a = -2 - 18, k + 5*a = -312. Let m = -329 - k. Is m a multiple of 4?
True
Let y = 66 + -62. Suppose -6*u + u - 20 = 0, -556 = -y*k + 5*u. Let a = k + -64. Is 14 a factor of a?
True
Let o(k) = 3*k**2 + 43*k + 12. Suppose -2*t + 44 = -4*v, 3*v - 7*t + 2*t + 19 = 0. Let a be o(v). Is 12 a factor of (a/5)/((-1)/(-3) + -1)?
True
Let l = 78 - 54. Suppose -l*f + 29*f - 605 = 0. Suppose 0 = 5*b + f - 381. Does 13 divide b?
True
Let j(l) be the third derivative of 24*l**2 + 0 + 1/2*l**4 + 0*l + 1/30*l**5 + l**3. Does 16 divide j(-8)?
False
Let p(t) = 19*t**2 + 16*t**2 - 3*t**3 - 10*t**2 + t**3 + 18*t - 13. Is p(13) even?
True
Let p(o) = 2*o + 8. Let x be p(-4). Suppose -3*q + 3 = -3. Suppose -q*h + x*l - 4*l = -76, 3*h - 2*l - 90 = 0. Does 9 divide h?
False
Let i(y) = 176*y - 1. Let u be i(3). Suppose -1931 + u = -18*v. Is v a multiple of 3?
True
Suppose 9*p - 1830 = 4*p. Suppose 3*b + 20 - 35 = 0. Suppose 264 + p = b*m. Does 11 divide m?
False
Let y(i) be the first derivative of -13*i**2/2 - 9*i + 63. Does 2 divide y(-6)?
False
Suppose 2*x = 5*x + 9, -x + 17 = 5*a. Suppose -w - w + 8 = 0. Does 3 divide 60/w - a - 2?
True
Let d(f) = -5*f + 9. Let p be ((-8)/(-6))/(46/(-69)). Is d(p) a multiple of 19?
True
Let u(n) = -3*n - 5. Let s be u(-9). Let a be ((-8)/(-1))/((-6)/(-120)*2). Let x = a - s. Does 8 divide x?
False
Suppose 0 = -2*h + 8, 0 = -5*z + 30*h - 26*h + 46904. Does 51 divide z?
True
Let p = -2484 - -9522. Is p a multiple of 46?
True
Does 114 divide -7 - -2626 - (16 - 29)?
False
Let v(g) = -308*g**3 - 136*g + 135. Let n be v(1). Let z(k) = -58*k**2 - 2*k + 2. Let l be z(-3). Let d = n - l. Does 27 divide d?
False
Let i(s) = -1060*s - 4762. Is i(-13) a multiple of 5?
False
Let w = -13 - -16. Suppose -55 = -5*u + 5*v, -w = -u + 2*v + 7. Is 7 a factor of (-4 - (-11)/3) + 340/u?
True
Suppose 192*l - 116*l - 118*l = -153678. Does 4 divide l?
False
Let b(n) = -n + 12. Let f(c) = -c + 12. Let s(y) = -4*b(y) + 5*f(y). Let p be s(13). Is 21 a factor of 4*(p - (-25)/4)?
True
Let i(b) = b**3 - 8*b**2 - 8*b - 9. Let x be i(9). Let a be (2 + x)*((-30)/(-4))/5. Suppose k + 862 = 8*z - a*z, k = -z + 170. Is 43 a factor of z?
True
Suppose -2204 - 3759 = -3*b + 4*y, b + 4*y = 2009. Is b even?
False
Let x(j) = 8*j - 68. Let q be x(9). Suppose -4*s - q*u = -276, 88 = s - 5*u + 1. Is s a multiple of 8?
True
Let h = -221 - -331. Let m be ((-6)/(-5))/3 + (-264)/h. Is 13 a factor of m*(-14)/(-6)*(-441)/14?
False
Let n = -55 + 63. Let t be n*(-5)/(-5) + -4. Let j = 62 + t. Is 15 a factor of j?
False
Let i = -24 - -882. Is i a multiple of 11?
True
Suppose -33*d - 28*d + 14*d + 287875 = 0. Is 25 a factor of d?
True
Is 12 a factor of ((-768)/512)/(0 + 6/(-48824))?
False
Let g = 0 - -342. Let t be (2/6 + g/(-378))*-7. Suppose 3*c = t*k - 1159, -3*c - 295 = -3*k + 578. Does 17 divide k?
False
Suppose 470*m + 5*f + 17615 = 473*m, -m + 3*f = -5865. Does 60 divide m?
True
Is 19 a factor of 2/(-5) + (-114917)/(-155)?
True
Suppose -45*b - a = -44*b - 6762, -5*b + 33802 = a. Does 20 divide b?
True
Let p be 1 - (-2 - 13) - (-78 + 75). Is (p - 20)/(1/2) - -1038 a multiple of 74?
True
Let d(b) = 338*b**3 - 3*b**2 + 8*b + 4. Let t(s) = -169*s**3 + s**2 - 4*s - 2. Let n(a) = 4*d(a) + 9*t(a). Let k be n(-1). Let o = k + -65. Is 12 a factor of o?
False
Suppose -3*f + 15980 = 2*n, 2*n + 16480 - 492 = 3*f. Suppose 26*r = 20*r + f. Does 37 divide r?
True
Suppose -11*u = 3*u. Suppose 6*c - 9 - 9 = u. Suppose 244 = 5*q - 2*q + 2*x, -5*q + 408 = c*x. Is q a multiple of 12?
True
Let m(r) = -r**3 - r**2 + 6*r + 4. Let z be m(-3). Suppose 2*t - 4*w + 12 = w, -z*t = -2*w + 8. Is (-24)/10*((-80)/(-12))/t a multiple of 9?
False
Let w = 4087 - -924. Is 61 a factor of w?
False
Suppose 0 = 2*s + 24*s - 24960. Does 3 divide s?
True
Suppose 0 = -k - 7*s + 2*s + 37, 3*k + 3*s - 63 = 0. Let v = 51 - k. Is 2 a factor of v?
True
Suppose 30*d - 53566 = 391784. Suppose -2976 + d = 11*j. Is 13 a factor of j?
True
Let q = 16855 + -10915. Is 20 a factor of q?
True
Let d = -12068 + 32124. Is 46 a factor of d?
True
Suppose 3*r + 3*d - 13941 = 0, -24*r = -19*r - 3*d - 23211. Is 4 a factor of r?
True
Let w(n) be the first derivative of n**4/4 + 19*n**3/3 - 4*n**2 - 7*n - 67. Is 25 a factor of w(-9)?
True
Let o be 30/8 - 16/(-64). Suppose -5*z + 19 = 2*v, 5*v = o*v + 5*z - 13. Suppose 0 = 6*p - 2*p + v*w - 58, w + 5 = 0. Is 7 a factor of p?
False
Let u(i) = i**3 - 10*i**2 - 20*i + 27. Let d be u(12). Let x(k) = -3*k**3 - 8*k**2 + 6*k + 2. Let c be x(-5). Let y = c - d. Is 4 a factor of y?
True
Let r be (-4684)/16*((-7)/1 + 3). Suppose 5*z - 1114 - r = 0. Is 36 a factor of z?
False
Let k(c) be the third derivative of c**7/420 - c**5/12 + c**4/6 - 18*c**2. Let l(v) be the second derivative of k(v). Is 39 a factor of l(3)?
False
Suppose 0 = -2*k - 1 + 1, 2*k = 2*n - 48700. Does 107 divide n?
False
Suppose -11 = 22*s - 165. Is 1/(-2)*-340 + s a multiple of 20?
False
Let w be 2/(4 - (-21)/(-6)). Suppose 0 = w*f + 12, -m + 3*m = -f + 813. Is 22 a factor of m?
False
Let t be (2 - 48/15)/(6/(-40)). Let j(y) = -21*y - t + 0*y**2 - y**2 + 15 + 0*y**2. Is j(-12) a multiple of 19?
False
Let u = 8630 - 3122. Does 81 divide u?
True
Suppose 0 = -l - 4*l + 90. Let z = -10 + l. Suppose 0 = -z*k + 13*k - 190. Is k a multiple of 5?
False
Suppose 189*m + 187*m = 63*m + 3781040. Is m a multiple of 16?
True
Suppose -4*r - 5*n + 8966 + 99908 = 0, 2*r - 5*n = 54452. Does 29 divide r?
False
Suppose -566942 + 474422 = 382*a - 1214454. Does 37 divide a?
False
Let f(z) = -16*z - 44. Let j be -5 + -4 - 10/5. Is f(j) a multiple of 11?
True
Let c be (-16)/24*-1107 + 3*-1. Suppose 3*h - 372 = -3*z, 4*h = 5*z - c + 106. Is z a multiple of 25?
True
Let o(w) = 112*w**2 + 44*w + 135. Suppose 5*n = 728 - 743. Is 11 a factor of o(n)?
False
Suppose -61431 = -94*n + 105*n - 166767. Is n a multiple of 14?
True
Let q(d) = -105*d**3 - d**2 - d + 1. Let u be q(1). Is u/(-1 - 0 - 1) a multiple of 31?
False
Suppose 8*g = 4*g + 16. Let r(v) = -g*v + 36 - 21 + 71 + v. Is r(0) a multiple of 27?
False
Let r(l) = l**2 - 5*l - 7. Let s be r(7). Let h be (-251*1)/(((-7)/s)/3). Suppose 3*g - y - h = 0, 711 + 303 = 4*g + 2*y. Is g a multiple of 28?
True
Suppose 3*q + 3947 = -1480. Let i be q/6 - (-2)/((-4)/(-3)). Let k = i + 485. Is k a multiple of 40?
False
Let k be ((-80)/25)/(1*(-6)/15). Suppose 17 = k*o + 49. Does 8 divide ((-155)/o - -1) + 23/92?
True
Suppose 4*b = 3*a + 15 + 31, 0 = -5*a - b - 46. Let l be (-18)/a - (63/(-15) - -4). Is 3/l + 8/16 even?
True
Let m = -9601 - -9754. Is 3 a factor of m?
True
Let i be 0/((-1)/