*p. Suppose 5*h + 5*r + i + 6 = 0, -5*h + 3*r = -20. Suppose -4*j = -3*j - h, -9 = -5*d + j. Is d a composite number?
False
Let j be 0/(-1 + 0) - -3. Suppose -2*h = -3*h + j. Is -1 - h*40/(-6) prime?
True
Let t = -3 - -5. Suppose t*h + 2*h - 316 = 0. Is h prime?
True
Suppose 2*s + 2213 = 5*s - x, 1464 = 2*s + 5*x. Is s composite?
True
Let m(s) = -27*s + 3. Suppose -y - 3*y + 4*n - 16 = 0, -4*n - 16 = 0. Is m(y) a prime number?
False
Let n(a) = -26*a + 12. Let j be n(8). Let c = 16 - j. Is 6/4*c/6 a prime number?
True
Suppose -5*v = 3*i - 1735 - 232, 0 = -5*v + i + 1951. Is v a prime number?
False
Suppose -o + 86 + 33 = 0. Is o a prime number?
False
Let c(z) = 3*z + 2. Let a be c(4). Let h be 24/(-14) - 4/a. Is h + 5 - -1*82 a prime number?
False
Suppose -5*j = -6*j. Suppose -y + j*h + 157 = -4*h, -4*y + 604 = -4*h. Is y a prime number?
True
Let y(c) = 11*c**2 + 4*c - 3. Is y(-4) a prime number?
True
Let j(y) = -y + 4. Let i be j(4). Suppose 3*p + 4*b - 42 - 7 = 0, i = 4*p - 2*b - 102. Is p composite?
False
Suppose 0 = -5*z - h - 693, -2*h = -2*z - 2*z - 546. Is (12/(-8))/3*z prime?
False
Suppose 8*q = 3*q + 105. Is q prime?
False
Let d(s) = s + 8. Let v be d(-7). Let n be v/(-3) - (-8)/24. Suppose -3*h = q + 60 - 346, n = 2*h - q - 199. Is h a prime number?
True
Let b be (6/8)/((-6)/(-16)). Suppose 3*y + 2*i - 8 = 0, 0*i = b*i - 8. Is 3 - (0 + -16 + y) composite?
False
Let v(w) = w**2 - 8*w - 6. Let z be v(9). Suppose -5*p + 114 = -z*p. Is p prime?
False
Let a(r) = r**3 - 2*r**2 + r + 1. Let f be a(2). Let n = f + 4. Is n a prime number?
True
Let w be -4 + 0 + 0 + 2. Let p = 0 - w. Is (129/6 + 0)*p a prime number?
True
Suppose 20 = 5*k, 0 = -6*g + 4*g + k. Suppose -a = w - 4*w - 44, g*w = -4*a + 218. Is a a composite number?
False
Let x(w) = w**2. Let f(o) = 3*o + 4. Let u(h) = 7*h + 9. Let v(p) = -9*f(p) + 4*u(p). Let y be v(-2). Is x(y) prime?
False
Suppose 871 = 2*a + 45. Is a a composite number?
True
Let y = -464 + 125. Is 2/5 + y/(-15) a prime number?
True
Let z(v) = v**3 + 4*v**2 + 3*v. Let i be z(-3). Suppose j - 85 = -i*j. Is j a prime number?
False
Let l(p) = -4*p**2 - 18*p + 19. Let v(i) = i**2 + 6*i - 6. Let c(h) = -2*l(h) - 7*v(h). Let y be c(6). Suppose 0*q + 124 = y*q. Is q prime?
True
Let w(o) = -7*o - 4. Suppose 0 = -2*f - 9 - 1. Is w(f) a composite number?
False
Suppose -4*r + 12 = -24. Let m = 13 - r. Suppose -2*d = 4*n - 154, m*n - 5*d = 164 - 31. Is n a prime number?
True
Let s(b) = 78*b + 1. Suppose 10 = -2*a + 7*a. Is s(a) prime?
True
Let v(c) = c**2 + 5*c - 3. Suppose -3*b + 24 = d - 2*b, 93 = 5*d - 4*b. Suppose t + 2*t = -d. Is v(t) prime?
True
Suppose -538 = -2*v - 0. Is v prime?
True
Let o = 7 - 16. Is 3/o*(-206 + -1) a composite number?
True
Suppose -4*y - 5*p + 468 + 24 = 0, 20 = 5*p. Is y prime?
False
Let j = 15 + -5. Let z(m) = 4*m**3 - m**2 + 1. Let p be z(-1). Let v = j + p. Is v a prime number?
False
Suppose -4*l = -8*l + 2524. Is l prime?
True
Suppose 13 = 5*q + p - 13, -p + 2 = q. Suppose -3*l = -6*l + q. Suppose 3*x = l*o - 122 - 66, -4*o + 2*x = -384. Is o prime?
True
Let s(x) = 14*x**3 - x**2 + 2*x - 1. Let t be s(-2). Let b = t - -174. Is b a prime number?
True
Let h = 162 + -103. Suppose i + 0*i = h. Is i a composite number?
False
Suppose -202 = -2*s + 52. Is s prime?
True
Let i(f) = -f**3 - f**2 - 3*f - 3. Let l be i(-2). Let k be (-2)/l + (-37)/(-7). Suppose k*x - 512 = -4*o + 103, o = 5. Is x composite?
True
Suppose -h + 3*h = 5*p - 12, 4*h - 2 = -3*p. Suppose -6*y = -2*i - 2*y - 12, p*i + 3*y - 16 = 0. Is (-417)/(-9) + i/3 prime?
True
Let c(u) = -u**3 - u**2 + 211. Let m be c(0). Let k = m + -120. Is k a prime number?
False
Suppose 0 = -0*r + 2*r - 5*b - 6, -r = -2*b - 3. Suppose -n - 2 = -0*n, -r*q - n = -136. Suppose z - q = 9. Is z a prime number?
False
Is ((-1910)/(-4))/((-5)/(-10)) a composite number?
True
Let d(q) = 285*q - 3. Let v be d(3). Suppose 3*x + 4*l - v = -125, -x = -5*l - 217. Let i = x + -119. Is i a prime number?
False
Suppose -y = 4*h - 1317 - 538, y = -2*h + 929. Is h a prime number?
True
Let s be (-12)/(-9)*(1 + -4). Let x(p) = -p - 2. Let v be x(s). Suppose -133 = v*r - 3*r. Is r prime?
False
Let m(q) = 2*q**3 + q + 2. Let b be m(-2). Let u = -10 - b. Is (-148)/(-6)*u/4 prime?
True
Suppose 6*h - 502 = 620. Is h prime?
False
Let c(h) = h**2 + 3*h + 11. Is c(0) composite?
False
Suppose -24 = -v - 4*w + 95, -v + 2*w = -131. Is v composite?
False
Let y(l) = l**2 + 1. Suppose 2*s = 10, -7 + 22 = 4*u + 3*s. Suppose h + 9 = 2*z, 4*z + 1 - 21 = u. Is y(h) a composite number?
False
Suppose -5*n = -3*n + 306. Let t = 296 - n. Is t composite?
False
Let y = 1 - 3. Let u be (y/5)/((-2)/(-10)). Is (-3)/(-1*u/(-22)) a composite number?
True
Let w(s) = s**3 - 3*s**2 - 5*s + 4. Let u be w(4). Suppose u = 8*j - 3*j - 175. Is j composite?
True
Suppose -2*v + 3*f = -109 - 212, -4*v + 641 = -5*f. Is v a prime number?
False
Let t(j) be the first derivative of -23*j**2 + 5*j - 2. Is t(-5) a prime number?
False
Suppose z = 5*z + 2732. Is (-2)/2*4 - z composite?
True
Let u = -2433 - -5194. Is u a prime number?
False
Let a(k) = -2*k - 1. Let r be a(-6). Let p = 11 + r. Is p a prime number?
False
Suppose 0*o + 4*o + 24 = p, -1 = p + o. Suppose 0 = 2*v - 185 - 127. Suppose -3*f = 5*z - 398, p*z - 6*z = -2*f - v. Is z a prime number?
True
Let q(i) = i - 8. Let z be q(6). Let s be 16/(-2)*11/z. Suppose -s = -3*m - 2. Is m prime?
False
Let f(c) be the third derivative of -c**4/3 + 11*c**3/6 - 3*c**2. Is f(-13) a composite number?
True
Suppose 2 = u - 0. Suppose u*c - j - 10 = c, 0 = -3*c + j + 22. Let k = 21 - c. Is k a prime number?
False
Let u = -6 + 5. Is -1*(-8 - (u + 2)) prime?
False
Suppose 14*a - 7893 = 5*a. Is a composite?
False
Suppose 2*o - 12 = -o. Suppose 6 = -7*a + o*a, 3*c - a - 449 = 0. Is c a composite number?
False
Let i = 983 + -144. Is i a prime number?
True
Let q = -242 + 403. Is q a prime number?
False
Let l(s) = -s**3 - 5*s**2 - 3*s - 12. Is l(-9) a prime number?
False
Suppose 4*w = 3*q - 771, 500 = q + q + 2*w. Let l = q - 100. Suppose -6*r + 3*r + 2*f + l = 0, r = -f + 56. Is r composite?
False
Let f(s) = s + 7. Let x be -2*(4 - 2) - 1. Let p be f(x). Suppose -p*r = -28 + 2. Is r a composite number?
False
Let j be 4/(0 + 2) - 1. Let s = 1 - j. Suppose s = -0*r + r - 7. Is r composite?
False
Let d = 23 + -14. Suppose -3*z + 6*z = d. Suppose z*h - 264 = i + 365, -12 = -3*i. Is h a prime number?
True
Let w(y) = -27*y**3 - 7*y**2 - 2*y - 3. Is w(-3) a prime number?
False
Is (293/(-2))/(5/(-10)) a composite number?
False
Suppose 4 + 11 = 5*x. Suppose x*j = 5*b + 136, -j = j + 5*b - 49. Is j composite?
False
Let t = -11 - -16. Let m(c) = -13 - t*c + 2*c**2 + 0*c**2 - c**2. Is m(10) composite?
False
Let p be (2 - (-6)/(-3)) + 3. Suppose x - p*x - 4 = 0. Is (x/3)/((-8)/228) a composite number?
False
Let r be 500/(-12) + 2/(-6). Is (r/(-4))/((-3)/(-4)) composite?
True
Let v(h) = -956*h + 2. Is v(-1) a prime number?
False
Suppose -14698 = -26*w + 24*w. Is w prime?
True
Suppose 3*q = -2*q + 15. Let u(i) = 3 - 7 - 2*i + q. Is u(-8) composite?
True
Suppose -u - y = 2, 4*y = -5*u + y - 2. Suppose a - 6 = -u*a. Is (1 + -2)*a - -97 a composite number?
True
Let z = 2015 - 3982. Let w = z - -3138. Is w prime?
True
Suppose t - 3*w = -21, 2*t = 5*w - 0*w - 38. Let a be (-102)/4*6/t. Let y = -7 + a. Is y a composite number?
True
Suppose -2*l - 5 = -4*o - 1, -2*l + 14 = 5*o. Let m be 24/(-1) + 2 - l. Let n = m - -71. Is n a composite number?
False
Let j = 475 + -316. Is j prime?
False
Let q(d) = 0*d + d + 5 - 2 - d**3 - d**2. Let k be q(0). Suppose 4*v + k*s = 43, 3*s = 3*v - 5 - 43. Is v a prime number?
True
Let j = 10 + -6. Is -1 + 90 - (2 - j) a composite number?
True
Suppose -7*u - 883 = -6140. Is u a composite number?
False
Let t(g) = 398*g - 1. Is t(1) a prime number?
True
Suppose 4*t + 86 = h, 3*t = -2*h - 0*t + 216. Suppose -5*i = 4*y - h, 2*y + 3*i = 29 + 23. Is y a prime number?
True
Let w = 6 + -14. Let o = w - -41. Is o a composite number?
True
Let h(u) = -u**3 + 5*u**2 - 4*u + 6. Let t be h(4). Let l(i) = -i**2 - 4*i - 1. Let q be l(-3). Suppose -q*v + t = 2. Is v a prime number?
True
Let c(n) = 2*n**2 - 2 - 3*n**2 - 3*n - 2*n. Let j be c(-4). Suppose 93 = 5*b - j*b. Is b a composite numb