True
Let a(s) be the first derivative of s**4/4 - s**3/3 + 47*s - 4. Suppose 5*u = 4*u. Is a(u) composite?
False
Suppose -2*f - 5 = -3*p, 5*p - 5 = 2*f + 10. Suppose j = f*j. Suppose j = -7*l + 4*l - 2*m + 881, 5*l + 4*m = 1469. Is l composite?
False
Let p(c) = 67*c - 66. Suppose g + 0*d = -4*d - 3, 5*d + 110 = 5*g. Is p(g) prime?
False
Let j = 22 + -18. Let r be 2 + -2 - -118*j. Suppose 81 + r = z. Is z a composite number?
True
Let t be (-1)/4 - 23337/(-36). Let s = -355 + t. Is s prime?
True
Suppose -11*n - 2*y - 150853 = -14*n, -201168 = -4*n - 5*y. Is n a prime number?
True
Let x(n) = -3*n**3 + 2*n**3 + 6 - 2*n - 7 - 16*n**2 + 5*n. Is x(-18) prime?
True
Let w(z) = -z + 6. Let d be w(1). Suppose d*v - 244 = -2*h, 2*h - 5*v - 103 - 161 = 0. Is h a prime number?
True
Let s be (4 + -7 - 2/2) + -1. Is (4 + s)/(537/269 + -2) prime?
True
Suppose -8*t + 77072 - 7080 = 0. Is t a prime number?
False
Let r be (-17)/(-2) + 1 + 3/6. Is (-63870)/(-6)*2/r a prime number?
True
Let r(s) = 7*s**2 + 2*s + 13. Let n be r(-10). Let z(a) = -496*a - 14. Let l be z(-3). Let j = l - n. Is j prime?
False
Let u be -3*(-10)/(-15) - 1. Let z be (-9341)/u - (-18)/54. Suppose 0 = -5*p - 3*h - 502 + z, 0 = -2*p + 4*h + 1050. Is p a prime number?
True
Let v(n) = n + 1. Let t be v(1). Let i = -164 + 278. Suppose 4*b - i = t*b. Is b a prime number?
False
Suppose -2*m + 28 = -2*n, -m - 7*n + 14 = -3*n. Is m prime?
False
Let b be (-1*((-4 - -6) + -2))/2. Suppose b*d = 3*d - 9255. Is d prime?
False
Is (2 + 1)/((-69)/(-289823)) a prime number?
True
Let k = -12322 + 17463. Is k a composite number?
True
Let u be 40 + (1 - (2 + -1)). Let o = u - 29. Is o a prime number?
True
Let x(l) = -l**2 - l + 34. Let t be x(5). Suppose -3*n = 3*h - t*n - 1177, -4*h + 1572 = -2*n. Is h prime?
False
Let x be (-16)/20 - (-2016)/20. Suppose -3*i + 430 = 3*j + x, -3*j - 9 = 0. Is i a prime number?
True
Suppose -2*g - 2*g = 0. Suppose 3*i = 4*i - u - 541, g = i - 2*u - 541. Is i a composite number?
False
Suppose 4*k + 4*i = 2088, -3*i - 2*i = -k + 546. Is k prime?
False
Let r = -5400 - -7621. Is r prime?
True
Suppose 7*i - 8 = -a + 4*i, 2*i - 27 = -5*a. Suppose -366 = a*j - 5*m - 1786, 2*j - 5*m - 553 = 0. Is j prime?
False
Suppose -5*w + 3958 = -0*c - c, -w + c + 794 = 0. Is w a prime number?
False
Let f be ((-3)/(-5))/((-7)/(-35)) - 0. Is (-1)/f - (-11400)/18 a prime number?
False
Suppose 3*k + k - 3*i = 445, -k = 2*i - 114. Let h = k - 33. Is h prime?
True
Suppose 7205 = -5*r - 4*s - 49010, -2*s = 4*r + 44978. Is (-2)/13 - r/13 a composite number?
True
Let y(s) be the second derivative of -7*s**3/2 + 37*s**2/2 - 12*s. Is y(-16) a composite number?
False
Suppose 2*c - 176 = 11836. Suppose 2*l + 0*l + 3990 = -2*y, 4*l - c = 3*y. Is y/(-26) + 16/104 composite?
True
Suppose 5*n + 4*o - 5*o - 28690 = 0, -5*n = 5*o - 28660. Is n a prime number?
True
Let i(s) = -33*s**3 + 4*s**2 + 3*s + 1 - 2*s**3 + 0. Let h = 43 - 45. Is i(h) composite?
True
Let o be 282/(-14) + (-2)/(-14). Let n = o + 39. Is n prime?
True
Is ((-44)/16*1234)/((-7)/14) composite?
True
Let q be 7/(-3) - 2/3. Let k be -595 - ((9 - 3) + q). Is (-4)/8 - k/4 a composite number?
False
Let h = 364 + 498. Let n = h - 99. Is n prime?
False
Suppose 6*q + 4211 = 24005. Is q a prime number?
True
Let n be -3 + 3 + (-254)/2. Let j = -164 + n. Let g = j + 514. Is g a prime number?
True
Let x(m) = m. Let i be x(2). Suppose -854 = -4*v - i*b, -b + 6*b + 397 = 2*v. Is v prime?
True
Let y be (314/(-3))/((-9)/(-27)). Is 5/(((-2)/y - -2) + -2) a composite number?
True
Let d(v) = 179*v**2 - 3*v + 9. Is d(-4) composite?
True
Suppose 0 = 5*y - 5*i - 2600, 23 - 11 = -4*i. Is y prime?
False
Suppose -2*k - 3*a + 15 = -2*a, k - 5*a = 24. Is (4 + k/(-2))*-998 a prime number?
True
Suppose -555 - 470 = -5*l. Suppose -n + l = -0*x + 3*x, -2*x + 999 = 5*n. Is n composite?
False
Let y(p) = 0*p**2 - 9*p + 6*p**2 + 1 - 5*p**2 + 8. Let v be y(9). Suppose -v*u = -7*u - 634. Is u prime?
True
Let a = -6719 - -74068. Is a a composite number?
False
Let i = 37 + -29. Suppose -x = x - i. Suppose -2*l + 2*j - 6*j = -50, x*l - 118 = -2*j. Is l composite?
False
Let a(y) = 19*y**2 - 3*y + 7. Is a(-15) composite?
False
Let r(f) be the third derivative of 5*f**4/8 + f**3 + 6*f**2. Is r(7) a composite number?
True
Suppose -x - 12 = -4*x. Let g be (7/2 + -3)*0. Suppose -x*h + 1516 = -g*h. Is h composite?
False
Is 8/(-2) + (6893 - -2 - 4) a composite number?
True
Suppose 3*q + 15 = 0, 4*x - 4*q + q - 23 = 0. Suppose -5*b - x - 3 = 0. Is 320 + 0/b + -1 a prime number?
False
Let c(l) = -231*l**2 + 2*l - 12. Let w(q) = 230*q**2 - 2*q + 13. Let z(d) = -7*c(d) - 6*w(d). Is z(-5) a composite number?
True
Suppose -12 = -3*w, 5*c + 10 = 4*w - 11. Let f be (-1)/((0 - c) + -2). Is 148 - -2 - (f + 0) a prime number?
True
Let r be (-1)/((-10)/68) + (-84)/105. Suppose 3*n + r = 15, -3*o + 420 = -n. Is o a composite number?
True
Suppose -4*p + 1418 + 166 = 0. Let q = -154 + p. Let l = q - 41. Is l composite?
True
Let s be (714/28)/((-1)/2). Let q = s - -264. Is q prime?
False
Let c = -199 - -349. Let u = c + -37. Is u a composite number?
False
Suppose 8*g - 2*g = -2370. Let z = -1361 - g. Let x = -649 - z. Is x composite?
False
Is (3 - (-98)/(-28)) + 6214/4 composite?
False
Let a be 2/(-9) + 190/45. Let l be -3 - (13336/a + 3). Is (-2)/4 - l/40 prime?
True
Suppose 5*t = -2*z + 379, -z + 4*t + 557 = 2*z. Suppose z = -3*i + 2161. Suppose f = -f + i. Is f prime?
False
Let r = -23740 - -48606. Is r prime?
False
Let g(i) = -3*i**3 + 4*i**2 - 6*i. Let x be g(-5). Let m be 10/20*14 - 3/(-1). Suppose -m*j = -11*j + x. Is j a composite number?
True
Let a(r) be the second derivative of -127*r**3/6 - 5*r**2/2 - 10*r. Is a(-6) prime?
True
Let r be (3 + -3 + 1)*(-1 + -1). Is 232/5 + -2*r/(-10) a composite number?
True
Let z(y) = 2658*y**3 + y**2 - 7*y + 10. Let u(x) = 1772*x**3 + x**2 - 5*x + 7. Let w(o) = 7*u(o) - 5*z(o). Is w(-1) a prime number?
True
Let j = 9835 + -5136. Is j a prime number?
False
Let t(w) = 15*w + 7. Let x be -7*(-3 - (0 + 0)). Let b = -11 + x. Is t(b) a prime number?
True
Let i be 21/14*4024/6. Let s = -677 + i. Is s prime?
False
Suppose 5*r + 6*x - 11*x = 8520, -4*x = -3*r + 5109. Is r a composite number?
True
Suppose -6*g + 5*g + 40601 = -4*k, 5*k - 10 = 0. Is g prime?
True
Let o be 1/(1 + 4/(-2)). Is 3/(o/1) + 2054 a composite number?
True
Suppose 18*r = 10*r. Suppose h - 177 - 202 = r. Is h composite?
False
Let i be -4 - (0 + (-3 - -3)). Let x be 705/135 + i/18. Suppose -7*f + 514 = -x*f. Is f composite?
False
Suppose -4*i + 20467 = 3*o, 6*o + 20432 = 4*i + 2*o. Is i prime?
True
Let r(t) = 2*t - 11. Let p be r(7). Let o(d) = 118*d**2 + 4*d - 7. Is o(p) prime?
False
Let n = 5784 + -3402. Suppose 3*t + n = 6*t. Is t a composite number?
True
Let u(p) be the first derivative of -55*p**2/2 - 2. Let d be u(-1). Suppose 3*o - 862 = -d. Is o a composite number?
False
Suppose -11*a = -2*a - 8766. Is a a composite number?
True
Suppose 5*s - 5*w = -3400, 3*s + 0*w + 3*w + 2064 = 0. Let z = -377 - s. Is z a composite number?
False
Let n(f) = -f**3 - 4*f**2 - 2*f - 3. Let q be n(-4). Suppose -2*u = -6*l + 4*l + 100, -q*l + u = -238. Is l composite?
False
Let h(a) be the first derivative of -193*a**2/2 + 45*a - 46. Is h(-8) prime?
False
Suppose 12146 = 3*s + 3*g - 4*g, -2 = -2*g. Is s a prime number?
True
Suppose m + 5*x - 11879 = 0, 5*x - 38570 - 8946 = -4*m. Is m composite?
True
Let f(o) = -45*o**3 - 3*o**2 - 5*o - 9. Let h(n) = 2*n + 40. Let s be h(-22). Is f(s) composite?
False
Suppose -3*w + 803 = 272. Suppose 46 + 154 = 4*x. Let b = w - x. Is b prime?
True
Let r(t) = t**2 + 2*t - 48. Let x be r(-8). Is x*5/15 - -719 a composite number?
False
Let p = 17 + -12. Suppose -g = -6*g + p*j + 5, 4*g + j = -6. Is (g - -1) + (15 - -118) prime?
False
Suppose -2*a + 5*r = -31, 4*a - 5*r + 4 = 41. Suppose 2*o - a*c + 56 = 1, 54 = -2*o + 2*c. Is o/(-65) + (-368)/(-5) prime?
False
Suppose -328363 = -39*u + 99818. Is u a prime number?
True
Suppose -c + 3*c + 3*m - 13 = 0, -10 = c - 4*m. Suppose -2*p + 283 = 5*j, -c*p - 2*j = -214 - 54. Is p prime?
False
Suppose 0 = -13*s + 10*s - 6. Let z(c) = c**3 - 4*c**2 + c + 4. Let k be z(4). Let l = s + k. Is l a prime number?
False
Is (-5 + 13/3)*19884/(-8) a prime n