 6 - p. Is v a composite number?
True
Let f(c) = -17*c + 2. Let i(g) = g + 1. Let o be i(-4). Is f(o) a composite number?
False
Let v(i) = 3*i**2 - i + 15. Let m(z) = -1. Let p(b) = -2*m(b) + v(b). Is p(16) a composite number?
False
Let c(r) = 1841*r**2 - 2*r - 2. Is c(-1) a composite number?
True
Let u = -476 + 891. Is u a composite number?
True
Let x = -91005 + 169514. Is x a composite number?
False
Let n(x) = x**3 - 5*x**2 - 6*x + 3. Let j be n(6). Suppose 2*l + 5382 = 3*r - l, 0 = r - j*l - 1784. Is r a composite number?
True
Suppose -7 = -3*s + 5. Suppose 5*i - 90 = -2*n, -s*n + i - 6*i = -190. Suppose 0 = -5*y + 3*r + n, -y - 40 = -5*y + r. Is y a composite number?
True
Let u be (-47632)/(-60) + 4/30. Suppose -5*x - 94 = n - u, 2*n + 10 = 0. Is x a composite number?
True
Suppose -4*v + 6 = -v. Suppose -4*m - 4*x + 48 = -x, 0 = -3*m - v*x + 35. Is m*15 + (-12)/(-3) a prime number?
True
Let z = -11582 - -41269. Is z a composite number?
True
Let d be 6/10 + 36/(-10). Let s be (-3336)/(d - 0) - -3. Suppose 4*n - s = -n. Is n prime?
True
Let k be 4 - (-2 - -3)/1. Suppose 4 - 67 = -k*i. Is (-3 - -7*i) + -1 prime?
False
Let f = 14113 - -1689. Is f composite?
True
Suppose 28611 = 46*x - 117715. Is x a prime number?
True
Let w(k) = 3*k**3 + 2*k - 1. Let z be w(1). Let i be -3*2 + z + 4. Suppose -4*p = -4*h + h - 149, 3*p - 111 = i*h. Is p prime?
False
Let w(x) = -31*x**2 - 28*x - 9. Let m(s) = -15*s**2 - 14*s - 4. Let p = 10 + -17. Let u(z) = p*m(z) + 3*w(z). Is u(-10) a prime number?
True
Let z(d) = 3109*d - 875. Is z(6) a prime number?
False
Let g(l) = -l**3 - 5*l**2 + 3*l - 13. Let x be g(-6). Suppose -2*p = 2*y - 2728, 5*y - 80 = x*p + 6710. Is y a composite number?
False
Let u(v) = -15 + 5*v - 24*v - 11. Is u(-11) a composite number?
True
Let k be (-2)/((-3)/1560 + 0/1). Is 5 + 34/(-6) + k/3 composite?
True
Let p be 0/(4*(-3)/6). Suppose -3*q + 1355 + 835 = p. Suppose 0 = 5*r - q - 765. Is r prime?
False
Is (55/15 - 3)*(-110868)/(-8) composite?
False
Is -3*-283191*(-5)/(-45) a composite number?
False
Suppose 0 = 2*o - 8, -4*x + 5*o = 6407 - 22855. Is x composite?
True
Suppose -599 = -v + 5*a + 453, 4*a + 4288 = 4*v. Is v prime?
False
Let o = 678 + -663. Let z(y) be the first derivative of 81*y**2 + 7*y + 1. Is z(o) a prime number?
True
Is ((-4258)/(-5))/(60/150) a prime number?
True
Let x be -3 + 3 + -31 - 0. Let a = x + 2379. Is 6/12*a/2 prime?
True
Let t be (-134)/(-2 + 1)*2/4. Let f = t - -224. Is f a composite number?
True
Suppose 0 = -2*a + 3*v + 77, 6*v - 11*v + 106 = 3*a. Is a a prime number?
True
Suppose 3*n = 2*x - 317, 6*n + 518 = 3*x + 10*n. Let c = 2 - 2. Suppose t - 53 = 2*o, 3*t - x = -c*o - o. Is t a prime number?
False
Let y(f) = -409*f**3 - 5*f**2 - 5*f - 2. Let u(j) = j**3 - j**2 - j. Let i(h) = 6*u(h) - y(h). Is i(1) a composite number?
True
Suppose 0 = 8*k - 16537 - 5295. Is k a composite number?
False
Let u = 15 - 110. Let s = 151 + u. Is s/2 - 21/7 composite?
True
Is 986202/56 + 2/24*3 prime?
False
Suppose 0 = -1056*u + 1058*u - 80126. Is u a composite number?
False
Let f(u) = 544*u**2 + u + 11. Is f(-4) a composite number?
True
Let w(i) = -453*i - 22. Let z be w(-5). Let d = -834 + z. Is d prime?
True
Let i(v) = v**2 - v + 17. Let y be i(0). Let d = 125 - y. Is -6 - -3 - (-1 - d) composite?
True
Is 31925 + 0 + (-126)/(-9) + -12 a prime number?
False
Suppose 5*y = -4*a + 240959 - 65515, 5*a + 4*y = 219305. Is a prime?
False
Suppose 12 = -v - 7. Let i(h) = -46*h - 3. Is i(v) a composite number?
True
Let w be (15/10)/(-1) - 38906/(-4). Suppose -10*a + w = -5*a. Is a prime?
False
Let t = -1586 - -3804. Is t a prime number?
False
Suppose -4*s = 5*k - 1, -4*s - 3*k - 7 = -6*k. Let a be (-6 - -1)*(-2 - s). Suppose -z - t = -0*z - 86, 400 = a*z - 5*t. Is z prime?
True
Let r(u) = 91*u**2 - 1. Suppose -5 = -l + 2*k, 2*l + k = -8 + 3. Let n be r(l). Let i = -13 + n. Is i composite?
True
Suppose -5*j - 4987 = -2*q, 0 = -q - 4*j + 5*j + 2492. Is q composite?
True
Suppose 0 = -4*w + 16, -2*w = -2*h + 4*h - 8850. Is h composite?
False
Suppose 7*f + 8515 = u, -u + 5*u - f - 34006 = 0. Is u composite?
False
Let s(i) be the second derivative of 139*i**5/20 + i**4/6 - i**3/2 + 5*i**2/2 + 17*i. Is s(2) a prime number?
False
Suppose -o + 452 = 3*u, -2*o + 991 - 109 = -5*u. Is o prime?
False
Let z(n) = 128*n**2 + n. Let a(c) = 4*c + 6. Let v be a(-4). Let w = v + 9. Is z(w) a composite number?
False
Suppose -4*w + 15*t + 33897 = 10*t, 42366 = 5*w - t. Is w a prime number?
False
Is 183*(-3282)/(-63) + (-3)/7 composite?
False
Let j = -1905 + 2792. Is j composite?
False
Let j = -155 + 92. Let k be 1*-58*(-1)/(-14)*7. Let r = k - j. Is r composite?
True
Let i = -2 - -180. Let s be 398/4 - (-18)/(-36). Suppose 3*v - i = n, -5*n = -2*v + s + 24. Is v composite?
False
Let a(z) = z**3 + 8*z**2 + 7*z + 4. Let g be a(-7). Suppose 4*w + g*t - 5348 = t, 0 = 2*w + 5*t - 2674. Is w prime?
False
Suppose 0 = 2*f + d + 3479, f + 1753 = -9*d + 4*d. Let o = -1572 + f. Is o/(-8) + (-6)/8 a prime number?
False
Suppose 0 = 4*k - 9*k + 90. Is (12/k)/((-2)/(-9)) - -750 a composite number?
True
Suppose -2*d = -4*k - 4, 10*k = d + 12*k + 14. Let q(c) be the third derivative of 13*c**5/60 + 5*c**4/24 + 3*c**3/2 - c**2. Is q(d) a prime number?
False
Let n(l) = -14*l**3 + 3*l**2 + 4*l + 9. Let t(u) = -7*u**3 + 2*u**2 + 2*u + 4. Let q(f) = -2*n(f) + 5*t(f). Is q(-5) a prime number?
True
Let n(s) = -s**3 - 2*s**2 + 2*s + 14. Suppose -5 = d + f, -2*f + 30 = -2*d - d. Is n(d) composite?
True
Suppose -7*u - 1406 = -12865. Is u composite?
False
Let k = 77 - 75. Suppose 0 = 5*j - z - 16357, k*j + 9*z - 4*z - 6532 = 0. Is j a prime number?
True
Suppose -3*c = -t + 3*t - 9392, 2*c - 6261 = -t. Suppose 3*b + 0*b + 9 = 0, -5*b + c = 5*h. Let d = 1186 - h. Is d a prime number?
True
Let l(w) = 756*w - 1. Let z be l(-1). Let o = -344 - z. Is o prime?
False
Let r(i) = -i**2 + 212*i + 56. Is r(39) a prime number?
True
Let z(l) = -l**2 + 26*l - 62. Is z(19) composite?
False
Suppose -21*y + 3*y + 9594 = 0. Is y composite?
True
Let f = 49796 - 29737. Is f a prime number?
False
Suppose -3*w + 13 + 2 = 0. Suppose 4*m = -3*o - 14, -26 = o + 4*m - 8. Suppose -o*q - w*v = -7*q + 1885, -1514 = -4*q + v. Is q a prime number?
True
Let k(z) = -5*z - 15. Let u(i) = -2*i - 7. Let t(f) = -3*k(f) + 7*u(f). Let p be t(11). Is (p - 2)*314/2 composite?
True
Suppose 3*y = 4 + 8. Suppose -y*x - x + 1013 = n, 0 = 5*x + 5*n - 1005. Is x composite?
True
Suppose -4*r - 5*l + 4 + 6 = 0, -2*l = 3*r - 11. Suppose 9*v - 676 = r*v. Is v composite?
True
Suppose 17*f - 488781 = 100252. Is f a composite number?
False
Suppose u - 7 = -2. Suppose -2*y + u*y - 1065 = 0. Is y composite?
True
Is -4 + (4328 - -1) - -2 a composite number?
False
Let g(b) = -39692*b + 307. Is g(-3) a composite number?
True
Suppose 5*s + 4 = -2*n - 0, -6 = -4*s + 3*n. Suppose -7*a + 5*a + 670 = s. Is a composite?
True
Let z(a) be the first derivative of a**4/4 - a**3/3 - 5*a**2/2 - 3*a + 4. Let h be z(-3). Is (-340)/h + 3/(-18) composite?
True
Let p = 29 + -18. Suppose -5*k + 806 = -h, 643 = 4*k - 10*h + p*h. Is k a composite number?
True
Suppose 0 = 4*j - 4*g - 52, -j - 10 = 2*g - 26. Let m = j + -9. Suppose -m*p - 3*y = -1769, -p - y - 1777 = -6*p. Is p prime?
False
Let u(a) = 15*a**2 - 14*a + 3. Let l be u(-9). Suppose b - l = y, 12*b - 3*y = 8*b + 5375. Is b a prime number?
False
Let y(h) = h**3 - 2*h**2 - 16*h + 2. Let g be y(11). Let i = g - 479. Suppose 368 = 6*d - i. Is d a prime number?
False
Suppose -4*b - 5*d = -10, -3*b + 3*d - 6 = -0*b. Suppose b = -6*c + 8*c - 382. Is c prime?
True
Suppose -15 = -2*b + 3*y, -4*y + 9 = -7*y. Suppose -5*o + 4 = -3*z - 0, -b*o = -6. Is ((-1)/(-3))/(z/426) composite?
False
Let n = 8 + -3. Suppose n*p - 4 - 1 = 0. Is (p + 65)*1/2 a prime number?
False
Suppose -3*g + 26228 = -5*u, -7*u + 10*u - 17479 = -2*g. Is g a prime number?
True
Is (4270 - (5 - 3)) + 1 + 2 a prime number?
True
Suppose 4*n + 4*l = 0, 0 = -l - 2*l. Suppose n = 3*d - 676 - 77. Is d composite?
False
Let t(j) = j**2 + 10*j + 17. Let y be t(-8). Is (5/(-10))/y*-3418 a composite number?
False
Let t = 990 + 527. Is t a prime number?
False
Let u(k) = -54*k. Let m be u(-3). Let t = -349 + m. Let q = -113 - t. Is q a composite number?
T