number?
False
Let p = -2335 - -3450. Is p a composite number?
True
Suppose 0 = o - 633 + 184. Is o a composite number?
False
Suppose x = s + 6, -4*s - 19 = x - 4*x. Suppose -4*g = -x*f + 34, -5*f + 0*g = -2*g - 32. Is (-22)/f*3*-3 prime?
False
Let l = 24 - -105. Suppose -j + l = -0*j. Is j a composite number?
True
Let u(z) = z**2 - 6*z. Is u(-5) composite?
True
Suppose 3*a + 5*u - 920 - 4947 = 0, a = 4*u + 1933. Is a a prime number?
True
Suppose 5*i + l - 24 = 0, -4*l + 32 = 3*i + l. Suppose 44 = i*w - 0*w. Is w a composite number?
False
Let b be ((-2)/(-6))/((-3)/(-36)). Suppose b*x - 6 = 2*x. Let i(u) = 6*u + 1. Is i(x) composite?
False
Suppose 14*a = 12*a + 382. Is a a prime number?
True
Let a(w) = w**2 + 4*w + 2. Is a(-8) prime?
False
Suppose -1787 - 1011 = -2*d. Is d a composite number?
False
Let h be (-2 + 131)/3*13. Let l = 898 - h. Suppose 2*z - l = -z. Is z a prime number?
True
Let o(b) = b**2 + 6*b + 4. Let h be o(-9). Suppose 0 = 3*m - 128 - h. Is m composite?
False
Suppose 103 = -3*p - 2*v, -3*p - v - 60 = 44. Is -3 - (3/3 + p) a prime number?
True
Suppose -173 = -2*w + w + 5*f, -5*w + 4*f = -823. Is w prime?
True
Is (-73 + 2)*(-15 + 4) prime?
False
Suppose -3585 = -4*v - 5*f, 5*f - 3 = 2. Is v prime?
False
Let s(l) = 5*l**2 - 7*l - 1. Suppose p + 2*w + 4 = 3*p, 5*w - 30 = -3*p. Is s(p) prime?
True
Let m(k) = -196*k + 25. Is m(-6) a composite number?
False
Suppose -5*w = -t - 2*t - 2, -t = -w. Let d(z) = -116*z**2 + 6*z - 5. Let u(x) = x - 1. Let j(o) = -d(o) + 4*u(o). Is j(t) a composite number?
True
Let p(i) = 14*i**2 + 4*i + 3. Is p(-4) prime?
True
Is ((-8)/2 + 1)*204895/(-129) a prime number?
False
Suppose 5*f - f + 2184 = 0. Is f/(-10) - (-16)/40 prime?
False
Suppose s = 3*s + 52. Let q = s + 45. Is q a prime number?
True
Suppose 0 = -0*q + 8*q - 2552. Is q a composite number?
True
Suppose -145 = 2*m - 43. Let k = m - -87. Suppose -3*u + 91 - 21 = 4*z, -u + 5*z = -k. Is u prime?
False
Is 125/50*3832/10 composite?
True
Let p(k) = -2*k - k - k - 5. Let i be (-4)/18 - (-104)/(-18). Is p(i) composite?
False
Let b(u) = 2*u**2 - 17*u + 11. Is b(16) prime?
True
Let c(n) = 15*n + 19. Is c(8) a prime number?
True
Suppose -5*u + 6*u - 163 = 0. Is u prime?
True
Let d = 12 + -9. Suppose o + 68 = d*o. Is o a composite number?
True
Suppose 318 = -5*o + 1323. Is o composite?
True
Suppose 0 = -n - 2*f - 29, 2*n - 2*f = f - 44. Let z(w) = w + 5. Let t be z(-3). Is n/(-2) + 1/t a prime number?
True
Let o be 3/9*3*28. Let g be (-10)/(-3) - 2/6. Suppose -g*x + o = -x. Is x prime?
False
Let i(d) = 4*d**2 - d + 1. Let p be i(1). Suppose p = -q + 137. Is q composite?
True
Suppose 0 = 5*y - 6 - 9. Is ((-1)/3)/(y/(-1449)) composite?
True
Let s(p) = -p**3 - 13*p**2 - 14*p - 13. Let z be s(-12). Let o = 22 - z. Is o prime?
True
Let j = 3 + -2. Suppose 2*w - j = 5. Suppose 103 = 5*f + w*r, -2*r = -f - 2*f + 77. Is f prime?
True
Let u(k) = -k**2 + 3*k + 4. Let r be u(4). Let a = 37 - r. Is a a composite number?
False
Let r = 10 - 7. Suppose r*z - 15 = 15. Is z a prime number?
False
Let r = -2 - -5. Suppose a + r*s + 3 = 0, 5*a + 3*s + 2 + 1 = 0. Suppose a = g + 2*g - 93. Is g composite?
False
Suppose 6 = b - s - 0*s, -18 = -5*b - s. Let q = -2 + b. Is (65 - -1) + (-2)/q prime?
False
Suppose -21*f - 62 = -19*f. Let y = f + 116. Is y a prime number?
False
Suppose 3*b = 2*b - 2*l + 3233, -3*b + 4*l = -9679. Is b a prime number?
True
Let h = 0 - 4. Let j(s) = -19*s**2 - 5*s + 2. Let d be j(h). Is 0 + d/(-3) - 3 composite?
True
Let n(y) = -y**2 + 5*y + 6. Let v be n(6). Suppose 4*a + 132 = -v*a. Is 1/(-2)*2*a a prime number?
False
Let n = 3 - 3. Suppose 3*k - 944 = -5*q, n = 5*k - k - 2*q - 1302. Is k prime?
False
Suppose -5*t = -4*m + 21, -4*m = m + t - 19. Suppose 57 = m*r + 697. Let d = r + 275. Is d a prime number?
False
Let r(n) = 5*n**2 + n - 6. Let p be r(-10). Let s = p - 261. Is s a composite number?
False
Let u(m) = -m**2 - 6*m + 4. Let k be u(-6). Suppose -k*o + 34 = -338. Is o composite?
True
Is 323 - (4 - (5 - -3)) prime?
False
Let x(c) = c**3 + 9*c**2 - 11*c - 6. Let d be x(-10). Suppose 11 = d*y - 5. Is 7/y*-11*-4 composite?
True
Let f = 9517 + -4874. Is f a composite number?
False
Let b(y) be the third derivative of -y**5/60 - y**4/3 + 3*y**3/2 - 2*y**2. Let w be b(-9). Is 39 + w - (6 - 4) a composite number?
False
Let n = -762 - -1241. Is n prime?
True
Let a be (-4)/6 - 60/(-9). Let i = 6 + a. Suppose 2*w - i = -0. Is w a composite number?
True
Suppose 2*y - 668 = 122. Is y prime?
False
Suppose -2*b - 2*m = 490, 0*b - 2*b + 2*m = 494. Let n = -119 - b. Is n a composite number?
False
Suppose -2*h - 296 = -42. Is h/((-4)/(-3 + 7)) prime?
True
Suppose 4*t + 12 = 3*n - n, 10 = -4*t + n. Let q be -1*(-1 + t) + 1. Suppose -g + 3*r + 86 = 3*g, 107 = 5*g - q*r. Is g a composite number?
False
Suppose -77 + 24 = -v. Is v prime?
True
Suppose -1 = m - 4. Suppose 0 = 3*o + m. Is (-1 + o - -39) + 0 prime?
True
Let b be (0 + 2)*1 + -128. Let q = b + 217. Is q a composite number?
True
Is (251/(-1))/((-4)/(-12)*-3) prime?
True
Let h(n) = -13*n**3 + 6*n**2 - 3*n + 15. Let y(i) = i**3 + i - 1. Let z(b) = h(b) + 6*y(b). Is z(-4) prime?
True
Suppose 2*f + 0*f - 16 = 0. Let m = -5 + f. Is 64/3 - (-2)/m composite?
True
Let l = 733 + -254. Is l prime?
True
Is 184/2*(-1)/(-2) composite?
True
Let k be 1/(41/20 - 2). Is k/12 + (-1)/(-3) prime?
True
Let a(u) = -u**3 - 6*u**2 - 6*u + 6. Is a(-7) composite?
False
Suppose l - 16 = -3*u - l, -3*l + 15 = 0. Let s(h) = h + 1. Let z be s(u). Suppose 4*r + z*y + 21 - 77 = 0, -70 = -5*r + 5*y. Is r a prime number?
False
Suppose 22 = 5*t - 8. Suppose 50 = 4*w + t. Is w a prime number?
True
Suppose 4*w + 30 - 10 = 0. Let z(b) = b**3 + 8*b**2 + 2. Is z(w) prime?
False
Let u(w) = 2*w + w - 5 + 3*w**2 + 4. Is u(-6) a composite number?
False
Let z be 3/(-6) + 10/4. Suppose 5*u - 595 = -l, 0 = 4*u - z*l + l - 467. Is u a prime number?
False
Suppose -5*h + 290 + 105 = 0. Is h composite?
False
Let d = -39 - -176. Let f = d - 89. Let n = f + -14. Is n a prime number?
False
Let m(s) = s + 3. Let g be m(-5). Let r(d) = -239*d + 1. Is r(g) a composite number?
False
Let o = -9 + 25. Suppose 4*s - 12 = o. Suppose -2*f - 165 = -s*f. Is f a composite number?
True
Suppose 4*o - 1226 = -3*b, -b + 3*o + 399 = -14. Let p = b + -287. Is p composite?
True
Let p = 5 - 5. Is p - -28 - (4 + -1) composite?
True
Suppose 0*d + d = -2. Is (2 + -1)*(-102)/d a composite number?
True
Let a = -8 + 12. Suppose -f + 8 = -4*z, 0 = -6*f + f - 2*z - a. Suppose 3*v + 450 = 3*n, f = n + n + 3*v - 295. Is n a composite number?
False
Is (-1830)/(-22) - 16/88 prime?
True
Let v = -280 - -971. Is v a prime number?
True
Suppose 59 - 19 = 4*v. Is v a composite number?
True
Suppose 0 = -0*p + 3*p - 60. Suppose -h = 4*h - p. Is h composite?
True
Suppose 1116 = 5*v + 1. Is v a composite number?
False
Suppose -2*y - 3*w + 81 = -48, 3*y + 4*w = 195. Is y a prime number?
False
Suppose -4*o - 41 = -3*m, -m - 4*o - o = -39. Is m a composite number?
False
Suppose -2*t + 3*r = -257, 6*t + r = 2*t + 507. Is t composite?
False
Suppose 3*z + 110 = 2*f, 2*z = 4*f - z - 208. Is f a composite number?
True
Let l be (2/2)/(5/(-255)). Let d = 73 + l. Is d composite?
True
Let r(u) be the third derivative of u**5/6 - 3*u**4/8 - 2*u**3 + u**2. Is r(-7) composite?
False
Suppose 7*v - 3*v + 393 = u, -5*u + 2053 = 2*v. Is u prime?
True
Let s = 138 - 252. Let i = s - -237. Is i a composite number?
True
Let i = 65 - -654. Is i a composite number?
False
Let z be (2 - (2 - 2))/(-1). Let s(j) = -j**3 - 2*j**2 + j + 2. Let h be s(z). Suppose -q + 40 - 3 = h. Is q composite?
False
Let s be (-36)/16*(-16)/6. Let x(n) = 5*n**2 + 29*n - 36. Let q(b) = b**2 + 7*b - 9. Let k(m) = -9*q(m) + 2*x(m). Is k(s) a prime number?
False
Suppose 5*f - 4*w - 54 = 134, 0 = 2*f - 3*w - 71. Suppose 36 = 4*g - f. Is g composite?
False
Suppose 4*k = 4*q + 1308, -1058 = -2*k - 4*q - 380. Is k composite?
False
Let a be 38/4*6 + 2. Let l = a - 98. Let z = l + 94. Is z a composite number?
True
Let x(v) = -6*v**3 + 2*v**2 - 3*v - 4. Let b(w) = 2*w - 3*w**3 - 3 - w - w**2 + 2*w**3. Let k be b(0). Is x(k) prime?
False
Suppose -2*n - 5*g + 528 + 732 = 0, 2*g = 2*n - 1274. Let q = -444 + n. Is q composite?
False
Let v(n) = n**3 + 4*n