 composite?
True
Let k(n) = 3078*n**2 + 2*n + 30. Let c be k(-4). Suppose 6*b - c = -4*b. Is b a composite number?
True
Let b(y) = -117 + 15*y + 71 + 56 + 34*y**2. Is b(7) a composite number?
True
Suppose 3*z + 5*v - 287617 = 0, z - 95875 = -0*z - 3*v. Is z a prime number?
True
Suppose x - 19 + 18 = -3*v, -5*x = -3*v - 23. Is ((-2)/(-6))/(x*(-2)/(-368472)) prime?
False
Is ((-51193)/(-1))/(14 + -13) a prime number?
True
Suppose 552*w - 539*w - 976937 = 0. Is w prime?
True
Is 395728892/828 + (7 - -1) - 4/9 a prime number?
True
Suppose -39*f + 41*f - 2*t - 26804 = 0, t - 53583 = -4*f. Is f prime?
True
Let s(a) = -a**3 + 42*a**2 - 61*a - 9. Let j(g) = -g**2 - 41*g - 53. Let h be j(-39). Is s(h) composite?
False
Let q be (59/(-1 - 0))/(124/2108). Let o = -108 - q. Is o a prime number?
False
Let s(w) = 115*w + 14. Let g be s(3). Let d = -232 + g. Is d a composite number?
False
Suppose 236161015 = 212*l + 25310691. Is l prime?
False
Suppose 756624 + 317747 = 136*c - 35253. Is c a composite number?
True
Let y(v) = 2*v - 10. Let u(r) = r**2 - r + 4. Let s be u(2). Let q be y(s). Suppose -q*i - 5*x = -0*i - 1105, -2240 = -4*i - 4*x. Is i composite?
True
Is (-9 - -5) + 18 + 39485 a composite number?
False
Suppose -116*i + 119*i = 12. Suppose 0 = -i*y - 5*f + 6137 + 1425, -3782 = -2*y - 2*f. Is y composite?
True
Suppose -2*p - 47*k + 48*k = -1298204, 5*p - 3*k - 3245513 = 0. Is p a prime number?
False
Suppose -5*o = -b + 1, 2*b - 5*o = -2*b - 11. Is 9/((-6136)/(-1528) + b) a prime number?
False
Let l(a) = -a**3 + 9*a**2 - 4*a - 34. Let o be l(8). Is o/(3/(10776/(-16))) prime?
True
Suppose 3*b - 4*s - 1348517 = 627474, -b + 658694 = 3*s. Is b a prime number?
False
Let n(r) = -2*r**2 - 30*r - 24. Let l be n(-14). Suppose -8*y = -4*y + 3*d - 114802, l*y = -2*d + 114800. Is y prime?
False
Let b = 24332 - 14488. Suppose 6*g - 3578 = b. Is g a prime number?
True
Let n = -163809 + 394701. Suppose -35*j + 119353 = -n. Is j a composite number?
False
Suppose 0 = -15*t + 332153 + 536602. Is t a composite number?
False
Let l be 5 + 10/(-5 - 5). Is 8/(-2) - (113422 - l)/(-6) a prime number?
True
Let h = 1684 - 811. Suppose 3*m + h + 345 = 0. Let n = 159 - m. Is n prime?
False
Let b(a) be the first derivative of 248*a**3/3 - 5*a**2/2 + 2*a - 20. Let l be b(3). Suppose -2*m - 3*g + 4*g = -4458, -3*g - l = -m. Is m composite?
True
Let y = 7271 + -4925. Let w = -1073 + y. Is w prime?
False
Let o(k) be the first derivative of -7*k**3/3 - 5*k**2/2 + 18*k - 9. Let v be o(-11). Let g = v - -1327. Is g composite?
True
Suppose -12*d - 11363 = -16775. Is d a prime number?
False
Suppose s - 4*h = -20, 4*s + 12 = -2*h + h. Is s/(-20) - ((-257824)/(-20))/(-4) a prime number?
False
Suppose -5*x = -0*v + 5*v - 35, -5*v + 3 = -3*x. Let l(w) be the second derivative of 19*w**3 + 35*w**2/2 - 405*w. Is l(x) prime?
True
Suppose -48*d - 15*d = -2930183 - 2330758. Is d a composite number?
True
Let w = 141952 - 3335. Is w a composite number?
False
Is (31/((-372)/(-2085240)))/2 a prime number?
False
Let i = -126109 - -304176. Is i prime?
True
Let q be 1/((-4)/(-20)) - (-3 - -1). Is (5 - q)/(4/(-1358)) a composite number?
True
Let i(y) = 268*y**2 + 19*y + 18. Let c be i(-6). Let j = c - 4253. Is j a prime number?
False
Let w = 7158 - 7158. Suppose -4*z - 3 = -11. Suppose 427 = 3*r - 5*h, -r + 0*h - z*h + 124 = w. Is r composite?
True
Suppose -12*k - 3*l - 14215 = -14*k, 2*k = -5*l + 14175. Let f = k + -1147. Is f a prime number?
True
Let c(g) = -657*g**3 - 9*g - 47. Is c(-4) prime?
False
Let i(y) = -1778*y + 155. Is i(-18) a prime number?
True
Let c = 28617 - -43454. Is c a prime number?
False
Let t be ((-8)/(-2) - -7)*2199. Suppose 0 = -20*b + 9*b + t. Is b composite?
True
Let n = 106138 + -27789. Is n a prime number?
False
Let x be 5 - (-4 + (8 - -2)). Let a be 2 + (1 - (2 + x)). Suppose 0 = -u - 2*d + 743, 4*d - a*d + 3715 = 5*u. Is u prime?
True
Let b(z) = 9 - 82 + 78*z - 4 - 8. Is b(12) composite?
True
Suppose -5*a = 2*r - 6, r - 15 = -4*r - 4*a. Let x be (-104)/r*21/(-14)*1. Is 74815/x + 2/8 composite?
False
Let b(i) = -i**3 + 6*i**2 + 4*i - 15. Let d be b(6). Suppose -2*p = -s - 36869, 0 = -3*s - d - 0. Is p a prime number?
True
Suppose 5*o = -270 - 180. Let k = -57 - o. Suppose -k - 2107 = -4*g + 2*q, -3*g - q + 1605 = 0. Is g composite?
True
Suppose j = -5*j + 204. Let u = j - 16. Suppose 0 = -19*r + u*r + 143. Is r a prime number?
False
Suppose 12395883 = -44*b + 42745367. Is b composite?
False
Is 169*1492 - 1845/205 prime?
True
Suppose -8*g = 2*g + 6820. Let r = 1079 + g. Is r a prime number?
True
Let t(x) = 9*x - 14. Let i(s) = 2*s + 6. Let c be i(9). Let o be ((-8)/c)/((-2)/42). Is t(o) a prime number?
False
Suppose 0 = 44*d - 57*d - 1027. Suppose 0 = -2*s + 5*k + 976, -5*s + 4*k + 782 = -1658. Let h = d + s. Is h a composite number?
False
Suppose -165*w = -164*w - 796. Let p = w + -351. Is p composite?
True
Let a = 36899 - -166632. Is a a prime number?
True
Let h = 240 + 8. Suppose -658 = q + 5*x, -q - 410 = 2*x + h. Let r = q + 1221. Is r a composite number?
False
Let t be (-11)/(77/(-3724))*1. Let x = t - -199. Is x a prime number?
False
Let q = 936 + 9475. Is q prime?
False
Suppose 0 = -4*j + w - 5, 5*j + 20 = -0*j + 4*w. Suppose 5*c + 15 = j, 0 = 3*u + 12*c - 7*c - 6372. Is u a prime number?
True
Let o(p) = 10*p**2 - 7*p - 21. Let h be o(12). Suppose -2*s = -10, n + n + 3*s = h. Suppose 4*c - n = 176. Is c prime?
False
Let i(w) = w + 1. Let n = 122 + -127. Let g(r) = 1126*r + 3. Let q(j) = n*g(j) + 15*i(j). Is q(-1) prime?
False
Let m be (6/(-5))/((-56)/(-10) - 6). Suppose 4*r - 4*q = 4276, m - 7 = 2*q. Is r a composite number?
True
Let i be (-83)/(-2)*(-6 + 8). Let j = i - 84. Is ((-1904)/(-5) + 5)/(j/(-5)) composite?
True
Let y be 85/25 + (-6)/15. Is 10221*y/(3 - -6) prime?
True
Suppose m - 27*t + 32*t + 1 = 0, -4*m - 2*t - 4 = 0. Suppose 0 = q - 2*g - 1730, -3*q + 2*g + 0*g + 5198 = 0. Is (m/(-3))/((4 + -2)/q) a composite number?
True
Let u(x) = -x**3 - 19*x**2 - 35*x - 14. Let m be u(-17). Let f be -7 + m + (2375 - -1 - 0). Suppose -2*v + 1934 = -f. Is v a composite number?
False
Is ((-4)/((-440)/(-11)))/(9/(-25210890)) a composite number?
False
Suppose 2*k = -4*f + 24222, -24212 = -2*k - f + 2*f. Let i = k - -2784. Is i composite?
False
Suppose 0 = 3*y - 4*g + 3*g + 10, 0 = y + 4*g + 25. Let d(l) = -13*l**3 - 6*l**2 - 3*l + 8. Let w be d(y). Let s = w + -443. Is s a composite number?
True
Let j = 11 - 22. Let x(h) = 14*h - 168. Let v be x(12). Is v - j/(-1)*-11 composite?
True
Let j(x) = 4*x**2 - 26*x - 41. Let y be j(8). Is 1 - (y + -7 + -6892) a prime number?
False
Let z = 22834 + -4205. Suppose -5*g = -2*u - 0*g + z, -g - 18649 = -2*u. Is u a composite number?
True
Let k = 111 - -6. Let q = -109 + k. Suppose 2117 = q*t - 4595. Is t prime?
True
Is 17861 - (-500)/75*9/(-6) a prime number?
True
Let b(a) = 359*a**2 - 115*a - 19. Is b(-10) a prime number?
False
Let r = -5 - -8. Suppose w + 1 = -5*i, -r*i - 4 = 4*w - 0. Is (-4403)/(-28) + w/4 composite?
False
Let m = -71 + 73. Suppose m*w - t + 5 = 0, 5*w - 14 = 4*t - 34. Suppose w = 7*a - 2497 - 1150. Is a prime?
True
Let n(l) = 48457*l + 1157. Is n(6) a composite number?
False
Suppose 782*p = 727*p + 9846155. Is p a prime number?
True
Suppose 835*u + 4043610 = 925*u. Is u prime?
False
Suppose 715453 = 5*j + 4*p, 5*p + 0 = -15. Is j a prime number?
True
Suppose 3*d + 4*s = 4*d - 658, 0 = 5*d - 4*s - 3354. Is (-3 - (-15)/(-5))/((-4)/d) a prime number?
False
Let f be (-7 - -1)/(4*15/(-80)). Let d be ((-5)/2)/(f/(-16)). Suppose d*b - 4167 = -3*w, -1017 = -b + 2*w - 194. Is b a composite number?
True
Let x(t) = -5*t**3 - 3*t + 7. Let i be x(-3). Suppose -15*g + 164 = -i. Suppose 0 = -7*a + 6*a + g. Is a a prime number?
False
Suppose -55*i - 241572 = -67*i. Is i a composite number?
True
Suppose -t - 7*n + 5 = -4*n, 2*n + 4 = 3*t. Suppose -5*i - t*c = -0*c - 236, 3*i - 5*c = 154. Is (-691)/(1*(3 - i/15)) prime?
False
Let i(r) = -r**2 - 3*r + 66. Let h be i(7). Let z be ((-982)/(2 - 0))/(-1). Is z + h*(-4 + 5) a prime number?
True
Suppose 19*l - 20*l + 2 = 0. Is (l - 1)/(53/109127) composite?
True
Suppose 3*j = 2*j - j. Suppose -3*w - 3*x = -2883 - 4416, 5*w - x - 12177 = j. Is w a prime number?
False
Is (-1*(4 - 2))/(124/(-