- 6 + 14 = -4*y, 2*v - 5*y = -8. Suppose -s*o - 39 = -v*o. Is o a prime number?
True
Is 1 - (3 - 254) - -1 composite?
True
Let t = -9 - -9. Suppose t*d + 26 = d. Is d composite?
True
Let l = 7 - 5. Suppose -l*q = -0*q. Suppose q = -4*i - 80 + 228. Is i a prime number?
True
Let u = -52 + 75. Suppose -4*a = 4*n - u - 157, 4*n - 5*a = 162. Is n a prime number?
True
Let i = 23717 + -34115. Is 4/10 + i/(-30) a prime number?
True
Suppose -3*t - 14 + 2 = 0. Is (7/t)/1*-8 a prime number?
False
Let k = 0 - 0. Suppose -5*a + 418 - 163 = k. Is a a composite number?
True
Let t(f) = -2*f**3 + 3*f**2 - 4*f - 5. Let s(d) = d**2 - 1. Let j(w) = -4*s(w) + t(w). Is j(-4) a composite number?
False
Suppose -l + 5 = 2*b, 2*b - 3*l - 2*l + 25 = 0. Suppose c + 18 = 5*n, -3*n + 6 = -b*c - 3*c. Is 6/(-8)*(n - 24) a composite number?
True
Let s(b) = 53*b. Let q(p) = -p**3 + 2*p - 1. Let j be q(-2). Suppose 0 = -h + j*h - 2. Is s(h) prime?
True
Let j(g) be the third derivative of -3*g**4/4 + 7*g**3/6 - 5*g**2. Is j(-6) a composite number?
True
Let f(p) = p**2 + 6*p - 4. Let d be f(-5). Let g be (-2)/(-3)*d/(-2). Suppose -l = -3*l - 2, -4*j + 25 = g*l. Is j a composite number?
False
Let j be 18/8 - 2/8. Let u(n) = -2*n - 1. Let a be u(j). Let o = 36 + a. Is o a prime number?
True
Is ((-2032)/(-24))/((-2)/(-3)) a prime number?
True
Let c(g) = -g**3 - 6*g**2 - 4*g + 7. Is c(-6) a composite number?
False
Suppose -685 = -p - 3*s + 219, 5*s = 15. Is p a composite number?
True
Suppose 5*d - d - 172 = 0. Is d composite?
False
Let w = 6 + -4. Is 4/w + 1 + 758 a composite number?
False
Let r = 755 + -284. Is r a composite number?
True
Suppose 5*k = -3*m + 26, 0 = 3*k + 2*m - 9 - 7. Let z(d) = 3*d**3 + 3*d + 3. Let b be z(2). Suppose -k*o - b = -253. Is o a prime number?
False
Let k = -2 - -4. Let i = -5 - -11. Is (k/i)/((-2)/(-114)) prime?
True
Let s = -8 - -11. Let a = -213 + 316. Suppose s*h = 8 + a. Is h composite?
False
Suppose 3*v = -3*h + 9, -2*v + 4*v - 7 = -h. Suppose 3*w - v*w = 8. Let k = 2 - w. Is k prime?
False
Let y = -185 - -348. Is y a prime number?
True
Let j(q) be the second derivative of 11*q**5 + q**4/12 - q**3/6 + q**2/2 - q. Is j(1) a prime number?
False
Let f(t) = -16*t. Let m be f(7). Let d = 297 + m. Is d a prime number?
False
Let c(b) = -b - 8. Let x be c(-9). Let m be (-1)/(x - 2) - -59. Suppose j - m = -3*j. Is j composite?
True
Let h = -48 + -92. Let f = h - -211. Is f a composite number?
False
Suppose -y + 3 = 2*x, 5*x + 0*y = -y + 9. Suppose 4*p = -x*l + 22, 5*l = -p - 3*p + 25. Let g(i) = 22*i**2 + 1. Is g(l) prime?
True
Let m be 39*2*-1 - -3. Let t = m + 108. Is t composite?
True
Suppose -2*x = x - 6. Suppose 5*w - 28 = -2*j, w = -w + x*j. Let t(z) = 5*z**2 + 4*z - 2. Is t(w) a prime number?
False
Let z be (-4)/18 + 6/27. Is 0 + 119 - (0 - z) a prime number?
False
Is (2046 - 0) + (-10)/10 a composite number?
True
Suppose -2*t = 4*c - 132, -4 = -t - 2. Let b be (2 - 8)/((-12)/42). Let d = c - b. Is d prime?
True
Suppose -p = 2*p + 18. Let a be 55/(-30) + 1/p. Let m = a - -33. Is m a composite number?
False
Let i = -3378 + 5279. Is i composite?
False
Let q = 634 + -429. Is q a prime number?
False
Let q(b) = -b**3 + 7*b**2 + 4*b + 9. Let n(y) = y**2 + 5*y + 5. Let p be n(-4). Let f be (-8 + (2 - p))/(-1). Is q(f) a prime number?
True
Let j(c) = c**3 + 4*c**2 - c + 1. Let a be j(-4). Suppose -a*n + p + 246 = 0, -4*p - 62 - 138 = -4*n. Is n a composite number?
True
Suppose -s - z = 2, 5*s - 5*z + 3 - 33 = 0. Suppose -s*k = -5*y + 407, -3 = -2*k + 5. Is y prime?
True
Let p = -6 + 16. Suppose -p*n + 6*n = -764. Is n a prime number?
True
Let r = -797 + 2490. Is r a composite number?
False
Suppose 5*i + 258 = 1053. Is i prime?
False
Let p be (-9)/15 - (-336)/(-15). Let f = p - -32. Is f composite?
True
Suppose 0 = 2*q + 2*q - 4. Let h be (0 + q)*(4 + -9). Let x = h + 67. Is x a composite number?
True
Suppose -2*i = 3*i - 585. Let k be i + -2 - 0/2. Suppose 5*o = 3*n + 274, -o + k = o - 3*n. Is o a prime number?
True
Let i = 767 + -402. Is i a prime number?
False
Suppose -2083 = -4*a + 2*f + 4073, -4*f = 16. Is a a composite number?
True
Let j(d) = d**3 + 7*d**2 - d - 2. Let b be j(-7). Suppose 0*r + b*r = -4*l + 860, -3*l - 15 = 0. Suppose u = -3*g + 6*u + r, -5*g - 4*u = -355. Is g composite?
False
Suppose 0 = -2*l - 3*r - 2, 0*l + 9 = l + 4*r. Let j(i) = i + 9. Let m be j(l). Is m*8 - (-2)/(-2) a prime number?
False
Let y(i) = i**3 - 5*i**2 - 6*i - 5. Let v(h) = 4*h - 2. Let m be v(2). Let f be y(m). Is (-1 + f)*(-4 - -3) a composite number?
True
Let q = 17 + -14. Suppose 77 = -q*y + 4*y. Is y a prime number?
False
Let p(r) = -2*r + 11. Suppose -6*m = -2*m + 56. Is p(m) a prime number?
False
Let i(q) = q**3 - 13*q**2 - 13*q + 5. Is i(14) prime?
True
Suppose h + 4 = -5. Let x = h - -5. Let z(y) = -20*y - 1. Is z(x) prime?
True
Suppose 4*a - 2*l = 26, -a - 3*a + 4*l = -28. Suppose -5*b + a = 1. Is (0 + 2)/b + 5 a prime number?
True
Let f = -311 + 724. Is f a prime number?
False
Suppose 3*u - 4*u = -64. Suppose -x + 2 + u = 0. Suppose 3*k - 6 = 0, -k + 5*k + x = 2*m. Is m prime?
True
Suppose 3*u - 3*j + 582 = 6*u, 2*u = -3*j + 391. Is u a composite number?
False
Let q be 0 - -212*(-3 + 2). Is 2/(-6) - q/6 a prime number?
False
Suppose 5*n - 2*z - 229 = 0, n + n = -3*z + 103. Is n a composite number?
False
Suppose 6*r - 4*r = 46. Let m = r - 16. Is m a prime number?
True
Let d(i) = 23*i**2 + 7*i - 12. Is d(2) composite?
True
Let l(u) = -2*u - 12. Let m be l(-10). Let v(b) = b + 2. Is v(m) a composite number?
True
Suppose z + 8465 = 6*z. Is z composite?
False
Is 8/(-12) + 1133/3 a composite number?
True
Let r = -8 - -16. Suppose 6*h + 68 = r*h. Is h prime?
False
Let x be (56/2)/(1/16). Suppose -145 - x = -2*s + 5*l, 0 = -3*s - 3*l + 900. Is s composite?
True
Suppose 0 = 3*c + 3*o + o - 729, -3*c + 750 = -3*o. Let v = c + 10. Is v composite?
False
Suppose 0 = -5*k + k. Suppose 3*a + 4*o = a + 278, k = -a - 4*o + 133. Is a composite?
True
Let t = -8 - 1. Let s = 23 + t. Let d = s - 0. Is d a prime number?
False
Suppose 0*r + 5*r + 220 = 0. Let u = -25 - r. Is u composite?
False
Let u = -255 + 734. Is u prime?
True
Suppose 4*n - 2*n + 316 = 3*r, 2*r + 3*n = 215. Is r a composite number?
True
Let d(l) = -l**3 - 4*l**2 + 6*l + 4. Let m be d(-5). Let q = m + 0. Is q/(-2*3/138) a prime number?
True
Let b = 5 + -2. Suppose b*p - 231 = -p + 5*r, p - r = 58. Is p prime?
True
Suppose -4*y + 8*j - 3*j = -10965, 2*y = 4*j + 5484. Let a = y + -1137. Is a prime?
False
Suppose 4*u = m - 204 + 23, -4*u - 201 = -5*m. Let h = u + 121. Is h composite?
True
Suppose -2*a - 3 = -3*a. Let j = a + 0. Is j a composite number?
False
Suppose -s + 84 = s. Let f = 313 + s. Is f prime?
False
Suppose 5*w + 7 = 3*p, -p + 0*p = 4*w - 8. Suppose 4*l - p*x = 208, 3*l - l - 107 = 5*x. Is l composite?
True
Let x = 3 + -3. Suppose x = -i - i + 238. Is i composite?
True
Suppose 4*b = -2*z + 62, 3*b + 93 = 4*z - z. Is z prime?
True
Let p = 5 + -8. Let u = p + 5. Suppose q + u*q - 75 = 0. Is q composite?
True
Let u(m) = m**3 - 4*m**2 + 3*m - 2. Let l be u(3). Let c(j) = 14*j**2 + 2*j + 1. Is c(l) prime?
True
Let q(y) = 4*y**2 + 7*y - 6. Let u(k) = -k**2 - 13*k + 19. Let x be u(-14). Is q(x) composite?
True
Suppose -3*s = 3, -4*s - 82 = 4*v + 46. Let f = 16 - v. Is f composite?
False
Let k = -9 - -12. Suppose -5*m + 2706 = -b, -k*m + 1799 = 2*b + 178. Is m a composite number?
False
Let n = 489 - 251. Suppose -8*t + n = -6*t. Is t a composite number?
True
Let f(i) = i**2 - 4*i - 2. Is f(7) a prime number?
True
Is (-3374)/(-6) - 10/(-15) composite?
False
Suppose -4*u + 1270 = -2*u. Is u a composite number?
True
Is (-36)/(-90) - ((-15126)/(-5))/(-2) a prime number?
False
Let q be ((-16)/10)/((-10)/25). Suppose q*u + 0*u - 44 = 0. Is -2*u*(-20)/8 prime?
False
Suppose 0*l + 83 = l. Is l composite?
False
Let c = 37 - 70. Let o = c - -54. Is o a composite number?
True
Let k = 3 + -3. Let y = k - -2. Suppose -111 = -y*c - q, -q - 16 = -c + 47. Is c a prime number?
False
Let f(t) be the second derivative of 5*t**4/4 + 2*t**3/3 + 3*t**2/2 + 3*t. Is f(4) composite?
True
Suppose 0 = -4*y - 245 + 973. Suppose -6*u - y = -1940. Is u a prime number?
True
Is 4*-1 - (-2 - 969) a prime number?
True
Let p(l) = l**3 