(f) be the third derivative of 67*f**5/5 + f**4/8 - f**3/3 - f**2. Let a be u(1). Suppose -4*r - r + a = 0. Is r prime?
False
Suppose 232*a = 237*a - 92035. Is a a prime number?
False
Let f(w) = 5*w. Let z be f(-2). Let l be ((-252)/z)/((-2)/15). Let c = 358 + l. Is c prime?
False
Let p = -35 + 36. Is 67/p + (6 - (-4 - -8)) a composite number?
True
Let o(y) = y**3 - 10*y**2 - 12*y + 13. Let m be o(11). Let h be (m*2)/(2/5). Suppose 5*p = -10 - h, u - 4*p = 93. Is u a prime number?
False
Is -2 - -6 - 7 - 7008/(-3) a prime number?
True
Is 3018 + (-1 + 13)/3 a prime number?
False
Suppose -10 = -9*m + 4*m - 5*w, m = 2*w + 17. Suppose 4448 = m*b - 858. Is b a composite number?
True
Suppose 2*f - 4*m + 9*m = 138937, 0 = 5*m - 15. Is f a prime number?
False
Let t(c) = -40*c - 9. Let j be t(-4). Suppose 0 = -p - 2*i + 151, 0*i = -p - i + j. Let v = 260 - p. Is v a composite number?
False
Let t(d) = -d**3 + 4*d**2 - d + 457. Suppose 0*h - 9 = h - 3*i, 0 = h + 2*i - 6. Is t(h) prime?
True
Let g be (0 - 2) + 3 - -1. Is (g/4)/(2/2996) a prime number?
False
Suppose -6 = -4*f + 3*f. Let z(r) = r**3 - 19*r**2 - 21*r + 12. Let w be z(20). Is w/6*(-261)/f prime?
False
Suppose w = -0*w. Suppose -4 = -w*v - v. Suppose 2*n - 3*m - 713 - 2363 = 0, 7667 = 5*n + v*m. Is n a composite number?
True
Let o(i) be the first derivative of 7*i**4/24 - 2*i**3 - 3*i**2/2 + 6. Let f(s) be the second derivative of o(s). Is f(10) a composite number?
True
Let n(c) be the first derivative of c**4/4 + 13*c**3/3 - 4*c**2 - 2*c + 7. Let a be n(-12). Suppose -p + 9 = -a. Is p prime?
False
Let h(u) = -121*u**2 - 5*u - 11. Let v be h(4). Let y = 186 - v. Is y a prime number?
True
Suppose 5*u - 638 = 4*t, 4*u + 0*u = 3*t + 510. Let k = 214 - u. Suppose -303 = -z + 5*q + k, 4*q = 5*z - 1871. Is z composite?
True
Let y(q) be the second derivative of q**3/2 + 43*q**2/2 - 22*q. Is y(20) a prime number?
True
Let n(j) = -9*j**2 - 41*j - 44. Let g(o) = -3*o**2 - 14*o - 15. Let b(i) = -7*g(i) + 2*n(i). Is b(-12) a composite number?
False
Suppose 6*g = 145 + 95. Suppose 0 = g*h - 33*h - 7427. Is h a composite number?
False
Let t(i) = -20366*i + 3. Is t(-1) prime?
True
Let b be (-16 + 8)/(4/(-1418)). Suppose 0*w + 4*w = b. Is w prime?
True
Suppose -4*w - 4646 = -2*z, z - 5*w + 4691 = 3*z. Is z a composite number?
False
Let k(t) = -42*t - 9. Let o = 39 + -36. Suppose -u + 32 = -3*n, 8 = 2*n - o*n - u. Is k(n) composite?
True
Let c(u) = -u - 9. Suppose -2*f - 6 = 12. Let h be c(f). Suppose -k + 3*k - 86 = h. Is k composite?
False
Let h = 1436 + 605. Is h prime?
False
Let v be ((-50039)/(-44))/((-1)/(-4)). Let t = v - 2666. Is t a prime number?
False
Let f(h) = 12972*h + 7. Is f(1) a composite number?
False
Let x = 18 + -14. Let l(t) = -2*t**2 + x*t**2 + t**2 + 3 - 12*t + 4. Is l(9) a prime number?
False
Is 3921*(29/3 - 6/1) a prime number?
False
Is (111702/10)/(78/130) prime?
True
Let q = 13238 - 5883. Is q a composite number?
True
Let k(z) = -322*z + 17. Let s(y) = -2*y**2 + 6*y - 6. Let u be s(3). Is k(u) a composite number?
False
Let o be 3/((-9)/(-1272)*4). Suppose -5*r - o = 149. Is r/4*(-4 - 0) a composite number?
True
Suppose 20637 = -m + 6*m - a, -3*m = -2*a - 12385. Is m prime?
True
Suppose 10 = 5*y - 5*g, -5*g = -0*y + y + 16. Let t be (1 - 48/3)/y. Suppose -t*v + 17*v = 598. Is v a prime number?
False
Let i(l) = 11*l**2 - 2*l + 5813. Is i(0) composite?
False
Let s(u) = 19*u**3 + 3*u**2 - 7*u + 9. Is s(2) prime?
False
Let k(l) = -6*l + 3 + 3*l + 6*l - 4*l. Let v be k(13). Let u = v - -63. Is u composite?
False
Let c = -22 - -24. Suppose -u = -3*f + 7, -5*u - 4*f + c*f + 50 = 0. Suppose 5*k = u*k - 57. Is k prime?
True
Suppose v - f = 6*v - 4081, 4082 = 5*v + 2*f. Suppose v = p - 413. Is p composite?
False
Let p = 129 + -117. Is (p/(-20))/(1/(-1535)) a composite number?
True
Suppose 0 = -u - 2*u + 20535. Let f = -3984 + u. Is f composite?
False
Let z = 24233 + -7290. Is z prime?
True
Let n be (-4)/6*6 - -4. Let m be 0 + 51 + (-2 - -3). Suppose -2*s = -n*s - m. Is s a prime number?
False
Suppose 63 + 33 = 8*z. Suppose 0 = 16*c - z*c - 16. Is c composite?
True
Let c(f) be the second derivative of -3*f**3/2 + 3*f**2 + 6*f. Let w be c(15). Let r = w + 350. Is r prime?
False
Let j be -2*(35613/6 - -4). Let f = -7588 - j. Is f a composite number?
True
Let k = -22940 - -40633. Is k a prime number?
False
Let p(x) be the third derivative of 13*x**5/10 + x**4/6 + x**3/2 - 2*x**2. Let s be 7/((-21)/9) + 1. Is p(s) composite?
False
Suppose 36 = -5*i - 4*f, i + 3*f = -21 + 5. Let m = -2 + -3. Is m/((-60)/(-99))*i a composite number?
True
Suppose 5*v = 44381 + 4064. Is v a composite number?
False
Let t(n) = -2*n + 34. Let h be t(-12). Suppose 0 = 63*l - h*l - 14675. Is l composite?
True
Suppose -x + 2*x + 4*b - 108428 = 0, 542068 = 5*x + 2*b. Suppose 14*q - 69318 = x. Is q composite?
True
Let w be 8/60*3 + (-633)/(-5). Suppose -2*y = -w - 31. Is y composite?
False
Let v = -736 - -466. Let c = -67 - v. Is c prime?
False
Suppose -66 = m - 59. Is (-3 + 2)*-1973*(8 + m) a composite number?
False
Let b(r) = r**3 - 9*r**2 - 7*r - 1. Let h be b(6). Let a = h + 480. Is a a composite number?
True
Suppose -25*u = 27*u - 6357988. Is u prime?
False
Let k = 5 + -2. Suppose -15 = -3*i, -k*i = v - 0*i - 302. Is v a prime number?
False
Suppose 5*q = 4*q. Suppose q = -4*z + 149 - 17. Is z composite?
True
Let i = 136 - 431. Let m = i + 518. Is m a prime number?
True
Let s(v) = -233*v + 8. Let c be s(-13). Suppose -2*p = 10, -y + 2*p - c = 3*p. Is ((-20)/(-80))/((-2)/y) a composite number?
False
Is (2110/60)/((-5)/(-30)) prime?
True
Suppose 11*q - 36909 = -16*q. Is q prime?
True
Suppose 0 = -3*m - 3*c - 3, 10 = -5*c. Let j(b) = 1589*b + 5. Is j(m) prime?
False
Is (-114726)/6*(15 + -16) prime?
True
Suppose -16*o = -496 - 176. Suppose 0 = -47*m + 50*m - o. Is m a prime number?
False
Let d(j) = -j**3 + 13*j**2 + 7*j - 4. Let a be d(6). Suppose 2*g = 4*g + 258. Let c = g + a. Is c a composite number?
True
Let h be 18/(-24) + (-59)/(-4). Let k be (-1716)/154 + 1/7. Let o = k + h. Is o composite?
False
Suppose -3*o = 2*f - 2869, f + 3262 = 5*o - 1498. Is o a composite number?
False
Let s = 2099 + -3653. Let z = s + 2915. Is z prime?
True
Suppose -2*n - 10350 = -4*b, -2*n + 5451 = 2*b + 279. Is b prime?
False
Let p(s) = 5*s + 15. Let o be p(-5). Let l(k) = k**3 + 14*k**2 + 13*k - 5. Is l(o) prime?
False
Let h = -6229 + 11136. Is h a prime number?
False
Let o = 207 + -13. Suppose -13*v - o = -4367. Is v a composite number?
True
Let h(l) = -l**2 - 9*l + 12. Let f be h(-10). Is 7*(-22)/(f + -4) composite?
True
Suppose -2*t + 1099 = -3*n, -5*n + 4*n = -3*t + 1666. Is t composite?
False
Suppose 0 = -3*f + 2*m + 3739, 3*f + 5*m = 2*f + 1218. Suppose -f + 3531 = 16*n. Is n prime?
False
Let a(n) = -5*n + 5. Let j be a(2). Let z be j + (-9)/(27/(-6)). Is 2282/2*(4 + z) a prime number?
False
Let x(z) = 2*z + 7. Let l = -18 - -22. Let w be x(l). Is (w/(-5))/(1 + -2) a prime number?
True
Let m(s) = -s**3 - 16*s**2 - 15*s + 7. Let l be m(-15). Let b(g) = 9*g**2 - 5*g + 3. Is b(l) a prime number?
True
Suppose -14299 = 8*t - 78611. Is t composite?
False
Suppose -369*o = -370*o + 1418. Is o prime?
False
Let h = 2113 + 2313. Is h a prime number?
False
Suppose 12*i - 11*i - 451 = 0. Is i a prime number?
False
Is ((-3805985)/380)/(2/(-8)) a composite number?
False
Let g(c) be the second derivative of c**7/1260 + c**6/80 + c**5/60 + 5*c**4/12 + 3*c. Let r(q) be the third derivative of g(q). Is r(-11) a prime number?
False
Let j = 3 + 45. Let f = j - -5. Is f a composite number?
False
Suppose -2*y = -3*c + 377615, -15*c = -17*c + 2*y + 251742. Is c composite?
True
Let t(w) = -9 + 0*w**3 - 9*w + 2*w**3 + 4*w**2 - 3*w + 2*w**2. Is t(7) a prime number?
True
Let g(n) = -n**2 + 6*n - 6. Let c be g(3). Suppose -2*v - c = 3, -5*s - 3*v = -3166. Is s a prime number?
False
Suppose 28*p + 295 = 33*p. Suppose p = 3*u - 322. Is u composite?
False
Let h = 4 + -6. Let p(x) be the third derivative of 11*x**5/30 - x**4/12 - x**3/6 - 22*x**2. Is p(h) a composite number?
True
Suppose 0*y + 5*z + 7 = -3*y, 0 = 2*y + 4*z + 8. Let w(r) = -r**3 - 238 - 9*r**2 + 5*r**3 + 8*r + 115 + 116. Is w(y) a composite number?
True
Let g(r) = -r + 1117. Let o be g(0). Let b = o +