 -2*v. Let h = 121 + v. Is h a composite number?
True
Suppose 142 + 92 = 2*u - 4*d, 4*d + 12 = 0. Is u prime?
False
Let d be (-11)/2 + (-1)/(-2). Let g = 0 - d. Suppose -2*y + 107 = -5*h, -3*y + 0*y = -g*h - 153. Is y a prime number?
False
Let u be ((-57)/12)/(3/(-24)). Suppose -5*l = -467 - u. Suppose 4*x = 5*m - 227, 3*m - 2*x - l - 36 = 0. Is m a prime number?
True
Suppose 2*o - 2*u - u - 496 = 0, -241 = -o + 5*u. Is o prime?
True
Suppose -5*p = 5*l - 3*p - 13, -3*l - 3*p + 6 = 0. Suppose -l*t + 14 = 2. Is (11/t)/((-4)/(-80)) a prime number?
False
Let n = 1347 - 196. Is n a prime number?
True
Suppose -o + 1 + 1 = 0. Suppose 2*y + 53 = o*u + u, 5*u - 85 = 4*y. Is u composite?
True
Let l = -219 + 142. Let z = l + 114. Let j = 18 + z. Is j composite?
True
Suppose 0 = -2*u - 7*u + 4689. Is u a composite number?
False
Suppose -5*v - a + 24203 = 2953, -2*a + 4259 = v. Is v composite?
True
Let n(s) = 6*s + 1. Suppose 4 = y + 1. Is n(y) composite?
False
Let i(t) = -t**3 - 8*t**2 + 8*t - 10. Let f = -21 + 12. Let b be i(f). Is 221 - 1/(b/2) a prime number?
True
Suppose h - 313 = 4*c, -25 = 3*c + 2*c. Is h prime?
True
Let h(l) = l**3 - 6*l**2 + l - 4. Let j be h(6). Suppose -b = -2*b + 5. Suppose -b*d = -j*d - 147. Is d composite?
True
Let u(s) = s**3 - 5*s**2 - s + 1. Let k be u(5). Is 1*((-2 - k) + 291) a composite number?
False
Let s(z) = z**3 + 2*z**2 - 1. Let l be s(-1). Suppose v + y - 7 = l, 2*v = 3*y - 6*y + 19. Is v a prime number?
True
Suppose x - 335 = 2*k, 3*k + 1 = -5. Is x prime?
True
Suppose -4*m - 3*q = -24, -2*m - m = -5*q + 11. Let d = 3 - m. Suppose 5*f = 5, j - 6 = -d*j + f. Is j a prime number?
True
Let a(m) = m**2 - 3*m + 4. Let k be a(3). Let s(b) = 10*b + 3. Is s(k) a prime number?
True
Let k(m) = 4*m**3 + m**2 + 2*m + 1. Let y be k(-1). Let p = 23 + y. Is p composite?
False
Suppose -4*n - 62 = 2. Let l = n + 53. Is l composite?
False
Let t = 10 - -8. Is (12/t)/(4/1146) prime?
True
Let r(t) = t**3 - 11*t**2 - 26*t + 19. Is r(16) a composite number?
False
Is 4/22 - (9765/11)/(-7) a prime number?
True
Suppose 5*v = 5*l + 10, 0*v = -4*v + 5*l + 8. Let n(u) = 7 + v*u**2 + 4*u - 2*u + 0*u. Is n(-6) prime?
True
Let t(b) = 7*b**2 - 3*b - 8. Is t(-9) a prime number?
False
Is (-337)/(((-6)/(-2))/(-3)) composite?
False
Is -4 - (2 - (964 - -1)) a composite number?
True
Let z = 1 - -7. Suppose -2*f + 5*p + 14 = 0, p + z = f - 2*p. Suppose 8*k = 3*k + 2*t + 65, 4*k - f*t - 50 = 0. Is k prime?
False
Suppose 0 = 5*h - 260 + 1915. Let m = 576 + h. Let w = m + -166. Is w a composite number?
False
Suppose 4*l - 34 = 374. Is -5*5/((-75)/l) composite?
True
Let c(p) = 9*p**3 - p**2 + 11*p - 1. Let d(s) = -4*s**3 - 5*s. Let w(k) = 2*c(k) + 5*d(k). Is w(-3) composite?
False
Let w = 1 - -2. Suppose -2*s - 2 = -w*s. Suppose -s*a + 192 = 2*a - 4*m, 50 = a + m. Is a prime?
False
Is (-5)/10*-1966 + -4 a prime number?
False
Suppose -56 = 5*n - 1031. Let i = n + -118. Is i composite?
True
Let r(c) = -c**2 - 2*c + 3. Let a be r(-3). Let n(m) = m**3 + m + 2. Let v be n(a). Suppose -4 = -y, -5*o - v*y + 22 = -371. Is o prime?
False
Let y(l) = -l**2 + 9*l - 7. Let f be y(3). Let t = 6 + -2. Let a = f - t. Is a prime?
True
Let q = 8 - 7. Let x be -1 - -5 - (q - -2). Is (98/8)/(x/4) composite?
True
Let t(c) = 8 - 2*c + 12*c + 8*c**2 + c. Is t(-7) composite?
True
Suppose 7*j = 6*j + 111. Is j prime?
False
Suppose -5*z + 4 = -z. Let i be 3 + -4 - -1*z. Suppose i*k + 4*k - 1148 = 0. Is k prime?
False
Suppose 6 = b + 3*k + 1, 0 = 2*k - 2. Suppose b*y = 221 - 47. Is y prime?
False
Suppose 0 = v + 2*v - 18. Let w(x) = -x**3 + 7*x**2 - 5*x. Let g be w(v). Let d(s) = -s**2 + 5*s + 8. Is d(g) a composite number?
False
Suppose -2*o = 2*o - 8. Suppose -j = o*j - 249. Is j prime?
True
Suppose -2*a + 0*a + 14 = 0. Suppose -a*u + 3*u = 20. Let g(i) = -52*i + 5. Is g(u) a prime number?
False
Is (130/(-4))/((-2)/4) a composite number?
True
Let o(i) = 912*i**2 + 1. Is o(1) prime?
False
Let t(p) = -p - 7. Let f be t(8). Let w = f - -26. Is w a composite number?
False
Let m(n) = n**2 + 5*n + 6. Let k be m(-5). Suppose -k*x = -2*x - 44. Let j = x + -7. Is j prime?
False
Suppose 5*h = -7*m + 3*m + 172, 86 = 2*m + h. Is m a prime number?
True
Suppose 0*u = 2*u - 10. Suppose 4*v = u*h - 6, -4*h - 4*v - 24 = -0*h. Is h/(-8) + (-681)/(-12) a prime number?
False
Let g(o) = -o**2 + o - 1. Let c(x) = -191*x**2 + 7*x - 7. Let q(b) = -c(b) + 6*g(b). Is q(1) prime?
False
Let m(w) = w**2 + 1. Let r(t) = 18*t**2 - t + 1. Let q(v) = -2*m(v) + r(v). Let y(f) = -f + 4. Let b be y(6). Is q(b) composite?
True
Let p be -2*(3 + -2) - 1. Let t be p/2*(-30)/9. Suppose -t*l = -0*l - 155. Is l a prime number?
True
Suppose i + 2*r + 6 = -3*i, 2*r = i + 4. Let u = i + 0. Let z(h) = -2*h**3 + h**2 - 3*h - 3. Is z(u) a composite number?
False
Suppose 6*r - 8656 = -2*r. Is r composite?
True
Suppose s + 15 = -6*u + 2*u, -2*u = 2*s. Let p(i) = -i**3 - 6*i**2 - 7*i - 6. Let b be p(u). Suppose -b*t + 3*t = -7. Is t a prime number?
True
Let m(t) = 3*t**2 - 2*t + 3. Let b(a) = 6*a**2 - 5*a + 7. Let o(z) = 2*b(z) - 5*m(z). Let n be o(-1). Is n/(-2)*38/4 a prime number?
True
Let u(z) = -z**3 + 7*z**2 - 5*z - 3. Let s be u(6). Suppose s*c - 4*l = 5*c - 72, -2*c = -2*l - 42. Is c a composite number?
True
Suppose -4599 = -3*z - 2*z + 2*y, 2772 = 3*z + 3*y. Is z a composite number?
True
Suppose -2*o = -5 - 3. Suppose 7 = o*g + 5*c, 2*c + 0 + 8 = 2*g. Suppose 0 = g*h + 2*h - 170. Is h composite?
True
Let c(y) = -y**2 + 19*y - 36. Let g be c(16). Suppose -17 = -4*j + 11. Let w = g + j. Is w prime?
True
Let j = 11 - 7. Suppose -1061 + 57 = -j*o. Is o a composite number?
False
Let h = -191 - -338. Suppose -4*q + q = -h. Is q a prime number?
False
Let a be (-5)/10 + 10/4. Suppose 3*s + a*c - 77 = 0, 79 = -2*s + 5*s + 4*c. Is s prime?
False
Suppose -j = u - 366, -3*j + 2*u + u + 1068 = 0. Is j prime?
False
Suppose 5*j + 10 = 0, -5*t + 12 = -0*j - j. Suppose -3*c + 15 = 2*c, 0 = t*r - 4*c + 248. Let v = -63 - r. Is v composite?
True
Let c be 33/12 - 3/(-12). Let q(t) = 4*t + 3. Let v be q(c). Suppose 4 = -4*l - 2*o + 32, 3*o = -3*l + v. Is l a composite number?
True
Is (-87)/1*85/(-15) composite?
True
Suppose -4 + 7 = 3*l. Let f = l + 1. Suppose f*a + a - 30 = 0. Is a a composite number?
True
Let d(b) = b**3 + 2*b**2 - 5*b - 7. Suppose 10 + 0 = 2*t. Is d(t) a composite number?
True
Let u = -98 - -229. Is u a prime number?
True
Suppose -293 = -z + 2*g, 5*z + 2*g = -2*g + 1451. Let l = z - 200. Is l prime?
False
Let b = 39 - -18. Suppose 3*n - 159 = -3*u, 0 = -5*n + 4*u + 172 + b. Is n prime?
False
Suppose -32*s + 695 = -27*s. Is s prime?
True
Let z = 2 - 6. Is z/(-18) - (-601)/9 composite?
False
Let h = 84 + -41. Let s(w) = 5*w**2 - w + 1. Let k be s(1). Suppose h = -k*f + 318. Is f composite?
True
Let u be -2 + -1*(2 + -1). Is u/(-7) - 10848/(-21) composite?
True
Suppose 5 = 3*q - 445. Suppose -p - 204 = -3*o, 3*o - o + 4*p = q. Is o prime?
False
Suppose 6*l - 2*l = -i + 289, 0 = 3*i + 4*l - 899. Is i a prime number?
False
Let f(p) be the second derivative of p**4/12 + 2*p**3/3 + 2*p**2 + p. Let m be f(-3). Is 10 - 1*(2 - m) prime?
False
Let z(u) = u + 28. Let j be ((-6)/(-3) - 2)/1. Let a be z(j). Suppose 3*b = b + a. Is b composite?
True
Suppose 2*v = -v + 5*r - 15, -3*v - 6 = -2*r. Suppose -x - 2*c = c - 16, -2*x - c + 57 = v. Is x composite?
False
Let l(i) be the first derivative of i**4/4 - 5*i**3/3 - 7*i**2/2 - 9*i - 3. Is l(8) composite?
False
Suppose 4*l - 142 = -3*o + 135, -5*l + 326 = -3*o. Suppose 2*j - l = j. Is j composite?
False
Let d(o) be the first derivative of -77*o**2/2 + 2*o - 2. Is d(-7) a prime number?
True
Let j(t) = -t + 57. Let g(d) = 13*d - 15. Let f(q) = 3*q - 4. Let n(p) = -9*f(p) + 2*g(p). Let h be n(6). Is j(h) composite?
True
Let u(m) = m**3 - 9*m**2 - m - 5. Let k be u(9). Let c(s) = -s**3 - 14*s**2 - 11*s - 5. Is c(k) a prime number?
True
Let u = 720 - -271. Is u prime?
True
Let a be (4/2)/(0 - -1). Is (-3 + a + 0)*-11 a composite number?
False
Suppose -z + 6 = -0. Let r(d) = -d**3 + 8*d**2 + d + 1. Is r(z) composite?
False
Let k = 2 - 2. Suppose k = -2*w + w + 3. Is w a prime number?
True
Let l = 5 + -5. Is 53 + (-3 - -2)*l composite?
False
Let d(a) = -a**3 - 5*a**2 - 6*a - 3. Let l be d(-4