 w = 3 - 0. Let z be a(w). Suppose -48 + z = -i. Is i composite?
False
Let w(v) = 24*v - 9. Is w(5) a composite number?
True
Let s(p) be the second derivative of p**4/12 - 5*p**3/6 + 7*p**2/2 - 3*p. Is s(6) a composite number?
False
Let i = 8 + 155. Is i a composite number?
False
Let t = -529 + 5112. Is t composite?
False
Let k = -44 + 68. Suppose -i + k = -39. Suppose r - 4*r + 169 = 5*w, -r + i = 5*w. Is r composite?
False
Let n be (-7)/4*(-516 + 8). Let r = n - 480. Is r prime?
True
Is (158/(-6))/(10/(-30)) a prime number?
True
Let o(p) be the first derivative of 4*p**3/3 + 5*p**2/2 + 2*p + 2. Is o(5) composite?
False
Suppose 3*y + y = 0. Suppose -77 = -n - y*n. Is n composite?
True
Let h(o) = -o**3 - 9*o**2 - 6*o + 19. Let m be h(-8). Let n(p) = -23*p + 4. Let s(f) = 68*f - 11. Let i(y) = 17*n(y) + 6*s(y). Is i(m) a prime number?
True
Let u be 0 - -2 - (2 - 1). Is 26*(u - (-3)/6) composite?
True
Suppose 0 = 7*l - 2 - 12. Let n(d) = 4*d**3 + d**2 - 2*d + 1. Let b be n(1). Suppose l*y - 3*y = -w - 29, -b*y - 4*w + 148 = 0. Is y a prime number?
False
Let l be (5 + -4)/(2/(-14)). Let z = 30 + l. Is z a composite number?
False
Let z(m) = 1. Let b(c) = c**2 - c - 14. Let p(i) = -b(i) - 5*z(i). Let w be p(-9). Let f = -46 - w. Is f a composite number?
True
Let k be 5*-1 + -1 + 3. Let u be 12/(-1 - k) - 2. Suppose 2*y + 2 = -u*c, -y + 2 - 1 = c. Is y prime?
True
Let m = 11 + -7. Let r be ((-2)/(-6))/(m/36). Suppose -3*n + 5*y - 99 = -5*n, 180 = 3*n - r*y. Is n a composite number?
True
Suppose -d + 26 = 3*o - 44, 0 = 3*d - 3*o - 162. Is d a composite number?
True
Is 2 + 1 - (6/(-6) + -747) prime?
True
Let m = 4 - 7. Let x = m - -2. Is (1 - x) + 54 - 1 a composite number?
True
Let l be 108/((-21)/(-6) + -2). Suppose 5*v - q = -4*q + l, -4 = 4*q. Is v a composite number?
True
Suppose -3*z + 5*q + 24 = 2, -4*z + 20 = -2*q. Is z/6 - (-336)/9 a prime number?
False
Let h(t) = 6*t**2 - 8*t + 35. Is h(11) a prime number?
True
Let t be 210/(60/16 - 3). Suppose -t = -5*a + u, -51 = -3*a + 4*u + 134. Is a a prime number?
False
Suppose -4*t - s - s + 46 = 0, -5*t = -3*s - 52. Suppose 3*p = t + 28. Is p a composite number?
False
Let y(q) = 165*q**2 + 1 + 0 + 0. Let p be y(1). Suppose -4*c + p + 190 = 0. Is c a prime number?
True
Suppose 2*c - 65 - 69 = 0. Let d = c - 3. Suppose 5 = 3*h - d. Is h a prime number?
True
Let b(g) = g**3 - g**2 - g + 39. Let o = 3 - 0. Let d be 1 - (-3)/((-9)/o). Is b(d) composite?
True
Suppose -2*g - 4 = -3*x, 0 = -3*x - 2*x - 3*g - 6. Suppose -4*l + l + 6 = x. Is l - 17*(1 - 2) a prime number?
True
Suppose -5*b + 67 = 3*c - 115, 2*c - b = 104. Suppose 8 = a - 4*v, -7*v = a - 2*v + 1. Suppose r = 2*z - 0*z - 69, a*r + c = 2*z. Is z a prime number?
True
Let u = -1 + 3. Suppose 4*l - x + 55 = 6*l, -u*x + 58 = 2*l. Is l a prime number?
False
Let f be 2 - 564/(-2) - 1. Suppose 4*o = -l + 1037, -o + l - 25 = -f. Is o a prime number?
False
Let f = 4 - -663. Is f a prime number?
False
Suppose -27250 = -7*q + 16129. Is q a composite number?
False
Let i(w) be the second derivative of -w**3/6 + 35*w**2 + 3*w. Let m be i(0). Suppose 0*h + m = 2*h. Is h a composite number?
True
Suppose 0 = -2*a + a + f, a - 4*f + 6 = 0. Suppose -75 = -7*s + a*s. Is s a prime number?
False
Suppose 0 = 2*b - 4*b + 382. Is b a composite number?
False
Let o be (-6)/9 + 52/6. Suppose 0 = -g + 4*g - a + o, 4*g - 4*a = -8. Is 2/(g/(534/(-4))) prime?
True
Suppose 3*u - 5*k - 10 = 0, -5 - 13 = -4*u + 2*k. Suppose -2 = -3*h + u*j, 2*h - 3*j + 12 = -2*h. Let s(w) = w**3 + 8*w**2 + 3*w - 8. Is s(h) composite?
True
Let b = -66 - -17. Let l = -1 + b. Let y = -36 - l. Is y prime?
False
Suppose 3*h - 36 - 18 = 0. Let m = h + -8. Suppose m - 4 = w. Is w composite?
True
Let g be 2/(-12)*-8*-6. Let d(j) = -10 - 2*j**2 - 3*j**2 + 6*j**2 + 5*j. Is d(g) a composite number?
True
Let u(k) = 4*k + 7. Let c be u(-6). Let b = 4 - c. Is b composite?
True
Suppose -5*j - 5*x + 805 = 0, 2*x - 644 = -4*j + 4*x. Is j a composite number?
True
Suppose 5*h - 29 = -9. Suppose 0 = -8*g + h*g + 492. Is g composite?
True
Is 585 - (-1)/((-4)/(-8)) prime?
True
Let q(i) = -6*i**3 - 2*i**2 - i - 13. Is q(-8) a composite number?
False
Let y(x) = 10*x**3 - x**2 + x. Let f be y(-2). Let b = f - -145. Is b a composite number?
False
Let d(s) = -s - 2. Let l = 7 + -11. Let w be d(l). Suppose 3*i - 10 = -w*i. Is i a prime number?
True
Suppose -4*a + 9*a = -2*y + 1527, 4*a + 2*y = 1220. Let v = 7 + a. Suppose -v = -w - 123. Is w composite?
False
Suppose -6*r - y + 1287 = -r, -518 = -2*r - 2*y. Let h = -148 + r. Is h prime?
True
Let u be (0/3)/(-1 - 0). Let z(h) = 19 - 2*h + 3*h - 2*h. Is z(u) composite?
False
Let z be (-2)/(-4)*(-2 - 4). Let a(q) = 3*q**2 - 5*q - 5. Is a(z) a composite number?
False
Let t(m) = -m**3 + 5*m**2 + 7*m + 7. Let f be t(6). Is f*2 + -4 + 3 a prime number?
False
Let s = 3 + -2. Is 16 - -1 - (1 + s) composite?
True
Let v be 6/30 - 246/5. Let o = v + 84. Is o a prime number?
False
Suppose 2*x - x - 379 = 0. Is x prime?
True
Let v = -10 - -3. Suppose -4*b + 6*b + 2*g = 2, 9 = 5*b + 3*g. Let l = b - v. Is l composite?
True
Is ((-133)/57)/((-2)/678) a composite number?
True
Suppose -2*i - 37 = -155. Is i a composite number?
False
Suppose -2*y - 3*v + 607 = 2*v, 5*y - 1502 = 3*v. Let d be (-3)/(-6) + 5/2. Suppose -d*j + 2*q = -242 - 257, -2*j - 5*q = -y. Is j a composite number?
False
Suppose 0 = -5*o + 736 + 2979. Is o a prime number?
True
Suppose -8*i = -4*i - 28. Is 2/i - 68/(-7) a composite number?
True
Let i be 246/(-9) + 4/(-6). Let p = 75 + i. Is p a composite number?
False
Let x(j) = 63*j - 10. Is x(13) prime?
True
Let a be 4*(-2)/(-20)*10. Suppose -3*c = a*j - 15, c = -2*j + 3*j - 2. Is j prime?
True
Let f(d) = -40*d**3 - 4*d**2 - 3*d - 1. Is f(-2) prime?
False
Suppose 147 + 148 = 5*j. Is j a prime number?
True
Let u = 56 - 78. Let l = 33 - u. Is l a prime number?
False
Suppose -2*h - 9 = h. Is ((-2)/(-6))/(h/(-1143)) a prime number?
True
Suppose -388 = 2*l - 3*l. Suppose -5*u + 9*u = l. Is u a prime number?
True
Let i be (-2 - -4)*(-47)/(-2). Let q = i - -288. Suppose q = 3*u + t - 2*t, 0 = -4*u - 3*t + 438. Is u composite?
True
Suppose 2*l + 5*g = -1214, 6*g - 1254 = 2*l + g. Let t = l - -1068. Is t prime?
False
Suppose 19 = 5*u - 1. Suppose 0 = u*c + 3*b - 75, 4*c - 6*c + 5 = -5*b. Is c composite?
True
Suppose 2*l - 12 = -l. Suppose -l*q = 2*a - 460, q - 2*a - 121 = -4*a. Is q a prime number?
True
Let b(k) be the first derivative of k**2/2 + 205*k + 1. Let c be b(0). Suppose -2*f - 285 = -5*t, 3*f - c = -4*t - 0*f. Is t a composite number?
True
Let q(u) = u**2 - 2*u + 3. Let t be q(2). Suppose -t*m = -m - 2. Is (-179)/2*m*-2 prime?
True
Suppose 4*l + 173 - 1041 = 0. Is l composite?
True
Let g(z) = 66*z + 1. Is g(5) a prime number?
True
Suppose 3*k - 5*p - 238 - 682 = 0, p + 1526 = 5*k. Is k composite?
True
Let d = -5 + 9. Suppose -2*r = -h - 60, 5*h + 114 = -0*r + d*r. Is r a prime number?
True
Suppose -3*v + 27 = -l, -v + 2*v - 3*l - 17 = 0. Let g = 8 - v. Suppose 5*w + 21 - 176 = g. Is w a composite number?
False
Suppose 3*n + 334 = 3*k + 2*n, 0 = 2*k + 5*n - 217. Suppose -k = u - 4*u. Is u a prime number?
True
Is 2/(-14) + (-1464)/(-7) + 6 prime?
False
Let j = -68 + -47. Suppose r = 4*m - 100, -5*r + 3*m - 410 = m. Let a = r - j. Is a a composite number?
True
Let z = 14 - -35. Is z composite?
True
Suppose 4*l = 2*l - 326. Let d = 208 - l. Is d prime?
False
Let i(h) = -h**3 + 8*h**2 + 10*h - 12. Let s be i(9). Let v be (1/(-3))/(1/s). Let k = v + 2. Is k composite?
False
Let f be 198*(30/9 - 2). Suppose 3*n - 7*n = -f. Is n/(-4)*(-50)/15 prime?
False
Suppose -5*y = -2*y + 1143. Let c = -203 - y. Is c prime?
False
Let w(f) = 6*f**3 + 2*f**2 - f - 2. Let p be w(-2). Let u be (2/(-2) - 114)*-1. Let o = u - p. Is o a prime number?
False
Let p = 7 - 12. Let f(k) = -55*k + 6. Let l be f(p). Suppose 4*n = -8, -2*z + 3*n + l = 3*z. Is z a prime number?
False
Let l(v) = 3*v**2 + 6*v - 5. Is l(-6) prime?
True
Let j(i) = 46*i - 1. Let u(t) = 23*t - 1. Let h(r) = -4*j(r) + 7*u(r). Is h(-4) prime?
True
Let d = 2 + 4. Let l = 10 - d. Is 18 + (-5 - -2) + l prime?
True
Is 2/(-3) + (-2795)/(-39) a composite number?
False
Is 883 + -16 + 1 + -5 prime?
True
Let k = 282 + -155. Is k a prime num