Let a = 15439 - 7020. Is a prime?
True
Is 11532 - -1 - (-48)/6 a composite number?
True
Let x(q) = 33*q**2 + 3*q + 1. Let i(w) = w**3 - 13*w**2 + 12*w - 2. Let s(h) = -h**3 - 8*h**2 - 3*h - 12. Let u be s(-8). Let a be i(u). Is x(a) composite?
False
Let o = 7468 - -3530. Suppose 1663 = -5*v + o. Is v composite?
False
Suppose 19*x - 24*x = -1120. Let f be (x/70)/((-2)/10). Is (-20)/f*(-2872)/(-2) composite?
True
Let f(l) = -101*l + 8. Let a be (-148)/20 - (-8)/20. Let x be f(a). Suppose 3*k = x + 632. Is k a prime number?
True
Suppose -5*d + 5*c + 2970 = 0, 4*d - c + 4*c = 2383. Let h = 2256 - d. Suppose 0 = -3*p + 2*q + h, 0 = 4*p - 4*q - 1486 - 730. Is p a composite number?
True
Let l(b) = -211*b**3 + 3*b**2 - 13*b - 8. Is l(-3) composite?
True
Let q(z) = -z**3 - z**2 + 2*z. Let u be q(-2). Suppose 0*r = -r + 5*x - 157, u = 5*r + 5*x + 785. Let m = r - -548. Is m prime?
False
Suppose -8*x + 3*x = -22865. Is x a prime number?
False
Let o(z) = -25*z - 6. Let y(n) = -25*n - 6. Let x(t) = 5*o(t) - 6*y(t). Let r be x(16). Suppose 7*w - r = 5*w. Is w a prime number?
False
Let w(f) = -357*f**3 - f**2 - 9*f - 14. Is w(-3) prime?
True
Let p be (3/(-3) - 0)*-785. Suppose b = -4*b + p. Is b prime?
True
Suppose -o + i + 136 - 30 = 0, -3*o = -4*i - 314. Suppose 5*q - g = 4*g + o, 0 = -5*q - 4*g + 83. Is q prime?
True
Let d(v) = 2*v**2 - 4*v - 1. Let i be d(3). Let p(h) = 6*h + 5 - 4 - 7*h**2 + 3 - 30*h**3 + 32*h**3. Is p(i) composite?
False
Suppose -w + 0 = -13. Let f = -10 + w. Suppose f*d - 130 = -a, -510 = -5*a + 4*d + 121. Is a a prime number?
True
Is (20782/3)/(-2)*-3 a composite number?
False
Let z(b) = 12*b**2 - 7. Let f = 5 + -22. Let m = -10 - f. Is z(m) composite?
True
Let y(q) = 4*q**2 + q - 1. Let d(t) = -t + 10. Let b(u) = -1. Let a(v) = -5*b(v) - d(v). Let p be a(-3). Is y(p) prime?
False
Let x = 1 + -1. Suppose -5*r + 1 - 21 = x, -3*c = 3*r - 162. Is c composite?
True
Suppose -4*z + 23 = -209. Is z prime?
False
Let f = 2289 + -5843. Is 6/6*f*(-2)/4 composite?
False
Suppose -6*t + 3*t - 6 = 0. Let y be (-14 + t)/((-1)/6). Suppose -y = -4*i + 140. Is i prime?
True
Is (-20495)/(-70)*-4*7/(-2) prime?
True
Let a(t) = -t**2 - 9*t - 10. Let z be a(-7). Suppose 0*q = -z*q + 12. Suppose 3*b + 2*d - 493 = -0*d, -3*b + 498 = q*d. Is b composite?
True
Let t(r) = r**3 - 8*r**2 + 2*r - 7. Let h be t(8). Suppose 710 = h*q - 37. Is q a prime number?
True
Let j be (-2)/(-9) + (-505)/45. Let m = j + 11. Suppose m = -4*d - 5*q + 163, -2*d - q = -7*d + 182. Is d a composite number?
False
Suppose -3*c - 15 = 5*f, 3*c = 5*c + 2*f + 6. Suppose 5*k - 3*k + 4*z - 1826 = c, 0 = 3*k + 2*z - 2735. Is k a composite number?
False
Is ((-8)/20)/(42/(-829605)) a prime number?
True
Let g be -1 - -1 - (-5 - 0). Suppose g*q = 3*q - 178. Is (q/4)/(2/(-8)) prime?
True
Suppose -4*o = -0*o + 6*o. Let r = 417 - 35. Is -2*(r/(-4) - o) composite?
False
Suppose -2*m + 7 = -l - 4*l, -5*l - 6 = -m. Let b(k) = -4*k - 19*k + 2*k. Is b(l) composite?
True
Suppose -5*n = d - 1403, 4265 = -d + 4*d + n. Is d a prime number?
True
Let o(w) = 11*w**2 + 3*w - 7. Let q be o(6). Suppose -r - 2*n = -q, 2*r - 5*n - 478 - 372 = 0. Is r a prime number?
False
Suppose -3*y - 3*s + 23436 = 0, 4*s = 4*y - 5520 - 25768. Is y composite?
False
Let t(k) = 756*k**2 + 7*k + 3. Is t(-4) a composite number?
False
Let v(n) = 201*n - 2. Let o(s) = -s + 1. Let j be o(-4). Is v(j) composite?
True
Let d(u) = 2*u**3 - u**2 + 2*u - 1. Let f be d(2). Suppose -309 = 3*w - 3*b - 99, 0 = -5*b + f. Let z = w + 125. Is z prime?
False
Let z = -77 - -158. Suppose z*i = 76*i + 95. Is i a composite number?
False
Is ((22131/2)/(-3))/((-15)/50) prime?
False
Suppose 18*f = -31457 + 121943. Is f composite?
True
Suppose 175 = -3*q - 2*q. Let j be 4/10 - 371/q. Let g = j + 3. Is g prime?
False
Let k = -40 + 45. Suppose 0 = a - 0*a - y - 309, 0 = -k*a + y + 1537. Is a a prime number?
True
Is ((-214)/4)/((-2)/(-24)*-3) a composite number?
True
Suppose 77*l - 547389 = 827138. Is l a composite number?
False
Suppose -4*n - 296 = 4*k, 0 = -4*n - 4*k - k - 296. Let r = -8 - n. Let a = 61 + r. Is a a composite number?
False
Let b(i) = -1061*i**3 - 7*i**2 - 2*i + 1. Is b(-3) a composite number?
False
Let t(b) be the second derivative of 9*b**5/10 + b**4/12 + b**2/2 + 5*b. Is t(2) prime?
True
Let d = 97 - 56. Let o be 4*-1 - (-1 + 5). Let s = o + d. Is s prime?
False
Let b = -20 - -23. Let o be 5 + -3 + 16/2. Let l = o - b. Is l a composite number?
False
Suppose -5*y = -p - 10, -8 + 2 = -2*p - 3*y. Is p + -4 - (8 - 1405) composite?
True
Let c(s) = s + 2. Let i be c(5). Let g = 11 - i. Suppose r - 3*v - 80 = 0, -5*r = -r - g*v - 296. Is r composite?
False
Suppose -5*q + 56 = -4. Let p = q - 8. Suppose -m - 91 = -i - 281, -2*i + 766 = p*m. Is m a prime number?
True
Let q = 3257 + -292. Is q a composite number?
True
Let n(x) be the second derivative of -147*x**5/10 - x**4/6 + x**3/6 + x**2 - 12*x. Is n(-1) a prime number?
True
Suppose 0 = -144*p + 139*p + 1675. Is p composite?
True
Let q(f) = -4*f**2 - 16*f - 18. Let b be q(-12). Let r = b - -246. Let y = r + 335. Is y a prime number?
True
Suppose 23*x - 357384 = -x. Is x a prime number?
True
Let w(b) = 176*b + 143. Is w(16) composite?
True
Let b(i) = -i**3 + 6*i**2 + 9*i + 27. Let n be b(-6). Suppose 3*y - 1222 = -5*l, 13*l - 9*l = -y + n. Is y prime?
True
Let y = 2939 - 1768. Is y a prime number?
True
Suppose 0 = 3*l + l. Is l + 1 + (-2044)/(-7) prime?
True
Let s = 1 - -7. Suppose 5*c + 3*x - 21 = -s, 3 = 2*c - x. Suppose 0 = -2*j, 0 = c*f - f - j - 127. Is f prime?
True
Suppose -2*v + 89202 = -b, -36506 = -2*v + 4*b + 52696. Is v prime?
False
Let n(v) = -2*v + 3. Suppose 0 = u - 2*p + 5 + 7, -5*u = p + 60. Let s be ((-32)/u)/((-1)/3). Is n(s) prime?
True
Suppose -1460 - 1524 = -4*c. Is c prime?
False
Let l = 31 + -23. Is 2/l + 50055/20 a composite number?
False
Let n = 2 + -3. Let b be (n - (-21)/15)*-60. Let a = 43 - b. Is a a prime number?
True
Suppose 16*p - 18*p + 27622 = 0. Is p prime?
False
Let u = -127 - -254. Is u a composite number?
False
Let z(i) = i**2 + 4*i + 4. Let k be z(-3). Let n(o) = -o. Let l be n(k). Let x = 24 + l. Is x a prime number?
True
Let k(g) = g + 3. Let b be k(-3). Let a(l) = l + 2. Let q be a(b). Suppose q*m + 3*m = 455. Is m prime?
False
Suppose 4979 = 18*k - 78199. Is k prime?
True
Let z(s) = -s**3 + 18*s**2 + 19. Suppose -2*p = -2*h - 44, 3*p = -0*p - 5*h + 34. Is z(p) a prime number?
True
Suppose 3*o = -5882 + 10571. Is o a prime number?
False
Let o(c) = 64 - 3*c**2 + 4*c**3 + 6*c - 10*c**3 + 10*c**2 - 60. Is o(-3) prime?
True
Is 5/(-2)*1*(-59230)/25 composite?
False
Let m(n) be the first derivative of -n**2 - 6*n - 6. Let f be m(-3). Is f - -67*(-1)/(-1) a composite number?
False
Suppose -4*t - 4268 = -3*p, -p - 3*p - 5*t = -5701. Let l = -981 + p. Is l a composite number?
False
Suppose -126*d + 1774 = -124*d. Is d a composite number?
False
Let u = 107 - 68. Suppose 4*o - 123 = -u. Is o prime?
False
Let n(x) = x**2 + 5*x + 3. Let c be n(-7). Let l(q) = q**3 - 14*q**2 - 10*q - 24. Is l(c) composite?
False
Suppose -24*u + 400 = -34*u. Let z = u - -477. Is z prime?
False
Suppose 0 = 7*i + 41 - 510. Let c = 134 - i. Is c a prime number?
True
Let l(u) = 48*u**2 + 7*u + 2. Let h(w) = -32*w**2 - 5*w - 1. Suppose 3*r = -a + 27 - 5, -5*a = -2*r + 9. Let j(p) = r*h(p) + 5*l(p). Is j(-2) composite?
False
Suppose 0 = -g + 2 - 0. Suppose -3*z - 9163 = -g*w, -3*w + 4*z - 13753 = -6*w. Is w composite?
False
Let v = 422 - -7. Suppose v = -6*t + 3771. Is t prime?
True
Let q = -4 - -4. Suppose 5*t = -l - 2*l + 4545, q = t - 2*l - 896. Suppose 1203 = 4*j + 5*z, 3*j - 3*z - t = -6*z. Is j prime?
True
Suppose 18*g - 24*g = -102. Suppose g*n + 20788 = 21*n. Is n a prime number?
True
Let y be (5028/10)/(18/60). Suppose -4*a - v + 3362 = 0, v + y = 2*a + 4*v. Is a a composite number?
True
Is (-3309)/6*-2*1 prime?
True
Let n(u) = -u**3 + 9*u**2 - u - 11. Let z be n(9). Is ((-6824)/z)/((-4)/(-10)) composite?
False
Let s be ((-6)/24)/(3/4)*-27. Let p(b) = 5*b - 11. Let y(x) = 2*x - 5. Let a(g) = 3*p(g) - 5*y(g). Is a(s) prime?
True
Let o(d) = 255*d - 1. Let k(s) = 1. Let u(l) = 3*k(l) + o(l). Is u(5) a prime number?
True
Let r = -405 - -232. Let o = -94 - r. Is o composite?
False
Let