b composite?
True
Let p(b) = -b**2 - 9*b - 1. Let s be -5 - (-2)/(-4)*-2. Is p(s) a prime number?
True
Suppose -4*a = -2322 + 38. Is a composite?
False
Suppose 5*t - 7482 = -3*d, 4*t - 5992 = -2*d + 6*d. Is t a composite number?
True
Is (-1 + 33 + -1)/1 composite?
False
Is 29/(-2)*(-66)/(6/2) prime?
False
Suppose h + 3*h - 13 = -z, -2*z + 4*h = -2. Suppose z*q = d + 4, -2*d - 8 + 0 = 0. Let p(k) = -k + 21. Is p(q) composite?
True
Let c(h) = -h - 1. Let f be c(0). Is (-4)/(-8)*(159 + f) a prime number?
True
Let j(i) = 5*i**2 + i + 3. Is j(-4) a prime number?
True
Let p = -48 - 20. Let s = 125 + p. Is s prime?
False
Let v(n) = -6*n**3 - n**2 - n. Let z be v(-1). Let f(a) = 2*a**3 - 9*a**2 - a + 7. Is f(z) a composite number?
False
Let o be -493 + 6*4/(-8). Let y = o + 831. Is y a prime number?
False
Let v(u) = -420*u + 53. Is v(-4) prime?
True
Suppose -19*u = -22*u + 915. Is u a prime number?
False
Suppose 0 = -5*f + 4*w + 30, w - 6 = -5*f - 1. Suppose -f*r = -4*r + 38. Let c = 34 - r. Is c prime?
False
Let o(p) = 3*p**2 - p + 5. Let k be o(5). Suppose -3*r - 2*r + k = 0. Is r a prime number?
False
Let l(s) = 115*s - 2. Let q be l(2). Suppose q = 4*j + f - 0*f, -3*f = -2*j + 128. Is j composite?
True
Let j = 3 + -11. Let b be 350/3 + j/12. Suppose 0 = 3*l - 0*p - 4*p - 106, -3*l = p - b. Is l prime?
False
Let b be 4/(-8) - 13/(-2). Let t(l) = -2 + l + 7*l + 16*l - 1. Is t(b) composite?
True
Let s(b) be the first derivative of b**3 - 5*b**2 + 7*b - 2. Is s(6) a prime number?
False
Let u(n) = n**2 - 6*n - 2. Let f be u(7). Suppose -f*v = -2*t + 142, -3*v - 3*t - 42 = -2*v. Let a = v - -67. Is a prime?
True
Let y = -661 - -1234. Is y prime?
False
Is (3295/(-10))/(4/(-8)) composite?
False
Suppose -50 = -3*p - 2*p. Let n(g) = -g**2 + 9*g + 7. Let y be n(p). Is 1/y + 274/3 a prime number?
False
Let v(i) = -17*i + 9 - 9 - 3 - 6. Is v(-4) a composite number?
False
Let d(r) = r**2 + 5*r + 7. Suppose 2 = -s - 3. Is d(s) a prime number?
True
Let p = -21 + 15. Is (84/8)/((-3)/p) a composite number?
True
Let k(h) = -21761*h + 2. Is k(-1) prime?
False
Let h = -14 - -27. Let j = h + 5. Is 38*(-3)/(j/(-21)) composite?
True
Let r be 2/5 - 13/(-5). Let k(n) = 3*n - 4. Let w be k(r). Suppose w*d - d + 5*y - 134 = 0, -4*y = -8. Is d a prime number?
True
Let o(j) = -7 - 52*j + 13*j + 6. Is o(-2) composite?
True
Let i(q) = q**3 - 6*q**2 + 3*q + 6. Let w be i(5). Let z = w + 7. Is z a prime number?
True
Suppose -5*w = -25 + 5. Suppose 20 = w*z - 4*g - 244, -3*z = 2*g - 203. Is z a prime number?
True
Let o be 12/2*2/3. Suppose 5*a - 54 + 4 = -o*m, -2*a - 4*m = -20. Is a a prime number?
False
Is (4/14 + (-15777)/21)*-1 a prime number?
True
Let s = 12 + 151. Is s prime?
True
Suppose -7*l + 2*l = -245. Suppose 2*d + 19 = l. Is d prime?
False
Let m be 191/9 + 10/(-45). Suppose 0 = 4*w + 2*i + 2*i - 564, -5*i = -5*w + 655. Suppose b = -m + w. Is b a prime number?
False
Suppose 4*v = 3*n - 1466, -2*n + 2*v + 2448 = 3*n. Let w = n - 119. Is w composite?
True
Is -4 + -4 + 4 + 293 prime?
False
Let f(v) = v**3 - 5*v**2 - 5*v - 3. Let m be f(6). Let w(s) = -6*s**3 + s**3 + 4*s**m + 5*s - 3 + 2*s**2. Is w(3) composite?
False
Is ((-25)/70 + 4/(-28))*-4406 prime?
True
Let o(s) = 41*s - 9. Let p(q) = 2*q**3 - 2*q**2 - 4*q + 4. Let a be p(2). Is o(a) a prime number?
False
Let q = 248 + -129. Is q composite?
True
Let s = 13 + -8. Suppose 8 + 1 = 3*o. Suppose 3*z + s = -2*g + 4*g, -4*g + 25 = -o*z. Is g a prime number?
False
Suppose -3*h = 136 - 475. Is h prime?
True
Let s(q) be the second derivative of -q**3/3 - 9*q**2/2 - 2*q. Let k be s(-6). Is 33 + (k + -2)*-2 a composite number?
False
Suppose -3*x + 390 = 108. Suppose -x - 81 = -5*z. Is z a composite number?
True
Let n = 93 - 34. Let p(g) = 5*g**2 + g. Let z be p(2). Suppose -z = -2*m - 5*x, -m - 2*m + n = x. Is m composite?
True
Is ((-6444)/54)/((-2)/3) a prime number?
True
Let a(i) = i + 19. Let h be a(-9). Is 1/(-2) + 6915/h a composite number?
False
Suppose k + 382 = 3*k. Is k composite?
False
Suppose 2*x + 139 = 3*x. Is x a prime number?
True
Suppose 132 = b - 506. Let s = -159 + b. Is s prime?
True
Suppose 2*n - 5*a - 8 = 0, 3*n - 3*a - 2 = 10. Suppose 0 = -n*f - 95 + 315. Is f prime?
False
Let p(o) = 2*o**2 - 3*o - 4. Suppose -3*i = -f - 4, -f = -3*f - 3*i + 19. Is p(f) composite?
False
Suppose -3*y + 420 = -177. Is y composite?
False
Let d(b) = -5*b**3 + b**2 - 2. Let l be d(-6). Is (-12)/18 + l/6 a prime number?
False
Let v = 7 + -5. Let w be (-11 + 7)/(v/(-4)). Suppose -k + 31 = w. Is k prime?
True
Suppose -1 = f + 4*v - 6, 5*f + 2*v = 61. Is f composite?
False
Let t = 50 + 63. Is t composite?
False
Suppose 0 = -n + 3, 4*n = -0*a - 4*a + 20. Suppose -a*u = 3*u - 20. Suppose 35 = -3*f + u*f. Is f a composite number?
True
Let j(f) = 1. Let x(p) = p**2 + 1. Let h(o) = o**2 + 8*o - 3. Let y(t) = -h(t) - 2*x(t). Let d(b) = 5*j(b) - y(b). Is d(-5) prime?
False
Let q be 2 - 4 - (-3 - -2). Is 13*3 - (q - -1) a composite number?
True
Let p = -4 - -3. Let d be 23*p/(-2)*8. Suppose -l + d = 3*l. Is l a composite number?
False
Let v be (-16)/(-9) + (-2)/(-9). Let l = 15 + v. Suppose -3*j + 3*g + 2*g = -l, 18 = 5*j + 2*g. Is j prime?
False
Let o = -404 + 183. Let w = o + 376. Suppose 6*g = g + w. Is g a prime number?
True
Let r = 498 - 310. Suppose -j - j + r = 4*c, 4*j = -16. Is c a composite number?
True
Let w = -52 - -489. Is w composite?
True
Suppose 2*s + 1 = s. Let z be (7 - 0/s)*-1. Let l = 42 - z. Is l a composite number?
True
Let k(w) = -w - 4. Let p be k(7). Let y(b) = -b**3 - 12*b**2 - 13*b + 15. Is y(p) a prime number?
True
Let h be (-4)/22 - 928/(-22). Is h/(-24)*(0 - 116) prime?
False
Let u = 2 - -3. Let i be 10*(-1 + 6/4). Suppose u*k - 91 = 4*k - i*n, -5*k - 4*n + 455 = 0. Is k a composite number?
True
Let r(i) = 5*i**2 - 2*i + 1. Let y(a) = 4*a**2 - 2*a + 1. Let g(v) = -2*r(v) + 3*y(v). Is g(-6) a composite number?
True
Let i(m) = -57*m + 1. Let s be i(-2). Suppose 0 = 4*b - s - 33. Is b prime?
True
Suppose -1 - 1 = -s + i, 0 = -3*s - 5*i + 6. Let o = 0 + s. Is (2/4)/(o/24) composite?
True
Let p be (3/6)/(2/24). Suppose p*d = d + 445. Is d prime?
True
Suppose -w + 4 = 6. Let i = w + 91. Is i a prime number?
True
Let q(c) = c + 8. Let n be q(-5). Let k = n + 0. Suppose -k*r = -5*r + 30. Is r composite?
True
Let d(r) = 2*r**2 - 14*r + 15. Let j(z) = z**2 - 7*z + 8. Let x(a) = -3*d(a) + 5*j(a). Is x(4) a prime number?
True
Suppose -2*c + 5*w + 644 + 723 = 0, 0 = c + 5*w - 691. Suppose f - 2*f - 4*p = -347, 4*p - c = -2*f. Is f prime?
False
Let v(o) = 29*o**2 - 12*o + 5. Is v(8) a prime number?
False
Is (-5)/(5/7)*-5 a prime number?
False
Let d(m) = 2*m**3 + m**2 + m - 1. Let n = 13 - 8. Suppose -3*s + 4*s - 2*z - 3 = 0, 4*z - 15 = -n*s. Is d(s) composite?
True
Let i(s) = 26*s**2 + 5*s + 5. Let x be i(-4). Let a(c) = 42*c. Let g be a(-5). Let o = x + g. Is o prime?
True
Let j(g) = 115*g. Let z be j(1). Let s = -41 + z. Is s prime?
False
Let n(k) = 8*k. Let m be n(1). Suppose 2*y + m = 150. Is y composite?
False
Suppose 5*p = 4*w + 303, -4*w - p = -5*p + 304. Let i = 156 + w. Is i a composite number?
False
Let m = 180 - -407. Is m a prime number?
True
Let y be ((-2)/(-3))/(1/57). Let t be 1/((2/y)/(-1)). Let d = t + 40. Is d prime?
False
Let q = 20 - 5. Suppose 0 = q*r - 12*r - 1581. Is r a composite number?
True
Let r = 23 - 53. Let v = r + 85. Is v a prime number?
False
Suppose 4*t = -5*d - 15, 20 + 2 = 2*d - 4*t. Let u be 1*(d*-18 - -1). Let s = u + 31. Is s a prime number?
False
Let w(m) = m**3 + 5*m - 50 - 2*m - 2*m. Let s be w(0). Let i = s + 89. Is i a composite number?
True
Suppose 4*y - 3*v - 520 = 0, 4*y - 4*v = 2*y + 250. Is y a prime number?
False
Let r(u) = u**2 + 14*u + 3. Let x be r(-14). Let j(i) = 20*i**3 + 4*i**2 - 2*i + 1. Is j(x) a composite number?
False
Let l(w) = 3*w**2 + 8*w + 20. Is l(15) a composite number?
True
Suppose 0 = -5*b + 5, -5*w = 2*b - 6 - 1. Is ((-127)/4)/(w/(-4)) a composite number?
False
Suppose -l - 4 = 1, 2*l = -2*f - 2. Suppose 0*a + a - 5 = 0. Is 456/a - f/20 a composite number?
True
Suppose -36 = o + 3*o. Is (-6)/o + 1389/9 a composite number?
True
Let a be 8/((-1)/((-3)/6)). Let c be ((-25)/20)/((-1)/a). Suppose -5*n - 52 = -6*n + 2*o, 3*o - 221 = -c*n. Is n prime?
False
S