 = 15*r. Is r a prime number?
True
Let y(a) = -273*a + 4. Let n be y(3). Let h = 1531 + n. Suppose -d = 3*d - h. Is d prime?
True
Let c(i) be the third derivative of -i**7/840 + i**6/120 - i**5/20 - 7*i**4/24 - i**3/2 - 6*i**2. Let r(h) be the first derivative of c(h). Is r(-8) composite?
True
Suppose -4*o + 13 = 2*q + q, -5*q - o + 16 = 0. Suppose t + q*g - 172 = 0, t + 2 = -5*g + 178. Is t prime?
False
Let l = -66 - -69. Suppose -4*v = -l*q - 409, 2*v = -v + 3*q + 303. Is v a prime number?
False
Is ((-6299)/(-1))/(0 + 1) a composite number?
False
Let i(j) = j**2 - j + 3. Suppose 2*u + 2*a - 1 = -3, -4*a = -3*u + 18. Let y = u - -4. Is i(y) prime?
False
Is 2/3 - 14/((-714)/1218815) composite?
False
Let n = 9 - 11. Let f(s) = 14*s**2 - s - 1. Let d be f(n). Suppose -k = -d - 166. Is k a composite number?
False
Let g = 5161 + 11562. Is g a prime number?
False
Suppose -2*z - x = -32014, -3*x + 4*x = 2*z - 32022. Is z composite?
True
Let l = -26 - -8. Let f(z) = z**3 + 18*z**2 - 15*z - 7. Is f(l) prime?
True
Let k = 11 + -1. Is (303/(-3))/((-2)/k) a composite number?
True
Let q = 205 - -133. Suppose 9*p - 8995 - q = 0. Is p prime?
False
Suppose -6 - 10 = -5*n + 3*g, 0 = -2*n - g + 13. Suppose 427 = 3*v + x - 2064, -4*x = -2*v + 1684. Suppose v = -n*j + 2487. Is j prime?
True
Suppose 2*n + 3*d = 1603, -71*n + 72*n = 5*d + 808. Is n prime?
False
Let s = -441 - -2803. Is s composite?
True
Let d(l) be the second derivative of -l**3/3 - 6*l**2 + 2*l. Let r be d(-8). Is (-8)/(-2)*15/r a prime number?
False
Suppose -4*p + 13 = 1. Suppose -p*k - 2*z = -1351, 3*z - 2011 = -5*k + 240. Is k composite?
False
Let w(i) = -4*i + 1. Let n be w(-2). Suppose -15 = -429*c + 426*c. Suppose -n*k = -c*k - 1652. Is k a composite number?
True
Let x = 1345 - -3076. Is x composite?
False
Let g be 2/(-7) + 612/84. Let r(s) = -2*s + 2*s + 17 - s. Is r(g) a composite number?
True
Let s(c) = -c**3 + 6*c**2 + 13*c - 4. Let n be s(9). Let h = -47 - n. Let g = -48 + h. Is g a composite number?
True
Let x = -5889 - -8936. Is x composite?
True
Suppose 2*r - 2 = -12, -r = 3*c - 18352. Is c a composite number?
True
Let k = 15446 - 11011. Is k composite?
True
Let l = 30631 + -20064. Is l a prime number?
True
Is 1*52/(-4)*-389 a composite number?
True
Let g(r) be the third derivative of r**8/20160 + r**7/5040 - r**6/90 - r**5/30 - 8*r**2. Let s(m) be the third derivative of g(m). Is s(6) prime?
False
Let f(j) = -2*j - 17. Let d be f(-10). Suppose -d*w + 25 = 4*u, -32 = -5*u - 2*w - 2*w. Suppose -3*i = -5*p - 62, -u*i - 2*p + 40 = 2*p. Is i a prime number?
False
Suppose -2*v = 5*c, v = c + 5*v. Suppose -5*b - 7*b + 13164 = c. Is b composite?
False
Suppose 7*i = 9*i + 5*d - 20084, 3*i - d = 30109. Is i composite?
False
Suppose 0 = 3*a + 7*f - 2*f + 8, -2*a + f - 1 = 0. Is (a - 1)*1529/(-22) composite?
False
Let o(w) = -w**3 + 4*w**2 - 3*w + 3. Let l be o(2). Suppose 0*j = -l*j + 25. Suppose -j*x + 89 = y, -2*y - x + 160 = -0*x. Is y a composite number?
False
Suppose 0 = -5*v - 2*u + 8 - 4, -3*u = -5*v - 6. Suppose -2*a = -4*a + 4*c + 282, v = 5*a + c - 749. Is a composite?
False
Suppose 1406 + 8610 = 4*t. Suppose 3*z + t = 7*z. Suppose z + 119 = 5*o. Is o a prime number?
True
Suppose 4*n + 12 = 32. Suppose 0 = 3*x - 6*f + 2*f + n, f - 30 = -5*x. Let c(u) = 24*u - 5. Is c(x) a composite number?
True
Is 5 + 70/(-42) + (-117166)/(-6) prime?
True
Let z be 9/2 - 5*(-8)/80. Suppose -r - 4*d = -0*d - 343, -z*d + 1022 = 3*r. Is r prime?
False
Suppose -z + 3*z = 4. Let l(o) = 30*o**2 - o + 4*o - 5*o + o + 1. Is l(z) a prime number?
False
Let n(r) = -r - 10. Let z be n(-12). Suppose -z*w - 2*w + 12 = 0. Suppose 497 = w*p - 1126. Is p a prime number?
True
Suppose -20*r = -57749 - 4991. Is r composite?
False
Let c(y) be the first derivative of 449*y**2/2 + 14*y + 1. Is c(3) a prime number?
True
Suppose -3*d + l = -9167, 0*l - 3055 = -d + l. Suppose -d = -4*f - 4*p, -3*p + 20 = -7*p. Is f a composite number?
False
Let o(z) = 19*z - 15. Let s be o(3). Let a be s/315 + 356/30. Is 9/3*4196/a prime?
True
Suppose -11*c = -26864 + 5557. Is c a prime number?
False
Let i be (-1)/2*(-117 + 7). Suppose 23 = -2*n - 5*h - 82, n + 2*h = -i. Let r = n - -102. Is r a composite number?
False
Let u = -39 + 43. Is 797/4 - 1/u a composite number?
False
Let i(r) = -r**2 + 14*r + 12. Let l be i(12). Suppose -2*s = -6*s - l. Is 9443/9 - (-2)/s a prime number?
True
Let w = -48 + 54. Suppose -50070 = w*g - 12*g. Is g a composite number?
True
Is 0 - (-2815)/1 - -4 a composite number?
False
Suppose 0 = -4*n - 3*p - 365, 3*n - 5*p = 2*n - 74. Let v = 342 + n. Is v a prime number?
False
Let h = 94 + 773. Suppose -3*b - 3*j + h = 2*j, 1156 = 4*b - 2*j. Is b prime?
False
Let o(q) = -1 + 13*q**2 + 15*q + 0 - 3*q**3 + 2*q**3. Is o(-8) a prime number?
True
Suppose t - 3*p = -1, p - 1 = -t + 3*p. Suppose t*z - 20 = -3*f - 0*f, -3*f = z - 4. Suppose z*n = -367 + 2027. Is n prime?
False
Let p be (-2)/4*(-7 + 1). Suppose p*w + w - 1988 = 0. Suppose -w - 460 = -3*q. Is q a prime number?
False
Suppose s + n - 47230 = 0, 2*s = -74*n + 73*n + 94463. Is s a prime number?
False
Suppose -14 = -0*o - 2*o. Suppose -o*l + 606 = -4*l. Is l prime?
False
Is (-58947)/(-5) - 1 - 147/(-245) a prime number?
True
Suppose 4*q - 8*z = -3*z + 57788, q = 2*z + 14447. Is q a prime number?
True
Suppose x = -0*x - 3, -324 = 3*i + 2*x. Let s = i + 189. Is s composite?
False
Suppose o = -3*c + 6, -4*o = -9*o + 3*c + 48. Is 0 - -550 - o/(-9) composite?
True
Suppose 4*r - 170 = 210. Suppose 0 = -25*l + 20*l + r. Is l prime?
True
Suppose -b + 870 = -726. Is 3 - b/(1 - 4) prime?
False
Suppose -2*r + r - 5*l = -36574, -3*l + 146347 = 4*r. Is r a composite number?
True
Let z be -1 - -3*32/12. Suppose 5 = -z*n + 6*n. Is (0 - (n + 2)) + 1246 composite?
False
Let z(b) = -257*b + 10. Let y(v) = 515*v - 21. Let o(t) = -2*y(t) - 5*z(t). Is o(5) a prime number?
False
Let p = -6 - -9. Let f = p + 4. Suppose 0*k = -k + f. Is k prime?
True
Let q(l) = l + 4. Let k be q(15). Suppose 0 = -5*b - k - 1, 0 = -3*f + 4*b + 3124. Suppose -6*t = f - 2542. Is t prime?
True
Let w(i) = -i**3 + 7*i**2 - 11*i - 4. Let l be w(-6). Suppose -l = -4*q + 1554. Is q prime?
True
Let r(x) = x**2 + 8*x + 3. Suppose 5*b - 23 + 83 = 0. Is r(b) a prime number?
False
Let b(m) be the second derivative of -39*m**3/2 + 12*m**2 - 8*m. Let a be b(-7). Is (-4)/(-16) + a/4 composite?
False
Is -4 + -5 - (-8949 - 1) a composite number?
False
Suppose -44 = 7*a + 12. Let h(m) = -139*m + 3. Is h(a) composite?
True
Let p = -1 - -9. Suppose 6 = 2*d - p. Let j(q) = q**2 - 4*q - 8. Is j(d) prime?
True
Suppose 0 = 31*g - 34*g + 5919. Is g composite?
False
Suppose 2*o - 14 - 7 = 3*k, -4*k - 28 = -5*o. Suppose -4*s - 2240 = -4*x, 4*x + 2*s - 3601 + 1361 = 0. Let v = x + k. Is v prime?
False
Let b(c) = -c**3 - 7*c**2 - 8*c - 14. Let p be b(-6). Is ((-3)/p - 1)*38 a composite number?
False
Let i = 57645 - 37234. Is i composite?
False
Let m(q) = 452*q**2 + 22*q - 1. Is m(3) composite?
False
Let j(n) = 12*n**3 + 20*n**2 + 4*n + 5. Is j(6) prime?
False
Suppose 57539 - 365175 = -14*y. Is y a prime number?
False
Let p = -7919 + 13816. Is p a prime number?
True
Let a(o) = 7 + 4 + o + 6 - 6. Let h be a(-11). Is -2 + (h + 140 - -4) a composite number?
True
Suppose h - 6473 = -2*f, -4*f + 15*h = 13*h - 12966. Is f prime?
False
Let m = -9087 + 19054. Is m prime?
True
Let l(s) = 30*s**3 - 10*s + 15. Let f(k) = -6*k**3 + 13*k - 2 - 11*k + 4 - 5. Let t(j) = -11*f(j) - 2*l(j). Is t(3) a composite number?
True
Let z(c) = -169*c - 17. Let l be z(-5). Suppose x = l + 239. Is x a prime number?
False
Suppose 0*k = 6*k. Suppose k*a - 4*a = 2*j - 218, -258 = -2*j + 4*a. Is j a composite number?
True
Suppose 2*z = 5*z + 2532. Is (z/(-12))/((-2)/(-6)) composite?
False
Let g = -528 - -1468. Suppose 824 = -2*a + 4*n, -g = 3*a + 3*n + 341. Is (-2)/((-840)/a - 2) a prime number?
True
Let z(p) = -p**2 + 10*p + 13. Let l be z(11). Suppose 3*c + 2*c = l*q + 3169, 3*c = -4*q + 1917. Is c prime?
False
Is 6148 + 85/(-15) + (-10)/(-15) a composite number?
False
Suppose 0 = -4*c - 4, -3*d + 2090 = 2*d + 5*c. Suppose -24*r + 25*r = d. Is r a prime number?
True
Let q(r) = -2*r - 13. Let f be 2*(-1 + 0 + -2). Let d be q(f). Is 5 + -2 - d*52 prime?
False
Let 