3 - a**2 - a + 160. Let z be h(0). Suppose -p + 4*j - 24 + 185 = 0, 3*j = p - z. Is p a composite number?
False
Suppose 4*s - 1529 - 30707 = 0. Is s a composite number?
False
Is 92/(-6)*348/(-8) composite?
True
Is (75/90)/(2/3972) a prime number?
False
Let q be (-54)/(-24) - (-3)/(-12). Suppose q*r - 8*c = -4*c + 174, -r + 86 = -c. Is r a composite number?
True
Let z(a) = 6*a**3 - a**2 - a - 1. Let d be z(-1). Let u(c) = -c**2 - 8*c - 5. Let i be u(d). Suppose 4 = -s + i*s, -y = 2*s - 57. Is y composite?
True
Let w = -4052 - -5805. Is w prime?
True
Let r(s) = 2*s**3 + s**2 - 3*s - 3. Is r(6) a composite number?
True
Let j = 36 + -19. Suppose 4*y - 15 = -4*m + j, -18 = -y + m. Is y a prime number?
True
Let q(a) = -a**3 - 8*a**2 - 7*a - 6. Let n be q(-5). Is 2 + (-9)/2*n composite?
True
Let q(d) = 54*d - 5 - 4 - d + 3. Is q(5) a composite number?
True
Suppose 0 = 3*a - 6*a + 9. Is (-3 + a - 3) + 320 a composite number?
False
Let b(n) = -n**2 - 3*n**2 + 2 + 0*n**2 - 3*n - 4*n - 2*n**3. Is b(-4) composite?
True
Suppose 0 = -3*d + 483 + 792. Suppose 0*r - 25 = -5*r, -2*y + d = 3*r. Is y a prime number?
False
Let j = 114 - 69. Suppose 0 = -4*k + 651 + j. Suppose 3*s + 4*x = k + 27, -x = -3*s + 201. Is s a prime number?
True
Let y(p) = 9*p**2 - 6*p - 20. Is y(11) a composite number?
True
Let r(u) = u**3 + 5*u**2 + 5*u + 2. Let p be r(-3). Suppose 4*x + 5*w - 225 = 0, 239 + 35 = p*x - w. Let j = x + -32. Is j a prime number?
True
Let i be (-1 + 2)/(-3 + 4). Is (67/(-3))/(i/(-3)) composite?
False
Suppose i + 2*g = 59, 2*i - 5*g + 2*g - 146 = 0. Suppose 0 = 4*d - 2*v - 14, d = -d - 2*v - 2. Suppose -4*x = -x - 3*l - 42, d*l = 5*x - i. Is x prime?
True
Suppose -4*z = -2*z - 4. Let c(i) = z*i**2 - 4 + 2 - 3*i**2 + 11*i. Is c(8) prime?
False
Suppose 0 = -2*i + r - 10, 3*r - 10 = -4. Is (2 + -1)/(i/(-188)) composite?
False
Let f = -12 + 3. Let x be (2/6)/(-1)*f. Suppose x*i = b + 108, -2*b + 9 = b. Is i prime?
True
Let m = 10 + -9. Let h be (-6 - -5) + m + 306. Let a = h - 19. Is a composite?
True
Suppose -4*x - 4*h = -656, x - 648 = -3*x - 2*h. Let c = x - -93. Is c a composite number?
True
Suppose 0 = 3*x - 9, -3*x + 93 = 4*q. Let j = 40 - q. Let p = j + -10. Is p a composite number?
True
Suppose -x + 3*z + 1705 = 0, -8 = -5*z + 2. Is x composite?
True
Let b = 6 - -2. Let g(r) = 5*r - 2. Let s be g(b). Is 2*3/12*s composite?
False
Suppose -b - 6 + 3 = -2*s, 0 = 2*s - 4*b + 6. Is s*(-3)/((-9)/23) composite?
False
Suppose 537 = 5*r - 898. Is r a composite number?
True
Let v(s) = s**3 + 10*s**2 + s + 12. Let l be v(-10). Is (-146)/(-4) + 1/l a prime number?
True
Suppose 6*g = g + 1055. Is g composite?
False
Suppose 0 = 2*g - 402 - 20. Is g a composite number?
False
Let f(l) = -l**2 - 3*l. Let k be f(-3). Let j be k + 0 + 0/3. Suppose j*i + 50 = 5*i. Is i composite?
True
Suppose 5*f + 16190 = 5*m, -f = -5*m - 352 + 16554. Is m prime?
False
Suppose -p - 24 = p. Is ((-502)/(-5))/(p/(-30)) a composite number?
False
Let c(i) = -164*i**3 + i. Suppose -2*v = -v + 1. Is c(v) composite?
False
Let j = 79 - 0. Is j a prime number?
True
Let t(l) = -l**2 + 7*l - 1. Let m be t(6). Suppose -95 = m*k + 4*x, -2*k - 2*x - 25 = -3*x. Let w = 36 + k. Is w a composite number?
True
Let t = -1 + -6. Let j = 11 + t. Suppose 0 = j*s - 110 - 166. Is s a prime number?
False
Suppose q + 8 + 22 = 5*p, -4*p - 2*q = -10. Suppose 1526 = -p*r - 4*c, 2*r + 376 = -4*c - 232. Let w = -145 - r. Is w prime?
False
Let a(v) be the first derivative of -21*v**4/4 + v**3/3 - v**2 - 2*v + 9. Is a(-1) a composite number?
True
Let i(w) = -w + 4. Let m be i(5). Let u be 0 + (-2)/(-1) + m. Is (u - (-9 - 1))*1 a prime number?
True
Let a(r) = 3*r**2 + 8*r - 12. Is a(23) prime?
True
Suppose 1 = -0*h - h. Suppose 4*s - 2*s + 76 = 0. Let l = h - s. Is l composite?
False
Let f(d) = d**2 - 5*d. Let h be f(5). Suppose 2*b - 4*b + 152 = h. Suppose -9 = -3*p, 5*q - q - b = 4*p. Is q composite?
True
Let w(i) = i. Let g be w(-4). Let f = g - -83. Is f a prime number?
True
Let w = 2 - 0. Let l(t) = 4*t + 25*t + 3 - 2 + 0. Is l(w) a prime number?
True
Let w(q) = q**3 - 6*q**2 + 6*q - 1. Let j(v) = v - 1. Let p be j(6). Let r be w(p). Suppose 0 = 3*u - r*u + 55. Is u a prime number?
False
Let z be 170/(-1)*-1*2. Suppose 0 = 3*m + m - z. Is m a prime number?
False
Suppose u + 0 = 4. Is 6/u*104/12 prime?
True
Suppose n + 393 - 1296 = -2*k, 4 = k. Is n prime?
False
Let r = 29 + -7. Is r composite?
True
Let s(t) = -t + 89. Is s(0) a composite number?
False
Suppose -2*o = 2*h, -4*h + 8 = h + 3*o. Suppose 3*g + 3*r - 156 = 0, -h*g - 5*r + 206 = -3*r. Is g composite?
True
Suppose 6*q + 4255 = q. Let b = 1366 + q. Is b a prime number?
False
Let g(i) = 72*i**2 - 18*i + 17. Is g(5) prime?
False
Let b(j) = 6*j**2 + 12*j + 7. Is b(6) a prime number?
False
Let h be (-4)/8 + 44/8. Suppose -h*d - 275 + 910 = 0. Is d a prime number?
True
Suppose -16 - 14 = -5*n. Suppose 4*v + 2 = -n. Is (-8)/(-4) - 222/v composite?
False
Let t(s) = 3*s - 4*s - 1 - 4*s. Let x be t(-1). Suppose -x*l - 20 = 4*i - 76, -i - 46 = -5*l. Is l a prime number?
False
Let k(l) = 2479*l - 2. Let a be k(1). Suppose -6*v + 2893 = -a. Is v composite?
True
Let n(w) = -9*w + 1. Let y = 7 + -6. Let t = y - 3. Is n(t) a composite number?
False
Is ((-764)/(-8))/((-1)/(-2)) a composite number?
False
Suppose -3*g - g = 12, 0 = -5*b + 2*g + 11701. Is b prime?
True
Let q = -10 + 17. Suppose q*j = 4*j + 138. Is j a prime number?
False
Suppose -y - 4*y = 10. Is ((-55)/y)/((-2)/(-4)) prime?
False
Let c(m) = 48*m**3 + 4*m - 1. Is c(2) composite?
True
Suppose 5*i + 10 = 0, -26 = -4*s + 8*i - 3*i. Suppose -2*o - 2*y + s*y + 508 = 0, -3*y = 9. Is o prime?
True
Suppose 0 = -i + 34 + 225. Is i prime?
False
Is ((-4)/6)/((-142565)/(-28515) + -5) composite?
False
Suppose d + 4*d - 530 = 0. Suppose -4*k - h = -1040, -608 = -2*k + 4*h - d. Is k a prime number?
False
Let b be (-4)/(24/(-9) + 2). Is 228/7 + b/14 prime?
False
Let o(w) = 64*w + 4. Let u be o(4). Suppose 0 = -k + f + u, 159 - 1193 = -4*k + 2*f. Is k a composite number?
False
Suppose -4 = m - 10. Suppose -m*y - 66 = -4*y. Let w = 1 - y. Is w a prime number?
False
Suppose -1142 = 5*j - 8047. Is j a composite number?
False
Let u be (1 - 2 - -6)*1. Suppose -u*z + 279 = -1006. Is z a prime number?
True
Let n = 769 - 450. Is n a prime number?
False
Let a(q) = 6*q**2 - 3 - 2 - q + 2*q**3 - q**3 - 3*q**3. Is a(-4) prime?
True
Let w be (-1)/((-3)/(-1 + 10)). Suppose 6*m - w*m = 3. Let k(f) = 20*f - 1. Is k(m) prime?
True
Is (4 - 468/16)*-8 a prime number?
False
Let i = 342 + -195. Suppose 4*t - t = -3*o + 147, -3*t - 4*o = -i. Is t composite?
True
Let n be 2/(-10) + 21/5. Suppose 47 + 301 = n*x. Is x prime?
False
Let g = -1 - -7. Suppose -138 = 3*b - g*b. Is b a composite number?
True
Let h(x) = -x + 6. Let g be h(5). Is 97 + g + -2 + -1 composite?
True
Suppose 5*n = 2*s + 6407, 4*n = 5*n + 2*s - 1291. Is n a prime number?
True
Let a be (-8)/14 + (-32)/(-7). Suppose -4*y + 3*o = -1345, -590 = -a*y - o + 743. Is y a composite number?
True
Suppose -2*w + 3 = -5. Suppose -3*b - 15 = -5*j + 3, -w*j + 32 = 2*b. Is j a prime number?
False
Suppose 0*y + 67 = y. Let i = y + 10. Is i a composite number?
True
Let i(d) be the third derivative of -d**6/120 + 2*d**5/15 + d**4/24 + 3*d**3/2 - d**2. Let j(y) = -y**2 + 7*y - 3. Let a be j(5). Is i(a) a composite number?
True
Suppose 21 = 2*m - 53. Is m a prime number?
True
Let c be (75/(-20))/((-1)/(-4)). Let h = 69 - 15. Let p = c + h. Is p composite?
True
Suppose 529 = 3*i + x, -169 = -4*i - 2*x + 535. Suppose -3*g - 27 = -5*v, 9 = 5*v - 5*g - 26. Suppose -54 - i = -v*s. Is s prime?
False
Let d(g) = 5*g**2 - 4*g - 3. Let o be d(4). Suppose -4*u - 3*t + 88 = 0, 3*u = t - 2*t + o. Is u a prime number?
True
Is 3 - 348/(-5 + 2) a composite number?
True
Suppose l = -k + 5, -l - 2*l = -k - 3. Suppose 3*x - 8*x - 4 = 2*b, -4*x - 6 = k*b. Is 12 + 0 + 0 + b composite?
True
Let y(z) = 4*z**2 + 12*z - 3. Is y(-6) composite?
True
Let g(t) = t**2 + 5*t + 6. Let v = 9 + -13. Let q be g(v). Suppose 5*y - 5*d = 785, 5*y - 821 = -2*d - q*d. Is y composite?
True
Suppose r = 3*r - 5*l - 145, -5*r - 4*l + 313 = 0. Is r a prime number?
False
Let r(n) be the first derivative of -n**3 + n**2/2 + 2. Let f be r(2). Is (-