 = -j - 3, s - 9 = 3*s + 5*j. Is 2961/2 - 1/s a composite number?
False
Suppose -5*j - 13 = -4*a + 30, 2*j = 3*a - 20. Let z(r) = -r - 5. Let k be z(j). Suppose 17 - k = f. Is f a composite number?
True
Let f(k) = -21*k + 4. Let h(i) = -i + i + 1 - 4*i + i. Let x be h(4). Is f(x) a prime number?
False
Suppose 8*c = 800 + 1712. Suppose -w + c = -131. Is w composite?
True
Suppose 3*a - p = 6834, -5*p + p = 4*a - 9096. Suppose 0 = -3*b + 3*v + a - 372, v = 0. Is b a composite number?
True
Let g(n) = 19*n - 8. Suppose -o - 4*o - 10 = 0. Let x be (-6)/4*3*o. Is g(x) prime?
True
Is 3665 - -24 - (0 + 6) a composite number?
True
Let i be 5 + -1 - (5 + 1). Let r be i/4 + 4/8. Suppose r = u - 0*u - 97. Is u a prime number?
True
Let h(k) = 3*k + k + 3 - 3*k. Let c be h(0). Suppose 227 + c = 2*t. Is t a prime number?
False
Let n = -32 - -21. Let r = n + 463. Suppose 7*k - 3*k = r. Is k a composite number?
False
Suppose 11247 = -71*k + 74*k. Is k composite?
True
Let a = -7 - -7. Suppose -o - d - 719 + 2142 = a, 0 = 4*o + d - 5692. Is o composite?
False
Let h(r) = r**2 - 12*r + 58. Is h(-27) composite?
True
Let i(v) = -3*v + 15. Let u be i(4). Suppose -3*w - 12 = 0, 2*l + 4*w = u*l - 689. Is l a composite number?
False
Let l = -72 - -75. Is -1*l/((-9)/1659) a prime number?
False
Suppose -k = 2*y + y - 4499, 5*k = 3*y - 4487. Is y composite?
False
Suppose 0 = 8*r - 126 + 1214. Suppose -3*y + 5*n = 253, 2*n + 442 - 122 = -4*y. Let z = y - r. Is z prime?
False
Suppose -16*y - 3*y = -418. Is y a prime number?
False
Suppose -7*q = -14 - 259. Let p = q + -8. Is p a prime number?
True
Is (-20)/(-12)*33 + 0 a prime number?
False
Let k be 28*(1 + -506)*(-1 + 0). Suppose -k = -5*c - 2085. Is c a prime number?
True
Let j = -1655 + 4248. Suppose -5*r - j - 928 = -3*f, 5*f - 5855 = -5*r. Suppose -f = -6*m + 2*m. Is m a prime number?
True
Let i(f) = -10*f - 9. Let a be i(-9). Let v = -211 + a. Let z = v - -219. Is z prime?
True
Is (-13354)/(((-12)/30)/(8/40)) composite?
True
Suppose -6*d - 2 = -5*d. Let x(y) = -52*y**3 + 2*y + 2. Let v be x(d). Suppose 74 - v = -4*l. Is l composite?
True
Let m be (184/(-69))/((-2)/3). Let c be (-2)/((-27)/6 + m). Suppose 5*b - y - 1315 = 0, -3*y = -b - c*y + 263. Is b a prime number?
True
Let z be (-36)/(-9)*(5 + 0). Let i = 67 + z. Is i prime?
False
Let i(r) = 69*r**2 + 9*r - 47. Is i(9) a composite number?
False
Is (-614970)/(-55) - (-12)/(-44) composite?
True
Suppose -2*w - w = -3, 3*j + 2*w + 4 = 0. Is -3 - (-3160)/(j - -6) a prime number?
True
Let k(p) be the third derivative of 0*p - 7/6*p**3 + 0 - 6*p**2 - 1/4*p**4 + 1/30*p**5. Is k(7) prime?
False
Let r(m) = 440*m - 21. Is r(5) prime?
True
Let p = 1225 + -692. Is p a composite number?
True
Suppose -3*y = -3*b - 30, -y - 2*b + 78 = 4*y. Suppose y*c - 782 = 12*c. Is c composite?
True
Let u be 9/27 + (-4)/(-6). Let d be (-1 - -1)/u - -3. Suppose x - 235 = d*a, -a - 243 = -x + 4*a. Is x a composite number?
False
Suppose 0 = 4*z - 13587 - 7589. Is z prime?
False
Let s(y) = -y**2 - 7*y - 2. Let o be s(-5). Let l be o/28 + 1766/(-7). Let n = l + 475. Is n composite?
False
Let y(i) = -2*i**2 - 14*i - 5. Let u be y(6). Let p = 418 + u. Is p a composite number?
False
Suppose 67101 = 12*r - 399687. Is r a composite number?
True
Let m(f) = f**2 - f - 9. Let o be 8/5*(-25)/(-10). Let a be m(o). Suppose -g - 2*y = -a*y - 25, y - 113 = -5*g. Is g a prime number?
True
Let b = -606 + 1029. Let r = 559 + b. Is r prime?
False
Let k(c) = -c**2 + 28*c + 6. Let y(u) = -u**2 + 14*u + 3. Let h(o) = 6*k(o) - 13*y(o). Let w(a) = -a**3 + 7*a**2 - 10*a + 10. Let i be w(5). Is h(i) prime?
True
Suppose 18 = -3*z + 3. Let b(k) = 4 + 2 + 0*k - 2*k - 5. Is b(z) prime?
True
Let m(u) be the second derivative of -87*u**5/20 - u**4/12 - u**3/2 - u**2/2 - 28*u. Is m(-2) prime?
False
Let z(c) = 40*c**3 - 6*c**2 + c - 27. Is z(8) prime?
False
Is (-1 - 0)*(4 - -30285)/(-7) a prime number?
True
Suppose 5*j - 20426 = -2*p, -4*p + 5*j = -19092 - 21760. Is p a prime number?
False
Let m = -5 + 23. Suppose -h + 3*h - m = 0. Is (6/(-4))/(h/(-306)) prime?
False
Suppose 20 = -2*k - 26. Let f = -13 - k. Suppose 0 = 2*p + f - 540. Is p a composite number?
True
Suppose 4*g + l + 4074 = 0, -2*g - 5*l + 1001 - 3029 = 0. Let u = g - -1986. Is u a prime number?
True
Is 4 - (3/15 + 12552/(-10)) a prime number?
True
Let b = 5 - 5. Suppose b = -13*p + 16*p - 633. Is p composite?
False
Let a = 42034 - 6540. Is a composite?
True
Let b(q) be the second derivative of -23*q**3/3 - 5*q**2/2 - q. Suppose 0 = -9*o - 1222 + 1159. Is b(o) composite?
False
Let m(z) = -9*z**3 + 61*z + 36. Let d(v) = 2*v**3 - 12*v - 7. Let p(k) = 11*d(k) + 2*m(k). Is p(6) prime?
False
Suppose 5*n - 53598 = 4*f, 11*f - 67018 = 16*f + 4*n. Let w = 24245 + f. Is w a composite number?
True
Let f(o) = 9*o**2 + 47*o - 95. Is f(21) a prime number?
True
Let j(v) = -v + 22. Let b be j(18). Let y = 60 + 170. Suppose -2*c = -b*c + y. Is c a composite number?
True
Suppose 820 = 2*f + 4*r, -3*f + 8*f + 5*r - 2035 = 0. Let j = 622 - f. Is j a composite number?
True
Let g(d) = d**3 + 16*d**2 + 22. Let l be ((-30)/(-8))/((-5)/20). Is g(l) prime?
False
Let b = 679 + 472. Is b a prime number?
True
Suppose 5*c - 9688 = -2943. Suppose -5*f + 2*t = -571 - 2818, 2*f = 3*t + c. Is f prime?
False
Suppose -144 = -w - 16. Suppose 0*l = 2*l - w. Let n = l + -38. Is n prime?
False
Let c = 1459 + -616. Is c a composite number?
True
Suppose -4*t - 3623 = -l, -4*l + 56 + 14331 = 5*t. Is l a prime number?
False
Let n = 411 + -593. Let z = 669 + n. Is z prime?
True
Suppose 77*j + 185963 = i + 81*j, -4*i = -5*j - 743894. Is i a prime number?
True
Let n(r) = 10*r**2 - 76*r + 35. Is n(17) composite?
True
Let c be 20/(-3)*6/(-4). Suppose 2*z = -2*z, 2*b = 3*z + c. Suppose -46 = -b*s + 439. Is s composite?
False
Suppose -807076 + 153258 = -22*w. Is w a prime number?
False
Let a be (-20)/50 + (-144)/(-10). Let z = a + -9. Suppose 4*c - 2*p = 1430, 0 = -5*p - 0*p + z. Is c prime?
False
Suppose -43*q + 39*q - 949 = -3*t, -q - 964 = -3*t. Is t composite?
True
Let b be 1/(-3 + (-56)/(-20)). Let d be 8/(-10)*b/(-1). Let i(h) = -h**3 + h**2 - 3. Is i(d) prime?
False
Let w(v) = v + 29. Let u be w(-25). Let b = -568 - -1164. Suppose -u*t + 0*t = -b. Is t a prime number?
True
Let v(c) = c + 307. Let q be (-3)/(-6)*0/1. Is v(q) a prime number?
True
Let q(h) = 44*h**3 + 6*h**2 + 6*h - 9. Is q(4) a composite number?
False
Let g(y) = 50*y**3 + 3*y. Let j = -30 + 35. Let s be g(j). Suppose 6*a + 1987 = s. Is a composite?
True
Suppose 0 = 8*n + 63471 - 186263. Is n a composite number?
False
Suppose 2*o - x - 7 = 0, 5*x = 4*o - 0*o - 11. Let z(d) = 537*d + 5. Is z(o) a composite number?
False
Suppose -1 = 3*v + 2. Is 191/((3/(-18))/(v/2)) composite?
True
Let q be (14/6)/(6/18). Suppose q*w - 6686 = 5585. Is w prime?
True
Let v(f) be the first derivative of 25*f**3/3 + 7*f**2/2 + 9*f + 11. Is v(5) a composite number?
True
Let g(n) = -7*n**2 - 5*n + 40. Let t(l) = 3*l**2 + 3*l - 20. Let w(z) = 2*g(z) + 5*t(z). Is w(18) a prime number?
False
Let d be (-546 + -2)*15/4. Is ((-3)/(-5))/((-3)/d) a prime number?
False
Let m(z) = -z**3 + 12*z**2 - 11*z + 2. Let j be m(11). Suppose -k - 3*o - 423 = -4*k, -588 = -4*k - j*o. Is k composite?
True
Suppose -w = 2*t - 4481, w - 3*w - 5*t + 8959 = 0. Is w composite?
True
Let c(s) = s**3 - s**2 + 10*s + 11. Suppose -3*k + i + 131 = 0, 4*i - 5*i = 3*k - 127. Suppose 2*a - k = 5*l, 0*a = -a - 3*l - 6. Is c(a) a prime number?
False
Suppose 3*i = -u + 29921, 2*i - 99*u + 97*u - 19942 = 0. Is i composite?
False
Let m(q) = -7*q**3 + 3*q**2 + 5*q + 4. Let i be 14/49 + 88/(-14). Let h be m(i). Suppose 4*c + h = 4326. Is c prime?
True
Let s(l) = -3*l**3 + 5*l**2 + 5*l + 7. Suppose -5*f - 40 = -f. Let d be 2/f + 95/(-25). Is s(d) prime?
False
Let o(y) = 28*y**2 - 9*y - 23. Is o(-6) composite?
False
Suppose 6883 = 16*o - 15*o. Is o prime?
True
Let s(g) = 2*g**2 + 23*g + 2. Let w(h) = h**2 + 11*h + 1. Let x(t) = 6*s(t) - 13*w(t). Let y = 6 + -10. Is x(y) a composite number?
False
Let f = 7 + -47. Let x = f + 40. Suppose 3*d - 380 = -5*q, 5*d - 3 + 28 = x. Is q a composite number?
False
Let g(x) = 8*x**2 - 3*x - 1. Let z = -1 - -9. Suppose -4 = 2*t + 2*m, -z*t - 10 = -3*t - 3*m. Is g(t) prime?
Tru