e 0 = 3*t - 4*n - 83, -6 = -u*t - 5*n + 11. Is t composite?
True
Let s be -100*3/(-15)*21. Suppose -4*r + s = 4*k, 3*k + 2*k + 87 = r. Suppose 2*g - r + 28 = 0. Is g a prime number?
True
Let v(a) = -a - 5. Let d be -2 + 12/(-1*4). Let q be v(d). Is (q + -158)/(1 - 3) a composite number?
False
Let s(f) = -8234*f + 5. Let z be s(-5). Let x be 3/7 + z/63. Let g = -460 + x. Is g prime?
False
Suppose 5*x = b - 16, b + 3*x = -x + 25. Let i = b + -17. Is i prime?
False
Let o(a) = 509*a - 18. Let u be o(5). Let z = u - 1518. Is z a composite number?
False
Let d(u) = -381*u**3 + 3*u**2 + 3*u + 1. Suppose -5*z = -2*x - 1, 0 = 3*z - 5*x - 17 + 5. Is d(z) a prime number?
False
Suppose -29*b - 472 = -37*b. Suppose -3*z + 54 = -30. Let g = b - z. Is g prime?
True
Let l = 281 - 186. Suppose -s - l + 984 = 0. Suppose -5*i - s = -6*i. Is i a composite number?
True
Let c(g) = -g**3 - 7*g**2 - 13*g + 19. Is c(-18) a composite number?
True
Let u be (-1)/(-3)*(-2898)/(-6). Let s = 372 - u. Is s composite?
False
Suppose 0 = 2*q + g - 8824, 4*q - 8326 = -g + 9320. Is q a composite number?
True
Is (-1)/((-2)/(-3) - (-194597)/(-291837)) prime?
False
Is ((-4)/(-3))/(-1) - (-1829905)/291 composite?
False
Let c = -995 + 1062. Is c a composite number?
False
Suppose -3*t + 1550 = r, 0 = 5*r - 4*r - 5*t - 1510. Is r a composite number?
True
Suppose j = -4*t + 63960, -3*t - 35*j = -39*j - 47989. Is t a composite number?
False
Let m(z) = 95*z**2 + 23*z - 53. Is m(6) prime?
False
Let c = -14932 + 20913. Is c prime?
True
Let t(f) = 121*f - 17. Let k(v) = -122*v + 18. Let l(x) = -6*k(x) - 7*t(x). Is l(-6) a composite number?
False
Is (1/(-1))/(1184176/78946 + -15) composite?
False
Suppose -361056 = -11*u - 14039. Is u a prime number?
True
Let f(d) = 7*d**3 - 6*d**2 - 2*d - 1. Let x be f(4). Suppose -1093 = -2*i - 3*p, 4*i + p - 1858 = x. Is i a prime number?
False
Suppose 0 = -2*s + 2*j + 7789 + 1585, 0 = -4*s - 2*j + 18772. Is s a prime number?
True
Let m = 5 - 3. Let f be -196 - (-1 - m)*1. Let i = 278 + f. Is i a composite number?
True
Let f = 5301 - 3678. Is f a composite number?
True
Suppose -2*n - 542 = -5*k, 4*k - 2*n - 432 = -0*k. Suppose w + 2*w - 69 = 3*i, -5*w + 4*i + k = 0. Let p = w - -299. Is p a prime number?
True
Let p be 2/9 + (-47)/9. Let m(v) be the first derivative of 5*v**3 + 5*v**2 + 2*v + 2. Is m(p) a prime number?
False
Let h(j) = -j + 1. Let y(p) = -p**2 + 10*p + 8. Let a(f) = -f. Let d(w) = a(w) - y(w). Let n(s) = d(s) - 3*h(s). Is n(12) a prime number?
True
Let v be 10/15*(5 - 2). Suppose -v*w = 4*m + 3*w + 74, 3*m + 4*w = -55. Let p = 4 - m. Is p prime?
False
Suppose 3*s + 2247 = 2*i, s - i + 679 = -69. Let g be (s/(-2))/(2/(-4)). Is 0 - (4/(-2) + g) composite?
True
Suppose -4*d + 4*h - 12 = 0, 4 + 2 = -3*d + 2*h. Is 371 + 2 - d/(-3) a composite number?
False
Let h(v) = -2*v + 8. Suppose j + j = 0. Let i be h(j). Suppose -i*o + 4*o + 212 = 0. Is o prime?
True
Suppose 0 = 5*p - 2*o - 12, 0 = 3*p - 3*o - o - 10. Let n be ((-6)/(-9))/(p/(-2874)). Is 12/(-54) - n/18 prime?
True
Suppose -40 = 4*a - 3*o + 20, 3*o - 12 = 0. Let s(f) = f**3 + 12*f**2 - 2*f - 9. Let z be s(a). Is (z/6 + 0)*46 prime?
False
Let y(o) = -39*o + 3. Let s(f) = -195*f + 14. Let c(n) = -2*s(n) + 11*y(n). Suppose v + 4*l = -16, -3 = -2*l - 9. Is c(v) prime?
False
Let l be (-8)/(-60) + (-6364)/30. Let b be -3*(l/6 + -1). Suppose 2*s - 600 = -3*f - b, 5*s = 5. Is f prime?
True
Let c = -7 - -8. Let g(d) = -5*d + c + d**3 - 3 + 5 + 0*d + 4*d**2. Is g(5) a prime number?
False
Suppose -255*u + 242*u = -21034. Is u a prime number?
False
Let d = -9969 + 18000. Is d prime?
False
Suppose -40 = -12*m + 13*m. Let p = 241 + m. Is p a prime number?
False
Suppose 0 = 32*n - 31*n - 1165. Is n a prime number?
False
Let g(s) = 8*s**3 - 2*s**2 - 3*s + 1. Let d be -6*(14/(-6) - -3). Let x = d + 8. Is g(x) prime?
False
Suppose -b = -6*b - 3*h + 10, 8 = 4*b - h. Let k(u) = 53*u**2 - u - 1. Is k(b) prime?
False
Suppose 7*p = 43928 + 40569. Is p a prime number?
True
Let y(f) = 4*f**3 - f - 548. Let r(l) = 3*l**3 - l - 547. Let j(g) = -3*r(g) + 2*y(g). Suppose 15 = -3*u + 5*v, v + 3 = 2*v. Is j(u) composite?
True
Let k be 3522 - (-3)/6*-6. Suppose -2*u - 7*u = -k. Is u composite?
True
Suppose 0 = 4*x + 4, 255 = 4*m - 0*m - 3*x. Is m + 15 + 2/2 prime?
True
Suppose -4*d + 42576 = -8572. Is d a composite number?
True
Let x(q) = -51*q + 47. Is x(-10) prime?
True
Suppose -3*l + 1929 = 444. Let s = l + -294. Is s prime?
False
Suppose 11*s + 3 = 14*s, 4*y = -3*s + 80311. Is y a composite number?
True
Let c(h) = -h**3 + 7*h**2 - 5*h - 5. Let f be c(6). Let k be (2*(226 + f))/(-2). Let n = 324 + k. Is n a composite number?
False
Let p(o) be the second derivative of o**5/10 + o**4/3 - o**3/3 + o**2/2 + 8*o. Let r(a) = 7*a**2 - 2*a + 2. Let q be r(1). Is p(q) a composite number?
True
Suppose 79917 = 10*w + 26427. Is w a composite number?
True
Suppose -5*c = w - 37090, 8*c = 4*c + 3*w + 29653. Is c a composite number?
False
Let c = -14 + 17. Suppose 2*s - 5*j + 319 = 4*s, -5*s - c*j = -826. Is s prime?
True
Let z(a) be the third derivative of 13*a**5/60 - a**3/6 + 7*a**2. Let g be z(5). Is (g - -2)*1/2 prime?
True
Suppose -15 + 3 = -6*r. Suppose r*b - 1229 = -63. Suppose 0 = 3*s + b - 1768. Is s a prime number?
False
Let m be (-2)/12 - 69/18. Is ((-1)/5)/(m/18140) prime?
True
Suppose -4658 = -4*i - 318. Suppose -4*c = l - i, 5*l - 5*c = -54 + 5379. Is l prime?
True
Suppose 0 = -c + m + 13, 4*c - 3*m - 14 = 41. Let r = c - 11. Suppose r*a = -d + 2*d - 432, 4*d - 3*a - 1677 = 0. Is d a composite number?
True
Let p be 32/40*(-10)/(-4). Suppose 4*a + 4*z = z + 3, p*a + z = 3. Suppose a*o + g = 5*g + 1635, -3*o + 1635 = -3*g. Is o a composite number?
True
Let q(r) = 128*r - 3. Let h = -25 + 29. Is q(h) prime?
True
Suppose 0*m = -5*m + 4*w + 9415, 3*w = 4*m - 7531. Is m prime?
True
Let j(z) = 1667*z + 68. Is j(9) a composite number?
True
Let p = -9748 + 14735. Is p a prime number?
True
Let b(k) = k**3 + 3*k**2 - 2*k + 36361. Is b(0) a composite number?
True
Suppose -2*x = -1837 - 175. Is x composite?
True
Let z(j) = 3550*j + 81. Is z(5) a composite number?
True
Is (1 + 380)*20*9/108 a composite number?
True
Let v(a) = -7*a**3 + 5*a**2 + a + 37. Is v(-12) a composite number?
False
Suppose 15 = -5*n + 75. Suppose -d = k + 4*d + n, -d + 36 = 5*k. Suppose -5*l = -k*l + 138. Is l a prime number?
False
Suppose -1 - 3 = -2*a. Let t be a + ((-12)/2)/(-2). Suppose t*f = -3*p + 535, -f = -3*p - p + 744. Is p composite?
True
Let p be 6/9 - 7/(-3). Let d = 67 + -51. Is ((-1676)/d)/(p/(-12)) composite?
False
Suppose -6*f + 5*f = 5*o + 12, -2*f + 2*o + 12 = 0. Suppose 3*q = 2*i + 34, f*q - 23 = -4*i - 1. Let l(g) = 4*g**2 - 14*g - 9. Is l(q) prime?
True
Suppose -25*b - 70629 = -339904. Is b a composite number?
False
Let t(b) = b**2 + 13*b - 22. Let q be t(-14). Suppose 2*w + 0*w = 2. Is (3/w)/(q/(-424)) prime?
False
Let u = -7498 - -14880. Is u a composite number?
True
Let n(i) = -106*i - 102. Is n(-20) a prime number?
False
Is 2/(-9) - (-16223207)/1197 composite?
False
Let i(m) = -3*m**2 + 3*m + 2. Let o be i(3). Let k = o - 57. Let d = 132 + k. Is d a composite number?
False
Let m(v) = -2*v**3 - 4*v**2 - 2*v - 17. Suppose -3*a - t - t = 27, -3*t = -5*a - 26. Is m(a) prime?
True
Let j(a) = -2*a**2 - 20*a - 10. Let f be j(-21). Let p = 1059 + f. Is p a prime number?
True
Suppose 0 = 6*b - 17*b - 5962. Let n = b - -861. Is n composite?
True
Let h(v) = -249*v - 1. Let i be h(-3). Suppose 3*k = 4*z - 1528, 4*k - k - i = -2*z. Is z composite?
False
Let m = -3541 + 12846. Is m a prime number?
False
Let s(t) = -t**3 + 15*t**2 + 18*t + 13. Let v be s(-10). Suppose 0 = 5*r + 4*y - v, -r = -y + 2*y - 466. Is r composite?
True
Let o be 0/((12/(-3))/4) + 1295. Suppose 2*y - 2*v + o = 7*y, 2*y + 4*v = 534. Is y a prime number?
True
Let n(u) be the second derivative of u**5/40 + 203*u**4/24 - 2*u**3/3 + 5*u. Let k(c) be the second derivative of n(c). Is k(0) a prime number?
False
Let i(u) be the first derivative of -237/2*u**2 + 9 - 5*u. Is i(-2) composite?
True
Is ((-618)/2)/(7 + (-480)/66) a composite number?
True
Let a be 1*19*2 - (14 + -10). Is 10162/a - (-2)/17 a composite number?
True
Suppose -1 = -d, 0 = 4*j - 61*d + 65*d - 184880. Is j a com