 -p*z - 6 = -3*z. Is (834/(-9))/(z/9) a prime number?
True
Let n(v) = -517*v**3 + v**2 - 9*v - 9. Let f(y) = 258*y**3 - y**2 + 4*y + 5. Let h(g) = 7*f(g) + 4*n(g). Is h(-2) a prime number?
True
Let r(b) = 12*b**2 + b + 11. Let h(z) = 23*z**2 + z + 21. Let f(o) = 6*h(o) - 11*r(o). Is f(6) composite?
False
Let y(i) = -i + 20. Let m be y(6). Suppose m*r - 6*r - 4328 = 0. Is r composite?
False
Let a(w) = 2 - 4 + 475*w + 5 - 2. Let p(u) = -476*u - 2. Let g(m) = 3*a(m) + 4*p(m). Is g(-2) composite?
False
Let a = 55 - 50. Suppose -2*w + 578 = -4*u + 56, 1287 = a*w - u. Is w a composite number?
False
Suppose 0 = 72*r - 73*r + 5. Suppose -3*n = r*a - 1258, -n - 501 = -a - a. Is a composite?
False
Suppose -2*r + 5*l = -4817, 3*r + 9647 = 7*r + 3*l. Is r a prime number?
True
Suppose -1173668 - 8352163 = -51*a. Is a composite?
True
Let d be (-3)/15 + (-141104)/(-20). Suppose 184*m = 179*m + d. Is m a composite number?
True
Let a = -41836 - -70649. Is a a prime number?
True
Let b(g) = -113*g**2 + 15*g - 2. Let u(y) = -38*y**2 + 5*y - 1. Let c(w) = -4*b(w) + 11*u(w). Is c(4) composite?
False
Suppose -32 = -3*y + j + 25, -3*j = 9. Let n = 20 - y. Suppose -4*w = n*l - 306, -3*w + 0*l = -l - 242. Is w composite?
False
Let z(i) = -18254*i + 1. Let d be z(-2). Let b be d/22 - (-1)/(-2). Is (-4)/6*b/(-14) a composite number?
False
Let p(g) be the third derivative of 3*g**2 + 3/10*g**5 + 7/6*g**3 + 0*g - 1/12*g**4 + 0. Is p(4) a prime number?
False
Is (1 - -736) + 36/(-6) composite?
True
Let c(r) = -r - 4. Let x be c(-13). Let f = 12 - x. Suppose 3*a - 4*j = 459, 3*a - 2*a - 166 = -f*j. Is a composite?
False
Suppose 0 = -0*n + 7*n - 4319. Suppose 578 = 5*a - n. Is a a composite number?
False
Let c(y) = -894*y - 155. Is c(-14) composite?
True
Let y(t) = -5*t**3 + 13*t**2 + 4*t - 1. Let p(g) = 4*g**3 - 12*g**2 - 5*g + 2. Let o(s) = -4*p(s) - 3*y(s). Is o(-6) a composite number?
False
Let d(o) = 1 + 799*o**2 + 5 + 3*o + 1 - 6. Is d(-1) a composite number?
False
Is (11*2304 + -2 - 1) + -2 a prime number?
True
Suppose 4*d + 160 = 12*d. Suppose 3*u = 901 + d. Is u a prime number?
True
Suppose -p - 2*p + 28211 = -4*q, 2*q = 3*p - 28201. Is p prime?
True
Suppose -5*y = 4*i - 3*y - 14, -3*i = -4*y - 27. Suppose i*p + d = 3756, 4*d = 1 + 3. Is p a composite number?
False
Let x(y) be the second derivative of y**4/3 - 5*y**3/3 + 9*y**2/2 + 7*y. Let t be x(6). Is (10/(-6) + 2)*t prime?
True
Suppose 5*o - 58377 = 24*a - 28*a, -2*o + 23358 = -2*a. Is o composite?
False
Let t(k) = 4*k + 3 - k**3 + 7*k**2 + 9*k - 5*k. Let j be t(8). Suppose 0*r - 226 = -r - j*q, 0 = -4*r + 4*q + 856. Is r a composite number?
True
Let q(j) = j**2 - 15*j - 14. Let r be q(16). Suppose -35 = r*l + 21. Is (-21)/l + 219/12 a prime number?
True
Let m(g) = 25*g**3 - g + 7. Is m(3) a composite number?
True
Suppose 64*r = 60*r - 12. Let a(z) = -101*z + 4. Is a(r) composite?
False
Suppose 0*y = -2*f + y + 5402, 10806 = 4*f - 3*y. Suppose 0 = -3*x - 3*v + 2676, 0*x + 3*x = 5*v + f. Is x a prime number?
False
Let y(l) = -l. Let n(v) = 4*v + 18. Let m(w) = n(w) + 2*y(w). Let t be m(-5). Is (-2)/t + (-2652)/(-48) a prime number?
False
Suppose 4*n + 712 = 4*v, -5*n + 184 = 6*v - 5*v. Let m = 65 - v. Let d = m - -203. Is d prime?
True
Is 4/((-52)/39) - -1*78748 a composite number?
True
Let r(s) = -s**3 + 4*s**2 - 6*s + 6. Let l be r(3). Let n be l/(-5) + (-2646)/(-15). Let t = n + -103. Is t a composite number?
True
Suppose 22 = 2*v - 0*i - 2*i, -5*i = 4*v - 80. Suppose -5*t - 988 = -5*b + 92, 0 = 5*t - v. Is b composite?
True
Let n(p) = 29 + 8*p - 2*p - 56*p. Is n(-19) a prime number?
False
Let l(c) = -38*c + 5. Let o = -15 - -27. Suppose 6*z - 2*z = -o. Is l(z) composite?
True
Suppose 5*o = 4*o + 1649. Let x be (-18)/(-63) + (-12)/(-7). Suppose 5*n - 1647 = -0*b + b, 0 = -5*n + x*b + o. Is n a composite number?
True
Suppose 0 = -220*i + 215*i + 104245. Is i a composite number?
False
Suppose -6*q = -3559 + 1027. Is q a composite number?
True
Suppose 0 = -3*t - y + 13, 3*t + 9 - 34 = 5*y. Suppose 12*d - 12 - 12 = 0. Suppose -t*g = m - 930, -d*m = 4*g + 3*m - 723. Is g a composite number?
True
Let d = -341 - -2157. Let w be (-16)/(-24) + d/3. Suppose 5*x - 2329 = w. Is x a prime number?
True
Suppose 171 = -8*y - 85. Let p = 37 - y. Is p a composite number?
True
Let s = 5 + -4. Suppose t - s = -27. Let p = t - -119. Is p composite?
True
Let u(m) = 3*m**3 + 2*m**2 + 11*m - 5110. Let f(t) = t**3 + t**2 + 4*t - 1703. Let y(k) = 8*f(k) - 3*u(k). Is y(0) composite?
True
Suppose -2 = -6*h + 16. Suppose 4*c = -2*b + 5588, -855 + 5044 = h*c + 2*b. Is c a composite number?
False
Let g(q) = -104*q - 131. Is g(-21) composite?
False
Let q be (1 - 7/(-1)) + -32 + 29. Suppose 0 = 2*u + 5*o - 3314, -3074 = -q*u - 2*o + 5211. Is u prime?
True
Suppose -90189 = -4*m - 5*p, -m - 2*m - 5*p + 67648 = 0. Suppose 0 = 6*i - m + 4907. Is i a composite number?
False
Suppose 2*x + 72 = 2*b - 6*b, -5*b - 2*x - 92 = 0. Let v = b + 23. Is 1 + (-2 - v) - -417 a prime number?
False
Suppose j - 1470 = k, -5*j = -4*k - 5000 - 2353. Is j a composite number?
True
Let t = 216 + -158. Is t a composite number?
True
Let w(r) = 174*r + 4. Let x = 68 - 67. Is w(x) a prime number?
False
Let j(d) = 2*d - 3. Let c be j(3). Suppose -c*v + 2*z = -12, 0*v = -4*v - 4*z - 4. Suppose 221 = q + 2*r, 2*q - 412 = v*r - 0*r. Is q a composite number?
False
Let b(o) = -32*o**3 + 5*o**2 + 27*o + 69. Is b(-7) composite?
True
Let c = 63 - 51. Suppose -c*y + 2512 = -4*y. Is y a composite number?
True
Suppose -t = -3*k + 2762, -k + 926 = -0*k + t. Let f = 563 + -290. Suppose 0 = -5*p + f + k. Is p composite?
False
Let d(g) = g**3 + 68*g**2 + 68*g - 262. Is d(-57) a prime number?
True
Let p = 29788 - 20989. Suppose -7*a - p = -14*a. Is a a prime number?
False
Let s be 6/21 + (-19343)/7. Is (-4)/6*s/6 prime?
True
Let l = 267 + 9794. Is l composite?
False
Suppose -3*v - 2*v + 25 = 0. Suppose 2*l = v*i + l - 18, 0 = -5*l + 10. Suppose 0 = -r + 4*a - 0*a + 402, 1668 = 4*r - i*a. Is r prime?
False
Suppose d - 6 + 4 = 0. Suppose -5*m + 9*m = a + 20, 2*m - 2*a - 10 = 0. Suppose -m*j + d*b = -205, 5*j + 0*j + 4*b - 175 = 0. Is j prime?
False
Let f(z) = 60*z**3 - 4*z**2 + 3*z - 3. Let x(h) = -h**3 - 3*h**2 + 4*h + 2. Let i be x(-4). Is f(i) prime?
True
Let k = 16753 - 894. Is k prime?
True
Suppose 3*p = -5*k + 12 - 0, -14 = -3*k + 5*p. Suppose k*n - 2084 = -n. Is n prime?
True
Let m be ((-9208)/(-6))/((-2)/(-3)). Suppose v - m = -v. Is v a prime number?
True
Suppose -5392 = 158*j - 174*j. Is j a composite number?
False
Suppose 5*k + 2 = 3*m + 4*k, 4*m - 2*k = 0. Suppose -q = m*q - 162. Let n = 245 - q. Is n composite?
False
Let m = 39 - 38. Is (588 + -6 - m)*(-1 - -2) a composite number?
True
Let w = 9012 + -5423. Is w a prime number?
False
Suppose 13*n - 1309 = -4*x + 16*n, 5*x = -n + 1660. Is x a prime number?
True
Suppose 3*l - 188 = -l. Let h = l + -24. Let x = h - 16. Is x a prime number?
True
Suppose -2*n = -5*n + 6. Suppose -5*h + 9 = -h - l, -5*h + 12 = -n*l. Let g(s) = 98*s - 5. Is g(h) prime?
True
Let z be 257/7 - (-2)/7. Let k = z + 1. Let d = -3 + k. Is d a composite number?
True
Is 211*2*5/10 composite?
False
Is 70614/12*70/15 composite?
True
Let m(h) = 0 + 0*h**2 + 9 - 2*h**2 + 8 + h. Let p(g) = -g**2 + g + 9. Let i(b) = -3*m(b) + 5*p(b). Is i(-5) composite?
True
Let a(n) = 5*n**3 + 10*n - 6*n + 4*n**2 + 6*n + 4 + 1. Let c(z) = 4*z**3 + 4*z**2 + 10*z + 5. Let s(h) = -6*a(h) + 7*c(h). Is s(-6) composite?
False
Let y = -262638 - -457207. Is y a composite number?
False
Suppose 4*o - 11 = 5. Suppose 5*y - 4*r - 675 = 0, 8*r = o*y + 5*r - 539. Suppose 0 = -5*b + 794 + y. Is b a prime number?
False
Is (9 - 0)/(-9)*-15859 prime?
True
Suppose 4*u = -5*i + 75763, 2*u + 5*i = -4267 + 42136. Is u a composite number?
False
Let z = 96 + -93. Suppose 5*y - 3*n = 1880, -y + z*y = 5*n + 771. Is y a prime number?
True
Let g be (-4)/(-10) + 7160/100. Let y = g - -715. Is y prime?
True
Suppose 6 + 6 = -4*p + 3*o, 2*p = -o + 4. Suppose p = -6*a + 5239 - 529. Is a a prime number?
False
Suppose 0 = 3*o - 3981 - 3846. Is o a composite number?
False
Let v(b) = -355*b**3 + 3*b**2 - 2*b. Let l(j) = j**3 + 2*j**2 - 3*j + 1. Let y be l(-3). Let m be v(y). Let d = m + 647. Is d a prime number?
Tr