/(-4) prime?
True
Let y(l) be the third derivative of 11*l**4/6 - l**3/3 + l**2. Let j be y(-4). Is 6/3 - j/2 composite?
True
Let u be -2*(-1 + 106) + -2. Let a = -79 - u. Is a a prime number?
False
Let b(g) = -151*g - 13. Is b(-4) composite?
True
Let l(b) = b**3 + 4*b**2 - 2*b + 6. Let g be l(-5). Is 69/(-2)*30/g composite?
True
Let q(g) = 214*g + 18. Is q(2) a prime number?
False
Let b = -78 - -133. Is b a prime number?
False
Let u(r) = 8*r - 4 + 2 - 7*r + 0. Let x be u(2). Suppose -4*w + 1058 - 243 = 3*f, 2*f - 2 = x. Is w a composite number?
True
Let m = -217 - -508. Is m composite?
True
Suppose -4*r - 2*u = -4*u - 16, -u + 8 = 2*r. Suppose r*q - 191 - 69 = 0. Is q composite?
True
Let m(j) = -7*j**2 + 2. Let k(w) = -10*w**2 + 3. Let b(q) = -5*k(q) + 7*m(q). Is b(-6) a composite number?
True
Suppose 5*w - 19346 = -6241. Is w a composite number?
False
Suppose 4*m + 5*i - 9259 = -835, 5*m - 2*i = 10563. Is m a prime number?
True
Let y(n) = n**3 + 6*n**2 + 6*n + 1. Let j be y(-4). Suppose -4*x + 2*x - 12 = 0. Let a = j + x. Is a a composite number?
False
Let l = 275 - 529. Is ((-3)/3)/(2/l) a composite number?
False
Let o(z) = z**2 + z. Suppose v - 4*v = 6. Let r be o(v). Suppose 202 = r*p - 5*i, -i + 6*i + 111 = p. Is p composite?
True
Suppose 0 = 3*s - 6, -4*s + 9 = p + 1. Suppose -n + 2 - 7 = p, -5*k + 2*n + 1025 = 0. Is k prime?
False
Let b be (69/3)/((-3)/(-9)). Suppose -28 - b = -v. Is v composite?
False
Let k(d) = 1 - 3 + 50*d - 1. Let n be 6/(-9)*(-2 - 1). Is k(n) prime?
True
Let t = -2 - -4. Suppose -3*z + 1563 = -t*p, 8*z - 2605 = 3*z + p. Is z composite?
False
Suppose 2*f = 2*y - 2304, -5*f + 288 + 858 = y. Is y composite?
False
Suppose 0 = -4*z + 2*z - 12. Let h = 5 + z. Is (-1 - 93)*h/2 prime?
True
Suppose -4 = -2*j - 2. Let c be 1/j + (2 - 3). Suppose c = 3*u - 132 + 27. Is u a composite number?
True
Suppose -3*o - 2 = -8. Suppose o = y - 5. Is y a prime number?
True
Let c(g) = g**3 + 102. Let x = 7 + -7. Let z be c(x). Suppose -2*j + z = j. Is j prime?
False
Suppose 6*p = -265 + 2179. Is p a composite number?
True
Let t(n) = n**3 + 6*n**2 - 2*n - 9. Let z be t(-6). Let g be ((-2)/4)/((-1)/44). Suppose -g - 17 = -z*a. Is a composite?
False
Let h = 773 - 442. Is h prime?
True
Let w(m) = -m**2 - 6*m + 10. Let a be w(-7). Let b be a/(-3)*-1*1. Let q(c) = 8*c**2 - 1. Is q(b) composite?
False
Let c(x) = x**2 - 4*x + 4. Let i be -1 + -1 - (-8 - -1). Is c(i) a composite number?
True
Let m(a) = a**3 - 11*a**2 + 15*a - 7. Suppose 0 = 5*b + 4*v - 2*v - 38, 0 = -3*b - v + 22. Suppose -5*w = 3*p - 38, w + 10 = -b*p + p. Is m(w) composite?
False
Suppose 5*p = -81 + 6896. Is p a prime number?
False
Let m(l) = 3*l**3 - 3*l**2 + 5*l - 4. Let b = -6 + 6. Suppose 4*w - 5*t = -4 + 16, -5*t = b. Is m(w) composite?
True
Let u = -4 - -8. Let w(p) = p**2 + 6*p - 1. Let c(g) = -g**2 - 5*g + 1. Let z(a) = -6*c(a) - 5*w(a). Is z(u) prime?
False
Suppose s + x + 45 = -2*s, -s + 3*x = 15. Let h be 1/4 + s/(-4). Is 78*2*1/h prime?
False
Suppose -5*f + 1091 = -2*n - 22056, 3*n = -3*f + 13884. Is f a prime number?
False
Let a = -2 - -5. Let x(b) = -10*b + 1. Let l(r) = -10*r + 2. Let y(c) = a*x(c) - 2*l(c). Is y(-4) composite?
True
Suppose -2*d + 1474 - 312 = 0. Is d a prime number?
False
Is -1*771/2*-2 a composite number?
True
Let f = 190 + -133. Is f composite?
True
Suppose -a = -0 - 2. Suppose -2*g - 3*o = -195, -a*g + 391 = 2*g + 5*o. Let b = -32 + g. Is b composite?
False
Let o be (-12508)/(-16) + (-3)/(-12). Let a = o - 545. Is a composite?
True
Let n = -9 + 7. Is -1 + (2 - (-12 - n)) a prime number?
True
Is (3445/10)/(2/4) a prime number?
False
Let m(w) = 11*w**2 - 14. Is m(11) composite?
True
Let b be (-46)/14 - 4/(-14). Let r be -2 + (1 + b - -46). Let s = r - -1. Is s prime?
True
Let d(w) = 7*w**3 + w**2 - 2*w + 1. Is d(2) a composite number?
True
Let q = -67 - -215. Suppose 2*p + q = 2*t, -428 = -4*t - 3*p - 132. Is t a composite number?
True
Let n(x) = -2*x**2 + 3*x + 3. Let k be n(-2). Let z(g) = g**3 + 12*g**2 + 11*g. Let w be z(k). Suppose w = -6*v + v + 95. Is v a prime number?
True
Let u(b) be the second derivative of b**5/10 - b**4/2 - b**3/6 + b**2 - b. Let m = 4 + 1. Is u(m) prime?
True
Let r(u) = u**2 + u - 7. Suppose m + 22 = 4*v, 0 = -3*m - m - 8. Is r(v) a composite number?
False
Suppose 2*t - 185 = t. Is t prime?
False
Let n = -8 - -11. Suppose -5*v + 5 = 2*g - n, 12 = 3*v. Let z(l) = -8*l + 7. Is z(g) a prime number?
False
Let i(q) = -38*q + 67. Is i(-11) a prime number?
False
Suppose -4*q - 12 = 3*f, -5*q = -q + f + 4. Suppose q = -4*m - 0*m + 380. Is m a prime number?
False
Let o(h) = h + 35. Suppose 0 = -n - 0*n. Let f = 0 - n. Is o(f) a prime number?
False
Suppose 4*r + 3 - 11 = 0. Let a be 22/6 + 2/(-3). Suppose r*i + 43 = a*h - 0*i, -3*i = 2*h - 33. Is h a composite number?
True
Let t(j) = -12*j**3 + j**2 + j. Let w be t(-1). Suppose 4*h + 3*z - w = 0, 11 = -4*h + 2*z + 3. Is (-116 + -3)*(-1 - h) prime?
False
Is 1013/4 + 3 + (-13)/4 a composite number?
True
Suppose 3*k - 19 = -5*q - 0*q, 2*k - 18 = 2*q. Let p(j) = 9*j - 14. Is p(k) composite?
True
Let q(x) = 6*x + 2. Let z(i) = -i. Let d(t) = q(t) + 3*z(t). Is d(7) composite?
False
Suppose -475 = -5*t - 105. Suppose 2*n = 5*n. Suppose n*f = 2*f - t. Is f a prime number?
True
Is (-398221)/(-171) - (-2)/9 a composite number?
True
Suppose 5*s + 10 = 0, -3*q = 2*s + 216 - 1715. Let h = q - 314. Suppose 51 = 3*t + 2*j - 122, -3*t + 5*j + h = 0. Is t a composite number?
False
Let b(p) = -7*p**3 - 2*p**2 + 3*p + 3. Let r be b(-2). Let v be 2/4 - r/(-10). Suppose 0 = 5*u + f - 92 - 9, -3*u + v*f + 83 = 0. Is u prime?
False
Let u(o) = 43*o**2 + o - 1. Let b be u(-2). Let n = 236 - b. Is n composite?
False
Let m be 9/(-3) + 1 + 0. Let l(s) be the second derivative of -2*s**3 + s**2/2 - s. Is l(m) a composite number?
True
Suppose -4*m + 139 = -165. Suppose 0 = 2*v + 4*o - 282, 0*v + 3*o = -v + 146. Let q = v - m. Is q a composite number?
True
Let n = -29 + 19. Suppose 0*l = l + 4*m + 8, 0 = 5*m - 20. Let y = n - l. Is y a composite number?
True
Let h = 0 - -2. Let g(x) = -x**2 + 2*x + 1. Let j be g(h). Let z(l) = 3*l - 1. Is z(j) composite?
False
Let j = -338 + 791. Is j composite?
True
Is 6735/21 + (-4)/(-14) prime?
False
Let g(t) = t + 1. Let j(u) = 4*u + 1. Let f(n) = -6*g(n) + j(n). Is f(-8) a composite number?
False
Suppose 2*o - 6*o + 176 = 0. Suppose -2*k + 40 = -38. Let j = k + o. Is j prime?
True
Suppose 0 = -3*o + 6*o - 18. Suppose 4*d - 2*u = 232, -2*u - u + o = 0. Is 0/2*1 + d prime?
True
Let i(k) = -3*k**2 + 12*k + 8. Let f be i(9). Let h = -32 - f. Is h a prime number?
False
Suppose 5*w = s + 2 + 632, 2*s - 2 = 0. Let t be 17*12 + (-1)/(-1). Suppose -4*p + w = -t. Is p a composite number?
False
Let t = -9 + 7. Let j(i) = -i**3 - i**2 - i + 1. Is j(t) composite?
False
Let p be 69/15 + 2/5. Suppose -5*w + 3*d = 3, p = -5*w + 2*d + 3. Is (0 + w)/(-3) - -35 composite?
True
Let r(t) be the second derivative of -16*t**3/3 - 21*t**2/2 - 7*t. Is r(-14) a prime number?
False
Let w(r) = -3 - 3 - 2 - 3 - 8*r + 2*r**2. Is w(-12) composite?
False
Let g be (4/(-10))/(4/(-2280)). Let c = -37 + g. Is c prime?
True
Let v be (-2 + -1 - -3) + -3. Let h(x) = -16*x - 2. Let z be h(v). Let i = z - 27. Is i a composite number?
False
Let t = -148 + 68. Let j = 3 - t. Is j a prime number?
True
Suppose 2*d = 5*d - 435. Is d composite?
True
Suppose -4*x - 969 = w, -w - 4*x + 2*x - 963 = 0. Is w/(-5) + 12/(-30) a prime number?
True
Let m(u) = -u - 14. Let g be m(-6). Let p = -5 - g. Is -1 + (258/p - 2) a composite number?
False
Is 55 - 2*8/(-4) a prime number?
True
Let d be (-2)/(-5) - 92/(-20). Suppose 3*q - 5*q + 154 = d*k, 3*k = 2*q - 122. Is q prime?
True
Suppose 2*x - 61 = 5*i - 8, -20 = 4*i + 4*x. Let v = i + 17. Let a(c) = 10*c - 1. Is a(v) a prime number?
True
Let x = 912 + -481. Is x a composite number?
False
Let t = 2710 + -953. Is t a composite number?
True
Let m = 2 - -2. Let v(u) = -6*u + 3 - m*u + u + u. Is v(-8) composite?
False
Let v(x) = 118*x + 1. Let y be v(2). Suppose y = -0*h + 3*h. Is h a prime number?
True
Let n be 4/14 + 1224/(-21). Let o = 9 - n. Is o prime?
True
Let z = -16377 + 27592. Is (-2)/(-5) - z/(-25) a prime number?
True
Suppose -4*z = 16, 12*z + 318 = 2*v + 15*z. L