*i**3 - 6*i**2 - 5*i + 1. Is x(p) a prime number?
True
Let a = 73 - 62. Is a a composite number?
False
Suppose -5*s = -10*s + 1585. Is s a composite number?
False
Let a be (21 - -1)/((-2)/(-4)). Suppose a = -0*q + 2*q. Is q composite?
True
Is ((-9)/(-9))/(2/1474) a composite number?
True
Suppose -5*z + 53 = -q, 3*z - q - 50 = -19. Let n = 8 - z. Let y(v) = -2*v**3 + 2*v**2 + 3*v + 4. Is y(n) prime?
True
Let w = 0 - -1. Suppose w = 4*o - 19. Suppose h - 61 = -5*f + 19, -25 = -o*h. Is f a composite number?
True
Let i(g) = -25*g - 3. Let d be 4/(-2)*-7 + 0. Suppose -t + 2 = -2*h, 0*t + 5*h = -2*t - d. Is i(t) prime?
True
Suppose -4*q + 5*s + 23 = 2*s, q - 27 = 5*s. Suppose -1506 = -8*y + q*y. Is y a prime number?
True
Let a(h) = -h**3 + 6*h**2 - 6. Let d(m) = -m**2 - 5*m + 6. Let w be d(-5). Let s be a(w). Is (-333)/6*4/s a composite number?
False
Suppose 0 = -4*o - 2*m + 28, 0 = 3*o + o - 3*m - 48. Suppose o*i + 212 = 11*i. Is i a composite number?
True
Let d = 14 - 13. Is (10/(-8))/(d/(-284)) a prime number?
False
Let y(k) = -k**2 + 13*k. Let u be y(13). Is 71/2*(u - -2) a prime number?
True
Suppose 3 = -3*c - 5*n - 9, 3*c - 4*n + 39 = 0. Let h(i) = 0*i - i - 6*i + 6. Is h(c) a composite number?
True
Let i(r) = 2*r**2 - 2*r + 3. Is i(-10) prime?
True
Let w be ((-11)/33)/(1/6). Is w*(259/(-2) + -4) composite?
True
Let s be ((-21)/6)/(2/(-4)). Let v(q) = q**3 - 6*q**2 - 2. Is v(s) a composite number?
False
Suppose 2*j - 731 - 219 = -5*n, 2*n = -j + 477. Is j composite?
True
Let c = -42 - -921. Is c composite?
True
Suppose -x = 4*w - 4599, 4*w - 4231 = -3*x + 358. Is w prime?
True
Let x(q) = -3*q**2 - q + 10. Let n be x(-9). Let o = 313 + n. Is o a prime number?
True
Is (-2 - 4*-1) + 885 prime?
True
Let f = -11 + 15. Suppose z - 305 = -f*p, -2*p = 3*p + 15. Is z composite?
False
Let n be 6/((-10)/16 - -1). Let w be (n/20)/(1/5). Is (-5775)/(-65) + w/26 a composite number?
False
Let s = 1315 + -854. Suppose -4*d - d + 354 = 4*t, -5*t = -3*d - s. Is t composite?
True
Suppose 6*v - 5*v - 4 = 0. Suppose -v*b - b + 15 = 0. Is b a prime number?
True
Is (19 - -6)/5*3194/5 a composite number?
True
Let u be 1/(2*(-3)/(-1398)). Suppose 62 = -0*g + g - m, 0 = -4*g + m + u. Is g prime?
False
Let z be (1/(-1) + -208)*-1. Suppose -z = 5*q - 644. Is q composite?
True
Suppose -3*y + 5*y = 754. Is y composite?
True
Let z be 3 + (0 - -2 - 3). Is (-4 + z)/(8/(-2524)) prime?
True
Let f be (-4)/18 + (-25)/9. Let b be 12/5*10/f. Is b/12 - 203/(-3) a composite number?
False
Let g be (36/(-15))/((-6)/15). Is ((-212)/g)/((-12)/18) a prime number?
True
Let z(b) = 53*b + 2. Is z(1) composite?
True
Is (-41114)/(-10) - (-8)/(-20) a composite number?
False
Suppose -61 = -3*f + 122. Suppose -2*o + 101 = -f. Let t = -30 + o. Is t composite?
True
Let h = 138 - -152. Suppose 0 = -3*j + 5*j - h. Is j a composite number?
True
Suppose -7*v + 3*v = -4. Is v/4 + 189/28 a prime number?
True
Suppose -2*f + 29 + 8 = -z, 4*z + 2*f + 128 = 0. Is (-2 - 1)*902/z composite?
True
Suppose 1 = c - 36. Let q = c + -23. Is q a prime number?
False
Suppose -p = -6*p + 25. Suppose -p*i + 456 = -2*i. Let n = i - 63. Is n prime?
True
Suppose 3*j + 56 = -37. Let l = j - -161. Suppose -2*n = 3*n - 5*s - l, 26 = n + 2*s. Is n a composite number?
True
Suppose -3*n = -301 + 64. Is n composite?
False
Let j be (-9 - 197)*2/(-4). Let w = 186 - j. Is w prime?
True
Let p be (-4)/10 - 8/(-20). Is (13 - 2)/(1 + p) composite?
False
Suppose 4*p + 50 = -p. Let x be ((-16)/p)/((-4)/(-110)). Suppose x = 2*y - 26. Is y a prime number?
False
Suppose 1654 = 4*d + 2*t, 4*t + 1661 = 4*d - t. Let u be d/4*1*2. Suppose -3*q - 806 = -4*g, 3*g - 2*g + 2*q = u. Is g a composite number?
True
Let w(z) = z**2 + 3*z - 3. Let r be w(-3). Let i be (-15)/(-2*r/(-16)). Let h = i + -2. Is h composite?
True
Let a(n) = n**2 - n + 2. Suppose -4*d = 45 - 17. Is a(d) a composite number?
True
Let o = -107 - 49. Let t = -107 - o. Is t prime?
False
Let d be (-327)/(-13) + (-8)/52. Let h = -11 + d. Is h prime?
False
Let n(a) be the second derivative of 7*a**3 - 2*a**2 - a. Let s be n(4). Let k = 277 - s. Is k composite?
False
Suppose 2*z + 0 + 174 = 0. Is (4 - 6) + z/(-1) prime?
False
Let m be (-12)/6 + 2 + 0. Suppose 5*z = 4*i + 26, -3*z - 4 = 3*i + 2. Suppose z*y + 5*u - 170 = m, -4*y - u = -0*y - 376. Is y a composite number?
True
Let g(z) = z**2 + 4*z - 8. Let x be g(-6). Let r be -1*(0 + 1 + -1). Is (r + -1 + x)*5 a composite number?
True
Let n = 1609 - 942. Is n prime?
False
Let x = -1 - 1. Let c(d) = 17*d**3 - 5*d**2 - 8*d + 1. Let s(h) = -h**3 + h**2 + h. Let m(p) = -c(p) - 6*s(p). Is m(x) prime?
True
Let x(b) = 30*b**2 - 4*b + 35. Is x(-8) a composite number?
False
Suppose -5*q - 3*h + 5*h = 5, -24 = 3*q + 3*h. Let b(u) = -37*u - 5. Is b(q) a composite number?
True
Let g(t) = -t**3 - 3*t**2 + t + 3. Let n be g(-3). Suppose 5*c - c + 32 = n. Let m(s) = -s**2 - 10*s + 7. Is m(c) a prime number?
True
Let x = -383 - -541. Suppose 0 = -5*o + x + 97. Is o a composite number?
True
Let m be ((-20)/(-8))/(1/2). Let p = m + -2. Is ((-21)/6 + p)*-62 a prime number?
True
Let t = 1866 - 553. Is t composite?
True
Let l(b) = 4*b**2 - 8*b + 17. Is l(11) composite?
True
Let d(o) = -o**2 - 7*o - 4. Let x be d(-5). Let w be (-36)/(-4)*2/x. Is w/4 + 49/4 a prime number?
True
Suppose 5*o = 2*o - 6. Is -31*(o + -4) + -3 a prime number?
False
Let r(j) be the first derivative of j**4/2 - j**3/3 + j**2 - j + 2. Let g be r(2). Is g + -1 + 0/(-3) a composite number?
True
Let s(c) = -3*c - 3. Let z be s(-2). Suppose 3 = -z*u - 3. Is (-1)/(-2)*(u + 40) a prime number?
True
Suppose h - 72 = 3*b, 5*b = 5*h - 439 + 99. Let p = h + -156. Let x = -44 - p. Is x a prime number?
False
Let x = -26 + 14. Let u = 53 - x. Is u a prime number?
False
Suppose -4*y = -3*f - 1330, -5*y + 4*f = 1022 - 2685. Is y prime?
True
Suppose 5*u = 2*p - 18, -6 = -2*p - 2*p - 5*u. Let h = 335 + -177. Suppose k = -3*z + h, 2*z + 4*k = p*z - 110. Is z a composite number?
False
Suppose 0 = s + g - 3, -5*s + 51 = -0*g - 4*g. Is s/(-2)*(-18)/3 a prime number?
False
Let f(m) = m + 1. Let a be f(5). Suppose -2*g - 12 = -6*g. Suppose a*q - 3*q + 4*b = 271, -g*b - 285 = -3*q. Is q a composite number?
True
Let l be (-5475)/10*8/(-10). Suppose 4*k - 2*v = l, 5*v - 2*v - 564 = -5*k. Is k composite?
True
Suppose -3*r - 5*f = -9 - 9, 4*f + 6 = r. Suppose a = r + 19. Is a composite?
True
Let u be 7 + 0 + 3 + -5. Let k be (-2)/(-5) + 72/20. Suppose k*v - 211 = 2*q + 1, 0 = 3*v - u*q - 159. Is v prime?
True
Suppose -3 - 12 = -3*g. Suppose 41 = 2*l + 4*n - g*n, l = -3*n + 10. Is l a composite number?
False
Suppose 0 = -2*x - x + 6. Let j be 9 + -7 - (-28)/x. Suppose -27 = -d + j. Is d a prime number?
True
Is ((-1259)/3)/(6/(-18)) composite?
False
Let t(i) = -i**2 - i. Let p be t(-3). Let a be (p - -4)/(2/(-65)). Suppose 0 = -4*u - a + 341. Is u a prime number?
False
Let m = -47 + 538. Is m a composite number?
False
Suppose -2*o - 2335 = -7*o. Is o a composite number?
False
Let j(m) = m**3 - 4*m**2 + 2*m - 4. Let k be j(4). Is k/(-32) - 1017/(-8) a composite number?
False
Let a(x) = x - 3. Let g(u) = u**3 - u**2 + 7. Let z be g(0). Let l be a(z). Suppose 4*t + 14 = 5*h, l*h - 5*t = 2 + 2. Is h composite?
True
Is ((-2)/6)/(3/(-3339)) composite?
True
Is (-8046)/(-42) + (-12)/21 a composite number?
False
Suppose -5*k + 2169 = w, 0*w = -2*w + 3*k + 4364. Is w prime?
True
Let j = 3 - 3. Suppose s + 0*s = j. Suppose 0 = -2*c - 2*u + 68, 5*c + 4*u - 167 = -s*u. Is c a composite number?
False
Suppose z + 2*a - 7 - 48 = 0, 4*z - 2*a - 260 = 0. Suppose -2*v + z = v. Is v prime?
False
Suppose -z = 4*q - 887, 0*z = -q - 3*z + 208. Is q a composite number?
False
Suppose -3 = 2*j - 11. Let g be (-2)/j - (-5156)/8. Suppose g = 3*i + i. Is i a composite number?
True
Let h be 3/(3/(-2)) - 1. Let q(v) = v**3 - 3*v**2 + 1. Let s(y) = y**2 - y + 1. Let o(c) = -q(c) - 3*s(c). Is o(h) composite?
True
Let w = 5 - -76. Let j = 8 + 4. Suppose -x + j = -w. Is x composite?
True
Suppose 0 = -w - 4*u - 107, 3*u = 3*w + 96 + 300. Is ((-2)/(-1) + -3)*w composite?
False
Suppose -2*l - 4*y + 0*y = 28, -10 = 2*y. Let q(d) = -7 + 2 + 8 - 8*d. Is q(l) composite?
True
Let f(z) be the first derivative of z**2/2 + 2*z + 2. Let p be f(0). Suppose -