k**5/120 + 47*k**4/8 + k**3 + 4. Let f(c) be the third derivative of o(c). Is f(0) prime?
False
Suppose z + 5 - 3 = 0. Is ((22 - z) + -3)*1 prime?
False
Let c = 329 - 134. Is c/(-12)*2*-2 prime?
False
Let a = 0 - -5. Suppose 106 = -a*l + 301. Is l composite?
True
Suppose 0 = 2*x - x - 33. Suppose -x + 0 = -3*d. Is d a prime number?
True
Let m = 8 + -6. Let u be (m + 16/(-6))*-3. Is (-158*1)/(-4 + u) a prime number?
True
Let u = 7 - 2. Suppose -3*k - 5 = 2*k - u*d, -3*k + 9 = d. Let j = k + 161. Is j composite?
False
Let r(n) = -325*n + 3. Is r(-2) prime?
True
Let z(f) = -7*f + 9. Let j be z(9). Let k be (0 - 1) + -2 + -1. Is 0/k - (j + -1) composite?
True
Let g = 11 + -6. Let c be 0*1/2 + g. Suppose -d = -4*p - 1, 120 = c*d - p + 4*p. Is d a composite number?
True
Let u = 1065 + -684. Suppose 4*v = 7*v - u. Is v prime?
True
Let v be 6/4*140/2. Let f = 188 - v. Is f a prime number?
True
Suppose -3 = z - 4. Let l(c) = 9*c**3 - 3*c**2 - c - 4. Let q(n) = 28*n**3 - 8*n**2 - 2*n - 11. Let t(a) = -8*l(a) + 3*q(a). Is t(z) a prime number?
True
Is 76/418 + (-2759)/(-11) composite?
False
Let d(f) be the second derivative of -f**5/20 - f**4/6 + f**3/2 + 3*f**2/2 + 3*f. Let z be d(-2). Let c(t) = -43*t - 2. Is c(z) composite?
False
Let m = -357 - -628. Is m a prime number?
True
Let v(s) = -2*s**2 - 12*s**3 - s**3 - s**3 - 7*s**3 - s. Let n be v(-1). Suppose -w - 4*c = -22, 5*c + n = 5*w + 7*c. Is w a prime number?
True
Let z = 3 - 4. Let g = z + 3. Suppose -3*t + g*a = -491, 43 = t + 4*a - 102. Is t prime?
False
Let h(g) = 26*g - 31. Is h(13) prime?
True
Let q = 3 - 3. Is (-14)/8*(-92 - q) a composite number?
True
Let x(r) = 3*r**2 - 43*r - 25. Is x(24) prime?
False
Let k = 10 - 7. Suppose k*x + x - 148 = 0. Is x a composite number?
False
Let d(j) = -29*j + 4. Is d(-5) prime?
True
Suppose -4*x = 5*v - 9827, -3*v - 5*x = -7*v + 7878. Is v prime?
False
Suppose -3*i - 104 = -7*i. Suppose 0 = 3*o + z - 0*z - 10, -i = -4*o + 5*z. Suppose 5 = o*s - 23. Is s prime?
True
Let x = 263 + -144. Is x a composite number?
True
Let d(r) = -169*r + 51. Is d(-28) a composite number?
False
Let r(s) = s**3 + 3*s**2 + 2*s + 2. Let z be r(-2). Let c = z + -4. Let x = 57 + c. Is x a prime number?
False
Let j(o) be the third derivative of -11*o**4/12 - 5*o**3/6 - 4*o**2. Is j(-6) composite?
False
Let o be 18/(-4)*(-42)/9. Let i(s) = s - s + s + o. Is i(0) a composite number?
True
Suppose 0 = y, 4 = c - 3*y - 1. Suppose -5*s = -c*p - 131 - 69, -3 = -p. Let o = s + -30. Is o composite?
False
Let f = -115 + -20. Let u = f + 214. Is u a composite number?
False
Let h = 225 + 30. Suppose -2*v + h = v. Let r = v - 60. Is r composite?
True
Let z(a) = 2*a - 2. Let x be z(2). Suppose 11 = 3*p - 2*f, x*p + 4*f = 11 + 23. Is p prime?
True
Let r(s) = s**2 - 2*s - 29. Is r(9) prime?
False
Let j be 55/66*(5 - -1). Suppose -4*t + 3*v = 127 - 1687, -j*v = -4*t + 1552. Is t a composite number?
True
Let j be (-34)/(-7) + (-11)/(-77). Let k = j + -15. Is 9/(-15) + (-2596)/k composite?
True
Is (-56244)/(-108) + (-2)/(-9) composite?
False
Let j(z) = 6 - 2*z + z + 2*z. Let g = 11 - 3. Is j(g) a composite number?
True
Suppose 2*v = 3*s + 5783, 7*v - 3*v - 4*s = 11576. Is v a composite number?
True
Let l be (1 + 0)/((-3)/(-12)). Let j be 4/(-8) + 2/l. Is 31 - j/(1/1) composite?
False
Is ((-22)/(-3))/(-2*1/(-237)) prime?
False
Suppose 0*d - 5*d = 0. Suppose 0*y = 3*j - 3*y + 6, d = -5*j - 2*y + 25. Is j a composite number?
False
Let s(m) = -m**3 - m**2 + m. Let b(t) = -t**3 - 2*t**2 + 5*t + 3. Let n be b(-3). Let x be s(n). Let z = 176 - x. Is z composite?
True
Let w(c) = c**2 - 4*c - 2. Is w(7) a composite number?
False
Let l(o) = 744*o**2 + 2*o - 1. Is l(1) prime?
False
Is 3453 - (341/(-77) + (-6)/(-14)) composite?
False
Let v be (-995)/15*(-3 + 0). Let f = v - -244. Is f a prime number?
True
Suppose 5*j = t + 3*t - 35, 29 = 4*t - 3*j. Suppose p = t*p - 308. Is p composite?
True
Let x be 3/((15/(-9))/(-5)). Suppose -12 = -3*r - c, -5*r = -0*c - 2*c - x. Suppose 0 = f + r*f - 212. Is f composite?
False
Let g = 13 - 8. Suppose -3*t + 245 = -4*u, 70 = 3*t - g*u - 177. Is t a composite number?
False
Let h(f) = 6*f**3 + f**2 - 1. Let l be h(1). Let y(s) = s**3 - 5*s**2 + 2*s + 5. Is y(l) a prime number?
True
Suppose 0 = -2*m + b - 78, -3*b = 2*m - m + 25. Let x = m - -506. Is x composite?
True
Suppose 0 = -13*z + 2116 + 913. Is z composite?
False
Suppose 5*d = -20, -z - 209 + 606 = 3*d. Is z prime?
True
Suppose -53 = -4*s + w, -s + 15 + 2 = -4*w. Let g = 50 - s. Is g prime?
True
Let i(o) = -o**3 - o**2 - o + 520. Let a be i(0). Suppose 2*g - 518 = -2*v, -2*g + 3*v = 6*v - a. Is g a prime number?
True
Suppose -2*x = 3*o - 5*x - 5610, 2*x = -2*o + 3720. Is o prime?
False
Let r be 4/(-2) - (0 - -7). Let t be ((-20)/(-6))/((-6)/r). Suppose -p = 4*o + 10, 0 = 2*p - p + 3*o + t. Is p prime?
False
Suppose -5*m = -699 + 9. Let b = m + -56. Let x = b + -27. Is x composite?
True
Let g(i) = 0*i**2 - 4*i**2 + 5*i**2 + 6 - 2*i. Is g(-7) prime?
False
Let z(p) = -21*p**3 - 5*p**2 + 2*p - 5. Let m(h) = -21*h**3 - 4*h**2 + h - 4. Let q(i) = 4*m(i) - 3*z(i). Let c be 2*((-3)/2 - -1). Is q(c) composite?
True
Let p = 1 + -9. Is (-2)/(-8) - 118/p a prime number?
False
Let n(j) be the second derivative of -j**5/20 - 7*j**4/12 + 2*j**3 + 4*j**2 - j. Let b be n(-8). Let m = b + 101. Is m a prime number?
False
Is 1*(422/2 + 0) composite?
False
Let k(t) = -114*t**3 + 2*t**2 + t. Is k(-1) composite?
True
Suppose 4*i - 1636 = 3*c + c, -3*c - 1634 = -4*i. Is i composite?
True
Let v(s) = 12*s**2 + 6*s - 3 - 14*s**2 - 3*s + 20*s**3. Let k be v(2). Suppose 5*o - k = -5*p, -2*o - p = -0*o - 65. Is o a prime number?
False
Suppose -5*i = -3 + 8, 2*o - 5*i - 225 = 0. Is (o/(-8))/(3/(-12)) a composite number?
True
Suppose 0 = -5*z + 9*z - 9004. Is z a prime number?
True
Let g = 1215 + -470. Is g a prime number?
False
Is ((-5)/10)/(3*2/(-15828)) prime?
True
Let n(m) be the first derivative of -3*m**2 - m - 1. Let f be n(-1). Suppose -5*u = -g + 64 + 14, -2*g + f*u + 131 = 0. Is g a prime number?
True
Let k(b) = b**3 + b + 129. Let i(w) = -w**3 + 6*w**2 + 4. Let y be i(6). Suppose y*p = -p. Is k(p) a composite number?
True
Let r be (-76)/(-24) + 1/(-6). Suppose -1280 + 95 = -r*m. Is m a prime number?
False
Is (-34)/51*12918/(-4) a prime number?
True
Let f be (-4)/(-14) - 32553/(-63). Is 3/(-2) + f/2 a composite number?
False
Suppose -5*i + 16 = 51. Let u(w) be the third derivative of w**6/120 + 3*w**5/20 + w**4/3 - 5*w**3/6 - w**2. Is u(i) a prime number?
True
Suppose 4*g + g = 0. Suppose g*z + 2*z = 318. Is z a prime number?
False
Is (2*-3)/(-2)*(-7 + 104) a prime number?
False
Suppose -182 = -3*j + 205. Is j prime?
False
Suppose 0 = -t - 3*u + 1690, 4*t - 4*u = 5501 + 1307. Suppose -5*l - n = 2126, t = -4*l - 2*n + 3*n. Let z = l + 648. Is z prime?
True
Suppose 157 = 3*d - 290. Is d composite?
False
Let m be (-1 + 1)/3*-1. Let j be ((-6)/5)/((-6)/15). Is m - ((-3)/j + -46) a prime number?
True
Suppose r = -f - 3*f - 81, -99 = 5*f - r. Let o = f - -178. Suppose x = -x + o. Is x a composite number?
False
Suppose -10 = 3*y - 4*y. Let c = y + 24. Is c a composite number?
True
Let d(s) = s + 22. Is d(0) a prime number?
False
Let l(w) = 11*w**2 + 2. Is l(1) prime?
True
Let g(f) = -f**3 - f**2 - 3 + 16 - 4*f**2 - 4*f + 12*f. Is g(-7) a composite number?
True
Suppose 2 = -0*o + 2*o. Let d(i) = 1 + o + 3 + 4*i + i**2. Is d(6) a composite number?
True
Suppose -20 = -3*x + x. Let a = 17 - x. Is a composite?
False
Suppose 0 = -4*c + z - 5*z - 28, 3*z + 9 = c. Let f = c + 3. Suppose -3*b + 159 = -f*b. Is b a composite number?
False
Suppose 0 = -4*j - 170 - 6. Let z = j + 79. Is z a prime number?
False
Suppose -4*b + 5015 = 5*r, -3*r + 0*r = -2*b - 3009. Is r a prime number?
False
Suppose 3*b - 5*g - 1117 = 0, 0 = 2*b + b + 5*g - 1157. Is b a composite number?
False
Let u(n) = -n**3 + 2*n**2 + 2*n - 2. Let j be u(2). Suppose -j*w = -x + 2*x - 375, x - 390 = 3*w. Is x a composite number?
True
Let w(u) be the third derivative of u**6/30 - u**5/15 + u**4/6 - u**3/6 - 5*u**2. Is w(3) prime?
True
Let b(s) = s + 4. Let m be b(4). Suppose 0 = -y - 3*y + m. Suppose -6 = -2*v, y*v - 115 = -2*u - 31. Is u composite?
True
Let f = 669 + -382. Is f prime?
False
Su