 z a composite number?
True
Let i(j) be the first derivative of -j**4/4 - 5*j**3/3 + 5*j**2/2 - 4*j - 2. Let d(l) = -2*l - 1. Let m be d(3). Is i(m) a prime number?
True
Suppose 4*z = x + 9, -3*x + 0*x + 15 = 2*z. Suppose 0 = -2*f - 4*v + x*v + 358, -2*f + 346 = 4*v. Suppose 47 = -2*p + f. Is p composite?
False
Is (-1 - 9416/(-24))/((-4)/(-6)) prime?
True
Suppose -4*p = -0*o + 2*o - 508, 3*p - 4*o - 403 = 0. Is p a prime number?
False
Let a(w) = 2*w + 1. Let v be a(-4). Let m(n) = n + 7. Let c be m(v). Suppose c*k = k - 79. Is k a prime number?
True
Suppose -5*n - 18 = -0*n - 4*v, -2*v = -3*n - 12. Let b be 1*-3*134/n. Suppose -i + 5*d = i - b, 3*i + 2*d = 53. Is i prime?
False
Let x(v) = -v**3 + 24*v**2 - 32*v - 37. Is x(16) prime?
True
Let g = -2 + 2. Let p be 35 - (-2)/6*g. Suppose -v = -2*v + p. Is v a composite number?
True
Suppose 4*v - 938 = -130. Is v a composite number?
True
Let h(p) = 2*p - 2. Let a be h(3). Let g = a - 0. Suppose -5*o - 811 = -0*w - g*w, -2*o = 2*w - 392. Is w a prime number?
True
Let k = 1149 + -362. Is k composite?
False
Let g(m) = 3*m**3 + 2*m**2 - 2*m + 1. Let z be g(1). Suppose -2*b + z = -120. Is b a composite number?
True
Is ((-2)/(-4))/((-2)/(-212)) composite?
False
Suppose s - 224 = -u, -101 = 3*u - 3*s - 767. Is u a prime number?
True
Suppose 0 = -4*u - u + 3930. Let r = 1199 - u. Is r a prime number?
False
Suppose b - 5*f - 569 = 0, 5*b + 5*f - 979 - 1986 = 0. Is b a composite number?
True
Suppose 5*i - 5*o - 380 = 0, -5*o - 222 = -3*i - 0*i. Is i a prime number?
True
Is 3*(4 + 3741/9) prime?
True
Let r be ((-1282)/8)/(2/(-8)). Suppose 1214 = 5*g - r. Is g composite?
True
Suppose -5*a + 5*s = -5420, 3*a - 5*s - 3598 = -352. Is a prime?
True
Let q = 4 + 0. Suppose -q*z = 6 - 86. Suppose -5*o + j = -z, 6*o = 3*o + 5*j + 34. Is o a prime number?
True
Let q be 150/9 + 4/(-6). Let z be 6/27 - q/(-9). Suppose w + i - 85 = -i, -4*i = -z*w + 146. Is w composite?
False
Suppose -3*x - 9 = -2*z, 0*x + 5*x + 4*z + 15 = 0. Let b = x - -6. Let a = b + 12. Is a composite?
True
Suppose 172 - 508 = 4*f. Is (f/(-18))/(2/3) a composite number?
False
Let p = 2197 + -726. Is p a composite number?
False
Suppose 300 = 2*t - 14. Is t a prime number?
True
Suppose -29630 = -5*m - 5*m. Is m a prime number?
True
Let m(g) = -3*g**3 + 2*g**2 + 3*g + 1. Let q be m(3). Let t = -26 + q. Let v = t - -113. Is v a prime number?
False
Suppose 4*j = -5*t + 30 + 16, 12 = 4*t - 3*j. Is 15/t*(-1348)/(-10) composite?
False
Suppose -139 = -2*i - 1. Is i prime?
False
Is (-1)/((-955)/(-239) + -4) prime?
True
Suppose 3294 = 3*b - 4011. Is b a composite number?
True
Let q(a) = 4*a**3 - 2*a + 4. Let b be 8/16*6*1. Is q(b) a prime number?
False
Let z(v) be the third derivative of v**6/120 - v**5/30 - v**4/8 + 2*v**3/3 + v**2. Let p be z(3). Suppose -3*y = -3*g + p*g - 234, 5*g + 15 = 0. Is y prime?
True
Suppose -n + f = -1263, n + 0*f - 1255 = -f. Is n composite?
False
Let x = -120 + 214. Is x composite?
True
Let p(r) = -11*r - 1. Let u be (6/(-3))/(0 + 2). Is p(u) a prime number?
False
Suppose 0 = -2*j + 6*j - 124. Is j composite?
False
Suppose 3145 = 19*w - 14*w. Is w a composite number?
True
Suppose -3390 - 675 = -5*t. Is t prime?
False
Let o be 0/(4*3/6). Suppose 2*z = -4*j + 12, -z - 3*z + j + 42 = o. Let u = z - 3. Is u a composite number?
False
Is (141 + 2 - -2) + (-2)/1 composite?
True
Suppose -2*h + 3*g + 16 = -g, 4*g = -8. Suppose 0*a = -5*o + h*a + 34, -4*o - 2*a + 48 = 0. Is o a prime number?
False
Suppose 2*y - 16 = 2*f - 64, -82 = -3*f - 2*y. Suppose 0 = n - 3*n + f. Is n composite?
False
Let m = 1881 - 974. Is m prime?
True
Let n be (-9156)/(-48) - (-3)/(-4). Suppose 0 = -7*h + 5*h + n. Is h composite?
True
Let h = 4016 - 2345. Is h prime?
False
Let g = 1599 - -562. Is g a prime number?
True
Let x be 0*(2/1)/2. Suppose -2*d - 6 = -x. Let t(v) = -3*v - 2. Is t(d) a prime number?
True
Let p(i) = -97*i**3 + i**2 - 1. Suppose 0*d - m = -3*d - 2, -d + m = 0. Is p(d) a composite number?
False
Suppose -3*k - v = v - 31, -2*k + 34 = 4*v. Let a = k - 6. Is 40 - 0 - a - 2 prime?
True
Let i = -5 + 2. Let u be (i + (-22)/(-6))*6. Is (7 + 1)*5/u composite?
True
Let i(l) be the third derivative of l**5/12 - l**4/24 + l**3/2 - 8*l**2. Is i(-5) a prime number?
False
Let k(x) = 2195*x + 23. Is k(4) a prime number?
True
Is -1 + 2 + (138 - -4) a composite number?
True
Let d(y) be the second derivative of y**4/6 + y**3/6 - 2*y. Suppose -23 = 2*j - 17. Is d(j) composite?
True
Let h be -2 + (-12)/(0 - 2). Let l = 6 - 3. Suppose -f + 6*o + 61 = 4*o, 224 = h*f - l*o. Is f prime?
True
Suppose 0 = -4*o + 12, o - 175 = -3*p - p. Suppose 0 = -2*r + p - 5. Is r a prime number?
True
Let j = 4 - 3. Let w(k) = -2*k**2 + 1. Let m be w(j). Let t = m + 27. Is t a composite number?
True
Suppose 9*p + 0*p = 2943. Is p a prime number?
False
Let z be (-13)/(-78) + 46/12. Suppose 3*g - 707 = -z*y + 132, y - 207 = 2*g. Is y a composite number?
True
Let i = 12 - 28. Is (-1)/2 - 1368/i prime?
False
Let b(v) = -18*v**2 + 5. Let w be b(-4). Let z = w + 654. Is z a prime number?
False
Suppose -4*h + 2*h = -144. Suppose -h = -4*v + 316. Is v a composite number?
False
Let r(l) = -l**3 - 5*l**2 + l + 5. Let p be r(-5). Suppose -3*b = 4*j - 8, p = -2*b - 2*j + 1 + 5. Suppose b*w - t - 143 = 2*t, -172 = -5*w - 3*t. Is w prime?
False
Suppose -k + 4*k = 111. Is k composite?
False
Suppose u + 0*u - 4 = 0. Suppose 0 = -4*w - u*y + 296, -4*y - 400 = -5*w - 3*y. Is w a composite number?
False
Let j be (-3*1)/(-1 + 2). Let v = -3 - j. Suppose v*m + m - 106 = 0. Is m composite?
True
Let i = -1257 - -5198. Is i a prime number?
False
Is 374/(4 + (-3 - -1)) a prime number?
False
Let g = -70 + 129. Is g a composite number?
False
Let t be (2/(-1))/(7 - 8). Suppose -485 = -3*h - t*h. Is h prime?
True
Suppose -2*a + 2*f - 9 = -3*a, -3*a + 5*f = 6. Suppose 11 = u + a. Is 140/u*(-4)/(-2) a composite number?
True
Suppose -4*a = -6893 - 1623. Is a a composite number?
False
Suppose 4*d - 95 = -15. Suppose -11 - d = -t. Is t composite?
False
Suppose -3*l = 1 + 38. Let y = 68 + l. Is y a prime number?
False
Suppose 11*k = 5*k + 2226. Is k prime?
False
Suppose 121 - 481 = -5*x. Suppose -3*b = 2*z + 2*b - 943, 0 = -4*z - 2*b + 1862. Suppose -4*v - 2*l + z = 0, -2*l = v - x - 47. Is v composite?
True
Let n(x) = -10*x**3 + x**2 - 2. Suppose -2*p = -7*p + 5*c - 30, c = -2*p. Let v be n(p). Suppose 0 = 3*d - v + 25. Is d composite?
False
Let y(n) = 3*n + 9. Let z be y(-4). Is z + 3 + (214 - -3) a composite number?
True
Suppose -6*g = -g + 4*z - 29, 9 = g + 4*z. Suppose -2019 = -g*m + 2*m. Is m a composite number?
False
Let o be (-52)/(-9) - (-4)/18. Let a(p) = -p**3 + 12*p**2 - 9*p + 1. Is a(o) prime?
True
Let q(r) = 2*r**2 - 7*r + 5. Let l be q(5). Is (-5)/(l/8) - -121 a composite number?
True
Let f(s) = -s**2 + 4. Let g be f(-2). Let t = g - -7. Is t prime?
True
Let x(d) = -27*d + 1. Let g be x(-1). Let f = -14 + -1. Let q = f + g. Is q composite?
False
Suppose 2*t - 5*t - 15 = 2*x, 3*x + 5*t = -23. Let z(q) = 10*q**2 + 5*q + 5. Is z(x) a prime number?
False
Is (7690/25)/((-6)/(-15)) a composite number?
False
Suppose 2*a = -2*a + 1228. Is a a prime number?
True
Suppose -3*z + 5 + 13 = 0. Let l = 6 + -4. Is l*1*57/z prime?
True
Suppose -314 - 2 = -4*p. Is p a prime number?
True
Suppose 2*s - 290 = 2*h, -s + 6*s + 2*h - 725 = 0. Is s a composite number?
True
Suppose 0 = o - 12. Let k be 18/7 + o/28. Suppose 192 = 4*c + 4*l, -k*l - 50 = -2*c + 61. Is c a composite number?
True
Is (-249)/(-6)*-2*-1 a prime number?
True
Suppose -h - 6*h = -7833. Is h composite?
True
Let l be 4/(-3) + (-5)/(-15). Let k = 12 + l. Suppose -k = 2*z - 117. Is z prime?
True
Is 4/(-26) - (-1 + 2043/(-13)) prime?
False
Suppose 0*p + 5*p - 15 = 0. Suppose -2*z + 55 = p*z. Suppose l - z = 8. Is l prime?
True
Suppose 8*i = 3*i. Let b(p) = p**2 + p + 159. Is b(i) a composite number?
True
Let c(k) = -k**2 + k + 5. Let z(v) = v - 8. Let d be z(12). Let o be c(d). Let t(m) = 2*m**2 + 6*m - 10. Is t(o) a prime number?
False
Suppose 2*c = -3*v + 1141, -4*v - 3*c = -9*v + 1908. Is v a prime number?
False
Suppose -6*w + w + 65 = 0. Suppose -5*g + 15 = 0, w = -2*d - 5*g - 20. Is 2/((d/(-33))/4) prime?
True
Suppose 0 = r, -3*s - 4*r - 543 - 1596 = 0. 