 - 5*m = -m - 8, 20 = a*b - m. Suppose -7 = -4*l - v, -b*l + l = -3*v - 9. Is l composite?
False
Let n = -43 + 200. Suppose -t + 0*t = -n. Is t a composite number?
False
Suppose -4 - 16 = -4*o. Suppose -o*p = -3*p - 66. Is p a composite number?
True
Let g(q) = -q**3 - 8*q**2 + 13*q - 17. Is g(-10) a prime number?
True
Is (7/(-2))/(1/(-134)) prime?
False
Suppose 0 = -3*g - 7 + 16. Let v(u) = u**3 - 3*u**2 + u + 4. Let b be v(g). Let o(z) = -z**2 + 9*z - 7. Is o(b) prime?
True
Let g(k) = -k + 1. Let x be g(-4). Suppose -x*o + 92 = 5*a - a, 3*a + 4*o = 69. Is a composite?
False
Suppose 2*i - u - 414 = -0*i, 647 = 3*i + 5*u. Is i composite?
True
Let q(r) = -r - 1. Let p(l) = l - 9. Let j(o) = -p(o) + 4*q(o). Is j(-4) a prime number?
False
Suppose y = 4*i + i - 24, -3*i + 16 = y. Suppose -i*k = -2*a + 153, -a + 35 + 45 = k. Is a prime?
True
Let p(i) = -2*i**3 + 2*i**2 - 4*i - 2. Let g(h) = -h**2. Let k(z) = 5*g(z) + p(z). Suppose u + 1 = 4*u + 2*q, -10 = -5*u - 5*q. Is k(u) prime?
True
Let i = 211 - -87. Suppose r + i = 3*r. Is r composite?
False
Let q be 1 + 3*(-4)/(-6). Let u(i) = i**3 + 3*i**2 - i + 2. Let p be u(-3). Suppose q*w = p*w - 74. Is w a composite number?
False
Suppose 0 = 25*f - 20*f - 1025. Is f prime?
False
Suppose -5*s = q - 23, s = -3*q + 18 - 5. Is (-47)/(-3 + 8/q) composite?
True
Suppose u - 255 = -2*q, -2*q + 17 - 1340 = -5*u. Is u prime?
True
Suppose -4*y + 165 = -u + 46, -88 = -3*y + 2*u. Suppose 2*r + 0*r - y = 0. Is r composite?
True
Let u(q) be the first derivative of -q**4/2 - 2*q**3/3 - q**2/2 + 2*q - 2. Let s be u(-2). Let d = s + -2. Is d a prime number?
False
Suppose 2*t - 7 - 3 = 0. Suppose -4*n - t*z - 38 = -205, 5*z = 2*n - 91. Is n prime?
True
Let o be 164/1*(-1)/2. Let p = o + 223. Suppose -p = -0*s - 3*s. Is s a prime number?
True
Suppose 2*u = 5*b + 5, 5*u - 3*b - 2 - 1 = 0. Suppose -4*i - 48 + 272 = u. Suppose -s = -i + 3. Is s a prime number?
True
Let b(r) = r**3 - 4*r**2 - 2*r + 4. Let z be b(4). Let f(i) = 7*i**2 + 12*i + 9. Let n(o) = 8*o**2 + 13*o + 10. Let u(y) = z*n(y) + 5*f(y). Is u(-6) prime?
False
Let s(q) = -q. Let u(i) = -12*i + 1. Let z(p) = -2*s(p) + u(p). Is z(-1) prime?
True
Suppose -25 - 103 = -4*x. Let v = x + -6. Is v a composite number?
True
Suppose 0 = -5*s + 2*s. Let u be (-5 + 5)/(0 + -1). Suppose u = 2*o - s*o - 66. Is o a prime number?
False
Let j = -1 + 5. Suppose 3*a = -w + 91, 0 = j*w - 5*a + 30 - 360. Is w prime?
False
Let n = 194 + -67. Is n composite?
False
Suppose -2*n - r + 12 = -0*r, n - 4*r = 6. Suppose n*b = 2*b + 52. Suppose 0 = -3*y + 130 - b. Is y prime?
False
Let i(d) = d**3 + 6*d**2 - 2*d + 6. Let j = 11 + -17. Let y be i(j). Suppose 5*v - 47 = y. Is v prime?
True
Let o = 180 + -68. Let k = -65 + o. Let d = -34 + k. Is d prime?
True
Suppose -q + 105 = 4*u + 2*q, -113 = -4*u + 5*q. Let k = -4 + 11. Suppose 2*i = -k + u. Is i a composite number?
True
Let m(i) be the third derivative of 31*i**4/12 + i**3/6 + 4*i**2. Is m(3) prime?
False
Suppose 1699 = 3*m - 1430. Is m a composite number?
True
Let b(v) be the first derivative of 10*v**3/3 + 3*v**2/2 - 2*v - 1. Let w be ((-6)/(-4))/(4/8). Is b(w) a prime number?
True
Suppose 5*f = -2*j + 5*j + 28, 0 = 4*f - 5*j - 25. Suppose -f*g + 1620 - 515 = 0. Is g composite?
True
Suppose 132 = -q + 4*q. Suppose -3*f + 11 = 2. Suppose 73 = 2*c + v - 2*v, f*v + q = c. Is c prime?
False
Let u = 85 + -1065. Let v = -439 - u. Is v composite?
False
Let g be 1 + 4 + (5 - 2). Is 0 - -48 - (g + -6) a prime number?
False
Let x(u) = 415*u + 2. Let b(a) = -623*a - 3. Let p(z) = -5*b(z) - 7*x(z). Is p(1) a prime number?
True
Let k = 373 + 226. Is k a prime number?
True
Let u(b) = -278*b - 109. Is u(-9) a composite number?
False
Let z be 5*(2 + 54/(-15)). Let u = z + 11. Is 7/((-5)/u + 2) prime?
False
Is ((-118)/(-8))/(3/60) composite?
True
Let m = 11 + -9. Is ((-418)/4)/((-1)/m) a prime number?
False
Suppose 0 = -2*a - 2*a - 28. Is 4/4 + (-1 - a) composite?
False
Suppose -5*v - v + 138 = 0. Suppose u = -v + 74. Is u composite?
True
Suppose 5*r - 4 = -5*v + 11, 3 = v + 5*r. Suppose v*o + o - 1004 = 0. Is o composite?
False
Suppose 2*v = -0 + 10. Let o be -52 + (v - 3)/(-1). Let x = -31 - o. Is x a composite number?
False
Let j(x) = -x**2 + 4*x + 10. Let k be j(7). Let l(z) = z**2 + z - 13. Is l(k) composite?
False
Is (42/(-9) - -1)*21/(-1) a prime number?
False
Let r(z) = 123*z**2 - z - 1. Let w = 1 + -2. Is r(w) a composite number?
True
Let k(f) = -f - 1. Let t be k(-5). Suppose 0*d = -t*d + 56. Is d composite?
True
Let v = -83 + 117. Is v composite?
True
Let b = -49 + 95. Suppose -c + 1 + b = 0. Let u = 126 - c. Is u prime?
True
Let m(x) = -x**3 + 6*x**2 - x - 1. Let t be m(6). Is 326/10*(-2 - t) composite?
False
Let g(u) be the third derivative of 4/3*u**4 + 2*u**2 + 0 - 1/6*u**3 + 0*u. Is g(3) composite?
True
Let x(h) = 34*h + 1. Is x(12) a prime number?
True
Let f(v) = v**2 + 5*v + 6 + 7*v + 0*v**2. Let g be f(9). Suppose -4*s - g = -5*a, 0 = a - 3*a - 5*s + 78. Is a a composite number?
True
Let m(a) = -636*a + 5. Is m(-1) composite?
False
Let u(i) = 9*i**2 - 3*i + 13. Let t(k) = -5*k**2 + k - 7. Let j(a) = -7*t(a) - 4*u(a). Let s be j(3). Let p(g) = g - 1. Is p(s) a composite number?
False
Let y be (-2)/(-2) + 1 + 7. Let q(j) be the third derivative of j**5/60 - j**4/8 - 11*j**3/6 + j**2. Is q(y) a composite number?
False
Suppose 106 = 4*p - 6*p. Let z = p + 74. Is z/4*8/2 composite?
True
Let d(c) = 2*c**2 + 4*c + 5. Suppose 5 = -2*f - 3. Let l be d(f). Is (-6)/l - (-247)/7 prime?
False
Is 6*(1918/20 - (-18)/(-45)) composite?
True
Let j be -2 - (0 - 591)/3. Suppose -2*y - j = -7*y. Is y a composite number?
True
Suppose 3*t + 6 = -2*s + t, 2 = 4*s - 3*t. Is s/((-2)/(-2 + 160)) a prime number?
True
Suppose 6*n + 393 - 8301 = 0. Is n a prime number?
False
Let g(w) be the third derivative of -1/4*w**4 + 1/30*w**5 + 0 - 2*w**2 + 1/6*w**3 + 0*w. Is g(4) a composite number?
True
Suppose i + 1324 = 5*i. Is i composite?
False
Let o = 2981 - -246. Is o a composite number?
True
Suppose d + 12 = 4*n, -3*d + 12 = -6*d. Suppose -5*a + n*a + 255 = 0. Is a a prime number?
False
Let b be (-1382)/14 + (-2)/7. Let s = 193 + b. Suppose -s - 21 = -5*l. Is l a prime number?
True
Let c be (14/(-4))/(1/(-22)). Let z = c - 46. Is z a prime number?
True
Let w(z) = 5*z**2 + 2*z + 5. Let f be (-2)/(-4) + 36/(-8). Is w(f) prime?
False
Is 2*(495/6 - 3) a prime number?
False
Suppose -a = a - 6. Suppose -5*t + 80 = -a*w, 3*t - 21 = t - w. Is t prime?
True
Suppose 10*c = -5*c + 39135. Is c composite?
False
Let h(l) = -l**2 - 8*l - 4. Let u(j) = -j**2 - 7. Let d be u(0). Let y = -12 - d. Is h(y) a prime number?
True
Let n = 3697 + 2182. Is n composite?
False
Is (-52)/2*92/(-8) prime?
False
Let l(f) = 8*f - 3. Let u(a) = -a + a**2 + 2*a**2 - 2*a**2. Let t be u(2). Is l(t) a composite number?
False
Let i(n) be the second derivative of -3*n**5/4 + n**4/12 - n**3/3 - n**2/2 + 4*n. Is i(-2) prime?
True
Let j(l) = 7*l**2 + 21*l + 6. Let v(u) = 4*u**2 + 10*u + 3. Let k(s) = -6*j(s) + 13*v(s). Suppose -4*i = p + 3 + 3, 5 = -5*p + 5*i. Is k(p) composite?
True
Suppose 5*p - 51 = u, -3*p = -0*u + 5*u - 25. Is (58/(-4))/((-1)/p) a composite number?
True
Suppose -4*d + 2319 = -1925. Is d prime?
True
Suppose -n - 3 = -4*n. Suppose -2*l + 3 = -n. Is l a prime number?
True
Let u(d) = -d**2 - 8*d + 2. Let v be u(-8). Let f(y) = y**3 - y**2 + y - 2. Let c be f(v). Suppose 2*s + 498 = 4*n - 3*s, -c*s + 8 = 0. Is n prime?
True
Let s(h) = 160*h - 4. Suppose 0 - 12 = -3*y. Let d be s(y). Let j = d - 425. Is j a composite number?
False
Let z = 7027 + -882. Is z a composite number?
True
Suppose 4*n - 1257 = 39. Suppose -4*y + n = -2*y. Is y + (-2 - (0 - 1)) prime?
False
Suppose m - g - 69 = 0, m = -4*m + 4*g + 346. Let d = m - -41. Let q = d + -24. Is q a composite number?
True
Let k be (16/(-8))/((-2)/10). Let n(g) = 3*g + k*g - 5*g - 3. Is n(7) composite?
False
Let f = -3533 - -8968. Is f a composite number?
True
Is (-2)/(-2)*-337*-1 prime?
True
Suppose -v + 4*j - 59 = 4*v, 4*j - 37 = 3*v. Let m = -8 - v. Suppose -2*n = -7*n + m*t + 177, -4 = t. Is n a prime number?
False
Let o(s) = 6*s**2 + 2*s + 3. Let d(b) = 6*b**3 + 2*b**2 + 2*b + 1. Let k be d(-1). Let u = -7 - k. Is o(u) composite?
False