 p(z) = -72*z - 43. Let b(k) = 36*k + 21. Let c(m) = -13*b(m) - 6*p(m). Let x(h) = 12*h + 5. Let u(q) = -6*c(q) - 17*x(q). Is u(4) prime?
True
Let f(a) = 54*a + 58. Is f(2) prime?
False
Let v be 1053 - -9 - -2*(-1 + 0). Suppose 0 = 2*d - 6*d + v. Is d composite?
True
Let i(r) = 21*r + 401. Is i(6) a composite number?
True
Is ((-4)/(-6))/(0 - 4/(-51318)) composite?
True
Suppose 178 = 4*n - 366. Let q = n + 1423. Is q a prime number?
True
Let p = 57 + -54. Suppose -5*a - p*w = -136 - 186, 3*w + 68 = a. Is a a composite number?
True
Suppose 6*o + 87498 = 24*o. Is o prime?
True
Is 6/(-36)*-6177*(0 - -2) a composite number?
True
Is (424/(-212))/(2/(-12381)) a composite number?
True
Let r(l) = l**3 + 4*l**2. Let n be r(-4). Suppose n = -5*x + 4062 + 2073. Is x a composite number?
True
Is 1*2 - (-587 - 66) composite?
True
Suppose 4*d - p = -11, 3 + 0 = p. Let k(n) = -253*n - 5. Is k(d) composite?
True
Let h(q) = 672*q + 46. Let u(a) = 224*a + 15. Let o(p) = -4*h(p) + 11*u(p). Is o(-5) a composite number?
True
Let p(t) = 7*t**2 + 5*t - 1. Suppose 0 = 4*r - z - 19, -r - 2 = -z - 6. Suppose -r*y + 47 = -3*u, 4*u = 2*y + 6 - 36. Is p(y) a composite number?
True
Let h be 1*4*(-3366)/(-24). Suppose -d + 2*d = 5*c + h, 4*d - 4*c = 2196. Suppose 4*m - d = -214. Is m prime?
True
Let d = 186 + 2581. Is d a prime number?
True
Let b = -75 + 282. Suppose 0*t = 4*y - 3*t - 25, -t + 1 = y. Suppose -y*m + 149 = -b. Is m a prime number?
True
Let q be (12/(-10))/(2/10). Is (-2)/3 + ((-6472)/q)/4 composite?
False
Suppose 11*y - 2211743 = -42*y. Is y a prime number?
False
Suppose 2*r - 6 = 0, 0*r + 10 = -j + 2*r. Is j/26 - 73845/(-117) prime?
True
Let j(q) = -q + 16. Let b be j(0). Let h = b + -13. Suppose 0*i - h*i = -249. Is i prime?
True
Let q(s) = 298*s**2 - s + 4. Let j be (-3)/2 + (-98)/(-28). Let v(n) = -298*n**2 + n - 5. Let r(z) = j*v(z) + 3*q(z). Is r(1) a prime number?
False
Suppose -460 = -0*a + 2*a. Let k = -364 + 351. Let m = k - a. Is m composite?
True
Let l(x) = -4 + 2 - 6 - 17*x + 123*x. Let g be l(10). Is (2 + -3)/((-4)/g) prime?
True
Let j(w) = -2584*w**3 - 2*w**2 - 12*w - 19. Is j(-3) composite?
False
Suppose -4*x = -133 - 943. Is x a prime number?
True
Suppose -5*t + 4658 = 3*p, -4*t - 5*p + 2*p + 3724 = 0. Is t prime?
False
Suppose 3*l + 2 = 8. Suppose -l*f - z = -6*f + 9, 2*z - 8 = -5*f. Suppose k = -d + 5*d - 520, 2*d = f*k + 254. Is d prime?
True
Is 1638546/390 + (-2)/5 composite?
False
Let k(n) = 22*n**2 - n + 3. Suppose -o + 4 = -0*o. Let q be k(o). Let i = -202 + q. Is i a prime number?
True
Let y(b) = b**2 + b. Let w(t) = -23*t**2 + 5*t - 1. Let p(u) = -w(u) + 5*y(u). Is p(2) a composite number?
False
Let c be -45*(-2)/(-6)*-1. Suppose c = 2*v + v. Suppose 0 = -v*n - 4*r + 1289, -3*r = -n - r + 255. Is n a composite number?
False
Suppose 89168 = -45*j + 625973. Is j composite?
True
Let b(f) = 22*f**2 + 80*f - 47. Is b(28) a prime number?
True
Suppose -v = -2*b - 87, -4*b + 355 - 19 = 4*v. Let t = 1052 + v. Is t composite?
True
Suppose m + 3*m = -4*a + 328, 5*m - 3*a = 394. Is 32/m + (-1106)/(-10) a composite number?
True
Suppose 5*v - 9237 = 248. Is v a prime number?
False
Is 2/((-72942)/(-121470) + 9/(-15)) a composite number?
False
Suppose 2*m = -1 + 5. Let x = 2 + m. Suppose x*f + 335 = 9*f. Is f prime?
True
Let c(h) be the first derivative of 3*h**4/4 - h**3/3 - 3*h**2 + 11*h - 27. Is c(6) composite?
False
Let i be (0 - 1) + 4 + -13. Let s be 36/i*5/(-2). Let u = s + 44. Is u a composite number?
False
Let b = -13 - -4. Let d be (-6685)/(-15) + (-3)/b. Suppose -2*q + 5*c = -907, -2*c = -q - 7*c + d. Is q a composite number?
True
Suppose 5*v = -4*s + 7051, 2*s + 2*v = -s + 5283. Is s a composite number?
False
Let p(g) = 113*g**3 - 13*g**2 - 10*g - 11. Let a(z) = 57*z**3 - 6*z**2 - 5*z - 6. Let i(d) = -7*a(d) + 3*p(d). Is i(-4) a composite number?
False
Let b(k) = 2*k**2 + 2*k - 19. Suppose 3*x + 8*f - 4*f + 43 = 0, 0 = 3*x + f + 40. Is b(x) a prime number?
True
Let n = 2587 - 1424. Is n prime?
True
Let q(u) = 943*u + 36. Is q(7) prime?
True
Let v(i) = i**2 - 14*i + 5. Let n be v(15). Suppose 0*s + 1248 = 4*s - 5*d, 0 = -5*d - n. Is s a prime number?
True
Let k(i) = -7*i**3 + 6*i**2 - 7*i - 53. Is k(-12) prime?
False
Suppose 0 = 4*b + 5*n - 0*n + 283, 0 = -2*b - 5*n - 129. Let p be (-26 + 24)/(3*(-4)/42). Is (-11033)/b + (-2)/p composite?
True
Let v(s) = 2*s**2 - s - 24. Is v(7) a prime number?
True
Suppose -4*j + 4*o = -24, -4*j + o + 9 = -3. Suppose j*n - y = 957, 0 = 4*y - 0*y - 4. Is n composite?
False
Suppose 255 = 2*x + 3*y, 5*y + 87 = 2*x - 192. Let q = x + -79. Is q a prime number?
True
Let u be (1398/4)/(1/(-2)). Let v be (-42 + -1 - -1)*11. Let n = v - u. Is n a prime number?
False
Suppose 9*c + 0 = -0. Suppose -4*v + 1069 + 111 = c. Is v a composite number?
True
Suppose -m - 1749 = 2*m. Let g = 1740 + m. Is g composite?
True
Let i(t) = t**3 + 7*t**2 - 4*t - 14. Let k be i(-7). Let r(n) = n**3 - 10*n**2 - 19*n - 21. Is r(k) composite?
True
Suppose -t - 2*o + 2639 = 0, 11 - 3 = -2*o. Is t a composite number?
False
Is (-5 - 2079/(-12))/(5/620) composite?
True
Let f(s) = 103*s + 250. Is f(33) composite?
True
Let z(x) = 2*x - 6 - 3 - 6*x + 0 + x**2. Let i be 4*(-3 + 2/2). Is z(i) a prime number?
False
Let l = 980 - -3225. Suppose -2*o - l = -7*o. Is o a composite number?
True
Let w = -1638 + 2761. Is w a composite number?
False
Let y(z) = z**3 + 19*z**2 - 21*z - 8. Let b be y(-17). Let a = b - 538. Is a a prime number?
True
Let o = -14026 - -64227. Is o a prime number?
False
Let x(y) = 2*y**2 + 24*y + 7. Let c(z) = -z**3 - 8*z**2 - 2*z + 2. Let s be c(-8). Is x(s) composite?
False
Suppose 284685 - 57921 = 36*v. Is v a prime number?
True
Suppose 0 = -247*w + 230*w + 94163. Is w prime?
False
Suppose -2*h - 2*v = 3*h, 21 = 2*h + 5*v. Let t(w) = -10*w - 40. Let r be t(0). Is 5/h*2544/r a prime number?
False
Let n(d) = 631*d**2 + 6*d - 5. Is n(2) a prime number?
True
Let f be 5/15 + ((-19)/3 - -2). Is (-3)/(1865/467 + f) prime?
True
Suppose u = a - 5730, 3 - 1 = 2*u. Is a a prime number?
False
Let s = -2751 + 17604. Is s composite?
True
Suppose -19 = 4*x + 1, 0 = 4*t - 2*x - 22. Let y be (-20)/15*-1*t. Suppose -5*r = -3*b + 392, 2*r - 511 = -y*b - 3*r. Is b prime?
False
Let a(s) = s**3 - 10*s**2 + 9*s + 4. Let b = -9 + 18. Let z be a(b). Suppose 73 = z*m - c, -5*m - 5*c = -43 - 67. Is m a composite number?
False
Is (12/20)/((-48720)/48725 - -1) prime?
False
Suppose 0 = 9*j + 5476 + 1337. Let q = 1406 + j. Is q a prime number?
False
Suppose 52*y = 42*y + 20. Suppose 108 = -r + 311. Suppose -3*o = -y*o - r. Is o prime?
False
Let f be (17/(-17))/(2/(-14)). Suppose -f*g + 251 = -6*g. Is g composite?
False
Suppose -14*c + 10*c = -20. Suppose -828 + 98 = -c*v. Suppose -n + 25 = -2*z - 12, v = 3*n + z. Is n composite?
False
Suppose -1897 = -5*r + 4*g, -4*r + 1499 = 3*g - 0*g. Let x = r - -62. Is x composite?
False
Suppose 0 = 24*a - 7*a - 67813. Is a a composite number?
False
Let r(n) = 15*n + 614. Is r(55) a prime number?
True
Let a(c) = 2*c**3 - 17*c**2 + 22*c - 104. Is a(17) a prime number?
False
Let j be -1*20/4*-23. Let v = 200 - j. Is v a composite number?
True
Let j = -82750 - -121457. Is j composite?
False
Suppose 4*d = -3*d + 2989. Is d prime?
False
Is (-7 + 1325/(-30))*-6 a prime number?
True
Suppose -11*q + 15*q = -120. Let m be 3*(-6)/(q/1475). Suppose -v + 4*v = m. Is v a prime number?
False
Let x be (-19)/(0 - (0 + -1)). Let k = 2 - x. Is (k/(-14))/(1/(-6)) a composite number?
True
Let n be -4 + 1 + 2 - 1. Let h be 7698/11 + n/(-11). Suppose -2*s = 4*c - 582, 5*c - 3*s + 0*s = h. Is c a composite number?
True
Suppose -3*n + 1494 = 12. Let h = 717 - n. Is h a prime number?
True
Suppose -2*f = -5*x + 2*x - 9, 5*f - 5*x - 20 = 0. Let s(u) = 131*u - 4. Is s(f) a composite number?
False
Let b(g) be the second derivative of g**5/20 + 5*g**4/12 - g**3/6 - g**2 - 6*g - 8. Suppose -9 = 4*z + 11. Is b(z) a prime number?
True
Suppose 0 = -3*r - 15, 5*r + 25 = 2*v + v. Suppose -4*l - 11*l + 238665 = v. Is l composite?
True
Suppose 5*y - 15739 = -g - 5581, 0 = -3*g - 3*y + 30414. Is g a prime number?
True
Is (3 - 4)/((-7)/113519) a composite number?
False
Suppose -4*v + 23372 = -5*c, 0*v - 3*v + 9 = 0. Let d be c/(-48) + (-1)/3. Suppose 5*n