) a prime number?
False
Let c(t) = -5*t**2 - t. Let y be c(-1). Let m be 0 + y - (21 + -99). Suppose -8*s + 6*s + m = 0. Is s prime?
True
Suppose t + 4*k + 3 + 4 = 0, 76 = -4*t - 4*k. Let m = t - -330. Is m prime?
True
Let r(j) = -2*j + 19. Let u be r(8). Suppose -2*g = u*k - 149, -7*g + 2*g = 2*k - 114. Let w = k + -24. Is w composite?
False
Suppose 4*i = 6*i - 10. Suppose i*w + 392 = 1097. Is w a prime number?
False
Suppose -4*d - 7 = 3*p, -5*d + 4*p - 3 = -33. Is (d/3)/(12/75042) a composite number?
True
Suppose -5*l - 2*f + 595 = 0, 0*f = -4*f + 20. Suppose -l = -0*q - q. Let j = -6 + q. Is j a prime number?
False
Suppose 38*v + b + 416182 = 41*v, 3*v - 416183 = 2*b. Is v prime?
True
Let h be 2/(-6) + (-8)/48*38734. Let x = h + 9283. Is x prime?
False
Let d be ((-6)/(-8))/((-5)/(-20)). Let v be (d - 1)*(-201)/(-6). Suppose -t + 498 = v. Is t prime?
True
Let f(l) = l + 311. Let o be f(0). Let m = -218 + o. Let i = m - -22. Is i prime?
False
Is (0 + 4)*-1 - (-35 + -18586) a prime number?
True
Let w = -7 - -9. Let k be w/4 + 33/(-6). Is k/(-10) + (-1830)/(-4) composite?
True
Suppose 3*t + 517 = f - 7384, -5*f + 39505 = 4*t. Is f prime?
True
Suppose 11*o - 9*o - 6613 = -y, -4*o = 3*y - 19831. Is y composite?
True
Let n(q) = -1671*q - 128. Is n(-15) prime?
False
Suppose 3*z + 445 = 1702. Let f be (-6)/((-9)/12*2). Suppose 5*s - z = f*s. Is s prime?
True
Let y be 420/50 - 2/5. Suppose 0 = -9*d + y*d + 108. Suppose 0 = 2*w - d - 62. Is w composite?
True
Suppose -72*r = -60*r - 245172. Is r a prime number?
True
Let a = 0 + 3. Suppose -d - 3*d + 2*l + 22 = 0, 0 = -4*d + a*l + 23. Is (5/d)/(2/46) composite?
False
Suppose -y = z - 13892, 0 = -3*y - 5*z + 38008 + 3670. Is y composite?
True
Let y = 11 + -62. Let f(g) = -27*g**3 + g**2 + 3*g - 3. Let t be f(2). Let v = y - t. Is v a composite number?
True
Let r(z) be the first derivative of 2*z**2 - 7*z - 1. Let m be r(12). Suppose -4*f + 51 = -m. Is f a composite number?
False
Suppose -z - 4*z + 735 = 0. Let w = z + -94. Is w prime?
True
Let j(u) = -u**2 - 4*u + 4. Let m be j(-4). Let v(s) = -s**2 - 14*s - 38. Let a be v(-4). Suppose -5*o + o + 140 = a*p, m*o - 140 = p. Is o composite?
True
Suppose 2 + 14 = 4*g. Suppose p + 2*p = g*j + 5777, 3*j = 12. Is p a prime number?
True
Let d(z) = 358*z - 3. Let f be d(1). Let r = f - 206. Is r composite?
False
Suppose -5*p - 3*k = -p - 13, -4*p + 12 = 4*k. Suppose -41 = -p*j + 431. Is j prime?
False
Suppose 0 = 2*l + 10, l - 33601 = -5*i + 32599. Is i a composite number?
False
Is (20331/54)/((-6)/(-8)) a prime number?
False
Let h be 6*(-3 - 28/(-8)). Suppose -109 = -h*o + 4*g, 2*o = -o - 5*g + 154. Suppose o = 3*j - 14. Is j a composite number?
False
Suppose -24 = -5*x + 3*n, x + 3*x - 32 = -4*n. Suppose 0 = x*l + 4944 - 23802. Is l a composite number?
True
Let c(a) = -a + 6. Let k(x) = 3*x - 18. Let y(t) = -8*c(t) - 3*k(t). Let p be y(6). Suppose -4*u - 58 + 510 = p. Is u a prime number?
True
Let u = 45521 + 34736. Is u a composite number?
True
Let l(s) = 156*s - 1. Let x be l(1). Suppose 2*p = 7*p - x. Suppose -g = 5*d - 103, d + 5*g + p = 2*d. Is d composite?
True
Let g(u) = -u**2 - 9*u + 4. Let w be g(-9). Suppose -5*z + 82 = k, 3*z - 298 = -w*k - 2*z. Suppose -12 = -4*n + k. Is n composite?
True
Let j = 14 + 1. Suppose -m = -14 + j. Is m/2 - 21/(-6) composite?
False
Let v = -13 + 13. Suppose 0 = 5*i + 38 - 193. Let d = v + i. Is d a composite number?
False
Let o = -27679 - -45341. Is o a prime number?
False
Let s(u) = 207*u**2 - 3*u + 1. Let r be s(1). Suppose -d = 4*j - 820, j - 6*d = -3*d + r. Is j composite?
True
Suppose 2*y = -2*k + 8, 2*y + 5*k + 0*k = 14. Is -2*(y + 227/(-2)) a prime number?
True
Let p(n) be the second derivative of n**6/20 - n**4/6 + 3*n**3/2 + 2*n**2 + 2*n. Let s(c) be the first derivative of p(c). Is s(4) a composite number?
True
Suppose 3 = -3*d - 6. Let s be (-23)/d + 9/27. Is 246/s - 12/(-48) prime?
True
Let q be 12/8*(-24)/(-18). Suppose q*i - 3*i + 3035 = 0. Is i a composite number?
True
Let k be (-14 + 3)/(-1*(-1 - -2)). Suppose -k*g = -4*g - 2317. Is g composite?
False
Let x be 5*((-4)/(-4))/1. Suppose x*g = -4*q + 8*q + 13, 0 = q + 3*g - 18. Is (-9)/6*(-62)/q prime?
True
Let g(l) = -1104*l**3 + 4*l + 7. Is g(-3) composite?
False
Is ((-12)/5 - -2)/(188/(-21545270)) a composite number?
False
Let n(j) = -30*j**2 + 3*j + 4. Let b be n(5). Let o = -1393 - b. Let z = -341 - o. Is z composite?
True
Let f = -2 + 291. Let x = 600 - f. Is x a prime number?
True
Let i be 1*2/(-4) - (-2391)/(-2). Let n = i + 2091. Is n composite?
True
Suppose 65*y = 55*y + 124790. Is y a prime number?
True
Suppose -14*f = -3*f - 214841. Is f a prime number?
True
Let v = -21 + 27. Is (30312/(-15))/(-3) + v/15 prime?
False
Let w = 2621 - 1732. Is w a composite number?
True
Let l(p) = -p - 2. Let s = -2 - -6. Let w be l(s). Is (-3)/(w/(-4)) + 163 prime?
False
Let v = -21 + 21. Suppose v = 5*o + 6*q - 2*q - 3946, -4*q + 1588 = 2*o. Suppose -5*u - o = -3*l, 6*l - u - 517 = 4*l. Is l prime?
True
Suppose -45*o + 18*o = -102411. Is o a prime number?
True
Suppose -3*q = 2*j - 4*q - 13, -3*j + 32 = q. Let a = j + -4. Suppose -677 = 4*u - a*u. Is u a prime number?
True
Suppose -4*o = k - 3719, 2*k = 5*o + 2026 - 6665. Let l = o + 356. Is l composite?
True
Let r = 9771 + -14063. Let l = 6805 + r. Is l composite?
True
Let u be (15/(-1))/(-4 - -1). Is (94 - u)/(-1 + 2) composite?
False
Let z = -101989 - -148370. Is z composite?
False
Suppose 4*a + 68 = 2*o, -4*o = -3*a - a - 148. Let f = o - -13. Is f a composite number?
False
Let z be (8/18)/(46/207). Let d(k) = -2 + 5*k - 3 + 2*k**3 - k**2 - k**2. Is d(z) a prime number?
True
Let u = 51 + -50. Is u + (297 - 2) + -3 composite?
False
Suppose 2*u - 7*u + 2625 = 0. Let s = -340 + u. Is s a prime number?
False
Let p = -2749 - -4248. Is p prime?
True
Suppose 4*q - 10 = 2*f - 0*q, 5*f = -q + 19. Suppose j = 4 - 1. Suppose 0*x = -f*x - t + 634, 3 = j*t. Is x prime?
True
Let d(q) = 2*q**3 + 8*q**2 + 15*q - 32. Is d(7) a composite number?
False
Let j(g) = 9*g**3 + 8*g**2 - 5*g - 2. Let r be j(-6). Let z = r - -3279. Is z a prime number?
False
Suppose -29919 + 4535 = -8*y. Is y composite?
True
Let l(m) be the first derivative of -m**2/2 + 9*m + 5. Let h be l(7). Suppose -g + 2*a = a - 19, g + h*a = 28. Is g prime?
False
Suppose -12*m + 7904 = -16*m. Let q = -273 - m. Is q prime?
False
Suppose 2*a - 542878 = -32*a. Is a a composite number?
True
Let u(s) be the third derivative of s**6/120 + 2*s**5/15 - s**4/3 - 3*s**3/2 - 3*s**2. Suppose 34 = -4*g + z, 0 = -2*z - z + 6. Is u(g) a prime number?
False
Let p = -22 - -16. Let b be 2*-1*p/4. Suppose 2*x - b*x = -373. Is x composite?
False
Suppose 3*g - 6*g = -u + 36449, 0 = 4*g + 8. Is u a prime number?
False
Let l(o) = -412*o + 269. Is l(-36) a prime number?
True
Let m(l) = -11*l - 22. Let o be m(-6). Suppose -f + 1 = 12. Let n = o + f. Is n a prime number?
False
Let p(d) = -447*d + 61. Is p(-2) composite?
True
Let r(n) = -n**2 + 20*n + 21. Let t be r(21). Suppose -2952 - 227 = -5*a + 4*b, 5*a - b - 3176 = t. Is a a prime number?
False
Let s = -63 - -312. Let x = -38 + s. Is x a composite number?
False
Suppose -5*h = -2*c + 803, -12 + 0 = -4*h. Is c a prime number?
True
Suppose 634 = -7*u + 81246. Let a = -4713 + u. Is a composite?
False
Let j = 699 + -703. Suppose 174 = 5*s + 34. Is j/28 + 12632/s composite?
True
Suppose -7*b + 3*b - 1972 = -2*v, -4*v + 3*b + 3969 = 0. Suppose v = 3*g - 54. Suppose -2*i - g + 1144 = 0. Is i a composite number?
False
Let g(a) = -91*a - 6. Is g(-44) prime?
False
Let u(r) = 4*r - 17. Let i be u(5). Suppose 0 = 4*v + i*v - 2359. Is v a composite number?
False
Let x = -3 - -15. Let v(y) = y - 14. Let i be v(x). Is 3/(-2) - 109/i a prime number?
True
Suppose -12*o = -2501 - 1471. Is o prime?
True
Let p(g) = -648*g + 365. Is p(-6) prime?
True
Suppose -3*l = -2*i + 148806, 18*i - 16*i - 2*l - 148802 = 0. Is i a prime number?
False
Let y(p) = 2408*p**2 + 23*p + 107. Is y(-4) a prime number?
True
Let n = 49 + -17. Let y = -25 + n. Let q(v) = v**3 - 6*v**2 - 3*v - 6. Is q(y) a composite number?
True
Let g(m) = -m**3 - 18*m**2 + 4*m - 5. Let l(f) = -3*f**3 - 54*f**2 + 11*f - 14. Let i(v) = -17*g(v) + 6*l(v). Is i(-18) a prime number?
True
Let n(m) = 9