 = 13*s + 2. Is a(v) a prime number?
True
Let o(a) = 1436*a - 15. Is o(5) prime?
False
Let l be (-1)/((1/5)/(-1)). Suppose u - 531 = -l*z, 5*u + 3*z = -0*u + 2699. Is u composite?
False
Suppose -5*g - 4155 = -8*g. Is g a prime number?
False
Let z be 2/(-3) - 7/3. Let m be ((-11)/z)/((-2)/(-12)). Is 2 + (m - 3/3) a composite number?
False
Let k(s) = 237*s**2 + 8*s + 7. Is k(-2) a prime number?
False
Let f(h) = -h**3 + h**2 + h + 16. Let g be f(0). Let p = g + -13. Is p a composite number?
False
Suppose 5*v - 5*k = -5, -k - 6 = 2*v - 4*k. Suppose -2*d + 3*d - 37 = -4*j, -v*d + 5*j = -26. Suppose -52 = -5*h - d. Is h prime?
True
Let w = -13 - 8. Is (28/w)/(2/(-33)) a prime number?
False
Let d(t) = -160*t**3 + t**2 - t - 1. Let r = 15 - 16. Is d(r) a prime number?
False
Let o = 265 - 134. Is o a composite number?
False
Let k be 2*3*(-1)/(-3). Let z(r) = 5*r**3 - r**2 + r + 1. Is z(k) a composite number?
True
Let a(y) be the second derivative of -29*y**4/12 - y**3/3 - 5*y**2/2 + 3*y. Let r be a(4). Is r/(-6)*(-4)/(-6) composite?
False
Suppose 4*o - 2*o - u = 9, -2*u = -o. Let s = 8 - o. Is (s/(-4))/((-3)/390) a composite number?
True
Let k(l) = -l. Let d be k(-3). Is 1/d + (-140)/(-21) composite?
False
Let b = 0 - 0. Let q(a) = 6*a + 4. Let x be q(8). Is (x + 1)*(1 - b) prime?
True
Suppose -2*x = 4*d + d + 3, 4*x = -3*d - 13. Let m be d + 11 + (-4)/(-4). Suppose 50 + m = 3*r. Is r prime?
False
Let m be 80/10 - (0 + 0). Suppose -5*x + m = -177. Is x prime?
True
Let l = 5 - 17. Let o(f) = f**3 + 13*f**2 - 10*f - 13. Is o(l) composite?
False
Let i(g) = 3 - 5*g + g**2 - 7 + 0. Let y be i(5). Is y*1*(-381)/12 composite?
False
Let r = 4 + 1. Suppose 2*s - r*s + 33 = 0. Let x = -2 + s. Is x a prime number?
False
Let u(y) be the third derivative of -y**6/6 + y**5/30 + y**4/12 - y**3/6 - y**2. Is u(-2) a prime number?
True
Let q(o) = 27*o**3 - 6*o**2 - 3*o + 1. Is q(6) composite?
True
Let k(n) = -53*n**3 - 2*n**2 + 3*n + 1. Let u be k(3). Is ((u + -3)*-1)/2 a prime number?
False
Let x = -3 - -1. Is 18/x*7/(-3) composite?
True
Suppose -46*c + 47*c - 1783 = 0. Is c a composite number?
False
Let n be -69*(397/(-3) - 3). Is 1/3 + n/21 a composite number?
True
Let b(x) = 4*x**2 + 8*x + 2. Is b(-8) a composite number?
True
Let a = 150 + -313. Let y = 28 - a. Is y prime?
True
Let y = 6 - 4. Let t be 3/(-2) + (-80)/(-32). Is t*(-119)/y*-2 a prime number?
False
Suppose 7*f + 14 = 7819. Is f composite?
True
Let u(n) = -164*n**3 - 2*n**2 - 3*n - 2. Is u(-1) composite?
False
Let z(p) = p**3 + 10*p**2 - 4*p + 3. Let c(i) = i**2 + 9*i. Let q be c(-8). Is z(q) prime?
True
Suppose -c = 3*o - 17, 2*o - 1 = -c + 9. Let z(p) = p**3 - 8*p**2 + 8*p + 6. Is z(o) composite?
False
Let z = 778 - 95. Is z composite?
False
Suppose -3*a - 2*a + 3*c + 59 = 0, 2*c - 4 = 0. Is a prime?
True
Let j = -43 - -71. Let k = -13 + 6. Let s = j + k. Is s composite?
True
Is 2*(25 + 0 - 2) a prime number?
False
Suppose -1 = -3*c + 14. Suppose -87 - 23 = -c*j. Suppose h = -h + j. Is h a composite number?
False
Let v(f) = -4*f - 6. Let d be v(-5). Suppose 2*s + d = -4*n, -s = -2*n + 4*s + 11. Is (52/6)/(n/(-3)) a prime number?
True
Let y(m) = -151*m - 4. Is y(-3) composite?
False
Suppose -5*m = 2*p + 1334, -3 = -p - 5. Is (7 + -5)/((-4)/m) prime?
False
Suppose 3*c + 113 = 1034. Is c a prime number?
True
Suppose -4*b + 4 = -3*b. Suppose 5*v = -h - h - 6, -b*v = 3*h + 2. Is v/8 - (-173)/4 a composite number?
False
Let i(g) = -g**3 - 10*g**2 - 12*g + 10. Let h be ((-6)/(-4))/((-3)/18). Is i(h) a prime number?
True
Suppose 5*i = -5*y + 70, -3*y = -2*i - 0*y + 8. Is i a prime number?
False
Suppose 2*h + 4*x = 24, -5*x + 20 - 1 = -3*h. Suppose h*y - 254 = 260. Is y prime?
True
Suppose 0 = 2*i + 2*h + 3*h - 10, 4 = 2*h. Suppose 59 = p - i*p - 2*x, -3*p + 156 = x. Is p prime?
True
Suppose 5*k + 4*y = 1873, 1900 = 4*k + k - 5*y. Is k composite?
True
Suppose -5*g + 6 = p - 9, -3*g + 5*p - 19 = 0. Let k = 7 - g. Suppose -3*n + 104 = -k*v, 4*v = 2*n + 2*n - 136. Is n prime?
False
Let i(y) = 8*y**2 - y - 1. Let t be i(-2). Let d = 72 - t. Suppose w - x = 47, -3*x - d = 3*w - 4*w. Is w a prime number?
False
Suppose -4*f + 477 = m, 6*f - f = -2*m + 963. Is m prime?
False
Let f be 2/(-6)*(-50 - 1). Suppose x + f = 55. Is x a prime number?
False
Suppose -2*v - 5 = -s, -5*s - 3 = -2*v + 6*v. Suppose 3 + s = r. Suppose r*l + d - 30 = 239, 0 = 2*l + d - 135. Is l a prime number?
True
Let s(d) = d**3 - 5*d**2 + 4*d + 3. Suppose -22 = -f + 2*u, 0 = 3*f - 2*f + u - 10. Suppose -2*l - 3*y = -f, 4*y = 6*l - l - 12. Is s(l) composite?
False
Let a(r) = r**2 + r - 1. Suppose -c + 4*s = -0*c + 6, -c + s = 3. Let z be a(c). Is ((68 - 2) + -1)*z prime?
False
Suppose -3*m + 8 = -4*b + m, b + 14 = -5*m. Let d(w) = -w**2 + 3*w + 1. Let r be d(4). Is (2/r)/(b/132) a composite number?
True
Let g(h) be the first derivative of h**4/12 + h**3/6 + h**2 - 3. Let f(k) be the second derivative of g(k). Is f(1) composite?
False
Let z(g) = -191*g - 3. Is z(-2) a composite number?
False
Suppose 0 = -m - m - 784. Suppose x - 4*i - 21 = 4*x, 0 = 2*x - 2*i. Is x/2*m/12 a composite number?
True
Let w(f) = 3*f**3 - 3 - f**2 + 8*f**2 + 5*f - 1 - 2*f**3. Suppose 3*k - l + 11 = -3, -4*l + 16 = -4*k. Is w(k) a prime number?
False
Let a be 2*2/4 - 2. Let v be -1 + (a + 0 - 1). Is -3*(87/v + 0) prime?
False
Suppose 2*d = -2*g + 2 + 12, -4*d - 5*g + 29 = 0. Let t be (-1)/(-3) - (-34)/d. Let x = t + 4. Is x prime?
False
Suppose 0 = 4*w + a - 431, -4*a - 68 = -2*w + 152. Suppose -4*v - 349 = -3*i, 2*i - 123 = v + w. Is i a composite number?
True
Let g = 25 - 501. Let v = 681 + g. Is v prime?
False
Let c(g) = -g**3 + 14*g**2 + 10*g + 15. Let j be c(15). Suppose -5*k - 172 = -2*i, 0*k - 101 = -i - 5*k. Let y = i + j. Is y a composite number?
False
Suppose -3*d = 4*o + 49, -o - 2*o = 3*d + 39. Let i = 61 + o. Is i prime?
False
Let r(m) = -2*m**2 - m - 1. Let h be r(-3). Let c = h - -35. Is c composite?
False
Suppose -4*w + 2 = -2*c + 8, 0 = 5*c - 5. Let u be (-2)/w + 0 + 0. Suppose 0 = q, -6*q - 30 = -u*y - 2*q. Is y prime?
False
Is ((-369)/(-6))/((-15)/(-50)) composite?
True
Suppose k + 3*h - 4 = -k, k = 4*h + 2. Suppose 0 = -k*d + d. Is (-2)/2 + 96 + d a composite number?
True
Suppose 20*i + 7535 = 31*i. Is i prime?
False
Suppose m - 3*m = -54. Is ((-18)/m)/((-4)/462) prime?
False
Is (20/(-28))/(-5) - 2060/(-35) composite?
False
Let t(k) = 7*k**3 + 1. Let z be t(-1). Is ((-556)/z)/(2/3) prime?
True
Let g = -135 - -464. Is g composite?
True
Let z be (-6)/(-2) + 2/1. Let a(y) = 3*y - 1. Is a(z) a prime number?
False
Let h be 1*-2 + 110/2. Let p = h + -28. Is p composite?
True
Suppose -5*x = -10 - 0. Suppose x*q + 186 = 5*q. Is q a prime number?
False
Suppose t - 3 = -1. Let c be ((-66)/4 + -2)*-2. Suppose -t = -w + c. Is w composite?
True
Suppose -4*u - 4*c = -168, -40 = -4*u - 5*c + 127. Let r = u - -39. Is r prime?
False
Is 1 + -1 - -7 - 0 prime?
True
Let d be -2 - ((-3)/(-3) + -33). Let s = 45 - d. Is s a prime number?
False
Is (-8)/36 - (257745/27)/(-5) a composite number?
True
Let t(z) = 21*z - 1. Let r be t(1). Let n = r - -99. Is n composite?
True
Let y(k) = k**2 + 6*k + 2. Is y(7) a composite number?
True
Let m(q) = -q**2 - 6*q + 7. Let i be m(-5). Let r = -20 + i. Let l = r + 18. Is l composite?
True
Suppose 2*x + x = -6. Let s be 3 + -2 - (x - -3). Is 0 - s - (-108 + -7) a prime number?
False
Is (11724/36)/((-1)/(-3)) a composite number?
False
Suppose -15 = 5*a + 5*t, 15 = 2*a - 6*a - 5*t. Suppose a = -x + 4*x - 156. Suppose -x = -3*y + 101. Is y a prime number?
False
Suppose -4*r + 4009 = 5*u - 2*u, 0 = -4*u + 3*r + 5387. Is u composite?
True
Suppose m = 4*w - 212 - 56, 2*w - 132 = m. Let r = w + 21. Is r composite?
False
Suppose -2*b + b = -5*o - 6118, -30735 = -5*b - 4*o. Is b a prime number?
True
Let n(l) = l + 3. Let d be n(-2). Is 1/d*97/1 a composite number?
False
Suppose -6*f - 6 = -7*f. Is f prime?
False
Is 1 + -1 - (5 - 754) a prime number?
False
Suppose -o - 9935 = -5*k + 4*o, 0 = -3*k + o + 5957. Is k prime?
False
Suppose f - 3284 = -3*f. Is f a composite number?
False
Is 410/30*(32 - -1) prime?
False
Let l be 54/(-12)*(-38)/(-1). Is ((-2)/3)/(6/l) composite?
False
Let y = 19 - -43. Suppose 3*b = 2*j - 29, y = j + 4*j + 3*b. Is j a pri