 + 207 = 5*o - 179. Is -2*(-1 + o/(-2)) prime?
True
Let a(h) be the first derivative of -h**3/3 - 3*h**2 - 5*h - 1. Let v be a(-4). Suppose -775 = -v*i - g, -2*i + 0*i = -3*g - 524. Is i composite?
True
Suppose 14*s - 27574 - 1840 = 0. Is s prime?
False
Let r = 1344 - 227. Is r composite?
False
Let f be (-8)/(-2) - 0 - 1. Suppose -2398 - 3351 = -5*r - 3*k, -3451 = -f*r - k. Is r a prime number?
True
Let o(s) = -s**2 - 3*s - 1. Let l(j) = -3*j**2 - 6*j - 2. Let k(h) = -3*l(h) + 5*o(h). Suppose 0 = 5*n - 3*n + 8. Is k(n) a composite number?
False
Let x(k) = k**3 + k**2 - k - 5. Let f be x(0). Let n be 23 - 1 - (-5 - f). Let y = 177 - n. Is y composite?
True
Let w = -150 - -277. Is w a composite number?
False
Let l be (-4)/12 - 32/(-6). Is l/(-10)*1*-158 composite?
False
Is (-711)/(-6) + 1/(-2) prime?
False
Suppose j - 93 = -2. Is j a prime number?
False
Let x(a) = 3*a**3 + a - 2. Let w be x(1). Is w*2 - (-128 - -11) composite?
True
Let z(g) = g**3 + 8*g**2 - 10*g - 3. Let k be z(-9). Let n(q) = q**3 - 5*q**2 + 8*q + 5. Is n(k) a composite number?
False
Suppose 0 = -4*p + 4*c + 40872, -3*p + 5*c = c - 30650. Let x = p + -6098. Is 3/(-4) + x/16 prime?
True
Suppose -3*l + 2*l = 18. Let v = 87 + l. Is v a prime number?
False
Is (42/(-9))/2*-21 prime?
False
Let w be 1 + 2 - (11 + -35). Suppose 3*f + 4*i - 142 = 0, -3*f + 143 = -0*i + 5*i. Let o = f - w. Is o a prime number?
True
Let t = -120 + 421. Suppose -t = -3*y + 272. Is y a prime number?
True
Let g(f) = 0*f**3 + 13*f + 7*f**2 + f**3 - 2*f + 2. Let o(k) = 2*k**3 + 13*k**2 + 23*k + 4. Let r(n) = 5*g(n) - 2*o(n). Is r(-7) a prime number?
True
Let f(o) = 73*o**2 + 3*o - 9. Is f(4) prime?
True
Suppose 10*v = 6*v + 2348. Is v a prime number?
True
Let f(d) = -68*d - 6. Let p(c) = -23*c - 2. Let m(u) = -5*f(u) + 16*p(u). Is m(-3) prime?
False
Let v = 1044 - 487. Is v composite?
False
Suppose -34 = -3*h + 47. Let q be (-6)/(-4)*(-1692)/h. Let c = -27 - q. Is c a composite number?
False
Suppose -5*q + 290 + 180 = 0. Let j = -134 + q. Is (j/4)/(4/(-6)) composite?
True
Suppose 3568 = 3*v + 5*v. Is v a composite number?
True
Let a(i) = i**3 - 7*i**2 + 5*i - 2. Let x be a(6). Is 0 - 0 - (x + -45) a prime number?
True
Suppose 0 = 3*v + 4*n - 479 - 0, 5*n = -5*v + 795. Is v composite?
False
Let u(s) = s**2 - s + 7. Let d be ((-10)/(-8))/(1/(-4)). Is u(d) a composite number?
False
Let u be (-3)/(-2)*(-14)/(-21). Is 134*(0 - u/(-2)) a composite number?
False
Let q(u) = -86*u - 3. Let f(y) = 43*y + 2. Let h(x) = -5*f(x) - 3*q(x). Is h(6) composite?
False
Let v = -540 + 1243. Is v a prime number?
False
Let x(r) be the second derivative of -r**4/12 + 5*r**3/3 - r**2 + 3*r. Is x(8) composite?
True
Suppose -5*t - 2*s + 3*s + 1266 = 0, -252 = -t - s. Is t prime?
False
Let q = -59 - -138. Is q composite?
False
Suppose 43 = a + 2*s - 1012, 0 = -a + 3*s + 1070. Is a prime?
True
Let a(b) = -7*b**3 - 3*b**2 - 8*b + 11. Let x(m) = -6*m**3 - 4*m**2 - 8*m + 10. Let y(k) = 5*a(k) - 6*x(k). Is y(-7) a composite number?
False
Let s(l) = 3*l**2 + 6*l - 8. Let p be s(-6). Let d = p + -43. Is d prime?
False
Suppose -2*o + 233 - 25 = 4*a, 5*a - o = 267. Is a composite?
False
Let z = -25 + -32. Let h be z/(-12) + (-2)/(-8). Suppose 0 = -4*g - 5*b + 213, 0*g - 3*g + h*b + 186 = 0. Is g composite?
True
Let m(t) = -t**3 - 3*t**2 - 2*t + 1. Let i = 4 + -6. Let r be m(i). Is 4 + 5 + -3 + r a prime number?
True
Let r(y) = 60*y**2 - 1. Let n be r(-1). Suppose p = 5*a + 3*p - 57, n = 5*a + 4*p. Let v = a + 0. Is v a prime number?
True
Let s be (-1)/4 - (-10)/40. Suppose s = c - 21 - 53. Is c prime?
False
Suppose k - 3*p - 59 = 62, -p - 549 = -5*k. Is k a composite number?
False
Suppose 2*u - 4*z + 11 - 3 = 0, 2 = 2*u - 2*z. Is 2*u*21/12 composite?
True
Suppose -y - 3 = -4*y. Let v be (-4)/2 + 29 + y. Suppose 3*s + 147 = 4*f, 3*s - v - 20 = -f. Is f prime?
False
Let f = -1200 + 2369. Is f composite?
True
Is ((-31)/5)/(4/(-20)) a prime number?
True
Let g(i) = i**3 - 12*i**2 - 7*i - 7. Is g(13) a prime number?
True
Let t(s) = 86*s - 1. Is t(1) a prime number?
False
Suppose -4*j - 4*n + 48 = 0, 3*n - 34 = -2*j - 6. Let f(i) = -2*i + 4*i + 11 - 3*i. Is f(j) a prime number?
True
Let y(k) be the first derivative of k**2 - k - 2 + 4/3*k**3. Is y(-5) a composite number?
False
Suppose -1525 = -5*o - 0*o. Let f = -214 + o. Is f composite?
True
Let f(x) = 324*x**2 + 9*x - 3. Let m(t) = 162*t**2 + 4*t - 1. Let l(u) = -2*f(u) + 5*m(u). Is l(-1) a composite number?
True
Suppose -1869 = -3*i - o, 2*i = o + o + 1246. Is i prime?
False
Let j be 1/(-5) + (-44)/(-20). Suppose -j*h + 83 = -23. Is h prime?
True
Suppose 2*f - 6059 = -u, -2*f - 5*u + 6056 = -3*u. Is f a prime number?
False
Let w(g) = -g**3 + 3*g**2 + 4*g + 2. Let c be w(4). Let h be 0/((-1)/((-1)/(-2))). Is h + (-1)/(c/(-44)) a prime number?
False
Let v(f) = -144*f**3 + f**2 + f. Let p be v(-1). Suppose -2*g = g - p. Is (-4)/(-6) + g/9 a composite number?
True
Is -3 + (-11)/(55/(-800)) a composite number?
False
Suppose 3*y + 0*y - 195 = 0. Let b = y - 12. Is b a composite number?
False
Suppose -2*w + p = -2397, 3593 = 3*w - 2*p - 2*p. Is w a prime number?
False
Let v(t) = 21*t**3 + t. Let m be -1*(2 + -2) + 3. Suppose -4*w = -3*g - 17, 0 = -m*g - 3*w - 2*w + 28. Is v(g) composite?
True
Let n(j) = j**3 - 6*j**2 + 5*j + 5. Let f = -8 - -11. Let r be 6/(3*f/9). Is n(r) a composite number?
True
Suppose q - 4*k + 33 = -0*k, 3*q + 2*k + 43 = 0. Let u(m) = -m + 7. Let j be u(5). Is (q/j)/((-3)/42) a composite number?
True
Suppose 10*v - 16 = 6*v. Suppose -v*o + 2*o = -422. Is o prime?
True
Suppose -1 = -p, -p + 4*p - 271 = -2*s. Is s composite?
True
Let q be -1 + 2 + 6/3. Suppose l - q = -1. Suppose l*u = -3*g + 65, 0 = -g - 2*u - 3*u + 26. Is g a composite number?
True
Let l(d) = d**3 - 4*d**2 + d - 5. Let p be l(4). Let n(j) = 52*j**2 - j. Is n(p) a prime number?
True
Suppose -11*l + 6*l = -55. Suppose 127 = 4*y - 2*x - 67, -x + 239 = 5*y. Suppose 0 = n - y + l. Is n composite?
False
Let c(x) = -2*x - 7*x - x + 9*x - 5. Let v be c(-4). Is 4 + 27 - 2/v a prime number?
False
Let t be (-2*1)/(-1) - 4. Let c = t + 6. Suppose -c*p + 40 = -276. Is p a composite number?
False
Suppose k + 4 = -2. Is k + 3 + 4 + 9 a prime number?
False
Let z(t) = t**3 - 8*t**2 - 9*t + 8. Let x be z(9). Let n = x + -5. Suppose -s + 56 = n*s. Is s a prime number?
False
Let x be (-2)/(0 + 4/(-66)). Suppose -u = -4 - x. Is 2/2 + u + -3 a composite number?
True
Let o(b) = -8*b + 20. Let q(h) = 3*h - 7. Let l(n) = 4*o(n) + 11*q(n). Let m be l(-5). Is (2 + 1)/(3 + m) prime?
True
Let l(c) = 36*c**2 - 4*c - 4. Let p be l(-3). Let b = p - 95. Is b composite?
True
Let d = 28 + -21. Is d a prime number?
True
Let o = 70 - 26. Let a = o + 23. Is a a composite number?
False
Let m = 577 - 20. Is m prime?
True
Let p(v) = -v**3 - v**2 - 6*v - 5. Let j be p(-4). Let h = j - -48. Is h prime?
False
Is (58/(-4))/((-2)/20) a composite number?
True
Suppose 4 = -3*v + 4*v. Let j be 24/(-18)*(-6)/v. Suppose -9 = 3*w, -5*t = j*w - 7*w - 430. Is t a composite number?
False
Let f(l) = 1527*l**2 + l. Let t be -2*(-2)/4*1. Let x be f(t). Suppose 5*s + 443 = x. Is s a composite number?
True
Suppose -5 = 4*o - 3*d + 1, -3*d = -6. Suppose 0 = 2*s + 5*w - 22, -4 = -2*s + 4*w - o*w. Suppose 2*x - 44 = -4*v, -s = 4*v - v. Is x a composite number?
True
Suppose 2*m + 0*m = 0. Suppose m = -2*s + 371 - 117. Is s a prime number?
True
Let o(p) be the third derivative of -p**6/120 - p**5/30 - p**4/12 + 2*p**3/3 + 3*p**2. Is o(-3) prime?
True
Suppose 23*n = 35*n - 1788. Is n a prime number?
True
Suppose q - 2 - 7 = 0. Suppose q = 2*y + 1. Suppose 6*w = w - 15, y*x + w - 49 = 0. Is x composite?
False
Let t(y) be the second derivative of -7*y**5/4 - y**4/12 + y**3/6 + y**2/2 + y. Let d = -2 + 1. Is t(d) a composite number?
True
Let a be (28/10)/((-2)/(-10)). Let n = -9 + a. Suppose n*s + 72 - 262 = 0. Is s a prime number?
False
Suppose -168 = -4*h - 4*v, -3*v + 130 + 35 = 4*h. Suppose 12 + h = x. Let j = -20 + x. Is j a composite number?
False
Let w = -4 + 6. Suppose w*o = 5*u + 245, -103 = -o + 2*u - 6*u. Suppose -2*j = -7*j + o. Is j a composite number?
False
Let u(s) = s - 13. Let x be u(9). Is (-1060)/(-12) - x/6 prime?
True
Suppose 6*t - 14356 = 2*t. Is t composite