9. Suppose -3*x + 2435 = -d. Is x prime?
False
Let q(h) = -h**2 + 6*h + 3. Let z be q(7). Let t be 2/z - 105/(-10). Let b(j) = 3*j**2 + j - 11. Is b(t) prime?
False
Let d = -13 - -17. Suppose 0 = -d*z + 15 - 3. Suppose 0 = -5*i - r - z*r + 1009, i - 205 = -4*r. Is i composite?
True
Suppose -5*r = -5*g + 16273 + 5812, g = -2*r + 4429. Is g a prime number?
True
Let f(m) = 402*m + 515. Is f(27) prime?
True
Is (-140)/(-105)*(-30399)/(-4) prime?
True
Suppose 4*n - 6610 = 2*r - 0*r, -8260 = -5*n + 3*r. Suppose 2*u - 7*u + n = 0. Is u a prime number?
True
Let s(d) = -4*d**3 - 2*d**2 - d. Let z be s(-1). Let c(f) = 704*f - 1. Is c(z) a composite number?
False
Let q(f) = 220*f + 43*f + 3 + 83*f + 28*f. Is q(2) prime?
True
Suppose 13*r = 29*r - 320464. Is r composite?
False
Let d = -10 - -13. Suppose -d*g + 1631 = -7750. Is g prime?
False
Suppose 0 = -31*j + 26*j. Suppose j = -15*i + 10*i. Suppose -4*n + 11*n - 2471 = i. Is n composite?
False
Let j(w) = 2*w - 12. Let s be j(7). Is (-33)/(-1) - 4/s a composite number?
False
Let y(j) = -3*j**3 + 3*j**2 - 5*j + 3. Let u be y(1). Suppose 5 = 5*m - 5*w - 0*w, 4*m = -2*w - 14. Is ((-19)/u)/(m/(-4)) composite?
False
Let t be -2 - (3 + (-2 - -2)). Let c be (-3 - 0)*t/(-3). Is (3/c)/(2/(-20)) a prime number?
False
Let y be 0/(-4 - (-28)/4). Suppose -127 = -m - y*m. Is m composite?
False
Suppose 4*i - q = i + 497, -4*i + 2*q = -666. Let l = -7 + i. Is l prime?
True
Let t(z) = 2772*z**2 + 12*z + 13. Is t(-1) a composite number?
True
Let p = 28021 + -9234. Is p composite?
False
Let k(y) = -4*y**2 - 9*y - 3. Let x(g) = 8*g**2 + 17*g + 7. Let r(s) = -5*k(s) - 2*x(s). Is r(22) prime?
True
Suppose 5*q - i + 5134 - 18240 = 0, -3*q = i - 7862. Is q prime?
True
Let l(h) = -3*h**2 + 4*h - 5. Let f be l(3). Let u(x) = x**3 + 30*x**2 + 23*x + 3. Is u(f) prime?
False
Suppose -2*l - l = -2*n - 28, 5*n - 3*l = -52. Is 18708/n*(3 - (-33)/(-9)) a composite number?
False
Let r(v) be the first derivative of v**5/20 - 5*v**4/6 - 5*v**2 - 3*v + 5. Let b(o) be the first derivative of r(o). Is b(11) a composite number?
True
Suppose -5*q - 29 + 4 = 0. Let f(y) = y**3 + 5*y**2 + y - 4. Let t be f(q). Let k = t + 106. Is k a prime number?
True
Let f(o) = -o**2 - o - 7. Let g be f(0). Let j(q) = q**2 + 7*q. Let p be j(g). Suppose -4*k + p*k + 764 = 0. Is k composite?
False
Let d = 47 + -48. Let v(y) = 329*y + 5. Let b(c) = -1316*c - 21. Let x(j) = -5*b(j) - 21*v(j). Is x(d) a composite number?
True
Suppose 9*n = 5*n + 5340. Let r = -626 + n. Let y = 1098 - r. Is y a composite number?
False
Let v(n) = 267*n**3 + 2*n**2 + 16*n - 38. Is v(2) a composite number?
True
Suppose 657 = -3*g - 5*f, -3*g - 892 + 253 = -f. Suppose 0*m + 592 = -4*i - m, -i = -4*m + 165. Let k = i - g. Is k a composite number?
True
Suppose -4*n = 5*d - 93549, -6*d + 2*d + 74864 = -3*n. Is d composite?
False
Let n(l) = l**2 - 1. Let b(x) = -8*x**2 - 5*x - 34. Let p(t) = -b(t) + n(t). Is p(-14) prime?
False
Suppose -3*z = -2*q - 7847 + 1290, 4*q - 4398 = -2*z. Is z composite?
True
Let f = -38 - -43. Suppose -g + 431 = 3*w, 2*w - 3*w - 2107 = -f*g. Is g composite?
True
Let y = -9527 + 26958. Is y prime?
True
Suppose -4*x = -4*p + 8, 0 = -4*p - 0*x + 2*x. Let q(o) = -54*o**3 + 5*o**2 + 4*o + 5. Is q(p) composite?
False
Let b(r) = -r**2 - 14*r - 12. Let o be b(-12). Let n(q) = 17*q - 13. Is n(o) prime?
True
Let b = 2682 + -1363. Suppose b = -46*j + 47*j. Is j a composite number?
False
Suppose -3*g + 1097 + 76 = 0. Let y = 1511 + g. Is y/15 + 2/10 composite?
False
Let g = -2066 - -5688. Suppose 0 = 10*o - 8*o - g. Is o a prime number?
True
Let r = 43 + -43. Is ((-4990)/(-1) - r/(-3)) + -3 a composite number?
False
Let a(n) be the second derivative of -6*n**3 + 5*n**2/2 - 5*n. Let v = 4 + -10. Is a(v) a composite number?
True
Suppose 0 = 9*s - 7856 - 19243. Is s a composite number?
False
Let t = 2 + 13. Let a be (-5)/t + 7/3. Suppose a*z = 6*z - 364. Is z a composite number?
True
Let v be (0 + 6)/(2 - 3). Let t = v + 24. Is 5/2*(-4 + t) a prime number?
False
Let r(t) = t**3 - 22*t**2 + 21*t - 12. Let y be r(21). Is (1304/y)/((-4)/6) prime?
True
Let w = 10 - 18. Let l be ((-6)/(-8))/((-2)/w). Suppose 2*d - h = 4*d - 295, l*d + 2*h - 441 = 0. Is d prime?
True
Suppose -4*m = -8, -5*k - 5*m - 2878 = -14553. Is k composite?
False
Let d(m) = -m**3 + 19*m**2 - 13*m + 68. Is d(18) a prime number?
False
Let i(u) be the second derivative of -23*u**5/20 + u**4/6 - 2*u**3/3 - u**2/2 - 9*u. Let l be i(-3). Is l/4 + 12/(-8) a prime number?
False
Let v = 102585 + -56592. Is v prime?
False
Let m(n) be the first derivative of -26*n**2 + 7*n - 28. Is m(-11) a composite number?
True
Let r(j) = j**3 + 3*j**2 - 12*j - 7. Let q be r(-5). Let f be (3 - 8/12)*q. Suppose -27 + 398 = f*w. Is w a prime number?
True
Suppose -3*j + 240 = 15. Let p = j - -120. Let a = 14 + p. Is a prime?
False
Let w(j) = -j**2 - 10*j + 21. Let g be w(-11). Is ((-10)/g)/(2/(-762)) composite?
True
Let a(d) = -9*d - 4. Let m be a(-7). Let q(g) = 4*g**2 + 14*g - 13. Let u be q(-6). Let s = m + u. Is s prime?
False
Suppose -268 = 4*l + 1852. Let v = 1696 + -943. Let z = l + v. Is z a composite number?
False
Suppose 5*v = -3*a + 8*a - 15, -9 = v - 3*a. Suppose 0 = 4*p + 5*k - 600, v*p + 3*k - 737 = -5*p. Is p prime?
False
Let n(a) be the first derivative of 7*a**2 + 13*a - 13. Is n(17) a prime number?
True
Suppose 37 = 10*p - 73. Suppose p*a - 6322 - 619 = 0. Is a a prime number?
True
Let d(w) = w**2 + 3*w + 4. Let r be d(-3). Let z = r - 2. Suppose -4*x - 307 = 4*k - 967, -z*x + 819 = 5*k. Is k a prime number?
True
Let b be (-641)/(-9) + 10/(-45). Suppose 0 = -2*i - 151 - b. Is -2 + 2 - (i - 0) a composite number?
True
Suppose -2*r + 6308 = -25794. Is r composite?
True
Let c(k) = -3*k - 3. Let r be c(-2). Suppose 0*p - r = p. Is 21/p*(-58)/2 a prime number?
False
Suppose -3*t = 5*z - 7*z + 27920, -5*z - 4*t = -69823. Is z a prime number?
True
Let z = 59 - 118. Let l = z + 282. Is l prime?
True
Suppose 2*a - 4*x + 19 = -a, -25 = 5*a - 5*x. Let j be 0*a*2/(-4). Suppose -v + g + 187 = 0, -2*g - 565 = -3*v - j*g. Is v composite?
False
Suppose -o + 4085 = t - 0*o, -o = -5*t + 20455. Let g = t - 2199. Is g prime?
False
Let m be 117/13 + -1*4. Suppose 2*q = p - 2*q - 598, -5*p = -m*q - 2945. Is p a composite number?
True
Let v(w) = -35*w**3 + 40*w**2 + 23*w + 7. Is v(-7) a prime number?
False
Let m(t) = t**2 - 2*t - 6. Let q be m(0). Let h(y) = -y - 11. Let u be h(q). Is 1082/(-2)*(u - -4) composite?
False
Let t = 2380 - 1166. Let q = t - 627. Is q a composite number?
False
Suppose 0 = -5*r - 4*g - 10, -3*g + 20 = g. Let k be (2536/r)/(2/(-3)). Suppose -4*q + 1594 = -k. Is q a prime number?
True
Let b(i) = -i**3 + 15*i**2 + 5*i - 8. Let t be b(10). Suppose -3*y = -3*a + y + t, -5*y = 5*a - 845. Let z = 145 + a. Is z prime?
False
Suppose 3*i - 11*i = -1072. Let l = -88 + i. Is l prime?
False
Suppose -11*u + 19742 + 24049 = 0. Is u a composite number?
True
Suppose -5*h - 3307 = -4*v + 17922, 2*v = 2*h + 10616. Is v a composite number?
True
Let x = 686 - 95. Is x composite?
True
Let a = -109 - -224. Suppose -2421 = -9*q + 873. Let p = q - a. Is p a prime number?
True
Let l(p) = p**2 + 2*p + 159. Is l(26) prime?
True
Let f(i) = i**2 + 3*i - 25. Let d be f(4). Suppose 0 = 3*v + t - 989, 4*v - 5*t - 1332 = -d*t. Is v a prime number?
True
Suppose -2634 = -3*s - 2*m - m, -4*m = -5*s + 4381. Is s prime?
True
Let r(u) = -14*u**2 + 2*u**3 - 3*u**3 - 3 + 6 + 24*u. Suppose 2*f + 40 = -3*y, 4*y + 51 = f - 17. Is r(y) a composite number?
False
Let i(p) = 11*p**2 + 41*p + 13. Is i(42) composite?
False
Suppose 0 = -3*c - m - 153, -c + 0*m = 3*m + 59. Let v be c/8 + (-1)/(-4). Let x = v + 20. Is x composite?
True
Suppose 2*j - 632 = -2*j. Suppose u - 2*u = -j. Is u composite?
True
Is 1/(-4) + (-3 - (-80703)/28) composite?
False
Let x(k) = 140*k**2 - 53*k - 241. Is x(-8) a composite number?
True
Let v(m) = -2*m**3 - 3*m**2 + 8*m - 2. Suppose 15*a + a + 144 = 0. Is v(a) a prime number?
False
Suppose x + 18896 = 2*j, 4*j + 14898 = -x + 52696. Is j a composite number?
True
Let d(j) = -j**2 + 10*j - 4. Let f be d(9). Suppose -13 - 2 = f*h, -5*h = -2*k + 517. Is k composite?
False
Let y(j) = 7*j**2 + 72*j - 20. Is y(-23) a prime number?
True
Suppose 3*y