 -3*h + z*h - 113 = 0. Is h a prime number?
True
Let v(s) = -11*s**3 + 2*s**2 - s. Let i be v(1). Let d be (-2 - i/4)*4. Let j = 35 + d. Is j a composite number?
False
Suppose -460 = -n + 3*m, -1416 = -5*n + 2*n - 3*m. Is n prime?
False
Is (-1062)/(-15) - (-2)/10 composite?
False
Suppose 3*g = -g + 3*n + 54, -22 = -2*g - n. Let x = g - 27. Is 2/(-5) - 531/x a prime number?
False
Let j be ((-8)/2 + 9)/(-1). Let r(y) = -30*y + 9. Is r(j) prime?
False
Let n(d) = d**3 - 4*d**2 - 15*d - 4. Let p be n(12). Let a = p - 427. Is a a prime number?
True
Is (-87)/(-58)*(-3)/(9/(-2822)) prime?
False
Suppose 9*w - 2*x = 4*w - 3, 0 = -2*w - 3*x + 14. Let j(f) = 39*f - w - 2*f + 1. Is j(1) prime?
True
Suppose 1122 = 4*p - 2*g, -3*g = -2*p + g + 558. Let b be (154/8)/((-2)/16). Let m = b + p. Is m composite?
False
Let y(l) = -l - 3. Let j be y(-4). Let h be (0 - j/2)*0. Suppose 5*r + 20 = -h*r, 2*r = -5*b + 102. Is b a prime number?
False
Let f = 1621 + -782. Is f a prime number?
True
Suppose o - 4*b = -b + 821, -5*o - b + 4169 = 0. Let l = o - 396. Is l a composite number?
True
Let b(g) = -g**3 + 6*g**2 + 3*g - 5. Is b(5) prime?
False
Let f(u) be the first derivative of -u**4/4 + 11*u**3/3 - 4*u**2 - 11*u + 2. Suppose -c + 0 = 3*k - 12, -5 = -5*k. Is f(c) prime?
True
Suppose 0 = 2*l + 390 - 1612. Is l composite?
True
Let a(b) = -13*b - 3. Let i(m) = m**2 - 7*m - 2. Let r be i(7). Is a(r) prime?
True
Suppose 8 = s + s + v, 4*v - 8 = -2*s. Suppose 5*b - 2*d - 3*d = -25, -2*b = -s*d + 8. Is (1*b)/(4/(-10)) composite?
True
Suppose -4*s - 13 = -3*w, -4*w - 1 = -4*s - 13. Is 22/(-2)*w*3 a prime number?
False
Let k(a) = 17*a**3 - 2*a**2 + 1. Let l be k(1). Let d = l - -33. Is d a prime number?
False
Let m = 24 + -202. Is (-3 - -2)/(2/m) a prime number?
True
Is (-15)/3 + (-1507)/(-1) composite?
True
Let g be (-17)/5 - (-4)/10. Let y = 3 + g. Suppose 0 = -4*x - h + 450, -2*h - 456 = -4*x - y*h. Is x a prime number?
True
Let f(d) = d**3 - 4*d**2 - 7*d + 5. Let w(o) = o**2 + 2. Let n be w(2). Is f(n) prime?
False
Let m(n) = 11*n - 1. Let k be m(4). Suppose -4*a = 5*j - 50, -3*j + 2*a = -k - 9. Is j composite?
True
Let m = -3 + 11. Suppose 24 = 4*z + m. Suppose 231 + 213 = z*t. Is t a prime number?
False
Suppose o = -z - 3*z - 7, 69 = -5*o - 3*z. Let i = -8 - o. Is i composite?
False
Suppose 3*v + 3*p + 410 = 1106, 2*v - 4*p - 470 = 0. Is v a prime number?
True
Suppose 5*d = -f + 4*d, 2*d = -4*f + 10. Let v be -1 + -1 + -1 + f. Is v*(-2)/(8/(-470)) composite?
True
Let z = -58 - -202. Let k = -1 - -1. Suppose -3*o - 3*h + z = k, -o + 0*o + 2*h + 42 = 0. Is o prime?
False
Let v(o) = 7*o**3 - 2*o**2 + o - 1. Suppose s + z = -3, -3*s + z + 4*z = -31. Is v(s) composite?
True
Let p(b) = b**3 - 16*b**2 + 2*b - 13. Is p(16) prime?
True
Let g = -5 - -7. Suppose n = z - n - 1, 5 = g*z - n. Suppose 2*w - 385 = -z*w. Is w prime?
False
Suppose 3*b = 5*x - 972 - 1276, b + 1804 = 4*x. Let l = -133 + x. Is l prime?
False
Suppose a = -f + 2278, 5*a + 2*f - 3*f - 11408 = 0. Is a composite?
False
Is (1304/32)/(2/8) prime?
True
Is (2 + 0 + -1)*299 a composite number?
True
Let t be (354/(-12))/((-1)/(-2)). Let u = -40 - t. Is u a prime number?
True
Let k = 23 - 11. Let x = k + -6. Suppose -x*o + 175 = -o. Is o prime?
False
Let c = 10 + -5. Suppose 0 = -4*b - c*l + 793, b - 2*l - 172 = 2*l. Suppose -b = -5*y + 623. Is y a composite number?
False
Let c(i) = i**3 - i**2 - i. Let y(w) = -97*w**3 + 4*w**2 + 4*w + 1. Let m(h) = 3*c(h) + y(h). Let f be (-22)/18 + 4/18. Is m(f) prime?
False
Let o(f) = f**2 + f + 677. Is o(0) composite?
False
Let u = 41 + -21. Is 2 + 4*u + 3 a prime number?
False
Let u = 95 + -56. Is u composite?
True
Suppose 5*t + 40 = 230. Let n = 261 - t. Is n a composite number?
False
Suppose 0 = 2*p - 3*l + 6 - 4, p = -2*l + 6. Is p/8 + 518/8 prime?
False
Let n(j) = -j**2 - 4*j + 1. Let c be n(-4). Let o = c + 4. Suppose 2*b + 0*b = 4*m + 118, m + 331 = o*b. Is b a prime number?
True
Suppose 0*s - 2*s + 4*x = -32, -3*x = 6. Let l = s - -58. Suppose c = 3*c - l. Is c prime?
False
Let j = -267 - -608. Suppose j = 5*a - 2*n, -5*a + 2*n + 203 = -2*a. Is a a composite number?
True
Suppose -5*m + 2*m - 364 = 4*u, 4*u = -m - 364. Let j(o) = 5*o**2 + 3*o - 2. Let l be j(5). Let x = l + u. Is x a composite number?
False
Let t(v) = v**2 - 11*v + 18. Let y be t(8). Is (-1)/y + (-185)/(-6) a prime number?
True
Suppose -3 = -3*c - 9. Let l be 1*(c - -3)*-2. Is 74*l/(-4)*3 a composite number?
True
Suppose -5*c + 153 = -2*c. Is c a composite number?
True
Let w = 87 + 395. Is w composite?
True
Let n be 4/(-6) + (-1120)/(-6). Let q = n + -75. Is q a prime number?
False
Let w(p) = -p**3 - p**2 - 7*p - 16. Is w(-7) prime?
False
Suppose -4*d + 3*g = -6629 + 478, -d + 2*g + 1539 = 0. Is d a prime number?
False
Let k be (-3)/6 - (-14)/4. Suppose 415 = 2*v + k*v. Is v composite?
False
Let g(p) = 202*p**2 - p + 2. Is g(1) a prime number?
False
Is (-6)/(-18) + (-1216)/(-6) composite?
True
Let l(o) = o**2 - 6*o + 7. Let m be l(5). Is (m + 1)/6*514 a composite number?
False
Suppose -2*x = -3*a + 5 + 15, 5*x = 5*a - 30. Suppose -a - 397 = -3*w + 3*h, 4*h = 2*w - 278. Is w a composite number?
False
Let i = 73 - 52. Is i composite?
True
Let m be (-1)/3 + (-1286)/(-6). Suppose -3*z + m = -0*q + 2*q, 334 = 3*q - 2*z. Suppose p + 0*n + 4*n - 15 = 0, -3*p = -n - q. Is p composite?
True
Let v(d) be the second derivative of 2*d**4/3 - d**3/3 + 9*d**2/2 + 7*d. Is v(-5) prime?
False
Let i = -30 - -4. Suppose 5*r = 180 + 65. Let a = i + r. Is a a composite number?
False
Suppose 4*q = r - 136, 5*q - 635 = -4*r - 28. Let l = 137 - 42. Let n = r - l. Is n a prime number?
True
Let x be -22*22/4*1. Is (-3)/(-1 + 2) - x a prime number?
False
Let x(y) = 5*y**3 - 4*y - 145. Let k(l) = l**3 - l + 1. Let c(z) = 4*k(z) - x(z). Is c(0) a prime number?
True
Suppose -a + 515 = 146. Let m = -186 + a. Is m prime?
False
Suppose 0*p + 8 = 2*p. Let l(c) = c**3 + 2*c**2 - 5*c + 2. Let i be l(-4). Let h = p - i. Is h prime?
False
Let w = 316 - 477. Is (w/4 + 3)*-4 prime?
True
Let a = 43 + 54. Suppose 0 = f - 4*t + t - a, 2*t + 97 = f. Let q = f - 28. Is q prime?
False
Let n = -1077 + 1544. Suppose 0 = -5*k - 10, -5*x + 8448 = 2*k + n. Is x composite?
False
Suppose 0 = 8*q - 4*q - 4*f - 12488, f = -4*q + 12513. Is q composite?
True
Is 1345/15 - (-2)/(-3) composite?
False
Let q(w) = -w + 1. Let d(r) = 2*r + 3. Let p(c) = d(c) + 4*q(c). Is p(-6) composite?
False
Suppose 27*d - 3 = 26*d. Is d composite?
False
Suppose 3*u = 2*n + 197, -u = n + 2*n - 62. Is u composite?
True
Let c = -42 - -101. Is c a composite number?
False
Suppose 0*x - 264 = -5*a - 2*x, 3*x = 2*a - 117. Suppose d - a = 3*r, 6*d - d - 228 = r. Let t = d + -30. Is t prime?
False
Suppose 0 = 5*k + a + 4*a - 7820, -3*k = 4*a - 4689. Is k prime?
True
Let o(r) = r**2 - 5*r - 4. Let w be o(6). Let u(t) = 3*t - 3*t + t**w + 2. Is u(-3) composite?
False
Suppose 0 = -5*j - 5*k + 7 + 13, -5*j - 4*k + 22 = 0. Suppose -5*r = 3*b + b - 747, 0 = -3*b + 4*r + 568. Suppose j*s - 2*s - b = 0. Is s composite?
False
Let l(p) = p - 1. Let g be l(3). Suppose -x - g*x + 36 = 0. Let k = x - 5. Is k a composite number?
False
Let m = 3850 - 2117. Is m prime?
True
Let b(j) = 3*j**3 - 2*j**2 + 2*j - 1. Let d = -5 - -6. Let g be b(d). Suppose -g*c + c + 56 = -5*q, 0 = 4*c - 5*q - 149. Is c a composite number?
False
Let b be (-6)/27 - 40/(-18). Suppose -b*p + 160 + 162 = 0. Is p a prime number?
False
Suppose 0 = 2*b - b - 1118. Suppose n + b = 5*d - 0*n, 0 = 5*d + 4*n - 1103. Is d a prime number?
True
Let x(u) = -5*u + 9. Let o = -27 - -19. Is x(o) a prime number?
False
Let u = -597 - -1152. Let l = u - 262. Is l a prime number?
True
Suppose -4*y + 1017 + 2131 = 0. Is y composite?
False
Let o(f) = 24*f + 1 - 5 + 4*f**2 - 21*f. Is o(7) prime?
False
Let g = -4 - -7. Suppose -208 = -4*h - j - 3*j, g*h + 5*j = 162. Is h composite?
True
Let i = -39 + 25. Let f = i - -4. Is (-5)/f*(27 - 1) a prime number?
True
Let w(q) = -11*q - 6. Let b(h) = 15 - 13*h**2 + 4*h**2 - 12*h + 0*h + h**3. Let c be b(10). Is w(c) a composite number?
True
Suppose -18*m + 15*m + 28599 = 0. Is m composite?
False
Suppose 0*a = -3*a + 3, 0 = -5*b - 3*a - 27. Let p(m) = -m**3 + 4*m + 9. Is p(b) prime?
False
Let g = -3 + 2. Let p be