14). Let u(p) = p**3 + 25*p**2 - 13*p - 26. Is u(i) composite?
True
Let k = -30 - -33. Suppose -k*d = 3*d - 1266. Is d prime?
True
Suppose -2*p - 5*g = 6, 4*g + 34 = 2*p + 4. Suppose p*o = 10*o - 96. Let x = 3 + o. Is x prime?
False
Let u = 689 + 434. Is u composite?
False
Suppose 3*v = -t + 4982, -4981 = -t - 0*t - 4*v. Is t composite?
True
Let l be 8*((-6)/(-4) - 2). Is 1/(2/l) - -615 composite?
False
Let v(b) = 5*b**3 - b**2 - b + 1. Let p be v(1). Let a = 1270 + -677. Suppose -219 = -p*t + a. Is t a composite number?
True
Let l = 34 + -29. Suppose -4*k - 96 = -l*f + 1264, -5*f = 5*k + 1700. Let x = k + 507. Is x prime?
True
Let q = 604 + 939. Is q a prime number?
True
Suppose 33 - 8 = 5*t. Let a(s) = s**2 - 6*s + 1. Let o be a(t). Is (o*42)/(-3) - 3 a composite number?
False
Let v(y) = 1136*y - 161. Is v(18) prime?
True
Suppose p - 4*b = -1, 3*p + 4 = -p + 4*b. Is p*10*(-4 - 420/8) prime?
False
Let z(s) = s**3 + 28*s**3 - 5*s + 6*s**2 + 1 + 52*s**3. Is z(4) a prime number?
True
Let u(g) = 6*g - 1. Let y be u(2). Suppose -k + y = 7. Suppose -2*q = -3*x + 569, -5*x - k*q = -0*x - 963. Is x a prime number?
True
Let c(d) = d**3 + 15*d**2 - 16*d + 5. Let v be c(-16). Suppose v*w = 10*w - 22435. Is w prime?
False
Let y be 11/33*(2 + -1 + -4864). Let v = -642 - y. Is v composite?
True
Suppose -3863 = -2*m - r, -r + 3 = 2. Is m a prime number?
True
Let c = 263 - 584. Let n(f) = -136*f + 6. Let a be n(5). Let r = c - a. Is r a composite number?
False
Let f = -7 + 15. Let p(o) be the first derivative of -o**4/4 + 4*o**3 - o**2/2 + 5*o - 27. Is p(f) composite?
True
Is (2 - 15/12) + 170365/52 a prime number?
False
Let j = 4 - 4. Suppose 4*f + 4*x = -j*f + 3468, 3*x + 2625 = 3*f. Is f composite?
True
Let k be (-5)/15 + 4938/(-9). Let n = k + 803. Is n composite?
True
Is ((-210)/42)/(-2*(-3)/(-258)) prime?
False
Suppose 3*d + 3 = 6. Let s be -2 + 3 - (-3)/d. Suppose -s*j = 3*t - 195, -t + j + 31 = -34. Is t composite?
True
Is 135/(-180) - -49*(-2087)/(-4) prime?
False
Suppose 0 = -104*z + 94*z + 137510. Is z prime?
True
Let z(o) = 8*o**2 + 2*o + 12. Let k be z(-7). Let x = k + 775. Is x a prime number?
False
Let f = 2181 + -888. Is f a composite number?
True
Let x(d) = 323*d + 14. Let u(h) = -108*h - 5. Let k(j) = -7*u(j) - 2*x(j). Let m be k(6). Suppose 279 - m = -4*z. Is z composite?
False
Let q be (3832/(-32))/((-3)/48). Let r = -1165 + q. Is r composite?
False
Let a(q) = -q**3 + 10*q**2 + 4*q + 2. Let y be a(9). Suppose -4*n + 460 = 4*p, 3*n = -p - 0*p + y. Is p prime?
True
Suppose 29*d - 233448 = -4*s + 33*d, 2*s = 5*d + 116721. Is s a prime number?
True
Let w be 3/(-5) - (-100737)/45. Suppose -w = -5*j - j. Is j prime?
True
Let g be (-13*(0 - 1))/(87/2523). Let m = -70 + g. Is m composite?
False
Suppose -3*t = 0, 4*t = -2*g + 7*t + 10294. Is g a prime number?
True
Is -8 + (8 + -120)/(-8) - -17461 composite?
False
Let i(m) = m**3 - 5*m**2 + 7*m - 9. Let w(q) = -2*q - 7. Let j be w(-7). Let y be -1 - -1 - (-15 + j). Is i(y) a prime number?
True
Suppose 4*a - 4 + 16 = 0. Is (-2 - -15) + (5 - 8 - a) prime?
True
Is ((-5)/20)/(16/(-3155008)) composite?
False
Let y(g) = 2*g**2 + 6*g - 1. Let w(a) = -3*a + 6 - 2*a + 4*a + 2*a. Let n be w(-2). Is y(n) a prime number?
False
Let l(w) = w + 10. Let s be l(-8). Suppose -2 = s*z - 8. Suppose 515 = z*a + 2*a. Is a a composite number?
False
Suppose 4*u - i - 16 = -3*i, 0 = -u - 3*i + 9. Let h = 414 - 296. Suppose u*d - d = h. Is d composite?
False
Suppose -2*p - 4 = -4*p. Suppose 481 = -p*w + 3*w. Suppose -110 = i - w. Is i a prime number?
False
Let c(j) = 21 + 0*j + j**2 - 1 + 8*j. Is c(-13) prime?
False
Let p be (-16)/9 + (-6)/27. Let w(m) = -71*m**3 + 7*m**2 - 1. Let q(c) = -69*c**3 + 8*c**2 - 1. Let u(v) = -6*q(v) + 7*w(v). Is u(p) a prime number?
False
Let u(c) = -36*c**2 - 4*c - 7. Let o be u(-2). Suppose -5 = -4*j + q, -2*q = 2*j + q + 15. Is o*(j - 3)/3 prime?
False
Let l = -377 - -634. Is l a prime number?
True
Let q = 119 + -137. Is (-2)/6 - 41568/q a composite number?
False
Let a(b) = 3*b + 1. Let t be a(-3). Let r = -2 - t. Is 4/r*(-3084)/(-8) composite?
False
Suppose 0 = 15*t - 32*t + 424133. Is t prime?
False
Suppose -19*z = -22*z - 3, -2*z - 48837 = -o. Is o a composite number?
True
Let z(n) = 2*n**3 + n**2 + 2*n - 2. Let t be z(1). Let a be (-4)/t*(-36)/24. Suppose m - p = -a*p + 5, 5*m + 2*p = 31. Is m prime?
True
Let l = 21316 - 3747. Is l composite?
False
Let u = 18 + -18. Suppose u = 4*l - 88 - 68. Is l a composite number?
True
Let t(r) be the first derivative of 4*r**3/3 - 15*r**2/2 + r - 14. Is t(10) composite?
False
Let d(c) = 2*c + 39. Let s(l) = -l - 19. Let w(p) = -6*d(p) - 13*s(p). Let z be w(-11). Suppose -z*x - o + 859 = 0, 0*x + x - 452 = -5*o. Is x prime?
False
Let x be (-3480)/70 + (-2)/7. Let k = x + 28. Is (-1662)/4*k/33 a prime number?
True
Let a(g) = 2*g**3 + 9*g**2 + g + 6. Let l be a(-5). Is (4/(-2))/(l/36) - -343 composite?
True
Suppose 15*p - 962188 - 157607 = 0. Is p a prime number?
True
Let v = 5 - -4. Let s = 9 - v. Suppose 4*r + s - 20 = 0, -3*x + 3*r + 771 = 0. Is x composite?
True
Suppose -4*v - 10 = 3*b, 3*b + 3*v = 4*b + 12. Let y(n) = -2*n**2 + n + 6. Let r(m) = m**2 + 1. Let o(k) = -r(k) - y(k). Is o(b) a composite number?
True
Suppose -9*v - 1594 = -11*v. Is v prime?
True
Let a(p) = -7*p - 23. Let k be a(-5). Is 97/((k/(-36))/((-14)/6)) prime?
False
Let j be ((-2141)/(-2))/(12/24). Suppose 4*c + 372 = r - 52, 5*r - j = -c. Suppose -3*k + 61 = x - 33, -r = -5*x - k. Is x a composite number?
True
Suppose 4*q - 10 = -5*x + 8, 3*x - 3*q - 27 = 0. Is (15/x)/(6/228) a composite number?
True
Suppose -41 = -4*t - 5*g, 1 = t - g + 2. Suppose 182 = -2*q - 0*q - 2*m, 2*q + t*m + 184 = 0. Let j = 203 + q. Is j prime?
True
Suppose y = -0*y + 76. Let x = -55 + 190. Let u = y + x. Is u prime?
True
Suppose -2*a - 192 = -5*i, -3*i + 4*i = 0. Let d be 10/(-4)*a/80. Suppose -363 = -d*l + 600. Is l prime?
False
Suppose 3*n - 4*h = -598 + 3821, -4*h - 4 = 0. Is n composite?
True
Suppose -20 = 4*g - 2*y + 30, 4*y - 10 = -g. Let c = g + 8. Is c - 2/2 - -98 prime?
False
Suppose 5*w + 1089 = 2*w. Let a = w - -574. Is a a composite number?
False
Let d(s) be the second derivative of -2*s**3/3 - 3*s. Let h be d(-1). Let u(y) = 10*y - 1. Is u(h) a prime number?
False
Is 4399/(4 - -4 - 7) composite?
True
Suppose -4*z + 19*a + 216148 = 20*a, 4*z - a = 216148. Is z a composite number?
False
Suppose -n + 21 = -4*g, 6*n - 3*n + 7 = -2*g. Suppose -3*t + 676 = -2*f, -t - 3*f = -2*f - 227. Is -2 + n + t - 2 a prime number?
True
Let k be (156/(-18) + 8)/(1/9). Is (-2 + 0)*(2655/k - 1) a composite number?
False
Let m(d) = 6*d**3 + d**2 - 7*d + 9. Suppose -6*t + 5 = -5*t. Is m(t) composite?
True
Suppose -4*n + 29 - 1 = -4*g, -4*n - 2*g = -10. Is (2024/(-6) + -6)/(n/(-6)) a composite number?
True
Let r be (-2)/4*(-12 - (-3 + 1)). Suppose 213 = -f - r*c + 798, -2*f + 1114 = -4*c. Is f a composite number?
True
Let h(u) = 260*u + 89. Is h(24) a composite number?
False
Let w = 2322 + -5978. Suppose 5 = -2*f + 1. Is w/f*(-1)/(-4) prime?
True
Let x(m) = -m**2 - 4*m - 3. Let u be x(-2). Suppose 3*v + 1 = 4. Is 110 - (-2 + u)/v prime?
False
Let f = 1118 - 3623. Is -1 - (32/12)/(10/f) a prime number?
False
Let p(f) = -2*f**2 - 10*f - 3. Let m be p(-4). Suppose 3*k - k = -m*a + 1827, 2*k - 4*a - 1782 = 0. Is k prime?
False
Suppose -f + 854 = -359. Is f composite?
False
Let x(u) = u**2 - 9*u. Let n be x(9). Suppose -3*w = -d - 790, 3*w + d = -n*w + 800. Suppose 4*p - w = 4*o - 3*o, -p + 70 = o. Is p prime?
True
Let m(n) = 199*n**2 - 4. Is m(-5) prime?
False
Let p(t) = t**3 - t**2 - t + 2. Let b be p(0). Suppose 3*r - 1529 = -0*a - 5*a, -4*a + b*r = -1232. Is a prime?
True
Let l(k) = -2*k - 2. Let b be l(-3). Is (0 + -1)/(b*(-5)/1100) prime?
False
Suppose 2*c - 5*h - 7262 = 0, -8*h = -12*h. Is c a prime number?
True
Let f be ((-6)/18)/(1/3). Is (906 - f)*(-11 - -4 - -8) a prime number?
True
Let m = 5 + 2. Suppose 3*o + m = 16. Is o/12 - (-1452)/16 a prime number?
False
Let l = 4 + -21. Let j = 17 + l. Suppose j = -2*g + 5*s + 17, 4*s - 6 - 14 = 0. Is g a composite number?
True
Let l be -11*((-3 - -5) + -3). Suppose -3*z + 446 = l. Is z a prime number?
False
Suppose 5*l = 4*g - 3 - 0, -5*g + 5 = -5*l. Suppose -