8*m**2 - 13*m - 35. Is d(18) a prime number?
True
Let b = -105904 - -204867. Is b composite?
False
Is (-1 + -1385420)*-2 + 8 + (-12 - -3) prime?
True
Suppose -3*c + 103 = 88. Suppose 0 = 2*q + 3*s - c, q = -2*s - s + 1. Suppose -2*k + 1398 = -q*g, 3*k - 3*g + 2061 = 6*k. Is k a composite number?
False
Let r = -38946 - -56459. Is r a composite number?
True
Suppose 4*h - 411*h = -44831656 + 2597673. Is h a composite number?
False
Suppose 5*v + 157132 + 200818 = 5*w, -2*w - 2*v + 143192 = 0. Is w a prime number?
True
Let a be -2 + 248/18 + (-6)/(-27). Suppose -4 = -p, 0 = -4*m - 0*p + 2*p + a. Suppose m*v - 6*v + 1262 = 0. Is v composite?
True
Is (-5 - (-114)/24)/((-73277875)/36638932 - -2) a prime number?
True
Suppose -3*m - 3 = 5*n, -3*m + 0 = 3*n + 3. Let d(o) = 2*o - 95. Let s be d(n). Let t = s - -346. Is t prime?
True
Let v be -125*38*(-52)/130. Suppose -20*o = -15*o - v. Suppose -3*g = -o - 373. Is g composite?
False
Suppose 37*l - 54*l - 383146 = 0. Let u = l + 34203. Is u composite?
True
Suppose 106 = 2*g - 262. Let v = 9 + g. Suppose i - 1170 = v. Is i a composite number?
True
Let m(d) = 6*d**3 + 16 - 7*d - 3*d**3 - 6 + 7*d**2 - 2*d**3. Let l be m(-8). Suppose w + l*a - 2665 = 0, 2*w + 3*a = -0*w + 5326. Is w a composite number?
False
Suppose -203*v + 9705678 = -65*v. Is v a composite number?
True
Suppose 3*j - 3 = 0, -5*v + 3*j + 6 + 11 = 0. Suppose -v*p - 651 = -4*w + 545, p = -w - 297. Is 2/(-2)*(4 + -4 + p) a composite number?
True
Suppose 0 = -146*s + 53*s + 385 + 266. Let y be (-13)/(-2) + (-3)/(-6). Suppose -y*h - s*h + 41510 = 0. Is h prime?
False
Let d(x) = 54*x - 153. Let f be d(-18). Is (-15)/5 - ((-1)/1 + f) a composite number?
False
Let q(t) = -163*t + 10. Let c be q(-8). Let v be c/(-4) - 15/(-10). Let r = 656 + v. Is r a prime number?
False
Let q = 28 + -1. Let p(k) = 28 - q + 257*k - 49*k. Is p(12) composite?
True
Is (-465)/(-65) + -7 - 4590993/(-143) a prime number?
False
Let q be 618/42 + ((-8)/(-7))/4. Suppose 5*w = q + 20. Suppose w*x - 19*x + 1164 = 0. Is x prime?
True
Suppose -20 = -3*w - w. Suppose w*o + 51 - 91 = 0. Suppose 2*i = o*k - 3*k + 164, 3*i + 4*k - 246 = 0. Is i a composite number?
True
Let i = -236 + 240. Let j(f) = 8*f**3 + 8*f - 3. Is j(i) a prime number?
True
Let u(l) = 487 - l**2 + l**3 + 81*l - 81*l. Suppose 2*z - f - 16 = 3*f, -4*z = 4*f + 16. Is u(z) composite?
False
Let z be ((-240)/36)/(2 - (-5)/(-3)). Let m(x) = -2*x**2 - 49*x + 7. Is m(z) prime?
False
Suppose 12*b = 3*b - 6*b. Suppose -2*f - 4*i = -8750, b*i + 13134 = 3*f - 3*i. Is f prime?
False
Suppose -232 = -2*z - 26. Let g = z - 104. Let o(u) = -520*u**3 + u**2 + 3*u + 1. Is o(g) composite?
True
Let h(x) = 22545*x - 2603. Is h(26) prime?
False
Let o = 2598266 - 1555173. Is o composite?
True
Suppose -2*t + 3*i - 91 = -7*t, 3*i - 74 = -4*t. Suppose 3*c - 14380 = -t*c. Is c a composite number?
False
Suppose -3*i = x, 3*x + 3*i = -x. Suppose 9*f - 11*f + 1258 = x. Is f a prime number?
False
Suppose h + 4367 = 3*u, 0 = 2*u - 5*h - 2631 - 289. Let t = 2818 - u. Is t prime?
False
Suppose -5*a + 796 - 26 = 2*j, 3*j + 15 = 0. Let w(r) = 85 + a + 86 - 8*r - r**2. Is w(0) a composite number?
True
Let r(x) = 2902*x + 567. Is r(8) prime?
False
Let f(u) = 2*u - 12. Let r be f(8). Suppose -r = -b - b. Suppose 5*m - 2721 = b*m. Is m prime?
True
Let y(p) = 82934*p**2 + 122*p + 127. Is y(-1) prime?
True
Let b be 74/111 + (-4)/6. Suppose b = -9*q - 17*q + 237926. Is q composite?
False
Let f = 10 - -2. Let b = f + -9. Is (-23)/(((-9)/b)/9) a prime number?
False
Let t = 17042 + -25212. Let z = 12764 + t. Is z composite?
True
Let q = -10 - -14. Let m(k) = 1 - 31*k**3 + 11*k**2 + 8 - q*k + 30*k**3. Is m(10) composite?
True
Is (1/(-3))/(-13 - 53904368/(-4146492)) composite?
False
Let c = 218 + -233. Is ((-50)/c)/10*3*911 prime?
True
Let y = -74 + 76. Suppose -2*p + 3213 = 3*t, -t + y*p + 1084 = 7*p. Is t prime?
True
Suppose 0*b + 588290 = 5*o - 5*b, -5*b = 3*o - 352982. Is o prime?
True
Let j(z) be the third derivative of -z**5/60 - z**4/6 - z**3/6 - 5*z**2. Let k be j(-1). Is k + (-929)/(-3) - (-38)/(-57) composite?
False
Let t = 862404 - 317381. Is t a composite number?
False
Suppose 4*l - 7*l + 564426 = 15*l. Is l a composite number?
False
Let r = 565 + -560. Suppose 0 = -4*y + r*g + 38039, -12*g + 9*g + 3 = 0. Is y a prime number?
True
Let z be 2 - (-3)/((-1)/(-1)). Suppose 4*u = -4*f + 56, -z*u - 2*f = -7*f - 20. Suppose 4*g - u*g = -1005. Is g a composite number?
True
Let f(r) = -r**2 + 6*r - 8. Let l be f(4). Suppose l = 11*c - 7*c - 296. Let a = 601 - c. Is a composite?
True
Suppose 0 = 4*g + 5*o - 8*o - 21028, 4*g - 20996 = -5*o. Let f = g + -3312. Is f composite?
True
Let h(z) = 994*z**2 + 336*z + 13. Is h(-11) a composite number?
True
Suppose -4*w + 54918 = -2*y - 49422, 0 = 5*y + 3*w + 260889. Let l = y - -75263. Is l a composite number?
False
Is 2 + (-55)/(-11) + (2 - -420542) a prime number?
True
Let s(y) = -5597*y**3 - y**2 - y - 1. Let h be s(-1). Suppose 2*k - h = 2658. Is k composite?
False
Let l be -1*(24015 - -5)/4. Let r = -3448 - l. Is r prime?
True
Let r = 118 + -114. Is (5 - r)/((-2)/(-14242)) a prime number?
True
Let z = 550 - -130. Let i = z + -100. Is (-184)/(-56) + 4/(-14) + i composite?
True
Suppose k - 2*c = 338, 1 + 1 = c. Suppose 11329 = 11*o - k. Is o a prime number?
True
Let h = -98 - -102. Suppose h*p - 2 = 10. Suppose -m - 3*c = -1067, -2*c = -p*m + 6*m - 3201. Is m a composite number?
True
Let u(o) = -o**3 + 86*o**2 - 106*o + 55. Is u(84) composite?
True
Suppose 5*v - 30 = -0*i - i, 3*i - 30 = -3*v. Suppose 0 = -2*y - i*t + 37327, -66306 + 10296 = -3*y - t. Is y a composite number?
False
Let f = -255 - -250. Is 9/(9/f) + 10410 composite?
True
Let o = 11141 - 7289. Suppose -10878 = -3*x + o. Suppose 4*s - w - 3580 = 6254, 2*s - 4*w - x = 0. Is s a prime number?
True
Let i be (1 + -1482)/((-9)/(-18)). Let l = 4181 + i. Is l a prime number?
False
Let u(a) = a + 33. Let v be 0/(7/(-21)*(1 + 5)). Let c be u(v). Suppose -c = -o + 374. Is o a prime number?
False
Let m = 2145 - 4349. Let g = m - -3763. Let d = g - 240. Is d composite?
False
Suppose -t + 332 = 3*v - 0*t, 0 = -3*v + 4*t + 337. Suppose -v*y = -104*y - 9793. Is y composite?
False
Let q(z) = -29 + 3*z**3 - 2*z**3 + 19*z**2 + 17*z + 24. Let i be q(-18). Suppose -10*s - 951 = -i*s. Is s a composite number?
False
Suppose -b - 3*v = -v - 1845, -5*b = 2*v - 9193. Is b composite?
True
Let w = 1306 + -638. Suppose -111 = -b - o, 4*o + 108 = -5*b + w. Suppose -2*q = -u - 193 - b, 0 = 4*q - 4*u - 608. Is q a composite number?
False
Let x = -463491 + 824804. Is x prime?
True
Suppose -9*n + 4244 + 3190 = 0. Suppose -7*k + n = -5*k. Is k prime?
False
Let i = 110 - 91. Let f(b) = b**3 - 19*b**2 + 7. Let v be f(i). Suppose 0 = 4*u - v*u + 10371. Is u a prime number?
True
Suppose -13*x - 3*x = -0*x - 1374224. Is x a prime number?
True
Let j(t) = 315*t**2 + 129*t - 203. Is j(23) a composite number?
False
Let d(x) = 9*x**2 - x - 5. Let b be d(-8). Is b/1 - (0 - 7) composite?
True
Let q(r) = 10*r**2 + 11*r - 11. Let d be q(-16). Suppose -5*b + 41 = -3*t + d, 3*t - 2317 = 2*b. Is t prime?
True
Is (412714*101/16 - -2) + (-1038)/8304 prime?
True
Suppose -34*r = -39*r + 90. Suppose 4*j - 78 = -r. Suppose -1023 = -3*o - a - 2*a, -3*a - j = 0. Is o composite?
True
Suppose -5*n = q + 758, -2*n = -q + 2*n - 758. Let y = q - -1085. Let m = -160 + y. Is m composite?
False
Let c be (4802/98)/((-3)/(-12)). Let l be (0 - 2)*1 + 282. Suppose -c = -3*x + q + l, 2*x - 3*q = 315. Is x a composite number?
True
Suppose 0 = 217*i - 213*i - 277828. Is i composite?
False
Suppose 5*i + h = 3*h + 120, 3*i = 3*h + 81. Let c be (-6)/(-4) + (-3)/6. Is i/(4 + -1 - c) prime?
True
Let z(i) = 7*i**3 + 4*i**2 - 15*i + 11. Is z(9) prime?
True
Suppose -53*h - 11*h = -2031424. Is h composite?
False
Let r(p) = -1679*p + 39. Let f be r(-5). Suppose k - 4*x - 2959 = 0, 4*x - f = -4*k + 3362. Is k composite?
True
Let m = -1584 - -97831. Is m a composite number?
True
Suppose -5*s - 4*t + 16 = -2*s, -5*s = -2*t - 18. Suppose -2*n + 145 + 2813 = s*v, 1477 = 2*v + 3*n. Suppose -2*u + v = 2*u. Is u composite?
True
Let q(a) = a**2 + 28*a - 63. Let c be q(-27). Is 115764/15 - (-3 - c/25) a prime number?
True
Let x be 148/111 + 