5*n - 27, -2*p - 5*n = -11. Suppose -3*i + 0*i = -9. Suppose -r - i*r + p = 0. Is r a prime number?
True
Let g(d) = 35*d + 12. Let y be g(-11). Let h = y + 584. Is h prime?
True
Let l(n) = n - 7. Let u be l(7). Suppose b + 4*b - 35 = u. Suppose 3*g = -f + 65, 0 = -5*g + 3 + b. Is f composite?
False
Let l(s) = -s**2 - 6*s - 4. Let x be l(-5). Suppose -4*k - x = 7. Is ((-1)/k)/((-5)/(-670)) a prime number?
True
Suppose 2*y - y + 2*z = -31, 4*z - 16 = 0. Let a = y + 86. Is a prime?
True
Let s(f) = -24*f - 5. Let b be ((-21)/6)/((-4)/(-8)). Is s(b) prime?
True
Suppose 0*i - i = 0, 4*h - i - 388 = 0. Is h composite?
False
Suppose 0 = -2*n - n. Let f be n/(-3) + 1 + 1. Suppose 3*m = 3*c + 63, -m + 12 + 3 = f*c. Is m a composite number?
False
Let g = 13 - 9. Let q(z) = -z**2 + 4*z + 5. Let a be q(g). Suppose -t = -a*t + 652. Is t a prime number?
True
Suppose 0 = 5*a - 4*j - 1697, -3*a + 3*j = -j - 1015. Let f = a - 183. Suppose 0 = d - t - 81, -2 = -2*d + 3*t + f. Is d a composite number?
False
Let r(v) = -1400*v**3 - 3*v**2 - 3*v - 1. Is r(-1) a composite number?
False
Let w(p) = p**3 + p + 7. Suppose u + 4*k + 0*k = 12, -4*u = k - 18. Let i = u + -4. Is w(i) a composite number?
False
Suppose 4*o - 5*o = 80. Let t = -8 - o. Suppose i - 26 = -2*z, -z - t = -6*z + i. Is z a composite number?
True
Let o(r) = -19*r - 6. Is o(-5) prime?
True
Let p(c) be the second derivative of 7*c**4/4 - c**3/6 - 3*c**2/2 + 5*c. Is p(2) prime?
True
Let x = -1699 - -5636. Is x composite?
True
Suppose -2*f = -f - 2. Suppose 0 = -f*u + 7*u - 395. Is u a composite number?
False
Suppose 0 = -4*q - 0*q - 4*r + 12, 0 = -q + 5*r + 33. Suppose 3*u - q*u = -955. Is u a composite number?
False
Let o(s) = 2*s**2 - s - 9. Let u = 2 - -2. Suppose u*d + 28 = -4. Is o(d) composite?
False
Let r(n) = -20*n - 1. Let t = -1 + 0. Is r(t) a prime number?
True
Let r = 134 + -381. Let q be r/2 - 2/(-4). Is q/(-12) + 2/(-8) prime?
False
Is (-3 + 2/2)/(6/(-1761)) prime?
True
Suppose 4*a + 4 = -2*g, 4*a = 5*g - 3 - 29. Suppose g*s - 322 = 2*s. Is s a composite number?
True
Suppose 3*n - 5 = 4. Suppose -4*s + 1 = x, -2*x + 5*x - 3*s = n. Is (x/2)/((-5)/(-770)) composite?
True
Let u = 403 + -144. Is u a composite number?
True
Suppose 0*z + 10 = -2*z - 2*r, -z + 5*r = 29. Let c = z + 13. Suppose 4*n + c*f = 60, -2*f - 8 + 0 = 0. Is n prime?
True
Let i(g) = 27*g + 7. Let k(v) = 26*v + 7. Let a(l) = -3*i(l) + 4*k(l). Is a(6) a composite number?
True
Let p = 7 - -61. Let c = p + 6. Is c prime?
False
Is 226/(-4)*8/(-4) composite?
False
Let c = -2 - -13. Let b = c - 5. Is b a prime number?
False
Suppose -3*v = 16 + 11. Let h = v + 15. Is (5 - h) + 1*86 a composite number?
True
Let k = 457 + -196. Suppose 0 = -4*u + 7*u - k. Is u prime?
False
Let w = -21 - -12. Is (-3)/(0 - w/(-669)) prime?
True
Let r(f) = f**3 + 2*f**2 + 8*f + 5. Let o(h) = 2*h**2 + 9*h + 6. Let k(y) = -6*o(y) + 7*r(y). Is k(2) a prime number?
True
Is (-26)/(3 + (-190)/62) prime?
False
Let o be -1 + (-4 - -2 - -1). Let f be 10*(1 - (-1)/o). Suppose -2*p + 73 = m, -2*m + f*p + 57 = -107. Is m a composite number?
True
Suppose b = -3*r - 96, 2*b - 92 = 3*b + 5*r. Let x = -5 - b. Is x prime?
True
Suppose -4*d + 3*f = -13424, d - 400 - 2939 = 5*f. Is d prime?
True
Let t(g) = -g**2 - 5*g - 2. Let f be t(-4). Suppose f*x + 3*q = 15, -2*q + 2 = x - 8. Suppose 2*c + a - 194 = -36, -3*c - 3*a + 243 = x. Is c a prime number?
False
Let a(w) = 2*w**3 - 6*w**2 + 3*w - 6. Let j be a(4). Suppose -2*d = -d + j. Let t = 159 + d. Is t prime?
False
Let p(m) = m - 1. Let l be p(1). Suppose l = -5*j + j + 100. Is j composite?
True
Suppose -5*w - 24 = 2*h, 0 = -4*h - 3*w - 30 + 10. Is (10 - 7) + (h - -544) a prime number?
False
Suppose 2*q + 12 = p - 0*p, -3*p + 5*q = -31. Is ((-298)/p)/(-2 + 1) composite?
False
Let c = 1305 + 1560. Suppose -3*i + 8*i = c. Is i composite?
True
Is 35530/8 + 19/(-76) a composite number?
False
Let a be 0 - (-1 - (-1 - -21)). Let o = -64 + 64. Suppose 2*m - 87 + a = o. Is m composite?
True
Suppose 0*k + 10 = -k. Let r = k - -16. Is ((-2)/r)/((-2)/78) a prime number?
True
Let s(t) = t**2 - 3*t - 3. Let i be s(7). Suppose 3*y + 4*g = -31 - 39, y + 14 = g. Let b = i + y. Is b prime?
True
Suppose -4*z + 18 = -t - 0*z, -3*z + 21 = -2*t. Let x(o) = -o**3 - 5*o**2 + 6*o - 2. Let v be x(t). Is 1*-110*v/4 composite?
True
Let i = 365 - 130. Is i prime?
False
Suppose 945 = 5*o - 3*c + 80, 2*c = -3*o + 538. Let t = o + -82. Is t a composite number?
True
Let z(r) = r**2 + 3*r + 5. Let i = -2 - 3. Is z(i) a composite number?
True
Suppose 6*j - 2*j = 844. Suppose 0*b - b + j = 0. Is b composite?
False
Suppose -4*t + 22 = -5*v, 5*v - 3*t + 19 = -0*t. Let s be (1 + 1)/(v + 3). Is 905/10 - s/(-4) a composite number?
True
Let d = 1390 + -891. Is d a prime number?
True
Let c be (-2 + -130)*(-3)/(-6). Let i = -19 - c. Is i a composite number?
False
Let u = 1 - -5. Suppose 2*z = u, -3*v + 2*z + z + 24 = 0. Is v a prime number?
True
Let z(a) = a**3 + 5*a**2 + 6*a - 10. Suppose -4*s = -0*s + 28. Let n be z(s). Is 4/(-8) - n/4 a prime number?
True
Suppose -2*w - 5*q = -33 - 2764, -2*w - 2*q = -2788. Is w a composite number?
True
Let g(c) = -9*c + 1. Let z be g(3). Let m(l) = -2*l**3 - 4*l**2 + 4*l - 1. Let q be m(-4). Let a = q + z. Is a prime?
False
Let h(c) = c**3 + c**2 + 12*c - 19. Is h(6) prime?
False
Let i(z) = -77*z**2 - z + 1. Let r be i(1). Let t = r + 50. Let c = -5 - t. Is c a prime number?
False
Suppose 2*u + u = 15. Suppose 0 = -u*i - 572 + 3477. Is i a prime number?
False
Suppose -3*b + 9 = 3*z, 0*z + z = 2*b + 18. Suppose -k - z = -5*k. Is 34 - (4/k + -5) a composite number?
False
Let v = -14 + 17. Is v a composite number?
False
Let j(g) = 0*g - 34*g - 3 + 4. Is j(-1) composite?
True
Suppose -4*o + 4*n + 4 = -68, -65 = -4*o - 3*n. Let x = 19 + o. Is 41/6 - (-6)/x prime?
True
Let r = 3 + -3. Suppose r*m = m - 307. Is m composite?
False
Let x(i) = -i**3 - 9*i**2 - 23*i + 7. Is x(-22) a composite number?
True
Suppose -5*v + 674 = -3*v. Is v - 2 - 2 - -2 composite?
True
Suppose -2*w + 253 - 23 = 0. Is w composite?
True
Suppose 0 = 3*m - 0*m. Suppose m = -4*p + 12, 3*u + 12 = p + 3*p. Suppose u*v - 265 = -5*v. Is v a composite number?
False
Let w(h) = -h. Let u be w(0). Suppose u = 3*j - 4 - 29. Is j a prime number?
True
Suppose -u = -2*s + s - 5, -3*u - s + 11 = 0. Suppose -x = u*q - 155, -152 - 43 = -5*q - x. Let r = -15 + q. Is r a prime number?
False
Let v = 21 + -24. Is (156 - v) + (-6)/(-3) composite?
True
Let j be (-1 - -4)*(-8)/(-3). Let v be (-2)/(-6) + j/12. Is (2 + v)/6*446 a prime number?
True
Is 34/6*(-2 + 53) a composite number?
True
Let u(b) = b + 11. Let v be u(-8). Suppose -v*d + 132 + 90 = 0. Let j = d - 40. Is j prime?
False
Let g be 3/6 - (-23)/2. Suppose -j + l = -8, -5*j - 3*l = -l - g. Suppose d + 111 = j*d. Is d prime?
True
Suppose 4*w - 16 = -0*w. Suppose -w*f = 2*n + 3*n - 787, 4*n - 646 = 5*f. Is n a composite number?
True
Suppose -3*h + 2*b - 121 = -325, 0 = 2*h + 3*b - 123. Let d = h - 43. Suppose 0*p = p - d. Is p a prime number?
True
Let i(t) = 5*t**2 - t - 9. Let w(n) = -4*n**2 + 8. Let h(a) = 5*i(a) + 6*w(a). Suppose -2*v = 5*x + 3 + 2, -4*v = -2*x - 26. Is h(v) a composite number?
False
Suppose 285 = 3*y - 453. Suppose 4*v = -5*b + 964 + 41, v - y = 4*b. Let a = v - 161. Is a prime?
True
Let r be ((-1492)/16)/((-3)/(-12)). Is 0 + 0 + 0 - r a prime number?
True
Let b(u) = u**2 - 7*u + 6. Let z be b(6). Let v(p) = -p**2 + 35 - 4*p + 4*p - p. Is v(z) a composite number?
True
Let q(c) = 13*c**2 - 2*c - 1. Is q(2) prime?
True
Let b(s) = -s + 16. Let z be b(11). Suppose 4*w - 4*o = -o + 223, -275 = -z*w + 5*o. Is w composite?
True
Suppose -40 = -4*x + 5*b, x + 2*b - 6 - 4 = 0. Is x prime?
False
Let w(y) = 128*y**2 - 1. Is w(1) a prime number?
True
Suppose 42 = l + k, l + 0*l - 3*k - 22 = 0. Is l a prime number?
True
Let a(l) = l**3 - 8*l**2 + 14*l - 1. Is a(6) prime?
True
Let v = 42 - -484. Is v prime?
False
Let w(z) = -2*z + 5 - z**2 - 5*z + 12*z - 2*z**3. Is w(-4) a composite number?
False
Let i(r) = -r + 1. Let w be i(3). Is -4 + (w + 483 - -4) prime?
False
Let c = 15 - -48. Let n = 60 + c. Is n a composite number?
True
Suppose 0 = -4*o - 20, g - 5*o - 129 = 437. Is g a composite number?
False
Let o(p) = -24*p