3*i = 3. Is 154 + -3 + w + 4 a composite number?
False
Let a = 28 - 23. Let x = 39 - a. Is x composite?
True
Suppose 0 = -2*g + g + 11886. Suppose 19*q - 5*q - g = 0. Is q composite?
True
Suppose -3*x = -4*b + 3553, 2*b + 4*x = 630 + 1130. Let c = 1333 - b. Let u = c - 188. Is u a composite number?
True
Let t(n) = 5*n**3 + 12*n**2 - 8*n + 13. Let p(j) = j**3 + 1. Let c(f) = -4*p(f) + t(f). Suppose 6*s = -50 - 10. Is c(s) a prime number?
False
Suppose c = -6*b + 3*b, 2*b = c. Suppose 2*x = 3*p + 28 + 23, -2*x - p + 31 = 0. Suppose j - x - 19 = c. Is j prime?
True
Suppose -212 - 882 = -2*l - 4*s, 0 = -4*l + 5*s + 2240. Let n = -1930 - -2816. Let y = n - l. Is y a prime number?
True
Let l(m) = -6*m**3 - 2*m**2 - m + 1. Let g be l(-2). Suppose 0 = 3*o + 2*x - 454 + 160, 399 = 4*o + 5*x. Suppose i = g + o. Is i a composite number?
False
Suppose 2722 = -11*l + 13*l. Is l a prime number?
True
Suppose n - 359 = -a, -4*a - 3*n + 622 + 819 = 0. Let z = 9 + a. Is z a prime number?
True
Let l(z) = -21*z**2 - 4*z + 17. Let r(w) = -21*w**2 - 3*w + 17. Let t(q) = 6*l(q) - 7*r(q). Is t(5) a composite number?
True
Let z = 194 + -108. Let m = 17 - z. Let d = m - -838. Is d prime?
True
Suppose -m - 15 = 3*g + 12, 4*g = -3*m - 56. Let o be 2 - 16/m*3. Suppose 0 = o*k - 3004 - 314. Is k a composite number?
True
Let y(x) = -x - 10. Let t be y(-12). Suppose -7*k + 2*k + 412 = t*h, -k + 87 = 5*h. Is k a prime number?
False
Let o(t) be the second derivative of 197*t**3/6 + 11*t**2/2 - t. Let g(l) = -9*l + 276. Let m be g(30). Is o(m) a composite number?
False
Suppose -5*l = 5*w - 45, 0 = w + 2*w + 15. Let j(t) = 49*t + 15. Is j(l) prime?
True
Let b be (-1 - 2) + (-1 - (-3 - 2)). Is -211*b*(5 + -6) prime?
True
Is (-16)/104 + (-54303)/(-13) a prime number?
True
Let c(l) = -l**2 + 67. Let z(a) = -a**3 - 12*a**2 + 3*a + 11. Let r be z(-12). Let q = r - -25. Is c(q) prime?
True
Suppose 3*y + 2*c - 4 = -0*y, 12 = -3*c. Is (-36)/24 - (-314)/y prime?
False
Suppose 0 = 7*k - 3*k - 48. Let r be k*-334*5/(-40). Suppose -2*u - 183 - r = -2*l, u = 4*l - 1383. Is l prime?
True
Let l = 11467 + 310. Is l prime?
True
Suppose -o - 5 = 1. Let u(j) = -56*j - 7. Is u(o) a composite number?
True
Let f = -696 - -11389. Let o = -7272 + f. Is o prime?
False
Let q(s) = 150*s - 7. Suppose 4*k + v - 29 = 0, -2*v - 17 = -k + v. Is q(k) composite?
False
Let m(k) = -470*k**2 + 7*k + 1. Let o be m(7). Is (-4)/(-14) - o/28 composite?
False
Suppose -4*b + 4 + 16 = 0. Suppose -r = -5*q - 765 - 5, -3928 = -b*r - q. Is r a composite number?
True
Suppose 3*u - 17964 + 3687 = 0. Is u prime?
True
Let m(j) = -j + 2. Let g be m(-2). Let r(c) = c**2 - c - 40. Let o be r(-7). Is 4/o*g*295 composite?
True
Let y be (6/15 - 0)*(2 - -3). Is 2 + y*(-110)/(-5) composite?
True
Suppose -4*q - 17 = 5*t, -4*t = q - 7*t + 17. Let a(c) = -c**3 - 8*c**2 - 6*c + 10. Is a(q) composite?
True
Let c be (-16)/(5/3010*4). Let l = c + 3697. Let k = -580 + l. Is k prime?
True
Is (-282)/(-47) - (-975 - 1) composite?
True
Let p(a) = 44*a**2 + 6*a + 29. Is p(-3) prime?
False
Let n(g) = -g**2 + 5*g - 2. Let u be n(4). Let i be 162/(-36)*4/(-6). Suppose -i*f + 725 = u*f. Is f a composite number?
True
Let q(d) = 4*d + 3*d**2 - 2 + 2*d**2 - 4 + 19. Is q(-9) composite?
True
Let i = 5491 - -5422. Is i composite?
True
Suppose -3*z - s + 2710 = z, -1348 = -2*z + 3*s. Is z prime?
True
Suppose -5*l + 5 = 0, 3*b - 8 = l + 3*l. Suppose -34 = -b*v - 14. Suppose 0 = t + 2*j - 28, 0*t + v*j + 125 = 5*t. Is t a prime number?
False
Let s = -3377 + 7068. Is s a prime number?
True
Let i be ((-2)/6)/((-12)/2560068). Suppose 0*t - 7*t + i = 0. Is t a prime number?
True
Suppose -y = 3*k + 10, -k = -2*y + 4*y. Is y/(3 - (-164)/(-1916)*35) a prime number?
True
Suppose 43434 = 7*o - 36835. Is o composite?
False
Let d(k) = 2*k**2 - 7*k. Let v be d(5). Suppose 0 = -3*b + v, 2*h + 3*b = -h + 15. Suppose -7*m + 2*m + 2055 = h. Is m prime?
False
Let a(b) = -6 + 4 + 2*b + 10 + 8*b**2 + 7*b. Is a(-5) composite?
False
Is ((-31999)/(-88)*-2)/(2/(-8)) prime?
True
Suppose -5*r + 4*q = -25410, 6 = -q + 1. Is r prime?
False
Suppose -5*v = -3*i - 225425, 2*v + 36009 = 4*i + 126193. Is v a prime number?
False
Let q = 10 - 6. Let o be 24/q + -3 + -1. Suppose 172 = 2*x + o*x. Is x composite?
False
Let k(q) be the first derivative of -13*q**2/2 + 2*q + 5. Is k(-9) a composite number?
True
Let k = 22 - 20. Let a(i) = -25*i + 5. Let f(l) = -51*l + 10. Let z(d) = k*f(d) - 5*a(d). Is z(4) a composite number?
True
Let v be (-14)/42 + 2135/(-3). Let d = v - -1232. Suppose 3*q = -91 + d. Is q composite?
True
Let z = -55431 - -111003. Is z/24 + 6/4 a composite number?
True
Let b = 53 - 33. Suppose 0 = 4*c - 196 + 64. Let z = c - b. Is z prime?
True
Let k = 13 + -4. Suppose 13*j - k*j - 20 = 0. Let r(d) = d**3 + 6*d**2 + 5*d - 7. Is r(j) composite?
False
Let g = -713 + 467. Let i = g - -364. Suppose t - i = -5*q, -5*t + 8*t - 334 = 5*q. Is t prime?
True
Suppose 20 = 4*w, -68*w + 66*w + 55998 = 4*z. Is z prime?
True
Suppose 2*d - 4*s + 5*s = 1300, 3*s + 3239 = 5*d. Is d a prime number?
False
Let i(t) = -t + 10. Suppose -5*r = 4*b - 33, -4*r + 4 + 0 = 0. Let v be i(b). Suppose -4*a + v*a + 146 = -m, -3*a + m = -436. Is a a prime number?
False
Suppose 107 = 5*v - 423. Suppose -2*z - 318 = -3*h, -h + 3*z - 5*z = -v. Is h composite?
True
Let i(f) = 9836*f**3 + 3*f**2 - f - 7. Is i(2) a composite number?
False
Suppose 5*y - 25 = 10. Let x(o) = 7*o**2 + y + 0 + o**3 - o**2 + 5*o. Is x(-5) a prime number?
True
Is (-2 - -10) + (32474 + 5 - -4) composite?
False
Suppose -4*b = -2*c - 28, -5*b + 0*b = 2*c - 17. Is c + (-2 - -3) - -238 prime?
False
Let c be 5/15 - 79/3. Let x be (c/(-5))/((-6)/(-30)). Suppose -x = 8*n - 10*n. Is n composite?
False
Suppose 30810 = 5*n + 5*v, -3*v + 18235 + 6409 = 4*n. Is n composite?
True
Suppose 0 = -5*t - 5*q + 8635, 5*q - 649 + 2370 = t. Suppose -x + 2*i = -3205, x + 4*i - 1461 - t = 0. Is x composite?
True
Let n be -9*1*1/3. Let j = 8 + n. Suppose -3*w - j*l - 270 = -746, 3*w - 2*l = 511. Is w a composite number?
False
Let n be (2/5)/((-7)/(-35)). Suppose -m + 0*m = -3*p - 17, -n*m - 2*p = 6. Suppose 5*h - 201 = m*h. Is h composite?
False
Let r = -28 + 28. Suppose 7*x - 3*x - 1772 = r. Is x prime?
True
Suppose -3*d - 5*d + 30664 = 0. Is d composite?
False
Suppose 0 = 3852*m - 3839*m - 913367. Is m a composite number?
True
Let i(b) be the third derivative of -83*b**6/30 - b**5/60 + b**4/12 + b**3/3 + 17*b**2. Is i(-1) composite?
False
Suppose -19*s = -14*s - 3335. Is s composite?
True
Suppose -6*i + 6234 = -3642. Let w = i + -605. Suppose 0 = 4*u - 4*a - 1056, -3*u + a = u - w. Is u a composite number?
True
Suppose 36853 = -59*u + 187539. Is u a prime number?
False
Let z = 5 + -1. Let v(o) = 6 + o**2 + 2*o**3 - o**2 - 9*o**2 - z*o. Is v(7) a prime number?
True
Let z(v) = 12*v**2 - 24*v + 97. Is z(7) composite?
True
Let r(z) = 54*z**3 - 13*z**2 - 12*z + 27. Is r(8) a composite number?
True
Let o(b) = -132*b + 11. Let t be o(-9). Suppose -5*q + 1797 = 2*z, 2*q + 483 - t = 2*z. Is q composite?
False
Suppose -3*h + 3032 = 698. Is h a prime number?
False
Suppose 8 = -7*u - 6. Is 0/u - (-2882 - -19) composite?
True
Let c = 723 - -431. Is c composite?
True
Let o(y) = 1418*y - 55. Is o(7) prime?
True
Suppose -3*u - 5*r = 11, -2*r + 3*r + 13 = 3*u. Suppose -7*j + 3128 = -u*j - 4*y, 3*y = 2*j - 1565. Is j composite?
True
Suppose 1 + 6 = -w. Let o(s) = -s**2 - 7*s + 4. Let f be o(w). Suppose i = -f*i + 2510. Is i a composite number?
True
Let b(h) be the third derivative of 139*h**4/8 - h**3 + 10*h**2. Let n be b(4). Suppose 8*c + n - 5670 = 0. Is c a composite number?
True
Suppose -4*m = -3*m - 4*a - 8, -3*m - 2*a = -38. Let w be 39/39*(-11*1 + 0). Is m/6 - 7*w prime?
True
Let z(i) = i**3 + 2*i**2 - 5*i + 16609. Is z(0) a prime number?
False
Suppose 5*l + 22 = -2*i, 0*l - 5*l + 5*i = 50. Is l/27 - (-146)/(-36)*-166 a prime number?
True
Let c(r) = 0*r - 3*r**2 + 12*r**2 - 6 - 5*r + r**3. Let d(h) = h**3 + 13*h**2 + 39*h + 20. Let q be d(-9). Is c(q) composite?
False
Is ((-1506)/(-10) - -5)*15/3 composite?
True
Let i(f) = -f**2 + 6*f + 7. Let c be i(7). Suppose 0*a - 3*a + 411 = c. Suppose 5*q = 58 + a. Is q a prime number?
False
Is ((-1368888)/(-60))/(2/5) a prime number