k(c) = 15*c**2 + 17*c + 51. Let y(m) = m**3 - 7*m**2 - m. Let f be y(7). Is k(f) composite?
True
Suppose -33 + 2101 = 3*r - 4*c, 0 = -2*r + 2*c + 1378. Suppose 2*y = 8, 2*o - 2788 = -4*y - r. Is o prime?
False
Let w(t) = -31*t - 81. Let z be w(-7). Suppose -114*y + z*y = 248116. Is y composite?
True
Let k(x) = 5329*x + 17. Let v be k(5). Suppose -5*g + 19123 = -v. Suppose -5*f = 4*q - 2*q - g, -5*f - 9127 = -2*q. Is q composite?
True
Let w(v) = v**2 - v + 2. Let l be w(0). Let d be 1/(0 - (1 - l)). Is 398 - (d - 2 - -5) composite?
True
Let c = 23322 + -45078. Let h = -10237 - c. Is h a composite number?
False
Let t(j) = j**3 + 4*j**2 + j + 4. Let q be t(-3). Suppose 37*i - 42*i + 5 = 0. Is q/4*(i + (346 - 1)) prime?
False
Is (-147)/((-133)/(-19)) + 512 composite?
False
Suppose 300700 = 5*x + 2*g, -120280 = 2*x - 4*x + 4*g. Suppose 26*r = 6*r + x. Is r a composite number?
True
Suppose 0 = 3*s + 6, 26*b - 49619 = 21*b + 2*s. Is b a composite number?
False
Let g = 37126 - 25163. Is g composite?
True
Suppose 0 = 13*w - 22*w - 36. Is ((-14)/w - 3)/((-21)/(-48678)) composite?
True
Suppose 2*k = -5*o + 389777, 0 = 5*k + 5*o - 980210 + 5760. Is k a prime number?
True
Suppose 2*g + 3*x - 560 = 0, 2*g + x - 2*x = 552. Let d = g + 102. Is d composite?
False
Suppose 789*w + 18805562 = 77348573. Is w a prime number?
False
Suppose 10*h = 7*h + 4*h. Suppose -c + 0*c - 5*m + 2896 = h, 4*c = 2*m + 11694. Is c prime?
False
Let f(n) = 13*n**3 - n**2 + 3*n + 1. Let t be f(-1). Is t/(-3) + -4 + (-96548)/(-12) a prime number?
False
Suppose -35*f = -49*f + 314869 + 239097. Is f composite?
False
Suppose b + 10 = 6*b - a, -5*a = 0. Suppose x + 554 = 3*w - 8244, 8803 = 3*w - b*x. Is w prime?
False
Let w = 3596 - 16760. Let g = w + 18830. Is g a composite number?
True
Let w(s) = 27461*s**2 + 7*s + 9. Is w(-1) a prime number?
False
Suppose g - 20008 = -5*r, 16010 = 4*r + g - 2*g. Let y = r + -2289. Is y composite?
True
Is (65665/10 - 7)/((-8)/160*-6) a composite number?
True
Let m(i) = -9*i**3 + 29*i**2 - 50*i + 7. Is m(-14) prime?
False
Suppose -4*o = 4, -5*r + 3*o = 2*o - 1165546. Is r/6 + 17/(-34) a composite number?
False
Let k(f) = -f - 16. Let s be k(-16). Suppose 4*w + 0*w - 4*u - 660 = 0, s = -2*w + u + 333. Suppose 0 = 2*b - 6, -2*l = 2*b - w - 32. Is l prime?
True
Let m = 18338 + -10908. Suppose -66*f + 56*f = -m. Is f a prime number?
True
Let y be ((-1427)/(-2))/((-186)/60 - -3). Let b = 15602 + y. Is b a composite number?
False
Let y be -4*41*(-7)/28. Suppose 0 = -33*u + y*u - 36272. Is u composite?
True
Suppose -4*d - u + 148867 = 0, 2*d + u - 18331 = 56102. Is d a prime number?
True
Let j be (-1 + 5)/((-112)/(-196)). Suppose 4*v - j = o - 0, o + 1 = v. Is 2578 + v + (-3)/3 prime?
True
Let a(b) = -1314*b - 5623. Is a(-25) a composite number?
True
Let v(k) = 110*k**2 + 13*k - 3. Let z be v(10). Suppose 5*p - z = 2968. Is p composite?
False
Let m(z) = 112*z + 201. Let s be 0 - ((-91)/2 - 30/20). Is m(s) a composite number?
True
Let j be (5392/6 - -1)*3. Suppose -4*a - j = -s, 2703 = s - 8*a + 6*a. Is s a prime number?
True
Let f = 864 + 46325. Is f a prime number?
True
Let c(w) = -6*w**3 + 5*w**2 + 6*w - 8. Let r be c(4). Let p = 68 + r. Let q = p - -407. Is q composite?
True
Let p = 95 - 63. Let x = p + -34. Is 1 + (-1 - x) + 795 a composite number?
False
Suppose 3*g + 14 - 2 = 0. Is 623594/68 + 6/g prime?
False
Let j = 163282 - 55221. Is j a prime number?
True
Let y(n) = -n**3 - 6*n**2 + 15*n - 6. Let p be y(-8). Suppose 5361 = p*v + k, 2*v - 4*k = -v + 8047. Suppose 5*m + v = 2*a + 17454, 2*m + a = 5902. Is m prime?
True
Suppose -150794 = -4*j + 3*r, 39*j - 5*r = 37*j + 75376. Is j a composite number?
True
Suppose z - 17034 = -4*y, -49*z + 12768 = 3*y - 52*z. Is y composite?
True
Let d = 673535 + -350214. Is d prime?
False
Suppose -p - 2*j = -597, 5*p - 2996 = -21*j + 22*j. Let l = p - -1079. Is l composite?
True
Let g = 36448 - 9759. Is g prime?
False
Let w = -4 - -10. Let p be (0 - -7)*(0 - (-3096)/21). Suppose 2*l = w*l - 4*n - p, n = -1. Is l prime?
True
Let d(p) = -15*p**3 + 13*p**2 + 11*p + 72. Is d(-23) composite?
True
Suppose -686*h = -694*h + 2004856. Is h a composite number?
True
Suppose 0 = -5*x + 3*x + 6. Suppose 4*n - x = 9. Suppose 2*f = -n*z + 929, 0*f - 3*f + z + 1410 = 0. Is f prime?
False
Let o(p) = -31 + 1067*p - 11*p + 910*p - 240*p. Is o(3) composite?
False
Let u be (-1 - 7)/(-4) - 7. Is u/(-15) - 0 - 4758/(-9) a prime number?
False
Let a be ((-50)/(-20))/(15/12). Is 270 + 2 + 10 + -10 + a a composite number?
True
Let p = -453 + 452. Is (-134976)/(-36) - p/(-3) a composite number?
True
Let d(v) be the first derivative of v**4/4 - 8*v**3 - 23*v**2/2 + 27*v + 174. Let l be (-2)/(-1) - -21 - -2. Is d(l) a composite number?
True
Suppose 0 = 6*y - 5*y - 11. Let d = -9 + y. Suppose -3*f - 469 = -d*m, 3*m - f - 933 = -m. Is m a composite number?
False
Let j = -147471 + 282038. Is j prime?
False
Suppose -4 = -3*c + k, 0 = -3*c - 2*k + 4 + 6. Suppose -4 = -4*l + 8*l, -c*l - 6 = -2*a. Is (-3 + a)/(4/(-3508)) prime?
True
Suppose 0*b + 7 = 4*j + 5*b, 0 = 4*b + 20. Suppose -l - 723 = -0*l. Let v = j - l. Is v a composite number?
True
Let s(z) = 5*z**3 + 2*z**2 + 41*z - 7. Is s(24) a composite number?
False
Suppose -5*v + 5*y = 45, -y + 9 = -2*v - 5. Is v + 1157 - (-3 + 4) a prime number?
True
Let l = 52807 + -5480. Is l a composite number?
True
Suppose 0 = -11*a + a + 20. Suppose -4*k = a*k - 12762. Suppose 13*q + k = 16*q. Is q a composite number?
False
Let v be (2130/9)/(12/8694*3). Suppose 53*h - 35754 = v. Is h a composite number?
False
Let g = -2245 + 3358. Suppose 9*r - 2*r = g. Suppose 0 = 4*h - 3*h - r. Is h a prime number?
False
Let t = -155 - -220. Suppose 73 = 2*d + t. Suppose 3*x + 4 = 2*s + 4*x, 2*s + 5*x - d = 0. Is s composite?
False
Let a be 17/3*(0 - 3). Let m(b) = -12*b**3 - 32*b**2 + 6*b - 57. Let s(j) = 5*j**3 + 16*j**2 - 4*j + 28. Let p(u) = -2*m(u) - 5*s(u). Is p(a) prime?
True
Let y(g) = -2*g**2 - 41*g - 44. Let i be y(-19). Suppose -13*n + 398814 = i*n. Is n composite?
True
Let p = -27908 + 47473. Suppose -l + p = 55*y - 52*y, -4*y + 5*l = -26112. Is y a prime number?
False
Let f be (6 - -1)*((-27)/(-21) - 1). Suppose 28*c = -f*c + 34230. Is c composite?
True
Let m be (-5 - (-150)/6)*1. Suppose 3*a - m + 8 = 0, -3*y + 18847 = a. Is y a prime number?
False
Let h be 2/(-6) + (-39683)/21. Let s = h - -4393. Is s prime?
True
Let h be ((-3 - 1) + 3)*-2. Suppose 0 = 3*p - h + 23. Let t(r) = 16*r**2 + 11*r + 14. Is t(p) a prime number?
False
Let y(s) = -599*s - 255. Let h be y(-35). Suppose -3*i + h = -w + 7056, -3*i = 5*w - 13684. Is i composite?
True
Let l be 0 + (-4608)/(-42) - 2/(-7). Is (-44)/l*3985/(-2) composite?
False
Let d = -31 + 22. Let n be (30/d)/((-2)/(-6)). Let f(u) = u**2 + 8*u - 1. Is f(n) composite?
False
Is (-7)/4 - (771625/(-12) - 218/327) prime?
True
Suppose -2*n + 4*f - 7*f + 11669 = 0, -f + 5836 = n. Is n composite?
False
Let u(r) = 198*r**2 + 34*r + 21. Let a(q) = 2*q**2 - 55*q - 140. Let o be a(30). Is u(o) a prime number?
True
Is (8/14 + (-3730)/35)/((-30)/2715) prime?
False
Let j = 40104 + -21230. Is j a prime number?
False
Suppose -23 = -7*n - 9. Suppose -9*a + 11*a + n*i = 4128, -3*a = -5*i - 6184. Is a composite?
False
Let w = 372786 + -218497. Is w prime?
False
Let y be 36/21 + 11/(154/4). Suppose 0 = -y*f + 2, 2*q - 11489 = -q + 4*f. Is q composite?
True
Let g be (2 + -1)/((-13)/(-50479)). Suppose 2*u = 4*u + 2*z - 1964, -4*u + 5*z = -g. Is u a composite number?
False
Let g = -57 + 59. Suppose 6*v - 2*v = i - 1012, g*i - 1998 = -5*v. Suppose i = 2*w - 438. Is w prime?
False
Let f = -245 - -3039. Suppose j - f = -2*m, -m - j + 1397 = -6*j. Is m composite?
True
Suppose -5*o - 17336 = -2*v, 4*o = -5*v - 0*o + 43307. Is v composite?
False
Suppose -7*l = 5*g - 3*l - 1643, 0 = -g + 3*l + 340. Suppose -3*x = -2132 - g. Is x a composite number?
False
Let m(i) be the second derivative of -8519*i**5/20 - i**4/12 + 9*i. Let u be m(-1). Let r = u + -4177. Is r a prime number?
False
Suppose -291517 = 16*b - 25373. Let y = 1869 - b. Is y composite?
False
Suppose 1640 = 33*x - 31*x. Suppose 0 = -f + 2*v + 559, 3*f - 2*v + 84 - 1757 = 0. Let w = x - f. Is w a prime number?
True
Suppose 525 = 2*h - 821. Let y = h