 = k**3 - 9*k**2 - 3*k + 15. Is s(t) a composite number?
True
Let l(u) = 42*u**2 + 9*u - 18. Let k be l(6). Let s = -917 + k. Is s composite?
False
Let s(j) = 3*j**3 + 3*j**2 + 3*j + 4. Let w(l) = -l**3 + 5*l**2 + 7*l - 1. Let t be w(6). Is s(t) prime?
False
Let s = 4 + 36. Let t = s + -32. Let i(z) = z**3 - 7*z**2 - 4*z - 6. Is i(t) a prime number?
False
Suppose -4127 = -6*a - 26615. Is (1/((-6)/a))/(8/12) prime?
True
Is 8/(-14) - ((-1263075)/(-35))/(-5) composite?
True
Let i be (-1)/(-3) - (-1624)/42. Suppose 1612 = 43*o - i*o. Is o a prime number?
False
Let p(c) = 2*c**3 - 2*c**2 + 24*c + 1. Suppose -3*j + 0*v + 3*v = -36, -2*j = 5*v - 3. Is p(j) a prime number?
False
Let a(q) = -49*q - 26. Let u be a(-7). Let c = u + -162. Is c prime?
False
Let k be 2*(4 - (0 - -5)). Is (-1527)/(3/4*k) a composite number?
True
Suppose 14929 = j - 3*d, 59776 = 4*j + 7*d - 4*d. Is j prime?
False
Let b = -664 + 1462. Let k = b - -421. Is k a prime number?
False
Suppose 0 = -55*g + 12*g + 113219. Is g prime?
True
Suppose -5*f + 3*i - 11252 = -32245, i - 4205 = -f. Is f a composite number?
False
Suppose 3*f - 132 + 1470 = 0. Let i = 243 - f. Is i a composite number?
True
Is (5/(-5))/((-1752)/1746 - -1) composite?
True
Let r = -717 - -1654. Let x = 2088 - r. Is x prime?
True
Suppose -237068 - 226960 = -12*v. Is v a prime number?
True
Suppose 0*b - 14 = -5*b + 2*d, -4*b + 4*d + 4 = 0. Suppose k + n = -14 + 579, -b*n + 1695 = 3*k. Is k composite?
True
Suppose 0 = -4*v - 3*r - 3, -5 = v + r - 3. Suppose -v*t = -5*t - 98. Is 1/((-4)/4)*t a prime number?
False
Suppose -24 = -3*i - 5*j, i + 4*j + 6 - 21 = 0. Let q be i - 5 - (-150)/1. Suppose 3*y - 101 = q. Is y a composite number?
False
Let x(u) = 84*u + 29. Let q(h) = h. Let g(o) = 4*q(o) - x(o). Is g(-9) a composite number?
False
Is 3*(-3 + (-245)/(-84))*-14572 a composite number?
False
Let y be ((-20)/12)/((-2)/216). Let l(a) = -a**3 + 13*a**2 + 9*a - 16. Let r be l(13). Let i = y - r. Is i a composite number?
False
Suppose -21517 = -4*s - 5*t, 322 - 21863 = -4*s + 3*t. Is s a prime number?
False
Suppose 2*o + 168 = n, -n - 336 = 4*o + 3*n. Suppose -1 = a, c + 12*a + 370 = 13*a. Let s = o - c. Is s composite?
True
Let c(p) = -94*p + 1. Let l be c(-1). Let t = 286 - l. Is t composite?
False
Let z(s) = s**2 + 8*s + 12. Let y be z(-6). Suppose y = -11*m + 8*m + 8781. Is m a composite number?
False
Let z = 28127 + 41244. Is z a prime number?
True
Let t(p) = p**2 + p - 33. Let s(l) = l + 13. Let b be s(-13). Let y be t(b). Let h = y - -156. Is h composite?
True
Suppose -7*b = b + b. Suppose b = 2*u + c - 482 - 3040, 4*u - 7032 = c. Is u prime?
True
Let v = 1514 - 978. Let f = 759 - v. Suppose 0 = 30*s - 29*s - f. Is s composite?
False
Let m(l) = -4*l**3 - 11*l**2 + 21*l - 1. Is m(-9) a composite number?
True
Let u(m) = 11*m**2 + 2*m - 34. Is u(5) a composite number?
False
Let q = 13 + -8. Suppose 3*s + 1 = 4*k, -k + 0*s + 6 = q*s. Is (k/(-2))/(2/(-1324)) prime?
True
Let u be 2/5 - (668/(-5) - 4). Let f = u + -53. Is f a composite number?
True
Suppose 832 = -2*k + 6*k. Suppose 4*u = -l + k, -l = 6 - 2. Is u composite?
False
Let l = -71 - -74. Suppose -5*u = 4*a + 76, 4*u + 5*a + 44 = 2*u. Is (0 - u/l) + 327 composite?
False
Suppose 0 = -8*r + 4579 + 56293. Is r prime?
False
Let v(h) be the third derivative of h**5/60 + h**4/12 + 23*h**3/2 + 6*h**2. Suppose -5*u - 25 = 5*t - 4*t, 2*u = 3*t - 10. Is v(t) composite?
True
Suppose 0 = -2*o - 1302 + 9724. Is o a prime number?
True
Suppose 5*a - 39490 + 2340 = 0. Is (a/(-6))/5*-3 prime?
True
Let h(m) = -9*m**3 + 3*m**2 + 9*m + 11. Let d be h(-3). Let y = 741 - d. Is y prime?
True
Let a(i) = 46*i**2 + 1. Let k(b) = -b + 14. Let r be k(10). Let t be -4*(4 + (-18)/r). Is a(t) composite?
True
Let c be (-5 - -3)/(-1) - -3. Suppose -2*b - 2778 - 2971 = -5*j, 5*j + c*b - 5770 = 0. Is j a prime number?
True
Let o(u) be the second derivative of -u**4/6 + 5*u**3/3 - 2*u**2 - 3*u. Let v be o(-10). Let s = v + 541. Is s a composite number?
True
Let g be (-9)/(27/(-42)) - 3. Let i = g + 80. Is i a prime number?
False
Suppose 3*d - 3*n + 10 = 4*d, 0 = d - 3*n + 20. Let r(h) = 47*h**2 - 15*h - 7. Is r(d) prime?
False
Let i be 1 + 2 + 6/(-2). Suppose i = 4*x - 3*b - 16, 0*x - 12 = -3*x + 5*b. Is ((-26)/x - 2)*-14 prime?
False
Let j = -116 - 3. Let c(u) = 2*u**3 + 6*u**2 - 3*u + 12. Let i be c(-6). Let f = j - i. Is f a composite number?
False
Let d(p) = -p**3 + 9*p**2 + 10*p + 6. Let l be d(10). Suppose -760 = -2*x - l*x. Is x a composite number?
True
Let y(i) = 29*i - 39. Let w be y(13). Suppose 4*p = -12, z - 7*p + 2*p - w = 0. Is z composite?
True
Suppose 3*c + 7*c = 37550. Is c prime?
False
Let t(k) be the first derivative of -5*k**3/2 - k**2/2 + k - 5. Let q(i) be the first derivative of t(i). Is q(-4) prime?
True
Let f(u) = -u**2 + 7*u - 18. Let d be f(6). Let g(i) = -i**2 - 16*i + 14. Is g(d) a composite number?
True
Let v(n) = 2*n - 3. Let d be v(2). Is (53 + 0/d)*7 a composite number?
True
Suppose 1386*n - 958433 = 1363*n. Is n composite?
True
Suppose 4*v = 8, v + 4*v + 242 = w. Let k = 443 - w. Is k a composite number?
False
Let s be (-3 - -4) + (2 - 1). Let z be 49/(-5*s/(-10)). Suppose -302 = -b - z. Is b a composite number?
True
Suppose 48*n - 42 = 46*n. Let l(w) = w + 10. Let d be l(-9). Is ((-67)/(-3))/(d/n) composite?
True
Suppose -3*o - 4*c = -4445, -7*o + 5*c = -10*o + 4444. Let x = o + -284. Is x prime?
False
Let f be 0 - (-3 - -4)*-1691. Let u = f - 1198. Is u a composite number?
True
Let d(y) be the third derivative of y**6/120 + 11*y**5/60 - 11*y**4/24 + 11*y**3/3 - 8*y**2. Is d(-11) prime?
False
Let u = 952 - 467. Is u a prime number?
False
Let v be ((-2)/(-1))/(-2) + 9. Suppose w = 2*k + v - 22, 3*w + 6 = 0. Suppose k*p + 14 = 7*p. Is p a prime number?
False
Let x = 14 + -10. Suppose 5*g = 4*g - 2*m + 5, 3*g - 15 = -x*m. Suppose -4*c - 164 = -4*h, -c + 213 = g*h - 2*c. Is h a composite number?
False
Let m = 28 - 23. Suppose 3*h + 334 = q, -h + 0*h = m*q - 1654. Is q composite?
False
Is (18/27)/(1/(37308/8)) a prime number?
True
Suppose 2*v - 841 = 105597. Is v a composite number?
True
Is (-6)/(10/5) - -12436 a composite number?
False
Let q(k) = -13*k**2 + k - 1. Suppose 1 = -9*n + 10*n. Let o be q(n). Is 2/o - (-1806)/78 prime?
True
Let r = 774 + 293. Is r prime?
False
Let a = 19707 + 2284. Is a prime?
True
Let i be 10/(-65) + (-6768)/(-52). Is i/(-3)*15/(-10) prime?
False
Let d(y) be the first derivative of -23*y**2 + 9*y + 15. Is d(-8) prime?
False
Let d(f) be the third derivative of -6*f**2 + 0*f + 1/30*f**5 - 5/6*f**3 + 11/24*f**4 + 0. Is d(8) composite?
False
Suppose 0 = 5*y + 3*r - 1088, 4*y + r - 2*r - 867 = 0. Suppose 451 = 4*j - y. Is j prime?
True
Let i(z) = 15408*z + 157. Is i(2) prime?
False
Let q(f) = -78*f**2 - f. Let k be q(1). Let r be (-2 + (3 - 2))*k. Suppose t = b + 1265, -t - 5*b + r = -1198. Is t composite?
True
Suppose 325371 = 49*j - 124498. Is j a composite number?
False
Suppose 4*w - 20 = -t - 0*w, 3*t + 2*w - 60 = 0. Suppose 444 = -t*j + 24*j. Is j prime?
False
Let q = 10400 - 6530. Is q/4 + (6/(-4) - -1) a prime number?
True
Let a = 32 - 29. Suppose w = -2*d + 373, w - 5*w - 565 = -a*d. Is d a prime number?
False
Let h(y) = -y**3 - 9*y**2 - 8*y - 9. Let u be h(-8). Let s(b) = -b**3 - 10*b**2 - 10*b - 13. Let i be s(u). Let m = 29 + i. Is m prime?
False
Let m be (-6 - (3 - 6)) + 45. Let t be (29 - 0)*m/6. Suppose w - t = 90. Is w a prime number?
True
Let h(g) = 6*g**3 + 14*g**2 + g - 8. Let m(l) = l**3 + l**2 + l - 2. Let s(u) = h(u) - 5*m(u). Suppose 0 = 4*d - 0*d + 5*q + 35, 2*d + 7 = q. Is s(d) composite?
True
Suppose 0 = 2*z - 2*n - n - 4, 4*z - 12 = 4*n. Let s be (z/(-2))/((-4)/8). Suppose -u + s*u = 316. Is u composite?
False
Let f(c) be the third derivative of c**5/20 - c**4/24 - 13*c**3/6 - 2*c**2. Is f(4) a prime number?
True
Let y(o) be the first derivative of o**5/15 - 5*o**4/24 - 10*o**3/3 - 6. Let p(h) be the third derivative of y(h). Is p(3) composite?
False
Let r = -36 + 40. Suppose -r*q + 3570 = -9890. Is q a prime number?
False
Suppose -7*m + 5*m - 776 = 0. Is (0 - m) + 2 - 1 prime?
True
Suppose -t = 2*o - 9, 3*o = -0*t + 2*t - 4. Suppose 4*l - t*l - 5353 = -2*f, 5*f - 13376 = -4*l. Let c = -1723 + f. Is c prime?
True
Let