- 1 + 2 + 87*c - 2. Let l be h(1). Let d = l + 105. Is d a composite number?
True
Let s(j) be the third derivative of j**7/252 - j**6/90 + 7*j**5/60 - j**4/8 + 6*j**2. Let t(d) be the second derivative of s(d). Is t(4) a composite number?
True
Suppose a = d - 12017, 11*d - 12*d + 2*a = -12017. Is d composite?
True
Let l(o) = -81*o**2 - 3*o + 4 - 5*o + 4*o - o. Let f(k) = k**2 + k - 1. Let r(j) = -3*f(j) - l(j). Is r(-2) composite?
False
Let v be (-30)/(-25)*(-20)/6. Is (v/(-6))/((-12)/(-2826)) a prime number?
True
Let m(i) = -i + 10. Suppose -l = -4*l + 21. Let r be m(l). Suppose r*x - 150 - 87 = 0. Is x a prime number?
True
Let p = -1534 + 2421. Suppose -4*w + 621 + p = 0. Is w prime?
False
Is -17 + 7 + (-22890)/(-2) prime?
False
Let o = 54 + -55. Is (-2 - o)/((-5)/275) a prime number?
False
Let g = 392 - -115. Suppose -g = -n + 236. Is n prime?
True
Suppose -c - 4*n + 40 = 0, 5*c = -4*n + 83 + 53. Let r = -19 + c. Suppose -r*f - 589 = 3*a - 7*a, 3*f = 4*a - 579. Is a composite?
True
Let s(g) = -2*g**2 + g. Let r be s(3). Let x be ((-3)/(-6))/(12/(-336)). Is x/3*r/10 a prime number?
True
Let r(s) = -11*s + 21. Let z be r(6). Is z*-2*(-1)/(-6) a prime number?
False
Let u(o) = -131*o - 153. Is u(-32) composite?
True
Let u(b) be the second derivative of b**6/72 - b**5/30 - b**4/24 + 13*b**3/6 - 3*b. Let s(d) be the second derivative of u(d). Is s(8) a prime number?
False
Let f(u) = -304*u + 119. Is f(-5) a composite number?
True
Suppose 64*a - 37246 = 62*a. Is a a composite number?
True
Let f(s) = 2*s**2 + 5*s + 11. Is f(-16) prime?
True
Is (2/(-4))/((-9)/38142) a prime number?
False
Let h(a) = a - 1. Let y be h(1). Suppose -4*o = -3*j + 165, 3*o = -y*o. Is j prime?
False
Suppose -o = 2735 - 7013. Suppose -14*z = -17128 - o. Is z a prime number?
False
Suppose 8*g - 17 - 15 = 0. Is 233/g + 39/52 composite?
False
Suppose 2*r + 3*x - x - 48 = 0, 0 = 2*r - 5*x - 27. Suppose -2*b = -2*i + 9 - 25, 3*i + r = 2*b. Is (i + 1)*(-87)/6 a prime number?
False
Suppose 5*w - 4*u = 19810, -3*w + 5*u = -w - 7941. Suppose -w = -4*i + 206. Is i composite?
True
Suppose -8*d = -4*d - 5*q + 9, -2*q = -5*d + 10. Is (-3 + d)*(40 + -1) a composite number?
True
Let k(w) = 44*w - 21. Let n(m) be the first derivative of 88*m**2 - 84*m + 1. Let r(g) = 9*k(g) - 2*n(g). Is r(7) a composite number?
True
Let m = 82185 + 65680. Is m a prime number?
False
Let n(f) be the third derivative of 7*f**6/60 - f**5/60 + 5*f**4/24 - f**3/2 - 7*f**2. Is n(2) a prime number?
False
Let x = -15521 - -24804. Let k = x + -6350. Is k composite?
True
Let x(v) = v**3 + v**2 + 5. Let r be x(0). Suppose -r*b - 19 = i, -i = i + 5*b + 23. Is (i - 21/(-6))*-172 a composite number?
True
Suppose -162029 = -40*j - 39*j. Is j composite?
True
Suppose -22*f - 47098 = -317456. Is f prime?
True
Let u = -4827 + 27958. Is u composite?
False
Let a(f) be the second derivative of 3*f**5/20 - 5*f**4/12 + 2*f**3/3 - f**2/2 - 28*f. Is a(3) a prime number?
True
Let l(z) = z**3 - 5*z**2 + z - 2. Let t be l(5). Suppose -2*w - 1 = -t*i, 2*w = 5*w - 4*i. Suppose -w*o + 2889 = 637. Is o a prime number?
True
Let k(b) = 8*b + 9*b - 2*b + 26*b + 17. Let z be k(10). Suppose 0 = 4*c - 1079 + z. Is c prime?
True
Let i = 8205 + -1519. Is i a composite number?
True
Let w(f) = f**3 - 21*f**2 + 22*f - 31. Let q be w(20). Suppose q*d - 10308 = -3*d. Is d prime?
True
Let b(u) = -177*u**3 + 4*u**2 + 6*u + 3. Let k be b(-3). Let t = k - 599. Is t prime?
True
Let p be -9*(12 - (-2 + 3)). Let t = p + 26. Let o = t - -296. Is o prime?
True
Let t be ((-5)/4)/(27/756). Let y = t - -88. Is y a prime number?
True
Let p(x) = x - 5. Let g be p(5). Suppose g*w - w + 2 = 0. Is -1 + 442/w + 3 prime?
True
Suppose -t - t - 3*f = 8, -3*t + 22 = -4*f. Suppose 4*m = t*h - 266 + 34, m + 217 = 2*h. Is h prime?
False
Suppose -4*m + 11 + 9 = 0. Suppose -2*y - 502 = -m*t + 235, -4*y = t - 165. Is t composite?
False
Is (608062/28 - -2)/(6/4) composite?
False
Suppose 6*j - 5*j = 24. Is 587/9 - j/108 composite?
True
Let o(c) = 28*c**3 + 2*c**2 + c - 32. Is o(7) prime?
True
Suppose -3*x + k = -k - 428, 4*x - 580 = 5*k. Suppose -o + 71 = -x. Is o a prime number?
True
Let a(r) = -167*r**3 + 2*r**2 - 3*r + 3. Let y be a(-3). Suppose 2386 = 5*t - y. Is t a prime number?
False
Let s = -831 + 1412. Is s a prime number?
False
Suppose 8*q = 2*q + 25926. Is q a composite number?
True
Let a = -4173 - -30404. Is a a composite number?
True
Let b(q) be the second derivative of -43*q**3/3 + q**2/2 - 5*q. Is b(-1) composite?
True
Suppose -29*b - 1407 = -36*b. Is b prime?
False
Let h(k) be the third derivative of -k**5/60 + 11*k**4/24 - 13*k**3/6 - 2*k**2. Let l be h(9). Suppose -940 = m - l*m. Is m a prime number?
False
Let l(c) = -38*c + 2. Let a be l(1). Let b be ((-3802)/6)/((-6)/a). Is 8/(-36) + b/(-18) composite?
False
Let t = -20800 - -29981. Is t a composite number?
False
Suppose -7*r = -2*r - 2*w - 1291, 3*r + 3*w = 762. Is r composite?
False
Let i = 59 - -11. Let o = i - -121. Is o a prime number?
True
Let h be 8372 - (5 + -2)*(-1 + 2). Suppose 3*t - h = -2*t - 4*q, -3*q = 4*t - 6695. Is t composite?
True
Let f be (-26)/(-6) + 5/(-15). Is f/(-3)*153/(-6) a prime number?
False
Let c(f) = f**3 - 23*f**2 - 15*f + 27. Let x be c(27). Suppose 809 + x = j. Is j prime?
True
Suppose 2*s - 521 = 2953. Let d = -260 + s. Is d composite?
True
Suppose c - 2*d = -3*d, -2*c + 5*d + 14 = 0. Suppose 0 = -0*u - u + i + 5, c*i = 5*u - 22. Is -3 + (902 - (2 - u)) prime?
False
Suppose 11165 = 3*o - 4*q, 4*q - 14840 = -2*o - 2*o. Is o prime?
False
Suppose -3*p + 339705 = 6*p. Is p composite?
True
Suppose -3*i + 2714 = w, 0 = -2*i - 0*i + 6. Is w composite?
True
Let s(x) = -7818*x**3 + 6*x + 5. Is s(-1) a composite number?
False
Suppose -226*u = -224*u - 4838. Is u prime?
False
Suppose -2*n = 3*p - 5153, 3*p - 4*p + 5143 = 2*n. Is n a prime number?
False
Suppose 3*z - 42819 = -18*z. Is z a prime number?
True
Let j(i) = 2*i**2 + 3*i + 21. Is j(28) prime?
False
Let c be 387/24 - 3/24. Suppose 3235 = c*u - 11*u. Is u composite?
False
Suppose 0 = -5*v - 5*b + 91495, -95*b + 96*b = -3*v + 54889. Is v a prime number?
False
Is ((-18)/12 - (-2612)/(-24))*-3 prime?
True
Suppose -1962 = 11*z - 29*z. Is z composite?
False
Let r = 9 + -16. Let w be 3 + (r + -1 - 3). Is (1 - -1)/(w/(-388)) composite?
False
Let h be 459/3 + 2*1. Suppose 0 = 3*l - 4*l - 70. Let a = l + h. Is a prime?
False
Is (-838)/(-2)*(-25 + 26) prime?
True
Let p(t) = t**3 - t**2 - t + 1. Let x be p(1). Suppose x = 5*w + 209 - 844. Is w composite?
False
Suppose 0 = -5*k - 1854 + 5519. Suppose 2*x = -0*x + 1000. Let y = k - x. Is y a composite number?
False
Suppose -25 = -5*t - 4*z, 2*t - 3*z - 13 = -3. Let m(u) = 51*u - 3. Let o be m(t). Suppose -n = 5*p - 79, -5*n - 4*p + o = -n. Is n a composite number?
False
Suppose 3*g + 0*v + 2*v - 17555 = 0, 4*v + 20 = 0. Suppose -g = -5*m + 2*o + o, -m = -5*o - 1171. Is m a composite number?
False
Let s = 13 + -8. Let d(t) = s*t**2 - t**3 - 15*t + 4*t + 7*t**2 - 13. Is d(9) a prime number?
True
Let g = -29 - -71. Suppose 4*q = -4, 5*m + 2*q = 4*q + g. Suppose -3*h - 4*r + 11 = -11, h - m = -r. Is h a prime number?
False
Let n(y) = 6*y - 38. Let c be n(7). Let z(l) = 182*l**2 - l + 13. Is z(c) a composite number?
True
Let l = -125 - -868. Suppose -w + l = 156. Is w prime?
True
Suppose m + 2*t - 1743 = 5*t, 0 = -4*m - 2*t + 6902. Suppose m = l - 5*q, -3*l - 4*q = -2069 - 3134. Is l a composite number?
False
Let x = 17 - 9. Let s be ((-500)/x)/((-2)/(-4)). Let y = -70 - s. Is y composite?
True
Suppose -83312 = -3*x - 20081. Is x composite?
True
Let j(z) = -324 - 38*z + 326 - 7*z. Is j(-7) a prime number?
True
Suppose 6 = 5*x - 29. Let z(c) = -17 + 21*c - 25 + 58. Is z(x) prime?
True
Let a(f) = -f**2 - 4*f + 11. Let w be a(-6). Let s = w + 56. Is s a composite number?
True
Let w = 1531 - 1374. Is w a prime number?
True
Is ((-7055)/(-340))/(2/136) composite?
True
Let l(w) be the third derivative of -13*w**4/12 - 11*w**3/6 + w**2. Suppose -5*p + 13*p + 136 = 0. Is l(p) a composite number?
False
Let o = 1042 - 631. Is o prime?
False
Let x(r) = 19*r**2 + 2*r + 302. Is x(27) composite?
False
Suppose f - 3*n = -4, 0 = -5*f + 3*n + 3 + 1. Suppose 107 = p + 2*o, -f*p + 571 = 3*p - 2*o. Is p prime?
True
