w(m) be the first derivative of -m**4/4 - 3*m**3 - 11*m**2/2 - 7*m + 3. Let f be w(-7). Is (-50)/(-8) - 21/f a prime number?
True
Suppose -5*i - 5*z + 45 = 0, 4*i - 4*z = -2*z + 42. Is (i/(-8))/(3/(-348)) prime?
False
Let x(n) = -n**3 - n**2 - n. Let q be x(0). Let l = -3 + 8. Suppose q*z + l*z + 16 = 2*k, z + 5 = k. Is k composite?
False
Let u(g) = g**3 + 16*g**2 + 7*g + 1. Let d be u(-6). Suppose 5*c = 2*w - 0*w - 157, 0 = -4*w + 5*c + d. Suppose -w - 235 = -4*s. Is s prime?
True
Let a be (-236)/(-9) + 6/(-27). Suppose s + s - a = 2*i, 17 = s - 3*i. Is s prime?
True
Suppose 3*l = l + 2. Let o be (-1 + l)*(-4 - -3). Is 22 - (-2 + (1 - o)) composite?
False
Let y be 4*(2 + (-3)/6). Suppose g + 151 = -4*c, 3*g - y = c + 48. Is (c/(-6) + -3)*14 prime?
False
Let l(x) = 92*x + 27. Let r(n) = 61*n + 18. Let z(k) = -5*l(k) + 8*r(k). Is z(7) composite?
True
Is ((-2946)/8 + -1)*(0 + -4) prime?
False
Suppose -4*b + 150 = 50. Suppose -c + 2 = j + 21, -c + 5*j = b. Is (268/c)/(1/(-5)) prime?
True
Let i = 1688 - 65. Is i composite?
True
Suppose -4*y = -142 - 382. Is y a prime number?
True
Let l(p) = p - 4. Let h be l(6). Is (-147)/(-4) - h/(-8) a composite number?
False
Suppose -6 - 3 = -3*t. Let k(w) = -5*w**t - 5 + 14*w + 4 + 6*w**3 + 12*w**2 - 1. Is k(-10) prime?
False
Let h = -1552 + 2405. Is h a prime number?
True
Let p be 7*-1*(-3 - 56). Suppose 5*a + 4*o - p = -64, -5*o = 2*a - 143. Let x = a - 30. Is x a composite number?
True
Let d be (10/(-5))/((-3)/63). Let z = d - -41. Is z a composite number?
False
Let d = 7 - 11. Let k(c) = 3*c + 5. Let r be k(d). Let m(u) = 2*u**2 - u + 10. Is m(r) composite?
True
Let a be (-329)/49 - 4/14. Let n be 0 + -1 - (a - 9). Let l = 82 - n. Is l composite?
False
Let r = -101 - -498. Is r a prime number?
True
Let o = 11 + 22. Is o composite?
True
Suppose -2*u + 4 = 2. Let h = -1 - u. Let f = 4 + h. Is f composite?
False
Let g(p) = 10*p**2 - 4*p + 3. Let x = 9 + -7. Is g(x) composite?
True
Let d = -3 - -21. Suppose -u + 44 = -4*x - 5*u, 2*u = 3*x + d. Let z = 7 - x. Is z composite?
True
Let n(w) = -w + 35. Let z be (-2)/(-11) + (-12)/66. Is n(z) a prime number?
False
Suppose 2*c + 236 = i + 59, -197 = -i - 3*c. Is i a prime number?
False
Suppose -3*r = -254 + 53. Is r composite?
False
Suppose l = 865 + 286. Is l a prime number?
True
Let b be (-13)/(-3) - (-2)/(-6). Suppose 0 = 4*r + 6 - 2, 2*s - b*r = 1342. Is s a composite number?
True
Suppose 0 = 4*v - 3*v + 2. Let z = 2 - v. Is z a prime number?
False
Is (-112)/(-3) - 6/18 a prime number?
True
Suppose f = -a + 513, -2*a + 7*a = 3*f + 2597. Is a a composite number?
True
Let j = 20 - 2. Suppose -j = 2*m - 4*b, -4*m + 8*b = 3*b + 27. Let u(d) = 11*d**2 + d + 1. Is u(m) prime?
True
Suppose -5*a + 1000 = -0*a. Suppose 4*c - 36 - a = 0. Suppose 4*s + 4*t - 44 = 0, -3*t + c = -2*s + 7*s. Is s a prime number?
True
Let t be 0 + 1 + 0 + -1999. Is t/(-24) + 2/(-8) prime?
True
Let m = -3 + 40. Is m a prime number?
True
Suppose 498 = 3*r - 2*y - 527, r - 330 = 3*y. Suppose r = 2*c + 3*c. Is c a prime number?
False
Let u be -108 - 3/((-9)/6). Let r be u/(-1)*2/(-4). Is (r/2)/((-3)/6) composite?
False
Suppose 2*r = 2*u - 16, -r - u - 4 = 2*r. Is (-6 + -2 - r)*-11 a prime number?
False
Let y be -95*4*4/16. Let d = 172 + y. Is d a composite number?
True
Let u = 207 - 120. Is u a composite number?
True
Let k(c) = -19*c**3 - 4*c**2 - c + 3. Is k(-2) a prime number?
False
Suppose 0 = -3*n + 5*p + 66, 3*n = 3*p + 81 - 21. Let o = 2 + n. Is o a composite number?
False
Suppose -2*g + g + 5*d + 24 = 0, -4*g + 3*d + 28 = 0. Suppose -k - j = -23, g*j - 3 = 5*k - 145. Is k a prime number?
False
Suppose 3*g + 3 = -0*g. Let o(h) = 14*h**2 - h - 1. Is o(g) composite?
True
Let h = 6 - 4. Suppose 0*w = -2*w - h*n + 186, -5*n = 4*w - 372. Is w a prime number?
False
Let n(u) = -u + 16. Let j(c) = -c - 6. Let v be j(4). Is n(v) composite?
True
Suppose 2*h = 2*m - 76, 4*m - 190 = 4*h + h. Suppose -69 = 2*b - b. Let y = h - b. Is y a prime number?
True
Let c(h) be the second derivative of -h**5/20 - h**4/4 - 7*h**3/6 - h**2 - h. Suppose 35 = -5*n + 5*d, -3*n - 4 = 2*d + 7. Is c(n) composite?
False
Suppose 2 = -0*n + n. Let u be 3/1*(n - 1). Suppose 3*s + p = -2*s + 32, -2*s + 5 = u*p. Is s composite?
False
Suppose -2*g + 74 = 2*t + 2*t, 0 = 5*g + 3*t - 213. Suppose -3*j = -6*j + g. Is -2 + j/(-2 + 3) a prime number?
True
Let q(j) = j**2 + 2*j - 3. Let k be q(2). Suppose 13 + 282 = k*i. Is i prime?
True
Let u = -6 - -8. Suppose -u*t - 7 = -189. Let l = 170 - t. Is l a prime number?
True
Let a be (0 + -4)/(2/(-5)). Let w be 4/10 + 206/a. Is w - (-2 + 0 + 2) prime?
False
Suppose -1 - 4 = -5*g, 4*k + g - 9 = 0. Suppose -k*z - 1481 = -h + 3*z, 5*z - 1481 = -h. Is h a composite number?
False
Suppose 5*o = 8*o - 159. Is o composite?
False
Suppose -9 = -3*d + 5*n, 10*d - 5*d + 7 = n. Let g = d + 26. Let h = 58 - g. Is h composite?
True
Is (3594 - 1) + 0*4/24 prime?
True
Let a(u) = u**3 - 10*u**2 + 8*u - 9. Suppose 2 = -2*i + 4*g, 5*i - 49 = 2*g - 14. Let p be a(i). Let r = p + 95. Is r a prime number?
False
Let g be 7 - ((-5 - -3) + 5). Suppose -4*u - 6 = -4*s + 14, 4*s + 3*u - 6 = 0. Suppose g*y + s*x = 37, 4*y - 16 = -x + 5*x. Is y composite?
False
Let f(a) = -a - 9. Let w be f(-7). Suppose 5*s + 31 + 325 = -3*q, -3*s + 5*q = 234. Let n = w - s. Is n composite?
False
Suppose 0 = y - 3*y - 4*q - 14, 11 = -y - 4*q. Is y/(-15) - (-1002)/15 a prime number?
True
Is 123 - (-2 - (3 + -7)) a prime number?
False
Let w(k) = 32*k**2 + 9*k - 24. Is w(9) a prime number?
False
Let u be 62/(-4)*(-6 - -4). Let p = 66 - u. Is p composite?
True
Let l be ((-35)/10)/((-1)/2). Suppose -l*p + 4*p = -102. Is p a prime number?
False
Suppose 0 = 4*j, 0*j = -3*v + j + 135. Suppose -t + 15 = f, -5*f = -4*t - t - v. Is f*2*(-33)/(-24) composite?
True
Is (-3)/(2/(-446)*3) a prime number?
True
Let w = 36 - 86. Suppose i - 6*i + 435 = 0. Let u = w + i. Is u prime?
True
Suppose 4*p - 2*p - 22 = -4*b, b = -p + 7. Suppose 5*v + 2*r + 0*r - 195 = 0, -b*v - 2*r + 156 = 0. Is v prime?
False
Let z(g) = -36*g - 1. Let a be z(-3). Let c = a - 48. Is c prime?
True
Let v(n) = -n**2 - 9*n - 8. Let p be v(-7). Suppose -2*l = -p*l + 596. Is l prime?
True
Let q = -9 + 9. Suppose 2*m - m - 201 = q. Is m composite?
True
Let v be 14*(-4 + 534/21). Let k be (-222)/(-4)*30/9. Let q = v - k. Is q a prime number?
False
Let d be 78/24 - 3/12. Suppose d*y - 59 = 2*b, -y + 49 - 11 = 3*b. Is y composite?
False
Is 1152 - 5 - 4/(2/(-2)) composite?
False
Suppose 2147 = 5*d - 2298. Is d composite?
True
Suppose -721 + 194 = -y. Let k = y + -324. Is k a composite number?
True
Let v(i) = -2*i**2 + 20*i - 2. Let o(j) = j**2 - 13*j + 1. Let s(k) = -8*o(k) - 5*v(k). Let u be s(-2). Is (u/(-6))/(2/(-474)) a prime number?
True
Is 12592/20 + (-36)/(-15) + -3 a composite number?
True
Let s(l) = -l. Is s(-7) prime?
True
Suppose -35*u = -33*u - 7190. Is u a prime number?
False
Let w = -56 + 25. Let d = -7 - w. Suppose -d = -c + 23. Is c a prime number?
True
Let y(l) be the first derivative of 14*l**3/3 - l - 2. Let c(g) = 4*g. Let i be c(-1). Is y(i) a composite number?
False
Let r = 3 - -1. Suppose 0 = r*u + u - 955. Is u a prime number?
True
Let r = 7 - 7. Suppose 2*x - 7*x + 175 = r. Is x prime?
False
Suppose -3*r = -24 - 21. Let c = r + -1. Is c composite?
True
Let a be 1/((-1)/(-4)) - 1. Let h(m) = 2*m - 10. Let c be h(7). Suppose c - 121 = -a*b. Is b prime?
False
Let a = 12 + -49. Is (-3 - -1)*a/2 composite?
False
Let q(r) = 185*r**2 - 15*r - 13. Let b(t) = -92*t**2 + 7*t + 6. Let o(f) = -13*b(f) - 6*q(f). Is o(1) composite?
True
Suppose 0 = -0*r + r - 111. Is r composite?
True
Let z(a) = -a - 2. Let t be z(-4). Is -4 + t + (1 - -36) composite?
True
Suppose -38 = -3*l + 100. Suppose -2*h - 2*w + l = 0, -w - w - 54 = -2*h. Is h a prime number?
False
Let s(r) = r**2 + r + 487. Let t(x) = x**2 + 8*x - 9. Let a be t(-9). Is s(a) a composite number?
False
Let m(u) = -u**3 - u**2 + 6*u + 7. Let d be m(-5). Let f be (-2)/2 + (-6 + 5)*43. Let o = f + d. Is o a composite number?
True
Suppose -v = -r - 56, 4*r = -0*r. Suppose h - v - 334 = 0. Suppose 0 = 5*o + t - h, -2*o - o = 2*t - 227. Is o composite?
False
Is 0 + 0 + 1*223 a prime number?
True
Suppose 0 = -3*g - 2*g - 55. L