 (-2)/(-6) - 11376/z a composite number?
False
Let k(p) = p + 6. Let q be k(-5). Let c = q - 3. Is c/(-3) + 76/12 a composite number?
False
Suppose 4*u - 19 = -2*j + j, -3*u + 13 = 2*j. Suppose -1 + u = 4*a. Is 3 - 1/a*-4 a composite number?
False
Let z(k) = -k**3 - 23*k**2 - 18*k + 41. Is z(-24) a prime number?
True
Suppose -r = -l + 3*l - 3, -l = -r. Is (0 - -2) + r*77 a composite number?
False
Let u = 24 + -13. Suppose -5*m - 2*v = -91, -116 + u = -5*m + 5*v. Is m a composite number?
False
Let r = -47 + 170. Is r a prime number?
False
Let x(q) = q**2 - 6*q - 3. Let n be x(6). Let t = n + 5. Suppose 2*p + t*p = 24. Is p composite?
True
Let l(o) = -104*o + 3. Let d be l(-4). Suppose 4*c + d = f, c + 2 = 1. Is f prime?
False
Let o(a) = -20*a**3 - 2*a - 1. Let h be (1 + (-4)/6)*-3. Is o(h) a prime number?
False
Suppose 2*m - 2*p = 3*p - 14, 28 = -4*m - 5*p. Let q(a) be the third derivative of -a**4/12 - 2*a**2. Is q(m) a composite number?
True
Let h = -4311 - -6464. Is h a composite number?
False
Is 3/3*(481 + -2) a composite number?
False
Let v(y) be the first derivative of -y**4/4 + y**3/3 + 133*y - 5. Let p(u) = u**3 + 2*u**2 - 2*u + 3. Let s be p(-3). Is v(s) a prime number?
False
Is (((-79485)/(-25))/7)/(1/5) composite?
True
Suppose -3*p + 54 = 297. Is -2*(2 + p/2) prime?
False
Let m = 100 + 207. Is m a prime number?
True
Let x(i) = -28*i + 1. Is x(-3) a composite number?
True
Let r(i) = i**3 + 7*i**2 - 3*i. Let k be r(-10). Is 2 + (k/(-3))/2 a prime number?
True
Suppose 4*l = 2 + 2. Is (3/(-6))/(l/(-26)) a composite number?
False
Is 4*75/6 + -1 prime?
False
Let n = 242 - 163. Is n prime?
True
Let p(r) = r**2 + 3*r + 1. Let z be p(-2). Let b(x) = 18*x**2 - 2*x - 1. Is b(z) composite?
False
Let i(r) = -r**2 + 5*r + 7. Let z be i(7). Is (-3743)/z - 10/(-35) a composite number?
True
Let k be (3 + -1)*(-62)/(-4). Is k/(2*1/2) composite?
False
Suppose -j = j. Suppose u + j*u = -4. Let n = u + 83. Is n a prime number?
True
Let x(r) = -r**3 - 4*r**2 - r + 7. Let y be (30/(-9))/((-1)/(-6)). Let a be (y/12)/((-2)/(-6)). Is x(a) composite?
False
Suppose 2*w - 595 = -3*w. Suppose 4*h + w = 5*h. Is h a composite number?
True
Let h = 12 - 81. Let w = -30 - h. Is w a composite number?
True
Let f be (-2 + (-1 - -1))/(-1). Suppose 2*v = 6, -f*v = -3*g + 3*v - 69. Is 695/9 + 4/g a prime number?
False
Suppose 0*u - 413 = -u. Is u prime?
False
Let z be 6/(-33) - (-24)/11. Suppose z*u + 23 = 65. Is u composite?
True
Let w = 4688 + -1485. Is w a composite number?
False
Let l(p) = p + 5. Let i be l(-4). Let w = 66 + i. Is w a composite number?
False
Let i = 20 - 11. Suppose 0 = 5*u - 3*o - i - 0, -9 = u + 3*o. Suppose -2*x = -u*x - 38. Is x prime?
True
Let q be 1*(16/4 - 1). Is (252 - (q - 5))/2 a composite number?
False
Suppose -4*y + 94 = g - 51, -290 = -2*g + y. Is g a prime number?
False
Suppose 0 = v - 6*v + 445. Is v composite?
False
Let m be 1/(-5) - (-33)/15. Suppose 2*u - 8 = -m*u. Suppose 0 = s - u*s + 37. Is s a composite number?
False
Suppose -965 = -b + 3*p, 5*b - 7638 = -4*p - 2737. Is b prime?
True
Let g = 3 - 1. Suppose w - g = -0. Suppose -72 = -w*p + 110. Is p composite?
True
Let q(y) = -332*y - 1. Is q(-1) a prime number?
True
Let c = -1257 - -3460. Is c a prime number?
True
Let v = 2239 + -642. Is v a prime number?
True
Let w be 30 + (-4)/(6 + -4). Suppose -w + 138 = 5*q. Is q a composite number?
True
Suppose -3*c + 2*k = -10, 14 = 4*c + 5*k - 7. Suppose -s = -140 + 30. Suppose s = 4*l - 5*i - 53, -2*i = c*l - 198. Is l a composite number?
False
Let o = -89 + 156. Is o composite?
False
Let u(c) = 5*c + 9. Let j be (0/1 - -1) + -1. Let z be 4/(3/6 + j). Is u(z) prime?
False
Is 2/(1/(382/4)) prime?
True
Suppose 2*u - 6*u - 2*p + 1762 = 0, -2*p = u - 433. Is u a composite number?
False
Let a be 1/2*6/(-1). Let d = 8 + a. Suppose 0*w - 5*w = d*u - 180, -3*w = -3*u + 90. Is u prime?
False
Let v = -175 + 572. Is v prime?
True
Suppose 5*d = 15, 0 = -5*t - 2*d + 3*d + 1102. Suppose -136 = -3*k + t. Is k prime?
False
Let s(j) be the first derivative of -3*j**2/2 + 3*j - 1. Let l be s(-7). Suppose -166 = -4*g + 3*c, -g - 2*c + l = -23. Is g prime?
True
Suppose 4*x = -4 + 16. Suppose 2*v = 1 + x, -p = -2*v - 33. Is p a prime number?
True
Suppose 4*x + 5*w - 36 = 0, 2*x - 6 = w - 2. Suppose -x + 21 = -4*p - 5*b, 23 = -p - 5*b. Suppose -4*z - 5*s + 209 = 0, -p*s + 7*s + 250 = 5*z. Is z prime?
False
Let t = 172 - -22. Is t prime?
False
Suppose 159 + 0 = 3*h. Is h prime?
True
Let w be (3 + 1/3)*-21. Is (-4770)/(-14) + (-20)/w composite?
True
Let c(t) = -t + 17 - 1 - 3. Is c(9) a prime number?
False
Is 52410/(-45)*3/(-2) a composite number?
False
Suppose 2*p + 109 = 531. Is p composite?
False
Suppose -1 + 6 = w. Suppose 0 = w*q - q - 8. Suppose 190 = q*m - 0*m. Is m prime?
False
Let b(j) be the first derivative of j**6/120 - 2*j**5/15 + 3*j**4/8 + 5*j**3/6 + j**2/2 - 2. Let s(h) be the second derivative of b(h). Is s(7) prime?
True
Let d(k) = -184*k + 3. Is d(-4) prime?
True
Let c(l) = 4*l**2 + 7. Is c(16) composite?
False
Let x(w) = 6*w - 3. Suppose -2*o + 14 = -3*y, -2*o - 2*y + y + 6 = 0. Is x(o) a prime number?
False
Suppose 5*y = -s - 3*s - 322, 2*y = s + 74. Is (s/(-12))/(2/4) composite?
False
Let a = 908 - 641. Is a prime?
False
Let u = 5408 - 2871. Is u a composite number?
True
Let h be (-2)/4 - 3/(-2). Suppose 0*n + h = n. Is 0 + n - (-45 - 1) composite?
False
Let q(o) = 4*o**2 + 2*o - 11. Let s = 4 - 9. Is q(s) prime?
True
Let u be ((-2)/2)/(9/(-18)). Let w(o) = 8 - 5*o**u - 2 + 6*o**2. Is w(7) composite?
True
Suppose -5 + 1 = -2*j, -20 = -3*i - 4*j. Suppose 0 = -3*n - 6, -2*b = -b + i*n - 14. Suppose -2*y + 74 = b. Is y a prime number?
False
Let l = -4 + 2. Let k(m) = -m**3 - 2*m**2 + 5*m - 5. Let u(w) = -w**2 - w + 1. Let c(h) = l*u(h) - k(h). Is c(-4) composite?
True
Suppose -31 - 49 = -5*l. Let a = 7 + l. Is a a prime number?
True
Suppose -7*f = -12*f + 530. Is f prime?
False
Is 2 + (-3 + 50 - -2) composite?
True
Suppose -44 + 14 = -5*t. Let y(u) = 4*u**2 - 6*u - 5. Is y(t) prime?
True
Let q = 8 - 4. Suppose -q*v = -v. Suppose 4*g + 3*j - 6 = v, 0 = 3*j + 6 - 0. Is g a composite number?
False
Suppose 0 = 4*r + m - 35, -r + 4*m = 2*r - 31. Is (106/(-3))/((-6)/r) prime?
True
Suppose -5 = p - 6*p. Let l be (-14 - -5) + 2/p. Let y = l + 44. Is y a prime number?
True
Let l = -211 - -327. Suppose -5*d + y + 650 = 0, -2*d + d + 3*y + l = 0. Is d composite?
False
Let l be (-2)/(-11) - 8/44. Let o be (l - 20)*(-6)/4. Let y = -17 + o. Is y composite?
False
Let d be 1/(-1*(-3)/9). Suppose -3*x - d*j + j + 93 = 0, j = -4*x + 129. Is x composite?
True
Let i = 4 + -3. Let y = i + 4. Suppose 7 = 2*v + 2*a - 13, -y*v = a - 54. Is v a composite number?
False
Let j(b) = -b + 7. Let f be j(4). Let c(r) = 2*r + 1. Is c(f) a prime number?
True
Let s be (-24 - -6)/(1 - 3). Let p = 1 + -3. Let d = s + p. Is d a prime number?
True
Let t(n) = n + 8*n - 11 + 2*n**2 + 8 + 0*n. Is t(10) prime?
False
Let a be -1*(2 + -7 + 0). Let c be (-2)/a - 56/10. Is c/1*(-7)/2 a prime number?
False
Let a be (-30)/(-9)*(-12)/(-10). Let m be (4/(-10))/(a/2740). Let l = 401 + m. Is l a composite number?
False
Let u(z) = -z + 3. Suppose 4*k - 14 = 10. Let c be u(k). Is ((-19)/c - 0)*3 a prime number?
True
Let s = -3 + 4. Let f = 34 - s. Is f a composite number?
True
Let u be 1602/45 - (-3)/(-5). Suppose p + 0*p = -b + u, 2*b = -p + 32. Is p a prime number?
False
Let w(c) = c + 4. Let l be w(-6). Is (86/(-3))/(l/3) a prime number?
True
Suppose -3*v - v - 11 = f, -3*v - 21 = 5*f. Is 174/(1 - v) + -3 prime?
False
Let m(y) = -y**3 + 13*y**2 + 4*y. Let d be m(9). Let i = -107 + d. Is i prime?
False
Let v = 83 + -6. Is v a prime number?
False
Let v(a) = -a**2 + 4*a - 3. Let f be v(3). Suppose 0 = -f*u - u. Suppose u*k - 55 = -k. Is k prime?
False
Let k(m) = 73*m - 21. Is k(19) a prime number?
False
Let o = 16 - 2. Suppose -3*p + o = -4. Is p a composite number?
True
Suppose 3*z + 381 = 4*p, 0 = -p - p + z + 189. Is 4*-1*p/(-12) composite?
False
Is (137/(-2))/(33/12 - 3) a composite number?
True
Let r be 2*(-4)/5*-5. Suppose -r = -3*q + 1. Suppose -380 = -l - q*l. Is l composite?
True
Let r(z) = 2 + z + z + 0 - 2*z**2 + 2*z. Let l be r(4). Is -1 - (l - (-1 + 2)) a prime number?
False
Suppos