- 6. Let j be b(5). Let d be 8 - (0 - j*2). Is (-2)/d*-3*31 a prime number?
True
Let p be (24/10)/(15/50). Is 1 + 2 + (p - -3) a composite number?
True
Suppose 21 = -3*p + 6*p. Suppose -2*x - 1475 = -p*x. Is x composite?
True
Suppose 0 = -12*j + 9622 + 2102. Is j composite?
False
Suppose -4*i + 6*b - b = -2499, 2*b + 3128 = 5*i. Is i composite?
True
Let y be 2/4 - (-3393)/18. Let i = y - 130. Is i prime?
True
Let m(l) = 32*l**3 + l**2 + 6. Is m(3) a prime number?
False
Let g(m) = -6*m**3 - 3*m**2 - 2*m - 3. Is g(-2) a composite number?
False
Let x(t) = 3*t**2 - t - 1. Let n be x(-1). Suppose 3*k = -q + 164, -2*k + n*q + 93 + 20 = 0. Is k prime?
False
Suppose -1293 = -12*i + 4263. Is i composite?
False
Suppose h - 74 = -h. Let b = 50 + h. Is b a prime number?
False
Let f(y) = y**2 - 2*y + 401. Is f(0) composite?
False
Suppose 0 = -4*q - 3*q + 273. Is q a prime number?
False
Let h = -69 - -120. Is h a composite number?
True
Let t(p) = -115*p**3 + 1 - 185*p**3 - p - 267*p**3 + 2*p. Let z be t(-1). Let b = z - 400. Is b composite?
False
Let g be 1*-3 - -2 - 1. Is g/8 - 1364/(-16) a prime number?
False
Let w(s) = 17*s**2 + 6*s + 11. Is w(6) a composite number?
False
Suppose -8*p + 389 = -7*p. Is p prime?
True
Let c(g) = -9 - 4*g**2 - 6 + 5*g - g**3 - g**2 + 7. Let f be c(-6). Is 0 + (f + 2 - -161) composite?
True
Let x(r) be the second derivative of r**5/20 + r**4/4 + r**2/2 + r. Let i be x(-3). Is (i + 1)/(4/102) a prime number?
False
Let v = -14 - -14. Suppose 22 = l - 5*f, v = l + f - 22 - 18. Is l a composite number?
False
Let c(q) = -q + 10. Let z(r) = -r**3. Let d be z(0). Let h be c(d). Is 107/5 - 4/h a composite number?
True
Let g = 87 - 124. Is 1/((-38)/g + -1) a prime number?
True
Suppose -c = c - 60. Suppose -4*f + c = 2. Is f a prime number?
True
Suppose 2*t = -3*i, 5*i = -t + 3*t. Suppose -6 = -2*y - t. Suppose 25 = -5*r, -2*w = -3*w + y*r + 30. Is w composite?
True
Is 417*(4 + -3) - 2 prime?
False
Suppose f = -w - 3*f + 15, 4*w = -4*f + 24. Suppose 0 = w*j, q = -0*j + 2*j. Suppose 0*p + 321 = 5*p - 2*c, q = c - 2. Is p composite?
True
Let z = 70 - 60. Is z prime?
False
Suppose -5*l = -l - 16. Suppose 2*y - 2*x = 232, 0*x = 4*x + l. Is y prime?
False
Let j = -124 + 311. Is j composite?
True
Let q(r) be the third derivative of 5*r**4/8 - 11*r**3/6 + 6*r**2. Is q(7) composite?
True
Suppose 0 = -4*p + p - 9. Let n = 2 + p. Is -77*((-1)/n - 2) composite?
True
Let m = -2 + 5. Is 381*(4/m)/4 prime?
True
Suppose -h = -6*h + 1705. Is h composite?
True
Suppose 2*o = -4*l + 848, l + 5*o = -3*l + 854. Is l prime?
True
Suppose 6*m - 8836 = 2*m. Is m prime?
False
Let s(v) = v**3 + 14*v**2 - 9*v + 1. Is s(-9) composite?
False
Suppose 0*k = -2*k + 210. Let h = -58 + k. Suppose -4*r - 4*o = h - 207, -2*r + 65 = -3*o. Is r a composite number?
False
Let z = -435 - -742. Is z composite?
False
Suppose -3*c = 5*a - 165, 3*a + 4*c = -0*c + 110. Let r = 18 - a. Is r/(-18)*(-12)/(-2) a composite number?
True
Is ((-2)/(-2 + 4332/2164))/(-1) composite?
True
Let l(m) = -3*m**3 - m**2 - m. Let q be l(-3). Let p = q + -45. Is p + 2/((-2)/(-1)) composite?
False
Suppose 16*i = 17*i - 93. Is i a prime number?
False
Suppose -5*v + 4*y + 4 - 2 = 0, y = 3*v - 4. Suppose v*r + 3*r = 285. Is r a prime number?
False
Let m = -751 - -1208. Is m composite?
False
Suppose 0 = -d - 3*u + 4*u - 4, -u + 6 = d. Let h be d/1*0/(-1). Suppose h = 2*g - 15 - 5. Is g prime?
False
Suppose -c - 170 = 5*o + 283, -99 = o + 3*c. Is (-7490)/o - (-2)/(-9) composite?
False
Let x(t) = -6*t - 4*t**2 - 2 + 2*t**2 + t**2. Suppose 0*o + 2*o + 2*n = 2, -n = -4*o - 21. Is x(o) a prime number?
False
Suppose -3*b + 172 = 5*a, -2*b = -5*a - 6*b + 171. Is a a prime number?
False
Let i = -1237 - -2591. Is i a composite number?
True
Let h be 1*(8 - 1/(-1)). Let y = h + -35. Is (y/(-8))/(2/8) a composite number?
False
Let i(b) = -7*b + 14. Let d(j) = 7*j - 13. Let k(z) = 4*d(z) + 3*i(z). Is k(9) composite?
False
Suppose 0*m = 5*m - 10. Suppose 0 = o - 2*d - 207, 0*d = 4*o - m*d - 840. Is o composite?
False
Let k be 6*(-3)/18*-53. Let o = -5 - -7. Let u = o + k. Is u a prime number?
False
Suppose -2*n - 5663 = -j, j - 685 = -4*n + 4996. Is j prime?
True
Suppose 0 = 2*u - 7*u + 1475. Let y = u - 150. Is y a composite number?
True
Let r(x) = 6*x**3 - x**2 + x - 9. Let q(p) = -7*p**3 + 2*p**2 - p + 10. Let n(d) = -5*q(d) - 6*r(d). Let f be n(-3). Is -33*((-12)/(-9) + f) a prime number?
False
Let d be 1*(96/3 + 0). Let m = 95 + d. Is m a composite number?
False
Suppose 0 = -2*w - 5*v - 21, -3*w - 12 = 5*v + 7. Suppose -5*x = -25, -w*q + 5*x + 53 = q. Is q prime?
False
Suppose 4*q - 257 = 131. Is q a composite number?
False
Is 29 + (-4 - -7) - -3 a prime number?
False
Let z = -170 - -967. Is z composite?
False
Let o(s) = s**3 + 6*s**2 + 7*s + 6. Let z be o(-5). Is (-140)/z + (-4)/2 a prime number?
False
Let n = 16 + -16. Suppose 2*r + 4 = 4*f, -3*f - 4*r - 2 = 6. Suppose n = -2*u - f*l - 5*l + 66, -2*u + 66 = -2*l. Is u a prime number?
False
Let u(r) = r**3 - 5*r**2 + 2*r - 2. Let i(o) = o**3 - 6*o**2 + 3*o - 3. Let p(s) = -3*i(s) + 2*u(s). Is p(5) prime?
False
Let y(a) = -9*a - 5. Let h(d) = -10*d - 6. Let z(s) = 6*h(s) - 7*y(s). Let x be z(2). Let v = x - -1. Is v composite?
True
Let c(i) be the second derivative of -3*i**5/20 + i**4/12 + i**3/6 + i**2/2 - i. Let s be c(-1). Suppose 4*p - 40 = s*f, 0 = 4*p - f + 6*f - 40. Is p prime?
False
Let t = -8564 + 12057. Is t composite?
True
Suppose 0 = 4*k + 2*w - 8 - 4, 4*w - 16 = -4*k. Is 34 - (0 - 0/k) a composite number?
True
Let l(p) = -20*p - 3. Suppose -6*g + 2*g + 12 = 0. Let w be (0 + g)*12/(-9). Is l(w) a composite number?
True
Let b(x) = -x + 1. Let k be b(1). Suppose k = -p + 6*p + 80. Let w = p - -30. Is w a composite number?
True
Let g be (0 - 0/1) + 1. Suppose -4*l = x - 3, -l - 2*l - g = 4*x. Is l*(-1)/1 + 50 a composite number?
True
Let s(z) = -33*z - 20*z + 10*z + 1. Let x be s(-1). Let c = 2 + x. Is c a prime number?
False
Suppose 1902 = -0*x + 4*x + 5*p, -3*x + 4*p = -1442. Is x prime?
False
Let y(p) = 19*p**2 + 3*p + 1. Is y(-2) a prime number?
True
Is (-889)/(9/21 + (-30)/21) prime?
False
Let h be (-12)/(-9)*(-2 + -1). Let a be 1/h + (-63)/(-12). Suppose -k - 276 = -a*k. Is k composite?
True
Let h(u) be the first derivative of u**4/4 + 8*u**3/3 + u**2/2 - u + 8. Is h(-4) composite?
False
Suppose 2*a - 3*s + 17 = 0, -5 + 2 = -s. Let b(z) = z**3 + 5*z**2 + 5*z + 6. Let l be b(a). Suppose 2*h = 2*c - 6*c + 114, 5*h + l*c = 325. Is h prime?
True
Let r(s) = 0*s - 13 - 4*s + 4. Is r(-4) composite?
False
Let y = 2094 - 993. Is y a prime number?
False
Let p = -2 + 6. Suppose -2*h - p*s - 12 = -0*s, 0 = -2*h + s + 13. Is 1/h + (-86)/(-8) prime?
True
Suppose 2*f = 71 + 97. Suppose 0 = -4*v + y + 312, 4*v = -3*y + 212 + f. Is v composite?
True
Suppose -51 = -7*i + 54. Is i prime?
False
Let p = -11 - -16. Suppose 2*m - 847 = -p*m. Is m a composite number?
True
Suppose 2*d - 152 = 5*x + 11, -2*x - 10 = 0. Is (98/21)/(2/d) prime?
False
Let h be 0 + 2 + 0 + 5. Let b = h + -4. Suppose 0 = -2*p - 3*p - r + 24, -b*p = -4*r + 4. Is p prime?
False
Suppose 3*l - 412 + 25 = 0. Suppose -8*c + 7*c - 62 = 0. Let f = l + c. Is f a prime number?
True
Suppose -8*g = -13*g + 10805. Is g a prime number?
True
Let g = -3 - -27. Let t = g + -15. Is 1 + 12*24/t a composite number?
True
Suppose -6 = a + 2*a, 4*a - 8 = 2*p. Let r(s) = s - 3. Let b be r(5). Is 2706/24 - b/p a prime number?
True
Let v(l) be the second derivative of -l**5/120 + l**4/3 + l**3/6 + 2*l. Let c(i) be the second derivative of v(i). Is c(-7) prime?
False
Suppose 7*s - 2*s = 30. Suppose 2035 = -t + s*t. Is t a composite number?
True
Let b(f) = -9*f**3 - f**2 - 3*f - 3. Suppose 2*g + 2*g = -8. Is b(g) prime?
True
Let z be 9 + 0 + (-1 - 1). Suppose -z*o = -2*o - 45. Is o a composite number?
True
Let j be (-2)/8 - (-1089)/36. Is 2*j/3 + 3 composite?
False
Suppose -3*z + 10 = 4*y, -4*y = -0*y + z - 14. Is 0 + 2/(y/230) prime?
False
Let w = -230 - -865. Is w composite?
True
Let f(j) = j**3 + 4*j**2 - j. Let b be f(-4). Suppose -1356 + 488 = -b*r. Is r a prime number?
False
Let b = -10 + 11. Is ((-134)/(b - 3))/1 composite?
False
Let k(o) = o - 1. Let a(v) = -2*v + 1. Let i(j) = -a(j) + 6*k(j). Is i(5) prime?
Fa