 4*u + 1. Let f(m) = 124*m**3 - m**2 + m. Let p be f(w). Suppose -j - 5*r = j - 86, 4*j = 2*r + p. Is j a composite number?
True
Suppose -5*s - 3 = -18. Suppose 4*m = s*m + 9. Is m a composite number?
True
Let i be (4/(-6))/(-1 - 12/(-9)). Let a(b) = 0 - 2*b + 2 + 15*b**2 - 1. Is a(i) composite?
True
Let b(j) = j**2 + 2*j + 3. Let d(g) = g - 10. Let q be d(8). Let s be b(q). Suppose -5*z + y + 260 = 0, s*z - 5*y = -0*z + 134. Is z a prime number?
True
Let n be (-134)/3 - (-1)/(-3). Is (-2)/9 + (-12925)/n composite?
True
Let b be (75/6)/(1/2). Suppose -2*p + 5 = 1. Suppose 0 = -y + 5, -3*a + 8*a - b = -p*y. Is a a prime number?
True
Let g(b) = -b**3 + 4*b**2 + 5*b + 7. Is g(5) prime?
True
Let w = 112 - -69. Let i = w + 22. Is i prime?
False
Let y = 193 - 36. Is y a composite number?
False
Let z(n) be the second derivative of n**5/20 - 2*n**4/3 + n**3/6 - 3*n**2/2 + 2*n. Let j be z(8). Suppose -a - 17 = -v, 0*a - j*a = v + 7. Is v prime?
True
Is 2 + ((-25)/(-1))/5 a prime number?
True
Let g(i) = -i**3 - 4*i**2 - 5*i - 3. Suppose 2*w = -0 - 6. Is g(w) a prime number?
True
Let i(q) = 9*q**2 + 4*q - 1. Let m be i(4). Let z = m - 44. Is z a prime number?
False
Let w(c) = -c**3 - 2*c**2 + c + 379. Is w(0) prime?
True
Let g(z) = z**3 + 39. Let c be g(0). Suppose 2*n - c = -n. Is n a composite number?
False
Let m(p) = p**2 + 11*p + 13. Let y be m(-10). Suppose x - 1 + y = 0, d + 4*x = 6. Is d a composite number?
True
Suppose 9*i - 6*i - 633 = 0. Is i a prime number?
True
Let j(c) = -c**2 - 2*c + 3. Let g be j(-3). Let n = 42 - 28. Let t = n - g. Is t a composite number?
True
Let q(l) = l**3 + 2*l**2 + l + 2. Let u be q(-2). Is 3 + u/1 - -52 prime?
False
Let v = 122 + 55. Is v composite?
True
Let q(i) = 47*i**3 - 4*i**2 + 3*i + 5. Let h(s) = -s**2 + s + 1. Let k(o) = -4*h(o) + q(o). Is k(1) composite?
False
Is 11674/6 - 4/6 a prime number?
False
Let x be ((-7)/(-21))/(1/15). Suppose m + 3*z = 47, x*m + z + 26 = 191. Suppose m = -5*s + 417. Is s composite?
True
Let h = 85 + 42. Is h a composite number?
False
Let x(r) = -15*r**3 - r**2 + 2*r + 1. Suppose 0 = 2*j + 2*p - 5*p + 13, -4*p = -4*j - 20. Is x(j) prime?
True
Let b = 241 - 96. Is b a composite number?
True
Let z(s) = s - 1. Let j(r) = -14*r + 10. Let h(u) = -j(u) - 3*z(u). Is h(4) composite?
False
Let n = -114 + 298. Suppose -m = 4*x + m - n, -x - 4*m = -39. Is x a prime number?
True
Let q(l) = 3*l**2 - 6*l + 5. Let v be q(6). Suppose -4*s + v = -119. Is s composite?
True
Let n(x) = x**3 - 13*x**2 + 16*x - 18. Let d be n(12). Suppose 0 = 5*v - d. Is v composite?
True
Let x = 559 - 240. Is x a composite number?
True
Let n(p) = p**3 + 5*p**2 - 6*p + 3. Let b be n(-6). Suppose b*d = 2*d + 563. Suppose -d = -3*t - 80. Is t a composite number?
True
Let i(x) = -16*x + 15. Let p be i(-9). Let b = 358 - p. Is b a prime number?
True
Let h be 3/(-9)*0 + 2. Suppose 0 = 5*r - h - 13. Let i(f) = 9*f - 2. Is i(r) a prime number?
False
Let o(i) = i + 1. Let l be o(2). Is -29*(-2 - (0 + l)) a prime number?
False
Suppose -2*j = 2*n - 6*n - 306, j + 3*n = 133. Is j a composite number?
True
Suppose 0 = -9*q + 11*q - 368. Suppose 7*b = 3*b + q. Is b prime?
False
Let f(p) = -p. Let k be f(1). Let u be (-3)/(k + 2/(-4)). Suppose u*g + 7*r - 28 = 3*r, -5*g + 18 = -3*r. Is g prime?
False
Let d be 23/(-4) + 7/(-28). Is 1265/7 - d/21 prime?
True
Suppose 3760 = 5*y - 4075. Is y a composite number?
False
Suppose -125 = 4*x + x. Let t = -18 - x. Is t composite?
False
Let w(l) = 1123*l**3 - 2*l**2 - l + 1. Is w(1) a prime number?
False
Let g = 97 + -22. Suppose 2*n - o - 51 = 0, 6*n - 3*n - 3*o = g. Is n composite?
True
Let m(r) = -9*r**3 + 2*r**2 + 2*r + 3. Let d be m(-3). Let i = d - 127. Is i a composite number?
False
Is -2*(-1 + 2566/(-4)) a prime number?
False
Let q be (-2)/8 + 181/4. Let t = 24 - 48. Let o = q + t. Is o prime?
False
Let p(x) = 2*x**2 - 5*x + 3. Is p(-10) a composite number?
True
Suppose 4*i - 8*i = -8. Suppose 0 = -v - 3*v - 5*s + 197, 94 = i*v - 2*s. Let p = v + -9. Is p a composite number?
True
Let m(x) = x**2 + 8. Let b = -1 - -1. Let k be m(b). Let j = k - 1. Is j a prime number?
True
Let b = -7 + 12. Suppose b*w = -4*i - 0*w + 57, 2*w - 15 = -i. Let j = 24 - i. Is j prime?
True
Suppose 0 = -7*v + 2371 - 348. Is v prime?
False
Let s(i) = 2*i - 22. Let b be s(15). Suppose -3*p + 1613 = 4*r - b*p, r - 2*p - 407 = 0. Is r a prime number?
True
Suppose -3*h + 4*h + 2*l = 9, 0 = 5*h - 3*l - 6. Suppose -3 = h*c + 3, -2*w - 5*c = -92. Is w composite?
True
Let w(f) = f**3 - f**2 + f + 5. Let y = -2 - -8. Is w(y) a prime number?
True
Let w(o) = 1142*o**2 + o. Is w(-1) composite?
True
Let p(y) = 3*y**2 + 3*y - 2 - y**3 + y**2 + 4*y. Let d be p(5). Let a = d + -1. Is a a composite number?
False
Suppose -4*q - 391 = 5*b, 0*b - 4*b - 12 = 0. Let v = -67 - q. Is 0 + 1 + (v - -3) a composite number?
False
Let t(u) = 197*u**2 - 1. Let s be 0 + (-1 - 0)/1. Let i be t(s). Let f = i + -107. Is f prime?
True
Let q(j) = -j**2 - j + 11. Let h be q(0). Suppose -h = -2*b + 17. Is b prime?
False
Let j be -107 + 3 + -3 - 3. Let q = -57 - j. Is q a prime number?
True
Let w be ((-32)/(-3))/((-2)/(-15)). Suppose -4*i - w = -2*y, -y + 0*y + 5*i + 37 = 0. Suppose -3*f + y = -0*f. Is f composite?
True
Let l be (-110)/(-8) - (-4)/16. Let p = l - 25. Let i = 68 + p. Is i composite?
True
Let j(p) = -p + 15. Let i be j(11). Suppose 15 = -3*v + 4*v - 5*o, i*v - 60 = -5*o. Is v/3*(-174)/(-10) composite?
True
Let f = -4 + -3. Let p = -3 - f. Let l(c) = -c**3 + 3*c**2 + 5*c - 2. Is l(p) prime?
True
Let i(h) = 348*h**2 - h. Is i(1) a prime number?
True
Suppose -3*s - 495 = -f, 1000 = 2*f - 0*s - s. Is f composite?
True
Let h(j) be the second derivative of -3*j**5/20 + j**4/4 - 2*j**3/3 + j**2/2 - j. Let d be (1/2)/(11/(-66)). Is h(d) a composite number?
True
Suppose -321 = -4*q + q. Let z = 172 - q. Is z a composite number?
True
Let x be (48/8)/(3/(-2)). Is x - (-9 + 7 + -4) a composite number?
False
Let r(t) = t**2 - 5*t - 7. Let z be r(7). Suppose 2*s - z*s + 95 = 0. Is s composite?
False
Suppose -13*n = -5*n - 1624. Is n prime?
False
Suppose -2*m = -4*d + 1416, 1051 = 2*d + d + 4*m. Suppose 0 = -c - 2*z - d, 3*c = 4*z - 756 - 313. Is 2/(-4) - c/2 composite?
True
Let b(w) = 2*w**2 - 5*w - 2. Let n be b(4). Suppose 3*r + 2*r = -n. Is (0 - -23) + r/2 composite?
True
Suppose 3*l = 2*q - q - 2270, q + 5*l = 2262. Suppose 685 = -2*z + q. Is z prime?
False
Suppose -3*k = -4*k + 2*o + 10, -1 = -4*k - 5*o. Let j be (k - 0)*(-287)/(-14). Let y = j + -45. Is y a composite number?
False
Suppose -2*j + 13 = 3*h, -3 = -3*j - 0*j + h. Suppose -20 = -5*l, -3*l + 2*l + 842 = j*z. Is z composite?
False
Let y(d) = -d**3 - 4*d**2 - 2*d + 13. Let t be y(-9). Let z = t + -245. Is z prime?
True
Let d(b) = 2*b**3 + 6*b**2 + 7*b + 4. Let v be d(-5). Let p = v - -244. Is p prime?
True
Let b = 3490 - 2091. Is b composite?
False
Let l = 23 - -270. Is l prime?
True
Suppose 2*t - 3*c - 1008 = 1146, 5*t + 3*c = 5385. Is t prime?
False
Suppose 0*g + 4*g - 130 = v, 4*g - 4*v = 136. Suppose 5*i - 6*i + 1 = 0. Suppose -p = -g + i. Is p composite?
False
Let h = 465 - 271. Is h prime?
False
Let x be 2 - (-2 - (-2)/(-1)). Let n(z) = 8 - x + 7 - 13*z. Is n(-8) prime?
True
Let g = 6 + -8. Is 8/(-4) + (83 - g) a prime number?
True
Let h(v) = v**3 + 8*v**2 + 9*v + 5. Let m be h(-7). Let t = 4 + m. Is (-4)/10 - 177/t a prime number?
False
Suppose 3*t + 2*r + 9 = 22, 2*t - 3*r = 0. Suppose -8*m = -3*m - 3*b - 322, t*m - 194 = b. Is m prime?
False
Let a be 2*20*16/10. Let k(d) = 154*d**3 + 2*d**2 - d. Let p be k(1). Let w = p - a. Is w a composite number?
True
Let f(l) = l. Let y be f(-1). Let n(t) = -68*t - 1. Is n(y) prime?
True
Is ((-2515)/25)/((-1)/5) composite?
False
Is 107912/196 + (-3)/(-7) composite?
True
Let c(d) = 232*d - 4. Let y(w) = -58*w + 1. Let l(z) = -2*c(z) - 9*y(z). Is l(1) a composite number?
True
Let p(f) = -f + 183. Let s be 1/3 + 1/(-3). Let r be p(s). Let g = -100 + r. Is g a composite number?
False
Let o = -4606 + 6626. Suppose -4*z = 248 - o. Is z composite?
False
Suppose 668 = n - 53. Is n a composite number?
True
Let n(m) be the second derivative of m**3/6 + 3*m**2/2 + m. Let p be n(0). Suppose -p*i - 5*g + 129 + 14 = 0, 0 = i + g - 49. Is i composit