s p(-7) a prime number?
False
Is (-2518)/(-12)*5 - 1/6 prime?
True
Let i be 2*3/6 - -2. Suppose 0 + i = u. Is ((-12)/2)/u*-7 a composite number?
True
Let o = -55 - -434. Is o composite?
False
Let f(w) = -4*w**3 - 2*w**2 + 2*w + 3. Is f(-3) composite?
True
Let t(v) = v**3 + v**2 - v + 95. Let a be (-4)/8 + (-1)/(-2). Is t(a) composite?
True
Let b(g) = 18*g**2 + 3*g + 3. Let c(a) = -a - 11. Let q be c(-9). Let i be b(q). Suppose 4*l - i = -5*u + 112, 0 = 5*u + 5*l - 180. Is u composite?
False
Let k(i) = i + 2*i - i - 3. Let d be k(4). Suppose 316 = d*h - h. Is h composite?
False
Let z(k) = 6*k - 1. Let s be z(1). Suppose s*b + 0*d + d - 189 = 0, 4*b - 157 = 5*d. Suppose v = -4*y + 204, -2*y - v + b = -64. Is y prime?
False
Let o(p) = 9*p**3 + p**2 - 1. Suppose -t + 3 = -2*l, 3*t - 5 = 2*l + 8. Let x be o(l). Suppose 2*w = 83 - x. Is w composite?
False
Let u(j) = 16*j - 3. Let p(z) = -16*z + 2. Let a(d) = -3*p(d) - 4*u(d). Let m be a(-5). Let c = m - 55. Is c a composite number?
False
Suppose -4*f + 4 = w, -3*w + 2*w + 2*f - 8 = 0. Let t be (-3)/(-12) - 27/w. Suppose -63 = -5*s + t. Is s a composite number?
True
Let o = -1 - 5. Let b be ((-142)/6)/(1/o). Suppose 5*h - 2*m - b = 2*m, -5*m + 11 = h. Is h prime?
False
Let c = 89 + 188. Let l = c - 150. Is l prime?
True
Let c = 69 + -35. Suppose l + 11 = -c. Let y = l - -122. Is y prime?
False
Let r be 4 + -2 + (3 - 2). Suppose 2*g - 4*c + 8 = 0, -r*c + 0 = 5*g - 6. Suppose g = 4*i - i - 111. Is i composite?
False
Let t = 13 + -13. Suppose t*u - 2*u + 1010 = 0. Is u composite?
True
Let h = 4 + -5. Is -1 - -35 - -2 - h a composite number?
False
Suppose 5*v - 2*l - 594 = 0, v + 2*l - 29 = 85. Is v*(-6)/8*-2 prime?
False
Is -118*(45/(-10))/9 prime?
True
Suppose 6 = p - 0*p. Suppose 3*f + p = f. Is (-2)/(-6)*(-99)/f a composite number?
False
Suppose 0*m + 4 = 2*m. Suppose 0 = -2*c - 0*c + 2, 2*f = m*c + 128. Is f composite?
True
Let q = 1666 - -943. Is q prime?
True
Let b(r) be the third derivative of -r**6/40 - r**4/24 + r**3/6 - r**2. Is b(-3) a composite number?
True
Suppose -15*r + 18*r = 375. Suppose -c - 3*u = -r, 2*c - 302 = u - 38. Is c a composite number?
False
Let p(m) = 9*m**2 + 17*m + 11. Is p(-9) composite?
False
Let j(g) = 4*g**2 + 2*g - 5. Let s be j(11). Suppose -162 + s = 3*k. Is k a composite number?
False
Let t = -729 - -1076. Is t a composite number?
False
Let o = -46 - -78. Suppose o = -3*j - j. Let l = 15 + j. Is l a prime number?
True
Let t = 21 + -34. Let m = 2 - t. Is m composite?
True
Is -1*1229/(-3) + (-2)/3 composite?
False
Let x be 1/((-19)/(-18) + -1). Suppose 0 = -g + 8*g + 21. Is g/18 + 777/x composite?
False
Let o(z) = z**2 - z + 1. Let w(j) = 3*j**2 - 8*j + 8. Let l(c) = 2*o(c) - w(c). Let h be l(5). Is (-58 - h)*25/(-15) prime?
False
Suppose 0 = t - 4*u + u - 399, t = -u + 383. Let r(j) = j**2 - j + 2. Let z be r(0). Suppose z*h + h = t. Is h a prime number?
False
Suppose 27034 = 13*i + i. Is i a composite number?
False
Let c(m) = m**2 - 4*m - 1. Let b be c(7). Suppose 0 = s - b - 29. Is s a composite number?
True
Let g = -1737 + 2648. Suppose 6*n - n - 4*f - g = 0, -4*n + f + 720 = 0. Suppose 5*o = -3*b + 197 - 21, -2*b + n = 5*o. Is o prime?
True
Let i(y) = 6*y + 4. Let b = 2 - 1. Let r = 4 + b. Is i(r) prime?
False
Let a(c) = 25*c - 1. Let i = 1 + -4. Let w be a(i). Let x = w + 110. Is x composite?
True
Suppose -4*g + 63 = 3. Is g prime?
False
Let i = 6 - -4. Is 104/i - (-6)/(-15) a prime number?
False
Let l(q) = -q**3 - 7*q**2 - 2*q - 10. Let g be l(-7). Let h(c) = -c**3 + 7*c**2 + 3*c - 5. Is h(g) a prime number?
False
Let g(k) = 2*k**2 + 6*k + 3. Let x be g(-7). Suppose -x + 2 = -3*q. Is q composite?
False
Let p(s) be the second derivative of -s**5/20 + s**4/12 + s**3/6 + 89*s**2/2 + 2*s. Is p(0) a composite number?
False
Suppose -z + 4 = z. Let i(r) = 66*r**2 + 2*r - 1. Let u be i(z). Is u/12 + (-1)/4 composite?
True
Suppose c - 768 = -4*v + 5*c, 0 = 5*v + 2*c - 953. Is v prime?
True
Suppose 8*j - 11*j - 201 = 0. Is j*3*(-4)/6 composite?
True
Let w(y) be the first derivative of -3*y**2/2 - 3*y - 5. Is w(-4) a composite number?
True
Let q(m) = -m**2 + 12*m - 1. Is q(5) a prime number?
False
Let n = -171 - -383. Suppose -4*r + 0*r = -n. Is r a composite number?
False
Let l = 81 - 44. Is l prime?
True
Suppose s + 81 = 4*s - 3*c, 5*c = -20. Is s a prime number?
True
Let d(s) be the third derivative of -59*s**4/12 - s**3/6 - 2*s**2. Let n be d(2). Is (n/(-6))/(1/2) composite?
False
Let o = -5 + 9. Let a(r) = -r + 31. Let z be a(0). Let i = o + z. Is i a prime number?
False
Let n = 6127 - 2160. Is n composite?
False
Suppose 4*o = -5*w + 2*o + 9, 5*o = 10. Let q = 1 - -1. Suppose 3*p = -6, q*h - p - 53 = -w. Is h a prime number?
False
Let i = -2972 + 4203. Is i a prime number?
True
Let v(q) be the first derivative of q**6/120 - q**5/60 - 7*q**4/24 + 5*q**3/6 - q**2 + 1. Let g(d) be the second derivative of v(d). Is g(4) a prime number?
False
Let l be 9390/14 + 26/91. Suppose -1194 - l = -5*o. Is o a prime number?
True
Suppose 5*u + 5*t - 3742 = 2*u, t = -u + 1248. Is u a prime number?
True
Let j = 0 - -2. Suppose j*c - 4*k - 10 = 5*c, -4*c + k = 26. Is 222/(-4)*c/9 composite?
False
Suppose 32 = -4*h - 2*k - k, 5*h = -5*k - 40. Let n = -5 - h. Suppose -844 = -n*b - b. Is b prime?
True
Let i(b) = -b**3 + 14*b**2 - 3*b + 15. Let f = 21 - 8. Is i(f) a composite number?
True
Suppose 0 = v + 895 - 205. Is (2 - 0)/((-12)/v) composite?
True
Let i(b) = 7*b**3 - 7*b**2 + 8*b + 3. Is i(5) composite?
False
Is (955/15)/((-2)/(-6)) composite?
False
Let q = -23 - -26. Suppose -2*s + 487 = 2*u + q*u, 3*u - 2*s = 289. Is u prime?
True
Let u = -4 + 6. Suppose -u*x + 3*q = -52, 0*q - q = -4*x + 104. Suppose 3*o - o = x. Is o composite?
False
Is 1 + (3 - (1 - 484)) prime?
True
Let h = 43 - -262. Is h a composite number?
True
Let p be (-1 - -1) + 1 + -1. Let q(v) = v**2 - 2. Let u be q(p). Is 2 - (-16 + 1 + u) composite?
False
Let o(c) = c**2 + 2*c - 3. Let x be o(-3). Suppose -f = 3*f - 4*s - 1024, x = -2*f + 4*s + 518. Is f a prime number?
False
Let r(j) = -j**3 + j**2 - 2*j + 1049. Is r(0) a composite number?
False
Suppose 0*s = 2*s - 52. Suppose 0 = -o - 5*j + 7, s = 5*o - j - 61. Is -1*(o*-1 - -2) a composite number?
True
Let c(r) be the first derivative of r**5/24 - r**4/6 - 2*r**3/3 - 2. Let o(g) be the third derivative of c(g). Is o(3) a composite number?
False
Let y(z) be the third derivative of z**5/60 - z**4/24 - 2*z**3/3 + 3*z**2. Let b be y(3). Suppose b*p - 29 = 1. Is p a prime number?
False
Let b = 9 + 4. Let z = -3 + 5. Suppose 17 = z*x - b. Is x a prime number?
False
Let c(l) = 14*l**2 - 2*l - 1. Is c(-1) a composite number?
True
Let n = 34 + 9. Is n composite?
False
Is 5031/7 + 20/70 a composite number?
False
Let i(r) = 218*r**3 - 2*r**2 + r. Let m be i(1). Suppose -5*k - 4*x = -5*x - m, 2*x = -k + 39. Is k prime?
True
Let w(p) = 37*p + 15. Is w(6) a composite number?
True
Suppose -r - 3 = -0*r. Let v(p) = 49*p**2 - p - 5. Is v(r) composite?
False
Let n(m) = m**3 - 5*m**2 + 10*m - 7. Let k be n(7). Let u = k - 82. Is u a prime number?
True
Let q be (-6)/((-1)/(-2256)*4). Is q/(-5) + (-8)/(-40) a composite number?
False
Let d = -2 + 4. Is (d/2)/(11/638) a prime number?
False
Suppose 0 = 2*h - 2*a - 16, -1 + 0 = -2*h - 3*a. Let w(m) = m**3 - 6*m**2 + 7*m - 6. Let j be w(h). Is (-2)/6*j*-3 composite?
True
Let z be 78/4*(-4)/(-6). Suppose -5*r + z = 3. Suppose -4*a + r*a = -106. Is a a prime number?
True
Let d = 28 - -837. Is d composite?
True
Let p(n) = n**2 - 6*n. Is p(-5) a composite number?
True
Suppose o + 2*w = -2*o, -15 = 5*w. Suppose 3*a - 6 = o*a. Suppose 2*l - 32 = a. Is l prime?
True
Let v(f) = -2*f**3 + f**2 + f + 1055. Is v(0) a composite number?
True
Let x(s) = -1 + 4 + 52*s + 0. Let t(m) = m**3 + 7*m**2 - 21*m - 23. Let n be t(-9). Is x(n) a prime number?
True
Let r(c) = -c**2 + 8*c + 2. Let k be r(8). Suppose k*m - 4*m = -934. Is m composite?
False
Suppose 219 = h - 239. Let l be h/6 - 1/3. Is l/12 - 2/6 prime?
False
Let u = 419 - 249. Let r = u + -36. Suppose -23 = 3*y - r. Is y a prime number?
True
Suppose -2*k + 2*w = 3*k - 7393, 5*w = -20. Is k composite?
True
Let s(g) = 66*g**3 + 6*g**2 - 5. Is s(4) composite?
True
Let f(a) = 2*a - 6. Let h be f(5). S