o be s(-3). Suppose 0 + 2 = -2*x, 5*v - o*x - 118 = 0. Is v a prime number?
True
Suppose m - 308 = 5*y - 979, -2*y - 4*m + 264 = 0. Is y composite?
True
Let y(n) = n**3 - 4*n**2 + 5*n + 2. Let f be y(4). Suppose 0 = 2*m - m + 4*a + 14, -2*m + f = -2*a. Is m a composite number?
True
Suppose -4*k + 6623 = -0*k + 5*c, -5*k + 8287 = -2*c. Is k a prime number?
True
Let w = 3114 - 1829. Suppose k = 6*k - w. Is k composite?
False
Let l(g) be the first derivative of 5*g**3/3 + 2*g**2 + 3*g + 2. Let w be l(-3). Suppose 2 + w = 2*b. Is b prime?
True
Let v(u) = 5*u**3 + 4*u - 9. Let i(x) = -6*x**3 - 5*x + 8. Let r(j) = -4*i(j) - 5*v(j). Let h be r(0). Suppose s - h = 24. Is s a prime number?
True
Let q be ((-1)/2 - 0)*2. Let a(n) = -117*n + 1. Is a(q) prime?
False
Suppose 0 = 2*r - 2 - 6. Suppose 5*f - 74 = -r*u + 75, -3*f = 4*u - 139. Is u a composite number?
False
Suppose 7*m - 10 = 2*m - 3*p, 11 = -m + 2*p. Is m/((3/26)/(-3)) a prime number?
False
Let t(p) = -6*p**3 - p**2 - p - 1. Let b be t(-1). Suppose b*q + 16 = -4, 2*u - 4*q - 1854 = 0. Is u composite?
False
Let a be 3/(-18) - 3/(-18). Suppose r - 5*b = -a*r - 16, 4*r - 36 = -5*b. Suppose -p + r*p - 353 = 2*w, -571 = -5*p - w. Is p composite?
True
Let k = 192 - 42. Suppose 4*p - k = -18. Is p composite?
True
Let w(p) = p**3 + 2*p**2 + 319. Is w(0) a prime number?
False
Suppose -5*c - 5*x = -90, 5*x + 74 = 5*c + 2*x. Let q = -1 + c. Is q a prime number?
False
Suppose 34 = i - 2*u - 28, u = -5*i + 288. Is i a composite number?
True
Let l(d) = d**2 + 5*d - 2. Let t be l(-6). Suppose 4*y + 1181 = -3*v - 241, -928 = 2*v - t*y. Let p = -247 - v. Is p composite?
False
Let q = 8 - 7. Is q/1 + (3 - -17) a composite number?
True
Let u be 0 - (-1)/2*4. Suppose 0*t + 254 = u*t. Is t composite?
False
Let c = 29079 - 18674. Is c a prime number?
False
Suppose 3*l + 2*k - 196 = 7*k, 4*l + 2*k = 296. Let n be (-16)/(-3) - (-1)/(-3). Suppose n*v + 22 = l. Is v composite?
True
Suppose 3*d = -39 - 9. Let k = d - -30. Is k composite?
True
Suppose 3*j = 5*j. Suppose -5*l = 30 - j. Is (-1015)/(-15) - (-4)/l composite?
False
Suppose 3409 = 5*u + 2*u. Is u a prime number?
True
Let w(h) = -h**3 - h**2 + 2. Let c be w(-5). Suppose o - c = -o. Is o a prime number?
False
Suppose -953 = -3*p - 362. Suppose -c = -p + 82. Is c prime?
False
Suppose 0 = -5*w - 2*z + 170, -2*w + 46 + 3 = -3*z. Suppose 2*r = 5*g - 44, 2*g + 3*r - w + 3 = 0. Is g a prime number?
False
Let k = 4 - 2. Suppose k*a + 4 = 0, h = -3*a + 6 + 14. Suppose 2*f = -z - 3*z + 38, -z = 2*f - h. Is f composite?
False
Let v(x) = 50*x**2 + 6*x + 11. Is v(-3) a prime number?
True
Suppose -2*g + 4*a - 2 = 0, -5*a - 77 = 5*g - 27. Is ((-2)/(-4))/(g/(-966)) a composite number?
True
Let f = -4 + 4. Suppose -2*k - 26 = -3*y, 5*k = -f - 5. Suppose -y = 3*z - 41. Is z a prime number?
True
Let j = 9 + -4. Suppose 0 = -j*x - 4*d - 0*d + 16, -2*d - 2 = 0. Suppose -x*h = -16, 2 = -r + 5*h - 3. Is r a composite number?
True
Suppose 6*n + 207 = 9*n. Let m = 16 + n. Is m a prime number?
False
Suppose 2*p - 5*p = -9. Suppose -s - 3*s + n = -597, 742 = 5*s + p*n. Is s prime?
True
Let d(p) = -p + 7. Let a be d(5). Suppose -5*t + 64 = -0*j - 2*j, -2 = -t + 4*j. Is a/4*t + 0 a composite number?
False
Is 446/(-10)*(-11 - -6) a prime number?
True
Let c be 0*((2 - 3) + 0). Suppose 0 = -c*y - y - 2. Let o(h) = -6*h**3 - h - 1. Is o(y) composite?
True
Suppose 4*k + 1 = 9. Suppose -3*w + 21 = k*i, -w = -5*i + 33 + 11. Suppose i*n = 4*n + 565. Is n composite?
False
Suppose 12 = 3*t - 0*t. Let r(l) = 9*l - 6. Let g be r(t). Let v = -15 + g. Is v composite?
True
Suppose h + 852 = 4*h. Let k = -61 + h. Is k a prime number?
True
Let w(a) = 22*a + 1. Is w(1) a prime number?
True
Let v be (-34)/((-3)/(-2) - 2). Suppose z + v = 10. Is 1 + -1 - z - -1 composite?
False
Let y = 4 + -4. Let w(h) = -h + 5. Let f be w(y). Suppose 12 = -f*x + 57. Is x prime?
False
Suppose 2*v + 17 + 101 = 0. Let g = -24 - v. Is g a prime number?
False
Let h be (-2)/(-4) + (-12748)/(-8). Suppose 10*t - 8*t = h. Is t prime?
True
Let p be (-1 + -5)/(2 - 1). Is ((-177)/p)/((-1)/(-2)) composite?
False
Let b = 4880 + 347. Is b a prime number?
True
Suppose 0*d = -2*d + 12. Suppose d*x = x - 15. Is (5/x)/((-3)/27) a composite number?
True
Let c(p) = p**2 - 10*p + 18. Is c(8) prime?
True
Let d(r) be the third derivative of r**6/60 - 7*r**5/60 - r**4/8 + 7*r**3/6 + 6*r**2. Is d(6) prime?
False
Suppose 5*j - 11 + 1 = 0. Suppose -j*q = -6*q + 508. Is q prime?
True
Let t(a) = -a**2 + 5*a + 6. Let m be t(7). Let f(h) = 2*h - 6*h - 5*h + 7. Is f(m) a prime number?
True
Is ((-9)/6 - (-2)/(-4))*-17 prime?
False
Suppose -4*z + 4*p = 200, -5*z - 4*p = -z + 168. Let k = 93 + z. Is k composite?
False
Suppose 3*n - 10 = -5*f + 2*n, -3*n - 12 = f. Suppose f*k - 256 = 53. Is k composite?
False
Let a(r) = -2*r**3 - 7*r**2 - r - 6. Suppose -4*p + p - 33 = 0. Let y = p - -6. Is a(y) composite?
True
Let j(n) be the first derivative of n**4/4 - 10*n**3/3 + 5*n**2 - 7*n - 3. Let c be j(9). Is c/(-6) + (-39)/(-9) prime?
False
Let p be (-153)/(-2)*(-50)/(-15). Let z = 595 - p. Suppose 2*h - 130 = -y, 4*y - 152 = -h + z. Is y a prime number?
False
Let v(g) = g**2 - 9*g + 6. Let t be v(6). Let y = t - -28. Suppose -3*b = -26 - y. Is b composite?
True
Let p(z) = -z + 8. Let q be p(6). Suppose 0 = q*w - 3*w + 7. Is w a prime number?
True
Suppose h + 15 = 6. Let w(p) = -7*p - 5. Is w(h) a prime number?
False
Suppose -96 - 8 = -4*w. Let k = 59 - w. Is (k/6)/(3/42) a prime number?
False
Suppose -3*u + 764 = u. Is u composite?
False
Let n(t) = -3*t**2 + 5*t - 9. Let g(l) = -6*l**2 + 10*l - 17. Let q(s) = -4*g(s) + 7*n(s). Let k(u) = u**2 + 7*u + 6. Let a be k(-7). Is q(a) composite?
False
Let n(o) = o**2 - 8*o + 9. Let y be n(7). Let d(w) = -2 - 2*w**3 + w**3 - w + 0*w**3 - 2*w**y. Is d(-3) composite?
True
Let o be 0/(-3 + 7) + -25. Let b = o - -44. Is b a prime number?
True
Let j = 106 - -25. Is j a prime number?
True
Let r(o) = 7*o + 10. Let j be r(15). Let w be (-1)/1 + 1*5. Suppose 5*u - 150 = -4*l + w*u, -2*u + j = 3*l. Is l composite?
False
Suppose 3*c = -c + 204. Let y = 95 + -43. Let r = y + c. Is r composite?
False
Suppose -4*r + 2 + 2 = 0. Let u(v) = 2*v**2 + 0*v**2 - 5*v**2 - r - v + v**3. Is u(4) composite?
False
Suppose 7 = -4*j + 19. Let v(i) be the first derivative of 23*i**2/2 + 3. Is v(j) prime?
False
Let x(f) be the second derivative of -f**4/12 + 5*f**3/6 + f**2 + 3*f. Suppose -4 = -4*j + 16. Is x(j) a prime number?
True
Suppose 5*r - 4*r = 6. Let j be 19 - (0/2 + 2). Let n = r + j. Is n composite?
False
Let r(s) = s**2 + 6*s + 3. Let c be r(-6). Suppose -4*b + 5*z + 114 = -46, 0 = -2*b - c*z + 58. Is b a prime number?
False
Let y be 2427 - 2/(-4)*0. Let m = 3532 - y. Is (m/(-10))/(1/(-2)) prime?
False
Let t = 7 + -2. Suppose 4*w = 2*x + 5*w - 111, -t*x = 4*w - 285. Is x a prime number?
True
Suppose 17 = 5*v - 23. Let n(p) = p**2 + 8*p + 4. Let f be n(-5). Let w = v - f. Is w composite?
False
Let d(p) = -p**2 - 16*p - 14. Let k(z) = -10*z + 1 + 4*z + 1. Let j be k(2). Is d(j) a composite number?
True
Let k be 15/(-6)*(-8 - -6). Suppose 2*u - 163 = -3*f, k*f + u - 279 = 5*u. Is f prime?
False
Let u be (-1 + 5)*(1 + -2). Let i(j) = 3*j**2 + 2*j - 2 - 2*j**2 - 3. Is i(u) a composite number?
False
Let z be 2 + (4/(-4) - -1). Is ((-20)/(-8))/(z/284) composite?
True
Suppose 0 = h - 2. Is h/8 - (-739)/4 prime?
False
Suppose 8*q + 700 = 4*q. Let j = q + 338. Is j composite?
False
Let c be (-8259)/12 + (-3)/(-12). Let z = 1175 + c. Is z a composite number?
False
Let y(z) = -122*z**3 + z**2 + 3*z + 2. Is y(-1) prime?
False
Let s = -29 + 68. Let x = 12 + s. Is x a prime number?
False
Let j(w) = -w**3 + 4*w**2 - 4. Let z be (-1 - -3)/(-2)*3. Is j(z) a composite number?
False
Suppose l + 4*l - 225 = 0. Suppose -2*w = 5*p - 830, 377 - l = 2*p - 4*w. Suppose 0 = d + d - p. Is d composite?
False
Let a = 568 - -661. Is a a composite number?
False
Let l(p) = 2*p + 3. Let m(g) = -5*g - 6. Let y(s) = 7*l(s) + 3*m(s). Let d be y(0). Is 37 + (d/(-3) - -1) a composite number?
False
Let f be (-28)/(-8) + 2/4. Suppose 3*h - f*h + 4*l = -10, -4*h = 3*l - 2. Is (-3)/(h + -5)*77 a prime number?
False
Let m be ((-4)/(-4))/((-2)/(-108)). Suppose 5*c + 7 = 2. Let x = c