3*f - f = 2*c, 5*f + 8 = c. Let r = 2 - f. Suppose -2*t + r*t = 12. Is t a composite number?
True
Let k = 4 - 13. Let t be -3*(-5)/((-45)/(-48)). Let g = t + k. Is g prime?
True
Let t be (1/3)/(3/558). Suppose d + 7*l - t = 2*l, -94 = -2*d - 4*l. Is d a composite number?
False
Let l be (102/(-9))/((-2)/6). Suppose -c + l = -130. Let d = -67 + c. Is d prime?
True
Suppose -4190 = -5*j - 825. Is j a prime number?
True
Is (-27618)/(-12) - ((-1)/(-2))/(-1) composite?
True
Let m = -298 - -510. Let d(c) = c. Let s be d(2). Suppose -s*b - 2*b = -m. Is b prime?
True
Suppose -4*r + s = 3*s - 396, -3*s = r - 109. Is r a prime number?
True
Let o(x) = 7*x**2 + 2*x + 2. Is o(-1) a composite number?
False
Let h(y) = y**3 - 9*y**2 + 10*y - 7. Let i be h(6). Suppose 4*z - 2*b = 234, -5*z = -0*b + 4*b - 286. Let o = z - i. Is o prime?
True
Suppose -3*t + 139 = 3*r + 622, 2*r - 826 = 5*t. Let y = 291 + t. Is y composite?
False
Let k be (-2)/7 + 112/49. Suppose 2*d + 4*j = 7*d - 102, d + 5*j - 32 = 0. Suppose 4*a - 43 = -3*u, u + u - d = -k*a. Is a prime?
False
Suppose 0*f + f = -5*z + 12, -2*f = z - 42. Is f prime?
False
Let n(g) be the third derivative of -g**4/2 + 2*g**3/3 + g**2. Let h be n(4). Is (-6372)/h - (-2)/11 a composite number?
True
Let s(b) = b**3 + 5*b**2 - 7*b + 8. Let m be (0 - -1) + 4/2. Suppose 3*v - 3*y = -30, m*v = 4*v + 2*y - 2. Is s(v) prime?
False
Suppose 4*i - 1 = -13. Is 2*i/(-6)*53 a composite number?
False
Let f(w) = w. Let l be 5/1*(-8)/20. Let t be f(l). Is t/7 + (-177)/(-7) a composite number?
True
Let z be (-9)/(-18) - 19/2. Let n be (-12 + 0)*(-12)/z. Let g = 77 - n. Is g prime?
False
Let g be 2*3 - (-4)/2. Let j(p) = 2*p + 2 - 12 + 3 + 2 + 3*p**2. Is j(g) a prime number?
False
Is 10755/35 - (-4)/(-14) a composite number?
False
Let r be (-3)/9 + (-176)/(-6). Let d = r - 8. Is d a composite number?
True
Let y be 2/(-9) - 978/(-27). Let p be y/8 - 2/(-4). Suppose p*q - 5 = 0, 2*z - 8 - 15 = 5*q. Is z composite?
True
Suppose -32*f + 1988 = -28*f. Is f composite?
True
Let n = 9 - 5. Suppose 3*o + 2 = 4*c, -n = -5*c - 2*o + 10. Suppose -f - f + c*v = -114, 4*v = -f + 47. Is f a composite number?
True
Is 0 + 4 + 1*313 composite?
False
Let w(f) = 7*f**2 - 3*f + 4. Let x be w(-5). Suppose q = x + 203. Is q a prime number?
True
Suppose -120 = 2*n - 3*n. Let p = n - 23. Is p composite?
False
Suppose 3*h - 141 = 1041. Is h composite?
True
Let n be (1*-5)/(0 - 1). Let m = -1 + 4. Suppose -3*g = -m*d - 42, -g + n*d = d + 1. Is g a prime number?
True
Let y(n) be the first derivative of n**4/4 - 4*n**3/3 - 2*n**2 - 3*n + 3. Is y(5) composite?
False
Suppose -1208 - 984 = -2*c. Suppose -852 = -4*z + c. Is z a prime number?
True
Let v(y) be the third derivative of y**6/120 + 7*y**5/30 - y**4/24 - y**3/6 - 5*y**2. Is v(-6) a prime number?
True
Let m = 23 - 32. Let q(b) = -b**2 - 12*b + 4. Is q(m) a composite number?
False
Let p be (29 + 1)/((-18)/12). Let u = p - -131. Is u prime?
False
Suppose -t = -300 - 138. Suppose t = 2*s - 4*u, -5*s + s + u = -876. Is s a composite number?
True
Suppose -w - 2*q = q - 58, 0 = -2*w + 4*q + 146. Is w composite?
False
Suppose 155 = p - 4*x, 0*x = p + 2*x - 167. Is p prime?
True
Let m(y) = y**2 + y + 1. Let s(f) = -15*f**2 - 9. Let x(q) = -12*m(q) - s(q). Let t(c) = 4*c**2 - 13*c - 2. Let r(j) = 5*t(j) - 6*x(j). Is r(-6) a prime number?
False
Suppose -f + 183 = -305. Suppose -3*h - 367 = -t, -4*t = -2*h - 990 - f. Is 2/(5/(t/4)) composite?
False
Let d be 0 - 3/(-1) - -2. Suppose -d = -5*z + 5*s, z + 3 = 2*z - 3*s. Suppose 4*r = -z*r + 56. Is r a prime number?
False
Let c(r) = -2*r**2 + 2*r + 0 - 7*r**3 + r**2 - 1 + 0*r**3. Is c(-2) a prime number?
True
Let h(f) = 2*f + 1. Suppose -i = 2 - 0. Let r be h(i). Is ((-296)/(-2))/2 + r prime?
True
Suppose 0 = -5*c + 4937 + 2628. Is c a composite number?
True
Let y(x) be the third derivative of 17*x**4/12 - x**3/2 - 2*x**2. Is y(4) prime?
False
Let n(m) = -m**2 + 3*m + 4. Let x be n(3). Let v = -33 + 73. Suppose -x*b - v = -116. Is b a prime number?
True
Let q be (-12)/(-7) - (-6)/21. Suppose p - 339 = -q*p. Is p composite?
False
Is (1 - (-1481 + -3)) + -4 a prime number?
True
Let d(k) = -k**2 + 7*k + 6. Let h be d(6). Is 3/(h/89)*4 prime?
True
Suppose -4*t + 16 + 0 = 2*l, 3*t - 3 = 0. Suppose -3*f + f - l = 0. Let j(c) = c**3 + 5*c**2 + c - 2. Is j(f) prime?
True
Suppose -4*y + 5*q = 2109, 7*y + 1568 = 4*y + q. Let d = y - -1070. Suppose d = 4*i - i. Is i prime?
False
Suppose -5*s = 85 - 520. Suppose 4*o + 79 + 24 = 5*h, -5*h - 4*o = -s. Is h a prime number?
True
Suppose 2*d + 8*d = 29950. Is d prime?
False
Let k = 154 - -37. Is k composite?
False
Let v(k) = -k**2 + 46. Is v(0) composite?
True
Let p = -14 + 7. Let u(y) = y**2 + 4*y + 10. Is u(p) a composite number?
False
Let w = 36 - 13. Suppose -5*o + 6*u - 15 = u, 5*u - w = o. Is (o - 1/1) + 112 composite?
False
Let a(j) = 167*j**2 + 3. Is a(-2) prime?
False
Suppose -5*o + 3*o - 22 = 0. Let x = o - -15. Suppose -x*k - 3*n = 98 - 450, -5*k + 421 = -n. Is k a composite number?
True
Let m be (-4 - (-3 - 1))/(-2). Suppose 4*u + f - 998 = m, -f = u - 5*u + 994. Is u composite?
True
Let i(q) = 8*q**3 + 4*q**2 - 3. Is i(3) composite?
True
Suppose 3*i - 2 = 10. Let t be (-4)/(-18) + 4/(-18). Suppose i*d - 67 + 7 = t. Is d composite?
True
Let q = 539 - 38. Suppose -p + 4*p = q. Is p a prime number?
True
Let r(x) = -x**2 - 3*x - 4. Let g be r(-3). Let q(b) = b**3 + 5*b**2 + 3*b + 3. Is q(g) prime?
True
Let z be ((-1)/(-3))/((-4)/564). Let y = z + 66. Is y a prime number?
True
Suppose 0*k - 8 = -4*k, -2*k = -2*f. Suppose f*w + 3 = 1. Is (2 + w)*1*23 prime?
True
Let z = -7 + 9. Suppose -z*h = -159 - 151. Is h prime?
False
Suppose -4*o = -3*o - 4. Suppose 0 = k - o*k + 42. Is k a prime number?
False
Suppose 0*t - 5*f = -3*t + 31, 5*f = -2*t - 21. Let y be ((6 - t) + -2)/(-2). Is ((-38)/4)/(y/22) a prime number?
False
Suppose 0 = -5*d - u - 9, -d + 2*u = -2*u + 6. Let n be (1 - -1)*(0 + d). Is (-55)/n*(7 - 3) a prime number?
False
Suppose i - 5*i - c = -11, -4*i = -4*c + 4. Is i/(-3) - (-339)/9 a prime number?
True
Let s(r) = 10*r**2 - 7*r + 14. Is s(-9) a composite number?
False
Let y be 4 - (-1 - -297) - 1. Let b = y - -622. Is b a prime number?
False
Suppose -22511 = -7*r - 2358. Is r a prime number?
True
Let v be 2/9 + 338/18. Suppose 0 = -x + 2*x - v. Is x composite?
False
Let v(a) = -8*a - 21*a**3 - a**2 + 10*a**3 + 5 + 12*a**3. Is v(5) prime?
False
Let k(l) = 6*l**2 - 9*l + 33. Is k(-10) a prime number?
False
Let o be 73*-3*(-2)/6. Suppose -3*f - c + 232 = 0, f - 4*c = o - 0. Is f a composite number?
True
Let s(m) = -130*m - 1. Is s(-2) a composite number?
True
Let p be (-6)/10 + 10/(-25). Let o(q) = -20*q**3 + q. Is o(p) prime?
True
Is (1 + 1312)*(3 + -2) prime?
False
Suppose -g - 5*f - 23 = -0*g, 2*g - 2*f = 14. Suppose -2*d + 3 = 3*c - 14, g*d - 11 = -c. Let p = c - 0. Is p composite?
False
Suppose -4*v = y + 871, 176 = 3*v - 3*y + 848. Let a = 154 - v. Is a a composite number?
False
Let p = 2668 - 1865. Is p prime?
False
Suppose 4660 - 1017 = h. Is h a prime number?
True
Let o(j) = j**3 - 8*j**2 + 9*j - 6. Let y be o(7). Suppose -12 = 5*b + y, -40 = 4*u - 2*b. Let n = -8 - u. Is n a composite number?
True
Let m(t) = -t**3 + 6*t**2 + t - 6. Let j be m(6). Let u = -2 + j. Is ((-196)/6)/(u/3) a composite number?
True
Let t = 3 + -3. Suppose -b = -10 - t. Suppose 4*s - 94 = -b. Is s a prime number?
False
Let j be (-636)/28 - (-8)/(-28). Let s(i) = i**3 + 2*i**2 - 5*i + 6. Let q be s(-5). Let o = j - q. Is o a prime number?
False
Suppose -5*x + 0*x + 20 = 0. Let u = -4 + x. Suppose 3*v = -u*v + 69. Is v a composite number?
False
Suppose d - 48 = -4. Suppose -4*v + 56 = -d. Is v prime?
False
Let m(x) = 5*x + 1707. Is m(0) a composite number?
True
Let q(v) = -39*v + 17. Is q(-10) composite?
True
Let a be (172 - 3) + (0 - -2). Let l = -38 + a. Is l a prime number?
False
Let b = -10 + 37. Let f(p) = p**2 + p. Let g be f(1). Suppose g*z - b = -h, -3*h = 2*z - z - 91. Is h a composite number?
False
Let o = 12365 + -8256. Is o a composite number?
True
Suppose 0*u = -2*u + 2*r - 8, 4*u = 5*r - 16. Let q be (-14)/u*(-16)/(-28). Suppose -q*o = -0*o - 262. Is o a composite number?
False
Suppose 5*y = 5*b - b + 498, -3*y + 5*b + 291 =