/6. Let w = 255 + k. Is w composite?
False
Let k = -742 + 1383. Is k a prime number?
True
Suppose -3*y + 11 = 2*b - 0*b, -b - 2*y + 7 = 0. Let u be (-4 - -2)*(-2)/b. Suppose u*f - 4 - 228 = 0. Is f a composite number?
True
Let n = 30 - 20. Let x = n + -4. Is x/9*84 + -1 a composite number?
True
Let n be (-2)/11 - 200/(-11). Suppose f - 79 = -n. Suppose s - 6 = -3*y + f, 5*y + 3*s - 117 = 0. Is y prime?
False
Suppose 3*u + 4 = 4*u. Is u/(-10) + (-3822)/(-30) prime?
True
Let g(r) = -r**2 - 8*r + 5. Let d be g(-7). Is (-417)/(-9) - 4/d composite?
True
Let u be 117/(-6) - 2/4. Let l be (u/(-2))/(-2)*-1. Suppose -4*c + w + 46 = -2*w, l*c + w - 48 = 0. Is c prime?
False
Suppose 5*w = 3*v + 1675, 2*w = 5*v + 602 + 68. Is w composite?
True
Let i = 7 + -1. Let n(y) = -y**2 + 5*y + 8. Let l be n(i). Suppose -2*a - a + 2*r + 971 = 0, -l*a + 3*r + 649 = 0. Is a composite?
True
Let k be (-4)/14 + (-27)/(-21). Suppose 0 = -2*t - k + 15. Is t a prime number?
True
Suppose 2*b = 7*b - 5*o + 10, -5*o - 5 = 0. Let l be (1/b)/((-1)/12). Suppose -l*s + 12 = -0*s. Is s prime?
True
Let p(q) be the third derivative of -q**5/6 + q**3/6 + q**2. Let r be p(1). Let j(w) = -w - 7. Is j(r) a prime number?
True
Suppose -6*n + 2870 = -4684. Is n prime?
True
Let d = -132 + 677. Suppose -d = 5*o - 5370. Is o a prime number?
False
Let i = -65 - -124. Is i prime?
True
Let b(l) = l**2 - 2*l - 2. Is b(-3) a prime number?
True
Suppose -1842 = -5*t - 137. Is t composite?
True
Let v = 169 - 100. Is v prime?
False
Suppose 0 = -c + 4*c. Is (-2 - (c + -1))*-86 composite?
True
Suppose 4*s = -4*k + 1180, -8 = -4*k - 0*k. Is s a composite number?
False
Let v(h) = h**2 - 5*h - 8. Let f be v(6). Let w(o) = 9*o**2 + 2*o - 1. Is w(f) composite?
False
Let k = 8 - 5. Let z(d) = 10*d**2 - 2*d - 1. Is z(k) prime?
True
Let g = -131 + 330. Is g prime?
True
Let j(z) = 29*z + 3. Let i(f) = -f - 1. Let h(o) = -2*i(o) - j(o). Suppose 0 = -3*l - 0 - 3. Is h(l) a composite number?
True
Suppose -o = 3*o. Suppose 3*q - j = 30 + 45, o = q + 3*j - 25. Let v = 40 - q. Is v prime?
False
Suppose -20 - 128 = -4*m. Is m prime?
True
Let b be ((-4)/(-6))/(5/1935). Let x = b - 167. Is x composite?
True
Let l(t) be the third derivative of t**5/10 + t**2. Let o be l(-1). Is 4/6*27/o composite?
False
Suppose 2*q - 6 = -0*l + l, -12 = -q + 5*l. Let p be -39*(1 + q/(-3)). Let g = p + 36. Is g a prime number?
True
Suppose 8*v + 3 = 9*v. Suppose v*a + 309 = 6*a. Is a prime?
True
Suppose u - 309 = 5*p - 1170, 691 = 4*p - 3*u. Let l be (-1)/(2/(-89))*-2. Let d = l + p. Is d a composite number?
False
Is (-2804)/(-8)*(-3 + (4 - -1)) prime?
True
Suppose -81 = -5*v + 214. Let q = -28 + v. Is q a prime number?
True
Suppose -4*g - 4*h - 260 = -1584, 5*g + 3*h = 1663. Is g a composite number?
True
Let y be 6/15 - (-21)/(-15). Is 0 + y - (1 - 159) prime?
True
Let u(v) = -1515*v + 7. Is u(-4) prime?
True
Let y(z) = 8*z + 3. Let t = 3 - -3. Let j be y(t). Suppose 4 + j = k. Is k a prime number?
False
Let f(y) = y**3 - 8*y**2 - 14*y + 11. Let k be f(10). Let q = -34 + k. Is q prime?
True
Let c(i) = -3*i**3 - 4*i**2 - i + 11. Let m(b) = 7*b**3 + 7*b**2 + 3*b - 23. Let n(p) = -9*c(p) - 4*m(p). Is n(7) a composite number?
True
Is 986/(-4)*10/(-5) prime?
False
Let h = -3 - -2. Let q(r) = r**3 + r**2 + r. Let u be q(h). Is (-1 - u)/(-2) + 33 a prime number?
False
Let b(s) = s**3 - 5*s**2 - s + 5. Let t(f) = -3*f**3 + 16*f**2 + 2*f - 16. Let k(j) = -7*b(j) - 2*t(j). Let w be k(3). Is (27/15)/(w/20) composite?
True
Let z be 3/3 + (4 - 0). Suppose -z*n = -n - 124. Is n prime?
True
Suppose 0 = -3*j + 28 + 2. Let s = 41 - j. Is s prime?
True
Let g be -1 - 3*2/(-3). Let j be (-2)/(-2)*(g + -1). Is -4 + 5 + j + 130 a composite number?
False
Let n be -4*3/(-6)*3. Suppose 0 = -3*w + 3*m + 42, 10 = 2*w + m - n. Is 2/5 - (-106)/w prime?
True
Let d = 5 - 0. Suppose -5*o + 42 = d*q + 7, 0 = -o + 5*q + 7. Is o a composite number?
False
Suppose 2*d + 3*d + 15 = 0, 4*w + 4*d - 172 = 0. Is w prime?
False
Let a(q) = 2*q + 8. Let j be a(-6). Let l be j*(1 - (-3)/(-2)). Is ((-2)/1)/(l/(-47)) composite?
False
Suppose 21 = -2*y + 23. Let r(c) be the first derivative of 29*c**4 - 2*c**3/3 + c**2/2 - 1. Is r(y) a composite number?
True
Let z be 4/(-6)*(-2007)/2. Suppose 0 = 2*r + 4*g - 342, 4*r + 0*r + 5*g - z = 0. Is r a prime number?
False
Suppose -g = 4*q - 251, 5*g + 6*q - 3*q - 1255 = 0. Is g a composite number?
False
Is -3 + (-3 - -152) + 3 a prime number?
True
Let b(a) = 16*a**3 + a + 2. Let c be 6 + -1 + -2 + -1. Let z be b(c). Is (-1)/(-3)*z/4 a composite number?
False
Let r(a) = 24*a. Let d be r(5). Let l(g) = -g**3 - 6*g**2 - 6*g. Let y be l(-5). Suppose -z - y = -2, -5*n = -5*z - d. Is n a prime number?
False
Suppose -18 = -2*m - b, 0*b - 2*b = -2*m + 6. Is 583/m - (-6)/(-21) composite?
False
Let g(w) = -w + 5. Let c be g(5). Let p = 5 + c. Suppose -40 = -5*x - p. Is x a prime number?
True
Suppose 0*t - 370 = -2*t. Is t a composite number?
True
Let o = -1681 + 626. Is (-2 - 0)*o/10 prime?
True
Let g = 692 + -19. Is g composite?
False
Let b = 4 - 2. Is b - (-1 + 2)*-87 prime?
True
Let b = -4 - -7. Let y be b/12*22*-14. Let g = 114 + y. Is g prime?
True
Is -1*4/4 + 48 composite?
False
Let d = 479 + -322. Is d composite?
False
Suppose -p = 3, 7*p + 17 = 2*c + 4*p. Suppose -14 - 73 = -q. Suppose -2*y + 2*o + 36 = 0, 0*o - q = -c*y - o. Is y a prime number?
False
Let a(f) = f - 1. Let o be a(3). Suppose 0 = -5*r + 4*d - 32 + 2, -o*d = -3*r - 18. Is (-112)/r - (-2)/6 a composite number?
False
Suppose -p - 23 = -3*f + 54, f - p - 23 = 0. Let j(u) = u - 7. Let c be j(15). Suppose -5*v + f + c = 0. Is v a composite number?
False
Is (3 + 2*-976)/(-1) a composite number?
False
Suppose 4*w + 3*n + 29 = 0, -w + 2 = 3*n + 16. Let s be 10*((-46)/w - 2). Suppose -2*h = -h + 2*v - 23, -3*h - 3*v = -s. Is h a composite number?
True
Let s be 2/9 + (-61)/(-9). Let z(u) = u**3 - 3*u**2 - 5*u. Is z(s) a composite number?
True
Suppose -19 + 4 = -5*j. Let v be (2 - (-6)/(-2))*-4. Suppose j*k + 86 + 31 = 3*u, v*k + 8 = 0. Is u a composite number?
False
Let h = -8 + 12. Suppose -3*w - 6*t + 366 = -t, 0 = h*w - 4*t - 520. Is w prime?
True
Let h(a) = 103*a**2 + 2*a + 1. Is h(2) a composite number?
True
Let p = 9 + -3. Suppose -3*j = -p*j + 174. Is j composite?
True
Let l = -4 - 2. Let o(n) = -3*n + 1. Let g(s) = 3*s - 2. Let k(c) = 5*g(c) + 6*o(c). Is k(l) a prime number?
False
Let k = -2351 - -3437. Suppose 4*x = 3130 - k. Is x prime?
False
Suppose 5*n - 19 = -2*g, -2 - 6 = -n + g. Suppose n*r - 7 - 8 = 5*f, 14 = 2*f + 2*r. Suppose 357 = f*k + k. Is k a prime number?
False
Is ((-4)/(-6))/(8/168) a composite number?
True
Let l(p) = -p**3 - 7*p**2 - 8*p - 7. Let x(v) = 2*v**3 + 4*v**2 + 2*v - 2. Let o be x(-2). Let n be l(o). Let z = n + -2. Is z prime?
True
Suppose 0 = -5*x - 668 + 108. Let c be x/11 - 6/(-33). Let r = 173 + c. Is r a prime number?
True
Let n = 9 - 13. Let k(u) be the second derivative of u**4/6 - u**3/2 + 5*u**2/2 - u. Is k(n) a prime number?
False
Suppose 0 = g - 2*g - 2. Let w be 4/(-10) - g/5. Suppose w = -2*y + 35 + 71. Is y prime?
True
Suppose -2706 = -f - 5*f. Is f a prime number?
False
Let k = -1 - 1. Let x(s) be the first derivative of -19*s**2 + s + 4. Is x(k) a prime number?
False
Suppose 2 = -5*z + 22. Suppose z*i - 5*y = -3 + 1, 5*y = 5*i. Is i a composite number?
False
Is 16/40 + 2813/5 a prime number?
True
Let j = 88 + -49. Let r = j + 0. Is r a composite number?
True
Suppose 3*w = 4*g + w - 12, 2 = 4*g + 3*w. Let j(m) = 2*m**3 - 3*m**2 + 2*m - 1. Is j(g) prime?
True
Suppose -4*i + h - 16 = -3098, 3*h = 6. Suppose 5*g + 0*g = 4*s + 950, -4*g + i = -s. Is g a prime number?
False
Suppose 0 = -0*r + 2*r - 36. Suppose 5*c = r + 17. Suppose 3*u - c*u = -84. Is u a prime number?
False
Let c(u) = u**3 - 3*u**2 + 8*u + 2. Is c(6) a composite number?
True
Suppose 8 - 2 = 3*h, -3*r + 2*h + 1343 = 0. Is r a composite number?
False
Let n = 10 + 21. Is n a prime number?
True
Let p be (-1)/2*2 - -3. Suppose 10 = 2*a - p. Suppose -x + 4*q = -145 - a, 0 = x - 3*q - 149. Is x composite?
True
Suppose 0 = 11*t + 2250 - 10511. Is t a prime number?
True
Let k = -4 - -19. Let b be (-1 - -2)/((-1)/(-2)). Suppose r + k = 4*r, 3*c = b*r + 23. Is c composite?
False
Let 