 = -j + 342. Is i composite?
False
Let s = 7 + -11. Let i(f) = -f**3 - 4*f**2 - f - 2. Let q be i(s). Suppose -q*c = -c - 15. Is c a prime number?
False
Let a(h) = 6*h**3 - 18*h**2 + 2*h + 5. Is a(9) a composite number?
False
Suppose -412 = -2*j - 4*c, 5*c - 634 = -3*j + 3*c. Is j prime?
False
Let d be (-2 + 0)*(-11)/2. Let o = -5 + d. Let f(j) = 10*j - 7. Is f(o) prime?
True
Let q = 178 - 81. Is q a composite number?
False
Suppose 0 = 13*k - 18*k + 16765. Is k a composite number?
True
Suppose 0 = 22*q - 25*q + 1173. Is q prime?
False
Let z = 3 - 8. Let q be (-4 - 0)*20/z. Suppose -4*y + 20 = -q. Is y composite?
True
Let y(v) = 19*v**3 - v**2 - v + 1. Let b be y(1). Let n = b + -7. Is n a prime number?
True
Let q be 3/(6/68) + -3. Let p = 242 - q. Is p composite?
False
Let n(x) = x**2 - 18*x - 6. Is n(-23) a composite number?
False
Let q be (-2)/4 - 14/(-4). Suppose 0 = 2*l + 4*u - 3*u + q, -5*u = 2*l - 9. Is (l - 0)/(-3)*47 a prime number?
True
Let n(l) = l + 10. Let t be n(0). Suppose 2*p = -3*p + t. Suppose -5*u = 4*a - 284 - 45, p*u - 134 = -a. Is u a prime number?
False
Let c(q) = -4*q + 4. Let p be c(-5). Let z be (0 + -2)*(-54)/4. Let k = p + z. Is k prime?
False
Is 1471 - (0 - -3 - 3) composite?
False
Let d(l) = -l + 1. Let z be d(-2). Suppose 0 = -0*b + 3*b - t - 119, -z*b - 2*t = -113. Is b prime?
False
Let d(c) = c**3 + 2*c**2 + 3*c - 1. Suppose -4*z = 3*j + 24, -3*z + 5*z - 32 = 4*j. Let t = 11 + j. Is d(t) a prime number?
True
Is 1913/6 - (-4)/24 composite?
True
Suppose 0*k + 2*k + 3*y = 622, 2*y = 8. Let p = -190 + k. Is p a prime number?
False
Let q(z) = 123*z**3 + 3*z**2 - 1 - z**2 - 11*z**3. Is q(1) a prime number?
True
Suppose -f = -2*l + 7, 0 = 3*l - 3*f - 2 - 4. Suppose -5*z + 7*d + 169 = l*d, 4*d - 117 = -3*z. Is z composite?
True
Let j(s) = -s**3 + 24*s**2 - 40*s - 14. Is j(21) composite?
True
Suppose -11*p = -16*p + 710. Is p composite?
True
Let z = 2 - 0. Suppose -z*q = q - 6. Suppose q*f - 77 = 41. Is f composite?
False
Let p(i) = i**2 - 3*i - 1. Let g be p(5). Is 461/g - 4/18 a prime number?
False
Suppose n + 58 = -5*w, -w - w + 3*n - 30 = 0. Let m be (-2)/6 - 4/w. Suppose -i = 2*v - 43, -2*i - 5*v + 89 = -m*i. Is i prime?
True
Suppose -3*u = -2*o - 1147, 2*o + 5 = o. Is u composite?
False
Let h(p) = p**2 + 8*p + 7. Let i be h(-7). Is 34 + (3 + i)*-1 a composite number?
False
Suppose -z - 3*p - 544 = -147, 1226 = -3*z - 2*p. Let g = -201 - z. Is g prime?
True
Let p(b) be the first derivative of -2 - 11/2*b**2 - 10*b. Is p(-7) a composite number?
False
Let k be ((-26)/1)/((-6)/9). Suppose k + 5 = 2*i. Is i a composite number?
True
Suppose -3*v + 4 + 50 = 0. Suppose 2*a = 3*h - 9 - 4, 2*h = -4*a - v. Suppose l = h + 2. Is l a composite number?
False
Is (7450/(-30))/((-2)/6) prime?
False
Let f be -1 + 1 + (-2 - -1). Is 3 - -4*(f + 15) prime?
True
Suppose -1121 - 474 = -5*y. Is y composite?
True
Let x(a) = a**2 - 5*a - 3. Let t be x(6). Suppose 2*v + 2*b + t*b - 28 = 0, 5*v - 4*b - 103 = 0. Is v a prime number?
True
Let v = 16 + -3. Is v a prime number?
True
Let i(s) = s**3 + 7*s**2 - 2*s - 7. Is i(3) a prime number?
False
Suppose 4*w = -y - 203, -5*w = -w - 4*y + 228. Let b = 77 + w. Is b composite?
True
Let v be 20 - (-1 + (-5 - -2)). Suppose 4*s - s - 69 = 0. Let y = v + s. Is y a prime number?
True
Let h(f) = -127*f - 8. Let z(c) = -128*c - 9. Let n(i) = 6*h(i) - 5*z(i). Let d be n(-5). Suppose -5*a = -208 - d. Is a a prime number?
True
Let h(j) = -5*j**3 - 2*j**2 - 7*j - 9. Let o(y) = 4*y**3 + 3*y**2 + 6*y + 8. Let n(v) = 3*h(v) + 4*o(v). Is n(5) a prime number?
False
Let y = -126 + 363. Suppose -3*f = -6*f + y. Is f prime?
True
Suppose c = -3*i + 10, 3*i - 5*c = 11 + 11. Suppose -555 = -i*g + g. Is g a composite number?
True
Suppose 0 = -5*j - l - 27 + 4, 2*j + l = -11. Let w be (-1250)/(-45) - j/18. Let y = 53 - w. Is y a composite number?
True
Suppose -5*v + 3 = -2*t - 11, -5*v + 6 = 2*t. Suppose -h + v*b + 785 = 0, -3*b = 5*h + 2*b - 3940. Is h a prime number?
True
Suppose 4*f = -6 - 2. Let j(m) = -10*m**3 + 2*m**2 + 2*m - 1. Is j(f) prime?
True
Let k(l) = -4*l**3 - 2*l**2 + 1. Let j = 4 + -5. Let w be k(j). Suppose 4*i - 239 = -s - 48, -150 = -3*i - w*s. Is i a prime number?
True
Let p = 872 - 455. Let l = -108 + p. Is l composite?
True
Suppose -g + 527 + 122 = 0. Let m = -438 + g. Is m a composite number?
False
Let i(y) = y**2 - 17. Let s(m) be the second derivative of -m**4/4 + 25*m**2 - 2*m. Let n(d) = -7*i(d) - 2*s(d). Is n(0) a prime number?
True
Let a(c) = c**2 - 6*c. Let o be a(6). Suppose -d + 25 = -o*d. Is d a prime number?
False
Suppose -4*z - 32 = -3*m, -m + 4*z + 18 = -z. Let v = 17 - m. Is (-475)/(-9) + 2/v prime?
True
Let r(v) = -v**3 + 4*v**2 + 5*v. Let k be r(5). Suppose k = y - 3, 0 = -5*q - y + 6 + 22. Suppose -36 + 6 = -q*x. Is x a composite number?
True
Let i(r) = -7*r - 2. Let o be i(-9). Suppose -2*m + o = h, 126 = 4*m + h - 3*h. Is m composite?
False
Let b(j) = -3*j**2 + j - 1. Let a be b(-2). Is 1 + (-5)/(a/264) prime?
True
Let p = -5 - -7. Is ((-26)/4)/((-1)/p) composite?
False
Suppose 4 = 4*v, -v - 1039 = -2*g + 2*v. Is g prime?
True
Suppose -2*d = 3*d - 30. Let r(x) = 14*x - 7. Is r(d) a prime number?
False
Let r be (-1 + 0)/((-2)/6). Suppose -3*v + 51 = 3*t, -77 = -5*v + 6*t - r*t. Suppose 5*u - v + 1 = 0. Is u prime?
True
Let o be 4*(2 - 5/4). Let s be 138/(-9)*36/o. Let f = s - -345. Is f prime?
False
Is (-5748)/(-9)*18/12 composite?
True
Let m(y) = -39*y - 13. Let z be m(-10). Suppose -5*a + z = -728. Is a a composite number?
True
Suppose 2*b + b - 12 = 0. Suppose 2*u = 2*q + 606, b*q = 2*u - 6*u + 1228. Is u a composite number?
True
Let j(f) = 121*f**2 - f + 2. Let b be 4 - (0 - -2)*1. Let x be j(b). Suppose 0*d - 4*d + x = 0. Is d composite?
True
Suppose -14 = -5*s + z, 4*s + 3*z - 11 = 4*z. Suppose 0 = 4*i + s*a - 1130, 4*i - 2*a - a = 1142. Suppose -4*w = -4*t + i, t - 19 = -2*w + 40. Is t composite?
False
Let f(d) = -77*d + 2. Is f(-3) a prime number?
True
Let t = 2452 + -1383. Let x = -690 + t. Suppose 7*y - 2*y + 2*k - x = 0, 2*y = k + 157. Is y a prime number?
False
Suppose 4*z - 1947 = 281. Is z prime?
True
Suppose 0 = -4*c + 2*v + 43 + 91, 0 = -3*c + v + 98. Is c a prime number?
True
Suppose 10 = 2*q, -d + 576 - 60 = -q. Is d a prime number?
True
Suppose 3*r + 173 = 6*k - 4*k, -2*r = 3*k - 227. Is k composite?
False
Suppose -4*i - o + 0*o = -27979, -34973 = -5*i - 2*o. Is i prime?
False
Let d(u) = 3*u**2 - 17*u + 21. Is d(13) composite?
False
Suppose -3*s + 7*s - 44 = 0. Is s a prime number?
True
Suppose -7*r + 2*r - 5 = -5*v, 3*v = -4*r + 3. Suppose 0*b + 5*b - 1315 = r. Is b a composite number?
False
Let z = 476 + -294. Suppose -3*u + 265 + z = 0. Is u composite?
False
Suppose 3*l - 8 = l. Let x be ((-8)/(-3))/(l/6). Suppose -2*p + x*g + 226 = 0, 0*p = -5*p - 5*g + 625. Is p a composite number?
True
Let t be 22 - 1*(-3 - -1). Let w = 79 - t. Is w a prime number?
False
Let g(i) be the first derivative of -i**3/3 - 5*i**2/2 + 3*i - 1. Let l be g(-5). Suppose -l*w = -n + 61, -4*n + 233 = n + 3*w. Is n composite?
True
Let j be 3 - 30*(-4)/(-8). Let q = j - -101. Is q composite?
False
Let q = -243 + 830. Is q prime?
True
Let i(n) = 7*n**2 - n - 3. Is i(-5) a prime number?
False
Is 2426/((-2)/(-1))*1 a prime number?
True
Let f(k) = 19*k**3 - 2*k**2 - 4*k - 3. Is f(4) prime?
False
Let t = 554 + -393. Is t a composite number?
True
Let i(s) = -s**3 + 13*s**2 + 18*s + 11. Is i(14) prime?
True
Suppose -5*h + 10*h = 2465. Is h a composite number?
True
Let w be -394*(18/4)/(-3). Let a = -406 + w. Is a a composite number?
True
Is ((356/(-5))/2)/((-4)/10) composite?
False
Suppose -3*k + 3*d + 22 = -8, 5*k - 46 = d. Is k a composite number?
True
Suppose 2*g - 1485 = 215. Suppose -2*v = 2*f - 428, -2*v + 4*v - g = -4*f. Is f composite?
False
Let z = -4 + 6. Suppose -2*s - 5*f = -8, s - z*f - 3 - 10 = 0. Suppose 3*w = s, -30 = -2*d + 4*w + 32. Is d prime?
True
Suppose -2*w - 4*z + 418 = -0*z, 0 = -3*w + 2*z + 659. Let d = 1 + -1. Suppose d*h + w = h. Is h prime?
False
Let i be -1 + 0/(-2) - -3. Suppose 0 = -i*m - 33 + 95. Is m a composite number?
False
Suppose 0*i - 324 = -4*i. Suppose 5*t + 3*l = 2*t + i, t = -3*l + 19. Is t a composite number?
False
Let g be -1 - (-5 + -1 + 3). Su