s (1 - -1619) + (h - (-1 - -2)) prime?
True
Suppose -f - 444219 = -2*t, 161864 = t + f - 60238. Is t a composite number?
False
Let t(f) be the second derivative of -f**5/20 - 5*f**4/4 - 7*f**2 + 11*f. Let b be t(-15). Let s(w) = 2*w**2 + 7*w + 4. Is s(b) prime?
False
Let z(o) = 24*o - 47. Let k be z(10). Suppose -q + 4*c = k, -5*q + 3*q - 5*c - 321 = 0. Let t = q + 262. Is t composite?
False
Suppose 3*h + 3 = 0, -3*h - 2 = 3*x - h. Suppose -3649 = 4*d + 4*r - 52829, -4*d + 2*r + 49180 = x. Is d composite?
True
Suppose 3697*l - 3683*l = 2528974. Is l a composite number?
True
Suppose -a + 3*a = 10482. Suppose -7*f + 5413 = -a. Suppose -y = -2*z - 743, z = 2*y + 36 - f. Is y a composite number?
False
Let f = -690 + 1542. Let a = f + 235. Is a composite?
False
Let a = -195056 - -361015. Is a prime?
False
Let q = 97 - 95. Suppose 68250 = 5*y + g, q*y + 18*g = 20*g + 27288. Is y a prime number?
True
Let d be (-66)/(-165) + -17*2/10. Let u be (-1)/((-14)/4 - d). Suppose -2*x + 2396 = u*x. Is x composite?
False
Let q(w) = 177*w**2 - 3*w - 1. Let g be 0 + 4/(5 - 3). Suppose 0 = g*y - 5*v + 2, 3*v = 5*y - 10*y - 5. Is q(y) a composite number?
False
Let l(n) = -30419*n - 11169. Is l(-10) a composite number?
False
Suppose -133*p = -119*p - 744506. Suppose p = -46*x + 483601. Is x composite?
True
Suppose 5*a = k + 421884, -5*a + 421889 = 2*k + 2*k. Is a a composite number?
False
Let r(g) = -g**3 - 10*g**2 + 13*g + 25. Let t(l) = -l - 17. Let h be t(-6). Let v be r(h). Suppose y = -5*j + 1467, v*j + 2*y - 875 = 4*y. Is j composite?
False
Let q = 44972 + -23913. Is q a prime number?
True
Suppose -5*p = -4*j - 213 + 61, 5*j = -2*p + 41. Suppose -p*y + 32*y - k = 53769, 3*k = -5*y + 67190. Is y a prime number?
True
Suppose -3*s + 0*s = -4*l + 2655, -655 = -l - s. Let h(b) = -410*b**2 - b. Let x be h(-1). Let j = l + x. Is j a composite number?
False
Let b = -79 - -83. Suppose -4*k = 0, c = -b*k + 7*k + 1087. Is c a prime number?
True
Is -4 - -1620242 - (-48 + 53) prime?
True
Let o(m) = 531*m**3 + 2*m**2 + 5*m - 17. Let v(a) = -532*a**3 - 3*a**2 - 4*a + 19. Let c(u) = 3*o(u) + 4*v(u). Is c(-3) prime?
True
Suppose -5*p + 3*n + 101982 = -275284, 0 = -4*p + 3*n + 301811. Is p composite?
True
Let f(a) be the first derivative of 13*a**4/4 - 5*a**3/3 + a**2/2 - 6*a - 274. Suppose 26 = 5*d + 1. Is f(d) a prime number?
True
Let d(r) = 6759*r + 484. Is d(63) prime?
True
Suppose -4*d = 2*g + 13307 - 121243, -g + 80949 = 3*d. Is d composite?
False
Suppose 8*m - 234 = 14. Suppose -m + 71 = -5*a. Is 1/(-5) + a*(-9894)/60 a prime number?
True
Suppose 2578*m + 2254582 = 2600*m. Is m composite?
False
Let d(u) = 70089*u + 293. Is d(2) a prime number?
False
Let o(y) = 393*y**2 - 6*y + 31. Suppose 70 = 34*r - 134. Is o(r) composite?
False
Let v(h) be the third derivative of -1/60*h**5 + 37/6*h**3 + 7*h**2 + 0 + 7/8*h**4 + 0*h. Is v(21) a prime number?
True
Let s(h) = 21*h - 48. Suppose -25 = 5*n - 15. Let l be (7*n/(-14))/((-1)/(-11)). Is s(l) prime?
False
Let d = 5326 - 5045. Suppose -4458 - 162 = -5*q. Let r = q + d. Is r a composite number?
True
Let p = 129 + -114. Suppose -3*k - 109 = 3*z - 5*z, -3*k = p. Is z prime?
True
Let k(c) = 7*c**2 - 2*c - 4. Let i be k(3). Let v = i + -59. Is ((-33)/9 + -1)*279/v composite?
True
Let m(b) = b**2 - b. Let l be m(4). Is ((-8)/l)/1 + 4193/3 a composite number?
True
Suppose l - 4246 = -2*u + 15019, 57794 = 3*l + 5*u. Suppose -422*h + l = -419*h. Is h composite?
False
Let a = 59 - 56. Suppose -a*i = -i - 834. Suppose 2*t + 3*j = i, j + 648 = 3*t - 2*j. Is t a composite number?
True
Let h(w) = w**3 - 5*w**2 - w - 3. Let y be h(6). Let p = y + -25. Suppose -5*l = -4*v + 3354, 2517 = v + p*v - 3*l. Is v composite?
True
Let b(w) = w**2 + 67. Let a be b(0). Let p(d) = d**3 - 44*d**2 + 45*d + 104. Let f be p(43). Suppose -69*g = -a*g - f. Is g a prime number?
False
Suppose 7*z - 8 = -z. Let r be (28/(-21))/(z*2/(-330)). Let j = 971 - r. Is j prime?
True
Is (897790/(-50) + -11)/(1/(-5)) a prime number?
False
Let w be -3 - (-6)/(18/5181). Suppose 0 = 2*u + 2*c - 58 - 1098, 2*c + w = 3*u. Suppose -2*h = 2*m - u, -3*m + 13*h + 869 = 15*h. Is m a prime number?
True
Suppose -2*j - z + 11 = 2, -2*j + 5*z + 3 = 0. Suppose 0 = d + 4*d - 20. Is d/3*5946/j composite?
True
Let b(q) = -40*q**3 - 2*q**2 - 2*q - 1. Let g be b(-1). Suppose -249 = -z - g. Suppose 0 = 2*r - 676 + z. Is r prime?
True
Is (-78)/(-91)*(-112)/12 + 92127 composite?
False
Let y(d) = d**2 + d. Let c be y(-4). Let x = 1479 - 1097. Suppose -s + c = -x. Is s composite?
True
Suppose 44307 = 10*r - 42853. Suppose -9*p + 13*p = r. Is p prime?
True
Let l = 276 + 55. Suppose 237 = -l*x + 332*x. Is x a composite number?
True
Suppose 5*x - 321151 = -4*z, -2*z - 2 = -0*z. Is x prime?
True
Suppose 46 = 19*x + 8. Suppose 0 = 2*w + x, 3*w = n - 6512. Is n a composite number?
True
Let s be (3/(-6))/(2/(-4)). Let c be (-10*s)/(-2) + 2/(-2). Suppose 6*l = c*l + 998. Is l prime?
True
Suppose 3*y - 15 = -j - 4*j, 2*j = 0. Suppose 3*f - 4003 - 794 = 3*t, -f + 1587 = y*t. Is f a composite number?
False
Let g be (1 - 8)/(((-14)/12)/7). Is (6234/(-9))/(g/(-63)) composite?
False
Let m(c) = -935*c + 1. Let i(b) = -b**2 + 2*b + 3. Let v be i(-2). Let u be m(v). Suppose 4408 + u = 4*g. Is g prime?
False
Let a = -517 - -517. Suppose a = -6*i - 37467 + 124581. Is i a prime number?
True
Let w = -199 + 199. Suppose w = -5*i - 5*i + 36470. Is i prime?
False
Let r(w) = -w**2. Let o(t) = 12*t**2 + 17*t + 15. Let x(n) = o(n) + 3*r(n). Suppose 4*q + 12 = 0, 16 = -0*k - k - 3*q. Is x(k) prime?
True
Suppose n + 2*h = 7*h - 94833, -2*n - 5*h = 189741. Let u = n - -151989. Is u prime?
True
Let i(c) = -c - 13. Let a be i(-4). Let y(h) = 36*h**2 - 15*h + 31. Let x be y(a). Suppose 6*u = 596 + x. Is u prime?
True
Let x(j) = -7*j**3 - 12*j**2 - 11*j - 26. Let y(g) = -13 + 7*g - 2*g - g**3 - 6*g**2 - 11*g - 2*g**3. Let b(r) = 2*x(r) - 5*y(r). Is b(10) a prime number?
True
Suppose -232 = -p - u - 0*u, -5*u - 5 = 0. Let s = p - -224. Is s a composite number?
False
Let w = 78 - 61. Let s(l) = l**3 - 16*l**2 + 20*l - 42. Is s(w) composite?
False
Is ((-143266)/(-12))/((-112)/(-672)) prime?
True
Let k(j) = -j**2 + 22*j - 26. Let i be k(9). Let c = 343 - 195. Suppose r - i = c. Is r a composite number?
False
Let z(k) = 7*k**3 + 56*k**2 + 88*k + 15. Is z(37) composite?
True
Let y be (-1 - -614) + (-9 - -21) + -17. Is (7 - 1) + 0 + y a prime number?
False
Let w(f) = f**2 - 3*f. Let z(g) = 1. Let o(j) = w(j) - 6*z(j). Let d be o(5). Suppose 3418 = 2*n + 2*s, 2*n - 3412 = -s - d*s. Is n a prime number?
False
Is -3*10/60*-635914 prime?
True
Let s be (-3)/(-15) + 255576/20. Let n = 5945 - s. Let t = -4255 - n. Is t a composite number?
False
Let u(b) = 20*b - 19*b - 1 - 2*b**2 + b**2. Let a be u(2). Is (-1906)/1*1*a/6 a prime number?
True
Suppose 0*h - 112 = 2*h. Suppose 293*v = 274*v + 2907. Let z = v + h. Is z composite?
False
Let p = -93 + 93. Suppose -8*b - 14406 + 329470 = p. Is b a composite number?
False
Let i(k) = 218*k**2 + 18*k + 62. Let s be i(-4). Let u = -1539 + s. Is u a prime number?
False
Suppose 570*h - 4207684 = 518*h. Is h a prime number?
True
Suppose t - 243624 = -f, 5*f - 14*t - 1218105 = -16*t. Is f a composite number?
True
Suppose 0 = -q - 5*n + 7684, 10*q - 6*q - 30751 = -5*n. Suppose 2*y = -5*i + 1783 + 1311, -5*y - i + q = 0. Is y a composite number?
True
Suppose 0 = -2*o + 5*g + 125656, -2*o = -16*g + 14*g - 125650. Let u = 90254 - o. Is u a prime number?
True
Suppose 6*g - 7172 - 9520 = 0. Let n = 4985 - g. Is n a composite number?
False
Let k(a) = -30267*a - 503. Is k(-2) composite?
True
Let x be (5/(-1) + 2)*(-32)/6. Suppose -x*d = -10*d - 15342. Is d prime?
True
Let q = -112865 + 554562. Is q prime?
True
Suppose 0 = 670*o - 240*o - 437500490. Is o composite?
True
Let i = -10 + 21. Let m(r) = -6*r + 5*r + 1 + 1 + 8*r. Is m(i) a prime number?
True
Let d(l) = -1470*l**3 - 7*l**2 - 4*l + 22. Is d(-3) a composite number?
True
Suppose 523618 = 18*f - 554204. Is f prime?
True
Let m(g) = 2*g**2 - 8*g + 6. Let y be m(3). Let v be 1535 + y/(0 - 8/(-4)). Let u = -822 + v. Is u a prime number?
False
Suppose -7*m - 3 = -59. Is 1/m - 2673161/(-248) prime?
False
Let n(h) = 740*h**2 - 8*h + 5. Let r be n(5). Let i(y) = 26285*