3*u + 5*i + 15, 4*u + i + 8 + 12 = 0. Let k(v) = 6*v**2 + 5*v - 7. Is k(u) a composite number?
True
Let z(p) = p**2 - 6*p + 2. Let v be z(5). Let x(n) = 3*n - 1. Let u(s) = 15*s - 5. Let m(t) = 2*u(t) - 11*x(t). Is m(v) a composite number?
True
Let h(i) = i**3 - 8*i**2 + 8*i - 5. Let p be h(7). Suppose p*r + d + d - 20 = 0, 0 = 3*r - 4*d - 30. Is 355/3 + r/15 a prime number?
False
Let r be 2 + -1*(3 + 24). Let d = r - -38. Is d a composite number?
False
Let u = -4 + 7. Suppose u*d - 1160 = -d. Is d/14 - (-6)/21 composite?
True
Suppose -21*c + 402 = -18*c. Is c prime?
False
Let k be 2/(-4) - 10/(-4). Suppose -2*m = m + 9, 2*m + 4 = -k*p. Let z = p - -9. Is z composite?
True
Let y(r) = -r + 14. Let z be y(9). Suppose z*s = -3 + 13. Is (7/2)/(s/4) composite?
False
Suppose 3*x - 1829 = -5*c + 1163, -4*c = 5*x - 2391. Is c composite?
False
Suppose -s - 73 = -260. Is s a composite number?
True
Let u = -5 - -3. Let a = 5 + u. Is 1 - a - (0 + -81) prime?
True
Let y = -6 - -11. Suppose 3*u - 3*t = 951, -2*u = 2*u - y*t - 1266. Is u a composite number?
True
Let h(s) = 11*s**2 - 8*s - 16. Is h(-7) a composite number?
True
Suppose -4*b = -0*b + 3*k + 3, 17 = 4*b - k. Suppose b*h - 13 = 2*h. Is h a prime number?
True
Let h = -9 + 15. Suppose -h*m + 238 = -4*m. Is m prime?
False
Let f(p) = -p + 8. Let k be f(6). Let o(a) = 35*a - 3. Is o(k) a composite number?
False
Let i be 2 + 1*(0 - -31). Let m = i + -12. Suppose -r = -m - 12. Is r a prime number?
False
Let p(b) = 20*b + 4. Let o be p(5). Suppose o = 5*m + 4*g - 131, 2*m - 87 = -3*g. Is m a prime number?
False
Let c = 10060 + -6467. Is c a composite number?
False
Suppose -4*w - 28 = -2*w. Let a = w - -91. Is a a composite number?
True
Is ((-998)/3)/((-36)/54) a prime number?
True
Let r(m) = m**3 - 3*m**2 - 2. Let q be r(6). Let j = 173 - q. Is j prime?
True
Suppose 0 = -0*u + u - 619. Suppose -221 = 2*g - u. Is g prime?
True
Suppose -r - 3 = -4*j + 9, 3*j + 3*r + 6 = 0. Is 6/3*127/j a composite number?
False
Let p be (-2)/(-5) + 26/10. Suppose 4*r + p*y - 109 = 0, -5*r - 4*y = -7 - 128. Is r a composite number?
False
Let y be (-24)/(-5) - 5/(-25). Let r(c) = 21*c - 3. Let u(l) = -1. Let w(m) = y*u(m) - r(m). Is w(-7) a prime number?
False
Suppose -6*x + 8436 = -360. Is x prime?
False
Let f(y) = -2*y + 2. Let h be f(-3). Let c be 3/12 - (-38)/h. Suppose -c*g + 0*g + 2*j = -133, -2*j = -2*g + 58. Is g prime?
False
Suppose -7*n + 4 = -3*n. Let g be 2 - 2/n - -2. Suppose -g = 3*x - 8. Is x prime?
True
Let y(j) be the first derivative of 7*j**2/2 - 2*j + 1. Let z(w) = -7*w + 2. Let m(x) = 3*y(x) + 2*z(x). Is m(4) prime?
False
Let h(s) = 411*s + 35. Let k(m) = 274*m + 23. Let z(o) = -5*h(o) + 8*k(o). Is z(4) prime?
True
Suppose 3*n - 771 = -h, 2*h = 4*n - h - 1028. Is n a composite number?
False
Let z(b) = -b**3 + 18*b**2 + 21*b - 7. Is z(19) a prime number?
True
Suppose 2*b + 2324 = 4*w, -b + 1048 + 1857 = 5*w. Is w a composite number?
True
Suppose 2*z + 166 - 1584 = 0. Is z a prime number?
True
Let w = -4 + 6. Suppose -3 = -v + w. Suppose 3*f = -z + 18, 7*z - 140 = 2*z - v*f. Is z composite?
True
Let n(k) = k**2 + 4*k + 4. Let g be n(-5). Let b = -6 + g. Suppose -w = -z + 18, -z - b*w = -0*w - 22. Is z a prime number?
True
Suppose 4*w = -3*j - 0*j + 1627, 3*j = -2*w + 1625. Is j a composite number?
False
Let a be ((-2)/(-6))/(1/15). Suppose -a = 5*o, -5 = -n - n + o. Is (n/2)/((-1)/(-23)) composite?
False
Suppose 11 + 9 = -4*n. Let w = n - 3. Is (4/w)/((-2)/52) a composite number?
False
Let c be (-2)/4 - 3/(-6). Let x = c - -1. Suppose x = -d + 32. Is d a composite number?
False
Suppose -5*x + 908 + 447 = 0. Suppose 5*w - x = 64. Is w a prime number?
True
Suppose -4*q = -737 + 5. Let s = 27 - 55. Let g = q + s. Is g composite?
True
Is (-41562)/(-18)*(-1 + 2) a prime number?
True
Let t = -587 + 1706. Is t a composite number?
True
Suppose 0 = -9*s + 3966 + 4305. Is s prime?
True
Let r = -210 + 121. Let v = -54 - r. Suppose 0 = -3*u + 112 + v. Is u composite?
True
Let x = -37 - -54. Let w be -2 + (x - 3)/2. Suppose w*z + 4*t - 163 = 0, -4*z + 169 = z + 2*t. Is z a composite number?
True
Let q = -326 + 723. Is q composite?
False
Let a(t) = -t**2 - 158. Let v be a(0). Is (-3)/((3 + -1)/v) a prime number?
False
Suppose w - 1 = -3*s + 2, 0 = 4*s - 4*w - 20. Let y(i) = -9*i**3 - i**2 - i - 2. Let q(k) = -k**3 - 1. Let l(u) = 3*q(u) - y(u). Is l(s) composite?
False
Suppose 6*x = 3*x + 879. Is x composite?
False
Suppose -3*s - 7 = 14. Let g(o) = o**2 - 6*o + 3. Is g(s) a prime number?
False
Let s be 25/((-3)/9*-3). Let k = 74 - s. Suppose o = 2*o - k. Is o composite?
True
Let j be (-2 - -2) + 1 + -3. Let z = 0 - j. Suppose -4*o = -2*q - 68, 25 = 3*o - z*q + 7*q. Is o a composite number?
True
Suppose 15*m - 155 = 10*m. Is m a prime number?
True
Let x(w) = -w**3 + 6*w**2 - 4*w - 1. Let i be x(5). Let o = -4 + i. Is 0 + o/1 + 33 a prime number?
False
Let c(d) = d - 89. Let l be 0*(-1 + 6/3). Let i be c(l). Let t = 126 + i. Is t composite?
False
Suppose 7 = 4*t - 1, -2*t - 1480 = 4*l. Let h be 2/9 + l/9. Let k = h + 63. Is k composite?
True
Suppose -4*t + 2114 = -2*u, -2*t + 1578 = t + u. Is t a composite number?
True
Is 218/(-24)*-418 - 3/(-18) a composite number?
False
Let m be (-10)/(-6) + 5/15. Is (1 + m + 0)/1 prime?
True
Suppose 2*d = 3*y, -y + 8 = 3*d - 3. Suppose -d*s = 2*l - 109, 2*s = l + 40 + 28. Is s composite?
True
Suppose -f + 150 - 664 = 0. Let w = f - -905. Is w a composite number?
True
Let t(l) = -4 - 2*l + l + 2. Let i be t(-5). Suppose -4*c - 3*a + 62 = 0, -i*a = -9*c + 4*c + 64. Is c a composite number?
True
Let w = -773 - -2766. Is w a composite number?
False
Suppose 16*g = 17*g - 1405. Is g a composite number?
True
Is (116/(-8))/((-4)/16) a composite number?
True
Suppose -2*d - 1932 = 2*d. Is (-1)/(-4) - d/4 a prime number?
False
Let c be 2/(-3) - (-22)/6. Suppose 0 = -k + c*k - 130. Is k prime?
False
Suppose -13*j + 10*j = 30681. Is (-10)/(-45) + j/(-27) a composite number?
False
Is 4/(-3) + 1214/6 prime?
False
Let v = -105 + 164. Is v a composite number?
False
Suppose 0 = -3*f + 2*r + r - 78, -20 = 4*r. Let w = f + 64. Is w a composite number?
True
Let c = 415 + -93. Let y = 496 - c. Let a = y - 121. Is a a composite number?
False
Let y(b) = 27*b - 4. Let s(v) = 3*v**3. Let n be s(1). Is y(n) a prime number?
False
Let t(v) = -v**2 - 5*v - 3. Let a be t(-2). Suppose 1 = 5*h - 4. Is (h/3)/(a/279) prime?
True
Suppose 4*k - 15 = -k. Suppose 8*g - 20 - 44 = 0. Suppose g*s - 395 = k*s. Is s composite?
False
Suppose 3*z + 4*k + 52 = 9, -79 = 4*z + k. Is (-404)/(-7) - 6/z a prime number?
False
Suppose m + 13410 = 5*k - 0*m, -13395 = -5*k - 2*m. Is k prime?
False
Let x(h) = 103*h - 3. Suppose u + 1 = b, 3*b + 4 - 7 = 2*u. Suppose 2*l - 5*r + 6 = 0, -2*r + 6 = -u*l + l. Is x(l) a composite number?
True
Let c be 5 + -1 + 1 + -1. Suppose 2*y - 21 - 3 = 4*f, 0 = 2*y + 3*f + c. Suppose 5*m - 3*a - 207 = 0, -a + y = m - 31. Is m a composite number?
True
Let c(k) = k**3 + 8*k**2 - k + 11. Is c(-7) prime?
True
Let d = -8 - -12. Suppose -z - 3*h - h + 71 = 0, d*z - 5*h - 326 = 0. Is z composite?
False
Suppose -4*v - 1711 = -4691. Suppose -j + 6*j - v = 0. Is j a prime number?
True
Let q = -6 + 7. Is (0 + q)/((-1)/(-611)) composite?
True
Let y = -6 - 1. Let c = 8 + y. Is (21/c)/((-3)/(-2)) a composite number?
True
Suppose -3*o = 2*z - 767, -3*z = o - 2*z - 257. Is o a composite number?
True
Suppose j - 8*j + 3689 = 0. Is j prime?
False
Suppose 5*a - 1790 = -5*i, -7*i = -3*i + a - 1435. Is i prime?
True
Let z(c) be the third derivative of 17/120*c**6 + 1/12*c**4 + 0 + 3*c**2 - 1/2*c**3 + 1/30*c**5 + 0*c. Is z(2) prime?
False
Let o = 40 + -19. Is o composite?
True
Let m = 254 + -146. Is (-1)/(-2) + m/8 composite?
True
Let c be 3 + 46 + (-2 - -3). Let i(v) = v**3 - 5*v**2 + v - 5. Let t be i(4). Let f = c + t. Is f a composite number?
True
Suppose -2*x + 658 = d + 81, -3*d + 3*x = -1749. Is d composite?
True
Let f(d) = d**2 + 4*d - 1. Let h(w) be the second derivative of w**3/6 - w**2 + w. Let x be h(6). Is f(x) a composite number?
False
Suppose -36 - 39 = -3*b. Suppose -r = -12 - b. Is r a composite number?
False
Suppose -2*s = -2644 + 414. Is s a prime number?
False
Let u be 3*(7/3 + -1). Let x = -232 - -567. Sup