- 26 = -f. Is 4/(-8) + f/2 composite?
True
Let f = 2671 + -1517. Is f prime?
False
Let k(a) = a**3 - 2*a**2 + 4 + 6 + 0*a**2 + 11*a**2 + 3*a. Is k(-7) composite?
True
Let w = 1191 - 573. Suppose 3*i - 267 = w. Is i a prime number?
False
Let o(p) = -p**3 + 8*p**2 + 4. Let u be o(8). Let z(n) = -n**3 - 3 + 5*n + 2*n - 3*n + 4*n**2. Is z(u) a composite number?
False
Suppose -851 = -4*m + 1017. Is m a composite number?
False
Let t be (-9)/(-2)*(4 - 2). Let q be (-258)/t*(-1 + -2). Suppose r - q = -0*r. Is r composite?
True
Let m = 27 - 30. Is ((-1)/m)/((-3)/(-2619)) a prime number?
False
Suppose 0*d = -d + 21. Suppose -258 = -3*l - d. Is l a prime number?
True
Suppose -3*t = 3*a - 408, 5*t + 3*a = -0*a + 674. Suppose -g - t = -4*h - 4*g, 0 = -4*h - g + 143. Let k = h + -15. Is k prime?
False
Suppose 4*l - 1060 - 1824 = 0. Is l a composite number?
True
Let y = -1976 + 3127. Is y a composite number?
False
Let n = -17 + 20. Is (-1)/(((-9)/753)/n) a prime number?
True
Let o(n) = n + 1. Let v(d) = -8*d - 3. Let h(s) = -5*o(s) - v(s). Let a be 3 - (0 + -1 - 1). Is h(a) a composite number?
False
Suppose 0 = 4*i + 3*d - 8*d - 8161, -1 = d. Is i prime?
True
Suppose -5*v + 5*a = 5, -v = -3*v + a + 3. Is ((-10)/v)/(5/(-30)) a composite number?
True
Let t be (3 + 2)*(-6)/5. Is (-773)/t + (-3)/(-18) a composite number?
True
Let w = -2148 - -3095. Is w composite?
False
Suppose -b + 5*l - 22 = 3*l, -3*b - 5*l = 55. Let x = 67 + -52. Let s = x - b. Is s composite?
True
Let b(u) = 4 - u**3 - 7*u**2 - u**2 - 15 - 3*u. Is b(-8) a composite number?
False
Let d(r) = -r**3 - 5*r**2 - 7*r + 10. Let f be (-1 - -2)*(-4 + -3). Let i be d(f). Suppose -47 = 2*n - i. Is n composite?
True
Is (-4 + 6)*(-1594)/(-4) prime?
True
Suppose -2*h - 5 = n, 3*n - n - 2 = -h. Suppose -j + 16 = n*j. Suppose -l - 2*w = 0, j*w - 5 = 3*l - 15. Is l prime?
True
Let x(h) = -48*h**3 - 2*h**2 + 2*h + 7. Is x(-3) prime?
True
Let r(y) = y**3 + 10*y**2 - 7*y - 5. Is r(6) composite?
True
Suppose 2*w + 5*g - 12 = 0, 0 = -g - 1 + 3. Let k be 10/8*(w - -43). Suppose -3*p - 2*p + 25 = 0, 3*c - k = -2*p. Is c composite?
True
Suppose -3*w - 2*f = -566, 3*f + 2*f = w - 166. Suppose -3*b + 651 = w. Is b a composite number?
True
Let f = -34 + 51. Suppose 5*q - 4*c - f = 0, 2*q - 5 = -c + 7. Suppose 2*r + 2*u - 4 = 0, 1 = 4*r + q*u - 2. Is r a composite number?
False
Is (2/4)/((-1)/(-382)) a prime number?
True
Is 900 + (15/(-10))/((-3)/2) a composite number?
True
Let p(k) = -449*k**3 - k**2. Let c be p(-1). Let h be c/(-12) + 4/(-6). Let y = -19 - h. Is y a composite number?
False
Is (10/4)/((-17)/(-8534)) prime?
False
Let t be -5*2*2/(-10). Suppose 0 = -3*j + 6, -3*j + 1 = -t*o - 11. Is 4*3*o/(-9) a prime number?
False
Let t = 10 - 8. Is 606/9 + t/(-6) prime?
True
Suppose 3*g = -5*t + 141 + 124, 0 = -4*t - 4*g + 212. Is t prime?
True
Let m(c) = 88*c - 5. Is m(7) prime?
False
Suppose 2*b + 6 = 4*b, 3*r - 6 = -2*b. Suppose r = -2*y + 4*y - 8. Is ((-46)/y + 0)*-2 composite?
False
Let r(z) = 1. Let i(h) = -7*h - 2. Let p(j) = -i(j) - 3*r(j). Let n be p(-1). Is 66/n*(-8)/3 a composite number?
True
Suppose 98 = 2*u - 116. Is u/2 + 3/(-6) a prime number?
True
Let n(u) = u + 1. Let v(c) = -16*c + 7. Let d(r) = 2*n(r) - v(r). Let b be ((-2)/(-3))/(2/12). Is d(b) a prime number?
True
Suppose 2*r + 2*k = -2*k, 3*r = 5*k. Is 3/(6/130) + r a composite number?
True
Let j(o) = o + 3. Let t be j(-2). Is 185/10 + t/2 composite?
False
Let g be 3 + 0 + (-4)/4. Suppose -57 = -g*t - 7. Is t a composite number?
True
Suppose 3*q + 2*q - b = 397, q - b - 81 = 0. Is q a prime number?
True
Let p(j) = -j**3 + 9*j**2 - j + 11. Let b be p(9). Let q = b + -3. Is ((-3)/q)/(-3) + 54 composite?
False
Let u(x) = -15*x**3 + 3*x**2 - 1. Let n be u(-2). Suppose -57 - n = -4*j + 5*m, -141 = -3*j + 5*m. Is j a prime number?
True
Let i be 549*(24/(-9))/(-4). Let q = i - 155. Is q composite?
False
Suppose 2*a + 23 = -5*w, -2*w + 1 + 5 = -3*a. Is (2 - 1)*w - -80 a composite number?
True
Is ((-8)/12*23)/((-2)/6) a prime number?
False
Let d = 26 - -27. Is d a prime number?
True
Let u(d) = -42*d + 4. Let i be u(-2). Suppose 18 = -2*g + i. Is g a composite number?
True
Let u(i) = -i**2 - 6*i + 9. Let h be u(-7). Suppose -z = z + h. Let l = 8 - z. Is l a composite number?
True
Suppose 8*o = 3*o. Suppose -3*r - 3*b + 21 = o, 3*r - 3*b + 27 = 8*r. Suppose 130 = 2*d - 5*v, -d = -5*d + r*v + 232. Is d prime?
False
Suppose 3*b - r - 1089 = -4*r, -b + 2*r = -369. Is b a prime number?
False
Let y(a) = 17*a + 24. Is y(11) composite?
False
Let w(m) = m**2 + m + 64. Let j(s) = -4*s**2 - 4*s - 193. Let h(y) = 2*j(y) + 7*w(y). Is h(0) a prime number?
False
Suppose -l + 176 = -2*g, 3*l + 6 = -0. Let a = g - -132. Is a prime?
True
Suppose q = 8 + 29. Is q a prime number?
True
Let v(y) = -7*y**3 - y**2 - 2*y - 3. Let u be v(-2). Is 3 + (-2 - 1) + u a prime number?
True
Suppose 3*t - 2244 = 5*k, 10*k - 5*k = -3*t + 2214. Is t a prime number?
True
Let t = 125 - -182. Is t composite?
False
Suppose 2*s = -0*s - 4*d + 1898, -1874 = -2*s + 4*d. Is s composite?
True
Let d be 2/(28/26 + -1). Let u be 2*d*(-2)/(-2). Suppose -u = -5*t + t. Is t a composite number?
False
Let p = 6 - 4. Suppose p*c + 9 = 39. Is (c/(-12))/((-2)/136) composite?
True
Suppose -l + 2*l = -41. Let r = l + 246. Is r a composite number?
True
Suppose 3*o + 396 = t + 2*t, 0 = 4*t + 4*o - 488. Is t prime?
True
Let g = 250 + -71. Is g a prime number?
True
Let l be 252/48 + (-2)/8. Suppose 3 = -k + 2*r - 1, -l*k + 40 = 2*r. Is (-62)/(-3)*k/4 composite?
False
Suppose 4*g - 525 = 2007. Is g composite?
True
Suppose -3*v - 7 = -2*f - 2*v, f - 8 = 5*v. Let d be (42/f)/(1 - 0). Let m = d - 10. Is m composite?
True
Let n be 0/(2 - 3) + 3. Suppose -2*f - 4 = 0, 0*f - 476 = 5*l + n*f. Let s = 131 + l. Is s a prime number?
True
Let v(p) = -p**3 - 9*p**2 - p - 4. Let f be v(-9). Suppose -f*r + 122 = -63. Is r a composite number?
False
Let w be ((-6)/(-4))/((-3)/(-6)). Let k(d) = -w*d + 2 + 3*d**2 - 2. Is k(2) a prime number?
False
Is (5 - 4)*267/3 a composite number?
False
Let z(k) = k**3 + 6*k**2 - k**2 - 5*k**2 - 7*k + 6. Let b be z(4). Let g = b + -20. Is g prime?
False
Let a = -256 + 405. Is a composite?
False
Is 10/((6/19)/3) a prime number?
False
Suppose -4*z = s - 21, 2*s - 48 = 5*z + 7. Suppose -4*p = 1 - s. Is 18/4*28/p a composite number?
True
Let r be -1 + 0 - 9/(-3). Is (4/6)/(r/105) prime?
False
Let q = -15 - -66. Is q composite?
True
Let b(s) = -5*s - 1. Let z(d) = -d**2 - d - 1. Let w be z(-1). Let c be b(w). Suppose -c*f + 47 = -37. Is f a composite number?
True
Suppose 2*i + 49 = 5*f - 44, -3*i = -f + 29. Suppose -5*y + 2*y + 6 = -5*n, 5*n = y - 2. Suppose n = k - f - 48. Is k composite?
True
Let a = -10 - -7. Let n be 27/6*(-26)/a. Suppose -4*z + n - 11 = 0. Is z a prime number?
True
Let u = 3 + 9. Is (-1048)/u*(-3)/2 prime?
True
Let f = 7740 - 2859. Is f a composite number?
True
Let s(p) = 146*p**2 - 16*p + 16. Let y(l) = 29*l**2 - 3*l + 3. Let z(x) = -3*s(x) + 16*y(x). Let q be z(-1). Let f = 72 - q. Is f a composite number?
True
Let x(f) = -5*f**3 - 14*f**2. Let p(s) = 4*s**3 + 13*s**2 - s. Let j(a) = -6*p(a) - 5*x(a). Let q be j(7). Let z(r) = r**2 - 5*r - 5. Is z(q) a prime number?
True
Is (-6138)/(-30) + (-4)/(-10) composite?
True
Suppose 7 - 2 = -s, -2*s + 21 = l. Is l a prime number?
True
Suppose 38*b - 39*b = -2333. Is b a composite number?
False
Suppose x = -3*n - n + 60, 5*n - 4*x = 75. Is (5/n)/((-2)/(-282)) prime?
True
Let v = 1472 + -633. Is v a composite number?
False
Let d(n) = -n - 4. Let u be d(5). Let s = -4 - u. Suppose 0 = -5*k + s*g + 1040, -g - 445 + 1503 = 5*k. Is k composite?
False
Let v(c) = c**3 + 2*c**2 - 3*c + 4. Let p be v(-3). Let w = 4 - p. Suppose w = 5*a + s - 2*s - 265, 5*a - 4*s - 265 = 0. Is a composite?
False
Suppose 3*k = 5*m + 77, 3*k - 4*k - m = -39. Let y = -12 + k. Is y composite?
True
Suppose -w + 4*d = 28, 0*w - 4*w - 2*d = 184. Let b = w + 63. Is b prime?
True
Let d(b) = b**3 - b**2 - b - 8. Let c(h) = -h - 3. Let x be c(-3). Let l be d(x). Let v(i) = i**2 + 7*i - 2. Is v(l) composite?
True
Let a(p) = -3*p - 1. Let j(v) = -3*v - 2. Let i(g) = -7*a(g) + 6*j(g). Is i(6) prime?
True
Let a = 38 - -18. Let q = a + -5. Suppose -2*t + 3 = 2*s - q, -4*t + 131 = 