s n a prime number?
True
Let n(k) = -k**2 + 2*k + 1. Let a(o) = -164*o**2 + 27*o + 15. Let y(c) = -a(c) + 6*n(c). Is y(-4) composite?
False
Let j = 922 - -546. Let h = 13265 - j. Is h composite?
True
Suppose 39 = -15*f + 16*f. Suppose -f*s = -35*s + 2*y - 49614, 3*y + 12400 = s. Is s prime?
False
Suppose -4*k + s + 10 = 0, 8*s = -2*k + 7*s + 2. Let d be ((-3)/k)/(9/60 - 0). Is d/(-55) - 12250/(-22) prime?
True
Suppose -3*i - 2040 = 4*a, 6*a - 4*i = a - 2550. Let s = -1141 - a. Let g = s - -1260. Is g composite?
True
Let r = 84525 + -20612. Is r a prime number?
True
Let b = -3970 + 4661. Is b prime?
True
Let a(j) = -26*j**3 + 7*j**2 + 4*j - 7. Suppose 3*k + 13 = 4*i + 5, -17 = 4*k + i. Is a(k) a composite number?
False
Suppose 3*k = 4*p - 804, -2*p = -7*p. Let l = k - -303. Is l a prime number?
False
Let p be ((-2*1)/2)/(52/5148). Let d = 318 + p. Is d a prime number?
False
Let s(t) = 80529*t**3 - 3*t**2 + 83*t - 262. Is s(3) prime?
True
Suppose -2*w + 5*w = -b - 235, -4*b = 2*w + 920. Let r = 546 + b. Is r composite?
False
Let x(l) = 692*l**2 + 26*l + 15. Suppose 2*j + 77 - 55 = 0. Is x(j) composite?
True
Let o = -8570 + 33783. Is o composite?
True
Let l(b) = b**2 - 9*b + 11. Let d be l(8). Suppose -2*s = s + d*j - 963, 0 = -4*s + 2*j + 1272. Let n = s - 222. Is n prime?
True
Is (-110)/(-6)*13*761709/845 a composite number?
True
Let o be ((-14)/(-6) - 2)/((-10)/90). Let b be (-2)/6*o - 1/1. Suppose b = -l - 0*l + 3233. Is l a prime number?
False
Let r = -1247884 - -1862489. Is r composite?
True
Suppose -k - 39 = -2*q, 3*k + 115 = -3*q + 8*q. Let w = -373 - -363. Is w/k - (-42244)/28 composite?
True
Suppose -4293730 = 20*j - 34*j. Is j a composite number?
True
Let z(r) be the second derivative of 3*r**5/10 - r**4/6 + 2*r**3/3 + r**2/2 - 66*r. Suppose -4 = -2*l, 3*h + 5*l - 3 = 16. Is z(h) a composite number?
False
Let y(n) = -3*n - 3*n + 2*n + 14 + 3*n**2. Let b be (0 - -1)*-8*(-178)/89. Is y(b) prime?
False
Is (-9)/21 - 31530796/33*15/(-70) prime?
False
Let u = 896450 - 640281. Is u composite?
False
Suppose 4*s - 2*y = -6736, y + 4917 = -4*s - 1813. Let a be 26385/(-6)*(-4)/5. Let i = a + s. Is i prime?
False
Is (24 - 16) + -2*(-1966285)/10 composite?
True
Suppose -314*r + 63014354 = 24*r. Is r a composite number?
True
Let t(z) be the third derivative of -z**6/40 + 4*z**5/15 - z**4/8 - 2*z**3/3 + z**2. Let w = 400 + -395. Is t(w) composite?
True
Let s(d) = -644*d - 14. Let x be s(-14). Suppose 7*m - 3437 = x. Is (-5)/(-10) - m/(-2) prime?
False
Let a = 31890 - 22499. Is a a prime number?
True
Let r = 140069 - 91870. Is r a prime number?
False
Let d = 14 - -30. Let a = 42 - d. Is a + 3292/(7 + -3) a composite number?
False
Let f(n) = -5*n + 4. Suppose -3*p + 2*h + 7 = -4, -p + 5*h - 5 = 0. Suppose -p*k = -v + 8, -2*v - k - 24 = -3*k. Is f(v) composite?
False
Suppose 5*o + 32455 = 5*n, 3*o - 3*n + 19481 = -4*n. Let v = -4612 - o. Suppose -8 = 2*t - 4*t, -v = -3*x + 3*t. Is x a prime number?
True
Suppose -100*y = -24*y - 2052836. Is y prime?
True
Let i be (72/10)/(20/75). Suppose -3*y + 2*c = -1465, i = 3*c + 15. Is y prime?
True
Let o = -32 - -36. Suppose -o*c + 7*c = 879. Is c prime?
True
Let o = 1638703 - 1028342. Is o composite?
True
Let h = 88239 + -49250. Is h a prime number?
False
Suppose 227556 = 13*g - 18443. Is g prime?
False
Let d = -508456 - -864687. Is d a composite number?
True
Suppose -3*h = 2*h - 1325. Let g = -1676 - -1560. Let i = h + g. Is i a composite number?
False
Let o(x) = 3902*x + 14. Let g(l) = -l**3 - 13*l**2 + 14*l + 4. Let p be g(-14). Let v be o(p). Suppose -10*s + 8788 = -v. Is s a composite number?
False
Let d(z) = -330*z - 91. Let i(f) = -24*f + 120. Let r be i(6). Is d(r) composite?
False
Suppose 0 = 2*o - b - 15, 0 = 4*o + 3*b - 5. Suppose 0*c + 5*h - 714 = -c, -2831 = -4*c + o*h. Is c a composite number?
False
Let n = -543876 - -995477. Is n composite?
False
Suppose 0 = g + 5*c + 12, -5*g + 5*c + 67 = -23. Suppose s = g*s. Suppose -3*f = 3*i - 621, 5*f - i = -s*f + 1059. Is f prime?
True
Is -6 + 122902 + 20 - (2/(-1) + -5) a composite number?
True
Let x = 235059 + 174502. Is x composite?
True
Let m(a) = 7*a**3 + 1194*a**2 - 105*a - 377. Is m(-165) a composite number?
True
Suppose 0 = -9*k - 3301 - 7184. Let b = k - 80. Is b*(4 + 65/(-15)) a prime number?
False
Let m be (44/24 - 2)/((-4)/72). Suppose m*j - 76693 = -4*t + 5*t, -j = 5*t - 25575. Is j a prime number?
False
Is 239764800/360 - ((-3)/9)/(-1) a prime number?
True
Let x(c) = 32*c**3 - 4*c**2 - 317*c + 48. Is x(17) a prime number?
False
Suppose -4*m - 268 = 4*j, -4*j - 3*m - 214 - 54 = 0. Is j/(54/(-51) - -1) a composite number?
True
Suppose -58*g - 980096 + 4854322 = 0. Is g a composite number?
False
Suppose 0 = -26*m + 12*m + 14. Is m/(1/(-2)) - -7903 prime?
True
Suppose 45 = -0*b + 3*b. Suppose -12*s - 60 = -b*s. Is (-5)/(s/8)*(-1910)/4 a prime number?
False
Suppose 61*z + 34*z - 5619338 = 733977. Is z prime?
True
Suppose 4*i + 20*c - 25*c - 175843 = 0, -2*i = 5*c - 87899. Is i prime?
False
Suppose 249 = 4*f - d, -2*f + 0*d - 3*d + 135 = 0. Suppose -r + 6 - 9 = 0, 3*q = -5*r + f. Let z(a) = 11*a + 1. Is z(q) a prime number?
False
Suppose -97527 = -14*g + 746141. Is (-70)/(-630) - (1 + g/(-18)) a prime number?
True
Let m(l) be the second derivative of -9*l**5/20 - l**4/4 + l**3/3 + 5*l**2 - 14*l. Let r be m(-3). Let j = -123 + r. Is j composite?
False
Let o(h) = -2177*h - 442. Let w be o(-13). Suppose -8*y = -11317 - w. Is y prime?
False
Suppose -4*v + 11*v - 22779 - 357272 = 0. Is v a prime number?
True
Suppose -5 = -5*b, d + 8*b - 349 = 3*b. Let x = 327 - 445. Let v = d + x. Is v prime?
False
Let n = 30 - 28. Suppose -4 = r + n*k, 9*r - 4*r = -k + 7. Suppose 15 = r*p + p, -3*p = -4*c + 3133. Is c a prime number?
True
Let h(k) = 256*k - 135. Is h(7) prime?
True
Let f(t) = 22*t - 5. Let g be f(3). Let r = g - -63. Let x = r + 15. Is x a composite number?
False
Let h be (-22)/(-12) + -2 + 39/18. Let s(z) = 6*z**2 + 5*z**2 - 10*z**h + 4*z + 81*z**3 + 4*z - 7. Is s(3) a prime number?
True
Let s = 9526 + 519775. Is s a composite number?
False
Let x = 259518 - 91469. Is x prime?
False
Let n(g) = -11141*g - 150. Is n(-1) a composite number?
True
Let c = -598 - -600. Suppose -p - 5*u + 5273 - 1580 = 0, -18573 = -5*p + c*u. Is p a composite number?
True
Let x = 1637302 - 699309. Is x prime?
False
Suppose 4*i - 5 = 3*i. Suppose -4*u = -i*x - 984, -x + 20 = 4*x. Is u a prime number?
True
Is (-3679569)/9*(-4)/8*10 prime?
False
Let l = -6156 + 13087. Is l composite?
True
Suppose -6*b - 5*b + 671 = 0. Suppose 59*h = b*h - 1082. Is h a prime number?
True
Let z(x) = -6*x**3 - 2*x**2 - 42*x - 359. Is z(-19) a prime number?
False
Suppose -5*v = 5*u + 7 + 3, 3*v + 20 = 4*u. Suppose -u*f + 4*o + 37 = -81, 3*f = -2*o + 209. Is f prime?
True
Suppose -24*d + 33*d - 5067 = 0. Let i = -310 + d. Is i composite?
True
Suppose 55980 = 25*t - 7*t. Let a = t - -2669. Is a composite?
False
Let c(m) be the second derivative of 25*m**3/3 - 57*m**2 - 7*m + 3. Is c(4) a prime number?
False
Let b(p) = 3*p**2 + 4*p + 1167*p**3 + 7 - 1299*p**3 + 0. Is b(-2) a prime number?
False
Let m = 18795 - 13254. Is m composite?
True
Let d(g) = 428*g**2 + 7*g - 14. Let o = 66 - 71. Is d(o) a composite number?
False
Let v = 49 + 2. Let r = v - 49. Suppose -r*d + 10*d = 5704. Is d composite?
True
Let o = 59795 + -38557. Suppose 10100 = 18*b - o. Is b a prime number?
True
Let b be ((-24)/(-20))/(15/50). Let j be -4 - ((-7)/(-2))/(b/24). Let m = 812 + j. Is m a composite number?
False
Suppose 29 = 4*d + m, m - 2 = -m. Let a be (106/14 - 7) + (-46)/d. Is ((-669)/a)/((-3)/(-6)) prime?
True
Suppose -380313 = -2*x - 97*f + 96*f, -570472 = -3*x - f. Is x a composite number?
False
Suppose -2*y = -3*l + 5693, -37*y + 35*y - 3792 = -2*l. Suppose -w + 52*t = 47*t - l, t = -2*w + 3802. Is w composite?
False
Suppose 18*k - 514572 = 740622. Is k composite?
True
Is (4/(-8))/(6 + (-12805)/2134) prime?
False
Suppose -13 - 62 = -5*g - 5*b, 48 = 3*g + 2*b. Suppose 32 = g*y - 17*y. Is 19580/12 - (-2 + y/12) prime?
False
Let k(z) = 242*z**2 - 46*z + 478. Is k(13) composite?
True
Let s be (-288)/(-28) + 4/(-14). Let h = s - 6. Suppose -558 - 2846 = -h*c. Is c prime?
False
Let u = 85 + -47. Suppose -5*o - 13 = -u. Suppos