+ 5*h = z + 361. Is h a prime number?
True
Let w = 0 - -2. Suppose w*y - 23 = 19. Is y prime?
False
Suppose 0 = -u + 3*u - 244. Suppose 2*z = u + 290. Is z prime?
False
Let o be (-4)/12 - 214/6. Let f be (4/(-6))/(8/o). Suppose -v + 142 = 3*j - 0*j, 0 = -f*j + 5*v + 118. Is j composite?
True
Let k = -7 - -6. Let r(h) = -32*h**3 - 2*h**2 - h. Is r(k) prime?
True
Let q(h) = -h**2 - h - 3. Let a be q(-3). Let g(y) = y**2 + 7*y + 1. Is g(a) composite?
False
Suppose 84 = 5*y - y. Suppose -r + 30 = -y. Is r + -2 - (1 + 1) a composite number?
False
Let l(h) = 7*h + 1. Is l(8) a composite number?
True
Let t be (-33)/55 + 863/5. Suppose 2*r = -x + 3*x - t, -340 = -4*x + 3*r. Is x a composite number?
True
Let u(n) = -n + 9. Let h be u(9). Let j be -2*(-80 + h) - 1. Suppose 0 = -2*i + v + 106, -i - 3*v + j = 2*i. Is i composite?
False
Let b(s) = 23*s - 3. Suppose -2*v + 8 = 2*v. Is b(v) prime?
True
Let g = -557 - -946. Is g composite?
False
Let o(g) = -507*g - 46. Is o(-11) a prime number?
True
Let l be (-36)/(-2) + (7 - 6). Suppose 0 = 21*d - l*d - 268. Is d a prime number?
False
Suppose y - 2 = -5*o, -13 = -2*o + o + 4*y. Let d = 2 + o. Let t = 12 + d. Is t a composite number?
True
Suppose -y + 4*y = -3. Let w be 46*8 + y/1. Suppose 2*q + w = 5*s + 106, 2*s - 3*q = 100. Is s prime?
True
Suppose -4*g - 1 = 3. Let r be (2 - g) + 2/2. Suppose -5*b = 3*f - 128, r*f - 3*f - 1 = 0. Is b a composite number?
True
Let i(z) = 50*z**2 - z. Is i(1) a composite number?
True
Suppose 4*m - 6385 + 2213 = 0. Is m a prime number?
False
Let l(a) = 20*a**2 + 5*a + 28. Is l(9) composite?
False
Let j(b) = b + 2 + 0*b**2 - 2 + 1 + 3*b**2. Is j(6) prime?
False
Let l(v) = 14*v - 1. Let y be l(4). Let j = 58 + y. Suppose -5*z + j = -t, -5*z + 111 = 2*t - 4*t. Is z composite?
False
Suppose 0 = -5*p + p + 8. Suppose -37 = -r - 3*f, -r = -6*r + p*f + 168. Is r a prime number?
False
Let f(z) = 185*z + 2. Is f(3) prime?
True
Let d = 4 + -4. Suppose d = -2*q + q + 9. Is -6*(q/(-2) - -1) prime?
False
Is -1 + (3 - 1*-466 - -1) a composite number?
True
Let u be (-6)/(-2 - 0) + 10. Let i = u + 74. Is i a prime number?
False
Let o = -126 + 316. Suppose 0 = -t + o + 157. Is t composite?
False
Suppose -106 = -4*l + 18. Is l composite?
False
Suppose 3*u = 2*u + 4. Suppose 0*b - 600 = -u*b. Suppose 3*v + 33 = b. Is v a prime number?
False
Suppose 5*g - 18 = n + 3*g, -3*n - 2*g = 14. Suppose 5*z - 64 = -4*j, 37 = 3*j + 5*z - 6. Let v = n + j. Is v prime?
True
Suppose 7*w - 777 = 4*w. Is w a prime number?
False
Suppose q - 3 = -2. Suppose -f + 4 = q. Suppose 2*s + 5*g + 189 = 3*s, f*s + 4*g = 529. Is s prime?
True
Suppose 2*v - 4 = -0*v. Suppose 1 = v*s - 27. Is s a prime number?
False
Suppose 0*w - 2*c - 4 = 2*w, 2*w + 2 = -4*c. Is w/((-27)/93)*3 prime?
True
Suppose 5*k - 5*p - 75 = 0, -3*k + 0*p + 44 = -4*p. Let o(d) = d**2 + 2*d + 5. Is o(k) a prime number?
True
Let z be 2/(-8) - 345/(-4). Is z - (1 - (-2 + 0)) a prime number?
True
Let g be ((-4)/2)/2 + 1. Let r be 3*(-1)/(-3)*0. Suppose g = -r*x + 5*x - 385. Is x composite?
True
Let h be ((-61)/(-2))/((-1)/(-2)). Suppose 0 = -3*y - 2*y + 480. Let p = y - h. Is p a prime number?
False
Suppose 7*m - 1091 = 5286. Is m composite?
False
Let l be 2/3 - 37/(-3). Suppose 3*p - 4*v = -2*v - 9, p = v - 3. Let g = l + p. Is g prime?
False
Let m = 0 + 3. Let u = 2 + m. Let w(r) = -r**3 + 7*r**2 - 4*r + 5. Is w(u) a composite number?
True
Let n = 177 + 34. Is n a prime number?
True
Let i(o) = 3*o**2 + 17*o + 37. Is i(-12) a composite number?
True
Is 1 - -411 - (-3 - -2) prime?
False
Let x = -1054 + 1941. Is x a composite number?
False
Is (-1749)/2*10/(-45)*3 composite?
True
Suppose 3*d + 10 = -2. Let c = d - -25. Is c a composite number?
True
Suppose -2*b + 6*b - 2536 = 0. Let h = b + -341. Is h composite?
False
Let m be 1/4 - (-33)/12. Is (-2)/m - (-644)/12 a composite number?
False
Let v = -508 - -1010. Is v composite?
True
Let q be 3765/20 + (-1)/4. Suppose -3*n - q + 35 = -5*t, -4*t + n + 128 = 0. Is t a composite number?
True
Suppose 3*d - 13 = 5*n + 1, 2*d - 5*n = 1. Suppose r + 0*r - d = 0. Is r prime?
True
Let d = 7 - 13. Let g be (1 + -1)/(d + 5). Is (-257)/(g + 3/(-3)) prime?
True
Suppose -4*z - 3*p + 15 = 0, p - 6 = -5*z + 10. Suppose -2 = -h + 4*y, z*y - 6 = -3*h - 2*y. Suppose -h*a + 3*c = -185, 3*c - 269 = -3*a - c. Is a composite?
True
Suppose -t - 2 = -2*t. Suppose -68 = -4*f - 4*p + 136, p = t*f - 96. Is f prime?
False
Let c(b) = -b**3 - 5*b**2 + 5*b - 4. Let f be c(-6). Let y be ((-6)/(-2))/(f/2). Suppose y*o = 10 + 161. Is o a prime number?
False
Let h(o) = 2 - 3*o + 3*o + 4*o**2 - 4*o - o**3. Let m be h(4). Let i = 21 + m. Is i composite?
False
Let o(p) = -69*p + 53. Is o(-10) a composite number?
False
Let d(m) = 167*m + 25. Is d(8) composite?
False
Suppose -3*z + 4*z - 228 = 0. Let h = z + 5. Is h composite?
False
Suppose 4*m - m = 477. Suppose -2*l = l - 6. Suppose l*y + 53 = m. Is y composite?
False
Let c(i) = 24*i - 1. Let k be (4 - 1)*(-2)/3. Let a = k - -3. Is c(a) a prime number?
True
Is (6/(-15))/(4/(-8980)) composite?
True
Let l be 3/((-12)/(-634))*6. Let q = 1452 - l. Is q composite?
True
Suppose -2*o + 628 = 2*s, -5*s - 646 = -2*o - s. Is o prime?
True
Suppose i + w + 11 = 2, 0 = -5*i + 3*w - 5. Let h be (804/(-8))/(6/(-32)). Is (1/(-2))/(i/h) composite?
False
Let p(a) = 12*a - 4. Let x be p(2). Let y = 7 - 5. Let w = y + x. Is w prime?
False
Let c(g) = 9*g**2 - 30*g + 37. Is c(-12) prime?
True
Let t(h) = 2*h**2 - 8*h + 7. Let u be t(5). Let w = 33 - u. Let x = w - -7. Is x a composite number?
False
Let m(f) = f**3 - 3*f**2 - 3*f + 2. Suppose h = 5*k - 4, 3*h - 3*k - 2 = -2*k. Let g = 4 + h. Is m(g) a composite number?
False
Suppose -g = 5, -2*o + 883 = 3*g - 2*g. Let h = 17 - 12. Suppose -h*j - 49 = -o. Is j a composite number?
False
Suppose 2*k = q - 3*q + 84, 12 = -4*k. Is 2*q/24*4 a composite number?
True
Let q(m) be the second derivative of m**5/20 + m**4/2 + m**3/3 + 7*m**2/2 - m. Suppose 0 = -5*h + 2*h - 15. Is q(h) a prime number?
False
Let g(f) = -3*f**3 - 5*f**2 - 3*f. Let c be g(-3). Suppose -4*l = -2*h - 1 + c, -4*h - l + 70 = 0. Let u = h - 5. Is u prime?
True
Suppose -22 - 18 = -4*p. Is p prime?
False
Is 16/88 - 7894/(-22) prime?
True
Let x = 5 + -2. Suppose 0 = x*o + 5*c - 30, -3*o = 2*c - 7*c. Let y = o - 2. Is y composite?
False
Suppose 0 = 5*h - 0*h. Let c = -2 + h. Let t = c - -17. Is t a composite number?
True
Suppose -6*a + 12 = -2*a - 3*c, -c = -4*a + 12. Suppose -98 - 73 = -a*s. Is s prime?
False
Let y(g) = 32*g + 12. Let k(d) = 11*d + 4. Let x(n) = -17*k(n) + 6*y(n). Let j be x(4). Suppose -2*c = -50 - j. Is c composite?
False
Let i be 492/9 + 4/12. Let u = 48 + i. Is u prime?
True
Let c = 5 - 5. Let o(u) = u + 2. Let z be o(c). Suppose 0*a + 80 = 2*n + 2*a, -2*n = -z*a - 60. Is n prime?
False
Let s be (-6)/10 - 43/(-5). Let p(q) = q**3 - 7*q**2 - 9*q - 2. Let u be p(s). Is 3 - u*(2 + -1) a prime number?
True
Let d(o) = -o**3 + 9*o**2 - 1. Suppose -4*t + 2*t + 18 = 0. Let g be d(t). Is ((-2 - -1)*163)/g a composite number?
False
Let k(t) = -5*t - 7. Let h be k(-7). Suppose 5*q + 2 + h = 0. Let v(p) = 2*p**2 + 4*p - 1. Is v(q) a prime number?
True
Let a(i) = -i + 2. Let u be ((-2)/(-3))/((-2)/(-12)). Let k be a(u). Let z(m) = -19*m**3 - 2*m**2 - 2*m - 3. Is z(k) composite?
True
Suppose -1 + 1030 = 3*j. Suppose -3*q + 1102 - j = 0. Is q prime?
False
Let f(q) be the first derivative of -q**2 + 5*q + 2. Let o be f(4). Is ((-6)/o)/(-2) + 24 a composite number?
False
Let t(k) = k**3 + 9*k**2 - k - 7. Let h be t(-9). Suppose 5*j - 3 - h = 0. Let b(c) = 54*c**3 + c**2 - c + 1. Is b(j) composite?
True
Let r(l) = -38*l**2 + 6*l - 5. Let o(k) = 38*k**2 - 5*k + 4. Let h(a) = 5*o(a) + 4*r(a). Is h(1) a prime number?
True
Let q(d) = -d - 17. Let l be q(-16). Let f(o) = -232*o**3 - o**2 - o + 1. Is f(l) composite?
False
Suppose -5*m = -2*m - 3804. Suppose s - 5*s = -m. Is s a composite number?
False
Suppose 4*c + 12 = b - 3*b, -2*b + 5*c = -24. Suppose -b*q + 44 = 2*j, 4*q - 3*q - 22 = 2*j. Is q a prime number?
False
Suppose 5*z - 2*y - 405 = 0, -2*z + 4*y + 146 = -0*z. Is z a composite number?
False
Suppose -5*a = -8 - 112. Suppose -4*u - a = -8, 0 = -w + 5*u + 223. Let g = w + -70. Is g composite?
True
Let 