 = -226 + s. Let f = -62 - x. Is f a composite number?
True
Let o = 8 - 4. Let l be 129/45 + o/30. Suppose 2*g - 3 = 5*f + 121, l*g + 4*f = 209. Is g a prime number?
True
Let g = 107 - 31. Suppose 0 = -k + 5*k + 100. Let w = k + g. Is w composite?
True
Let d = -22 - -81. Is d prime?
True
Suppose v = -4*v + 20. Let m(z) = 2*z**3 + 4*z**2 + 5*z - 1. Is m(v) composite?
False
Suppose -r - 947 - 591 = -5*s, -s + 5*r = -322. Is s a prime number?
True
Is 0 - 3 - (-82 - -2) a prime number?
False
Suppose 0 = -3*z - 6198 - 3729. Let p be (-2)/10 + z/5. Is (1 - -1)/((-4)/p) composite?
False
Suppose -1048 = -n + 889. Is n a composite number?
True
Let l = 143 + -64. Is l a prime number?
True
Let b(o) = -4*o + 3. Let a = -7 - -2. Is b(a) prime?
True
Let u(s) = s**2 - 5*s - 10. Let o be u(8). Let t = 4 - o. Let q = 31 + t. Is q prime?
False
Let f(z) = -z**3 + 15*z**2 + 8*z + 11. Is f(15) composite?
False
Suppose 547 - 103 = 4*c. Is c a prime number?
False
Let h(b) be the second derivative of 14*b**5/5 - b**4/12 - b**3/6 + b**2/2 + 4*b. Is h(1) a prime number?
False
Suppose h + 10 = 5*z - z, -3*h - 9 = -5*z. Suppose -h*k = -10, -3*u + 838 = -3*k + 139. Suppose -2*s + u = 20. Is s a prime number?
True
Let i = -304 + 542. Suppose -2*v - 4*o = -8*o - i, -o = -4. Is v a composite number?
False
Suppose u + 4*f = -2*u - 2, 4*u = 2*f + 12. Let i = u - -1. Suppose 0 = 4*x - d - 121, -4*x + d = -i*d - 112. Is x composite?
False
Is ((-6)/(-10))/(-3) - (-28160)/50 composite?
False
Suppose w = 4 - 2. Suppose 3*m + 5*l - 337 = 0, 254 = 2*m - w*l - 2*l. Is m a composite number?
True
Let w = -1028 - -2775. Is w prime?
True
Let h = -8 + 11. Suppose -t + 2 = 2*f, 0*f - h*t + 5 = 5*f. Is (f + (-2 - -2))*95 a prime number?
False
Let t = 2 - 2. Suppose -o + 3*o - 122 = t. Suppose 3*w + p = o, -4 = 2*p + 6. Is w a prime number?
False
Suppose 3*l + 2 = -1. Let y be (l/(-2))/((-2)/16). Is 0 - (-2)/(y/(-6)) a composite number?
False
Let h = 351 + -104. Is h prime?
False
Suppose -4*r = -5*d - 2462, 5*d = -3 - 7. Is r a composite number?
False
Let y(w) = -w**2 + 5*w - 29. Let d(p) = -p**2 + 4*p - 30. Let k(b) = -5*d(b) + 4*y(b). Is k(0) prime?
False
Let p(q) = q + 540. Let u be p(0). Suppose 5*y - 2*y = u. Let k = 307 - y. Is k prime?
True
Let r(p) = 36*p + 2. Let i be r(3). Let t be i/3 + (-3)/(-9). Let n = 68 - t. Is n prime?
True
Let x(o) be the second derivative of 26*o**3/3 + 3*o**2 - 2*o. Let p be x(6). Suppose 5*s - p - 137 = 0. Is s prime?
False
Suppose 3*i - 436 = -n, -3*n + 293 = -i + 3*i. Is i a composite number?
True
Suppose -2255 - 988 = -3*l. Is l composite?
True
Let d(u) = -u**3 + 7*u**2 + 7*u - 6. Suppose 2*j - 25 = -3*j. Is d(j) a prime number?
True
Suppose 0*c = -2*c - 14. Let v be (1 - 0)*c/1. Is (-993)/(-21) - (-2)/v prime?
True
Let i(p) = p + 3. Let t be i(-3). Suppose -2*g + 4*v = -11 - 15, 2*g - v - 38 = 0. Suppose -3*b + g = -t*b. Is b a composite number?
False
Suppose -4*d - c = -384, -2*d + d = -c - 91. Let l = d + -161. Let r = 140 + l. Is r prime?
False
Let h be (3/(-6))/((-1)/10). Let n(p) = -p**3 + h - 5*p**2 - 4 + 4*p + 2*p**3. Is n(5) a composite number?
True
Let w(i) be the first derivative of -i**2 + 2. Let n be w(1). Is ((-1)/n)/(2/308) a composite number?
True
Let c(w) = 1 - 1 + 1 - w. Let k(j) = -11*j - 2. Let y(d) = 2*c(d) + k(d). Is y(-1) a composite number?
False
Suppose 0 = -0*n - 2*n + 36. Suppose 4*g + c - n = 81, -4*g + 104 = -4*c. Is g composite?
True
Let n be 586/(-4) - (-2)/4. Let k = 698 - n. Is (2/8)/(1/k) a prime number?
True
Let v = -73 + -70. Let r = -69 - v. Let g = r - 23. Is g composite?
True
Let v(d) = -d - 1. Let p be v(-3). Let k(c) = p - 7*c + 32*c - 9. Is k(6) a prime number?
False
Let u be (-10)/(-6)*(-43 - -4). Let b = 154 + u. Is b a composite number?
False
Let h be 985 + 3 - (1 + -2). Suppose p - h = -4*j - 0*p, -5*j - p = -1237. Suppose -5*q + j = 5*v - 22, -5*q = 2*v - 111. Is v prime?
True
Suppose 0*j - b = 4*j + 19, -3*j = -b + 23. Let i(f) = 4*f**2 - 2*f - 2. Let s(h) = -7*h**2 + 5*h + 3. Let t(r) = -5*i(r) - 3*s(r). Is t(j) prime?
True
Let s(o) be the second derivative of -o**4/12 - 11*o**3/6 - 3*o**2/2 - 3*o. Is s(-8) a prime number?
False
Is ((-10)/6)/((-7)/105) a composite number?
True
Suppose -3*i + 2 = -55. Is i a prime number?
True
Is (-11145)/(-20) + -2*3/24 a composite number?
False
Let u(h) = h + 13. Let k be u(-11). Suppose k*z = 2*y + 266, -4*y + 387 = 3*z - y. Is z a composite number?
False
Suppose 4*c + w - 652 = 0, 0 = w + w. Is c composite?
False
Let w be 2 - (1 + -2 - -1). Let h be (-1 + -1 - -2) + w. Suppose h*b - 33 = 33. Is b a prime number?
False
Suppose -6*t - 226 = -616. Is t prime?
False
Let q be 249 + -2 - (2 + -2). Let y = -78 + q. Is y composite?
True
Is (-1530)/(-5) + 0 + 1 a prime number?
True
Suppose 0 = -6*k + 758 + 2056. Is k a prime number?
False
Is -2*(414/(-4) + 2) a prime number?
False
Let x = -671 - -1150. Is x a composite number?
False
Let w(q) = -q**3 + 3*q + 3. Let v be w(-2). Suppose 3*t - 62 - 45 = -v*m, -12 = -3*t. Is m a composite number?
False
Let i be (1 - 0)/1 + 1. Suppose -11 - 63 = -i*w. Suppose -3*v + 4*l = -46, v + 2*v - w = -5*l. Is v prime?
False
Let u(q) = q**3 + q**2 - q. Let x be u(0). Suppose 4*k - n - 511 = x, -263 = -k - k + 3*n. Is k composite?
False
Let o be (-15)/(-10)*(-1048)/(-6). Suppose 3*b = -2*c + 394, -o + 71 = -c - 3*b. Is c composite?
True
Let l = -204 + 391. Is l a prime number?
False
Let p = -9 - -17. Is p/32 + 1035/4 composite?
True
Let x(u) = u**2 + 4*u + 4. Let v be x(-3). Is 186 + (v - (-1 - -3)) a prime number?
False
Let j(i) = -11*i - 9. Let k be j(-11). Let v be (3/(-6))/((-1)/k). Suppose 5*y + v = 4*r - 0*r, r - 5*y = 14. Is r prime?
False
Let p = 6 - 1. Suppose -2*f - 33 = -107. Suppose 0*j + j - h - f = 0, -3*h = p*j - 185. Is j a prime number?
True
Let m(x) be the first derivative of x**3 + 2*x**2 + 2*x + 2. Let s be m(-2). Is (-8)/2*s/(-8) composite?
False
Suppose 547 + 3479 = 6*d. Is d a composite number?
True
Let k = -87 - -162. Suppose g = 2*g + 2*x - 87, g - k = -5*x. Is g composite?
True
Let a(d) be the second derivative of -d**3/6 + 11*d**2/2 + d. Let z(r) = 2*r**3 - 28*r**2 + 2*r - 19. Let c be z(14). Is a(c) composite?
False
Let f(m) = -3*m. Let n be f(-1). Suppose -5 = -n*r + 7. Suppose r*j - 2*j - 18 = 0. Is j a composite number?
True
Is 2/(739/(-370) + 2) - 3 a composite number?
True
Is (-1)/((-6)/(11329 - -5)) composite?
False
Suppose 1752 = -o - o. Let f = -445 - o. Is f a prime number?
True
Let n(f) = 4*f**2 - 4*f**2 + 11*f - 5 + 2*f**2. Is n(-9) a prime number?
False
Suppose -7183 = -3*k + 2*a, 0 = 3*k + a - 6*a - 7180. Is k composite?
True
Let h be (-33 - (-3)/3)*-4. Let w = h + -15. Is w a prime number?
True
Let m(i) = -i**3 - 4*i**2 + 5*i + 3. Let l be m(-5). Is -94*(0 - 2) + l a composite number?
False
Suppose 2*d + 30 = -0*d. Is ((-530)/d)/((-2)/(-3)) prime?
True
Suppose 2*d = 5*q + 202, 3*q = 3*d + q - 325. Let w = d + -74. Is w prime?
True
Let a be 1 + ((-4)/4 - 0). Suppose -4*o - 53 + 141 = a. Is o a prime number?
False
Suppose -4*o = -h + 828, -5*h = -h - 2*o - 3256. Is 2/(h/404 + -2) composite?
True
Let b(t) = -t**3 - 2*t + 1. Let j be b(1). Suppose -d - 4*v = 1, -5*v - 2 = d + d. Is j - (d - -1) - -55 a prime number?
True
Suppose 43 = 3*j + 7. Suppose o - 5*o + j = 0. Suppose -3*z - 78 = -2*k, o*k - 169 = -2*k + z. Is k prime?
False
Let d(q) = -q**3 + 4*q**2 + 5*q - 5. Let m be d(5). Let f = 8 + m. Suppose -f*s + 2*s + 35 = 0. Is s prime?
False
Suppose 11*c - 1822 = 2259. Is c a composite number?
True
Let x(u) = u - 5. Let q be x(6). Let a be ((2 - q) + -2)*36. Is (5/4)/((-3)/a) a prime number?
False
Suppose -5*m + 23 - 3 = 0. Is m*((-222)/(-8) + 3) composite?
True
Suppose -4*s + 0 = -8. Suppose -s*m = 3*i - 329, 0 + 3 = 3*i. Is m a prime number?
True
Suppose -4*w - 5*o - 8 = 33, 5*o = -3*w - 27. Let k be 122/(-6) + (-4)/6. Let v = w - k. Is v a composite number?
False
Suppose 4 = y + 2. Suppose -2*b = 4, -y*x - b + 3*b = -16. Is x a composite number?
True
Let v(h) = h - 1 + 63*h**2 + 3 - 1. Let y be v(-1). Suppose -96 = -3*k + y. Is k prime?
True
Let a be 2/6*(9 + -3). Let j be 2/4 + 5/a. Suppose j*t - 5 = 58. Is t prime?
False
Let v(n) = n + 83. Is v(0) a composite number?
False
Suppose -13*h + 17*h =