uppose 5*s + 1921 = u - 9517, 5*s = -u + 11448. Is u prime?
True
Let j(q) = 4773*q - 29. Is j(2) a prime number?
False
Let r(x) = -164*x**3 - 3*x**2 + x + 1. Is r(-3) a prime number?
False
Let a(s) = -50*s**3 - 8*s**2 - s - 37. Is a(-6) a prime number?
False
Let z be (-16)/24*(-3)/2. Suppose 3*a = -9, 6 + z = 5*o + a. Is o*(90/(-4))/(-3) a composite number?
True
Let i be 43/(-4) - (-21)/28. Let k = i + -29. Let l = 50 - k. Is l prime?
True
Suppose 0 = m + 112 - 648. Let n = -285 + m. Is n a composite number?
False
Let a be (3/6)/((-1)/(-412)). Let m = -5 - a. Is 1*m/(1 + -2) a composite number?
False
Let j(y) = 3*y**3 - 5*y**3 - 3 - 2*y - 1 - 3*y**2 + y**3. Let n be j(-3). Suppose n*g - 7*g = -815. Is g a composite number?
False
Let k(q) = -2*q + 1. Let w be k(-7). Let r(n) = 6*n**2 + 20*n - 13. Is r(w) a prime number?
True
Let o(g) = g**2 + g + 79. Let h be o(0). Let k = 18 - 60. Let r = k + h. Is r a composite number?
False
Let u(a) = 49*a**3 + 15*a**2 - 6*a + 5. Let q be u(6). Let o = q + -7660. Is o prime?
True
Suppose y - 3*g = 2794, -11156 = -4*y + 3*g - g. Suppose -4*o - 5*q + 3998 = -1588, 2*o + 5*q - y = 0. Is o composite?
False
Let t = 14320 + 18889. Is t composite?
True
Let a be 3*(-4)/(-36)*157*-3. Suppose -2*o = 5*s - 4518, -s + 0*o + 3*o = -890. Let z = s + a. Is z a prime number?
False
Suppose 0 = 4*h - 3*k + 5862, 0 = -2*h - h - 3*k - 4407. Let x = h - -2722. Is x composite?
True
Let o(l) = -45*l**2 + 2*l - 1. Let u be o(1). Let c be u/(-11) - 810/(-1). Let n = c - 129. Is n prime?
False
Let c be (4 + 3)/(2/4). Let s be c/4*8/(-14). Is -4 - (594/(-2) + s) a composite number?
True
Let h be 38601/36 - 1/4. Let q = h + -741. Is q composite?
False
Suppose 0 = 9*j + 962 - 9278. Suppose c - 253 = -5*o, 2*c - j = -2*c + 2*o. Is c prime?
True
Suppose -s - 3*m + 34 = 0, 5*s - 108 = m - 18. Suppose -5*q + 31 = -s. Is (-3)/(1 - 12/q) a composite number?
True
Let w(y) = y**3 - 14*y**2 + y - 1. Let x be w(11). Let c = x - -496. Is c prime?
False
Let g = -776 + 1203. Is g a prime number?
False
Let i be (-2)/8 + (-34)/(-8). Is (-4394)/(-52) - (-2)/i composite?
True
Suppose 2*n + 3*p - 45 = 0, -7*p = -3*p - 20. Suppose 0 = -2*o - 208 + 828. Let k = o - n. Is k composite?
True
Suppose -4*c - 1 = -5*k - 36, 0 = 2*c - 3*k - 15. Suppose 6*x - 123 - c = 0. Is x/(4 + (-54)/14) a composite number?
True
Let p = -60170 - -162835. Is p prime?
False
Suppose -69267 = 490*v - 493*v. Is v composite?
True
Suppose -26 = -2*f - 34. Let d(n) = 168*n**2 + 6*n + 7. Is d(f) prime?
True
Let l(t) = -t**2 - 6*t + 9. Let f be l(-7). Let j be ((-4)/6)/(f/(-1191)). Suppose 2*c - x - 4*x - 274 = 0, -j = -3*c + 4*x. Is c a prime number?
True
Suppose i = -m + 23422, 0 = 5*i + 3*m - 107375 - 9729. Is i a prime number?
False
Suppose -13811 = -12*x + 5*x. Is x prime?
True
Suppose 0 = -26*m + 25*m - 749. Let h = m + 4566. Is h a composite number?
True
Is 122625/9 + 4*2 a prime number?
True
Suppose 0 = -5*q + 16 + 19. Let j(w) = 7*w**3 + 5*w**2 + 8*w + 3. Let m be j(q). Suppose 3*s = -2*s + m. Is s a composite number?
False
Let g = 9 - 6. Let h be g/6 + (-3458)/(-4). Let j = -272 + h. Is j a composite number?
False
Let v be (3/5)/(5/(-25)). Let z(b) = -7*b**2 + 4. Let o be z(v). Is -2 - 1/(1/o) composite?
True
Suppose 0 = 6*o - o. Suppose o*c + 591 = 5*c - g, 0 = -g + 4. Is c composite?
True
Let x = -1807 + 3318. Is x prime?
True
Suppose -7*c + n - 173 = -3*c, 4*n = 20. Let a = 200 + c. Is a prime?
False
Suppose -273 = -63*c + 42*c. Is c composite?
False
Let n = -3325 - -78404. Is n a composite number?
False
Suppose 0 = -3*c + 3 + 3. Suppose d = -c*d + 13323. Is d composite?
False
Let b = -166 - -93. Let h = 482 + b. Is h prime?
True
Let z(y) be the third derivative of 0 + 0*y + 85/6*y**3 - 1/24*y**4 + 3*y**2. Is z(0) a prime number?
False
Let l = 5 - -13. Let r = l - 13. Suppose -4*u - 2*m = -188, 38 + 190 = r*u - m. Is u a composite number?
True
Suppose 0 = -3*h - 0*h. Suppose 0 = -5*d + 15 - h. Suppose -4*g + 270 = 2*s, d*s - 7*s + 550 = 3*g. Is s composite?
False
Let o be (-6)/(42/(-14) + 1/1). Suppose -1016 = -o*g + f, -f - 26 = -2*g + 651. Is g a composite number?
True
Suppose 2*c + 1184 = -2*c. Let a = 111 - c. Is a composite?
True
Let c(o) = 27*o**2 + o + 5. Let k(f) = f**3 + 7*f**2 - 9*f - 3. Let r be k(-8). Is c(r) a prime number?
False
Suppose 13 - 3 = -5*m, 0 = 5*r - 3*m - 26. Is (2 + -3)*-865 + r prime?
False
Let d be (-539)/21 - (-4)/6. Let b = -37 - d. Let m = b - -133. Is m a prime number?
False
Suppose 3*a - 6*a = 5*h - 108, 4*h = 3*a - 108. Let n = 39 - a. Suppose 0 = -p + n*p - 662. Is p composite?
False
Let q be 5194/(2 - 0) - -3. Suppose d + 3*d - q = 0. Suppose -2*x - d = -4*s, -308 - 184 = -3*s + 3*x. Is s a composite number?
True
Let x(y) = 18672*y**2 - 81*y - 82. Is x(-1) prime?
True
Suppose -2*h = 13 + 1. Let y(k) = 51*k + 17. Let u be y(h). Let c = u + 489. Is c prime?
True
Let w be ((-108)/(-90))/((-2)/(-5)). Suppose -2*o + 7*o + 6 = -k, -2*k - w*o = -2. Suppose -2*i + 3*u = -1168, -k*u - 3 = -11. Is i composite?
False
Let s be (12/5)/((-6)/(-645)). Suppose -151 = o - 3*r, -5*r + 29 - 19 = 0. Let m = s + o. Is m a composite number?
False
Let r(g) = g**3 - 22*g**2 - 139*g - 67. Is r(45) a prime number?
True
Let z = 24 - 33. Let c be 24/z*(-15)/10. Is (-3508)/(-3) - c/12 prime?
False
Suppose 10*o = -5*b + 6*o + 3851, 5*o = -b + 766. Is b prime?
False
Suppose 0 = -8*r + 4*r + 52. Let z = r - -46. Is z prime?
True
Let p(v) = 12*v - 17. Let a be p(-12). Let f be -1*(-4)/((-4)/a). Let i = 280 - f. Is i composite?
True
Let h(n) = 96*n**2 - 3*n + 3. Let k be h(4). Suppose 4*i - k = 3*i. Is i a composite number?
True
Let z(w) = 2*w - 4. Suppose -2*r - 2 = -3*k, -3*r - r = -8. Let v be z(k). Suppose -4*t + 2*t + 62 = v. Is t a composite number?
False
Let q(s) = -2 - 2 + 4 - 3 + s. Let g be q(0). Let j(m) = -4*m**3 + 4*m + 1. Is j(g) a prime number?
True
Let t(y) = -196*y + 495. Is t(-61) a composite number?
False
Let l(d) = -11227*d + 295. Is l(-6) prime?
False
Let b(y) = -19*y**3 + 8*y**2 - 2*y - 9. Is b(-10) a prime number?
False
Let x = 7875 + -3766. Let f = x - 744. Is f a composite number?
True
Let s(h) = -373*h + 24. Suppose -3*v - 45 = 5*f - 8, -19 = 3*f + v. Is s(f) prime?
True
Let k(r) = 962*r**2 - 29*r + 82. Is k(3) prime?
False
Let p be 12 - (-8)/12*-6. Is 3235/(-20)*p/(-2)*1 prime?
True
Let s be (-159)/2*(-16)/6. Let l = 107 + s. Is l composite?
True
Suppose -3 = j - 6. Suppose 0 = 4*z - j - 5. Suppose 2*v - 173 = 5*u, -u = -z*v - 0*v + 153. Is v composite?
True
Let u(s) = -s**2 - 8*s - 10. Let d be u(-8). Let o = -17 - d. Let k(m) = 7*m**2 - 9*m + 7. Is k(o) a prime number?
False
Is (21339/(-36) - 0)*8/(-2) composite?
False
Suppose -4*k = -3*k - 307. Is k prime?
True
Let o(i) = -i**2 + 15*i - 15. Let u(x) = 2*x**2 - 30*x + 31. Let z(h) = 7*o(h) + 3*u(h). Let y be z(14). Suppose -424 = -2*l - y*l. Is l prime?
False
Let r = 2961 + 235. Suppose 23270 = 6*o - r. Is o prime?
False
Suppose 44 = 2*p + k, 2*p - 68 = -2*p + 3*k. Suppose 3*r + p = 7*r. Suppose -t = 2*j + j - 99, 194 = 2*t + r*j. Is t prime?
False
Let v(d) = -d**2. Let o(a) = 118*a**2 - 3*a - 1. Let w(g) = -o(g) - 2*v(g). Let m be w(3). Is m/(-2) - 28/(-7) composite?
False
Suppose -3*o + 3 = 0, -3*i + 6*o - o + 157 = 0. Suppose 0 = -t - 3*x + 112, t - 6*x = -3*x + 82. Let a = t - i. Is a prime?
True
Let k(q) = q**3 - 6*q**2 + 5*q + 6. Let y be k(5). Suppose -3*a = -y*a - 51. Let b = 63 + a. Is b composite?
True
Let v(d) = -d**3 - 12*d**2 - 2*d + 16. Suppose 4*j + c = -50, -3*j - 7 = -2*j + 3*c. Is v(j) prime?
True
Let n(p) = 24*p**3 - 3*p**2 - 8*p + 71. Is n(6) composite?
False
Is 5583/5 - 6/(-15) a prime number?
True
Let t = -160 - -6179. Suppose r - 14*r = -t. Is r prime?
True
Let p(h) = 116*h**2 + 9*h - 3. Let y be p(5). Suppose -3472 - y = -6*r. Is r composite?
False
Suppose 5*q = -u + 2*u - 88, 0 = -5*u + 15. Let r = q + 23. Let p(i) = 80*i + 1. Is p(r) prime?
False
Suppose 0 = -0*p + 3*p + 1323. Let v = p - -962. Is v a prime number?
True
Let i(d) = d**2 + 7*d + 3. Let h be i(-7). Is 14346/(-27)*h/(-2) a prime number?
True
Suppose 11*r - 3127 = 10227. Is r composite?
True
Let m(s) = -s. Let n(i) = -6*i**2 - 16*i - 1. Let u(j) = 2*m(j) - n(j). Let b be u(-11). Suppose -g + t = 3*t 