
Suppose 5*j - t - 511 = 0, -j + 0*j + 91 = -3*t. Let g = j + -211. Let o = g - -157. Is o composite?
True
Let r(o) = 2*o**2 + 3*o + 3. Let j be r(-1). Suppose 1346 = 4*f + j*b, 2*b + 11 = 9. Is f composite?
False
Suppose -10*o = -14*o + 8. Suppose 6*j = o*j + 1304. Is j composite?
True
Let t(i) = 2554*i**3 - 2*i**2 + 3*i - 1. Is t(1) a prime number?
False
Suppose 0 = -i + 2*g + 4515, -5*i + 22568 = -0*i - 3*g. Is i a prime number?
True
Let o = -26 - -26. Suppose 5*v - 13017 - 318 = o. Suppose 2*d + d - v = 0. Is d prime?
False
Is 51665/10 + (20/(-8))/(-5) prime?
True
Let n(k) = -k**3 + 4*k**2 + k + 5. Let z be n(5). Let x = z - -46. Is x prime?
True
Suppose -2*o - a - 2*a + 24 = 0, 2*a = -5*o + 71. Suppose -5*m - o = 10, 2*m = 5*y - 5000. Is y a composite number?
True
Let u = 1800 + 3781. Is u a prime number?
True
Let g(l) be the first derivative of l**3/3 + l**2/2 + 79*l + 5. Is g(0) a composite number?
False
Let z(k) = -6*k**2 + 6*k - 9. Let x be z(5). Let d = x + 232. Is d prime?
True
Suppose 197 = h + 1389. Let s = 2647 + h. Let r = s + -984. Is r a composite number?
True
Suppose 3*b = -0*b - u + 4, 0 = -5*b + 5*u + 40. Let r(y) = -y**b + 2 - y - y - 2*y**2 + 5 - 5. Is r(-2) a prime number?
False
Let p = -2730 + 11615. Is p prime?
False
Suppose -41 = 5*t + 19. Let y(b) = -3*b**3 - 17*b**2 + 3*b + 5. Is y(t) prime?
False
Suppose 765 = 2*s - 149. Suppose l + s = -427. Is l/(-3) + 4/12 composite?
True
Let x(c) = 42*c**3 - 45*c**2 + 4*c - 11. Is x(10) a composite number?
False
Suppose n = -5*b + 545, 3*n = 4*b - 0*n - 417. Is 0 + 5 + -2 + b composite?
True
Let z be 2/(4 - 55/14). Let w be (3/(-2))/((-14)/z). Suppose 0*y + 3*y - 751 = 2*d, -752 = -w*y + d. Is y prime?
True
Let w = 29851 + -8604. Is w composite?
False
Suppose -c - 2*a + 28525 = 0, 5*a + 0*a = 25. Suppose -4*k = l - c, 4*k - 21385 = k - 2*l. Is k composite?
False
Suppose 0 = -2*r + 300 + 118. Is r prime?
False
Let z = 34 - -55. Is z a composite number?
False
Let k(x) = x**3 - 6*x**2 + 7*x - 4. Suppose -28 = -5*t - 2*t. Let z be k(t). Let g(u) = 3*u**2 - 6*u + 11. Is g(z) composite?
False
Is 295970/150 + (-4)/30 prime?
True
Let a(s) = 6*s**2 + 16*s + 1 + 7*s**2 + 25 + s**3 + 9*s**2. Is a(-15) prime?
True
Suppose 0*o - o - 25 = 0. Let t be (-45 + 0)*(-216)/162. Let n = t + o. Is n composite?
True
Let j = 26 + -26. Let y be -2 + (j - 0) + 1097. Suppose -y + 3450 = 3*p. Is p composite?
True
Let b be 653/(-5) - (-8)/(-20). Suppose -3*j = 273 - 45. Let z = j - b. Is z composite?
True
Let y(p) = -p**2 - 2*p + 443. Let n be y(0). Is 3/(889/n - 2) a composite number?
False
Suppose 0 = -4*w - 96 + 100, 174362 = 3*n + 5*w. Is n prime?
False
Suppose 15*b + 16*b = 297941. Is b composite?
True
Let s(r) = -7*r - 11. Let g be s(-1). Let j(z) = -z**2 - 7*z + 3. Let c(b) = 2*b**2 + 15*b - 7. Let i(v) = -6*c(v) - 13*j(v). Is i(g) a prime number?
False
Let z(l) = -4 + 18*l + 1 + 254*l. Is z(2) composite?
False
Is 2*((-42622)/(-52) + (-10)/65) composite?
True
Let y = -4 - -13. Suppose -y*n + 1125 = -3294. Is n a composite number?
False
Let f = -10 - -10. Suppose f = -p - p + 148. Is p a prime number?
False
Suppose -2*c + 3696 = -4*u, 3*u - c + 2798 = -6*c. Let y be ((94104/27)/(-4))/(2/3). Let o = u - y. Is o composite?
True
Let k(h) = -h**3 - 6*h**2 + 16*h - 3. Let s = -9 - 2. Let o be k(s). Is (-4 + o)*(-3)/(-6) prime?
True
Suppose -2*q - 3*w = -96, 45 = q + w - 5. Suppose -5*l + 319 = q. Is l a composite number?
False
Let r(n) = -30*n**2 - 3*n + 1. Let y be r(1). Let o be (-2 + y/(-12))*3. Suppose -2*j + 121 = q, 2*j = -o*j - 4*q + 248. Is j a prime number?
True
Let y(s) be the first derivative of 3*s**4/4 + s**3/3 + 3*s**2/2 + s - 6. Is y(4) composite?
True
Let b = 7 + -12. Let i(k) = 3*k**2 - 13*k + 7. Let c(h) = -h**2 + h - 1. Let m(x) = 4*c(x) + i(x). Is m(b) composite?
False
Let w(f) = 77*f**2 - 5*f + 27. Is w(5) a prime number?
False
Let h be ((-16)/(-6))/((-4)/12). Is 2292/(-8)*h/12 composite?
False
Let u = -11122 - -32375. Is u prime?
False
Let l(j) = 2*j + 3. Let w be l(4). Let d = w + -17. Is (514/d)/((-5)/15) composite?
False
Suppose -21*b + 30036 = -15*b. Is b a composite number?
True
Let t = -51 - -53. Is 9/(-21) + 8136/21 + t composite?
False
Let p(h) = h**3 + 28*h**2 - 46*h + 11. Is p(-26) a prime number?
False
Suppose 3*o - 5*k = 135653, -o + 5*k + 45211 = -0*k. Is o a composite number?
True
Let p be -1 + 1 - (1 + 11). Let g = 13 + p. Is 785 + (0 + 3 - g) a composite number?
False
Let k(a) = -a**3 + 21737. Is k(0) prime?
True
Let h = -13 + 13. Suppose 0*g + 4*g + 1788 = h. Is (8/(-12))/(2/g) a prime number?
True
Suppose 2*c + 14 = -3*i, -5*c = 2*i + 1 + 12. Is 4971*((-2)/6)/c prime?
True
Suppose -4*d + 6 = -3*c, 2*c - 8 = -2*d + c. Suppose -2*g = -2*b + 2*g - 12, g = -b + d. Suppose -4*n + 5 + 227 = b. Is n prime?
False
Let m(s) = 2*s + 85. Let z be m(0). Let x(u) = -79*u + 52*u - 1 - z*u. Is x(-2) a prime number?
True
Suppose -3*p + 42849 = g + 2*g, 4*p - 42851 = -3*g. Is g composite?
False
Let v(p) = 27*p + 12563. Is v(0) composite?
True
Suppose -2*l + 4*l = 0, -r + 2*l = -8471. Is r prime?
False
Is 6/21 + (-9054)/(-14) a prime number?
True
Suppose 4 = -2*d + 2*h, 2*h - 4 = h. Let c(u) = 4 - d*u**2 + 6*u**2 - 3*u**2. Is c(7) a prime number?
True
Let w = 4038 - 1787. Is w composite?
False
Is ((-30070)/124)/(2/(-4)) composite?
True
Suppose 47038 = 7*i + 11121. Is i prime?
False
Let p = -21789 - -30524. Is p composite?
True
Let t(z) = -3*z**2 + 2*z + 1. Let u(j) = -4*j**2 + j + 2. Let n(v) = 5*t(v) - 4*u(v). Suppose 3*d + 32 = 2. Is n(d) composite?
False
Let u = 6813 - 914. Is u composite?
True
Suppose -2*y + 5*y = l + 37, 133 = -5*l + 2*y. Let g = l - -216. Is g prime?
True
Let u = 62 - 58. Suppose -3*a - 5*z + 1442 = 0, 0*a + 3*z = u*a - 1913. Is a a prime number?
True
Let c(j) = -18*j + 14. Let x be c(-8). Let p(z) = z**3 - z + 181 + z**2 + x - 32. Is p(0) a prime number?
True
Suppose 1723 = 2*b - 1163. Let x = b + 710. Is x a prime number?
True
Suppose 2294 + 7180 = 6*s. Is s composite?
False
Let j = -1482 - -2156. Is j a prime number?
False
Suppose -3*j + b = -3 - 17, b - 8 = -j. Let n = 10 - j. Suppose -1055 = -2*a - n*a. Is a a composite number?
False
Let o(n) = -n - 6. Let x be o(-5). Is ((-764)/5)/((-2)/(-5)*x) a composite number?
True
Suppose 12*y - 93728 = 8*y + 2*p, 0 = 2*y + p - 46860. Is y composite?
False
Suppose 3*x - 2*g + 4*g = 5851, 3*g = x - 1943. Is x prime?
True
Suppose -4*c + 5*m + 98 = 0, 3*c - 56 = -0*c - 5*m. Suppose -4*s + 133 = 5*g, -g + 35 = -3*s + s. Let f = g + c. Is f a composite number?
True
Let x = -557 - -1696. Is x composite?
True
Let r(w) = -21*w - 3. Suppose -3*i + 7*i = -12. Let y be r(i). Suppose y = 5*z - z. Is z a prime number?
False
Let u(b) = b**3 - 4*b**2 - b - 2. Let s be u(4). Let a(g) = 7177 - 8*g - 7178 - 8*g - 9*g. Is a(s) prime?
True
Is 12/4 + 2505 - (-5)/1 a prime number?
False
Suppose -3*u + s = -1517, 4*u + 5*s - 2535 = -u. Suppose 3*c + 6*c = 2655. Let i = u - c. Is i a composite number?
False
Suppose -3*y + y = -d - 4, 0 = -d + 3*y - 7. Suppose -r - d*r + 75 = 0. Is 2970/r - (-3)/15 composite?
True
Let i(d) be the first derivative of d**4/4 + 26*d**3/3 + 23*d**2/2 - 17*d - 23. Is i(-24) a composite number?
True
Suppose 2*g = -14*d + 11*d + 40567, -1 = g. Is d a prime number?
True
Let s = -1076 - -2875. Is s composite?
True
Let z(g) = -g**3 - 71*g**2 - 106*g - 19. Is z(-71) prime?
True
Suppose 0 = -0*t + t + 5*p - 2615, 2*t = 4*p + 5174. Let s = 5846 - t. Is s prime?
True
Let n = 6 + -84. Let b = 256 + n. Let z = 297 - b. Is z prime?
False
Let m = -3494 + 7017. Is m prime?
False
Let y = -263 - -109. Let b = -35 - -4. Let f = b - y. Is f composite?
True
Let h(n) = 416*n**3 - 2*n**2 + n. Suppose 0 = -6*w + 2*w + 4. Is h(w) a composite number?
True
Suppose -j = 3*l - l - 2, -2*l = 3*j - 10. Suppose -d + j*i + 84 = -131, -5*d + 1123 = -4*i. Suppose d + 1367 = 2*w. Is w a composite number?
False
Suppose -3*u - 2*u - 5 = 5*b, 2*u - 4 = 4*b. Suppose -5*g + 25 = u, -2*w - 5*g = -0*g - 2511. Is w prime?
False
Suppose -6*r + 10*r = 208. Let u be (4 + r/(-12))*-6. Suppose u*b + b = 483. Is b a composite number?
True
Let j = 395 - 395. Let s(x) = 1. Let i(y) = y + 341. Let u(g) = i(g) - 4*s(g). Is u(j) prime?
True
Let z(m) = 32*m**2 +