uppose 0 = -2*q + 6*q - 420. Let v = q - a. Is v prime?
True
Suppose 8*k + 541 = 9*k. Is k a composite number?
False
Suppose -2*z + 431 = -y, 2*z + 5*y + 124 = 561. Suppose 4*n = 2*n + 4*b + z, b - 99 = -n. Is n/4 + 2/4 a prime number?
False
Let o(i) = i**2 - 4*i + 5. Suppose 20 = 4*c - y + 3*y, -2*y - 12 = -4*c. Let m be o(c). Suppose -m + 17 = a + 3*k, -a - 4*k = -14. Is a prime?
False
Suppose 5*p = -3*w + 864 + 1366, -5*p - 2240 = -3*w. Is w a prime number?
False
Suppose -4*z + w - 2 = -6, 12 = -2*z - 3*w. Suppose 2*y + 0*y - 20 = z. Is y prime?
False
Let y(i) = 3*i**2 + i. Let r be y(1). Suppose 0 = -r*z + 3176 - 896. Suppose 0*d = 5*d + q - z, -q + 118 = d. Is d a composite number?
False
Let i(o) be the second derivative of o**4/12 + 7*o**3/6 - 9*o**2/2 - 5*o. Is i(7) a prime number?
True
Suppose 4*p - 4 = -0*p. Let w(r) = -r - 2*r - 25*r**3 + p + 4*r. Is w(-1) composite?
True
Suppose 2 = -n - 1. Let h be 10/25 - n/5. Let z(y) = 38*y**3 - 2*y**2 + 1. Is z(h) a composite number?
False
Let a(n) = -31*n + 4. Is a(-3) prime?
True
Let b(n) = -n**3 + 8*n**2 + n - 6. Let h be b(8). Suppose 3*t + h*t - 15 = 0. Suppose 0 = t*d - 25 + 7. Is d composite?
True
Suppose 3*v + r = 3113, 3105 = 3*v - 0*r + 3*r. Is v a composite number?
False
Suppose 2*o - 14 - 4 = 0. Suppose -w = o - 4. Let q(i) = -5*i. Is q(w) a composite number?
True
Let t be 5 - 4 - (-1)/(-1). Suppose 10 = -a - h + 201, -a + h + 183 = t. Is a a composite number?
True
Is (-2897)/(-13) + (240/39 - 6) composite?
False
Is (6/(-15))/(2/(-1910)) composite?
True
Suppose 5*h = -0*h - 4*n + 715, h + 5*n - 143 = 0. Is h prime?
False
Let a be (-38)/(-14) + (-4)/(-14). Let t(n) = 3*n**3 + 2*n**2 - 2*n + 4. Is t(a) prime?
True
Let a(f) = -f - 4. Let d be a(-6). Suppose -d*b + 36 = -58. Is b a prime number?
True
Is (-1)/2 + (-4035)/(-2) a composite number?
False
Let a be 9/63 + (-628)/(-14). Let h = -3 + 2. Is a + 2 + h + 0 prime?
False
Suppose -3*l - 12 = 0, 4*v + 4*l - 1652 = 3*l. Let z = 637 - v. Is z prime?
True
Let n be 14/4 - 2/4. Suppose -n*p + 201 - 7 = 5*o, 5*o - 188 = -p. Is o prime?
True
Let b(k) = 61*k**2 - 5*k + 11. Is b(3) a composite number?
True
Let l(v) = v + 1. Let w be l(-7). Let k = -16 - w. Let f = k + 24. Is f a prime number?
False
Suppose 38*p - 2973 = 35*p. Is p a composite number?
False
Suppose -2*f + 69 = -f - 5*t, -5*f - 5*t = -285. Is f composite?
False
Suppose -2*y + y + 224 = 0. Let p = y - 141. Is p composite?
False
Suppose -l - l = -8. Suppose 0 = -2*n - l*b + 78, -n + 33 = -4*b. Is n a prime number?
True
Is (-8105)/(-1) + -2 + -2 composite?
False
Suppose -2*h + 3*u - 22 = 0, -4*u + 9*u - 10 = 0. Is (-146)/(-8) + (-6)/h composite?
False
Suppose 1 = h - 0. Is (-4 + -3)*h/(-1) composite?
False
Let u be (-1)/3 + (-112)/(-12). Let x be 2/u - (-102)/27. Suppose -x*z = 2*t - 0*z - 54, -t + 57 = -4*z. Is t a prime number?
True
Suppose -3*u + 6*u = 0. Suppose -2*s + 4*s + 374 = 2*f, u = 5*f - 4*s - 935. Is f a prime number?
False
Suppose -23*s - 851 = -24*s. Is s a prime number?
False
Let h be (4/5)/(5/25). Is h/(-10) + (-1496)/(-40) a prime number?
True
Suppose -2*b = o - 212 - 123, 5*o - b = 1653. Is o a composite number?
False
Let z = 1186 + -777. Is z prime?
True
Let n(j) be the first derivative of -j**4/4 - 4*j**3/3 + 9*j**2/2 + 5*j + 3. Is n(-7) a prime number?
True
Suppose 3*t - 2*t = 683. Is t composite?
False
Let z be 10/4*(-8)/(-10). Suppose j + z*y = 6*y + 31, 3*j - y - 93 = 0. Is j a prime number?
True
Suppose 5*t + 186 = 3*t. Is (t/6)/(2/(-4)) composite?
False
Let x(p) = -37*p + 6. Is x(-17) a composite number?
True
Let d(f) = -f**3 + f**2 + 4*f + 3. Let s(t) = t**3 + 7*t**2 + 6*t - 2. Let c be s(-6). Is d(c) composite?
False
Let z(w) = 152*w - 3. Let a(l) = 151*l - 3. Let k(f) = 4*a(f) - 3*z(f). Is k(2) a prime number?
True
Suppose 402 = -s + 3*s. Is s a prime number?
False
Is 87/(5 - 8/2) composite?
True
Is 4/6*13461/14 a prime number?
True
Suppose -b - t = -4*b - 1099, 0 = -5*b - 5*t - 1865. Let q = b - -812. Suppose -3*n + q = n. Is n prime?
False
Suppose -157 = -2*w + 21. Is w a composite number?
False
Let w(n) = -280*n**3 + n. Let m be w(-1). Suppose -2*t = -5*g + m, 2*g = -7*t + 3*t + 102. Is g prime?
False
Suppose -4*v + 11*v - 147 = 0. Is v a prime number?
False
Let a = 5272 - 3761. Is a a composite number?
False
Suppose k - 3*k - 5*a = -138, -4*k + 4*a + 304 = 0. Is k prime?
False
Let a be 3 - (-71 + 6/(-3)). Suppose 4*m = -3*t - t + a, 3*m - 5*t - 25 = 0. Is m a prime number?
False
Let z(c) be the second derivative of -17*c**3/6 + 13*c**2/2 + 2*c. Is z(-6) a prime number?
False
Let h = 549 + 152. Is h prime?
True
Let y = 34 - 1. Is y composite?
True
Let n(i) = i**3 + 7*i**2 - 7*i - 9. Is n(-6) a prime number?
False
Let b(l) = -3*l - 2. Suppose 4*u + 5*p + 8 = -9, -25 = 5*p. Suppose 3*v + w + 6 = -2*w, 0 = -u*v + w - 19. Is b(v) composite?
False
Let y = -1257 - -1926. Is y a composite number?
True
Suppose -5*o - 3194 = -7*o + 3*i, 4*o = i + 6388. Is o composite?
False
Let q be 3/((-6)/(-3) + -1). Suppose -24 = q*a - 6. Is ((-298)/a)/((-3)/(-9)) a composite number?
False
Is (20/(-12) + 2)*5649 composite?
True
Let k(p) = 7*p**3 - 4*p**2 - 8*p + 1. Is k(4) a prime number?
True
Suppose y - 8 = 3*y. Let i be y/(-1) + (0 - 2). Suppose q - 105 = -i*q. Is q a prime number?
False
Suppose 2*h - 2 = h. Suppose -9 = -h*i + 65. Suppose 0*j - j = -i. Is j composite?
False
Suppose 2*y = 2*v - 5*v - 28, 0 = -4*y - 4*v - 56. Let f = y + 27. Is f a composite number?
False
Let b be ((-74)/3)/(6/(-9)). Let q = -14 + b. Is q prime?
True
Is (333 - 2) + 1 - (-6)/(-6) prime?
True
Let m = 14 - -4. Suppose 6 + m = -4*r. Let h(c) = c**2 + 3*c - 5. Is h(r) composite?
False
Let h be ((-6)/(-4))/(2/4). Let t = h + -1. Suppose -t*v + a + 5 + 102 = 0, -4*v = -3*a - 211. Is v a composite number?
True
Let y(j) = -107*j - 3. Let q(a) = 108*a + 3. Let o(k) = -5*q(k) - 4*y(k). Is o(-2) prime?
False
Suppose -2*m + 12*m = 5090. Is m a prime number?
True
Let b(a) = -44*a - 27. Is b(-10) a composite number?
True
Let i(c) = c. Let g be i(5). Let v be 4/10*10/2 - -32. Suppose -36 - v = -g*o. Is o a prime number?
False
Let i = -99 - -256. Is i composite?
False
Let f = -73 + 158. Let g be 0 + 2 + f/1. Suppose 6*r - r - g = -4*m, -3*r = -3*m + 72. Is m a composite number?
False
Let r(n) = -83*n - 43. Is r(-10) composite?
False
Suppose 4*p - 1236 - 260 = -4*i, 5*i + 1840 = 5*p. Is p a composite number?
True
Suppose 0 = 5*p - 4*p - 907. Is p a prime number?
True
Suppose 0 = -3*p + 656 + 82. Suppose 2*d - 4*d + p = 0. Let r = d + -34. Is r composite?
False
Let o(k) = k**3 - 7*k**2 - 6*k + 10. Let d be o(7). Is (-2 - (d + 0)) + 1 prime?
True
Let k(a) = 4*a**3 + 2 - a - 3 - a - 4*a**2 + 5*a**2. Is k(4) a prime number?
True
Let v(i) = i**2 + i**3 + 3 + 2 - 2*i**2. Let b be v(0). Suppose -z + 0*z - n + 42 = 0, 160 = 5*z - b*n. Is z a prime number?
True
Let x(r) = 4*r**3 + 2*r**2 - 2. Let m be x(-2). Let f = m + 84. Is f a composite number?
True
Let k(g) = 6*g**3 - g**2 + 3*g + 9. Is k(4) composite?
False
Suppose 5*m + 5 = 15. Suppose 0 = s + s. Suppose s*r = -m*r + 6, -4*a = 2*r - 458. Is a composite?
False
Let w = -2076 - -2981. Is w composite?
True
Let m = 22 + -18. Suppose -5*v = m*d - 1524, 0 = -4*d - v - 173 + 1697. Is d a composite number?
True
Let g(p) = -8*p**3 - 2*p**2 - 1. Let b(m) be the second derivative of m**4/12 + 3*m**3/2 - m**2 + 2*m. Let x be b(-9). Is g(x) a composite number?
True
Let b(r) = -3*r**2 + 9*r - 10. Let y be b(-7). Let h be 14/3 + 16/(-24). Is -2*1 - y/h prime?
True
Let h = 50 - 75. Let t = 47 + h. Let v = t + -3. Is v a composite number?
False
Let u(t) = -t**2 - 7*t + 9. Let a(z) = -z**2 + z - 2. Let q be a(-2). Let x be u(q). Let s(y) = 22*y**3 + 2*y**2 - 2*y + 1. Is s(x) a prime number?
True
Let y(g) be the first derivative of 7*g**3/3 + 7*g**2/2 + 11*g - 1. Let f(s) = -20*s**2 - 20*s - 32. Let p(t) = -6*f(t) - 17*y(t). Is p(6) a composite number?
False
Suppose 10*y - 6*y = 804. Is y prime?
False
Let b(v) = -2*v**3 - 5*v**2 - 9*v - 5. Let x be b(-8). Suppose -3*u + 6*u = x. Is u a prime number?
True
Let b be 0*(2 + 20/(-8)). Is 90/5 - (-4 - b) composite?
True
Let r(h) = 33*h**3 + 4*h**2 - 4*h + 2. Is r(2) composite?
True
Suppose -80 = -2*x - 2*x. Let o = -14 + x. Is