y + r*x - 930 = -3716, x = -y + d. Is y composite?
True
Let s(m) = m**3 - 4*m + 13. Suppose 6*i = 8 + 4. Suppose -q + 0*h + 5*h = 12, -i*h + 48 = 5*q. Is s(q) prime?
False
Let l be ((32/6)/16)/(1/345). Is 747477/l + ((-8)/10)/1 prime?
False
Let n = 190 - 186. Suppose -21951 = -n*g - g + h, -20 = -5*h. Is g prime?
True
Is ((-96)/64)/(-1 + 22183/22186) composite?
False
Let k(a) = 287*a + 37. Suppose -43*u + 45*u - 16 = 0. Is k(u) a prime number?
True
Let k = -115 - -4688. Is k composite?
True
Let t = 16 + -16. Suppose t = -2*n - 0*n + 8. Suppose y + 4528 = 5*y - 2*g, -4*y + 4540 = n*g. Is y composite?
True
Let j(m) = 7*m**2 + 2*m + 9. Let g be (-62)/(-22) + (-16)/(-88). Suppose -2*i + 3 + 3 = 2*t, 5*i - 7 = -g*t. Is j(t) a prime number?
False
Suppose 7*m = 11*m + 12. Let f be (-1)/(-6)*-2 + (-19)/m. Suppose 4949 = f*t - 7213. Is t a composite number?
False
Let g be (23 - 1) + 4 + 1 + -8. Suppose 5*m = -15, n - 6*n + 2*m - g = 0. Let v = n + 39. Is v prime?
False
Let j be (2*(-7)/6)/((-84)/252). Suppose j*o - 14*o + 19243 = 0. Is o a prime number?
True
Suppose 0 = 140*d - 410758 - 15066102. Is d a prime number?
False
Suppose 5*p = -5*d + 15, 11*p + 6 = 6*p + 2*d. Suppose p = -6*c + 14*c - 2840. Is c a prime number?
False
Let u = 10482 + -10471. Let y(p) be the first derivative of 2*p**3/3 + 19*p**2/2 + 6*p - 1. Is y(u) a prime number?
True
Let j(u) = -5*u**3 - 7*u**2 - 15*u + 19. Is j(-30) prime?
True
Is (8 - (1 - -1))*7669587/1062 composite?
False
Suppose -2*t + 0*t = -j - 8, t - 9 = -2*j. Suppose -t*i + 8*r = 3*r - 19515, 3*i + r - 11725 = 0. Is i a prime number?
True
Let a(v) = -v**3 + 6*v**2 - 7*v + 9. Let b be a(3). Is (b - 14)/((-2)/(-2638)) prime?
True
Let y = -81 - -83. Is 28516 + -5 + 0 + y a composite number?
False
Suppose 1440*p - 244273 = 1423*p. Is p a composite number?
False
Suppose 0*y = -2*y + 3108. Suppose 0 = 3*j + 5*m - 45, 0 = -21*j + 22*j + m - 11. Suppose -j*i + 6349 = y. Is i composite?
True
Let t be (88/(-33))/((-1)/6). Is (t/(-120))/((-6)/(-531))*-185 composite?
True
Suppose 11*z = 3*z + 456. Suppose 6 + z = -3*g. Is (-32 - 0 - 1)*287/g prime?
False
Let a be -1*((-52190)/(-20) - 6/(-4)). Let w = 4920 + a. Is w a prime number?
True
Let x be 15598/6 + ((-220)/33 - -7). Suppose 0 = 2*l - 4394 - x. Is l a prime number?
False
Suppose -3*k + 1600627 = 46*m - 45*m, -1067096 = -2*k + 5*m. Is k a prime number?
True
Let f = 154 - 157. Is f/(-7) - 8/(-28)*1549 composite?
False
Is (14737 - -1)*102/204 composite?
False
Let q(g) = 67*g**2 + 52*g - 1546. Is q(27) a composite number?
True
Suppose 32 = 2*f - 3*v, 2*f = 3*f + 5*v - 16. Let k = f + -14. Is (17534/7 - k) + (-13)/(-91) a prime number?
True
Suppose -121*w + 22370 = -126*w. Let d = w + 15033. Is d composite?
False
Let l be (-1 - 186/4)/(20/120). Let x = l + 947. Is x composite?
True
Let a(m) = 637*m**2 - 125*m - 1075. Is a(-8) prime?
True
Let z(i) = -28*i + 220. Let x be z(7). Suppose -48661 = -3*r + 26*a - x*a, 3*r - a - 48656 = 0. Is r a prime number?
True
Suppose 4*k = -4, -7*m + 153 = -6*m - 4*k. Let p = m - -1904. Is p prime?
True
Is 35/(56/8) - (0 - -2)*-757914 prime?
False
Let z be (34/(-7) - 3/21)/(-1). Suppose -z*r + 983 - 6070 = -s, 0 = r - 5*s + 1003. Let o = r + 1509. Is o a prime number?
True
Suppose 6085 + 1835 = -8*z. Let d = z - -5317. Is d a composite number?
False
Let b = -111 - -117. Suppose -m + 4945 = -b*m. Let u = 1486 + m. Is u prime?
False
Suppose 0 = -6*x + 11*x - 227555. Is x a composite number?
True
Let d = 549228 - 281966. Is d prime?
False
Suppose -4*r = -v + 562111, 0 = -20*v + 29*v - 5*r - 5058844. Is v a composite number?
False
Let h be (-6)/(9/((-54)/(-4))). Let u(i) = -3*i**2 - 28*i - 13. Let o be u(h). Is o + (1 + 184/(-4))*-19 prime?
False
Let h(x) = 32193*x + 13. Is h(2) a prime number?
True
Let m be -4*-1*(-2)/(-1). Suppose 8*p - 8 = m. Suppose 0 = 2*f + p*c - 322, 0*c = 3*c - 12. Is f a composite number?
False
Let j(k) = -k**3 + 2*k**2 + 9*k - 10. Let v be j(4). Let h(x) = -211*x - 13. Let t be h(v). Suppose 0 = 5*g + 2*a - t, -3*a + 151 = 3*g - 599. Is g prime?
True
Suppose -7*o + 30484 = -3*o. Suppose -6*g - o = 1181. Let c = g + 2828. Is c composite?
False
Suppose 2*v = 3*i + v - 19, -3*i - 4*v = 1. Suppose -4*z = -i*f - 19139, 11*z - 14*z = -f - 14346. Is z composite?
True
Suppose 34716 - 163560 = -2*o + 5*w, -2*w = 6*o - 386566. Is o prime?
False
Let b(r) = 3118*r - 5. Is b(63) prime?
True
Suppose -3*l = l - 11824. Suppose 2*m - 2968 = -0*m - 3*u, -2*m + 3*u + l = 0. Is m composite?
False
Suppose w = -w - a - 1305, -3*w - 4*a = 1960. Let k = -65 - w. Is k a prime number?
True
Let c = 227392 - 76739. Is c a composite number?
True
Suppose -4*j + 8*l - 2153 = 5*l, -2135 = 4*j + 3*l. Let o = 801 + j. Is o a prime number?
False
Let j(u) = 2*u**3 + 35*u**2 - 17*u + 23. Let r be j(-18). Suppose -z - 5*w = -2335 - 1966, w + 21609 = r*z. Is z a composite number?
True
Let n = -22920 + 70109. Is n a composite number?
False
Let u(s) be the second derivative of 108*s**3 - 259*s**2/2 + 158*s + 1. Is u(12) composite?
False
Suppose 0 = -3*k + 4*r - 4, -2*k + 0*r = -r + 1. Suppose k = 7*s - 6297 - 962. Is 2 - s*2/(-2) composite?
False
Let p be ((-7)/((-63)/(-4125)))/(1/3). Let j = 970 + p. Let y = 742 + j. Is y a prime number?
True
Suppose 4*c - 2*c = -5*x + 91735, 5*x - c - 91750 = 0. Is x composite?
True
Let q = 37072 + -2279. Is q a composite number?
True
Let l(u) = -58*u + 41. Let g(t) = -58*t + 41. Let h(i) = 5*g(i) - 6*l(i). Let f(x) = x**2 - 2*x - 29. Let m be f(7). Is h(m) prime?
True
Let d(q) be the first derivative of -228*q**2 + 13*q + 42. Is d(-7) composite?
True
Let a = 106021 - -256890. Is a composite?
False
Suppose 7405*h = 7421*h - 3750896. Is h prime?
True
Let i(f) = -242*f + 52. Let h be i(8). Let s = 3725 + h. Is s a prime number?
False
Let h be (3/4)/(21/112). Suppose 0 = -4*s, -2*s + 3567 + 3061 = h*d. Is d composite?
False
Let v(a) = -2033*a + 192. Is v(-5) prime?
True
Suppose 5*f - 3*d = -2*d + 25, 4*f + 2*d - 34 = 0. Let r be (5 - (-3 + -1)) + 3 - -571. Suppose r = 7*j - f*j. Is j a composite number?
True
Let m(c) be the second derivative of -14*c + 3/2*c**2 + 0 + 73/3*c**3. Is m(1) a composite number?
False
Let l(v) = -v**2 + 5*v + 3. Let n be l(7). Let c(k) = 10*k**2 + 3*k + 50. Is c(n) composite?
True
Suppose -4*d - 72 = -188. Let m = d - 17. Is ((-19490)/(-15))/(8/m) composite?
False
Suppose 5*q = 3*q + 450. Let x = -75 + q. Is x/(6 - 3) - -3 a prime number?
True
Let k = -2678306 - -3954637. Is k a composite number?
True
Let o(h) = h**3 + h**2 + h + 2. Let y be o(2). Suppose -y*v + 15*v = -2965. Is v a composite number?
True
Let p(k) = 14505*k**2 + 3*k + 6. Let o be p(-1). Suppose -b + 5*s = -2*b + o, -4*b + 58049 = 3*s. Is b prime?
False
Let a be 3 + (-8 + 7)/((-1)/105). Let y = 301 + a. Is y a prime number?
True
Let o = 11386 - 1785. Is o a composite number?
False
Suppose 602 = -j - 2*n - 1623, -4*j - 5*n - 8912 = 0. Let l = 3635 + j. Is l a prime number?
False
Let c be ((-30)/(-4) - 0)*264/30. Suppose -6*v + 0*v = -c. Suppose 0 = v*h + 4196 - 19585. Is h composite?
False
Suppose 0 = -3*i + 4*a + 38, -7*i + 3*a + 36 = -4*i. Is ((-4067)/(-14))/(1/i) - 2 prime?
True
Let f(h) = 4973*h - 25. Let q be f(2). Suppose 627 = -3*v + q. Is v a composite number?
True
Let z = 13 - 10. Suppose 13839 = 5*l + 2*o, z*l + 0*o = -2*o + 8305. Suppose -l + 12788 = 11*r. Is r prime?
True
Let l(j) = -j**3 - 3*j - 4. Let p be l(-5). Suppose 0 = -k - 3*c + 312, 14*k + 4*c = 19*k - 1655. Let h = k - p. Is h a prime number?
True
Suppose s - 121438 = -5*u + 148967, 0 = -5*s + 2*u + 1352079. Is s a composite number?
True
Let c = 15349 + -10580. Is c prime?
False
Let j(f) = 2*f**3 + 3*f**2 + 35*f - 171. Is j(7) composite?
False
Let k(o) = 1287*o**2 + 75*o - 1309. Is k(27) prime?
True
Suppose 2*k - 1401878 = 465*f - 469*f, 3*k - 3*f = 2102862. Is k composite?
False
Let z = -27942 + 52969. Is z a composite number?
True
Let r(f) be the first derivative of 25*f**3/3 - 47*f - 3. Is r(14) a composite number?
True
Suppose 24*n - 19*n = 0. Suppose n = -20*o + 2*o + 212778. Is o a composite number?
False
Let f(q) be the second derivative of -3*q**5/40 - q**4/3 + q**3/2 + 3*q. Let y(x) be the second derivative of f(x). Is y(-5) a composite number?
False
Su