 25. Is c(6) a prime number?
False
Let b(g) = 97*g**3 - 5*g**2 + 3*g - 19. Is b(4) a composite number?
False
Let c be -5*(144/(-5))/(-6). Let v = 19 + c. Let r(o) = -3*o**3 + o**2 - 3*o - 2. Is r(v) composite?
True
Let i(a) be the second derivative of 3*a**5/20 - 7*a**4/6 + 7*a**3/6 + 35*a**2/2 + 15*a + 1. Is i(9) a prime number?
True
Let n(s) = s + 4 - 5 - 1. Let w be n(-2). Let x(m) = -10*m - 3. Is x(w) prime?
True
Suppose 21 = -g - 5*r + 258, 4*g + 4*r - 884 = 0. Suppose 5*o - 5*d - 1657 = -g, d = -o + 298. Is o a composite number?
False
Let h = 9 + -6. Suppose -3*n = 3*o - 174, -o + 35 = h*n - 33. Is o prime?
True
Let j = 217 - -8910. Is j composite?
False
Let o be ((-6)/4)/(5/(-10)). Suppose -o*t - 24 = -135. Suppose s - 2*s + t = 0. Is s composite?
False
Is 16*5/10 + 3399 a prime number?
True
Suppose -g = -k + 13, 3*k + 2*k = g + 49. Let u(f) = -7*f + 10*f + k - 8*f. Is u(-10) prime?
True
Suppose 10*t = 12*t - 22. Let h(v) = v**2 - 4*v + 6. Is h(t) prime?
True
Let b(i) = -i**3 - i**2 + i + 46. Let h be -3 + 6 + 3 + -1. Suppose -3*l + 20 = -h*m, -2*l - l = m + 4. Is b(l) composite?
True
Is ((-26690)/(-30))/((-1)/(-6)*2) a composite number?
True
Suppose 4*b + 21 = 5*y - 12, -4*b + 4*y = 28. Let m be 12/8 - (-13)/b. Let x(r) = -2*r**3 - 5*r**2 - 4*r + 4. Is x(m) prime?
True
Suppose 6799 = 5*y - 3226. Is y prime?
False
Let u(p) = -p + 20. Let m be u(14). Is 61 - (6 - m - -2*1) prime?
True
Let n(l) be the third derivative of -l**5/30 + 233*l**3/3 + 7*l**2. Is n(0) prime?
False
Suppose 3*b = 6*b - 3*a + 273, 0 = 3*b + 4*a + 301. Let g = b - -286. Is g prime?
True
Suppose 0 = v + 3*j - 17215, 31*j = 5*v + 33*j - 86023. Is v a prime number?
True
Let r = -454 + 4247. Is r prime?
True
Is (-236)/6*(-29064)/112 a composite number?
True
Suppose -14 = -5*t - 2*v, t = 5*t - 4*v - 28. Suppose 12242 = 4*n + t*u - 3*u, -3*u = 6. Is n prime?
True
Let d = 25251 + 3220. Is d composite?
True
Let r = 4 - -4. Let x(s) = 25*s + 23. Is x(r) composite?
False
Let z(f) = 3*f**2 - 4*f - 29. Let t be z(-6). Let n = 0 - 0. Suppose -2*l + w = -11 - t, n = -3*l - w + 176. Is l a prime number?
False
Suppose 5*y + 51 = -p + 5*p, 6 = -2*y. Suppose p*d - 5*d - 2804 = 0. Is d a composite number?
False
Is 15/3 + (9 - -2393) prime?
False
Let r(s) = 17*s**3 - 3*s**2 + 7*s - 1. Let z be r(3). Let o = z + -201. Is o composite?
False
Is 217224/90 - 6 - (-3)/(-5) prime?
False
Suppose 4*i - 12 = -0. Suppose -i*z - 12 = 0, d + 596 = -d - z. Is d/20*(-10)/4 composite?
False
Suppose 61*o = 60*o + 191. Suppose -4*k = -5*k + o. Is k a prime number?
True
Suppose -2*z + 224 = 2*d, 5*d + 4*z + 49 = 606. Let u = -42 + d. Is u a composite number?
False
Let m be (5 + -2)/((-6)/4). Let t be m/7 - (-172)/14. Suppose 2968 = t*c - 4*c. Is c a prime number?
False
Let m(l) = 102*l**2 - 29. Is m(-15) composite?
False
Let y be (3283/14)/(2/4). Suppose -461 = -3*t - 2*f, 5*t = 2*t - 4*f + y. Is (-2)/(-6)*(-4 + t) composite?
True
Let u = 18422 + -11361. Is u composite?
True
Let i(a) = 1392*a + 1. Let f be i(3). Suppose 12821 - f = 4*j. Is j prime?
True
Let t be -2231 + (-2 - -1)*3. Let q(b) = b**2 - 8*b + 2. Let p be q(6). Is t/(-10) - (-4)/p a prime number?
True
Let j = 3932 + 6035. Is j prime?
True
Let v be 226400/(-144) - (-2)/9. Let b = -113 - v. Is b prime?
True
Let s(i) = 377*i**2 - 11*i - 59. Is s(-9) a composite number?
False
Let g = 1526 + -820. Suppose -5*s = -4*y + 1412, y = -y - 4*s + g. Is y a prime number?
True
Let a = 2078 + 434. Suppose 0 = 2*j + 5*n - 1282, -3*n + 0*n = -4*j + a. Is j prime?
True
Suppose 0 = 3*x + x + 2*m - 222, -210 = -4*x + 2*m. Let b be 150/x + 2/9. Suppose 0*d - 61 = -4*u - 3*d, 0 = b*u - 5*d - 24. Is u a prime number?
True
Suppose 0 = 3*x + 677 + 523. Let a(v) = -v**2 - 3*v - 3. Let u be a(-3). Is 3*(u - x/12) composite?
True
Suppose -4*r + 196 = -200. Suppose -r - 1592 = -x. Suppose 4*v = 3*j - 1237, 2*v = -4*j - v + x. Is j prime?
True
Let p be 1*(0 - 26/2). Let y = 22 + p. Is y composite?
True
Is (-2)/6*(25 - 13) - -4205 prime?
True
Let y(q) = 26*q**3 + 5*q**2 - 4*q + 2. Is y(3) composite?
True
Let q = -67 - 38. Suppose -4*b - 1 = 3, -3*b - 247 = h. Let t = q - h. Is t prime?
True
Let v(s) = 23*s**2 - 12*s + 50. Is v(11) a composite number?
True
Let s = 2393 + -1310. Let t = s - 602. Is t a composite number?
True
Is (-8)/(-14) + 10489/7 a prime number?
True
Let y(x) be the third derivative of 1193*x**4/24 - 17*x**3/6 + 3*x**2. Is y(2) a prime number?
False
Let w = -14 - -5. Let s be (w/12)/((-1)/2296). Suppose -2*u - 4*x = -s, 0*u - 2*x - 1728 = -2*u. Is u composite?
False
Suppose -5*c = 1 - 31. Let h = c - 1. Suppose -l = -h - 82. Is l a prime number?
False
Suppose 0 = -4*t + 3*h - 357, -3*t + 2*h - 222 = 45. Let i = 766 - t. Is i a composite number?
False
Let d = 81 - 84. Is ((-1)/d)/((-1)/(-4863)) composite?
False
Suppose r + 5*l = 1151, l + 0*l - 5707 = -5*r. Is (-8)/2 + r + 4 composite?
True
Let y(v) = -4*v**2 - 18*v + 16. Let b be y(-18). Is 1 - (10/5 + b) a composite number?
True
Suppose 0 = 4*n - 2*n + 3*o - 19, 50 = 4*n + 2*o. Let c be 0*(-2)/6 + n. Let r(u) = u**3 - 12*u**2 + 15. Is r(c) composite?
True
Let z(g) = 79*g - 10. Let o be z(6). Let c = o - 27. Is c composite?
True
Suppose -3*k - 708 = j, 3*j = -0*k - 4*k - 2109. Let y = 1748 + j. Is y a composite number?
False
Suppose -2757 - 58889 = -2*c. Is c composite?
True
Let a(y) be the first derivative of 3*y**2/2 - 3*y + 6. Let z be a(5). Is (-1)/4 - (-927)/z a composite number?
True
Let k(n) = -n**2 + 6*n - 8. Let s be k(7). Is (18 + s)*25/3 a composite number?
True
Let x = -2430 - -16007. Is x composite?
False
Let u(w) = -2*w**2 - 8*w - 7. Let q be u(-3). Let o(r) = -809*r**3 + 2*r + 2. Let l be o(q). Suppose 0*f + 473 = 3*j - 5*f, 0 = 5*j + 2*f - l. Is j prime?
False
Let n = 2664 - 1007. Is n a composite number?
False
Suppose -5*p + 13663 = -y, 4*p + 5*y - 4*y = 10925. Let q = p + -1843. Is q prime?
False
Let q(h) = -3 + 8 - 32*h + 8*h. Let m(j) = 1. Let x(i) = -3*m(i) + q(i). Is x(-3) a prime number?
False
Let t = 58 + -59. Let k(w) = 1087*w**2 - w - 1. Is k(t) composite?
False
Let r = -48 + 89. Let t = r - 26. Is t a prime number?
False
Let d be (0 + 6/(-15))*-15. Suppose 5*m - 12 = a + 3*a, 0 = -2*a - m + 8. Suppose a*k + 1004 = d*k. Is k prime?
True
Let z(w) be the third derivative of 0 - 1/24*w**4 + 2*w**2 + 0*w + 7/6*w**3. Is z(-7) prime?
False
Suppose 63*u = 71*u - 5192. Is u composite?
True
Let w be (-2*14)/4 - -4. Is w + 2 - -4 - 1 - -53 a composite number?
True
Suppose -2*c + 11 = -5. Let n be 18 + -3 - (-5 + c). Suppose y - 61 + n = 0. Is y a composite number?
True
Suppose 36*h - 233103 = 28293. Is h a composite number?
True
Let j = 295 + -117. Let n(f) = 17*f**2 + 6*f. Let p be n(5). Suppose -j - p = -3*x. Is x composite?
False
Let r(i) = -i**3 + 9*i**2 + 2*i + 11. Suppose 2*h = -4*d + 14, -3*d = -d - 2*h + 8. Let m = 7 + d. Is r(m) a prime number?
False
Suppose -5*l = 10, -2*f + 6*f - 14 = -3*l. Suppose -f*w + 1741 = -4119. Suppose 0*c - w = -4*c. Is c a composite number?
False
Suppose 3*q = q - x + 3219, 2*q - 3214 = 4*x. Suppose -456 = -5*b + q. Is b a prime number?
False
Is 0 + (4292 - -9) + 2/1 a prime number?
False
Suppose -5*b = -b - 508. Suppose 6*t - 841 = -b. Is t a prime number?
False
Let v be (0 - 3/(-2))*(-13 + 15). Suppose -2*t + v*t = 1423. Is t composite?
False
Let w(m) be the second derivative of -m**4/12 + 5*m**3/2 + 3*m**2 - 4*m. Let v(g) be the first derivative of w(g). Is v(-12) prime?
False
Suppose 0 = -3*x + 12, 15 - 3 = -2*b + 5*x. Is 13 + b - (0 - -4) a prime number?
True
Let u(y) = 5*y**3 - 22*y**2 + 12*y + 2. Let i(k) = -4*k**3 + 21*k**2 - 11*k - 3. Let t(a) = 6*i(a) + 5*u(a). Is t(-15) composite?
False
Let f(l) = 64*l**2 + 131*l - 13. Is f(-22) composite?
False
Let h(o) = -2*o**3 - 4*o**2 - 4*o - 3. Let j be h(-5). Suppose -j = -4*a - 799. Let d = a - -285. Is d a prime number?
True
Let v = -28 - -42. Let b = -10 + v. Suppose -2*q + 3*g + 123 = 0, -q - 25 + 74 = -b*g. Is q a prime number?
False
Suppose -x - 707 = 6*x. Suppose -4*z = 134 - 2294. Let g = z - x. Is g a prime number?
True
Suppose 0 = -5*w + 9 + 6. Suppose w*x - 8 = 5*x. Is x - -3 - -2*101 a prime number?
False
Let r be 7/(-35) + 8/(-10). Is (2 + (-4 - -3))/(r/(-1049)) prime?
True
Suppose 66