 - -5. Is -29*1*f/(-3) a composite number?
True
Suppose -5*v - 2 = -17. Suppose 4*b = v*l + 13, l = -3*b + 4*l + 6. Is 14/49 - (-180)/b a composite number?
True
Let h be 2/11 + (-68)/11. Let t(a) = a**2 - 3*a - 5. Is t(h) prime?
False
Let z(l) = 38*l**2 + 6*l - 3. Let y be z(-6). Is (-4)/(-10) + y/15 composite?
False
Let h(v) = 0 + 5 - 4 + 7*v. Let a be h(-1). Is (-28)/a*(-6)/(-4) a composite number?
False
Let n(c) be the first derivative of 7*c**2 - c - 1. Is n(4) a composite number?
True
Let i = 692 + -373. Is i a composite number?
True
Let q be (-494)/(-10) + (-6)/(-10). Suppose -q + 2 = -v. Let p = 67 - v. Is p prime?
True
Let k = 372 - 58. Is k composite?
True
Let b(z) be the second derivative of 4*z + 0 + 5/12*z**4 + 1/6*z**3 - 1/2*z**2. Is b(4) a composite number?
False
Let j = 14 + -7. Let z be (84/10)/((-2)/(-10)). Suppose j - z = -5*i. Is i composite?
False
Let h(u) = 74*u - 3. Is h(4) prime?
True
Suppose -4*p - 2*w = p - 22, -3*w - 9 = -3*p. Let h be -26 + 0*2/p. Let f = h - -45. Is f composite?
False
Let l = 620 - 435. Suppose 0 = 7*m - 2*m - l. Is m composite?
False
Suppose s + 97 + 64 = -2*z, 3*z + 4*s = -249. Is (3/3)/((-1)/z) a composite number?
False
Suppose -2*v - 1 - 9 = 0. Let i(w) = -w**2 - 5*w + 4. Let f be i(v). Suppose -5*u - 5*c + 250 = 0, -u - 149 = -f*u - 4*c. Is u composite?
True
Is -3 + 6772/14 + 4/14 composite?
True
Let h(z) = -2*z**2 - 2*z + 3*z**2 + 9*z**2 + 6 - z**3 + 4. Is h(7) prime?
False
Suppose -4*j - 3*v + 132 = -7*v, -87 = -3*j - v. Suppose 5*y = j + 70. Suppose -i + 2 = -y. Is i a composite number?
True
Let v = -100 + 62. Let f be 2/2*51/(-3). Let x = f - v. Is x a composite number?
True
Let h be (-3)/(0/(-3) + -1). Suppose -h*f + 229 = 4*o, 2*f + 0*o = -3*o + 152. Is f a composite number?
False
Let g(i) = 395*i + 2. Is g(1) a prime number?
True
Let j(f) = -29*f + 4. Let t be j(9). Let g = t + 384. Is g a prime number?
True
Let o be (-386)/(-8) + (-1)/4. Let k = 35 + -1. Let v = o - k. Is v prime?
False
Suppose t - 4 = -t. Suppose 0 = -2*h - i + 197, 5*h - 4*i + t*i - 479 = 0. Is h a composite number?
False
Let z = -3 - -4. Suppose -d + 6*d = 2*t + 151, -3*d = -4*t - 281. Is -5 + 3 - z - t composite?
True
Let v be (-1)/4 + (-417)/(-4). Suppose -3*x - 2*s = -139, -3*x + 7*s = 2*s - v. Is x a prime number?
True
Let k = -4 + 2. Is -37*k*1/2 prime?
True
Let o = -97 - -225. Let g(d) = 67 + 8 - d + o + 0*d. Is g(0) a prime number?
False
Let f(a) = 147*a - 39. Is f(14) composite?
True
Let y = 10 + 7. Suppose 3*w - 6 = 9. Suppose 88 + y = w*z. Is z a composite number?
True
Let l = -20 - -23. Suppose 259 = l*u - 32. Is u a prime number?
True
Is (-3)/(6/74)*-1 a composite number?
False
Let g(n) = 2*n**3 + n**2 + n - 1. Let i be g(1). Suppose -k + i = -0*k. Is k a prime number?
True
Let g = 226 - 149. Is g a prime number?
False
Let t = -1 + 3. Let q be (37/1)/(t/(-2)). Let d = q - -198. Is d prime?
False
Is 13/3*(1284 + 3 + 6) composite?
True
Suppose 2416 + 9 = 5*h. Is h a composite number?
True
Suppose y - 2 = 0, 0*y + 2*y = -r - 1. Let o = r - -8. Is o a composite number?
False
Let r(n) = -n + 5. Let w be r(4). Let a = w + 0. Suppose -5*g = -5*q + 85, -a + 13 = -3*g. Is q composite?
False
Suppose -u = -3 + 4. Is (u - -68) + 2/1 a composite number?
True
Suppose 2*r = -3*r + 4065. Is (-2)/(-5) - r/(-5) prime?
True
Let b = 0 + 3. Suppose 2*r = 2*y + 600, -3*r + 1490 = 2*r - b*y. Is r a composite number?
True
Let r = -19 - -38. Is r composite?
False
Let z(o) = -33*o + 26. Is z(-15) composite?
False
Let s = -15 + 5. Let g = s + 33. Is g composite?
False
Suppose 3*j - 5*i - 19 - 8 = 0, -3*j - 4*i = 0. Suppose 3*v + h - 600 = -j*h, h + 1028 = 5*v. Is v a composite number?
True
Suppose -6*m - 96 = -3*m. Let z = 55 + m. Is z a composite number?
False
Let q(g) = g**3 + 11*g**2 + 4*g + 3. Let n be q(-7). Let v = n + -104. Is v composite?
False
Suppose a - 4 = 3*a. Let b(t) = -2*t - 2. Let w be b(a). Is 0 + -2 - -81 - w a composite number?
True
Suppose -5*z + 4*i = 111, 3*z - 2*i + 58 = -7. Let s be 0 + 1 + 0 + 32. Let k = s + z. Is k composite?
True
Let x = -22 + 17. Is 166/x*(-10)/4 a prime number?
True
Suppose 0 = -4*k - 5*o + 3820, -2*k + 2*o = -3*o - 1910. Is k composite?
True
Suppose 4*v - 55 = -3. Let m = 48 - v. Is m composite?
True
Let u(q) = -2*q + 8. Let l be u(4). Suppose 139 = 3*c + g, 4*c + l*g = -2*g + 184. Is c composite?
False
Let h be (4 - 1)*21/9. Suppose -2*f - 410 = -h*f. Is f composite?
True
Let n = 9 - 5. Suppose -n*r + r = -15. Let d(z) = 2*z**2 - 7*z + 6. Is d(r) a composite number?
True
Let i(k) be the first derivative of -2*k**2 - k - 3. Is i(-2) a prime number?
True
Suppose 9 = z + 4*o - 2, 5*z + 4*o = 103. Is z a composite number?
False
Suppose 0 = -2*g - 2*l + 1608, 18*l - 2382 = -3*g + 21*l. Is g prime?
False
Let u(n) be the third derivative of n**5/20 + 7*n**4/12 + n**3/2 + n**2. Let c = -24 + 14. Is u(c) prime?
True
Suppose 5*l + 272 = 1687. Suppose -272 = -3*b + l. Is b prime?
False
Suppose 0 = -4*z + 4, -5*z - 5 = 3*f - 10*z. Let n = -50 + 87. Suppose -l + f*l = -n. Is l a prime number?
True
Let c = 10 + -7. Suppose f = c*f - 4. Is f a prime number?
True
Suppose -r - 4*r = -25, -2*f - 1255 = 3*r. Let z = f + 1006. Is z composite?
True
Let u(h) be the third derivative of -17*h**4/12 + h**3/3 - 2*h**2. Let j be u(-6). Is 1/(-2) + j/4 prime?
False
Let o(p) = p**2 + 8*p + 8. Let c be o(-6). Let g(s) = s**2 - s. Let k(d) = 2*d**3 + 2*d**2 + 2*d + 5. Let h(x) = 2*g(x) - k(x). Is h(c) prime?
True
Let t(c) = 25*c - 32. Is t(3) a composite number?
False
Let k(w) = 343*w**2 + 10*w - 17. Is k(6) composite?
False
Let y(c) = -3 - c**2 - c - c**3 - 2*c**2 - 6*c**2 + 2. Let j be y(-12). Let o = j + -316. Is o a prime number?
True
Let x be (-98)/21*(-1 - -4). Suppose 3*l - 96 = 9. Is 1725/l - (-4)/x a composite number?
True
Let y(v) = -4*v - v**2 + 0*v**2 + 2*v**2. Let r be y(5). Suppose -r*f + 8 = -7. Is f a composite number?
False
Let v = -83 + 142. Is v composite?
False
Let f(u) be the second derivative of u**5/20 - u**4/3 - 3*u**3/2 + u**2/2 - 3*u. Is f(6) prime?
True
Suppose -3*f = -5*o + 11, 1 = -4*f - o - 6. Is f/(1/((-159)/6)) prime?
True
Let q = 620 - 209. Is q composite?
True
Suppose -3*x - 2*w = -6*x + 8, -3*x + 3*w = -3. Let y(v) = v**3 - 3*v + 1. Is y(x) a composite number?
False
Suppose -j - j + 111 = -b, 0 = 2*j + 5*b - 81. Let t = j + -6. Is t composite?
False
Suppose -6115 = -5*l - 5*v, 3*l - 4961 = 5*v - 1324. Is l a composite number?
True
Let d(n) be the second derivative of 3*n**5/10 - n**4/3 + 2*n**3/3 - n**2 + 2*n. Is d(2) a composite number?
True
Suppose r = 2*g - g - 2836, -3 = r. Is g a composite number?
False
Let v = 92 - 55. Suppose -v = -2*l + l. Suppose 0*h - h + l = 0. Is h composite?
False
Let l = 7 + -4. Suppose -3*u + z + 18 = -3*z, 0 = -l*u - 5*z - 9. Is -1 + u - (-34 + -3) a prime number?
False
Suppose -17*n + 26874 = -11*n. Is n composite?
True
Let p(i) = -i + 8. Let a be p(6). Suppose -2*v + 1416 = a*w, 3*v + 1299 = 2*w - 102. Suppose -2*r + 320 = -2*u + 38, 0 = 5*r + 4*u - w. Is r prime?
False
Let u = -76 - -155. Is u prime?
True
Is 15*(-834)/18*-1 prime?
False
Let f be (-2)/((1/(-2))/(-1)). Let a = -3 - f. Suppose 0 = 2*p - 3 - a. Is p a prime number?
True
Suppose -3*q + 8*q - 15 = 0. Suppose 0 = 5*z - 5*d - 470, 2*z = -q*d - 48 + 221. Is z composite?
True
Suppose 5*r + 639 = 4*v, -2*v + 115 = -3*r - 204. Suppose -u = 4*m - v, 5*m = 5*u - 373 - 307. Suppose -k - u = a - 5*a, -k - 106 = -3*a. Is a a prime number?
False
Suppose -3*f + 0*f + 6 = 0. Suppose -v = 2, 3*s = -v - f*v + 141. Is s prime?
False
Let p(d) = -d + 9. Let k be p(7). Suppose 5 = 2*v + 4*z - 5, -5*v - k*z = -57. Is v a prime number?
True
Let z(y) be the first derivative of 2*y**3/3 + 4*y**2 - 11*y + 8. Is z(-8) a composite number?
False
Suppose -3*m = -7 - 5. Suppose -a = 3*g - 59, m*g = 3*g - 3*a + 25. Is g prime?
True
Let a(s) = -s**2 + 5*s - 1. Let g be a(2). Let r(u) = 10*u + 7. Is r(g) prime?
False
Let q(m) = 4*m - 5. Let d(v) = -v - 1. Let s(b) = -3*d(b) - q(b). Let w be s(6). Suppose -5*l + 5*x + 34 = -76, w*l - x - 45 = 0. Is l composite?
False
Suppose 3*o - 2*c = 16, -2*o + 6*c = 2*c - 16. Let x(u) = -u**3 + 5*u**2 - 3*u - 2. Let n be x(o). Suppose -n*j + 63 = j. Is j a prime number?
Fal