12808*t**2 + 18*t + 19. Is l(-1) a prime number?
True
Is (-1)/((-5005)/(-1253) + -4) a composite number?
False
Let m = 22109 - 14248. Is m a composite number?
True
Is 56/(-20) + 3 + 104436/45 a prime number?
False
Is ((-987)/188)/(6/(-2696)) a prime number?
False
Suppose 5*f + 2*n - 22801 = 3*n, 3*n = 5*f - 22793. Is f prime?
True
Let j be -1 + 1 + 1/1. Let g be (24/(-4) + 0)/j. Is 5/(-1)*354/g a prime number?
False
Let r be (-774)/(-14) - (-12)/(-42). Let p = 28 + -22. Suppose 0 = -g + p*g - r. Is g a prime number?
True
Is (-1078 + 9)*(4 - 5) a composite number?
False
Suppose -m + 3*m = -494. Suppose 6*s + 18154 = -23*s. Let h = m - s. Is h a composite number?
False
Suppose 0 = -4*l - 4, -2*w + l = 447 + 216. Let u = -171 - w. Is u composite?
True
Suppose -8911 = -4*n + a, 2*n + 2*a + 0*a = 4448. Suppose -y + 5*y + 3*i - n = 0, -y + 553 = 2*i. Suppose -2*h = -415 - y. Is h prime?
True
Let h be (-11)/((-55)/(-50)) + -2. Let z = h + 4. Is z/16*1448/(-2) a composite number?
True
Let j = 35626 - 24965. Is j a composite number?
True
Let i(q) = -q**3 + 18*q**2 - 11*q + 17. Let h be ((-6)/(-2) + -10)/(2 - 3). Is i(h) prime?
True
Let z(w) be the first derivative of -10*w**2 - 3 + 2/3*w**3 + 13*w. Is z(16) a prime number?
False
Let d(c) = -91*c**3 + 10*c**2 + 29*c - 1. Is d(-6) a composite number?
False
Let r(d) = 7127*d**2 - 2*d + 3. Is r(2) a prime number?
False
Is ((-920764)/12)/13*-3 composite?
False
Let k(u) = -1. Let b(m) = 2*m - 13. Let q(r) = -b(r) + 2*k(r). Is q(-7) composite?
True
Suppose r - 3*l = -4*l + 4871, 2*r + 5*l - 9742 = 0. Is r composite?
False
Let v(s) = -s**3 - 7*s**2 - 1. Let j be v(-7). Is (1270/4)/(j/(-2)) a prime number?
False
Let k(n) = n**2 - 13*n + 8. Let z be k(12). Let x be 6/z + 634/4. Suppose 2*v + x = 3*y - 2*v, 5*y + 4*v - 315 = 0. Is y composite?
False
Suppose -4*y = -4*u - 8*y + 59832, -2*u = 4*y - 29906. Is u composite?
True
Suppose 0 = 11*w - 112280 - 62543. Is w composite?
True
Let c = -2864 + 4831. Is c a composite number?
True
Let j be 3/((-12)/(-130))*52/(-1). Let v = -1019 - j. Is v a composite number?
True
Let n = 1176 - 697. Is n composite?
False
Let d = -1 + 5. Suppose -5*r = -3*y - 450, 0 = -2*r - 3*r - d*y + 415. Is r a composite number?
True
Let f(l) be the third derivative of l**4/6 - 7*l**3/3 + 9*l**2. Let n be f(4). Is 126 - (n + 0 + -3) composite?
False
Let i = 699 - 1723. Let j = i + 2145. Is j a prime number?
False
Suppose 0 = -l + 3*s - 24, -4*s = 4*l - 8*s + 128. Let a = -5 - l. Is a prime?
True
Suppose 9*s + 25 = o + 4*s, -3*s - 22 = -2*o. Suppose b + 112 = 2*x - 0*x, -3*x = o*b + 599. Let q = b + 177. Is q prime?
True
Suppose 8*z + 186888 = 32*z. Is z composite?
True
Let v be (6 - 1 - 1)*2. Let o(p) = -p**3 + 8*p**2 + 7. Let b be o(v). Suppose 0 = -b*n + 5*n + 62. Is n a prime number?
True
Let b(u) = 164*u**2 - 3*u. Suppose -8 = -9*o + 5*o. Let d be b(o). Suppose 3*y = -4*p + 447 + 522, 0 = 2*y + 4*p - d. Is y a prime number?
False
Let q = -10 + 29. Suppose -q = 4*n + 53. Is (-18)/(-81) + (-662)/n prime?
True
Suppose 7*d = 4*d - 2*s + 10059, -5*d + 3*s + 16765 = 0. Suppose 3*c + 4*c - d = 0. Is c a composite number?
False
Let s = 3 + 3. Suppose n = s*n - 10255. Is n prime?
False
Let q(o) be the third derivative of o**4/12 + 13*o**3/6 + 3*o**2. Let s be q(-5). Suppose r + 0*c = -4*c + 199, -5*r = -s*c - 1064. Is r a prime number?
True
Let m = -1632 - -3974. Suppose z + m = g - 2*z, -z = -g + 2336. Is g composite?
False
Let c = 34 - 19. Suppose -16*d + c*d + 185 = 0. Is d a composite number?
True
Let h(j) = 144*j**2 - 3*j - 8. Let x be h(-5). Let c = x + -2090. Is c composite?
True
Let o(l) = -19*l - 9. Let z(c) = c**3 + 2*c**2 + 3*c + 2. Let h be z(-2). Is o(h) composite?
False
Let c = 1859 + 4894. Is c a composite number?
True
Is (-12301)/((-20)/35 + 12/(-28)) a composite number?
False
Suppose 2*a = 6*a - 12. Suppose 4*d - 33 = -a*k, 3*d - k = -0*k + 41. Let z = d + 21. Is z prime?
False
Let w(s) = -4*s**2 + 10*s + 8. Let d(r) = -r**3 + 9*r**2 - 21*r - 16. Let q(y) = 3*d(y) + 5*w(y). Is q(-9) a prime number?
False
Let y = 24 + -15. Suppose y*o = 11*o. Suppose -2*b - 789 = -r + 86, -b - 3 = o. Is r prime?
False
Let h be 6*-1*(4/12 - 0). Is (-205)/4*(-6 - h) a composite number?
True
Let l(d) = -d**3 - 2*d**2 - 2. Let o be l(-3). Let b = -79 + o. Let t = -46 - b. Is t prime?
False
Suppose -5*r - 3*v + 23543 = 0, -r - 2*v + 2289 + 2414 = 0. Is r composite?
True
Let d(m) = m**3 - 8*m**2 + 4*m + 11. Let c be d(6). Let l = c + 89. Let b = l - -7. Is b a prime number?
True
Let d = 1020 - 27. Suppose 3*l - 6*l = -d. Is l a prime number?
True
Let p(y) be the third derivative of -y**4/24 + 2*y**3/3 - 3*y**2. Let x be p(7). Is ((-303)/x)/(4/8) composite?
True
Suppose -5*p - 1097 = -q, -q = -0*p + p - 1085. Is q a composite number?
False
Let t = -21 - -27. Suppose t*j = j + 9005. Is j prime?
True
Suppose 0 = -j - 3*g, 14 = 4*j + g - 3*g. Suppose -j*r - r = -2212. Is r a prime number?
False
Suppose 0*j - 2*j - 2*a + 4954 = 0, 3*j = -a + 7431. Is j prime?
True
Suppose -3*y = -4*h - 29, y + 5 = -2*h - 2. Suppose 0 = y*m - m. Suppose m = -p - p + 322. Is p composite?
True
Suppose 8*x = 3*x + 9155. Let i = x + -586. Suppose 3*b + 1144 = 3*s - 101, i = 3*s + 3*b. Is s a composite number?
True
Suppose 2*p = 4*c + p - 10, 0 = -4*p + 8. Suppose 6*j - c = 4*k + j, -2*k = 5*j + 9. Is -2*3*17/k prime?
False
Suppose 0 = -3*z + 12 + 168. Let x = 127 - 24. Let c = x - z. Is c composite?
False
Suppose 3*b + 8 = 5*x, -b + 2*x = x. Suppose -b*m + 2*m + 4046 = 0. Suppose -m = -5*f - 3*j, 5*f - 4*f - 395 = -3*j. Is f prime?
False
Suppose -4*g + 210 = -378. Suppose 0 = k + 9 - 4, t - 5*k - g = 0. Is t a prime number?
False
Suppose 14 = 21*t - 23*t. Let f = -3 - t. Is (-1)/f - (-1493)/4 a prime number?
True
Suppose 4*p = 12, 3*c - 5166 = 2*p - p. Let q = 2937 - c. Is q composite?
True
Suppose -4*x + 6*x = 0. Suppose -3*n + 2 = 2*y - 1, x = y + 3*n. Suppose -b + 76 = y*b. Is b prime?
True
Let z be 0 - (-15*14 - -1). Suppose 2*b - 159 - z = 0. Let v = b + 19. Is v composite?
True
Let k be 15776/(-7) - (2 - 48/28). Let f = -497 - k. Is f a composite number?
True
Let w(h) = -h**3 - 8*h**2 - 8*h - 4. Let k be w(-7). Is k + 1 - -537 - -2 prime?
False
Suppose 5*j - 1578 = -4*o, -624 = -2*j + o - 5*o. Suppose -80 - j = -2*a. Is a composite?
False
Let f(s) = 3*s + 2*s**3 + 0*s**3 + 12*s**3 - 4*s. Suppose x + 3 = 4*x. Is f(x) prime?
True
Let h = 10 - 8. Suppose 0 = 3*m + 3*t - h*t - 9, 2*m + t - 6 = 0. Suppose 2*y - 511 = -d, 3*d + m*y - 5*y = 1557. Is d composite?
True
Suppose -5*l - 2*b - 174 = 0, 10*l - 5*l + 5*b = -180. Let u = l - -93. Is u prime?
True
Let r = -422 - -1170. Suppose -2*i + r = -34. Is i prime?
False
Let w(i) = 65*i**3 - 10*i**2 - 91*i - 34. Let k(b) = 13*b**3 - 2*b**2 - 18*b - 7. Let s(y) = -11*k(y) + 2*w(y). Is s(-4) composite?
False
Let d(g) be the first derivative of g**2/2 - g + 2. Let o be d(3). Suppose 0 = 6*h - o*h - 84. Is h composite?
True
Let c(h) = -h**3 - 67*h**2 - 10*h - 39. Is c(-67) a composite number?
False
Let c = 1 + -11. Let v = 9 - c. Is v prime?
True
Let g = -25967 - -58676. Is g prime?
False
Let y(j) = 30*j**2 - 6*j - 10. Let o be y(-4). Suppose -3*u = p - o, -p + 995 = p - u. Is p a prime number?
False
Suppose 3*b - 2*o = 5*b - 2, 0 = o + 1. Let z(h) = -h - 4. Let l be z(-4). Suppose 239 = 3*r - b*q, -3*r - r - 5*q + 357 = l. Is r a prime number?
True
Let v = -239 - -450. Is v prime?
True
Let o(y) = 2*y**3 + 12*y + 1. Is o(4) a composite number?
True
Suppose 262 - 74 = -2*f. Is (-3)/((-373)/f - 4) prime?
False
Suppose 0 = -5*v - 20, -3*v - 4 = -5*j - 2*v. Suppose 4*p = m + 218, -3*m - 4*p + 87 = 725. Let y = j - m. Is y prime?
False
Suppose -x - 2*x + 984 = 0. Suppose 2*p = 4*o - 282, 3*p = 3*o - 335 + 122. Suppose 2*z - x - o = 0. Is z a prime number?
True
Suppose -19393 = -8*j + 36151. Is j composite?
True
Suppose -537 = 36*p - 39*p. Is p a composite number?
False
Let d = 6579 + 220. Is d prime?
False
Suppose 27886 + 4699 = 5*u + 4*z, -32580 = -5*u - 5*z. Is u a prime number?
True
Suppose 58*n - 25*n - 493581 = 0. Is n prime?
True
Let j(r) = 3*r**2 - 5*r - 11. Let a be j(-8). Suppose u - a - 300 = 0. Is u a prime number?
True
Let k = -4578 + 26845. Is k prime?
False
Suppose 0 = h + 7*h 