f(i) = -i**3 + 12*i**2 + 12*i + 18. Let t be f(13). Suppose -735 = -4*h - t*y + 150, h + 3*y - 230 = 0. Is h composite?
True
Suppose -b + 73 = -3*h, 5*b - 145 - 180 = -5*h. Is b prime?
True
Suppose -326 - 49 = -3*n - 2*u, -4*n = 3*u - 499. Is n composite?
False
Let a be 22/3*(3 + 0). Is 15*4/(24/a) a composite number?
True
Let c be (-5)/15 - 712/6. Let d = c + 243. Let o = d - 71. Is o a prime number?
True
Suppose -2*n - 3*x + 196 = -5*x, x - 96 = -n. Let u = -48 + n. Let f = 108 - u. Is f a composite number?
False
Let o be 3/(-12) - (-34)/8. Let b = 44 + -40. Suppose 0 = -w + 2 - 0, -36 = -o*d + b*w. Is d a composite number?
False
Suppose -k + 221 - 44 = 3*y, -2*y + k + 118 = 0. Is y a prime number?
True
Let m = -341 - -486. Is m a composite number?
True
Let t(h) = -h. Let s be t(-3). Suppose 8*f - 19 = 3*a + s*f, 5*f = -3*a - 29. Is 5/(-20) + (-282)/a a prime number?
False
Let t(a) = -14*a**3 + a**2 - 1. Let z be t(1). Let r = z - 1. Is 3/(9/r)*-7 a composite number?
True
Is ((-52)/(-6))/(-1)*(-339)/2 composite?
True
Suppose 0 = 5*f - 2*v - 55535, v - 22195 = -2*f - 2*v. Is f a composite number?
True
Let v(z) = -z**2 - 2 + 3*z + 0 - 12*z. Let i be v(-8). Suppose -53 = -5*p - 4*h, 28 = 2*p + 2*h + i. Is p composite?
True
Let t = -7 - -11. Is t/(32/74)*4 a composite number?
False
Let d(k) = k**3 - 8*k**2 - 9*k + 2. Let i be d(9). Is i/3 - 151/(-3) a composite number?
True
Suppose -3*x + x - 1060 = 0. Suppose -3*r - 2*l + 18 = 0, -r + 2 + 4 = -5*l. Is (6/r)/((-2)/x) a composite number?
True
Let o(x) = -7*x**3 - x**2 + 4*x - 1. Let n be o(-3). Let v = 294 - n. Is v prime?
True
Suppose 4*o = -5*w - 31, 2 = o + 3*w + 15. Let c(v) = 3*v**2 + v**2 - 2*v**2 + 2. Is c(o) a prime number?
False
Let h(w) = -w**2 + w + 335. Is h(0) composite?
True
Suppose 4*p - 262 - 630 = 0. Is p a prime number?
True
Let m(b) = -4*b**3 - 2 + 0*b**2 + 0*b**2 - 2*b. Suppose 7 = -6*w - 5. Is m(w) prime?
False
Let w(p) = 2*p**2 - 4*p - 5. Is w(4) a prime number?
True
Let w be (-4)/6 - (-1600)/24. Suppose 5*k - 29 = w. Is k a composite number?
False
Let z = 8 + 7. Suppose 0 = -3*s - 3*k, 3*k - 2*k + z = 2*s. Suppose 0 = -m + 5 - 2, -114 = -3*v - s*m. Is v prime?
False
Let t(z) = -2 - 4 + 5 - 2 + 8*z. Let v be 5 + 1/(-1) + -1. Is t(v) composite?
True
Suppose -5*a = -8*i + 3*i + 1135, 2*i - 4*a = 446. Let p(j) = 4*j**2. Let n be p(-1). Suppose -b = -n*b + i. Is b composite?
True
Suppose -5*k = -889 - 18786. Is k prime?
False
Is 19124/20 + -4 - 4/(-5) prime?
True
Let n(t) = 10*t**2 + 2*t - 1. Let j be n(2). Suppose -j - 22 = -5*o. Is o prime?
True
Let i(u) = -6 + 1 + u + 0*u + 0*u + u**2. Is i(6) a prime number?
True
Let x = -6 + 3. Is (-2 - -16)*x/(-2) a composite number?
True
Let a(h) = -47*h**2 - 5*h + 1. Let i(z) = -234*z**2 - 26*z + 6. Let f(w) = -11*a(w) + 2*i(w). Let q be (0 + (-4)/(-2))/(-1). Is f(q) a composite number?
False
Let u(r) = -6 + r + 27*r**2 - 2*r + 6*r. Is u(4) a prime number?
False
Let t(r) = -32*r - 5. Is t(-8) a composite number?
False
Let m = -37 - -64. Let w = -42 - m. Let i = w + 118. Is i a composite number?
True
Suppose -2*x - x - 2*h - 70 = 0, 98 = -3*x + 5*h. Let y be (-2)/(-4)*2 - x. Suppose 52 + y = p. Is p composite?
False
Let v(n) = n**3 + 6*n**2 - 5*n - 6. Let y be v(-6). Let o be 3 + (-6 - -3) - y. Is (-3)/o*154*4 a prime number?
False
Suppose 3500 = 5*w + 5*v, -4*w + 2*v = -v - 2807. Is w prime?
True
Let p(a) = -a**3 - 3*a**2 - 2*a + 2. Let k be p(-2). Let s be (k/4)/(3/(-6)). Is -22*(0 + s/2) prime?
True
Let f be 16/9 - (-4)/18. Let n(a) = 2*a**2 - a**f - 3*a - a + 11 - 3*a. Is n(8) prime?
True
Suppose -3*d + 15 = 0, 5*n + 2*d - 5*d - 175 = 0. Let b = 10 + -27. Let y = n + b. Is y prime?
False
Let y be (-2 + -4)/(3/(-2)). Is 86 + (y - (-1)/(-1)) a composite number?
False
Suppose -2*f + 1474 = 4*o, -f + 3*o - 734 = -2*f. Is f a composite number?
False
Let j be 4/(-2) + (-3 - -229). Let p = j - -69. Is p a prime number?
True
Suppose 3*o - 1003 = -2*w, 2*o - 5*w + 2*w = 686. Is o prime?
True
Let a = -2 - -15. Is a a prime number?
True
Let q(n) = 2*n**2 - 9*n - 8. Let r be q(-6). Suppose -4*z + 267 = 5*j, -3*j = 2*z - 41 - r. Is j composite?
True
Suppose 0 = x - 3, b + 8*x = 3*x + 173. Is b a prime number?
False
Let a = -76 + 168. Suppose -a = -0*n - 4*n. Is n composite?
False
Suppose 11*z = 6*z + 2185. Is z a composite number?
True
Suppose -25 = 4*j + j. Let r = j - -10. Suppose 2*c - 42 = o + o, 3*c - r*o = 61. Is c composite?
True
Suppose -2*c = 3 - 25. Suppose 0 = 3*i - 572 + c. Is i a composite number?
True
Let n(t) = 55*t. Let v(o) = -54*o. Let h(k) = -5*n(k) - 6*v(k). Let r(l) = -l**3 + 5*l**2 + 1. Let b be r(5). Is h(b) composite?
True
Let a(d) = 47*d - 7. Let u be a(-5). Let i be 3/9 + u/(-3). Is i/12 - 1/(-4) composite?
False
Suppose -4*x + 1249 = -1315. Is x a composite number?
False
Let f(n) = -n**3 + 13*n**2 - 6*n + 10. Let i be f(15). Let c = -157 - i. Is c a prime number?
True
Suppose 537 = 8*o - 5*o. Is o a composite number?
False
Let y(g) = -5*g**3 - 7*g**2 - 9*g - 7. Is y(-4) a prime number?
False
Is -1*(2/2 - 1536) a prime number?
False
Let p = 7 - 4. Let v be (-21)/14*(-2)/p. Is v*(-30)/(-3) + 1 composite?
False
Suppose -14*w + 7611 = l - 10*w, -3*l - w + 22811 = 0. Is l prime?
True
Let m be 2 + 7/(21/(-6)). Suppose 5*k - 274 - 531 = m. Is k composite?
True
Suppose 10*d - 86 = 44. Is d prime?
True
Let q(c) = 3*c - 5. Suppose 0 = -3*u + 2*h - 2 + 42, -2*h = 3*u - 32. Is q(u) composite?
False
Suppose 1580 = -6*b + 7*b. Suppose 6*m - b = m. Suppose 3*q - m = 173. Is q prime?
True
Is 105 - (0 + (-3 - -5)) a prime number?
True
Let z(g) = 212*g - 1. Let h(f) be the first derivative of f**2/2 + 8*f + 2. Let b be h(-7). Is z(b) a prime number?
True
Suppose -t + 4*t + 3 = 0. Let r = t + 17. Is 1/(-4) - (-228)/r prime?
False
Let a be ((-5)/(-3))/5*6. Let g be (-1)/(a - (-14)/(-6)). Is 0/(0 - g) - -55 a composite number?
True
Let p = -3 + 5. Let r(b) = b**2 - 10*b + 12. Let n be r(9). Suppose -28 = -a + j, -p*a - n*a + 137 = -4*j. Is a prime?
False
Let g = 603 - 194. Is g prime?
True
Suppose 0 = n - 1, 0 = s + n - 4 - 2. Suppose -93 = 2*b - s*b. Is b prime?
True
Suppose 0 = 3*i - k - 112, i + 3*k - 40 = -6. Is i a composite number?
False
Is 1 + (-972)/(-3 - -1) prime?
True
Let m(n) = 12*n**2 - 9*n + 4. Is m(5) a composite number?
True
Let h(m) = -m**3 + 4*m**2 + 6*m + 1. Let t be h(6). Let f = t - -60. Is f composite?
True
Let d(q) be the third derivative of -q**5/60 + 5*q**4/24 + q**3/2 - q**2. Let p be d(5). Is -2 + p*9 + 0 a prime number?
False
Suppose 2*z = -4*m - 0*z + 770, 6 = 2*z. Is m a prime number?
True
Let r = 4 - 0. Suppose 7 = -4*p + 4*j + 95, -5*j = r*p - 61. Is p composite?
False
Let p(s) = -s + 317. Is p(0) a composite number?
False
Suppose -4*w + 25 + 3 = 0. Suppose -w*l + 4*l = -63. Is l a composite number?
True
Is ((-18)/(-9))/(2/191) a composite number?
False
Let y(k) = -2*k**3 - 2*k**2 - 5*k - 5. Let l be y(-4). Suppose -3*g + 324 = -l. Is g composite?
True
Let h(q) = -q**2 + 3*q + 3. Let f be h(3). Suppose -x - f*x + 644 = 0. Is x a prime number?
False
Let v(s) = -12*s - 6. Let x(m) = -m**2 + 3*m + 6. Let b be x(5). Let g be v(b). Let u = g - 16. Is u a composite number?
True
Let q = 5262 - 2765. Is q composite?
True
Let d(b) = -b**2 + b + 4. Let x be d(0). Let c be ((-195)/6)/((-2)/x). Suppose -q - f - 4 + 69 = 0, q - f - c = 0. Is q a prime number?
False
Let r(m) = 2*m**2 + 2*m - 2. Let p be r(-2). Suppose p*h = -4*l + 78, -l + h = -3*h - 33. Is l composite?
True
Let t(l) be the second derivative of -l**4/12 + 5*l**3/2 - 7*l**2/2 - 3*l. Is t(7) prime?
False
Suppose j - 4 = -1. Suppose -3*r + 3*a = -108, -j*r - 2*a = -r - 60. Is r prime?
False
Let i(s) = 48*s + 13. Let f(z) = -95*z - 26. Let j(d) = 2*f(d) + 5*i(d). Let c(y) = 17*y + 4. Let h(k) = -7*c(k) + 2*j(k). Is h(-4) a composite number?
True
Suppose 2*s + y - 12 = -y, 2*y = 2*s - 8. Suppose -s*d + 521 - 136 = 0. Is d a composite number?
True
Suppose -2283 = -4*b + 7841. Is b a prime number?
True
Is (-2102)/(-4) + (-9)/(-6) prime?
False
Suppose -4*n - 3 = -71. Let d = n - 28. Let l = -4 - d. Is l prime?
True
Let l(c) = -38*c**3 - c + 1. Let z(w) = -w + 3. Let h be z(5). Is l(h) a composite number?
False
Let n(u) = -1. Let x(v) = -5. Let q(r) = 4*n(r) - 