3 - 3*g**2 - 10*g + 2. Let h be b(5). Suppose -4*d = h*t - t - 1320, 0 = d + 2*t - 337. Is d a composite number?
True
Let x(q) = q**3 + 12*q**2 + 10*q + 2. Let u(r) = r**3 + r**2 - 11. Let w be u(0). Is x(w) a prime number?
True
Let u(x) = -7*x**3 - 2*x**2 + x + 2. Let w(s) = 4*s**3 + s**2 - 1. Let a(m) = 3*u(m) + 5*w(m). Is a(-5) composite?
True
Is (-3)/(-12) - 876/(-16) a prime number?
False
Is (-1 + 0)/(6/(-348)) prime?
False
Suppose 0*z - 2*z - 38 = 0. Let d = z - -50. Is d a prime number?
True
Let v = -33 - -23. Is 13/5 - v/25 prime?
True
Let j = 11 - 6. Let g(q) = -q + 7. Let h be g(j). Suppose w + 2*z - 69 = 0, -z = -h*w + 2*z + 173. Is w a composite number?
False
Let a be 3*(2 - (-1)/1). Suppose 4*g = p + a, -g + 0*g + 1 = p. Suppose -b - 102 = -3*k, g*k + 0*b = -b + 73. Is k composite?
True
Suppose 3*p + 2*n + 18 = 0, 3*p + 9 = -0*p + n. Is -2 + p/((-4)/67) composite?
True
Let s(w) = 0*w + 1 - 8 - 21*w + 0. Is s(-6) prime?
False
Suppose -2*r - 13376 = -6*n + 2*n, -5*n - 5*r + 16705 = 0. Is n a composite number?
False
Suppose 4*j - 144 = 60. Is j composite?
True
Let a(j) = 11*j**3 - 2*j**2 + 3*j - 1. Let z(w) = 2*w**2 + 4*w + 2. Let l be z(-2). Is a(l) prime?
False
Let x = -2 - -5. Suppose 2*b = -x*w + 82, -3*b = -6*w + 5*w - 101. Is b a prime number?
False
Suppose 3*d - 5*d = 0. Suppose d = -4*i + 8. Is (-111)/i*4/(-6) a composite number?
False
Let h = 687 - 265. Is h a composite number?
True
Let k(h) = -h**3 - 2*h**2 + 3*h. Let p be k(-3). Suppose 4*f + 3*o - 223 - 430 = p, 3*f - 492 = -3*o. Is f prime?
False
Let a = -35 - 174. Let x be a/(-2) + 2/(-4). Suppose -4*z + 2*t + x + 38 = 0, 4*z - 124 = -4*t. Is z a composite number?
True
Suppose -4*x = -d - 32, -3*x = 2*d - 5 - 19. Suppose x*i = 9*i - 553. Is i prime?
False
Suppose -7*p - p = -4664. Is p a prime number?
False
Let h be 1/2*(17 - 1). Suppose 0 = -7*o + 3*o - 8. Is (-274)/(-8) + o/h composite?
True
Let j(x) = 2 - 11*x + x**3 + 7*x**2 + 4*x**2 + 14. Let b be j(-12). Is ((-254)/b)/((-2)/4) prime?
True
Let b(n) = 3*n**3 + 6*n**2 - 3*n + 7. Is b(5) composite?
True
Let d(v) = 4*v**3 + 3*v**2 + 3*v + 19. Is d(11) composite?
True
Suppose -3*f = -f - 32. Let b be 8/f*0/1. Suppose b = 5*m - 0*m - 55. Is m prime?
True
Let i = 76 + -9. Is i composite?
False
Let p(a) = 10*a - 13. Is p(5) a composite number?
False
Let m(l) = -l**3 + 6*l**2 + 8*l - 5. Is m(6) prime?
True
Let l be 1321/9 + 14/63. Suppose 3*i = l + 234. Is i prime?
True
Suppose 2*k - 5*k = -4*x - 1353, 4*k - 1782 = -2*x. Is k a prime number?
False
Suppose 3*p + 2*d = p - 10, -3*d = p + 3. Let s(x) = -x**3 - 6*x**2 - x. Let v be s(p). Suppose 0 = -3*k + 147 + v. Is k composite?
True
Let t = -831 + 1274. Is t prime?
True
Is ((-2)/4)/((-13)/962) a prime number?
True
Suppose 0 = 2*b - 107 - 155. Is b composite?
False
Suppose r = 0, -l + 6 = -2*l + 5*r. Let w(b) be the third derivative of -b**4/24 + b**3/6 - b**2. Is w(l) a composite number?
False
Let n(v) = -v + 1. Let m be n(0). Is 1 - (-2 - 43/m) composite?
True
Suppose -7*m = -3*m - 28. Suppose m = 3*j + u - 8, -j - 4*u = -16. Is j a prime number?
False
Let g = -37 - -83. Suppose -f + g = -5. Is f prime?
False
Suppose -20 = -t + 4*o, -19 = -t + 5*o + 6. Suppose m = -t*m. Suppose -3*d = -i - 235, -3*d + m*i = -5*i - 251. Is d composite?
True
Suppose 0*g + 5 = 5*g. Let z be g/2 - (-100)/(-8). Is (-633)/z - 1/(-4) prime?
True
Let v = 6 - 5. Let z be 12/(v - 9/12). Suppose -z - 17 = -5*a. Is a prime?
True
Suppose 5*y + g = -596, -g + 136 = -y + 3*g. Let o = 43 + -72. Let c = o - y. Is c composite?
True
Let r = 10 + -7. Suppose l - 43 = -r*y + 112, 0 = -l + 2. Is y composite?
True
Let u be (-2)/5 - 66/(-15). Let m be (-6)/4*u/(-6). Is (m - (-5)/2)*34 a prime number?
False
Let l = -335 - -684. Suppose -5*v + 766 = -l. Is v composite?
False
Let v(d) = -d**3 - 11*d**2 + 13*d + 16. Let o be v(-12). Suppose -651 = -5*j - 8*z + 4*z, -o*j - 2*z + 516 = 0. Is j a prime number?
True
Suppose -3*s - 9 = 0, 1500 = 3*n - 0*n + 5*s. Is n prime?
False
Let q(j) be the third derivative of -5*j**4/8 - j**3/3 - 2*j**2. Let d be q(-2). Suppose 0 = -5*n + d + 22. Is n prime?
False
Let h(f) = f + 6. Let r be h(-4). Let k(j) = -1 + 2*j**3 - 4*j**r - 1 - 3*j**3. Is k(-5) prime?
True
Let c be 10*2*(-27)/12. Let f be (c/20)/((-2)/32). Let g = f + -22. Is g a composite number?
True
Let d = 45 + 1. Suppose -2*y + 0*y = -d. Is y composite?
False
Is (1 - (-248)/6)/((-1)/(-33)) a composite number?
True
Is 9/(-6)*(-742)/21 prime?
True
Let f(g) = -8*g**3 - 4*g**2 + 7*g + 4. Is f(-7) a composite number?
False
Suppose 2*p - 12 = -4. Suppose -p*h + r + 187 = 0, 2*h - 124 = 5*r - 17. Is h a prime number?
False
Is -1*-37*(-2 - -3) composite?
False
Let g(m) be the third derivative of 0*m + m**2 + 1/2*m**3 - 1/12*m**4 + 0 + 1/60*m**5. Is g(4) a prime number?
True
Let g = 932 - 553. Is g a prime number?
True
Let i(h) = -638*h - 17. Is i(-2) a composite number?
False
Suppose 4*p = 4 + 4. Suppose w + 4*t - 35 = 0, -p*t = 2*w - t - 91. Let z = w - 12. Is z composite?
True
Let n = -4 - -136. Suppose -d = 4*t + 3*d - n, -t + 4*d + 53 = 0. Is t composite?
False
Let a = 268 + -122. Is a prime?
False
Let j = -17 + 28. Let q = -9 + j. Suppose 0 = -q*x + x + 37. Is x a prime number?
True
Suppose -6*m + 15 = -3*m, 104 = 3*z - 2*m. Is ((-4)/(-4))/(2/z) a prime number?
True
Suppose x - 173 = -w - 23, 4*x + w = 585. Is x composite?
True
Let i be (-2 - -6)/(1/45). Let z = i - 103. Is z a composite number?
True
Suppose 2*l + 2*l = -148. Let q be (l + -1)*(-3)/(-2). Is 2/(-2 - 120/q) composite?
False
Let c = -47 + -33. Let q = c + 154. Suppose r + r - q = 0. Is r composite?
False
Suppose 4*g - 4 + 0 = 0. Is 398/(-4 + g - -5) a composite number?
False
Let d = -4 + 7. Is d + (-1 - -2) + 27 prime?
True
Is 1337/(-4)*(-12 - -8) prime?
False
Is (-90)/(-36) - 4989/(-2) a composite number?
True
Let c = -3 - -82. Is c a prime number?
True
Suppose -4 = -t - 2. Suppose -t*c = 1 + 17. Is (-44)/(-16)*(-1 - c) prime?
False
Is 1*289 + (-4 - -7 - -1) prime?
True
Let y = -7 + 33. Suppose -3*r + y = -715. Is r a composite number?
True
Suppose 111 = -2*x - 53. Let s = 139 + x. Is s a composite number?
True
Let b(a) = 2*a + 7. Let u(h) = -8*h**2 - h. Let y be u(-1). Let w be b(y). Is -3 - w/(7/26) prime?
True
Let z = -346 - -1353. Is z prime?
False
Let v(n) be the third derivative of 0 + 0*n + 1/2*n**3 + n**2 + 1/24*n**4 + 1/10*n**5 + 1/120*n**6. Is v(-4) composite?
False
Let o(y) = -y**3 + 19*y**2 - 31*y + 7. Is o(14) prime?
False
Let q(c) = c + 5. Let o be q(-5). Suppose o = -5*v - 0*v + 1700. Suppose 0*x - 4*l = x - 85, -4*x + v = l. Is x a composite number?
True
Let l = 3 - 1. Is ((-3)/l)/((-1)/62) composite?
True
Let i(y) = 19*y - 3. Is i(16) prime?
False
Suppose -2*o = 2*h - 38, 0*o = 2*o - 5*h - 45. Is 384/o - 1/5 composite?
False
Let b be (-8)/12*(0 + -57). Let f be b/14 + 2/7. Is 6 + (-6)/f + 2 a prime number?
False
Is (2814/12)/(1/2) composite?
True
Suppose 2*i = i. Let c be i + 2*(-1 + 2). Suppose -c = 5*g - 337. Is g a composite number?
False
Let z be 124/(-1 - (0 - 2)). Suppose 5*s - 111 = z. Is s prime?
True
Is -1 + -1 - (-2)/4*142 a composite number?
True
Suppose -3*c = -3*x - 906, 0 = -4*c + x + 437 + 774. Is c a composite number?
True
Suppose 4*z - 2*z - 2 = 0. Is 0/1 + 53/z composite?
False
Let d = 5 - 3. Let t = d - 4. Is t/(-9) - (-331)/9 a prime number?
True
Is 0 + -1 + 57 - 1 a composite number?
True
Let l = -1065 + 2526. Suppose l = 2*v + v. Is v composite?
False
Suppose 2*d = 5*t - 28, t - 9 = -0*t - 3*d. Let y = -5 + t. Is y/((-1)/(-11*2)) a composite number?
True
Let f be 257 + (-8)/(-6)*3. Suppose -2*y = -5*y + f. Is y composite?
True
Let y = 0 + 0. Is 3*(40 - (3 + y)) a composite number?
True
Let a be 0 - -6*(2 + -1). Is 2/(-3) + 214/a a prime number?
False
Let y(z) = z**2 - 3*z + 3. Let q be y(2). Let l be 10/25*(-5)/q. Is l/(-10) - (-388)/10 a composite number?
True
Let k = -33 + 50. Suppose -k = -f + 20. Is f prime?
True
Let c(y) = -63*y + 20. Is c(-9) a composite number?
False
Suppose 0 = -5*c + 4*q + 4, 6*c + 2*q = 4*c - 2. Suppose c*g + 568 = 4*g. Suppose g = i + 27. Is i composite?
True
Let c(k) = k**3 + 7*k**2 + 4*k - 8. Let b be c(-6). Suppose 0 = h + b*h - 330. Suppose -2*p = p - h. Is p prime?
False
Let y = 3901 