 m(j) = j + 3. Let c be m(-3). Suppose -3*o = 2*v - 583, -o - 338 = -v - 54. Suppose c = -4*t + v - 75. Is t a prime number?
True
Let w(k) = 2*k**3 - k**2 - 5*k + 10. Let z be w(2). Suppose -z*u + 150106 = -u. Is u prime?
False
Let r(b) be the first derivative of 4*b**3 + 7*b**2 - 15*b + 22. Is r(-11) a composite number?
False
Suppose -31*g + 40*g = 6640713. Is g prime?
True
Let f = -137 - -140. Suppose -19 + f = -2*k. Suppose -1201 = 7*g - k*g. Is g a composite number?
False
Let t(n) = 5436*n - 167. Is t(31) a prime number?
False
Suppose 0 = -2*a - 14 + 36. Is 2/(9 - a)*(-7818 - -1) a prime number?
True
Let j = -46 - -56. Suppose 3*x - 6 = -u + j, -4*u - 11 = -3*x. Is u/((-414)/(-206) - 2) a prime number?
True
Suppose -290 = 4*k - 410. Let g(b) = 4*b**2 - 9*b + 73. Is g(k) a composite number?
True
Suppose 30 = -5*l - 2*m, -2*m + 8 + 42 = -5*l. Let y(s) = 2*s + 4*s**2 - 7*s**2 - 17 + 4*s**2. Is y(l) a composite number?
False
Suppose 6*n + 80 - 8 = 0. Is 149/2 + n/24 a composite number?
True
Let x = -122 - -127. Suppose 5*o - 776 = -3*q + 1449, 2225 = x*o + q. Is o a composite number?
True
Let s(j) = -107*j**2 + 5*j + 109. Let n(p) = -53*p**2 + 3*p + 54. Let b(a) = -7*n(a) + 3*s(a). Is b(-8) composite?
True
Let y = 3036 + -47. Let t = 5447 - y. Is t composite?
True
Let c(i) = -4*i**2 + 5*i**2 + 21*i - 12 - 4. Let t be c(-22). Suppose t*z = z, 3*v - 2586 = -5*z. Is v a composite number?
True
Let i = 1478 + 32261. Is i a prime number?
True
Suppose -3*k - 2*w = -34079, 34075 = 12*k - 9*k - 2*w. Is k a composite number?
True
Let a(k) = k**3 + 28*k**2 + 28*k + 65. Let h be a(-26). Let q = h + -292. Is q composite?
False
Suppose 4*h = -2*q - h + 7144, -h - 10665 = -3*q. Is q prime?
True
Let m = 1 + -4. Let c(d) be the first derivative of -223*d**2/2 - 28*d + 5431. Is c(m) a prime number?
True
Let y be 24/63*-318 + (-2)/(-14). Let s = y + 1647. Let b = s - 619. Is b composite?
False
Let w(h) = 306*h**3 + 7*h**2 - 6*h - 6. Let k be w(5). Suppose 0 = 22*o - 9*o - k. Is o a prime number?
True
Let f(b) = 15077*b**2 - 142*b + 434. Is f(3) composite?
False
Let p be (-1)/(((-24)/(-60))/((-4)/5)). Suppose -p*g + 7*t + 16992 = 10*t, 2*g = 4*t + 17006. Is g composite?
True
Let f(a) = 38*a**2 - 14*a + 21. Is f(-5) a prime number?
False
Let h = -433 - -278. Let x be 36/10*h/62. Is (-12125)/(-15) + (-6)/x a prime number?
True
Let r = -83871 + 179264. Is r composite?
False
Suppose 25 - 53 = -14*y. Is 30296/84*(1 + y) a composite number?
True
Suppose 0 = f - 12 + 10. Suppose 2*a - 10320 = -2*a + f*g, 0 = 4*a + g - 10314. Is a prime?
True
Suppose 92914 = -2*g + 2*v, 4 - 24 = -4*v. Let q = -32279 - g. Is q prime?
True
Let y be (17 - 18)/((-2)/6). Suppose 0 = -3*b + b + 98. Suppose y*d - 2*z - 82 = b, d + 2*z = 41. Is d a prime number?
True
Suppose -13*h + 8*h + 100 = 0. Let w(c) = 3 + h + 12*c**2 + 5*c - c. Is w(6) composite?
False
Is 2424/(-2727) + 1/9*9870461 a prime number?
False
Let v be 15017 + (-45 + 45)/(-1 - 1). Let c = v - 9650. Is c composite?
True
Suppose 0 = -5*o - 2*q + 68, 2*q + 32 = 5*o - 40. Suppose -l - o*c + 999 = -12*c, 4*c = -4*l + 3992. Is l a prime number?
True
Suppose 0 = -u + 5 - 2, -4*u + 6642 = k. Suppose -27*h + 30*h - k = 0. Let q = 3561 - h. Is q a composite number?
True
Suppose 0 = 3*h + 136*t - 125*t - 103584, -3*t = -9. Is h composite?
True
Let a(g) = -10523*g**3 - 2*g**2 + 4*g + 5. Let w(o) = -10*o - 41. Let p be w(-4). Is a(p) prime?
False
Is (21/(-6) - (3 + -6))*(-16 - 312882) composite?
True
Suppose 1 - 3 = -2*n, -5*l = n - 270966. Suppose 7*x + l = 8*x + 4*w, -w = 5*x - 270965. Is x a prime number?
True
Let t be 5/10*-6 - -1839. Suppose -2*s + t = -2*i, -s + 6*s - 4570 = -5*i. Suppose -d + 5*r - 1374 = -4*d, 3*r + s = 2*d. Is d composite?
True
Let b = -21 - -22. Is 1736/(1/b) - (58 + -55) a prime number?
True
Suppose i = -a + 3, 5*i - 4*a + 2 = -28. Is 6/(48/(-24908))*i a composite number?
True
Let a(o) = 19*o - 19. Suppose 4*j = 2*j + 40. Is a(j) a prime number?
False
Suppose -87*u = -83*u - 403828. Is u a composite number?
False
Suppose d + 0*d = -2*v + 83723, -3*v + 125589 = -3*d. Suppose v = -97*n + 99*n. Is n a composite number?
True
Let d be 4/(-6) - 60/18. Let f be (1 - 129/15) + d/10. Let h(u) = 2*u**2 - 6*u + 25. Is h(f) prime?
False
Let l = -265 + 355. Is 5/l + (-6521130)/(-324) prime?
False
Let x(l) = l**3 - 6*l**2 + 9*l - 1. Let a be x(2). Suppose -h + u - a = 3*u, -h - 10 = 5*u. Suppose 5*f + 627 = 3*c, 3*f - 651 = 2*c - h*c. Is c composite?
True
Let r = -91363 - -223624. Is r composite?
True
Let q(z) = -40*z**3 - 35*z**2 - 73*z - 148. Let j(w) = -14*w**3 - 12*w**2 - 25*w - 49. Let m(g) = -17*j(g) + 6*q(g). Is m(-26) a prime number?
True
Let d be (-2 - 0) + 2 + 3 + 4022. Let x = 14520 + d. Is x a prime number?
False
Let w(x) = -27 - 13 + 9*x + 1144*x**2 - 21 + 33. Is w(5) a prime number?
False
Let u(c) = -21*c - 5. Let j(o) = o**3 - 3*o**2 + 4*o + 1. Let k be j(3). Let i be u(k). Let y = i + 841. Is y composite?
False
Suppose -24549 = -y - 2*w, -2*y + 50644 = 3*w + 1548. Is y a composite number?
True
Suppose 515*s - 3113406 = 497*s. Is s prime?
False
Let y = 7353 - 833. Suppose -4*o = -3*t - t - y, t + 3263 = 2*o. Is o prime?
False
Let r(t) = 1 + 30 - 2*t + 0 + 5*t. Let s be r(-11). Is s/12 + 5 + (-15028)/(-24) a composite number?
False
Is (-2)/8 + 266580958/1304 composite?
True
Suppose -4*h + 4*z = 20, z - 13 = 4*h + h. Let f(d) = -1 + 2 + 2 + 1 - 2*d + 52*d**2 - 5. Is f(h) prime?
True
Is 432351/2 - ((-57)/(-38) + (-1 - -2)) prime?
True
Suppose 0 = -10*i - 19 - 491. Let x = 54 + i. Suppose d - x*d + 1574 = 0. Is d a composite number?
False
Suppose -p + 11 - 2 = 0. Is (1941/p)/((-1)/(0 + -3)) composite?
False
Let a be (2 - 1) + -1 + 5 + -8. Is ((a - -6)/(-3))/((-13)/55211) composite?
True
Let b be 2 - (-58 + 1 - 1). Suppose 3*m + b = -i, 4*i - 5*m + 222 = i. Let p = 164 - i. Is p a composite number?
False
Let i be -30421 - -5*(12/10)/(-2). Let c = 42846 + i. Is c a prime number?
False
Let l = -265 - -269. Is l/6*(-3177)/(-6) prime?
True
Suppose -4*d + 281*m + 55837 = 286*m, -13972 = -d + 3*m. Is d a composite number?
False
Let p(s) = s**2 + 5*s + 2. Let c be p(-5). Suppose 2 = 3*b - c*b, -3*b + 41 = 5*d. Is (-48)/21 + 2 + 15283/d a prime number?
False
Let r(t) = 598626*t + 533. Is r(6) composite?
False
Suppose 4*q + 9*c = 6*c - 28340, -2*q + 5*c = 14144. Let o = q - -9940. Is o composite?
True
Suppose 9*i - 25 + 7 = 0. Suppose r = -0*r + i*q + 232, 229 = r - q. Is r prime?
False
Suppose -17*w + 1278441 + 546689 = -1180487. Is w prime?
False
Suppose 274*j - 3978169 + 705239 = 0. Is j prime?
False
Suppose -3*w - 3*m = -11394, -w + 0*m = 3*m - 3802. Let d = 5419 - w. Is d composite?
True
Suppose 2*k - 5*m - 22 = 0, 2*k - 34*m - 20 = -30*m. Let t(i) = i - 1. Let s(o) = 169*o - 17. Let r(p) = s(p) - 4*t(p). Is r(k) composite?
False
Suppose -29*p + 22 = -30*p. Let d(w) = -15*w - 185. Is d(p) prime?
False
Let t(w) = -6*w - 18*w - 15*w - 3*w + 23. Let j(y) = 14*y - 108. Let i be j(7). Is t(i) a prime number?
True
Is 0 + 77375 + 14 + (23 - 29) a composite number?
False
Is 353588/14 - 580/(-812) a prime number?
False
Suppose 5*q = 3*f - 20932, f + q - 6984 = -4*q. Suppose d = 1, 2*p - d - f = 2*d. Is p composite?
False
Let k(b) = -472*b + 21. Let d be (-300)/38 + (-18)/171. Is k(d) a composite number?
False
Let r(p) be the second derivative of p**6/30 + p**5/40 + p**4/3 + 7*p**3/3 + 10*p. Let w(y) be the second derivative of r(y). Is w(-5) a composite number?
False
Let r(y) = -21449*y - 225. Is r(-8) a composite number?
True
Let d(l) = 13*l + 2609. Let x(y) = -2*y. Let s(b) = d(b) + 4*x(b). Is s(0) composite?
False
Let y(p) = 2*p**3 + 7*p**2 + 2*p - 5. Let c be y(-2). Suppose c*x + 3*t - 780 = 0, 0*x + 3*t = 5*x - 1292. Is x a prime number?
False
Suppose 4*r - 102571 = -3*a, 14*a - 9*a - 3*r = 170971. Is a a composite number?
True
Let a be (-10)/2 + 6 + -3821. Suppose -3*d + 5*j - 5782 = 0, j - 3*j = -d - 1929. Let p = d - a. Is p prime?
True
Let b(a) = 415*a**2 + 365*a + 19. Is b(30) composite?
False
Let w = 18 - 22. Let h be -1*1/(-1)*w. Is 316 + (h/6)/(2/(-3)) a composite number?
False
Let x = 281878 + -27595. Is x composite?
True
Suppose 0 = -3*l + 5*i + 55904, 7*l = 10*l + 3*i - 55920. Suppose 2*c - 13979 = 5*b - 8*b, 