 l**4/6 + 2*l. Let t(y) be the third derivative of n(y). Is t(6) composite?
True
Let x(g) = 4*g**3 - g**2 + g. Let r be x(1). Suppose r*y + c = 1847, 5*y - 2*c = 757 + 1568. Suppose -48 + y = 5*p. Is p prime?
True
Let u = 79 + -44. Is u composite?
True
Let f(u) = 26*u + 3. Let o be f(-4). Let l = o - -59. Let n = 25 - l. Is n a prime number?
True
Suppose -3*t = -5*v - 86 + 29, -4*t = 2*v - 76. Let s = 0 + t. Is s a composite number?
False
Suppose -3*s + 915 = -426. Is s a composite number?
True
Suppose 0 = f + 4, 5*f + 92 = 4*j - 0*f. Suppose j = r - 8. Suppose 0 = -z - 3 + r. Is z composite?
False
Let d(w) be the second derivative of -5/2*w**2 + 4*w**3 - 2*w + 0. Is d(4) a composite number?
True
Is (222/30)/((-3 + 1)/(-10)) prime?
True
Is 2/8 - 5005/(-28) a prime number?
True
Let n = -9 + 9. Suppose 2*k + 2*k - 380 = n. Is k prime?
False
Suppose 2*y + 4*l = y + 43, -l = 3*y - 96. Suppose 4*d + 0*d = 0. Suppose 0*r - r + y = d. Is r a prime number?
True
Let o = -1 + 5. Is o/(-18) - 6438/(-54) a prime number?
False
Let p(m) = -11*m + 44. Is p(-7) composite?
True
Let l(p) = p**3 + 12*p**2 - 28*p + 22. Is l(-14) prime?
False
Suppose -6*h + 0*h = -7086. Is h composite?
False
Let o(u) be the first derivative of -4*u - u**4 - 2 - 5/2*u**2 + 0*u**3. Is o(-3) a prime number?
False
Suppose -4*q + 6 = -2*k, -q + 3*k + 16 = -2*q. Is 51/(q - 5/(-2)) a prime number?
False
Let c = 4342 + -2563. Is c a composite number?
True
Suppose -2*s + 5 = 4*o + 1, 6 = -4*s - o. Let d be s/(-6)*0 - 10. Is 112 - -1 - d/5 prime?
False
Let v(t) = -2*t. Let j be v(2). Let s(w) = 6*w**2 + 2*w - 1. Is s(j) prime?
False
Let d(k) = -k**3 - k**2. Let r(c) = -2*c**3 - 3*c**2 + c - 15. Let n(j) = 3*d(j) - r(j). Is n(0) composite?
True
Is (7/2 - 4)*2562/(-3) composite?
True
Suppose -5*u + 0 = -15. Suppose -3*f + 2 = -4*k + 352, -172 = -2*k + u*f. Is k a prime number?
True
Let l(r) = 11*r**2 + 3*r + 8. Let a be l(6). Suppose -2*u = -4*u + a. Is u prime?
True
Let t(d) = -2*d**3 - 8*d**2 - 6*d - 3. Let c be t(-5). Let h = c - 30. Is h prime?
True
Let s(q) = 5*q - 14 + 5 - q. Is s(10) a composite number?
False
Suppose 2*g - 6*b + 2*b - 150 = 0, -g = -b - 72. Let w = -30 + 35. Suppose -w*m + 461 = -g. Is m a composite number?
True
Suppose -q + i + 0*i + 3 = 0, -2*q - 2*i + 6 = 0. Suppose q*o + o = 200. Suppose -g + 1 = -0*s + 5*s, 4*g - o = 3*s. Is g a prime number?
True
Suppose 2*u = 3*u - 3. Let t be 2/1 + 0/(-1). Suppose -k = t*g - 63, u*k - k = -g + 114. Is k a prime number?
False
Is (-3)/21 - 3480/(-7) a composite number?
True
Suppose -9 - 3 = -4*w. Let y be 61 + (w - 0 - 2). Let f = y + 7. Is f a composite number?
True
Let i = -9 + 406. Is i composite?
False
Suppose 5*w = 3*c - 18, -2*c + 12 = 4*w + w. Let g be 16/(-12) - (-2)/c. Let o(m) = -5*m**3 - m**2. Is o(g) composite?
True
Let u = -3 + 3. Suppose -12 = -2*t - g - g, u = -3*t + 5*g - 6. Suppose 5*x + 595 = 5*c, c + t*c - 472 = 3*x. Is c composite?
True
Suppose -2*o - 4*r - 8 = o, 10 = -2*r. Suppose o*x + 2*i - 36 = 0, -3*i = 4*x - 4*i - 42. Is x a composite number?
True
Let f(m) = -m**3 + 4*m**2 + 6*m - 3. Let z be f(5). Suppose r + 11 = -2*q, -5*q + 7*r - z*r - 65 = 0. Is (-38)/q*(7 + -3) prime?
True
Let k(v) = -3*v - 2. Let d(r) = r**3 - 6*r**2 - r + 6. Let u be d(6). Let j = -5 + u. Is k(j) a composite number?
False
Suppose -2*m = -3*p - 21, 13 = -5*m - 2. Let f = 46 + -24. Let r = p + f. Is r prime?
True
Let v be 1 - 0 - (21 - 5). Let u be (6/(-10))/(3/v). Is 3/(u/29) + 2 a prime number?
True
Let o(s) be the first derivative of -18*s**2 - 3*s - 5. Is o(-2) a composite number?
True
Suppose 0 = -4*u + 20, 0*u + 21 = 3*l + 3*u. Suppose -l*m = -3*m + 293. Is m a prime number?
True
Let r = 0 - -2. Let w be (-8)/((-2 - -1)*1). Suppose -3*v + w*v - 355 = 3*n, -r*n + 84 = v. Is v a prime number?
False
Is (-122)/(-8) - (-3)/(-12) a composite number?
True
Let s = 1939 + -1052. Is s a prime number?
True
Let s(v) = 31*v**2 - v + 1. Is s(1) a prime number?
True
Let k(d) = 5*d + 12. Let w be -6*((-10)/(-4) + -3). Suppose w*b + 7 = 37. Is k(b) composite?
True
Suppose -547 = -2*n + 1267. Is n a composite number?
False
Suppose r - 526 = -0*r. Let t = r + -323. Is t prime?
False
Let a(y) be the first derivative of -y**4/4 + 13*y**3/3 - 17*y + 7. Is a(12) prime?
True
Let n(t) = 2*t**3 - 4*t**2 + 2*t + 2. Let x be n(2). Suppose f = -0*f + x. Is f composite?
True
Suppose 0 = -2*s + 151 + 271. Is s prime?
True
Let w be 2/(-7) + 37/7. Suppose 0*y + 15 = w*y. Is y a prime number?
True
Let s = -83 + 232. Is s composite?
False
Is ((-8337)/6)/7*-2 prime?
True
Let k = -4 + 7. Suppose 5*b - 90 = -2*s, s - k*s = b - 18. Suppose 0 = 2*f - 3*o - b - 88, -4*f + 5*o + 216 = 0. Is f a composite number?
False
Suppose 3251 = 7*l + 654. Is l a composite number?
True
Let o(r) be the third derivative of r**4/24 - r**3/3 - 3*r**2. Let z be o(4). Suppose 165 = u + z*u. Is u prime?
False
Let r(n) = -n**3 + 7*n**2 + 3*n + 6. Let v(k) = -k**2 - k - 1. Let h(o) = r(o) + 3*v(o). Let g be h(4). Is g + (-6 - -3) + 127 a composite number?
False
Let x(a) = -5*a**2 + a + 8. Let s(p) = -2*p**2 + 4. Let l(t) = 7*s(t) - 3*x(t). Suppose 2*h + 3*h - 25 = 0. Is l(h) a composite number?
True
Is (-16)/72 - 2909/(-9) prime?
False
Let a(q) = -4*q - 7. Suppose 3*f = -0*f - 24. Is a(f) composite?
True
Let x(o) = o**3 - 16*o**2 - 25*o - 25. Is x(19) a composite number?
True
Let w(b) = -3 - 28*b**2 + b + 2 + b. Let y be w(-3). Let g = -132 - y. Is g a composite number?
False
Suppose 0 = 3*o + 2*o - 25. Suppose -4*c = -o + 13. Is 318/9 + c/6 prime?
False
Suppose -4*g = 3*o - 9, -5*o + 6 + 9 = -2*g. Suppose 5*l = -j + 1261, -12 = 3*j - g*j. Is l composite?
True
Suppose 0*s + 2345 = 7*s. Is s a prime number?
False
Suppose 4*m + m = 10. Suppose 2 = -w - m. Is 2*1*(-134)/w a prime number?
True
Is (4/2)/((-20)/(-20390)) composite?
False
Let q(j) be the first derivative of 8/3*j**3 - 1/4*j**4 + j**2 + 4 - 10*j. Is q(7) a composite number?
False
Suppose 3*b = 6*b + 207. Suppose -3*c - 49 = 2*w, 5*c = -12 + 37. Let k = w - b. Is k prime?
True
Suppose -5*m - 667 = -2*x, -17*m + 14*m = 3. Is x prime?
True
Let z(j) be the third derivative of -j**4/12 - j**3 - 2*j**2. Let k be z(-4). Suppose 2*n + k*n = 52. Is n a prime number?
True
Suppose -2 = -4*a + 2. Is (-2)/(a + (-21)/19) a prime number?
True
Let t be (-38)/8 - 3/(-4). Is 157/2 + 6/t a prime number?
False
Suppose -4*b - 64 = -a, -a + 42 + 18 = -2*b. Is -2*(-1 - a) - -1 a prime number?
False
Let d = -4 + 6. Suppose -d*t = 5*y - 1445, 4*y - 5*t + 216 = 1339. Is y prime?
False
Let v be 7/(-14) + (-17)/(-2). Is (-4242)/(-26) + v/(-52) a composite number?
False
Suppose 3*x + 12 = 3, -2*x = -q + 10. Suppose -3*u + q*u - 53 = 0. Is u a prime number?
True
Suppose 5*o + w + 4*w = 50, 0 = -5*o - 4*w + 45. Suppose o*n - 2*n = 33. Is n prime?
True
Suppose -5*o - 1 = -6, k = o + 78. Is k a composite number?
False
Is 113 - (3 + -4 + 1) a prime number?
True
Let y(o) be the third derivative of -o**5/60 + 7*o**4/12 + 13*o**3/6 + 4*o**2. Suppose f - 2*f + 10 = 0. Is y(f) prime?
True
Let f(o) = -o**2 + 5*o - 3. Let s be f(4). Is 254 - (0 - (-2 - s)) composite?
False
Let m(r) = r**3 - 3*r**2 - 3*r + 1. Let w be m(3). Suppose 0 = 4*u - 0*u - 172. Let o = w + u. Is o a prime number?
False
Suppose k - 5*f - 75 = 39, -4*k - 2*f = -346. Is k composite?
False
Suppose -5405 = -7*x + 2204. Is x a composite number?
False
Let l = -48 - -125. Is l prime?
False
Let y = 405 + 2328. Is y composite?
True
Let y = 0 + 3. Suppose 0 = -2*t + y + 7. Let d(n) = 2*n**3 - 7*n**2 + 2. Is d(t) prime?
False
Let a be 3/(-2)*12/(-9). Suppose 4*g - 2*g - 428 = -5*d, 3*d = a*g + 260. Let q = d - 33. Is q composite?
False
Let i be (4 - 0)*(-3)/(-6). Let s be (3/i)/(6/(-16)). Let x(p) = p**2 + p - 1. Is x(s) prime?
True
Let n = -1123 + 1590. Let p = n + -172. Is p composite?
True
Let z(t) = 234*t**3 - 2*t**2 + 2*t - 1. Is z(1) a prime number?
True
Suppose -3*a - 7*q + 59 = -2*q, 0 = -q + 4. Suppose -3 + a = 2*v. Suppose 2*s - 55 = v*k, 0 = 5*s + 3*k - k - 181. Is s prime?
False
Suppose 11848 = 5*s + 3*s. Is s a prime number?
True
Let n(w) = -5*w + 4. Let a(i) = 8*i**2 + 4*i - 3. Let y be a(2). Let q be 8/(-12) - y/3. Is n(q) a prime number?
False
Suppose 38 = n - 3*w, -w = 2*n + 2*w - 121.