e -6 = -3*c - 0*c. Is c*(267/6 - -1) a composite number?
True
Suppose 2*h + 2*h = -28. Let s(k) = k**3 + 12*k**2 + 4*k + 4. Let m(q) = q**3 + 11*q**2 + 5*q + 4. Let y(r) = 3*m(r) - 2*s(r). Is y(h) composite?
False
Let n be (-18)/4 - (-2)/4. Let a(m) = -3*m**2 + 2*m + 5. Let b(s) = -7*s**2 + 4*s + 11. Let v(u) = -5*a(u) + 2*b(u). Is v(n) composite?
True
Suppose -4*z - z + 175 = 0. Let d = 54 - z. Let h = d - 9. Is h prime?
False
Let t(a) = -a**3 + a**2 - 12*a**2 - 9*a + 5 + 4. Let x be t(-10). Is -34*14*x/4 prime?
False
Suppose -11 - 9 = -5*w. Let i(g) = g**2 + 3. Is i(w) a composite number?
False
Let i(u) = u**3 - 17*u**2 + 47*u + 21. Is i(20) a composite number?
False
Let h(m) = 6*m**2 + 10*m + 9. Suppose 0 = y + 6. Let b be h(y). Suppose 2*v + 3*v - b = 2*i, 0 = -3*v + i + 100. Is v composite?
True
Suppose -5*k + 11666 = -m, -3*m - 6097 = -5*k + 5571. Is k prime?
True
Let d(w) = -w**3 + 2*w**2 + 10*w + 9. Let f be d(-6). Suppose -4*a + 5*u = -459, 3*a - u = a + f. Is a a composite number?
True
Let j be ((-18)/(-15))/((-2)/(-20)). Suppose -4*f + j = -0. Suppose f*p - p - 74 = 0. Is p composite?
False
Let o = -429 - -96. Let t = 565 + o. Suppose -y = 4*p - t, -1 = 3*p - 5*y - 175. Is p a composite number?
True
Suppose -2*s - 3*o + 29 = -1039, -2*s + 2*o = -1088. Suppose -75 = 5*n - s. Let h = n + 94. Is h a composite number?
True
Suppose 0 = -2*u - 2*u + 232. Suppose 18 + u = 4*h. Is h prime?
True
Let j = 64 + -34. Suppose 0 = -3*h + 5*h - j. Is h prime?
False
Let z(i) = 13*i**2 - i + 3. Let b(s) = -7*s**2 - 1. Let k(w) = -11*b(w) - 6*z(w). Let g be k(-5). Is (-15)/20 - g/8 a prime number?
True
Let j(s) = s**3 + 7*s**2 - s - 20. Let i(n) be the first derivative of -2*n**3/3 + 5*n + 4. Let q(o) = 9*i(o) + 2*j(o). Is q(5) prime?
False
Suppose 0 = -2*b + 2*o + 1914, 3*b - 2867 = -o + 2*o. Is b a prime number?
False
Let r = 62 + -19. Suppose -2*h + r = -35. Is h a prime number?
False
Let n(s) be the third derivative of s**6/120 - s**4/12 + 3*s**2. Is n(3) a prime number?
False
Suppose 7 + 3 = 5*v. Suppose 0 = -4*n - 10 - 2, 75 = v*c + n. Is c a prime number?
False
Let l(m) = -14*m - 2. Let w be l(-13). Let s = w + -124. Let f = 87 - s. Is f prime?
True
Is -1 + 1424/4 + 3 composite?
True
Suppose 24546 = 7*o - o. Is o prime?
True
Suppose p - 63 + 14 = 0. Is p prime?
False
Suppose 5*k = -3*h + 9, -k = 2*k + h - 3. Suppose -2*a = -3*x - 42, -x + k*x + 52 = 3*a. Suppose -2*g + a = 3*m - 2*m, -m = 4*g - 38. Is g a prime number?
False
Suppose -5*s = 3 - 28. Suppose 372 = s*f - 53. Is f a composite number?
True
Let k = 4750 - 2119. Is k a composite number?
True
Let a(g) = -6*g + 2. Let z(q) = -7*q + 3. Let m(y) = -6*a(y) + 5*z(y). Let t be m(-3). Suppose -2*f + 87 + 191 = t. Is f a composite number?
False
Suppose -2*a + 5*f = -76, -5*f + 2 + 6 = a. Suppose y + 9 = -4*n + 1, 4*n + 12 = -2*y. Is (a/6)/(y/(-6)) prime?
True
Let q(o) = -33*o - 5. Let c = -5 + 1. Is q(c) a prime number?
True
Let v = -1 + 3. Suppose 0 = -v*u + 3*u - 2. Suppose 0 = -u*b - 3*b + 170. Is b a prime number?
False
Is (7 + -2 - 6)/(2/(-614)) composite?
False
Let g(n) = -2*n**3 + 5*n**2 + 5*n - 2. Let s(j) = 2*j**3 - 5*j**2 - 5*j + 3. Let d(t) = 4*g(t) + 3*s(t). Let m be d(5). Is (-1)/3*m/3 prime?
True
Let g be 6/3 + -5 + 1742. Suppose 229 = 4*m - g. Suppose 7*j + 271 = k + 3*j, -2*k + m = 2*j. Is k a composite number?
False
Let k(n) = 132*n**2 - 3*n - 1. Is k(-1) a composite number?
True
Let u(q) = -38*q - 14. Let k be u(-8). Suppose -3*p - k = -8*p. Is p prime?
False
Let v(i) be the first derivative of -i**2/2 - 9*i - 1. Let h be v(-8). Is h/(-4) - (-390)/8 a prime number?
False
Let g(x) = -2*x**2 + 2 - x**2 - 8 + 6*x**2 + 8*x. Let p be g(-6). Suppose 5*a = 3*b - p, 0 = -b + a + 2*a + 22. Is b a prime number?
True
Let p(m) = 3 - 4*m + 0*m + 3*m. Let s be p(5). Let r = 13 - s. Is r a prime number?
False
Let a be -1 + (-3)/(-2 + -1). Suppose 3 = p - a*p. Is p a prime number?
True
Let j(k) = k**3 - 6*k**2 + 3*k - 1. Is j(7) a prime number?
False
Let j = 2 + -1. Let z(w) = 88*w**3 + w**2. Is z(j) prime?
True
Suppose -4*z = -4*l + l + 66, -3*l + 84 = 2*z. Let r = l - -1. Let d = r - -24. Is d a composite number?
True
Let b(w) = w**3 - 6*w**2 - 1. Let a be b(6). Let p be 2*4*1*a. Is 4/p + (-214)/(-4) a prime number?
True
Is (-2 + 1)/(2/(-18)) - 2 composite?
False
Let z(h) = -h**3 - 11*h**2 - 10*h - 13. Is z(-20) composite?
True
Let u(o) = -2*o**2 + 3*o + 14. Let x be u(8). Let z = -53 - x. Is z prime?
True
Let y = -5 - -39. Let f = 40 + y. Is f a composite number?
True
Suppose 2*g + 9 = -g. Let m = -137 + g. Let x = m - -231. Is x composite?
True
Suppose 5*s - s - 23884 = 0. Is s a composite number?
True
Suppose -4*o - 3*r + 1141 = 0, 4*o - 4*r = o + 887. Is o composite?
True
Suppose 0 = a + a - 4. Suppose 3*m - a = -5*i + 17, 0 = -3*i - 3*m + 15. Is 2485/13 + i/(-13) a composite number?
False
Let c(d) = -d**2 + d + 7. Let j be c(-5). Let u be 2/(1/(6*2)). Let h = u - j. Is h a prime number?
True
Is 596/6*3/2 composite?
False
Is (555/(-60))/(2/(-88)) a prime number?
False
Let u be (-1116)/4*1*-3. Let a = u + -363. Suppose 4*r + 86 = a. Is r composite?
False
Let s be (-2)/((-73)/24 - -3). Let v(t) = s*t**2 + t + 0*t + 70*t**2. Is v(1) a prime number?
False
Suppose 3*b + 0*y - 37 = -4*y, 0 = 4*b - 2*y - 86. Suppose 0*c + b = c. Is c a composite number?
False
Suppose 5*s + 2*z - 52 = 18, -2*s + 5*z = -57. Is s/(-20)*(-410)/4 prime?
False
Let t(f) = -2*f + 12. Let v be t(6). Let c = 2 - -1. Suppose 3*d - 318 = -d - 5*w, v = -3*d + c*w + 225. Is d composite?
True
Suppose -1 - 3 = -l. Suppose 2*b = 3*b - w - 53, l*b - 5*w = 208. Is b a prime number?
False
Suppose 5*s = 5*m + 15, 3*s - 2*m + m = 15. Let p = s + -4. Suppose -p*b + 3*z + 40 + 0 = 0, 5*z + 105 = 5*b. Is b a composite number?
False
Let f be (-5 + 3 - -2)/1. Suppose 348 = -f*h + 4*h. Is h a prime number?
False
Suppose -2*f + 737 = -5*a, -3*a + 772 = 2*f - a. Is f prime?
False
Suppose 3*n + 14163 = 4*z, -3662 = -3*z + 4*n + 6955. Is z prime?
False
Is -3 + 10/3 + 29230/15 prime?
True
Suppose 0*w + 4*w - 636 = 0. Suppose 2*m = q - 59, 3*q + 4*m = m + w. Is q composite?
True
Suppose -2*y - 2*o = o - 370, 2*o + 8 = 0. Is y composite?
False
Is 2147 + -2 - (1 + -3) a composite number?
True
Let r(t) = -t**3 - 16*t**2 + 11*t - 3. Is r(-18) a composite number?
True
Is (-2 - -6) + 144 + -3 composite?
True
Let v = 332 + 45. Is v a prime number?
False
Let j(w) = w**2 + 6*w + 7. Let g be j(-6). Is 1*253 - (9 - g) a prime number?
True
Suppose -3*d - 82 = 4*m, 3*d = 4*m - 17 + 87. Let g = 242 + m. Is g composite?
False
Let c = -62 - -131. Suppose -c + 649 = 4*s. Is s composite?
True
Suppose -4*z + 937 - 264 = 5*a, -187 = -z - 5*a. Let c = 41 - 126. Let l = z + c. Is l prime?
False
Suppose 3*q + 2*b + 69 = 4*q, 2*q + 2*b - 150 = 0. Suppose 0 = -2*i - m + 105, -3*i + q = 3*m - 77. Is i composite?
True
Let x(d) = d**2 - 6*d - 9. Let r be x(7). Let l(j) = -12*j + 2. Let w be l(r). Let c = w + 11. Is c a prime number?
True
Is -2*(-6)/(-3) + (1 - -70) composite?
False
Let i = 67 - 9. Is i a prime number?
False
Let n(w) = 4*w**2 - 9*w + 7. Suppose 3 = m - 5. Is n(m) a prime number?
True
Let q be (2 + 1 - 1) + 0. Is (-19)/(-2)*1*q prime?
True
Let o = 21 + 14. Suppose 0*a - 15 = 2*a + v, 3*v - o = 2*a. Let i(r) = -13*r - 15. Is i(a) a prime number?
False
Let h(z) = -399*z - 11. Is h(-2) composite?
False
Let x be 0/(-1) - (-36 - -1). Let c = x + -9. Is c composite?
True
Let w(x) = 47*x - 4 + 3 + 5*x + 8*x. Let n(j) = -j**2 + 8*j - 9. Let y be n(6). Is w(y) composite?
False
Suppose -2*p + 3*b - 9 = 0, -12 = 2*p - 4*b + 2. Suppose 0 = 3*f - 0*f. Suppose p*r - 4*r + 131 = f. Is r a prime number?
True
Let k = -1298 + 1911. Is k a prime number?
True
Let i be (6/2 + -4)*-2. Suppose 4*h + i*r = 2*h + 100, -h - 4*r + 41 = 0. Is h prime?
True
Let g be (1 + 22*1)*1. Let q = g + -4. Is q composite?
False
Suppose -3*h = -2*h. Suppose -n - 4*g = 8, -4*n + 3*g + h = 32. Is n/(-6)*3/2 prime?
True
Suppose 5*f = 9*f - 3596. Is f prime?
False
Let n be 1076/18 + (-4)/(-18). Suppose -n = -2*y + y. Suppose -y = -2*i - 2*i. Is i a composite number?
True
Let k = 115 - -16. Let j = -1 - -6. Suppose -g = -4, g = 5*p + j*g - k. Is p a composite number?
False
Let n be (0 - -2) + 0/(