Is 2 + b + 511 + 2 composite?
True
Let l(g) = -g**3 + 8*g**2 + 8*g - 9. Let y(s) = -s - 2. Let x be y(-6). Is l(x) prime?
False
Suppose 3*l - 2*l - 576 = -5*h, 2*l - 572 = -5*h. Let u = h + -77. Is u composite?
True
Let m = -12 + 15. Suppose 0 = m*j - 505 + 115. Suppose 0 = -c + 465 - j. Is c a composite number?
True
Let o be (1 - (-1 + 3)) + (2 - -1). Suppose -17 = o*i - 1311. Is i composite?
False
Let l(j) = 2*j + 5. Let h be l(-3). Is 7531/(-34)*(-3 - h) composite?
False
Let p(a) = -a**2 + 5*a - 4. Let h = -12 + 15. Let j be p(h). Suppose -3*l + 55 = -j*l. Is l composite?
True
Let z(k) = 2*k**2 + 4*k - 4. Let o be z(-3). Suppose y + w = 2*w + 146, -y + o*w + 150 = 0. Is y a prime number?
False
Let c = 390 - -419. Is c prime?
True
Suppose -3*f = 3*d - 5643, -3*f - 2*d + 4374 = -1271. Is f a prime number?
False
Let t(o) be the first derivative of -5*o**5/8 + o**4/12 - o**3/3 - 2. Let q(w) be the third derivative of t(w). Is q(-1) prime?
False
Suppose -5*m + f + 11 = -40, 5*f + 35 = 3*m. Let s be m/45 + 1438/9. Let w = s - -135. Is w a prime number?
False
Suppose -212 + 68 = 3*g. Suppose u = -2*u + 255. Let p = g + u. Is p a prime number?
True
Suppose -3*z = 12*z - 153630. Is 2*(1 + z/12) composite?
False
Let y(d) = 160*d**2 + 7*d - 2. Let n(j) = j - 13. Let x be n(16). Is y(x) prime?
True
Suppose -70*c + 78*c = 16792. Is c composite?
False
Let x(d) = -d**3 + 10*d**2 + 16*d - 9. Let l be x(11). Let k = 843 - l. Is k composite?
False
Let i(g) = -g**2 - g + 36. Let q be i(6). Let r(t) = 19*t**2 + 17*t + 5. Is r(q) a prime number?
True
Let y = 37 + -39. Is (20/(-8) - y)/1*-3938 a composite number?
True
Suppose -2*l + 0*l + 14 = -4*n, 5*n + 19 = 3*l. Suppose -4140 = -l*y + f, y - 1333 = f + 45. Is y a prime number?
True
Let h = -2 - 2. Let i be (-2)/(h/2) + 1. Let a(f) = 9*f**2 - 3*f + 3. Is a(i) a prime number?
False
Suppose -4*m - 2*a = 3*a + 7367, 0 = -4*m - 3*a - 7361. Is m/(-14) + (-14)/49 a prime number?
True
Suppose -5*n - 8 - 22 = 0. Suppose 4 = 3*g - 2. Is (-208)/n - g/(-6) a prime number?
False
Let l = 6 - 1. Suppose -3*a - 4*t + 15 = -t, t = l. Suppose a = -j + 24 + 31. Is j composite?
True
Let t be (-6)/(-4)*(-8)/(-3). Let b be 344/4 + 1*-3. Suppose b = t*s - 425. Is s prime?
True
Suppose -37*s + 33*s + 16 = 0. Suppose -m - 4330 = -8*f + 3*f, 0 = -5*f + s*m + 4345. Is f composite?
True
Suppose 2*s - 7238 - 22104 = 0. Is s a composite number?
True
Suppose s + 2*s - 1234 = -4*g, -s + 415 = 5*g. Let p = -103 + s. Is p composite?
False
Let c = 4372 + 1229. Is c composite?
True
Let a(j) = 60*j**2 - 7. Let k be 3 + (3 - 6) + 6. Is a(k) a prime number?
True
Suppose 5*s - 30 = -15. Suppose -4*o - 1150 = -b, -4561 = b - 5*b + s*o. Is b a composite number?
True
Is (-6741)/(-4) - 47/188 composite?
True
Let f(o) = 5*o**2 - 8*o - 8. Let r(j) = -14*j**2 + 24*j + 25. Let z(v) = -8*f(v) - 3*r(v). Is z(-9) prime?
True
Suppose -g - 3*p + 569 = 0, -2248 = -4*g - 4*p - p. Is g composite?
False
Let r be 22/26 + (-2)/(-13). Let b be 0*(r/(-3) - 0). Suppose -4*h = -2*n - b*n - 1502, 2*n + 1875 = 5*h. Is h prime?
True
Suppose -11*j + 12889 = 4100. Is j a composite number?
True
Let h = 1328 - 1291. Is h a prime number?
True
Is 22/(-165) + 26/60*37618 a composite number?
False
Let p = 573 - 372. Is p a prime number?
False
Let s = -318 + 689. Is s composite?
True
Let q = 37 - 41. Is -4*(-2)/q + 369/1 composite?
False
Let v = 234 + 157. Is v a composite number?
True
Let c(x) = 2*x. Let o be c(1). Let j be 0/(-2*o/4). Is (-2 + j)*215/(-2) composite?
True
Suppose 4*f - 58 - 1709 = -3*p, -2*f + 881 = -p. Is (-1)/(6/f*-3)*2 prime?
False
Suppose 0 = 6*a - 28658 - 74650. Is a a composite number?
True
Suppose m + 5*m = 6. Is 108/3 + -2 + 3 + m composite?
True
Suppose 30*s - 25*s - 1855 = 0. Let u = 562 - s. Is u composite?
False
Suppose -4 = -4*b + 8. Suppose 0 = x + 7 - b. Is 124 - -1 - (-6 - x) a composite number?
False
Let p = 5873 - 3060. Is p composite?
True
Suppose g = -d - 0*g + 19837, 4*d + 3*g - 79352 = 0. Is d a composite number?
False
Suppose -w = -7*w. Let z(p) = -2*p + 6. Let t be z(w). Is 21/14*716/t a composite number?
False
Suppose 0 = 5*c + 12 + 3, -4*q = 3*c + 1261. Let k be (-1 - 1 - -5) + -957. Let v = q - k. Is v a prime number?
True
Let x = 37 - 32. Suppose x*t - 3*t = 2*u + 534, -t + 267 = u. Is t a composite number?
True
Suppose 3*z - 2 = -8. Is (z - -2) + 333 + -2 a prime number?
True
Suppose -4*o - 2*z - 3599 = -25121, -5*o + 2*z = -26907. Is o a composite number?
False
Let n be (-1)/(-6) - (-59)/6. Let h be (n/(-3))/(4/(-6)). Suppose h*q - 5*k = 460, 5*q - 3*k + 210 = 680. Is q a composite number?
False
Is (-2)/24*-8354*6 a prime number?
True
Is (-3)/((-45)/29750) + 3/(-9) composite?
True
Let q(l) = -l**3 - 2. Let t be q(0). Let h be 1/(-1) - (-160 + 0). Let j = h - t. Is j a prime number?
False
Suppose 20767 = -2*i + 56841. Is i prime?
False
Is 6386/93 + 2/6 a prime number?
False
Let j = -15 - -17. Suppose -6*n + 16 = -2*n - j*u, n + u = -2. Suppose -n*w = -2*t - 0*w + 658, -3*t + 2*w = -989. Is t composite?
False
Let m(l) = -2*l**2 - 13*l + 22. Let s(f) = -2*f**2 + f - 1. Let d(v) = -m(v) - 5*s(v). Is d(12) a composite number?
True
Suppose -8 = 4*r - 4. Is -1*55*r - 0 composite?
True
Suppose 0 = 6*t - 28*t + 171006. Is t prime?
False
Is 91/(-91) - 39*-1364 prime?
False
Is (4*16671/(-36))/((-1)/3) composite?
False
Let l = -13546 - -29243. Is l a prime number?
False
Let l(b) = 2*b**2 - 15*b - 13. Let o be l(-16). Suppose o = 5*u - 376. Is u a composite number?
False
Suppose -6*t = -t - 665. Let i be -83 + -1 + 4 + 2. Let p = t - i. Is p a prime number?
True
Suppose -9 = -3*p + 3. Let x be (-1 - p) + (3 - 1). Is (x/(-6))/(4/616) a composite number?
True
Let b(c) = c + 5. Let m be b(-9). Is (-3)/(-12) + (-667)/m prime?
True
Let w be (-30)/45 - 2/(-3). Suppose p = -2*q, q + w*q = -4*p. Let h(f) = -2*f + 647. Is h(p) prime?
True
Let x(b) = 826*b - 133. Is x(5) a prime number?
False
Let b(c) = 29*c + 2. Let n be b(-3). Suppose -2*a = -4*u + 690, -2*u - 3*a + 154 = -171. Let j = n + u. Is j prime?
False
Let p(w) = -w**3 - 4*w**2 + 13*w + 10. Let t be p(-6). Suppose -2*c + 428 = c + 2*j, c = t*j + 166. Is c a composite number?
True
Suppose 4*n + m = 95 + 270, -186 = -2*n - 4*m. Suppose 240 = h - n. Is h composite?
False
Let f(j) = j**2 + 6*j - 14. Let b be f(-8). Suppose 380 + 191 = 5*x - y, -583 = -5*x - b*y. Is x a composite number?
True
Suppose -2*s = b - 25 - 8, 0 = -2*s + 2*b + 42. Suppose -21*v + 771 = -s*v. Is v a composite number?
False
Let v be (-21)/(-27) + 10/45. Let f be v + 0 - (0 - 3). Suppose 4*i - f - 352 = 0. Is i prime?
True
Suppose 16*u - 98480 - 19008 = 0. Is u prime?
False
Let r(t) be the third derivative of 103*t**6/30 + t**5/60 + t**4/12 - t**3/3 + 2*t**2. Is r(1) a prime number?
False
Suppose 7*d = d + 66. Suppose 4*g + d = -5. Is g + 5/((-10)/(-326)) composite?
True
Suppose 3*a + 12 = 0, w + w + 50 = -4*a. Is (-8315)/w + 16/(-136) a composite number?
True
Suppose -44245 = 2*v - 7*v. Is v a prime number?
True
Let v = 1 + 9. Suppose z + 4*z = -v, -59 = -3*q + z. Is q composite?
False
Suppose 2*p = 5*l - 540, l - 2*p = -p + 111. Suppose -l = -4*i - 10. Let o = 49 - i. Is o composite?
True
Let k(y) = -y**2 + 10*y + 4. Let o(w) = -w**2. Let f(t) = -k(t) - 2*o(t). Let b be 705/55 - (-2)/11. Is f(b) prime?
True
Let h(z) = 2*z - 7. Let s be h(16). Let r = 21 - s. Let o(c) = -c**3 + 6*c**2 + 4*c - 1. Is o(r) prime?
False
Suppose 12775 = 4*m - k - 2397, -4*m - k + 15172 = 0. Is m a composite number?
False
Let b be ((-6)/(-18))/(3/36). Let f = 260 - -29. Is f - b/(-8)*0 a composite number?
True
Suppose -3*y + 5*o = -24, -5*y - 2*o + 26 = -14. Is ((-521)/(-2))/(y/16) composite?
False
Suppose -39*w + 424655 - 37658 = 0. Is w a composite number?
False
Let y = -21 + 26. Suppose -2*v + 1448 + 107 = -5*a, -1227 = 4*a - y*v. Is a/(-2) - 3/(-6) composite?
False
Let n(g) = -2*g**3 - g**2 + g + 1. Let l be n(-1). Let t(w) = -l + 3*w + 1 + 1 - 4*w. Is t(-5) a composite number?
True
Let b(i) = 89*i**3 + 20*i**2 - 186*i + 1. Is b(8) composite?
False
Let f(p) = -469*p - 24. Is f(-5) composite?
True
Let l(b) = 10*b**2 + 7*b - 5. Let f be l(-7). Let m = 1170 - f. Is m a composite number?
True
Suppose 4*f - 1238 = 778. Let o = f - 293. Is o composi