 composite?
False
Let i(l) = l**3 + 6*l**2 - 9*l - 3. Let a be (6/5)/(5/(-25)). Is i(a) composite?
True
Suppose -3*h - 12 = 0, p - 2352 = -3*p + h. Is p a composite number?
False
Let h = 26 + 43. Let x = 8 + h. Is x composite?
True
Suppose -2*t + 2*o = -t - 3, 0 = o - 1. Suppose -12 = -t*f + 93. Is f composite?
True
Let x(b) = b**3 + 9*b**2 + 5*b + 1. Is x(-6) composite?
False
Is (-1074)/(-3)*(-1)/(-2)*5 composite?
True
Suppose 5*g - 105 - 95 = 0. Suppose -11 = -x + g. Let i = -14 + x. Is i prime?
True
Suppose -7 = 3*n - 2*h + 13, -n = -3*h + 2. Let l be (n/6)/((-1)/(-3)). Is (-54)/(-2) + 8/l composite?
True
Let s(l) = 49*l + 3. Let h be s(8). Suppose -2*u = -3*u + h. Is u a composite number?
True
Let a(y) = 189*y + 2. Is a(1) composite?
False
Let u = 79 - 39. Let i = 6 + u. Is i prime?
False
Let k(o) = 96*o + 2. Let f be k(1). Suppose 5*u + 5 = 0, u = -4*c + f + 149. Is c prime?
False
Suppose q - 4892 = -3*a, -8156 = -5*a - 4*q + 5*q. Is a composite?
True
Let q(o) = -126*o + 5. Is q(-2) prime?
True
Suppose -77 = -k + 5*b, -k = -4*k - 4*b + 193. Is k a composite number?
False
Suppose 2*o - 5*o + d = 8030, 0 = -4*o + 4*d - 10712. Is o/8*4/(-6) a composite number?
False
Suppose 8*c = 23995 + 14829. Is c a prime number?
False
Let n(u) = 10*u**2 - 5*u + 1. Let t be n(-3). Suppose 21*z - 23*z + t = 0. Is z composite?
False
Let h(w) = 56*w - 19. Is h(6) composite?
False
Let z = -13 - -34. Is z a prime number?
False
Let r(k) = -6*k**2 - 15*k - 11. Let h(q) = -q**2 - 3*q - 2. Let d(n) = -11*h(n) + 2*r(n). Let p be d(3). Suppose p*b - b + 14 = 0. Is b composite?
True
Let r be ((-87)/6)/((-3)/18). Suppose 2*c + r = 373. Is c a prime number?
False
Suppose 0 = -5*i - 5, 9 = 5*z - 3*i - 14. Let j(p) = p**3 - 5*p**2 + 5*p - 2. Let a be j(z). Let w = 0 + a. Is w prime?
True
Is ((-7)/(-14))/(2/3972) a prime number?
False
Let o(z) = -z. Let f be o(-2). Suppose 366 = 4*s - 2*i, 4*i = s - f*s + 69. Is s a prime number?
True
Let b be -1 - -1 - 356*-1. Suppose 4*c = -0*c + b. Is c a composite number?
False
Let n(v) = 52*v. Let b be n(-2). Let m = 222 + b. Let g = m + -81. Is g prime?
True
Let a(q) = q**3 + 2*q**2 + 3*q + 4. Let c be a(-3). Let w = 393 - c. Is w composite?
True
Let l be ((-3)/9)/(2/(-12)). Suppose -115 = 4*d + r, -2*d - l*d - 118 = -2*r. Let b = d - -54. Is b prime?
False
Let h(s) = -s + 7. Let q be h(10). Let n(d) = -24*d**3 + 5*d**2 + 2*d - 2. Is n(q) composite?
True
Let r(w) = -42*w - 13. Is r(-8) a composite number?
True
Suppose -9*g + 4*g + 25 = 0. Let w = 1327 - 581. Suppose 2*v - w = -g*o, 2*v = 4*v + o - 746. Is v a prime number?
True
Let v be (-80)/6*(0 + -3). Suppose -v - 190 = 5*z. Let l = z + 68. Is l a composite number?
True
Suppose -3*p = 3*p - 546. Is p composite?
True
Let f(x) = 146*x - 3. Is f(5) a prime number?
True
Let i(k) = k**2 + 7*k + 6. Let u be i(-4). Let o be 0 + 0*2/u. Suppose -3*z + 48 = 3*q + q, o = 4*q - 5*z - 80. Is q a composite number?
True
Suppose 3*d - 5*d = -8. Suppose -d*l - l + 635 = 0. Is l composite?
False
Let t be (-60)/(-14) - (-10)/(-35). Suppose -3*y + 96 = y + 2*m, 15 = y - t*m. Is y composite?
False
Suppose -d - 3 = -5*q - 1, -4*q - 5 = -3*d. Suppose 2*w - x - x = 404, d*w = -3*x + 612. Is w prime?
False
Suppose -3540 = 7*a - 19*a. Is a a prime number?
False
Suppose 0 = -0*n - 3*n + l - 4, n = l - 4. Suppose 2*s - 72 + 360 = n. Let f = 211 + s. Is f prime?
True
Suppose 5414 = v + c, -3*c - 6 = -5*c. Is v a prime number?
False
Let r(t) = 1. Let a(u) = -u**2 - u - 5. Let b(j) = -2*a(j) - 11*r(j). Is b(-9) prime?
False
Let h(l) = -5*l**2 + 3*l - 2*l - l**3 - 4 + 0*l - 6*l. Is h(-5) composite?
True
Let y be (-2)/(-4) - 15/(-10). Suppose -9 + 31 = y*f. Is f a composite number?
False
Let k(u) = -u**3 + 12*u**2 - 12*u + 8. Let y be k(11). Let h(s) = -32*s - 1. Is h(y) a prime number?
False
Let c(v) = 5*v + 37. Is c(-6) a composite number?
False
Let w(u) = u - 65. Let g be w(0). Let q = g - -108. Suppose -2*x + q = -35. Is x prime?
False
Suppose -89 = 8*v - 2049. Let c = 323 + -169. Let d = v - c. Is d a prime number?
False
Suppose 0 = -3*c + 5 - 2. Let r(u) = -122*u**2 - 1. Let i be r(c). Is i/(-4) + 1/4 composite?
False
Suppose 42 = -c + 4*u + 189, -2*c + 250 = 3*u. Is c prime?
True
Let u = 463 + -210. Is u a prime number?
False
Suppose 0 = v + 3*v - 744. Let k be (-2 - -1) + (-1 - 7). Is ((-6)/k)/(4/v) a prime number?
True
Suppose 2 - 158 = -2*g + 4*w, 5*g = -w + 368. Let l = g + -41. Suppose -5*x = -2*h + 32 + 40, h - l = x. Is h a composite number?
False
Suppose 3*j + 318 = 6*j. Suppose 4*s - 14 - j = 0. Let c = s + 9. Is c composite?
True
Suppose 0*w = w - 6. Suppose -x + w*x - 345 = 0. Is x a prime number?
False
Let q(z) be the first derivative of -z**2 - 9*z + 1. Suppose -5*d = 3*j + 8, 0 = -2*j + 2*d - 0*d - 16. Is q(j) prime?
True
Let y(n) = -n**3 - 5*n**2 + 7*n - 4. Let h(v) = 13*v**2 - 28*v + 5*v**3 + 16 + 0 + 6*v**2. Let q(o) = -2*h(o) - 9*y(o). Is q(5) composite?
False
Let x(t) = 11*t - 5. Let k(q) = -12*q + 4. Let p(c) = -4*k(c) - 5*x(c). Let a be p(10). Let v = a + 114. Is v a prime number?
True
Let c(f) = 239*f + 62. Is c(15) a prime number?
False
Let u be 0 + (10/2 - 3). Suppose 3*q + 7 = -u*j + 43, 5*q - 35 = 5*j. Is q a prime number?
False
Let v = 411 - 29. Suppose -3*h + 17 = -v. Is h a composite number?
True
Let w = -33 + 52. Let l = -6 - w. Is l/(-1)*(-1)/(-1) a prime number?
False
Let i be 1*(-1)/(-1)*-3. Let x = 4 + i. Is (23 - x)/((-6)/(-33)) composite?
True
Let d = 21 + 28. Is d composite?
True
Let p = -33 - -53. Let g = -3 + 4. Let u = p - g. Is u a prime number?
True
Suppose -3*r = 5*v - 5, -4*r = -v - 0*v + 1. Suppose 373 = 3*k + u, -2*u = -k + 5*k - 498. Is (6 - r - 3) + k a prime number?
True
Let t be (-28)/(-8)*(1 - 7). Is (-301)/t + 1/(-3) prime?
False
Let w = 5 + 0. Is 514/w + (-1)/(-5) a prime number?
True
Let d = 73 + -45. Let z = 87 - d. Is z composite?
False
Let r = 692 - 319. Is r a prime number?
True
Let h(d) = -177*d - 1. Let n be h(-1). Let u = 1 - -3. Suppose 0*c - c = 5, 4*b - u*c - n = 0. Is b prime?
False
Let d = 153 + 32. Is d a composite number?
True
Suppose 0 = -5*u + 5 + 10. Suppose 35 = -2*i + u*i. Is i a composite number?
True
Suppose -3*f + 1479 = 2*j - 4*j, 5*f - 2*j = 2465. Is f a composite number?
True
Let y(g) be the second derivative of -g**5/20 + g**4/12 + g**3/3 + 111*g**2/2 + 8*g. Is y(0) prime?
False
Suppose 4*i = -4*a + 3*a - 204, a = 3*i - 232. Let f = -33 - a. Is f prime?
False
Suppose -4*c + 2*h = -184, 4*h + 34 = -5*c + 290. Let w = -11 + c. Is w a prime number?
True
Let m(i) = -i**2 - 38*i - 38. Is m(-22) composite?
True
Let z(i) = -i - 1. Let a be z(-2). Suppose -l = 4 + a. Let w = 7 + l. Is w a prime number?
True
Let m = 3177 + -68. Is m prime?
True
Let v be (-12)/18*30/(-4). Let g(n) = n**3 - 3*n**2 - 2*n**2 + 3 + 2 + 6*n. Is g(v) prime?
False
Let j = 139 - 70. Is j a prime number?
False
Let p = -1 + 15. Let y = -23 + p. Let g = 22 + y. Is g a composite number?
False
Suppose -2*v + 5*v = 0. Let r be v*(1/2 + -1). Suppose 5*q - 235 - 100 = r. Is q a prime number?
True
Let f(m) be the first derivative of m**4/4 + 2*m**3 - 6*m + 1. Suppose -7 - 8 = 3*q. Is f(q) prime?
True
Let n(s) = -5 + 5 + 4*s + 5*s**2 + s**3. Let w be n(-3). Is (4/(-6))/(w/(-333)) a composite number?
False
Let q(t) = 641*t**3 + t**2 + t - 2. Is q(1) a prime number?
True
Suppose 0*u + 623 = 3*u - 4*n, 2*u + 4*n = 382. Is u a composite number?
True
Suppose -2*p + 0*p = 2*z + 26, -3*p = -2*z - 1. Let v = 21 + z. Suppose b = v + 22. Is b a composite number?
True
Suppose 13 = -s - 3*f + 5, 0 = 2*s + 2*f. Suppose 0 = 5*k - s*o - 2120 - 1385, 0 = 2*k - 2*o - 1404. Is k prime?
False
Is 261/4 - 13/52 - -4 composite?
True
Let n(x) = x**3 + x**2 + x + 1. Let f(m) = -3*m**3 + 2*m**2 - 6*m - 8. Let d(j) = -f(j) - 2*n(j). Is d(5) prime?
False
Suppose 0 = -2*t + d + d + 10, -d = 5*t - 7. Is 34*(2/t - 0) a prime number?
False
Let x be 1/1 + (6 - 2). Suppose -5*t - 2*q = -1291, 2*t = 3*q - x*q + 520. Is t composite?
False
Suppose -8*i - 6491 = -3*r - 13*i, 6483 = 3*r + 3*i. Is r a prime number?
False
Suppose -3*a - 17 + 214 = d, -3*d = -5*a - 563. Is d composite?
False
Suppose -w + 0*w - 3 = -5*d, -2*w - 3*d + 59 = 0. Let i = -1 + w. Is i a composite number?
True
Let n(m) = m**3 + m**