1058. Is o a composite number?
True
Let g = 376 + 282. Let a = g + -351. Is a prime?
True
Suppose 6*z - 8*z - 112 = 0. Is (-3506)/(-14) + (-32)/z composite?
False
Suppose -3*z - 4*m = 24, 2*z + 5*m = -2*z - 31. Is 5638*z/(4 + -12) prime?
True
Let j be (-2)/(-6)*(-8 + 2). Let d be (j + 0)/((-2)/(-4)). Is (-4 + 2)*538/d a composite number?
False
Suppose -89467 = -39*f + 192074. Is f composite?
False
Is ((-1)/4)/(1/(-4 - 75192)) composite?
True
Let a(v) be the second derivative of -v**3 - v**2/2 - 7*v. Suppose l + 2*l + 6 = 0. Is a(l) a composite number?
False
Suppose 0 = -6*o + 43 - 7. Let v(s) = 20*s**2 - 2*s - 1. Is v(o) composite?
True
Let k = -5 - -12. Is (-2)/k + 12933/63 prime?
False
Let k(q) = 12*q**2 - 87*q - 173. Is k(38) a composite number?
True
Let w be 2/6 + 1684/6. Let l = w + 5. Suppose -3*s + 635 = -l. Is s prime?
True
Suppose 11414 = 5*i - t - 1609, 4*t = -3*i + 7823. Suppose 5*l + 3*y - i = y, 0 = 3*y. Is l prime?
True
Let d = -343 - -1530. Is d a prime number?
True
Let a(t) = t**2 + 3. Let x be a(-3). Suppose -2*q - q - 9 = -4*m, 5*m = 4*q + x. Suppose m = d + 5*d - 414. Is d a prime number?
False
Let y = -32 + 22. Let t be (499/5)/((-2)/y). Let r = t + -321. Is r prime?
False
Suppose -3*x = -32*x + 50953. Is x prime?
False
Let l(v) = 127*v - 54. Let j be l(11). Suppose 0 = p - 2*p + j. Is p a prime number?
False
Suppose 0 = 5*c + z - 54 - 71, -2*c = 3*z - 63. Suppose -2*t - c = t. Is 466/8 - 6/t a prime number?
True
Let q = -79 - -78. Let u(m) = -m - 4. Let j be u(-6). Is j/(-2)*-146 + q prime?
False
Suppose -7*u + 2*z - 137825 = -10*u, 0 = 4*u - 5*z - 183782. Is u a prime number?
True
Let g(o) = -o**3 + 5*o**2 + 8*o - 13. Let n be g(6). Let p = -5 - n. Let m(d) = -72*d - 1. Is m(p) a composite number?
True
Suppose -1 = 3*f + 5. Let m be 2/(-10) - f/10. Suppose m = -o + 2*o - 22. Is o composite?
True
Let v(d) = -d. Let n(h) = -h**2 + 11*h - 10. Let m be n(10). Let j be v(m). Suppose -3*p = 12, j = 3*w + 2*w + 4*p - 294. Is w prime?
False
Let b(d) = 10 - 4 + 4 - 6*d + 91*d. Is b(3) composite?
True
Let p = -238 + 939. Is p prime?
True
Is (-12 - -11 - 0)/((-1)/3641) a composite number?
True
Let r(d) = 8*d - 62. Is r(12) prime?
False
Let f = 2301 + -1604. Suppose 3*b - 117 + f = 4*y, -b - 725 = -5*y. Is y composite?
True
Suppose -y + 0*y - 5*s + 11604 = 0, 5*y - s - 58150 = 0. Is y a composite number?
True
Let s(o) = o**2 + 6*o + 3557. Let v be (10 - 4 - 6)*(-2)/(-6). Is s(v) a prime number?
True
Let q = -30 - -33. Suppose 2*m - 5*d = 392, q*d = m - 138 - 56. Is m a prime number?
False
Let h(j) = j**2 - 2*j + 1. Let v be h(3). Suppose -l - 5 = v*l. Is l/3 - 286/(-3) prime?
False
Let s(g) = g**2 - g + 3. Let p be s(0). Suppose 2*x + 6 = -4*z, -4 = 4*x + 4*z - 8. Suppose j = 3*f + 140, 5*f = -x*j + p*f + 785. Is j composite?
True
Let x(t) = 5*t**2 - 31*t - 74. Is x(24) composite?
True
Let y(n) = n**3 + 5*n**2 + 3*n - 19. Let v be y(-9). Let b = v - -1239. Is b composite?
True
Let k(r) = -r**3 - 9*r**2 + 10*r - 4. Let y be k(-12). Suppose -2*z = -4*z + y. Suppose 2*s + 3*s - z = -p, -2*p = -4*s - 322. Is p a composite number?
True
Let n be 3*(0 - -1)*(-3615)/(-45). Suppose -3*z + 3*d + 805 = n, 0 = -5*z + 3*d + 946. Is z composite?
False
Suppose -1288 = 4*a + 3*f - 7340, 3*a = 2*f + 4539. Is a a prime number?
False
Is -5 + 4 + 981/3 + 3 a composite number?
True
Let t(q) = 19*q**2 - 10*q + 8. Let s be t(6). Suppose 14*m = 12*m - s. Let r = m + 1035. Is r prime?
True
Let j(f) = -f**3 - 11*f**2 - 5*f - 14. Let u be j(-13). Let r(o) = 63*o + 2. Let g be r(-2). Let s = g + u. Is s a composite number?
True
Let o = 12281 + 4514. Is o a composite number?
True
Let x(k) = -k**2 + 2*k + 2 + 0*k**2 + 331*k**3 + 0*k**2 - 3. Let m = 143 - 142. Is x(m) composite?
False
Suppose 4966 + 17291 = 9*g. Is g a composite number?
False
Let k = -3 - 3. Let x(v) = -v**2 - 40*v + 76. Let b be x(-47). Is (b/2)/(3/k) a prime number?
False
Suppose 0 = 2*j - 4*y - 10870, 0*j - 21675 = -4*j - 5*y. Is 1/(-5*(-5)/j) composite?
True
Let t(r) = r**2 + r - 1. Let g be t(0). Let y(s) = 472*s**2 - 1. Is y(g) prime?
False
Let l(p) = 846*p + 13. Is l(9) a prime number?
False
Suppose -21903 = -n + 5*u, -12*u = -3*n - 7*u + 65749. Is n composite?
True
Let z(r) be the third derivative of -67*r**4/24 - 7*r**3/3 + 8*r**2. Is z(-4) a prime number?
False
Let w(i) be the third derivative of -i**5/10 + i**4/12 - i**3/6 + 4*i**2. Let c(r) be the first derivative of w(r). Is c(-3) composite?
True
Let k = 15561 + -3128. Is k a prime number?
True
Is ((-83111)/2)/(-7)*2 prime?
False
Suppose -3*l + 94 = -5*h + 4*h, -4*l + 127 = -h. Is 11/(l/1404) - -1 prime?
False
Let d(j) = -2*j - 4. Let u be d(-3). Let z(s) = -11*s**3 - 4*s**2 + 4*s - 4. Let b be z(-4). Suppose 3*p + 2*p = -5*i + b, 4*i - u*p = 514. Is i composite?
False
Let c(t) = 2*t**2 - t - 4. Let s be c(2). Let j(r) = 54*r**2 - 4*r + 1. Is j(s) a composite number?
True
Suppose -3*x = 4*f - 4*x - 11, -f + x = -5. Suppose -47 - 615 = -f*b - 5*g, 0 = -b - 4*g + 331. Is b a composite number?
False
Let v(m) = -m**2 + 4*m + 4. Let g be v(5). Let z be (10 + -1)/3 + g. Suppose -4*x = -z*x - 582. Is x prime?
False
Let n be 8/14 - (-34)/14. Suppose -7*h = -n*h - 20. Suppose h*t - 5 = 0, -5*t = -4*y - y + 420. Is y prime?
False
Let k be (7*-1365)/(-5) - -5. Suppose 5*t = k + 1049. Is t a prime number?
True
Suppose 7*r - 4*r = 2*f - 11638, 2*f + 3*r - 11614 = 0. Is f a composite number?
False
Let k be -62 - (3 + -2 + -3). Suppose -2*x - d - 439 = 0, 4*d - 233 = 2*x - x. Let j = k - x. Is j prime?
False
Let y = 278 + -133. Is y prime?
False
Suppose 11*h - 3*h = 55720. Suppose 4*v - 2*p = 14244, -5*p + 3744 = 3*v - h. Is v a prime number?
False
Let s = -12 - -2293. Is s prime?
True
Suppose 2*y + 15 = 5*y. Suppose 5*b = n - 216, -3*n - 5*b = -y*n + 427. Is n a composite number?
False
Let o be -2 - -54*(-44)/(-8). Let n = o + -146. Is n a prime number?
True
Suppose m - 414 = 7*m. Let i = 104 + m. Is i a composite number?
True
Let l(u) = u**2 + 12*u + 31. Let y(r) = -r**2 - r. Let t(z) = -l(z) - 2*y(z). Is t(-22) composite?
False
Let q = -8 - -13. Suppose 0 = k - q*k + 5036. Is k prime?
True
Suppose 3*a + a = 0. Suppose 0 = -a*z - z + 223. Is z a composite number?
False
Let t(q) = 13*q - 9. Let g be t(-4). Let x = g + 134. Let w = -26 + x. Is w composite?
False
Is (-11)/(198/665868)*(-18)/12 a prime number?
False
Let q(x) = -x**3 + 6*x**2 + 5*x - 2. Let d be q(3). Suppose d = -3*j - 50. Let v = j - -51. Is v prime?
False
Is -3*(-12333)/(-45)*-5 prime?
True
Let t(n) = n**2 + 7*n - 15. Let d be t(-9). Is (-1796)/(-10) - d/5 composite?
False
Suppose 1119 = q + 4*d, 0 = 3*q - 2*d + 663 - 4020. Is q a prime number?
False
Let k(n) = 7*n**2 + 13*n - 47. Is k(14) a composite number?
True
Let t = 496 - 419. Is t composite?
True
Suppose 15 = 2*s + s. Suppose 113 = s*z + 5*q - 27, z = 5*q + 58. Suppose -45 = -2*p + z. Is p a prime number?
False
Let u(m) = -6*m + 8. Let q be u(-14). Let x = q - -235. Let j = 550 - x. Is j a composite number?
False
Suppose -3*u = -10 - 5. Suppose 0*k + 6 = 3*k + u*p, 2*p = -5*k + 10. Suppose 0 = -k*b + 5*b - 291. Is b composite?
False
Let s(t) = -68*t + 0 - 58*t - 2 + 108*t. Let u = -3 + -7. Is s(u) a prime number?
False
Is (-66141)/(-36) - 3/12 a composite number?
True
Suppose d + 8502 = 3*l, l + 5*d - 5685 = -l. Suppose 3*x = 12, -7*x - l = -5*p - 2*x. Is p a prime number?
True
Let c = -22 - -24. Is (-14650)/(-70) - c/7 prime?
False
Let s be (-3 - -342)/(6/4). Suppose -k + s = r + 2*r, -2*k + 144 = 2*r. Is r a composite number?
True
Suppose 2*u + 9 = 29. Suppose -3*q + 15 = d + 1, 3*q + 5*d - u = 0. Is 33*(105/9)/q a composite number?
True
Is 62986/8 - 1/4 prime?
True
Let n(f) = -7*f - 1. Let i = 33 - 34. Let u be n(i). Suppose -u*g + g = -485. Is g a prime number?
True
Let f(b) = 6 + 3 - 18 - 760*b. Is f(-2) a composite number?
False
Let k = 81927 - 50768. Is k prime?
True
Let t(y) = 20*y**2 - 2*y - 4. Let g(m) = -10*m**2 + m + 2. Let a(s) = -10*g(s) - 4*t(s). Let p be a(-5). Suppose 3*v = v + p. Is v composite?
True
Suppose -27*p - 291060 = -2635659. Is p a prime number?
True
Let t(k) = -14*k + 7. Suppose 2*z - 238 = 74. Let q be (-6)/27 + z/(-27). Is t(q) composite?
True
Is (3 - (-94852)/8)*2 a prime number?
True
Is 4