 prime?
False
Let f(z) = -4*z**2 + 4. Let p be f(3). Let q = p - -47. Is q a composite number?
True
Let l(g) = -39*g + 1. Let u be (-1)/(3*(-3)/(-18)). Is l(u) composite?
False
Suppose -w - 4*w = -250. Suppose -4 - w = n. Is 4*(n/(-4) - 2) prime?
False
Let p = -583 + 1054. Is p a prime number?
False
Let i = 526 - -2179. Is i prime?
False
Suppose 3*x + 66 = -4*p, p + x + 11 = 3*x. Is (-5)/p + (-1900)/(-6) a composite number?
False
Suppose 3*j = -5*z + 30, -3*z + 5*j + 8 - 24 = 0. Suppose -z*q - 2*q = -3985. Is q a prime number?
True
Is (25723/(-116))/(1/(-4)) prime?
True
Let q = 9 + -27. Suppose 114 + 99 = -3*j. Let h = q - j. Is h prime?
True
Let z(w) = -w**3 + 6*w**2 + 15*w - 8. Let q be z(7). Let o(d) = -49*d + 1. Let y be o(-2). Let g = y - q. Is g composite?
True
Let g = 8 - 6. Let u(q) = -10 - q + 14 + 63 - 3*q**g + q**3 + 4*q**2. Is u(0) a composite number?
False
Suppose -7*q = -2*l - 3*q + 402, l = -3*q + 221. Is l a prime number?
False
Suppose -3*v + 11 + 1 = -3*o, 2 = 2*v - 5*o. Is ((-2)/v)/(6/(-1746)) composite?
False
Suppose 2*b - 669 + 79 = 0. Is b a prime number?
False
Suppose 2*i - 4*i + 158 = 0. Is i a prime number?
True
Let u(z) = -z + 1. Let p be u(-4). Let f(k) = -6*k**2 + k + 7. Let o(a) = -12*a**2 + 2*a + 13. Let q(c) = p*f(c) - 3*o(c). Is q(-3) a composite number?
False
Let g be 2/(-2) + -1 - -4. Suppose 266 = g*b - 4*m - m, -2*b + 290 = m. Suppose i = 2*i - b. Is i a composite number?
True
Suppose 0 = -4*b + q + 222, -4*b - 2*q = -118 - 98. Let k = b - -108. Is k a composite number?
False
Let h be (-1552)/(-18) - (-6)/(-27). Suppose 2*a - 76 - 2 = 0. Let o = h - a. Is o composite?
False
Suppose -t = -5*t - 8. Is (0 - 1)/(t/74) a prime number?
True
Suppose -a = 2*a. Let v(c) = c - 123. Let x be v(a). Let k = 272 + x. Is k prime?
True
Suppose -2*j = -4*a - 570, 4*j + 4*a - 1184 = a. Is j a prime number?
True
Suppose -84 = -4*c - 4*y, 4*c - 39 = c + 5*y. Let w(f) = 2*f**3 + 2*f**2. Let j be w(-3). Is 4/c - 4276/j composite?
True
Suppose -3*h + 3*q = -9342, -3099 = -h + q - 3*q. Is h a composite number?
False
Let a = -3 - 0. Let m be (-7)/a + 4/6. Suppose -m*r = -223 - 170. Is r composite?
False
Let m(n) = n + 9. Let b be m(-7). Let s(v) = 2*v + 0 + 3*v - 6*v + 14*v**b + 4. Is s(3) composite?
False
Is 6228/10 + 1/5 a prime number?
False
Let h be 4/12 - (-60)/9. Suppose 4*n + h + 6 = 3*y, -5*n - 11 = -2*y. Is 3*(n - (-210)/9) composite?
False
Let z = 7602 + -5411. Is z composite?
True
Suppose 3*r + 4*n + 3 = 20, -r + 1 = -n. Suppose 0 = y - r*y + 142. Let c = y + -34. Is c a prime number?
True
Let m(q) be the first derivative of q**3/3 + q**2/2 + 2*q - 2. Let f be m(0). Is 0 - 1*-8 - f composite?
True
Let u = 44 + -65. Suppose -3*z + 0*n - 97 = n, 141 = -4*z + n. Let k = u - z. Is k a composite number?
False
Let h = 238 - 1124. Suppose 0 = -2*r - 2*x + 6*x - 16, -x + 2 = 0. Is h/(-10) + r/(-10) composite?
False
Suppose 5*v = 36 - 136. Let d = 43 + v. Is d prime?
True
Let p be ((-3)/(-1) + -1)*-1. Let l be 0 + p*57/6. Let s = 0 - l. Is s prime?
True
Let z(c) = 3*c**3 + 2*c - 2. Let i be z(3). Let x = 246 - i. Is x composite?
True
Let t = 34 + -21. Let v be (-1731)/t - (-12)/78. Is 0/(3 + -4) - v a composite number?
True
Let g = -45 - -52. Is g composite?
False
Let q(z) = -z**3 + 17*z**2 + 8*z + 7. Is q(-8) prime?
True
Suppose 117 + 1381 = 2*h. Is h prime?
False
Suppose -2*k - 2*k + 8 = 0. Suppose k*z = -0*z + 40. Suppose t - m - 24 = -4*t, -4*t = -m - z. Is t a prime number?
False
Let n be (-5 - -2) + 5 + -16. Let p = -7 - -27. Let o = n + p. Is o a prime number?
False
Let k(n) = 64*n - 5. Suppose 0 = r - 3*w + 1 - 2, 5 = 5*w. Is k(r) composite?
False
Let x be (-22)/(-12) - (-7)/42. Suppose 2*u - 12 = -l, -21 = -4*l + 3*u - 2*u. Suppose l*o - 316 = x*o. Is o a composite number?
False
Is (-2)/((-1312)/652 + 2) composite?
False
Let o be 198*(21/6 + -2). Suppose 5*u = 148 + o. Is u a prime number?
True
Suppose -2*x = 3*x - 4775. Suppose -3*a = -8*a + x. Is a a composite number?
False
Let j = -287 - -660. Is j prime?
True
Let d(o) = 3*o**3 + 7*o + 1. Is d(6) prime?
True
Suppose -5*g = -j + 2*j - 3, 2*g = -j. Let u be -2*(-137)/j*-1. Let s = -26 + u. Is s a composite number?
True
Let v = 0 + 4. Let d(p) = -p**3 + 6*p**2 - 5*p - 7. Let o be d(5). Is (1 + o)/((-6)/v) composite?
True
Suppose 1027 = k + 104. Is k prime?
False
Let w = 3 + 6. Let j = -6 + w. Is j prime?
True
Let p(g) = 16*g + 1. Let d(l) = 3*l - 1 - 3*l + 2*l + 2. Let w be d(3). Is p(w) composite?
False
Suppose 4*v + 299 = -3*k, -2*k = -3*v - 5*k - 228. Let n = -45 - v. Is n a prime number?
False
Suppose -4 + 0 = -2*z. Let i be 3 - (-2 + z)*-1. Suppose -i*n - 47 = -158. Is n composite?
False
Let z(u) = -u**3 + 8*u**2 + u - 2. Let a be z(8). Suppose -2 = 4*s - a. Is 5/s*(-3 + 14) a composite number?
True
Let i(v) be the second derivative of 1/2*v**2 + 1/6*v**3 + 13/12*v**4 + 0 - 3*v. Is i(-3) a prime number?
False
Let n = 10 - -24. Is n prime?
False
Let f be 1 - 4/2 - -3. Suppose 0 = -2*r - 4*j + 1 + 117, 0 = -f*r - 2*j + 114. Is r composite?
True
Suppose 0 = 4*d - 0*d - 20. Suppose d*b - 12 = 3. Suppose -18 = b*v - 81. Is v a composite number?
True
Let f(t) = -t**3 - 4*t**2 - t - 5. Let u be f(-4). Let i be (-4304)/(-20) - u/(-5). Let g = 302 - i. Is g composite?
True
Let c = -7 - 61. Is c*5/((-60)/69) a composite number?
True
Suppose 0 = -5*c + 6245 + 40. Is c composite?
True
Let w(z) = 2*z**2 - 5*z + 2. Suppose 0 = 3*c - 7 - 2. Let s be w(c). Let a(p) = p**2 + 2*p. Is a(s) prime?
False
Let f = 4500 - 367. Is f composite?
False
Let b(q) = 63*q + 1. Suppose -y = -3*j + 11, 0*y + 15 = -5*j - 5*y. Is b(j) prime?
True
Suppose 5*r - 486 - 1599 = 0. Is r composite?
True
Let p = -100 + 238. Is p - -2 - 3 - -2 a prime number?
True
Suppose 31975 = 5*t + 11560. Is t a composite number?
True
Let t(p) = -p**3 + 2*p**2 + 3*p - 4. Let h be t(3). Is (-420)/(-16) + 1/h prime?
False
Suppose p + 5*x = -2*p - 3, -4*p + 4 = 4*x. Suppose -p*q + u + 765 = -4*u, 0 = 4*q + 5*u - 715. Is q a composite number?
True
Let q = 11 + -118. Let u = q + 150. Is u a prime number?
True
Suppose 5*a + 43 = 4*o, -5*o + a + a + 75 = 0. Suppose -o = -i + 20. Is i a composite number?
False
Let i be (-12)/18 + (-1138)/3. Let w = 639 + i. Is w a composite number?
True
Suppose -3*q = 2*t - 28, q - 4*t + 48 = 6*q. Let v be (-12)/8*q/(-6). Suppose -4*n = -5*d - 493, v*d = -n - 2*n + 387. Is n composite?
False
Suppose -741 = -0*v - 3*v. Is v prime?
False
Let u = -77 + 750. Is u prime?
True
Let d = -12 + 24. Suppose -129 - d = -3*n - 3*o, 2*o = -5*n + 241. Is n a prime number?
False
Suppose 0 = -3*g - 3*u - 37 + 307, 4*g = 5*u + 360. Suppose -f + g + 233 = 0. Is f a prime number?
False
Let q = 8 - 6. Let j be (-1)/((-13)/6 + q). Suppose 0 = h - j*h + 395. Is h a prime number?
True
Let c(y) = -2*y + 8. Let b be c(4). Suppose b = t - 4*t + 609. Is t prime?
False
Let s(m) = 14*m - 3. Let l = 7 + -2. Is s(l) a prime number?
True
Suppose -f = a - 6, -4 = 5*f + 16. Is a composite?
True
Let b(s) = s**2 + 10*s + 11. Let k = 12 + -22. Is b(k) a prime number?
True
Let y = -12 - -16. Is -1 - -216 - 4/y a composite number?
True
Let h be 1 + -3 - -3 - -3. Let z(q) = 15*q - 5. Is z(h) a composite number?
True
Let v(s) = 3*s**2 + 8*s - 8. Let k be v(6). Suppose f - k = -3*f. Is f a prime number?
True
Suppose 240 = n - 7*g + 2*g, -n + 195 = 4*g. Is n composite?
True
Let k = -2306 + 3705. Is k a composite number?
False
Suppose -3*i - 1 = 29. Let u = -6 - i. Suppose -146 = -u*w - 3*k, -5*w + 3*k = 8*k - 185. Is w a prime number?
False
Let a = 6 - 4. Let k be a + 1/1*-1. Suppose 0 = 5*r - 5*x - 6 + k, 4*x - 4 = 0. Is r composite?
False
Let c be 3 + -3 + -1*3. Let k = -3 - c. Suppose -3*t + 4*l = -19, -34 = -3*t - k*l + l. Is t a prime number?
True
Suppose 6*t - 2*t - 804 = 0. Is t composite?
True
Let q(m) = -m**2 + 6*m + 2. Let t be q(7). Is (-1 + 223)*t/(-15) prime?
False
Suppose -4*w = -w - 381. Is w composite?
False
Is 1 + 1958 - 0*7/42 composite?
True
Let k(f) = f - 1. Let r be k(-5). Let o = 8 - r. Is o prime?
False
Suppose 0 = m - 2. Suppose -382 = -m*t - 5*j, -3*j - 191 = -t - 8*j. Is t composite?
False
Let p = 8 - 6. Suppose -p*r + 105 + 65 = 0. Is r composite?
True
Is ((4 - 3) + 2514/4)*2 prime?
True
Suppose -2*a - 14 = -4*