5*x**3/6 + 2*x**2. Let a(k) = -k + 1. Let w(l) = -5*a(l) - m(l). Is w(-3) a prime number?
False
Let a(m) = -13*m**2 + 0 - 1 + 133*m**2. Is a(1) composite?
True
Let q = 2374 - 515. Suppose 229 = -5*z + q. Is (-2)/7 - z/(-14) a composite number?
False
Let j = 627 - 232. Suppose -4*a + 249 = -j. Is a a composite number?
True
Let q be 64/28 - 2/7. Suppose q*x - u - 591 = 2*u, -u = -3*x + 876. Suppose -3*a + x = -0*a. Is a a composite number?
False
Let y = 360 + -139. Is y a composite number?
True
Let u = -73 - -1115. Is u prime?
False
Let s = 62 - 44. Let q be s/2 + 0/4. Is 2/q - 223/(-9) prime?
False
Suppose -2*z = 5*f - 150, f = -3*z - 2*f + 234. Suppose 5*n - 375 - z = 0. Is n prime?
False
Suppose j - 12 = -2*j. Let k be (-6)/(-4)*(j + -2). Suppose -239 + 2 = -k*y. Is y a prime number?
True
Suppose -r - 54 = -305. Is r composite?
False
Let t = -250 + 78. Let o = 110 + t. Is -3 - o - (1 + -1) prime?
True
Let u = 21 + -9. Let n = u + 79. Is n composite?
True
Let k be (-26)/(-7) - (-6)/21. Suppose 2*u = d - 0*d - 2, -3*d = -k*u - 4. Suppose d = 4*i - 421 + 57. Is i composite?
True
Suppose -9*q + 282 = -6*q. Is q composite?
True
Suppose -2*t = -0*t - 6. Suppose 2*v + 4*s = 0, -t*v - 3*s = -0*v. Is (12 + v - 2) + 0 a composite number?
True
Let d be 0/(-1*(0 + 1)). Let o(v) = 4*v**2 + 2 + v**3 + d - 4 - 2*v. Is o(-3) prime?
True
Let i = 604 - 86. Let x = -519 - -874. Let t = i - x. Is t composite?
False
Let b(j) = -j**2 - j. Let i be b(-2). Let c be (135/i)/5*-2. Let l = 46 - c. Is l prime?
True
Let h = 646 + -71. Suppose -5*u + 10*u = h. Is u composite?
True
Let r = 0 + 2. Suppose 2*j = -j. Suppose -l = 2*l - r*b - 335, 3*l + 4*b - 365 = j. Is l prime?
False
Let n(t) = 20*t - 3 + 2 + 18*t. Is n(1) a prime number?
True
Let q(d) = d + 2. Let t(s) = -2. Let u(x) = 4*q(x) + 5*t(x). Suppose -b + 1 = -6. Is u(b) prime?
False
Suppose 4*m + 4*u - 304 = 0, -3*m + 5*u + 98 = -170. Suppose 4*h - 166 = -2*v, -v + 2*h + m = 3*h. Is v prime?
True
Let u = -1955 + 1292. Is (-2)/4*(u - -1) prime?
True
Let g(u) = -33*u**3 - u**2 - 2*u - 1. Let k be g(-1). Let t be (-204)/k + 4/22. Is (-224)/t + 2/3 a prime number?
False
Let b = 11 + -19. Suppose -7 = -2*p + 3. Let g = p - b. Is g composite?
False
Suppose 3*l + 5*q - 1189 = 0, -2*l - 2*l + 5*q = -1632. Suppose 3*n - l = -4*u, 0 = 4*u - 2*n - n - 421. Is u prime?
True
Suppose 5*m = -x - 11, 5*x = 2*m + m + 29. Suppose -4*z - c - x*c + 7 = 0, -2*c = 3*z - 7. Suppose z*r + 70 - 535 = 0. Is r a prime number?
False
Is ((-102)/4)/((-4)/8) prime?
False
Suppose -r = -30 + 5. Suppose -2*d - o + 12 = -3*o, -r = -5*d + 4*o. Is (-154)/(-3) + d/(-3) composite?
True
Let g(v) = -v**2 + 6*v. Let c = 13 + -8. Let x be g(c). Suppose -305 = -5*n - 5*b, b = -3*n + x*n - 134. Is n prime?
False
Let w(x) = -2*x**3 - x**2 - x. Let m be w(-1). Suppose 6 = -4*g + 3*k, -3*k + 10 = -4*g + 2*k. Is 2/(m + g) - -24 composite?
True
Let t = 33 - -234. Is t a prime number?
False
Let z be (-25)/10*(-12)/5. Suppose -122 = -z*f + 2152. Is f composite?
False
Suppose 3*h = -2*h + 5*q + 15, -3*h + 7 = -4*q. Suppose -h = 2*p - 1. Is (p/(-3) - -1)*6 a composite number?
True
Suppose 1070 = -13*o + 18*o. Is o composite?
True
Let n = -328 + 623. Is n composite?
True
Let g = 137 - 50. Is g a prime number?
False
Let p = 317 + -158. Is p prime?
False
Let c(o) = -o**2 - 4*o - 1 + 13*o - 5. Let b be c(9). Let z(p) = -2*p**3 - 9*p**2 - 8*p - 7. Is z(b) a prime number?
True
Let h = 20 - 32. Let c = h - -83. Is c composite?
False
Suppose 4*l + l + 1147 = 4*k, -869 = -3*k + 2*l. Is k prime?
True
Let i(l) = -l**2 - 7*l + 2. Let x(y) = y**3 - 4*y**2 + y + 1. Let b be x(3). Let r be i(b). Is (-1)/4 - (-231)/r a prime number?
True
Let w = -25 + 3. Suppose -j = -2*c + 1 - 12, -2*c + 4*j = -4. Let x = c - w. Is x a composite number?
True
Let x be ((-3)/1)/((-2)/2). Suppose 0 = 2*m + x*m - 25. Suppose 5*f - i - i = 87, -m*i + 96 = 4*f. Is f a prime number?
True
Let p(i) = 9*i**2 - 22*i - 49. Is p(-22) a prime number?
False
Suppose 5*o - 4 = -a + 6, 0 = 5*o - 10. Suppose a*m - 30 = -3*m. Is m prime?
False
Suppose -5*u + 5*j = -15, 3*j - 16 - 5 = -2*u. Let o = u + 7. Is o a prime number?
True
Suppose 5*v - 5*c = 0, 4*v + 2*c - 7 - 23 = 0. Suppose 1940 = 4*u + 3*h, 0*u + v*h - 1455 = -3*u. Is u composite?
True
Let m be 2 - 0 - (-2 + 2). Is (-69)/4*m*-2 a prime number?
False
Let o(d) be the second derivative of -5*d**3 - d**2/2 - 2*d. Is o(-5) a prime number?
True
Let s(c) = 2*c**2 + 14*c - 7. Is s(6) composite?
False
Is 1854/6 + -1 + 1 prime?
False
Suppose -3*u + 8*u = 0, 0 = -2*b + 4*u + 24. Is 16/b - 1015/(-15) composite?
True
Suppose 5*z + 506 = 2236. Is z prime?
False
Is 12/(-102) - 57789/(-51) composite?
True
Suppose 15*s = 14*s + 55. Is s a prime number?
False
Let f(l) = l**2 - 3*l. Let j be f(4). Suppose 260 = 4*c - j*h, -3*c - 5*h + 91 = -88. Let p = -42 + c. Is p a prime number?
False
Let s be 10/(-65) - (-505)/(-13). Let z = -84 - s. Is 74/10 + 18/z a prime number?
True
Let b = -3 - 0. Let h(k) = -9*k - 4. Let z be h(b). Suppose 0 = 3*d + 2*s - 27, -s - z = -2*d - 4*s. Is d prime?
True
Suppose -4*i + t + 0*t = -2009, -3*i + 1512 = t. Is i a prime number?
True
Let g be (0 + -2)/((-2)/16). Is (70/(-8))/((-4)/g) a composite number?
True
Let d(u) = 8*u - 1. Is d(7) composite?
True
Let i be 0 - 0 - (-3 - 0). Suppose -1 = u - i. Suppose 4*x = -x + 3*f + 316, 5*f - 114 = -u*x. Is x a prime number?
False
Let w(s) = 124*s - 11. Let i(l) = 125*l - 10. Let b(q) = -4*i(q) + 3*w(q). Is b(-3) composite?
True
Let h = -4 + 6. Suppose -6 = -3*m, m - 4*m - h = -4*v. Is 1476/28 + v/7 composite?
False
Let z = -55 + 27. Let q = -15 - z. Is q a prime number?
True
Suppose 10*n - 845 = 5*n. Is n composite?
True
Let t(r) = -3*r - 4. Let k be t(-4). Suppose 3*j = -j + k. Is 0 + 5*7 + j a composite number?
False
Suppose 17*w - 18*w = -1385. Is w prime?
False
Suppose 3*m = -2*m + 145. Suppose 6 + 6 = 4*j. Suppose u + 4*y = m, 0 = u - j*u + y + 76. Is u composite?
False
Suppose -3*k - 5*b - 134 + 1039 = 0, 3*k - 3*b = 945. Suppose f - k = -f. Suppose 5*j - 3*q = f, -3*j + 124 = j + 2*q. Is j prime?
True
Suppose 2*i = 3*v + 18, -2*i + i + 2*v = -11. Suppose -2*c + 640 = i*c - 3*h, -3*h = -c + 116. Is c prime?
True
Let p(v) = v + 28. Is p(-15) prime?
True
Is -1 - 5*(717/(-5) + 3) a composite number?
False
Let u be (4/(-2))/((-6)/174). Suppose -3*v + 3 = -3, 3*x + 2*v = u. Let s = x + -3. Is s composite?
True
Let f = -196 + 323. Is f a prime number?
True
Let a(c) = c**3 + 4*c + 4. Let l be a(-3). Let g = -22 - l. Is g prime?
True
Let o(l) = -2*l + 2. Let y be o(4). Let f be 16/y*3/(-2). Let u(d) = 19*d + 1. Is u(f) prime?
False
Suppose 0*i - 4*i + 1652 = 0. Is i a prime number?
False
Let x(h) = -2*h**2 + 8*h - 11. Let y be x(11). Let s = -98 - y. Is s prime?
True
Let l(a) = a**3 + a**2 - 6. Let p be l(0). Let u = p + 16. Is u a composite number?
True
Is -2 + (3 + -3 - -41) a prime number?
False
Let s = -57 - -244. Is s a composite number?
True
Let r(i) be the second derivative of i**6/60 - i**5/20 - i**4/12 - i**3/3 + i**2 - 3*i. Let f(c) be the first derivative of r(c). Is f(3) a composite number?
False
Is (1/(-2))/(18470/9236 + -2) a composite number?
False
Is 36/(-54) - 6334/(-6) composite?
True
Let f(i) be the second derivative of -i**5/20 - i**4/3 + 5*i**3/6 - i**2/2 - i. Is f(-8) composite?
True
Let h(q) = -17*q - 5 + 0 + 2 - 1. Is h(-3) composite?
False
Let j(t) = 468*t**2 + t. Is j(-1) a prime number?
True
Suppose 31*p = 25*p + 6726. Is p composite?
True
Let x be (-4)/14 - 32/(-14). Suppose x*d + 573 = 3*r, -4*r + 0*d + 764 = d. Is r a composite number?
False
Is 1820 + 0 + (-2 - -3) a composite number?
True
Let q(d) = 2*d - 2*d - 3*d - 1. Let n be q(-1). Suppose 2*r - n*u = 10 + 18, 3*r - 47 = 2*u. Is r prime?
True
Suppose -4*c = 3*q - 596, 5*q = -5*c + 3*q + 745. Is c prime?
True
Let c(q) = q**3 + 8*q**2 + q - 1. Suppose 0 = -3*d - 2 - 16. Is c(d) composite?
True
Let z = 1104 - 621. Suppose -2*o = o - z. Is o a composite number?
True
Let l be 3*(0 + (-4)/(-3)). Suppose -l*n + 15 = 5*p, 0 = -4*n + 4*p - 5 - 7. Suppose n*j - 610 = -5*j. Is j composite?
True
Let l(t) = 2*t**2 + 2*t + 3. Is l(-14) a composite number?
False
Suppose 4*s + 2 + 10 = 0. Let o(r) = 64*r**2 + 2*r - 3. Let w be o(s).