015 = 2*f - 3*f - z, 5*f + z - 20071 = 0. Suppose 0*u = -9*u + f. Is u composite?
True
Let y(u) = -4*u**3 - 2*u**2 + 3*u + 7. Let z(x) = 7*x**3 + 5*x**2 - 5*x - 13. Let f(g) = 5*y(g) + 3*z(g). Let v be f(-5). Is (-314)/v - 9/6 a prime number?
False
Let s = -74 + 74. Suppose -5*z + 8893 = t + t, z - 5*t - 1757 = s. Is z composite?
False
Suppose 0 = 4*u - 12, -4*q = -4*u - 0*u. Suppose q*k + 16 - 244 = 0. Suppose k = -4*f + 216. Is f a prime number?
False
Suppose -4*w - 17 = z, 4*z - w - 4*w - 37 = 0. Suppose 0 = 5*s + 14 - 24. Suppose 2*j - z*j - 5*a + 232 = 0, j - s*a = 267. Is j a composite number?
False
Suppose -3*y = -5*z + 632, -3*z + 5*y = -41 - 335. Is z composite?
False
Let z(r) = r**3 - 35*r**2 + r - 37. Let a be z(35). Let j(u) = u**2 + 6*u + 3. Let x be j(-6). Is 42/x + -3 - a a prime number?
True
Suppose p + 3 = -3. Let f = p + 15. Suppose f*h = 5*h + 3212. Is h a composite number?
True
Let w(t) = -t - 4. Let h be w(-10). Suppose 4*f = -2*j + h, 0*f - 2*f + 4*j + 8 = 0. Let o(y) = 102*y + 1. Is o(f) a prime number?
False
Let j(b) = 148*b**2 - 12*b + 51. Is j(7) a composite number?
False
Let j = -13 + 16. Suppose -2*v - 19 = -j*v. Suppose -3*l + 227 = -v. Is l prime?
False
Suppose 0 = 8*q - 7*q - 37667. Is q a composite number?
True
Let i be 40/18 + 10/(-45). Suppose -i*o - 5*q - 31 = 0, -5 = 5*q + 10. Let n(v) = -v**3 - 3*v**2 + 2*v - 15. Is n(o) composite?
True
Let h(q) = 77*q - 18. Let l be h(6). Let f = l - 250. Is f composite?
True
Let o = 182 - 5. Is o a composite number?
True
Let l(v) = -44*v + 3. Let n(m) be the first derivative of 44*m**2 - 6*m + 2. Let r(j) = 9*l(j) + 4*n(j). Is r(-8) composite?
True
Let s(q) = -2*q + 14. Let z be s(7). Suppose -5*a = 4*l - 1626, z = 4*l - 0*a + a - 1618. Suppose -3*o + 229 = -l. Is o a composite number?
False
Let t(p) = 2*p**3 + 6*p**2 - 11*p - 5. Let h be t(-4). Is (-158)/(-2)*h - -4 prime?
True
Let l be (-4)/((-2)/(-2) - -1). Let x(a) = a + 4. Let p be x(l). Is (-3 + 2)/(p/(-426)) a composite number?
True
Is (36/90)/(4/25790) prime?
True
Let t be ((-1 - 1) + (-11)/2)*-1146. Suppose 0 = 5*n + 4*n - t. Is n prime?
False
Suppose 4*i - 5*i = 0. Suppose i = 4*u - 0*u - 1220. Is u a prime number?
False
Let c(n) = 9*n**2 + n - 2. Let s be c(-3). Suppose -s = -2*y - 2*y. Suppose 2*x - 26 = -l, -5*x - y + 85 = 2*l. Is x a prime number?
False
Suppose 1175876 = -14*d + 66*d. Is d a composite number?
False
Let q = 44549 - 10830. Is q a prime number?
False
Let g = -16 + 21. Suppose -3 = -g*r - 13. Is r/15 - 10054/(-30) a composite number?
True
Suppose 1 = -p - 4. Let c be 14/42 - p/3. Suppose 3*w = -c*w + 795. Is w prime?
False
Let l(k) = -k**3 + 73*k**2 + 152*k - 107. Is l(75) composite?
False
Let k be 35/11 + 0 - 6/33. Suppose -4 = 2*s, -4*l - 209 = k*s - 1927. Is l composite?
False
Let h = -5987 + 10184. Is h a composite number?
True
Let s(h) = h**2 - 13*h + 12. Let m be s(12). Suppose c - 4*c + 111 = m. Suppose 6*k + 1 = c. Is k a prime number?
False
Let z(j) = -32*j**3 + 10*j**2 + 12*j + 7. Is z(-7) a prime number?
False
Suppose -11*t + 6*t = -35. Let x = 4 - 2. Suppose -v = -x*v + t. Is v prime?
True
Let d(o) = 10*o**3 - 4*o**2 + o + 2. Let h(t) = 3 - 2*t**2 + 2*t**3 + 7*t**2 - t**3. Let w be h(-5). Is d(w) composite?
False
Suppose -6*w = -17*w + 45155. Is w prime?
False
Let w(v) = -6*v**3 - 2*v**2 - 4*v + 2. Let b be -1 + 2 + 5*-1. Let s be w(b). Suppose -k = -3*k + s. Is k a composite number?
True
Suppose 0 = -p, 311 = -t + 2*p + p. Suppose 2*a = 2*z - 4*z + 964, -3*a - 2*z = -1442. Let q = a + t. Is q a composite number?
False
Let q = 45 + -163. Let v = 195 + q. Is v a composite number?
True
Suppose 233*m = 226*m + 16849. Is m a prime number?
False
Suppose -101*k + 95*k + 19794 = 0. Is k prime?
True
Let s = 51 + -30. Is 2703/s - ((-16)/(-14))/(-4) prime?
False
Let c be 2 - (-1)/(-2 + 3). Suppose -c*s = 20 + 190. Let d = 197 + s. Is d composite?
False
Suppose 4*j = -w + 178733, 5*w - 706005 = 4*j + 187780. Is w prime?
True
Let n(o) = 148*o. Let s be n(3). Suppose -5*a + w + 3115 = 0, 5*a - 3559 = -w - s. Is a a prime number?
False
Let l be 0/(3/(-1))*(0 - 1). Suppose 2*c + 0*c = -x + 159, -4*x - c + 601 = l. Is x a composite number?
False
Let z be 150040/36 + -4 + 4/18. Suppose -5*l - r + 5219 = 0, 4*l - 5*r + 3*r = z. Is l prime?
False
Let c(f) = -f**2 - 8*f + 5. Let h be c(-8). Suppose 4*k - 4*z = z + 4656, -h*k + 4*z + 5829 = 0. Is k a prime number?
False
Let b(f) = 15*f - 2. Let g(l) = 44*l - 5. Let s(q) = -11*b(q) + 4*g(q). Is s(3) prime?
False
Suppose 0 = 5*s - 24 - 11. Is 0 - -727 - (-28)/s a prime number?
False
Suppose -2*k + 42946 = -2*c, -3*c + 28676 + 14250 = 2*k. Is k a composite number?
True
Suppose 5*f + 32686 = 2*x, 3*f = x + 8*f - 16313. Is x prime?
True
Let u be (-2 + 233/(-2))*1682/87. Let y = -1512 - u. Is y prime?
False
Suppose 748 = -6*a + 10150. Is a a prime number?
True
Suppose -4*s + 2161 = -4*z + 20633, -23090 = 5*s - z. Let w = -2335 - s. Is w a prime number?
False
Let i(y) be the third derivative of 0 + 0*y - y**4 + 7/6*y**3 - 6*y**2. Is i(-12) composite?
True
Let i(u) = 33*u**3 + u - 3. Let t(a) = -99*a**3 - 4*a + 9. Let o(h) = -7*i(h) - 2*t(h). Is o(-2) prime?
False
Let l be (-234)/((-9)/3) - 3. Let n = 16 + l. Suppose 4*f - 145 = n. Is f prime?
True
Let v be -19 + (0 - ((4 - 2) + -1)). Let p be (4/(-2))/((-4)/194). Let q = v + p. Is q a composite number?
True
Suppose -2*f + 3*f - 4*y = 12, -4*y - 12 = 4*f. Suppose f = 6*k - 10*k + 1388. Is k a composite number?
False
Suppose -1592 + 5977 = 5*f. Is f prime?
True
Is 4 - (-6 + 10287/(-3)) a prime number?
False
Let n(i) = -4*i - 9 + 3*i + 3*i + i. Let v be n(4). Is v + 184 - (3 + -1) a composite number?
True
Suppose -v + 13942 = -t, 0 = 7*t - 11*t + 4. Is v composite?
True
Suppose -w + 0*w = 106. Let q = w + 201. Is q a prime number?
False
Let a = 43 - 51. Let k(x) = -x**3 + 4*x**2 - 13*x + 5. Is k(a) a composite number?
False
Suppose -3*b + f + f - 87 = 0, 5*b = -3*f - 126. Let n be (-58)/(-18) - (-6)/b. Suppose 5*m + 4*r - 1136 = 139, m = n*r + 274. Is m a composite number?
True
Suppose -2*p + 605 + 2243 = 0. Is (-2)/((-744)/p + (-1)/(-2)) composite?
False
Suppose -2*a = 4*n - 690, 0 = 5*a - 4*n + 5*n - 1707. Let s = a + -786. Is s/(-20) + 2/(-8) a prime number?
False
Let q(j) = 2*j**3 - 24*j**2 + 40*j - 19. Is q(16) composite?
True
Let w be (-138)/8*((-72)/(-3))/(-3). Let i = w + -49. Is i composite?
False
Let q be 3 - ((-4 - 126) + 3). Suppose 0*x = c - x - 128, 3*x = c - q. Is c composite?
False
Let j(r) = 1835*r**2 - 27*r + 3. Is j(2) a composite number?
True
Suppose -v + 4 = 0, -2*k = -4*k + 4*v + 2190. Is k prime?
True
Suppose -3 + 1 = -2*f + r, -4*r = -5*f - 1. Suppose -a + f*a - 138 = 0. Is a prime?
False
Suppose 0 = -8*a - 18538 + 108722. Is a prime?
True
Let j(u) = 1101*u + 4. Is j(5) a prime number?
False
Suppose 175*l + 116789 = 5*z + 177*l, 70075 = 3*z + 2*l. Is z a prime number?
True
Suppose -7 = -2*x + 5. Suppose 2*n - x*n = 0. Suppose n = 5*h - 5, 3*g - h - 274 = -2*g. Is g prime?
False
Let f(j) = 8*j**2 - 52*j + 73. Is f(-79) a prime number?
False
Let s = 6 - 10. Let q(p) = p**3 + 4*p**2 - p - 2. Let n be q(s). Suppose n*f - 93 = -f. Is f a prime number?
True
Suppose -15 = -8*b + 9. Suppose -b*n - 5*u + 61 = 0, 2*u - 52 = -4*n + 34. Let w = n + 43. Is w a prime number?
False
Let j(x) = 98*x - 18. Let c be j(-3). Let u = 737 - c. Is u composite?
False
Let m(u) = -u**2 + 2*u + 3. Suppose -2*o = -4*r, -o = 5*r - 2*r. Let v be m(r). Suppose -v*b + a + 1048 = -285, -a + 882 = 2*b. Is b prime?
True
Suppose -31*d + 34*d = 19581. Is d a composite number?
True
Let b = 377 + -138. Let g = b + -150. Is g a prime number?
True
Let y(v) = 38 - 17 + 2*v**2 - 2*v - 20 - 8*v. Is y(14) a prime number?
False
Let p(f) = -f**2 + 5*f + 26. Let l be p(8). Suppose 3*v - l*q = 3493, 8*v - 3*q - 5821 = 3*v. Is v composite?
False
Suppose 3*s + 16 = -s - z, s - 3*z - 9 = 0. Is 2136/8 - (-7 - s) a prime number?
True
Suppose -5*d = l - 83046, -3*d - 249120 = -17*l + 14*l. Is l a composite number?
True
Suppose -4*w + 2*w = -k - 8, 0 = -3*w + 5*k + 19. Suppose 5*c + 670 = 5*s, -4*s + w*c + 541 = -0*c. Is s prime?
True
Let d = 119491 - 84860. Is d prime?
True
Let j(n) = -642*n**3 - 2*n**2 + 1. Suppose 5*o + 2*z = -13, -o - 1 