, -v*h + 3*k = 2*h - 859. Is h a prime number?
True
Suppose -1 = u - 3, -4*w + 4*u = -1164. Is w composite?
False
Suppose 0 = -0*n - 4*n + 4*h + 200, -2*n + 103 = -h. Suppose -3*m - n = -206. Is m composite?
True
Let s = 11 + -44. Let b = 66 + s. Is b composite?
True
Let p be 4/(-6)*(-9)/6. Let v(n) be the second derivative of n**5/4 + n**4/6 - n**3/6 + 2*n. Is v(p) a composite number?
True
Let q(p) = p + 4. Let d be q(-3). Is -3*d + (-348)/(-6) a prime number?
False
Is (44/10)/(2 + (-18)/10) a prime number?
False
Let v be (20/6)/((-2)/81). Let l = v - -482. Is l prime?
True
Let g = 7 + -7. Suppose g = -3*j + 66 + 561. Suppose 0 = -b - 66 + j. Is b prime?
False
Let h(n) = 97*n**2 - n + 1. Let c = 9 + -8. Is h(c) composite?
False
Let o(l) = l**3 + 9*l**2 + l + 11. Suppose -3*j = 0, -45 = s + 4*s + j. Let g be o(s). Suppose -3*u + 2*u = -5*c - 73, c - 102 = -g*u. Is u a prime number?
True
Is 265 + (42/6 - 3) prime?
True
Let k = -42 + 577. Is k prime?
False
Let p be -2*(-2)/4*3. Suppose -p*j + 9 = -0*j. Let b(a) = a**3 + 2*a**2 - a - 3. Is b(j) composite?
True
Suppose 0 = -5*z + 4391 - 436. Is z a prime number?
False
Let z(q) = q**3 + 3*q**2 - 2. Let w be z(2). Let h = w - 13. Suppose -d - 24 = -h*d. Is d a composite number?
True
Let h = 37 + -22. Suppose -29 = -4*x + h. Is x a prime number?
True
Let i(t) = 3*t**3 + 2*t - 1. Suppose 2*z - 3*h - 6 = h, 0 = -3*z - 2*h + 1. Let c be i(z). Suppose -28 = -u + 3*o, c*u + 3*o = 2*u + 29. Is u prime?
True
Suppose -70 = -5*p - 4*n, 0 = 5*p - n - 25 - 20. Is 3/(24/p)*92 prime?
False
Suppose 5*b = 0, 3*f + 3*b + 0*b = 0. Suppose i + i - x + 18 = f, 0 = -2*x - 4. Is -42*(2 - i/(-4)) composite?
True
Let w(d) = 14*d**2 + 11*d - 7. Let o(a) = -13*a**2 - 10*a + 6. Let v(z) = -4*o(z) - 3*w(z). Let i(h) be the first derivative of v(h). Is i(6) prime?
True
Let q(i) = -8*i**3 + 6*i**2 - 32*i + 3. Let g(b) = -3*b**3 + 2*b**2 - 11*b + 1. Let y(k) = -17*g(k) + 6*q(k). Is y(4) a composite number?
True
Suppose -944 = 3*d - 3260. Let p = d - 479. Is p a prime number?
True
Suppose 2*q + 3 - 11 = 0. Let d = q + -5. Is d/(2/(-64)) - 1 prime?
True
Let h(p) = 3*p + 3*p**2 - p - 3*p**3 - 5 + 0*p + 2*p**3. Let b be h(5). Let y = 92 + b. Is y a prime number?
True
Let r(u) = -8*u**3 + 2*u**2 + 3*u - 1. Is r(-2) composite?
True
Let f = 296 + -135. Is f a composite number?
True
Let o be 1*(11 - (-4)/2). Let g(p) = -p**3 + 17*p**2 - 16*p - 1. Is g(o) composite?
False
Suppose -3*r - 112 + 454 = 0. Suppose -2*h = -0*h - r. Is h composite?
True
Let t(y) = -11*y**2 + 5*y - 4. Let s(p) = 12*p**2 - 6*p + 4. Let r(x) = -5*s(x) - 6*t(x). Let z be r(-4). Let i = -45 + z. Is i a prime number?
False
Let a(y) = y**3 + 6*y**2 - 11*y - 10. Let j be a(-7). Suppose -j = -5*r + 2. Suppose -17 - 71 = -r*d + 5*b, 3*d + 2*b = 66. Is d composite?
True
Let r = -53 + 90. Suppose o + l + r = 256, -l - 450 = -2*o. Is o a prime number?
True
Let z(u) = -3*u - 3. Let i be z(-2). Let v = -7 + i. Is ((-7)/v)/((-1)/(-28)) composite?
True
Let n = -184 + 401. Is n a composite number?
True
Let c = 8 - 2. Suppose -j + c = -17. Is j composite?
False
Let j = 286 + -155. Is j composite?
False
Let p = 0 + 4. Suppose 5*m + 17 = 4*h, 3*h = -p*m - 1 + 6. Suppose -109 = -h*b + 92. Is b prime?
True
Suppose 2*h = 5*k - 44, -5*k - h = -5*h - 48. Let t = k + -6. Suppose l = 20 + t. Is l composite?
True
Is 2 - (-328 + 4/4) composite?
True
Let o(p) = -6*p**3 - 4*p**2 + 2*p - 5. Is o(-4) composite?
False
Suppose 4*f - 2*f = -6. Let j be f/1 + 1 + 2. Suppose j = 3*k - 4*k + 39. Is k a prime number?
False
Let x(s) = -s**3 - 4*s**2 + s - 3. Let l be x(-5). Let h = 30 - -6. Let f = h - l. Is f a composite number?
False
Let z be 3/(-12) - 580/(-16). Suppose b = 22 + z. Let y = b - 7. Is y prime?
False
Suppose -k + 0*k = -17. Let h(t) = -t - 1. Let g be h(-4). Suppose -k = -f - 4*n, -f + 21 = g*n - n. Is f prime?
False
Let f(d) be the second derivative of d**5/20 - 3*d**4/4 - 2*d**3 - 2*d**2 - 7*d. Is f(11) a prime number?
False
Let l be (22/4)/(1/70). Suppose -2*w - 3*w = -l. Is w prime?
False
Let n = -112 + -13. Let l = n + 178. Is l a composite number?
False
Let g(w) = 3 + 0 - 2 + 1 + 34*w. Let a be g(4). Suppose 0*m + 2*m - a = 0. Is m a prime number?
False
Let k be ((-2)/(-2))/(3/12). Suppose -3*l + 544 = -5*x, k*x + 3 = 7. Is l a prime number?
False
Suppose -4*s = 34 + 38. Let j = 493 + s. Suppose 3*w - j = -2*w. Is w composite?
True
Suppose 2*i - 1195 = -3*i. Is i composite?
False
Is (7/(-4))/(1/(-332)) a prime number?
False
Is (-998)/(-6)*(8 + -5) a prime number?
True
Suppose r - 3 = -0*r. Let u(o) = -1 + 6*o**2 - 3*o**2 + 2*o + r*o - 2*o**2. Is u(4) prime?
False
Let d = -1 + 7. Suppose d*l - 3*l = -3*s + 45, -4*s = l - 60. Is s composite?
True
Let w(l) = -l**2 + 4*l. Let s be w(-3). Is (-6)/s + 262/14 a prime number?
True
Let i = 1461 - 598. Is i a composite number?
False
Let l be (-10)/(-15)*2*3. Is l/8 - (-1311)/6 prime?
False
Let f(g) = -g**3 - 4*g**2 + 5. Let w be f(-4). Suppose -2*c - 1 = w*m - 224, c + 4*m = 113. Is c a composite number?
False
Suppose -l + 2*g = -0 + 5, 2*l + 3*g - 11 = 0. Is (-38 + 1)*-1*l a prime number?
True
Let k(t) = t**2 - 5*t - 2. Suppose 24 - 8 = -4*v. Is k(v) a prime number?
False
Let q(v) = v**2 + v + 5. Let d(h) = -h**3 + 9*h**2 - 6*h - 11. Let b be d(8). Suppose -u + b*u - 4*f = 12, 0 = -f + 3. Is q(u) a prime number?
True
Suppose 4079 = 5*w + 2*k, -4*w - k = -3*w - 814. Is w composite?
True
Let d be (-2)/3 - (-47)/3. Suppose 4*z = -391 + 1447. Suppose 0 = -3*l - d + z. Is l composite?
False
Let b(j) be the third derivative of j**5/30 - j**4/12 + 3*j**2. Let v be b(2). Suppose 4*o + 0*o + 3*n = 262, 3*n = v*o - 274. Is o composite?
False
Suppose 3 = 2*w - 5. Suppose 3*a = u - 487 - 105, 0 = 2*u + w*a - 1174. Is u a prime number?
False
Let r = -361 + 742. Suppose -r = -5*w + 2*w. Is w a prime number?
True
Suppose -2 = -v - 3*g, -4*v + 3*g + 4 = -4. Let t be v/((-2)/(2 + -3)). Is (36/1 - t) + 2 a prime number?
True
Is 92 + (-5)/((-5)/(-3)) prime?
True
Let q = -20 - -20. Let f(b) = b + 265. Is f(q) a composite number?
True
Let i(x) = -x**2 - 9*x + 2. Let k be i(-9). Suppose 0 = k*o - 166 - 1412. Suppose 4*r = 55 + o. Is r a prime number?
True
Suppose -232 = -6*o + 2*o. Suppose -2*p + 226 = -4*y, -5*y = p - o - 48. Is p prime?
False
Let i(j) = -9*j + 10. Suppose -4*v + 6*m - 4*m = 44, 0 = -5*v + 5*m - 65. Is i(v) a composite number?
True
Suppose -s = -d - d + 370, -2*s - 923 = -5*d. Suppose -d + 65 = -2*m. Is m a composite number?
False
Let d be 4*(9/6 + 0). Is (0 + d/8)*116 prime?
False
Suppose 5*y - 6660 + 685 = 0. Is y composite?
True
Let q be (1096/12)/((-1)/(-3)). Let n = q - -133. Is n prime?
False
Let w be ((-4)/(-6))/((-3)/(-9)). Suppose w*x + 2*h - 702 = -0*h, 4*h + 12 = 0. Let m = -221 + x. Is m a composite number?
True
Suppose -k = -84 + 30. Suppose 2*h - 5*z + 38 = h, h - 3*z + 34 = 0. Let s = k + h. Is s a prime number?
False
Suppose 0 = 5*u, -u - 323 = -p - 4*u. Is p prime?
False
Let k(v) = 7*v. Let y be (5/(-2))/(2/(-4)). Is k(y) prime?
False
Let c = 4604 - 3007. Is c composite?
False
Let m be (-4)/2 + 5484/2. Suppose 3*t + t - m = 0. Is t a composite number?
True
Let i(t) = -t + 8. Let u be i(0). Suppose -z + u = -45. Is z composite?
False
Let v(g) be the first derivative of 40*g**3/3 + g**2 + g + 4. Is v(-3) prime?
False
Suppose 298 = 2*f + h - 71, 5*f - 955 = 4*h. Is f composite?
True
Is 3/((-6)/(-9)*27/636) composite?
True
Let j = 14 + -7. Let b(u) = 0*u + 3 + u**2 + 0 - u + 2*u. Is b(j) a composite number?
False
Suppose -k + 158 - 452 = 0. Let r = -205 - k. Is r prime?
True
Is 2/8 - (-763)/4 a prime number?
True
Suppose -56 = -h + q - 0*q, 0 = -2*q + 6. Is h composite?
False
Suppose 4*y = 2*b + 22 - 82, 2*y - 4 = 0. Let c = 33 + b. Is c composite?
False
Suppose 0*l + 4*l = 284. Is l a prime number?
True
Let g be 6/(-27) + 40/18. Is (-5)/g*224/(-40) prime?
False
Let r = 2707 - 1100. Suppose -p - 1273 = -4*l, 2*p + 2*p - r = -5*l. Is l prime?
False
Suppose -5*g + 13*g - 472 = 0. Is g composite?
False
Suppose -2 = 2*j - j. Let a be (16 - j)/3 - 2. Suppose -a*b = b - 185. Is b prime?
True
Let w(d) = -d - 5. Let q be w(-5). Suppose 0 = 3*f - 3*i - 282, 3*f - 2*i - 280 = -q*i. Suppose f + 83 = 5*r. Is r a composite number?
True
Su