 56*c - 42*c + 108163 = 1944809. Is c prime?
False
Let n(f) = 30*f + 11. Let y be n(4). Suppose 0 = -3*p - 4*a + y, -5*p + 4*a + 163 + 34 = 0. Suppose 467 = 42*q - p*q. Is q composite?
False
Let k(g) be the third derivative of -11*g**7/720 + g**6/60 + 9*g**5/20 + 24*g**2. Let a(t) be the third derivative of k(t). Is a(-5) composite?
False
Let k = -435530 - -750015. Is k a composite number?
True
Let c(z) = -4*z - 2. Let v be c(-3). Suppose -3 = 3*h - 27. Suppose 2*x = -v, 3*x - 351 = -2*m + h*x. Is m a prime number?
True
Let c = -350942 - -625459. Is c a prime number?
True
Let r(p) = -299*p + 208. Suppose -148*j = -141*j + 77. Is r(j) a composite number?
True
Let b = -69516 + 153407. Is b a composite number?
False
Suppose 0 = 3*r - 6*r, -3*x + 5*r + 21 = 0. Suppose -41 - 1380 = -x*a. Is a composite?
True
Let r be 1/(-3) + 256/12. Suppose r*o = 54*o - 46167. Is o a composite number?
False
Let v be 140/(-15)*12/8. Let m = 2 + 0. Is (-15 - v)/(m/(-158)) prime?
True
Let a = 16732 - -5472. Let y = a + -11293. Is y composite?
True
Let o be (-6)/4*(-20)/15. Let f be 1/((-1)/36*6). Is (-205 - f)/(1 - o) a composite number?
False
Suppose 45*m - 35*m - 375200 = 0. Suppose -4*s = -3*v + 2*v - 29991, m = 5*s + 5*v. Is s prime?
True
Suppose -518684 + 3256575 = 68*a + 164975. Is a a prime number?
False
Suppose -4568 = -5*d - 488. Let w = 1262 - d. Is w prime?
False
Let g(u) = 118*u**3 + 9*u**2 - 8*u - 8. Let l be g(4). Suppose -l + 801 = -5*v. Is v composite?
True
Let h = -1286 + 6253. Is h/4 + 4/16 + -1 a prime number?
False
Let a(w) = w**3 + 23. Let c be 4/(-20)*-5 + -43. Let x = c - -42. Is a(x) prime?
True
Let d be -21 + 147 + (0 - -4). Suppose 3*g - 380 = -m, -12*g + 11*g + d = -3*m. Is g a prime number?
True
Let a(y) = 79*y**2 - 137*y - 8511. Is a(-58) prime?
False
Let o be (8 - (-60244)/(-8))*2. Let v = o + 23699. Is v prime?
False
Let d(o) = 2*o**2 - 22*o - 22. Let w be d(12). Is (w/3)/((-44)/(-140514)) a composite number?
False
Let g = -1472 - -3167. Suppose -4860 = -15*r - g. Is r composite?
False
Let q = 1773932 + -1042431. Is q prime?
True
Suppose -d + 5*y = -42311 - 29576, -3*d - 2*y + 215593 = 0. Is d composite?
False
Let y(g) = -358*g - 2701. Is y(-9) a prime number?
True
Is 38/(-399)*-3 - (-350481)/7 a prime number?
True
Let j(f) = -4*f - 74*f - 3*f**3 - 28*f - 17*f**2 - 27*f - 8 - 56*f. Is j(-9) a prime number?
True
Suppose -9*u + 13*u = 58820. Suppose -21*h = -16*h - u. Is h prime?
False
Let g be 10/(-20) - (-14)/4. Suppose -5*x + x + 7 = -g*y, x + 5 = 3*y. Suppose 0 = -y*o + 1612 - 481. Is o prime?
False
Let x(f) = 8*f**2 - 8*f + 41. Suppose -14 = -2*u + 4*l, l + 21 = -4*u + 67. Is x(u) prime?
False
Let g = 1492 + 1615. Let s = -1330 + g. Is s composite?
False
Let f(o) = -194*o**3 + 12*o**2 + 26*o + 19. Is f(-5) composite?
False
Suppose 0 = -4*f + 3*c + 1494079, 14*c = 3*f + 15*c - 1120530. Is f prime?
False
Let i = 96 - 96. Suppose i = 44*q - 45*q + 1079. Is q a prime number?
False
Suppose -73001 = -18*n + 593932 - 132027. Is n prime?
True
Suppose -3*r + 8215 = 1120. Let k = r - 692. Is k prime?
False
Let a(n) = 100*n**2 - 4*n - 4. Let j(t) = t**2 + 28*t + 50. Let b be j(-26). Let g be a(b). Suppose 488 = 4*u - g. Is u a composite number?
False
Let u(r) = 3*r**2 + 17*r - 6. Let l be u(-12). Suppose -t = -45 + l. Is (t/6*4)/(-2) prime?
True
Let z(b) = 11*b**2 - 44*b - 1357. Is z(-38) prime?
False
Let l = 206 + 705. Let u = -96 + l. Is u a prime number?
False
Let h = -35 - -36. Let x be h/5 + (-133794)/(-30). Suppose 3*c - x = -c. Is c prime?
False
Suppose 5*i - 2489 = 3*s, 5*s + 112 = -4*i - 4098. Is (-2)/(-2)*-22*s/4 a prime number?
False
Let q(k) = -5*k**2 + 22*k - 4. Let s be q(4). Suppose -2*a + 0*a = 0. Suppose a = -s*b - 4*g + 4220, -2*b - 9*g + 2110 = -8*g. Is b a prime number?
False
Let o(k) = 3*k**2 - 9*k - 17. Let t be o(8). Let g = t + -60. Suppose 40*c = g*c - 1467. Is c composite?
True
Let j(t) = 19368*t**2 - 356*t + 2141. Is j(6) a composite number?
True
Let t = 6840 - 4429. Is t prime?
True
Let k(s) = -s**3 + 31*s**2 + 31*s - 159. Is k(20) prime?
True
Let v(l) = 508*l - 7. Let g be v(-2). Let p = g - -8074. Is p composite?
True
Let z = -252 + 260. Is 674/6*(25/(-5) + z) prime?
True
Suppose 5399537 - 7176136 - 21613663 = -189*p. Is p composite?
True
Let f(j) = 2*j + 12. Let c(p) = -4*p - 13. Let k(v) = -5*c(v) - 6*f(v). Let w be k(1). Is ((-3)/w - 2)*724/(-10) a prime number?
False
Suppose 0 = -5*a - 0*x - 2*x + 245462, 4*x = -4*a + 196372. Suppose 10*l = 4*l + a. Is l composite?
True
Suppose -3 = -2*x + 3. Suppose -3343 = 2*k + i, 604 = x*k - 4*i + 5624. Let s = -761 - k. Is s a prime number?
True
Let j(b) = -141*b**3 + 28*b**2 - 36*b - 348. Is j(-17) composite?
False
Let a = 2665 - 595. Let v = a + -290. Let h = v + -813. Is h a composite number?
False
Suppose 3*q + 3*s = -8 + 728, 4*q - 4*s - 1016 = 0. Let w be (1 - -1) + 2/2. Suppose -w*i = 5*v - 563, 5*v - 3*i - q = 340. Is v a prime number?
False
Let f = -325283 - -458212. Is f composite?
False
Let j = 1454947 + -642324. Is j a composite number?
True
Let g(o) = 46647*o + 4028. Is g(7) composite?
False
Let l(x) = -19*x**2 + 20*x - 38. Suppose 5*v + 10 + 15 = 0. Let b(q) = 10*q**2 - 10*q + 19. Let k(z) = v*b(z) - 3*l(z). Is k(12) prime?
True
Suppose -a + 5 = 5. Suppose a = -x + 2227 + 2432. Is x composite?
True
Let b be 264*7/182 + 4/(-26). Is b*-2*(-596)/16 prime?
False
Let x = -36309 + 68426. Is x composite?
False
Let b = -203 + 208. Suppose 14999 = 5*m - b*x + 3*x, -5*m + 15001 = -3*x. Is m a composite number?
False
Let f(z) = -z**3 + 10*z**2 + 15*z - 4. Let j be f(11). Suppose -p + j = -5*p. Let o(k) = -65*k - 17. Is o(p) a composite number?
True
Let c(y) be the second derivative of y**4/12 - 13*y**3/6 + 12*y**2 + 13*y. Let v be c(12). Suppose -v = 3*u, -5*m - u = u - 7017. Is m a prime number?
False
Suppose 2*a = 5*a + 5*t + 15, 0 = a - 5*t + 5. Let q(x) be the second derivative of -77*x**3/3 + 15*x**2/2 - x - 72. Is q(a) a composite number?
True
Let q(m) = m - 1. Let z(s) = -3*s + 3. Let j(k) = -5*q(k) - 2*z(k). Let y be j(1). Suppose t - 1067 = -y*t. Is t a prime number?
False
Let o = 2684 - -19857. Is o a prime number?
True
Let v(z) = 7*z**2 - 8*z**2 - 8*z**2 - 37*z + 57 + 129*z**3 - 25*z - 128*z**3. Is v(17) composite?
True
Let w(z) = -19*z**3 - 18 + 14 + z**2 + 3*z**3 - 4*z - 12*z**3. Let i be w(-1). Suppose 33*y - 4604 = i*y. Is y prime?
True
Suppose 3*q - 821 = 652. Let z = 799 - q. Let j = z + -131. Is j a prime number?
False
Let y be (-4)/7 - 540/(-210). Let o = 0 + 3. Suppose -493 = y*h - o*h. Is h a composite number?
True
Let m(o) be the first derivative of -o + 2816/3*o**3 + 5 + 0*o**2. Is m(-1) composite?
True
Suppose -18 = -4*u + 2*f, 5*f = -7*u + 6*u - 23. Suppose -u*t + 96 - 80 = 0. Let a(b) = 105*b - 31. Is a(t) a prime number?
True
Let g = 93531 + -51661. Let p = g - 29049. Is p composite?
False
Let p be 6/(-8)*(-4 - 0). Is (0 - -311)*(2 + (12 - p)) a composite number?
True
Suppose -35*s + 9000 = -30*s. Suppose -424 + s = 4*k. Suppose 0 = -a - 130 + k. Is a a prime number?
False
Suppose 0 = 102*k - 146492766 + 54269876 - 90496952. Is k a composite number?
False
Let m = -70427 - -991220. Is (2/6)/(31/m) a composite number?
False
Let c = 1607 - -4213. Is (-4)/(-12) - c/(-18)*2 a composite number?
False
Let w(h) = -h**3 - 7*h**2 + 30*h + 5. Let l be w(-10). Suppose 2*a - l*v = 4*a - 4893, 0 = -5*a + 5*v + 12320. Is a prime?
True
Let b(u) = u**3 - 14*u**2 - 16*u + 23. Suppose -3*a - 5*s - 92 = -7*a, 30 = a - 3*s. Suppose -2*g + h = -31, 20 = g + 4*h - a. Is b(g) prime?
True
Let o = -37046 - -137695. Is o composite?
False
Suppose 76*r - 94*r = 36054. Let n(x) = -3473*x**3 + 2*x**2 + 2*x + 1. Let z be n(-1). Let b = z + r. Is b prime?
True
Let p = -713 + 1649. Suppose -2*m = 6, -c + 2*m + 14 = 11. Is p - 6/(c + 5) prime?
False
Suppose -s - 12 = -5*s. Suppose 1 = -z + s. Suppose -4*x = -z*n - 868 - 24, x - 223 = -4*n. Is x a composite number?
False
Suppose -4*x - 4*n + 104 = 20, -5*x - n + 117 = 0. Suppose -x*w + 28*w = 7880. Suppose 0 = -7*o + w + 5513. Is o a prime number?
True
Suppose -308*o = -4627836 + 963560. Is o prime?
True
Let m(r) = 6030*r**3 - 2*r + 1. Let v be m(1). Suppose -5*w = -k - 6470, -2*k + v + 426 = 5*w. Let l = w + -812. Is l a p