z = -8471 + 12166. Is z composite?
True
Suppose 0*p + 18*p - 4644 = 0. Let i = p + -181. Is i prime?
False
Let r(l) = 139*l**2 + 7*l + 101. Is r(-8) a composite number?
False
Let z(t) = -2*t**3 - 13*t**2 - 14*t - 8. Let b be (-2)/(-3) - (87/9 - -4). Is z(b) a prime number?
True
Let t = -669 + 1846. Is t prime?
False
Suppose 3*t + 1087 = -5*p + 239, 0 = -p + 5. Let r = t + 519. Suppose 3*f - 343 = 4*o - 2*o, 2*o + r = 2*f. Is f a composite number?
True
Is 21784028/(-196)*(-1 - 0) a composite number?
False
Suppose 5*v + 3*n - 83009 = 0, 0 = -7*v + 8*v - 3*n - 16609. Is v composite?
False
Suppose 5*z = 4*j - 240, -3*z + 98 = 2*j - 0*z. Let y(c) = -c**2 + 7*c + 4. Let t be y(7). Suppose 0 = -4*i - t*x + 76, 49 + j = 5*i + 2*x. Is i a prime number?
False
Suppose 183 = -6*f - 165. Let n = 525 + f. Is n a prime number?
True
Let i = -38 + 42. Is -5 + 11 + 42 + i/(-2) a prime number?
False
Let k = 3 + -10. Let m(b) = b**2 + 8*b + 7. Let p be m(k). Suppose p*r = -2*r + 106. Is r prime?
True
Let z(k) = -55*k**3 - 16*k**2 + 26*k + 146. Is z(-13) composite?
True
Suppose r - 5*z = -669, -2*r - 4*z = -0*r + 1338. Is (-3 + -3)*r/18 prime?
True
Suppose 20 = 2*l + 38. Let w = 6 + l. Let d(c) = -88*c - 10. Is d(w) a composite number?
True
Suppose 4*x = -m - 2 + 6, -5*m - 10 = 5*x. Let o be (2/m)/((-7)/322). Suppose -o = -12*d + 11*d. Is d composite?
False
Let b(h) = -22*h + 1. Let z be b(3). Is (3939/z)/((-2)/10) a prime number?
False
Let z(c) = 518*c**3 - 2*c + 1. Let q be 4/20 + (-4)/(-5). Is z(q) composite?
True
Let s(a) = -a**3 - a**2 + a + 74. Let v be s(0). Suppose v = -2*z - 64. Let f = -38 - z. Is f composite?
False
Let q(t) = -2*t**2 - 27*t + 17. Let o be q(-14). Suppose o*g + 4*b - 2069 = 0, 4*b = 4*g - b - 2769. Is g prime?
True
Let j(p) = 517*p**2 - 29*p - 209. Is j(-10) composite?
True
Suppose 5*h = -5*x + 50, -4*x + 34 = 4*h - 3*x. Let o be 8606/8 + (-6)/h. Let v = o + -570. Is v prime?
False
Suppose -183 - 1281 = 3*s + r, 0 = -3*s + r - 1458. Let i = 956 + s. Is i a composite number?
True
Let t = 148 - 147. Let m = -18 - -12. Let z = t - m. Is z composite?
False
Suppose -2*l - o = 2*l - 20106, 0 = -5*o - 10. Is l a prime number?
False
Let p = -182 + -82. Let f = 205 - p. Is f a composite number?
True
Suppose -24*d + 4275 + 169557 = 0. Is d prime?
True
Let y = 35 + -21. Let a = -9519 - -5640. Is a/(-21) + 4/y composite?
True
Let y = 21605 + -9844. Is y prime?
False
Let m = 39 - 35. Suppose m*h = 12*h - 6008. Is h a composite number?
False
Let v(i) = 163*i**2. Let l = -15 + 14. Let m be v(l). Suppose 3*f - m = 2*f. Is f composite?
False
Suppose -134*c - 20511 = -143*c. Is c prime?
False
Let m be 45/36 - (-3)/4. Let d be (m + 0)*(-1 + 5). Is ((-201)/6)/((-4)/d) a prime number?
True
Let q(m) = m**2 + 33*m - 35. Let b be q(1). Let g(p) = 41*p - 110*p + 0 + 2. Is g(b) prime?
True
Suppose 21 - 1 = -5*o, 4*a + 4*o - 852 = 0. Let g = -128 + a. Is g a prime number?
True
Suppose u - 152 = 2*u. Let g = 859 - u. Let m = -326 + g. Is m a composite number?
True
Let c(j) = -1123*j**3 - 4*j**2 - 8*j - 1. Is c(-2) prime?
False
Suppose 16*r - 20140 = -956. Is r a composite number?
True
Let c(s) = 3*s + 5. Let n be c(0). Is (-1 - 0) + n - -405 composite?
False
Let r = -38 + 42. Suppose -570 = -5*b + 5*h, r*h + 200 = 2*b - 18. Is b a prime number?
False
Suppose 2*d = -5*f + 40955, 4*f - 12*d + 8*d - 32764 = 0. Is f a composite number?
False
Let h = 643 - 1053. Let p = -157 - h. Is p composite?
True
Let y(w) = -w + 12. Let b be y(8). Suppose -b*a + 1692 = -0*a. Suppose -3*n = -5*r - 239, -n - 4*n + a = 4*r. Is n a composite number?
False
Let g(x) be the second derivative of x**5/5 + x**4/12 + 5*x. Let n be g(1). Suppose -k - k - 2 = 0, -5*d - n*k + 2520 = 0. Is d prime?
False
Let d(o) = 2*o + 13. Let h be d(-4). Suppose 0 = 4*m - r - 138, -m = -0*r + h*r - 45. Let t = m - -2. Is t a prime number?
True
Let d(x) = x**2 + 7*x + 8. Let i(z) = -z**2 - 6*z - 7. Let t(r) = -5*d(r) - 6*i(r). Let a be t(-2). Suppose 395 + 249 = a*p. Is p a prime number?
False
Suppose -5*c + 16 = -4*c - 2*r, -r + 4 = 0. Let o = 69 + c. Is o prime?
False
Suppose 3*l - 17 = -2*t, -5*l + 21 = -5*t + t. Suppose l*w - 2*w = 711. Is w a composite number?
True
Let z(r) = 59*r**2 + 7*r + 145. Is z(-9) a composite number?
False
Suppose 1866036 = 63*t - 1760811. Is t a composite number?
True
Let l = -600 + 851. Is l prime?
True
Suppose 3*i = 2*l + 29, -4*i + 0*l = -3*l - 37. Let b = -9 + i. Suppose -2*j + w = j - 287, 396 = 4*j - b*w. Is j a prime number?
False
Let p = 2841 + -930. Suppose 10 = g + g, g + p = 4*i. Is i a prime number?
True
Suppose k - 102 = 602. Let q = k + -331. Is q composite?
False
Let w(l) = 4*l**2 + 0 + 4*l - 17*l**2 - 16*l**2 + 1. Let k be w(-3). Let i = k + 441. Is i prime?
False
Let u = -131 + 228. Let o be (1 + -4)/(-1) - 11. Let w = o + u. Is w composite?
False
Suppose 4*h = 2*t - 0*h, -2*t + h - 6 = 0. Is 1927 - (1 + 7 + t) composite?
True
Let h(d) = 3 + 1 - 11*d - 2. Let o = 4 + -9. Is h(o) composite?
True
Let x be 5*(3 + (-968)/(-4)). Let i = -501 + x. Suppose -d + 243 + i = 0. Is d prime?
True
Suppose 3*a = -15, -14 = 2*b + b - 2*a. Let h be b/(-3)*(-12)/8. Let u(g) = -2*g**3 - 6*g**2 - g - 2. Is u(h) a prime number?
False
Let l be (24/60)/((-2)/(-20)). Suppose 3*x - 155 = -t, l*x = -5*t - 0*x + 797. Is t composite?
True
Let k(n) = n**3 + 4*n**2 - 4*n - 15. Let a be k(6). Is (-28)/(-7) + -5 + 2*a a composite number?
False
Suppose 3*j + 31421 = 16*j. Suppose -n + 4*v = -493, -5*v + j = 5*n - v. Is n a composite number?
True
Let n be (7 + -3)*(-2)/(-4). Let q(p) = 8*p + 5*p**3 + 7 - n*p**3 - 2*p**3 + 8*p**2. Is q(-6) prime?
True
Let g = -76 - -191. Suppose 466 = x - g. Let m = 1135 - x. Is m a composite number?
True
Suppose 2*u - 5 = -5*m - 20, u = -m - 3. Suppose 5*l - j = j + 2071, u = -2*l - 5*j + 811. Is l prime?
False
Let n(j) = -4*j**2 - 2*j - 12. Let x(d) = -15*d**2 - 9*d - 49. Let i(q) = -9*n(q) + 2*x(q). Let z be i(-9). Let s = z - 333. Is s composite?
False
Suppose 11*t = 6*t + 25. Suppose n = -t*p, 5*n + p = -0*p. Suppose n = -3*h - 2*h + 165. Is h a prime number?
False
Let n(z) = z**3 + z**2 + 4*z + 3. Let y be n(-2). Let k(q) = -q - 5. Let f be k(y). Let d(l) = 2*l**2 + l + 1. Is d(f) a prime number?
True
Let n = 10425 + -26. Is n prime?
True
Suppose 2*f - 5*f + 12 = 0. Suppose f*o = 3*d + 1, 2*d - 5*d = 3*o - 27. Suppose -o*t = -11 - 705. Is t a prime number?
True
Let k(r) = 5*r**2 - r - 5. Suppose -2*p = 10, -3*p = -3*m - 7 + 34. Is k(m) prime?
True
Let h = -14417 + 31024. Is h a composite number?
False
Let c be (-3044)/(-16)*1*4. Suppose 4*p + q - 576 = -4*q, 5*p - c = 4*q. Is p a prime number?
True
Suppose 0 = 4*k - 3*k - 5371. Is k a composite number?
True
Is (-4 + -6 + -307)*-1 a prime number?
True
Let y(f) = -1328*f**3 + 6*f**2 + f - 7. Is y(-2) a composite number?
False
Suppose -v - 2630 + 11425 = 0. Is v a composite number?
True
Let s(y) = 15*y**3 + 43*y**2 - 16*y + 11. Is s(6) prime?
True
Let s = 5982 + -3929. Is s a prime number?
True
Let c = -396 - -4055. Is c a composite number?
False
Let n be (-9)/36 - (-1)/4. Let i = 2 - n. Suppose -g = i*g - 633. Is g prime?
True
Let k(o) = 43*o - 34. Let q(i) = 87*i - 68. Let z(x) = 9*k(x) - 4*q(x). Is z(17) a prime number?
False
Let h = -1 + 16. Suppose 0 = 2*t + 3*g - 5, -5*g - h = 0. Is t prime?
True
Let c = -980 + 1419. Is c prime?
True
Suppose 3*d - 2*j = -4*j + 3, j = 2*d - 9. Let s be -15*(-2)/d - 0. Is 848/s + 5/25 a prime number?
False
Suppose 2*z - 3*c = -0*z + 17, 2*z = 4*c + 20. Suppose r - 2 = t - 5, -2*r = -4*t + z. Is (-453)/r + (-1)/4 composite?
False
Suppose 0 = -r - b - 11 - 14, -5*r - 3*b - 119 = 0. Let w = 43 - r. Is w a prime number?
False
Let v(h) = -4*h - 11. Let p be v(-14). Let y(j) = p*j + 30*j - 43 + 41. Is y(4) a prime number?
False
Let m(u) = 1680*u - 41. Is m(1) a prime number?
False
Let b = 139 + -116. Is b a composite number?
False
Suppose -7*n = -5*n - 4. Suppose 4*t - 4 = -n*v, -2*t - 2*t = v - 8. Suppose 2*d + 2*d - 752 = -t*c, 5*c + 402 = 2*d. Is d prime?
True
Let j(p) = -4*p**2 - 4*p + 4. Let b be j(4). Let o(n) = 4*n**2 + 2*n - 7. Let k be o(-7). Let x = k - b. Is x a composite number?
False
Let i = 3498 + -907. Is i composite?
False
Suppose v = -4*x + 20176, -x + v = 3*v