posite?
False
Let d(j) = j**2 - 9. Let b be d(-4). Suppose y = b*y - 2238. Is y a prime number?
True
Let w(b) = b**3 - 4*b**2 + 4*b + 7. Let r be w(5). Let f = 91 - r. Is f a prime number?
False
Suppose 0*p + 2*x - 1214 = -4*p, -p = 4*x - 321. Let g = p + -124. Is g a prime number?
False
Suppose -5*f = -2 - 8. Suppose r = -4*l - r + 20, -f = -l + r. Suppose 0 = -l*w + k - 2*k + 141, 72 = 2*w + 2*k. Is w a prime number?
False
Let q be (-3 - -2)*(-3 + 2). Let a(n) be the third derivative of n**6/15 + n**3/6 - n**2. Is a(q) composite?
True
Suppose 0 = -3*q - 2*m + 3031, -1789 = -2*q - 4*m + 245. Is q a prime number?
False
Is (33455/(-4))/(-5) - (-5)/20 prime?
False
Let m = -44 - -24. Let c = 391 + m. Is c composite?
True
Let d(f) = 16*f - 15. Let a(o) = 3*o - 3. Let h(s) = 11*a(s) - 2*d(s). Let j be h(6). Is j/6 + (-543)/(-6) composite?
True
Suppose 2*o - 266 = -60. Is o a composite number?
False
Let i = -7 - -9. Suppose 5*r + 3 = -7, -3*o + i*r + 361 = 0. Is o prime?
False
Suppose 5 = -3*c + 2. Is 37/(0/(-2) - c) a composite number?
False
Suppose 0 = 3*t + 3, -4*o + 4*t = -3*o - 142. Let u = o + -69. Is u composite?
True
Let c = -4 - -7. Suppose -119 = c*s + 91. Let h = s + 203. Is h a composite number?
True
Suppose -5*m + 101 = -w, 3*m - 66 = -4*w + 13. Suppose -m = -4*a + 131. Is a composite?
True
Let c = 966 - -3895. Is c composite?
False
Let x = -3 - -10. Is x composite?
False
Suppose -y - 3 = 0, -4*k - 472 = k + 4*y. Is (k/(-6) - -1)*3 composite?
True
Suppose 3*o + h = 10 - 1, 23 = 5*o - h. Suppose -4*c + 28 = -0*c - 3*m, -28 = -4*c - o*m. Is c composite?
False
Let x be (-15928)/(-32) - (-1)/4. Let c = -251 + x. Is c a prime number?
False
Suppose -4*f = 4*x - 4431 - 8457, -4*f + 16109 = 5*x. Is x a prime number?
True
Suppose s - 136 = -s. Let c(n) = -6*n - 1. Let o be c(-1). Is (2 - o) + (s - -2) prime?
True
Let k(a) = 19*a**2 + 3*a - 2. Let o be k(-4). Let t(r) = 11*r**2 + 2*r + 1. Let c be t(7). Suppose -4*w + c = -o. Is w a composite number?
False
Suppose -4*g + 316 = -2*g. Is g prime?
False
Let l = 7 + -7. Is 3 - (1 - (l + 77)) composite?
False
Suppose 2*q - 4198 = -3*p, 4*q = p + 2*p + 8396. Is q prime?
True
Let o(f) = 40*f - 2. Let j be o(7). Let a = j - 109. Is a composite?
True
Let x(d) = -d. Let o(k) = 7*k + 4. Let z(r) = o(r) - 2*x(r). Let g be z(3). Suppose -2*v + g + 15 = 0. Is v a prime number?
True
Let y be ((-21)/(-9) - 2)*-9. Is (127/y)/(3/(-9)) prime?
True
Let k = -6 + 3. Let y(q) be the first derivative of 2*q**3 - q**2/2 - 4*q - 4. Is y(k) composite?
False
Suppose 4*j = 5*f + 496, -2*j - 2*f + 246 = -4*f. Is j prime?
False
Let k(f) = f**2 + 2 + 8*f**3 + 12*f**3 - 3*f**2 - 1. Let d be k(-1). Let o = 12 - d. Is o a prime number?
False
Let n be (-2)/2 + (-6 - -21). Let f = -9 + n. Suppose -f*r + 582 = -223. Is r composite?
True
Let z = 254 - 105. Is z a prime number?
True
Let d be (-1 + 1)/((-4)/(-4)). Suppose d = -3*f - f - 2*a + 228, 5*a - 228 = -4*f. Is f prime?
False
Let u(j) = -j - 27. Let l(p) = 13. Let i(y) = -9*l(y) - 4*u(y). Suppose 6*n - 3*n = 18. Is i(n) a composite number?
True
Let r = 8 + -6. Suppose -316 - 40 = r*s. Is (s/8)/(1/(-4)) prime?
True
Let k(a) = -3*a + 0 + 3*a + 1 - 2*a. Is k(-3) prime?
True
Let d(m) = -88*m + 6. Let g be d(-5). Suppose j - g = -j. Is j prime?
True
Suppose 58 = d + 5. Is d a prime number?
True
Suppose 0 = x - 2*x - 42. Let p be (x/9 + 3)*-3. Suppose -629 = -4*v - p*b - 0*b, -2*v - 5*b + 307 = 0. Is v a prime number?
False
Suppose 0 = -x + 1, -i - 4 = 3*x - 16. Suppose 0 = -0*y - 4*y + 8. Let n = i - y. Is n composite?
False
Let r = -123 - -254. Suppose y + 4*m - 34 - 5 = 0, 0 = -3*y - 5*m + r. Is y prime?
True
Let i(p) = p**3 + 10*p**2 - 2*p - 5. Let a be i(-9). Let d = -36 + 9. Let u = d + a. Is u composite?
False
Suppose -4*y - 1976 = 560. Let n = y + 10. Let c = -439 - n. Is c a prime number?
False
Let t = 7 + -7. Let f be t/2 + -4 + -2. Let s = f - -12. Is s prime?
False
Let o = 0 + 0. Suppose -4*p = -o*p - 12. Suppose 0 = 4*g - p*g - 19. Is g composite?
False
Let v(t) = 10*t**2 - 2*t - 8. Let h(d) = d**2 - d - 1. Let q(z) = h(z) + v(z). Is q(5) a composite number?
False
Is 293*(-5)/(-25)*5 a composite number?
False
Suppose -d = -3*k + 6*k - 322, 4*k = 20. Is d prime?
True
Let a = -6 - -8. Is ((-25)/a)/((-2)/4) a prime number?
False
Suppose 3833 = 6*r - 205. Is r composite?
False
Let k(j) = 46*j + 3. Let y be k(4). Suppose y = -u + 2*u. Is u prime?
False
Suppose -144 = 4*p - 0*p. Is 4/(-18) + (-4076)/p a prime number?
True
Let k(y) be the second derivative of y**4/4 - y**3/3 + y**2 + y. Let l = -7 - -10. Is k(l) a composite number?
False
Let v(i) = -i**3 - 14*i**2 + 10*i + 4. Is v(-15) composite?
False
Let x be ((-8)/2)/((-1)/6*3). Let m(u) = 13*u + 2 + 9 + 15*u. Is m(x) composite?
True
Let p(r) = r**3 + 8*r**2 - 9*r + 11. Suppose 5*q = 5*w - 85, -q - 35 = 2*q + 5*w. Let u = 6 + q. Is p(u) a prime number?
True
Suppose g - 389 = 4*o + 253, -2*g - 4*o = -1260. Is 1/3 - g/(-6) composite?
True
Suppose n - 54 - 103 = 0. Is n prime?
True
Suppose 5*v = 30 + 170. Suppose -v = n + 42. Let o = n + 149. Is o prime?
True
Let f = -39 - 8. Let c = 174 + f. Is c prime?
True
Let l(m) = 71*m + 1. Let x be l(-7). Let k = 831 + x. Is k composite?
True
Let y(b) be the third derivative of -b**5/60 + b**4/2 + 4*b**3/3 - 4*b**2. Is y(9) prime?
False
Let b be 128/2 + (3 - 4). Suppose -2*u - 4*d = -b + 19, -3*u + 82 = 2*d. Suppose 0 = -2*x - 0 + u. Is x a prime number?
False
Let w be ((-10)/(-6))/((-1)/(-321)). Suppose 5*i - 2*q = w, -i + 44 = 2*q - 75. Is i composite?
False
Let y = -19 + -50. Let b = 162 + y. Suppose 0 = -z + b + 130. Is z prime?
True
Suppose 0 = -17*c + 26*c - 61497. Is c composite?
False
Suppose 5*p - 2*p + 37 = -5*i, 0 = -2*i - p - 14. Let x = i + 3. Is (-2)/x*-1*-37 a prime number?
True
Let k(m) = -2*m - 2. Let h be k(-2). Suppose 3*y = 6, 49 = -5*z - h*y + 488. Is z a prime number?
False
Suppose 8*o - 9*o = -3. Suppose -2*w - p = 34 + 14, o*p + 98 = -4*w. Let z = w - -42. Is z a composite number?
False
Let i be (3 + (2 - 5))/2. Suppose -4*d + d + 273 = i. Is d a prime number?
False
Let w(x) = -x**2 + 3*x - 1. Let y be w(1). Let z = y - 0. Let t = 22 + z. Is t composite?
False
Let c(o) = -67*o + 2. Suppose -7 = -2*d - 13. Is c(d) a prime number?
False
Suppose 0 = -3*j + 4*j - 24. Is (-8)/j + (-34)/(-3) prime?
True
Let a(d) = -15*d**2 + 11*d + 11. Let b(p) = 3*p**2 - 2*p - 2. Let y(n) = -2*a(n) - 11*b(n). Let v be y(2). Is (1 - 27)*6/v a prime number?
True
Is -346*(3/2 + -3) a prime number?
False
Suppose -5 = -2*l - 1. Suppose -4*u = -5*o + u - 440, 5*o = l*u - 425. Is o/(-1)*(3 - 2) composite?
False
Let f(m) = -m**3 - 4*m**2 - 5*m - 4. Suppose 4*h + y = -9, 4 = 3*y - 5. Let r be f(h). Suppose r*u = 3*z - 18 + 4, -5*z + 3*u = -23. Is z prime?
False
Let w = 584 - 333. Is w prime?
True
Is (-4)/(-30) - (-9541)/105 a prime number?
False
Suppose 0*k = 2*x + 3*k - 2726, -x = k - 1363. Is x a composite number?
True
Suppose 401 = 5*q - 219. Suppose -4*i - q = -1136. Is i a composite number?
True
Let l(n) = 39*n + 19. Is l(8) composite?
False
Let d = 510 - 251. Is d a prime number?
False
Let h be ((-44)/16)/((-2)/8). Suppose 2*w = w + h. Suppose 0 = m - w. Is m a prime number?
True
Let q be (2 + (-4 - -3))*2. Suppose -3*i + 5*j = 206, -q*i = -6*i - j - 244. Let o = i - -100. Is o composite?
True
Let r(j) = j**3 - 2*j + 3637. Is r(0) a prime number?
True
Suppose 0 = -3*h + 3 + 3. Is (1*h)/((-8)/(-452)) prime?
True
Let g(z) = -z**3 - 3*z**2 + 1. Let t(a) = -a**2 + a + 3. Let d be t(3). Let b be g(d). Is (-1 + 22 + -2)/b prime?
True
Let f = -7 - -12. Suppose 3*s + s = -f*x + 1816, 2*s = 3*x + 886. Is s composite?
False
Let a(o) = o**3 + 9*o**2 + o - 9. Is a(6) composite?
True
Suppose 12*p + 1426 - 14518 = 0. Is p a prime number?
True
Let s(g) = -g**3 + 3*g**2 + 2*g - 3. Let q be s(2). Let p = q - 1. Suppose -p*w = o + 2*o - 22, 0 = 4*o - w - 4. Is o a composite number?
False
Suppose 0*m - 4*m = -4. Suppose -3*n - 2*z = 11, n = -3*n + 3*z + 8. Is n - 45*(-2)/m prime?
True
Let c(g) = g**3 + 5*g**2 - g - 7. Let t be c(-6). Let n = t - -92. Is n a prime number?
False
Is ((-1)/(5/(-35)))/(2/278) a prime number?
False
Let p(i) = 40*i + 1. Is p(4) prime?
False
Let x(d) = -d**3 - 8*d**2 - 2*d - 2. 