Let o(m) = m**3 + 9*m**2 - m - 5. Let u be o(-9). Suppose h = u*h - 381. Is h prime?
True
Suppose 30 = 5*z - 0*z. Let p be (-1)/(4/z - 1). Suppose x + 64 = w, -w + 56 = p*x + 12. Is w prime?
True
Let v(a) = -2*a**3 - 2*a**2 + 2*a + 3. Let z be v(-3). Is (0/(-3))/(-1) + z a prime number?
False
Let j = 7 - 4. Suppose -3*h - 2*h - 4*k - 13 = 0, -k = j*h + 5. Is (h + 0 - 0) + 48 a prime number?
True
Let p be (2/(-4))/(2/(-36)). Suppose -4*l + p = -l. Suppose -x + 508 = l*x. Is x a composite number?
False
Suppose 0 = 3*c - 236 + 8. Let z(m) = 21*m - 3. Let b be z(2). Let x = c - b. Is x a composite number?
False
Let g(k) = k**3 - 7*k**2 - 7*k + 12. Is g(11) a composite number?
False
Let y = 1634 - 817. Is y a composite number?
True
Is (594 - 1) + (-20)/10 composite?
True
Let f = -2408 - -3805. Is f prime?
False
Let d = 447 + -237. Suppose -r + d = r. Suppose -3*y - r = -3*f, y - 140 = -2*f - 2*f. Is f composite?
True
Is (-1219)/(-3 + 10/(-5)*-1) a prime number?
False
Suppose y + 2*x - 1085 = 0, 1090 = y - 0*y - 3*x. Is y a prime number?
True
Let o = 712 + 1531. Is o composite?
False
Let z be 5/(-2)*(-16)/5. Let u(h) = -h**2 + 7*h + 10. Is u(z) composite?
False
Let f be 4 - (3 + 2/(-2)). Suppose -f*c = k - 24, 4*k = -c - 2*c + 31. Suppose -4*a + c = -207. Is a composite?
True
Let p(h) = 19*h**2 + 4*h - 5. Let d be p(-4). Suppose -5*s + 1402 = -d. Is s prime?
True
Let s = -103 + 290. Is s composite?
True
Suppose -199 = -o + b - 2*b, 5*o + b = 995. Is o composite?
False
Let o(z) = z**3 + 4*z**2 - 7*z + 4. Suppose 0 = -2*l + 5*k - 21 + 4, -3*l - 14 = 4*k. Let h be o(l). Let d = 8 - h. Is d composite?
True
Suppose 0*w + 178 = 2*w. Is w composite?
False
Let a(t) = -96*t**3 - t**2 + t. Let i be a(1). Let d = -10 - i. Is d prime?
False
Let l(o) be the first derivative of o**4/4 + o**3/3 + o**2/2 - 26*o + 1. Let s be l(0). Let g = s + 93. Is g prime?
True
Let j(l) = l - 4. Let w be j(5). Let y be -2*w*-31*3. Let b = y + -101. Is b composite?
True
Let a(p) = -3*p. Is a(-3) a composite number?
True
Suppose -1003 = -5*b + 2*z, -z = -3*b - 2*z + 604. Is b a prime number?
False
Suppose -16453 = -5*l - 2*j, -4*l + 0*j + j + 13165 = 0. Is l prime?
False
Let p = 3 + -2. Is 284/8 - p/2 prime?
False
Let q(k) = -20*k - 9. Is q(-11) prime?
True
Suppose 1 = 3*r - 2. Let d(c) = 134*c**3 - 1. Is d(r) a prime number?
False
Let u(p) = -p**3 - 11*p**2 - 12*p + 13. Is u(-10) a prime number?
False
Let m(l) = -l**3 - 8*l**2 - 2*l - 7. Let q be 8/(-1)*(-4 - -5). Let f be m(q). Suppose 5*g + 3*r + f = 209, 5*g = -r + 190. Is g composite?
False
Suppose 5*m = -2*n - 2*n - 10, 0 = 2*n + 10. Let l(a) = 48*a + 1. Is l(m) composite?
False
Let y be (-4404)/(-20) - (-1)/(-5). Suppose 4*c - 288 = y. Is c a prime number?
True
Suppose 12 = -2*k + 6*k. Let c(b) = 33*b + 4. Is c(k) composite?
False
Suppose -5*c + 429 = 3*q, -2*c - 5*q + 164 = -19. Suppose z - 6*z + 2*g + 140 = 0, 4*z = -4*g + c. Is z a prime number?
False
Suppose 3*r = 5*h + 187, -3*r + 45 = -4*h - 107. Is 1/((-4)/16) - h a prime number?
True
Let x = -1181 + 2238. Is x composite?
True
Suppose 5*d - 4 = -29. Let u = d + 1. Is (1 + (-15)/u)*4 composite?
False
Suppose -3*f + 3*m = -480, -3*m = -4 + 1. Suppose -z + f = 2*z + 4*d, -221 = -4*z + d. Is z a prime number?
False
Let h(u) be the second derivative of u**4/4 + u**3/2 - 5*u**2/2 + u. Is h(-5) prime?
False
Is (-8)/(-6)*381/2 a composite number?
True
Suppose 2*w = 7*w + 205. Let z = 56 - w. Is z a composite number?
False
Let l(w) be the second derivative of -2/3*w**3 - 1/10*w**5 + 0 + 3/2*w**2 - 3*w - 5/12*w**4. Is l(-4) a composite number?
False
Let y be -127*(-6 - -3)/3. Let u = -76 + y. Is u a composite number?
True
Let t(h) = 5*h**3 + 2*h**2 - 2*h - 5. Is t(6) a prime number?
False
Let r(j) be the second derivative of -j**4/6 - 7*j**3/6 + 5*j**2/2 + j. Let u be r(-7). Let w = 75 - u. Is w a prime number?
False
Let l be 40/(-16)*8/(-5). Suppose 4*y + 7*p - 2*p = 194, 0 = y - l*p - 38. Is y prime?
False
Suppose -486 - 1009 = -5*h. Is h a prime number?
False
Suppose 358 = l + 27. Is l a prime number?
True
Let b = -271 + 790. Is b composite?
True
Let d be 2 + 2 + (0 - -3). Let f = d + -4. Suppose -3*r - 27 = -f*s, -9 + 0 = -s - 2*r. Is s prime?
False
Suppose z = -3*u + 434, 0 = -z + 4*u + 217 + 238. Is z composite?
False
Let p(i) be the first derivative of i**3/3 + 3*i**2/2 - 5*i - 1. Let u(c) = -c - 4. Let b be u(-8). Is p(b) a prime number?
True
Suppose -2*m - 4*u + 341 = -461, 4*m = -u + 1597. Suppose -2*v + 2*d + m = 3*v, -5*d - 10 = 0. Is v prime?
True
Suppose 406 - 1042 = 3*m. Is m/(-6) + (-1)/3 composite?
True
Suppose 4*k = 2*s + 3*s - 7, -4*k = -s + 11. Let r(j) be the first derivative of -5*j**2/2 + j + 1. Is r(s) prime?
False
Let t(d) be the second derivative of -7*d**6/72 - d**5/120 + d**4/12 + 2*d. Let q(k) be the third derivative of t(k). Is q(-1) prime?
False
Let x = 587 - -2694. Is x composite?
True
Let v = 78 - -145. Is v a prime number?
True
Let k = 1210 + -627. Is k prime?
False
Let j = -328 - -164. Let b be ((-2)/4)/((-2)/j). Let y = -22 - b. Is y prime?
True
Let a(l) = l**2 + 5*l + 4. Let t be a(-5). Let j(v) = 5*v + 4. Let p be j(t). Let d = 130 - p. Is d a prime number?
False
Let c(z) = 311*z**2 + 2*z. Is c(-1) a prime number?
False
Suppose 4*w = g - 1061, 5*g + 4*w - 4284 = g. Is g composite?
False
Let s = 521 - -342. Is s composite?
False
Let d(l) = 28*l - 17. Is d(10) prime?
True
Let y(v) be the first derivative of v**5/20 + v**4/24 - 2*v**3/3 + 2. Let z(n) be the third derivative of y(n). Is z(3) a prime number?
True
Let c = 4 + -9. Let k(u) = u**2 - 7. Let n be k(c). Let r = 77 - n. Is r a composite number?
False
Suppose 0*b - 5*m = -b + 19, -3*b + 6 = 2*m. Suppose -5*f = -b*x + 3, -3*x + 8 + 3 = 5*f. Is x prime?
True
Let k(y) = y**2 + 7*y - 2. Let n be k(-7). Let d = n - -4. Suppose -4*h + 192 = -d*q, -4*h - 4*q = -48 - 132. Is h composite?
False
Suppose 3*y - 130 = -2*g, y - 41 = -3*g - 0*g. Suppose 9 = -s + y. Is s composite?
True
Let q(p) = -38*p - 10. Is q(-12) composite?
True
Let v = 0 + 6. Suppose -2*x + 5*k + v = -103, 4*k + 112 = 2*x. Suppose 4*r - x = 214. Is r a composite number?
True
Let p = -12 + 18. Suppose 0 = 6*t + p - 1224. Is t a composite number?
True
Suppose 8 = -2*r - 6. Let w be 161/49 - (-2)/r. Suppose -12 = w*m, f - 27 = -0*f + 3*m. Is f a prime number?
False
Let x(r) = r**3 + 27*r**2 + 14*r + 1. Is x(-15) composite?
True
Suppose -2*z = -6*z + 308. Suppose 0 = -4*h - 21 + z. Is h a prime number?
False
Let w(x) = -9*x - 4 + 2 + 1. Let i be w(-3). Suppose -i = -3*p + 43. Is p composite?
False
Let z = 7 - -12. Is z composite?
False
Let r(p) = p + 3. Let j be r(-4). Let k(f) = 99*f. Let w be k(j). Let v = -46 - w. Is v a prime number?
True
Suppose 4*c - 876 = c. Let d = c + -189. Is d a composite number?
False
Suppose 0*r = 5*r - 1055. Is r composite?
False
Is (-1560)/(-7) - (-2)/14 prime?
True
Let t be (6/(-2))/(4/36). Let s(f) = f**3 - 5*f**2 - 4*f - 6. Let l be s(6). Is 1451/9 + l/t a prime number?
False
Let l be (-2)/(-3) - 3829/(-21). Suppose -3*b + l = -4*w, -b = -2*b - 3*w + 61. Let f = b - 30. Is f composite?
False
Let m(r) = -74*r + 3. Let z(v) = -15169*v + 616. Let o(d) = 616*m(d) - 3*z(d). Let y(i) = -i. Let s be y(1). Is o(s) prime?
False
Let y = -432 - -2275. Is y a prime number?
False
Suppose -4*u = -9*u + 1585. Is u prime?
True
Let z = 22 + -17. Suppose -3*r + 2*i + 2*i = -99, -33 = -r + z*i. Is r composite?
True
Suppose -6 = u - 1. Is 2 + (0 - u/1) a composite number?
False
Suppose 37 = 4*o - 5*y + 11, 4*o - 12 = -2*y. Suppose 0 = 2*g - o*g + 50. Is g composite?
True
Let t(p) = -p - 4. Let h be t(3). Let a = h + 13. Is -14*((-15)/a - -1) a prime number?
False
Suppose 4*c - 444 = -8. Let z = -56 + c. Is z a prime number?
True
Let b = -23 - -21. Is 3/b*130/(-15) composite?
False
Suppose -5*a = -493 - 292. Is a a composite number?
False
Let q(t) = -2*t**3 + 0*t**3 + 5 + 7*t**2 + 3*t**3. Suppose 4*a - 2*v + 3*v = -21, 5*a = 5*v + 5. Is q(a) a composite number?
False
Suppose 0 = -14*l + 15*l - 521. Is l a prime number?
True
Let y(k) = -4 + 2*k**3 + 6*k**2 + 2*k - 3*k**3 - 1. Is y(4) composite?
True
Suppose 0 = 2*a - a - 5. Let b be -5 + a - (0 + -5). Suppose -278 + 913 = b*v. Is v a composite number?
False
Let z 