k - -9. Suppose 0 = -o*u + 9*u - 56. Is u a composite number?
True
Suppose -3*b - 2*b + 1095 = 4*d, -2*b + 451 = -d. Is b prime?
True
Let z(p) = 4*p**3 + p**2 + p - 1. Let q be z(1). Suppose 6*m - 185 = -q*j + m, -j + 47 = -m. Suppose -y + 4*y - j = 0. Is y prime?
False
Let j(h) = 1 + h + 4*h + h - 3. Let x be j(5). Suppose b - 83 = -x. Is b prime?
False
Let w = 84 - 31. Is w prime?
True
Suppose b + 3*x - 5 = 0, 3*b = b + x - 4. Let p be (-1 - -2)*(-2)/b. Is 1 - p - -46 - -2 composite?
False
Suppose 5*w - 2*n = 99 + 2, 76 = 4*w - 4*n. Let x = w + -6. Is x prime?
False
Suppose -4*h + h + 3 = -i, 2*i = h + 4. Suppose -35 = -3*n - 5*b, -3*b - 45 = -5*n + h*b. Is n prime?
False
Suppose 0 = 11*w - 9*w - 5666. Is w composite?
False
Let w(x) = 32*x + 10. Let n be w(5). Suppose 0 = m + m - n. Is m a composite number?
True
Let n = 1538 + -769. Is n a prime number?
True
Let b = 11 - 11. Suppose b = -3*j + 1 - 4, 3*t + 3*j = 12. Suppose -4*k + t*k - 203 = 0. Is k a composite number?
True
Let u(n) = 2*n**2 + 39*n - 19. Is u(14) a prime number?
True
Let s = 1411 - 524. Is s prime?
True
Let l(y) = y**3 + 5*y**2 - 8*y - 8. Let q be l(-6). Let x(h) = -4*h**2 - h + 2. Let w be x(q). Let s = -11 - w. Is s a prime number?
False
Is ((-21)/18*-254)/(4/12) composite?
True
Let o(k) be the first derivative of -8*k**2 - 9*k + 1. Is o(-6) prime?
False
Is (-15 + 43)*(-326)/(-8) composite?
True
Suppose -615 = 15*l - 18*l. Is l a prime number?
False
Let s(q) = q**3 - 4*q**2 + 5*q - 4. Let l be s(3). Suppose -l*y = -6*y + 36. Suppose -4*n + y*n = 105. Is n a prime number?
False
Suppose 1612 = 5*r - 118. Is r composite?
True
Suppose 3*l - 5*t = 1240 - 455, -5*l + 1299 = t. Let q = -72 + l. Suppose -2*u + q = 2*u. Is u prime?
True
Let h(n) = n**3 - 3*n**2 + 5. Let s be h(4). Suppose 0 = -5*q + 2*q + s. Is q composite?
False
Let w(n) = n**3 - 7*n**2 - 7*n - 5. Let a be w(9). Suppose -2*o + 54 = 4*h, o + a = 3*o - 4*h. Is o prime?
True
Let o(t) = -11*t**2 - 6*t - 5. Let w be o(7). Is -3 - (w/1 - 0) a composite number?
True
Let j = 9 + -4. Suppose 3*l = 0, -j*n = -l + 5*l - 5. Is (1 + -54)/(n + -2) a composite number?
False
Let d(i) = i - 2. Let x be d(2). Suppose -n - n = x. Suppose n*c + 12 = c + 5*m, 4*m + 31 = 5*c. Is c a composite number?
False
Let q(p) = 13*p**2 - 3. Let f be q(-5). Suppose 0*d - f = -2*d. Is d composite?
True
Suppose 5*n = -5*k + 20, 5*k + 0 - 2 = 4*n. Let d(p) = -8*p + n*p + 1 - 4. Is d(-4) a composite number?
True
Let r(i) = i**3 + 5*i**2 + 4*i - 5. Let f be r(6). Suppose 3*l = u - 2*u + 239, 5*l + 5*u = f. Suppose -d - l = -3*d. Is d prime?
False
Let p(d) = -609*d. Let t be p(-2). Suppose -927 = -3*z + 2*q - 5*q, 0 = -4*z + 5*q + t. Is z prime?
True
Let g be (3/1)/(3/878). Suppose 4*h - 22 - g = 0. Suppose -5*t = -h - 40. Is t prime?
True
Let p be 5/((-5)/2)*2. Suppose 0 = -3*j - v - 1 + 10, -2*j = -2*v - 6. Is p + 4 + 13*j prime?
False
Let y(p) = -p - 11. Let m be y(-14). Suppose -2*g = -5*g + 5*j + 186, -125 = -2*g + m*j. Is g composite?
False
Suppose 0 = 4*q - 2*y - 16, 7*y = q + 2*y + 5. Suppose -2*k = -5*z + 2*z - 21, q*k - 85 = z. Let v = 40 - k. Is v prime?
False
Let i = 5 + -3. Let c(r) = 2 + r + 3*r**2 - 3*r + r**3 + i. Is c(-3) a prime number?
False
Let c(b) = 4*b - 5. Let d(r) = 9*r - 11. Let a(u) = 13*c(u) - 6*d(u). Let f be a(-1). Suppose 0 = m + p - 53, -3*m + 37 = -2*m - f*p. Is m composite?
True
Let l be (-5 - 0)*1/1. Let j be (-1612)/l - 10/25. Suppose 4*h - j = -2*w, -3*w + 476 = -2*h + h. Is w composite?
True
Suppose 0 = -0*t + t - 2*n + 167, 4*n + 692 = -4*t. Let d = t + 328. Is d a prime number?
True
Let n be (-2)/3*18/(-4). Suppose 3*l + 5*c - 4 = 40, 0 = n*l - 2*c - 16. Is ((-88)/2)/(l - 10) prime?
False
Suppose z = 4 + 27. Let l = 16 + z. Is l composite?
False
Suppose 58 = 2*r - 270. Let m = r + -87. Is m a prime number?
False
Is (-135)/(-7) + 26/(-91) composite?
False
Let h = -12 - -22. Let t = 14 - h. Suppose t*j = 258 + 106. Is j a composite number?
True
Let y = 817 + -360. Is y composite?
False
Is 537 - -16 - 4*(-1)/(-2) prime?
False
Is 6/9 + (-4118)/(-6) prime?
False
Is (443 - 0)/(11/11) a prime number?
True
Suppose -5*t = 5*n - 260 - 260, -2*t - 4*n = -198. Is t a prime number?
True
Let c(h) be the second derivative of -h**4/12 - 2*h**3 - h**2 + 3*h. Is c(-5) a prime number?
False
Is 0 + -4 - ((-16)/4 - 1253) a composite number?
True
Let b(d) = 5*d**2 + 8*d + 8. Is b(-9) a composite number?
True
Suppose b - 7347 = -4*b - 2*p, 7367 = 5*b - 3*p. Is b a composite number?
False
Let v(a) = -a**3 - 17*a**2 + 2*a + 21. Let h(w) = -w**3 - 16*w**2 + 2*w + 20. Let o(u) = -7*h(u) + 6*v(u). Let q be 3*(26/(-6) + 1). Is o(q) a composite number?
True
Let w = 292 + 75. Is w a composite number?
False
Let y = 631 - -418. Is y composite?
False
Let n be 5/(0 + -1)*1. Let c(a) = 2*a**2 + 2*a - 5. Let m(w) = -4*w**2 - 4*w + 9. Let s(q) = n*c(q) - 3*m(q). Is s(2) composite?
True
Suppose -4*i = 3*b - 2*b, 72 = -5*b + 4*i. Let q = b + 67. Is q prime?
False
Let d(m) = 6*m**2 + 3*m + 5. Let y(p) = -5*p**2 - 2*p - 4. Let z(o) = -2*d(o) - 3*y(o). Is z(-7) a prime number?
True
Suppose l - 88 = -5*v + 105, -2*v = -l - 80. Is v prime?
False
Suppose -3*j + 2 = 8, -d + 3*j = -305. Is d a prime number?
False
Suppose 4*l - 85 = 47. Let z = 11 - l. Let j = z + 36. Is j a composite number?
True
Suppose -961 = -2*n + g, -6*g - 9 = -3*g. Is n prime?
True
Let b(p) = 51*p - 1. Let m(n) = 52*n. Let f(r) = -3*b(r) + 4*m(r). Is f(8) a composite number?
False
Let s = 86 + 125. Is s a composite number?
False
Let c(n) = -2*n**3 - 9*n**2 - 4*n - 9. Let k be c(-6). Suppose -3*s = -2*g + 256, -2*s + 4*g - 167 = -g. Let w = s + k. Is w a composite number?
False
Let y(v) = -17*v - 1. Suppose -5*o + 3*w = 13, 5*w - 10 = o - 3. Is y(o) a prime number?
False
Let v = -4 + 4. Suppose 2*r + f - 214 = 0, r - 93 = -4*f - v*f. Suppose d + 2*o - 136 = -3*d, -3*d - 5*o = -r. Is d prime?
False
Let l(p) = 45*p + 2. Let q(a) = 134*a + 3. Let v(c) = -670*c - 14. Let s(d) = -11*q(d) - 2*v(d). Let n(u) = 8*l(u) + 3*s(u). Is n(-5) a composite number?
False
Is (-78)/18*(1 + -4) a composite number?
False
Suppose -181*d + 182*d - 22 = 0. Is d a composite number?
True
Let u be (0/(-2))/(2 + 1). Let x(t) = 1 - 12*t + u + 3*t**2 - t**2. Is x(9) a prime number?
False
Is -1*(-56 + (1 - -2)) a prime number?
True
Let b(i) = -i + 9. Let v(f) = -f**3 - 6*f**2 + 6*f + 2. Let x be v(-7). Let w be b(x). Is (w + 1)*1*13 prime?
True
Suppose 4*o = -i + 17, 0 = -4*i - 0*i + 4*o + 8. Let t(z) be the third derivative of -z**6/120 + z**5/10 - z**3 + 6*z**2. Is t(i) composite?
False
Let x = 249 + 230. Is x prime?
True
Let t(q) = q**3 + 15*q**2 + 18*q - 12. Is t(-11) prime?
False
Let p(g) = 6*g**3 + 3*g. Let a(m) = 30*m**3 + 16*m - 1. Let k(r) = 2*a(r) - 11*p(r). Let c be k(2). Let b = c - -111. Is b a prime number?
True
Let u(j) = 3*j**2 - 5*j - 9. Let y(o) = -3*o**2 + 4*o + 8. Let t(x) = -6*u(x) - 7*y(x). Let g = 1 - -2. Is t(g) a prime number?
True
Let b(h) = 2*h**2 - 5*h. Let q be b(-9). Let a = 100 - q. Let o = a - -198. Is o prime?
False
Is (-22)/(-8)*5*(-24)/(-30) prime?
True
Let p = -455 + 647. Suppose 0 = y + o - 7, 2*o + 14 = 5*y - 0. Suppose -28 - p = -y*x. Is x prime?
False
Let x = 1 - -3. Let o(s) be the third derivative of -s**6/120 + s**5/15 + s**4/8 + s**3/6 + s**2. Is o(x) composite?
False
Let h = 102 - 5. Is h prime?
True
Let g(i) = -6*i**3 - 4*i**2 + 2*i - 1. Is g(-7) composite?
False
Suppose -4*s + 18 = 6. Suppose y - 4*o = s*y - 246, -651 = -5*y - o. Is y prime?
True
Let k(y) = -366*y + 1. Is k(-2) a prime number?
True
Let r(g) = g**3 + 9*g**2 + 8*g + 4. Let o be r(-8). Suppose -165 = o*d - 7*d. Is d prime?
False
Let o = 19 + 16. Is o a prime number?
False
Let b(v) = 5*v**2 + 9*v + 3. Let l be b(-7). Suppose l = 2*j + 3*j. Is j prime?
True
Let l(r) = 28*r**2 - r + 2. Is l(-7) composite?
False
Let w = -7 - -9. Suppose w*t - 5*t + 3165 = 0. Is t composite?
True
Let n = -5 - -63. Let w = 29 + n. Is w composite?
True
Let p be -10 + (2 - 4)/(-2). Let d(o) = o**2 + 6*o + 8. Is d(p) composite?
True
Let j = 289 + -38. Is j a prime number?
True
Suppose 9*x - 4*x - 155 = 0. Is x prime?
True
Let z(p) = 332*p - 17. Is z(3) prime?
False
Let y(j) = -2*j - 4. Let r(o) = o + 4. Let c(d) = 5*r(d) + 4*y(d)