second derivative of 17*z**3/2 - 160*z**2 + 6*z + 9. Is x(37) a prime number?
True
Let g be -2 + 3 - (-1319 - 0/5). Suppose -4*z = -5*k + 3330, 4*z = 5*k - 3*k - g. Suppose -k = -2*d - 168. Is d a prime number?
True
Let z = 32171 - 18322. Is z prime?
False
Suppose -4*c - 10*y + 13*y + 28 = 0, 0 = 3*c - 4*y - 28. Suppose -18*k + 2*l - 947 = -21*k, -k = c*l - 309. Is k prime?
True
Let h = -225670 + 573321. Is h a composite number?
False
Let y = 258536 - 163407. Is y composite?
True
Let i be 3026/3 - (2/3)/1. Suppose -2*m + i = -2*z, -5*m - z = -2523 + 15. Is m composite?
True
Suppose 4651*u - 4733*u + 145298834 = 0. Is u prime?
True
Suppose 2130 = 14*y - 712. Suppose 0 = -210*w + y*w + 18221. Is w a prime number?
False
Let c(f) = -5*f**2 + 9*f + 200. Let k be c(-16). Let y = k - -1745. Is y composite?
False
Let y = 11397 + -3234. Suppose c - 2 = 3. Suppose -y = -4*k - c*k. Is k composite?
False
Suppose -4612866 + 1563097 - 2228071 = -48*q. Is q composite?
True
Let v(r) = -15*r - 193. Let w(p) = 16*p + 196. Let j(k) = -2*v(k) - 3*w(k). Is j(-22) composite?
True
Suppose w - 12 = -5*i, 0*w = 5*i - 2*w - 6. Let h be 1/(-1 - (-16304)/16312). Is h/(i*(-1)/(2 - 0)) a composite number?
False
Let t = 5 + 6. Suppose w + 7 = t. Suppose 0 = -5*c - 2*g + 4485, -w*c = -0*c + 3*g - 3581. Is c composite?
True
Let y(n) = 23354*n**2 + 6*n + 5. Is y(-2) composite?
True
Is ((-6)/36*-13751)/((-9)/(-1242)) prime?
False
Is (-13)/(-26)*((-32)/(-8) + 127702) a composite number?
False
Let w = -8 - -1. Let j(f) = 11*f**3 + 4*f**2 - 7*f + 20. Let k(g) = 3*g**3 - g + 1. Let a(b) = j(b) - 5*k(b). Is a(w) prime?
True
Let g be (82420/(-6))/5*3/(-2). Suppose 2*l - d = -5*d + 8232, -l - 3*d + g = 0. Is l prime?
False
Let z be 98/6*1 - (-1)/(-3). Suppose -2*t + t + 10 = 3*k, 2*k = 4*t + z. Suppose 0 = -k*s + 184 + 844. Is s a prime number?
True
Let v = -24 - -27. Let l be (-27)/(81/(-1264))*57/2. Suppose p + l = 5*s + 4600, -p = -v*s + 4446. Is s prime?
True
Suppose 4*t - 23 = -5*n, 3*n + 5 - 2 = -t. Is 8946 - 20/(t/(-3)) a prime number?
True
Let r(u) = 1084*u - 3099. Is r(14) composite?
True
Let c(p) = p**2 + 14*p + 66. Let x be 2 + -4 + (0 - 2 - 15). Is c(x) a prime number?
False
Let s(o) = 2048*o**2 + 5*o - 2. Suppose 0 = 2*z - w + 6*w + 12, -4*z - 2*w - 8 = 0. Is s(z) composite?
True
Let o(m) = 573*m**2 - 16*m - 58. Let p(y) = y**2 + 17*y + 13. Let j be p(-16). Is o(j) prime?
True
Suppose 0*i - 11993 = 5*p + i, 4*i + 12 = 0. Let c = p + 4893. Is c composite?
True
Let j = 27 + -25. Suppose -3*u = -i + 2861, 6*i + 1900 = -j*u + 3*i. Is u/3*(-2 + -1) a composite number?
False
Let s = 25 + -25. Suppose 2*d + s*d = 6*d. Suppose d = -3*j + 7*j - 1676. Is j prime?
True
Suppose 0 = m - 3595 - 499. Suppose -30*v + 33*v - 6342 = i, -6360 = -3*v - 5*i. Suppose m = 7*h - v. Is h composite?
False
Suppose 0 = 5*d - 24 + 4. Let b(j) = -2*j**3 + 12*j**2 - 5*j - 25. Let m(o) = -o**3 - o**2 - 2*o + 4. Let x(h) = -b(h) - 6*m(h). Is x(d) a prime number?
False
Suppose 6731630 + 26144724 = 98*f. Is f a composite number?
False
Let r(g) = 18511*g + 5031. Is r(40) a prime number?
True
Let o(l) = -1058*l**3 + 20*l**2 + 87*l + 5. Is o(-6) prime?
True
Let s(k) be the second derivative of 34*k**4/3 - 7*k**3/6 + 13*k**2/2 - 2*k - 21. Is s(6) a composite number?
True
Suppose -3*t = 2*t + 3*l + 204711, 4*l - 204732 = 5*t. Let s = -14809 - t. Is s prime?
False
Let g(h) = -3138*h + 2753. Is g(-33) a prime number?
True
Let c = 106001 + 40214. Is c a prime number?
False
Suppose 101*b - 139 = 164. Suppose -3*x - c = -33997, -45326 = -4*x - 0*c + 2*c. Suppose -b*f - x = -7*f. Is f a prime number?
True
Suppose 1936*f = 1952*f - 9135472. Is f a prime number?
True
Let d(p) = 320*p + 55. Let b(n) = -158*n - 27. Let l(r) = -7*b(r) - 4*d(r). Is l(-5) composite?
False
Suppose 4698 = 10*m - 14242. Suppose -3*f - 2433 = -3*p, m = 3*p + f - 531. Is p composite?
False
Let s(w) = w**2 + 10*w + 5579. Suppose -64*g + 41*g = 0. Is s(g) prime?
False
Let x = -361 + 364. Suppose -25688 - 181 = -x*v. Is v a prime number?
True
Let w = 2278 + -1811. Is w composite?
False
Suppose p + 6 = 0, -22*p - 11744 = -4*r - 24*p. Is r composite?
False
Let w = -14194 - -70301. Is w a prime number?
False
Let p(g) = -g**3 + 11*g**2 + 2*g - 41. Suppose 37*q - 80 = 21*q. Is p(q) composite?
True
Suppose 36*n = 38*n, -3*m + 2*n + 124263 = -3*n. Is m prime?
False
Let z(u) = -2*u**3 - 17*u**2 + 10*u - 5. Let w be z(-12). Let n(m) = -2*m - 5. Let o be n(-5). Suppose o*d = w + 2. Is d a composite number?
True
Let i be (1 - 2/(-3))*(4 + -1). Suppose -10 = i*b - 805. Is b composite?
True
Suppose -2 = 2*o - 30. Let n(p) = 1 + 10*p - o*p + 4*p**2 - 3. Is n(6) prime?
False
Let x be 5/(222/220 + -1). Suppose -6870 + x = 5*v. Let k = 2150 + v. Is k prime?
False
Let p(r) = -r**3 - 3*r**2 + 4*r + 16. Let y be p(-2). Suppose 1 = -h + 2, -5*h = -y*b + 1351. Is b a prime number?
False
Let k(c) = -1337*c - 3. Let j be k(6). Let t = j - -14331. Let d = -1709 + t. Is d a prime number?
True
Suppose 5*g - 2*k = 21 + 69, -g + k = -15. Let u(l) = -41 - 19*l**2 + 32 - 61*l**3 + 62*l**3 + 41*l. Is u(g) a composite number?
True
Let y = -855771 + 1450044. Is y a composite number?
True
Suppose 0 = 2*o + m - 2696923, -2*o + 67*m - 64*m = -2696903. Is o prime?
False
Suppose -3*h + 2*n = -751743, 7*n = 2*h + 5*n - 501160. Is h composite?
False
Suppose 5*q - 9*q + 8 = 0. Suppose i + 3*n = 394, 5*i + 7*n - 1930 = q*n. Suppose 2*w - 362 = 3*t, -2*w - 2*t + 0*t + i = 0. Is w a prime number?
False
Suppose p + 31 = -w, p + 94 + 21 = -4*w. Let g(y) = 3*y**2 + 33*y - 95. Is g(w) a composite number?
True
Is 8072103/33 + ((2121/77)/(-3) - -9) prime?
False
Let m(c) = 116*c**2 - 8*c - 847. Is m(33) a composite number?
True
Suppose 18*m - 152231 = -3*r + 14*m, 3*r + 2*m = 152227. Is r composite?
False
Is (377 + -378)/(1/(-151421)) composite?
True
Suppose 13*w - 26152 = -8589. Suppose 2*u + d - 348 = 552, -3*u - d + w = 0. Is u a prime number?
False
Suppose 32401 - 120897 = -42*c + 195802. Is c a composite number?
True
Is (0 - -1) + 8/(-12) - 12095720/(-39) prime?
False
Suppose 41*n - 24147807 + 9587061 = 13396457. Is n composite?
False
Is (-35)/(1575/(-8682903)) + (-2)/5 a composite number?
True
Let a be (-2460)/(-3)*338/(-52). Suppose 0 = -2*r - 0*r + 12. Is (-48)/36 - a/r composite?
False
Let p(z) = -9*z - 4. Let y(c) = 3*c - 40. Let r be y(13). Let k be p(r). Is (1507 - k)/(0 - -2) prime?
True
Let m be -1 - 0 - 3/(6/4). Let c be (-30)/9 + (-2)/3*1. Is (-1569)/(-2) - m*c/(-24) composite?
True
Suppose -8*j - 164472 = -20*j. Suppose 2*a - j = 2*w + 2*w, -2*a + 13746 = 4*w. Is a a composite number?
False
Suppose -6*u - 12 = -30. Suppose -u*s - 5*a = 1499 + 379, -3*a - 2515 = 4*s. Let w = 1322 + s. Is w prime?
True
Suppose 4*f = -3*z + 1217627, -608781 = -2*f + 10*z - 5*z. Is f a prime number?
False
Suppose 25*l + 3*q + 621344 = 27*l, 3*l = -16*q + 931893. Is l a prime number?
True
Suppose 4325*y - 42075 = 4320*y + 5*u, -25229 = -3*y + u. Is y a prime number?
False
Suppose p + 36 = 5*p - 4*l, p + 21 = -5*l. Suppose -2*a - 8 = 0, -p*d + 11 + 17 = -2*a. Suppose j - 1718 = -d*q, 4*q - 1614 = -2*j + 1804. Is j a prime number?
False
Let f be 122/(-18) + 10/(-45). Is 2401 - 7/f - 7 composite?
True
Let u = 50469 + 31624. Suppose 0 = -q - 10*q + u. Is q a composite number?
True
Let v(a) be the first derivative of -603*a**4/4 + a**3/3 - 5*a**2 - 19*a + 62. Is v(-3) a composite number?
False
Let a(u) = 24*u**3 + u**2 + 9*u - 15. Is a(13) composite?
False
Let s(l) = -l**3 + 27 + 9*l**2 + 13*l**2 + 14*l - 20*l - 19*l. Let f(a) = -a**2 - 11*a + 9. Let c be f(-10). Is s(c) prime?
False
Let k(p) be the first derivative of -7*p**2/2 + 18*p + 24. Let n be k(4). Is (-4)/n - (-42882)/70 a composite number?
False
Is 1 - -46757 - (36 - 21) composite?
True
Suppose 5*c = 213*x - 215*x + 2493, 5*x - 3*c = 6248. Is x a composite number?
False
Suppose -k - 4*u + 6 = 0, 4*u + u - 15 = -5*k. Let a(l) = l**2 - 11*l - 21. Let s(h) = 2*h**2 - 11*h - 20. Let i(r) = k*s(r) - 3*a(r). Is i(-14) a prime number?
False
Let r(h) = h**3 - 5*h**2 + 6. Let p be r(4). Let l(i) = -2*i**2 + 14*i + 8. Let y be l(p). Let c = -213 - y. Is c composite?
True
Let b(l) = 1454*l + 4247. Is b(34) a prime number?
False
Suppose 308775 = 5*w - 5*x,