+ 3016. Is p a prime number?
True
Let p(x) = 2*x - 9. Let m be p(8). Suppose -m*g + 3 = -6*g. Suppose g*q = 2*q + 2*y + 45, -3*q - 4*y = -95. Is q composite?
False
Let m(l) = l**3 - 2*l**2 - l - 3. Let i be m(0). Is (-18)/6 + i*6916/(-6) a composite number?
True
Let u(p) = 11*p**2 - 5*p - 77. Is u(-8) composite?
True
Is 9 + (48836 - (-2 - 0)) prime?
True
Let n(o) = -10*o**2 + 1. Suppose -2*z = 3*z - 5. Let f be n(z). Let y(k) = k**2 - 3*k - 13. Is y(f) prime?
False
Let u = 13 + -6. Let a(p) be the first derivative of p**3/3 + p**2/2 + 2*p + 2. Is a(u) prime?
False
Suppose 4*p - 60410 = 2*z, 7*p - 8*p = -5*z - 15098. Is p a composite number?
True
Suppose -3*v - d = -670, 0*d - 444 = -2*v - 2*d. Suppose 5*c = c - v. Is 744/7 - (-16)/c a prime number?
False
Let k(a) = -14 - 5 + 12 - 54*a. Is k(-6) a prime number?
True
Suppose 0 = -5*i + 4*i - 4. Let f = -1 - i. Suppose 0 = 3*o - 5*n - 2122, -4*n - 705 = f*o - 4*o. Is o composite?
False
Let z(w) = 16*w**2 - 6*w - 17. Is z(-3) a composite number?
True
Let c = 16 - 16. Suppose -4*u = -c*u - 156. Let k = 50 + u. Is k composite?
False
Let n(o) = -8*o**3 - o**2 - 3*o - 17. Is n(-6) a composite number?
False
Let g be (0 + -1 + 2)*170. Suppose -520 = -5*d + 5*t, 0 = -2*d - 2*t + g + 58. Is d a prime number?
True
Let b = -50 - -59. Is 1*(-7826)/(-3) - (-3)/b composite?
False
Suppose 1 = 4*i - 3, 0 = -3*d + 5*i + 4564. Is d a composite number?
False
Let k(b) = -b**3 + 7*b**2 - 6*b + 11. Let x be k(-8). Suppose x + 257 = 4*l. Is l a composite number?
True
Is 8 + 7 + 108220 + 0/(-7) composite?
True
Is (-24)/(-42) + 51606/21 + 1 prime?
True
Let g(d) = 49*d**2 + 27. Is g(8) a prime number?
True
Let v be 27/45 + (-114)/(-10). Let u(i) = 5*i**2 + i + 21. Is u(v) a prime number?
False
Let i(m) be the second derivative of -5*m**3/3 + 7*m**2/2 + 2*m. Suppose -14 = 4*w - 2*z, 0 + 2 = 2*w - 4*z. Is i(w) a prime number?
False
Suppose -4*k = 5*h - 9, 5*k - 23 = -5*h - 8. Let g be (36/(-10))/(k/(-580)). Suppose 0 = -2*r + 5*s + 447, s + 290 = 3*r - g. Is r composite?
False
Is (-4 + (-2 - 23836/(-16)))*4 a composite number?
True
Let l(s) = s**3 - 8*s**2 + 8*s + 4. Let x be l(8). Let k = x + -36. Suppose -g + 4*y = -k - 31, 2*g - 5*y = 129. Is g prime?
True
Suppose -668*x = -678*x + 25030. Is x a prime number?
True
Let f(i) = -658*i + 209. Is f(-3) composite?
True
Suppose n + 102 + 109 = 0. Suppose -3*p = 3*p - 2748. Let a = p + n. Is a composite?
True
Let x(c) be the first derivative of c**2/2 - 3*c - 5. Let s be x(5). Suppose 0 = s*h - 6*h + 1916. Is h prime?
True
Let o(a) = a**3 + 6*a**2 + 3. Let s be o(-6). Let v(y) = -y**2 + 5*y. Let h be v(s). Suppose c - h = -5*l, -4*c = 3*l - 2*l - 100. Is c a prime number?
False
Let x = -522 - -779. Suppose -w = -q + x, 149 = 5*q + 4*w - 1136. Is q a composite number?
False
Let d(v) = -v + 14. Let q be d(10). Suppose 0 = -4*b - q*t + 12, 2*b = -t - 0*t + 1. Let n(j) = -48*j**3 - 2*j**2 - 2*j - 1. Is n(b) prime?
True
Let g(i) be the first derivative of i**4/4 - 4*i**3/3 - 4*i**2 - 2*i - 1. Let o be (-2 - -5) + 7 + -3. Is g(o) composite?
False
Suppose -197*c + 191*c + 112116 = 0. Is c composite?
True
Suppose -r - 4*u = -8783, 11*r - 6*r + 2*u - 43843 = 0. Is r a prime number?
False
Let m(t) = 207*t**2 - 4*t - 17. Let n(i) = i**2 - 13*i + 40. Let f be n(9). Is m(f) a composite number?
True
Suppose 2*t + 8 = 2*d, 2*d - 15 - 1 = -2*t. Let k be ((-2)/d)/(4/(-24)). Is (k - 162/(-8))*4 a prime number?
True
Let t(w) = -w**3 + 24*w**2 - 24*w + 27. Is t(14) composite?
True
Let h(z) = 6424*z**2 + 22*z - 23. Is h(1) a composite number?
True
Suppose 5*g - 407 = -2*u, -27*u + 4*g = -28*u + 199. Is u composite?
False
Let v(z) = -z**2 + 22*z + 23. Let n be v(23). Suppose -1176 = -3*b - n*k - 3*k, -4*k - 12 = 0. Is b composite?
True
Is (-52)/(-8)*-142*-5 - -4 prime?
False
Let s(b) = -2*b**2 + 24*b + 4. Let t be s(23). Is (8 + -6)*t/(-4) prime?
True
Let v be 119/21 + (-1)/(-3) - 4. Suppose 4*i = 5*o + 3052, -3*i + 2*o + v*o = -2290. Is i a composite number?
True
Let i be (-1)/(5/(-2))*-130. Let d be (-2)/(44/i + 1). Let f = 1 - d. Is f a prime number?
False
Suppose 6*s = 3*s. Suppose -j + 217 = 3*r, s*r + 5*j + 156 = 2*r. Let b = 54 + r. Is b composite?
False
Let s(v) = -3*v + 1. Let b(x) = -x**2 - 3*x + 9. Let h be b(-5). Let j be s(h). Let i(c) = 49*c + 9. Is i(j) composite?
True
Let d be (-32)/(-40) + (-42)/(-10). Let p(h) = 22*h**2 - h + 4. Let k be p(d). Is k - (16/2)/(-4) a prime number?
False
Let d be -1*-1*(4 - 2). Suppose -a = 5*s - 158 + 46, 0 = -a + d. Is s composite?
True
Let v(k) = 53*k + 15853. Is v(0) prime?
False
Suppose 0 = -3*w + 11*w - 48. Is w/15 + (-393)/(-5) composite?
False
Let y(d) = d + 3. Let z be y(-7). Let w be (10/6)/(z/(-12)). Suppose -3*j - 166 = -4*t, j = w*t - 2*j - 209. Is t prime?
True
Suppose 0 = -4*b - 2*h + 29066, -4*h + 0*h + 12 = 0. Is b a composite number?
True
Let j be 1*(-1 - -3) - -2. Suppose 2*d - w + 6*w = 43, -3*d - 2*w + 70 = 0. Suppose -2*p + j*u = -70, -5*p + 156 = -5*u - d. Is p a composite number?
False
Let f be (4/(-6))/(4 - 13/3). Is (-2 - -1540)/(0 + f) a prime number?
True
Let m(k) = -k**3 - 8*k**2 - 7*k - 9. Let d be m(-7). Let j(t) = -3*t**3 - 18*t**2 + 6*t - 6. Is j(d) prime?
False
Let i(j) = -j**3 - 12*j**2 + 14*j + 19. Let n be i(-13). Suppose -5*m = 3*y - 1601, 0 = -n*m + 2*m + 5*y + 1266. Is m prime?
False
Suppose -106 = -y + 16. Let x = y - 83. Is x a prime number?
False
Let i(q) = -6*q - 3. Let r be i(-5). Let n be r/36 + (-25086)/8. Is (-10)/35 + n/(-21) a prime number?
True
Let w(h) = -h**3 - 11*h**2 - 10*h + 2. Let v be w(-10). Suppose 21 = v*l + 5*j, 2*j + 9 = -3*l + 8*l. Is 339 + 1 + (-9)/l prime?
True
Suppose 4*t - 50639 = -2*v + 3*v, 0 = 3*t + 4*v - 37984. Suppose 0 = 2*p - 0*a - 3*a - 12675, 2*a - t = -2*p. Is p prime?
False
Suppose 2*l = 17623 + 5325. Is l a composite number?
True
Let r = -535 - -906. Is r a prime number?
False
Let v = 1498 + -699. Is v a composite number?
True
Let p be 5/20 + 254/8. Is (3848/p)/(1/4) a composite number?
True
Let s be (-2)/(((-3)/6519)/1). Let t = s - 2185. Is t a prime number?
True
Let j = 146 - 71. Suppose 5*c - j = -l - 0*l, -4*l = -2*c + 30. Is (c/6)/(1/14) prime?
False
Let l be 4 - (2 - -1) - -2. Suppose 5*p - 2*o = -5*o + 312, 0 = l*o + 3. Is 1 + (p/3)/1 prime?
False
Suppose 0 = 135*i - 132*i - 6927. Is i prime?
True
Let d(g) = 4*g**2 - 2*g + 2. Let i be d(1). Suppose -2*z + 166 = -i*l, 5*z - 4*l - 415 = -6*l. Is z a prime number?
True
Let y = -93186 + 175433. Is y prime?
False
Suppose 2*w = -0*w - 4. Let g = w - -7. Suppose 124 = g*z - z. Is z a composite number?
False
Let v = -421 + 919. Let t = -19 + 29. Suppose -4*g + v + t = 0. Is g composite?
False
Suppose -143271 = 8*p - 17*p. Is p composite?
False
Let w be (-15)/(-35) - 3*2/14. Suppose w = -3*i - 438 + 2001. Is i prime?
True
Let c(z) = 4*z**2 - z. Let s be c(1). Suppose 2*u - 600 = -4*d, 4*d - s*d = 5*u + 139. Is d a composite number?
False
Suppose 0*q + 5*q = 2*i - 21, 0 = -5*i - 5*q. Suppose -212 = i*h - 5*h. Is h composite?
True
Let d(p) be the third derivative of p**5/60 + p**4/12 - 3*p**3/2 - 8*p**2. Let v be d(-5). Let g(x) = 2*x**2 - x + 5. Is g(v) prime?
True
Suppose 19*n - 17*n - 1318 = -5*v, 3*v = 5*n + 766. Is v a prime number?
False
Let w be 2/2*0 - -3. Suppose w = m, 5*t - 2*m = 2*m + 1523. Is t prime?
True
Let w(i) = i**3 + 3*i**2 - i. Let q be w(-4). Let a(c) = 19*c**3 - c + 1. Let d be a(1). Let z = q + d. Is z a prime number?
True
Suppose 0 = -2*n - n + 3*q - 522, 0 = -5*n + 4*q - 873. Let t = 248 + n. Let c = t - 36. Is c prime?
False
Suppose 3*z - 2*t = 18 + 4, -4*z + 2*t = -26. Suppose z*i - 626 = 226. Is i composite?
True
Let k(j) be the first derivative of -j**6/8 + j**5/60 - j**3/6 - j**2/2 - 4. Let x(b) be the second derivative of k(b). Is x(-1) a composite number?
True
Suppose -3*a = -33 + 45. Suppose -4*u = -u - 3. Is ((-314)/8)/(u/a) prime?
True
Suppose 0*q - 93035 = -3*k - 11*q, 155005 = 5*k + 5*q. Is k a prime number?
False
Let g(v) = -v**3 - v. Let s(l) = -3*l**3 + 8*l**2 - 10*l + 3. Let w(t) = 2*g(t) - s(t). Let q be w(7). Let p(z) = 6*z - 1. Is p(q) a prime number?
True
Let x = 0 + 103. Suppose -2*y - 10 = 0, 0 = -f - y + x + 19. Is f composite?
False
Let r be 7/(-42) + (-13)/(-6). Suppose -q