= 2*s. Let y = -39 - s. Is y composite?
True
Suppose 1461 = 3*j - 2244. Suppose -2*c + j = 3*c. Is c a prime number?
False
Suppose 3*v + 5 = -4*w, 4*w + 0*w + 8 = 0. Let p be v*(2 + (-5 - -3)). Suppose 4*z + 32 - 612 = p. Is z a composite number?
True
Let s be 4*7972/(-32)*-2. Suppose -4*j = -5*v - 7904, -3*v = j - 0*v - s. Is j composite?
True
Suppose -5*u = -4*u + 5. Let i(r) = 17*r**2 - 23*r - 5. Is i(u) a prime number?
False
Let s = 26 - 28. Let o be 0*(s + (-10)/(-4)). Suppose o = -i + m + 327 + 91, -m = -4*i + 1675. Is i prime?
True
Suppose -2*q - 4185 = -5*q. Suppose -3435 = -5*a - 2*o - 0*o, q = 2*a + 5*o. Is a prime?
False
Suppose 0 = 7*h - h - 42. Suppose h*l - 196 - 210 = 0. Is l composite?
True
Is 16374*((-68)/238)/((-8)/14) a prime number?
False
Suppose -61 = t + 8. Is 1396 - (2/7 - t/(-21)) prime?
True
Suppose 0 = t - 2*r + 2, -4 + 20 = 4*t + 4*r. Suppose 3*a + t*a = 1830. Let u = a - -361. Is u a composite number?
False
Let q = -3224 + 1299. Let y = -108 - q. Is y composite?
True
Suppose 276 = -h - 5*h. Is (15/(-6) - -1)*h/3 prime?
True
Let w = 81 + -73. Let x(u) = 21*u**2 - 2*u - 1. Is x(w) prime?
True
Let c be 0 + 1803 + -3 - 1. Let f = -540 + c. Is f prime?
True
Let f be -24*(-2 - (-3)/12*6). Let j = 12 + -2. Suppose -f*v + 1402 = -j*v. Is v prime?
True
Let n = -47 + 37. Is (n/(-1))/(1645/(-553) + 3) composite?
True
Let y(x) = -2*x**2 - 6*x - 44. Suppose -4*g - 7 - 13 = 0. Let n(r) = 2*r**2 + 7*r + 43. Let a(u) = g*n(u) - 6*y(u). Is a(0) prime?
False
Let k(c) = c**2 - 21*c + 14. Let r(z) = -z**2 + 22*z - 13. Let p(w) = -3*k(w) - 2*r(w). Let l be p(18). Suppose -l*h + 351 + 1139 = 0. Is h prime?
False
Suppose 0*x + 2*x + h = 977, 0 = 4*h + 20. Suppose 3*m - 1370 = -x. Is m prime?
True
Let z(p) = -54*p - 13. Let v(r) = -107*r - 25. Let g(u) = -4*v(u) + 7*z(u). Is g(5) composite?
True
Suppose 31*c - 5*x - 11363 = 28*c, 2*c = 5*x + 7572. Is c composite?
True
Let c be (6/9)/((-4)/54*-3). Suppose c*y - 53 = 1588. Is y composite?
False
Suppose 3*c = -7*c + 81710. Is c a prime number?
True
Is -16179*(8 + 87/(-9)) composite?
True
Let u(n) = -n + 1. Let f be u(1). Suppose -2*a + 15 = 3*a, -5*a + 23 = 2*z. Suppose z*s - 148 = -f*s. Is s a composite number?
False
Let z(t) = 7*t**2 + 36*t - 450. Is z(41) a prime number?
False
Suppose u = -2*h + 3*u + 15330, -2*u = -3*h + 22992. Suppose -g = 5*x - 2078 - h, -5*g = x - 1924. Is x composite?
False
Suppose -30 = 23*i - 28*i. Is 4/6 + (-2)/(i/(-9109)) composite?
False
Let w(s) = 3*s**3 - 6*s**2 - 4*s - 11. Let n be w(-7). Let h = 4851 + n. Is h a composite number?
True
Suppose -3*j + 18317 = 4*y, -545 = -j + 5*y + 5548. Is j composite?
True
Let q = 800 - 1651. Let u = 1522 + q. Is u a prime number?
False
Let b(f) = -36*f - 21. Let n(i) = -38*i - 21. Let j(w) = -3*b(w) + 4*n(w). Is j(-3) a prime number?
False
Suppose 88 - 13 = o. Let j = 166 - o. Is j composite?
True
Let y(u) = u**3 - 5*u**2 + 6*u + 13. Let m be y(-9). Let r = m - -1960. Is r prime?
False
Suppose -4*j - 9 = 3, -5*v + j + 8988 = 0. Is (-8)/10*10/(-4) + v a composite number?
True
Suppose -11*k + 552809 = -79548. Is k composite?
False
Suppose -2*b = -5*d - 4, 4*b + b + 5 = 5*d. Let v = b - -8. Suppose -v*k = -366 - 439. Is k prime?
False
Let p(j) = 4*j**2 + 35*j - 1. Let z(l) be the third derivative of -l**5/10 - 53*l**4/24 + l**3/3 - 2*l**2. Let d(c) = 8*p(c) + 5*z(c). Is d(-11) a prime number?
True
Let v(w) = 1153*w**2 - 13*w + 9. Is v(3) a composite number?
True
Suppose -4*m = -2*r + m + 17, -5*m - 41 = 4*r. Let h(u) = -394*u + 9. Is h(r) prime?
False
Suppose 0*x + p = 5*x - 51, 25 = 2*x - 5*p. Let i be ((-6)/5)/((-4)/x). Suppose 4*g - i*g = -3*v + 614, 3*v - 604 = g. Is v prime?
False
Suppose 87471 = 3*s - 58722. Is s a composite number?
False
Suppose -3*i + 3*z = -11892 - 36012, z = -4*i + 63867. Is i prime?
False
Let m(l) = -10*l + 7*l - 5 + 4*l. Let d be m(7). Suppose d*n - 189 = 2365. Is n composite?
False
Suppose 0 = 5*y + g - 46900, 5*g - 8 = 17. Is y composite?
True
Let i = -3155 + 4487. Let j = i - 229. Is j a composite number?
False
Let v be (-3 - (-6 - -43))*(3 + 0). Suppose 2*d = 6*d + 836. Let n = v - d. Is n a composite number?
False
Let i be 172 + (-1)/(-5)*0. Let p = 603 - i. Is p a prime number?
True
Let p(t) = -4*t**3 + 8*t - 3. Let q(g) = 3*g**3 + g**2 - 7*g + 2. Let f = 14 + -20. Let o(c) = f*q(c) - 5*p(c). Is o(7) a composite number?
False
Is 4485 - (-2)/2*-4 prime?
True
Suppose -8*v + 24758 = 1390. Is v composite?
True
Let u = -1287 + -1189. Let j = -1685 - u. Is j prime?
False
Let l(b) = -8130*b + 101. Is l(-6) a composite number?
True
Suppose -m + 12240 = 5*j - 0*m, -3*j + 3*m + 7326 = 0. Is j a prime number?
True
Suppose -497 - 35 = -4*k. Suppose -33*b + 35*b = 0. Suppose 6*c + c - k = b. Is c composite?
False
Let q = -7941 - -23342. Is q a prime number?
True
Suppose -2*w + 3*w - 2*j = 1287, 2*w + 2*j = 2556. Suppose -6*v = -w + 447. Is v composite?
False
Suppose 3*u - 2*f + 4*f - 1497 = 0, 5*f = 5*u - 2495. Is u a prime number?
True
Suppose 4*p + 21 = 3*d, p + 0*p = 3. Suppose 7*a = d*a - 336. Let v = a - 1. Is v composite?
False
Let y be (2 - (-20)/5)*2/6. Let g(c) = 1511*c - 23. Is g(y) prime?
True
Let m = -27066 - -38399. Is m a composite number?
True
Let k = -15 - -18. Let n be -2 + k + -2 + -27. Is 2/(-7) + (-7036)/n prime?
True
Suppose -z + 3*l + 11 = z, -l - 9 = -2*z. Let v(b) be the second derivative of 25*b**3/2 + 7*b**2/2 + 8*b. Is v(z) a composite number?
False
Let l = 43 + 50. Suppose 2*c - 575 = 3*j, -c - 4*j + 386 = l. Is c a prime number?
False
Suppose 2*o + 58 = 5*n, -3*o - 70 = -5*n + 2*o. Suppose -4*y + 8 = 4*f, 2*f - 5*f - n = -y. Is -557*(-1 - -3)/f a prime number?
True
Let k(u) = u**3 + 12*u**2 - 12*u + 23. Suppose -3*h = -5*b - 72, 0 = 2*b + 4*h + 5 + 3. Is k(b) composite?
False
Let b = 17500 + 6361. Is b a prime number?
False
Suppose -41*j = -44*j + 15810. Suppose -5*z + 6540 = -j. Is z composite?
True
Suppose 3*c + 94 = -5. Let j = 55 + c. Is j a prime number?
False
Let y be (-65)/(-20) - (-3)/(-12). Suppose 2054 = y*p - p. Is p a prime number?
False
Let r be 12/(0 + 4/(-10)). Is ((-3)/r - (-10)/25)*1130 a prime number?
False
Let f(r) = r**3 - 15*r**2 + 15*r - 10. Let j be f(14). Is 232 + 3 + j + -6 composite?
False
Let c = 4888 - -1675. Is c a composite number?
False
Is 11/((-11)/(-4)) - (-222)/1 prime?
False
Suppose 8*w = 3*w - 2*j + 15, -10 = 2*j. Suppose -i + 2*m = -0*m - 155, -5*i = -w*m - 790. Is i a prime number?
False
Let z be (1 - (-3 - -386))*1. Is z*3/(0 - 3) a composite number?
True
Let p be (4/(-4))/((-1)/1) - -3. Suppose 3*f = p*y - 2017, 0*f + 1007 = 2*y - 3*f. Is y composite?
True
Suppose -5*u - 3*l = -0*u + 7, 13 = -3*u - 4*l. Is (-2335)/(2 + u + -4) prime?
False
Suppose -r = 3*r + 84. Let d(x) = x**3 + 22*x**2 + 5*x + 35. Is d(r) a composite number?
True
Suppose 5*n = 5*b + 1300, -2*b + 3*n = -7*b - 1308. Let w = b + 938. Is w a composite number?
False
Suppose -t - 4*t + 3670 = 0. Suppose 0 = -s - t + 152. Let v = s - -1051. Is v prime?
False
Suppose v = 5*v - 180. Let n = 2 + 1. Is (11/n)/(3/v) composite?
True
Let o(p) = -11*p**2 - p. Let x be o(1). Let t = -2 - x. Is t composite?
True
Let w(f) = f**3 + 8*f**2 + 8*f + 13. Let q(i) = -i**3 - 14*i**2 - 13*i + 19. Let a be q(-13). Let z = 13 - a. Is w(z) prime?
True
Let r = -4374 - -19901. Is r a composite number?
False
Suppose -2890 = -2*r + 3612. Is r a prime number?
True
Suppose 255005 = 5*n + 2*a, -5*a = -5*n + 318601 - 63596. Is n a prime number?
True
Let z be (5118/(-12) - 0)/((-1)/(-4)). Is z/(-8) + 39/52 a prime number?
False
Is 1 + (-9)/7 + 209187/21 a composite number?
True
Suppose 0 = -t - 3*t + 5*w + 1468, 2*t - 5*w - 744 = 0. Is t prime?
False
Suppose -25*f + 26*f + 20 = 0. Let t = 24 + f. Suppose 5*h = -t*m + 4607, -5*h - 2*m = -216 - 4385. Is h composite?
False
Let w(y) = 2011*y - 94. Is w(3) a prime number?
True
Is 3109080/100 + (-4)/(-20) composite?
False
Suppose -l + 756 = 5*c, -2*l - 16*c + 21*c + 1527 = 0. Is l prime?
True
Suppose -2*u + u - 9 = 0. Let r(t) = -t**2 - 10*t - 5. Let c be r(u). Suppose -2*a = -3*j + j - 104, 2*j = c*a - 210. Is a a prime number?
True
Let x(w) = -w**2 + 15*w - 24. Let h be x(13). Suppose 0 = -y - m - 4*m + 1024, -h*m + 1033 = y. Is y prime?
True
Let y be 5 + 