 + 3*v - v**2 + v**2 - 3 - 5*v**2. Let g be m(5). Let k = g - -202. Is k a composite number?
False
Suppose 2*i - s + 5*s = 10, 3*i - 2*s = 15. Suppose 4*v + 0*w = -2*w + 20, i*v + 2*w - 23 = 0. Suppose q - 139 = -0*r - v*r, -2*r + 96 = 4*q. Is r composite?
True
Let r(l) = 115*l**2 - 2. Is r(-2) a prime number?
False
Suppose -5*s = 2*u + 26, -3*s - 5*u + 28 = -6*s. Let a(f) be the third derivative of -f**6/120 - f**5/12 + f**4/24 + f**3/6 - 9*f**2. Is a(s) composite?
False
Suppose -5*p - 4 = -14. Let f = p + -2. Suppose f = 3*m - 1 - 2, 3*m + 130 = r. Is r prime?
False
Suppose 0 = -5*i - o + 151, 4*i - 3*o - 27 = 3*i. Is 42/4*340/i composite?
True
Suppose 2*d = -2*d + 4620. Suppose -3*i + d = -0*i. Suppose 3*y - i = -4*s - 110, 5*s + 168 = 2*y. Is y a prime number?
True
Let p = -1894 - 1938. Let i = p + 2632. Is (-4)/14 + i/(-35) a composite number?
True
Let i(a) = 2*a**3 + a - 4. Suppose 0 = -7*x + 2*x - 25. Let p be i(x). Is (3 - 7)*p/4 composite?
True
Is 7/(-35) - 156/(-5) prime?
True
Let l(o) be the second derivative of 1/20*o**5 - 1/2*o**2 + 4/3*o**3 + 0 - o + 2/3*o**4. Is l(-6) a composite number?
False
Let b(i) = 7*i + 3. Let j be b(-3). Let p = -5 - j. Is p a composite number?
False
Let y = -50 + -106. Let b = 0 - 99. Let l = b - y. Is l composite?
True
Let j(q) = -q**3 + 3*q**2 - q + 1. Let d be j(2). Suppose 4*z = m + 31, -5*z = -m - d*z - 21. Let p = m + 24. Is p composite?
False
Let p(r) = 2*r - 6. Let q be p(5). Let j(g) = -g**3 + 8*g**2 - 5. Is j(q) composite?
False
Let x(c) = 5*c**2 + 15*c - 19. Is x(10) a prime number?
True
Suppose -8 = s + 10. Let k = 31 + s. Let j = 22 - k. Is j composite?
True
Let s(f) = 2*f**2 - 7*f + 4. Let i be s(4). Suppose i = -3*u - 5*r, 2*u - 5*r + 8 = 36. Suppose -2*w = c - 4, -6 - 2 = -4*w + u*c. Is w prime?
True
Let q(z) = z**2 - 5*z + 2. Let d be q(-6). Let i be 4/(-6) + 505/15. Let m = d - i. Is m a composite number?
True
Let q(j) = -2*j - 7. Let i(z) = z + 4. Let k(f) = 7*i(f) + 3*q(f). Is k(6) a prime number?
True
Let d(z) = 86*z**2 - 2*z - 1. Is d(-1) prime?
False
Let r = 33 + -13. Suppose k + r - 61 = 0. Suppose 0 = -3*h - 5*y + 73, -4*y + k - 212 = -5*h. Is h a prime number?
True
Is (-9)/15 + 2116/10 prime?
True
Is 1/((-15)/2) - 142122/(-90) a composite number?
False
Suppose -2*i + 0*x + 852 = 2*x, -x = -3*i + 1278. Let w = -297 + i. Is w a composite number?
True
Suppose -28421 = -4*b + 3847. Is b a composite number?
True
Let y be ((-3)/(-6))/(1/24). Suppose -5*z = -10, -d + 2*z = -3*d + y. Suppose -d*l = 2*c - c - 35, 3*l - 78 = -3*c. Is c prime?
True
Is 3/(-6) - (-636)/8 prime?
True
Let b = 9 + -4. Suppose -3*z - 6 = f, f + b*z + 12 = -0. Suppose 2*k + 5*d = -f*k + 65, -3*d = 6. Is k composite?
True
Let a(o) = -22*o - 11. Is a(-4) a prime number?
False
Let g(d) = -42*d - 10. Is g(-2) composite?
True
Suppose -2*d + 18 + 12 = 0. Let s be (-43)/(-5) + 6/d. Is (318/s)/((-4)/(-6)) a prime number?
True
Suppose -2*t - 30 = 3*t. Is t/2 - 602/(-2) a prime number?
False
Suppose -299 = -3*l + 1594. Is l prime?
True
Suppose 0 = 4*g + 220 - 8. Let n = -34 - g. Is n a composite number?
False
Let c(l) = l**3 + 7*l**2 + 6*l - 3. Let i be c(-6). Let p be ((-4)/i)/(1/(-603)). Is 2/(-6) + p/(-9) composite?
False
Let w = 573 - 1080. Let m = -352 - w. Is m composite?
True
Let y(c) be the first derivative of -27*c**3 - c**2 - c - 1. Let x be y(-1). Let l = -47 - x. Is l a composite number?
True
Suppose 5*u + 0*x = -3*x + 3388, -x + 3386 = 5*u. Is u a composite number?
False
Let g(l) = -31*l - 16. Is g(-9) a prime number?
True
Let n(k) be the second derivative of k**4/12 - 7*k**3/6 + 3*k**2/2 + 3*k. Let g be n(5). Is g/(-28) - (-46)/8 a composite number?
True
Let j = -232 - -587. Suppose 5*d + j = -0*d. Let y = d - -117. Is y a composite number?
True
Suppose -h = -p + 4, -p = -5*h - 6 - 14. Suppose 4*y + 4*l - 724 = 0, p*l - 865 = -5*y + 5*l. Is y prime?
False
Let r = 7 + -4. Suppose -5*g = r*j - 224, 5*j + 3*g - 405 = g. Is j composite?
False
Suppose -5*b = -332 - 923. Is b prime?
True
Suppose 0 = -6*p + p + 2*h - 54, -4*p - 54 = 2*h. Let y be (-13)/(-4) + 3/p. Suppose -2*u - z = -y*z - 412, u + 3*z - 194 = 0. Is u prime?
False
Suppose 0 = 3*p + 9, 2*b + 51 = -3*b - 2*p. Let s(t) = -22*t + 13. Is s(b) a prime number?
True
Let v = 62 - -3. Is v composite?
True
Let d be ((0/2)/(-3))/(-2). Let v(z) = -6*z**2 - 98*z**3 + 0*z**2 + d - 2*z - 1 + 4*z**2. Is v(-1) a prime number?
True
Let v(n) = -30*n + 5. Is v(-6) prime?
False
Let d = -2 - -6. Suppose 2*a = g - 2 + 4, d*g + 5*a = 44. Is (g/(-15))/(1/(-35)) prime?
False
Let p(z) = -z**3 + 8*z**2 + 9*z - 6. Let s be p(9). Is (s - 47)/(-1 - 0) a prime number?
True
Let a = -2 - -5. Suppose -u - 4 = -a*u. Suppose -3*v + u*x + 22 = 0, x + 7 = -2*v - 2*x. Is v composite?
True
Let m(a) = -1. Let j(s) = 20*s - 2. Let l(u) = j(u) + 4*m(u). Let f be l(4). Let c = f - 37. Is c a composite number?
False
Suppose -2*s - 5743 = -5*q - 5*s, 2286 = 2*q + 4*s. Is q a composite number?
False
Let w(u) = -17*u**2 + u**3 - 5 - 17*u + 1 + 6*u**2. Let r(j) = -j**2 - 7*j + 7. Let i be r(-6). Is w(i) a composite number?
False
Let f(b) = 3*b. Let w be f(1). Suppose -w*g - g + 388 = 0. Is g composite?
False
Suppose a = 159 + 286. Is a a prime number?
False
Let s be (27/3)/(-3) - -1. Let o(l) be the third derivative of -3*l**4/8 - l**3/2 - l**2. Is o(s) a prime number?
False
Suppose b - 3*b - 34 = 0. Let y = 48 + b. Is y a prime number?
True
Let t be 3/(12/20) - 2. Suppose l + h - 119 = -h, -t*l + 355 = 5*h. Is l composite?
True
Suppose 2*c - 2*w = 110, -3*w - 267 = -5*c + 6. Suppose -h = -0*h + c. Let i = h + 76. Is i a prime number?
False
Suppose -3*o = -193 - 38. Suppose 0 = 5*l - 98 - o. Is l composite?
True
Suppose 3*l - 4 = l. Is 310/8 - l/(-8) composite?
True
Let n be -1 + (5 - -1 - 3). Suppose 5*l = b + 108, -4*l + 37 = -n*b - 53. Is l a composite number?
True
Let t(k) = -k**3 - 7*k**2 - 7*k - 1. Let r be t(-6). Suppose 6 = 5*w + r*l - 119, 0 = 3*w + l - 77. Let s = w + -3. Is s a prime number?
True
Let i = -13 - -158. Is i a prime number?
False
Suppose -436 = -2*r + g, 2*r = 6*r + 2*g - 880. Is r a prime number?
False
Let b = 63 - -178. Suppose -2*q - 19 = -b. Is q a prime number?
False
Let w(c) be the third derivative of c**7/840 - c**6/720 + c**5/30 - c**2. Let o(l) be the third derivative of w(l). Is o(2) composite?
False
Let a = -2 - 1. Is 7/(a - 34/(-11)) composite?
True
Let b(k) = 15*k**2 - 12*k + 2. Let r(g) = -g**2 - g + 1. Let h(x) = b(x) - 6*r(x). Is h(-5) a composite number?
True
Let m(l) = 6*l**3 - 3*l**2 - l + 3. Let f be m(4). Suppose f = 2*j + 73. Is j a composite number?
False
Let j(v) = -v**2 - 10*v - 10. Let l be j(-8). Let k be 4/l + (-20)/(-6). Suppose -3*r + 0*r = 4*x - 241, 2*r + k*x = 162. Is r a prime number?
True
Suppose -2*q + 2 = -2*b - 14, 2*b + 37 = -5*q. Let w = b + 17. Suppose 17 = l - w. Is l a composite number?
False
Let f(k) = k**3 + 4*k**2 - 2*k - 4. Let j be f(-4). Is (670/j - -3)*2 a composite number?
True
Suppose -4*c + 2*c = -18. Let b be c/(-15) + 13/5. Suppose 3*y - 475 = -b*y. Is y composite?
True
Let r(w) = 20*w**3 - 2*w**2 + 6*w - 1. Is r(7) composite?
False
Let o = 18 + -13. Suppose o*t - 14 = 3*n, 2*t - 16 = -3*t + 2*n. Is -2*(2 - 14/t) a prime number?
True
Let s(n) = 5*n - 4*n - n + 12 + 5*n. Is s(5) composite?
False
Let u(d) = -d**2 - 24*d - 61. Is u(-9) composite?
True
Suppose 0 = -3*z + 2*h + 9241 - 2748, z - 5*h = 2186. Is z prime?
True
Let g be (-4)/(-1 + 2)*-24. Let u = g + -61. Let k = u - 24. Is k a prime number?
True
Suppose -s + 830 = 4*s. Is s composite?
True
Suppose 3 = -c - n + 2, -4*n - 12 = 2*c. Is 100/c + -1 + 2 prime?
False
Let r = 359 - 52. Is r prime?
True
Let a(c) = c - 12. Let y(q) be the third derivative of q**4/12 - 13*q**3/6 - 2*q**2. Let x(k) = -3*a(k) + 2*y(k). Is x(0) composite?
True
Is ((-1194)/4)/((-6)/8) a composite number?
True
Suppose -i = 2*s, -s = -4*i - 0*i. Let x = 7 + i. Is x a prime number?
True
Let n(q) be the second derivative of q**5/20 + 5*q**4/12 - q**3/6 + 5*q**2/2 + 14*q. Suppose -g + 0*x - 3*x - 13 = 0, -2*g - 4*x = 20. Is n(g) prime?
False
Is 3029 + 0 - 6/(4 - 1) prime?
False
Suppose 5*r + 8 = 33. Suppose x - r*f = 112, 2*f + 129 = x + 32. Is x a composite number?
True
Let y(h) = -3*h**3 - 7*