Is (-5 - (-765 - -4)) + -5 a prime number?
True
Suppose 4*b - o + 27 = 0, -4*b - o - 15 = -b. Let z be ((-2526)/b)/(1 - 0). Suppose 5*j + f = z, -174 = j - 3*j + f. Is j prime?
False
Let w(x) = 8*x**3 + 4*x**2 - 7*x - 1. Is w(6) a composite number?
True
Let y(x) = 14*x - 2. Let p be y(5). Suppose 2*l = p + 6. Is l prime?
True
Suppose -m + 2932 = 2*m + 2*i, m - 5*i - 949 = 0. Is m prime?
False
Suppose -4*y - 2967 = j, -473 = 5*y + 3*j + 3234. Is y/(-8)*(-6 + 10) prime?
False
Let b be 3/2*(-16)/(-12). Let x be (0/1 - 4)*-4. Suppose -x = 2*d + b*d, 0 = 2*h - 3*d - 98. Is h prime?
True
Let l = -25 + 31. Is l*-1 + 4 - -181 prime?
True
Suppose -2*o = -2*c + 3928, -5163 - 2648 = -4*c - 5*o. Is c composite?
True
Let c be 4/((-3678)/921 + 4). Let n = c - 403. Is n composite?
False
Let u = -62 + 115. Is u composite?
False
Let q(a) = 8*a - 4. Let u be q(4). Let s be (-849)/(-7) - 8/u. Suppose 2*i + 15 = s. Is i a prime number?
True
Let x = -11 + 6. Is 2/x + (-539)/(-35) prime?
False
Let c = -4 - -9. Suppose -r + c*m + 1324 = 3*r, -5*r - 4*m = -1655. Is r a composite number?
False
Let t = -3 - -5. Suppose -t*h = 2, 3*h = -4*j - j + 112. Is j composite?
False
Let j = 32 + 755. Is j a prime number?
True
Let g = 10 + -2. Let t = 4 - -1. Suppose 0 = 2*s - g, t*p - 44 + 5 = -s. Is p a prime number?
True
Suppose g + 4*r - 2949 = 0, -g - 5*r + 5892 = g. Is g prime?
False
Let z(d) = 3*d**2 - 4*d - 5. Is z(-6) a prime number?
True
Let a(q) = 4*q**3 - 4*q**2 + 8*q - 9. Is a(8) a composite number?
False
Let s(v) be the first derivative of -12*v**2 + v + 2. Is s(-4) a composite number?
False
Suppose 2*a = 4*p + 6422, 11*p - 3195 = -a + 9*p. Is a a composite number?
False
Let i = 225 - 81. Suppose -12 = 4*a, -2*f - 2*a - 36 = -i. Is f a composite number?
True
Suppose 0 = -4*x - j + 1660, 2*x + 0*x - 830 = 4*j. Suppose 4*y = -y + x. Is y prime?
True
Let b = 5949 - -218. Is b prime?
False
Let z(o) = 44*o - 6. Let s(q) = -22*q + 3. Let a(b) = 7*s(b) + 3*z(b). Is a(-3) a prime number?
False
Suppose -2*v + j = -1196, 0*j = 3*v + 5*j - 1794. Suppose -4*t = -6*t + v. Is t prime?
False
Let g = 1050 + -437. Is g a prime number?
True
Let l be 52/(-14) - (-6)/(-21). Let i(f) = f**3 + 3*f**2 - 5*f. Let p be i(l). Is (-2)/(-4) - (-330)/p a composite number?
False
Suppose 3*s = -3*r + 9385 + 8180, 3*r = 3*s + 17577. Is r a composite number?
False
Suppose t + 3*t + 23 = v, -t = -3*v + 3. Let x(w) = -12*w + 7. Is x(t) composite?
False
Suppose 2482 = 5*t + 417. Is t composite?
True
Suppose -j - v - 4*v = -9239, -3*j = -5*v - 27717. Is j a prime number?
True
Suppose 0 = 5*y + 14 - 49. Is y prime?
True
Let v(r) = -7*r + 1. Let o be (-6)/(-10) + 2/5. Let c be v(o). Is (-9)/c*44/3 a prime number?
False
Suppose -130 - 66 = n. Let b = 64 - n. Suppose 5*y = y + b. Is y a composite number?
True
Suppose -7*b + 5*b = -20. Suppose -b = 4*y - 1974. Is y composite?
False
Is (-1668)/(-15) + (-3)/15 composite?
True
Let k(z) = 14*z**2 + 3*z + 5. Is k(-2) prime?
False
Suppose -544 = -4*u + 6*s - 2*s, 5*u - 672 = s. Is u a composite number?
True
Let b be (-3 - -1)*-2*53. Is b/(-8)*2*-7 a composite number?
True
Let p be (-10)/(-35) + 1024/(-7). Let n = p - -225. Is n a prime number?
True
Let t = -5 + 18. Let s = -5 + 4. Let f = t - s. Is f a prime number?
False
Let x(y) = -1795*y**3 - y**2 - y. Is x(-1) a prime number?
False
Let y(s) be the third derivative of s**6/120 + s**5/30 - s**4/12 - s**3/6 + 3*s**2. Let v be 4 + 2 + -2 + -2. Is y(v) prime?
True
Suppose -2*r - 2085 = -5*d, -d + 2*r = -2*r - 399. Is d composite?
False
Suppose 2*b + 3*b - 2045 = 0. Suppose 0 = -l - 3*m + b + 166, -m = 4. Is l a composite number?
False
Is ((-2095)/(-5))/(0 + 1) a composite number?
False
Let q = 1 - -5. Let o = q + 0. Is (-1)/((o/22)/(-3)) prime?
True
Suppose -2*b + 2 = -2*a, b = -3*a + 3*b. Suppose -4*w + 361 = -a*k + 29, -3*w + 275 = 5*k. Suppose -5*x + 260 = w. Is x composite?
True
Suppose 0 = 4*t - 2*k - k - 1051, t - 239 = -4*k. Is t a prime number?
False
Let d(u) = -u**3 + u**2 + 3*u + 3. Let w be d(3). Let h(x) = x + 14. Let z be h(w). Is (-26)/z*(-8)/2 composite?
False
Let h(z) = -2*z - 2. Let q be h(-4). Suppose -3 = -3*v + q. Is v a composite number?
False
Let q(w) be the third derivative of -w**6/120 + w**5/20 + w**4/24 + 2*w**2. Let n be (0 - -1) + (2 - 1). Is q(n) composite?
True
Let g(b) = -b**3 + 9*b**2 + 3*b - 3. Let x = 1 + -6. Let f be 3/x - 86/(-10). Is g(f) composite?
True
Suppose -2*c - 7336 = 4*l - 21366, -4*l + 14045 = 5*c. Suppose 0 = -n - 4*n + l. Is n a prime number?
True
Let b = -11 + 44. Let c = 266 - b. Is c a composite number?
False
Let x(q) = 16*q**3 - 2*q + 3. Let b be 9/4 - 1/4. Let k be x(b). Suppose -k = -3*i + 2*i. Is i composite?
False
Let x(n) = -n**3 + 6*n**2 - 3*n - 5. Let k be x(5). Suppose k*l = 15, i + 2*l - 6 = l. Suppose 70 = -i*g + 5*g. Is g prime?
False
Let l = -9 + 10. Is -37*l*(-2)/2 a composite number?
False
Suppose -6*j + j = -70. Suppose 5*t + 2*a = 25 + j, 0 = 2*a - 4. Is t prime?
True
Let y be (-159)/(-5) - 2/(-10). Is (-2)/8 + 6120/y a composite number?
False
Let o = 0 + 0. Suppose y + 0*y - 44 = o. Suppose -2*q - 2*q = -y. Is q composite?
False
Let c be (6/9)/((-4)/498). Let n = c - -166. Is n prime?
True
Let r = 13 + -10. Is -3*(-2 + r) + 41 composite?
True
Suppose -2*s - 3*d - 118 = 0, -s = d + d + 58. Let n be (s/(-6))/(4/24). Suppose -5*o = -3*o - n. Is o composite?
False
Let i be 6/(-27) + 92/9. Let q(n) be the third derivative of n**4/12 - n**3 - 3*n**2. Is q(i) composite?
True
Is 47452/14 + (-12)/(-56)*-2 prime?
True
Let d = -14 - -23. Let n be 6*(1 - 6/d). Suppose -230 = -3*l - n*l. Is l prime?
False
Suppose -15 = -3*s + 4*d + 11, 8 = 2*d. Let r be s - (1 - (1 + -2)). Is 2*6*15/r a composite number?
True
Let h(a) = -18*a - 37. Is h(-11) composite?
True
Let u be (-20)/(-3) - (-2)/6. Let n = u - 1. Suppose s + 185 = n*s. Is s prime?
True
Let f(y) = 25*y + 18. Let g(c) = 74*c + 53. Let i(s) = -17*f(s) + 6*g(s). Is i(10) composite?
True
Is ((-2)/(-4))/(10/20) + 2610 a prime number?
False
Let u = 8 - -1. Let h be (-2)/u - (-27984)/54. Let i = h + -307. Is i prime?
True
Let d(j) = -j**2 - 11*j - 5. Let l be d(-8). Suppose 0 = -6*g + g. Suppose g*n - l = -n. Is n composite?
False
Let j(z) = -z**2 - 8*z + 5. Let m be j(-9). Is 318/m*(-8)/12 a prime number?
True
Let i(k) = 130*k**3 - k**2. Let r be i(1). Let z = -59 + r. Suppose -15 = -x - 4*n, -x + 3*x - 2*n = z. Is x composite?
False
Suppose l + 0*l - 29 = 0. Is l/4 - 3/12 prime?
True
Let p(l) = l**2 - 3*l + 7. Let y be p(-7). Let x = y - 114. Let a = x + 68. Is a prime?
True
Suppose 104 + 11 = g. Is g a prime number?
False
Suppose -546 = -w - 4*z + z, 2*w = 2*z + 1068. Is w a prime number?
False
Is ((-5)/(30/(-4)))/((-8)/(-13044)) a composite number?
False
Let f(q) = 25*q + 67. Is f(16) a prime number?
True
Let d = -68 - -1549. Is d prime?
True
Let b(z) = -z**3 - 8*z**2 - z - 8. Let k be b(-8). Suppose k = j - 6*j + 15. Is 154*(j/6 + 0) a prime number?
False
Suppose -3*j + 3773 = -5*p - 2362, 4*p + 2*j + 4886 = 0. Let q = 402 + p. Is q/(-14) + 2/7 composite?
False
Let g(r) = -r**2 - 29*r - 34. Is g(-24) prime?
False
Suppose -q = 5*v - 3657, v + 5*q + 0*q - 741 = 0. Is v a composite number?
True
Let r(k) = -k - 8. Let p be r(-10). Suppose p*l - j - 2530 = -l, 2*l - 1686 = j. Suppose 2*t = -2*t + l. Is t a prime number?
True
Suppose -7*i + 1028 = -2367. Is i a prime number?
False
Suppose g - 3*f - 15 = -0*f, 5*g + 3*f = -15. Suppose h + g*h + 4 = 0, 2 = 3*w + h. Suppose -j + 2*j + 584 = w*z, 1455 = 5*z - 5*j. Is z a composite number?
False
Let z = 25 - 47. Let x = -9 - z. Is x a prime number?
True
Suppose 3*p - x = -p + 643, -15 = 5*x. Suppose 0 = 2*r + 5*u + 88, 2*r + 2*u - 60 + p = 0. Let n = r + 91. Is n a prime number?
True
Let u(y) = -y - 9. Let d be u(-8). Is d/(1/(-23) + 0) prime?
True
Suppose -5*x + 3*s = -0*x - 345, 3*s - 117 = -2*x. Let f = -43 + x. Is f a composite number?
False
Let v(n) be the first derivative of -14*n**2 + 3*n + 3. Is v(-4) a prime number?
False
Let a = 10 - 11. Is (-7 - -9) + (-161)/a prime?
True
Suppose -28 = 3*v - 4*v. Let u(k) = -k**3 + 9*k**2 + 3*k. Let i be u(7). Suppose i = y + v. Is y prime?
False
Let p(w) = -w + 1. Let o be p(0). Let g(y) be the second derivative of 13