e b(c). Suppose -5*z + 70 = 5*p, -r*p - 7*z + 40 = -2*z. Is p composite?
True
Let f(s) = -s**2 + 2*s + 3. Let i be f(4). Let h(g) = g**2 - 7*g - 7. Is h(i) a composite number?
False
Let h(c) = c**2 + 5*c + 2. Let q be h(-5). Is (36 - q)*10/4 a prime number?
False
Is ((-5)/(-15))/((-1)/(-327)) a composite number?
False
Let p be 8/36 - 896/(-18). Suppose 4*v - 34 - p = 0. Is v composite?
True
Let w be 2/(((-5)/2)/(-5)). Suppose -w*y = y. Suppose -4*u = 8, -v + 5*u + 23 = -y*v. Is v composite?
False
Suppose 3*y - 4*f = 10, -2*y - 3*y + 2 = -3*f. Is y*(609/2)/(-7) composite?
True
Suppose 0*m = -4*m - 8, m - 22 = 4*v. Let q(a) be the first derivative of -13*a**2/2 - a + 1. Is q(v) composite?
True
Let k = -8 + 5. Let z = -1 - k. Suppose 65 = 3*t + z*n, -4*t = n - 81 - 14. Is t prime?
False
Suppose -l = 3*l + 4*d + 24, 0 = 5*l - 5*d. Let c = l - -40. Is c a composite number?
False
Let a(k) = 1 - 4 - 1 - 85*k. Is a(-3) composite?
False
Is (2/3)/((-6)/(-342)) composite?
True
Suppose q = k - 6*k + 581, 1743 = 3*q - 5*k. Is q composite?
True
Let u(o) = 12*o**2 - 3*o + 1. Let v be u(3). Let b(x) = x**2 - 13*x + 1. Let c be b(16). Let j = v - c. Is j composite?
True
Is (-18)/(-12)*12/3 a prime number?
False
Suppose i + 0*f = 2*f + 13, -7 = i + 2*f. Suppose -i*y + 6 = -3*u, 2*y - 4*u + 48 = 6*y. Is y prime?
True
Suppose 5*a = 4*a + 257. Is a a composite number?
False
Suppose 2*s = 6*s - x - 2, 3*x = 5*s - 6. Is 12 + s + (-6)/(-3) prime?
False
Let w(o) = -4*o - 10. Let h be (-2)/3*27/(-6). Let u be -7 + -2*h/6. Is w(u) composite?
True
Suppose 0 = 2*g - v - 276 + 50, 5*g + 5*v - 565 = 0. Is g a composite number?
False
Let o(i) = 68*i**2 + 4*i + 5. Let q be o(-5). Suppose q = 4*h + h. Is h prime?
True
Let d(h) = h**3 - 7*h**2 - 2*h - 2. Let w be d(7). Let t be 1/(-3) + 206/(-3). Let s = w - t. Is s prime?
True
Let m(g) be the first derivative of -g**4/4 - 2*g**3 + 3*g**2 - 2*g - 4. Let w be m(-7). Suppose -2*b = -x - x + 350, -w*x = 3*b - 907. Is x prime?
True
Let l = 8 + -3. Suppose 2*j - 929 = -l*t + 4*j, 4*t + j = 738. Is t a prime number?
False
Suppose s - 2*h - 2 = -3, 0 = 5*s - 3*h + 12. Let m = 6 + s. Suppose q + m*q - 156 = 0. Is q a composite number?
True
Let q be (2/(-4))/((-2)/(-4)). Let d(o) = 59*o**2 - 1. Let x be d(q). Is x - (-1 + 1) - 0 a composite number?
True
Suppose 0*z - 5*z + 1705 = 0. Let w = 672 - z. Is w a prime number?
True
Suppose 2*m = -3*m + 475. Let l be (1 - 4)/(1/19). Let i = m + l. Is i a composite number?
True
Let d(r) = -r**3 - 4*r**2 - 9*r - 17. Is d(-6) prime?
True
Let z = 1058 + -301. Is z a prime number?
True
Is ((-2)/3)/((-1)/129) composite?
True
Suppose a - 2*a = -50. Suppose 0*b + 12 = 4*b, -a = -2*j - 4*b. Is j prime?
True
Let x(g) = -g**3 + 13*g**2 + 2*g - 11. Is x(9) a composite number?
False
Let h(q) = 2*q**3 - 6*q**2 - 2*q + 3. Suppose 0 = -3*p - r + 71, -2*p - 3*r = -36 - 2. Suppose -4*d - d + p = 0. Is h(d) a prime number?
False
Is (1265/(-2) + 5)/(1/(-2)) a composite number?
True
Let z = 313 + -94. Is z composite?
True
Let h = 284 - 105. Is h a composite number?
False
Suppose 3*y - 13761 = -6*y. Is y prime?
False
Let g(o) = o + 7. Let u be g(-4). Let k(a) = 3*a**2 - 4*a. Let n be k(u). Is (9/n)/(2/30) a prime number?
False
Let j(k) = 4*k**2 - 6*k - 7. Let g(s) = s**3 + s**2 + s - 1. Let c(t) = -g(t) - j(t). Is c(-6) a prime number?
False
Let f(l) = l. Let y be f(4). Suppose 3*t - y*u - 1816 = 0, 5*u = 6*t - t - 3025. Suppose 0 = -m + 4*d + d + 104, 0 = -5*m - 3*d + t. Is m a composite number?
True
Let o = -56 - -102. Is o a composite number?
True
Let t(u) = -u**3 + 21*u**2 - 2*u + 29. Is t(17) a composite number?
False
Let d(v) be the first derivative of -13*v**3/3 + 7*v**2/2 + 5*v + 3. Let y be d(-4). Is 1/(y/(-115) + -2) a composite number?
True
Let z(j) be the third derivative of j**6/120 + j**5/30 - j**4/12 + 2*j**2. Let a be z(-3). Is (-3)/(1*a/15) prime?
False
Let c = 2048 - 1303. Is c a prime number?
False
Suppose 4*q - 3*f = 172, 0*q - 43 = -q - f. Is q a composite number?
False
Let s be (4/12)/((-2)/(-6)). Is (119/(-28))/(s/(-28)) prime?
False
Let y = -362 + 511. Is y a composite number?
False
Let k = 172 + -94. Suppose 3*w = k + 63. Is w a composite number?
False
Let l(z) = -z**3 - 8*z**2 + 11*z + 18. Let c be l(-9). Suppose 0 = -5*u + 5*a - 955, u + 191 = 2*a + 2*a. Is u*(-3 + 2 + c) prime?
True
Suppose -t = -5*c - 6 - 43, 0 = -3*t + 5*c + 197. Suppose -2*n - 92 = -2*k, -n + 5*n - t = -2*k. Is k a prime number?
True
Let f = -277 - -434. Is f a prime number?
True
Suppose -2*l + 5*l = -705. Is -2*1*l/10 composite?
False
Let o(y) = 2*y**2 - 10*y + 16. Let q be o(12). Is q/(-16)*(-1 - 13) composite?
True
Let b = -92 - -209. Suppose 5*v = -f - 0*f + 39, 0 = 3*f - 4*v - b. Is f a composite number?
True
Suppose 4*b + 4*o - 939 = o, -2*b + 480 = -2*o. Is b a composite number?
True
Suppose 0 = -7*m + 4*m + 33. Let g(t) = 3*t + 2. Is g(m) a prime number?
False
Suppose -8*m + 2*m + 27654 = 0. Is m composite?
True
Suppose m + 99 = -0*m. Is ((-29)/(-3))/((-3)/m) a prime number?
False
Suppose -n + 3 = 7. Let b(c) = 2*c - 3. Let m be b(-4). Let o = n - m. Is o composite?
False
Let k(q) = -q**2 - 13*q - 4. Let o be k(-7). Suppose 4*h - o = 2*d, 3*h - 35 = -h + 3*d. Is h prime?
True
Let i(c) = 10*c + 5. Let z = 12 + -7. Is i(z) a prime number?
False
Let h(a) = a**3 - 5*a**2 + a - 5. Let c be h(5). Suppose 0 = -c*l - 3*l + 237. Is l a composite number?
False
Let a be 4 + -2 - (4 + -2). Suppose z + 7 - 1 = a. Let f(b) = -b**3 - 5*b**2 - 4*b - 2. Is f(z) prime?
False
Let b = 123 + -56. Is b a composite number?
False
Suppose 12*s = 5668 - 1084. Is s prime?
False
Let i = -7 + 4. Let f = 37 + i. Is f prime?
False
Let f(y) = y**3 + 3*y**2 - 6*y - 2. Let v be f(-4). Suppose 18 = 2*j - 2*k, -j - k - k = v. Is -1 - 1*-4*j prime?
False
Let g(p) = 178*p**3 + p**2 - p. Let y be g(1). Is -1*(-3 + 4) + y a prime number?
False
Suppose g + 3*g - 108 = -4*p, 0 = -4*p - 8. Suppose g = 3*h - 28. Is h a prime number?
True
Suppose -4*t = -3*t - 5*o + 10, 2*o - 16 = -2*t. Suppose -4*r - 3*i + 13 = r, 5*r - 5*i - t = 0. Is r composite?
False
Let b(d) = -125*d - 11. Is b(-6) a composite number?
False
Suppose -5 = -d - 2*x + 19, 67 = 3*d + 5*x. Suppose -5*a + 11 = -d. Suppose 3*m - 7*m + 25 = l, -a*m - 50 = -2*l. Is l prime?
False
Let v be 1/(-3 - 426/(-141)). Suppose 3*d - v + 8 = 0. Is d a composite number?
False
Let q(l) = 52*l**2 + 2*l - 3. Let o be q(2). Suppose 172 + o = 3*b. Is b prime?
True
Let m = 7 - 3. Let c = 15 + m. Is c a prime number?
True
Let s be 1*(-1 + -2 + 0). Let x = s - -5. Suppose q + 0 - 1 = 0, x*f + 2*q - 16 = 0. Is f prime?
True
Let n(j) = 4*j**3 - 9*j**2 + 4*j + 4. Is n(3) prime?
True
Let a = 1720 + -123. Is a composite?
False
Let a(o) = -o**3 + 5*o**2 - 4*o + 6. Let j be a(4). Let p = j - 3. Suppose 2*b = -p*b + 665. Is b prime?
False
Let b(z) be the second derivative of 0 + 2*z + 2*z**2 + 5/6*z**3. Is b(7) prime?
False
Suppose 0 = q, u - 4*q = 5*u - 2764. Is u a prime number?
True
Suppose v + 174 = -c + 855, -v + c + 677 = 0. Is v composite?
True
Let h(s) = s**3 - s**2 - s + 26. Suppose 0*t = -3*t. Suppose t = -7*o + 2*o. Is h(o) a composite number?
True
Let m(k) = 32*k**2 - 5. Let n be m(3). Let h = 24 + n. Is h composite?
False
Suppose 9*q - 6*q - 3567 = 0. Is q a composite number?
True
Let h = 3 + -3. Suppose h = -5*s - 0*s - 90. Let p = s + 53. Is p a composite number?
True
Suppose -n - 4*n - 1967 = -3*s, 5*s + 2*n - 3299 = 0. Is s prime?
True
Let a(h) = 2*h**2 - 7*h - 6. Is a(-17) composite?
False
Suppose 4*m - 6*m + 154 = 0. Is m prime?
False
Suppose -29 = 5*j + 331. Let a = -19 - j. Is a composite?
False
Suppose -7*c + 498 - 127 = 0. Is c composite?
False
Let p be -8 + 7 + 230/(-2). Let r = -167 + 540. Let o = p + r. Is o a composite number?
False
Let s = -486 - -345. Let b = -71 - s. Suppose 0*g - 2*g = -b. Is g a composite number?
True
Let h(s) = 11*s**2 + 2*s + 1. Let j = 14 + -15. Is h(j) prime?
False
Let y(x) = 80*x**3 + 2*x**2 - x + 4. Is y(3) prime?
True
Suppose -2*w + 0*w - 150 = 0. Let c = 0 + 124. Let j = w + c. Is j a composite number?
True
Let u = 2381 - 1610. Is u composite?
True
Let r(f) = f**3 - 5*f**2 + 5*f. Let c be r(4). Suppose -12 = t - 4*k, 6*k = 3*t + 3*k. Suppose 4*v + t*b = -b + 