, 2*a + v*c = -6. Let h(i) = 6*i**2 + 3*i + 4. Is h(a) composite?
True
Is -139223*((-171)/21 - -8) prime?
True
Suppose -27 = -4*h - 5*n, -4*n + 19 - 1 = 2*h. Suppose h*t + m - 2234 = 0, 2*t - 5*m = -0*t + 1495. Is t a prime number?
False
Suppose -6*l = -8*l + 10594. Is l a composite number?
False
Suppose -4*b = 145 - 2061. Is b prime?
True
Let n be (-1811)/(-2) - (-6)/(-36)*-3. Let j = 737 + n. Is j a composite number?
True
Let w be 2772 + (-1 - 0)/1. Suppose -g = 4*h - 2*g, 4*h = -g. Suppose y + 3*l - 562 = 0, w = 5*y + 2*l - h*l. Is y a prime number?
False
Is 24170/4 + (5/(-10))/(-1) a prime number?
True
Let y(m) = -m**3 - 19*m**2 + m + 137. Is y(-30) a prime number?
True
Suppose -10 = -2*i + u, i - u = 3*u + 12. Suppose -i*f = f. Is (396/4 - 4) + f a prime number?
False
Suppose -2753 = -6*h - 191. Is h prime?
False
Suppose -4*g = 3689 - 9553. Let y = -997 + g. Is y prime?
False
Let w(x) = 621*x + 1. Let v(a) = -2*a**2 + 4*a + 2. Let d be v(2). Is w(d) prime?
False
Let z(w) = -2*w + 41. Let g be z(18). Suppose g*l - 26305 = -5*q, 3*q - 33544 + 7239 = -5*l. Is l a prime number?
True
Let f(o) = 2*o**2 + 49*o + 106. Is f(56) prime?
False
Let b(h) = h**2 - 29*h + 877. Is b(0) a composite number?
False
Let q = -6 - -2. Let k(s) = 6*s**2 - 3*s**2 - 1 - s**3 - 6*s**2 - s. Is k(q) prime?
True
Suppose 0 = 5*k + 15, k + 1152 = 2*h + 3*k. Is h prime?
False
Let z(o) = 13*o**2 + 7*o - 6. Let r be z(-10). Let x = -701 + r. Is x prime?
True
Let t(o) = o**3 + 12*o**2 + 12*o + 9. Let w be t(-11). Is (79/w)/((-2)/4) a prime number?
True
Is ((-2)/(1 + 0))/((-36)/6462) a prime number?
True
Suppose -3*d - 5*q = -275, 3*q + 357 = 4*d - 0*q. Suppose -2 = -x - 0. Is x/9 - (-8710)/d a prime number?
True
Suppose 2*x = 5*m - 7815, m - 118 - 1458 = 3*x. Is m composite?
True
Is 1/14*-2 - 2309010/(-77) a prime number?
False
Let j(k) = 190*k - 27. Is j(2) composite?
False
Let l(a) = a**2 - 3*a + 4. Let j be l(2). Suppose 5*n - 580 = 3*f, -3*n - j*f = 2*n - 555. Is n composite?
False
Suppose 2*n - 7 = -1. Suppose 80 = n*m - 181. Is m a prime number?
False
Suppose 22 = 3*r + 7. Suppose 3*s + 0*z + z = 5, -5*z = r*s - 5. Is 138/s - 4/2 a composite number?
False
Suppose -12 = -14*n + 16. Is (-3218)/(-3) - n/(-6) prime?
False
Let a(k) = -49*k + 1. Let s(j) = -50*j + 1. Let z(b) = -5*a(b) + 4*s(b). Suppose u + 3*u - 8 = 0. Is z(u) composite?
False
Suppose 4*c + 1332 = 6*c - 2*b, -c + 2*b + 670 = 0. Let v = -18 - 117. Let q = c - v. Is q a composite number?
False
Let b(x) = -3*x + 225. Let r(z) = -z + 113. Let n(v) = -2*b(v) + 5*r(v). Let u be n(0). Suppose u = -4*i + 431. Is i a composite number?
False
Suppose -6 = -x + 2*a, -2*x + 18 = -4*x - 2*a. Let q(h) = h + 10. Let y be q(x). Suppose 2*o = y*o - 508. Is o prime?
True
Let d(y) be the second derivative of y**4/12 + 2*y**3/3 + 11*y**2/2 - 3*y. Let f be d(-12). Suppose 0 = 2*r - 3*x - f, -3*r + r - x = -95. Is r a prime number?
False
Let w = 17146 - 7913. Is w composite?
True
Suppose 2*j - 6 = i, 4*i - 4*j + 16 = i. Let q be ((-4172)/(-12))/(i/(-60)). Suppose 1280 = -5*b + q. Is b a prime number?
True
Let z(d) = 178*d**2 + 45*d + 334. Is z(-11) a composite number?
False
Suppose 7*k = 2*k - 2*i + 4733, 2*k - 5*i = 1870. Let b = k - 410. Is b a prime number?
False
Let o(n) = -n**2 + 24*n - 42. Let r be o(22). Is (-1)/r*(-3 - -4)*-16114 a prime number?
False
Let r = 9 - 13. Let x(v) = 31*v**3 + 6*v**2 + 5*v + 1. Let g be x(r). Let q = -562 - g. Is q composite?
True
Suppose -k + 199 = -710. Let a = k + -516. Let i = 404 + a. Is i a prime number?
True
Is 4629*(66/(-18))/(-11) prime?
True
Let m = -11 + -2. Let u = 13 + m. Suppose w - 2*l + 75 = 286, u = 5*w - 4*l - 1061. Is w a composite number?
True
Suppose -3*c - 29 = -86. Suppose -f = -c - 58. Is f a composite number?
True
Let l be 19/17 + (12/(-102) - 0). Is 29*(19 - ((-4)/(-4) + l)) a composite number?
True
Let f = 10155 - -29138. Is f a composite number?
False
Let h = 13144 - -19399. Is h composite?
True
Let d(k) = -109*k + 8. Suppose 0 = -2*q - 16 + 10. Is d(q) a prime number?
False
Suppose 0*o + 6 = -3*o. Suppose 2*q - 4*z - 34 = 0, -7*z + 4*z + 15 = 3*q. Is (-11542)/(-18) + o/q a composite number?
False
Let r(h) = 14*h**2 - h - 9. Suppose -g + 22 + 0 = 0. Suppose 5*u - g = -2. Is r(u) a prime number?
True
Suppose -10*b + 46637 = -44373. Is b a prime number?
False
Let v = 2 + -2. Suppose v = -3*y + 126 + 141. Is y a prime number?
True
Suppose 5*f = 4*x - 56823, -13*f + 8*f + 56833 = 4*x. Is x composite?
False
Suppose -12 = 2*m + 8. Let p = 14 + m. Suppose 0 = 2*f + 4*y - 178, p*f + 2*y = 4*y + 336. Is f composite?
True
Let a = 83 + -81. Suppose a*r - 6 = 0, -2746 = -3*w - 2*w + 3*r. Is w a prime number?
False
Suppose -d - 436 = -o + 976, -4*o + 5678 = 2*d. Is o a prime number?
False
Is -2*(-113193)/63 - 9/21 prime?
True
Suppose 34431 = i - 4*d - 46268, i = -3*d + 80734. Is i a composite number?
True
Let j(b) = b**2 - b + 480. Let n be j(0). Let g(c) = 35*c**3 - 2*c**2 - 3*c + 3. Let h be g(2). Let p = n - h. Is p a composite number?
False
Suppose -3070 = -56*z + 46*z. Is z a prime number?
True
Is ((-32)/(-96))/((-3)/(-12303)) prime?
True
Let h = -42091 + 67310. Is h a prime number?
True
Suppose 3*g = -5*z + 381374, -4*g = 5*z - 4*z - 508527. Is g composite?
False
Let g(v) = 7951*v**2 - 6*v - 8. Is g(-3) prime?
True
Is ((-165)/22)/(-3*6/124044) composite?
True
Let y(z) = 5*z + 1. Let u be y(-11). Let a be (-11)/(-2 - 110/u). Let h = 446 + a. Is h composite?
False
Suppose -5*m = -1133 - 402. Is m composite?
False
Let i(n) = 352*n**2 + 39*n + 49. Is i(8) a prime number?
False
Suppose -2*o = -4*b + 44, 0 = 2*b + 2*o - 0*o - 28. Let q be b/(-2)*20/(-15). Suppose 97 = 5*z - q. Is z prime?
False
Suppose -2440 + 11502 = 2*v. Is v a composite number?
True
Let m be (-21 - -1)*(-3)/6. Is 344 - ((-28)/m - (-1)/(-5)) composite?
False
Let w = -151256 + 220677. Is w composite?
True
Let z(s) = -s**2 - 4*s + 5. Let d be z(-5). Let f(w) = 2*w + 106. Let u(b) = 5*b + 319. Let c(i) = -8*f(i) + 3*u(i). Is c(d) prime?
True
Let s be 30/18*(577 + -1). Suppose 0 = -2*x - 5*l + 1891, -4*l + 934 = 2*x - s. Is x a prime number?
True
Suppose -9*o = -10758 - 6909. Is o prime?
False
Let p(o) = -77*o**3 + 4*o**2 + 11*o + 9. Is p(-4) a prime number?
True
Suppose -11*n = -5*n - 26214. Is n prime?
False
Suppose -19 = -g - 5*d - 2, -2*g + 2*d - 2 = 0. Suppose 0*t - 12 = -4*t. Suppose -477 = -3*l - t*r, 0 = 3*l - 2*r - g*r - 505. Is l prime?
True
Let f be 0/(-3) + -1 + 1. Suppose -i + 5*a + 62 = 0, 4*i + f*i - 123 = -5*a. Is i a composite number?
False
Let u(m) = -m**3 + 9*m**2 - 16*m + 71. Is u(-21) composite?
True
Let j = 134 + -13. Suppose -j = -5*h + y + 625, 2*y = 3*h - 449. Is h a prime number?
True
Let n(f) = 3*f**3 + 6*f**2 - 4*f + 4. Let k(p) = 4*p**3 + 7*p**2 - 5*p + 3. Let l(b) = 2*k(b) - 3*n(b). Is l(-9) composite?
True
Suppose -4*q + 1673 = -5019. Is q a composite number?
True
Suppose 0 = -4*z + 3466 + 1858. Suppose -4*b + 3*m - 6*m = -z, -3*b + 993 = 4*m. Is b composite?
True
Let f(n) = 682*n**3 - 2*n**2 + n. Is f(1) prime?
False
Let z = -2 + 3. Let u be 60/8*((-135)/(-25) - 5). Is 105 + 1 + u/z composite?
False
Let w be -3*(-1 - 1 - -1). Let q(a) be the second derivative of 5*a**3/6 + 2*a**2 + a. Is q(w) composite?
False
Let p(j) = 3*j**2 - 36*j - 187. Is p(42) a prime number?
True
Suppose 4*b - a = 5 + 6, 4 = -b - 2*a. Suppose -2*k - 199 = 4*y + 37, b*y = 4*k - 108. Is y/4*(-10 + -4) composite?
True
Let f(x) = 1566*x + 155. Is f(12) a composite number?
False
Let m be (-5)/(-5) - 23/(-1). Suppose -m*y = -21*y - 237. Is y composite?
False
Suppose -2*p - 4*a = -10710, 9*p - 26700 = 4*p + 5*a. Is p a composite number?
True
Let y(q) = -q**2 + 9*q - 4. Let m be y(9). Is -4*1 - (1 + -566 + m) prime?
False
Let b(a) = -57*a + 5. Let x be b(-4). Suppose -3*d = -x - 400. Is d a composite number?
False
Let l(a) = -282*a - 115. Is l(-27) prime?
True
Let k(q) be the third derivative of q**6/20 - q**5/15 + q**4/12 - 5*q**3/6 + 5*q**2. Is k(5) composite?
True
Let u(y) = -401*y + 7. Let g(o) = 200*o - 4. Let c(t) = -5*g(t) - 3*u(t). Let s be c(9). Let p = -1081 + s. Is p a prime number?
False
Let m(c) = c**3 + 21*c**2 + 32*c - 24. Let j be m(-19). Suppose -3 = -2*h - 19. Let b = h + j. Is b composite?
True