2/(-22) composite?
True
Let n be (1 - 9/6)*-4. Suppose y + 22 = 3*y. Let z = y - n. Is z prime?
False
Suppose j + 0 = 2. Suppose 4*h - j*v - 12 = 0, -4*h - v + 0*v = -24. Suppose -3*f - h*n = -63, 2*f - 42 = n - 2*n. Is f composite?
True
Let t = 14988 + -8777. Is t prime?
True
Let d = 13 + -10. Is 3/(9/978) + d a composite number?
True
Suppose -g + 0*g + 8 = 0. Let o be (g/12)/((-2)/(-15)). Is (2 + 2)/(2/o) a composite number?
True
Suppose -1756 = -3*o - 5*t, 2*t - 1325 = -5*o + 1608. Is o composite?
False
Let u = -5 + 8. Suppose -4*g + u*c + 146 = -401, 0 = -3*g + 2*c + 409. Is g a prime number?
False
Suppose 2 - 7 = 2*a - 3*d, 4*a = 5*d - 5. Let q(w) = w**2 + 6*w + 4. Is q(a) prime?
True
Is -4 + 0 + 8 - (-3 + -286) a prime number?
True
Let l = -11 + 15. Let y be 199/l - 4/(-16). Suppose -5*a + 3*n = -y, 2*n = -5*a + 11 + 14. Is a prime?
True
Let y = -2 + 10. Let q(f) = f**3 + 3*f + 3*f - 3 + 3*f + 3*f - 7*f**2. Is q(y) composite?
False
Suppose 93 = 2*j - 977. Is j a composite number?
True
Suppose 3*k + y = 2*k - 12, 4*k = 4*y - 40. Let h = k - -54. Is h prime?
True
Let l = 1848 - 1249. Is l composite?
False
Let m(r) = -19*r + 3. Is m(-4) a composite number?
False
Let y(f) = -1 - 1 - 69*f + 4 + 2. Is y(-3) a composite number?
False
Suppose 4*k - 29 = -3*r + 8*k, 4*k = -20. Let m = r - -4. Is m a composite number?
False
Let q(g) = g**3 - 14*g**2 + 17*g - 16. Let j be q(11). Let i = -132 - j. Suppose 5*d + 5*b - i = 0, 2*d + 2*d - 50 = -2*b. Is d a composite number?
False
Suppose z = 4*z - 12. Suppose -z*m - 1521 = -3*i - 2*i, -5*i + 2*m = -1513. Is i prime?
False
Let a(n) = -n**3 + 10*n**2 + 10*n + 7. Let g be a(11). Is (g/(-6))/(2/651) composite?
True
Suppose -y + 5 + 0 = 0. Suppose -y*r + 50 = -3*r. Is r a prime number?
False
Suppose 2 = -2*m + 8. Suppose 0 = -3*v + 3*n + 6, m*v + 5*n - 2*n = 24. Suppose k - 4 = 3*k, 0 = -4*b - v*k + 1162. Is b prime?
True
Let m be (-78)/(-36) - (-2)/(-12). Suppose 5*v - 5*f = 415, -4*v - m*f + 348 = 2*f. Is v a prime number?
False
Let o(n) = n**2 + 4*n. Let h be (-1)/((-2)/(-8)) - 0. Let k be o(h). Suppose 4*a - q - 315 = 0, 2*q + 393 = 5*a - k*q. Is a a prime number?
True
Let r = -7 + 25. Suppose 0 = 4*t - t - r. Let l(u) = 2*u**2 - 6*u + 3. Is l(t) prime?
False
Let u = 1 - -4. Suppose u*q + k = -0*k + 8, -3*q = 3*k. Suppose 4*f - 5*o = 7 + 225, -q*f = -5*o - 126. Is f a composite number?
False
Suppose -5*v - 2*f + 25 = -6*f, 0 = 5*v + f. Let g(c) = 56*c**3 - 2*c + 1. Let s be g(v). Let y = s - 21. Is y composite?
True
Let k be ((-315)/(-6) + 0)*2. Let l = 154 - k. Suppose -l = -0*t - t. Is t a prime number?
False
Suppose 4*w - 2*w - 506 = -3*t, 0 = 4*t - 4*w - 648. Suppose -x + t = x. Is x a composite number?
False
Let y(p) = 9*p**2 + 9*p + 5. Let w(r) = -3*r**2 - 3*r - 2. Let o(l) = 8*w(l) + 3*y(l). Suppose -4*a + d - 24 = 0, a + 2*a + 18 = -d. Is o(a) prime?
True
Suppose 5*f + a + 0*a - 1257 = 0, 0 = 4*f - 4*a - 996. Is f a composite number?
False
Suppose -j - 10 = -113. Suppose -j = -3*h + 143. Let n = h - 45. Is n a prime number?
True
Let y(b) be the second derivative of 7*b**5/40 + b**4/24 - b**3/2 + b. Let x(t) be the second derivative of y(t). Is x(1) a composite number?
True
Suppose -4 + 16 = 4*m. Suppose 0 = -o + m*o. Suppose o*i - i = -37. Is i composite?
False
Let k = 103 + -38. Is k a composite number?
True
Let k(z) = 292*z**2 + 6*z + 7. Is k(-2) prime?
True
Let y be 6/21 + (-52)/(-14). Suppose 3*j = y*c - 3 - 2, -3*c + 8 = 2*j. Let n = c + 5. Is n a composite number?
False
Let r(f) = -f**2 - 21*f - 3. Is r(-16) composite?
True
Let b be (-10)/25 + (-6)/(-15). Is -2 + 3 - (b + -212) a composite number?
True
Let j(p) = 46*p**2 - 7*p + 9. Is j(2) prime?
True
Let h(a) = -14*a**3 - 21*a**2 + 29*a - 15. Let t(m) = -5*m**3 - 7*m**2 + 10*m - 5. Let v(f) = -6*h(f) + 17*t(f). Is v(4) composite?
False
Suppose w = -4*b + 63, -3*b + 0*w + 60 = 5*w. Suppose 5*i - b - 10 = v, -65 = 2*v + 5*i. Let m = v + 107. Is m a composite number?
True
Suppose 2*p - 78 = 248. Is p composite?
False
Let h(z) = z**2 + 42*z - 33. Is h(16) a prime number?
False
Suppose -i + 243 = 3*q, -q - 1 = -0*q. Let a = -97 + i. Is a composite?
False
Let w(h) = h**2 - 8*h + 6. Let v be w(8). Is (-21)/12*v*-2 prime?
False
Is (-29 - -32)*(-7978)/(-6) a composite number?
False
Let p(y) = 5*y**2 - 3*y + 4. Let x be p(4). Suppose 44 + x = 4*z. Let t = z + 5. Is t a composite number?
True
Suppose -3*t + 5*f = -2*t - 23, 2*f = -4*t + 136. Is (4 - 2) + -1 + t composite?
True
Let a(k) = -k + 4. Let d be a(6). Let u be d - (-2 - 9/3). Suppose -3*n = u*h - 219, -4*n + 425 - 145 = h. Is n composite?
True
Let b be ((-2)/(-6))/((-3)/27). Let p(d) = d**2 + d. Let a(w) = 12*w**2 + 2*w + 3. Let m(u) = a(u) - 3*p(u). Is m(b) a composite number?
True
Suppose -25 = 5*v, -3*v + 20 = -5*f + 1930. Is f composite?
False
Let s = 3645 + -2352. Is s a prime number?
False
Let v = -24 - -23. Let b(q) = -120*q - 1. Is b(v) a composite number?
True
Let f(u) = 324*u**3 + 4*u**2 - 5*u + 4. Is f(2) prime?
False
Let b(y) = 52*y - 3. Is b(4) a prime number?
False
Suppose -3*w = 2*w. Suppose -j + 5*j = w. Let x(g) = g + 2. Is x(j) composite?
False
Suppose 5*r = -4*x + 21647, 8657 = 2*r + 6*x - 5*x. Is r a prime number?
True
Let s = -9 + 11. Let g be -2 - (-2)/(2/5). Suppose -s*r + 185 = g*r. Is r a prime number?
True
Let k(l) = l - 4. Let p be k(9). Suppose -5*i = p*c - 255, i + 0*c - 4*c = 71. Is i prime?
False
Suppose -2*b + 12 = -6. Is b a composite number?
True
Suppose -60*p = -62*p + 1796. Is p prime?
False
Let b(y) = -y**3 + 16*y**2 - 9*y - 1. Let f be b(15). Let h(u) = -u**3 - u**2. Let t be h(-1). Suppose t*n - n + f = 0. Is n prime?
True
Suppose -60 = -5*n + 90. Let g be -1 - n/3*-1. Suppose -x - 3 = -p - 0, g = 3*x. Is p a prime number?
False
Suppose 4*t + u = 2690, -u = 3*t - t - 1344. Is t prime?
True
Let u = -999 - -2110. Is u prime?
False
Let i(k) = 2*k**2 + 2*k - 7. Let u be i(-3). Suppose -6*b = -b. Suppose b = -u*s + s + 236. Is s prime?
True
Let s(q) = -23*q. Is s(-2) composite?
True
Let p be 62/(-2) + 2 - -3. Let x = p + 13. Let z = 24 - x. Is z prime?
True
Let l be 675/(-2)*88/55. Let k = 901 + l. Is k a prime number?
False
Let b be (0 + (-5)/(-2))*10. Suppose 4*p + b = 3*j, 5*j + 4*p + 1 = -0*p. Suppose -n + 0*g - j*g + 2 = 0, 2*n + g - 19 = 0. Is n composite?
False
Let s = 4 + -4. Suppose s = 5*t - 10, 2*m + 2*t - 5*t = -2. Suppose -m*w = -27 + 1. Is w composite?
False
Suppose 1335 + 216 = 3*n - 4*c, -2068 = -4*n - 5*c. Is n composite?
True
Suppose -17*n + 1108 = -11421. Is n composite?
True
Let n be 56/(-6)*3/(-2). Suppose 2*c = 3*c - n. Is c a prime number?
False
Let b(y) = y**3 + y**2 - y + 6. Let g be b(0). Suppose -c = -g - 15. Is c prime?
False
Let q(s) = 3*s - 12. Let n be q(-10). Let i = n - -79. Is i composite?
False
Suppose 3*l = -0*l + 4*u - 150, 3*l = u - 150. Is (l/6)/((-3)/9) prime?
False
Suppose 2*n - d = 5*n - 2557, 0 = 4*n - 5*d - 3422. Is n prime?
True
Let i = 340 + -123. Let w = 75 - 215. Let n = w + i. Is n a composite number?
True
Suppose 3*a - 3*x + 11 - 2 = 0, 2*a = -4*x - 30. Let l(o) = -17*o + 4. Is l(a) a composite number?
True
Let h(i) = -i**3 - 4*i**2 - 2*i - 4. Let w be h(-4). Let j(u) = 3 + u + 2 - w - 2 + 31*u**2. Is j(-2) prime?
False
Suppose 2 + 59 = 2*l + f, 2*f - 62 = -2*l. Let k be (-58)/4 + -2 - 3/6. Let s = l - k. Is s composite?
False
Let i(d) be the first derivative of 18*d**2 - d - 2. Is i(4) composite?
True
Let n(d) = 61*d + 12. Is n(5) a composite number?
False
Let k be (-1)/5 + (-12)/(-10). Let v = k + -2. Is (14 - (2 + v)) + 0 composite?
False
Let t(s) = s + 5. Let k be t(-6). Let p = 24 - k. Suppose 0 = 4*f + 3*w - 154, 2*f - p - 57 = -4*w. Is f composite?
False
Let z be 4*1*(-1)/2. Is z*(267/2)/(-3) prime?
True
Suppose y - 2 = -0*y. Let t(s) = 3 - 4*s**y + 5*s**2 - 2. Is t(-3) prime?
False
Suppose 2*s - 182 = 72. Is s composite?
False
Let h(r) = -1 + 43 + 53 + r - 2*r. Let q be h(0). Suppose -2*t - 5*b = -7*t + q, -b - 76 = -4*t. Is t prime?
True
Let c = -1 - -5. Suppose 0*a - 40 = -c*a. Is a prime?
False
Suppose 0 = -h - 4*p + 195, p + 0*p = -2*h + 418. Is h prime?
True
Let h(s) = -17*s - 4. Suppose 3*z + 12 = 3*r, -2*r - 5*z + 5 = 4. Suppose -2*p - r = -p. Is h(p) prime?
True
Let b(l) = 17*l**2 - 6*l 