2 - 17*c. Let g be m(-5). Let b = g + 5747. Is b a prime number?
True
Suppose 0 = 4*r - 3*d + 8, -4*d = -5*r + 2*r - 13. Is r/(-5) - 12072/(-60) a composite number?
True
Let k be (-6 - -5)/(1/6). Let s be k/(-18) - (-79)/(-3). Is 4/s - (-2524)/13 a composite number?
True
Suppose 89*a = 93*a - 1707956. Is a prime?
False
Suppose 20*h = -6*h + 7741682. Is h prime?
True
Let f = 1167 - 741. Let u be 217 - 2/7*7. Let b = f - u. Is b composite?
False
Suppose 3*r = -t + 1233046, 5*r = -5*t + 2250392 - 195332. Is r a composite number?
True
Let j be (-10)/14*21/(-3). Is ((-2962)/4)/((-36)/(-8) - j) a composite number?
False
Let m(k) = 20*k**3 + 8*k**2 - 90*k + 161. Is m(11) a prime number?
True
Let v = 34 + -26. Suppose -d - v = -22. Is (d/28)/(1/578) composite?
True
Let i = -98150 + 142373. Suppose 0 = 286*z - 283*z - i. Is z prime?
True
Let i be (4 - (-15)/(-5))*16456. Let p = -11613 + i. Is p composite?
True
Let k be 4/(-6) - ((-128)/6)/8. Let q = 6039 + -3085. Suppose -3*s + 7 = -2, k*o + 4*s = q. Is o prime?
True
Let v(j) = j**3 - 62*j**2 + 498*j + 1562. Is v(105) a composite number?
True
Let y = 4 + 1. Suppose -70 = -y*v + 3*v. Suppose -36*r = -v*r - 31. Is r composite?
False
Suppose -2*g + 5*n = -1101, -2*g - 3*n = -g - 523. Suppose g = 2*b - 1232. Suppose t - b = -3*h, h - t = -4*h + 1475. Is h composite?
True
Is 71 + -79 - 229*-309 a prime number?
True
Let a(z) = 106*z**3 - 29*z**2 + 42*z - 8. Is a(3) a prime number?
True
Suppose 15 = -2*y - y - b, -y - 5 = b. Is -3 + 4 + (-74070)/y a composite number?
True
Let u(s) be the first derivative of -s**4/4 + s**2 - 1421*s - 1. Let r be u(0). Let c = r - -2052. Is c composite?
False
Let z be (-186)/4*-2 - 3. Let i = z - 85. Suppose -9*r = -i*r - 92. Is r composite?
False
Let i(d) = 8742*d + 2233. Is i(12) a prime number?
True
Is (3/(-2))/(237/(-1637038)) prime?
False
Suppose 0 = -4*u - 3*h + 1349815, 65*u + 5*h = 61*u + 1349817. Is u a prime number?
True
Suppose -4*a - 3*y - 3 = -5*a, 4*y + 4 = 4*a. Is (1 - (2 - a))/((-16)/7792) a composite number?
False
Let c = 165509 + -90430. Is c a composite number?
False
Let h = 6391 - 4191. Suppose h = 4*q + 4*b, 4*b - 1668 = -3*q + 7*b. Is q composite?
True
Let m(b) = -757*b + 3. Let w be m(3). Let u = 2543 - w. Let h = u + 390. Is h composite?
True
Suppose 4*n - g - 102 = -10, 16 = n - 2*g. Suppose 5*v = n - 14. Is -1 + (v - (-1760 - -2)) composite?
False
Let o(b) = -24*b - 144. Let u be o(-6). Suppose u = 24*a - a - 332281. Is a prime?
True
Suppose 2*t - 3176 = -4*n, 4*t = 4*n + 7228 - 864. Suppose -21*c = -7839 - t. Is c a prime number?
True
Let o(c) = -287*c + 17. Let h(l) = -288*l + 17. Let b(t) = -3*h(t) + 4*o(t). Let z = -1918 + 1912. Is b(z) a composite number?
False
Let b(k) = 1143*k**2 - 165*k - 3. Is b(-3) a composite number?
True
Let w(t) = 750*t + 13. Let k(c) = 250*c + 5. Let r(b) = -8*k(b) + 3*w(b). Suppose 2*d - 5 + 1 = 0. Is r(d) a prime number?
True
Let f = 78 + -76. Suppose -6*s = -3*s + f*t - 185, -s + 2*t = -51. Is s prime?
True
Suppose 79*l - 172486 = 2*l + 5669581. Is l a composite number?
True
Suppose -2 - 19 = -3*f - 3*u, -3*f + 2*u + 46 = 0. Let g be (f + -13)/(6/(-5) + 1). Suppose g*w - 6*w = -446. Is w a composite number?
True
Suppose 0*l = 8*l - 5784. Suppose d - l = 1036. Is d a composite number?
False
Suppose h - 138103 = u, 124908 - 677314 = -4*h + 3*u. Is h prime?
False
Let q = -55 + 64. Suppose 9 = 3*v, -2*y + 2*v = -q + 5. Suppose 5*n + m = 3771 - 566, 5*m - 3205 = -y*n. Is n composite?
False
Suppose 5*p - p - 24 = -3*h, -24 = -8*p. Let x = -2111 + 2997. Suppose h*q = 502 + x. Is q a prime number?
True
Let v = 136782 - 97615. Is v composite?
True
Let m = 1446215 - 540016. Is m a prime number?
False
Suppose 19*k - 25*k = -18. Suppose -3*g - 5*t + 39097 = -7*t, k*t = -4*g + 52135. Is g a prime number?
True
Let o(v) = -881*v - 117. Let b = -135 - -131. Is o(b) composite?
False
Is (7450/(-250))/(6/(-30)) a prime number?
True
Let n = 64 - 43. Suppose -n = p - 130. Is p a prime number?
True
Let r = 70853 - 39582. Is r a composite number?
False
Let s(x) = 5*x - 22. Let d be s(4). Is 1/d*(-222274)/13 a prime number?
False
Suppose 0*z + 3*z - 18 = -2*g, z = -2*g + 10. Let s be (5 - 3 - g) + 6. Suppose -2*f + 1178 = -2*m, -s*f + 3*m + 2939 = m. Is f prime?
True
Suppose 4*h = -3*h. Suppose h = 4*a + 4*j - 4920, -2*a + 2140 = 5*j - 329. Is a/2 + 1/2 a prime number?
False
Let u = 78 - 62. Let z = u - 13. Suppose -3*w = z*x - 4*x - 8798, -2*x - 2931 = -w. Is w a composite number?
True
Suppose 2*z = o - 5*o - 80686, -80687 = 4*o + z. Let m = o + 44611. Is m composite?
False
Let s = 54571 + 178570. Is s composite?
False
Let v = 76962 - 2047. Is v a composite number?
True
Suppose -50*o - 5086776 + 30092581 = 45*o. Is o a composite number?
True
Let z(y) be the first derivative of 169*y**4/2 + y**3 - y**2 - 1240. Suppose -3*l + 2 = -l. Is z(l) a composite number?
True
Let s = 4034 - 7417. Let i = -2304 - s. Let p = -264 + i. Is p composite?
True
Let j(u) = u**3 - 23*u**2 + 175*u + 49. Is j(30) prime?
False
Suppose 2*o - 3*o + 9 = -3*q, -3*o + 5*q + 31 = 0. Let c be (-2)/12 - 34/o. Is (548/c)/((-2)/3) prime?
False
Suppose 3*l - 5*b = 25, 3*b + 0 = -6. Suppose l*q + 2*c - 17283 = 0, -18*c + 10372 = 3*q - 19*c. Is q composite?
False
Suppose i - 5*w - 59 = -71, -i + 2*w - 6 = 0. Suppose x - 5*x = 32. Is (7 + x)*(-875 + i) a prime number?
True
Let o(t) = -28*t**2 + 4 + 60 + 30*t**2 + 13*t. Is o(-13) composite?
False
Let g = 109480 - 36063. Is g prime?
True
Let i(t) = -t**3 - 11*t**2 - 10*t - 114. Let m be i(-11). Let r(f) = -100*f**3 - 5*f**2 + f + 21. Is r(m) composite?
False
Suppose 4*s - 5*q = 7*s - 15246, -5*s = 4*q - 25410. Let n = -2749 + s. Is n composite?
False
Suppose -3*w = 5*h - 7448 - 6174, -h = -2*w - 2714. Suppose 10*q = 12*q - h. Is q a composite number?
False
Let x = 48 + -12. Suppose 3*c - g + 2*g = 15, 5*c - 2*g - x = 0. Suppose 29 = 2*o + 3*f, c*o = o - 4*f + 90. Is o prime?
False
Let y(u) = -19*u**2 + u + 17. Let i be y(-7). Is ((i/2)/((-48)/(-64)))/(-2) a composite number?
False
Let m = 457308 + 197869. Is m a composite number?
True
Suppose -g - x + 4 = 0, 5*x - 11 = 3*g + 9. Let l(a) = a**3 - 90 - a + 4*a**2 - 5*a**2 + 653 + 432. Is l(g) a composite number?
True
Let o(n) = 156*n**2 + 3*n + 5. Suppose 16 = 5*g + c, -c + 1 = -2*g + 6. Suppose g*x + 2 = -4. Is o(x) a composite number?
True
Suppose -2125 = -3*o - 262. Let r = o - -590. Is r a composite number?
True
Let w = -72058 + 188841. Is w prime?
False
Is (-17)/2*1966154/(-191) composite?
True
Let n(r) be the third derivative of -r**6/60 + 11*r**5/60 + r**4/6 - 7*r**3/6 - 22*r**2. Let k be n(9). Let q = k + 1167. Is q a prime number?
False
Let o(f) = -8*f**2 + 67*f + 2. Let k be o(5). Suppose 5*c + 108 = 2*s - 269, 4*c - 796 = -4*s. Let v = s - k. Is v a prime number?
True
Let z = 1167699 - 721232. Is z composite?
True
Let x(g) = 33*g + 26. Let s be x(-7). Let c be s/(-2) - (-3)/(-2). Let l = c + 40. Is l prime?
False
Is (-12 - 4) + 10 + 52793 a prime number?
False
Let v(d) = 14*d**2 - 252*d - 129. Is v(-34) prime?
True
Let j(m) = 7*m - 2*m - 6*m + 3 + 2*m**2 + 1679*m**3 - 4. Is j(1) prime?
False
Suppose d = 2*t + 6*d - 2011, 0 = 3*t + 5*d - 3004. Suppose 12*l - 9*l - t = 0. Is l composite?
False
Let n = -126 + 44. Let i = -84 - n. Is i*2521*(6/(-4) - -1) prime?
True
Suppose -6*y + 4*y - 2002 = 0. Let a = 2063 + y. Suppose 0 = -4*v + 4*f + 8228, 5*v + 4*f - 9187 = a. Is v a prime number?
True
Suppose 4*a - 22 = -14. Suppose x - a = -0*x - v, 3*v = -x. Is ((-3026)/51)/((-2)/x) composite?
False
Let n = -106 + 113. Let j(y) = -2*y + 11. Let h be j(n). Is h/((6/6337)/(-2)) a composite number?
False
Let n = -31025 + 54171. Suppose -20*g + n + 19794 = 0. Is g prime?
False
Let l = -236 - -241. Suppose -3*b - 91 = -g, l*g - 7*g + 2*b = -166. Is g composite?
False
Let p = 3900 - 3815. Let g be 2*-11*(-4)/1. Suppose -g*m = -p*m - 78. Is m a prime number?
False
Suppose -14*m + 10*m = -456. Suppose 3*s = -m*t + 117*t + 20988, 0 = s - 4*t - 6999. Is s a prime number?
False
Suppose -4*f + 992153 + 578093 = -5*a, -392581 = -f - 2*a. Is f a prime number?
True
Let u = 105474 - 36917. Is u a prime number?
False
Let t(r) = -4421*r - 1224. Is t(-31) composite?
True
Let o(z) = 14*z**2 - 3*z - 