. Is h a prime number?
True
Let k(l) = 19*l + 4. Let r be k(9). Suppose 5*i - 69 - 191 = 3*y, 2*y = -3*i + r. Is i composite?
True
Suppose -6*w + 9*w = 363. Is w prime?
False
Suppose -4*s + 993 = s - 2*q, 3*s - 4*q = 593. Is s a prime number?
True
Let i(p) = -44*p - 1. Is i(-6) prime?
True
Let i = 4891 - 3330. Is i a prime number?
False
Suppose 6*v = 2*v + 12. Suppose -v*i - 10 = -28. Is (-3)/i*2*-19 prime?
True
Suppose -331 + 1557 = 2*d. Is d composite?
False
Let n(r) = -r**2 + 7*r. Let b be n(-8). Let h = b + 83. Let m = -12 - h. Is m prime?
False
Suppose 2*w = w - 3*k - 8, 0 = 5*w + 5*k. Suppose 0 = -w*u + 320 - 52. Is u a composite number?
False
Let x = 4168 + -2583. Is x a composite number?
True
Let f be (-2 + 1)*(-9)/3. Suppose -f*d = -2*d - 485. Is d composite?
True
Let k(d) = -d**3 + 5*d**2 + 2*d - 6. Let z be k(5). Suppose 0*b - b - z = 0. Is (-147)/b + (-2)/(-8) a prime number?
True
Let g(a) = a + 4. Let z be g(11). Let o(y) = y**3 - 13*y**2 - 6*y - 5. Is o(z) prime?
False
Suppose -5*z - 253 = -i + 144, -5*i + 4*z + 1985 = 0. Is i a composite number?
False
Let m(z) = -z + 9. Let s be m(7). Let k(y) = -y**2 + y + 2. Let i be k(s). Let o(x) = x**2 + 47. Is o(i) a prime number?
True
Let d(v) = -v**3 + 10*v**2. Let r be d(10). Suppose r*y - 295 = -5*y. Is y prime?
True
Suppose 3*d = -5*c + 29, -5*d + 2*d + 9 = 0. Suppose j = u - 37, 4 = c*j - 0. Is u prime?
False
Let z(p) = 42*p**2 - 5. Is z(4) a composite number?
True
Let n(l) be the first derivative of 43*l**2/2 - 4*l - 1. Is n(5) composite?
False
Suppose -2*j = 4*j - 1110. Suppose 4*n - 3*n - 2*a = j, a = 4*n - 747. Is n composite?
True
Let f be -131*(1 + (1 - 1)). Let m = 576 + f. Is m composite?
True
Suppose 0*q = -4*q - 36. Let y(j) = -j**2 - 22*j - 11. Is y(q) a composite number?
True
Suppose 3*t = 4*m + 28, 24 = -0*t + t - 5*m. Let s(r) = 94*r - 3. Let l be s(t). Suppose 4*p + 4*q = -0*q + 516, -3*p + 4*q + l = 0. Is p a prime number?
True
Let k be (-2 - -4) + 0 + 1. Let s = k - 0. Suppose -3*q = 5*d - 58, -d - 29 = -s*q - 1. Is q a composite number?
False
Let f be 3/5 - 12/(-30). Let o be ((2 - -1) + -3)*f. Suppose 2*u = -o*u + 158. Is u prime?
True
Suppose 0 = -2*p - 0*p + a + 32, -5*a - 20 = 0. Is ((-2)/3)/(p/(-4683)) composite?
False
Let h(n) = 52*n + 1. Let u(k) = k**2 + 8*k + 1. Let y be u(-8). Is h(y) composite?
False
Let c(o) = 11*o**3 - 4*o**2 + o + 7. Is c(3) a prime number?
True
Let u(n) = 24*n**2 - n - 6. Is u(-3) prime?
False
Suppose -2*d = 2*y - 922, -d + 2*y - 457 = -2*d. Suppose -8*o = -3*o - d. Is o a prime number?
False
Let d(s) = 17*s + 3. Let x be d(-2). Let w = x + 50. Is w prime?
True
Let f be 144 - ((-4)/(-2))/1. Let r = -99 + f. Is r a prime number?
True
Let o be (-16)/6*12/(-8). Let q(r) = 38*r + 2. Let n be q(o). Suppose n = -c + 3*c. Is c a prime number?
False
Let o(v) = 93*v + 7. Let j be o(7). Suppose -2*f + j = 2*w - 3*f, -642 = -2*w + 5*f. Is w composite?
False
Let r(c) = 14*c - 11. Let n be r(13). Is (2/3)/(6/n) a prime number?
True
Let y = 2 - 0. Suppose 4*m - 4*w = y*m, 3*m = 4*w - 2. Is (1 + 1)/(m/(-11)) composite?
False
Is ((-5)/(-15))/(1/2721) a prime number?
True
Let j = 15 - 8. Suppose 28 = -5*m - j. Is 3039/21 - 2/m a composite number?
True
Is (-4)/(-20) - (6378/(-10) + -3) prime?
True
Let n = -11 - -14. Suppose -4 = -n*r + 5. Is r a prime number?
True
Let w = 305 + 1092. Is w prime?
False
Let z = 2 + -2. Suppose 4*g + 240 = 2*y, z*g + 4*y = -2*g - 110. Let w = g - -112. Is w prime?
True
Let o(w) = -w + 1. Let q be o(1). Suppose q = -m - m + 996. Let f = m - 339. Is f prime?
False
Suppose 0 = -4*g - 10 + 26, 4*q - 52 = 2*g. Is q prime?
False
Let s = -2 - -2. Let w = 2 + s. Suppose w*q = 3*q - 133. Is q a composite number?
True
Suppose -42 = -4*n - j, -5*n + j + 24 = -3*n. Let f(k) = k**2 - 8*k - 2. Is f(n) a prime number?
True
Is 1/(-4) + 1034/8 prime?
False
Suppose -z + 5*z = 408. Is (3/(-6))/((-1)/z) composite?
True
Suppose -4*d + 2*j = -4870, j + 2118 - 8202 = -5*d. Is d a composite number?
False
Let k be 14 + 4*(-1)/2. Is 1 + k*(-116)/(-6) a composite number?
False
Let g(o) = -o**3 + 2*o + 289. Is g(0) composite?
True
Is (1137/4)/((-15)/(-20)) a composite number?
False
Let a(p) = 5*p + 17. Is a(6) composite?
False
Is 3296/22 + -1 + 10/55 a prime number?
True
Let m(w) = 4*w**3 + 3*w**2 - 6*w - 6. Let n be m(-4). Let d = n + 339. Is d a prime number?
True
Let y = 3 + -3. Suppose -4*w + 7 + 45 = y. Let s = w + -6. Is s composite?
False
Let d = 10 - 7. Is d composite?
False
Let g be (2/4)/((-2)/(-4)). Is g/7 - (-132)/7 a prime number?
True
Suppose 6*s = 5*s + 199. Is s composite?
False
Let z be 1 + -111 + (4 - 4). Suppose 1 = -5*f - 3*a, 0 = f - 5*f + 5*a - 23. Is (f - 6/(-4))*z a composite number?
True
Let x = -9 - -9. Suppose -3*z + 249 = -x*z. Is z composite?
False
Let h(j) = -65*j**3 + 3*j**2 - 4*j + 5. Is h(-4) prime?
True
Let m(d) = 30*d - 61. Is m(17) a prime number?
True
Suppose 2*q = 4*q - 6. Suppose 6*h = q*h. Suppose h = -2*n + 20 - 2. Is n composite?
True
Suppose b - 6 = -0*b. Let p(c) be the second derivative of c**4/3 - 2*c**3/3 + 7*c**2/2 - 5*c. Is p(b) a prime number?
True
Let x(y) = -y**3 - 12*y**2 + 6*y + 13. Let m be x(-11). Is (m/(-4) - -1)*2 prime?
True
Let l(u) = -1 - 5*u**3 + 2 - 11*u**2 + 5*u**3 - 13*u - u**3. Is l(-10) prime?
True
Suppose 16 + 0 = 4*y. Suppose 0 = -y*x - 196 - 100. Let b = -35 - x. Is b a composite number?
True
Suppose -l - l = -18. Let o(u) = 154*u**3 - 2*u**2 + u + 4. Let p(m) = 309*m**3 - 4*m**2 + 2*m + 9. Let t(j) = l*o(j) - 4*p(j). Is t(1) a composite number?
False
Suppose 6*u = 5*u - 3. Let l(o) = 9*o**2 - o - 2. Is l(u) a composite number?
True
Let h = 4 + -8. Let i = h + 9. Suppose 3*q = -0*o + 5*o - 638, i*q - 122 = -o. Is o a prime number?
True
Let b = -5 - -3. Let p be (-11 - -1)*(-13)/b. Let o = -42 - p. Is o a prime number?
True
Let t = -1707 - -2414. Is t composite?
True
Let l be ((-6)/4)/((-2)/(-8)). Let g(t) = t**2 - 8*t - 6. Let y be g(l). Let d = -53 + y. Is d a prime number?
False
Suppose f - 2*y + 0*y = 15, -5*f + 5*y + 50 = 0. Suppose 2*c - 133 = -2*k - 3*c, 2*k - 183 = f*c. Is k prime?
True
Let z(h) = -4*h + 2. Let i be z(5). Let s be (0 - -1)/(5/(-155)). Let q = i - s. Is q a prime number?
True
Suppose 4*l - 5*x = 9 + 7, -3*l = 3*x - 12. Let z be (-5)/(-10) - (-2)/l. Is z*-1 - (-65 + 5) a composite number?
False
Let i(s) = -263*s - 3 + 61*s + 0 + 4. Let a be i(-2). Suppose 4*q - 369 = -5*z, z - 5*q - a = -4*z. Is z a prime number?
False
Suppose -6*b + 329 = -5*b. Is b prime?
False
Suppose 1 + 10 = 2*q - w, 0 = 3*q + 2*w - 6. Suppose -2*h = q*c - 9 + 1, -5*c = 2*h - 7. Suppose -267 = -h*x + 3*x. Is x composite?
False
Suppose 0 = -u - 3 - 4. Let c = u - -11. Suppose c = 3*p - 233. Is p a prime number?
True
Let o be (-6)/(1 + 1) + 6. Suppose 2*s - 32 = -o*v, s = -3*s + 4. Is v prime?
False
Let r(b) = 75*b + 4. Is r(5) a composite number?
False
Suppose 0*u + 18 = u. Let g = 77 - u. Let b = g - -96. Is b prime?
False
Let a(m) = 13*m**2 + 8*m - 1. Is a(-6) a prime number?
True
Suppose -2*m - 3*m = 4*h, h - 3*m = 0. Let i(k) = -1 + h + 38*k + 0. Is i(1) a composite number?
False
Let c(d) = d**3 + 5*d**2 + 4*d + 3. Let t be c(-3). Let l = t - 3. Is l composite?
True
Suppose 0 = -5*t + 32 + 3. Let f = t + 3. Let z = f + 69. Is z prime?
True
Let m = 437 + 264. Is m a composite number?
False
Suppose -2*v - 21 = u + 26, -2*v = 3*u + 161. Let w = u + 88. Suppose -k + 2*k - w = 0. Is k composite?
False
Let u = -191 - -1884. Is u composite?
False
Let o(h) = h**2 - 11*h + 2. Is o(11) a prime number?
True
Suppose 5*h = -2*m - 177, m = 4*h - 69 - 0. Let w = m - -116. Is w a composite number?
True
Suppose -b + 1320 = 2*b. Suppose -322 = -3*c - z, -4*c + 8*c - 4*z = b. Suppose -2*p - 6 = -c. Is p prime?
False
Let y(w) = -w**3 - w**2 + w + 41. Let t(p) = -p + 1. Let b be t(1). Let a be y(b). Let r = -10 + a. Is r a composite number?
False
Let o be -9 - (-3)/(6/4). Let b(s) = -14*s**2 + 2*s - 1. Let f be b(1). Let l = o - f. Is l composite?
True
Suppose q = 1476 + 1. Is q a prime number?
False
Let x(m) = -m**2 - 5*m - 1. Let n be (2 + -5)*1 - -1. Let y be x(n). Let q(u) = u**2 - u - 5. Is q(y) a prime number?
False
Let l = 2 + 0. Is 1495/45 - l/9 composite?
True
Let l be (-1246 + 3 + 3)*-1. Su