 -18*y = -26*y + w. Is y prime?
False
Suppose -16 = -5*n + 149. Suppose n*t - 84058 - 1544 = 0. Is t prime?
False
Suppose -280*m + 45671986 = -515*m + 309*m. Is m composite?
False
Suppose -1218 = -15*y + 17*y. Let x = y + 1180. Is x a prime number?
True
Let y = 47800 + -15309. Is y composite?
False
Let f(p) be the first derivative of 31 - 9*p + 7*p**3 - 17/2*p**2. Is f(-6) composite?
True
Let r(q) = 7599*q - 23. Is r(8) a prime number?
False
Let u(g) = -7*g + 21. Let x(r) = -6*r**2 + 38*r - 9. Let w be x(6). Let y be u(w). Suppose y = -7*z - 1942 + 6359. Is z prime?
True
Let s(y) = 8*y**3 + 30*y**2 + 34*y - 79. Is s(26) composite?
True
Let y be 8*(-1 - -5)/16. Suppose -2*m - 43309 = -5*n, 25995 = -3*n + 6*n + y*m. Is n prime?
True
Let z be (-24 - 4)/(3 - 2). Let v = 82 + z. Let f = v + -35. Is f composite?
False
Let p(g) = -5*g + 19. Let c be p(13). Let x = 172 + c. Let r = 1537 + x. Is r prime?
True
Is 109279*(1 + (-4)/(-4))/(-10)*-5 composite?
False
Suppose -52*w - 6 = -55*w. Suppose -w*o + 12326 = h, -3*o - 2*h + 6*h + 18489 = 0. Is o a composite number?
False
Let b(g) = -3*g**3 + 31*g**2 - 10*g + 4. Let w be b(10). Suppose 0 = 2*z - 2, w*p = p + 4*z + 32147. Is p prime?
False
Let a be (2/4)/(1/2). Let z(y) be the third derivative of 395*y**4/12 - y**3/2 - 2*y**2 - 220*y. Is z(a) a composite number?
False
Let f = 2 - 0. Suppose 0 = -22*q - 23688 - 13008. Is -4*(q/16 + f) composite?
False
Let c be 16/20 + 8/(-10). Suppose c = -6*j + 14 + 10. Suppose -4*t = -16, -j*v - t + 169 = -v. Is v a composite number?
True
Let d(i) = 10*i**3 - 11*i**2 - 2*i - 5. Let v be d(-4). Let k = 1294 + v. Is k a composite number?
True
Suppose -391381 = -20*m + 896639. Is m a composite number?
True
Let w = 1928 - 6197. Is (w/(-2))/(21/42) - -2 composite?
False
Let c(s) = -s**2 + 30*s - 6. Let y be c(29). Suppose y - 65 = 2*n. Is 12/(-28) - 702/n a prime number?
False
Let t(h) be the second derivative of -19*h**5/4 + h**4/4 - 4*h**3/3 - h**2/2 - 130*h. Is t(-4) a prime number?
False
Suppose -f + 4*b = -51963, 3*f - 6*f - 4*b = -155953. Is f prime?
False
Let y = -923 + -1569. Let n = 5655 + y. Is n composite?
False
Let h(y) = 12305*y**2 - y - 1. Let c be h(-2). Suppose c = -28*z + 37*z. Is z composite?
True
Let d = -202 + 206. Suppose -5*v + 25 = 0, 2*q - 9*v + d*v - 6537 = 0. Is q composite?
True
Let v(l) = -2*l**3 + 13*l**2 + 7*l + 7. Let s be v(7). Let x(z) = 71*z + 26. Let d(r) = 212*r + 79. Let f(b) = 6*d(b) - 17*x(b). Is f(s) a prime number?
True
Suppose -407*f + 54341912 = 9564993. Is f a composite number?
False
Let d(h) = -h**3 + 8*h**2 + 12*h - 12. Let b be d(9). Let w(p) = -p**2 + 15*p - 2. Let i be w(b). Is i/((-9)/((-14724)/(-8))) composite?
False
Suppose -35*q = 130*q + 26*q - 61897179. Is q prime?
False
Suppose g - 154046 = -3*k - 15081, 0 = 5*k + 30. Is g composite?
True
Let i(p) = -1. Let v(r) = 15*r**3 - 6*r**2 + 4*r + 3. Let g(q) = i(q) - v(q). Suppose t + 1 = -2. Is g(t) composite?
False
Suppose 5*g - 267597 = -2*x, -5*x - 5*g - 669010 = -10*x. Is x a composite number?
False
Let o(w) = -w**3 + 3*w**2 + 4*w - 4. Let j be o(4). Is ((-479)/j)/((-4)/(-16)) a composite number?
False
Suppose 596675 = 42*x - 1447591. Is x prime?
True
Let o be 147/35 - (8/20)/2. Suppose 0 = -5*r + o*i + 12965, -2*r + 1681 = -5*i - 3522. Is r a composite number?
True
Let f(s) = -14*s + 93. Suppose 2*j = -4*q - 64, -2*j - 53 = -2*q + 11. Is f(j) a prime number?
True
Let b be ((-208)/(-2) + -4)*4/10. Let u = b - 36. Suppose 0*c = s + u*c - 477, -2*c - 1944 = -4*s. Is s a prime number?
False
Let g(d) = -66*d + 2. Let l be g(-4). Let u = -320 + 217. Let c = u + l. Is c a composite number?
False
Let q = -170 - -175. Suppose 5343 = 3*v - 3*k, 3*v = -0*v - q*k + 5311. Is v a prime number?
True
Let h(g) = -30905*g + 399. Is h(-2) a prime number?
False
Suppose -4*s - 7*l = -5*l - 89998, -l - 67511 = -3*s. Suppose 6*m + 4*d - 33753 = 3*m, 2*d - s = -2*m. Is m a composite number?
False
Let z(i) = 8027*i + 1. Let c be z(1). Suppose 3*u - u = 3*k - c, -2*u = 2*k - 5342. Suppose -2*j + k = -636. Is j a composite number?
True
Let a(u) be the second derivative of 22*u**3/3 + 71*u**2/2 - 118*u. Is a(7) a prime number?
True
Let o = 61867 + 1792. Is o composite?
False
Suppose 53 = 4*u + v, -u - 2*u + 16 = -4*v. Let p be 5 + (-2 - -4) - (u - 8). Suppose 1345 = p*c - 3782. Is c prime?
True
Let o(g) = 264*g**2 - 12*g + 725. Is o(27) composite?
True
Let m(l) = -l**3 - 6*l**2 - 4*l + 3. Suppose 4*d + 3*p + 32 = 0, 4*p = -0*d + d - 11. Let z be m(d). Is z + 33065/35 - 2/(-7) a composite number?
True
Let a(l) = -341*l**2 - 33*l. Let h be a(-18). Is (-3)/(-3 - h/36635) a composite number?
True
Let m(r) = 33*r**3 + 21*r**2 + 19*r - 15. Let l(n) = -8*n**3 - 5*n**2 - 5*n + 4. Let d(i) = -9*l(i) - 2*m(i). Is d(4) a composite number?
True
Suppose -3*y - 2*v - 372 = -7*y, 5*y - 465 = v. Suppose -6*n = -y - 177. Is (-4)/30 - (-24171)/n composite?
True
Suppose -5*i + 292 = -f, i - 1320 - 260 = 5*f. Let x = f - -2520. Is x prime?
True
Let k = 581 - 581. Suppose 199*u - 177*u - 325886 = k. Is u prime?
True
Suppose 0 = -5*n + 32 - 7. Suppose f + 5*w + 52 = 0, 0 = n*f - w + 4*w + 172. Is (235/(-20))/(4/f) a composite number?
True
Let g = 47 - 43. Let s be ((-7666)/g)/((-28)/8 + 4). Is (1 - (-4 - -6))*s a composite number?
False
Suppose -4*c + 2*d = -22, 0*c - 26 = -2*c + 4*d. Let a(v) = 5 - 2*v + 13*v**c + 2*v**2 + 3*v + 22*v**3. Is a(3) composite?
False
Suppose -j + 134698 = -19*z + 21*z, 0 = 5*j. Is z a prime number?
True
Let n(r) = 89*r**2 + 4*r - 2. Let t be n(1). Suppose 89*o + 6398 = t*o. Is o composite?
True
Suppose -2*w + w - b + 16 = 0, 42 = 3*w - 3*b. Suppose w = -4*x - 33. Is (100/6)/((-8)/x) a prime number?
False
Suppose -9*y = -283 + 7573. Let p = y + 1553. Is p composite?
False
Let c be 6/5*(120756/(-783))/(2/(-165)). Suppose 5*o - 3*o = 36. Suppose c = o*t - 14*t. Is t a composite number?
True
Let m(u) be the third derivative of -307*u**4/8 + 22*u**3/3 - 116*u**2. Is m(-15) a composite number?
False
Let l be 39475/20 + -4 - 9/12. Suppose -2*k + l + 829 = 0. Is k composite?
False
Suppose 23*y = -21*y - 30*y + 17971862. Is y prime?
True
Suppose 0 = -43*n - 328897 + 7703010. Is n a composite number?
False
Is (394106 + -35)/(2 - -1) a composite number?
False
Let v be (58 + -74)*(1 - 2). Is 314*(3/9 - v/(-24)) composite?
True
Let s(u) = 9*u**3 - 3*u**2 - 6*u - 9. Let k be s(8). Suppose -7*m + 22734 = k. Let t = m + -1342. Is t a composite number?
False
Let c(w) = w**3 + 32*w**2 - 26*w + 586. Is c(-29) a composite number?
False
Let d(i) = -i**2 + 38*i + 128. Let a be d(30). Let x = a + 29. Is x prime?
True
Suppose -3*x - 767068 + 1906993 = 5*d, -x + 2*d = -379997. Is x a composite number?
True
Let r = 685863 + 59360. Is r a composite number?
True
Is (5/(-10))/((-1302705)/(-1954098) - 4/6) a composite number?
False
Is (-4095585)/(-5) + 14/1 a prime number?
True
Suppose 11409 = -3*a - 4*v + v, 0 = 4*a + 3*v + 15209. Suppose -16*z - 3*z - 25479 = 0. Let t = z - a. Is t composite?
False
Let w = 24194 + -3871. Is w a prime number?
True
Let c(q) = -q**3 - 14*q**2 - 10*q + 13. Let p be c(-13). Let k(v) = 5*v**2 + 30*v - 9. Is k(p) prime?
True
Is (-67 - -65)*2/4 - -16368 prime?
False
Suppose -37 = -5*c - 3*f, 6*c - 5*c - 25 = -5*f. Suppose -4*t + 12699 = -5*p, -14761 = -c*t - p + 1149. Is t prime?
True
Let j = -7759 + 23097. Is j composite?
True
Let l be (-4 + 1 - -3)/(0 - -2). Suppose -q - 1374 + 3694 = l. Let o = q - 1311. Is o a composite number?
False
Is 3*((-6)/(-12))/((-6)/(-69164)) a prime number?
True
Let l(r) = 377*r**2 + 4*r - 227. Is l(14) prime?
True
Suppose -26*b + 22*b - 12 = 0, 3*m + 3*b - 4645032 = 0. Is m a composite number?
False
Let k(j) = -402*j**3 - 2*j**2. Let r(b) = b**2 + 4*b - 5. Let g be r(-4). Let f(u) = 804*u**3 + 3*u**2. Let s(a) = g*k(a) - 3*f(a). Is s(-1) a prime number?
False
Is (153304/(-16))/((-21)/(-14) - 2) a prime number?
True
Suppose 2*t = -57*r + 59*r - 117316, t - 293266 = -5*r. Is r a prime number?
False
Let p(d) = 28494*d**2 + 123*d + 376. Is p(-3) a composite number?
True
Let k(x) = 2*x**3 + 6*x**2 + 2*x - 5. Let f be k(-4). Let j be f*(-4 + 65/15). Let g(d) = -d**3 - 12*d**2 - 22*d - 8. Is g(j) composite?
False
Let y(w) = 3*w**3 - 58*w**2 + 15*w - 287. Is y(30) 