e r(14). Let o = f - 6227. Is o prime?
True
Let x(d) = 5*d**2 - 7*d - 6. Let v be x(2). Suppose 32*g = 4*q + 37*g - 15954, -q + g + 3993 = v. Is q composite?
True
Let r = 54073 + 5616. Is r prime?
False
Let a(x) = -x**2 + 5*x + 31. Let u be a(7). Suppose 67*k - 298450 = u*k. Is k a composite number?
True
Suppose 3*u - 7*i = -11*i + 60003, 5*u + 4*i = 99997. Is u a prime number?
True
Suppose 0 = 3*r + 3*n - n + 26270, -3*n + 8753 = -r. Let v = 12909 + r. Is v a prime number?
True
Let s(a) be the first derivative of -4 - 3/2*a**2 + 64/3*a**3 + 0*a. Is s(-1) a composite number?
False
Suppose -2*m - 5*z = 9, 3*z = z - 6. Suppose -4*i - 7 = -m, -s + 7797 = -i. Let n = s + -4785. Is n prime?
True
Let c(g) = -4*g**2 - 14*g - 8. Let o be 7*(1 + 4 + -3). Let k be c(o). Let w = 1467 + k. Is w a prime number?
True
Let w(t) = -t**3 + 6*t**2 - 2*t - 7. Let x be w(5). Suppose x = 4*b, 7 + 4 = 3*v + b. Is ((-3)/v)/((-1)/2609) a composite number?
False
Let b(c) = -c**2 + 6*c - 6. Let w be b(5). Let v be w + (-4 - -3) + 1537. Suppose 288 = k - 3*r, 5*k - v = 2*r - 6*r. Is k a composite number?
True
Let r be (-72)/(-27)*(-171)/(-2). Suppose -3*g + 135 = -r. Suppose -1944 = -5*b + g. Is b composite?
True
Suppose -3*d + 24 = 3*g, g - 20 = -3*g. Suppose -4*l - 3702 = s - 22687, 0 = -d*l + 15. Is s a composite number?
True
Suppose -15*t = 69*t - 9878732 - 74176. Is t composite?
True
Let q = 103 - 100. Suppose -q*m + 39 = -15. Is ((-6)/m)/((-2)/7554) prime?
True
Let n(u) = 56*u**2 + 129*u + 2. Let i = 498 - 513. Is n(i) a prime number?
True
Let m(z) = 2*z + 53. Let a be m(8). Is (0 + 141)/(a/115) prime?
False
Let g(i) = -i**2 + i - 34. Let a be g(0). Let j = a - -36. Is 211*(2 - -1 - j) composite?
False
Suppose 0 = 11*c + 399321 - 1584966 - 389456. Is c composite?
True
Let m be ((-9 - -7) + 1)/(-1 - 0). Let n(r) = r**2 - 7*r - 9. Let f be n(8). Is (m + 0 + -1196)*f prime?
False
Let p(f) = 15*f**2 - 3 - 6*f**2 + 258*f**3 + 64*f**3 + 3*f. Let l be p(-3). Is 9/36 - l/12 prime?
True
Let k(s) = 2*s - 25. Let n be k(12). Let d be 1*5/(10/318). Let f = n + d. Is f a prime number?
False
Let l(z) = 3155*z**2 + 8*z - 200. Is l(-11) a prime number?
True
Let l be -201 - 3/(-9)*-9. Let z = -121 - l. Let u = z - 52. Is u a composite number?
False
Is (189 + -1916203)/(0 + -2) composite?
False
Suppose 0*i = 4*i - 12, 0 = 4*p + 3*i + 1135. Let d = p + -164. Let y = -61 - d. Is y prime?
True
Let s(m) = -25*m**2 - 2*m + 1. Let k be s(1). Let n = k + 31. Suppose h - n*h - 257 = -b, -4*h = -2*b + 510. Is b composite?
True
Suppose 5*h - 59982 = 3*x, 0 = -5*h + 7*h + 3*x - 23997. Let o = h + -6868. Is o composite?
True
Suppose 32235 = 12*a - 753561. Is a a prime number?
False
Let j(i) = 2*i**3 + 3*i**2 - 1. Let p be j(1). Suppose p*d = -7*b + 4*b + 41122, -d + 3*b + 10273 = 0. Is d prime?
False
Suppose 0 = v + 39*v - 23239139 + 3509419. Is v a prime number?
True
Suppose 5*h + 15 = 0, -934758 = 465*o - 468*o - h. Is o composite?
True
Let n = -44102 + 118335. Is n prime?
False
Suppose 0 = -2*w + 7*w - 2*l + 18, -2*w - 4*l = -12. Let z be (6 + (-12)/2)*w/(-6). Suppose -3*b + z*b = -2019. Is b a prime number?
True
Let j = 115580 + -67647. Is j composite?
False
Suppose 887*t + 457737 = 889*t + 5*x, t - 228866 = -3*x. Is t a prime number?
True
Let f = 198 + 3131. Suppose f + 1051 = 4*b. Suppose 4689 = 6*g + b. Is g a prime number?
True
Let f(a) = -4*a + 27*a**2 - 2 + a**2 + 38*a**2. Suppose -5*p + 4 = -3*p. Is f(p) prime?
False
Let r(l) = -4*l - 25. Let j be r(-7). Let z(x) = -1 + 0 + 19*x + 11*x + 0. Is z(j) a composite number?
False
Suppose g + 5*s - 176932 = 0, 53*g - 50*g - 530856 = -3*s. Is g a composite number?
True
Suppose l - 29463 = -20*l. Let v = l + 351. Is v composite?
True
Let b(m) = -2382*m**3 - 2*m**2 - 59*m - 288. Is b(-5) a prime number?
True
Suppose -t + 2724 + 331 = 0. Suppose -10272 = 1730*v - 1736*v. Let x = t - v. Is x a prime number?
False
Suppose -3*z - 76799 = -4*w, -2*z - 10359 = -4*w + 40835. Let u = 43322 + z. Is u a prime number?
False
Is (20/(-60))/((12/(-774243))/4) composite?
False
Let a = -72 - -93. Let g be (301/a)/((-3)/(-9)). Let k = 118 + g. Is k a composite number?
True
Suppose -5*m - 10975 = -5*f + 8070, 3*f - 11431 = m. Let d = -2118 + f. Is d a prime number?
True
Suppose 77 = 2*b + 79. Is (3/6 - b)*524/3 composite?
True
Is 3903295/(-2)*(-40)/100 a composite number?
True
Let x(m) = -4*m + 2. Let j be x(0). Suppose -5*h - 4*b + 14239 = 3749, 0 = j*h + b - 4196. Suppose 3*r + h = 6775. Is r prime?
True
Let g = 231 - 208. Is 10613 - (26 - g - (8 - 0)) a composite number?
True
Suppose -5*p - 2*a - 356 - 4 = 0, -2*p - 144 = 3*a. Is 54/p - ((-23373)/12 - 2) a prime number?
True
Let j(p) be the first derivative of -5*p**2/2 - 62*p - 20. Let d be j(-13). Suppose -d*w + 917 = -2*w. Is w a prime number?
False
Suppose 977801 = 17*b + 4*i, -4*b + 7*i + 230065 = 6*i. Is b composite?
True
Let b be (-158 + 76)*(-2 - (-16)/(-1)). Let h = b + 8659. Is h prime?
False
Let t(s) = -10*s**2 + 3*s**2 + 5 + 1 - 2*s**3 - 6*s**2 - 8*s. Let n be t(-6). Suppose v + 5*w - 10 = 14, -w - n = -v. Is v a composite number?
False
Let x = -116044 + 169275. Is x a prime number?
True
Suppose 161*m - 350*m = -173*m - 764176. Is m composite?
True
Suppose -14*w - 21060 - 3398 = 0. Let y = 3228 + w. Is y a composite number?
False
Suppose -106340 = -5*z - 3*t, 0*z = z + 5*t - 21246. Is z a prime number?
False
Let q(p) = 23*p**3 - 3*p**2. Let s be q(3). Suppose -5863 = -11*x - s. Is x a composite number?
False
Suppose 37*x = 54*x - 1380577 + 268794. Is x a composite number?
True
Let s(z) = 706*z - 136. Let n(v) = -708*v + 135. Let o(g) = -3*n(g) - 2*s(g). Is o(6) prime?
True
Let h(v) = 245*v**2 + 3*v + 4. Let r = -41 - -39. Let q be h(r). Let d = q + -541. Is d composite?
True
Suppose -5*w + 5*p = 36105, 7*w - 4*w - p = -21663. Let s = w - -10300. Is s a composite number?
False
Let x(u) be the first derivative of -u**3/3 - 3*u**2/2 + 717*u - 28. Let p be x(0). Suppose -6*j = -3*j - p. Is j prime?
True
Suppose 8*z - 386 = 4*z + q, 5*q - 470 = -5*z. Suppose z*x + 38145 = 111*x. Is x composite?
False
Let g(a) = 136*a - 10. Let c(t) = -27*t + 2. Let m(n) = -11*c(n) - 2*g(n). Let q be -2*(12/(-8) - -1). Is m(q) a prime number?
True
Suppose 524611 + 2544804 - 716152 = 33*r. Is r a prime number?
False
Let n = 33 + -40. Let v(b) = 6*b + 46. Let j be v(n). Suppose -m = -4*s + 2*m + 6284, 0 = 3*s + j*m - 4738. Is s composite?
True
Let v(r) = -38012*r - 6753. Is v(-10) a composite number?
True
Let l(w) = -30*w - 13. Let s(d) = 58*d + 26. Let q(p) = -5*l(p) - 3*s(p). Is q(-16) composite?
True
Suppose 30*o - 31*o = -2*w - 3297, 2*o - 6597 = w. Is o prime?
True
Let g = -57064 + 259971. Is g composite?
False
Suppose 10*u - 23*u = -8372. Suppose -15*s + u = -11*s. Is s a prime number?
False
Let i(d) be the first derivative of 310*d**2 + 18*d + 16. Is i(4) a composite number?
True
Suppose 314 = 2*g + 202. Is (-8)/(g/(-7))*36913 a composite number?
False
Suppose 16 = 4*t - 3*n, -2*t + 3*n + 8 = 7*n. Suppose 0 = c - 6*c + 20, -24506 = -3*u + t*c. Let s = -4975 + u. Is s a prime number?
False
Let v(k) = -1334*k + 873. Is v(-37) composite?
False
Let x(k) = -k**2 - 24*k - 14. Let l be x(-26). Let z = -62 - l. Is -4 - 2/z*-614 a prime number?
False
Let k(v) = -210*v**3 + 3*v**2 + v - 1. Suppose 4*b - 2 = -2*d + 4*d, 0 = d + 2*b + 1. Is k(d) a composite number?
False
Suppose 8*g - 8838 = -2*w + 4*g, 5*w - 3*g = 22121. Let f = w - -1606. Is f prime?
True
Suppose 19*z - 619706 = 9037937. Is z a prime number?
True
Suppose -824*d + 827*d - 1203 = 0. Let x = d + 318. Is x composite?
False
Suppose -5*b - 25 = -5*m, -15 = -6*m + 3*m - 2*b. Let r(l) = l**2 + 2*l - 25. Let n be r(m). Suppose -n*u + 57 = -1493. Is u a prime number?
False
Let y = 993 + -9116. Let v = y + 16476. Is v a composite number?
False
Let y(v) = -9064*v + 3043. Is y(-6) a prime number?
True
Is (1 - 18/12)*((4 - 677586) + 0) prime?
True
Suppose -97*c + 130*c - 14699091 = 0. Is c a composite number?
False
Let d = 23552 - -19607. Is d composite?
False
Suppose -8 = 3*g - u, -2*g - 11*u = -10*u - 3. Let w be (19/(-2))/(2*g/748). Suppose -999 = 2*i - w. Is i a prime number?
True
Let m = 2195 - 5131. Let s = m + 4328. Let z = s + -629. Is z a prime number?
Fals