 x - 3. Let t be j(w). Is (111/t)/(8/16) composite?
True
Suppose -6*y - 4794 = -12*y. Suppose -352 = 3*n + 3*g - 2704, 4*g + y = n. Is n composite?
False
Let a(s) = s**2 - 4*s - 2. Let k be a(6). Suppose -2*z = -2 - k. Let g(o) = -o**3 + 14*o**2 - 9*o + 1. Is g(z) prime?
False
Let j(a) = 153*a + 2. Suppose 3*u + 105 - 42 = 0. Let s = -20 - u. Is j(s) composite?
True
Let f(a) = a**2 + 4*a. Let s be f(-5). Suppose q + 2 = 0, 0*g + 4*q = s*g + 32. Let x = g + 30. Is x a prime number?
False
Let v be (8/(-4))/((-1)/2). Suppose -20 = -4*j, -5*b + j - 30 = -v*j. Is 3/(34/31 + b) a prime number?
True
Let r = 2242 + -924. Is r a composite number?
True
Let l(w) = -2*w + 5. Let x(k) = 2*k - 7. Let v be x(7). Let g = 3 - v. Is l(g) prime?
True
Suppose -m + 5*m + 20 = 4*s, 5*s - m = 5. Let x be -1 - (-1 + s - 56). Suppose 4*d + h - 711 = -x, -h + 492 = 3*d. Is d prime?
True
Let l = 17 + -13. Suppose -z = l*y - 23, z - 1 = y - z. Suppose 0 = 6*t - 4*t - y*o - 131, 3*t - 3*o = 174. Is t a prime number?
True
Suppose 6*o = 9*o - 12, -2*n - 5*o + 2194 = 0. Is n composite?
False
Let m be 4/(-3)*762*3/(-12). Let i = m - -447. Is i prime?
True
Is (11 - 15)/((-8)/14114) composite?
False
Suppose 4*s + 0 = -4, 2*s + 762 = -2*z. Let l = 603 + z. Is l prime?
True
Suppose 0 = 3*p + 3*i - 3060, -3*p + 4*i = -2168 - 864. Suppose -577 = -4*x + 3*x - 3*q, 2949 = 5*x - q. Let j = p - x. Is j composite?
True
Let v(j) be the third derivative of j**6/120 - j**5/6 + j**4/6 + 11*j**3/6 + 2*j**2. Is v(12) a composite number?
False
Let k be (2 + -1 - -2)*(-2 + 209). Let j = 80 + k. Is j a composite number?
False
Let y be (-31266)/(-8) - (-5)/(-20). Suppose -17*g + 21*g = y. Is g a prime number?
True
Suppose 3*u = 3*s + 109470, -u = 4*s - 18331 - 18134. Is u a composite number?
True
Suppose 2615 = -19*w - 1223. Suppose -758 = -3*v + v. Let d = v + w. Is d a prime number?
False
Let p = 1255 + 804. Is p a prime number?
False
Let g = 2850 - 1425. Is 1 - (-2 - g)*6 a composite number?
False
Suppose -5*k - u + 6*u + 11275 = 0, 0 = -5*u - 20. Is k a prime number?
True
Let c(r) = 19*r**2 + 6*r. Let f be c(-5). Let z = -82 + 85. Suppose 3*x - f = t, z*t - 4*t + 2 = 0. Is x a composite number?
False
Suppose -5*d + 256 = -d. Suppose 2*s - 602 = -d. Is s prime?
True
Suppose -2*g - 2 = -3*k, k = -3*k - g + 21. Let t = k - 8. Is (3/t)/(5/(-220)) a prime number?
False
Let u(m) = 281*m**2 - 5*m + 3. Let l be ((-3 - -2) + -3)*1/(-2). Is u(l) prime?
True
Let w(u) = u + 4. Let r be w(5). Suppose -4*d + r*d - 25 = 0. Suppose -9 = -d*g + 41. Is g a composite number?
True
Let r(h) = -38*h**3 + 3*h**2 - h - 4. Let o(a) = -a**3 + 1. Let g(i) = 5*o(i) - r(i). Is g(4) a prime number?
False
Suppose -3*g - 3 = 2*a + 3, -5*a - 10 = 5*g. Let y be (a - 3)*(-28)/21. Suppose y*m - 1659 = m. Is m a prime number?
False
Suppose 5*k + 45 = -10*k. Let x(y) = -45*y**3 - 3*y + 3. Is x(k) prime?
False
Suppose -14*z = -12*z - 14. Suppose z*p - 6*p - 1327 = 0. Suppose -j + 5*i + 256 = -90, -4*j = -i - p. Is j composite?
False
Let o(g) = 3 + 44*g - 31 - 26 + 15. Is o(18) a prime number?
False
Suppose -116 = -0*j - 4*j. Let k = 368 - j. Let q = k - 38. Is q prime?
False
Suppose -2*o - 32483 = -2*r - r, o = 5. Is r a composite number?
False
Suppose 4*n + k - 59 = 0, k = -0*k - 1. Is (n/3 - 0)*17 prime?
False
Is 23770 - (-4 + (-48)/(-6) + -7) a prime number?
True
Let t(o) = -4619*o + 141. Is t(-4) a composite number?
False
Let t(a) = 4*a**2 - 5*a + 3. Let s be t(3). Suppose s = -7*b + 11*b. Is b a prime number?
False
Suppose 4*k - 91930 - 141586 = 0. Is k a prime number?
True
Let z = -22 - -27. Suppose 0*r + 5*y = -r + 58, 25 = -z*y. Is r prime?
True
Is (-24)/(-52) + 551318/26 prime?
False
Is 1 - 6778/(4/(-4)) a prime number?
True
Suppose 0 = -f + 4*q - 23 - 1, -4*q = -4*f - 48. Let d be 5/1 - (-16)/f. Suppose -j = j - 3*a - 114, 165 = 3*j - d*a. Is j a composite number?
True
Let r = 25259 + 5100. Is r prime?
False
Let n(p) = p**3 - 2*p**2 + 4*p + 26. Is n(19) prime?
False
Let t(p) = 1036*p + 63. Let d be t(-8). Let b = -5440 - d. Is b prime?
False
Suppose 0 = 2*s - 10. Suppose h + 4198 = 3*i, 3*h = -0*i - s*i + 6992. Is i composite?
False
Let i(w) = -25*w + 40. Let r(l) = 8*l - 13. Let c(h) = -6*i(h) - 17*r(h). Suppose 11*z - 13*z + 12 = 0. Is c(z) a prime number?
False
Suppose 3*q - 5*s - 2 = 0, 6*s = q + 2*s + 4. Suppose -3*g - 1579 = -2*z, -q*z + 9*g - 4*g = -3155. Suppose 0 = -0*o + 5*o - z. Is o composite?
False
Suppose 0 = 2*h + 10 - 54. Suppose 0*i + b + h = 4*i, -i + 12 = 3*b. Suppose -i*c = -11*c + 635. Is c a prime number?
True
Let z(q) = 134*q - 11. Let x be z(5). Suppose 10*h = 1551 + x. Is h a composite number?
True
Let b = -20579 + 30106. Suppose b = 8*a - a. Is a a prime number?
True
Suppose 14*b - 10*b = -24. Let n be (-2 - b)/((-6)/201). Let u = -91 - n. Is u a prime number?
True
Let k = -790 - -5493. Is k prime?
True
Let y(b) = 23*b - 8 + 6 + 12 + 4*b. Is y(23) prime?
True
Suppose -14*o + 11*o + 12 = 0. Suppose 4*i = -4*l + 24, -3*i - o*l = 2*i - 26. Is (0 + -1)*(-109 - i) a prime number?
False
Suppose -4*z + 3 = -o + 6, 0 = 4*z - 2*o - 2. Is (1/z)/(19/(-27284)) a prime number?
False
Is (13 - 26 - -3896) + 0/2 composite?
True
Let r(p) = 2*p**2 - 28*p. Let i(g) = 3*g**2 - 42*g. Let b(v) = 5*i(v) - 7*r(v). Let k be b(15). Suppose -662 = -17*x + k*x. Is x a composite number?
False
Let m(j) = 7*j**2 + 5*j + 1. Let l be m(7). Suppose 5*w = 4*w + l. Is w composite?
False
Suppose 4*f - p = 110443, -5*f + 4*p + 138057 = 6*p. Is f a prime number?
True
Suppose 182*p + 1916 = 186*p. Is p composite?
False
Let q = 91 + 958. Is q prime?
True
Suppose 0 = -9*l - 5*l + 24976. Is 3*(l/6 + 5) prime?
True
Suppose -z + 24 = -4*z. Let m(t) = -3*t - 10. Let q be m(z). Suppose 24 = g + 3*i - q, -4*i = 3*g - 139. Is g prime?
True
Suppose -154*g + 160*g - 373530 = 0. Is g prime?
False
Let o(g) = 11*g**2 + 1. Suppose 5 = d + 11. Is o(d) composite?
False
Suppose 0 = h - 1 - 1, 3*h - 9453 = -3*r. Is r prime?
False
Let m(q) = -q**3 + 4*q**2 - q + 4. Let a be m(4). Suppose 4*x + 8 = 0, a*x - 4*x = 5*i - 27. Is (-4516)/(-28) - 2/i composite?
True
Let v = -2002 - -659. Let w = v + 944. Let r = 880 + w. Is r a prime number?
False
Suppose 0 = 4*z + 16, -2*a + 2*z + 12 = 2*a. Let y(v) = 797*v + 12. Is y(a) a composite number?
False
Let y = 8507 - 1758. Is y a composite number?
True
Suppose -15*i + 13*i = -1076. Is i composite?
True
Suppose -42*v - 1908 = -46*v. Suppose 2*h - 1920 = -4*x, 3*x - v = 2*x + h. Is x prime?
True
Suppose -3 = -3*l + w - 0*w, 4*w + 12 = 4*l. Suppose 0 = 4*q - 8*q + 4*b + 2988, 2*q + 2*b - 1478 = l. Is q a prime number?
True
Let m(g) = 7*g + 4. Let c be m(1). Suppose c*r - 15*r + 3356 = 0. Is r a composite number?
False
Let h(y) = -y**3 + 67*y**2 + 82*y - 319. Is h(68) a composite number?
True
Let y be (0/(-1))/(-2*3/(-6)). Suppose 0 = 3*b, n - 967 = b - y*b. Is n prime?
True
Suppose -38*t - 449281 = -87*t. Is t a prime number?
False
Let v be -3 + 7 - 4 - -11. Let q be v - (36/(-3))/(-3). Suppose q*t = 1460 - 67. Is t prime?
True
Let a(j) = -5*j**3 - 3*j**2 - 24*j - 25. Is a(-10) a prime number?
False
Let f be (2 - 1) + (14 - 7). Let h = 316 - 172. Suppose -2*a - 2*a + x = -h, f = 2*x. Is a a prime number?
True
Suppose 2654 = 11*r + 201. Is r a prime number?
True
Let i(j) = j**3 - 3*j - 2. Let f be i(3). Suppose 0*w = w - 358. Suppose 4*k - f = 0, -2*v - 4*k = -3*k - w. Is v a prime number?
False
Let n = 11 - 6. Suppose x - 4*h = -4, n + 0 = 5*h. Suppose -w + 21 + 138 = x. Is w a prime number?
False
Let d(k) = -28*k**3 + 4*k**2 + 3*k + 1. Let c = 13 - 10. Suppose 0 = 3*v + 4*h + 22 + 4, 0 = 4*v - h + c. Is d(v) a prime number?
False
Suppose -8 + 0 = -2*v. Suppose 4*z - 4*f = 3536, -v*z + 3563 = 5*f - 0*f. Is z composite?
False
Suppose 2*g = -5*c + 29951, 7*g - 11*g = -4*c + 23944. Is c a composite number?
True
Let j = -3 + 8. Suppose 3*m = 3*f, j*f = 3*m + 9 - 1. Is -3 + 2*296/f a prime number?
False
Is (-93083)/(-7) + (-29)/((-3248)/(-64)) composite?
False
Let p(h) be the first derivative of h**3/3 + h**2/2 - 11*h - 6. Let g be p(-5). Let o(b) = b**3 - 7*b**2 - 12*b - 11. Is o(g) a prime number?
True
Let i(l) be the second derivative of 17/12*l**4 + 11*l - 1/20*l**5 + 13/2*l**2 + 2*l**3 + 0. Is i(14) composite?
Fa