3*x + 8 - 7*x + x**2. Let q be k(6). Suppose 0 = -2*a + q, -m + a + 54 + 153 = 0. Is m a composite number?
False
Let s(p) = 7*p**2 + 3*p + 6. Let v be s(-4). Suppose 0 = 5*o + 11 - v. Let g = o + 12. Is g a prime number?
True
Suppose -5*s + 1595 = -0*s. Is s a prime number?
False
Suppose -a + 4*v = -141, -2*a + 4*v + 290 = -0*a. Is a a prime number?
True
Let l = -1 + -1. Let s be l*((-2 - -2) + -13). Let r = s - -8. Is r a prime number?
False
Let j be 54/10 - (-22)/(-55). Suppose 5*s + 2*t - 341 = 0, -2*t - j = -1. Is s composite?
True
Is 43 - (-1 - 3) - 1 a prime number?
False
Is 1/(2 + -3)*-394 composite?
True
Let s(w) = w**3 - w**2 + 79. Is s(0) a prime number?
True
Let r = 4 + -1. Let x be -1*1*(-6 + r). Suppose 0 = -2*i - 5*b + 133, b - 173 = -x*i + 59. Is i a composite number?
False
Is (2/(-6))/(2/(-978)) composite?
False
Let v be (-16)/(-72) - 83/9. Let o(y) = -y**3 - 6*y**2 + 5*y + 13. Is o(v) a prime number?
True
Let c = 4793 + -2502. Is c a composite number?
True
Let x(y) = y**3 - 4*y**2 + 3*y + 4. Let b be x(3). Suppose 43 = 4*d - 5*f, -3*d - f + 14 = -b. Is d prime?
True
Let r(u) = 2*u + 5. Let o be r(10). Suppose -2*b + o = -45. Is b composite?
True
Suppose 2*q = -q + 3936. Suppose q = -i + 3*i. Suppose -v - o + 165 = 0, 4*v - i = -3*o - 0*o. Is v a prime number?
False
Suppose 0 = -h + 227 + 40. Suppose m - 4*m = -h. Is m a composite number?
False
Suppose -5*n - 2589 + 6974 = 0. Is n prime?
True
Suppose 2*p + p + 2*d = 41, 5*p - 60 = 5*d. Let k = 62 - 34. Is k/16*(p + -1) composite?
True
Let y(k) = -k - 2*k - 2 - 5. Is y(-6) composite?
False
Let o = 0 - -3. Suppose 2*i - 435 = -o*i. Is i composite?
True
Suppose 7*h = 3*h + 8. Let l be ((-126)/5)/(h/(-10)). Suppose -5*g = 2*y - 100 - 515, -g - y = -l. Is g composite?
True
Suppose 0 = 3*k - 8 - 4. Suppose -7*h + 5*h + 264 = 0. Suppose -x - z = 2*x - 107, k*z = 4*x - h. Is x prime?
False
Suppose -2*g - 3*u - 3 = 0, -2 = -2*g - 4*u - 6. Suppose -5*d + 1135 - 20 = g. Is d a prime number?
True
Suppose -5*u + 5*k - 190 = 0, 20 = 3*u - 4*k + 135. Is (-1)/(1 - (-38)/u) prime?
True
Let c(z) = -z**3 - 4*z**2 + 2*z - 3. Let m be c(-6). Suppose -9*s = -6*s - m. Is s a prime number?
True
Let d(a) = -a**3 + a**2 - a + 1. Let m(c) = -4*c**3 + 17*c**2 - 19*c + 7. Let u(p) = -5*d(p) + m(p). Is u(-13) composite?
True
Suppose -2*w + 6*k - 5*k = 1, 3*w + 3*k + 15 = 0. Suppose -z - 3*z = 5*c + 25, 2*z + 5*c + 15 = 0. Is z - -2 - 524/w a composite number?
True
Let a = 3 - -5. Is a + -4 + 29 + 4 a prime number?
True
Suppose 0 = 4*h - 5*c - 3807, 4*h + 5*c - 2079 = 1738. Is h a prime number?
True
Let k = 377 - 50. Is k a composite number?
True
Let d = 2194 - 1509. Is d composite?
True
Is 2 - 0 - (-1268)/(0 + 4) composite?
True
Suppose 2*s - q = -3*s + 16, 0 = -4*s + q + 12. Is ((-134)/s)/(5/(-10)) composite?
False
Suppose -3*v - 2648 = -7*v. Is v composite?
True
Suppose 39*t + 238 = 41*t. Is t prime?
False
Suppose 4*y - 2*y = 4*v + 1122, v = 3*y - 1673. Is y a composite number?
False
Is 3/(((-24)/154)/(-4)) prime?
False
Let c = 458 + 1321. Is c a prime number?
False
Let y(c) = 4*c**2 + 7*c - 16. Let a = -8 - -19. Is y(a) a composite number?
True
Is 4/6 + (-1339)/(-39) a composite number?
True
Is (2211/(-9) + -3)/((-4)/6) composite?
False
Suppose 2 = 5*a - 3*a. Let l = 0 - a. Is (-1*(2 + 29))/l composite?
False
Suppose 110 = 14*d - 3992. Is d prime?
True
Let b = -12 + 14. Suppose b*h = -2*h + 508. Is h composite?
False
Let c(q) be the first derivative of -75*q**2/2 + q + 5. Is c(-4) prime?
False
Let o(f) = f - 8. Suppose -4*u = 3*c - 4, -u + 20 + 7 = 4*c. Let x be o(c). Suppose x*z = 5*z - 425. Is z a composite number?
True
Suppose -2*w - 5*n + 26 = 0, n = 3*w - 3*n - 16. Let j = 439 - w. Is j a prime number?
True
Is (1 - -1) + 3 + 41 a composite number?
True
Suppose -r - 2*r = 5*b - 733, 5*b = 2*r - 472. Let i = r - 164. Is i a composite number?
True
Let c = 380 + -710. Let v = c + 521. Is v prime?
True
Let h(v) = -v**2 - 3*v + 4. Let l be h(-4). Suppose 0*k + 2*k - 2*y + 6 = l, -2*y - 14 = 3*k. Let r = k - -41. Is r composite?
False
Let h(t) be the first derivative of 1 - 3*t + t**2 + 2/3*t**3. Is h(4) prime?
True
Let w(n) = -n + 19. Let i be w(11). Let h(z) = 6*z**2 + 7*z**2 - z**3 - 5 - 3*z**2 - 7*z. Is h(i) a composite number?
False
Let z(w) = -w**2 - 7*w + 6. Let a be z(-7). Let r be (3 - 21/a)*-2. Is (0 + r)*(47 + -1) prime?
False
Let y = 2 + -7. Let m(p) = 4*p**2 - 3*p - 2. Is m(y) prime?
True
Suppose 4*t - 4*f = 0, 0 = -t - 0*t + 2*f - 3. Suppose -132 = -4*h + t*j + 193, -j = 3*h - 234. Suppose 4*q - 3*q = h. Is q composite?
False
Let b = 10 - 4. Suppose 0 = -0*w - w - b. Let r(p) = p**2 + p + 5. Is r(w) composite?
True
Let o = 124 - 39. Is o prime?
False
Let r(w) = -14*w + 2. Let n be r(-8). Suppose 4*p - y - n = -32, -y + 2 = 0. Is p prime?
False
Let a be (-1)/3 + 28/12. Suppose 0 = 3*g + z - 635, -a*g - z + 420 = -2*z. Is g composite?
False
Is 2 + 5/(-3) + 4306/6 prime?
False
Suppose -4*r + 3*z + 12 = 0, 2*r - 6*z + z - 6 = 0. Suppose -t + 498 = t - 4*d, 738 = 3*t + r*d. Is t a prime number?
False
Let c(a) = 12*a**3 - a**2 + a - 1. Let w(b) = b**3 - 5*b**2 - 6*b + 3. Let k be w(6). Is c(k) a prime number?
True
Suppose -4*l - 3 = -79. Let t = 5 + l. Suppose 5*w - 4*w - t = -u, 0 = -4*w - 3*u + 91. Is w prime?
True
Is (((-13)/2)/13)/((-2)/1544) prime?
False
Let j(a) = a**3 - 3*a**2 - 6*a + 2. Let n(i) = -3*i**3 + i**2 + i + 1. Let y be n(-1). Let s be j(y). Is 254/8*(-2 - s) a composite number?
False
Suppose -g = w - 1953, -2*w + 13 - 5 = 0. Is g a prime number?
True
Let j = 6251 + -4257. Let v = j + -1309. Is v composite?
True
Let c(w) = -8*w**3 - 8*w - 4. Let y be c(-6). Is y/36 + (-2)/9 prime?
False
Suppose -4*w = 4*w - 440. Is w a composite number?
True
Let y(r) = 16*r**3 + 2*r**2. Let v be y(2). Suppose -v - 84 = -4*n. Is n composite?
True
Is (-2)/(-9) - 16156/(-36) a prime number?
True
Let m = 5295 + -1466. Is m composite?
True
Let l = -79 + 968. Is l a composite number?
True
Let r(t) = -t**3 + 5*t**2 - 5*t + 6. Suppose -6 = 3*f, 0 = -5*s - 2*f + 15 + 1. Let l be r(s). Suppose 4*c = 3*u - 93, 31 = -u + l*u - 5*c. Is u composite?
False
Let r(l) = 96*l - 1. Is r(3) a prime number?
False
Suppose 3*v = 5*u - 6298, -4*v = -3*u - 80 + 3850. Is u composite?
True
Let x = 1 - -1. Suppose x*s + 5*b - 431 = 0, -3*s - b + 4*b + 636 = 0. Is s prime?
False
Suppose 0 = -3*v - 39 + 111. Suppose 22*u - v*u = -166. Is u a composite number?
False
Let h = -82 - -131. Let i be -2*(30/4)/(-3). Suppose -i*x + 36 = -4*a - h, 5*x - 80 = 3*a. Is x prime?
True
Suppose -4*b + 0*b = -12, 0 = -4*f + 5*b + 21029. Is f composite?
False
Suppose z + 1 = -0*m - 2*m, -5*z = 5*m + 5. Suppose -t = -m*t - 2. Is (2/(-1))/(t/(-89)) a composite number?
False
Suppose 12 = 2*y + y. Is y/(-14) + (-21424)/(-112) a composite number?
False
Let b(l) be the first derivative of 2*l**2 - 1 + 1/3*l**3 - 10*l. Is b(-9) a composite number?
True
Suppose 0 = -2*x + 4*j + 134, 6*j - 10 = j. Let o = 117 - x. Is o a composite number?
True
Let o = -474 + 737. Is o a composite number?
False
Let d = -619 + 1034. Is d composite?
True
Let c = 47 + 4359. Is c a prime number?
False
Suppose 1524 = 5*y + y. Is y a prime number?
False
Let f = 16 + -13. Suppose 16 = 4*u + 4*s, 0 = -0*u - 3*u + s + 4. Suppose -f*o + u*o = -10. Is o prime?
False
Let a = 8 - 4. Let o be (-42)/(-8)*-2*-58. Suppose a*h - o = h. Is h a prime number?
False
Suppose -5 = -2*c + 1. Let l(q) = 54*q + 5. Is l(c) composite?
False
Is (-4228)/(-20) + (-4)/10 prime?
True
Let w = 306 - 574. Let p = 103 - w. Is p a composite number?
True
Let s(t) = 845*t - 1. Let n be s(1). Let c = -437 + n. Is c a prime number?
False
Let g be (-1)/3 - (-31)/3. Suppose -g - 14 = -4*h. Is ((-2)/h)/(5/(-1290)) a composite number?
True
Let a(j) = 10*j + 377. Is a(0) a prime number?
False
Let z(j) = 14*j**2 + 5*j + 4. Let b be z(-3). Let k = 197 - b. Is k a composite number?
True
Suppose 0 = -5*s - 0*s + 100. Let h = s - 7. Is h prime?
True
Let v(u) = -u - 12. Let o be v(-10). Is (2/(-3))/(o/9) prime?
True
Let t(h) = 8*h**2 + 4*h - 14. Let y(z) = 7*z**2 + 4*z - 13. Let s(x) = 6*t(x) - 7*y(x). Let l be s(-6). Let r(v) = -v**3 - 4*v**2 + 2*v - 2. Is r(l) composite?
False
Suppose 0 = 5*z - 4 - 1. Let r(f) = 5*f**