 -w**3 + 4*w**2 + 7*w - 9. Let y(m) = 2*m**3 - 9*m**2 - 15*m + 19. Let a be 12/5*(-15)/(-6). Let d(p) = a*y(p) + 13*r(p). Is d(-4) composite?
True
Let y be 11/5 - 3/15. Suppose 0 = j + y - 1. Is -1 + 13 + 1/j a prime number?
True
Suppose -5*r = -4*r - 233. Is r a prime number?
True
Let g be (-1)/(4/(-1356)*-1). Is g/(3*3/(-6)) a prime number?
False
Suppose -3*x = -t - t + 24, -3 = -2*x - 5*t. Let z = 11 + x. Suppose -z*f + 24 = -41. Is f a composite number?
False
Let j = 12 + -6. Let l(z) be the first derivative of z**3/3 - z**2 + 9*z - 5. Is l(j) a composite number?
True
Suppose -v + 3*x + x = -602, 5*x = -v + 593. Suppose 8*k - 4*k - 2*s - v = 0, 0 = 2*k + 3*s - 295. Is k a prime number?
True
Suppose 3*y + 4*b - 5 + 2 = 0, -5*y = 2*b - 5. Is (y - (-2)/2) + 5 prime?
True
Suppose -z - 14 = 3. Let b = 5 - z. Suppose -3*j = 3*p - 66, p - b = -j - 2*p. Is j composite?
True
Let w(m) = 4*m**2 + 5*m + 9. Let r be w(-4). Suppose 2*k - r = 121. Is k prime?
False
Is (-999)/(-6) + 5/10 prime?
True
Let i be ((-8)/5)/(18/(-855)). Suppose 4*u = -0*u + i. Is u prime?
True
Let s = 1996 + 901. Is s a prime number?
True
Let w(f) = -f**3 - 7*f**2 - 8*f - 3. Let p be w(-6). Suppose -p + 2 = -r. Is r composite?
False
Suppose 0*p - 337 = -4*r + 3*p, -3*r + 260 = 5*p. Is r a prime number?
False
Suppose -24 = 5*j - 79. Let z = j + -6. Suppose -z*c - 3*o = -174, -4*c + 5*o - 4*o + 129 = 0. Is c a composite number?
True
Suppose -2*x - 4 + 6 = 0. Is (-814)/(-2 + x + -1) a prime number?
False
Let f(p) = p**3 + p**2 - 8*p - 4. Is f(5) prime?
False
Let r be 2 + 1 - (-3 - -4). Suppose -2*k + 2*o = -76 + 8, 5*o - 89 = -r*k. Is k composite?
False
Suppose y + 2 = 3. Is 15 - (0 + 1)*y a composite number?
True
Suppose -2*o = o - 543. Suppose o = 5*y - 4*w, 0*y + 5*w - 116 = -3*y. Is y prime?
True
Suppose x + 396 = 3*x. Let r be (-1)/(x/201 - 1). Suppose 0 = -4*y + r + 17. Is y a prime number?
False
Let a(j) = j**2 + 14*j + 20. Let t be a(-12). Let b(d) = 16*d**2 - 7*d - 2. Let x(r) = 8*r**2 - 3*r - 1. Let f(n) = -3*b(n) + 7*x(n). Is f(t) prime?
True
Suppose 9 = -3*l + 18. Suppose l*n - 59 = 196. Is n prime?
False
Let d(p) = -p - 7. Let k be d(-9). Suppose 15 = 3*u, u = g - k*u + 10. Suppose 0 = g*y + 46 - 491. Is y composite?
False
Let z(x) = 2*x**2 + 6*x - 1. Let b = 5 - 1. Is z(b) prime?
False
Let p(w) = -w**3 + 6*w**2 + 8*w - 9. Let g be p(7). Let z(h) = -88*h**3 - 2*h**2 - 2*h + 1. Is z(g) a composite number?
False
Let r = 4 + -6. Let h(g) = -12*g**3 - 2*g**2 - g + 1. Is h(r) composite?
True
Let s(c) = -c**3 - 4*c**2 - 2*c - 5. Let h be s(-4). Let u(t) = -5*t + 3*t + t**h - 1 - 5*t**3. Is u(-2) a composite number?
True
Suppose q - 5*v = -16, -4*v + 7 = -2*q - 1. Suppose -8 = q*p, 3*n - 3*p + 16 = 43. Is n prime?
True
Suppose 0 = -4*y - 20 - 0. Let i = -2 - y. Suppose 5*k - k = -i*l + 101, 3*l - 5*k = 83. Is l composite?
False
Let k(x) = -x**3 + x**2 + x + 1655. Is k(0) prime?
False
Let d(q) = q - 3. Let v be d(7). Suppose 5*r - 5 = 0, 2*r = -v*w - 64 + 190. Is w composite?
False
Suppose 3*a - 3 = 12. Let c = 19 - a. Is c prime?
False
Suppose 3*o + 5*t = 18, 5*t = 5*o - 0*t + 10. Suppose 7*j = 2*j - 5*l - 165, 4*j - l = -157. Is (-2 + o - j) + 0 composite?
False
Suppose 2*f + f + 4*q - 1093 = 0, 0 = -2*f - 4*q + 734. Is f composite?
False
Suppose -6 = -u + 3*a, 0 = -u + 4*a - 0 + 9. Is 36 + (-4 - u) + 2 prime?
True
Let k = -3 - -7. Suppose 0 = 2*y - k*y + 40. Suppose 0 = -v + 53 - y. Is v a composite number?
True
Let q(c) = -c**2 - 14*c - 1. Let l(v) = v**2 + 13*v + 1. Let w(m) = 5*l(m) + 4*q(m). Is w(-10) prime?
True
Suppose -3*r + 531 = -0*r. Suppose -2*a + r = a. Is a a composite number?
False
Let y(f) = 9*f + 4. Is y(2) a composite number?
True
Let r = -105 + 218. Suppose 5*p + r = 3*j + p, 5*j + 4*p = 135. Is j a composite number?
False
Suppose -4*h - 4*u + 14 = -h, 5*u - 16 = -3*h. Let t = -140 - -140. Suppose -h*f + 11 = y, t = 4*y - 2*f - 120 + 36. Is y a composite number?
False
Let v be (1 - -1)/((-14)/(-287)). Let p = v + 12. Is p a composite number?
False
Suppose -14*q + 19*q - 995 = 0. Is q a prime number?
True
Let r = 40 + -28. Let k = 12 - -16. Is 1/(-3) + k/r prime?
True
Suppose -2*f = -4*f + 6, -4*u + 2*f + 14 = 0. Is (85 - 0) + u + -5 prime?
False
Let n = 6387 + -1034. Suppose 4*w - c = -2*c + n, -4*w - 5*c = -5373. Is w composite?
True
Suppose 0 = 9*l - 4*l - 2045. Is l prime?
True
Let k = -15 + 12. Let u(l) = -101*l - 2. Is u(k) a composite number?
True
Let b(r) = -29*r + 7. Is b(-4) a prime number?
False
Let n(j) be the second derivative of -j**5/20 + j**4/3 + j**3/3 - 3*j**2/2 + 3*j. Let q be n(4). Suppose -4*a - 2*c = -q*c - 269, c - 257 = -4*a. Is a prime?
False
Suppose 7*n - 3*n + 2*v - 16 = 0, -2*n + 2*v = 4. Suppose n*m = -b - 41, 111 - 44 = -4*m + 3*b. Let u = m - -38. Is u a composite number?
False
Suppose 5*l - 216 - 869 = 0. Suppose x - l = 22. Is x composite?
False
Let b = 1 - 1. Suppose b*r - 5 = -r. Let c(i) = 2*i**3 - 4*i**2 + 2*i + 3. Is c(r) prime?
True
Let n = -30 + 44. Is 0 + (-2)/((-4)/n) a composite number?
False
Let j(p) = 294*p**2 - p. Is j(-1) a prime number?
False
Is (-82032)/(-32) - 1/2 a composite number?
True
Let a = 1066 - 757. Is a a prime number?
False
Suppose -3*r - 17 = -3*q - 2*r, -3*r - 6 = 0. Suppose -q*x - 44 = -4*c, 4*c - 2*x = 2*c + 22. Suppose -39 = -2*v - c. Is v prime?
False
Suppose -4*a = 3*a - 4375. Let f = -374 + a. Is f prime?
True
Let g(t) = 10*t**2 - 10*t + 3. Is g(6) composite?
True
Suppose -4*a = -106 - 174. Let m = a - -79. Is m a prime number?
True
Suppose 0 = -m + 5*x + 490, 0*x + 2011 = 4*m - 3*x. Is m prime?
False
Let j be ((-5)/2)/((-2)/4). Let d(l) = 14*l + 6 - 4*l - 7. Is d(j) a prime number?
False
Let t(r) = -151*r + 16. Is t(-3) a composite number?
True
Suppose 0 = 7*w - 4*w - 447. Is w composite?
False
Let q(u) = u**2 - 2*u - 5. Let t be q(4). Suppose -t*d = -709 - 212. Is d prime?
True
Suppose -3*o = -0*o - 6. Suppose -6 + o = -i, 0 = -r - 3*i + 77. Is r composite?
True
Let y be (-42)/(-35)*20*2. Is 10212/y - (-1)/4 a prime number?
False
Is 11739/35 + 2/(-5) composite?
True
Let p(j) = 3 - 171*j - 7 + 7. Is p(-4) a prime number?
False
Let l = 136 + -12. Suppose -a + 5*v + 80 = 0, 0 = -3*a - 2*v + 31 + l. Is a a composite number?
True
Is (-236)/(-6)*(-48)/(-32) composite?
False
Let u(n) = -5*n - 4. Let l be u(-4). Let g(h) = l*h - 3 - 3*h + 2. Is g(3) composite?
True
Let p(g) = g**3 - 3*g**2 + 8*g - 7. Let z be p(5). Suppose 2*w - 735 - z = 0. Is w prime?
True
Suppose 3960 = 4*r + 2*t, -6*r + 2969 = -3*r + 2*t. Is r a composite number?
False
Let p = -20 - -20. Suppose p = 4*g - 3*g - 287. Is g prime?
False
Is ((-5)/4)/(-4 + 9532/2384) prime?
False
Let k = 11 - 6. Suppose 5*u + 5*n + 180 = 0, 2*u + k*n - 31 = -118. Let r = u + 54. Is r composite?
False
Suppose 5*w - w - 52 = 0. Suppose 2*t - 9 = -23. Let g = w + t. Is g composite?
True
Suppose -3*i = 101 - 359. Suppose -4*a + i = -186. Suppose -5*p = a - 193. Is p a prime number?
False
Suppose -5*f + 2*f = -9. Suppose 35 - 266 = -f*m. Is m/4*(5 + -1) a composite number?
True
Suppose 14 + 19 = 3*c. Is c composite?
False
Let n(l) = -37*l. Let i be n(-2). Let g be 4/(-6)*6*i. Is 0/2 + g/(-8) composite?
False
Let c be -20*(1 + 239/(-4)). Suppose 5*z - 1459 = 2*m, -3*z - z + c = m. Is z prime?
True
Let u(h) = 14*h + 5. Let x = -3 - -9. Is u(x) composite?
False
Let j(r) = -r**3 - r**2 + 5*r + 1. Is j(-8) a prime number?
True
Let j(n) = -2*n**3 - 3*n**2 + 4*n + 4. Let c be 0 + 1*(-1 + 1). Let b = -3 + c. Is j(b) a composite number?
False
Let n(k) = -k**3 - 15*k**2 - k - 11. Is n(-18) composite?
True
Suppose -2*k = -3*k + 9. Let p be k/3 - (2 - 1). Suppose h - 111 = -p*h. Is h composite?
False
Suppose 2*m + 12 = -2*m. Let p(i) = -7*i + 4. Let z(o) = 6*o - 4. Let a(y) = 5*p(y) + 4*z(y). Is a(m) prime?
True
Let o(h) = 92*h**2 - 2*h + 1. Let p be o(2). Let f = -206 + p. Is f a composite number?
True
Suppose 4*v - 2*m - 220 = 0, -v + 5 + 50 = 3*m. Is v a composite number?
True
Let u = 115 + -56. Is u composite?
False
Is 7/2*-127*-2 composite?
True
Let p(o) be the second derivative of -o**4/12 - o**3/6 + 35*o**2/2 + 3*o. Is p(0) a prime number?
False
Let g(a) = -2*a**2 - a + 2*a + 7*a**2. Let c be g(-1). Suppose l + c*l - 170 = 0. Is l composite?
True
Is (