Is v a prime number?
False
Let s(d) = 10*d - 5*d - 40*d - 31*d. Let r be s(-2). Suppose 0*j + 4*j - r = 0. Is j a composite number?
True
Let c(h) = 56*h - 1. Let l(x) = 56*x - 1. Let q(p) = -6*c(p) + 5*l(p). Let r be q(-3). Let m = r + -78. Is m a prime number?
False
Let k(l) = l**3 - l**2 - l + 27. Let n be k(0). Let p = n + 33. Suppose -14 = -q + p. Is q composite?
True
Is -4 + (4 - (3 - 242)) + -2 composite?
True
Suppose 6*l + 0*l = 28698. Is l a prime number?
True
Let k be 1/(-1 + 16/14). Suppose -1419 = k*c - 4772. Is c prime?
True
Let i(w) = 43*w**2 - 23*w + 95. Is i(14) a composite number?
True
Let t(k) = -k**2 + 20*k - 14. Let f(l) = 2*l**3 - 4*l**2 - 6*l + 3. Let v be f(4). Suppose 4 = -3*g + v. Is t(g) a prime number?
False
Let w(c) = -c**3 + 5*c**2 - 2*c - 5. Let o be w(4). Suppose o*q = q + 5*r + 5400, 0 = -5*q - r + 13527. Is q a composite number?
True
Let m(t) = 3826*t - 517. Is m(9) prime?
False
Is (6186 - (5 - 3)) + -11 a prime number?
True
Let x(b) = 17*b**2 - 18*b - 4. Let s be x(9). Let z = 1885 - s. Is z a composite number?
True
Suppose b - 9150 = 4*b - v, 0 = 3*v. Let m = 4563 + b. Is m prime?
False
Suppose 1535 = -h + 3*h + 3*a, 0 = -2*h + 3*a + 1505. Suppose 4*q + 4*c + h = 1980, -4*c - 315 = -q. Is q composite?
False
Is (6/24)/((-1)/(-1048)) a composite number?
True
Let f = 24 + -24. Suppose -6*b + 10477 - 73 = f. Suppose -b - 1759 = -7*z. Is z a composite number?
False
Is (57/6)/(3 + (-2290)/764) a composite number?
True
Let s be 125 + -3*(-1)/1. Suppose 2*x - s = -520. Let h = x + 387. Is h prime?
True
Let l(a) = 2*a + 4. Let n be l(-3). Let p = n + 4. Suppose -5*i - 22 = -p, 3*v - 178 = i. Is v a composite number?
True
Let d = -375 + 204. Let i = 260 + d. Is i a composite number?
False
Let j be ((-1)/3)/(6/(-36)). Let h be (5 - j) + -3 + -2. Is ((-395)/10)/(h/4) prime?
True
Let t(p) be the first derivative of 23*p**4/12 + p**2 + p - 3. Let j(k) be the first derivative of t(k). Is j(2) prime?
False
Suppose 0 = -8*f + 2*f + 14868. Suppose -2*r = 4*r - f. Is r a composite number?
True
Let k(y) = -y**3 - 5*y**2 - 8*y - 9. Let x be k(-4). Suppose x*t = 2018 + 4331. Is t a prime number?
True
Suppose -188*i + 181*i = -644231. Is i a prime number?
True
Let i(g) be the third derivative of 695*g**4/12 - 16*g**3/3 + g**2. Is i(3) prime?
False
Let u be 2/((2 - 5)/303*1). Let s be (-27)/6*(-20)/(-6). Let c = s - u. Is c a composite number?
True
Let l(i) = 52*i**2 + 3*i + 3. Let r be l(-4). Let z be 1*(0 + 2/1). Suppose -z*b + 2*a = b - 2493, b = -2*a + r. Is b a composite number?
False
Let r(q) = 134*q + 73. Let u be r(-6). Suppose 2*d = -3*d - 1310. Let b = d - u. Is b a prime number?
False
Let k(d) = -d**2 + 7*d - 5. Suppose -2*w - 1 = -11. Let a be k(w). Suppose a*y - 626 = 429. Is y composite?
False
Suppose 6*v = 4*v. Let t(k) = k + 449. Let f be t(v). Is 18/24 - f/(-4) composite?
False
Let x(j) = 4*j - 15. Let r be x(8). Suppose 3*a - 14 + 1 = l, -2*l = -3*a + r. Is 158/(0 - l - 3) a composite number?
True
Suppose -3*b + 18*r - 16*r + 4113 = 0, 0 = -2*b + 2*r + 2742. Is b a composite number?
True
Let v(s) = s - 4. Let h be v(10). Let t be h/4 - (-12)/(-8). Suppose t = 3*b + 2*b - 1085. Is b a composite number?
True
Is ((-8)/(-14))/((-14)/(-66689)) a prime number?
False
Suppose -5221 = 8*n + 6027. Let l = -957 - n. Is l a prime number?
True
Let z be (-10)/(-35) + 12/7 - -2049. Let d = z - 792. Is d prime?
True
Suppose -6*p - 2 = 10. Is ((-6)/(-12)*4)/(p/(-191)) a composite number?
False
Let x = 4767 - 661. Is x composite?
True
Suppose -3*j = 7*c - 3*c - 14360, -c + 3*j + 3605 = 0. Is c composite?
False
Let c = 1943 - -2586. Is c a prime number?
False
Let b(t) = 2*t**3 - 27*t**2 + 37*t - 19. Is b(26) composite?
True
Suppose 0 = 2*r - w + 3*w, -24 = 3*r - 5*w. Is (511 - 1) + (-3)/9*r prime?
False
Let k = 104 - 105. Is 83/(k - (-4 - -2)) a composite number?
False
Let h = -1 - -3. Suppose 3 = v + h*j + j, 4*v - 12 = -j. Suppose -p = v*p - 276. Is p composite?
True
Let z(p) = 266*p**2 - 3. Let n = -18 - -22. Suppose 5*g + 6 + n = 0. Is z(g) a composite number?
False
Let d = -6342 + 17189. Is d a prime number?
True
Let k(g) be the third derivative of 787*g**4/24 + 4*g**2. Is k(1) composite?
False
Let y = 3 + -31. Let l be (78 - -1)*1 - (-1 + -1). Let s = l + y. Is s a composite number?
False
Suppose 0 = -3*y + 5*d + 15404, -6*y + 8*y - 2*d = 10276. Is y a composite number?
True
Suppose 0 = -t - 3*l - 3, -l - 2 = 1. Is -183*(3 + -1 - 22/t) a composite number?
True
Suppose 5*p + 3*k - 147 = 0, -k + 4*k = -p + 27. Let u be (p/75)/((-1)/5). Is (-110)/(-6) - u/3 composite?
False
Let b be (-38)/14 + (-6)/21. Let c(y) = 20*y**3 + 3*y**2 - 2*y - 4. Let z be c(b). Let u = -248 - z. Is u prime?
True
Let r be (5 - 4)/((-3)/(-9)). Suppose -r*p + 1 = 10. Is ((-5)/10)/(p/804) composite?
True
Let c(x) = x**2 - 33*x + 174. Let o be c(7). Let d(u) be the third derivative of -13*u**4/8 + 5*u**3/6 - u**2. Is d(o) composite?
False
Let c be 12/(-4)*10*-328. Suppose -4*t + c + 504 = 4*f, -4*t - 5*f + 10349 = 0. Is t a composite number?
True
Let l = 0 - -2. Suppose 71 = 2*y + h, y + l*h + 3*h = 49. Is (1 + 9)/(4/y) a composite number?
True
Suppose 2*u - 4*u = -6. Let b = 218 - u. Is b a composite number?
True
Suppose 3*l + 114367 = 5*t, 4*t - 22883 = 3*t - 9*l. Is t a prime number?
False
Let i = 1878 - 3294. Let m be -3 + -1 + i*1. Let k = 2211 + m. Is k prime?
False
Let d = 48 - 44. Suppose -m = -d, 3*f + 3*m + 5723 = 16556. Is f composite?
False
Let t be (2*-1)/(14/(-21)). Is t - 2 - (-2804 + -6) a prime number?
False
Let o(y) = y**2 - 10*y + 12. Let s be o(9). Is 1412 - s*(4 - 3) a prime number?
True
Let a = 344 - 188. Suppose -a = 3*y - 9*y. Is y composite?
True
Let t(o) = -o - 6. Let f be t(-9). Let y = -7 + f. Is (-2 - y)*316/8 composite?
False
Suppose -25 = -3*o + x, -5*o + 60 = 3*x - x. Suppose -4*k + o = k. Suppose k*s + 5*v = 1512, 2*v - 4*v - 3000 = -4*s. Is s prime?
True
Let i = 10 + -7. Suppose i*l = -p + 508 + 1450, 0 = 3*p - 5*l - 5832. Is p a prime number?
True
Let p = 39 - -512. Is p a composite number?
True
Is (5 - 6 - -27876) + 8 composite?
False
Let r be 3/5 + (-46)/10. Let u be 2 - (0 + (-2 - -6)). Is (-327)/(-6) + u/r composite?
True
Let o(r) = 2*r**3 - 15*r**2 - 9*r + 11. Let s be o(8). Suppose 3625 = s*b - 386. Is b composite?
True
Let z = -9454 - -17191. Is z a composite number?
True
Suppose -30*x + 1661539 - 4969 = 0. Is x composite?
False
Suppose 4*k - 1649 = -v, -2*v + 4896 = v - 5*k. Is v a composite number?
False
Suppose -39 = -3*f + 3*k, f = 3*f - k - 21. Suppose 0 = -f*h - 4060 + 21828. Is h composite?
False
Let j = -13 - -16. Suppose 5*b - j*a + 6*a - 37 = 0, 5*b - a - 21 = 0. Is 1/(b/(-2180)*-4) a composite number?
False
Suppose 2*q + 623 = 3*y, 5*y - 6 = -4*q + 1069. Is y prime?
True
Let f be -4 + ((-9)/(-3) - -59). Let w = -23 + f. Is w a composite number?
True
Let q(n) = -n**3 - 10*n**2 + 3*n - 11. Let b be q(-10). Suppose -13*o = -9*o - 300. Let x = o + b. Is x a composite number?
True
Let x = -6 + 10. Suppose x*z = -339 + 2027. Suppose 2*g - z = -0*g. Is g a prime number?
True
Suppose -17*s = -35*s + 243018. Is s a prime number?
False
Is (-150)/675 - (-1748)/9 a prime number?
False
Let g(q) = 668*q + 35. Is g(3) prime?
True
Suppose -148*s + 2330 = -138*s. Is s prime?
True
Let a = -2486 - -5383. Is a a composite number?
False
Let j(k) = -64*k**3 + k**2 + k - 2. Let f be j(-3). Suppose -5*x + 3*p = -4336, 2*x = p + p + f. Is x a prime number?
False
Let c = -25 + 25. Suppose c*x = 5*x - 3995. Is x a prime number?
False
Let l = -31101 - -175472. Is l a composite number?
True
Let r = 1 + -1. Suppose -2*n + 2 = 0, 4*t - 2*n - 402 = -r*t. Let l = t - 32. Is l prime?
False
Let a(c) = -c**2 - 7*c + 13. Let z be a(-8). Let k(f) = 11*f**2 + 4*f + 7. Is k(z) a composite number?
True
Let h(v) = 596*v + 265. Is h(14) a composite number?
False
Let r be (18/45)/((-3)/(-30)*-2). Is ((-1)/r)/(12/5064) composite?
False
Let f(q) = 227*q**2 - 31*q + 2. Is f(-4) prime?
False
Suppose o - 5*f - 10007 = 0, 5*o + 2*f - 50035 = -0*f. Is o composite?
False
Suppose -v - r + 14244 = 0, -v + 10308 + 3933 = -2*r. Is v composite?
False
Let l(x) = -3*x**2 + 397*x + 62*x**3 - 397*x + 3. Is l(2) prime?
True
Suppose 0 = -40*k + 17*k + 101177. Is k