= -1754 + 3013. Is n composite?
False
Suppose 5*j + 10263 = 5*s - 9277, 2*j = -2. Is s a prime number?
True
Let j(m) = 60*m + 1 - 30*m - 13*m + 1. Is j(7) prime?
False
Let m = 42 - 21. Let v = 69 - m. Suppose -3*x = q - 38, -3*q + 4*q - v = -5*x. Is q a composite number?
False
Suppose 0 = -3*j - w + 22477, 3*w + 2664 = 2*j - 12328. Is j composite?
True
Let h(t) = 172*t**3 + 3*t - 3. Let u be h(1). Let c = 803 - u. Is c a composite number?
False
Let v = 64 + -62. Suppose -2*x + 381 = -o, -v*x - 2*o - 3*o + 387 = 0. Is x a composite number?
False
Let h(y) = -33*y - 2. Let w(k) = -k**3 + 6*k**2 + 5*k + 5. Let l be w(7). Let p be h(l). Suppose -u + p = 4*u. Is u prime?
True
Suppose c + 59 - 218 = 0. Suppose -3*s + c = -2*s. Is s a prime number?
False
Let k(b) = -2*b**3 - 4*b**2 - 4*b + 6. Let n(y) = -y**3 - y. Let v(u) = k(u) - 3*n(u). Is v(7) prime?
False
Suppose -26*z + 25275 = -11*z. Is z prime?
False
Is 16 + -7 + 22802 + -4 composite?
False
Suppose 2*w - 197 = m, -3*m = w - 6*m - 91. Suppose -b + w = 3*b. Is b a composite number?
True
Let g(q) be the first derivative of 14*q**3 - 3*q**2 + 11*q + 7. Is g(-6) a prime number?
True
Let s = 185 + 288. Is s a composite number?
True
Let m(j) = 10*j**3 - 3*j**2 - 9*j + 1. Is m(4) a prime number?
True
Suppose -k + 3*k - o - 3 = 0, -4*o = -4. Suppose -2*t + k*z + 760 = 0, -t - 3*z = -581 + 197. Is t a composite number?
True
Suppose -3*f - f + 16 = 0. Suppose -5*y + 2*j + 7815 = 0, -f*y + 2*j = -0*y - 6254. Is y prime?
False
Let b = 1292 + -221. Suppose -w = 4*r - b - 40, 5*w - 3*r = 5555. Is w a prime number?
False
Let v(w) = w**3 + 5*w**2 - 10*w - 8. Let q be v(-6). Suppose -u - q = -180. Suppose 2*h - u = 14. Is h a composite number?
False
Suppose 9*t = 4*t + 1835. Suppose -3*q + 2*w + 368 = -q, -2*q + 3*w = -t. Is q prime?
False
Let x = 0 - -12. Suppose -2*w + 7 = 4*k + 1, 5*k = -w + x. Let s(j) = 11*j - 2. Is s(k) composite?
False
Let s = -24 - -28. Suppose -2*j + 4*c - 6 = -j, 3*j + 18 = -s*c. Is 119*3/j*-2 prime?
False
Suppose -6856 - 114764 = -12*i. Is i a prime number?
False
Suppose 4*j - 2*x - 44448 = 0, -j + x = -4952 - 6159. Is j prime?
True
Suppose 3*y = -384 - 480. Let u be (y/(-9))/((-1)/(-204)). Let a = u + -3511. Is a a prime number?
False
Suppose 2*q - 1481 = q. Suppose -2*n = -3*j - q, -n - 4*j - 733 = -2*n. Suppose -n = 2*h - 7*h. Is h prime?
True
Let p = -61 - -30. Let l = p + 290. Is l a prime number?
False
Suppose -5*l - 5*s + 5423 = -79417, 2*l - 2*s - 33916 = 0. Is l a prime number?
True
Let i = 34088 - 409. Is i a prime number?
True
Let q(h) = -h**2 - 3*h - 1. Let g be q(0). Is 1 - (5/(10/(-934)) - g) a composite number?
False
Suppose 6*r - 21 = -r. Suppose 28 = 4*b - 3*u, 0*u + 2*u = r*b - 22. Suppose 627 = b*y - 7*y. Is y prime?
False
Let s = 76 - 18. Suppose -5*v + v - 108 = 0. Let z = v + s. Is z composite?
False
Let n(o) = 371*o - 3. Let u(t) be the third derivative of t**6/120 + t**5/30 - t**4/24 + t**3/3 - 4*t**2. Let a be u(0). Is n(a) a prime number?
True
Suppose -1571 = -5*q - 5146. Let l = 1008 + q. Is l a prime number?
True
Let t = 16602 + -9533. Is t prime?
True
Suppose 4*v + 3*q + 13 - 36 = 0, 0 = -2*v - 5*q + 15. Let h(g) = -v - g + 3*g**2 - g - 3*g + 2*g. Is h(4) prime?
True
Let b = 44 + -41. Suppose -6*l = -c - l + 2672, b*c - l = 7974. Is c a prime number?
True
Suppose v - 4*j = -4*v, -3*v - 2*j + 22 = 0. Suppose -m + v*m = 9. Suppose b - 4*q = -m*b + 248, 5*b = -2*q + 331. Is b a composite number?
True
Suppose 0 = b - k - 14, -5*k + 24 = 2*b + 3. Let z(f) = f**3 - 10*f**2 - 19*f + 16. Let u be z(b). Is 3 - 7/((-14)/u) prime?
False
Let n(s) = 26*s + 187. Is n(39) a composite number?
False
Let o(b) = -5*b**2 + 1. Let z be o(4). Let a = z + 663. Suppose q + 2*w - 289 = -0*w, 2*q = -2*w + a. Is q composite?
True
Suppose -2061 + 19813 = -8*r. Let i = -1456 - r. Is i prime?
False
Suppose 6*c + 11969 = 4*d + 7*c, 0 = -4*d + 4*c + 11944. Is d composite?
True
Let a(m) = 23*m**2 - 4*m - 62. Let v(d) = 8*d**2 - d - 21. Let p(s) = 4*a(s) - 11*v(s). Is p(6) composite?
False
Let t = 453 + -299. Suppose -2*v + 20 + t = 0. Is v a composite number?
True
Suppose 144903 = 2*d + d - 4*w, 0 = 5*w. Is d prime?
False
Suppose -2*o - o = 15. Is (389 - -14) + 1*o composite?
True
Let g(f) = -f**2 - f + 1. Let q(t) = -12*t**2 - 9*t + 30. Let w(j) = 6*j**2 + 5*j - 15. Let u(l) = -2*q(l) - 5*w(l). Let k(h) = 5*g(h) - u(h). Is k(7) prime?
True
Let j(i) = i**2 - 7*i - 5. Let f be j(7). Let h(a) = -2*a**2 - 12*a - 5. Let l be h(f). Suppose 0*w + 2225 = l*w. Is w a prime number?
False
Let f be -1 + (2/(-6))/((-1)/(-15)). Is (3/f)/((-4)/(4458 - 2)) a prime number?
True
Let t = 9 - -39. Let s be t/(-20)*1230/(-4). Suppose 3*c = -3*c + s. Is c a composite number?
True
Suppose -2*t = -2*h + 3736, 4 = 4*t - 0. Let w = h - 728. Is w a prime number?
False
Let r(b) = 55*b - 4. Suppose -5*k + 4*n + 55 = 0, 11 + 18 = 2*k - 3*n. Let t = k - 4. Is r(t) a prime number?
False
Suppose 7*d - 78 = -29. Is d + -9 - (-842)/2 composite?
False
Let v(s) = -6*s + 56. Let a be v(-14). Suppose 5*q - 2299 = -2*o, -o + 3*q = -1026 - a. Is o a prime number?
False
Let v(n) = 444*n**2 + 10*n - 9. Is v(1) composite?
True
Let l = 8 - 3. Let k = -11 + l. Let g = 27 - k. Is g a prime number?
False
Let m(r) = 61*r - 79. Is m(8) a composite number?
False
Suppose -3*w - 886 = -5*q, -3*w - 4*q + 887 = -6*w. Let d = w - -446. Is d composite?
False
Let p(z) = 4*z**2 - 4*z + 7. Suppose -5*k = 5*v + 100, v + 5*k = -0*v - 20. Let y = 15 + v. Is p(y) a composite number?
False
Suppose -10213 + 3159 = -2*a. Is a prime?
True
Let r(p) = p**3 - 18*p**2 + 8*p - 39. Is r(20) a composite number?
True
Suppose 2*a + 17 = -5*w, 3*a + 2*a - 2*w = 30. Let y(f) = 27*f**2 + 23*f + 20. Let d(b) = 7*b**2 + 6*b + 5. Let z(h) = 9*d(h) - 2*y(h). Is z(a) composite?
False
Let c(g) be the second derivative of 143*g**3/6 - 7*g**2 + 2*g. Is c(5) composite?
False
Suppose -4*s + 5908 = 2*g + s, 14793 = 5*g + s. Is g composite?
True
Suppose 0 = 9*y + 15968 - 97481. Is y a prime number?
False
Is -11 + 470*(-62)/(-4) prime?
False
Let w = 71 + -41. Let l = w + -73. Is (-5 - 0)*l/5 a prime number?
True
Let k be (1 + 2)*(-6)/(-6). Is (((-222)/4)/k)/(3/(-138)) a composite number?
True
Let b(m) = 13*m**2 - m - 1. Let k be 2 + (3 - -1) - 0. Let t = 4 - k. Is b(t) composite?
False
Suppose 0 = 4*g - 4*u - 3224, 6 = 4*u + 26. Suppose 284 = -f + 4*h, f - 4*f - 5*h = g. Let w = f + 769. Is w a prime number?
False
Let t(b) be the second derivative of b**5/20 + b**4/6 + 653*b**2/2 - 29*b. Is t(0) composite?
False
Let n = -52 - -55. Suppose d = -3*d + 4, -2*k = n*d - 1181. Is k a prime number?
False
Suppose 3*q - 9325 - 10931 = -3*a, -4*a = -3*q + 20235. Is q prime?
False
Let y(o) = o**2 - 36*o + 73. Is y(38) composite?
False
Suppose -w + 1549 = -6196. Is w prime?
False
Let t(w) = -62*w**3 - 4*w**2 + 2*w + 1. Let p be t(2). Let h = p - -724. Is h prime?
False
Let r be (-15)/(-25)*((1 - -2) + 2). Suppose -z + 2*m = -409, -r*z + 757 + 495 = -m. Is z prime?
True
Let r be (-2)/(-3)*6/1. Suppose 406 = r*k - 334. Is k a prime number?
False
Is (3 + -4 + -286)/(-1) composite?
True
Let w = 5 - -16. Let y = -19 + w. Suppose 0 = -v - 2*v + y*j + 239, -3*j + 65 = v. Is v prime?
False
Let i(n) = 2*n**3 - 8*n**2 + 20*n + 28. Is i(9) prime?
False
Let m = 1582 + -3959. Let s = 11074 + -7738. Let w = m + s. Is w a prime number?
False
Suppose -5*b - d + 21 = 2*d, 0 = 5*b + d - 27. Suppose b*p - 588 = -p. Suppose 0 = 3*w - 465 + p. Is w a prime number?
True
Let j = -4759 - -9318. Is j a prime number?
False
Let i(p) = -7*p**2 - 8*p - 10. Let x(n) = -2*n**2 - 3*n - 3. Let j(q) = -3*i(q) + 8*x(q). Is j(-7) composite?
False
Suppose 5217 = 20*z - 17*z. Is z prime?
False
Suppose -46 = f - 1. Is (268/6)/((-30)/f) a prime number?
True
Let x = 75 + -73. Suppose -r - x*k = -165, 0 = -7*r + 2*r + 4*k + 783. Is r prime?
False
Let p(z) = z**3 + 42*z**2 + z + 34. Is p(-40) prime?
False
Let o = 43 - 46. Let g(m) = -99*m - 4. Is g(o) a composite number?
False
Let i(t) = 3206*t**3 - 3*t + 2. Suppose -4 + 7 = 3*m. Let h be i(m). Suppose 3*r - h = -2*r. Is r a prime number?
True
Suppose 4*t + 4 + 6 = -2*q, 5*q - 3*t = 40. Suppose 10*n - q*n - 767 = 4*r, -4*n + 2*r = -616. Is n prime?
False
Suppose 3*y = 4*s + 17