 10 = 2*v. Suppose -a*l + 2*b + 16 = -0*b, -3*l = 2*b - 39. Is l a prime number?
True
Is 30/(-20)*4996/(-6) a composite number?
False
Suppose l - 28 = 3*l. Is (-2)/(-4) - 931/l a prime number?
True
Let d(l) = -l**3 - 5*l**2 - 4*l + 2. Let w be d(-4). Let f be 2/(6/13) - 60/180. Suppose 2*n = -3*n + f*q + 154, -3*n + 110 = w*q. Is n composite?
True
Let z(v) be the second derivative of -v**5/20 - v**4/2 - v**3/6 + 2*v**2 + 3*v. Is z(-6) a prime number?
False
Suppose -4*o + 2*o + 28 = k, 53 = 2*k + o. Suppose 4*s = 2 + k. Suppose s*n = 3*n + 56. Is n prime?
False
Is 77/11 - (0 - 0) a prime number?
True
Let l(y) be the second derivative of -y**4/12 - y**3 + y**2 + 3*y. Suppose -j - 5 = -0*j. Is l(j) composite?
False
Let z(b) be the third derivative of b**6/30 + b**5/60 + b**4/6 - b**3 - 7*b**2. Is z(3) composite?
True
Suppose 0 = -2*l - 4*z - 42, 2*z - 54 = 8*l - 4*l. Let c be ((-54)/24)/(2/8). Let m = c - l. Is m a composite number?
True
Let y = 7 - 5. Suppose -y - 14 = -4*v. Suppose -v*o = 15 + 5, 0 = -2*x + 2*o + 24. Is x prime?
True
Suppose 12 = -3*n, -5*n = 4*q - 5*q + 14. Let j(l) = -l**2 - 13*l + 5. Is j(q) a prime number?
True
Let c = 596 - -845. Is c composite?
True
Suppose -10 = -2*o - 0*o. Suppose 5*n = -b + 1257, -5*n - 71 = o*b - 1336. Is n composite?
False
Is (-2)/(9 - -3) - 47515/(-6) a prime number?
True
Let f(x) = x**2 + 3*x + 19. Is f(9) prime?
True
Let z(x) = x**3 - 5*x**2 + 5*x + 2. Let t be z(4). Let f(y) = 2*y**2 - 9*y + 1. Let r be f(t). Let c = 29 - r. Is c composite?
True
Let o(p) = p**3 - 4*p + 4. Let c = -7 + 13. Let t = -3 + c. Is o(t) prime?
True
Suppose 0 = -19*r + 18*r + 4109. Is r a prime number?
False
Suppose 3*d = 4*d + 18. Let t be (-4)/d + (-43)/(-9). Let c(n) = 16*n - 1. Is c(t) a composite number?
False
Let x = -3767 + 7708. Is x a composite number?
True
Suppose -922 - 594 = -4*y. Is y a prime number?
True
Let s(q) = -q - 1. Let y be s(-6). Suppose 23 = y*n - 27. Is 2/(-1) + (n - 1) composite?
False
Suppose 2*u - n - 2*n + 12 = 0, -3*u + n = 18. Let g be 4/u*(-12)/(-4). Is 16 + -3 - 4/g prime?
False
Let a = 8 - 5. Suppose 0 = -d + 5*w - 17, 0 = -5*d - w - a*w - 85. Let y = 234 - d. Is y a composite number?
False
Let q be -3 + (-6 - -4) + -2. Let z(x) = -60*x - 7. Is z(q) a prime number?
False
Suppose 4*y + 4*v - 3*v - 669 = 0, 5*v - 523 = -3*y. Let x = y - 79. Is x a prime number?
False
Suppose -4*i - 34 = 3*g - 5, 8 = -4*i. Let p(r) = 3*r**2 + 2. Is p(g) a composite number?
False
Suppose i - 2*l - 4 = 0, l - 8 = -5*i + 3*i. Let a be 10524/14 + 6/21. Suppose -8*d + 4*d - 4*s = -764, -s = i*d - a. Is d a composite number?
True
Let z(i) = i**2 + 3*i + 1. Let y be -3 - -1 - (-1 + 3). Let c be z(y). Suppose b = c*a - 151, 5*a = 2*b + 99 + 48. Is a a composite number?
False
Let a be (-2)/(-2) + (1 - 55). Let x = 31 + a. Let h = -11 - x. Is h prime?
True
Is 30/75 + (-63)/(-5) + 0 a prime number?
True
Let i = 9 - 7. Suppose -i*a + 80 = 2*m - 78, -4*m + 237 = 3*a. Is a composite?
False
Let j(s) = 17*s**2 - 4*s + 7. Is j(-4) a prime number?
False
Let z(g) = -6*g. Let h be z(1). Let w = h - -123. Suppose -w = 3*r - 726. Is r composite?
True
Let a(v) = -v - 13. Let p be a(-7). Let g(w) = w**2 + 10. Is g(p) composite?
True
Suppose 6 + 9 = -5*l. Let n(y) = 2*y**2 - 3*y + 1. Let q be n(2). Is ((-13)/q + 1)*l prime?
False
Let x(q) = q**3 + 7*q**2 + 7*q + 2. Let j be x(-6). Let v(k) = k**2 - k + 1. Is v(j) composite?
True
Let o(v) = 141*v**2 + v + 1. Is o(-2) composite?
False
Suppose -3*j + 8*j = -10. Is 2 + (-363)/(-1 + j) a composite number?
True
Let m(x) be the first derivative of -6*x**2 + 9*x + 4. Is m(-7) a composite number?
True
Suppose -4*q + 75 = -5*w, 0 = q + w + 2*w - 6. Suppose -3*x - 3 = -q. Suppose -2*g + 56 = -2*f + 302, 0 = -3*f + x*g + 365. Is f a composite number?
False
Is (0 - -357 - -1)*(-9)/(-18) a prime number?
True
Suppose 27 + 43 = 5*r. Suppose 33 + r = h. Is h a prime number?
True
Let t(n) = -165*n**3 - 2*n**2 - 6*n - 5. Is t(-2) a prime number?
True
Let h(q) be the second derivative of q**6/120 + q**5/30 + q**4/6 - q. Let f(u) be the third derivative of h(u). Is f(5) a prime number?
False
Suppose 6*f = -9*f + 25890. Is f a prime number?
False
Let v = -788 - -1. Let a = 1206 + v. Is a a composite number?
False
Let d(x) be the third derivative of 0 - 1/6*x**3 + 0*x - 3*x**2 + 1/6*x**5 + 1/6*x**4. Is d(-3) a prime number?
False
Suppose 4*k - 4 = 4. Suppose 0 = -6*l + l + k*p + 161, l + 3*p = 22. Is l a prime number?
True
Suppose -2*z + 2*y = 1 - 9, -32 = -5*z + y. Let x(v) = 2 - 5 + 9*v + 5. Is x(z) prime?
False
Is ((-1623)/12)/(12/16 - 1) a composite number?
False
Suppose -4*l + 7861 = -7903. Is l a prime number?
False
Let j(u) = u**3 + u + 209. Is j(0) composite?
True
Is 1/(-3)*2 - 4316/(-12) composite?
False
Suppose 3*f + 3*v = 465, 0 = f + v - 5*v - 150. Suppose 0 = -l - l - 5*r + f, 2*l - 5*r = 114. Is l composite?
False
Let p be 900/3 + 1*2. Suppose 2*y - 3*d = 157, 4*y - d - 27 = p. Is y composite?
False
Suppose -7*x + 628 = -3*x. Is x a prime number?
True
Let i be 66/14 - (-4)/14. Suppose 4*u = i*u - 37. Is u composite?
False
Suppose 0 = 2*y + w - 716, 7*w = -2*y + 4*w + 716. Is y prime?
False
Let b(j) = 3*j**2. Let v be b(1). Suppose -s = -v*s + 58. Suppose -s - 4 = -m. Is m a composite number?
True
Let v be 4 - 1/(-2 - -3). Suppose 4*l = -4*g + 2700, 11 = -4*l + v. Is g a composite number?
False
Let n(z) = -7*z. Let g(i) = -2*i - 1. Let h = 2 + -1. Let y be g(h). Is n(y) prime?
False
Let q = -1087 + 2450. Is q prime?
False
Suppose 0 = -4*t + 1916 - 676. Suppose 2*l - 5*h = l + 92, -5*l - 5*h = -t. Is l a prime number?
True
Let b = 49 - -48. Is b a composite number?
False
Suppose 210 + 1030 = 4*r. Suppose 3*f - 8 = r. Is f a composite number?
True
Let a = -4 - -6. Let f be (-1)/(-4) - 7/(-4). Suppose 0 = -3*s + f*p + 134, -a*s + 4*p + 84 = -0*p. Is s a composite number?
True
Let w be 2/(-4) + 2143/2. Let u be (-1)/(w/(-1068) + 1). Let d = u + -213. Is d prime?
False
Suppose 0 = -4*p + 11 - 3. Let i be 1 + (-1)/p*2. Suppose i = 5*z - 2*z - 261. Is z a prime number?
False
Suppose 2*r = -3*r - 10. Suppose 78 = 3*b - 27. Let x = r + b. Is x composite?
True
Let u(h) = h**3 + 4*h**2 + h - 3. Let f be u(-3). Suppose a = f*a - 30. Is a prime?
False
Let h be 8508/(-15)*(-5)/2. Suppose 0 = -5*q + 117 + h. Is q prime?
True
Let f(z) = -z**2 - 3*z - 4. Let s(p) = 3*p**2 + 8*p + 13. Let n(l) = -7*f(l) - 2*s(l). Let o be n(-5). Suppose -w - 77 = -o*w. Is w a composite number?
True
Suppose 3*q + 1035 = 2598. Is q a composite number?
False
Let o = -5 - -10. Let i(y) = -7*y**2 + 3*y + 17. Let u(v) = -3*v**2 + v + 8. Let k(x) = o*u(x) - 2*i(x). Is k(0) a composite number?
True
Let j = -902 - -1879. Is j a composite number?
False
Let u(b) = -b - 92. Let q be u(0). Is 21/6*q/(-2) a composite number?
True
Suppose -3 = f - 3*k, k + 0 - 1 = 0. Is (1 + f/3)*119 a prime number?
False
Let a = 9 - 12. Is 127/(a/(-3 - 0)) prime?
True
Let s(j) = 2*j**2 + j. Let y be s(2). Suppose q - 59 = -y. Is q a prime number?
False
Let q(n) = -102*n + 25. Is q(-16) prime?
True
Let x(n) = -319*n**2 - n - 1. Let f be x(-1). Let m = -188 - f. Is m a prime number?
True
Let u(r) = -2*r - 5. Let d be u(-5). Suppose 2*m + 665 = 5*h, 2*m + 509 = 4*h + d*m. Is h a prime number?
True
Suppose 0 = -3*p - 2*u + 496, 5*u + 228 - 57 = p. Suppose 0*i - 281 = -i. Let r = i - p. Is r composite?
True
Let n(y) = -63*y**2 + 2*y + 1. Let p be n(-2). Is 2 + -5 + 1 - p a composite number?
True
Let p be 6/(-1 - -3) - 1. Suppose -34 = -4*k + 2*o, -p*o = o + 15. Is 741/9 + k/9 composite?
False
Suppose 651 + 193 = 4*j. Is j a prime number?
True
Let j be -1 - (0 + 1) - 119. Let m = j - -300. Suppose 2*b = m + 223. Is b composite?
True
Suppose -w + 2278 = 83. Is w prime?
False
Let v be 8/(-14)*(-42)/12. Suppose -3*k = v*k - 195. Is k a prime number?
False
Let f = 4 - 4. Let g be 1956*(f + (-2)/2). Is 2/(-6) + g/(-9) a composite number?
True
Let g(l) = -l. Let x(z) = -19*z**2 - 5*z - 4. Let u(w) = 3*g(w) - x(w). Is u(-5) composite?
True
Let p = 25 + 82. Suppose -q = o - p, q + 4*q = -o + 519. Suppose -3*g + 8 = -q. Is g a prime number?
True
Let t = -2 - -3. Let c be (-1 - -4)*(t - -66). Suppose -3*b = -0*b - c. Is b prime?
True
Suppose 3*t = 6*t - 18. Let w(n) =