s k prime?
False
Let w(s) be the first derivative of -4*s**2 - 3*s + 12. Suppose 0 = -0*z + z + 7. Is w(z) a prime number?
True
Suppose 4*q = 12, 5*o - 4*q + 32506 = -1866. Is 1/4 + o/(-32) prime?
False
Suppose 3*w + 2*w - 10 = 0. Suppose w*t - 221 = -4*j + 9, -5*t + 3*j = -601. Suppose -c - p = -5*p - t, 4*c - 458 = -2*p. Is c composite?
True
Let r be 7/(-35) - 722/(-10). Suppose -54 = -m - 5*y, -2*m = -2*y - r - 24. Is m a prime number?
False
Let t be (-10)/(-45) - (-86)/18. Suppose -2*w + t = -l, 2 = -w + 5*l - 0. Suppose m - g = 15, -50 = -w*m + g + 3*g. Is m a prime number?
False
Let s(d) = -6*d**2 - 2*d + 17. Let h(n) = -7*n**2 - 2*n + 18. Let q(t) = 5*h(t) - 6*s(t). Let z be q(9). Suppose 0*p - z = -p. Is p a prime number?
False
Let w(y) = 2*y**3 + 2*y**2 - y + 4. Is w(5) a composite number?
True
Let h(v) = 14*v**2 - 17. Is h(8) composite?
True
Suppose -5 = -4*a - 4*f - f, 1 = -5*a + f. Suppose a = 2*t - 4*t + 2098. Is t a composite number?
False
Suppose -1 = -3*z + 2. Is 3*(-328)/(-3) + z a composite number?
True
Let l(q) be the second derivative of q**4/6 + q**3/3 - 3*q**2/2 + 3*q. Let i be l(-3). Is (-281)/(-9) + (-2)/i prime?
True
Suppose 3415 = 5*p - q, -158 + 1524 = 2*p - 3*q. Is p a prime number?
True
Suppose -2 = -5*m - 22. Let x = m + 1. Is (x*(-14)/6)/1 composite?
False
Let x be ((1 - 1) + 0)/(-1). Suppose x*g - 111 = -3*g. Let l = 0 + g. Is l a composite number?
False
Suppose -5*i - 2*p = -8*i + 6197, 2*p - 8244 = -4*i. Is i prime?
True
Let h be (-2)/(-4) - 14/4. Let q = 7 + h. Suppose 0 = -q*k - 96 + 292. Is k composite?
True
Let d = -797 - -483. Is -1*1/2*d prime?
True
Suppose u - 6153 = -2*u. Is u a prime number?
False
Suppose 2*p = 310 + 96. Suppose -279 = -3*y - 4*d, -3*y + p = -y - 3*d. Is y a prime number?
True
Let b(x) = x**2 + 20*x - 9. Is b(10) prime?
False
Suppose 0 = -5*u - 6 - 4. Let o be (-16)/10*5/u. Suppose -q + o*q = 159. Is q a prime number?
True
Suppose 0 = -4*t + 10 + 6. Let o = t + -4. Suppose -5*x + 3*f + o*f + 140 = 0, -4*x + 114 = -2*f. Is x prime?
True
Let y be 72/14 + (-4)/28. Suppose 3*z = -y*z + 1712. Is z composite?
True
Suppose g + g = 0. Let r be 5*((-326)/(-5) + g). Suppose -2*l + r = -0*l. Is l composite?
False
Let d = -61 - -99. Suppose 5*n - d = -8. Is n prime?
False
Let b(q) = -20*q + 2. Is b(-3) a prime number?
False
Suppose -s + 1623 = 5*n, s = -n - 2*n + 1631. Is s composite?
True
Let a(s) = -s**3 + 9*s**2 + 3*s. Suppose 11 = -x - 2. Let c = 18 + x. Is a(c) prime?
False
Let f(x) = 7*x**2 - 5*x + 31. Is f(-7) a composite number?
False
Let f(k) = -3*k. Let a be f(-1). Suppose 4*p + 4*d = -p - 7, -2*p + 14 = -4*d. Let q = a - p. Is q a prime number?
True
Let x(n) = -n**2 - 4*n. Let q be x(-3). Suppose 3*p + q = 15. Suppose 3*t + p*v = 251, 2*v - 14 = -4. Is t a prime number?
False
Let t be 1/3 - 40/(-24). Suppose t*c + w = 160 + 155, c + w = 158. Is c a prime number?
True
Let z(u) = -6*u**3 - 21*u**2 + 17*u - 4. Let q(h) = -11*h + 7*h**3 + 6*h**2 + 5*h**2 + 3*h**2 - 3*h**3 + 3. Let p(m) = 7*q(m) + 5*z(m). Is p(-6) prime?
False
Suppose 21*l - 23*l + 2914 = 0. Is l composite?
True
Let g = 35 - -30. Suppose 171 + g = 2*v. Is v prime?
False
Let l = 335 + 182. Is l a prime number?
False
Suppose -2*m + 2795 = 3*m. Is m composite?
True
Let b = -41 + 672. Is b a composite number?
False
Let x(i) = i**2 - 6*i - 3. Let q be x(7). Suppose q*j + 23 - 74 = 5*h, 0 = 5*j - 4*h - 75. Is j a prime number?
True
Let c(l) = -2*l**2 + 2*l + 6. Let d be c(5). Is (-28)/(-8)*d/(-1) composite?
True
Suppose o - 5 = 0, -s + 5*o = -0*s - 684. Is s composite?
False
Suppose 5*m - 703 = 2607. Suppose k = -3*r + 991, 2*r + 0*r + k - m = 0. Suppose 3*w = -3*y + r + 340, y = 4*w + 213. Is y composite?
True
Let j(p) = -p**3 + 17*p**2 - 15*p - 14. Is j(15) a prime number?
True
Suppose -6*r + r + 55 = 0. Let l = r - -24. Is l a composite number?
True
Let m(u) = 30*u + 8. Let w(s) = -29*s - 8. Let r(v) = 2*m(v) + 3*w(v). Is r(-7) a prime number?
True
Suppose 5*a + 945 = -4*p, -3*p = -a + 3*a + 714. Let b = p - -461. Is b a prime number?
False
Let k(i) = 3*i**2 + 14. Let c(u) = 6*u**2 + 29. Let j(s) = -6*c(s) + 13*k(s). Is j(-9) composite?
False
Suppose 7*y = 2*y. Suppose 3*r + 2*w - 35 = y, 5*r - 20 - 40 = -5*w. Suppose 3*u - 731 = -4*t, u + 362 = 2*t - r. Is t a prime number?
False
Suppose 5 = 3*j - 5*z, 7*z - 2*z = -5. Suppose 39 = g - 8. Suppose y = -j*y + g. Is y a prime number?
True
Let a = 9 - 10. Let u(h) = 23*h**2 + h. Is u(a) a prime number?
False
Let x = 504 - -37. Is x composite?
False
Let u(q) = -33*q - 22. Is u(-11) composite?
True
Let u be ((-28)/(-8))/((-2)/(-4)). Let q(a) be the third derivative of -a**5/60 + a**4/4 + 5*a**3/3 + 2*a**2. Is q(u) a prime number?
True
Suppose h + 9743 = 4*t, -4*h + 0*h - 7291 = -3*t. Is t a prime number?
True
Let b(s) = -s**3 - 5*s**2 + 4*s - 4. Let i be b(-6). Is i/6 + 6/9 a composite number?
False
Let h = -1 + 4. Let u be 2 - h - (-2 - -1). Suppose y + 1 = u, 28 = 5*p + 5*y - 142. Is p composite?
True
Let m be (-3 - -1) + 170/(-2). Is 4/16 - m/4 prime?
False
Let j be ((-6)/(-9))/((-2)/(-6)). Suppose s = 5, 4*s + 615 = 3*o + j*o. Is o composite?
False
Let r(q) = q**3 + 5*q**2 + 4*q - 2. Let h be r(-4). Let i(d) be the second derivative of 4*d**4 + d**3/3 - d**2/2 + 2*d. Is i(h) composite?
True
Let i(h) be the first derivative of h**3 - h**2/2 - h + 2. Let t be i(-1). Suppose 0 = 2*d + t*x - 89, 7*x - 5*x - 158 = -4*d. Is d prime?
True
Let v = 602 + 499. Is v composite?
True
Suppose -2*y + 91 = n, -4*n - 2*y + y + 350 = 0. Is n a prime number?
False
Let r = -1 + 9. Let d = 27 - r. Is d prime?
True
Let j = -3 - -6. Suppose -3*w = -2*a - j*a - 282, -3*w - 5*a = -282. Suppose -2*o + 0*o + w = 0. Is o a composite number?
False
Let m(t) = 2*t**2 + 20*t + 3. Is m(-18) a composite number?
True
Let j = -319 + 1470. Is j a prime number?
True
Is 3196/10 + 12/(-20) a composite number?
True
Suppose 0 = 5*i - 4710 + 1565. Is i composite?
True
Let p(u) = u**2 + u + 161. Is p(0) a prime number?
False
Let l(k) = k**3 - 4*k**2 + 5*k - 3. Let o be l(4). Suppose 3*q - 1 = -v + 3, -52 = -3*v + q. Suppose o = i - v. Is i composite?
True
Let s be (1038 - 5) + 0 + -2. Suppose -5*d = -3*v - 2530, -s = -2*d - v + 6*v. Is d a composite number?
False
Let y = 12 + -7. Suppose -3*k + 106 = y*i, -k + 17 = i + k. Is i a prime number?
True
Suppose 3*j + 557 = 4*j. Is j a composite number?
False
Let x(o) = -10*o - 1. Let q(m) = -m**2 - 10*m - 5. Let i be q(-9). Suppose f + 0 = -i. Is x(f) prime?
False
Let v(r) = 71*r - 2. Suppose 0*p = -p + 3. Is v(p) prime?
True
Suppose 5*b - 5303 = q, -5508 + 1270 = -4*b + 3*q. Is b a composite number?
False
Let j(n) = n**3 - 1. Let p be j(1). Suppose 0 = 3*u + 4*f - 685, -3*u + 710 = -p*f - f. Is u a prime number?
False
Suppose -3*b = b - 336. Let y = b - -149. Suppose -3*a = 4*h - y, -5*h = -a - h + 83. Is a prime?
True
Suppose 4*c - 3 = -z - 0*z, -4*c = -2*z - 18. Let r be (-44)/(c + (2 - 3)). Is (-3)/2*r/3 prime?
False
Let c be 6*(-6)/16*8. Suppose -5*p - 47 = -2. Is (-101)/p + 4/c a composite number?
False
Let b(o) be the second derivative of o**5/20 - 3*o**4/4 - 3*o**3/2 + 11*o**2/2 - 3*o. Let d be b(10). Suppose 2*q + 1 - d = 0. Is q a composite number?
True
Let l(s) = -s**3 + 6*s**2 - s + 2. Let v be l(6). Let h be 1 - v/6*3. Suppose 0 = -4*a + 5*a - h*k - 68, 3*a + k - 254 = 0. Is a a composite number?
False
Let v = 4 + -7. Let i = -9 - v. Is (-14)/21 - 160/i a composite number?
True
Let k(f) = -129*f - 5. Is k(-8) a prime number?
False
Let o = -1 + 3. Suppose w + o = -0*w. Is (-7)/4*(-2 + w) composite?
False
Let b(v) = v**2 - 3*v + 1. Let h be b(4). Suppose -5*n = -0 - h. Is 35 + (3 + 0 - n) prime?
True
Suppose 0 = -0*o + 3*o - 9. Suppose -f - 18 = 3*i - 4*f, -2*f + 6 = 0. Is 1 - 0 - o/i prime?
True
Let x = -826 - -1163. Is x a composite number?
False
Let o be (-11)/(-22) - 6/(-4). Is (25/2 - -3)*o a composite number?
False
Let j(x) = -x**3 + 8*x**2 + 10*x - 16. Let g be j(9). Let k(z) be the second derivative of z**5/20 + 2*z**4/3 - z**3/2 - 3*z**2/2 + z. Is k(g) prime?
True
Let h = -136 + 233. Is h prime?
True
Suppose 0*g = -3*c + 2*g + 24, -4*g = -5*c + 40. Let a(v) = -4*v - c*v + 4*v - 2 - v**2. Is a(-6) prime?
False
Let j(t) be the first derivative of -8*t**7/