h + 4*h + 19. Suppose -4*v + m = -0. Suppose -v*j + 7*j = 215. Is j a composite number?
False
Let j = -1 - 1. Let u(m) = -69*m. Let z be u(-1). Is (-2)/((-6)/z) + j a composite number?
True
Suppose 5*z + 5*a - 80 = 0, 2*z - 38 = 5*a + 29. Let o = 40 - z. Is o prime?
True
Suppose 0*u + 2*u + 26 = 4*w, 3*u - 5 = -5*w. Suppose 0*t - 40 = -3*c - w*t, 3*c - 5*t = 4. Suppose -c + 1 = -h. Is h a composite number?
False
Suppose -h - s = 9, -2*h = -h + 4*s + 6. Let m be -3*(-2)/((-12)/h). Suppose 3*o + 94 = m*t + 7*o, -o + 62 = 3*t. Is t a composite number?
True
Let o be ((-76)/6)/((-8)/12). Suppose -4*n - o = 13. Is 5/((n/(-6))/4) composite?
True
Suppose 0 = c - 0*u + 2*u - 199, -2*u = 10. Is c composite?
True
Let d be (2 - 9) + (0 - -1). Suppose -v - 2*v + 18 = 0. Is v/(-5)*15/d a prime number?
True
Let j be 2*(0 + 4)/4. Is j/(-8) - (-213)/4 composite?
False
Let z(o) = o + 9*o - 1 + 2*o. Is z(5) a composite number?
False
Let n(y) be the second derivative of -31*y**3/3 - 3*y**2/2 - 6*y. Is n(-2) composite?
True
Let o(p) be the first derivative of -p**4/4 + 4*p**3/3 + 3*p**2/2 + p - 6. Is o(3) a composite number?
False
Let j(u) = -3*u**3 + 4*u**2 - 10*u - 4. Is j(-7) a prime number?
True
Let q be 0/((-6 - -2)/(-4)). Suppose -3*l = -3*i + 630, -i + 4*l - 2*l + 209 = q. Is i prime?
True
Let m(u) = 4*u**2 + 9*u + 5. Let g = -4 + -2. Is m(g) prime?
False
Let r be 3/9 - 1032/(-9). Suppose 4*t - r = 2*w - 5*w, -2*w + 86 = 5*t. Is w composite?
True
Let c = 93 + 26. Is c composite?
True
Let v = 35 - 64. Let q be 8/(-10)*(v - 1). Suppose 5*t = c + 184, c + q + 12 = t. Is t composite?
False
Is ((-2)/(-4))/(2/508) prime?
True
Suppose 4*v - l = v + 993, 5*v - 1655 = 2*l. Is v a prime number?
True
Let q(z) = -z + 8. Suppose 3*j - 11 = -5*a, -2*a - j + 1 = -a. Let d be q(a). Suppose -d*v + 373 + 679 = 0. Is v composite?
False
Let m = 0 - -5. Let d be (2 - (-33)/(-2))*-2. Suppose -d - 40 = -4*l + 5*r, 3*l - 78 = -m*r. Is l a prime number?
False
Let r(h) = -h**2 + 7*h - 3. Let m be 20/(-6)*3/(-2). Let u be r(m). Let a(w) = -w**2 + 11*w + 5. Is a(u) a composite number?
True
Let k = 7 + -7. Suppose -a = -k*a - 199. Is a composite?
False
Let y(v) be the first derivative of -v**4/4 + 3*v**3 + 6*v**2 - 13*v - 2. Is y(10) a composite number?
False
Let o(n) = -7*n**3 + n + 2. Let y be o(-2). Suppose -187 = 5*h - 2. Let l = h + y. Is l a prime number?
True
Let x(w) = 168*w**2 - w. Suppose -5*j = -0 - 5. Is x(j) a composite number?
False
Suppose -5*c = -5*i - 10770, 2*c + 3*i - 2*i - 4305 = 0. Is c prime?
True
Let a = -86 - -621. Is a composite?
True
Suppose 4*s + 9 = i, 1 + 3 = -4*s - 4*i. Is (20 + 6)/(s/(-1)) a prime number?
True
Suppose -3570 = 5*b - 9*n + 4*n, 2*n = 3*b + 2144. Let s = -493 - b. Is s prime?
True
Suppose -5*a + q = 2*q - 887, -a + 2*q + 184 = 0. Is a a composite number?
True
Let k(c) = -c**2 + 7*c + 2. Suppose 4*z + z = 35. Let g be k(z). Suppose -6*d + g*d = -3*v - 139, 3*v = 5*d - 176. Is d a composite number?
False
Suppose 0 = -4*m + 5*m - 161. Is m a prime number?
False
Let m = -20 - -12. Let j = m - -6. Is (714/12)/((-1)/j) a composite number?
True
Let g(x) = 4*x**2 - 6*x + 9. Let l be g(8). Let v = l + -90. Is v a prime number?
True
Let q(m) = -47*m + 6. Let x be q(-6). Suppose 2*j + j - x = 0. Suppose 3*z = j + 78. Is z composite?
True
Let t(u) = -u**2 - 7*u + 10. Let l be t(-8). Suppose -l*o = 3*n - 83, 0 = 4*n - 2*n - o - 46. Is n composite?
True
Let f(k) = 3*k**2 - 2*k + 3. Let t(v) = -v**3 + 11*v**2 - v + 13. Let b be t(11). Is f(b) a composite number?
False
Let c(l) = 5*l**3 - 11*l**2 + 6*l - 2. Let d(z) = z**3 + 1. Let s(f) = -c(f) + 6*d(f). Is s(-11) a composite number?
True
Let y be (-3)/(-3) - 2*-1. Let m(c) = c**3 - c**2 - 2*c - 4. Let l be m(y). Let j = 5 + l. Is j composite?
False
Suppose 8*w - 1582 + 390 = 0. Is w composite?
False
Let s(a) = -5*a**2 + 3*a. Let f(q) = 10*q**2 - 7*q - 1. Let n(d) = 3*f(d) + 5*s(d). Is n(6) composite?
True
Suppose -2*u = d - 108, -3*d + 317 = 2*u - 3*u. Is d a prime number?
False
Let k be 0 + -2 + 1 - -68. Suppose w + 0*w = k. Is w prime?
True
Let k(r) be the third derivative of r**6/120 + r**5/60 - r**4/24 - 2*r**2. Let d be k(0). Is (d/(-3) + 11)/1 composite?
False
Let r = 523 + -186. Is r composite?
False
Suppose 4*b - 12 = 0, 2*s + 5*b - 305 = 244. Is s a prime number?
False
Let x = 4733 + -790. Is x prime?
True
Let z = 143 + -67. Suppose u + 2*j = -j + z, 208 = 3*u - j. Let o = u - 49. Is o prime?
False
Let v(c) = -8*c + 1. Let l be v(-1). Suppose -3*x = -l, -n = 3*x - 6 - 5. Suppose -30 = n*i - 154. Is i a prime number?
False
Suppose 14 + 2 = 4*i. Suppose -i*o = -5*d + 359 + 146, -281 = -3*d - 2*o. Is d composite?
False
Is (-9 - -4) + 1 + 3021 a prime number?
False
Let n be (-20)/3*(-60)/25. Let g be (1/(-2))/((-2)/116). Let o = g - n. Is o a composite number?
False
Let h be -6 + 1/(3/(-6)). Let q(l) = -l**2 - 7*l + 10. Let y be q(h). Suppose 0 = y*f - 24 - 14. Is f a composite number?
False
Suppose 5*u - u - 1216 = 4*t, 0 = 3*u - 2*t - 915. Is u composite?
False
Let n = 91 + -65. Is n prime?
False
Let b(p) = 3 - 175*p - 3. Let t be b(1). Is 2/(-3) - t/15 a prime number?
True
Suppose -3*g = -0*s + 2*s - 485, -3*s - 495 = -3*g. Suppose 2*l - 5*l + 15 = 0. Suppose -l*m + 3*b = -271, -3*b + b = -3*m + g. Is m a composite number?
False
Suppose 12*b = 3*b + 3663. Is b composite?
True
Let j be 6 + 3 + -1 + -1. Suppose c - 26 = -j. Is c composite?
False
Is 5352/40 - (-1)/5 prime?
False
Is (191/3)/((-2)/(-6)) a composite number?
False
Let m = 3 - 10. Let d = m - -11. Suppose 0 = -d*y - 4*c + 16 + 12, -4*c - 16 = 0. Is y composite?
False
Is (-2323)/(-4) + 3*5/60 a prime number?
False
Suppose -4*c = 0, -2*r - 3*r + 520 = c. Suppose k - x - 18 = 44, 2*k = -3*x + r. Is k a prime number?
False
Suppose -268 = -3*f + 17. Is f a composite number?
True
Let i = 14 + -10. Let t = 7 - i. Is t prime?
True
Let a = -9 - 15. Let p = 34 + a. Is 325/p*(-6)/(-5) a prime number?
False
Let z = -33 + 86. Suppose -3*r + z = -265. Is (r/(-8))/((-3)/12) prime?
True
Suppose b + 0*f - 3*f = -45, 162 = -4*b + 3*f. Let p = 27 + b. Is (-92)/p - 4/6 a composite number?
False
Let f = 85 - 2. Is f a composite number?
False
Let x be ((-6)/(-2))/((-8)/(-328)). Let q = x - -80. Is q composite?
True
Suppose 345 = 7*s - 4*s. Is s composite?
True
Let m(t) be the third derivative of 3/5*t**5 + 1/24*t**4 + 0 - 2*t**2 + 0*t + 0*t**3. Is m(-1) prime?
False
Let x = 18 + -15. Suppose 111 = x*w - 126. Is w a composite number?
False
Let d(p) = -45*p - 2. Is d(-3) a composite number?
True
Is (-10633)/(-15) - (-8)/(-60)*-1 a composite number?
False
Let b(x) = -9*x**3 + 2*x**2 + x. Is b(-1) prime?
False
Suppose 0 = -2*i - 0*i + 3*f + 931, f = -2*i + 911. Suppose 3*n = 5*t + i, 6*n = n + 2*t + 795. Is n a prime number?
False
Suppose 1527 = -6*p + 7149. Suppose p = 3*n + 4*y + 138, 0 = 4*y - 4. Is n a prime number?
False
Let i = 434 - 249. Is i prime?
False
Is 1*(4 + (3139 - -6)) a prime number?
False
Suppose -22571 - 759 = -10*x. Is x prime?
True
Suppose 5*r + 3*a = 40 + 8, 5*r + 2*a = 47. Is r a composite number?
True
Suppose 2 = 4*a - 38. Suppose -2*u - 2 = -0*c - c, -5*c = -4*u - a. Suppose -z - 4 = u, -4*w + 5*z = 24 - 184. Is w a composite number?
True
Is (-1 - -3) + (697 - -3 - 3) composite?
True
Let a(d) be the second derivative of 91*d**5/20 - d**4/12 + d**2/2 + 5*d. Is a(1) a prime number?
False
Let x = 298 + 147. Is x a prime number?
False
Let n(z) be the third derivative of -37*z**6/120 + z**5/60 + z**4/24 + z**3/6 - z**2. Suppose 0 = -2*g - 4*g - 6. Is n(g) a prime number?
False
Let k(z) = 17*z**2 + 2*z + 14. Let y be k(-6). Suppose 0 = -t - t + y. Is t composite?
False
Suppose 0*h - 3 = -h. Let x(n) = 11*n**2 + 5*n - 4. Let y be x(3). Suppose -u = 3*m - 26, h*u - y = -m - 0*m. Is u prime?
False
Suppose 15 = 5*f, 0 = -5*p - f - f + 1601. Is p composite?
True
Let n = -4 - -3. Suppose 0 = -2*f, 0*f = -4*k + 2*f + 4. Is 78 - ((n - 1) + k) a prime number?
True
Let z be (-4)/(-18) - (-43)/9. Suppose -y = -2*o + 1, -3 = -z*o + 12. Suppose 51 = -y*c + 226. Is c prime?
False
Is (16/(-24))/(6/(-3177)) a prime number?
True
Let t(s) = -45*s**2 - s - 2. Let a(o) = 45*o**2 + 1. Let h(g) = 3*a(g) + 2*t(g). Is h(-1) a composite number?
True
Let s(i) be the 