Is h a prime number?
True
Let x(l) = 111*l**2 + 3*l + 5. Suppose 0*g + 12 = -6*g. Is x(g) a composite number?
False
Suppose 0 = -3*b + 2*o, o + 3 = 4*b - 2. Suppose 16 = 4*k + i, -5*i = k - 2 - b. Suppose -4*y - 4*a = -124, -k*y + 97 = -4*a - 27. Is y prime?
True
Let f = 61 + -28. Suppose -f*o = -31*o - 3518. Is o composite?
False
Let f = 1 - -1. Suppose f = n + 1. Suppose -l + 9 = -n. Is l a composite number?
True
Suppose 4*g - 1145 = 4*z + z, 281 = g - 3*z. Let h = -49 - -194. Suppose -2*w = -2*d - 7*w + g, -w = -d + h. Is d prime?
False
Suppose 0 = -q - 5*z + 19, 5*q - 7 = -2*z - z. Is (-2)/q*(-2633)/(-2) a prime number?
True
Let v = 15 + -12. Let p be (-2 - -1)*(-3 + v). Suppose 0 = 2*k + 5*y - 901, p*k - 3*y = -3*k + 1362. Is k a composite number?
True
Let y = -907 - -950. Is y a prime number?
True
Suppose -3*p + 105905 = 4*f + 29724, 5*p - 2*f = 126925. Is p a composite number?
True
Suppose -92*a + 74*a = -25866. Is a composite?
True
Suppose 3*n - 2*u = -3*u + 56521, 3*n + 5*u - 56537 = 0. Is n composite?
False
Suppose -h + 144 = 5*x, 2*x + 8 = -0. Let g = 355 - h. Is g a prime number?
True
Let u(o) = o**3 - 8*o**2 + 3*o - 5. Suppose -5*m = -m - 32. Let c be u(m). Let t = c + -13. Is t prime?
False
Let o = -316 + 647. Is o a prime number?
True
Suppose 9*j - 7*j = -3*n + 6379, 10633 = 5*n + 2*j. Is n a composite number?
True
Is 166/((-4)/30*-5) a prime number?
False
Let s be 212/((2 + -1)/7). Let p = -191 + 194. Suppose -p*x = x - s. Is x prime?
False
Let v(j) = j**3 + 5*j**2 + 4*j + 5. Let z be v(-4). Suppose 15 = -z*h, -l - 2*h = 4*l + 46. Let m = l + 15. Is m a composite number?
False
Suppose 65*s + 24328 = 69*s. Is s prime?
False
Let v = -6555 - -9820. Is v composite?
True
Let s = 529 - 313. Suppose 0 = 2*x + 26 - s. Let j = x - 58. Is j composite?
False
Is (-44585)/(-25) + 5/(50/(-4)) a composite number?
False
Let l be (-2)/12*4*-39. Let a = l + -16. Suppose 5*g - a = 0, -2*t + 353 = -g + 65. Is t a composite number?
True
Let y(r) = r**3 - 27*r**2 - 12*r - 19. Let a be y(16). Is (-12)/8 - a/6 a prime number?
True
Let l = 22986 - 4927. Is l a composite number?
False
Let v(w) = w**3 + 6*w**2 - 19*w - 15. Let q be v(17). Suppose -q = -7*y - 1906. Is y prime?
False
Suppose -2*l + 0*l + 3834 = 0. Let p = -356 + l. Is p composite?
True
Let y = 7 + -7. Suppose 5*b - 2*b - 24 = y. Is (2/b)/((-5)/(-220)) prime?
True
Suppose -5*b + 2 = -18. Suppose -5*g = -n - 2*g + 679, 4*g = -b*n + 2716. Is n a composite number?
True
Let c = -2175 + 3674. Is c a prime number?
True
Let m = 45524 + -24651. Is m prime?
True
Let a = 6 + 1. Suppose -3*j + 2 = -a. Suppose j*l - 344 = 13. Is l composite?
True
Suppose -12*c = -14*c. Let k be c + -4 - (-2 + -2). Suppose 1350 = 4*x + 2*g, k = -2*x - 3*g + 4*g + 665. Is x a prime number?
False
Suppose 0 = 2*j - h - 4530, -3*h = 5*j - 4*j - 2279. Is j a composite number?
False
Suppose 5*q + 41 = 4*f, -5*q + 3*f = f + 33. Let i(t) = -15*t + 7. Let d be i(q). Let n = d + -29. Is n a composite number?
False
Suppose -4 = 5*x - 4*x. Is (x/12)/(-4 + (-31883)/(-7971)) a composite number?
False
Suppose 6*k - 10710 - 3144 = 0. Is k a prime number?
True
Let w(k) = 3*k**3 - 36*k**2 - 3*k + 185. Is w(27) composite?
False
Let t(n) = -3*n**2 + 3*n + 8. Let g be t(4). Let d = -28 - -13. Let m = d - g. Is m prime?
True
Is (-2*2/(-8))/((-17)/(-40834)) prime?
True
Suppose 5*o + 5*k - 70 = 0, 5*o = -4*k + 59 + 7. Let d = 15 - o. Suppose -r - 5 = d*g - 232, -4*g = 5*r - 1093. Is r a prime number?
False
Let c(r) = r**2 - 3*r + 2. Let i be c(4). Is (18/(-8))/(i/(-56)) a composite number?
True
Let f(x) = 41*x - 32. Let q be f(8). Let t = q - -345. Is t a composite number?
False
Is (-20)/((-13230)/(-13270) - 1) composite?
True
Let j = -650 - -5845. Is j composite?
True
Let q(p) = -191*p + 200. Is q(-7) prime?
False
Let v = 7 + -10. Is 974*v*2/(-12) a composite number?
False
Let p be -7196*10/15*6/(-4). Suppose 3*c = -4*b + p, 2*b + 2*c = 3*b - 1799. Is b composite?
True
Let r(j) = j**3 + 5*j**2 - 6*j + 1. Let m be r(-6). Let a(k) = m + 39*k + 13*k - 9*k + 9. Is a(9) prime?
True
Suppose -3*g + 5*o = -9406, -3*o + 3889 = -4*g + 16412. Is g a composite number?
True
Suppose -3*a - 5 - 6 = -4*t, 5*a + 5 = 4*t. Suppose -a*x + 591 = -2076. Is x composite?
True
Let a(y) = 15*y - 5 + 14*y**2 + y**3 + 15*y**2 - 9*y**2. Is a(-18) prime?
True
Let s(d) = 3*d**2 - 19 + 62 + 6*d - 29. Is s(-8) prime?
False
Let h(g) = g**2 - 8*g + 8. Let l be h(11). Let x = l + -10. Is x a composite number?
False
Let w be (-3)/((16/4)/(-4)). Let o(f) = f**w - 2*f**3 + 2*f**2 + 1 + f + f**2. Is o(-6) composite?
True
Let q = -8245 + 20064. Is q a prime number?
False
Let x(n) = 3*n**2 - 4*n - 11. Let c(f) = -f**3 - 6*f**2 - 3*f + 3. Let b be c(-6). Suppose -5*v = -d - 44, -7 = -v + 5*d + b. Is x(v) a composite number?
False
Is 38882/(-2)*(1 + 4 + -6) prime?
True
Let q(f) = -f**3 - 4*f**2 + 5*f + 3. Let u be q(-5). Is u*(-724)/(-12) + -2 prime?
True
Let q(l) = -359*l - 81. Is q(-1) a prime number?
False
Let c(m) = -41*m**2 - 18*m - 1. Let y be c(-12). Let v = -3230 - y. Is v prime?
True
Let w = 286 - 116. Suppose -494 = -4*j + w. Is j composite?
True
Let i(w) be the third derivative of w**5/30 + 7*w**4/24 - 25*w**3/6 + 17*w**2. Is i(-8) prime?
True
Suppose -29 + 8 = 7*x. Is (-4786)/4*(0 + -5 - x) prime?
True
Let m(r) = 32*r**2 + 11*r - 5. Let y be m(9). Let x = y - 1733. Is x composite?
False
Suppose -6 = -2*v - v. Suppose -8 = -v*t, 2*t + 127 + 29 = 2*j. Is j a composite number?
True
Let d(u) be the second derivative of u**4/12 - 4*u**3/3 + 7*u**2 + 8*u. Is d(13) prime?
True
Let g(z) = 2 - 6*z + z + 4*z + 2*z**2 - z**3. Let d be g(2). Suppose d = -2*f + f + 15. Is f a prime number?
False
Suppose 4*c - c + 3*y - 27744 = 0, -2*c + 4*y = -18502. Is c a composite number?
True
Suppose 0 = 18*g - 406028 - 783502. Is g a prime number?
False
Suppose 5*l = 4*k - 504083 + 67312, 3*l = -4*k + 436811. Is k a prime number?
True
Let h(l) = -16*l + 2. Suppose -d + 8 = 2*c, -5*d = -2*c - 3 - 1. Suppose 2*v = -6 + d. Is h(v) prime?
False
Let r be (-2 + 1)*(-4)/4. Is (r - 1759)*(-11)/33 a composite number?
True
Let b(d) = -d**3 + 10*d**2 - d + 12. Let m be b(10). Suppose -m*w + 1172 = 2*w. Is w a composite number?
False
Suppose 1714 + 86214 = 8*i. Is i prime?
False
Suppose 3*f = 10*f - 4431. Suppose 3*q + f = -150. Let x = q + 530. Is x composite?
False
Let r(u) = -u**2. Let v be r(3). Let x = v - -11. Is x/18*3*993 a composite number?
False
Let u be 2*1*-13784 + -4. Is (-2)/(-7) - u/28 composite?
True
Suppose 8 = -x + 5*x. Suppose -x*l + 5*k - 9 - 16 = 0, -3*l = -5*k + 25. Suppose a + 0*a - 10 = l. Is a a composite number?
True
Suppose 3*c - 5*b = 12, 2*b = c - b - 8. Let z be (c + 1 - 4) + -3. Is (-6)/(-21) - 3407/z a prime number?
True
Let u(y) = -28*y + 15. Let p be 1*8/36 + 130/(-18). Is u(p) composite?
False
Let d(m) = 8*m**2 + 5*m + 13*m**2 - 2*m**2 + 1. Is d(-8) a prime number?
False
Suppose 102*k = 103*k - 113. Is k composite?
False
Suppose 98*n - 58*n - 131960 = 0. Is n a prime number?
True
Let b be 6 + (2 - 3) + -4. Let q(y) = 165*y - 2. Is q(b) prime?
True
Suppose q - 3 = -4*f - 0*q, -5*f + 20 = -2*q. Suppose -f*l + 1 = -7. Suppose l*b = -44 + 280. Is b a composite number?
False
Let b be (-4 + -2)*(-3)/6. Suppose 5*y + 25 = 3*o - b, -y = -5*o + 10. Let d(t) = 3*t**2 + t - 3. Is d(y) prime?
True
Suppose -5*x + 3*c - 6*c = -344, x - c = 72. Suppose -3*b + x = -881. Is b composite?
False
Let n be 40/(-50) - 29/(-5). Suppose 0*h + 278 = 3*a - h, 0 = n*a + 4*h - 435. Is a a composite number?
True
Suppose -4*z + 5*z + 1679 = 0. Is (-1 - z)/(6 - 4) a composite number?
False
Suppose 5*w = 15, 0*p + 4*w = -3*p + 27. Suppose 2*k - 2041 = -p*m, -2*k - 1231 = -3*m - 0*k. Is m prime?
True
Is 2778 + (-99)/(-5 - 4) a prime number?
True
Suppose -10197 = -2*t - 3*y - 2915, t + 2*y - 3641 = 0. Is t a composite number?
True
Let q = 6384 + -4523. Is q prime?
True
Suppose c + 2*c + 106 = -5*z, -92 = 5*z - 4*c. Let a = -1 - z. Is a prime?
True
Let q be 632/12*(0 + 12). Suppose 2*g - 11 = -5*a + 3*g, -5*a + 15 = -5*g. Suppose -3*b = n - q, -a*n + b = -0*b - 1271. Is n a prime number?
False
Is 248 - (-4 - 5 - -3) composite?
True
Suppose -32*m + 54273 = -73375. Is m prime?
True
Suppose 0*v + 4*v - 5564 =