s j a prime number?
False
Let n(q) be the second derivative of -q**5/20 - 5*q**4/12 - q**3/6 - 5*q**2/2 - 2*q. Let x be n(-5). Is (2/(-3) + x)*-33 a composite number?
True
Let q(d) be the first derivative of 23*d**2 - d - 19. Is q(17) a composite number?
True
Let k(l) = -3*l**3 - 5*l**2 + 6*l + 7. Let i be k(-7). Let x = i + -432. Is x a prime number?
True
Let i = -10338 + 17959. Is i a prime number?
True
Let z(q) = -49*q**3 - 3*q**2 + 2*q + 5. Is z(-12) prime?
True
Is (-1)/(-14) + (-4573281)/(-798) prime?
False
Suppose -9 = -3*k - 5*z - 2, k + 2*z = 1. Let c = -8 + k. Is (2/(-2))/(c/(-83)) prime?
True
Let h(b) = -6*b - 6. Let u be h(3). Let f be 10*1941/u*-4. Suppose -5*i = 5*s - f, -2*s - 5*i + 514 = -774. Is s a composite number?
True
Is 3386275/(-190)*-2*1 a composite number?
True
Let d = -42 + 146. Let s = -259 + d. Let c = 222 + s. Is c a prime number?
True
Let i be ((-8)/4 + 25)*-9. Let m = 295 + i. Let t = m + -49. Is t prime?
False
Suppose 66 = 2*f + 5*g - 887, 5*g = -f + 474. Is f a composite number?
False
Suppose 3*u + q - 292 = 6*u, -3*q - 398 = 4*u. Is (-4)/(-14) + (-9478)/u prime?
True
Suppose 0 = 5*n + s - 3301, -2*n + 3*s = 6*s - 1310. Suppose -5*j - n = -5*l + 4949, 0 = -5*l - j + 5616. Is l prime?
True
Let i(c) = -41*c - 120. Is i(-31) a prime number?
True
Let x(w) be the third derivative of -53*w**7/2520 + w**6/240 + 11*w**5/60 - 14*w**2. Let b(l) be the third derivative of x(l). Is b(-1) a prime number?
True
Suppose -46*t + 8*t + 101498 = 0. Is t a composite number?
False
Suppose -11 + 2 = -3*n. Let m(p) = -212*p + 1. Let x be m(n). Let a = 1074 + x. Is a composite?
False
Suppose 2*w - 8 = -2*t + 464, 0 = 2*w + 10. Suppose 0 = -5*f + 3444 + t. Is f prime?
False
Is (6/(-2))/((-372)/531092) a prime number?
True
Let j(p) = 7*p**2 + 16*p - 28. Is j(-27) composite?
False
Let g = -1966 - -3675. Is g a prime number?
True
Suppose -5*a + a = -28. Let t = 3 - 10. Let p = a - t. Is p composite?
True
Let i(n) = -n**3 - 15*n**2 - 14*n. Let w be i(-14). Suppose 4*o + 0*o - 80 = w. Suppose 0 = -5*j + o, 0 = -5*d - 7*j + 2*j + 1075. Is d a prime number?
True
Let g(j) = j**3 - 4*j**2 - 5*j + 2. Suppose 3*h = -s + 3*s + 17, -3*h = -3*s - 18. Let l be g(h). Is 508/8*20/l prime?
False
Let s be -3 + 1 + 6 + -2. Suppose 1997 = -s*h - 535. Is (h/12)/((-2)/4) a prime number?
True
Let h = -53 - -57. Suppose -m = 2*m - h*d - 649, 5*m - 3*d = 1067. Is m prime?
True
Suppose -5*j = -2*j + 18. Let c = j + 12. Let t(u) = u**3 - 6*u**2 + 5*u + 4. Is t(c) a composite number?
True
Let r = 18 - 18. Suppose r = 3*b - 5*c - 35, 3*c + 1 = -2*b - 1. Suppose -33 = -b*f - 3. Is f composite?
True
Suppose -v + 7075 = -4*o, -5*o - 8841 = -v - 1763. Is v a prime number?
False
Suppose -3*z + r + 1 + 13 = 0, -5*z - r + 10 = 0. Suppose 3*h + 411 = 2*t, -h = -z*t + 647 - 41. Is t composite?
True
Let z(h) be the second derivative of 26*h**3/3 + h**2/2 - 3*h - 2. Is z(1) a composite number?
False
Let v = 2 - 5. Let y(g) = -78*g**2 - g - 3. Let q(n) = 78*n**2 + 4. Let l(s) = v*y(s) - 2*q(s). Is l(-2) a prime number?
True
Suppose 5*s - 4*x - 26507 = 0, 2*x + 9 = -x. Is s a composite number?
True
Suppose 3*h + 5 + 1 = 0. Let i be 2 + (6/(-3))/h. Suppose t = i*s - 0*s + 12, -4*t + 35 = s. Is t a prime number?
False
Suppose -3*p = -p - 178. Suppose -11*h + 9*h = 0. Is (p - h/(-2)) + 0 prime?
True
Let q = 17348 - -2813. Is q a composite number?
False
Let l = 3 - 1. Suppose j - 72 = -l*f, 2*f + 3*j = 63 + 5. Is f prime?
True
Let v(q) = 86*q + 25. Let s be v(9). Suppose 0 = -0*d - 4*d + 520. Suppose -s = -3*n - d. Is n composite?
False
Suppose 8*k + 1836 = -k. Is (-112)/32*(k - 2 - 0) a prime number?
False
Let u(x) = 1180*x**2 + 8*x - 9. Is u(2) a composite number?
True
Let h(a) = -a - 6. Let o be h(-11). Suppose 0 = v - o + 1. Is 2/v*43*2 a prime number?
True
Let n(f) = f**3 - 6*f**2 - 7*f + 7. Let w = 0 - -7. Let b be n(w). Let y = b + 0. Is y composite?
False
Let i be 3/((-3)/(-4)*-1). Let q(t) = t**3 - t**2 - 2*t - 5. Let x be q(i). Let h = x + 268. Is h prime?
True
Let x(u) = 2*u + 8. Let p be x(-6). Let y(d) = -4*d + 5. Let m be y(p). Is 1190/m + 2/6 a prime number?
False
Suppose 34197 = 3*q - 2*i, -56995 = -q - 4*q - 3*i. Is q composite?
False
Is (8380/(-30))/((8/3)/(-4)) a prime number?
True
Suppose 12*c - 3*c - 54 = 0. Suppose c*w + 3453 = 19083. Is w prime?
False
Let h(d) = -417*d + 103. Is h(-7) composite?
True
Let y(x) = 2*x**3 + x**2 - 11*x - 5. Let t(s) = -s. Let f(p) = 4*t(p) - y(p). Is f(-4) a composite number?
False
Suppose -4*q + 10 - 2 = 0. Suppose 3*y + q*f - 3*f = 137, -43 = -y + 3*f. Suppose 3*h = 520 - y. Is h prime?
False
Suppose -130*r = -134*r + 51764. Is r a prime number?
True
Suppose 0 = -7*i + 34 - 13. Suppose i*s - 2*g + 181 - 688 = 0, -2*g = s - 169. Is s composite?
True
Suppose -3*s - 2*w = -2675, -20*s + 877 = -19*s - 3*w. Is s prime?
False
Let j = 89 - 36. Suppose -o + 198 = -j. Is o composite?
False
Let l(u) = -u - 7. Let z be l(6). Let k be 4/(z/4 - -3). Is -20*(3 + 76/k) a prime number?
False
Let m(o) be the first derivative of 270*o**3 - 5*o**2/2 + 4*o + 40. Is m(1) a prime number?
True
Suppose 5*x + 9054 = 100499. Suppose 0 = -13*g + x + 4266. Is g a composite number?
True
Let y(a) = -47*a + 2*a + 0 - 7 - 3. Let p be y(9). Is 1*(-1 - (1 + p)) a prime number?
False
Let g(l) = 5*l - 22. Let h(q) = q - 1. Let t(s) = -g(s) - 2*h(s). Is t(-9) composite?
True
Suppose 1558 = -4*s + 2*w, -2*w = 2*s + 56 + 726. Is 4*-1 + (-1 - s - -4) a composite number?
False
Suppose x - 143 = -4*b, -471 = -5*x + 3*b + 152. Is x a composite number?
False
Let h(r) = 32*r**2 + r. Let m = -12 - -15. Let l be h(m). Let o = 418 - l. Is o a composite number?
False
Let d(h) = -5*h**3 - 7*h**2 - 6*h - 15. Let a(j) = 3*j**3 + 4*j**2 + 3*j + 8. Let r(c) = 7*a(c) + 4*d(c). Let p be r(-2). Is (111/p)/(3/(-6)) prime?
True
Let t = 47 - 47. Suppose h - 84 - 235 = t. Is h composite?
True
Suppose 8*a - 15*a + 137557 = 0. Is a prime?
False
Let p(d) = -d**3 - 10*d**2 + 10*d + 14. Let t(h) = -3*h**3 + 2*h**2 + 2*h - 1. Let b be t(2). Is p(b) composite?
True
Let b(l) = 208*l**3 - 2*l**2 + 4*l + 10. Let n be b(-2). Let c = n - -2371. Is c composite?
False
Suppose -9*b = -12*b + 429. Let d = 90 - b. Let x = 244 + d. Is x a prime number?
True
Let r(c) = -56*c**3 + 6*c**2 + 10*c - 5. Is r(-4) prime?
False
Let f(d) = 91*d - 4. Let k(z) = -z**2 - 8*z - 7. Let x be k(-9). Let o = x - -19. Is f(o) composite?
False
Let i be 4/(-6)*(-4428)/24. Suppose -v = -5 - 3. Suppose -4*n + v = 0, -s + 0*n + i = -3*n. Is s prime?
False
Let m(g) be the third derivative of 53*g**5/60 + 5*g**4/24 + 7*g**3/6 + 5*g**2. Is m(-3) composite?
True
Let j = -1731 - -5742. Let c = j - 1851. Suppose -2*x + 2*y = -6*x + 2162, -4*y = 4*x - c. Is x composite?
False
Suppose -20 = 3*j - 26. Let t be -51 - (0 - (-2)/j). Let k = 59 - t. Is k prime?
False
Suppose -11*h + 16*h - 8376 = -4*n, -6281 = -3*n - 4*h. Is n prime?
True
Suppose 2*i + 4297 = 2*h + 3*h, -h + 857 = -i. Suppose -6*k = -h - 285. Is k a composite number?
False
Suppose -4*r - 8 + 32 = 0. Suppose 5*d + 77 = r*d. Is d composite?
True
Let w(q) = -q**3 + q**2 + 4*q + 6779. Is w(0) a composite number?
False
Let w = 38 + -22. Is (-5971)/(-5) + 1 + w/(-80) composite?
True
Suppose 3*z - 707 - 2635 = 5*g, -g + 3 = 0. Suppose 5*d - z = 136. Is d prime?
True
Let z be ((-7)/2)/((-2)/4). Let s(p) = -p**3 - 11*p**2 + 9*p - 2. Let m be s(z). Let i = m - -1152. Is i a composite number?
False
Let h be 4/14 - 11586/14*-3. Let r = 3630 - h. Is r a prime number?
False
Let q = -43 - -48. Suppose -q*n + 104 + 306 = 0. Is n composite?
True
Let x(c) = -2*c - 2. Let m be x(-7). Let o(s) = s**3 - 13*s**2 + 17*s - 13. Let z be o(m). Suppose -j + 2*j = z. Is j a composite number?
False
Let q be ((-21198)/(-5))/((15/(-50))/(-1)). Let o = -8949 + q. Is o a composite number?
True
Let x(i) = 281*i**2 - i. Suppose b - 23 = -2*b - 4*f, -4*f = -20. Let n be x(b). Is ((-2)/(-4))/(4/n) a prime number?
False
Let o(g) = 130*g + 89. Is o(9) composite?
False
Let h = 60 + -39. Let z = 36 - h. Is (-2288)/(-165) - (-2)/z a prime number?
False
Let k = 10 - 9. Suppose 0 = p - 5, 3*p + k = 4*t - 0. Suppose t*r - 748 = 304. Is r a prime number?
True
Let w be ((-3 - 1)*-1)/(0 + -2). Suppose 3*m + 0*g - 40 =