a(8). Let d = o + -28. Is d composite?
False
Let w(g) be the third derivative of g**4/8 - g**2. Let b be w(5). Let v = b - -20. Is v a prime number?
False
Let k(w) = -w**2 - 6*w - 4. Let i(f) = 2*f + 6. Let t be i(-5). Let g be k(t). Suppose 2*x - g = -0, 2*b - 42 = 2*x. Is b a composite number?
False
Suppose -5*k = -0*p + 4*p - 2, 13 = p - 5*k. Suppose 55 = p*w - 47. Is w a prime number?
False
Let g be (-8066)/(-14) + 1/(-7). Suppose -381 = -2*b - c, -3*b + 3*c + g = -0*c. Is b a prime number?
True
Let l(x) = -23*x + 7. Is l(-6) prime?
False
Let d = -35 + 52. Let y = 9 + d. Is y a composite number?
True
Let f(i) = -i - 2. Let u be f(-3). Suppose h - u - 5 = 0. Is h composite?
True
Let j be 551/6 + 5/30. Suppose 0 = 3*y - 3, 3*m - j = -0*m + y. Is m prime?
True
Suppose -2*v = 5*r - 943, -3 = -r + 2*r. Is v a composite number?
False
Let z = -3 - -6. Suppose 0 = -4*a - 19 + z. Is a/(-20) - 1188/(-10) a prime number?
False
Suppose -58 = -2*r - 4*f + 366, 3*r = f + 636. Suppose -n = n - r. Is n a prime number?
False
Let c(n) = -n**3 + 3*n**2 - 2*n - 2. Let g be c(2). Let o be (-3)/((-3)/76*g). Let a = o - -61. Is a composite?
False
Suppose -1 = -5*v + 4*y - 0, 4*y - 4 = 0. Let m(o) = -2 + o - 9*o - v. Is m(-5) prime?
True
Suppose -162 = -v - 31. Is v prime?
True
Suppose 5*n - 2*n - 1239 = 0. Is n composite?
True
Let x be ((-42)/(-9))/(6/(-9)). Let h = 7 - x. Is h + 0 + (2 - 3) a prime number?
True
Is -2 + 2 - (-4 + -43) a prime number?
True
Let v = 199 + 12. Is v a composite number?
False
Suppose 0 = -u - 2*u + 3579. Is u a composite number?
False
Let s = 6 + -1. Suppose 0 = -3*o + 2*r + 467, 2*r = -4*o + s*r + 623. Is o composite?
True
Let o = -24 + 99. Is 2/1 + o + 0 composite?
True
Suppose 2*i = -0*p - p + 1, 0 = 3*p - 5*i - 14. Is (p - 0) + (64 - 0) a prime number?
True
Suppose 5*v - x - 879 = 0, -5*v + 871 = -x + 2*x. Suppose -b = 4*b - v. Is b a composite number?
True
Suppose -t = 116 - 35. Let u = t - -165. Let w = u + -59. Is w composite?
True
Let t = -13 - -29. Suppose -2*d - 4 = -t. Is 626/18 + d/27 composite?
True
Is (-1 + 2460)*(-2)/(12/(-6)) a prime number?
True
Suppose -x - x = -2240. Is 2/(-6) - x/(-30) composite?
False
Suppose -5*j + 3*m = 2203 - 7502, -5*j = 2*m - 5284. Suppose -2*b + b = 5*x - j, -850 = -4*x - 2*b. Is x composite?
False
Let w(i) = i**3 - 5*i**2 + 4. Let m = -15 + 23. Let r be 0 + (0 + m - 3). Is w(r) composite?
True
Suppose h = 4*y + 11 + 5, 0 = 5*y - 3*h + 13. Let o = -1 - y. Suppose -5*i + 2*n = 6*n - 399, -o*i - 5*n = -321. Is i a prime number?
True
Suppose 2 = b - 0. Let w = -1 - -1. Suppose -230 = -b*j - w*j. Is j a composite number?
True
Let o(l) = l**2. Let r(u) = -5*u**2 + 4*u. Let h(x) = -4*o(x) - r(x). Let w be h(5). Suppose 6*s = w*s + 15. Is s a composite number?
True
Let f(i) = -15*i**3 - 3*i**2 - 11*i - 9. Let r(h) = -4*h - h - 4 - 7*h**3 - 2*h**2 - 1. Let l(y) = 6*f(y) - 13*r(y). Is l(-8) a composite number?
False
Let k(t) = t**3 - 4*t**2 - 4*t - 1. Let v be k(5). Let m(g) = 8*g + 5. Is m(v) prime?
True
Let m be 2/(-4)*(-1 - 9). Suppose -5*n - 2*r = -r - 8, -4*n + m*r = -18. Suppose n*t - 38 = 30. Is t prime?
False
Suppose 136 = 3*r + 22. Is r a prime number?
False
Let l = 442 + -258. Let v(p) = -22*p + 4. Let n be v(3). Let o = l + n. Is o a composite number?
True
Let p(s) = 115*s + 1. Suppose -3 - 2 = -5*f. Let o be p(f). Is o/5 - (-1)/(-5) a composite number?
False
Let j(i) = -14*i - 1. Let d be j(-4). Suppose -5*a + 6*a - d = -4*g, -4*g + 45 = 3*a. Is g composite?
True
Let z(s) = -4*s + 4. Let l be (-1 + 2 - 2)*3. Let i(x) = -8*x + 7. Let q(k) = l*i(k) + 5*z(k). Is q(5) a composite number?
False
Let x = 24 - 24. Suppose 4*q - 159 - 301 = x. Is q composite?
True
Suppose -7*f = -2*f - 2*r - 21, 5*f + 3*r = 6. Suppose -5 + 33 = 2*i + 2*m, -f*m = -2*i + 8. Is i prime?
False
Let j = 572 + 1077. Is j a prime number?
False
Suppose -q - 101 = -3*s, -3*q - 133 = 2*s - 6*s. Is s composite?
True
Let n = -9599 - -18580. Is n composite?
True
Suppose -p + 591 = 2*f, -5*f + 3*p - 2*p = -1460. Is f composite?
False
Let b be (-1)/(-1 - (-140)/142). Let a be (b - 0) + (1 - -1). Suppose k - a + 24 = 0. Is k composite?
True
Let w(y) = 211*y**2 - y - 1. Suppose 0 = 4*o + 4*u - 4, 3 = 4*o + 3*u + 1. Is w(o) prime?
True
Suppose 7 - 1 = 3*l. Suppose -l*u + 2 = -u. Suppose -y + 3*g + 31 = 0, 0 = -u*y - y + 4*g + 93. Is y a composite number?
False
Let m(f) = 2*f**3 - 16*f**2 + 13*f - 25. Is m(10) a prime number?
False
Suppose 5*i - 4*r = 795, 3*r = 4*i - 166 - 469. Suppose -2*c = -2*h + 142, -2*h + 4*c - 23 = -i. Is 1 + 0 - h/(-1) a prime number?
False
Let l be (1 - 2)/((-6)/2532). Is (-3 + 28/8)*l a prime number?
True
Suppose -2*w + 5*s + 365 = 0, 2*w - 81 = s + 288. Is w composite?
True
Let h(k) = 1 + 3*k + 0 + 9*k**2 - 2*k**2. Suppose -4*j + 3*j = 3. Is h(j) composite?
True
Let d(x) = -10*x**2 - 4*x - 3. Let i be d(-1). Let o(l) = -l**3 + 6*l**2 - 8*l - 2. Is o(i) a composite number?
True
Suppose -d + 2 = -2*n, 10 = -5*n + 2*d + 3. Let c be 78/4*(-10)/n. Suppose -4*f + 5*q = -0*q - 165, 2*f = -q + c. Is f prime?
False
Let g = -2 - -4. Let l be 572/6 - (-2)/(-6). Suppose -z + 5*p - 45 = -g*z, -3*z + 5*p = -l. Is z prime?
False
Suppose r - 6 = -0*r. Is (4/6)/(r/981) a prime number?
True
Let y = 12 - 7. Suppose y*h - 7 - 3 = 0. Is h/(57/(-63) - -1) a prime number?
False
Suppose q = -5*l + 484, 5*q - 2*q = -5*l + 482. Is l prime?
True
Suppose 2*l + 2*l = 1172. Is l a prime number?
True
Let u = 1115 + -366. Is u composite?
True
Is (4/(-16))/(1/(-1796)) a prime number?
True
Suppose 0 = -w + 3*w + 2. Let p be (-2 + 2 + w)*-5. Let t(b) = 6*b + 1. Is t(p) a prime number?
True
Let c(f) = f + 4. Let x be c(-5). Let q(z) = -5*z**3 + 2*z**2 + 2*z + 1. Let k be q(x). Suppose 4*h - 912 = -2*t + k*t, -5*h + 2*t + 1125 = 0. Is h prime?
True
Suppose -5*n + 3*n = 0. Let w = 547 + -247. Suppose 5*d = -k - n*k + 399, w = 4*d - 4*k. Is d prime?
True
Let a be (-2)/(-6)*(1391 + -2). Let u = a - 312. Suppose 0 = q - 2*q - 4*c + u, 2*c = 3*q - 495. Is q a composite number?
False
Let u = -1 + 6. Let t = 8 + u. Is t a prime number?
True
Suppose 4*h - 532 = -4*g + 256, 3*h = 2*g + 586. Let z = -99 + h. Is z composite?
False
Suppose g - 173 - 50 = 0. Is g a composite number?
False
Suppose 9*p = 14*p - 4925. Is p composite?
True
Suppose 3*y + 6 = 15. Suppose -2*m + 900 = y*v, 593 = 2*v - 0*v - m. Is v prime?
False
Let a(k) = 2*k**3 - 5*k**2 + 6*k + 6. Let c be a(5). Let r = c + -34. Is r a prime number?
True
Suppose 0 = -4*u + p + 13, 0*p - 3*p = 4*u - 9. Let f(v) = 2*v**2 + 2*v - 1. Let m be f(-2). Suppose 2*x = -j - 3*x + 28, -m*x + 24 = u*j. Is j composite?
False
Let h(o) = -o**3 - 3*o**2 - o + 2. Is h(-4) prime?
False
Suppose -r - r = 0. Suppose 0 = 4*q - 4*d + 8, 0 = -3*q - r*q - d + 10. Suppose 3*a - q*a = 35. Is a a composite number?
True
Let d = -150 - -73. Let x = -135 - d. Is x/((-3)/((-9)/(-2))) composite?
True
Suppose 3*g = -1663 - 5057. Is g/(-60) - (-2)/(-6) a composite number?
False
Let r = 9 - 7. Suppose r*i - 116 = 2*z, -2*i = -z - 4*z - 116. Is i a composite number?
True
Suppose -33*i + 28*i + 1585 = 0. Is i composite?
False
Let d = 2236 + -245. Is d composite?
True
Suppose -4*g + 64 = 4*f, 3*f + 2*g = 4*g + 73. Suppose f + 6 = 3*u. Suppose -4*j = 5*d - u - 58, 0 = -4*d + 2*j + 64. Is d a composite number?
True
Is 28*5 - 7/((-21)/3) composite?
True
Let b be 2/(-9) + 640/(-36). Let a be (b/15)/(6/20). Let y(t) = t**3 + 6*t**2 + 5*t - 1. Is y(a) composite?
False
Suppose z - 304 = -3*i, -4*z - 4*i + 1171 = -i. Is z composite?
True
Let i(c) be the third derivative of 0 - 43/24*c**4 - 2*c**2 + 0*c - c**3. Is i(-5) composite?
True
Let b(z) = -95*z**3 - 2*z**2 + 2*z + 3. Let l be b(-2). Let w(v) = 10*v**3 + 9*v**2 - 4*v - 6. Let r be w(-4). Let s = l + r. Is s a composite number?
True
Is (3/(-6))/((-1)/5878) a composite number?
False
Is (-5013)/(-21) - (-4)/14 a composite number?
False
Let x be (3 - -3) + 2 + -1. Let a(l) = l - 5. Let g be a(x). Suppose g*z = 3*o + 26, 3*z = 3*o - 5 + 41. Is z a composite number?
True
Suppose 5*x = 4*j - 12, 2*j = -3*j + 4*x + 6. Let s = -4 - j. Let q = 0 - s. Is q a prime number?
True
Let d be (-3)/(2/1 + -3). Suppose -5*r - 346 = -6*r + d*y, 3*r - 1071 = -2*y. Is r composite?
True
Suppose 2*f = 7