4*y = 3*b + 154. Is y composite?
False
Suppose -3*x - 53 = -2*u, x + 2 = -3*u - 1. Let c = 10 - x. Let r = c + 64. Is r a composite number?
False
Suppose -15 - 11 = -n. Let t = n - 16. Is t a composite number?
True
Let t(h) = h**2 + h - 2. Let b be t(-2). Let f = 4 + b. Suppose -4*i - f*m + 11 = i, 0 = -4*i - 5*m + 7. Is i a prime number?
True
Let d(f) = -9*f**2. Let c(p) = -18*p**2 - 1. Let b(k) = 2*c(k) - 5*d(k). Let r be b(3). Let g = r + 0. Is g prime?
True
Suppose -6*h + 4*n = -3*h - 121, 4*h - 152 = 3*n. Is h a prime number?
False
Suppose -2*n = 3*i - 5, 4*i + 3*n = 6 + 1. Let v be (i/2)/((-2)/(-16)). Suppose -21 = -v*x + 31. Is x composite?
False
Let a = 257 - 132. Suppose -2*g = 3*p - 260, a = g - 2*p + p. Is g composite?
False
Suppose -5*v - 2*l = -23, v - 2*l = 2*l + 9. Suppose 3*u + 3*w = 201, w = -4*u + v*w + 268. Is u composite?
False
Suppose -5*s + 12 = -q, -4*s - 1 = 5*q - 28. Let j = q + -3. Suppose j = -h + y + 118, 114 = h - y - 4*y. Is h prime?
False
Let v(y) = -y**2 + 5*y - 2. Let q be v(3). Suppose n = 5*f - 2 + 22, -q*n + 29 = -3*f. Suppose -4*d + 2*p + p = -268, -n*d - 5*p + 335 = 0. Is d composite?
False
Let m = 192 - 89. Is m prime?
True
Suppose 3*t - 7*t = -564. Is t a prime number?
False
Let t(o) = 97*o**3 - o**2 + o. Let d be 1/(2/4) - 1. Is t(d) a composite number?
False
Let a be (-7)/(-4) - (-3)/12. Suppose 0*v + a*v = 50. Suppose -12 = -t + v. Is t prime?
True
Let q(j) be the third derivative of j**5/60 - j**4/3 + j**3/3 - 3*j**2. Let o be q(-6). Suppose -2*w + o = -4*f, 5*w + 0*f = 2*f + 175. Is w prime?
False
Let p(b) = b**3 - 7*b**2 + 41*b + 5. Is p(12) composite?
False
Suppose -y + 3*l + 95 = 0, y - 81 - 4 = l. Let b = y - 45. Is b a composite number?
True
Let y = -60 - -30. Let q = y + 14. Let f = -9 - q. Is f a prime number?
True
Let h(v) = v - 1. Let t(k) = 9*k**2 + 6*k - 5. Let n(u) = -6*h(u) + t(u). Is n(-1) composite?
True
Let k be (2/(-2))/((-10)/50). Suppose k*z - 76 = -2*i, -2*i + 4*z + 60 = z. Is i prime?
False
Let o be -3*(-1)/3*4. Let a(v) = 18*v**2 + 5*v - 1. Is a(o) a prime number?
True
Let f = -792 + 1456. Let m = f + -455. Suppose -3*a - 2*o + m + 44 = 0, -2*o - 87 = -a. Is a a prime number?
False
Suppose -m + 5*w - 60 = 0, 5*w + 67 + 38 = -2*m. Let x = -33 - m. Is x a prime number?
False
Let i(b) = 43*b - 22. Is i(11) a composite number?
True
Let p be -1 + -2 + 1 - 0. Let w(v) = v**2 + 2*v - 7. Let g be w(-7). Is (g/(-12))/(p/30) a prime number?
False
Let j(h) = h**2 - 6*h + 3. Let r be j(6). Suppose r*l = -0*g - 2*g + 350, -g + 5*l = -149. Is g a prime number?
False
Is (24/20)/((-18)/(-2385)) composite?
True
Suppose -4*l - 1365 = -3481. Let z = l + -222. Is z prime?
True
Suppose -2*f + 4*f - 16 = -2*l, -l = 2*f - 12. Suppose 0 = f*m + 88 - 228. Is m prime?
False
Suppose 10 = 3*h - 4*j - 9, -h + 8 = -3*j. Suppose -h*s + 35 = 5*a, -3*a + a - 3*s = -18. Suppose -t + 15 = 2*d - 16, -d - a = 0. Is t composite?
False
Suppose 2*c - c = 11. Is c a composite number?
False
Let u(p) = -17*p - 2. Let r be u(-5). Let v = r - 58. Suppose 3*f - 4*h = 299, 4*f - v - 367 = 2*h. Is f prime?
True
Let a(d) = 16*d**3 - 2*d**2 + 3*d - 5. Let y be a(4). Suppose 4*h + 0*h + 2*i - 1336 = 0, 3*h - y = -3*i. Is h prime?
False
Let o be 12/(-10)*5/(-2). Is 1/o - (-296)/12 composite?
True
Suppose -2*q - 3 - 4 = -3*u, -5*u - 3*q - 20 = 0. Let i be (u - -1)*1/2. Suppose -2*x + i*x + 22 = 0. Is x a composite number?
False
Let l = 718 + -383. Is l a composite number?
True
Let z(b) = b. Let f be z(2). Let h(t) be the third derivative of 19*t**5/60 + t**4/8 - t**3/2 + 2*t**2. Is h(f) a composite number?
False
Let d(z) = -2 + 6 - 2*z + 5. Let l be (-3)/(6/14) + 0. Is d(l) prime?
True
Suppose 9255 = 5*l + 5*y, -3*y - 3143 - 2386 = -3*l. Is l a prime number?
True
Let v(u) = 15*u - 5. Suppose -4*k - 26 + 2 = 0. Let c be 2/k*(-13 + 1). Is v(c) composite?
True
Let t(y) = y. Let f(d) = -29*d - 1. Let h(b) = -f(b) - 5*t(b). Is h(6) composite?
True
Suppose -2*b - x = -9, 5*x = 3*b - 0*b + 6. Suppose -2*s = 4*g, b*g - 6*s + 2*s = -22. Is g/(-6) - (-148)/6 a prime number?
False
Suppose 286 = 2*u - 1200. Is u prime?
True
Let o = 123 + -68. Let z = -9 + o. Let x = 159 - z. Is x composite?
False
Let q(h) = 35*h**3 + h**2 - 2*h + 1. Let s(j) = -j - 3. Suppose 2*o + 7 = -1. Let y be s(o). Is q(y) a prime number?
False
Let b(t) = 125*t + 7. Let i(s) = 62*s + 3. Let c(p) = 3*b(p) - 7*i(p). Is c(-1) composite?
False
Let y be (1/3 - -3)/(4/(-6)). Let z(x) be the first derivative of 4*x**3/3 + x**2/2 - 6*x + 1. Is z(y) composite?
False
Let y(u) = -3627*u**3 + 5*u**2 + 4*u + 1. Is y(-1) composite?
True
Suppose 50 - 12 = 2*i. Is i prime?
True
Suppose -2*z = 5*b + 30, 2 = 2*b - 2*z - 0*z. Is b/10 - (-801)/15 a composite number?
False
Let p be ((-6)/4)/((-9)/(-732)). Let c = 189 + p. Is c a composite number?
False
Suppose 0 = 4*d + 8, 4*j + d - 16594 = -4*d. Is j composite?
True
Suppose 0 = -3*b - b + 7972. Is b composite?
False
Suppose 700 = 5*v + q, 0 = 4*q - 3*q + 5. Let t = 76 - v. Let s = t - -130. Is s prime?
False
Suppose 0*z + 8 = 4*z. Let c be -1*771/z*-2. Suppose 0*q = -3*q + c. Is q prime?
True
Let o(q) = 3*q**2 + 17*q + 19. Is o(-12) a composite number?
True
Is (-22)/(-165) + (-46766)/(-30) a prime number?
True
Let t(h) = -97*h - 3. Is t(-2) a composite number?
False
Let q(z) = 9*z. Let m(u) = -u. Let j(a) = -4*m(a) - q(a). Let g(o) = -o**3 + 4*o**2 - 2*o + 5. Let f be g(4). Is j(f) a composite number?
True
Let m(t) = t**3 + 2*t**2 - 7*t + 3. Let p(v) = v**3 + 5*v**2 + 4*v + 6. Let q be p(-4). Is m(q) prime?
False
Suppose 0*f = 3*f + 9. Suppose r - 3*r = -14. Let i = r - f. Is i a prime number?
False
Let r = -4 - -7. Let f(j) = 11*j**2 + 2*j - 1. Let h be f(-3). Suppose h = r*v + v. Is v composite?
False
Let u(p) be the first derivative of 48*p**2 + 5*p + 9. Is u(3) a composite number?
False
Suppose -3*i - 4*g = 2*i - 32, i - 4*g + 8 = 0. Suppose 4*c - 3 = 1, -3*f - i*c + 271 = 0. Is f a prime number?
True
Let l be 67/2 - 1/2. Let h = 60 - l. Suppose s - r - 35 = 0, -h = -s + 4*r + 2. Is s prime?
True
Let k = -279 - -550. Is k composite?
False
Let t = -3 - -7. Suppose 0 = -4*o - 12, t*c - 2*o = 48 - 14. Is c prime?
True
Let x(r) = 15*r - 2. Let d be x(8). Let n = -29 + d. Is n prime?
True
Suppose -7*v = -9*v + 82. Suppose -2*t + v = -133. Is t composite?
True
Suppose 12 - 52 = 4*g. Let d be 145/35 + (-1)/7. Is (-48)/(-5) - d/g prime?
False
Let z = -2 - -4. Let s be (9/(-6))/((-1)/z). Suppose s*u - 37 = 2. Is u a prime number?
True
Suppose -3*j + 332 = -202. Is j composite?
True
Suppose -y = y + 18. Is (30/y)/((-2)/123) a composite number?
True
Let f(n) = -2*n**3 - n**2 + 2*n + 1. Let c be f(-2). Let j(g) = 37*g + 4. Is j(c) a prime number?
True
Suppose 11*s = 6*s + 125. Is s a composite number?
True
Suppose -c + 3*j = -j - 139, -j - 285 = -2*c. Is c a composite number?
True
Let w = 39 + -18. Is 6/w - 3491/(-7) prime?
True
Suppose 5*s = -3*i - 1353 + 3529, -5*i = s - 422. Is s composite?
True
Suppose 17 = -3*c - 2*n, 0*n + 2*n = 5*c + 39. Let a(y) = 6 + 8*y**2 + 2 + 7*y + y**3 - 2. Is a(c) composite?
True
Let r = -5 - -5. Suppose c = -4*i - r*i + 2884, -i = 4*c - 721. Is i a prime number?
False
Let u(z) = -z - 4. Suppose 0 = -4*l - 4*d - 28, l - 2*l = -4*d + 2. Let g be u(l). Suppose -2*a = 4*p - 78, 0 = 2*a + g*p - 33 - 43. Is a a composite number?
False
Let z(i) = 2*i**3 - 8*i**2 - 9*i + 2. Is z(11) a prime number?
True
Suppose -4*j = 275 + 357. Let h = j + 407. Suppose 4*k + 4*c = -k + h, 2*c = 2*k - 114. Is k prime?
True
Let g(i) = i**3 + 6*i**2 + 2*i - 3. Suppose 0 = -a + 3*q + 15, -20 = a - 2*a + 4*q. Let y = -4 - a. Is g(y) a prime number?
False
Let c(d) = 44*d**3 + d**2 - d. Let s be c(1). Suppose -2*y - 22 = -y. Let t = y + s. Is t composite?
True
Let l = 2 - 1. Let h(a) = -5*a + 2 + l + a. Is h(-3) a prime number?
False
Suppose 2*d + 10 = 0, 3*o - 2*d = 2*d + 2039. Is o a composite number?
False
Let p(n) = n - n**2 - 2*n**3 + n**3 - 12 + 11*n**2. Let u be p(10). Is ((-1 + -1)*35)/u a prime number?
False
Suppose -5*f - 25 = -5. Let m = -4 - f. Suppose m = -3*o + 2*a - 3*a + 70, -a - 80 = -3*o. Is o a prime number?
False
Suppose 40 + 8 = 4*b. Let g be 9/12 + (-21)/b. Let a = 23 + g. Is a prime?
False
Is (0 - -155) + 4 - 0 compo