s f a composite number?
True
Let j(i) = -i**3 + 11*i**2 + 10*i + 12. Let o be j(12). Let s = 89 + o. Is s composite?
True
Suppose -2*s - 28 = 90. Is (7 + -4)/((-1)/s) prime?
False
Let q(o) be the second derivative of -3*o**5/40 - o**4/12 + o**3/3 - o. Let b(u) be the second derivative of q(u). Is b(-5) prime?
True
Let s(n) = -n - 1. Let o(j) = -j**2 + 4*j + 8. Let r(i) = -o(i) - 6*s(i). Is r(5) a composite number?
True
Let k(i) = -i**2 - i + 17. Let w be k(0). Suppose -5*u = 3*f + w, 4*f + u - 4*u = 16. Is f + -1 + -3 - -116 a prime number?
True
Suppose 2*z - 4 = 3*z. Let k(b) = -2*b - 6. Let q be k(z). Let x(m) = 19*m - 3. Is x(q) a prime number?
False
Let c = 0 - 6. Let h(k) = -9*k - 3*k**3 + 11*k + k**3 + 1 - 6*k**2. Is h(c) prime?
False
Suppose 3*s = 2*t - 16 - 0, 0 = 2*t - 2*s - 14. Suppose -t*k = -2*k + 120. Is k/(-6) + (-1)/(-3) a prime number?
True
Let z(f) = -f**3 + 7*f**2 - 6*f. Let q be z(4). Is (-221)/(-6) + 4/q composite?
False
Let c(w) = 6*w**2 - w - 1. Let f be c(-1). Is f + -3 - 2*-104 prime?
True
Suppose -3*l + 62 + 13 = 0. Suppose -5*a = l - 240. Is a prime?
True
Let v = 7 + -7. Suppose 3*s - s = 22. Let j = s + v. Is j a prime number?
True
Let i be (-7)/(-2) - (-1)/2. Suppose 0 = -r + i*r. Let z = r - -3. Is z a prime number?
True
Suppose 1 = -y + 6. Let u = y - 5. Suppose -p - 2*p + 345 = u. Is p composite?
True
Suppose 4*v = 3*p - 37, 6*p + v - 77 = p. Suppose -51 = -3*b + p. Is (0 - b)*(-14)/4 a composite number?
True
Suppose 0*s + 4 = 2*s. Suppose 2*h - 20 = -s*h. Suppose 6*i - 2*i - 3*o - 59 = 0, o = -h. Is i prime?
True
Suppose 4*i - 3*i + 92 = 0. Let a be ((-159)/4)/(2/(-8)). Let x = i + a. Is x composite?
False
Suppose -62 = 16*l - 18*l. Is l prime?
True
Let u = 153 + -38. Is u a composite number?
True
Let z = 9 + -19. Let n = 5 + z. Is (-1 - -55) + 4 + n a prime number?
True
Let u be (10/(-8))/(1/(-4)). Let r = 58 - u. Let g = 78 - r. Is g composite?
True
Suppose -2*u - 16 = a - 3*u, 0 = a + 2*u + 25. Let o = -28 - a. Let l = o - -22. Is l a composite number?
False
Suppose 7*w - 10*w + 1293 = 0. Is w prime?
True
Suppose -4*r - r + 10 = 0. Suppose 0 = -r*n + 664 + 222. Is n prime?
True
Let u = 915 - 496. Is u a composite number?
False
Let j = -108 + 23. Suppose 4*f + 166 = 4*t - 3*t, -4*t + 685 = 5*f. Let h = j + t. Is h prime?
False
Let k(y) = y**2 - 8*y + 4. Let v be k(8). Suppose v*r - 3*r = 3. Suppose -r*s - 2*p - 48 = -176, -4*s + 2*p + 194 = 0. Is s prime?
False
Let u = -2 + 4. Let y be u + -2 + 1 + 2. Suppose 7*o - 11 = -a + 2*o, 0 = -y*a - 3*o + 21. Is a composite?
True
Let d = 22 + 112. Is d prime?
False
Let l be (0 + 3)*(-4)/(-4). Suppose u - 166 = -l*i, i - 3*u + 0*u = 52. Is i a prime number?
False
Let z = 38 - 23. Suppose 0 = 4*f - 5*f + z. Is f composite?
True
Suppose 8*y - 5*y - 1437 = 0. Is y a composite number?
False
Let a(r) = 3*r**2 + 5*r - 7. Let j(z) = 6*z**2 + 10*z - 13. Let d(l) = -5*a(l) + 3*j(l). Let u be d(-4). Suppose -u = -2*w - 2*w. Is w composite?
True
Let w(m) = -85*m. Let l be -4 - -6 - (-3)/(-1). Is w(l) prime?
False
Let s(o) = 5*o + 2. Suppose -3*c + 5*z = -36, -5*c + 4*z = 3*z - 38. Is s(c) a prime number?
True
Suppose -4*k - 368 = -0*k. Is (k/(-8))/(1/6) a prime number?
False
Is (-2 - 2061)/(1/(1 + -2)) a prime number?
True
Suppose -3*u - 9 = 2*x, -2*u + 5 = 5*x - 0. Let z(b) = -b**3 - 4*b**2 + 5*b + 6. Let w be z(u). Suppose w*c - c - 130 = 0. Is c a composite number?
True
Let x(p) = 55*p + 5. Let n = 17 - 11. Is x(n) composite?
True
Let u be -1*2/(4/30). Let d be (-6)/u - 24/10. Is d/(-2 + 4) - -5 prime?
False
Let c(w) be the second derivative of w**5/5 - w**4/12 + w**3/2 - 3*w**2/2 - w. Let q(k) = -k**2 - 4*k - 1. Let h be q(-3). Is c(h) a prime number?
True
Suppose -4*v - v = 10. Is (-228)/8*v/3 a composite number?
False
Suppose k = 4*k - 684. Suppose 0 = -0*w + 2*w - 5*d + 148, -4*w + 2*d = 312. Let u = k + w. Is u a composite number?
False
Let t(p) = 3*p - 10. Let d be t(5). Suppose d*q - 305 - 26 = -2*o, 3*q + 4*o - 207 = 0. Is q a composite number?
True
Let s(b) = b + 4. Let a be s(-6). Let k be (0 - a)*1*8. Is 56/k*2*1 composite?
False
Let m be (-60)/(-35) + 4/14. Suppose 5*h - 4*h - 43 = v, -m*v = 2*h - 102. Is h composite?
False
Is 2162 - 3/(1 - -2) prime?
True
Let z(p) = -48*p - 3. Let v be z(-6). Suppose 2*m + v = 5*m. Is m a prime number?
False
Is 2/4*-2 - -158 prime?
True
Let t be 3/5 + (-412)/(-5). Suppose m - 20 = -3*m. Suppose t + 102 = m*z. Is z a composite number?
False
Suppose 3*m - 247 = 362. Is m prime?
False
Let r be (44 + 0)/(3/(-3)). Let l = 24 - r. Suppose 0*b + l = 2*b. Is b prime?
False
Let j = -241 + 88. Let v = -95 - j. Is v a prime number?
False
Suppose -5*m + 5*l = -585, -m + l = m - 229. Suppose 3*a + m = n, -6*a + a = -3*n + 344. Is n a prime number?
False
Is 3 + 0 + 1 - -533 a composite number?
True
Let n = 132 - 39. Let k = n - 56. Is k prime?
True
Let j = -158 - -332. Suppose -2*z - z = -j. Is z a composite number?
True
Let v be ((-10)/(-15))/(2/12). Suppose -2*i = -2*r + 364, -v*r + r + 558 = i. Is r composite?
True
Suppose 2*p + 2*p - 20 = 0. Is 633/5 + 2/p a composite number?
False
Let o(n) = 83*n. Is o(3) composite?
True
Suppose -3*i - 2*i - 15 = 0. Is -3*2*i/9 prime?
True
Suppose 800 = 5*i - 255. Is i a prime number?
True
Let o(r) be the second derivative of -11*r**3/3 - 9*r**2/2 - r. Is o(-6) prime?
False
Let p be 2/(1*6/15). Suppose 48 = 2*m + 2*m - 3*t, -5*m = 5*t - 60. Let h = m - p. Is h a composite number?
False
Let z(s) = -s**3 - 11*s**2 + s + 3. Let w(j) = j**3 + 12*j**2 - j - 4. Let d(k) = -5*w(k) - 6*z(k). Let t be d(-7). Is (-4)/8*(t - 2) a composite number?
True
Suppose -4*o = -8*o - 32. Let x(w) = -19*w - 7. Is x(o) prime?
False
Suppose 5*z - 5*c + 35 = 0, z + 4 = -3*z - 2*c. Let n = z + -2. Is (-2)/n + (-263)/(-5) a composite number?
False
Suppose -x - 4*x = 10. Let f be 0 + -13 + 1 - x. Is (0 - f) + 6 + -5 composite?
False
Let s be 11448/14 - 14/(-49). Let y = s - 481. Is y a prime number?
True
Suppose -4*b - b = -645. Is b a composite number?
True
Suppose 0 = 12*c - 5*c - 3633. Is c a prime number?
False
Suppose -177 = -3*s + 4*z - 34, 2*s - 110 = -z. Is s a prime number?
True
Suppose -33*j + 35*j = 290. Is j a composite number?
True
Suppose -3*j - 1 = -10. Suppose 0 = -h + 4*h + v - 398, -h = j*v - 138. Suppose 3*x + h - 513 = 0. Is x a composite number?
False
Let j be (2000/(-15))/(3/(-9)). Suppose -5*d + j = -165. Is d composite?
False
Suppose g = -g - 4. Let a be 2/1 + (-246)/g. Suppose 10*s = 5*s + a. Is s a prime number?
False
Suppose 3447 = 5*s - 628. Is s prime?
False
Let r = -110 - -403. Is r a prime number?
True
Let h(c) = c**3 - c**2 - 2*c - 1. Let n be h(2). Is (n - (-1 - 22)) + -3 a prime number?
True
Let g be (-3)/(3/(-4)) + 1. Let t(v) be the third derivative of v**5/12 - v**4/4 - 2*v**3/3 - 9*v**2. Is t(g) prime?
False
Suppose -4*c - 695 = -9*c. Is c a composite number?
False
Suppose 2*p + 4*v - 2*v = 500, 0 = -5*p + 2*v + 1278. Is p a composite number?
True
Suppose 0 = 2*f + y + 2 - 12, 0 = 4*f + 5*y - 14. Let a be (9/6)/(1/f). Is (3/a)/((-2)/(-66)) a composite number?
False
Let z(y) = 0*y**2 - 3 + 3*y**3 + 3*y - 4*y**2 - 4*y**3. Is z(-6) a prime number?
False
Is (-2)/15 - (-21985)/75 prime?
True
Is (2/(-4))/((-2)/40) a prime number?
False
Let l = -891 - -598. Let b = 194 - l. Is b a prime number?
True
Let c(k) = -22*k - 4. Let m be (-1)/((-3)/(-5))*3. Is c(m) prime?
False
Let c(q) = -q**3 - 3*q**2 + 5*q + 4. Let l be c(-4). Suppose 0 = n + 4*h + 53 - 188, l = 3*n + h - 383. Is n prime?
True
Let g(w) = -w**3 - 4*w**2 + 5*w + 5. Let f be g(-5). Let c(j) = 0*j**2 - 6 + 0*j**2 + 3*j + j**3 + 3*j - 4*j**2. Is c(f) composite?
True
Let l = 7 + -11. Let r(m) = -m**3 + 4*m**2 + 3*m - 3. Is r(l) a composite number?
False
Let l = -1187 - -3084. Is l composite?
True
Let x(l) = -3*l - 3*l - 2*l + 3. Is x(-11) a prime number?
False
Suppose -4*i = i - 4*n - 26, 0 = -5*i + 2*n + 18. Let o be (4/(-4))/(i/6). Let r(j) = -15*j + 4. Is r(o) a composite number?
True
Suppose -3*x - 2*x = -2*t - 5137, -3*x + 3*t = -3084. Is x a composite number?
True
Suppose 0 = -20*j + 22*j - 614. Is j composite?
False
Suppose g - 5*a - 3 - 20 = 0, 3*g - 5*a = 29. Suppose 2*y - 5*l + 5 = 0, g*l - 45 = -0*y - 3*y. Is 74/3*15/y a prime numbe