z = -r. Is z a composite number?
True
Let j be (4/(-6))/((-1)/(-3)). Let a be 88/28 + j/14. Suppose a*z + 233 = 4*z. Is z prime?
True
Let b = 21 + -24. Is 248 + 2 - (b - -2) composite?
False
Let a(p) = -p**2 + 12*p + 17. Suppose -2*w - 4 + 6 = 0. Let k(f) = f**2. Let z(d) = w*a(d) + 3*k(d). Is z(-9) prime?
True
Suppose -3*s + 0*s = -9. Suppose 2*d = -2*d + s*o + 1408, 0 = 4*d + 3*o - 1432. Is d composite?
True
Let b(s) = -1282*s + 192. Is b(-7) prime?
False
Let d be 1*3 - (-2610)/2. Suppose 4*o + 3*p = -2*p + 2619, -4*p = 2*o - d. Let x = o + -441. Is x a prime number?
False
Let r(i) be the third derivative of 0*i + 0*i**3 + 0*i**5 + 83/120*i**6 + i**2 + 0 + 0*i**4. Is r(1) a prime number?
True
Suppose 43*o - 13*o = 773730. Is o composite?
True
Let r = 73 + -76. Is (41536/(-12))/(-4) - (-1)/r a prime number?
False
Suppose b = -4*b. Let z(d) = 2*d - 4. Let q be z(4). Suppose 3*x = 4*s - 1225, s + 3*s + q*x - 1232 = b. Is s a composite number?
False
Let f(k) = -502*k - 15. Let i be f(-3). Let w = i + -290. Is w prime?
True
Let u(w) = -w**3 + 30*w**2 - 34*w - 10. Is u(27) prime?
True
Let a(r) = -4*r + 6. Let d be a(8). Let n = d - -14. Let q = 14 + n. Is q composite?
False
Let i(w) = -60*w + 3. Let s = 16 - 18. Let y be i(s). Is 6/15 - y/(-5) a prime number?
False
Is -7 + (14 - 7) - (-7297 + 0) a prime number?
True
Let h = -3220 + 2228. Let a = -3734 + 1693. Let b = h - a. Is b a prime number?
True
Suppose 4*q = -34 + 1014. Suppose 6*j - 613 = q. Is j a composite number?
True
Is (-2 + -2)*(5580/(-16) + 1) a prime number?
False
Let s be 0*2*(-1)/6. Suppose 0 = 4*t + 16, 4*f + 2*t - 280 = -s*t. Let r = 5 + f. Is r a prime number?
False
Let c be (2 - 5) + -102 - -1. Let z be 2/7 - c/28. Suppose 0 = z*m - 672 - 396. Is m a prime number?
False
Let f(x) = 18 - 17*x**2 - 12*x - 7*x**2 + 4*x**2. Let s(p) = 7*p**2 + 4*p - 6. Let h(j) = -4*f(j) - 11*s(j). Is h(5) a prime number?
True
Suppose 0*w = -4*w - 5*v + 21, -5*w - 2*v = -22. Let x(l) = l**3 - 5*l**2 + 3*l + 2. Let f be x(w). Is (-2739)/22*f/3 prime?
True
Let g = 3176 - -21417. Is g prime?
True
Let t(f) = 15 - f**3 + 2*f - 9*f + 15*f**2 - 3*f**2. Is t(10) prime?
False
Let p be ((-16)/10)/((-14)/35). Let y be (4/p)/((-3)/(-15)). Suppose -y*f = -2*f - 21. Is f prime?
True
Let n be 1*(-4 - -6)*5. Suppose -7 = -3*k - n. Is 1 - (4 + 310/k) a prime number?
True
Suppose -3*v = -5965 + 2356. Is v composite?
True
Let c = 1536 + -880. Suppose -c - 2015 = -2*q - m, 4*m = -12. Is q a prime number?
False
Suppose -3*t + 33042 = -j + 89309, 2 = t. Is j composite?
True
Is 4/(140/15) - 5902/(-14) a prime number?
False
Suppose 0 = -m + 4*b + 35563, 4*b + 84009 + 58291 = 4*m. Is m a prime number?
False
Let p = 9431 + 4278. Is p composite?
False
Let r(z) = -5*z - 1. Let d = -3 + 2. Let g be r(d). Suppose -q + g*q = 255. Is q composite?
True
Suppose 7*d - 19 = 4*d + 4*f, -5*d + 3*f + 17 = 0. Suppose 2*b + 8 = 4*n, -b - 3*n = -5*b - d. Suppose -z - b*z = -57. Is z composite?
False
Suppose 4*b - l = 21159, l - 5292 = -b + 2*l. Suppose -16441 + b = -4*g. Suppose 3*f - 8*f - g = -3*h, h = 4*f + 941. Is h composite?
True
Suppose 33*f - 42*f + 77931 = 0. Is f prime?
False
Suppose 0*m = -4*m + 2*r + 44, -r = -4*m + 40. Suppose 0*a = -m*a + 15111. Is a a prime number?
False
Let f(v) = 2*v + 2. Let n be f(-6). Let j(q) = -22*q + 15. Let l(a) = -a + 1. Let b(g) = j(g) - 6*l(g). Is b(n) prime?
False
Let u(q) = -q**3 + 4*q**2 - 5*q - 4. Let v be u(5). Let s(l) = 3*l**2 - 2*l + 6. Let f be s(-5). Let h = v + f. Is h a prime number?
True
Let j(l) = -4*l**3 + 6*l**2 - 43*l + 27. Is j(-14) a composite number?
False
Let i be (-12754)/(-6) + 2*(-4)/12. Suppose -i = -2*b - 399. Is b a composite number?
False
Suppose 2*k + k - 9 = 0. Suppose -4*h + 233 = a, k*h = 6*h - 2*a - 183. Is h a composite number?
False
Let j(u) = -12*u**3 + 4*u**2 + 1. Let f be j(-3). Let s = f + -206. Is s composite?
True
Let f = -18 - -24. Let d be 9/f - (-1234)/(-4). Is d/(-4) + (-3)/(-12) a prime number?
False
Let b(j) = -j**3 - 4*j. Let x(u) = u**3 + 14*u**2 + 14*u + 18. Let t be x(-13). Let d be b(t). Is (2/(-5))/(1/d) a composite number?
True
Let t be (-10 + 2)*(-596)/16. Suppose -4*y = t - 5150. Is y composite?
False
Let y = -45 - -66. Let g(t) = 15*t - 52. Is g(y) a prime number?
True
Is ((1 - 3)/2)/((-29)/1039099) composite?
False
Suppose -3*v - 3*l = 2*l + 23, -3*v = 2*l + 11. Is ((-7288)/32)/(v/4) a prime number?
True
Let f be (-204)/8 - (-9)/6. Let n be (f/(-4))/(-2) + 296. Is 0 - n/2*-2 composite?
False
Is 289/(-68) - -3 - 279522/(-8) prime?
True
Let l(u) = -5*u**2 + 3*u - 19. Let s be l(7). Let g be 42/(-54) + (-2)/9. Is (-3 + -3 + s)*g prime?
False
Let f(w) = -234*w - 129. Is f(-28) a prime number?
False
Suppose 3*m + m + 44 = 0. Let o = m + 11. Is 10/1 + 1 + o a composite number?
False
Let x = 22704 + -13352. Let u = x - 6209. Is u composite?
True
Let q be 3 + 34 + -2 + -1. Let s = q - 3. Is s a composite number?
False
Suppose 4*l - 4569 = 6707. Is l a composite number?
False
Suppose -m + 4*u = -9639, -3*u - 38518 = -4*m - 6*u. Is m a prime number?
True
Suppose 4*o + 123 = 11. Let c(b) = -b**3 - b**2 + 2*b - 3. Let n be c(-3). Let r = n - o. Is r composite?
False
Let n = 3368 - 445. Is n a composite number?
True
Suppose 0 = -v - 5, a + 0*a - 144 = 2*v. Let h = a - -203. Is h a prime number?
True
Let t(m) = 3627*m**2 + 8*m - 48. Is t(5) a composite number?
True
Let d be 3579 + 0 + 3 + 3. Suppose 5*z = -d + 9970. Is z a composite number?
False
Let u(z) = -z**3 + 16*z**2 + z - 21. Let j be u(16). Let n be 20*(7/j - -1). Is (-2)/n + (-19341)/(-28) a composite number?
False
Let m(x) = -x**3 - x**2 - 5*x + 3. Suppose -2 = 3*y + 4. Let r be -12*y*3/(-12). Is m(r) composite?
True
Let v = -1093 - 3409. Let r = v - -6325. Is r prime?
True
Let g = 8936 - 4233. Is g composite?
False
Let n = -70 + 76. Suppose -n*k = -1496 - 4978. Is k a composite number?
True
Is 296770/45 - (52/18 + -3) a prime number?
False
Is (-2)/(-8)*(9967 - (-104)/8) a prime number?
False
Let s be 0 + 12/8*10 + 0. Is 10/75 + 4573/s a composite number?
True
Let w be (2/(-4))/(-3 - (-5775)/1926). Let s = 1462 - w. Is s a composite number?
True
Let f be -65*(-1 - 40/25). Let v = f - -18. Is v a prime number?
False
Suppose -3*j - 5*w - 13 = 0, -5*j + 45 - 15 = -2*w. Suppose 3*g + j*c - 895 = 0, 2*g + c + 289 = 3*g. Is g a composite number?
False
Let m(a) = -a**3 + 14*a**2 + 22*a + 23. Is m(8) a prime number?
False
Let w(x) = -x**3 - x**2 - 2*x + 179. Is w(0) a prime number?
True
Suppose 35 = -4*l + 11*l. Suppose -304 = 2*i - l*z - 1556, 3*z + 1887 = 3*i. Is i prime?
True
Suppose 2*r - 4 = -6. Is 3/(r/4*6) - -2439 a composite number?
False
Let z(h) = 2*h + 40. Let x be z(-18). Suppose -x*u + 483 - 3038 = -3*i, 5*u = -3*i + 2510. Suppose r = i - 214. Is r a composite number?
False
Suppose c + 14*n = 11*n + 17371, -69512 = -4*c + 2*n. Is c a prime number?
True
Suppose -2*g = -2*o - 18, 2*o = 5*g - 45 + 12. Let p(a) = a**2 + 2*a - 2. Let x be p(o). Suppose -i - 3*d = d - 195, -x = -3*d. Is i composite?
True
Suppose -9*g - 138141 = -18*g. Is g a prime number?
True
Suppose -3*x - 4*r = -16295, 3*x + 3*r - 11328 = 4971. Is x a composite number?
False
Let y(w) = 2*w**2 - 4*w + 4. Let v be y(2). Suppose 5*k = -4*u + 253, -4*k + 202 = v*u - u. Is k composite?
True
Is 42/(-84) + (-1 - 61741/(-2)) a composite number?
False
Suppose 177*f - 145*f = 1054624. Is f a prime number?
True
Suppose 4*p + 3 = -2*f + 3*f, -2*p + 12 = 4*f. Is (1636 - -1) + 6/9*f a composite number?
True
Let y = 17320 + -10631. Is y a prime number?
True
Let c(p) = 240*p**2 + 18*p - 49. Is c(4) a prime number?
True
Let b be 25*53 + -4 + 8. Suppose 3245 - b = 4*w. Suppose 0 = -x - 2*d + w, -2*x + 1040 = -4*d + 42. Is x a composite number?
True
Let p be ((-20)/8)/((-3)/24). Suppose 11*t = 6*t + p. Let m(u) = u**3 - 4*u - 2. Is m(t) composite?
True
Let c(v) be the third derivative of v**5/60 - 5*v**4/12 + 5*v**3/3 - 2*v**2. Let n be c(9). Let y(z) = 145*z. Is y(n) prime?
False
Let k(i) = -7*i**3 - 2*i**2 - 3*i + 7. Let y(n) = n**3 + n**2. Let s(d) = k(d) + 6*y(d). Let h be s(3). Let z(l) = 8*l - 5. Is z(h) prime?
False
Let r(k) = 9*k**3 - 2*k**2 - k + 3. Let f be r(2). Let i = f - 37. Suppose -3*g + i = -g. Is g composite?
True
Suppose