6/120 + d**5/60 - d**4/24 + 5*d**3/6 + 2*d**2 - 9*d. Let g(y) be the first derivative of q(y). Is g(-10) prime?
False
Let z(d) = 2*d**2 - 6*d + 15. Let k be z(11). Let y = -124 + k. Is y composite?
False
Let i be (-4 - -2) + (-2 - -3). Let r be (80/(-12))/(i/(-3)). Is (-2)/5 - 4348/r a prime number?
False
Is (-3)/((-21)/(-14))*(-59194)/4 a prime number?
False
Suppose -5*b - 3112 = 3*k, -k + 0*b - 4*b - 1042 = 0. Is 4/24*-3*k prime?
False
Let u = -1173 + 1793. Suppose -2*s + 252 = -3*l - u, -2*l = -2*s + 874. Is s composite?
False
Is (0/(-3))/6 + 2524/2 a prime number?
False
Let q be (24/(-21))/((-10)/35). Suppose -v + 26641 + 12734 = -q*t, 5 = -v. Is t/(-45) - 4/(-18) a prime number?
False
Let d(x) = -122*x**2 + 3*x + 10. Let g be d(-4). Is g/10*(-7 + (1 - -1)) prime?
True
Let r(a) = -a**3 + 53*a**2 + 37*a - 14. Is r(33) prime?
False
Let v be (3 + (-1 - -3))*1. Suppose 0 = -v*c + 4807 - 1652. Is c a composite number?
False
Let r = 62890 - 43575. Is r a composite number?
True
Suppose 4*k = -u + 17237, 0 = -8*k + 4*k + 16. Is u composite?
True
Let u(p) be the second derivative of p**4/3 + 7*p**3/6 - 7*p**2/2 - p. Let i(s) = -s - 1. Let v be i(-7). Is u(v) prime?
True
Suppose -12641 = -k - h + 2*h, -3*k + 5*h = -37915. Suppose -7*q + 42052 = k. Is q a prime number?
True
Let s(a) = 138*a - 7. Is s(11) prime?
True
Suppose 563 - 137 = -3*r. Let f = r + 661. Is f prime?
False
Let f be (-2)/4*8 - -3. Is f + -2 + 5400/5 prime?
False
Let f = 7087 + 7822. Is f prime?
False
Suppose 4*k = y + 199, 3*k + 245 = 8*k - 2*y. Suppose 42*f = k*f - 2421. Is f prime?
True
Let i(p) = -p**2 - 11*p - 18. Let h be i(-9). Is (h + -7)/(1/(-11)) composite?
True
Suppose 3*i + 6535 = -5*s - 1293, 0 = -s + 4*i - 1584. Let r = s - -2539. Is r a prime number?
True
Let n(v) = 222*v - 8. Let w be n(8). Suppose -3*i + w = -i. Suppose u - i - 578 = -5*h, -3*h + 2*u = -885. Is h a composite number?
False
Let l = 4 + 5. Suppose l*q + 4*q = 28093. Is q a prime number?
True
Let k(w) = -4*w - 2*w - 5*w - 3*w - 16 + 4*w**2. Let f(h) = -2*h**2 + 7*h + 8. Let q(c) = 11*f(c) + 6*k(c). Is q(6) prime?
False
Let d(z) = -323*z - 396. Is d(-31) composite?
True
Suppose -3*v + 0 = 60. Is ((-248)/v)/(3/15) a composite number?
True
Let s(p) = 26245*p - 162. Is s(1) composite?
False
Let f(b) = 2 - 70*b**2 - 2 + 479*b**2. Is f(1) a prime number?
True
Let w(x) = 15*x**3 + 23*x**2 + 11*x - 19. Let s(z) = -8*z**3 - 11*z**2 - 5*z + 9. Let b(k) = -7*s(k) - 3*w(k). Let u be b(-5). Let c = -704 - u. Is c composite?
False
Let m(t) = 8*t**2 + 19. Let z be m(-5). Suppose u = -3*b + 345, 3*b - 5*u - 333 = -10*u. Let g = z - b. Is g composite?
False
Suppose 5*j - 29 - 66 = 0. Let k(b) = b**2 + 21*b - 23. Is k(j) a prime number?
False
Let r = -1156 + 1999. Is r prime?
False
Let y be (6/2 - 0)*27. Is 2 + 4/2 - -5*y a prime number?
True
Let z(c) = c**3 - 10*c**2 + 6*c - 12. Let d be z(10). Suppose 3*v - 5*r + 20 = 6*v, 5*r + 30 = 2*v. Let q = d + v. Is q composite?
True
Let j(r) = r**2 - 6*r. Let p = -4 - -10. Let g be j(p). Suppose c - 63 - 474 = g. Is c a prime number?
False
Suppose 32532 = -43*k + 151255. Is k a prime number?
False
Let a be 10*(0 + (-4)/(-10)). Is (a + -3)/(1/157) prime?
True
Suppose t = 1007 + 2607. Let b = 263 + t. Suppose b = 4*z + 369. Is z a prime number?
True
Let r(m) be the second derivative of 5*m**3/6 - m**2/2 + m. Let s be r(-1). Let a(o) = 5*o**2 + 4*o - 7. Is a(s) composite?
False
Suppose -4*r - 1 = -3*r, -11603 = -5*w - 2*r. Is w a prime number?
False
Let f be (36/8)/(-9)*930. Let z = 456 - f. Is z a prime number?
False
Is (21144/(-28))/(4/(-14)) prime?
False
Suppose -3*j = -5*j. Suppose j*y - 2348 = -4*y. Is y a prime number?
True
Suppose 4*k + 19 = -125. Let j be (-912)/k - (-4)/6. Is 1840/130 + (-4)/j composite?
True
Suppose -32 = -4*k + 2*j, -6*j - 24 = -2*k - j. Suppose 0 = -3*s - 11 - k. Let c(x) = x**2 - x - 5. Is c(s) a composite number?
False
Let g = 4183 - -2088. Is g a prime number?
True
Let f be (-10)/(-14) + 20/70. Let j be f/(-3) - 249/9. Is (-841)/(-4) + (-21)/j prime?
True
Let v be 9*(-2)/(-4)*8. Suppose -4*r + v = -3*r. Suppose -2*f + 2 = -r. Is f a composite number?
False
Let h be ((-4)/6)/((-24)/(-36)). Let l be (1/(-1))/(h/2712). Suppose -135 - 3248 = -5*g - r, -4*g + 2*r + l = 0. Is g prime?
True
Is ((-45)/30)/(1*(-12)/87160) prime?
False
Let q(m) = -176*m**3 - 3*m**2 - 95*m - 5. Is q(-6) a prime number?
False
Suppose 0 = -7*o + 9*o - 2082. Is (7/3 + -3)/((-2)/o) prime?
True
Suppose -24*u + 312072 - 109008 = 0. Is u a composite number?
False
Let i = -18865 - -40371. Is i composite?
True
Suppose 3*u = z + 4*z - 3555, 0 = -z + 2*u + 711. Let l = z - 1511. Let x = -465 - l. Is x composite?
True
Let r(z) = 7*z**2 - 2. Let a be r(1). Suppose a*k - 197 = -3*t, -2*k - 3*k = -5*t + 275. Is t prime?
True
Suppose -13*s = -20*s + 9219. Is s prime?
False
Let w(c) = -c**3 + 15*c**2 + 28*c - 13. Let f = 11 - -2. Is w(f) prime?
False
Suppose 0 = -2*u - 2. Let c be (2 - u) + 24 + 3. Let i = 89 - c. Is i a composite number?
False
Let v(l) = l**3 - l**2 + 2*l. Let m be v(2). Suppose 3*c - m = -c. Is (-1)/c - 7956/(-24) composite?
False
Let h(t) = -t**3 - t**2 + 9*t - 1. Let a be h(3). Is 4594/4 - 7/(-4 + a) a composite number?
True
Suppose -3*b + 3 + 12 = 0. Suppose 50 = -b*m - 5*g, 0 = 7*m - 3*m - g + 15. Let f = m - -24. Is f a prime number?
True
Suppose -2*s = -0*s. Suppose 4*b - 108 - 8 = s. Suppose -a + 2*f + b = 0, -3*f - 67 = -4*a + 34. Is a prime?
True
Let q be -1*(-17 - -2)/3. Let r(o) = -3 - q*o**2 - o**3 + 3*o + 2*o + 0*o**2. Is r(-8) composite?
False
Let x = -1631 - -15268. Is x a composite number?
True
Suppose 8*g + 174834 = 26*g. Is g a composite number?
True
Let z = 5 + -7. Let o = z - -5. Suppose 1001 = o*j + 302. Is j a prime number?
True
Suppose 2*s - 271 = -979. Let h be 22/(-4) + (-1)/(-2) + -54. Let q = h - s. Is q a composite number?
True
Suppose 4*w + h = 6*h + 8, -4*h + 10 = 5*w. Suppose 4*k + 4503 + 5710 = -3*n, 4*k - w*n + 10218 = 0. Let m = -1617 - k. Is m a composite number?
False
Let p be 1/5 - (-9004)/(-20). Let b be 2/(-4) + p/(-20). Is (-6125)/(-11) + 4/b a composite number?
False
Let n be -3*2/3*-2. Suppose -x - 4 = -3, 0 = -4*t - 4*x + n. Is (586/t)/(1/1) prime?
True
Let m = 110 - 110. Let w(z) = -6*z + 479. Is w(m) a composite number?
False
Suppose 6680 = 17*c + 3*c. Is c a composite number?
True
Suppose 224*c = 218*c + 41682. Is c composite?
False
Let y(b) = 3*b**2 + 19*b - 15. Is y(-11) a composite number?
False
Let z(i) = -4932*i + 47. Is z(-3) a prime number?
True
Let b = 780 + -377. Let v = b - -16. Is v composite?
False
Let i(v) = 2*v + 12. Let n be i(-5). Suppose n*t - 2*x - x + 254 = 0, -4*x = 4*t + 508. Is (t/2)/((-10)/20) a prime number?
True
Let d(k) = -2 + 20*k**2 + 10*k**2 - 1 + 4*k + 5*k**2. Let v be d(3). Suppose -5*a = -421 - v. Is a a prime number?
True
Let a(w) = -1 - w + w**2 + 0 + 4 + 7*w**2 - w**3. Let h be a(5). Let x = -36 + h. Is x a composite number?
False
Suppose -5*r + 2*v + 45335 = 0, -5*r = -5*v - 76926 + 31606. Is r a composite number?
True
Suppose -71*z + 18 = -65*z. Is z/(-5) + (3096/30)/2 prime?
False
Suppose r - 2*u + 7*u = 6, 0 = 5*r - 2*u - 57. Let l(j) = j**3 - 11*j**2 - 3. Let a be l(r). Is 2/a - (-455)/21 composite?
True
Let r(x) = 688*x**3 - x**2 - 3. Is r(2) prime?
False
Let o(x) = -x + 2. Let u be o(-1). Let k(a) = 247*a + 2. Is k(u) a composite number?
False
Let p(w) be the second derivative of -w**2 + 7*w + 0 - 55/2*w**3. Is p(-1) a prime number?
True
Suppose 3*s = 3*x + s + 2884, 2*s = -8. Let y = x + 1431. Is y a composite number?
False
Let c = -423 + 596. Let j = c - 86. Is j prime?
False
Let p(k) = 5*k**3 - 19*k**2 + 3*k + 10. Let h(c) = -c + 1. Let q be h(-6). Is p(q) composite?
True
Let t = -860 - -913. Is t composite?
False
Let r = -229 + 432. Suppose 12*l - 13*l = -r. Is l a prime number?
False
Let t(z) = z**3 - z + 1. Let w(r) = 6*r**3 + r**2 - r + 2. Let p(y) = 4*t(y) - 2*w(y). Let x be p(-2). Suppose -4*f + 224 + x = 0. Is f a composite number?
False
Let u(n) = 25*n**2 - 4*n + 4. Let o = 32 + -32. Suppose o = -x - 3*x + 28. Is u(x) a prime number?
True
Suppose -39 - 143 = -2*g. Is g prime?
False
Let f(y) = -7*y - 24. Let x be f(8). Let c = x + 175. Is c a composite number?
True
Suppose 