3 + a**2 + 2*a. Let b(l) be the first derivative of s(l). Is b(9) prime?
True
Let z = 82 + -47. Is z a composite number?
True
Let n = -5 + 7. Suppose 317 = 4*c + 5*t, -n*c + 116 = 4*t - 38. Is c prime?
True
Suppose -3*l + 5*l + 2 = 2*a, -2*l + 4 = 0. Is (a - 133)*1/(-2) a composite number?
True
Is ((-6)/4)/(3/(-282)) a composite number?
True
Suppose 4*l - 1188 - 168 = 4*n, 15 = 5*n. Is l/4 + (-6)/12 a prime number?
False
Suppose 336 = 4*m - 1340. Is m a prime number?
True
Let y = -1958 - -2989. Is y a composite number?
False
Let h(r) = -r**2 - 9*r - 14. Let b be h(-6). Suppose 3*o - 2229 = 3*l, b*l + 636 = -5*o + 4351. Is o a prime number?
True
Suppose 3*a = 5*a - 6. Is a + (-4)/4 - -44 a prime number?
False
Suppose 3*t = -2*t - 115. Let s = t + -5. Let d = 9 - s. Is d prime?
True
Suppose 2*s - 4*s = 12. Suppose -2*f + 4*f = -4*z - 808, 4*f - 3*z + 1671 = 0. Is ((-11)/(-3))/(s/f) a prime number?
False
Is (3*4/18)/((-4)/(-78)) a composite number?
False
Suppose -12 = -3*w + 3. Suppose -2*i + 5*o + 397 = 0, -1000 = -2*i - 3*i + w*o. Suppose -23 = 2*h - i. Is h a prime number?
True
Suppose 6*p - 2*p - u - 44 = 0, -4*u = -2*p + 22. Suppose 3*f + p = z - 4, -3*f - 6 = 2*z. Is -2 + (2 - z) - -202 prime?
True
Let f be (4 + -6)*(0 - 1). Is 38/4 + f/4 composite?
True
Is (-761 - 3)*(-4)/16 composite?
False
Suppose 9*l + 2*l = 10901. Is l composite?
False
Let u = 10 + -7. Suppose -4*f + 5*q = -308, 0 = -u*f + 4*q + 112 + 119. Is f a composite number?
True
Suppose 3*w - 3339 = -0*w. Suppose -2*f - f + w = 0. Is f a composite number?
True
Let u = -15 + 146. Suppose g + 2*p - 255 = -4*g, -2*g + u = -5*p. Is g a prime number?
True
Let a = -1185 - -2404. Is a a composite number?
True
Suppose -a + 9033 = 1706. Is a a prime number?
False
Suppose 3*n - 5 - 4 = 3*i, -21 = -4*n - 5*i. Suppose n*x - 7*x = -177. Is x a composite number?
False
Suppose -8 = -4*m, -n - m = 3*n - 2. Suppose 21 = 3*d + 2*k, 4*d - 2*k - 4 - 10 = n. Suppose -5*l + 2*r + 223 = 6*r, -d*l - 5*r = -220. Is l a prime number?
True
Is -4 + 6 + 0 + 77 prime?
True
Let y = 2 - 0. Suppose y*c - 1027 = -3*c - 3*b, 0 = -5*b + 20. Is c prime?
False
Is (-6906)/(-14) + (-20)/70 a prime number?
False
Suppose -x - y + 2297 = 3*x, -2*x + 5*y + 1121 = 0. Is x composite?
True
Suppose t - 8 - 10 = 0. Let b be t/4 + (-4)/8. Suppose 0 = l - b*l + 237. Is l a composite number?
False
Suppose 2*t + 3*t + 315 = 0. Let o be (-392)/t + 4/(-18). Suppose -k + 3 + o = 0. Is k composite?
True
Let q be 38 + (-3)/((-9)/3). Let y(r) = 31*r + 10*r + 1 + q*r. Is y(2) a prime number?
False
Is (-5)/(3*1/(-681)) a prime number?
False
Suppose 5*i = -2*n + 6336, -n - 4*i = 2*n - 9511. Is n a composite number?
True
Suppose -25 = b - 5*m - 239, -2*m - 6 = 0. Is b a prime number?
True
Suppose 4*f = f + 444. Let i(t) = t + 4. Let d be i(0). Suppose -d*b + f = -24. Is b a composite number?
False
Let d(k) = 2*k**2 - 7*k - 1. Let b(r) = 2*r**2 - 6*r - 1. Let c(f) = 6*b(f) - 5*d(f). Let i(y) = y**2 - 5*y + 2. Let v be i(2). Is c(v) composite?
True
Let j(d) = 6*d**2 - 5*d + 4. Let x be j(3). Suppose -3*l - 5*n = -78, x = 2*l - l - 4*n. Is l a composite number?
False
Let l(d) = d**3 - 4*d**2 + 6*d - 11. Is l(6) a composite number?
False
Let a(r) be the second derivative of r**3/6 + 119*r**2/2 + r. Let z be 0/((-12)/16*-4). Is a(z) prime?
False
Let b = 2 + 2. Let h = b - 19. Is (-669)/h*(-10)/(-2) a prime number?
True
Suppose 77 = o - 66. Let x = o + 42. Is x prime?
False
Suppose -b + 2*y + 4483 = 0, 2*b - 5*y = -b + 13451. Is b a prime number?
False
Let h(u) = 3 + u + 4*u**2 + u - 2. Let k be h(-1). Suppose 2*o = 3*y - 31, 4*o - k = -4*y + 5. Is y a prime number?
True
Suppose 5*h = -3*t - 149, -2*t + 4*h = -t + 27. Let w = t - 14. Let m = w - -148. Is m a composite number?
True
Let n = 796 + -109. Is n a composite number?
True
Suppose 3*x - 9 = 0, -4*c - 9 = -5*c - x. Let n be (-12)/c - 151*1. Let r = n + 218. Is r prime?
False
Let a be 377 + (1 - -3)/(-4). Is 3/(1 - 364/a) a composite number?
True
Let t(x) = -x**2 - 6*x - 2. Let n be t(-5). Let c be -3 - -6 - (n + 0). Suppose c*d - 5*d + 15 = 0. Is d composite?
False
Suppose 6*t - 3857 - 6301 = 0. Is t prime?
True
Suppose 2*l - 900 = 694. Is l a composite number?
False
Suppose 6*r - 130 = -2*x + 2*r, -2*x + 128 = 2*r. Suppose 3*w = 182 + 118. Let f = w - x. Is f a composite number?
False
Suppose -2*o + 2*p + 20 = 0, o - 2*o + 5*p + 30 = 0. Suppose 0 = 5*l - 0*n + 3*n - 20, l - o*n = 32. Is 2/l - 412/(-28) composite?
True
Let s(v) = 6*v**2 + 4*v + 3. Let l(z) = -2*z - 1. Let f be l(2). Let j(y) = y**2 + 5*y - 2. Let r be j(f). Is s(r) a composite number?
False
Suppose 0*p = -3*a - 4*p + 9, 5*p = -3*a + 9. Suppose 3*i = -4*l + 197, 4*i = a*i - 4*l + 63. Is i a prime number?
True
Let j(q) = 4*q**2 + 10*q**3 + 1 + 1 - 5*q**2 + 3*q - 5. Is j(2) a prime number?
True
Suppose 5*v + 83 = 638. Suppose -5*c + 2*c + v = 0. Is c composite?
False
Let t = -5 - -7. Is 3*13 + (t - 4) prime?
True
Let x be 227/(-5) + 2/5. Is (-11395)/x + 2/(-9) prime?
False
Suppose -2*c = 5*i - 219, -3*c + 5*i = -0*i - 266. Let l = c - 20. Is l a composite number?
True
Let p = 284 + -127. Is p prime?
True
Let x(u) = -7*u + 4*u - 3 + 8 - 9*u. Is x(-6) prime?
False
Suppose 34 = 5*i - 4*b, 2*i + i - 23 = 5*b. Let v(l) = l**3 - 5*l**2 - 7*l + 9. Let s be v(i). Suppose y = s*y - 70. Is y a composite number?
True
Suppose 4*x + 3690 = 2*w, 3*x + 7385 = 3*w + w. Is w a prime number?
True
Let q(l) = -3*l. Suppose 2*y + 25 = 7*y, 3*v - 5*y + 22 = 0. Let k be q(v). Is 1/k + (-476)/(-6) prime?
True
Suppose 3*r - 2*r = -5*j - 9, r = -3*j - 7. Is j/(-2)*130 - 3 a prime number?
False
Let a(p) = 2*p**2 + 8 - p**2 - 1 + 8*p + p. Let y be a(-8). Is (-43 + y)*7/(-4) a composite number?
True
Let j(q) = -33*q - 1. Is j(-4) a composite number?
False
Is (685/2)/(4/8) prime?
False
Let z be (-12)/(-66) - 62/(-22). Suppose 3*b + 5*h - 347 = -0*h, -z*h = 2*b - 232. Is b composite?
True
Suppose -5*d - 1361 = -4*n, n - 3*d - 20 = 322. Suppose 32 = r - n. Is r prime?
False
Let x be 248 - ((-24)/2)/4. Suppose -3*b + j = 6*j - x, 4*b - 4*j = 292. Is b prime?
False
Let x(j) be the second derivative of -j**3/6 - 7*j**2/2 - 2*j. Let f be x(-7). Let l(y) = y**2 + y + 47. Is l(f) prime?
True
Let y(q) = 439*q - 1. Let w = -8 - -7. Let t be y(w). Let d = t + 631. Is d prime?
True
Let f be (1 + 5)/(12/(-8)). Let t = f - -7. Suppose 0 = t*x - 8*x + 1055. Is x prime?
True
Let i(p) = -p**3 + 7*p**2 - 5. Let b be i(7). Let z be 2*((-15)/6)/b. Suppose -3*j - 218 = -4*q + z, 189 = 4*q + 3*j. Is q prime?
False
Is (-4588 + 1)*4/24*-2 composite?
True
Let b = -41 - -26. Is ((-10)/b)/(4/894) composite?
False
Is 1/((-1)/(-199)) + 4 prime?
False
Let o(n) = -2*n**2 + 3*n + 2. Let p be o(-1). Is 21780/27 + (-1)/p a prime number?
False
Let x = 132 + -58. Suppose -q = 2*y - x, 0*y + 27 = y - 2*q. Is y a composite number?
True
Let j(i) = i + 4. Let r be j(-6). Let f = r + 13. Is f composite?
False
Suppose -2*w - 2 = 2. Let k(u) = u + 2 + 2*u - 1 + 0 - 9*u**3 + 3*u**2. Is k(w) composite?
False
Suppose -5*n + 1024 = -301. Suppose 3*y = -88 + n. Is y composite?
False
Suppose -3*w = w + 12. Let r be (-1)/w - (-3852)/27. Let o = r - -90. Is o prime?
True
Suppose -3*j + 7 - 1 = 0. Let w(x) = x - x + 5 - 5*x + 6*x**2 + j*x. Is w(4) a prime number?
True
Suppose 2*z = 8 + 40. Suppose 5*p + 15 = 4*h - 3*h, -5*h = -2*p - 121. Let i = h + z. Is i a prime number?
False
Let g be (-71)/(-2) - (-1)/2. Let a = g + -21. Suppose 0*t + 5*t - a = 0. Is t a prime number?
True
Let g be 1/2*0/2. Let j be ((-11)/(-44))/(1/76). Suppose g*l = -l + j. Is l composite?
False
Suppose 24 = -v - 2*p, -3*p = 4*v - p + 120. Let x = -17 - v. Suppose 4*q = -6*u + 2*u + 12, -2*q + u + x = 0. Is q prime?
False
Suppose 5*n + 514 - 144 = 0. Is 2 - 2/(-2) - n prime?
False
Suppose 11*k - 15517 = 11202. Is k a composite number?
True
Let s(r) = 80*r - 3. Is s(5) prime?
True
Is 15/21 - 1 - (-4432)/28 composite?
True
Suppose -60 = -4*o - 8. Is o prime?
True
Let q(k) = k**3 + 1. Let x(f) = 6*f**3 + 4*f**2 + f + 5. Let r(p) = -5*q(p) + x(p). Let j be ((-36)/(-15) - 3)*5. Is r(j) a prime number?
False
Suppose -4*p = -5 - 3. Is (4 - 3)/(p/446) prime?
True
Suppose -5*t - 25 = 3*h, 3*t + t + 5*h + 33 = 0. Let c be t/(-3) - 14/(-6).