 g(k) = -7*k - 9*k**2 + 30 - k**3 + 7 + 38*k**2. Is g(14) a prime number?
True
Let d = 833 - 432. Let l = 2728 - d. Is l composite?
True
Is -10*(-12 - (-136467)/(-18)) a prime number?
False
Let u be ((-5)/10)/((-3)/42). Let l(f) = 140*f**2 + 17*f + 18. Is l(u) a prime number?
True
Suppose 0 = 32*g - 726513 - 676754 - 600797. Is g prime?
True
Let i(o) be the first derivative of -52*o**3/3 - 15*o**2/2 + 2*o + 29. Let y(n) be the first derivative of i(n). Is y(-5) prime?
False
Let y be 18 - 5/(5/2). Is (-2 - -4341)*16/y a composite number?
False
Let h = 4 - 2. Suppose 0 = -u - 4*u + 2*l + 17, 2*u + h*l = 4. Suppose 5*p = u*o + 1118, 4*o - 117 = p - 344. Is p a composite number?
False
Suppose -41*i - 9*i = -2*i - 7723344. Is i prime?
True
Let r be 3/(18/(-3548)) + 1/3. Let d be r/(-1)*(-5 - -4). Let q = 914 + d. Is q composite?
True
Is 4 - ((-39853)/22 + 2/(12/(-9))) a composite number?
True
Suppose -3*g + 4*m + 1644 = 0, -5*g - 3*m = -m - 2714. Let j = 294 - g. Let y = j - -413. Is y composite?
False
Let l(h) = -h + 5. Let c be (1 + (-3)/6)*(7 - -5). Let y be l(c). Is (-4*(-411)/(-30))/(y/5) prime?
False
Suppose 25*b + 302419 = 3383144. Is b a composite number?
False
Let z(d) = -7*d**3 - 6*d**2 + 6*d - 44. Let s(i) = i**3 - 8*i**2 - 8*i - 22. Let f be s(9). Is z(f) prime?
True
Let g(b) = 13854*b**2 + 113*b + 667. Is g(-6) a prime number?
True
Let b(i) = i**3 - 5*i**2 + 7*i - 33. Let u be b(5). Suppose -u*k + 1273 = 3*v - 32271, 3*v - 33548 = 2*k. Is v prime?
False
Suppose 9*m - 31 = 4*m - 4*k, -k + 20 = 3*m. Let y(s) = -s**3 + 7*s**2 - s + 9. Let g be y(m). Suppose g*a - 89 = 2*t + 35, 4*t = -a + 47. Is a composite?
False
Suppose -8629513 = -34*o - 19*o. Is o a composite number?
False
Suppose 131111 = -14*a + 23*a - 8*a. Is a a prime number?
True
Let o(h) be the third derivative of h**6/30 + h**5/30 - 8*h**3/3 + 12*h**2. Let s be o(11). Is (-1)/(s/1388 + -4) composite?
True
Let m = 227 + -250. Let f(b) = b**3 + 23*b**2 - 54*b + 17. Is f(m) composite?
False
Suppose -7*x - 9*x = -1440592. Is x a prime number?
False
Let k(y) = 80*y**2 + 11*y - 58. Let h(w) = 11*w**2 - 88*w + 9. Let i be h(8). Is k(i) a composite number?
False
Let z = -817 + 821. Is 5467/4 + (170/40 - z) a composite number?
False
Suppose o + 0*o = i + 3384, -5*i = -25. Is o prime?
True
Let k = 25691 - 49156. Let l be k/(-25) + (-4)/(-10). Suppose l = 3*m - 1068. Is m a prime number?
False
Let s = 558 + 4609. Is s a prime number?
True
Suppose 12*r + 0*r = -5*r. Suppose 114*a - 117*a + 2343 = r. Is a composite?
True
Let t(s) = 630*s - 68. Let x be t(2). Suppose -2*c = -2*y - 886, 1297 = 2*c + c + 5*y. Suppose -3*r - c = -x. Is r composite?
False
Let n(t) = t**3 + 9*t**2 + 15*t - 6. Let d be n(-3). Suppose -2*o = d*o - 4*y - 4221, -2*y = o - 833. Is o composite?
True
Let v be 1/2*(15 - 5). Suppose -4*a = 20, r - v*a - 13698 = 13254. Is r prime?
True
Let d = 155 - 61. Suppose -4*w = -2*i + 6*i - 88, -5*i + d = w. Suppose 0 = i*q - 16*q - 4506. Is q composite?
True
Let m = 595 + -3291. Let g = 12653 - m. Is g composite?
False
Suppose g - 4*d = -d + 8103, -4*d = 0. Let n = g + -3332. Is n a composite number?
True
Let r(a) be the first derivative of -a**4/4 - 7*a**3/3 + 33*a**2 + 51*a - 91. Is r(-23) composite?
False
Let o(t) = -14 - t**3 - 3*t**3 + 3*t**2 - 11 - 13*t + 0*t. Is o(-9) a composite number?
False
Let k(y) = y**3 - 6*y**2 - 38*y + 28. Let d be k(10). Let h(z) = 14*z - 58. Is h(d) composite?
True
Let z(n) = -473*n - 9. Let w be z(-1). Let p = -1452 - -923. Let h = w - p. Is h prime?
False
Let s(w) = w**2 + 77*w + 131. Is s(55) composite?
True
Let d = 42848 + -20511. Is d prime?
False
Is 40/15 - ((-3033380)/15 - 3) a prime number?
True
Is (25/50)/(6/1086564) composite?
False
Is ((-765910)/(-15))/(88/110*(-5)/(-6)) prime?
False
Suppose 9759790 = -482*z + 165774032. Is z composite?
True
Suppose -3*m + 515 = -4*o - 273, -m = 3*o - 280. Let x = 569 - m. Is x a prime number?
False
Let n = -491496 + 1380469. Is n composite?
True
Let w(b) be the first derivative of -1801*b**2 + 39*b + 183. Is w(-2) composite?
False
Let z(s) = -6*s + 19. Let b be z(3). Let u(k) = 2723*k**2 + 4*k - 4. Is u(b) prime?
False
Let b(w) = -9961*w**3 + 2*w**2 + 26*w + 82. Is b(-3) composite?
False
Is (1/(-7))/((-1959838)/(-2613128) - 48/64) a composite number?
False
Let c(i) = -10*i**2 - 131*i + 14. Let u be c(-20). Let z = u + 5025. Is z composite?
False
Let q(u) = -768*u - 2 + 5 + 4. Suppose 113 = 31*v - 67*v - 139. Is q(v) composite?
True
Let i = 1490 + -7370. Let s = 2837 - i. Is s a prime number?
False
Suppose -4*o + g + 118192 = 0, -147757 = -5*o - 58*g + 55*g. Is o composite?
True
Suppose 57*h = 121*h - 49*h - 166695. Is h a prime number?
True
Let a(b) = -2338*b - 101. Let h be a(-12). Suppose 5890 - h = -15*m. Is m prime?
True
Suppose -3*y = 3*v - 1342896, -114*y + 115*y - 447662 = 5*v. Is y composite?
False
Let k be (0*(-2)/(-4))/1. Suppose 932 = 4*m + 5*d, d + 1 - 5 = k. Let s = m + -159. Is s a prime number?
False
Suppose -17*c = 9*c. Suppose -5 = -z, d - 3*z = -c*z + 17768. Is d prime?
True
Let a be (2/(-3))/((-25)/(-225)). Let c(o) = -753*o + 131. Is c(a) a prime number?
True
Let p = -92 - -92. Suppose -3*s = -2*b + 5639, -4*b + 5*s + 4357 + 6920 = p. Is b composite?
True
Let q = 136 + -133. Is -1 + (-48078)/(-30) - q/5 prime?
True
Let n be 3/6 + 6222/12. Suppose -5*c + 406 = -n. Let l = -46 + c. Is l a prime number?
True
Let n = 392 - 388. Let w = -65 + 127. Suppose u + 4*u + 50 = n*k, -4*k + w = u. Is k a prime number?
False
Let p(s) = 484*s + 1357. Is p(68) composite?
True
Let w(a) = 2*a + 6. Let q be w(1). Let k be 2*2/q*-6. Is ((1 - k) + 1)/((-2)/(-134)) a prime number?
False
Let z = -3084 + -16740. Let y = -3737 - z. Is y composite?
False
Let d = -8866 - -26157. Is d composite?
False
Let z = -52 - -92. Let q = 47 - z. Suppose -5*o + 4*s = -651, -s - q = -3. Is o a prime number?
True
Let y(l) be the first derivative of 127*l**2/2 + 43*l + 34. Let o be y(6). Suppose 3*m - 3176 = -4*k, k + 2*m = 4*m + o. Is k composite?
False
Suppose 0 = 3*u - 4*u + 7. Let b = u + 8. Suppose z + 2*t = 2101, -b = t - 6*t. Is z prime?
False
Let g(j) = 315*j**2 - 59*j + 61. Is g(-8) a composite number?
False
Let q = 689 + -686. Suppose -r + 717 = l + 3*r, 5*r = -q*l + 2186. Is l prime?
False
Suppose 0 = -2*f - 2*z - 3*z + 753, 3*f = 4*z + 1095. Let j = 42 + f. Let h = 1214 - j. Is h a composite number?
True
Let a be 1/(-6) + (-101896)/48. Let c = -2871 + -761. Let b = a - c. Is b prime?
False
Let g(i) = i**2 - 10*i - 54. Let k be g(-4). Suppose 4*r + 2*x = 136080, -3*r - k*x + 27467 = -74594. Is r composite?
False
Let g = 3 - -1. Suppose z - 3830 = -2*q, 3*q - 827 = -g*z + 4928. Is q a composite number?
False
Is 431845 - 1 - (-104 + 91) composite?
False
Suppose 0*i + 43039 = i - 4*q, -3*q + 129072 = 3*i. Is i composite?
True
Let a(t) be the first derivative of t**4/4 + 13*t**3/3 - 15*t**2/2 - 5*t - 4. Let d = -46 + 36. Is a(d) a composite number?
True
Let y(i) = i**3 - 45*i**2 + 109*i - 66. Let b be y(43). Suppose -4*r = -0*r + 16. Is r/(-6)*(b - 2) + -1 a prime number?
True
Is (-5516385)/(-903) - 2/(-43) a prime number?
False
Let c = -39 - -41. Let s(q) = 2112*q**2 - 5*q + 5. Let u be s(c). Suppose 0 = 10*y - u - 7227. Is y a prime number?
True
Suppose -w - 17 = -22, 2*p + 3*w - 978533 = 0. Is p a composite number?
True
Let t(a) = 53*a**2 - 10. Suppose -5*x + 17 = -8. Let l(u) = -106*u**2 + 20. Let o(i) = x*t(i) + 2*l(i). Is o(-4) composite?
True
Let i(o) = -112240*o + 677. Is i(-3) a composite number?
False
Suppose -1306230 - 1440126 = -12*x. Is x a composite number?
True
Suppose -4 = -7*v + 5*v. Suppose -3*b + 10029 = -v*g, -8*g + 5*g = b - 3343. Is b prime?
True
Let z = 52 + -52. Let v(i) = -i**3 + 2*i + 226. Let w be v(z). Let g = w - 77. Is g prime?
True
Suppose 0 = 7*r - 2*s - 79065 - 150036, r + 4*s - 32733 = 0. Is r composite?
True
Suppose -47*r = -28*r - 3878527. Is r composite?
False
Let k(p) = 5*p**2 - 145*p + 193. Is k(77) composite?
True
Suppose -3*f = 4*x - x - 24, 0 = -3*f. Is (5726/21)/(x/3 + -2) composite?
False
Let s be ((-4)/(24/(-46785)))/((-1)/2). Let u = -7916 - s. Is u a composite number?
True
Suppose -194 + 110 = -6*p. Suppose -11*c = -p*c + 10041. Is c composite?
False
Let i(z) = -15888