h be v(7). Suppose 4*o = 3*g - 391, -h*g - 2*o = -0*o - 270. Is g composite?
True
Suppose -3*d = -2*x - 62, -d + 4*x = d - 52. Let y = -7 + d. Is y prime?
True
Let q be 5/10*24/2. Is 22*(q/(-4) - -2) prime?
True
Let x(t) be the third derivative of -t**9/60480 - t**7/5040 + 23*t**6/144 + t**5/60 - t**2. Let u(k) be the third derivative of x(k). Is u(0) prime?
False
Is (-2)/7 - (-63030)/154 a prime number?
True
Suppose 12 - 3 = -3*o. Is o + (130 - 0/3) a composite number?
False
Suppose -x + 4*j + 1487 = 0, x + 3*j - 2*j = 1467. Is x composite?
False
Let c(y) = y + 4. Let d be c(-3). Let n = d - -13. Is n prime?
False
Let g(s) = -s - 294. Let v be g(0). Let m = 443 + v. Is m composite?
False
Let r be (-378)/49*(-28)/6. Suppose 2*l = -2*l + r. Suppose l*d = 4*d + 395. Is d prime?
True
Let w(v) = 2*v**2 + 20*v - 11. Is w(-12) composite?
False
Let j be -1*2*33/6. Is -1*1*(-2 + j) a composite number?
False
Let f(g) = -g**3 - g**2 + 6*g + 1. Let x be f(-4). Suppose 5*d - 4*y + 106 = 0, -x = 2*d - 2*y + 19. Let k = d - -139. Is k composite?
True
Let l = 9 - 4. Suppose j = 5*g + 80, -4*g = -l*j + 406 - 111. Suppose -5*w + 275 = -s, 0*w + w - j = 4*s. Is w a composite number?
True
Suppose -3*k + 398 + 421 = 0. Let z = 392 - k. Is z composite?
True
Suppose -k - 2423 - 4926 = -2*b, -5*b + 18365 = -k. Suppose 0 = i + 3*i - b. Suppose 870 = 4*m + 4*f - 338, -f = -3*m + i. Is m prime?
False
Suppose n - 2 = 0, -d + 3*n + 472 = -153. Is d a composite number?
False
Suppose 5*q = -4*o + 281, 4*o - 88 = 5*q + 143. Let a = o + -29. Is a prime?
False
Suppose 2421 = -2*v + 2*z + 7581, 0 = v - 3*z - 2582. Is v a prime number?
True
Let g(y) = 4*y + 0*y + 3*y**2 + 0 + 1. Suppose 11 = 4*c - 5. Is g(c) a prime number?
False
Let g = 2 + 2. Suppose -4*m = t - 111, -t = 2*m - g - 107. Is t a composite number?
True
Suppose -2*d + 87 = -d + 5*s, -3*s + 6 = 0. Is d a composite number?
True
Suppose 639 = 3*h - 2*y, 450 = 4*h - y - 397. Is h composite?
False
Let a(s) = 34*s + 1. Let d be (-46)/(-6) - 4/6. Let p be a(d). Let b = p - 126. Is b prime?
True
Is ((-2)/(-3))/(10/11805) prime?
True
Let b(g) = 26*g + 1. Let c(y) = -2*y + 3*y + 0*y. Let t(u) = -b(u) + 6*c(u). Is t(-2) a prime number?
False
Let q(s) = -s + 4. Let k be q(4). Suppose 3*o = -2*v + 7, 0 = -3*o - k*v + 2*v - 1. Is (-1)/(60/62 - o) a composite number?
False
Suppose u = -5*f + 36 - 10, f + 4*u = -10. Let s = 2 - 0. Is 33/s*8/f prime?
False
Let r(c) be the first derivative of 161*c**3/3 - c**2/2 + c + 3. Is r(1) prime?
False
Let r(b) = 119*b**2 - 8*b - 1. Let h(c) = c - 1. Let m(l) = 4*h(l) + r(l). Is m(-2) composite?
False
Suppose 0 = 13*x - 10*x - 3. Is (-2 + x)/(1/(-397)) prime?
True
Let z = -19 - 11. Let c = 18 + z. Is 4/c + 1344/9 composite?
False
Suppose -6*u = -u - 5*o - 65, 3*u + 5*o - 7 = 0. Is u composite?
True
Let d(w) = w**2 - w - 1. Suppose -10 = -5*l + 4*l. Let a = 6 - l. Is d(a) a composite number?
False
Suppose -4*c - 5*u - 18 + 1 = 0, 0 = 5*c - u - 15. Suppose 5*z = p + 16, -4*p = c*z - 30 + 6. Suppose -z*o + 50 = -2*o. Is o composite?
True
Let a(p) = p**2 + 2*p + 7. Let r be a(6). Suppose r + 113 = 4*q. Suppose -y = -2*v + q - 8, 3*v - 25 = -5*y. Is v prime?
False
Let u be 68/20 - 4/10. Is -3 + (-1340)/(-4) - u a composite number?
True
Suppose -3*m + 5*o + 251 = 0, -3*m - 352 = -7*m - 2*o. Is m a composite number?
True
Let g be -114 + -1*(-1 - 0). Let t = g - -364. Is t prime?
True
Let b = 20 + -13. Let t = 15 + -5. Let w = t - b. Is w a prime number?
True
Is (-1)/4 + (-1269)/(-4) prime?
True
Let t = -918 - -1715. Is t a composite number?
False
Let z(p) be the third derivative of p**5/60 - p**4/24 + 71*p**3/6 - 3*p**2. Is z(0) prime?
True
Let p(a) = -a**3 + a - 4. Let x be p(-5). Suppose 2*r = -3*f - 0 + x, -3*f + 232 = 4*r. Is r composite?
True
Suppose -3*q + 153 - 12 = k, -k = 4*q - 145. Is k a prime number?
False
Suppose y - 4*a + 1 = 2, -y = 3*a - 15. Is y a composite number?
True
Let i = 57 + -116. Let g = 96 + i. Is g a prime number?
True
Let m(n) = -n**2 - n + 15. Let l(r) = -r - 8. Suppose -v - 3 = 5. Let h be l(v). Is m(h) composite?
True
Let h(s) = 19*s + 1. Let q(x) = -1. Let d(f) = h(f) + 2*q(f). Let y be d(2). Suppose 3*o - 4*m - y = 0, -3*o + 28 + 39 = 2*m. Is o a composite number?
False
Let h(c) = -c**3 - 10*c**2 + 4*c - 1. Let x be h(-10). Is 21/6*-2*x a composite number?
True
Is (-10562)/(-18) + 18/81 prime?
True
Let l = -746 - 602. Is (7/(-14))/(2/l) a prime number?
True
Suppose -1 = -r, 0 = d - 0*r + 2*r - 17. Suppose 0 = 2*g - 5*q - d - 8, 0 = 3*g + 3*q - 3. Is g composite?
True
Is (-5)/((-15)/3456) - 1 a composite number?
False
Let v(t) = 14 + 14 - 5*t - 22. Is v(-5) a composite number?
False
Suppose 1609 + 12176 = 5*j. Is j a composite number?
True
Let l(y) = 48*y**2 - 9*y + 3. Let h be l(-4). Suppose -5*r = 2*m - h, -157 = -r - 0*r + 4*m. Is r composite?
True
Suppose 348 = 3*b - 33. Is b a composite number?
False
Let z(c) = 2*c**3 - 6*c**2 - 5*c + 7. Let k(n) = -5*n**3 + 19*n**2 + 15*n - 22. Suppose -24 = -4*b + 8. Let o(j) = b*z(j) + 3*k(j). Is o(-7) composite?
False
Suppose 0 = 3*t - 251 - 22. Is t a prime number?
False
Let g = -111 - -488. Is g composite?
True
Suppose 3*p + 23 = 4*q, -2*q + 12 = -2*p - q. Let g(w) = -5*w**2 - w + 4. Let i be g(p). Is 2/(-2) + i/(-1) a composite number?
True
Let w be 92/1*6/3. Is w + -1*(1 + -2) prime?
False
Let m = -1186 + 1697. Is m prime?
False
Suppose c - 14 = -c. Suppose -489 = c*x - 10*x. Suppose -5*u + 855 = 5*i, -i + 3*u + 0*u + x = 0. Is i prime?
False
Let i be (-1 - 0)/(1/(-3)). Suppose -i*b + 598 - 217 = 0. Is b a composite number?
False
Let f(p) be the first derivative of 2*p**3/3 - 8*p**2 + 11*p + 2. Is f(11) composite?
True
Let f = -223 - -472. Is f a prime number?
False
Let t = 4 + -2. Suppose -8 = 2*c, 5*i - t*c + 265 + 367 = 0. Let w = i - -193. Is w prime?
False
Suppose u - q - 317 - 628 = 0, 5*q = u - 961. Is u a composite number?
False
Let z = 23 + -13. Is (-4)/z - (-185)/25 a composite number?
False
Let x be (-2)/(4/46 - 0). Suppose 3*i + 0*i - 9 = 0. Is x/i*12/(-4) prime?
True
Suppose -m + 5*j = 16, -3*m - 2*m - 2*j = -28. Suppose 2*b + 44 = 5*w + 3*b, b = m. Let k(p) = -p**3 + 11*p**2 - 11*p + 7. Is k(w) prime?
False
Suppose 0 = 4*q + 16, -2*y + 2*q + 846 = 0. Is y composite?
False
Is 1 + (-1)/((-1)/297) a composite number?
True
Let f = 691 + -206. Is f a prime number?
False
Suppose 2*b = -3*b + 775. Let i = b + -40. Is i prime?
False
Suppose 0*p - 12 = 3*p. Is 2*(134/p)/(-1) a prime number?
True
Let u = 3872 - 1315. Is u composite?
False
Suppose 4*w + 3*n - 7589 = 0, 5673 = -w + 4*w - 4*n. Is w prime?
False
Suppose -12 = -3*z, 3*z - 2*z + 741 = 5*h. Is h a prime number?
True
Suppose -5*y + 3*m = -531 + 81, -5*m = 25. Is y a prime number?
False
Suppose -3*j - 3 = -b - 14, -5*b + 5 = 5*j. Let x(a) = 4 - 2*a**j + 2 - 2 - 3*a**2 + 4*a. Is x(-3) composite?
False
Let j(k) = -k**2 - 2*k - 3. Let b be j(-2). Is (-58)/b - (-2)/(-6) a composite number?
False
Let i(h) = 7*h**2 + 0*h**2 + 7 - 3*h**2 - h**2 + h. Is i(-5) composite?
True
Let r = -10 + 50. Suppose 0 = -3*s - s + r. Is s prime?
False
Suppose -1270 - 76 = -2*i. Let h = i - 359. Is h composite?
True
Let j(n) = n**3 - 9*n**2 - 6*n + 2. Let c be j(-9). Let s = c - -1977. Suppose l + 4*l = s. Is l a prime number?
False
Suppose 0 = -3*r + 8*r - 2245. Is r a prime number?
True
Is (53 - (-2 + 2))/1 composite?
False
Suppose o = -2*o - 18. Let k(q) = -3 - 2 - 12*q - 3 + 3. Is k(o) prime?
True
Let s(g) = g**3 - 8*g**2 - 5*g + 1. Let l be s(9). Suppose 2*j - l = 25. Is j a composite number?
False
Let d = -1 + 3. Suppose -d*o = -o - 15. Suppose -10 = -3*t - 2*b, -t - 4*t - 5*b = -o. Is t composite?
True
Let x(h) = -12*h**2 - 4*h - 6. Let f be x(6). Let c = 1117 + f. Suppose 5*d - c = -5*s, -5*s + 65 = -d - 566. Is s a prime number?
True
Let r(d) = -2 + 8*d - 1 + 35*d. Is r(2) a prime number?
True
Suppose 2*k = -0*k + 106. Is k a prime number?
True
Suppose n + 16 = 3*n. Let b be n/5 - 4/(-10). Let z = 13 + b. Is z a composite number?
True
Let r = -299 - -162. Let b = r - -227. Suppose 10 + b = 4*g. Is g composite?
True
Let y = -234 - -655. Let j = y + -230. Is j composite?
False
Suppose 2*m + 10 - 2 = 0, 4*d = -3*m + 4. Suppose -p + d*p - j - 14 = 0, 3*p + 2 = 5*j. Is (p/(-