10, b + 2266 = -b - 4*h. Let v = -136 - b. Suppose 2*d = -d - 3*s + v, -5*s = 3*d - 987. Is d composite?
True
Let f(r) = 2*r**2 + 10*r - 5. Is f(-22) a composite number?
False
Let g be (-2 + (-2)/(-3))*-3. Let m(o) = 20*o**3 - 6*o**2 + 2*o + 1. Is m(g) prime?
True
Let f = 11 - -207. Suppose 2*p + p + 3*j = -162, 0 = 4*p - 4*j + 240. Let s = f + p. Is s prime?
False
Suppose -5 = -2*h + 3. Suppose 3*r - 2744 = -h*z, 4*r - 3684 = -z + 2*z. Suppose 0 = -0*a + a - 4*d - 199, -5*a + 5*d = -r. Is a prime?
True
Suppose 9*g - 21*g + 84828 = 0. Is g prime?
True
Let q be ((-2)/4 + 0)/(9/(-72)). Suppose q*a - 416 - 888 = 0. Is a composite?
True
Let j(x) = -3*x**2 + 3 - 3 + 3 + 5*x**2 + 14*x**3 + x. Let d be j(-3). Let g = -211 - d. Is g prime?
True
Let s = -42 + 62. Suppose 4*q - 6 = 2*l + 16, -5*l + 3*q - s = 0. Is l/(-8) - 37905/(-56) prime?
True
Suppose -14*m = -11*m + 12. Let k be 24/(6 + m) - 4. Let o(w) = 6*w**2 - 6*w + 1. Is o(k) a prime number?
True
Suppose 3*u + 32 = p, -4*p + 2*u + 144 = 6*u. Suppose 38*s - p*s = 222. Is s composite?
True
Let a(i) be the first derivative of -5*i**2/2 - i - 5. Let x be a(1). Is ((-222)/(-2))/(x/(-4)) composite?
True
Suppose 0 = g - 579 - 5179. Is g composite?
True
Suppose 2*j + 243 = -4*t + 37, 0 = -3*t - 12. Let g(u) = 8*u**2 + 4*u - 6. Let l be g(4). Let r = j + l. Is r prime?
True
Suppose 0 = -3*i + 2*k - 1, -2*i - 3 = 3*k - 2*k. Is (-6)/(-3 - i)*83 prime?
False
Let q be (-291)/(-3)*3 - -2. Suppose 3*x + 5*d - 662 = 217, -x = -2*d - q. Is x a composite number?
False
Let w(q) = q + 1. Let d be w(5). Suppose d*g = 11*g - 745. Is g a prime number?
True
Suppose 94*r = 69*r + 204325. Is r a prime number?
False
Suppose 3*q - 4*w - 39084 = -1363, 4*w = -4*q + 50276. Is q composite?
True
Is ((-12299)/(-3))/(10/30) + -6 composite?
True
Suppose 8*h + 129 = 5*h. Let s = 204 + h. Is s prime?
False
Suppose 7 - 1 = -3*r. Let y be 7 + (1 - r) + -4. Suppose -4*u = -2*o + 216, -5*u = y - 1. Is o prime?
False
Suppose 0 = 21*t - 17*t - 62484. Suppose -4575 + t = 6*x. Is x a composite number?
True
Suppose -3*n = -f - 14213, 2*n - 3227 = -4*f + 6267. Is n a prime number?
False
Suppose 4*l + 9*o = 4*o + 30, 11 = l + 3*o. Suppose 3*i - l = -0*h - h, -4 = -4*i. Suppose -2*f = -2*y - 78, -6*y = -h*y + 16. Is f a prime number?
False
Let n = 1 + 1. Suppose 3*s = 7*s + 5*d - 2476, -n*s - 5*d + 1248 = 0. Suppose 0 = 2*u - 0*u - s. Is u prime?
True
Suppose 2*q + 172 + 0 = 0. Let a = q - -201. Is a composite?
True
Suppose -3*t = -5*r - 2*t + 97200, 58343 = 3*r + 4*t. Is r prime?
True
Let l(x) = -x**2 + 9*x - 11. Let v be l(10). Let k = 29 + v. Let r(a) = 2*a**2 + 11*a + 3. Is r(k) a prime number?
False
Let u(v) = -1503*v + 7. Is u(-4) a composite number?
True
Is (-172)/(-43)*(-4789)/(-4) prime?
True
Let f(l) = -l**2 - 29*l + 19. Is f(-12) composite?
False
Suppose 4*g - 42 = 6*y - 3*y, 5*y + 2*g = -44. Let h(v) = -v**3 - 6*v**2 + 4*v + 19. Is h(y) a prime number?
True
Let f(j) = -8*j + 35. Let q be f(4). Suppose -2155 = 4*d + q*p - 5718, -d + 882 = -p. Is d prime?
True
Let q = -169 + 480. Let k be (6/(-2))/(-9*(-4)/(-240)). Let p = q - k. Is p composite?
True
Let x(p) = 12*p**2 + 8*p - 24. Let z be x(-11). Suppose -2*u - 3*a = -z, 7*u - 12*u - 2*a = -3361. Is u a composite number?
False
Suppose 4*g - 5 = 3*s, 5*g + 6*s - 2*s - 45 = 0. Suppose 5*y + 5*w = -775, -169 - 606 = g*y + 4*w. Let d = -102 - y. Is d prime?
True
Let v(y) = -y**3 + 3*y**2 - 3*y - 2. Let a be v(2). Is 10602/24 + 6 + 3/a a composite number?
True
Suppose -32*h = -164156 - 27492. Is h a prime number?
False
Suppose 2*f + 11*s = 6*s + 1350, 2*f - 4*s - 1386 = 0. Is f prime?
False
Suppose 0 = 65*p - 103023 - 148007. Is p composite?
True
Suppose 26 - 6 = -2*z. Let s(n) = n**3 + 9*n**2 - 9*n + 13. Let u be s(z). Suppose u*k - 60 = 33. Is k a composite number?
False
Let o be (-36044)/(-36) - (-10)/(-45). Suppose -2*l + 5041 = 3*l - j, -l + 2*j + o = 0. Is l prime?
True
Let y = -12 - -13. Let x(c) = 145*c. Is x(y) a prime number?
False
Suppose 3*n - 5*n + i = -3334, i + 1669 = n. Is ((-1)/(-3))/(5/n) composite?
True
Suppose 19*y - 216 = 11*y. Let i = 94 - y. Is i prime?
True
Suppose 5*t - 3*t = 8. Suppose -2*o - 10 = -4*o. Suppose t*k + o*w - 531 = 0, -w = -3*k + 2*w + 432. Is k a composite number?
False
Let y = 9 - 3. Suppose y*c + 10 = c, 3*n = -4*c - 383. Let q = 284 - n. Is q prime?
True
Suppose 28*p - 23*p - 37314 = -2*r, -5*r + 93215 = -5*p. Is r prime?
False
Let b be (-9)/(2 - -1) + 13762. Let z = b - 8174. Is (-4)/10 - z/(-25) a prime number?
True
Suppose 3*j = -6 + 6. Suppose j = 3*b - 897 - 456. Is b a composite number?
True
Suppose -25709 = -4*s + 5*m, 3*m + 19283 = 3*s - m. Is s a prime number?
True
Let y be (-4 - -1)*24/(-9). Is 6146/y + 18/24 composite?
False
Suppose -3*g + 830 = 2*g. Let y = g - 53. Suppose -b + y = 5*v - 0*v, 2*b = -5*v + 111. Is v a prime number?
True
Let s(x) = 37*x**2 + 14*x + 362. Is s(-17) a composite number?
True
Suppose 2*i - 3*i = 3*c - 539, 3*i - 1593 = 3*c. Is i a composite number?
True
Suppose -5*t + 5*a = -155, -3*a = 4*t - 9*t + 165. Suppose -3*p + 111 = 4*s + t, 4*s - 25 = -p. Is p composite?
True
Suppose 0 = -o - 2, -2 - 8 = -3*s + 2*o. Let c(i) be the first derivative of 76*i**3/3 + 2*i**2 - 5*i + 2. Is c(s) composite?
False
Let d = 273 - 154. Let w = d - 56. Let x = w - -230. Is x a composite number?
False
Let d be ((-20)/(-6))/((-10)/(-45)). Let t(v) = 3*v**2 - 16*v + 32. Is t(d) a prime number?
True
Suppose 2*p - p = 3. Suppose -2*x = p*a - 13, -4*x + 15 = -a - 18. Let y(d) = 3*d - 1. Is y(x) a composite number?
False
Let m = 1303 + 2808. Is m composite?
False
Let y be 62/10 + ((-21)/15)/7. Is ((-2954)/(-21))/(4/y) composite?
False
Let d = -6 - -11. Suppose -d*f + 4*r = 337, 3*f - 2*f + 77 = -4*r. Is (48/(-9) + 3)*f a composite number?
True
Let f(v) = v + 5. Let m be f(-7). Let p be 1/m + (-2)/(-4). Suppose -3*g + 2*g + 141 = p. Is g a composite number?
True
Let t be ((-2)/(-4))/(9/(-198)). Let i be (-9 - t)*59/2. Is (-6)/(-2) + (i - 3) a composite number?
False
Let k be (-68)/(-18) - 10/(-45). Suppose 6*r + k = -2. Let n(j) = -738*j**3 - 2*j - 1. Is n(r) a prime number?
True
Suppose 5*b + 2*s = 3806, -b + 2*s - 758 = -2*b. Suppose -2*k + b - 128 = 0. Is k prime?
True
Let n = 25160 - -35651. Is n composite?
False
Let t(c) = -27*c - 21. Let a(y) = 2*y**2 + 11*y + 6. Let k be a(-4). Is t(k) prime?
False
Suppose -7772 = 13*o - 17*o. Is o a prime number?
False
Let z = -7180 - -12219. Is z a prime number?
True
Suppose 0 = q + 2*z - 78925, 2*z + 155876 + 238761 = 5*q. Is q a prime number?
False
Let c = -8 - -16. Let d = c + 29. Is d prime?
True
Let h be (-8)/(-12)*-2*-126. Let r = 362 - h. Is r a composite number?
True
Let b = -23 - -28. Let t(c) = 56*c + 13. Is t(b) a composite number?
False
Let r(j) = j + 2. Let t be r(-2). Suppose t = 5*d - 8*d. Let k(q) = q**3 + q**2 - q + 223. Is k(d) a prime number?
True
Suppose 5*m + 41812 = 4*n, -2*n - 4*m + 10453 = -n. Is n a prime number?
True
Is 2/(-12)*-4 - 2017/(-3) prime?
True
Suppose -9 = 2*q + 1, -5*u = 2*q - 5. Let s(y) = -y**3 + y**2 + 3*y + 1. Let g be s(u). Is ((-68)/g)/(1/6) a prime number?
False
Suppose -3 - 2 = -5*k - 5*g, 6 = 5*k + 4*g. Suppose k*j = j + 1002. Is -3*(-1 - j/9) prime?
True
Suppose -3*m = m - 4. Is (-1)/m*-395 + 0 a composite number?
True
Let u be ((-50)/(-15))/(2/6). Let y = u + -6. Suppose y*x - w - 87 = -2*w, 0 = 3*x - 4*w - 51. Is x a prime number?
False
Let w be (-1 - -33)*2/(-4). Let t(j) = -7*j - 4. Let z(c) = -6*c - 5. Let x(a) = -5*t(a) + 6*z(a). Is x(w) a composite number?
True
Let n(w) = -1251*w - 26. Let z be n(6). Is (30/(-9) - -3) + z/(-6) prime?
False
Let i = 4826 - 2925. Is i composite?
False
Suppose 5*h + 3*o = 2592, 2*h = 10*o - 6*o + 1042. Is h a prime number?
False
Let y(p) = -9*p**3 - 7*p**2 - 11*p - 9. Is y(-4) composite?
False
Let s(u) = -3903*u - 23. Is s(-2) prime?
False
Let t(l) = l**2 - 4. Let c be t(-4). Let v be 2/(-4) - (-6)/c. Is v*3/9 - -71 a prime number?
True
Let d = -10014 + 26936. Is d a prime number?
False
Suppose 24696 = 2*j - 6*m + 8*m, -2*m = -j + 12333. Is j prime?
True
Let v = -14 + 17. Suppose v*t + 167 = 605. Let p = 563 - t. Is p composite?
True
Let j = -1374 - -766. Let m = 2673 + -914. Let f = j + m. Is f composi