 Let g be y(5). Let l = 99 - g. Suppose -3*d - l = -1297. Is d a prime number?
False
Suppose 0 = -2*v + 10, 13*g - 35592 = 9*g - 4*v. Is g a prime number?
True
Let v(s) = s**2 + 3*s. Let q be v(-4). Suppose -q*r + 253 = -3*r. Is r composite?
True
Let d(h) = -4*h**3 - 10*h**2 - h - 12. Let w = -30 - -21. Let y be d(w). Suppose 4*i + 323 = y. Is i composite?
True
Let q = -10608 - -15799. Is q prime?
False
Suppose 2*t - 4*t + 10 = 0. Let i be 13641 - t/((-15)/(-12)). Is (1 - 2)/((-13)/i) prime?
True
Let x(w) = 12*w**3 + w**2 - 2*w - 1. Let a = 13 + -6. Let p(k) = k**3 - 7*k**2 - k + 9. Let c be p(a). Is x(c) a composite number?
True
Let r = 31709 - 15190. Is r composite?
False
Let h(v) = -v**3 + 13*v**2 - 9*v + 12. Let i be h(10). Suppose 7*c - 2035 = -i. Is c composite?
True
Suppose 9*v + 102352 = 636961. Is v composite?
True
Let a be (-657)/(-2)*(-2)/(-3). Let g(v) = v**3 + 8*v**2 - v - 15. Let r be g(-8). Is a - r/((-7)/(-2)) a composite number?
True
Let b = 48030 - 26017. Is b a composite number?
False
Let d = 512 - 217. Is d a composite number?
True
Let a be 3 + -3 + 0/4. Suppose 0 = 5*s - a*s - n - 1610, 0 = 2*s - n - 641. Is s composite?
True
Suppose 0 = -4*g + 7*g - 12. Let u be 58*(g - 2/4). Suppose -2*s + u + 155 = 0. Is s prime?
True
Let w be 1551/(-110) - (-2)/20. Is 4 - -1398*(-2 + w/(-4)) composite?
True
Suppose -y - 2 = 0, 2*b + 0*b - y = 2404. Suppose -a - 7*m = -2*m - b, 3*a - 3603 = -m. Is a a prime number?
True
Let p = -244 - -373. Is p a prime number?
False
Suppose -5*v = 0, -3*k - 2 + 14 = v. Suppose 2*u = -k*u + 900. Suppose 3*r = -n + u, -4*r + 0*r + 12 = 0. Is n prime?
False
Let p be (-160)/26 - 8/(-52). Let t = p + 9. Suppose -t*c - 175 = -1582. Is c a composite number?
True
Is 3 + (-24 - -10)*(0 + -430) prime?
False
Suppose -3*y - 3 = 3*n, -5*n + 3*y + 0 + 27 = 0. Suppose n*w - 9870 = 3*l, l + l + 9871 = 3*w. Is w a composite number?
True
Suppose 27*w + 52*w = 4120877. Is w prime?
True
Let m(r) be the first derivative of 11*r**2/2 - 26*r + 24. Is m(19) prime?
False
Let d(o) = o**2 + 5*o - 141. Is d(17) composite?
False
Let t(s) = -28*s - 13. Suppose 0 = b + 11 - 13. Suppose b*f = -4, 0 - 2 = 2*u - 5*f. Is t(u) a prime number?
False
Let j = 12 + -17. Let g(m) be the first derivative of -m**3/3 - 3*m**2 + 2*m + 5. Is g(j) a prime number?
True
Let i(r) = -r - 13. Suppose 0 = 5*d + 5*w + 75, -7*d + 3*d = 3*w + 60. Let s be i(d). Suppose 7 = s*q - 95. Is q a prime number?
False
Suppose -12298 = -5*u - 5*q + 9042, -4*q = 2*u - 8542. Is u a prime number?
False
Suppose -30 = j - 7*j. Let d be (-295)/(-25) - (-1)/j. Let m(h) = h**3 - 10*h**2 - 17. Is m(d) a composite number?
False
Let n(q) = q**3 - 4*q**2 - 5*q - 4. Let i(v) = 6 + 10*v**2 - v**3 + 0 + 3*v**2 - 12*v. Let x be i(12). Is n(x) prime?
False
Let k be (126/24 + 3)/((-6)/208). Let q = 1399 - k. Is q a prime number?
False
Suppose -1 = 2*x + 9. Let y = -1 - x. Suppose y*j = 3*j + 3*o + 42, 0 = 4*o + 4. Is j prime?
False
Let s(c) = c**3 - 14*c**2 + c - 8. Let l be 10 + 4 + 0/3. Let f be s(l). Is (-20016)/(-54) + 2/f prime?
False
Suppose 19*n - 181345 = 24634. Is n a prime number?
False
Suppose 0 = -5*m + 3*m - 3*k + 8602, -4*k - 8630 = -2*m. Is m a prime number?
False
Let l = 45 + 58. Is l prime?
True
Let d = -929 + 546. Let h = 788 - d. Is h a composite number?
False
Let f = -207999 - -352658. Is f a prime number?
True
Let k = 6874 - 4383. Is k composite?
True
Let c(v) be the first derivative of -9/2*v**2 - 10*v + 1/4*v**4 + 13/3*v**3 - 7. Is c(-11) a composite number?
False
Is (-534)/2*(221/51 - 10) a composite number?
True
Suppose 5*p = -62 - 1133. Let g be 3/(-2)*(p + -11). Suppose g + 571 = 4*b + r, -6 = 3*r. Is b a prime number?
False
Let t(j) = -56*j - 1. Let y be t(4). Let x be 2 + ((-12)/4 - y). Is 2 + 5/(20/x) composite?
True
Let y be 3525/(-30)*16/5. Let f = y + 768. Suppose -3*w + 2*w = 5*g - 484, 4*g = 4*w + f. Is g a composite number?
False
Let u(h) = h**2 - 13*h - 10. Let l be u(14). Suppose -l*k - 19 = -q, 5*q - 149 = 2*k - 0*k. Is q a composite number?
False
Let c(t) = 6*t**2 + 32*t - 89. Is c(-25) prime?
True
Let h(w) = 3*w. Let c(b) = -8*b. Let d(r) = -5*c(r) - 12*h(r). Let q be d(-2). Is (-2)/(-2) - (-2 + q) composite?
False
Let w(f) = -10*f**2 - f + 1. Let p be w(2). Let x = 138 + p. Is x prime?
True
Suppose t + 6822 = 30090. Suppose 13*c - t = c. Is c composite?
True
Suppose 0 = -9*g - 2*g + 27995. Is g a composite number?
True
Suppose 0 = -5*s + 317 + 5473. Let x be (4/(-12))/(1/9). Is s/8 - x/12 composite?
True
Suppose -3*r = -4*l - 10, -4*l = -r - 1 + 7. Is (4 + (-28)/8)/(l/(-788)) prime?
False
Suppose -2*a = -x - 10889 + 2452, 0 = 5*a + x - 21089. Suppose -5*g + 10 = 0, -4*n + 4*g - 3*g = -a. Suppose -7*v = -2*v - n. Is v composite?
False
Is 11036 - (15/5 + 6) composite?
False
Suppose -83*y - 4*z = -79*y - 19376, -15 = -5*z. Is y prime?
False
Let j(o) = 2004*o**2 - 10*o + 9. Is j(1) a prime number?
True
Let p(l) = -2208*l + 125. Is p(-1) composite?
False
Let c = 27 - -2678. Is c a prime number?
False
Suppose 0 = 2*b - 0*b - 20. Let t(a) = 10*a + 7*a - b*a - 3. Is t(6) a prime number?
False
Let f(w) = 21*w**2 + 5*w + 5. Let k be 6 - ((-4 - -5) + -2). Is f(k) composite?
False
Let o(n) = 11*n**2 - 3*n - 9465. Let b(z) = -8*z**2 + 2*z + 6310. Let h(u) = -7*b(u) - 5*o(u). Is h(0) composite?
True
Suppose -62*i + 79871 = -51*i. Is i prime?
False
Let b be (-2213)/(-5) + (-2)/(-5). Suppose -3*o + b - 1556 = 3*t, -3*o - 2*t - 1116 = 0. Let d = -247 - o. Is d composite?
False
Let t be -9*-3*56/36. Let k be 3/(-7) - (-144)/t. Suppose -5*d + k*g - 44 = -6*d, 4*g - 39 = -d. Is d composite?
False
Suppose 5*a + s + s - 735 = 0, -3*a + 430 = -s. Let q(w) = 260*w + 4. Let d be q(1). Let o = d - a. Is o composite?
True
Let w = 19 + 3. Suppose -w*v + 14 = -24*v. Let r(t) = -32*t - 13. Is r(v) composite?
False
Let i(m) = -8 + 95*m - 5 + 38*m**2 - 89*m. Is i(4) a prime number?
True
Let n(u) = -u**3 - u - 1. Let a(t) = 2*t**3 - 2*t + 4. Let c(l) = -a(l) - 3*n(l). Is c(5) a composite number?
False
Suppose 0 = -29*w + 5*w + 33576. Is w composite?
False
Let x be (16/(-20))/((-4)/20). Suppose -x*f + 19 = -165. Is f a prime number?
False
Let d(u) = u**3 - 13*u**2 + 4. Let n be d(13). Suppose -n*w + 0*w + 10048 = -4*i, -w - 2*i = -2527. Is w composite?
True
Let t = -890 + 1597. Is t a prime number?
False
Let j = 118 + 1097. Let p = -294 + j. Is p a prime number?
False
Let i(k) = 36*k - 21. Let d be i(10). Let s = 8 + -5. Is d/4 + s/12 composite?
True
Let a(m) = -m + 8. Let u be a(8). Suppose -2*l = -4*x + 5*x - 2, 3*x + 4*l - 14 = u. Is 2272/40 + 2/x a prime number?
False
Let i be ((-2)/(-3))/(16/216). Suppose 0 = -i*s + 5*s. Is s + 251*(-2 - -3) composite?
False
Suppose 0 = 2*i + 6*i - 13800. Suppose -2*f - 4 = 0, -3*f = s - 2*f - i. Is s a prime number?
False
Let a(n) = -850*n**3 - n**2 - 10*n - 11. Is a(-2) prime?
False
Suppose 3*y = 2*r - 20714, 0 = -r - 3*y + 6795 + 3562. Is r composite?
False
Let r(l) = 142*l**2 + 1. Let o(v) = -8*v - 13. Let s(d) = 9*d + 14. Let h(y) = -7*o(y) - 6*s(y). Let m be h(-3). Is r(m) a prime number?
False
Let g(i) = -i**3 + 2*i**2 + 8*i + 3. Let q be g(4). Suppose 4185 = q*r + 5*c - c, 0 = 3*r - 4*c - 4209. Is r a prime number?
True
Let p(c) = -c**3 + 13*c**2 + 16*c - 9. Let n be p(14). Let m = n + -17. Suppose -3*f + 3*z + 618 = 0, m*z - 25 = -3*z. Is f a composite number?
False
Let u = -52 - -66. Let x(r) = 27*r**2 - 2*r + 1. Let y be x(-2). Suppose v - y = u. Is v prime?
True
Suppose -3*v = -2*n - 2422, -4*v + 0*n + 5*n = -3234. Let g = v - -281. Is g prime?
True
Let k(o) = -o**3 + 11*o**2 + 15*o - 8. Let c(y) = -2*y - 15. Let b be c(-13). Let s be k(b). Suppose 63 = n - j, 5*j - s = -n - 2*n. Is n a composite number?
False
Suppose d - 1358 - 3 = -2*f, 0 = d + 4*f - 1361. Is d a composite number?
False
Let f be ((-434)/35)/((-2)/5). Suppose -4*i - f = -607. Let q = 221 - i. Is q a prime number?
False
Suppose 12*u - 318695 = -u. Is u prime?
False
Suppose -2 = 4*a + 6. Let f be (4/(-12))/(a/30). Is f*3/(-15)*-127 composite?
False
Suppose -5*k - 54 - 556 = 0. Let w be (k/3)/(14/(-273)). Suppose -3*s = -w + 154. Is s a prime number?
False
Let b(s) = -45*s**3 + 2*s + 1. Let r(u) = u**3 + 7*u**2 - u - 8. Let j be r(-7). Let t be b(j). Suppos