 -2*w - 24. Let m = -4 - w. Is m composite?
False
Let c(g) = 2*g**2 - 5*g + 2. Let j = 16 + -10. Let z be c(j). Let t = 99 - z. Is t a prime number?
False
Let m = 3606 + -2315. Is m prime?
True
Let a = -444 - -1093. Is a prime?
False
Let v be (-4)/6*3*-1. Let c = 2 + v. Suppose 33 + c = n. Is n a composite number?
False
Let a be ((-3)/4)/((-1)/4). Suppose -3*s = -a - 0. Is 0 - 1 - -122*s a composite number?
True
Let w = -274 + 491. Is w composite?
True
Let w = -18 + 221. Is w a composite number?
True
Suppose -k = -1 - 2. Suppose -k*w - 2*w = 0. Suppose 21 = -w*i + 3*i. Is i a prime number?
True
Let q(f) be the second derivative of -7*f**5/20 - f**4/12 - f**3/6 + f**2 - 5*f. Is q(-3) a composite number?
True
Let u(o) = 10*o - 1. Suppose -5*m = -4 - 1. Is u(m) a prime number?
False
Suppose -5*w + 2*u + 338 + 151 = 0, w + 5*u = 87. Is w prime?
True
Let v be 4 - (-2)/4*0. Suppose -1 = -j, -4*w + 2*j - v*j + 198 = 0. Is w a composite number?
True
Suppose -3*k = 3*a + 15, k = 5*a - a. Let z(o) = -o**3 - 2*o**2 + 6*o + 3. Is z(k) prime?
True
Let y be (1 + 0)/(-1) - -7. Is (y/(-3))/(8/(-1628)) prime?
False
Let b be 10/65 + (-74)/(-26). Suppose 4*m - 8 = 0, 229 = 3*n - m - b*m. Is n composite?
False
Let z(l) = -l**3 - 2*l**2 - l. Let o be z(-2). Let f = 1 - o. Let w(u) = 32*u**2 + u. Is w(f) prime?
True
Let m(a) = -126*a - 5. Is m(-3) composite?
False
Suppose -i = -3*p + 138, 0*p + 234 = 5*p - 3*i. Let l be (4/(-6))/((-6)/p). Suppose -63 = -l*c + 2*c. Is c prime?
False
Suppose -5*n + 9 = -6. Suppose 2*v = n*m + 83, 3*v - 124 = 4*m + m. Suppose d = 4*g + 3*d - 94, -2*g + v = -3*d. Is g a composite number?
False
Suppose 4*o + 3*h + 3 = 0, 0*o + 3*o = 2*h + 2. Suppose -2*q - 5*m + 1 = o, -m - 46 = -2*q + 3*m. Is q a composite number?
False
Let k = 0 + 3. Is (5 - k) + (30 - 1) composite?
False
Let p = 0 - 1. Let i be 1/((p - 0) + 0). Is ((-3896)/(-16))/(i/(-2)) composite?
False
Suppose 6*t - 3*x = 3*t + 27, 2*x + 30 = 5*t. Suppose -t*y = -30 - 18. Suppose -l + 77 = y. Is l a prime number?
False
Let q be ((-3)/6)/(2/(-100)). Suppose 4*z + q = -z, -4*r + 265 = -z. Is r composite?
True
Is 77575/116 - (1 + 1)/(-8) a prime number?
False
Let t be (-3)/(-12) - 167/(-4). Let m = t - -121. Is m prime?
True
Let w(g) = -10*g + 6. Let m(x) = 2*x - 1. Let d(a) = -33*m(a) - 6*w(a). Is d(-6) prime?
False
Let g(k) = 4*k**2 + 8*k - 5. Let j be g(9). Let f = -270 + j. Is f a prime number?
False
Let w be (1/2)/((-1)/(-12)). Is -1 + (-88)/(w/(-3)) prime?
True
Let g be 84/22 - 6/(-33). Suppose 629 = 3*o - g. Is o a composite number?
False
Suppose 0 = 2*c + 2 - 12. Let q = 32 + c. Is q composite?
False
Let h be (-1)/4 + 601/4. Let k = -97 + h. Let f = k - 31. Is f prime?
False
Let s(x) = 22*x**2 - x - 2. Let n = -10 + 9. Is s(n) a composite number?
True
Let o(a) = -a**3 - 4*a**2 - 2*a + 1. Let q be o(-2). Let n(g) = -4*g - 3. Let d(k) = 9*k + 6. Let w(r) = -4*d(r) - 7*n(r). Is w(q) a prime number?
False
Suppose 1369 = 5*h - 3*r + 2*r, 3*r - 551 = -2*h. Is h composite?
True
Let v = -3 - -6. Suppose -2*a + 33 = -3*a + 5*f, -2*f - 48 = v*a. Let o = a + 37. Is o prime?
True
Let i = 48 - -44. Suppose 4*u + 0*u = i. Is u composite?
False
Suppose 5*w - 175 - 432 = -3*u, 0 = -2*u - w + 393. Suppose 0 = -4*f + 11 + 1. Suppose -f*s - o = -116, -8*s - 2*o + u = -3*s. Is s composite?
True
Let z = 2204 + -1523. Let t = z + -394. Is t composite?
True
Let v(l) = 66*l - 1. Let p be v(1). Suppose 2*u - 60 = -0*u. Let k = p - u. Is k a prime number?
False
Let c(l) = -2*l - 6. Suppose 0 = -5*u + u - 16. Let w be c(u). Is ((-134)/(-4))/1*w prime?
True
Suppose 9 = -3*u + 24. Let p(h) = -h + 7. Let b be p(u). Suppose 0 = 3*f + 15, 0 = b*m - 4*m - f + 61. Is m composite?
True
Suppose 4*m = -d + 225, 11 = 4*d - 9. Is m prime?
False
Suppose 0 = 4*o - 0*o - 184. Is o prime?
False
Suppose 0 = -i + 5*x - 12 + 78, 3*i = 2*x + 250. Let r be i/(3/(4 - 1)). Suppose -3*g + 52 = 2*v - v, 2*v + r = 4*g. Is g a prime number?
True
Suppose 2*h - 3*q = -7, -3*h - 3*q - 2*q = -18. Let j(g) = 28*g**3 + 4*g**2 - 3. Let f(c) = c**3 - c**2 + 1. Let v(p) = h*j(p) + 2*f(p). Is v(1) a prime number?
True
Let n be (-15)/((-3)/(2 - -1)). Suppose -v - 12 = 3*v, -2*v - n = 3*q. Is (37/q)/((-1)/3) composite?
False
Suppose -5*b + 28 = -3*n, 2*b + 5*n = -1 + 6. Suppose 2*w = b*w - 57. Is w composite?
False
Let i(k) = -k - 2. Let r be i(-6). Let h be 196/35*(41 + -1). Suppose r*x = 156 + h. Is x a prime number?
False
Let m(v) = 3 - 4 + 52*v - 212*v. Is m(-1) composite?
True
Suppose -3 = -o, -2*f + 3*f - o - 1052 = 0. Is f a composite number?
True
Suppose v - o - 90 + 14 = 0, 0 = -5*v + 4*o + 381. Is v a prime number?
False
Let h be 1/(((-2)/(-66))/(-1)). Let i be ((-1)/1)/((-1)/3). Is h/(-9)*2*i prime?
False
Let j(r) = -2*r**3 - r**2 + 4*r - 7. Is j(-4) a composite number?
False
Suppose -7*q + 3*q = 24. Let l be (-3)/q + 2/(-4). Suppose s - 33 = -l*s. Is s a prime number?
False
Let g(m) = 9*m**3 - 3*m**2 + m - 11. Is g(4) a composite number?
False
Let r = 84 - -50. Is r a prime number?
False
Let w(t) = 9*t + 5. Suppose -p - 2 + 5 = 0. Let q(x) = 10*x + 5. Let h(s) = p*w(s) - 2*q(s). Is h(6) a prime number?
True
Let n be 9/2*(-4)/(-6). Let w be 56/10 + 12/30. Suppose -n*k = -6 - w. Is k a prime number?
False
Let f(c) = c**2 + 9*c + 1. Let n be f(-8). Let z = -4 - n. Let k = 130 - z. Is k composite?
False
Let s be 3/(-6)*(-1 + 1). Suppose -2*z + 128 = 2*z. Suppose 5*v - 5 = s, 3*t + 4*v - z = t. Is t composite?
True
Suppose -6*c + 10060 = -17438. Is c a prime number?
True
Let s be (-2)/(-1) + (-15)/(-5). Suppose -w - 4*x + 90 = -s*x, -3*x + 458 = 5*w. Is w composite?
True
Suppose -w - 1 = 0, -10 + 38 = -5*c - 3*w. Let s(j) = -5 + 0*j**2 + j**2 - 3*j + 2*j + 0*j. Is s(c) prime?
False
Is (3/9)/(3/477) composite?
False
Let t be (-3 - 0)*(-2 + 0). Suppose -1 = -5*w - t. Is w*(-1 + 2 + -54) a composite number?
False
Suppose 0 = 4*l - 3*k - 1396 - 627, -3*k - 1518 = -3*l. Is l a composite number?
True
Let n(d) = -d**3 + 7*d**2 + 2*d - 3. Is n(4) a prime number?
True
Let i be (-4)/14 - 148/(-28). Suppose 146 = 2*g - m - 0*m, -i*g = -m - 362. Let s = g - 35. Is s a prime number?
True
Suppose 4*o - 435 = 305. Is o composite?
True
Let a = -4 - -4. Suppose 2*i + 469 = 3*b - a*i, -2*i + 2 = 0. Is b prime?
True
Let s(n) = 21*n + 1. Let g(r) = -r - 3. Let a be g(0). Let p = -2 - a. Is s(p) composite?
True
Let d = -109 - -250. Suppose d = 2*c + c. Is c a prime number?
True
Suppose -i - 253 = -662. Is i prime?
True
Suppose 0 = 4*q - t - 3684, 4*q + 4*t - 3684 = 2*t. Is q a composite number?
True
Let l = 172 - 81. Is l a composite number?
True
Suppose 127 - 38 = a. Is a a prime number?
True
Is (-62885)/(-45) + 16/(-36) prime?
False
Let c(l) = -2*l**3 - 20*l**2 - 9*l + 23. Let t(u) = -u**3 - 10*u**2 - 4*u + 12. Let y(v) = -2*c(v) + 5*t(v). Is y(-11) a composite number?
False
Let z(u) = 204*u**2 - 1. Let q(o) = -o**3 + 8*o**2 - 7*o - 1. Let c be q(7). Is z(c) composite?
True
Let y(g) = 2*g**2 - 4*g - 11. Let x be y(5). Suppose -m + 3*b = -34, -3*m - 2*b = -39 - x. Is m a composite number?
True
Is (-4)/(-12) + 339/9 a prime number?
False
Let l(i) = 9*i**2 + 2 - i + 2 - 3. Is l(2) a composite number?
True
Suppose 0 = 3*p - 6 + 3. Is (-132)/(-36)*p*6 a composite number?
True
Let a be ((-103)/(-3))/(5/15). Let y = 230 - a. Is y a composite number?
False
Let d(z) = 7*z**2 - 5*z - 5. Let v(t) = -8*t**2 + 4*t + 5. Let c(i) = 4*d(i) + 3*v(i). Is c(-6) prime?
False
Let t(h) = -4*h**2 + 3*h + 19. Let c(l) = 3*l**2 - 2*l - 20. Let r(p) = -3*c(p) - 2*t(p). Let q = -4 - -4. Is r(q) prime?
False
Suppose 0 = 2*h + 4 - 10. Suppose -2*t - h*t = 0. Suppose -4*q = -5*g + 91, -2*g - 3*q + t = -18. Is g a prime number?
False
Suppose 38*u - 16136 = 30*u. Is u a prime number?
True
Let j(v) = 4*v**3 - 5*v**2 + 6*v - 3. Let d(p) = -p**3 - p + 1. Let l(w) = 3*d(w) + j(w). Let y be l(2). Let i(n) = -n + 1. Is i(y) prime?
True
Let p = -14 - -24. Let a(w) = -w**2 + 2*w + 6. Let v be a(5). Is p/(-45) - 317/v a composite number?
True
Suppose 0*r = -3*i + 2*r + 24, -27 = -4*i + r. Is i a prime number?
False
Suppose -5*q = -3*b - 7691, 5*b - 4615 = -3*q + 7*b. Is q a composite number?
True
Let q = -702 - -1053. Suppose -706 = -3*k - 4*x + q, -4*k = 3*x - 1400. Is k composite?
Fals