posite?
True
Let f(s) = -s**2 - 4*s + 7. Let d be f(-5). Suppose -t - 13 = -d*t. Is t a prime number?
True
Suppose 5*l + 22 = -z + 8, -3*z + 6 = -l. Let v = -3 - -18. Suppose -z = 2*y - v. Is y a composite number?
False
Suppose 0 = 2*r + 3*r - 2*s - 5872, 5875 = 5*r - 5*s. Is r a prime number?
False
Let n = 66 - 39. Suppose 5*t = 3*r + 24, -5*t + t + 5*r + n = 0. Suppose -4*b + t*c + 721 = -0*c, 3*b - 531 = -c. Is b prime?
False
Let r be (-52)/8 - (-3)/2. Is 14*4/(3 - r) composite?
False
Suppose 2*r - 16 = n, -5*r = -0*r + 2*n - 22. Let h(t) = -1 + 6*t - r + 6*t. Is h(7) composite?
True
Let p = 12 + -10. Suppose p*n + a = 67, -3*n - n - a + 137 = 0. Is n prime?
False
Let z be (-20)/6 + 8/(-12). Is (-672)/(-30) - z/(-10) prime?
False
Suppose -8*t + 6*t + 151 = 5*q, 0 = 2*t + 4*q - 154. Is t a composite number?
False
Suppose -b - 15 = -y + 3*b, -15 = -3*b. Is y prime?
False
Let h(i) = 16*i - 1. Let r be h(12). Suppose -3*a = 3*v - 8*v + r, -a - 39 = -v. Is v a prime number?
True
Let i = 10 + -9. Let c be (-4)/4 - (i - 4). Suppose 0 = -x - c*x, 0 = -2*s - 5*x + 28. Is s a prime number?
False
Let a be 2/(-4 - 0)*-6. Suppose 4*g + y - 8 = g, 5*g - 3*y = 18. Suppose l - 31 = f - 0, 0 = -g*l - a*f + 93. Is l a prime number?
True
Let x = 253 + -50. Is x prime?
False
Let w(r) = -843*r + 1. Let k be w(-1). Suppose -4*y = -0*y - k. Is y prime?
True
Let c(p) be the first derivative of -2 - 1/2*p**2 + 2/3*p**3 - 4*p. Is c(3) a prime number?
True
Is 3536/6 - 3 - (-2)/(-6) a composite number?
True
Let h(j) = 7*j - 3. Is h(7) composite?
True
Let k(p) = 7*p + 6. Let x(u) = 1. Let o(v) = k(v) - 4*x(v). Is o(7) composite?
True
Suppose -2*l - 2*l - 5*m + 540 = 0, -135 = -l - 5*m. Suppose 3*o - 200 = -k, -5*o - k + l = -3*o. Let c = o - 46. Is c a prime number?
True
Suppose 6*i = 3*i - 39. Let f(z) = z**2 + 12*z + 6. Is f(i) prime?
True
Suppose 2*i - t - 64 - 1047 = 0, 4*i - t - 2225 = 0. Is i composite?
False
Let o(y) = -3*y - 3. Let a be o(-2). Suppose 2*c = a*i - 5585, -4*i + 2*c = i - 9307. Suppose -3*g - 2*b = 2*g - i, -2*g + 4*b = -730. Is g a prime number?
False
Let w(b) = 3*b. Let k be w(-1). Let t(h) = 4 - 4*h**2 - 13*h**3 + 3*h - 2*h**2 + 7*h**2 - 2*h**2. Is t(k) prime?
True
Let x(f) be the first derivative of -f**5/20 + 3*f**4/4 - 7*f**3/6 - f**2 + f + 3. Let j(o) be the first derivative of x(o). Is j(8) prime?
False
Let k = 386 - 546. Let z = k + 227. Is z a prime number?
True
Let m(s) = 33*s**2 + 5*s - 1. Let c be m(-4). Suppose c = 2*p + p. Let t = 282 - p. Is t a prime number?
True
Let p(g) be the second derivative of g**5/20 - 2*g**4/3 + 5*g**3/6 - 3*g**2/2 + 9*g. Suppose 5*x - 16 = 3*x. Is p(x) composite?
False
Let t(b) = -b**2 + b + 2. Let y be t(2). Suppose -5*j + 319 = 3*l, y = -l - l + 5*j + 246. Is l composite?
False
Suppose 0 = 4*b + h - 630, 0*b + 3*b = -4*h + 479. Is b prime?
True
Is (-2 - (2 + -3))*(-498 + -1) prime?
True
Suppose 5*s + 0*s = 0. Suppose -2*j + 22 = -s. Is j a composite number?
False
Let i = -190 + -63. Let j = 395 + i. Let t = 327 - j. Is t a composite number?
True
Let k be (-8)/6*(-72)/(-16). Let r(j) = -8*j - 4. Let o be r(k). Suppose q = -3*q + o. Is q a composite number?
False
Let n = -2 - -4. Suppose h - r = -2 + 32, -3*r = n*h - 75. Suppose -2*p = -37 - h. Is p composite?
True
Let u be (-4)/14*(-17 - -3). Suppose -43 = -3*m + 2*i, u*i - 3 = -5*m + 54. Is m prime?
True
Let f = -11 - -10. Let o(h) = -h**2 + 10*h - 7. Let t be o(5). Is (t - f)*(-3 + 4) prime?
True
Let k = 288 - 173. Is k prime?
False
Let p(b) = 3*b**2 + 1. Let q be p(1). Let x be (-7)/3 - (-5)/15. Is x/q*77*-2 a prime number?
False
Let n be -1*(0 - -1)*-4. Suppose -n*w - w = -105. Suppose -6*a + w = -5*a. Is a composite?
True
Let k(w) = -16*w**3 + w**2 - 5*w + 9. Is k(-5) a prime number?
False
Let o(k) = -2*k**2 - 2*k - 3. Let u(m) = 2*m**2 + m + 2. Let p(a) = 3*o(a) + 4*u(a). Let h(j) = 6*j. Let n be h(-1). Is p(n) prime?
True
Let b(l) = -l**3 + l**2 - l + 82. Let a be b(0). Let x be 73/(-5) + 10/(-25). Let n = a + x. Is n a prime number?
True
Suppose -3*r = 12*r - 5655. Is r composite?
True
Suppose -4*r + 3058 = -r + 2*l, 4*r - l - 4070 = 0. Is r composite?
True
Suppose 11 = 2*q + 19. Is 1 - q*(169 + 2) a prime number?
False
Let l(y) = y**2 - y - 5. Is l(12) composite?
False
Let r(x) = -19*x - 6. Is r(-7) a composite number?
False
Suppose 4*g + 970 = 4518. Is g a prime number?
True
Let l(y) = -13*y + 10. Let b(z) = z**2 - 8*z + 6. Let p be b(5). Is l(p) prime?
True
Let o(t) = -t**2 + 4*t - 2. Let p be o(3). Is p/(3*3/522) a composite number?
True
Let f = -546 - -965. Is f a prime number?
True
Let z(l) = 1 + 2*l**2 - l**3 + 5*l - 1 - 3. Is z(3) composite?
False
Suppose -5*x - 46 = -4*y - 0*x, 0 = -5*y - 4*x + 37. Let b be 2/4 + (-10)/4. Is y - (b - -4)/1 prime?
True
Suppose 4 = -4*p - 0. Is p/(1 - 3516/3513) a composite number?
False
Suppose -2*z + 7*c + 971 = 2*c, c = z - 490. Is z prime?
False
Let c = 627 - 334. Is c a prime number?
True
Suppose -25 - 13 = 2*p. Let m = -10 - p. Is m a composite number?
True
Suppose 0 = 4*m - 8*m + 116. Let y(u) = u**3 + 11*u**2 - 6*u - 6. Let l be y(-11). Let s = m + l. Is s composite?
False
Let l(m) be the second derivative of -17*m**3/6 + 2*m**2 - 7*m. Is l(-5) composite?
False
Let r(x) = x**2 + 7*x - 6. Let s be r(-8). Suppose 3*t = 3*m + 33, -3*t + 35 - 2 = -s*m. Is t a composite number?
False
Let y(x) = 2*x**2 + 3*x + 3. Let w be y(-2). Suppose -v - 3 = -2*t, 3*v + 3 + 3 = w*t. Is t prime?
True
Suppose 2*b - 3*b + 1 = 0. Let h(q) = 6*q - q**2 - b - 5*q + 14*q**2. Is h(3) composite?
True
Let d be ((-5)/15)/(2/(-6)). Let n(v) = 13*v - 1. Let z be n(d). Suppose z = 3*g + 3. Is g a composite number?
False
Suppose -110 - 225 = 5*u. Let y = 23 + u. Is 717/11 + 8/y a composite number?
True
Let u(w) = 51*w + 7. Is u(1) a prime number?
False
Let b = 22704 + -15901. Is b composite?
False
Let g(r) = -8*r + 2459. Is g(0) a composite number?
False
Let l be 4/((-1)/(-1 + 2)). Let c = 5 + l. Let h = 21 + c. Is h a composite number?
True
Let q = 4 - -1. Let i be 22/q + (-4)/10. Suppose -2*h - 2*r + 211 = 75, h = i*r + 63. Is h a composite number?
False
Is ((-47)/(-3))/(1*1/57) prime?
False
Let m = 1 - -5. Let y(z) = -1339*z + 0*z**3 - z**2 + z**3 + 1330*z + 5. Is y(m) a composite number?
False
Let j(g) be the second derivative of -g**4/12 + 11*g**3/6 + 7*g**2/2 - g. Suppose -2*h + 8 = -h. Is j(h) a composite number?
False
Let x(p) = -59*p + 2. Let d be x(5). Is (d/(-2))/((-1)/(-2)) a composite number?
False
Let d(q) = 11*q**2 + q - 11. Is d(6) composite?
True
Let m(y) = -y**2 - 6*y + 3. Let k be m(-6). Suppose -3 = -c - k*a, -19 - 12 = -c + 4*a. Is c a prime number?
False
Let k(q) = -46*q - 7. Is k(-2) prime?
False
Let o = -119 + 250. Is o a composite number?
False
Let p(b) = 57*b**2 - 2*b - 2. Is p(-1) composite?
True
Is 278/((50/35)/5) prime?
False
Is (-165)/(-2) - (-6)/(-12) a prime number?
False
Let y(v) = v**3 + 5. Suppose -3*g = -0*g. Let i be y(g). Suppose -57 = -i*r + 188. Is r a composite number?
True
Let d be 6449/7 + (-18)/63. Let i = -410 + d. Is i a prime number?
False
Let y = -1 - 5. Let l be 3/2 - (-9)/y. Is l + -2 + (132 - 3) composite?
False
Suppose -2*i + 3 = w - 3, 4*w = -3*i + 4. Is (-10)/((-1)/(-17)*w) composite?
True
Suppose -g + 4 = 3. Is g/2 + (-1215)/(-6) composite?
True
Let b = 3146 - 1723. Is b composite?
False
Suppose 116 = -4*a + h - 0*h, -162 = 5*a + 3*h. Is (-4)/(-3)*a/(-4) a composite number?
True
Let z(l) = 3*l - 5. Let v be z(-5). Let x = -9 - v. Is x prime?
True
Suppose 0*j + 1315 = 5*j. Is j a composite number?
False
Suppose -2*n + 730 = 3*n. Let j = 80 - n. Let i = -47 - j. Is i composite?
False
Let v = 946 + -605. Is v a prime number?
False
Let r(h) = 7*h**3 - h**2. Let i = -18 + 19. Is r(i) composite?
True
Suppose 3*u - 7 + 1 = 0. Is u*3 - 2/(-2) a prime number?
True
Suppose -3*y = 3*c - 4401, 0*c - 5*c = -5*y - 7375. Is c prime?
True
Suppose -3*f - 4*x = -15, 4*x - 3*x = 2*f + 1. Is ((-134)/6)/(f/(-3)) a composite number?
False
Suppose -15 = -3*x - 0. Suppose x*r - r - 940 = 0. Is r a composite number?
True
Let m(o) = o**2 + 13*o - 13. Is m(11) composite?
False
Is (1*-167)/(-3 + 2) a composite number?
False
Let q(v) = -v**3 + 4*v**2 - 2*v - 1. Let f be q(2). Suppose 3*l = -f - 15. Le