 = 4*z. Suppose -f = 3*n - z, 7*f - 5*n = 4*f + 1076. Is f a composite number?
True
Let w(l) = 4*l**2 + 87*l + 55. Is w(-26) prime?
False
Is (-2)/((-36)/10305*5/118) a prime number?
False
Let z(o) be the second derivative of o**3/3 + 17*o**2 + 5*o. Is z(12) a composite number?
True
Suppose 0 = 6*w + 6*w - 3084. Is w a prime number?
True
Is (-11283*(-1)/6)/((-13)/(-26)) prime?
True
Let u(a) = 4*a**2 + 59*a - 359. Is u(-62) composite?
True
Suppose -277*t = -284*t + 28777. Is t composite?
False
Suppose -4*c = -3*j + 2869, 4*j - c + 3*c = 3840. Is j composite?
True
Let d be 2/(-10) + (-11)/(-55). Suppose x - 2*x - 2*s + 173 = d, 4 = 2*s. Is x composite?
True
Let s(i) = 233*i**2 - 3*i + 38. Is s(7) prime?
False
Let u(r) = r + 4. Suppose -3*z + 4 = -4*z. Let h be u(z). Suppose o + h*v = -2*v + 69, 0 = -2*o + 2*v + 162. Is o a composite number?
True
Suppose 68 = -5*j - z + 320, 5*j + 4*z - 258 = 0. Is -1 - 2/(-5) - (-5330)/j a composite number?
True
Let i = -26 - -29. Suppose 2*c = i*k - 1613, 5*k + 5*c - 2475 = 180. Is k a composite number?
True
Let j(b) = 633*b + 67. Is j(4) prime?
False
Let d = 1586 - 867. Is d prime?
True
Let z(u) = 2*u + 13. Let h be z(-11). Let q be ((-1)/(-3))/(1/h). Is (507 - -2)*(-3)/q a prime number?
True
Suppose b - 7 = -2*n, 5*b + 3*n - 11 = -n. Let h(c) = 2 - 1 - 2 - 4*c. Is h(b) composite?
False
Let y = 4885 - 3404. Is y composite?
False
Let o(d) = -d + 2. Let x = 5 - 7. Let n be o(x). Suppose -5*a - 5*g + 647 = -g, -2*g - n = 0. Is a prime?
True
Let o(p) = 1473*p**2 + 11*p - 16. Is o(3) prime?
False
Let g(p) = -1897*p**3 + p**2 + 5*p + 4. Suppose 2*v + 11 = -z, 4*z - 3*v - 11 = -0*v. Is g(z) a composite number?
True
Let u be (0 - 0)/(-2 - -3). Suppose u = 4*x + 3*a - 4*a - 5, 0 = -5*x + 3*a + 8. Is x/(-4) + (-2679)/(-12) a prime number?
True
Suppose -1539 = -v + 2*t, 3*t - 8*t = 2*v - 3069. Is v a prime number?
False
Let y = 30720 - 16669. Is y a composite number?
False
Suppose -86*t = -91*t + 2*i + 50175, 4*t = -5*i + 40173. Is t a prime number?
True
Suppose -4*z = -7*z - 4*g - 8, 5*z - 3*g - 35 = 0. Suppose -2*t + 4*t - z = 0. Suppose t*d - 4*h - 738 = 0, 3*h + 1450 = 4*d + 8*h. Is d prime?
False
Let a(l) = -644*l**3 + 2*l**2 + l - 3. Let n = -5 - -3. Is a(n) a composite number?
True
Let g be ((-6)/(-10))/(5/25). Suppose q = 5*p - 630, g*p + q - 366 = 4*q. Is p a prime number?
True
Let c = 2058 - 3970. Let z = -1041 - c. Is z a prime number?
False
Let a = 2201 - 640. Is a prime?
False
Suppose l - 20*l - 3211 = 0. Let u = 544 - l. Is u a composite number?
True
Suppose -2*f = -4*t + 10, -5*f + 2*t + t + 10 = 0. Suppose -f*i - 50 = -5*o, 2*o = -0*i + 4*i + 18. Is o a composite number?
False
Suppose y + 1 = -2*g - 6, 3*g + 33 = 3*y. Is 10 + g + (-1 - -736) composite?
False
Is ((40215/6)/(-7) - -7)*-2 composite?
False
Suppose 3*s + 79 = 5*c - 1807, 2*c = -5*s + 773. Is c a composite number?
False
Let o(q) = -5*q + 5*q + 2*q + 3*q**2 + 23 - 25. Is o(-7) prime?
True
Let x = -11948 - -46882. Is x prime?
False
Suppose 4*b = 3*t + 82046, 41020 = 63*b - 61*b - 3*t. Is b prime?
False
Suppose b = 266 + 1133. Is b prime?
True
Let d be 12 - 6 - (-2 + 3). Suppose -2*i - 2466 = -d*q + 921, 4 = i. Is q prime?
False
Suppose -1003*v = -1007*v + 2596. Is v composite?
True
Let v = 1698 + -899. Is v composite?
True
Let o(c) = -c**3 - 3*c**2 - 2*c + 1. Let x be o(-4). Suppose -4*f + 0*p - 20 = 2*p, -x = 3*f - p. Let w(q) = -29*q + 6. Is w(f) prime?
False
Let o = -84 - -85. Let w be -5 + (1 - -1) + 0. Is -1*(w + o + -45) a prime number?
True
Let j(v) = -v**3 + 26*v**2 - 30*v + 35. Is j(24) prime?
True
Suppose -6*w + 5*w = -1287. Let l = w - 658. Suppose 3*k - 774 = -z + l, 0 = z + 4. Is k composite?
True
Suppose 2*p + p = -1905. Let m = p + 1677. Suppose -3*x = -x - m. Is x a prime number?
True
Let p(q) = 9*q**3 - 27*q**2 - 9*q - 19. Let o(v) = -4*v**3 + 13*v**2 + 4*v + 10. Let d(u) = 7*o(u) + 3*p(u). Let s = 38 - 28. Is d(s) a prime number?
True
Let t = -20 - -25. Suppose -y - 3*m - 2*m - 41 = 0, 0 = t*m + 15. Is y/3*(-231)/22 a prime number?
False
Let c be (-5)/(1 + (-8)/4). Suppose -c*g + 4*l = -3 - 5, -1 = 2*g - 3*l. Is (-1)/g + 1005/4 a composite number?
False
Suppose 0 = -5*l + 2489 - 394. Is l a composite number?
False
Suppose -4*z = -2*l - 10798, 5*z + 8497 = l + 21999. Is z composite?
True
Let q(f) = 120*f**2 + 3 - 4 + 2*f - 2*f. Is q(-2) prime?
True
Suppose 6*c + 6107 - 18863 = 0. Let b = c + -867. Is b a composite number?
False
Let s = 81 - 47. Let j = 7 + 6. Let c = s - j. Is c composite?
True
Let z(g) = -2*g**3 - 11*g**2 + 36*g + 31. Is z(-10) a composite number?
False
Let u be ((-2)/1)/(8/(-3020)*-5). Let z = 1 - 481. Let l = u - z. Is l a composite number?
True
Suppose 2*a + 3*d = 4*d + 8613, -4284 = -a + 5*d. Suppose a = 5*l - 2596. Is l a prime number?
True
Let u = 34814 - 20533. Is u prime?
True
Let r(n) = 27 - 12*n**2 + 10*n**3 - 9*n**3 - 11 + 24*n + 34*n**2. Is r(-9) composite?
False
Let h be 6/27 + 7896/(-54). Is h/2*(5 - 8) prime?
False
Let v be -1*2/8*0. Is v - -1 - 0 - -140 composite?
True
Let u be (-144)/(-9)*(-403)/2. Let d = u - -4787. Is d a composite number?
True
Let w = 31 + -57. Let o = w + -43. Let s = -44 - o. Is s a composite number?
True
Suppose -5*o = 1 + 24. Let b(k) = -13*k**2 + 2*k + 6*k**2 + 9*k**2 - 4 + 11. Is b(o) a composite number?
False
Let f(i) = -i**2 + 5*i - 4. Let z be f(3). Let c(y) = -y**z + 13*y**3 - 3*y**3 + 3*y**3 - 5*y**3. Is c(1) prime?
True
Suppose 0 = 8*q - 229011 + 4091. Is q a composite number?
True
Let l be -2*5/10*-807. Suppose 5*g = 3*z + l, 0 = -g + 3*z + 25 + 146. Is g prime?
False
Suppose 557911 = -1827*z + 1850*z. Is z composite?
True
Let t = 72 + -72. Suppose t*l + 4*l = -s + 8208, 0 = 4*l - 4*s - 8228. Is l composite?
False
Let d be (-9 - -5)/((-1)/4). Let t be 3*(4 - d/6). Suppose -454 = -4*v + 4*b + 478, -t*b + 8 = 0. Is v a prime number?
False
Let v = -16 + 19. Suppose 0*s - v*s - 2*c + 1553 = 0, 4*s - 2065 = 3*c. Is s a prime number?
False
Let s = -359 - -671. Let k be 5*(-3 + 4) - -130. Suppose s + k = 3*l. Is l composite?
False
Suppose -15833 + 1578 = -5*t. Suppose 5*o = t - 486. Is o prime?
False
Let m = 237 - -21580. Is m a prime number?
True
Let h be (-2)/(-4) + (-18)/(-4). Suppose 35 = 2*n - 3*f, -n - 55 = -h*n + f. Let v = n - -9. Is v a composite number?
True
Let j = -88 + 138. Let b(f) = f**3 + 3*f**2 + f - 2. Let y be b(5). Let t = j + y. Is t prime?
False
Let w(p) = -7*p - 7*p**2 + 29*p**2 - 5 - 7*p**2. Is w(-7) prime?
False
Let y(h) = h**2 - 3*h + 3. Let v(t) = t**3 - 5*t**2 + 2*t + 5. Let x be v(4). Is y(x) composite?
True
Suppose 0 = -5*x - 5*v + 8*v + 58970, v = -5*x + 58950. Is x composite?
True
Let z = -2 + 7. Suppose z*p + 1044 + 151 = -2*d, 4*d + 2432 = 4*p. Let j = -136 - d. Is j prime?
False
Suppose -4*f = -5*c + 29, -2*c = 3*c + 2*f - 23. Suppose -c*u - 7 = 4*k - 1, k + u + 1 = 0. Suppose 5*j + k = 711. Is j a prime number?
False
Is (-332367)/(-5) + ((-268)/20 - -13) a composite number?
True
Let b = 29976 + 5047. Is b composite?
False
Let v(c) = -c + 10. Let t be v(7). Let z(m) = m**2 - m - 1. Let y be z(t). Suppose 0 = -3*g + 4*a + 443, 2*a - 332 = -y*g + 415. Is g a composite number?
False
Suppose 3 = 4*a + 3*h - 14, -2*h - 2 = 0. Suppose -a*t + 6*t = 37. Suppose 1972 = t*r - 33*r. Is r a composite number?
True
Suppose i - p + 11 = 4*i, 2*p = -i + 12. Is -1 - -325 - (-1 - (i + -6)) a composite number?
True
Suppose 0 = r + 6303 - 32902. Is r composite?
True
Let b be -1 - 4 - (-632 + -7). Let m = b - -163. Is m prime?
True
Let m = 75 + -15. Suppose -2*q + 28 = u, 4*q - m = -4*u + 56. Let i = u + -9. Is i a prime number?
False
Let v = 1973 - 921. Is 2*(-3)/2 + v a prime number?
True
Is 312790/30 + 1 + (-2)/6 prime?
True
Suppose 0 = 21*c - 948922 + 164803. Is c a prime number?
True
Let l = -29 + 41. Suppose -2*a - 2*r = -r + 3, -2*r = -2*a + l. Is (-1)/(216/(-212) + a) composite?
False
Suppose -167240 = -5*q - 957065. Is q/(-35) - 6 - 4/14 composite?
False
Suppose 0 = 5*u + h - 18, u - h - 14 = -2*u. Suppose 0 = -f - 3*y + 112, f - 6*f + u*y = -655. Is f prime?
True
Suppose 0 = 2*g - 3*f - 29, 2*g = -3*g - f + 47. Let h = g + -7. Suppose -4*q - h*k + 40 = 0, -2*q - 4*k + 10 = -0*q. Is q prime?
True
Suppose 920*p = 919*p + 1171. Is p a prime numb