/(6/3) - 1 a composite number?
False
Suppose -3*m = 2 - 20. Suppose 5*t - 21 = -m. Is t a composite number?
False
Let b be (6 + -2)/(-2)*41. Let h be (b/8)/(1/4). Let r = -19 - h. Is r a composite number?
True
Suppose -1 = k - 0*k, -2*k = -4*q + 6246. Is q a composite number?
True
Suppose 2 = -3*q + 4*m + 8, 5*m - 9 = q. Is q a composite number?
True
Let d(x) = -x**3 - 4*x**2 + 5. Let n be d(-4). Suppose -23 + 1038 = n*g. Is g a prime number?
False
Is (4425/9 - 2) + (-2)/3 a prime number?
False
Let o(b) be the first derivative of 17*b**3/3 - 4*b**2 - 9*b - 3. Is o(-4) a composite number?
True
Suppose -2*q = -2*y - 2*y + 16, -12 = -3*y. Let n = 55 - q. Is n a composite number?
True
Let b(m) = 4*m**3 + 3*m**2 - m + 1. Let h = 7 - 4. Is b(h) composite?
True
Suppose -6*v + 460 = -2*v. Is v prime?
False
Let l(z) = -z**3 + 4*z**2 + 6*z. Let r(v) = -v**2 - 6*v - 3. Let w be r(-4). Let k be l(w). Suppose -k*q = -85 - 300. Is q a prime number?
False
Let q = 12 - 4. Let n(c) = c**2 - 7*c - 7. Let b be n(q). Let k(z) = 82*z + 1. Is k(b) prime?
True
Let j be 104/10 + (-2)/5. Is 2225/j + 3/(-2) a composite number?
True
Suppose -3*n - o = -91, 0 = 3*n - 2*n - 2*o - 28. Suppose n = 4*m - 2. Is (28/m)/((-2)/(-4)) a prime number?
True
Suppose 1 = -t + 5. Suppose 2*s + t*x = 7*s - 1637, 0 = 5*s + x - 1647. Is s a composite number?
True
Let j = 2606 + -1281. Suppose 4*t + l - j = 0, 0*l + l - 1 = 0. Is t composite?
False
Let l = -1858 + 3135. Is l prime?
True
Suppose -3*s + 7*s + 40 = 0. Let i be 25/5*6/s. Let u = -1 - i. Is u composite?
False
Let h = -4 + 8. Suppose o - 140 = -3*x, h*x - 194 = -6*o + o. Is x composite?
True
Let a be (-1)/((3/1)/(-3)). Is -1 + ((-2)/a - -62) prime?
True
Let a(d) = -d**3 - 10*d**2 + 10*d - 9. Let t be a(-11). Suppose -5*v + 25 = 0, -t*v = -p - p - 6. Suppose -37 = p*y - 3*y. Is y a composite number?
False
Suppose 5*x + 5 = 0, -i - 3*x = -204 - 112. Is i a composite number?
True
Suppose h - 35 = 26. Let b = h + -27. Is b composite?
True
Let b(w) = w**3 + 4*w**2 - 4*w + 7. Let v be b(-5). Let r be 1/v*(0 - -6). Is ((-2)/r)/(4/(-132)) a composite number?
True
Suppose 7*r - 9174 = -3035. Is r prime?
True
Let x(h) = h**3 - 11*h**2 + 10*h - 1. Is x(12) a prime number?
True
Suppose -4*n = 20, -2*m + 4*n - 11 = 79. Let u = m + 124. Is u prime?
False
Suppose 6*n = 3*n. Suppose 4*g + 0*g = n. Let o(u) = u**2 + u + 22. Is o(g) composite?
True
Suppose 4*s = 5*n - s + 10, -2*n - 2*s = -4. Suppose -2*x + 433 = 3*x - 4*b, x + b - 92 = n. Is x a composite number?
False
Let i(l) = 2*l**2 - 2*l - 2. Is i(-4) prime?
False
Let k be -1259*(3 - (1 - -3)). Suppose 5*f = -3*z + k, 2*z + 1226 = 4*f + 210. Is f a prime number?
False
Suppose -m - 4 = 3*m - 4*t, -2*t - 7 = -5*m. Let d = 9 - 5. Suppose -d*j - m*f - 38 = -6*j, -j = 3*f - 19. Is j composite?
False
Suppose -7*u - 3*u + 8410 = 0. Is u composite?
True
Let t = 1 + -2. Let n = t + 3. Suppose -n*h + 84 = -3*c, -2*h = 2*c + 4 - 78. Is h prime?
False
Let z be -1007 + 1*8/(-4). Let x = -704 - z. Is x a composite number?
True
Let y = -506 - -885. Let o = y - -34. Is o a composite number?
True
Let h(y) = -y**3 + 12*y**2 - 5*y - 9. Is h(-6) prime?
False
Let w = 328 - -42. Suppose 0 = -2*y - 20 + w. Suppose 0*q = -5*q + y. Is q prime?
False
Let n = -4856 + 6823. Is n composite?
True
Is (-617)/(((-12)/(-4))/(-21)) composite?
True
Suppose 0 = 4*q + 2*x - 1772, 2*q = 4*x + 430 + 476. Suppose 1 = -4*i + 9. Suppose -i*u + 7*u = q. Is u a prime number?
True
Let h = 43 + 3. Is h composite?
True
Let x be ((-13)/(-2))/((-4)/(-48)). Let w = x - 53. Is w prime?
False
Suppose 3*y = -2*q - 65 - 56, -4*y - 163 = q. Is (0 - y)/((-2)/(-4)) prime?
False
Let b(u) = 30*u**2 + 4*u + 1. Is b(-5) a prime number?
False
Suppose 3*r - 2*r + 304 = 0. Let d = r + 625. Is d prime?
False
Suppose d - 3*d + u = -9, -9 = d + 4*u. Let s = d - -4. Is s a composite number?
False
Let o(f) = 115*f**2 + 9*f - 3. Is o(-4) a composite number?
False
Suppose -7*q = 3*q - 19870. Is q a composite number?
False
Let s = 218 - -234. Let i be s/10*(-5)/(-1). Is (i/(-4))/(3/(-6)) a prime number?
True
Let i(y) = 6*y**2 - 12*y - 13. Is i(12) prime?
False
Suppose -5*y - 3*j = -149, -2*j = -y - j + 33. Let u = y + 4. Is u a composite number?
True
Let w(d) = -d**3 + d**2 - d - 2. Let u be w(0). Is 12/(-18)*93/u a prime number?
True
Let z = 167 + -75. Suppose 2*f + 58 = 2*w, 5*w - 3*f = 63 + z. Is w prime?
False
Is 4/(-10) - (-10435)/25 composite?
True
Let c be 27/12 - 1/4. Suppose 0 = -h - c*h. Suppose -2*s + 24 = -0*i - 2*i, -2*s - 4*i + 42 = h. Is s a prime number?
False
Let d(g) = 7*g**2 + 3*g - 2. Let y be d(-4). Suppose 2*u + 105 = 33. Let p = u + y. Is p a prime number?
False
Let g(z) = -81*z - 4. Let i(q) = 122*q + 6. Let l(j) = -7*g(j) - 5*i(j). Is l(-3) prime?
True
Let r(p) = -2*p**3. Let m be r(-1). Is ((-12)/(-30))/(m/30) a prime number?
False
Let w = 659 + -336. Is w a prime number?
False
Suppose 2*n - 4 = 4*n. Is 160 - (n - -2 - -2) prime?
False
Let s = -9 + 0. Let x = s + 42. Is x prime?
False
Let f(g) = 11*g - 3. Let l(u) = 21*u - 6. Let y(b) = -5*f(b) + 3*l(b). Is y(5) a prime number?
True
Let g = -161 + 410. Let z = g - 116. Is z a prime number?
False
Let f(c) = c**2 + c + 11. Let u(a) = -8 - 3*a**2 + 2*a**2 - 3*a - 3*a. Let y be u(-6). Is f(y) a prime number?
True
Let h be (3/(-2))/(24/(-1376)). Suppose h = 2*k - 32. Is k composite?
False
Let a = 15 + -5. Suppose -2*w + a = y, -16 = -3*w - 2*y + y. Let b = w + -3. Is b a composite number?
False
Is (-4)/(-14) - 2147/(-7) composite?
False
Is -3 - (4 - 42) - 4 composite?
False
Suppose -3*w + 399 = -2190. Is w a composite number?
False
Let h = 2 + -2. Suppose h = 4*b - 20. Suppose -33 = b*j - 143. Is j prime?
False
Let h(x) be the first derivative of -x**3/3 - x**2 - 4*x + 1. Let o be h(-3). Let r = o + 28. Is r composite?
True
Let w be (-6)/(-39) + 123/(-39). Is (w/(-9))/((-3)/(-873)) prime?
True
Suppose q = 4*k + 15, 2*q + k + 2*k = -3. Suppose -2324 = -7*f + q*f. Is f composite?
True
Let g be 4*1/(1/2). Suppose 0 = -5*m - 7 - g. Let n(j) = -2*j**3 - 3*j**2 + 4. Is n(m) prime?
True
Suppose -5*k - 5*l = -1115, 0 = l + 5. Suppose -k = -4*j - 0*j. Is j prime?
False
Suppose -3*a - a + 3184 = 0. Is 12/(-20) - a/(-10) composite?
False
Let n(b) = 2 + 4*b**2 - 2*b - 2 + 1 + 0. Let j be n(1). Suppose -84 = -j*y - y. Is y composite?
True
Let n = -126 + 417. Is n prime?
False
Let l be ((-156)/(-18))/((-2)/(-51)). Suppose -3*f - 8 = -l. Is f a composite number?
False
Let h(k) = k**3 + 8*k**2 + k + 11. Let o be h(-8). Suppose 1 = n - o. Suppose -n*y + 308 = -0*y. Is y composite?
True
Let h(n) = 153*n**3 - 2*n + 1. Let i be h(1). Suppose 0*s - 70 = -2*s + 2*g, 4*s = -2*g + i. Is s a prime number?
True
Let l(p) be the first derivative of -47*p**6/60 + p**5/60 - p**4/24 - p**3/6 - p**2 - 2. Let r(u) be the second derivative of l(u). Is r(-1) composite?
True
Let b = -112 + 199. Suppose -2*n - b = -j, 3*n - 63 - 307 = -5*j. Is j prime?
False
Let f(d) = -25*d - 5. Suppose -2*v - 16 = 2*v. Is f(v) a prime number?
False
Suppose -2*g + 6 = 2. Suppose 6*c - g*c = 16. Is 2*2*79/c a prime number?
True
Let j(k) = 25*k**3 - k**2 - k - 1. Let i be j(2). Suppose 3*w - i = -82. Is w a composite number?
False
Suppose 4*j + 41 - 1 = 0. Is j*(-1)/(2/5) prime?
False
Suppose -2*o = -8 - 0. Let a(u) = o - 2 + 4*u - 6 - 5. Is a(7) composite?
False
Suppose -3*w + 3*y + 183 = 0, -2*w + 3*y = -6*w + 244. Suppose -3*i = -3*k + 185 + w, -410 = -5*k - 2*i. Is k a composite number?
True
Is (-1)/(-2)*(258 + -4) a prime number?
True
Suppose -5*t - 2*a + 361 = -3*a, -4*a - 148 = -2*t. Suppose t - 21 = k. Is k a prime number?
False
Let p(c) = -c**2 - 2*c + 203. Is p(0) prime?
False
Suppose 5*d - 4*r = 35, -12 = d - 0*r + 3*r. Suppose 4*w - d*z - 2357 = 2*z, 4*w - 3*z - 2347 = 0. Is w prime?
False
Suppose 3*v + 4*s + 9 = -s, -v = s + 1. Suppose -3*k = l - 386, -5*k + 955 = -v*l + 308. Is k composite?
True
Suppose 0 = -10*k + 13*k - 2103. Is k a composite number?
False
Let n = 7 - -3. Let q(k) = -k**3 + 9*k**2 + 9*k + 6. Let o be q(n). Let m = o + 6. Is m prime?
True
Let r(k) = 15*k + 5. Let c(o) = o**2 - 7*o + 10. Let z be c(7). Let d be r(z). Suppose 4*a + a = d. Is a a prime number?
True
Let z be (21/4)/((-4)/(-32)). Suppose 3*r = -z 