d. Is d prime?
True
Let v = 1 - 5. Let y be 13/4*6*-2. Let i = v - y. Is i composite?
True
Suppose -2*j + j = -q, 4*q - 2*j = 2. Let v be -5 + 18 - (q + 1). Let l(h) = 3*h + 4. Is l(v) a composite number?
False
Suppose 0 = 5*r - 14 - 1. Let l be (-2)/(-6) + 5/r. Suppose -18 = -2*j - 2*o, 0 = 4*o - l*o + 4. Is j a prime number?
True
Let x = 11 + -3. Suppose -4*c - 15 = -9*c. Suppose c*y - x*y = -185. Is y a prime number?
True
Is -3 + (-33)/(-12) - 16613/(-4) a composite number?
False
Suppose -3*b + 5*g + 418 = -0*b, -2*g = 4. Suppose -3*t = -5*y - 0*y + 612, 4*t = y - b. Let h = y + 9. Is h a prime number?
False
Suppose -4*f + 3*f + v + 140 = 0, 0 = -2*f + 5*v + 265. Is f composite?
True
Suppose -45 = -3*b + 555. Let g = -51 + b. Is g a composite number?
False
Suppose b + 10 - 3 = 0. Let j(r) = r**3 + 7*r**2 - r - 5. Let h be j(b). Suppose -4 = h*y - 34. Is y composite?
True
Is 614/(-2)*(-5)/5 a prime number?
True
Let v(p) = 136*p - 3. Is v(5) a prime number?
True
Let a(g) = g**3 - g**2 - g + 877. Is a(0) a composite number?
False
Let s = -647 - -940. Is s a prime number?
True
Suppose -b + 1005 = 4*b. Let v = b + -124. Is v composite?
True
Let p(y) be the third derivative of y**6/120 - y**5/10 + y**4/4 + y**3/3 - 3*y**2. Let d be p(5). Let b = 78 + d. Is b prime?
False
Let y = 9 + -200. Is y/(-2)*(5 + -3) composite?
False
Let s(m) = m**3 - 7*m**2 + 8*m - 3. Let u be s(6). Let z be (-3 - -6)/u*-69. Let r = z + 61. Is r composite?
True
Let c(p) = -p**3 - 5*p**2 - 5*p - 1. Let a be c(-4). Suppose a*x + 386 = 1055. Is x a prime number?
True
Suppose 0*w = -w + 3. Let x(b) = 2*b**3 + 2*b**2 - b - 3. Let o be x(w). Let v = o + -29. Is v composite?
False
Let t(m) = 10*m**2 - 11*m + 10. Is t(-9) a composite number?
False
Suppose 2*t = 3*t + 5*y + 8, 5*t - 5*y - 20 = 0. Let b be (-22)/4 + t/(-4). Is (1 - -21)*(-3)/b composite?
False
Suppose 3*s + 2*s = 3*n + 620, -4*n + 20 = 0. Is s prime?
True
Let q be 0/1 - (-12)/3. Suppose -q*p + 32 = o, -o + 0*o + 2*p + 2 = 0. Is ((-25)/(-4))/(3/o) a composite number?
True
Let o = 589 + -290. Is o a composite number?
True
Let m = -421 - -900. Is m a prime number?
True
Suppose -3*c = 3*c - 522. Is c a prime number?
False
Let n = -5 - -9. Let l(p) = p**2 + 2*p - 4. Let o be l(n). Suppose 0 = 4*y - 9*y + o, 3*t = -3*y + 21. Is t prime?
True
Let y be (92/3)/((-1)/(-3)). Suppose 4*z - y = -0*z. Is z composite?
False
Let d = 209 - 141. Suppose f - 58 = -a, d = 3*f - 2*f + 3*a. Suppose -5*x - 4*g = -265, x = -0*x + 3*g + f. Is x prime?
True
Suppose -7181 = -4*d + 5*v, 0 = -v - 4*v + 15. Is d prime?
False
Suppose 0 = -6*j + 4*j + 172. Let r be (1/(-3))/(2/174). Let u = j - r. Is u a composite number?
True
Let w(i) be the first derivative of 5*i**2/2 + 4*i - 1. Is w(9) a composite number?
True
Suppose -4*d - d - 20 = 0. Let k be (-6 + 6)*(-2)/d. Suppose k = -0*s + 2*s - 62. Is s a prime number?
True
Let d(y) = 2*y**2 - y**3 + 8 - 3*y + 5*y**2 + 0*y. Is d(6) a composite number?
True
Let p = 132 + 502. Is p prime?
False
Is 91376/(-4)*(-3)/12 a composite number?
False
Let z(y) = -y**2 + y + 113. Let l = -4 - -4. Is z(l) prime?
True
Suppose 3*p + 5*h = -16, 0 = -5*p + 3*h - h + 25. Suppose -p*s - 2*x + 195 = 0, -4*x - 271 + 11 = -4*s. Is s a composite number?
True
Suppose -29 = -3*c - 4*x, -2*c - x - 4 = -5*c. Suppose -9 = -3*y - d, -2*d - 3 = -4*y + c*y. Suppose -111 = -6*r + y*r. Is r a composite number?
False
Suppose -3*r = -r - 364. Suppose -j + r = -7. Suppose -3*p - 2*i = -j, -2*p + i + 328 = 3*p. Is p a prime number?
False
Is (-1829)/(-9) + 16/(-72) a composite number?
True
Let v be (-8)/(-20) + 56/10. Is 132/9*v + 1 composite?
False
Let m(n) = -n**2 - 2*n - 2. Let v be m(-2). Is (-9 + 7)*163/v a prime number?
True
Is 62 + (3 - 0) + 0 a composite number?
True
Let i = -7 - -12. Suppose n = -4*z + 33, 0 = i*z - n - 0*n - 30. Is z prime?
True
Let y(h) = 2*h**2 - 2*h - 4. Let v be y(3). Suppose 3*z = -v + 23. Suppose 4*o = z*o - 35. Is o composite?
True
Let f = -59 - -136. Suppose -a + 224 = 3*n - 22, 2*a - f = -n. Is n a composite number?
False
Let n(r) = 171*r**3 - 2*r + 1. Let x be n(1). Suppose i = -i + x. Is i composite?
True
Let t(c) be the third derivative of -61*c**4/24 + c**3/3 - c**2. Let y be t(-3). Suppose 0 = 5*h + 4*n - y, 5*h - 315 + 130 = -n. Is h a composite number?
False
Let j be (-2 + (-9)/(-6))*-678. Let t(d) = -d**2 - 5*d - 1. Let a be t(-3). Suppose 3*x + p - j = 4*p, 0 = a*p. Is x prime?
True
Let g be 9 - 5 - (1 + -2). Suppose -237 = -g*n - 2*o + 160, -2*o + 318 = 4*n. Is n a composite number?
False
Let c(g) = 2*g**2 + g - 18. Is c(7) prime?
False
Let a = -6 - -6. Let u(i) = i**3 + i**2 - i + 31. Is u(a) composite?
False
Let x = 2 + -3. Let u be (x - (-2)/1)*0. Suppose 4*j - 5*i + 2*i - 37 = u, 2*i - 10 = 0. Is j a prime number?
True
Let n(s) = 7*s**2 - s. Let w be n(-2). Suppose 5*q + 3*y = w, 5*y = 2*y. Let i(c) = -c + 13. Is i(q) a composite number?
False
Let w(i) = -9*i - 4. Let s(g) = -10*g - 3. Let p(u) = -3*s(u) + 2*w(u). Is p(3) composite?
False
Suppose -4*r = -2*r + 3*t - 11, -5*t + 33 = -4*r. Let j be r/(-1) - (-4 - -4). Suppose -3*o + 5*o - 304 = -2*v, j*v + 5*o - 313 = 0. Is v composite?
False
Is -2 + 0 - -1335 - -4 a prime number?
False
Let q(v) = -v + 1. Let x be q(7). Let f(i) = -2*i**3 - 7*i**2 + 9*i + 1. Is f(x) prime?
True
Let n = -33 + -3. Let x be (n/42)/((-2)/(-14)). Is 2/x + (-860)/(-6) a composite number?
True
Let q(n) = -n**3 + 6*n**2 + 2*n + 4. Let g = 8 + -5. Is q(g) prime?
True
Let b be (30/4 - 1)*-14. Let j = -48 - b. Is j a prime number?
True
Let k be 3/6*0 + 60. Suppose -3*m = -2*m - k. Is ((-5)/4)/((-3)/m) prime?
False
Suppose 3*v = v + 8. Suppose -5*f - 1080 = -6*x + x, -425 = -2*x - 5*f. Suppose -q - v*q + x = 0. Is q a prime number?
True
Let x(j) = j**2 - 2*j + 85. Is x(0) composite?
True
Let l = -40 + 109. Let f be (4 - 0)*(-69)/(-6). Let g = f + l. Is g composite?
True
Let b = -274 - -645. Is b composite?
True
Suppose 0 = -4*b + 2*w + 2252, 4*w = -5*b + 3*w + 2829. Let f = -236 + b. Is f a prime number?
False
Suppose 0 = 5*b - 5*u - 5200, 5*b = -7*u + 3*u + 5218. Is b composite?
True
Let r(f) = -f**3 + 7*f**2 + 8*f + 4. Let a be r(8). Let b be (-2)/a*-10 - -1. Is (1185/b)/5*2 a composite number?
False
Let q(f) = f**3 - f - 1. Let t be q(-1). Is 2/(-2) + (t - -129) a composite number?
False
Let u(a) = 2*a**2 + 2*a - 2. Let f be u(-2). Suppose -f*m = -3*m + 2. Is (-187)/(-5) - m/5 composite?
False
Let q(s) = -5 + 2*s - s**2 - s + 3*s**2 + 0*s. Is q(4) a prime number?
True
Let n be 4/6*450/5. Is n/25 + (-6)/(-10) a composite number?
False
Suppose 10 = 5*v + 50. Suppose 0 = 9*j - 4*j - 60. Is v/j*(-213)/2 prime?
True
Let o(n) = -n - 3. Let h(m) = -m**3 + 9*m**2 + m - 12. Let g be h(9). Let z be o(g). Let l(i) = i + 55. Is l(z) composite?
True
Suppose -d + 5*u = -116, d - 4*u - 61 - 52 = 0. Let t = 56 - d. Let q = -26 - t. Is q a composite number?
False
Suppose -5*z = 7 + 43. Is 4/z + (-1385)/(-25) prime?
False
Let z = 47 - -110. Is z composite?
False
Let b(j) = -2*j - j - 4 + 3. Suppose 20 = -0*v - 4*v. Is b(v) composite?
True
Let u be (-1796)/(-10) - 4/(-10). Suppose 3 = -0*a - a, 3*f - a = u. Is f prime?
True
Suppose -9*i = -6*i - 585. Suppose 3*n - i = -0*n. Is n composite?
True
Let m(l) = l**2 - 4*l - 1. Let y be m(8). Suppose -d - 3*w = -0*w + y, 0 = -d - w - 35. Let x = -15 - d. Is x prime?
False
Let z = 117 + -28. Suppose 3*h - z = 2*x - 343, 635 = 5*x - 4*h. Is x a prime number?
True
Let o = -9 - -86. Suppose 0 = 4*b + 8, -4*q = -0*b + 3*b + 190. Let a = o + q. Is a prime?
True
Suppose 164 + 94 = w - 2*f, 0 = -4*w + 3*f + 1022. Is w a composite number?
True
Suppose -5*v - 4*m = -10*v - 37, 0 = 2*v - 3*m + 19. Let c(u) = 4*u + 6. Let w(g) = -g - 1. Let f(h) = c(h) + 6*w(h). Is f(v) prime?
False
Suppose -4*q + 3*q = -3*y + 22, -4*q - 4*y = 72. Let j = 39 + q. Suppose -5*s = -3*s - j. Is s prime?
False
Let y be ((-3)/2)/(1/(-2)). Suppose 0 = -g - 5*i + 62, -2*g + y*i = 7*i - 142. Is g a prime number?
False
Let h(o) = -o - 4. Let j be h(-4). Suppose j = 4*d - 19 - 41. Is d a prime number?
False
Let o = 32 + -116. Let s = o - -142. Is s prime?
False
Suppose r + 2*l - 518 = 0, 0*l + 2*l + 1538 = 3*r. Is r a composite number?
True
Suppose 3*s = -5*z + 13, 0*s - 4*s =