 14*y. Is k/7 - w/(-77) a prime number?
True
Let h(z) = -6*z**3 - 2*z**2 + 2*z + 2. Let c be ((-6)/3)/(-2) - -3. Suppose -2*n + c*w - 10 = -3*n, 4*w = 5*n + 22. Is h(n) a prime number?
False
Let s(y) = 2*y**2 - 32*y + 2. Let w be s(16). Suppose 0 = -p + w*n + 1631, -2*p - 2*n - 3252 = -4*p. Is p a composite number?
False
Let z be 2/(-7) + -6*62/(-28). Let m = -9 + 6. Is m/6*-14*z a prime number?
False
Let y = -3 - 25. Let g = 28 + y. Suppose 5*f + s - 385 = g, 5*f - 2*s = 3*f + 154. Is f composite?
True
Let b = 319 + -12. Is b prime?
True
Let v(o) = -o**3 - o**2. Let b be v(0). Let i be -1 + (0 - b) + 1. Suppose 0 = -i*j + 4*j - 212. Is j a composite number?
False
Suppose -6*q + 2*q - 4 = 0. Let s = q + 34. Is s prime?
False
Suppose 4*i - 3*i - 3 = 0. Let m(c) = -i + c - 15*c + 0 + 7. Is m(-3) prime?
False
Suppose 0 = -4*f - f - 3865. Let z = f + 1192. Is z composite?
False
Let u = -77 + 76. Let m(v) = v**3 + 6*v**2 + 5*v + 8. Let k be m(-6). Is k/u*(-1062)/(-36) a prime number?
False
Let p be (-3)/((-9)/(-6)) + 115. Let u = -50 - -104. Let i = p - u. Is i a prime number?
True
Let t be ((-21)/14)/(1/2). Let z = 6 + t. Suppose -5*i - v + 557 + 460 = 0, 0 = 4*i - z*v - 806. Is i a prime number?
False
Let a be ((12/2)/1)/2. Suppose 0 = 5*g + 5*z + 90, 2*g + a*z - 4*z = -48. Is (-4)/g - (-9975)/11 a prime number?
True
Let x(c) = c**2 + 223 + c + 7*c - 8*c. Let l = -52 + 52. Is x(l) composite?
False
Let u = -5183 - -9609. Suppose u = -0*n + 2*n. Is n a composite number?
False
Let m be (1770/9)/(3/(-9)). Is (m/4)/(8/(-16)) a prime number?
False
Suppose 8*q - 4*q + 3*x - 6197 = 0, 0 = q + 5*x - 1528. Is q a prime number?
True
Let y(v) = -v**3 - v**2 - 3*v - 1. Let p be y(-1). Suppose -p*n - 4*j = n - 2755, 2*n - 4*j - 1830 = 0. Is n composite?
True
Is (-10 - -12 - -37579)/1 a composite number?
True
Let w be 3/(60/16 + -3). Suppose -4*g = b - 1515, w*g - 2*b = -0*b + 1518. Is g composite?
False
Let x(g) = -g**3 + 4*g**2 - 2*g. Let q be x(3). Suppose b = -b + m + 149, 243 = q*b + 5*m. Suppose -b - 135 = -h. Is h composite?
False
Suppose -23 = -4*m - 39. Is 10035/9 - m/2 a prime number?
True
Suppose 2*a = 4*j - 2, 4*j + 4*a - 8 = 8*j. Suppose j*o + 0*o - 981 = -b, -4*b + 1628 = 5*o. Let m = o - 209. Is m composite?
True
Suppose -2*o + 4*a + 2526 = 0, -7*a = 2*o - 8*a - 2520. Is o prime?
True
Let j(x) = 10*x**2 + 6*x + 3. Is j(-7) prime?
False
Suppose -5*z + 7*z - 5464 = -4*g, 2*g = 2*z + 2738. Is g a prime number?
True
Let x be (3/6)/(3/36). Suppose 11*u - x*u - 65 = 0. Is u a prime number?
True
Let c(d) = -d**2 + 14*d - 16. Let t be c(13). Is 1642*(t - (-28)/8) prime?
True
Suppose -972 = d - 3*d. Let g be (d/(-5))/3*-5. Let o = 349 - g. Is o composite?
True
Let t be 5*(-1)/(-5) + 1*-866. Let l be 3*(-4)/18*-2361. Let v = t + l. Is v prime?
True
Let z(t) = 3*t**2 + 10*t + 1. Let c be z(-10). Let r = -117 + c. Is r/8 + 3/6 a composite number?
False
Let k(p) = -p**2 + p + 1. Let s(h) = -2*h - 3. Suppose l - 3 = 4*l. Let d(n) = l*s(n) - 4*k(n). Is d(-5) a prime number?
True
Let u = -3825 - -5648. Is u prime?
True
Let w = -22 + 37. Suppose -1716 = -w*n + 12*n. Suppose 4*u - 416 - n = 0. Is u composite?
True
Let h(n) = 6*n**2 - 6*n + 1. Suppose 0*g - 15 = -5*g. Is h(g) a composite number?
False
Let s = -11823 - -22664. Is s composite?
True
Suppose 0 = 2*f - 144 - 1148. Suppose 17010 + f = 8*r. Is r a composite number?
False
Suppose 0 = -4*z - 4*o + 252, 246 = 4*z - 0*o + 2*o. Let q = z + 131. Is q prime?
True
Let r(l) = -24 - 9*l - 56*l + 13 - 68*l. Is r(-6) composite?
False
Let t(v) be the third derivative of 7*v**5/12 - v**4/4 + v**3/3 + 6*v**2. Is t(-5) prime?
True
Suppose -q = 308 + 504. Let g = -1108 + 2293. Let t = q + g. Is t a prime number?
True
Let h(l) = l**2 + 10*l - 3. Let q be h(-12). Is 66/q - 1/7 composite?
False
Suppose -77084 = 3*t - 7*t. Is t a composite number?
True
Suppose 24647 = -2*i + 9*i. Is i prime?
False
Suppose 3*p - 2*f - 14840 - 13161 = 0, -p + 9352 = 3*f. Is p prime?
True
Suppose -4*y = -b + 1067, -3*b + 2*y = 5*y - 3276. Is b composite?
False
Let p(h) = -2*h**3 + 38*h**2 + 14*h - 37. Let y be p(17). Let l = -728 + y. Is l a prime number?
False
Suppose 2*v = 4*p + 31902, 0 = 5*v + 3*p - 34681 - 45126. Is v prime?
True
Suppose 2*p + 136 = 4*n - 62, -5*p - 195 = -4*n. Let h(s) = 5*s - 8. Let z be h(4). Suppose -n - 22 = -5*o + g, -o - g + z = 0. Is o a prime number?
False
Let p be (-195)/(-7) - (-13)/91. Let k = p + -17. Is (-143)/k*(-60 + -1) composite?
True
Let q be (5 + -5)/(-5) - (-2 + 2). Suppose -4*s - 2*s + 690 = q. Is s composite?
True
Let o be 10/(-45) - (-76)/18. Suppose 8*m - 5*d = 3*m + 5, -4 = 5*m + o*d. Suppose 2*v - 98 - 140 = m. Is v composite?
True
Suppose -3*z - 2*z = 4*m - 70811, 0 = -4*m + 5*z + 70861. Is m a prime number?
False
Is (-15 - -4276) + 40/(-5) a composite number?
False
Suppose -2*f + 5*h = 3, 2*f - 4*h + 7*h = -11. Let j(d) = -d - 2. Let t be j(f). Suppose 4*s - 472 = -t*x, -s + 4*x + 87 + 40 = 0. Is s composite?
True
Let s be ((-77)/(-22))/((-3 - -1)/208). Let z = 1437 + s. Is z a prime number?
False
Suppose -l = -6*l. Suppose l = 4*g + g - 15. Let r(u) = 69*u - 2. Is r(g) composite?
True
Let a = 15 - 8. Suppose -4 - a = -m + 3*f, 2*f - 21 = -5*m. Suppose -6*x + 19 = -m*x. Is x a prime number?
True
Is (4 - 1)*(-6881)/(-3) a composite number?
True
Let a = 3 - -1. Suppose -3*t - 20 = -5, -a*t - 649 = -c. Is c composite?
True
Let x = -5 - -1. Let i = x - -19. Let c(g) = 8*g - 5. Is c(i) a prime number?
False
Is (-12)/22 - (9 + (-1371240)/165) a composite number?
True
Suppose 7*a + 100 = 2*q + 3*a, -2*a = -4*q + 170. Is q/(-4)*955/(-10) prime?
False
Suppose -12 = m + 2*m. Let l be 16/3 - m/(-12). Is ((-10)/l)/((-2)/749) a prime number?
False
Let p = -15337 - -26408. Is p a prime number?
True
Let j(p) = 0 - 59*p**2 + 255*p**2 - 4*p + 5. Is j(3) composite?
True
Let r = 4395 + -758. Is r prime?
True
Let h be 78/10 - 1/(-5). Let k(p) = 14*p**2 - 2*p + 15. Is k(h) prime?
False
Let x(h) = -2*h**3 - 25*h**2 - 52*h - 145. Is x(-24) prime?
False
Suppose 5*t + 957 = 26387. Is t a composite number?
True
Let x(o) = o**3 + 7*o**2 + 11*o + 6. Let n be x(-7). Let s = 308 + n. Is s a composite number?
True
Let b(w) = w**3 + w**2 + 12. Let v be b(0). Suppose 3*l = -3*y + 12, 0*l = -3*l + y + v. Suppose l*j - 209 - 299 = 0. Is j a composite number?
False
Let f(z) = z**2 - 5*z - 1. Let n be f(8). Suppose i - 375 = -n. Is (-33)/(-55) + i/5 composite?
False
Is 306/204 - (1471/2)/(-1) a composite number?
True
Let j = 354 + -166. Suppose -m + 195 = -j. Let a = 760 - m. Is a prime?
False
Suppose 136 = 11*c - 3*c. Let z(d) = 33*d - 18. Is z(c) prime?
False
Let v(z) = -147*z + 4. Let k be v(4). Let q be (-7 + -2)/(12/k). Suppose 2*j - q = -j. Is j composite?
True
Let x be (24/7)/(10/35). Suppose j - 4*o = -8, x = 2*j + 4*o - 8. Suppose q - 3*q + 112 = j*s, -36 = -2*s + 4*q. Is s composite?
True
Suppose -m - 4*m = -5. Let q = 0 - m. Is 1*541/(-1)*q prime?
True
Suppose -6 = 30*z - 32*z. Suppose 3*c + 3*o + 0*o - 13599 = 0, 4*o + 13613 = z*c. Is c composite?
True
Suppose 3*h - 3 = -4*n - 0, 0 = -3*n - 2*h + 3. Suppose 0 = 5*x + w - 202, x - 2*w = n*x - 76. Suppose -3*p - 4*t = -x, -2*p - t + 44 = p. Is p prime?
False
Suppose 2*j - 7 = -2*q + 3*q, 0 = -2*q + 2*j - 4. Suppose 2*z - 9 + q = 0. Suppose 4 = -4*x, z*l - 3*x - 65 = 79. Is l a prime number?
True
Let y be (-2)/(-8) - (-6 - 4/(-16)). Is ((-12)/(-10))/y + (-6687)/(-15) composite?
True
Suppose 3*j + 2*t = 3*t + 5577, 4*j - 7420 = -4*t. Is j prime?
False
Is 16/(-7) + 2 + 1031613/301 a composite number?
True
Let c(t) = -t**2 + t + 1. Let d(f) = 63*f**2 - 2*f - 2. Let s(w) = -2*c(w) + d(w). Let v be s(-3). Let z = v + 140. Is z a prime number?
True
Let p(t) = 453*t + 5. Let s be p(3). Suppose 38*v = 42*v - s. Is v a composite number?
True
Let l(s) = -4*s + 2. Let z be l(-1). Let c be -9*3/z*-8. Is 14428/c + 2/9 prime?
True
Suppose m = 4*m, 0 = 2*t - 5*m + 4. Is (1 - t)/(21/3409) a composite number?
False
Suppose -c = c - 12278. Suppose -o = -8*o + c. Is o composite?
False
Suppose 5*j - 10*j = -512065. Is j a composite number?
True
Let x be (2/(6/(-57)))/(1/(-1)). Suppose -26*l + 889 = -x*l. Is l a composite number?
False
Suppose -i - 4*s = -44, -i + 4*i + s - 154 = 0. Let n