6*i + 109. Let d be x(17). Is (-6 + d)*-1 - -900 a composite number?
True
Let j(m) = -m**2 - 25*m - 90. Let r be j(-6). Suppose r*d = -14*d + 1160102. Is d prime?
True
Is 889/3556 - (-1 - (-3277166)/(-8) - -2) composite?
True
Suppose -i + 4 = 3*p + 5, p - 23 = -2*i. Suppose 17*s - i*s = 9. Suppose -q = -2*q + 3, s*y + 2*q - 171 = 0. Is y prime?
False
Suppose -3*a + 11 = 4*f - 1, -5*a = 2*f - 20. Suppose -4747 = -3*u + a*j - 2*j, -6316 = -4*u - 4*j. Is -4 + 9 + u - -5 prime?
False
Let p = -38 - -59. Suppose v - 293 = -5*g, -p = -4*g - 5. Suppose 555 = 4*d - 3*t - 0*t, -v = -2*d + 3*t. Is d a composite number?
True
Let c(z) = -7710*z - 7327. Is c(-15) composite?
True
Suppose -4*d = 5*n - 6, 2*n + d + 2*d - 1 = 0. Let c be 6/n - (-48)/4. Suppose 10*q - c*q + 1325 = 0. Is q a prime number?
False
Suppose 4*p - 4*f + 28 = f, -4*p = f + 52. Is p + 10 - -5*3 prime?
True
Suppose -1446*u + 1423*u + 1469999 = 0. Is u composite?
False
Suppose -28712 - 54531 = 2*d - q, 4*q + 20 = 0. Is (16/4 - 0) + d/(-8) a composite number?
True
Suppose -d + j = -69849, 5*j - 349239 = -5*d + 7*j. Is d prime?
True
Let a = 407 + -408. Let u(d) = -6749*d**3 + 6*d**2 + d - 3. Is u(a) composite?
True
Let i(q) = -321*q + 1318. Is i(-75) composite?
True
Suppose -14*d = -12*d + 5*m - 20692, 5*m + 31088 = 3*d. Suppose -2*n + d = 2*n. Is n a composite number?
True
Is (-5775785)/(-580) + (-11)/(-4) a composite number?
True
Let m be 6 - 9 - (-9 - -2). Suppose -4*j + 1156 = -m*t, -5*j + 5*t - t = -1449. Is j a composite number?
False
Let i(k) = k**3 - 2*k**2 - k + 2. Let f be i(1). Let c(v) be the first derivative of v**3/3 - v**2/2 + 82*v - 14. Is c(f) a prime number?
False
Let y(h) = 509*h**3 + 2*h**2 - 3*h + 1. Let x = -12 + 15. Suppose 0 = -2*i - 1 + x. Is y(i) a prime number?
True
Suppose 7*l - 574 + 560 = 0. Suppose l*g = 5*g - 5037. Is g composite?
True
Let w = -238450 - -659799. Is w a composite number?
False
Is (-8)/40 - ((-132699)/(-6))/((-80)/64) a composite number?
True
Let v be (4 + 6/(-4))*4. Suppose w = -2*w + 2*q + 18, -v = -w + 2*q. Suppose w*r + 352 = 3*y - 419, 0 = 3*r. Is y prime?
True
Suppose -8*f + 317 = 21. Suppose -f*g = -28*g - 23211. Is g a composite number?
False
Suppose -3*u + 3*w - 144 = 0, -2*u + 4*w = -u + 39. Let c be (34/u)/(1/(-3)). Suppose -c*p = 2*p + 5*y - 163, -y = 4*p - 183. Is p prime?
True
Let r(b) = -2*b**3 + 10*b**2 + 30*b + 17. Suppose 0 = -2*w + w - 4*l + 8, -w + 4*l - 32 = 0. Is r(w) prime?
False
Let g = -47260 - -103373. Is g prime?
True
Suppose 11 - 23 = -3*u. Suppose -u*h - 7*z + 2*z + 7366 = 0, 0 = 5*h + 5*z - 9205. Is h a composite number?
True
Let q = -1882 + 1889. Suppose 5*l = 8533 + 3207. Suppose q*v + 535 = l. Is v a composite number?
True
Suppose -11 - 9 = -2*p. Suppose -29 = 5*u - 2*j, -4*u = -j + 35 - p. Let x(m) = -3*m**3 - 11*m**2 - 9*m - 15. Is x(u) a prime number?
False
Let x(w) = 11*w**2 + 106*w + 112. Is x(-53) a composite number?
True
Let b(x) = 6*x**2 + x + 4. Let o = 8 - -61. Let d = -80 + o. Is b(d) prime?
True
Let i be (216/(-48))/(1/(-2)). Suppose -21*v + 31764 = -i*v. Is v composite?
False
Suppose -5*q - 73*p + 68*p = -488285, -3*p = -q + 97665. Suppose 20*u = 2*k + 19*u - 39060, 5*k - q = -2*u. Is k composite?
False
Let c(z) = 20*z**2 + 2. Let d be c(-5). Let r be 49 + (-9 + 3)/((-4)/2). Let x = d + r. Is x a composite number?
True
Let w = -68 - -87. Let h be (w - 24)/(-1 + 0). Suppose -3*n - 2*x + 3*x = -609, n = h*x + 203. Is n a composite number?
True
Let g be (-16)/(-6)*(-21)/(-14). Let u be g - (0 + 5/5). Suppose -2*k + 0*k = -u*r - 382, 547 = 3*k + 2*r. Is k prime?
False
Let j(l) = l**2 - 17*l + 3. Let y be j(21). Is ((y/(-2))/3)/(27/(-162)) a prime number?
False
Is (-23 - -81180)/(6/33 - (-3)/(-77)) prime?
False
Suppose 3074251 + 1103978 = 46*d + 470215. Is d a composite number?
True
Suppose 3*v = 2*c + 2693, 3*c - 899 - 1774 = -3*v. Let m = -18 + v. Is m prime?
True
Let d = 163930 - 102761. Is d a prime number?
True
Let b be 215 - (0 - (-3 + 2 + 1)). Suppose -6*f + 4783 + b = 0. Let a = -579 + f. Is a a composite number?
True
Let j = 3941 - -11560. Let f be 2 + 0 - -3*1. Suppose j = f*w - 2*w. Is w prime?
True
Let t(i) = 5*i**3 + 18*i**2 + 3*i - 18. Let r be t(8). Suppose -17*w + 21323 + r = 0. Is w a prime number?
False
Let g(x) = 3818*x**3 + 38*x**2 + 12*x - 7. Is g(3) a composite number?
False
Suppose -120*v - 5704159 = -v - 16012772. Is v a composite number?
False
Suppose -v - 25 = 4*v, 3*j - 75 = 3*v. Let l = j + -16. Suppose 3*q - 2259 + 178 = -l*g, 5*g - q = 2606. Is g a composite number?
False
Let w(f) = -26*f**2 + 3*f. Let l be w(-5). Let d = 1117 + l. Let k = 861 - d. Is k prime?
True
Let a = -44559 + -62599. Let g = -47036 - a. Is 63/(-77) - -1 - g/(-22) composite?
True
Let m(t) = 2*t**2 - 3*t + 7. Let d be m(0). Suppose 4*n - 1987 = -z, d*n + z = 2*n + 2484. Is n a prime number?
False
Let m = -496 - -867. Let x = m + -214. Suppose 0 = -r + 2*r - x. Is r a prime number?
True
Suppose -21 = -2*h + 55. Let p = h + -40. Is (-6118)/14*(p - (-2)/2) a composite number?
True
Suppose -980 = 15*c - 20*c. Suppose 3*g = -3*w + 2073, 1176 = 2*w - 3*g - c. Is w a prime number?
False
Let p(n) = 51*n**3 + 43*n**2 + 15*n - 101. Is p(26) a prime number?
True
Let i(j) = j**3 + 10*j**2 - j - 5. Let u be i(-10). Suppose -3*y + 432 = -3*h, -108 = -5*y + 3*h + 604. Suppose -865 = -u*n - y. Is n a prime number?
False
Suppose -4*m - 399 = -347. Is 4*m/(-78)*(-6537)/(-2) a prime number?
True
Let o(d) = 15*d**2 - 13*d + 5. Let i(v) = -v**3 + 5*v**2 + 45. Let b be i(6). Is o(b) a prime number?
True
Let y be 14/28*2*6. Let c(f) = -3*f**2 + 14*f + 2. Let z(b) = -1. Let h(o) = y*z(o) - c(o). Is h(-11) a composite number?
False
Let j = -8827 + 12852. Suppose -5*n + 240 = -j. Is n composite?
False
Let o = 476 - 469. Suppose -o*c = -4*c - 12, 4*f - 4*c - 81276 = 0. Is f a prime number?
True
Let j(u) = -u - 1. Suppose -5*t = 4*b - 17, 5*t - 5*b + 14 = 4*t. Let m be j(t). Is 5*m/(-10)*1*505 composite?
True
Suppose 0 = 2*s - 3*m - 131815, -10*s + 5*s + 329546 = m. Is s a prime number?
False
Let d be ((-105)/25)/((-4)/(40/(-2))). Let l be 140/d*(-3)/2. Suppose l*q - 12*q = -3434. Is q composite?
True
Suppose 5*i = 9869 + 3306. Suppose -i = -3*m + z, -340 = -3*m - z + 2299. Is m a composite number?
True
Let c = 196304 + 21563. Is c a composite number?
True
Let w = -13912 - -21945. Is w a prime number?
False
Suppose 5*d + 103 = 643. Let m = 3547 + -3362. Let t = m - d. Is t prime?
False
Suppose 32222790 = 64*w + 26*w. Is w a composite number?
False
Let x be (-46)/(-10) + 10/25. Suppose -2 = -s - x. Is 742/(-5)*s + 8/(-40) prime?
False
Suppose 4*j = -4*c + 28, -3*c + 5*j + 49 = -12. Is (8478/c - 2)*2 composite?
False
Suppose -22*k + 490753 = -17*k - 2538102. Is k a prime number?
False
Suppose -7*x = -12392 - 1419. Is x/(-1 - 6/(-5)) prime?
False
Suppose -4869 = 2*l + 24289. Let h = -9322 - l. Is h a prime number?
False
Suppose 1220 = 5*f + 1245, 3*l = -4*f + 793189. Is l composite?
False
Suppose 3*g = 5*g. Suppose -p = -g*p - 0*p. Suppose p = h - 2*v - 815, 5*v = h + h - 1633. Is h a prime number?
True
Let a(o) = 69 + o**2 + 66 - 118 - 16*o. Let f be a(15). Is (-2 + 3/f)/((-7)/27286) composite?
False
Let q(d) = -480*d + 1679. Is q(-63) composite?
True
Let z(y) = 129*y**2 - 15*y + 12. Suppose 6 = 14*h - 15*h. Let q be z(h). Is 9/6 + -1 - q/(-4) prime?
True
Let j(t) = -3*t + 59. Let y be j(18). Suppose -7*p + 6 = -2*g - 2*p, -5*g + y*p = -15. Let q(h) = 20*h**3 + 5*h**2 + 4*h. Is q(g) prime?
False
Let y(l) = 2*l**3 - 7*l**2 - 5*l + 11. Suppose -86 + 140 = 9*g. Is y(g) a composite number?
True
Let f be 11 - (4*6/(-12) + 5). Suppose 0 = -4*z + f*z - 2*r - 59522, 5*z - 5*r = 74410. Is z composite?
False
Is (10/5)/(-5 - 1731058/(-346206)) a composite number?
True
Let r = 885 + -880. Suppose -3*c = -7 - 2. Suppose -c*a + 2*t = -1769, -r*a - 3*t + 3082 = 159. Is a a prime number?
True
Let o(s) be the second derivative of s**6/40 + 4*s**5/15 + 2*s**4/3 - 2*s**3/3 + 4*s. Let x(n) be the second derivative of o(n). Is x(15) prime?
True
Let i(c) = -2*c**3 + 295*c**2 + 135*c + 877. Is i(138) composite?
False
Let l(v) = -v**3 - 19*v**2 + 21*v + 44. Let m be l(-20). Suppose 0 = 25*g - 27*g + m. Is -3*2/g*(-9284 - 2) a prime number?
True
Suppose 