 18, -3*y + 5*w = y - 44. Let c(m) = y*m + 4*m - 4*m + 3*m + 7 + 7*m**2. Is c(-6) a composite number?
True
Suppose -x + 2*t = 7*t - 6212, 4*x - 24776 = 4*t. Is x composite?
False
Let i(t) = 2*t**2 - 8*t - 7. Let v(h) = h**2 + h - 5. Suppose -5*s + 5 = -a, 4 = -3*a + s + 3. Let g be v(a). Is i(g) prime?
True
Is -3*(-716)/(-8)*(-38)/3 a prime number?
False
Suppose -4*x = u - 2232, -x + 3*u = 2*u - 553. Is x a prime number?
True
Let t(y) = 4*y**2 + 7*y - 2. Let l be t(-5). Let n be 2/(-8) - l/(-12). Suppose n*p + 190 = 3*g + 2*g, -4*g + 137 = -p. Is g prime?
False
Let k = -1133 - -1864. Is k prime?
False
Let f(j) = -33*j**3 - 2*j**2 + 1. Is f(-2) a prime number?
True
Suppose 4*t = 2*p - 34, -2*t - 3*t - 46 = p. Is (1 - -54)*(-8 - t) a composite number?
True
Let z(g) = 33*g - 1. Let h = 11 - 7. Suppose -h = 4*x - 12. Is z(x) a prime number?
False
Let j = -150 + 1316. Let l = j - 697. Is l composite?
True
Suppose 2*v = 4701 + 1061. Is v a prime number?
False
Suppose -m - 3*m + 4865 = 3*o, 15 = 5*o. Is m composite?
True
Suppose -3*t - 8 = 10. Let y(q) = -2*q**3 - q**2 + 6*q + 5. Let w be y(t). Suppose -2*x - s + w = 2*x, 3*x + 5*s = 278. Is x composite?
True
Let x(s) = 343*s + 89. Is x(26) prime?
True
Let i = 4 - 3. Let z(l) = -103*l - 5. Let d(x) = -51*x - 2. Let h(y) = -7*d(y) + 3*z(y). Is h(i) a prime number?
True
Let t be (-230)/(-18) + (-10)/(-45). Suppose -15 - t = -2*u. Is u composite?
True
Let q = 41 + -10. Is q a composite number?
False
Let q = -4 + 7. Suppose 25 + 14 = q*c. Is c prime?
True
Suppose 0 = q - 4*t - 14, 3*t = -2*q - t + 4. Let o be 2/(-12) + 457/q. Let u = -39 + o. Is u prime?
True
Let d(c) = 14*c**2 + c - 4. Is d(-3) a composite number?
True
Let m = 864 - 467. Is m composite?
False
Suppose -o + 2*q + 11 = 0, 0 = -4*o - 3*q + 4*q + 23. Suppose -o*b + 2*n = -0*n - 645, -3*b + 4*n = -401. Is b composite?
False
Suppose 3*c = -12, 0 = 2*i + c - 342 - 300. Let t = -228 + i. Is t a composite number?
True
Is 3/18 - 6107/(-6) composite?
True
Is 307 + -2 + 0 + (-4)/(-2) prime?
True
Suppose u + 335 = 3*u - 5*p, 4*p = 2*u - 332. Is (3 + u)/(1 - 0) a composite number?
False
Suppose -3*x + 4*k = -610 + 53, -5*x - 2*k + 963 = 0. Is x prime?
True
Let l be (-5)/(-2)*4/2. Suppose 2*m + 8 = 0, -2*y + 3*y + 8 = -3*m. Suppose l*s - 2 + y = -n, s - 64 = -3*n. Is n a composite number?
False
Let i be (-3)/6 + (-44)/(-8). Suppose -4*m + 1082 = i*f - 3*m, -3*m + 1076 = 5*f. Is f composite?
True
Suppose 2 = -k + 4. Suppose 0*n - 2*n + k = 0. Is n/3 - (-164)/3 a composite number?
True
Let j(s) = -2*s**3 - 2*s**2 + 4*s + 10. Let f(l) = l**3 - l**2 + l - 1. Let k(c) = f(c) + j(c). Let g = -4 + -2. Is k(g) prime?
False
Let s(v) = v**3 + 5*v**2 + 5*v + 3. Let o be s(-4). Let i be 1 + -4*o/2. Suppose -39 = -i*j - 0*j. Is j composite?
False
Suppose -71 + 2200 = z. Is z prime?
True
Let z(o) = o**3 - 7*o**2 + 7*o + 3. Let p be z(6). Is 3/(p/6) - -411 a prime number?
False
Let t = -9 - -20. Let a = 4 + t. Is a a composite number?
True
Suppose -4*a + 18 = -a. Let z = 10 - a. Suppose -17 - z = -3*g. Is g a prime number?
True
Let t(u) = -250*u + 1. Is t(-1) a composite number?
False
Let r = 24 + 1. Is r a prime number?
False
Let c(w) = -w**3 + 25*w**2 + 34*w + 15. Is c(26) composite?
False
Let k(h) = 3*h - 3*h**3 + 2*h**2 + 3*h**3 - h**3 + 3. Let d be (16/(-12) - -2)*-3. Is k(d) composite?
False
Let p(c) = -c**3 - 7*c**2 + 1. Let m = -2 - 5. Let h be p(m). Is (29 - 3) + -2 + h composite?
True
Is -20*(-745)/30*3/2 a composite number?
True
Let n be 54 - (4 + -3 + -2). Let q = n + -14. Let p = 112 - q. Is p a prime number?
True
Let x(z) = 11 + z + 3*z - 4. Suppose -2*i - 9 = 2*n - 29, -3 = -n. Is x(i) a composite number?
True
Let o be ((-6)/4)/(7/(-14)). Suppose -o*c = 2*c - 10. Suppose -c*y + 63 + 35 = 0. Is y a composite number?
True
Let q = -794 - -1207. Is q a composite number?
True
Let l = 188 - 77. Is l composite?
True
Let r(f) = -f + 2. Let n be r(1). Let b be ((-15)/9)/(n/3). Is (-131)/(-5) + 1/b prime?
False
Let c(q) = -q + 1. Let j(y) = -64*y - 5. Let s(x) = 4*c(x) + j(x). Let v = 1 - 2. Is s(v) a composite number?
False
Suppose -4*i + i = j - 245, -2*j + 4*i = -500. Suppose -4*x = -0*x - j. Is x a composite number?
True
Let t be 76 - (2 - (0 - -5)). Let b = t - 12. Is b a composite number?
False
Suppose 2*d + 2*d - 16 = 0. Suppose -111 = d*k - 427. Is k a prime number?
True
Is 355*(8/4 + -1) a composite number?
True
Let p be ((-8)/6 - -2)*6. Let s(j) = -p*j**3 - 3*j - j**2 + 2 + 5*j - j - j**2. Is s(-3) a composite number?
False
Let f = -2376 + 4177. Is f prime?
True
Suppose 10 = 2*g, v - 4*g = -2*v + 589. Is v prime?
False
Suppose 3*p + 2 + 4 = 0. Let v be (-3 + 1)/(p/(-12)). Let y = v + 71. Is y composite?
False
Suppose 2*h = 2*q - 56, -73 = -4*q - 5*h + 66. Suppose 3*s + q = -65. Let k = -19 - s. Is k composite?
False
Suppose 0 = 5*i + 28 - 13. Is ((-106)/i)/(2/3) a prime number?
True
Suppose 510 = 2*w + s, 5*w - 4*s + 5*s = 1272. Suppose 4*a + w = 6*a. Is a a prime number?
True
Suppose -4*d - 12 = -112. Is d a composite number?
True
Let w be 16 - -3*4/6. Let x = w + -11. Let q = x + -1. Is q a composite number?
True
Is (-17 + 18)*(-5333)/(-1) prime?
True
Let d(k) = 41*k + 6. Is d(5) a composite number?
False
Let g(m) = m**3 + 5*m**2 - m. Let j be g(-5). Is 3 + j/((-20)/(-376)) prime?
True
Let k be 1*(-2 - -5 - 1). Suppose 2*l - k = 2. Suppose 0*v - 59 = -l*v + 5*u, 0 = -2*v - 4*u + 86. Is v a prime number?
True
Let s be ((-114)/(-4))/(1/2). Suppose o = -2*o + s. Is o a composite number?
False
Let m be (-118 + -2)*(-4)/6. Let s = 67 + m. Suppose -z = 32 - s. Is z a prime number?
False
Let r(s) = 27*s + 1. Is r(6) a prime number?
True
Suppose -w + 2*p - p = -182, 3*p = 9. Let k = 312 - w. Is k prime?
True
Suppose 102 = l - 196. Is l a prime number?
False
Suppose -3*u = 12, 4*n - u - 8942 = -2886. Is n a prime number?
False
Let n(w) = 2*w**2 + 3*w - 4. Let v be n(-3). Suppose 2*d + 4*i - 73 = -21, -104 = -4*d + v*i. Is d prime?
False
Is 29038/2 + -3 + -1 prime?
False
Let w be -1 + -1 + 10 + -2. Suppose 2*z + w = -z. Is -1*74*1/z a composite number?
False
Let k = 49 - 25. Is (9/5)/(k/80) a composite number?
True
Let q be 24/(-3*3/9). Is (-2)/((q/452)/3) a composite number?
False
Suppose -o - 2*j - 10 = 14, 0 = -2*o + 4*j - 40. Let v = o + -107. Let w = -92 - v. Is w composite?
False
Suppose -4*o - 30 = 2*p - 0*o, 0 = -3*p - 5*o - 45. Let a = p - 0. Let v = a + 28. Is v a prime number?
True
Is (6/18)/((-2)/(-1146)) a composite number?
False
Suppose d + 4*d - 1685 = 0. Is d a composite number?
False
Let t(k) = -2*k**3 - 2*k - 9. Let r(h) = 1. Let o(f) = 6*r(f) + t(f). Let z be o(-2). Let j = z - -68. Is j composite?
True
Suppose 15 = 5*k, -3*y - 2*y + 1301 = 2*k. Is y a composite number?
True
Let y be (-2)/(-4)*(172 + -6). Let v = 174 - y. Is v prime?
False
Suppose 0 = 6*q - 2*q - 2228. Is q a composite number?
False
Let d be 5/((-15)/(-369))*3. Suppose p + d = 4*p. Is p a prime number?
False
Suppose -375 = -3*l + 198. Is l a prime number?
True
Is 1702 + (1 - 2)/(-1) a prime number?
False
Suppose -3 = -2*l - 17. Let f = 3 + l. Is (-101)/f - (-3)/(-12) a prime number?
False
Let d(a) be the second derivative of 1/2*a**3 - 3/2*a**2 + 1/3*a**4 + 0 - a. Is d(-4) composite?
True
Let h(u) = 4*u**3 - 2*u**2 + 2*u - 1. Let k be h(1). Suppose 6*r + 3*v = k*r + 2658, -3*v = -2*r + 1787. Is r prime?
False
Let y(g) = -5*g**3 - 16*g**2 - 23*g - 11. Is y(-8) composite?
False
Suppose 2*j - 5*n = -117, -3*j - 5*n = -j + 87. Let m = 74 + j. Is m a prime number?
True
Let u(v) = 2 - v**2 - 2 - 5 - 1 + 18*v. Is u(7) a prime number?
True
Let h = 2 + -2. Is 2*(-1 + h) - -39 a prime number?
True
Suppose 2*f - 1820 = -3*z - 0*z, -3*f - 4*z + 2729 = 0. Is f a prime number?
True
Suppose 5*s + 5*p = 2410, -4*s = p + p - 1922. Is s a prime number?
True
Let y = -4 + 70. Let a = y + 61. Is a prime?
True
Suppose -5*i = -v + 2*v + 1075, -3*i + 3*v = 645. Let l = -141 - i. Is l composite?
True
Let c(d) be the first derivative of 16*d**3/3 + 3*d**2/2 + 4*d - 1. Is c(3) prime?
True
Let p = 6 - -1. Let n(z) = 9*z + 4. Let m(u) = -17*u - 9. Let q(i) = p*n(i) + 3*m(i). Is q(3) a composite number?
False
Suppose 3*j + 488 - 2687 = 0. Is j a composite number?
False
Let q(b) = 17*b**3 + 5*b**2 + 