-63316 = 19*w - 23*w. Is w a composite number?
True
Suppose -2*q = -5*p - 14143, q + 2*q + 5*p = 21202. Is q prime?
True
Suppose -384767 = -14*u - 9*u. Is u a composite number?
False
Let a be -3 + (4 - -1) - 3. Let z(p) = -93*p + 4. Is z(a) prime?
True
Let l(g) = -g**2 - 3*g + 8. Let v be l(-4). Suppose 5*k = -v*f + 764, 0 = -3*f + k + 4*k + 573. Is f a prime number?
True
Let y be (-2420)/(-3) + 2/(-3). Let q = 142 - 142. Suppose q = -5*u - y + 1971. Is u a prime number?
True
Let a(p) be the second derivative of 1435*p**3/6 + p**2 - 7*p. Is a(1) prime?
False
Suppose 11*b = 10*b. Suppose f + 2*t - 138 = b, 0*f - f + 159 = -5*t. Suppose 2*y - f = 2*v + 856, 1997 = 4*y - v. Is y a composite number?
False
Let x be (4/2 - -1) + 259. Let n be (3 - 35/14) + 101/2. Let l = x - n. Is l a prime number?
True
Suppose 4*h = 4*w + 112, 0 = 2*h - 2*w - 3*w - 44. Let s be (h/12)/(4/6). Suppose s*y - 2167 + 387 = 0. Is y prime?
False
Let l(p) = p**3 - 3*p**2 + 3*p + 2. Let c be l(3). Let f(h) = 9*h**2 + c - 4*h - 2*h + h**3 - h + 8*h. Is f(-8) prime?
True
Let b = -2 + 1. Is (130 - b) + 3*20/(-15) composite?
False
Suppose -4*r + 93 - 13 = 0. Let m = 39 - r. Is m a composite number?
False
Let p(v) = v + 4. Suppose -2*s - 4*i - 24 = 0, -5*s = -10*s + 4*i + 10. Let u be p(s). Suppose u*q - 233 = -4*w + 165, -5*w = q - 184. Is q a composite number?
True
Suppose 1377105 + 721575 = 40*d. Is d prime?
False
Let w = 13157 - 7234. Is w prime?
True
Is 82/41 + 375/1 a prime number?
False
Suppose 6*t - 2114 + 416 = 0. Suppose -l = -t + 16. Is l a composite number?
True
Let i(y) = -y**3 + y + 406. Let g be i(0). Let z be (-2)/8 - g/8. Let l = 160 - z. Is l a composite number?
False
Suppose -11 = -2*n + 3. Suppose -10 = -8*l + n*l. Is l a composite number?
True
Suppose 39*w - 32*w - 109207 = 0. Is w prime?
True
Let q be (-2 - -2) + (-10 - 1)*-45. Suppose z = -8*z + q. Is z a prime number?
False
Is (-789990)/(-300) + (-3)/10 composite?
False
Suppose -8*z + 14*z = 2664. Let f = 851 - z. Is f prime?
False
Let o(u) = -u**3 - 5*u - 73. Is o(-8) prime?
True
Is -2 + (-2)/((-10)/22445) prime?
False
Suppose -w = -5*o + 8 - 33, -10 = w + 2*o. Suppose -4*j + 10 = -j + s, 2*j - 3*s + 8 = 0. Suppose -b + 3*c + c + 449 = w, -j*b = -3*c - 923. Is b prime?
False
Suppose 0 = -4*l + 2*g + 60, 4*l - 30 = 2*l - 4*g. Let a = 29 + -30. Is (l/(-45))/(a/147) a prime number?
False
Let u = -1140 - -617. Let q = -10 - u. Suppose -q = -3*d + 3264. Is d prime?
True
Let f be (3/9)/((-2)/(-36)) + -3. Suppose -10510 = f*d - 8*d + 5*c, -d + 2*c = -2103. Is d a prime number?
False
Let a(l) = -5*l + 40. Let j be a(4). Suppose 18*f = j*f - 466. Is f a composite number?
False
Suppose 3*n = 3*i - 13314, -4*n + 8894 = 4*i - 2*i. Is i a composite number?
False
Let f(w) = 15*w**2 - 8*w - 6. Let m = 45 + -38. Is f(m) a composite number?
False
Let o(a) = 1 + 2*a**2 + 6*a**2 - 2*a**2 + 10*a. Suppose 0 = 2*m - 3*m + 7. Is o(m) prime?
False
Suppose 0*t + 340 = 5*t. Let v be (3 - t)/(2/(-2)). Let z = -42 + v. Is z a composite number?
False
Suppose 3*w - 3*o - 333 = 0, w = -6*o + o + 117. Suppose -4*n + 2*n + w = 0. Suppose n + 50 = 2*a. Is a prime?
True
Let t(v) = -2*v**3 - 8*v**2 - 4*v + 4. Let i be t(-5). Suppose -2*u = 4*c - 12, -19 = -5*u - 2*c - 5. Suppose -u*r + i = -0*r. Is r a composite number?
False
Suppose -7*d = -6*d. Suppose r = 5 - d. Suppose -r*s + 45 = -2*s. Is s composite?
True
Suppose -b + 33576 = -31217. Is b prime?
True
Suppose 0 = -4*q + 3*x + 7038, -4*q + 3*x + 1755 = -3*q. Is q prime?
False
Let o(u) = 1529*u**2 + 2*u + 1. Let k be o(-1). Suppose 3*f + p - k = -p, 0 = f + 3*p - 521. Suppose 5*b - 3*t - 282 = 1001, 3*t + f = 2*b. Is b prime?
False
Let o be 72/5*190/4. Suppose 0 = 8*v + 18 + 3670. Let y = v + o. Is y a composite number?
False
Let b(k) = 35*k**3 - 3*k**2 - 7*k - 1. Let l be b(-3). Let x = l + 1333. Is x prime?
False
Suppose 3*c = 5*d - 6107, -6608 = -5*d + 4*c - 497. Is d composite?
True
Suppose -2*n - 80620 - 417 = -3*y, 5*y = n + 135057. Is y prime?
True
Is 1 - 17/((-85)/48080) a composite number?
True
Suppose -11*c + 8351 = -26904. Is c prime?
False
Let q = 479 + 2984. Is q composite?
False
Suppose -6*r + 35 = -1. Is (-4 + r)*143 + 3 composite?
True
Let o(q) = 10*q**2 - 4*q + 5. Let i(u) = -u**3 - 4*u**2 - 2*u + 2. Let x be i(-4). Suppose -5*t + 5 = -x. Is o(t) a prime number?
True
Let h(l) = l**2 + 2*l - 3. Let y be h(0). Let r be y + (0 - (2 + -5)). Suppose r = -5*v + 429 + 206. Is v a composite number?
False
Let q be 9/(1 - 4/2). Let m(u) be the third derivative of -u**6/120 - u**5/20 - u**4/6 - u**3/6 + 6*u**2. Is m(q) a prime number?
True
Let k(q) = -76*q**3 + 6*q**2 - 16*q - 8. Let v be k(-6). Suppose v = 4*o + 7004. Is o composite?
True
Let k(c) = -6*c**3 - 14*c**2 + 15*c - 26. Let f be k(9). Let b = 7756 + f. Is b prime?
True
Let w = 45544 + -929. Is w a composite number?
True
Suppose 0 = u - 3*h - 16, -23 = -5*u + 2*u + 4*h. Let w be (-1)/3 + 52/12. Is u/(4/149)*w a prime number?
True
Suppose -3*r + 34085 = -2*b, -5*b - 8136 = -2*r + 14602. Is r a prime number?
False
Let g be 1299/(-2)*20/30. Is (4 - 1)/((-12)/8) - g composite?
False
Let a be (-58)/(-14)*64 + 3/(-21). Let n = 614 + a. Is n prime?
False
Let x = 577 + -286. Is x a composite number?
True
Suppose -5*f + 9010 = -3*l, -3*f + 7191 = f + l. Let d = f - 880. Is d prime?
True
Suppose 3*r + 2 = -4*m + 18, -2*m - 4*r = -8. Suppose t + 0*s = -2*s + 19, 2*t - m*s = 38. Let d = t + -12. Is d composite?
False
Let x be (1/(10/2474))/((-2)/(-10)). Suppose 1574 = 3*b - x. Is b a composite number?
False
Let s(q) = q - 4. Let f be s(9). Suppose -f*y = -437 - 108. Let d = y + -74. Is d composite?
True
Let b = -86 + 133. Let o = b + -80. Is (148/3)/((-22)/o) a prime number?
False
Let f(p) = 0 - 8 + 1 + 4 - 187*p. Is f(-14) a composite number?
True
Suppose l - 5606 = -5*q + 1022, -5*l + 33074 = 3*q. Is l a composite number?
True
Suppose u - 2*r = 717 - 31, 4*u + 3*r - 2755 = 0. Suppose u = o - 151. Is o a prime number?
True
Let j = -39 - 27. Is (-188*(-3)/18)/((-4)/j) a composite number?
True
Let k(l) = -30*l**2 - 19*l + 9. Let q(y) = 15*y**2 + 9*y - 5. Let n(p) = 4*k(p) + 9*q(p). Is n(4) a composite number?
False
Let c = 8997 + 20038. Is c a prime number?
False
Suppose -190161 = -17*a - 47514. Is a a composite number?
True
Let w(v) = 133*v**2 + 21*v - 97. Is w(8) a prime number?
False
Let s(y) = 3*y + 3*y**2 - 7 - 3 + 2*y**3 - 4*y**2 - 3*y**3. Is s(-7) prime?
True
Suppose a + 2*a = 123. Suppose 2*w + 204 = 558. Suppose l - w = a. Is l composite?
True
Let x = -8616 - -5342. Is (2/6)/(2/(-3))*x a prime number?
True
Suppose 5*t - 454 - 301 = 0. Suppose 5 = i, -i + 79 = -2*z + 2*i. Let d = t + z. Is d a composite number?
True
Let r be (5*(-3 + 4))/1. Suppose 174 = 2*h + 4*z, r*h - 5*z + 3*z = 483. Is h composite?
True
Suppose 0 = 5*q - 5, 4*j + 5*q - 1361 = -0*q. Is j prime?
False
Suppose 0*r - 37 = -r. Suppose -5*i + 842 = r. Is i prime?
False
Let t = 252 - 147. Let w = 82 + t. Is w prime?
False
Let d = -35790 - -76007. Is d a composite number?
True
Let i(w) = w**2 - 9*w - 6. Let h be i(10). Is -1 + 423 + (1 - h) composite?
False
Suppose -4 = 4*t + 4, -5*v + 19 = 3*t. Suppose l + 4*k - 198 = 0, 5*l - 711 - 339 = -v*k. Is l composite?
True
Let z(m) = -m**3 + m**2 - 1. Let g(s) = -5*s**3 + 10*s**2 - 12*s - 17. Let v(n) = -g(n) + 6*z(n). Is v(-7) prime?
False
Suppose -19*l = -18*l - 4. Suppose 0 = -l*m - m + 285. Is m a prime number?
False
Suppose -5632 = -2*t - 8*l + 11*l, -3*l = -4*t + 11270. Is t a prime number?
True
Suppose -3*v - 122509 = -4*g, 7*v - 11*v + 20 = 0. Is g prime?
True
Let l = -151 + 324. Let c be ((-2781)/(-108))/((-1)/(-8)). Let a = c + l. Is a a composite number?
False
Suppose -3*y + 400 = o, -5*o - y = -4*y - 1946. Is o a composite number?
True
Let z(t) = 2911*t + 66. Is z(5) a composite number?
False
Suppose 0 = o + 5*j - 2154, -o + 4*j = -425 - 1702. Let l be o/9 + 6/(-9). Let g = -131 + l. Is g a prime number?
False
Let o(r) = r + 1. Let j be o(6). Let u be j - (0 + 0 + 3). Suppose u*x + 53 = 3*k, -3*k + 2*x + 84 = k. Is k prime?
True
Let y(q) be the second derivative of -19*q**3/2 - 17*q**2/2 + 7*q. Is y(-18) a prime number?
True
Let f(q) = 27*q + 131. Is f(6) a composite number?
False
Suppose 2*l - 13904 =