(-6). Let h be (-16830)/d - 4/18. Let b = 85 - h. Is b a prime number?
True
Let s(v) = -145*v**2 - 2*v + 8. Let p(d) = -144*d**2 - d + 9. Let u(y) = 3*p(y) - 4*s(y). Is u(2) a composite number?
True
Suppose 103653 + 81662 = 13*q. Is q prime?
False
Let z be -5 + 2 + -2 + 3. Is (1 + 12 + z)/((-4)/(-68)) a prime number?
False
Let b(n) = 92*n + 289. Is b(5) composite?
True
Is 54 - 54 - -4861*1 prime?
True
Suppose 0 = -3*h - 6, -6*h = -2*g - 11*h + 696. Is g prime?
True
Let h(l) = -3*l + 6. Let u be 4*2/(-5 - -4). Let w be h(u). Suppose -2*p + 4*b = -w, 12 = p + 5*b - 8*b. Is p composite?
True
Let i be 4*(4/1 - 3) - 2. Let u(j) = -2*j + 4*j**2 + 4 - 5 + 14*j**2. Is u(i) prime?
True
Let o = 14 - -4. Suppose -16*y + 1200 = -o*y. Let a = y + 1019. Is a composite?
False
Suppose -5479 = -4*j - p, 3*j - 3*p = 4*j - 1356. Suppose q - j = 286. Is q a composite number?
False
Suppose 0 = m - 4*r + 2*r + 2, 4*m - 13 = r. Let p = 6 - m. Is (-470)/(-8) - p/(-8) prime?
True
Let f(g) = -g**2 + 10*g - 6. Let n be f(9). Suppose x = -o + 3*o + 4, -n*x - 5*o = -12. Is x/30 + (-86)/(-30) a prime number?
True
Is (36944/(-32))/((-1)/2) a prime number?
True
Let t(s) = -2*s**3 - 3*s**2 + 9*s - 3. Let z(y) = -y**3 - 2*y**2 + 4*y - 2. Let g(u) = 4*t(u) - 9*z(u). Let d be g(-6). Is 4/d*309/2 a prime number?
True
Let s be (-76)/6*18/(-12). Suppose 35 = 2*v - s. Suppose -v = -3*l + 66. Is l prime?
True
Let a(n) = 5*n - 15. Let c be a(4). Suppose -1303 + 218 = -c*d. Is d composite?
True
Let i(k) = -k**3 - 8*k**2 + 5. Let w(d) = -d**2 + d - 8. Let z be w(0). Let s be i(z). Suppose s*l + 3*r = 293 - 33, 0 = -4*l - 5*r + 221. Is l prime?
False
Let l = 12495 - 5318. Is l a composite number?
False
Suppose -7*a = -a - 96. Is (8/a)/(2/92) composite?
False
Suppose -l = -2*l + 11. Let c(b) be the first derivative of 5*b**2/2 + 12*b + 5. Is c(l) a prime number?
True
Suppose -3 = -3*l + 3*i, l - 3*i + 3 = 2. Is (1187/(-2))/(l/4 + -1) a prime number?
True
Is (-5 - -3)/(-6) + (-131232)/(-18) a composite number?
True
Suppose -2*b - 3*b + 9 = -2*c, -2*c = 5*b - 21. Suppose -6 = -2*s, -3*s + s = -z - b. Suppose 82 = z*t - 29. Is t composite?
False
Let w(s) = s**3 - 9*s**2 - 14*s + 15. Suppose 36 = 3*m + t, -t = -4*m + 2*m + 19. Is w(m) prime?
True
Let m be 1/3 - 19252/(-6). Let p = -1878 + m. Suppose 3*d - 5*h = p, 1796 = 8*d - 4*d + 4*h. Is d prime?
False
Let q(d) = d**3 - 14*d**2 - 14*d - 12. Let z be q(15). Is z - (-445 + 1) - -2 composite?
False
Let p be (-1097 - 1)/((-6)/(-9)). Let j = 3338 + p. Suppose 5*z = 3*v - j, v + v - 3*z = 1126. Is v prime?
True
Let t = -28 + 17. Let s = -27 + t. Is s/57*282/(-2) composite?
True
Is 2912 - (-2 + 7 - 14) composite?
True
Suppose -4*h + 6*h = -12. Let u(n) = -n - 4. Let d be u(h). Let f(a) = 205*a - 1. Is f(d) composite?
False
Let g be 125/(-10) - 1/(-2). Let n = g - -11. Let x(i) = 14*i**2 + i + 1. Is x(n) composite?
True
Let h(i) = -i**3 + 4*i**2 + 2*i - 6. Let j be h(-5). Suppose 4*w = -f + 778 + 58, -w + 4*f = -j. Is w composite?
True
Suppose 0 = l - 3*i - 3485, 1 = -i + 3. Is l composite?
False
Suppose x = 10*x. Suppose 0 = 2*k - 8, x = -3*g - 8*k + 3*k + 4217. Is g a composite number?
False
Let p = -6608 - -10875. Is p a prime number?
False
Suppose 6*q + 245 = 5*q. Let d = 372 + q. Is d composite?
False
Suppose 3*r - 10*a + 12*a = 88, 0 = 4*r - a - 99. Is r a prime number?
False
Let k = -27 - -25. Is k/16 - 271557/(-104) prime?
False
Suppose -3*a + 8*a = -90. Let y = a + 262. Suppose 4*c - 592 = -y. Is c composite?
True
Suppose 5*f = -2*a + 2805, -5*f - 1111 = -7*f - 3*a. Is f composite?
False
Let v(l) = 4*l**2 + l - 23. Let h be v(4). Suppose -6*y + 3*d + 378 = -y, -2*d + 8 = 0. Let b = y - h. Is b prime?
False
Let j be (-5)/(-1) - -12*2/(-8). Suppose 0 = c + 7 - 4, -j*g + 1900 = 2*c. Is g a prime number?
True
Let b(j) = 12*j**2 - 16*j + 1. Let p(f) = -f**2 - 3*f + 21. Let k be p(4). Is b(k) a composite number?
False
Let v = -21 + 12. Let g be ((-16)/(-12))/(6/v). Is ((-4)/8)/(g/212) prime?
True
Let k(d) = 2*d - 7. Let g(h) = h - 1. Let x(b) = -4*g(b) + k(b). Is x(-7) composite?
False
Suppose n + 3*f - 6518 = 0, -4*n + 13040 = -2*n + 2*f. Is n a prime number?
True
Suppose z - 20 - 15 = 0. Suppose a - 5*g - z = 0, 2*a + 64 = 6*a - g. Is a a composite number?
True
Suppose 6384 = w + 2*a - 3*a, -w + 5*a = -6380. Is w composite?
True
Suppose 0 = 5*u + 4*r - 296, -4*r + 45 = u - 27. Let z(a) = -a**2 - 7*a - 10. Let j be z(-4). Suppose 6*m = j*m + u. Is m prime?
False
Suppose 2*r + 4 = 8. Is (-2205)/(-14) + 3/(12/r) prime?
False
Let k(s) = 24*s**2 + 2*s + 11. Let v be 7 + (2 + 2)/(-4). Is k(v) composite?
False
Let k = 73839 - 30608. Is k a composite number?
True
Let x(k) = -k**3 - k - 14. Let p be 18/8*104/(-39). Let g be x(p). Let r = 279 + g. Is r a prime number?
True
Is (16190/2 - 215/43) + 8 prime?
False
Let m = 746 + -411. Is m composite?
True
Suppose 4*q + 2 = 14. Suppose 0 = q*g - 6*g. Is (4 - (1 - g)) + 16 prime?
True
Suppose 2*w + 8*w = 5530. Is w a prime number?
False
Let f = -1520 + 880. Let u = 1385 + f. Is u a prime number?
False
Let g = -20 - -20. Let j = g + 3. Is 3*(j - 728/(-12)) composite?
False
Suppose -3*h - 2*x + 1055 = 0, 5*x + 1473 = 5*h - 277. Let v = h + -211. Suppose -v = -a + 65. Is a a prime number?
False
Let u = 11942 + 9161. Is u composite?
True
Suppose 5*l = 2*l + 3, -4*t + 4600 = -4*l. Is t prime?
True
Suppose -22*r + 252520 = -336178. Is r a composite number?
False
Suppose 5*o = 16517 + 4273. Suppose 0*n + 3*n = -5*v + o, -3*v = -n + 1372. Is n composite?
False
Let w(t) = -770*t - 17. Let v(j) = -2*j - 10. Let u be v(-1). Is w(u) composite?
False
Suppose 4*i - 179018 = -2*z, 3*i - 180565 = -3*z - 46297. Is i composite?
False
Let g = 22 - 32. Let b be 21/(-15) + (-4)/g. Let q(a) = -4*a**3 + a. Is q(b) prime?
True
Suppose -2*c - 20799 = q, c = -2*q - 2*q - 10417. Is (c/6)/(-1) - (-1)/6 composite?
False
Suppose -3*c - 31 = -5*a, -4*a + 2*c + 18 = -a. Suppose 14*p - 3114 = a*p. Is p a composite number?
True
Let w(g) = g**3 - 13*g**2 - 12*g - 4. Let b(i) = i**3 - 12*i**2 - 12*i - 4. Let l(n) = 7*b(n) - 6*w(n). Is l(11) a prime number?
False
Let u(r) = r**3 + 8*r**2 - 6*r + 5. Suppose -36 = 7*d - 3*d + 5*t, 2*t - 27 = 3*d. Let s be u(d). Is (-6442)/s - 28/(-154) a composite number?
False
Suppose -22*i + 2244 = -32758. Is i composite?
True
Let s(a) = -60*a**3 - a**2 - 4*a - 3. Let g be s(-2). Suppose 0 = 29*l + 7083 + 1037. Let w = g + l. Is w a prime number?
False
Let g be (2 + (-3025 - -3))*5/(-2). Suppose 5*r = -2*x - 0*x + 2989, 3*r + g = 5*x. Is x composite?
True
Let o be 14/4 - (-4)/(-8). Suppose -4*x = -o*x. Suppose 3*a + x*g = g + 358, -4*a - 2*g = -474. Is a composite?
True
Suppose 0 = 4*z - 0*z. Let j be (1 - -6) + (z - 3). Suppose -j*x = -3*x - 119. Is x a composite number?
True
Let h(q) = -28*q**3 - q**2 - 8*q - 11. Let c be h(-4). Let x = 3774 - c. Is x a prime number?
False
Let b(y) = -10*y**2 + 4*y + 2. Let o(d) = -19*d**2 + 9*d + 4. Let m(x) = 11*b(x) - 6*o(x). Is m(4) prime?
False
Suppose -5*j - 4*z = 156, 3*j = -2*j - 5*z - 160. Let x be 26/(-7) + 8/j. Let o(d) = 9*d**2 - 6*d - 1. Is o(x) composite?
False
Suppose -4*k - 32 = -12, i + k = 4224. Is i composite?
False
Suppose 0 = -5*i - w + 353, -9 = 2*w - 5. Let g be 4*(1 - 49/(-2)). Let p = g - i. Is p composite?
False
Is ((-2)/5)/(44/(-2045230)) a prime number?
True
Is (2 - 5/3)*(4616 - -7) prime?
False
Let r = -11 - -11. Suppose h + a + 2 - 13 = r, 7 = h + 3*a. Suppose 44 = m + h. Is m a prime number?
True
Let k(i) = -951*i + 101. Is k(-27) composite?
True
Suppose -2*x + 7828 = -3*u - 771, -2*u + 4317 = x. Is x a prime number?
False
Suppose -11*w + 25 = -30. Suppose 2*f - 5*f = 2*j - 79, -129 = -w*f - 2*j. Is f a prime number?
False
Let r = -31 + 36. Suppose -r*g + 427 = -1068. Is g a composite number?
True
Suppose 0 = -8*t + 13*t - 190. Is (0 + t/(-6))/((-2)/6) prime?
True
Suppose 2*n = 3*h - 161422 - 80115, -2*h + 161028 = 2*n. Is h a prime number?
True
Let a(c) = -3*c**3 - 9*c**2 + 53*c + 28. Is a(-13) a prime number?
True
Let d = 6 + -2. Let s(z) = -16*z - 8. Let f be s(d). Let k = f + 169. Is k composite?
False
Let r = 2567 - -3522. Is r prime?
True
Let w be (-2)/9 - 2780/(-36). Is w + (0 - -2) - 0 composite?
False
Let i(v) = -v**3 - 6*v**2 - 3*