*x + p = 0. Is x composite?
False
Let p(u) = -5 - u**2 + 4*u**2 + u - u**2. Is p(-4) a prime number?
True
Let n(b) = -3*b - 2. Let t be n(2). Let r be 69/(-4) + (-2)/t. Let l = r + 31. Is l a prime number?
False
Let o(g) = -15*g. Let c be o(1). Is (-1329)/c + (-2)/(-5) composite?
False
Let f = 29 - 25. Suppose 4*b - 99 = -2*t + 355, -t - f*b = -221. Is t a composite number?
False
Let n = 6 - 3. Let b = 195 + -89. Suppose 5*a - n*a = 2*l - b, 0 = -a - 4. Is l composite?
True
Let q(n) = -n**3 - 8*n**2 + 3*n + 4. Let d = -10 - -15. Let t be q(d). Let a = 437 + t. Is a a composite number?
False
Let b(h) = h**2 + 5*h - 5. Let s be b(-6). Suppose -y = s - 5. Suppose -310 = -y*m + 2*m. Is m a prime number?
False
Let y be -5*(-1 + 209/(-5)). Suppose 4*j - 82 = y. Suppose 2*n - j = n. Is n a composite number?
True
Let y(d) = -4*d**3 - 10*d**2 - 2*d + 1. Let u(z) = -3*z**3 - 7*z**2 - z + 1. Let c(g) = -7*u(g) + 5*y(g). Is c(5) a composite number?
False
Let d be 1/(-5) - (-26)/5. Suppose 0 = 2*r - 45 - d. Is r composite?
True
Let c = -2 + 4. Suppose -c*u - 4*p + 58 = -12, 4*u = -2*p + 122. Suppose j = -3*g + u, -g - 2*g = -3*j + 63. Is j a composite number?
False
Let j(w) = 2*w**2 - 7*w. Is j(-11) prime?
False
Suppose 0 = -6*f + 31 + 275. Is f a prime number?
False
Suppose -4*b + 1157 = 3*n, -2*n = 3*n - 2*b - 1963. Is n composite?
True
Is ((-213)/4)/((-1)/4) - 2 composite?
False
Suppose 0 = 3*y + 2*m - 0*m - 4615, 4*y = 2*m + 6172. Is y composite?
True
Let r = 2 - 3. Let c be (-345 - 1)*r/(-2). Let x = 336 + c. Is x a prime number?
True
Suppose -592 = -2*p + 4*u - 0*u, -3*p = 5*u - 899. Is p a composite number?
True
Let g be 1/(-4) + 83/(-4). Let b = 35 + g. Suppose -d = d - b. Is d a composite number?
False
Let t = -4 - -3. Let f = 3 - 1. Is t/f + 92/8 composite?
False
Let u = -5 + 1. Is u/(-6) - (-3100)/12 a composite number?
True
Is (-1)/(-8) - 1454/(-16) a composite number?
True
Let t(j) = j**2 + 7*j + 1. Suppose -2*f - 8 = 8. Is t(f) a composite number?
True
Let a(n) = n**2 + 24*n - 38. Is a(15) a prime number?
True
Is (1 + 7585)*(-5)/(-10) a prime number?
True
Let f = -12 - -78. Let p be -10*((-31)/2 - 0). Let g = p - f. Is g a prime number?
True
Is ((-4)/(-6))/((-10)/(-2355)) a prime number?
True
Let f(a) = a**3 + a**2 + a - 1. Let j(l) = -l**3 - 8*l**2 - 2*l + 6. Let x(s) = 2*f(s) + j(s). Let d be x(6). Suppose d*h - 2*h - 326 = 0. Is h a prime number?
True
Let f = -6 + 0. Let u(n) be the second derivative of n**4/4 + 7*n**3/6 - 7*n**2/2 - 4*n. Is u(f) a prime number?
True
Let y be (-4)/(-10) + (-7329)/(-15). Suppose 0 = 5*n - 2*n - y. Is n prime?
True
Is 3/(-4) + (-55)/(-4) a composite number?
False
Let v(d) = d**3 + 27*d**2 - 25*d + 2. Is v(-19) a composite number?
True
Let z be 1/4 + 7/4. Suppose z*x - 987 = -x. Is x prime?
False
Let b(n) = -n**2 + 3*n**3 + n - 2*n**3 + 0*n**2 + 3*n**3. Let t be b(1). Is (t - 2)*1/1 a prime number?
True
Let s = -541 + 894. Is s composite?
False
Let t(w) = -59*w - 1. Suppose -a - 4*z + 5 = 26, -7 = -3*a + 2*z. Is t(a) composite?
True
Suppose -3*a - 2*a + 5325 = 5*b, 5*b - 5313 = -2*a. Is b prime?
True
Let w = 4 + -1. Let x be (w/(-6) - 0)*-58. Let k = x + 22. Is k a composite number?
True
Suppose 8 = -2*y - 34. Let l be (-16)/(-7) + 6/y. Suppose 2*m = -l*m + 124. Is m a composite number?
False
Let q(o) = o**3 + 12*o**2 + 10*o - 11. Let u be q(-11). Is (2 + u)*(-7)/(-2) composite?
False
Suppose -o + 19 = -3*x, -14 - 8 = -3*o + 2*x. Suppose -13 = 3*l - o. Is (5 - 152)*1/l a prime number?
False
Suppose 3*v - 8*v = -1295. Is v composite?
True
Suppose -390 = -z + 151. Is z composite?
False
Let x(u) = -u + 5. Let i be x(5). Let d be -9 - (2 - 1) - i. Is (159 - 1) + d/10 composite?
False
Is 74 - (-4 - (-2 - -1)) prime?
False
Let h be (1 - 1) + (0 - -3). Suppose -5*u - k + 5 = -2*u, -15 = -4*u - h*k. Suppose -95 = -u*z - z. Is z a composite number?
True
Let q be 45/(-6)*8/(-6). Suppose 5*o = t - 227, 0 = -5*o + q + 10. Is t composite?
True
Suppose 0 = -2*j - k, -3*j + 2*k = -j. Let m(l) = l + 97. Is m(j) prime?
True
Suppose 0 = r + 3 + 25. Let g = r - -53. Is g a composite number?
True
Let b(f) = -17*f**3 + f**2 + f - 1. Let q be b(1). Let z be (9/6)/((-6)/q). Suppose 0 = -g - 3, -4*i + z*g = g - 629. Is i composite?
True
Let f = 7 - 3. Let m = -3 + f. Let v(x) = 37*x. Is v(m) composite?
False
Let w(a) = -a**3 - 4*a**2 + 5*a + 13. Is w(-6) prime?
False
Let g(a) = 93*a. Is g(1) prime?
False
Suppose y - 5*y = -16. Suppose 2*k + y*n - 310 = 0, 5*n = 21 - 6. Is k prime?
True
Let l(f) = -f**2 - 8*f + 3. Let v be l(-8). Suppose -5*x = -952 - 583. Suppose -x = -a - v*p, -p + 1535 = 5*a - 4*p. Is a composite?
False
Let p(c) = 50*c - 5. Is p(9) prime?
False
Let x(p) be the first derivative of 116*p**3/3 - p - 1. Suppose 2 - 5 = 3*k. Is x(k) a composite number?
True
Is ((-2084)/10)/(-1)*(-70)/(-28) a prime number?
True
Suppose -4*m + 0*m = -24. Is m/(-2) + (-326)/(-1) a composite number?
True
Suppose -8*w - 25 = -13*w, 17995 = 3*s - 4*w. Is s a prime number?
False
Let q be 4*((-390)/(-8))/1. Suppose q = o + 2*o. Is o composite?
True
Let x be (4 - (2 + 0)) + -5. Is -206*(x + (-15)/(-6)) a prime number?
True
Let p = -36 - -51. Let s be 10/p + 4/(-6). Suppose 4*i + s*i = 124. Is i prime?
True
Let t(x) be the first derivative of -x**4/4 - 11*x**3/3 + 4*x + 4. Let w be t(-11). Suppose 0 = w*b - 6*b + 434. Is b a composite number?
True
Suppose -2*p + 5*d + 32 = 3*d, 0 = 5*p + 4*d - 89. Suppose -3*u - 41 = -2*t, 0 = -3*t + 2*u + p + 37. Suppose -t = -l - 3. Is l composite?
False
Let x(g) = 1 - 14*g + 5*g - 8*g - 15*g. Let d(u) = u**2 - 8. Let z be d(0). Is x(z) prime?
True
Let c(h) be the third derivative of -11*h**9/30240 + h**7/2520 + h**6/720 + h**5/60 - 2*h**2. Let t(a) be the third derivative of c(a). Is t(-1) a prime number?
False
Suppose 0 = -4*x - 3 - 1, 0 = -2*r + 3*x + 79. Suppose 2*n - 64 = 3*o, -3*o - 4*n - 88 = -0*n. Let k = o + r. Is k a prime number?
False
Suppose 4*z = -0*z + 508. Is z a composite number?
False
Suppose -2*m = m + 60. Let b be 452/m + 3/5. Is 10/(-55) + (-4778)/b a composite number?
True
Let n(f) = 8*f + 1. Let h be n(6). Let v be (-1)/(10/(-116)) - 60/100. Suppose g - h = -3*d, -d = g - 8 - v. Is d prime?
False
Let b(n) = 7*n - 1. Let h be b(1). Let t(x) = 2*x**2 - 8*x - 6. Let s be t(h). Is 3897/s + (-2)/(-4) a prime number?
False
Suppose 3*o + 4*f = 9681, -2*o + 6454 = -0*o - f. Is o prime?
False
Let o(f) = -f**3 - 3*f**2 + 4*f + 2. Let r be o(-4). Suppose 4*h - 10 - 10 = 0, -r*y - 4*h = -24. Suppose 86 = y*x - 0*x. Is x a prime number?
True
Let q(l) = -l + 5. Let p be q(3). Suppose -8 - p = -2*f. Suppose -f*o = a - 127, 5*a = -2*o - 0*o + 37. Is o a composite number?
True
Let u(v) = v + 13. Let l be u(-10). Is ((-3)/(-9))/(l/135) a composite number?
True
Let v(j) = j**3 + 6*j**2 + j + 3. Is v(-4) a prime number?
True
Let c(w) be the second derivative of -w**5/20 - w**4/6 + 2*w**3/3 + w**2/2 - w. Let y be c(-3). Is ((-7)/y)/(2/12) a composite number?
True
Let r = -3 - -5. Suppose -r*k + 14 = -k - 4*d, -d = -5. Suppose 0 = -h - 4*f + 3, -f + k = 3*h - h. Is h prime?
True
Suppose -5*p + 5488 = -3*p. Is p/21 - (-1)/3 a prime number?
True
Let l be (-1)/2 - 1/(-2). Suppose -3*q - 2*q - 15 = l, 0 = -4*s - 2*q - 14. Is s*((-267)/6 - 3) composite?
True
Let u(q) = -18*q**3 + 1. Let l be u(1). Let r(g) = -g - 1. Let v be r(1). Is -1*(v + l + 0) composite?
False
Suppose -3*f = f - 688. Is (-1)/((-8)/f)*2 composite?
False
Let a(m) = 7*m - 10. Let b = 4 - 0. Suppose -b*f + 14 = -22. Is a(f) a composite number?
False
Suppose -102 - 59 = -l. Is l a prime number?
False
Is (-4348)/(-6)*39/26 composite?
False
Let n(w) = w**2 + w. Let y(m) = 18*m**2 + 6*m - 1. Let q(g) = -2*n(g) + y(g). Is q(5) a composite number?
False
Let m be 6/9*6/4. Suppose -m = 3*b - 2*g, 13 = -0*b + 5*b + 4*g. Let s = 56 - b. Is s composite?
True
Let d(k) = 75*k - 44. Is d(5) prime?
True
Suppose 0*c = 2*c + o - 953, 0 = 5*c - 5*o - 2420. Is c prime?
True
Is (8 - 11432/(-32))/((-6)/(-16)) prime?
False
Let p = 78 + 2. Let k = -11 + p. Is k a prime number?
False
Let r(d) = 4*d**2 + 4*d - 7. Let b be r(6). Suppose -5*w - 3*l + 805 = 0, w - 2*l - b = -5*l. Is w a prime number?
False
Suppose i + 0 = -5. Is (-1)/i + (-7308)/(-35) prime?
False
Let 