j**3 + 2*j**2 + 2*j + 1. Let b be l(-1). Suppose b*h - 54 - 298 = -c, 0 = 4*h - c - 474. Is h a prime number?
False
Let o(w) be the third derivative of -w**7/840 + w**6/360 - w**5/60 + w**4/8 - w**3/2 - 3*w**2. Let k(t) be the first derivative of o(t). Is k(-5) prime?
True
Let q(z) = z**3 - 16*z**2 - z + 21. Let f be q(16). Suppose -2*i = -4*c + 158, -3*c - 86 = -6*c - f*i. Is c composite?
False
Let g be 3 - 0*(-1)/(-2). Let k = 702 + -482. Suppose 0 = -i - g*i + k. Is i prime?
False
Let w(y) = -6*y - 5. Suppose 5*s = -5*u + 45, 0 = -5*u - s + 18 + 19. Let a be w(u). Let j = 116 - a. Is j a composite number?
False
Let i = 182 - -69. Is i a composite number?
False
Let b(s) = -s**2 + 13*s + 7. Suppose -1 = -3*c + 29. Is b(c) a composite number?
False
Let l(i) = 106*i**3 - i**2 + i - 2. Let q be l(2). Let y be (-4)/10 + q/10. Is 0/1 + y - -1 a composite number?
True
Suppose 2*q - 1 - 7 = 0. Suppose 0*w = -q*w. Suppose -s = -w*s - 35. Is s a composite number?
True
Let x(p) be the second derivative of -p**5/10 - p**4/3 - 2*p**3/3 + 3*p**2/2 - 7*p. Let t = 3 - 7. Is x(t) prime?
True
Let c(s) be the first derivative of -s**4/4 - 5*s**3/3 - 5*s**2/2 - 1. Let u be c(-4). Suppose u*k - 6*k + 130 = 0. Is k composite?
True
Suppose 0 = 5*g + 2*y - 1053, 0 = 3*g - 5*y - 870 + 263. Is g composite?
True
Suppose -5*b + 20 = 0, -4*a = -3*b - 5 + 1. Suppose -5 = -u + a*n, -4*u + 5 = -5*n - 4. Is 138/4 + u/2 a prime number?
False
Suppose -j + 4 = -2*j. Let g be (-98)/(-8) + j/16. Is 2 + -5 + 6 + g composite?
True
Let p be (2 + (-6)/4)*0. Let f = 1 + p. Is 20 + f/(1/1) a prime number?
False
Suppose -11141 = -3*f - 4*u, 0 = -5*f + 3*f + 5*u + 7458. Is f a prime number?
True
Let v be 108/20 - 2/5. Suppose -v*i = 0, 2*i + 0 = p - 1. Let y(l) = 89*l**2 + l - 1. Is y(p) a composite number?
False
Let w = -3 + -1. Let b = w + 1. Let m = b + 12. Is m a composite number?
True
Let c = 562 + -377. Is c prime?
False
Let j(w) be the first derivative of -w**6/360 + 7*w**5/120 + w**4/8 - w**3 + 1. Let a(t) be the third derivative of j(t). Is a(5) a composite number?
False
Let p = -62 + 13. Let w = p + 108. Is w a composite number?
False
Suppose -8*z + 5*z + 33151 = 5*u, 4*z - 6637 = -u. Is u prime?
False
Let k(o) = o**3 - o**2 - 6*o + 1. Let h be k(5). Is h - 6/(-2) - -3 a prime number?
False
Suppose 2*c - 158 = -2*n - 56, 4*n - 5*c = 240. Is n composite?
True
Let y(x) = x + 2. Let n be y(-9). Is (-2)/n - 320/(-7) composite?
True
Let z(c) = c**3 - c**2 - 2*c - 5. Let i be z(6). Suppose 0*v + v = i. Is v prime?
True
Let d(s) = 2*s**2 - 4*s - 1. Let k be d(3). Let a(y) = -y**3 - y**2 + 5. Let p be a(0). Is -1*(-57)/p*k a prime number?
False
Let m = -6 + 6. Is (-1 - -56) + (0 - m) prime?
False
Let z = 0 - 1. Let v(i) = 3*i**2 - 1. Is v(z) prime?
True
Suppose -5*j - 25 = -5*h, 1 = -3*h - 5*j - 0. Suppose 77 = 2*a + h. Is a composite?
False
Suppose 3*j = -0*u - 4*u + 5, 3*j - 9 = -3*u. Let b(k) be the second derivative of k**4/6 - 4*k**3/3 - 7*k**2/2 - 2*k. Is b(j) a composite number?
True
Let j = 16 + -12. Suppose r - 6 = j*r, 2*r + 358 = 2*l. Is l a prime number?
False
Suppose 631 = 4*h - 3*w, -2*h + 4*h - w = 315. Is h prime?
True
Let b(i) = 2*i**2 - 7*i - 16. Let u be b(18). Suppose -4*f = -2*t - 234, 3*f - 5*t = -f + 219. Suppose 5*o = -f + u. Is o prime?
True
Suppose 0 = -2*g - 5 + 11. Suppose -2*d + 487 = 4*w + 3*d, 3*d = -g*w + 363. Is w composite?
True
Let r = 117 - 40. Is r a composite number?
True
Let y(b) = 33*b + 13. Let d be y(8). Let v = d - 138. Is v composite?
False
Let k(f) = -489*f + 4. Is k(-1) composite?
True
Suppose 1467 = 3*a - 2*v, 2*a = 2*v - 5*v + 965. Is a a prime number?
True
Let o(i) be the third derivative of i**4/24 + 179*i**3/6 + 6*i**2. Is o(0) composite?
False
Suppose g + 4*g = 20. Suppose 2*x = -z - 0 + 4, -4*z + 4*x + g = 0. Suppose -4*q - 42 = -z*m, -q = 2*m + 4*q + 3. Is m a composite number?
False
Suppose -5*u = -4*o + 5041, 2*o + 3*u - 1244 - 1271 = 0. Is o prime?
True
Let y(u) = 2*u**2 - 2. Let o be y(2). Let a(b) = 4*b**2 - 8*b - 5. Is a(o) a composite number?
True
Let l(a) = -165*a - 4. Is l(-3) a prime number?
True
Let c(l) be the second derivative of -7/2*l**3 - l - 1/2*l**2 + 0. Is c(-4) a prime number?
True
Suppose 2*o = 3*o + 6. Let s be -3*o/9 + 0. Suppose m + s*j - 22 = -j, -2*m - 5*j + 48 = 0. Is m a composite number?
True
Let o be 8799/6 - (-6)/(-4). Suppose l + o = 6*l. Is l a composite number?
False
Suppose 4394 = 8*v - 1470. Is v composite?
False
Suppose -113 = -3*k + 304. Is k composite?
False
Let o(q) = -3*q**3 - 14*q**2 + 9*q + 33. Is o(-10) a composite number?
False
Let o be (-40)/(3 + -7) + 3. Suppose o*c - 8*c = 2255. Is c a prime number?
False
Let r be 928/12*3/2. Let h = r - 27. Is h prime?
True
Let l = -51 - -81. Suppose 2*h + l = 128. Is h prime?
False
Suppose 30*t - 34*t + 1412 = 0. Is t a prime number?
True
Let x(w) = w**3 - 2*w**2 - 6*w. Suppose 2*h = -0*h + 2*s + 8, -4*h + 2*s = -18. Let g be x(h). Suppose -y - 4*y + g = 0. Is y a prime number?
False
Suppose 0 = -i - 4*i + 10. Suppose -2*o - o = a - 17, i*o = -a + 12. Suppose 0*t + b - 65 = -2*t, -t = -o*b - 60. Is t prime?
False
Suppose 3*m + 15 = 4*b, m = -2*b + b + 2. Suppose -a + 4*a = -b*h + 549, 0 = 3*a + 4*h - 545. Is (-2)/4 + a/2 prime?
False
Let h be 243 - -1 - (-7)/7. Suppose -y - 4*y - 755 = 0. Let b = h + y. Is b prime?
False
Let t be (-2 + 1211 - 4)/1. Suppose 300 = c - q, c = -3*c - q + t. Is c a composite number?
True
Suppose 2*l - 4*l = 204. Let t = -11 - -17. Is (-4 - -1)/(t/l) a prime number?
False
Let n(c) = -18*c**3 + 3*c + 3. Is n(-2) composite?
True
Let b(c) = 141*c - 3. Let a be b(2). Suppose 0 = 5*j + n - a, 5*j + 4*n - n = 287. Suppose -3*i + 2*i = -u + 63, i = -u + j. Is u a prime number?
True
Suppose -4*w + 23 = 5*h - 0*h, -4*h = -12. Suppose 4*k + 26 = -r + 2*r, -2*r + 28 = -w*k. Let v = -7 + r. Is v a prime number?
True
Let u = 2759 + 8582. Is u prime?
False
Suppose 3*u - 5*u - 264 = 0. Is 1/(u/45 - -3) prime?
False
Let j = 19 - -10. Is (-26 + 4)*j/(-2) a prime number?
False
Let i(f) = f**2 + 11*f + 13. Let z be i(-10). Suppose -9 = 5*h - z*w, -3*h + 3*w = w + 6. Suppose -4*q = -h*q - 148. Is q a prime number?
True
Let f(d) = 2*d**2 + 16*d + 3. Is f(-8) composite?
False
Let h = -990 - -1831. Is h composite?
True
Let w = -3 - 1. Let x(y) = y**3 + 5*y**2 + 4*y. Let s be x(w). Is 7 + (-3)/(-9)*s prime?
True
Let i(p) be the second derivative of -95*p**3/6 + 2*p**2 + 8*p. Is i(-5) composite?
False
Suppose -4*g + 2*i + 24 = 0, 5*g - 22 - 9 = 3*i. Let w be (1 + g/1)/2. Suppose -w*d - 558 = -3*c, -c + 5*c + 4*d = 752. Is c composite?
True
Let d(g) = 6*g**3 + 13*g**2 - 8*g - 10. Let f(z) = -5*z**3 - 12*z**2 + 8*z + 10. Let k(m) = -4*d(m) - 5*f(m). Is k(-7) a prime number?
False
Suppose 0 = 3*d - 5*c - 2568, -4*d + 3117 = 5*c - 272. Is d a composite number?
True
Let b(f) = -16*f**3 - 3*f**2 + f - 4. Let x(s) = 1. Let j(m) = -b(m) - 3*x(m). Is j(2) a composite number?
False
Let m = 118 - 77. Let v be 4/(-6) - (-4)/6. Suppose -2*k + m + 29 = v. Is k a composite number?
True
Let a(c) = -3*c. Let q be a(-6). Is (-1)/(-2) - (-2349)/q composite?
False
Suppose -77 = -4*q + 67. Let o = 59 - q. Is o composite?
False
Let z(j) = j**2 + 6*j + 7. Is z(-7) prime?
False
Let o be (2/3)/((-10)/(-5955)). Suppose -r + 3*m + 124 = 0, -4*r + 113 = 2*m - o. Is r a composite number?
False
Suppose -5*a + 1443 = -1492. Is a a prime number?
True
Let n = 1 + -5. Let o = n + 4. Is 8 - -1 - (-1 + o) prime?
False
Let m be -584 - -1 - (11 - 12). Is (m/(-8))/(2/8) a composite number?
True
Let k = 85 - -162. Is k composite?
True
Let p = -72 - -50. Let y = p - -15. Is (-135)/y - (-2)/(-7) a composite number?
False
Let o = -49 + 92. Suppose 0 = -5*x - 42 - o. Let b = x - -36. Is b composite?
False
Let g be (26/6)/((-5)/(-120)). Let c = -15 + g. Is c a prime number?
True
Let z(y) = 3*y**2 - 5*y - 5. Let f be z(6). Suppose 0 = 3*s - 2*s - f. Let t = -18 + s. Is t composite?
True
Let b be 4/10 + 5589/15. Suppose 3*h = 74 + b. Is h composite?
False
Let s be (-56)/(-6) - 1/3. Suppose -s = -n + 4. Is n prime?
True
Let z(v) = 149*v**2. Suppose -2 = 6*d - 8*d. Is z(d) prime?
True
Suppose g + g = -4*u + 7790, 0 = u + 4*g - 1965. Is u prime?
False
Let f be 2/5 - 13/(-5). Suppose -f*i + 