) + (-166)/(-3) composite?
True
Let b be ((-6)/2)/(0 - 1). Suppose -b*a - 2*a = -290. Is a prime?
False
Is ((-20442)/8)/(9/(-24)) a prime number?
False
Let p(g) = g**2 - 5*g + 5. Is p(-5) a composite number?
True
Let k(m) = 4*m**2 - m. Let g be k(-1). Suppose 0*s = -s + 2, 765 = 5*r - g*s. Suppose 3*z = 40 + r. Is z a composite number?
True
Suppose n - 154 = 35. Suppose 246 = 3*o - n. Is o a composite number?
True
Is 2515/4 + (-11)/(-44) a composite number?
True
Let z(l) = -l**3 - 23*l**2 + 19*l - 23. Is z(-24) prime?
True
Let v(p) = p**3 - p**2 + 1. Suppose -4*h + 3*k + 17 = -3, 4*k = -5*h + 25. Let d(a) = 4*a**3 - 4*a**2 + 8. Let f(g) = h*v(g) - d(g). Is f(5) a composite number?
False
Suppose 2*m - 13 = 3*d + 5, m = 5*d + 16. Let p = -3 + m. Suppose 0*a + p*a - 30 = 0. Is a prime?
False
Suppose 30 = -2*j + 250. Suppose -36 + j = 2*s. Is s a prime number?
True
Is 1*-3*36918/(-54) composite?
True
Suppose -5 = 3*c - 4*c. Suppose 0 - 25 = -c*w. Suppose 2*h + 0*h + 325 = 5*x, 325 = w*x + 4*h. Is x a composite number?
True
Let j be (-5)/20 + (-34)/(-8). Suppose -b + 0 = -4*q - 10, -j*b + 2 = 3*q. Suppose -4 = b*x - 18. Is x prime?
True
Suppose -2 = -3*c - 4*i, -8 = -2*c + 4*c + 5*i. Suppose -12 = 4*n, u + 2*u = -2*n + c. Let s(p) = 2*p**3 - 6*p**2 + p - 3. Is s(u) a composite number?
True
Suppose 5*b = 2*b. Suppose -5*o = 2*w - 441, -2*o - 5*w + 168 = -b*o. Is o composite?
False
Is (-6157 - 2)/(-3) + 1 + -1 prime?
True
Let d(t) = 160*t**2 - 1. Let v be d(-1). Is v + (1 + 3 - 2) a composite number?
True
Let x = -40 - -69. Let d(k) = -k - 2. Let j be d(7). Is j/6*2 + x prime?
False
Suppose 3*j - 5*j = 2*d - 370, -4*d = 3*j - 554. Suppose -2*a + j = -32. Let o = a + 48. Is o composite?
False
Let r(x) = 2 + 3*x**2 - 3 - 1. Let v(h) = -h**2 - 4*h - 1. Let j be v(-2). Is r(j) prime?
False
Let x(h) = -h - 7. Let c be x(-7). Let v = c - 0. Suppose 5*s + o = 38, v = 4*s + s + 2*o - 41. Is s prime?
True
Suppose 5*i + d = -38 - 39, 3*i - 5*d = -35. Let v be (-6)/i + 263/5. Suppose 2*j + 3*n - v = 0, -4*n + 9*n + 95 = 4*j. Is j a composite number?
True
Let q = 7 + 2. Suppose q = -h + 24. Is (-5)/h + (-464)/(-6) a composite number?
True
Let f be 68/(-16)*-4*11. Suppose f = 4*y + 63. Is y a composite number?
False
Let u(f) = f**3 + 19*f**2 - 13. Is u(-14) a composite number?
False
Let w(z) = 2*z**2 - z + 1. Let q be w(1). Suppose -2*h + 29 = -0*s + s, q*s + h = 49. Is s prime?
True
Suppose 0 = 4*p - 3*p - 3*y + 124, -2*p = y + 234. Suppose 511 = 3*v + 4*s, 4*v - s = 2*s + 698. Let l = p + v. Is l prime?
False
Let y(n) = n**3 - 3*n**2 - 3*n + 1. Let m be y(4). Suppose 2*z - l - 428 = -0*z, -m*l = 2*z - 440. Is z a composite number?
True
Let z(b) = 4*b**2 + 5*b + 4. Let g be z(-3). Let c be ((-180)/g)/((-6)/20). Suppose -5*v + c = 5*a - 16, -12 = -v - 2*a. Is v a prime number?
False
Let h(g) = -g**2 + 6*g + 7. Suppose 2*b - 18 = -b. Is h(b) prime?
True
Suppose 8*k - 3*k - a - 1726 = 0, -5*a + 366 = k. Is k prime?
False
Let x(j) = 2*j**3 - 8*j**2 + 3*j + 5. Suppose 4*a - 29 = -5. Is x(a) composite?
False
Let i = 15 - -36. Is i a prime number?
False
Suppose q + 0*o = -3*o + 133, -2*o = 2*q - 250. Is q prime?
False
Suppose 0 = 20*v - 10*v - 5570. Is v prime?
True
Suppose -1693 = -2*m + 609. Is m a composite number?
False
Let f = -1 + 4. Let l be (15/10)/(f/16). Suppose 53 = 3*r + l. Is r a prime number?
False
Suppose 0 = -c + 2*c - 12. Let d be 1/4 + 741/c. Is d*6*(-2)/(-8) a composite number?
True
Suppose -4*h + 4 = -s + 5*s, 2*s - 12 = 3*h. Suppose s*a - 2*i - 475 = 0, -32 = -a + 2*i + 121. Is a prime?
False
Let f(s) = 790*s**2 - s - 2. Is f(-1) a prime number?
False
Let r = -145 + 368. Is r composite?
False
Let a = -191 + 332. Suppose -8*m - a = -11*m. Is m composite?
False
Suppose -4*p - 16 = -0*h + 2*h, 0 = -2*p - 10. Suppose 4*k + 0*j = j + 228, -h*k + 4*j = -100. Is k composite?
True
Let u(j) = 3*j**2 - j - 1. Let h be u(2). Is (-1 - (-12)/h)*117 a prime number?
False
Let n be ((-594)/(-15))/((-3)/(-50)). Suppose -n = -j - 2*j. Suppose -2*k - 38 = -j. Is k composite?
True
Is -2*4/(-8)*3359 prime?
True
Is (2*-41)/((-16)/24) a prime number?
False
Is (-1)/(-1) + 2/2 + 81 a prime number?
True
Let v(s) be the second derivative of -2*s**3/3 - 17*s**2/2 - 6*s. Is v(-13) a prime number?
False
Let v = 711 + -380. Is v prime?
True
Suppose 4*g = 146 + 1286. Suppose -3*w = -g - 68. Suppose -2*s + w = -3*h, 365 = 5*s - h - 16. Is s a composite number?
True
Let u(q) = 2*q - 6. Let p be u(4). Suppose -p*n + 16 = -6*n. Is (6/n - -1)*-314 composite?
False
Let f(m) = -m**3 + 9*m**2 + 4*m - 5. Suppose 3*b - 2*b - 32 = -4*j, -8 = -2*b. Is f(j) a prime number?
False
Suppose 3*n + 27 = 5*s, -3*s = 5 - 14. Let b(f) = -f**3 + 2 - 3 + 6 - f**2 - 3*f. Is b(n) prime?
False
Suppose -4*v + 7119 - 2376 = -q, 4*v - 4741 = 3*q. Is v a prime number?
False
Let d be -2 - 1*(-68 - 3). Suppose -w = 2*w + 4*x - 169, 5*x = w - d. Suppose w = 2*y - 115. Is y prime?
False
Let r(k) = -k**3 + 6*k**2 + 7*k + 3. Let m be r(7). Let z(p) = 5*p**2 - 3*p + 3. Is z(m) a composite number?
True
Let v(s) = -34*s + 9. Let h be v(11). Let o be 4 - 1 - h/5. Let q = o + -37. Is q a composite number?
True
Let m = 11 + -5. Let t be 34/(-6) - m/(-9). Let f = t + 31. Is f prime?
False
Suppose -2*s + 4 + 75 = l, -5*l + 5*s + 455 = 0. Let i = 134 - l. Is i composite?
False
Suppose -3*b = -4*b + 42. Let v = 89 + b. Is v a prime number?
True
Let k(m) = 20*m**2 - 7*m - 3. Let n be k(6). Suppose -672 = -3*w + b, 0*b - 2*b = -3*w + n. Is w a composite number?
False
Let d = 2339 - 1658. Suppose -4*w + 1745 = d. Suppose -b - w = -3*b. Is b composite?
True
Let f(z) = z + 7. Let w be f(0). Suppose 0 = -2*q - 3*u + w + 15, -4*u = 0. Is q a composite number?
False
Let i(h) = 1 + 1 - 4*h**2 - 47*h**3 - 1 + 3*h**2. Is i(-2) a composite number?
False
Suppose -u + 0*d + 1 = -2*d, 3*u - 4*d - 5 = 0. Suppose -11*x = -5*x - 408. Suppose x - u = 5*v. Is v a prime number?
True
Is 1*-4 + 11 + 1636 composite?
True
Suppose -5*v = -2*t - 1045, 4*v - 399 - 455 = -2*t. Is v composite?
False
Suppose 0 = 6*t - t - 155. Let d = 84 - t. Is d a prime number?
True
Suppose d - 3 = -1. Suppose -s = 2*q - 9, -5 + d = -2*q + s. Suppose -q*f - 2*f + 50 = 0. Is f composite?
True
Suppose -3*w + 258 = -483. Is w a prime number?
False
Let j(z) = -8*z**3 - 3*z**2 - 3*z + 3. Is j(-4) a composite number?
False
Suppose -20 = 9*m - 4*m. Let n(a) = 2*a**2 + 11*a**2 + 0*a - 3 - a. Is n(m) composite?
True
Let w be (-174)/4*20/(-3). Suppose 3*z - w = -2*z. Is z a composite number?
True
Suppose 0 = -2*n + 2*k - 4 + 2, -7 = 3*n - 5*k. Is n/3 - 2464/(-6) prime?
False
Suppose -4*r - 14 = 10. Let s = -2 - r. Is 2/s + 137/2 a composite number?
True
Let n(u) = -192*u**3 + 2*u - 5. Is n(-3) a composite number?
True
Let r(z) = z**3 - 9*z**2 + 3*z + 1. Let b be r(6). Let n = 68 - b. Is n composite?
False
Let a(z) = z**3 + 7*z**2 + 8*z + 9. Let f be a(-6). Let w = -1 - f. Suppose -3*b - w*b = -1005. Is b composite?
True
Suppose 0 = 4*a - 2*j + 3*j - 4313, -4*a = -j - 4303. Is a prime?
False
Let i(q) = -17*q + 7. Is i(-8) a composite number?
True
Suppose 3069 + 3071 = 10*v. Is v prime?
False
Let b(k) = -k**3 + k**2 + k + 83. Is b(0) a prime number?
True
Let j(s) = s**3 - 4*s**2 - 2*s - 6. Is j(7) composite?
False
Is 406/4*8/4 a composite number?
True
Let x be 1/((-1 + 2)/5). Suppose -x*w = b + 2*b - 1069, -651 = -3*w + 3*b. Is w a composite number?
True
Suppose 5*l - 2*s + 670 = 3*l, 317 = -l - 5*s. Is l/(-12)*(5 - 2) a composite number?
False
Let d(o) = -4*o + 3. Suppose -1 = -2*i - 15. Is d(i) composite?
False
Suppose -3*u + 3170 = 4*f, -4*f - 113 = u - 3279. Is f a composite number?
True
Let b be 2/6 - (-329)/21. Let p = 10 - b. Is (p - -8)*(-133)/(-2) prime?
False
Let l(o) = -o**2 - 5*o - 1. Let j be l(-4). Is j*(43/3 - 0) composite?
False
Let w(a) = 19*a - 3. Let x be w(-4). Is (x*(2 - 3))/1 composite?
False
Suppose -2*n + 64 = -n. Let x = -45 + n. Is x composite?
False
Suppose n = -5*t - 25, -4*n - t = 2*t + 32. Let l(g) = -2*g - 3. Is l(n) a prime number?
True
Suppose 0 = -q + 2*v + 3, -q - 4*q + 2*v + 31 = 0. Let w(r) = r**2 + r + 2. Let f be w(q). Suppose 5*g = f + 127. Is g a composite number?
False
Suppose -2*g - 732 = -6*g. Is g prime?
False
Suppose 4*m - 1100 = -0