 8*s - 1 - 7*s**2. Let p be m(10). Is a(p) a prime number?
False
Let k(u) = 24652*u**2 + 3*u - 41. Is k(2) composite?
False
Is ((-254634)/12 + 5)/(-1 - 1/2) composite?
False
Let a(j) = 315*j**2 - 50*j - 157. Is a(20) prime?
False
Suppose 2*y - y = -4*d + 160, -4*d + 4*y = -160. Let a be 144/10 + (-16)/d. Suppose a*n - 4197 = 11*n. Is n prime?
True
Suppose 0 = 2*b - 7*b + 3*f + 2409, -5*b + 2407 = -4*f. Suppose 2*x - 1905 - b = 0. Suppose x = 4*u + 374. Is u prime?
False
Let a(j) = -112*j**3 - 11*j**2 - 4*j + 2. Let s(h) = -h**2 + 10*h + 21. Let m be s(12). Is a(m) composite?
False
Let d = 13768 + -9051. Let s = -2138 + d. Is s prime?
True
Let m = 1 + -1. Let a = -622 + 627. Suppose -3*o = -m*o - a*t - 2073, t = 5*o - 3455. Is o composite?
False
Suppose -310*k + 223505175 = 125*k. Is k composite?
True
Let i(v) = 7*v**2 + 3*v + 9. Let x = 79 - 69. Is i(x) a composite number?
False
Let f(p) = -p - 4. Let m be f(-17). Suppose 5*a - 35183 = 4*n, 2*a - 14069 = 16*n - m*n. Is a a prime number?
True
Suppose 1126431 = 200*c - 6834169. Is c prime?
False
Let x be (130/(-25) - -4)*-5 + -4. Suppose -2 = -4*b + x, 2335 = j + 2*b. Is j composite?
False
Is (-3*374819)/((-3)/(-2))*(-2)/4 a prime number?
True
Suppose -2*h + 265 = 67. Suppose 94*s = h*s - 11045. Is s prime?
False
Let o be (-10 - -5) + 6 - -6. Suppose -o*r - 13104 = -3059. Let v = -984 - r. Is v a composite number?
True
Let k be 9/(-3) - (-115192)/11. Let g = k - 4732. Is g a prime number?
True
Let j = -408 - -422. Is 5315 - (2/(-4)*j - -5) a composite number?
True
Suppose 0 = -2*b + 4*w + 146926, -4*w + 34484 = 5*b - 332887. Is b a prime number?
True
Suppose 9*z = -5*q + 5*z + 344085, 0 = -3*q + z + 206434. Is q a composite number?
False
Let n = -16 - -21. Suppose -2*t + 6*h - n*h + 4103 = 0, -t - h + 2056 = 0. Is t prime?
True
Suppose -957*l = -994*l + 3951119. Is l a composite number?
False
Suppose 0 = -3*t - 5*k + 315617, 2*t - 5*k = -3*k + 210390. Is t prime?
True
Let h = -282 - -1927. Suppose 7*t = 700 + h. Is t a prime number?
False
Let a be (-2)/(-10) - 0 - 3408/(-10). Let h be -2 + 3/2 + a/22. Is (1910/h)/((-7)/(21/(-2))) a composite number?
False
Suppose -4*h = -22 - 26. Suppose 3*o + h = -0*s - 5*s, 2*s = 4*o + 16. Suppose -2*q + 2*x = -1118 - 226, s = -3*q - 3*x + 2046. Is q composite?
False
Suppose 2*i = i - o + 1218, -4*i = -o - 4882. Suppose -4*j + 1172 + i = 0. Let d = j - -213. Is d a prime number?
True
Suppose -172*f = -65*f - 6603719. Is f a composite number?
False
Is ((-5526631)/22)/((-23)/46) composite?
False
Let i = -15 - -72. Let r = 47 - i. Is (-2948)/r*(-105)/(-42) composite?
True
Let o(g) be the third derivative of 109*g**4/24 + 13*g**3/6 + g**2 + 40*g. Is o(4) a prime number?
True
Let h(m) = -1635*m - 60. Let z(p) = 817*p + 30. Let y(b) = -6*h(b) - 11*z(b). Is y(1) a prime number?
True
Let z be 7 - 5*(-24)/(-30). Suppose -z*y - 2026140 = 12*y. Is 7/70 + y/(-40) composite?
True
Suppose 9*i - 1560614 = -22*j + 10*i, 0 = 2*j - i - 141874. Is j composite?
False
Let l be (-23)/(-207) - 38*2/36. Is 5218/l*(-19)/19 prime?
True
Let h(n) = -n**3 - n**2 - 2*n + 2*n**3 + 11 - 3*n**2. Let m be h(4). Suppose m*u - 394 = 257. Is u prime?
False
Suppose -l + 9424 = -c, -3*c + 19209 = 4*l - 18515. Let g = 8370 + -14919. Let w = l + g. Is w a composite number?
False
Suppose 5*k - 18 = 3*k. Let p be (6/k)/((-3)/(-9)). Is -1*p + (-440)/(-8) a composite number?
False
Let q = 74 + -71. Let y be 18/(-10)*40/(-12). Suppose 0 = 2*b + q*c - 1943, y*b - b + 5*c - 4870 = 0. Is b a composite number?
True
Suppose -12122 = -3*i + 22978. Suppose -5*o + 17609 = 4*l, -5*l = -2*o - i - 10336. Suppose 1847 = -4*d - w + 6245, -4*d - 5*w + l = 0. Is d a prime number?
False
Let b(t) = 115*t**2 + 5*t + 1. Let v(s) be the third derivative of -s**5/60 + 3*s**4/4 - 34*s**3/3 - 19*s**2. Let i be v(12). Is b(i) a prime number?
True
Suppose 5*o - 69431 = -4*r, 11503 = o + 5*r - 2400. Is o prime?
True
Let k(a) = -a + 3. Let l be k(-5). Let v(b) be the third derivative of 41*b**4/12 - 3*b**3/2 - 22*b**2 - 49. Is v(l) a prime number?
True
Let b = 2035693 - 1202694. Is b prime?
False
Let n = -59804 - -96939. Suppose 65*q + n = 72*q. Is q prime?
False
Let i(p) = -4*p**2 - 36*p + 13. Let b be i(-13). Is (-4)/30 - (-6 - (-1779401)/b) composite?
True
Let f = -453421 - -2002442. Is f a composite number?
True
Let o be -6 - (-1 + 5 - -12). Is 6*(-1609)/o + (-4)/(-22) composite?
False
Let a(r) = 1004*r**2 + 2925*r + 6. Is a(-7) composite?
True
Let s = 341 - 222. Suppose 3*c - 2926 = s. Suppose -9*a + 4*a + c = 0. Is a a prime number?
False
Let d = -193162 + 274139. Suppose -d = 7*r - 242684. Is r prime?
False
Is (1/2)/((-115491134)/(-5249596) + -22) a prime number?
False
Let j(l) = l**3 - 2*l**2 + l + 51. Is j(22) prime?
False
Let c = -1202 - -2495. Is c a prime number?
False
Let h be (-5 + (-80)/(-15))/(3/36). Suppose 4*r + 4 = 0, -b = 3*b + h*r - 9000. Is b a composite number?
False
Suppose 33*h + 252 = -9*h. Is 689586/(-76)*4/h prime?
False
Suppose 5*b - 193188 = -3*a + 127999, 0 = b - a - 64231. Let n = b + -39698. Is n composite?
True
Suppose -2*q + 62374 = 3*q + 4*f, 49901 = 4*q + 5*f. Let x = -7061 + q. Is x a composite number?
False
Let k = 86573 + -52612. Is k prime?
True
Let a(w) = -3*w. Let c be a(0). Let m = -2223 + 4225. Suppose 3*g - 1199 - m = c. Is g composite?
True
Suppose j = -5*z - 70, -3*z + 3*j - 6*j - 30 = 0. Let v(c) = 9*c**2 + 21*c + 29. Is v(z) composite?
True
Let y = 135 + -130. Let n = 4 + 1. Suppose y*q + n*f = 6975, 3*q + 1399 = 4*q - f. Is q composite?
True
Let r(x) = -1938*x + 31. Let i be r(15). Let a = -8521 - i. Is a prime?
False
Suppose 2*j + 16*q - 20498 = 13*q, 0 = 3*j - q - 30725. Is j prime?
True
Let h(f) = f**3 - 76*f**2 - 690*f + 398. Is h(91) a prime number?
False
Let f = 14504 + -25839. Let s = f - -19836. Is s a prime number?
True
Suppose -98*z + 77761 = -97*z. Is z a composite number?
False
Suppose 4*k - 6 = 18. Suppose -4*d + k*d = -132. Let z = -19 - d. Is z a prime number?
True
Let b = 1965 - 3688. Let u = -369 - b. Is u a prime number?
False
Let w(s) = -8*s**3 + 4*s**2 + 3*s - 2. Let u be w(4). Let h = 463 + u. Is h a prime number?
False
Let h be (-1 + -78)*1 - (7 - 3). Let n = -77 - h. Suppose 10*o = n*o + 748. Is o a composite number?
True
Let u(n) = 25*n**3 - 8*n**2 + 28*n - 3. Let v(k) = -k**3 + 2*k. Let l(g) = u(g) - 3*v(g). Is l(2) composite?
False
Suppose -86*z = -89*z - 72. Is 1777*(z/(-4))/6 composite?
False
Let z(o) = 7*o**3 - 13*o**2 - 3*o + 63. Let x(q) = -5*q**3 + 9*q**2 + 2*q - 42. Let b(p) = 8*x(p) + 5*z(p). Is b(-4) a prime number?
False
Let f be (4 + 2/((-6)/13))*-9. Suppose -3*y - 2217 = -n + 250, f*n + 3*y = 7449. Is n prime?
False
Let r = 3658 - -3088. Suppose 2*j + 558 = 5*c + r, -4*c = 2*j - 6206. Is j a prime number?
False
Let p(a) = 2*a**2 - 4*a + 22. Suppose 193 + 95 = -12*c. Let f be p(c). Suppose v + f = 6*v. Is v a composite number?
True
Let a(i) = i**2 + 2*i - 6. Let q be a(-6). Suppose 0*k + 3*k = -q. Is (-5642)/k + ((-46)/(-6) - 7) composite?
False
Let p = 87 + -82. Suppose 2*x = p*x + 3*x. Let b(f) = 3*f + 178. Is b(x) a composite number?
True
Let d be (-4)/(-14) + 8/(672/470796). Suppose 2*b - 7*b = -d. Is b prime?
False
Let r be (-1 - -1)/(-6 + 2). Suppose 0 = -2*q - 4*c - r - 12, 5*c + 15 = 0. Suppose 0 = -2*o + z + 155, q = -5*o - 0*o - 5*z + 410. Is o prime?
True
Let i(d) = d**3 - 12*d**2 - d - 8. Let t be i(12). Let c = t - -28. Is (-23330)/(-40) + (-2)/c a composite number?
True
Let l(b) = -16652*b - 5350. Is l(-49) a composite number?
True
Suppose 38 = -3*h - 43. Let w be 1*-92*-3 + 27/h. Suppose -5*f + w + 120 = 0. Is f prime?
True
Let y(q) = -q - 8. Let s be y(-11). Suppose 1072 = s*t + 364. Suppose 6 = -2*n + t. Is n a prime number?
False
Let z(u) = 355*u - 30. Let h be z(7). Let f = 5352 + h. Is f prime?
False
Let a(d) = -11 - 5*d + 7 + 2904*d**2 - 2. Is a(-1) prime?
True
Let m(u) = 61*u**2 - 51*u - 1215. Is m(-34) a composite number?
True
Let q = -11 - -47. Let m = -34 + q. Is (2 - 8/m)/2*-757 a composite number?
False
Is (-12 + 414/36)*(-359557 - 1) prime?
True
Is ((-1)/18*-12)/(-1)*(-847668)/8 a prime number?
True
Let p(r) = r**3 - 3*r**2 - 2*r - 5. Let w be p(4). Suppose 0*x = -3*f - 5*x + 26467, 2*x - 26461 = -w*f. Is f prime