(j) = 6450*j**2 + 2*j + 1. Let z(t) = -5*t - 11. Let d be z(-2). Is m(d) prime?
True
Suppose 3*x + 8*z = 5*z, -3*z = 0. Suppose -3947 = -x*w - w + o, -w + 5*o + 3963 = 0. Is w a prime number?
True
Let k(u) = u - 1. Let h be k(3). Suppose -x - 5*w + 301 = -3*w, -h*w = 6. Is x a composite number?
False
Suppose -2*y + 3 + 6 = 3*n, 2*n - 6 = -2*y. Suppose -n = -2*q + q. Suppose -236 = t - q*t. Is t a prime number?
False
Suppose -108*w - 2*c = -113*w + 300933, -4*w + c = -240744. Is w prime?
False
Suppose 0 = 3*k + 2199 + 126. Let j = -391 - k. Is 6/(-15) + j/10 a prime number?
False
Suppose 7281 = 8*l + 1473. Suppose 2*j + o + 3*o = l, 2*o + 1875 = 5*j. Is j a composite number?
False
Suppose -399 = -2*w - 0*w - 5*i, 0 = -w - 3*i + 200. Suppose -4*g = -5*v + w, -v + 33 = -g - 3*g. Let s = 94 - v. Is s a composite number?
False
Let d(w) = w**3 - 20*w**2 + w - 8. Let h be d(20). Suppose 352 - h = 4*p. Is p a composite number?
True
Suppose 5*b = 4*b + 3*f - 5, -b - 11 = -5*f. Suppose 2*a = 5*a + 5*c + 16, -a = c + 2. Is 271 - (a - 4/b) a prime number?
True
Let q = 64 + -60. Suppose -3*w + 3192 = 3*j, q*j - w - 739 - 3502 = 0. Is j a prime number?
True
Suppose 4*m - 3*m = 0. Suppose m = 11*z - 9*z - 994. Is z a composite number?
True
Suppose 6*n - n - 15 = 0. Suppose l = -j - l + 175, n*j + 3*l - 513 = 0. Is j prime?
True
Let w(u) = -u**2 + 3*u + 1. Let z be w(3). Is z/((-709)/355 - -2) composite?
True
Let x(l) be the third derivative of -l**6/120 - l**5/15 + l**4/3 - 7*l**3/3 + 3*l**2. Is x(-7) composite?
True
Let y(z) = -307*z - 24. Let v be y(-4). Suppose v = 4*l + 256. Is l a prime number?
False
Let u = 1805 + -1239. Let s = u - 351. Is s a composite number?
True
Suppose -11*y + 48432 = 5*y. Is y prime?
False
Let a(w) = 8*w**3 - 21*w**2 + 14*w + 14. Is a(8) a prime number?
False
Let h(p) = 189*p - 2. Let s(c) = c. Let f(o) = -2*o - 13. Let j be f(-6). Let y(q) = j*h(q) + 4*s(q). Is y(-3) a composite number?
False
Is (2017/(-4)*-10)/((-443)/(-886)) a composite number?
True
Let g = 1479 - 850. Is g a prime number?
False
Suppose 0 = 3*t - 2*s + 32, 0*t - 4*t + 3*s = 42. Let i be (t/8)/(3/(-10)). Suppose i*y - 1537 = -202. Is y a composite number?
True
Suppose -24612 = -7*a - 2905. Is a prime?
False
Let y(m) be the second derivative of 85*m**3/6 + 3*m**2/2 + 4*m. Let n be y(-3). Is (n/(-8) + -2)*4 composite?
True
Suppose -3*t = -6 + 3. Is 1500/12 + t + 1 a composite number?
False
Let j = 2672 - 154. Is j prime?
False
Suppose q - 8 = -q. Suppose 0 = -2*u - 2 - q. Let x(m) = -m**3 - 3*m**2 - 2*m. Is x(u) composite?
True
Let b(q) be the second derivative of 47/12*q**4 + 1/2*q**3 + 3/2*q**2 + 0 - 4*q. Is b(-2) composite?
True
Let k = -216 - -466. Let w = k + 399. Is w a prime number?
False
Suppose 0 = -8*v + 3*v + 1815. Suppose 0 = -3*n - v - 99. Let o = n + 297. Is o a prime number?
False
Let u = 5117 - 1462. Suppose -8*o + u + 4033 = 0. Is o a prime number?
False
Let g(t) = 13*t**2 + 8*t. Let n be g(6). Let b = n - 237. Suppose p - b = -4*p - 2*c, 0 = -4*p + 5*c + 210. Is p a prime number?
False
Suppose b - 5 = -2*k + 2*b, 2*k - 4*b = 2. Let h(w) = -w**2 + 3*w + 3. Let g be h(k). Suppose -g*l = -41 - 28. Is l a prime number?
True
Is 230/(-4)*(24 + -26) composite?
True
Let f = 15 + -10. Suppose -2*w - 6 = -f*w, 2096 = 4*x + 2*w. Is x composite?
False
Is (3945/(-2) + 1)*(5 + -7) composite?
False
Let w = 9038 - 5175. Is w a composite number?
False
Is 7 - ((-1429)/2)/(9/108) a composite number?
False
Let y(x) be the second derivative of 61*x**4/6 + x**3/2 - x**2 + 20*x. Is y(-3) a prime number?
True
Let j be (2/6)/(1/66). Let w = 18 - j. Is (w/(-16))/((-1)/(-452)) a prime number?
True
Let h(u) = -u**3 + 8*u**2 + 13*u - 5. Suppose 3*x - 2*n + 1 = 114, -115 = -3*x + 4*n. Suppose -4*r + x = 1. Is h(r) a composite number?
False
Suppose 0*i = 2*i. Suppose 5*r - 2*f - 10 = i, 0*r - r = 4*f - 24. Suppose -r*a + 1176 = -j - 1050, -4*j + 2793 = 5*a. Is a prime?
True
Let t = -649 + 2120. Is t a prime number?
True
Is 2/(-7) - ((-150636)/42)/2 a prime number?
False
Let f = -46 + 46. Suppose f = -3*d - 2*z + 753 + 118, -d = -2*z - 301. Is d a composite number?
False
Let b be (-2)/(1 + 1127/(-1126)). Suppose 0 = -3*p + 3*n + 1701, 6*p - 2*p = -4*n + b. Is p composite?
True
Suppose 2*g - 8*g = 0. Suppose -798 = -3*r + 3*m, g*r - 5*m + 774 = 3*r. Is r a composite number?
False
Suppose 5*d + 1338 = 2*n, 5*n = -3*d - d + 3345. Suppose -276 - 452 = 4*k. Let c = n + k. Is c a prime number?
True
Suppose -w + 1286 = 2*c, 4*c - 4*w - 1501 = 1083. Is (c/(-42))/((-4)/6) a prime number?
True
Let r be (6/9*-6)/(-2). Suppose r*s + 219 = 1321. Is s composite?
True
Let c(o) = 1 - 1 - o**2 - o + 1 + 2*o**2 + 208*o**3. Suppose 5*l + 3*k + 0 = 20, -20 = -4*k. Is c(l) prime?
False
Let a(f) = 15*f + 13. Let s(o) = -o**3 - 2*o**2 - o + 3. Let y be s(-3). Let w be 93/y + 24/30. Is a(w) a prime number?
False
Let x = 6 + -6. Suppose -5145 = -3*d - 4*p, x = -7*d + 2*d - 5*p + 8570. Is d a prime number?
False
Suppose 4*q - 2*y + 83 = 4309, 5*q = -2*y + 5287. Is q prime?
False
Let m be 76/(-13) - 10/65. Let d = m - -6. Suppose -3*t - 9 + 21 = d, 0 = -4*c + 2*t + 836. Is c composite?
False
Let y = 19 - 14. Suppose y*m - 50 = -120. Let z = m + 273. Is z a prime number?
False
Let j(k) = k**3 - 8*k**2 + 3*k - 17. Let o be j(6). Let q = o + 712. Is q a prime number?
True
Suppose -4*i - 5*u = -628, -314 = 2*i - 4*i - 3*u. Is i composite?
False
Let b be 5/((-75)/(-10))*957. Suppose u = -5*j - b + 2174, u = -j + 1556. Is u prime?
False
Suppose -d - 99*i = -103*i - 64449, 0 = -2*d - 4*i + 128850. Is d prime?
True
Suppose -5*q = -3*s + 2478, 4*s - q - 2*q - 3293 = 0. Is s composite?
False
Let y = 24106 - 12893. Is y a composite number?
False
Let t = 866 - -2487. Is t a composite number?
True
Suppose -37 = -m + 5*a, 2*a + 23 = m - 5. Suppose 28 = 5*x - m. Let b(d) = 3*d**2 - 13*d - 13. Is b(x) a composite number?
False
Let j(x) = -5*x + 14*x**2 - 7*x + 5*x - 26 - 4*x. Is j(-7) a prime number?
False
Let x(s) = -s + 74 - 2 + s**3 - s**2 + 131. Is x(0) a prime number?
False
Let k = -5225 + 7743. Suppose 11*t = 13*t - k. Is t a composite number?
False
Let b be (2 + -5)*1/(-4)*-4. Let g(w) = 6*w**2 + 2*w + 1. Is g(b) a composite number?
True
Let r(j) = 865*j - 173. Is r(6) prime?
False
Let i(d) = -d - 2. Let p be i(-5). Suppose -3*a = 2*u - 115, 3*u - a + p*a = 165. Suppose u = 2*w - 21. Is w prime?
True
Suppose -n + 4350 + 845 = 0. Suppose -2*k - 3*p = -2*p - 3468, 3*k = 2*p + n. Is k composite?
False
Suppose 0 = -q + 476 + 45. Is q composite?
False
Suppose -21*u = -6*u - 74535. Is u composite?
False
Let f(v) = 2*v**2 - 6*v + 21. Let s(a) = -a**2 - 4*a + 5. Let i be s(-4). Let p = 9 + i. Is f(p) a prime number?
False
Let b(p) = -9*p**3 - 3*p**2 + p - 2. Suppose 2*r + 3*j - 1 + 10 = 0, 7 = -2*r - j. Is b(r) a prime number?
True
Let a(i) = i**3 + i**2 + i - 1. Let s(f) = f**3 + 4*f**2 - 5*f + 10. Let h(y) = -5*a(y) - s(y). Is h(-4) prime?
False
Suppose -5*k + f = -58943, k - 2*k + 5*f = -11779. Is k composite?
False
Let v = 1 - 8. Let u(w) = w + 7. Let x be u(v). Suppose x*t - 19 = -t. Is t prime?
True
Suppose -5*f + 123078 + 436962 = -5*w, 5*w = f - 112012. Is f composite?
True
Let k = 319 - 1511. Let x = k - -2669. Is x a composite number?
True
Is 8631/91 - 16/(-104) a composite number?
True
Let t = 4336 + -3037. Let o = 2186 - t. Is o a composite number?
False
Suppose -3*c - 5 = -4*c. Suppose 5*f = 16 + 134. Suppose -f = -c*l + 260. Is l prime?
False
Let i(a) = 21*a**2 + 2*a + 12. Is i(-11) a prime number?
True
Let i(t) = t - 1. Let r(j) = -289*j - 7. Let h(f) = 2*i(f) - r(f). Is h(4) prime?
False
Is (2/(-7) + 15217950/(-1400))*-4 prime?
True
Let s = -129 + 128. Let l(r) = -r**3 - r**2 - r - 4. Let c be l(0). Is (6 + c)*(32 + s) prime?
False
Suppose 0 = 9*n - 10*n + 3427. Is n a prime number?
False
Is (26 - 24)/(4/138742) composite?
False
Suppose -3*p + 11 = 5*w + p, 4*p - 5 = -3*w. Suppose 2254 = 4*q + 3*r, q + w*r - 324 = 235. Is q composite?
True
Let t(w) = -3*w - 13. Let i be t(0). Let l = 13 + i. Suppose -g = -l*a - 3*a - 410, -3*g + 4*a + 1225 = 0. Is g prime?
False
Let l = 3 + -2. Is (314/(-4))/(l/(-14)) a prime number?
False
Let m(j) be the first derivative of j**4/4 - 7. Let d be m(1). Is (d - (-225