**2 - 3*n - 2. Suppose -32 = -b - 2*r, 0*r - r = -b + 26. Suppose 0 = -4*o + 4*t + 4, 4*o + 4*t + b = -0*o. Is a(o) prime?
True
Let u(d) = 297*d - 4. Is u(1) a composite number?
False
Let n(v) = 24*v**2 + 4*v - 4. Let x be n(-4). Let s = -153 + x. Is s a prime number?
True
Let c(b) = -7*b + 6. Let s(i) = -22*i + 17. Let z(v) = 17*c(v) - 6*s(v). Let m be z(6). Let j = m - 25. Is j a composite number?
False
Suppose -u - 2*u = 0. Suppose u = 2*x + 6, c - x - 4 = 1. Suppose c*a + 154 = 4*a. Is a a composite number?
True
Let k = 435 - 212. Is k composite?
False
Let z(d) = 8*d - 1. Let l(x) = -15*x + 1. Let q(s) = -2*l(s) - 5*z(s). Is q(-4) a composite number?
False
Is 348 + (-9)/21 + (-4)/7 composite?
False
Let b(x) = 7*x**3 - 5*x**2 - 4*x + 3. Let g(i) = i**3 - i**2 + 1. Let q(u) = b(u) - 6*g(u). Is q(5) prime?
True
Let v be 3 - (8*12*2 + 1). Suppose 2*k = -5*s - 225, -3*k - 2*s - 22 = 343. Let a = k - v. Is a composite?
True
Let x be ((-360)/6)/(4/6). Let m = x + 127. Is m prime?
True
Suppose -2*p + 5 = -1. Let w(j) = j**3 - 4*j - 1. Is w(p) composite?
True
Suppose -12 = 3*i, -261 = -v - 4*i - 0*i. Is v a prime number?
True
Let w(t) = t**3 + 2*t**2 - 3*t - 4. Let z be w(-3). Is z - -2 - 3*-53 a prime number?
True
Let v be 0/(10/2 + -3). Suppose v = -5*s - 85 + 240. Is s composite?
False
Let q be -4*-6*6/(-16). Let x = q + 13. Is -33*7*x/(-12) a composite number?
True
Let z(m) = -436*m**3 + m**2 + 4*m + 5. Is z(-2) a prime number?
False
Suppose 3*z + n - 29 = 0, -4*z + n + 39 = 2*n. Suppose -d - d = -z. Let x(w) = w**3 - 4*w**2 + 2*w + 4. Is x(d) composite?
True
Let o = 40 + -25. Suppose -5*n - 13 = -2*c, -5*c + 29 = -n - o. Is c a prime number?
False
Let a(w) = w + 3. Let j be a(0). Is ((-2)/j)/(8/(-780)) a composite number?
True
Suppose 96 = 4*t + 4*i - 6*i, 3*i - 76 = -4*t. Is t a composite number?
True
Suppose 0 = 2*v - 7*v + 15. Suppose 4*z - 364 = -4*u, -6*z + 2*z + 350 = -v*u. Is z a prime number?
True
Let u(d) = 7*d - 6. Let a be u(5). Let i(l) = -2 + a*l + 3 - 99*l. Is i(-3) a prime number?
True
Let d = -1037 + 1510. Is d a prime number?
False
Let n be 1/(-3) - (-50)/15. Suppose -42 - 90 = -2*d - 4*i, -n*i = 0. Suppose -5*m + d = -29. Is m a prime number?
True
Suppose 3*d - 5*g = 48, 3*d + 4*g - 78 = -g. Let m be (-19)/(-7) + (-2)/(-7). Is 2*m*d/6 a prime number?
False
Suppose -3*o = -3874 + 115. Is o composite?
True
Suppose -1315 = 5*x - 4905. Is x prime?
False
Suppose -6*z - 4*m = -4*z - 398, 5*z - 2*m - 1019 = 0. Is z prime?
False
Suppose -12 = 4*l - 4*k - 0, -3*l - 27 = 3*k. Let z be l/(-10) - 669/15. Let t = 77 + z. Is t composite?
True
Let c = -6 + 11. Let d be c*(-3 + 1)/(-2). Is (d/(-15))/(2/(-354)) composite?
False
Suppose 4*l - g = 5273, 4*l + 0*l - 5264 = 4*g. Is l a prime number?
True
Suppose -5*y = g - 220, -4*g - y + 863 = 40. Is g a composite number?
True
Suppose -5*s + 3*k = -652, s - 5*k - 84 = 64. Suppose -5*h - s = -2*b + 257, 5*b - 3*h = 934. Is b composite?
True
Suppose -4*x = -191 + 35. Let r = x - 22. Suppose -171 = -5*k + 4*v, 3*v - 160 = -4*k - r. Is k prime?
False
Let h(u) be the second derivative of -u**5/20 - u**4/3 - u**3/2 + u**2 - 3*u. Suppose 5*a + 4*d = a - 4, 2*a - 1 = -3*d. Is h(a) composite?
True
Let j(b) = -b**2 + 8*b - 4. Let l be j(7). Let a be 113/5 + (-2)/(-5). Suppose -l*x + 22 = -a. Is x prime?
False
Let a(i) = -i**2 + 10*i - 9. Let w be a(9). Suppose -3*r - 33 + 234 = w. Is r composite?
False
Let r be (-3 - -4)/((-1)/1). Let j(b) = -20*b - 27*b + 12*b. Is j(r) composite?
True
Let j(k) = 1065*k**2 + 2*k. Is j(1) composite?
True
Let v be 12/7 + (-6)/(-21). Suppose -3*b + 3*z = 21, 0*z = -v*z + 10. Is b/4 + 30/4 a composite number?
False
Suppose -5*d - 2*z + 686 = -322, 2*z + 608 = 3*d. Suppose -330 = 2*n + d. Is 1/(-4) + n/(-8) prime?
False
Is (-34)/153 + 1 + (-8156)/(-9) a composite number?
False
Suppose 0*x + 5*x = -10. Let p be (-5)/x - (-6)/4. Is ((-4)/3)/(p/(-174)) prime?
False
Let w = 9 - 12. Let q(v) = -59*v + 1. Is q(w) a composite number?
True
Let g be (1 - 0)*2/1. Suppose 4*b - 520 = -5*v, 204 + 86 = g*b - 5*v. Suppose 247 = 2*q - b. Is q prime?
True
Suppose -5*u - 40 = -170. Let a = 11 + u. Is a prime?
True
Let i(z) = z**2 + z + 2. Let f be i(-4). Is 3 + (f - (-6)/(-3)) a composite number?
True
Let o = 97 - 62. Is o composite?
True
Let b(a) = 4*a**2 - a. Let t be b(1). Suppose 4*m - 2*z = 23 + 7, t*m = 3*z + 24. Is m prime?
True
Suppose -4*i + 236 = 5*f, -3*i + i = 4*f - 118. Is i composite?
False
Let p = -2 - -13. Suppose p*q = 8*q + 153. Is q a composite number?
True
Suppose -2*d + 6*d + 16 = 2*r, 4*r = 5*d + 20. Suppose r = 3*i - 7*i + 268. Is i prime?
True
Let z = -1646 - -2499. Is z prime?
True
Suppose -4*a + 6*a = 6. Is 56/a - (-2)/6 composite?
False
Let k = -23 - -33. Suppose -k + 409 = 3*m. Suppose -m + 1 = -4*f. Is f a prime number?
False
Suppose 5*q - 2*x = x + 630, -2*q + 2*x = -256. Let u = q - 29. Is u composite?
True
Let d be 5*(-3 + 13/5). Is -2*69/d*1 prime?
False
Let q = 289 - 203. Is q prime?
False
Suppose -7*g + 290 + 753 = 0. Is g composite?
False
Let n(m) = m**2 - 3*m - 4. Let s be n(4). Suppose s = 4*c - 3*c - 4. Suppose -37 = -c*p + 95. Is p composite?
True
Let o(a) = a + 2214. Let p be o(0). Let s = p - 1537. Is s prime?
True
Let o = 22 + -18. Is o a composite number?
True
Let u be (-1 - (0 + -1))/1. Suppose 0*a + a - 8 = u. Let j(x) = x**3 - 8*x**2 + 2*x - 3. Is j(a) a composite number?
False
Let x(j) = -9*j + 4. Let k be (1/1)/((-3)/15). Is x(k) prime?
False
Let l be (-25)/4 + (-10)/(-40). Is (-2)/l + 224/12 composite?
False
Let q(j) = 2*j - 5. Let o be q(4). Suppose o*y - y = -s + 24, -3*s - 27 = -3*y. Is y a composite number?
False
Let w(r) = -r**2 + 5*r - 3. Let p be w(5). Let m = p - -5. Is m a prime number?
True
Let v(t) = -t**2 + 5*t. Let b be v(4). Suppose -b*f + 34 + 18 = 0. Is f a prime number?
True
Let m = 734 + -441. Is m a composite number?
False
Suppose -2283 = -7*i + 706. Is i a prime number?
False
Let w be (-85)/(-20) + 2/(-8). Suppose -w*k = -347 + 115. Is k a composite number?
True
Let h(n) = -2*n**3 - 6*n**2 - 2*n - 5. Let r(a) = -2*a + 14. Suppose 5*d + 25 = 0, q = -3*q + d + 45. Let s be r(q). Is h(s) prime?
True
Is (4/(-6))/(16/(-1032)) prime?
True
Let y(a) = 79*a + 3. Suppose 7*h = 3*h + 8. Is y(h) composite?
True
Let a(s) = 3*s**3 - 9*s**2 - 7*s - 2. Let t(z) = -6*z**3 + 19*z**2 + 15*z + 5. Let r(h) = -9*a(h) - 4*t(h). Is r(-3) a composite number?
True
Let t = 4644 + -2075. Is t composite?
True
Let h = -18 - -13. Let x(u) = -u**3 + 4*u**2 + 2*u - 12. Is x(h) a prime number?
False
Let d(i) = -i**3 - 9*i**2 - 7*i - 10. Let n be d(-8). Let x = n - -179. Is x composite?
True
Let f be ((-3)/(-2))/(7/42). Let w be 3*-1 - f*10. Let d = w + 178. Is d a prime number?
False
Let k = -16 + 10. Let p be -15 - 2/k*-3. Let c = -9 - p. Is c composite?
False
Suppose -y + 2*d + 413 = 0, -3*y + 1184 = 2*d + 3*d. Is y a composite number?
True
Let m(b) = 3*b**2 - 5*b + 7. Let w be m(-9). Let v = w - 92. Is v prime?
False
Suppose 5*r = w - 207, r - 3*r - w - 80 = 0. Let k = r + 78. Is k composite?
False
Let g(j) = j**3 - 10*j**2 - 16*j + 15. Let k be g(10). Let u = k - -203. Is u a composite number?
True
Let h = -23 - 47. Is 16278/14 + (-20)/h prime?
True
Let x = 0 - 5. Let s be 8 + 1 - (-4 - x). Suppose s*w - 445 = 3*w. Is w prime?
True
Let z = 588 - 927. Let x = -176 - z. Is x prime?
True
Let l(k) = 154*k - 41. Is l(10) prime?
True
Let i = 17 - 20. Let a(c) = 2*c**2 - c**2 + 4 - 3. Is a(i) composite?
True
Let x(t) = 7*t**3 - 5*t**2 + 2*t - 1. Suppose -4*r - w + 11 = 0, -5*r + 0*w + 14 = w. Is x(r) a prime number?
True
Let t(x) = x**2 + 5*x + 2. Let b be t(-5). Suppose -2*v = b*u - 228, 2*v + 43 = -3*u + 380. Is u composite?
False
Let f(w) = 28*w**2 - w. Let x be f(-1). Let h = -8 + x. Is h composite?
True
Let c = -10 - 0. Let d(l) = 4*l**2 + 2*l - 9 + 2*l + 2*l - 2*l**2. Is d(c) prime?
True
Let a(k) = -21*k + 13 + 8*k + k**2 + 3*k. Is a(14) prime?
False
Let c = -3 + 1. Let d be 1*(3 - -1 - 4). Is -55*(1 + c - d) prime?
False
Let t = -4 + 7. Suppose -t*g + 5 = -j + 6*j, 10 = 2*g. Is 177/j*(-8)/12 composite?
False
Suppose 0 = 2*q - 1287 - 1231. Is q a prime number?
True
Let j be (-36)/24*(-502)/3. Suppose 7*v = j + 750. Is v a prime number?
False
Let r = 