 n(q) = -q**2 + q + 1. Suppose -x + 1 = -2. Let d be n(x). Let h(j) = -j**3 - 4*j**2 + 2*j. Is h(d) prime?
False
Let q = -749 + 1164. Is q composite?
True
Let d(b) = 2*b**2 + 4*b + 13. Is d(9) a prime number?
True
Suppose -q - 1 = 1, -5*q = -p + 47. Is p a prime number?
True
Let l = 2 - 2. Suppose 0 = -l*g + g - 161. Is g prime?
False
Let p = -2 + 5. Suppose 3*j - p - 18 = 0. Is j a composite number?
False
Let i(v) = -v**3 - 3*v**2 + 2. Suppose -4*a + 5*a - 3*y = -3, 0 = 4*a - y + 12. Let o be i(a). Is ((-815)/(-10))/(o/4) prime?
True
Let l(y) = 5*y**2 - 2*y - 8. Suppose -m + 6 = 3*b, -5*m - 3*b = -2*m - 18. Let o(t) = 2*t - 5. Let d be o(m). Is l(d) prime?
True
Let s = -5 - -2. Is (3/s)/((-1)/127) a prime number?
True
Let r = 24 + -21. Suppose -r*b + 565 = 2*l, 3*l = -2*b - l + 382. Is b prime?
False
Let u be (-6)/8 - 3/(-4). Suppose u = x - 5, -g - 3*x + 117 = x. Is g a prime number?
True
Let f = 22 - 17. Suppose 0 = f*r + 15, 0 = i + 5*r - 7 - 1. Is i a composite number?
False
Let d(y) = 2 + 0*y + 9 + 30*y. Is d(8) a composite number?
False
Let a be 96/2*(-15)/9. Let p = a + 139. Is p prime?
True
Suppose -2*d = d - 345. Is d composite?
True
Let z = 1626 + -705. Is z a prime number?
False
Suppose 5 = -0*n - n, -3*l + n + 1442 = 0. Is l a composite number?
False
Let r(u) be the first derivative of u**4/4 - 5*u**3/3 + 7*u**2/2 + 2*u - 1. Is r(7) a prime number?
True
Let b(j) = -5*j**3 + 0*j + 1 - 4 + 4 + j - j**2. Let c be b(-1). Suppose r - 14 = -4*l, -2*r + l - 3 + c = 0. Is r a composite number?
False
Suppose -h + 3*w - 4 = 3*h, -3*h - 3 = w. Is 0 + 43 - (h + 1) composite?
False
Suppose 1545 = 3*m - 5*l, 5*m + 2*l = -3*l + 2575. Let a = m - 357. Is a a prime number?
False
Let f be (-2)/1*(-3)/2. Let z(l) = l**2 + 3*l. Let m be z(-4). Let k = f + m. Is k a prime number?
True
Let y = -4 - 0. Is (22/33)/(y/(-5370)) a composite number?
True
Let o be (-2)/(-5) + 24/(-10). Let q = 50 + -128. Is -2*(-1)/o - q composite?
True
Suppose 3*h + n + 4 = 2, 2*h + 20 = 4*n. Is (-2)/((-3)/(-93)*h) a prime number?
True
Suppose o = 4*h + 622 + 763, -4139 = -3*o - 4*h. Is o a prime number?
True
Suppose -2*j + 0*j = z - 4958, -j - 4*z = -2493. Is j composite?
False
Let z = -159 - -92. Let b = z - -210. Is b a composite number?
True
Let k be (-20)/12 + 2/(-6). Let z = 2 - k. Is z composite?
True
Suppose -282 = 11*x - 13*x. Is x a prime number?
False
Let f(k) = -9*k - 13. Suppose 2*w + 46 = -4*m, -5*m - w + 9 = 65. Let o be f(m). Suppose -3*r + o = a, 0 = 4*a - 3*a - 4*r - 93. Is a a composite number?
False
Let n = -2055 + 3468. Is ((-4)/(-6))/(6/n) prime?
True
Let c = -10 + 5. Is -2 - c - 5 - -23 composite?
True
Suppose 3*m - m = 3968. Is (-12)/(-20) - m/(-10) a composite number?
False
Suppose -2159 = -9*w + 154. Is w prime?
True
Let r(o) = o**3 - o**2 - o + 44. Let j = 7 + -7. Let t be r(j). Suppose t = c + 1. Is c prime?
True
Let o be -6*(3 + 110/(-4)). Is o + (1 - 1) - 1 prime?
False
Let k be -1 - -218 - (5 - 6). Let a = k - 151. Is a prime?
True
Suppose 0 = v + 3*r - 233, -r + 431 + 284 = 3*v. Is v a prime number?
True
Let d(k) = 7*k**2 - 3*k + 13. Is d(8) composite?
True
Suppose -z + 2 = 5. Is ((-771)/6)/(z/6) a composite number?
False
Suppose 0 = -0*v - 2*v + 3462. Is v a prime number?
False
Let s be 115604/52 + (-4)/26. Suppose -4*f + r = -4*r - s, 0 = f - 5*r - 552. Is f a composite number?
False
Let x(o) = -o**3 - 5*o**2 - 2*o + 4. Let k be x(-5). Let z(w) = -26*w + 1. Let r be z(-2). Let n = r - k. Is n composite?
True
Let p(b) = 152*b**2 - 9*b + 2. Let q(u) = -u**2 + u. Let s(v) = p(v) + 6*q(v). Is s(1) a composite number?
True
Suppose 1513 = 2*x + 399. Is x a composite number?
False
Suppose 0 = -8*m + 6*m + 878. Is m composite?
False
Let w = -384 + 837. Is w composite?
True
Let q = 1747 - 636. Is q a prime number?
False
Let a = 1 + -1. Suppose 2*n + a*n = 3*p, 0 = 2*p + 8. Is ((-4)/n)/(4/78) prime?
True
Let m = 4640 + -2083. Is m a composite number?
False
Let h be ((-2)/(-1) + -3)*1. Is h/7 - 7120/(-56) a composite number?
False
Let m = 1098 - 331. Is m a prime number?
False
Let c(k) be the first derivative of -k**3/3 + k**2/2 + 10*k - 3. Is c(0) a composite number?
True
Let s(b) = -b**3 + 15*b**2 + 19. Is s(15) composite?
False
Suppose 5*n = -4*y - 75, 0 = -4*y + y - 3*n - 57. Let x be 266/10 - 8/y. Let t = 50 - x. Is t prime?
True
Let a(k) = -11*k**2 - 2*k + 1. Suppose 1 = -2*m + 3. Let l be a(m). Let p = l + 37. Is p prime?
False
Suppose 5*b - 6 - 29 = 0. Let d = b - 4. Suppose -d*j = -66 - 180. Is j a prime number?
False
Let n = 528 - 271. Is n a prime number?
True
Suppose -2*x = -2*i - 30, -6*x + 9 = -5*x + 5*i. Is (77/x)/((-2)/(-20)) a prime number?
False
Let t be (2 + -3 + -1)/(-1). Let v = 1 + t. Suppose 0 = 3*r + v*f - 2*f - 116, 2*f = 10. Is r composite?
False
Suppose 5*n - 292 - 703 = 0. Is n composite?
False
Let t(n) = -34*n. Let k be t(-1). Suppose 0 = f + k - 131. Is f prime?
True
Let y be 1/(-4) + (-13)/(-4). Is 4/8*222/y a composite number?
False
Let p = 27 + -25. Is (2 - p) + -5 + 54 a prime number?
False
Suppose l = -4*l + 40. Suppose 278 = 2*x - l. Is x composite?
True
Let x(r) = r**3 + 9*r**2 + 8*r + 3. Suppose -10 = 5*f, -5*m - 4*f + 15 = 63. Let b be x(m). Suppose -b*i + 2*i = -23. Is i composite?
False
Suppose -19 = -b + 175. Is b composite?
True
Let t(o) = o**3 - 4*o**2 - 5*o + 1. Let i be t(5). Let j = 1 + 0. Is 16 + (i - 1 - j) a composite number?
True
Suppose -5*k + 4*k + 1457 = 0. Is k a prime number?
False
Let z be (-2 - -4)/((-6)/7743). Let u = -1694 - z. Is u composite?
False
Let t(l) = l**3 + 6*l**2 - l - 6. Let a be t(-6). Suppose 4*u - 4*k - 216 = a, 5 - 143 = -2*u - 4*k. Is u a prime number?
True
Suppose 9*s - 8*s - 218 = 0. Is s prime?
False
Let q(c) = -c**3 - 5*c**2 + 6*c + 7. Let r be q(-6). Let i(b) = b**2 - 4. Let u be i(0). Let f = u + r. Is f a composite number?
False
Let d(a) = 196*a + 1. Is d(4) a prime number?
False
Let f be (-1*4)/(3/(-3)). Suppose -3*p + 5*p = f. Suppose j = -p*t - j + 380, -3*t + 3*j + 552 = 0. Is t composite?
True
Let d(u) = -u**3 - u**2 + 2*u - 1. Let c be d(-2). Is 81 - (-6)/((-3)/c) prime?
True
Let y be 2/(-1)*(-15)/6. Suppose -4*p = -5*a - 336, 3*a = -0*p - p + 67. Suppose y*w - 91 = p. Is w a composite number?
True
Suppose 10*k - 15*k + 1855 = 0. Is k prime?
False
Suppose -4*g = -0 - 16. Let r(o) = 0 + g - 41*o + 5 - 3. Is r(-5) composite?
False
Is 5 + 292/(-3)*-15 a composite number?
True
Suppose 96 = 3*m + 12. Suppose 4*p + l = 24, -5*l + m + 7 = 3*p. Suppose -5*q + 20 = 0, -p*n + 181 = -0*n - q. Is n composite?
False
Let c(l) = 2*l**2 + l + 12. Is c(-13) prime?
True
Suppose l = -s - 2, 0 = l + 4*s + 10 + 1. Let f(q) = 50*q - 1. Is f(l) prime?
False
Let a(z) = 3*z**2 - z + 1. Let s be a(2). Let y = s - 10. Suppose 14 = h + y. Is h prime?
True
Let w(k) = -k**3 + 7*k**2 - 5*k - 2. Let a be w(6). Suppose 0*z + 5*y = -5*z + 95, 0 = -a*z + 3*y + 104. Is z a composite number?
False
Is 1 + (-2 - -3 - -157) composite?
True
Is (31190/20)/(0 - (-1)/2) prime?
True
Let q(j) be the first derivative of 0*j + 3 - 3/2*j**2 + 1/4*j**4 + j**3. Is q(5) prime?
False
Suppose 11 - 3 = 2*z. Suppose -z*c + 10 = -3*c. Is c prime?
False
Let g(z) = -z**3 + z**2 + z + 1. Let d(a) = -a**3 + 2*a**2 - a + 9. Let y(o) = d(o) - 3*g(o). Is y(5) prime?
True
Let o be (-162)/(-21) + 6/21. Is 2/o - 678/(-8) a composite number?
True
Let z(a) = -4*a**3 + 2*a**2 + a. Let b be z(-3). Suppose -p = -3*d + 193, -2*p + b = 2*d - 11. Is d a composite number?
True
Let p(g) be the second derivative of g**4/6 + 2*g**3/3 - 3*g**2/2 + g. Let v be p(-7). Let l = v + -42. Is l a prime number?
False
Suppose 0 = -11*z - 0*z + 57827. Is z composite?
True
Let s = 1322 - 273. Is s composite?
False
Let c be (-2)/(3 - 1) - -10. Suppose -l - 2*l = -c. Suppose -18 - 48 = -l*h. Is h a composite number?
True
Let b(v) = v - 1. Let a(g) = -g**3 + 10*g**2 + 3*g + 10. Let f be ((-6)/(-15))/((-4)/(-10)). Let l(i) = f*a(i) + b(i). Is l(10) prime?
False
Let i(h) = -h**3 + 5*h**2 + 9*h - 4. Let j be i(6). Suppose j - 52 = -v. Is v composite?
True
Let g = -13 + 18. Let n(u) = 2*u**2 + u. Is n(g) prime?
False
Suppose -4*c - 225 = -9*c. Suppose c = t - 76. Is t prime?
False
Let r(h) = -2*h**2 + 3*h - 1. Let l be r(-3). Let t be (-7)/l - (-4086)/8. 