posite?
True
Let c be (-21)/7*1*4/(-3). Suppose -n = 5*s + 4*n - 22195, -s = c*n - 4433. Is s prime?
True
Let d(h) = -7*h**3 - 6*h**2 + 9*h + 7. Let v = -34 + 39. Suppose 0 = 3*p - r + 19, 2 = -p - v*r - 15. Is d(p) a prime number?
False
Let w = 97 + -87. Suppose 0 = -y - w*y - 14707. Let r = y - -4432. Is r prime?
False
Is (-2)/(-13) - 9265653/(-39) a composite number?
False
Let h(p) = p**2 - 100*p + 995. Is h(-46) prime?
False
Let y(h) = 7*h**3 - 9*h**2 + 8*h - 17. Let g = 512 - 506. Is y(g) a composite number?
True
Is ((-228)/(-1824))/(((-15)/1952232)/(-5)) a composite number?
False
Let w(p) = 2*p - 2. Let i be w(3). Suppose 3*r - 1531 = -i*s, 2*s + 1164 = 5*s - 3*r. Suppose 7*m - s = 2*m. Is m a composite number?
True
Suppose -10 = -5*k, 3*k = 2*t + 8*k - 79854. Is t composite?
True
Suppose 24 = 4*o - h, -2*o + o = -4*h - 6. Suppose -o*v + 250 - 616 = 0. Let c = -38 - v. Is c a composite number?
False
Suppose 27*s - 53*s = -36*s + 1044570. Is s a composite number?
True
Let s = -950 - -555. Let d = s + 1062. Is d a composite number?
True
Let n(v) = -3*v - 7. Let h be n(-3). Suppose 5*k = h*m - 7617, k - 6638 = -4*m + 8651. Is m a prime number?
True
Let h(k) = 22*k**2 - 41*k - 1. Let q be h(2). Suppose 3*f = -3*r + 882, 3*f + 555 + 875 = q*r. Is r prime?
False
Let r be -2 - (-8)/(2 + 0). Suppose 5*l + 564 = r*u + u, 0 = 5*l + 15. Let q = -20 + u. Is q prime?
True
Let k = 52 + -4. Suppose 7*d = 6 - k. Is d*(-4 + 5)*933/(-6) a composite number?
True
Suppose 0 = 2*w - 4*w + 20. Suppose -w*m = -4*m + 582. Let o = m - -191. Is o a prime number?
False
Let f = -12915 - -20342. Is f composite?
True
Suppose -2*j + 179 = 5*d, -4*d = -2*j + 17 - 153. Let a be (-3)/(-9) - d/15. Is a/(-10)*(2391 - -4) a prime number?
True
Let z = 327272 - -75929. Is z a prime number?
False
Suppose -3*n + 6399 = 3*r - 3357, -4*r = -5*n - 12999. Is r prime?
True
Let i(r) = 539*r - 342. Let b be i(19). Let k = b + -4630. Is k composite?
True
Suppose -9 = 3*y, -3*d - 2*y = -0*y - 3. Let r be -1*d + -512 + -3 + 6. Let c = -198 - r. Is c a composite number?
True
Suppose -1164 = -3*j + 5382. Suppose -3*w - 28230 + j = -5*g, 2*g + 5*w - 10413 = 0. Is g a prime number?
True
Let y = 9 - 49. Let i = -36 - y. Let s = i + 378. Is s a composite number?
True
Suppose 17*b = -y + 18*b + 4, y = 4*b + 7. Suppose 4 = q, -y*q = -4*v + 2*v + 5386. Is v composite?
False
Let c = -434 + 442. Suppose 10*o = -k + c*o + 4621, -4*k + 4*o = -18436. Is k prime?
False
Suppose -2*z + 1290274 = 4*b, -5*z - 4*b = -2*b - 3225741. Is z a composite number?
True
Is (-55170600)/(-160) + (-10)/8 a composite number?
True
Suppose 4*m = 37*c - 32*c + 1566840, -2*c + 1175107 = 3*m. Is m prime?
False
Suppose 10*d + 2*d - 8510347 = -7*d. Is d a prime number?
False
Suppose 3*b - 9*b + 11178 = 0. Let f = 2955 - b. Is f - (36/4 - 4) composite?
False
Suppose 0 = -4*i + 1937 - 16369. Let q = i - -5661. Is q composite?
False
Let v(i) = -36*i. Let j be v(1). Let g(o) = -o**3 - 8*o**2 + 18*o - 16. Let b be g(-10). Is 251/b + 27/j prime?
False
Is (9 + 16 + -28)*(7604/(-6))/2 a prime number?
True
Suppose 3*q = -2*n - q - 612264, -1530655 = 5*n + 5*q. Is n/(-161) + 1*6/(-14) a prime number?
True
Let b = 105 + -114. Is -3 + 9 + b - 2*-113 a prime number?
True
Let y = 3586000 - 2167395. Is y a composite number?
True
Let s(w) = 8529*w + 164. Is s(15) a composite number?
False
Let r(p) = -4*p**3 - 185*p**2 - 58*p - 292. Is r(-49) a prime number?
True
Let t = -83 + 86. Let j = -12 + 14. Suppose j*r - 4*r = t*n - 147, 4*r = n - 49. Is n prime?
False
Suppose -101*z + 31*z + 76781524 = 142*z. Is z composite?
False
Suppose 15*m = 118243 + 6609602. Is m a composite number?
True
Suppose 2*m - 4*d - 12008 = 0, 5*m - 6*d = -11*d + 29975. Is m prime?
False
Let o(c) = 184*c**2 + 5*c - 9. Let k be o(4). Let h = k + -398. Is h a composite number?
False
Let d(k) = -34*k - 65. Suppose 4*x = -2*i - 18, i = 5*x + 11 + 1. Is d(x) prime?
True
Let f(r) = r**2 + 6*r + 21. Let m be f(-20). Let x = m + -148. Let w = 220 - x. Is w a prime number?
True
Let s(y) = 12*y**2 - 2*y - 1. Suppose -8*x + 78 = 5*x. Is s(x) composite?
False
Let l = -12 - -10. Let f be 67*(4 + l)/2. Suppose -q + 2*m - 60 = -2*q, -f = -q + 5*m. Is q a composite number?
True
Let j(s) = -265*s**3 + s**2 + 3*s - 15. Let v be j(4). Let q = v - -25216. Is q composite?
False
Suppose 2*r = 5*x + 38, 2*x + 38 = -5*r + 7*r. Suppose 6*f - r*f = -16367. Is f composite?
False
Let c = 158 + -154. Suppose 2*z + c*x = 3872, -23*x + 22*x + 1935 = z. Is z composite?
True
Let n = -30 - -14. Let z(f) = 4*f**2 + 19*f - 18. Let j be z(n). Suppose -4*q = -3*a - a - 1408, -4*a - j = -2*q. Is q composite?
False
Let l = 2731 + -2593. Suppose 3*q + 1846 = q. Let c = l - q. Is c a prime number?
True
Is ((-36)/(-20))/(2 + (-1385961)/692985) a prime number?
False
Let s = 38 + -39. Suppose -5*z = -h - h + 27, -h = -z - 6. Is (h + -479)*s*5/2 prime?
False
Let l(z) = z**2 - 29*z + 74. Let x be l(22). Let r = x + 207. Is r a prime number?
True
Let r(k) = 1115*k + 176. Let j(q) = 558*q + 89. Let s(g) = 5*j(g) - 3*r(g). Is s(-6) composite?
True
Suppose 28*i + 1781625 = 103*i. Is i a composite number?
True
Suppose 3*q - 30 = -2*q. Suppose -3 + 79 = a - 5*t, 3*a + 5*t - 208 = 0. Suppose -q*n + 733 = -a. Is n prime?
False
Suppose p - 5*g - 18647 = 0, g - 74676 = -4*p - g. Suppose -5*r = -15, -r = 4*q - 6*q + p. Is q a prime number?
False
Suppose -3*i + 4*p = 3, -2*p - 3*p = i + 20. Let b = i - -7. Suppose -5*r + b*r = -1038. Is r a prime number?
False
Suppose 9 = -2*u + 9. Suppose 0 = -4*j - 4*p + 35488, -2*j + u*j = -5*p - 17772. Is (j/(-70))/((-2)/10) prime?
False
Is -7 + 296073 - (45 + -48) a prime number?
False
Suppose -16*v + 168392 = -11*v + p, 2*p = 3*v - 101043. Is v a composite number?
False
Let q = 14 - 10. Let b = 9 - q. Is b*(5 - 3 - -357) a prime number?
False
Is 149*(-198)/264*(-9484)/3 a composite number?
True
Let h(z) be the third derivative of 1/6*z**3 + 349/60*z**5 - 1/24*z**4 + 0 + 12*z**2 + 0*z. Is h(-2) prime?
True
Suppose 3*z = 5*o + 26, 0*z + 2*z - 24 = 5*o. Suppose 1380 = z*l - 298. Is l prime?
True
Let h(q) = -q**2 + 13*q - 6. Let p be h(12). Let x be p*(4 + 5/(-2)). Suppose -4*o + x*o = 8785. Is o composite?
True
Let k = -8491 - -12886. Suppose -a + 291 = 4*y - 3225, 5*y - 4*a - k = 0. Suppose -d - 2*d = -y. Is d prime?
True
Suppose 50*j = 96*j - 2889674. Is j composite?
False
Suppose 16*n - 18*n - 1002 = 0. Suppose w - 108 = -i, 245 + 307 = 5*i + 2*w. Is (n/(-12))/(452/i + -4) prime?
False
Let d(g) = 195*g + 95. Let u be d(2). Let w = u + -300. Is w prime?
False
Let t = 398626 - 12815. Is t prime?
True
Suppose 5*q = 5, d - 5*q = -0*d - 7. Let y be 7 + -10 + 0 + 379 + d. Suppose y = 37*f - 35*f. Is f prime?
False
Let m = 594 - 574. Suppose m*s = 5*s + 66615. Is s a composite number?
False
Let y(w) = 108*w**2 - 2*w + 29. Let f(k) = -54*k**2 + 2*k - 14. Let x(n) = -7*f(n) - 3*y(n). Let b = -12 - -14. Is x(b) a composite number?
False
Suppose -4*c - 62 = -166. Suppose -19*a - 6349 = -c*a. Is a a prime number?
True
Let o = 6202 + -3328. Suppose -o - 567 = -3*s. Is s a composite number?
True
Suppose 0 = -158*j + 178*j + 140. Suppose -4*v - 52 = -3*h - 0*h, 0 = -v + 5*h - 13. Let l = j - v. Is l prime?
False
Let t be 3 + 1212/15 - 2/(-10). Let g = 361 + t. Is g a prime number?
False
Let g = 308555 - 204028. Is g a prime number?
True
Let i(l) = 14 - 228*l + 0 + 0. Let u be i(-21). Let c = 7261 - u. Is c prime?
True
Let n = 153 + -218. Let x = 70 + n. Suppose 4*a + 4*c - 2524 = -c, -3155 = -x*a - 3*c. Is a composite?
False
Suppose -49*g + 3820649 = 703318. Is g prime?
False
Is 9/(-2)*104/(-234)*46393/2 a prime number?
False
Let v = 85 - 19. Is (-12)/v + (-67113)/(-11) a composite number?
False
Let l = 13445 - 1056. Is l a composite number?
True
Suppose -9*s + 254570 = x, -s = 5*x - 1285669 + 12951. Is x composite?
True
Suppose 0 = 3*k - 4*z - 65159, -3*k + 24*z - 25*z = -65134. Is k prime?
True
Suppose -5*k + 5*i = -10*k + 62665, 0 = -3*k + 4*i + 37620. Suppose 0*o = -4*m + o + 10033, -5*m + k = -3*o. Is m prime?
False
Suppose -9*n = -6*n - 564. Let m(w) = 3*w**2 - 3*w + 35. Let a be m(10). Let v = a + n. Is v prime?
False
Suppose -73*n - 586158 = -6693557. Is n a prime number?
True
Let m(n) = -18*n