48060, -1229*q = -1228*q + t - 1574033. Is q a prime number?
True
Suppose 14568 = 4*f - 2*p, 4*p = 3*f - 9952 - 984. Let m = f + -2179. Is m a composite number?
True
Suppose 5*l - 354307 = 4*o + 67200, -7*o = -4*l + 337217. Is l a composite number?
False
Suppose -3157031 - 4459638 + 2962412 = -69*z. Is z a prime number?
True
Let g(l) = -4677*l - 22. Let v be g(-1). Suppose -v = -11*y + 4222. Is y a composite number?
True
Let m be 2/((-2)/2) - 8711. Let d = -5016 - m. Is d composite?
False
Let k(x) be the first derivative of -7*x**5/20 + 5*x**4/6 - 2*x**3/3 + 3*x**2 + 10*x + 12. Let w(q) be the first derivative of k(q). Is w(-5) a prime number?
True
Let u(x) = -2*x**3 + 2*x**2 - 244*x + 3. Is u(-20) composite?
False
Let t(s) be the second derivative of s**5/10 - 5*s**4/6 - 5*s**3/6 + 13*s**2/2 - s. Let a = 3060 + -3054. Is t(a) prime?
False
Let f(r) = -r - 1. Let i(v) = -v**3 - 23*v**2 + 34*v - 25. Suppose -3*h = -6*h - 12. Let s(g) = h*f(g) - i(g). Is s(-23) a prime number?
True
Let d(j) = 100*j**3 - 21*j + 7 - 55*j**3 + 2*j**2 + 14*j. Is d(5) a composite number?
False
Let r be 4/(-6) + 140800/(-66). Let p = r + 3737. Is p a composite number?
True
Suppose 0 = 157*l - 1995724 - 241576 - 1060799. Is l prime?
False
Suppose -6*h - 115 = -h. Let v = h - -29. Let l(p) = -p**3 + 12*p**2 - p + 13. Is l(v) prime?
True
Let n(w) = 55*w**2 - 31*w**2 - 23*w**2 - 21*w - 4*w - 31. Let b(j) = -26*j**3 + j**2 + j + 1. Let f be b(-1). Is n(f) prime?
True
Let c(j) = j**3 + j + 292. Let r be c(0). Suppose 2304 = w - r. Is (w - -13)/(1 - 0) composite?
False
Let d(v) = -17*v + 10977. Let u be d(0). Let i = u + -6766. Is i a prime number?
True
Let v = -32873 + 386350. Is v prime?
False
Suppose -175 = -5*i - 5*o, 3*i - 35 = 4*o + 35. Let z = i - 26. Is (7 - 21)*(-62)/z composite?
True
Let c(l) = -l**2 - l + 14. Let s be c(-4). Suppose n - 3*n = s. Is (18 - -713)/(n/(-1)) prime?
False
Suppose 2*y - 110860 = -2*z, -5*y + 277144 = -z - 0*z. Is y composite?
True
Let h = 192 - 186. Suppose -3096 - 11148 = -h*l. Is l a prime number?
False
Let w(o) be the third derivative of 23*o**5/12 + 5*o**3/3 + 322*o**2. Suppose 12 = 3*a - 3. Is w(a) a composite number?
True
Suppose 2*d = -43068 + 79104 + 78226. Is d a composite number?
False
Let r = -29 - -9. Let v = -20 - r. Suppose v = u - 1, 5*p + 2*u = 1159 + 1428. Is p prime?
False
Let p be (-28)/63*36/(-8). Let h(a) = 56*a**3 - 3*a**2 + 6*a - 3. Is h(p) composite?
True
Suppose 6*k + 3611 - 22678 = 28891. Is k a prime number?
True
Is (281/(-3))/((30/(-151350))/(3/5)) a prime number?
False
Suppose -48*k - 6242129 = -79*k. Is k prime?
True
Let l(d) = 104*d - 5. Let j be 1 + 100/45 - (-2)/(-9). Is l(j) composite?
False
Is (364330*(-49)/28 - -3)*-2 prime?
False
Let z(b) be the first derivative of 5*b**4/2 + 44*b**3/3 - 9*b**2/2 - 26*b - 115. Is z(13) prime?
False
Let b = -23612 - -302323. Is b a prime number?
False
Let v be ((-16)/(-4))/1 - 17. Let o(m) = -17*m - 10. Let q be o(v). Suppose -q = -3*k + 422. Is k prime?
True
Suppose 5*n + 2*n - 616885 = -27723. Is n prime?
False
Let r(b) = 894*b**2 - 9*b - 7. Is r(-2) a composite number?
True
Suppose -5*n - 240415 = -5*r, 2*r - 3*n - 96172 = -0*n. Is r composite?
True
Is (-6)/(-18)*-15 - 6509880/(-12) a prime number?
False
Let c be (18/(-3) + 5)*0. Suppose c = 2*t + t - 3*v - 222, 0 = -t - 2*v + 68. Is (-2)/(2*6) + 365556/t composite?
False
Suppose -15*y - 63*y = -18174. Is y composite?
False
Let b(v) = -1257*v**3 + 3*v**2 - 5*v - 153. Is b(-6) a composite number?
True
Let f be 1*(-2 + 24) + 0. Let n = 29 - f. Suppose -8*v = -n*v - 21. Is v a composite number?
True
Let m = 340 - -32. Suppose 2*w - m = -w. Suppose 880 = 4*f - w. Is f composite?
False
Let g(x) = -346*x**3 + 3*x**2 - 9. Suppose -q = 0, 3*q = 5*b + 20 - 0. Is g(b) a prime number?
False
Let p(o) = -o**3 + o**2 + 1. Let h be p(-1). Suppose -24 = h*i - 9*i. Suppose 7860 = i*k - 752. Is k a prime number?
True
Let a(i) = 302*i**2 - 11*i + 63. Is a(14) a prime number?
False
Let u = -95206 - -181937. Is u a prime number?
False
Suppose 5*a + 4*s = 38, 26 = 6*a - a - 2*s. Let p be (4/a)/(10/15). Let z(j) = 490*j**3 + j**2 - j + 1. Is z(p) composite?
False
Suppose 655 = 5*w - 5*q, -2*w - 9*q = -13*q - 270. Is 5 + -9 + 6 + w a composite number?
True
Let a(x) = x**3 - 4*x**2 + 10*x - 18. Let w be a(2). Is 41673/(-116)*56/w composite?
True
Let k be ((-54)/(-9) + (-2 - 0))*-1. Is 0/(k + -4) - (-791 - -2) composite?
True
Let m be (-80)/(-4) + 4*-1 + 0. Is (12/m)/(9/1416) a composite number?
True
Suppose -2*p + 30 = 4*g, -5*g - 45 = -0*p - 3*p. Let y(r) = 11*r**2 - 21*r + 13. Is y(p) a composite number?
True
Suppose -2*f - 2*k + 1819290 = -315502, 5337001 = 5*f - 2*k. Is f composite?
True
Let c(s) = 3116*s + 149. Is c(1) composite?
True
Suppose 0 = -63*g - 30300 + 281229. Is g a prime number?
False
Let o(k) = 6 + 3 + k**3 - 1 + 2*k + 6*k**2 + 3. Let g be o(-6). Is (875 - g) + 2 + (-4 - -3) composite?
False
Suppose 0*j + 5*l = 4*j - 55, -4*l = 2*j - 60. Suppose 108337 = j*t - 88923. Is t prime?
False
Suppose 0 = -17*c - 8034356 + 871049. Is c/(-33) - 2*4/(-44) composite?
True
Suppose 0 = -1346*l + 1334*l + 657012. Is l prime?
True
Let j(c) = -c**2 - 13*c - 12. Let z be j(-12). Suppose 0*s = n + 3*s + 70, 2*n + s + 145 = z. Let d = n - -104. Is d a composite number?
False
Let z = 0 + 4. Suppose -5*c - 5*p + 5945 = 0, -2*p = -z*c + 4514 + 260. Suppose 0 = 2*w + c - 3390. Is w prime?
False
Suppose 0 = 12*m - 9*m - 33. Let w be m + -4 + (1 - 0). Suppose -w*b + 2*b = -2406. Is b composite?
False
Suppose -915714 = -69*k - 372836 + 4534487. Is k prime?
False
Let z = 46386 - 28010. Suppose -7*m + z = -4*m - g, -5*m + 30625 = -2*g. Is m a composite number?
True
Suppose -t - 23 - 1 = -4*v, 0 = t - 4. Suppose 0 = v*b - 9*b - 2132. Is 2*(4 + b/(-4)) prime?
True
Let f = -48153 - -90356. Is f prime?
False
Let u be ((-1930)/(-4))/(1/2 + -1). Let j = 1632 + u. Is j prime?
False
Suppose -3*q = 2*z - 380296, 5*q - 298860 = -3*z + 271587. Is z a prime number?
False
Is 2 + (-879774)/(-10) + 387/45 + -9 a prime number?
False
Let u(w) = 2*w**3 + 61*w**2 - 33*w - 50. Let t be u(-31). Let s(j) = -2*j**3 + j**2. Let h be s(-1). Is h/t*(5446 - 2) prime?
True
Suppose 4*j = -788 - 1684. Suppose -13*f - 3531 = -814. Let t = f - j. Is t a prime number?
True
Suppose 0 = 5*p + d - 3, 3*d + 3 = -4*p + 4*d. Let o = 2059 + -2042. Suppose p = o*w - 14*w - 1401. Is w a prime number?
True
Let g(j) be the first derivative of -j**4/4 + 7*j**3 - 43*j**2/2 + 16*j - 67. Is g(13) a prime number?
True
Let y(a) = -a**3 - 19*a**2 + 2060*a - 19. Let s be y(-56). Suppose -3936 = -0*u - 4*u. Let m = u - s. Is m a prime number?
True
Let c be (-104)/2*19449/(-72)*2. Suppose 8*m - c = -5*m. Is m prime?
True
Let p(c) = 105*c - 1. Let l(x) = 10 + 0*x**2 - 1174*x**3 - 3*x**2 + 7*x - 2*x + 1173*x**3. Let u be l(-4). Is p(u) prime?
False
Let k be 5058 - (-12)/2*7/21. Suppose -3*i + k = j, 3*i - 430 = -4*j + 19765. Is j a prime number?
False
Suppose -32*n + 3938738 + 5274017 = -5040909. Is n a prime number?
True
Let r(o) = -3*o**3 - 65*o**2 - 42*o - 1973. Is r(-65) prime?
True
Suppose 22*o - 562344 = 223694. Is o composite?
False
Let u(b) = -828*b**3 - 2*b + 19. Is u(-3) prime?
True
Let a(p) be the first derivative of -p**4/4 - 2*p**3/3 + p**2 - 2*p + 10. Let y be a(-3). Is 5*((-140)/(-25) - y) a prime number?
True
Suppose -4*m = -2*m. Suppose -c + 494 = -m*c + v, -488 = -c - 3*v. Suppose -3*t = -244 - c. Is t prime?
False
Let g be 596/(-30) - (-32)/(-240). Let z = g - -23. Suppose -z*i + 5*x + 885 = 0, 530 = 3*i + 2*x - 355. Is i a prime number?
False
Let w be (-123)/(-21) + 2/14. Suppose 0 = -w*d + 8*d - 12. Let a(s) = 537*s - 19. Is a(d) a composite number?
False
Let j = 354 + -335. Suppose j*q - 63260 = -q. Is q prime?
True
Let a(o) = 8049*o + 7. Let c be a(1). Suppose -41*v = -49*v + c. Is v a composite number?
True
Let a be ((-11)/(44/17896))/(2/(-8)). Suppose 0 = 3*n + 5*n - a. Is n prime?
True
Let f(g) = 6*g**2 + 6*g**2 + g**3 + 2*g**2 - 13*g**2 + 31 + 0*g**3 - 6*g. Is f(0) prime?
True
Let j = -134 - -134. Suppose 8*n - 1 + 1 = j. Suppose -5*l - c + 5308 = n, 6280 = 4*l + 5*c + 2021. Is l composite?
False
Suppose 5*p = 1 + 4. Is p/(1/(3 + -3 + 2473)) composite?
False
Suppose 1890*c - 2