Suppose 0 = -m + 4*m - 291. Let v = m + z. Is v composite?
True
Let t(q) = 58*q**2 + 3*q + 2. Is t(3) prime?
False
Suppose 4*x + 5*m - 40 + 0 = 0, 0 = 3*x - 3*m - 3. Suppose 18 = -5*o + x*a - a, -3*o = 3*a. Is (44 - (-5 - o)) + -1 a prime number?
False
Let r(z) = 21*z**2 - z + 1. Let h be r(3). Suppose 3*f - 5*a = h, 0*a + 12 = 3*a. Is f composite?
True
Let c(h) = -h**3 - 20*h**2 - 24*h - 26. Is c(-21) composite?
False
Let c(w) = 95*w**3 - 2*w**2 + 2*w - 1. Let v be c(1). Suppose 3*g - v = g. Is g composite?
False
Let g = 29 - 15. Let y be (-66)/(-14) - (-4)/g. Suppose y*n - 385 = -0*n. Is n prime?
False
Let c(n) = n**3 + 15*n**2 + 13*n + 15. Let r be c(-13). Suppose -w + 2 = -0*w + z, 0 = 3*w - 3*z + 6. Suppose w = -3*x - x + r. Is x a composite number?
True
Let d = 0 - 5. Is -62*(d/2)/5 a prime number?
True
Suppose -3*r + 253 = 4*q, 2*r = -5*q + 266 + 59. Is q prime?
True
Suppose 5*m + 2*y = -y + 2798, 4*m + 5*y = 2241. Suppose -v = 3*f + 2*v - 348, 0 = 5*f - 2*v - m. Is f a prime number?
True
Is (-66)/24*84/(-3) composite?
True
Let k be (0 - -3) + (-1 - 1). Suppose -n = 2*h, 3*h - 6 = -2*n - 3. Is n - (0 - k - 0) a composite number?
False
Suppose -g = -0*g. Suppose -4*n = -g*n - 308. Is n a prime number?
False
Suppose 3*w + 11 = 4*l - 1, 15 = -4*w + 5*l. Suppose w = m - c - 263, -5*m + 1123 = 5*c - 212. Suppose 0 = -4*v - v + m. Is v prime?
True
Suppose -5*z = 3*t - 6*t + 776, -5*z + 272 = t. Let o be (-9063)/(-6)*(-6)/(-9). Suppose -t + o = 5*k. Is k prime?
True
Let p be (3/(-2))/((-6)/8). Suppose -5*c - 3*v + 722 = 0, -c + 223 = -p*v + 76. Is c a composite number?
True
Let s(m) = -34*m**3 - 4*m**2 - 4*m - 1. Let u be s(-3). Let h = -1529 + u. Is (4/6)/((-8)/h) a prime number?
True
Suppose -3*z = -2*s - z - 4, 0 = 4*s + z - 12. Suppose 4*g - 84 = s*g. Suppose 2*n - g = -0. Is n composite?
True
Let i(p) = p - 5. Let h be i(5). Suppose -5*s - 31 = -3*k - h*s, -3*k = 4*s - 13. Is k composite?
False
Let k(a) = 2*a**2 - 6*a - 7. Let l be k(11). Let m = 266 - l. Is m prime?
True
Is ((-68)/(-6))/((-16)/(-168)) prime?
False
Let p(d) = 32*d - 1. Is p(1) prime?
True
Let h(g) = -g**3 + 9*g**2 - 5*g - 11. Is h(8) composite?
False
Let l be 5616/14 + (-1)/7. Suppose -2*u - 31 = -l. Is u a prime number?
False
Let v be 612*6/4 - 3. Suppose 2*c = -c + v. Is c a composite number?
True
Let y(a) = 33*a**2 + 2*a + 2. Let b be y(-2). Let f(x) = -x**3 - x**2 + 4. Let j be f(0). Suppose 0 = 2*c + t - 115, 0*c - j*t = 2*c - b. Is c composite?
True
Suppose 6*p + 5 = 7*p. Suppose p*v - 400 = i, -i = -4*v + 4*i + 341. Is v prime?
True
Let p(w) = -w + 2. Let n be p(-3). Suppose 4*y = n*y - 33. Is y a composite number?
True
Suppose -3*a + 8286 = 3*a. Is a composite?
False
Let h be 6 + (-1*6 - -3). Let f = 2 + h. Suppose 5*v - 388 = 3*m, -130 = -4*v + f*m + 183. Is v prime?
False
Let o = 21 + -44. Let q = -249 + 441. Let p = q + o. Is p a prime number?
False
Suppose -t - t = 2*b - 28, 5*t = -3*b + 52. Let n(v) = -v**3 + 12*v**2 - 11*v + 5. Is n(b) prime?
True
Suppose t = 1 + 11. Suppose -3*q - 2*v + 5 = -2, t = 3*q - 3*v. Suppose 4*f - 19 = -0*i - i, -2*i = -q*f - 27. Is i a prime number?
False
Suppose 0 = -8*q + 3*q - 4*c + 76, -4*q + 56 = 2*c. Is 16/(-6)*(-27)/q composite?
True
Let f = -262 + 447. Let z = -58 + f. Is z a prime number?
True
Let v = 484 + -91. Is v prime?
False
Let q = 847 - -196. Is q a prime number?
False
Suppose -4845 = -5*i + 5*w, -5*w + 2*w = 4*i - 3911. Is i a composite number?
True
Let j(d) = d**3 + 8*d**2 - 6. Suppose 0*i + i = -8. Let a be j(i). Is a/27 - (-76)/18 composite?
True
Let q be -29*2*(0 - 3). Suppose -538 - q = -4*p. Is p a composite number?
True
Suppose 0 = -5*p + 1767 - 82. Let c = p + 426. Is c a composite number?
True
Is 3/9 + (-914)/(-3) prime?
False
Suppose -1030 = -m + 2803. Is m a composite number?
False
Let s(d) = 4*d - 4. Let j(v) = 5*v - 5. Let n(c) = -3*j(c) + 4*s(c). Let z be n(4). Suppose z*m + 41 + 24 = y, -y - 3*m = -77. Is y composite?
False
Suppose -n + 436 = 3*n. Is n prime?
True
Is (-4)/((-32)/(-220))*-2 a prime number?
False
Let c(u) = u**2 + 7*u + 7. Let h = 15 + -5. Is c(h) prime?
False
Let y(s) = 4*s**2 - 5*s + 3. Let b(z) be the first derivative of z**3/3 + 3*z**2 + 2*z - 4. Let n be b(-4). Is y(n) composite?
True
Suppose -x + 13 = -2*q, 3*q = 6*q + 15. Is ((-22)/(-4))/(x/66) a composite number?
True
Suppose 2*z = 101 + 5. Is z a prime number?
True
Suppose 0*l - t = -5*l - 19, -2*l = t + 9. Is l + 1*(91 - 4) a composite number?
False
Let r(y) be the third derivative of -y**5/24 - 3*y**4/8 + y**3/3 + 3*y**2. Let x(t) be the first derivative of r(t). Is x(-6) a prime number?
False
Let m(r) = 5*r**2 + 4*r - 1. Let g be m(-4). Let b be (1/(-1) - -11)/2. Suppose -b*f = -2*f - g. Is f a prime number?
False
Let a = 188 + -455. Is ((-8)/(-12))/((-2)/a) composite?
False
Let t(i) = 34*i - 5. Let l(w) = -w**3 - 9*w**2 - w + 1. Let j be l(-9). Is t(j) a prime number?
False
Let g(h) = -5*h**3 - 10*h**2 - 8*h - 7. Is g(-6) a prime number?
True
Suppose -108*d + 112*d = 820. Is d prime?
False
Let v = -16 + 21. Let a(g) = 46*g - 9. Is a(v) a composite number?
True
Suppose -4*v + 3*v + 5 = 0. Suppose -52 = -v*k + 3*k. Is k composite?
True
Let r(j) be the first derivative of 2/3*j**3 + 3*j**2 - j - 3. Is r(-8) prime?
True
Let j(v) = 8*v - 35. Is j(15) a prime number?
False
Let i(b) = 49*b - 5. Is i(10) composite?
True
Suppose 3*x = -3*r - 2*r + 2764, -4*r = 5*x - 2219. Let z = r - -248. Is z composite?
True
Let k be 127 - 2*(-1 + 0). Suppose k = 3*b - 4*c, 5*b - 238 = 5*c - 18. Is b a prime number?
True
Let s = 193 - 429. Is 3/(232/s - -1) a composite number?
True
Let h(y) = 8*y**2 + 8*y - 5. Is h(-6) a prime number?
False
Suppose 0 = -3*i + i - 16. Let z(w) = w**3 - 13*w**2 - 16*w + 16. Let f be z(14). Let o = i - f. Is o prime?
False
Suppose 564 = 4*i + 2*k, -2*i + 5*k + 258 = -0*i. Let y be 2 - 1 - 1*-3. Suppose 0*p + i = 2*c - p, -315 = -5*c - y*p. Is c composite?
False
Let s = 0 + 5. Suppose 0 = -s*x + x + 28. Is x a composite number?
False
Suppose -53 = 10*p - 11*p. Is p a composite number?
False
Let s be (-2216)/(-6) - (-1)/(-3). Suppose s = -y + 4*y. Is y a composite number?
True
Let c be (-8)/4 - 18/(-3). Is ((-3)/1)/(c/(-116)) composite?
True
Suppose 0 = -s + 5 - 0. Suppose 3*r + 15 = 0, -3*p + 195 = -s*r - 385. Is p a prime number?
False
Suppose 0 = p - 0*p + 4. Is ((-894)/12)/(2/p) a composite number?
False
Let x = 2116 + -1131. Is x prime?
False
Let i(u) = 4*u**2 + 4*u + 7. Is i(-6) prime?
True
Let o = 10 + -3. Let w(y) = 8*y**2 - 7*y - 9. Let i(f) = 7*f**2 - 6*f - 8. Let v(k) = 7*i(k) - 6*w(k). Is v(o) composite?
False
Let j(l) = -l**3 - 7*l**2 - 6*l - 7. Suppose d = -2*d - 21. Is j(d) a composite number?
True
Suppose -4*g + 2*k + 362 = 0, -185 = -3*g + 3*k + 88. Suppose -a + 84 + g = 5*u, -u = 2*a - 33. Is u a composite number?
True
Suppose -2*r - 13 = 13. Let m = r - -23. Suppose -67 = -p + m. Is p a composite number?
True
Suppose -4*w = -2*w. Suppose -3*v = -4*y + 653, w = 4*y - 5*v + 335 - 994. Is y a prime number?
False
Suppose 4*t = -2*f + 3*t - 48, 0 = -2*f + 4*t - 48. Let z be (-591)/(-4) - 6/f. Suppose z = -0*s + 4*s. Is s prime?
True
Suppose -1 = -k + 2. Let h be (k + (0 - 2))*0. Suppose 0 = -l - 2*c + 47, 121 = 3*l - h*c + 2*c. Is l a composite number?
False
Let h(f) = 656*f + 27. Is h(5) prime?
True
Let w(k) = -k**2 + 5*k - 4. Let a be (-2)/(-1) - (1 - 2). Let z be w(a). Suppose z*u + u + 109 = 4*n, -5*u = -n + 6. Is n a prime number?
True
Let u(y) = -y**2 - 2*y + 3. Let g be u(-3). Let p = -2 + g. Is 152/(-4)*p/4 prime?
True
Suppose -3*g + 6195 = 234. Is g a prime number?
True
Let d = -9 + 5. Let n = -5 - d. Let g(b) = -21*b**3 - b - 1. Is g(n) a composite number?
True
Is (-30)/24 - (-6481)/4 a prime number?
True
Suppose -12 = -3*h - 4*f, -4*h - 5*f = -0*f - 15. Let z be (-2 - -1)*(h + -2). Suppose -z*g + 170 = -b - b, -5*b - 259 = -3*g. Is g a prime number?
True
Let y be ((-14)/(-4))/((-5)/10). Is (161/2)/y*-10 composite?
True
Suppose -6*q + 4*q = -76. Let b = q - 187. Let w = 244 + b. Is w composite?
True
Let l = 7 - 143. Let s be (-6)/(-4)*l/(-3). Suppose -4*w = -2*m - 302, w + 0*w - 3*m = s. Is w prime?
False
Suppose -q - 1 = -3. Let p = q + 0. Is (0 + 1)/(p/106) a prime number?
True
Suppose 