alse
Let r(s) be the first derivative of -s**5/20 + 7*s**4/6 - 5*s**3/3 - 5*s**2/2 - 2*s - 7. Let h(m) be the first derivative of r(m). Is h(12) prime?
True
Let v = 5435 - 3061. Suppose v = 2*u + 32. Is u a composite number?
False
Suppose -4*c + 424 = -4*a - 0*a, 3*c + 4*a = 346. Let m = c + -227. Let h = 308 + m. Is h a composite number?
False
Let g = 13 - 18. Let w = -4 - g. Let a(l) = 452*l**2 + 2*l - 1. Is a(w) prime?
False
Let z be (-1 + -4 - 0)*167. Let m = 1462 + z. Let s = -310 + m. Is s a composite number?
False
Let o(k) = 6*k**2 - 3*k**3 + 6*k - k**3 - 27 + 26. Is o(-6) composite?
True
Let s be (-4 + 5)*97*(-1 - -2). Let z = 236 - s. Is z a prime number?
True
Let p be ((-16)/(-24))/((-2)/9). Let y(c) = 3 + 1 + 3*c**3 - 3*c**2 - c - 4*c**3. Is y(p) prime?
True
Suppose 2*v + d - 96 = 0, 0*v = 2*v - d - 88. Suppose 0 = v*w - 42*w - 16444. Is w composite?
False
Suppose -4*u + 4*j - 20 = 0, 0 = -j - 4 + 1. Let b(a) = 20*a**2 + 6*a + 59. Is b(u) a prime number?
True
Let q(i) = 4*i + 2. Let j be q(-4). Let h(w) = -11*w**2 - 3*w + 3. Let s be h(2). Let x = j - s. Is x a prime number?
False
Is (132 - 100133)/(-1*1) a prime number?
False
Let u = 4718 - 2300. Suppose h - 4*x = -h + u, 0 = -4*h - x + 4854. Suppose -3*o - 5*l = -946, -4*o + l = -2*l - h. Is o prime?
True
Let c(u) = u**2 + 6*u + 3. Let t be c(-6). Let d = 500 + -499. Is (t - (3 + -209))*d a prime number?
False
Is 3/6*4*(1 + 606) a composite number?
True
Let g = 2123 + -841. Suppose -3*u + 3*o = o - 1923, 2*u + o - g = 0. Is u a prime number?
True
Is -109*35/(-14) + (-12)/(-8) a composite number?
True
Suppose -1 = 3*p + p - 3*t, 7 = 2*p - 3*t. Is 416 - (p + (2 + -3)*-1) composite?
False
Suppose -3*c = 2*p + 3, -2*p - 2*c - 1 = -3. Suppose p*m = 8*m - 1538. Is m composite?
False
Suppose 0 = -2*b + 5*v + 15, 3*b - 16 = v - 0*v. Suppose 1170 = b*a - 2525. Is a a prime number?
True
Let o(k) = -k**3 - 15*k**2 - k - 12. Let t be o(-15). Suppose t*c - 3982 = 197. Is c a prime number?
False
Let n(z) = 2*z**3 + z**2 + z - 1. Let k be n(1). Suppose -3 = k*g - 2*h, -g + 16 - 6 = 3*h. Is ((-5)/10)/(g/(-2390)) a prime number?
False
Let l(y) = -5*y - 21. Let j be l(-6). Is 6660/42 + (-2)/((-42)/j) a prime number?
False
Let v(j) = 4*j**2 - 2*j + 1. Let c be v(1). Suppose -n + 2*m = 1174, 2*n + c*m = -1097 - 1223. Let p = n + 2709. Is p prime?
True
Is ((-1)/(-2))/((-2)/(-14636)) a prime number?
True
Let q = 12 - 8. Let g be -9 - (q - (1 - -2)). Let d = g - -23. Is d a composite number?
False
Let h = 1837 - 1228. Suppose 6*j + j - h = 0. Is j a prime number?
False
Let r be 0 - (-3 + (-65716)/4). Suppose 3*i + r = 7*i. Suppose -i + 1217 = -7*d. Is d a prime number?
False
Let u be 2*(-2 - (-4758)/(-12)). Let q = -156 - u. Is q prime?
True
Let s(a) = 3*a**2 - 34*a + 14. Let u be s(11). Suppose -4*w - 116 = -5*i + i, -2*i - u*w = -78. Is i a composite number?
True
Let j = 2145 - -310. Is j a composite number?
True
Suppose f - t = 2, 4*f = t + 20 - 6. Suppose -f*i + 2411 = -3761. Is i prime?
True
Let m = 1861 - 2816. Let z = m - -1640. Is z a composite number?
True
Let f = -224 - -654. Suppose 4*n - f = 2*n. Is n prime?
False
Suppose -117*t + 108*t = -427131. Is t a composite number?
False
Let p(q) = q - 632. Suppose -3*s = s. Let a be p(s). Is 3/(-4*2/a) composite?
True
Let l = -19 + 22. Is 215 + l + (-8 - -1) prime?
True
Suppose 0 = 3*g - 637 + 40. Is g*(-2 + 5 - 2) prime?
True
Suppose 3*s - 12 = 0, -2*s = -b - 0*s - 17. Let d = b - -12. Suppose -4*c + 407 = d*v, 4*c - 2 = -18. Is v prime?
False
Suppose -2*b + 6 = -0. Suppose -b*l + 17 + 28 = 0. Suppose -106 = -z - l. Is z prime?
False
Suppose -162371 - 228329 = -20*j. Is j a composite number?
True
Let x(l) = 94*l**2 + 16*l - 9. Is x(-8) composite?
False
Suppose 0 = 4*o - 6*o + 102. Suppose -184 = -f - o. Is f composite?
True
Let j(x) = 15*x + 37. Let b be j(-7). Let a = b + 77. Is a prime?
False
Is (-59834)/6*(0 + -3) a composite number?
False
Let r = 7 + -5. Let v be 118 + 0 + 0 + r. Suppose -4*z + n + v = -3*n, -5*z - 3*n = -174. Is z a composite number?
True
Suppose 589673 = -2*l - 58231. Is l/(-80) - (-4)/(-10) a composite number?
False
Let j(z) = z**2 + 2*z + 75. Let l be j(0). Let o = 130 + l. Is o prime?
False
Let n be 0/(3 - 0) - -7. Let u(o) = 20*o**2 - 5*o - 4. Let b be u(n). Suppose 0 = 5*q + 4*p - b, -p = p - 8. Is q prime?
False
Suppose 3*w = 4*w. Suppose -3*c = -w*c - 12, 2*u + c = 266. Is u a prime number?
True
Let w = -41 - 95. Let p = w - -193. Is p composite?
True
Suppose 0 = -5*q + 2*i + 169259, -9*q + 3*i = -11*q + 67696. Is q prime?
True
Is -10*(-2)/4*23543/65 a prime number?
True
Let n be ((-1484)/35)/((-4)/190). Suppose 0 = 5*y + t - 5035, -11*y + 9*y - 3*t = -n. Is y prime?
False
Let h(n) = -474*n**3 - 3*n**2 - 2*n + 4. Is h(-3) a composite number?
False
Let a be (-532)/36 - (-2)/(-9). Let x = 17 + a. Is (7 + 440)/(3/x) composite?
True
Suppose -s = 1 - 3. Let k = 7 - s. Let n = 132 - k. Is n prime?
True
Is 6668/8*(7 - (3 + -6)) a prime number?
False
Suppose 6*h - 8 - 46 = 0. Suppose -l - 141 = -2*i, -360 = 4*i - h*i + 5*l. Is i prime?
False
Let y be 3/6 + (-6)/4. Is (39/(-9))/(y/15) prime?
False
Suppose -86989 = -63*r + 59990. Is r composite?
False
Suppose -n + 9*n = 13864. Is n prime?
True
Let x = 57753 - 39584. Is x a prime number?
True
Suppose -1679 + 26451 = 4*r. Is r composite?
True
Suppose 4*g - 18 = -3*q - 3, 5*g - 5*q = -25. Let j be (-74921)/(-56) + (-3)/(-24). Suppose g*h - 5*k = 3*h - j, h - 446 = 2*k. Is h a composite number?
True
Let l(q) = -q**2 - 5*q + 2. Let j be l(-4). Let w be 517/5 - (-30)/(-75). Let n = w - j. Is n composite?
False
Let q be (6 - 1)*1/(-5)*-5. Suppose q*m + 5*t = 2*m + 4099, -3*t - 1385 = -m. Is m a prime number?
True
Let l(i) = 3*i + 81*i**2 - 1 - 72*i**2 + 4*i. Is l(12) a prime number?
False
Let g = -3981 - -73486. Is g composite?
True
Let c = 251 + -163. Let i = 255 - c. Let o = i + -78. Is o a composite number?
False
Let h be 6/(-21) + (-21255)/(-35). Suppose 0 = 5*q - h + 122. Is q a prime number?
True
Suppose -2*m - 10 = -0*f + 3*f, 0 = -2*m + 3*f - 10. Is (2 - 63/2)/(m/170) composite?
True
Let v = 506 - 762. Let c = v + 1379. Is c a composite number?
False
Is -6 - (-12030*4)/6 a composite number?
True
Suppose 3*b = 2*s + 38, -b + 3*b = 2*s + 24. Let a = b + -14. Suppose -1075 = -a*d - 5*d. Is d prime?
False
Suppose -5*k + 5*m + 40 = 0, k + 5*m + 28 = 2*k. Suppose -2*i + 970 = k*i. Is i a composite number?
True
Let h(m) = 340*m**2 - m - 130. Is h(13) a composite number?
True
Is (45104/(-80))/((-4)/20) a prime number?
True
Suppose 0 = 21*t - 25*t + 9744. Let h(k) = -1612*k - 6. Let o be h(-3). Suppose 6*g - t = o. Is g prime?
False
Let a(r) = -5108*r - 5. Is a(-2) a prime number?
True
Suppose 0 = -5*c - 6 + 1. Let l(d) = -581*d. Is l(c) prime?
False
Is (-1 + 0)*-34738 + 1 a composite number?
False
Let t = -6 + 6. Suppose t*d = 2*d. Suppose d = -c + 9 + 25. Is c prime?
False
Let z(y) be the third derivative of 5*y**5/12 - y**3/3 - 24*y**2. Is z(-3) a composite number?
False
Let m(u) = u**2 + 21*u - 89. Let k(l) = l**2 - 8*l + 29. Let w be k(0). Is m(w) a composite number?
False
Let b(y) = -y**3 - 10*y**2 - y - 6. Let i be b(-10). Suppose 5*g - i*g - 422 = 0. Is g a composite number?
True
Let h be (12/42)/(26/(-14) + 2). Suppose n = -2, 0 = -4*w + h*n + 615 + 977. Is w a composite number?
False
Suppose 642 + 2062 = -2*l. Is l/(-39) - (-2)/(-3) a composite number?
True
Suppose 2*q - 119573 = -5*x, -4*x + 3*q + 83386 = -12277. Is x a prime number?
False
Suppose -2*n - 1024 + 3996 = -5*g, 2*g - 5920 = -4*n. Is n composite?
False
Suppose -29*u - 4*u + 227139 = 0. Is u a prime number?
True
Let c(y) = -103*y - 10. Suppose 4*r + 5*u + 21 = 0, 2*r - 2*u + 18 = -3*r. Let b be c(r). Suppose 0 = -5*o + 2843 + b. Is o prime?
False
Let y(g) = 78*g**2 - 3*g - 9. Let m be y(-7). Suppose -c - 3469 = -5*z, -c - m = 5*z - 335. Is (-4)/(-6) + c/(-12) a composite number?
True
Suppose 4 = 2*h + 3*c, 2*h - c - 4 = -0. Suppose -h*l = -4*y + y - 197, 3*l - 4*y = 298. Is l a prime number?
False
Suppose q = 3 - 6. Is -1*(q - 10/(-3))*-1761 a prime number?
True
Let x = 1920 + 1747. Is x composite?
True
Let p = -1684 - -2395. Suppose 10*i = 1799 + p. Is i composite?
False
Let x(h) = -174*h + 19. Let a be x(-9).