. Let f = p + 32. Is f a composite number?
False
Let x be 7/3 + 14/21. Let b be (0 + 0)*1/(-2). Suppose -x*s + 3*l + 36 = b, 3*s + 4*l - 28 = -l. Is s composite?
False
Suppose 2*y + 0*y + 18 = -2*w, 5*y + 9 = 4*w. Let c = -2 - w. Suppose -b + 5*x + 35 = -54, -2*b + 178 = -c*x. Is b composite?
False
Let c = 763 - 369. Is c a prime number?
False
Suppose 6*j = 2*j + 476. Is j a prime number?
False
Let r = 3 + -3. Suppose 2 = -5*x - m, 2*x + r*x + 8 = -4*m. Suppose x = g - 22. Is g composite?
True
Let u(q) be the first derivative of -q**4/4 + 7*q**3/3 - 2*q**2 + 7*q - 3. Is u(5) composite?
False
Let d(m) = -2*m + 9. Let r be d(9). Let o = 31 + r. Is o a composite number?
True
Let g(i) = 2*i**2 - 1 + 15*i**3 - 11*i**3 - 6*i**3 + 2*i. Let b(s) = s**3 + 4*s**2 + 2*s + 6. Let m be b(-4). Is g(m) composite?
False
Suppose 2*d + h = -5 - 0, 0 = 4*d - 2*h - 10. Suppose -3*y - 1 + 0 = 4*z, 3*y + 2*z = 7. Suppose -y*j - 35 + 160 = d. Is j composite?
True
Suppose -5*h + 1255 = -0*h. Is h composite?
False
Let j(y) = -2*y - 4. Let i be j(-3). Suppose -i = -5*t + 28. Let s = 19 + t. Is s composite?
True
Suppose 4*i - 4*g - 4056 = 0, -4*i + 4041 = g - 2*g. Is i a composite number?
False
Let l(a) = a**3 - 6*a**2 + a - 3. Let v be l(6). Suppose -v*r + 5*r - 794 = 0. Is r a prime number?
True
Let g(x) = x**2 - 8*x + 3. Let h be 4/6 - 22/(-3). Let q be g(h). Suppose -2*p - u = -102, 7*p - q*u = 2*p + 277. Is p composite?
False
Suppose -3*c + 0*y + y - 27 = 0, -3*c + 5*y = 39. Let g(s) = s**3 + 11*s**2 - 5*s + 1. Is g(c) a prime number?
True
Let h be 12/(-16)*-4 + -1. Suppose 3*z = -2*g + 987, 0*g = 4*z + h*g - 1316. Is z a prime number?
False
Let c(k) = 3*k**2 + 0*k**2 + 5*k + 0 + 5*k + 6. Is c(-9) a prime number?
False
Suppose 2*z + 7*j - 3*j - 72 = 0, z - 41 = -3*j. Suppose z = 2*u - 24. Is u composite?
True
Let i be ((-5)/2)/5*-4. Let t be (11*3 - 1) + -2. Suppose 2*r + i*k - t = 0, -r + k = r - 15. Is r a composite number?
True
Let i(u) = 2*u**3 + 2*u + 331. Is i(0) composite?
False
Let i = 0 + -4. Let w(l) = l**2 + 4*l + 6. Let r be w(i). Is ((-2)/r)/(1/(-69)) prime?
True
Let h = 14 + -8. Is ((-2)/h)/((-10)/27630) prime?
False
Let q be 1 + 74/(1 - -1). Suppose -5*h = -2*h - 63. Let c = h + q. Is c composite?
False
Suppose 1 - 41 = 4*x. Let z be -2*(-5)/(x/(-3)). Suppose 0 = -z*w + 189 + 78. Is w prime?
True
Suppose 5*c + 20 = 0, 379 = 4*w - c - 529. Is w a prime number?
False
Let k(h) = h - 5. Let s be k(5). Let v be s/6*(-1)/1. Suppose 0*i - 2*i + 94 = v. Is i prime?
True
Let a(c) = -c**3 - c**2 - c + 5. Let i be (2 + (-15)/6)*12. Is a(i) composite?
False
Let s = 8 - 7. Suppose -5*z = k + 19, -2*z + s = 3*k - 7. Is k a prime number?
False
Let b(q) = 10*q - 15. Suppose 3*g - 19 = 5*d + 22, -5*d = -5*g + 65. Suppose -3*a - g + 42 = 0. Is b(a) prime?
False
Let t(n) = 1873*n - 15. Is t(4) a prime number?
True
Let f(v) = -11*v**3 + v. Is f(-1) a composite number?
True
Suppose 4*d = -5*p + 1944, -3*d = 3*p + 502 - 1957. Is d a prime number?
False
Let t(p) = p**2 - 12*p - 11. Let r be t(13). Suppose -5*s = 5*a - 765 - 220, -2*s + 382 = -r*a. Is s a prime number?
False
Let u be (-2)/(-2) - (1 + 1). Is (73 - 2) + (u - 1) a composite number?
True
Suppose 0*m = -2*m + 3*i - 6, 2*m + 4 = 4*i. Is (-124)/(-9) - m/27 a composite number?
True
Let v = 212 - -341. Is v prime?
False
Suppose -4*a = -273 - 123. Suppose a = 2*l - l + p, 5*p - 305 = -3*l. Is l prime?
False
Let k = -35 + -55. Let c = k + 257. Suppose -h + 36 = 4*u - c, -4*u + 4*h = -208. Is u prime?
False
Suppose 0 = 3*b - 305 - 250. Is b a composite number?
True
Suppose 2*n + 22 + 2 = -3*m, -n - 12 = -4*m. Is (-1072)/n + (-2)/6 a prime number?
True
Is ((-1)/1)/((-13)/4849) prime?
True
Let z(a) = -66*a - 17. Is z(-4) a composite number?
True
Let n be (-2)/6 - 62/(-6). Let z = n - 5. Suppose -2*l + 0*l - 5*t = -82, -5*l = z*t - 175. Is l prime?
True
Suppose 0 = n + n - 112. Let z = 79 - n. Is z composite?
False
Suppose -2*c = -0 - 4. Suppose -6 = -c*q - 0*q. Suppose q*r + r + 120 = 4*s, 3*s + 5*r = 114. Is s prime?
False
Suppose -2*s + 0*i + 2*i = -12, -2*i = 3*s - 8. Suppose 2*c = 4*t - 1628, -c + 1209 = s*t - 419. Is t a composite number?
True
Suppose -13*i + 2230 = 735. Is i composite?
True
Is (-1506)/(-9) + 1/(-3) a prime number?
True
Let u be (12/(-20))/((-1)/5). Suppose 217 + u = 4*k. Is k prime?
False
Let h(j) = -19*j + 13. Is h(-6) prime?
True
Let t(w) = 53*w**2 - 3*w - 1. Is t(-2) a composite number?
True
Let k = 700 + -393. Is k prime?
True
Suppose 0*w + 2*w = 358. Is w a composite number?
False
Suppose h - 63 = -2*h. Is 2367/h - 2/(-7) a composite number?
False
Is (451/2)/(15/(-10) - -2) a prime number?
False
Let h(s) = 41*s + 17. Let z(d) = 20*d + 8. Let p(o) = -2*h(o) + 5*z(o). Let u be p(-5). Let r = -7 - u. Is r a composite number?
True
Let j(z) = -5*z - 5. Let s be j(-3). Let d(p) = -p**2 + 11*p + 3. Is d(s) prime?
True
Let i(o) be the first derivative of o**4/4 - o**3 + o**2 - 4*o + 3. Let m be i(3). Suppose m*q - 333 + 75 = 0. Is q composite?
True
Let f = -3 + 3. Let t(s) = -s + 5. Let a be t(f). Suppose 6*q = 2*q - 3*i + 224, -a*i = -5*q + 245. Is q a prime number?
True
Let d(t) = -t**2 + 2*t - 1. Let z = 6 - 5. Let g be d(z). Suppose 195 = 3*y - g*y. Is y composite?
True
Suppose 3*h - 18 = 51. Let v = h + 66. Is v a prime number?
True
Suppose 0 = 3*m - 549 - 168. Is m a composite number?
False
Let l = -4 - -6. Is l/5 + 721/35 a composite number?
True
Suppose -2*z - 4*q + 539 = -9*q, -2*z = 5*q - 589. Let m = z - 137. Is m prime?
False
Let c = 1 + 2. Let y be -2 + (c - 259)/(-1). Is y/(-1)*(-3)/6 composite?
False
Suppose 0 = -7*a + 5*a + 50. Is a prime?
False
Suppose -2*i - 3*y + 189 = -8*y, 3*i + 3*y - 294 = 0. Is i a prime number?
True
Let c be -6*(1 + (-92)/(-6)). Is c/(-3) + (-1)/(-3) composite?
True
Suppose 2*v + 3*z - 6*z = 6, -3*v + 9 = 3*z. Let w(x) = x**2 - x - 1. Let m be w(v). Suppose -q + 3 = m*a - 37, -8 = -2*a - 2*q. Is a a composite number?
True
Let f(u) = -u**2 + 6*u + 5. Let j be f(7). Let v(d) = -3*d**3 + 3*d**2 + 2*d - 1. Is v(j) a prime number?
True
Let w(h) = 1 + 5 - 10 - h**2 - 7*h. Let k be (6*-1)/((-1)/(-1)). Is w(k) a prime number?
True
Suppose -4*t = t. Suppose 4*f - 277 = -d, t*d - 875 = -3*d - f. Is d prime?
True
Let g = -32 - -777. Is g a prime number?
False
Suppose 4*a - 2*k - 4 = 0, -5*k = -6*a + a + 10. Let n be (a + 1)/((-3)/(-15)). Let t(q) = q**2 - 4. Is t(n) prime?
False
Let t(i) = 50*i**2 - 10*i + 2. Let y(o) = -50*o**2 + 9*o - 1. Let k(v) = -4*t(v) - 5*y(v). Let q be k(-4). Is q/5 + (-2)/5 composite?
False
Let f(s) = s**2 - s - 3. Let v be f(-3). Let l = 14 - v. Suppose -2*n + 1010 = 5*h - n, -l*n = 2*h - 427. Is h prime?
False
Suppose 3*p - p = 0. Suppose 5*x - 20 + 5 = p. Suppose 0*j = x*j - 42. Is j a prime number?
False
Is (-7)/(28/(-1068))*1 a prime number?
False
Suppose -5*t - 884 = -9*t. Is t a prime number?
False
Is 185/1 + (0 - 0) composite?
True
Let q(x) = 8*x + 1. Is q(11) composite?
False
Let n(z) = -210*z + 133. Let m(x) = -19*x + 12. Let a(b) = -56*m(b) + 5*n(b). Let h(s) = 15*s - 7. Let j(i) = -6*a(i) + 5*h(i). Is j(-8) a composite number?
False
Let l = 5 + -4. Is (-1)/((-1)/(446 - l)) composite?
True
Suppose -5*k = -h - 967, -964 = -3*k - 2*k + 2*h. Suppose 5*o + k = 979. Is o a composite number?
False
Suppose -8750 = -11*r + 281. Is r composite?
False
Let i(s) = 396*s - 1. Let n be i(3). Let m = n + -840. Is m a composite number?
False
Suppose 4*y - 190 - 94 = 0. Is y prime?
True
Let v = 0 + -1. Let p be (2 - (2 + v)) + 4. Suppose -2*d = 2*r + p - 3, 0 = 5*r - d - 25. Is r composite?
True
Let z(j) = 3*j**2 - 5*j + 2. Let w be z(3). Suppose -s + 4*n + w = 0, -2*s - 5*n = 9 + 2. Let x(h) = 28*h - 3. Is x(s) composite?
False
Is 3/12*-2*-94 a prime number?
True
Is -647*(3 + -3 + -1) composite?
False
Suppose 17 = 4*r + 1. Suppose 6*a - 12 = 2*a. Suppose 0 = 2*g + 5*d - 106, 4*g - 53 = a*g - r*d. Is g composite?
False
Suppose 0 = 3*x - 11 - 1. Suppose -z + 149 = u, -x*u = -3*z + 4*z - 161. Is z composite?
True
Let g(m) = -m**3 + 7*m**2 + 16*m - 3. Is g(7) a composite number?
False
Let v(o) = 676*o**3 + 2*o**2 - o. Is v(1) a composite number?
False
Suppose 9 = 4*u - 11. Suppose 3*j + 4 = -2*c, 3*c - 4*c - u*j = 9. Is 57 + 1 - (c - 0) composite?
Tr