. Is b(-5) a prime number?
True
Suppose 16 = -4*p - 48. Let b(d) = -2*d - 30. Let x be b(p). Suppose 0*z + x*z - 524 = 0. Is z a prime number?
False
Let s be 36/4 + (-119609)/(-16 + 9). Let z be 2/1*(-18)/(-4). Suppose z*j - j = s. Is j a composite number?
False
Let s(a) = -3*a - 17. Let k be s(-7). Is ((-74511)/(-85) + k/10)/1 a composite number?
False
Let s(a) = -168*a + 106. Let i(y) = 169*y - 107. Let q(l) = -3*i(l) - 4*s(l). Is q(4) a composite number?
False
Let p be (4 + -99)*(3 + 0 + -4). Let t = -69 + p. Is t a composite number?
True
Suppose 28*j - 7547420 - 553848 = 0. Is j prime?
False
Suppose -3*n - 1811 = -4*d, 5*n + 3005 = 4*d - 0*d. Let r = 1007 + n. Is (2/(-2) - 2 - -2) + r a prime number?
True
Let p = 49 - 46. Suppose 2*c + p = -5*o + 20, -92 = -5*c + 4*o. Let i = c + 55. Is i a prime number?
True
Suppose -21*h = 7*h + 4452. Is (h + -1 + 1)*(-59)/177 a composite number?
False
Let h = -164 - -190. Is (h/3)/(5*16/15240) a composite number?
True
Let l(t) = 6660*t**2 + 35*t - 12. Is l(3) a prime number?
False
Is 897825/6 + (6 - 27/6) prime?
False
Let o(p) = p**3 - 2*p**2 - 18*p - 12. Let a be o(-5). Let l = 317 - a. Suppose 4 = 4*q, -5*q = -g - 0*q + l. Is g a prime number?
True
Suppose -2 = -6*w + 5*w - 3*n, -n = -3*w + 16. Suppose 2*o - 4*o + 4 = 0. Suppose o*d - 7*d = w*u - 790, 3*u = -4*d + 475. Is u prime?
True
Let a(d) = -132747*d + 1286. Is a(-1) a prime number?
True
Let a = -309 + 318. Suppose -a*i + 28915 = 3832. Is i a prime number?
False
Is (-6)/8*(-216818 - 186) a composite number?
True
Suppose 0 = 5*u - 10. Suppose -u*q = -4 + 12. Let g(r) = 186*r**2 - 5*r + 3. Is g(q) a prime number?
True
Suppose -4*f + 6*g - 9*g + 191747 = 0, -g - 47928 = -f. Is f composite?
False
Suppose -63*j = -8619647 - 1533874. Is j a prime number?
True
Let p = -115654 - -213261. Is p composite?
False
Suppose -3*h - q = -7, 2*h + q - 19 = -16. Suppose h*m + 16*v = 18*v + 12158, 2*m - 3*v = 6089. Is m prime?
True
Suppose 2839620 = 41*g - 21*g. Suppose -g = 27*o - 48*o. Is o a prime number?
True
Let r(x) be the second derivative of x**4/12 + 4*x**3/3 - 19*x. Let q be r(-4). Let w(j) = -13*j + 27. Is w(q) prime?
False
Is 191427 - 16 - (1 - 3) prime?
True
Suppose 0 = 5*q + 5*t - 9*t - 238369, 0 = 2*q - 4*t - 95350. Suppose 21*b - q = 12*b. Is b a prime number?
True
Let k = 148400 - -60477. Is k a composite number?
False
Let t(c) = 13*c**2 + 39*c + 4. Let z be t(-3). Suppose 0 = -4*j + j - 15, -z*j + 9546 = 2*r. Is r a composite number?
False
Suppose -2*f = 4*t - 18, 5*f + 4 = 2*t + 13. Suppose -f*j = 3*j + 6. Is (-2920)/(-5) + (-3)/j a composite number?
False
Let x(f) = -351*f + 5. Let h be x(-5). Let g be 1 - (h + -1)*-1. Suppose -3*m - i + 1675 = 0, 3*m + 3*i + 77 = g. Is m a composite number?
False
Suppose 0 = 28*u - 6*u + 924. Is -3 + 819/u*(-232)/6 a composite number?
False
Let c(o) = 2*o**3 - 4*o**2 + o - 5. Let h be c(3). Suppose 2*z + 3663 = 3*z + 4*y, -4*y = -h. Is z prime?
False
Let x(r) = -2 + 11*r**3 - 2*r**3 + 32*r**2 - 31*r**2 - 2*r + r**3. Let j be x(-1). Let b = 140 - j. Is b a composite number?
False
Let i be (-35)/(-20)*2 + 2/(-4). Let f(g) = 4000*g + 49. Is f(i) prime?
True
Suppose 488*r - 224324 = 484*r. Is r composite?
False
Suppose 21*c = 13*c + 32. Let o be (-2)/3*-3 - -2776. Suppose -2*n = c*z - 5442, 5*z - 4*n = 4057 + o. Is z a composite number?
True
Let v(y) = 5*y - 3*y + 3 + 13*y**2 + 9*y - 3*y. Suppose 2*u + 32 = -2*u. Is v(u) a prime number?
False
Suppose -17956 - 43509 = -19*u + 91276. Is u composite?
False
Let i(d) = 6 - 4 + 14 - 2079*d + 1 + 15. Is i(-5) composite?
False
Let s(t) = -17*t**2 + 25*t - 67. Let g be s(6). Let k = 1928 + g. Is k a composite number?
False
Let j(w) = w**3 - 14*w**2 - 27*w - 21. Let n be j(16). Is (-12 + -12)/(-6) - n*-23 a composite number?
False
Let v = -172 - -444. Suppose v = -3*i - 571. Let h = i - -912. Is h composite?
False
Let a = 7366 + -2192. Let d = 7296 - a. Is d composite?
True
Let p(r) = 124*r**2 + 11*r - 52. Let f be p(-14). Suppose -3*c + 60241 = 5*j, 0 = -11*j + 9*j - 2*c + f. Is j a composite number?
True
Let t = -463 - -483. Is -24918*(-3 + t/8) composite?
True
Suppose 4*p - 71 = 41. Suppose -p*h - 749 = -27*h. Let l = 1162 + h. Is l prime?
False
Suppose -4*g - 12*g = -5*g - 6423659. Is g a composite number?
False
Let f = -190883 - -361890. Is f a prime number?
True
Let w = -38 + 33. Let z be (-445)/(-25) - 1/w. Suppose 14*l = z*l - 2692. Is l a composite number?
False
Let x be (1*22813)/(27 - 26). Suppose -3*r + 4*o + 13679 = 2*o, 5*r - x = -4*o. Is r prime?
True
Let s(r) = -13*r + 147. Let a be s(8). Suppose -a*p = -54*p + 60423. Is p composite?
True
Suppose -11835571 + 403407 = -87*g + 1706663. Is g a prime number?
False
Let d be -1 + 44972/16 - 1/(-4). Let u = 2357 + d. Is u composite?
False
Let g(n) = 32*n**3 - n**2 + 23*n + 93. Let a be g(-6). Let x = -2210 - a. Is x a prime number?
True
Let w(q) = 3*q**3 - 11*q**2 - 9*q - 9. Let v be w(13). Let x = v - 3267. Suppose -x = -2*o + 783. Is o a prime number?
True
Let j(t) = 3*t + 135. Let h be j(0). Let u = h - 121. Suppose 0 = -2*m + 5*z + 477, 2*z + 4 = u. Is m composite?
False
Let o(q) = 5*q**2 + 37 + 4*q**2 - 27*q + q**2 + 5*q**2. Is o(-13) composite?
True
Suppose 24*o - 29000 = 379721 - 90505. Is o prime?
True
Is 5 + (-1239270)/(-39) - (-34)/(-221) a composite number?
True
Suppose -3*y = -24 + 3. Suppose -5*s - 2*n = -19, s + y = 3*s + n. Suppose -2230 = -7*x + s*x. Is x prime?
False
Suppose -27*q = -170*q + 48572381. Is q prime?
False
Suppose 5*q = -8*p + 27753, q + 54*p - 55*p = 5561. Is q a composite number?
False
Suppose -4*u = -0*u - 6208. Let k = u + 262. Suppose -17*c + 16*c = -k. Is c a composite number?
True
Let k = 700413 - 468419. Is (-1)/((-18)/k) + 4/9 prime?
True
Suppose -3 = -3*f - 5*b, -f + 2*f = -2*b. Suppose f*d = 14*d - 480. Is (4111/3)/(5/d*4) composite?
False
Suppose 37958933 = 241*z - 74*z. Is z a prime number?
True
Suppose 5*l - 31746 = -7*r + 3*r, -3*l - 4*r + 19046 = 0. Let h = l + 249. Is h a composite number?
False
Let d = 40 - 38. Suppose 3*j + d*j = -25, -2*u = -5*j - 33. Suppose -u*a = 358 - 5802. Is a a prime number?
True
Let a = -20 + 15. Let l(x) = -23 + 14 - 16*x - 7 - 5*x. Is l(a) a composite number?
False
Suppose 76873 + 431814 = 27*q - 236216. Is q prime?
False
Suppose 0*g + h - 1151664 = -4*g, -5*h = 2*g - 575814. Is g prime?
False
Let u(f) = -1448*f - 1905. Is u(-16) composite?
True
Suppose -b + 3*y + 615700 = 0, -4*b = 3*y - 805489 - 1657296. Is b a prime number?
False
Let y(o) = -414*o - 2689. Is y(-16) a prime number?
False
Suppose 21422 = 32*m - 56498. Let b = -1373 - -5169. Let q = b - m. Is q a composite number?
False
Suppose -7*n + 11*n + 5*g - 19 = 0, -23 = -3*n + 5*g. Is (-15)/n*(-36732)/30 prime?
True
Let v = 340 + -635. Let t be ((-6)/6)/(v/147 + 2). Suppose 149*c = t*c + 68. Is c prime?
False
Suppose 6*d = -12*d + 126. Let u(f) be the second derivative of 11*f**4/12 - f**3/3 + 5*f**2 + 4*f. Is u(d) composite?
True
Suppose -q = -0*q - 5. Let j(c) = -2*c + 15. Let u be j(q). Suppose -2*v - 3*i = -2086, -u*v + 3*i = 4*i - 5215. Is v composite?
True
Suppose -u = 4*a + 10, -u + 5*a + 16 - 8 = 0. Let w be 5/u*(52 - 2)*-2. Let y = w - -433. Is y a prime number?
True
Let a = -75099 + 132454. Is a composite?
True
Let k(d) = 2*d**3 + 16*d**2 - 7*d - 14. Let j(p) = -2*p**3 - 16*p**2 + 6*p + 13. Let q(w) = 5*j(w) + 4*k(w). Is q(-14) prime?
True
Let w(a) = 14*a + 255. Let o be w(-17). Suppose -24836 + 813381 = o*u. Is u a composite number?
True
Let q(p) = -8*p**3 + 5*p**2 + 2*p + 2. Let k be 60/(-5)*(-2 - 0). Suppose 16*i + k + 40 = 0. Is q(i) a prime number?
False
Suppose 0 = 2*f - 12*g + 16*g + 28, 5*f = 4*g. Is -1*(-16136)/f*(-1)/2 composite?
False
Let t(y) = 455*y + 293. Let f(n) = -227*n - 147. Let g(z) = 7*f(z) + 4*t(z). Is g(14) prime?
False
Let l(v) = 10*v**3 - 28*v**2 + 18*v - 83. Is l(8) composite?
False
Suppose -7*x + 180 = 8*x. Suppose 4*g + 7*w - 35364 = 5*w, 3*w = x. Is g a composite number?
False
Let g(t) = -6*t - 4 + 2 - 5 - 5*t**2. Let n be g(-2). Let z(w) = -133*w + 58. Is z(n) prime?
True
Let q be -4*(-3)/18*3. Suppose -q*v - 5*n + 12084 = 3581, -4*v = -4*n - 16964. Suppose 27*x = 23*x + v. Is x composite?
False
Suppose -5*n = 3*z - 1584989, n + 1148*z = 