ppose 0 = 4*d + 14 + l. Let o(m) = -7*m - 10. Is o(d) prime?
True
Let o(w) = -1 + 0*w**2 - 7*w - 2*w**2 + 3*w**2 + 8. Is o(7) composite?
False
Suppose 3*t + 3*p = t - 10, -5*p - 18 = 4*t. Let k be 2 + (t - -3 - -1). Is (-3)/6 - (-150)/k composite?
False
Let k = 8 + -8. Suppose k = 2*c - 14 + 4. Suppose -2*p - 216 = -2*a, -c*a + 4*p - 28 = -573. Is a composite?
False
Let y(p) = -p**2 - 18*p + 18. Is y(-13) a composite number?
False
Suppose -770 + 101 = 3*c. Let y = c - -107. Let d = -77 - y. Is d a prime number?
False
Let a be -2 + 222 + 2 + 0. Let o = 108 + a. Is (o/(-18))/(1/(-3)) a composite number?
True
Suppose 7*h = -159 + 2077. Is h prime?
False
Let r(d) = d**2 + d. Let x be r(3). Suppose 0*o - 4*o + x = 0. Suppose -142 - 23 = -o*f. Is f a prime number?
False
Let x(h) = h**3 - 19*h**2 - 10*h - 10. Is x(21) composite?
True
Suppose 0 = 4*u - 2*p + 6, -3*u - 2 + 5 = p. Suppose -c - 9 = -u*c. Let w = c - -44. Is w prime?
False
Let l(u) = 6*u**2 - 9*u + 1. Let z be l(7). Let f = z + 199. Is f prime?
True
Let q = -455 - -710. Let f = q + -158. Is f composite?
False
Let p(x) = -22*x. Let c be p(-2). Suppose 0 = 4*m + n - 240 - c, -2*m - 4*n + 142 = 0. Is m a composite number?
False
Is 124 + (-10 + 2)/4 a composite number?
True
Suppose 4*k + 1 + 19 = 0. Let d be (0/2 - 1)*k. Suppose d*y - 3*y + 2*a - 34 = 0, -3*y = a - 45. Is y composite?
True
Let b = -5 + 4. Suppose o = -0*o - 1. Is (b - -26) + o - -2 composite?
True
Let q(o) = -4*o**3 - 5*o**2 - 6*o - 1. Is q(-4) a composite number?
False
Suppose 5*u = 4*u. Suppose -b - 4*c + 0 = -21, u = -5*b + 3*c + 128. Is b composite?
True
Let g = -942 - -1742. Let p = -493 + g. Is p prime?
True
Let v(c) = c**3 + 3*c**2 - 2*c - 4. Suppose 12 = -3*m - m. Let k be v(m). Is 80 - (-2 - (-1 - k)) prime?
True
Suppose -51 = -3*s - 3*v, -2*s + v + 31 + 12 = 0. Suppose -k + s = 4*k. Suppose 2 = n - 2, 0 = -4*w - k*n + 644. Is w prime?
True
Let q = -14 + 21. Is 2651/q - (-10)/35 composite?
False
Suppose 4*u = h - 2209, -2307 + 98 = -h - 3*u. Is h composite?
True
Let p = -22 + 89. Is p composite?
False
Let r(h) = h**2 - 3. Let j be (-1)/3 - 20/(-6). Let v be r(j). Let t(a) = a**2 + 6*a + 5. Is t(v) composite?
True
Let q(l) = l**3 + 9*l**2 + 7*l - 1. Let n be q(-8). Let r be -1*-7*(n + 0). Suppose -27 = -4*k + r. Is k prime?
True
Let j(b) = -b + 1. Let t be j(-8). Let i = -5 + t. Suppose -215 = -3*s - 4*n, -4*s - i*n + 2*n = -300. Is s prime?
False
Suppose -3*r = w - 6*w - 1144, 15 = 5*r. Let q = -850 - -510. Let x = w - q. Is x prime?
True
Let l be (5/3)/(4/(-60)). Is (2 + 0 + -3)*l composite?
True
Let v(k) = 12*k + 10. Suppose 2*a - 3*n = 4*a, 1 = -3*a - 5*n. Suppose 0*j - 24 = -a*j. Is v(j) composite?
True
Let i(k) = 9*k + 6*k**3 + 4*k**2 - 2*k + 7 + 0*k**2. Let c(h) = -7*h**3 - 4*h**2 - 8*h - 7. Let f(a) = -5*c(a) - 6*i(a). Is f(-6) prime?
False
Suppose -r + 3*b = -82, 34 - 298 = -3*r + 3*b. Is r composite?
True
Let a(v) = -191*v**2. Let j(z) = 64*z**2. Let m(c) = -6*a(c) - 17*j(c). Is m(1) a prime number?
False
Let p be ((-6)/4)/((-1)/6). Let w(i) be the third derivative of i**6/120 - i**5/6 + 5*i**4/12 - i**3/2 + 3*i**2. Is w(p) a prime number?
False
Suppose -2*i = u, 4*u + 4*i = u + 4. Suppose 0 = -2*v + u*v - 154. Is v a prime number?
False
Suppose 2*p - 6*p = -24. Let b(f) = f - 3*f**2 - f**3 - p*f - 2 + 3*f - 3. Is b(-4) composite?
False
Let b(m) = -223*m**3 - m**2 - 2*m - 1. Is b(-1) a composite number?
False
Let c = 4251 - -944. Is c a prime number?
False
Suppose -10*j = -5*j - 6520. Let w = j + -603. Is w prime?
True
Is (-13 - -11) + 17*29 prime?
True
Let i be (4/(-6))/(2/(-12)). Suppose 2*d - 3*d - 491 = -4*f, -4*f + 488 = -i*d. Is f a prime number?
False
Let j(z) = 2*z**3 - 5*z**2 + 5. Suppose v - 16 = 2*d, -5*d - 46 = -v - 2*v. Let q be (2/3)/(2/v). Is j(q) a composite number?
False
Let i = 0 + -1. Let c(a) = 4*a**2 + a + 1. Let q be c(i). Suppose 323 = q*n + 3*j, -2*n = -4*j + j - 139. Is n prime?
False
Let u be 0 + -2 - (2 + -4). Suppose 4*x = -2*f - 2*f - 464, u = -x + f - 116. Is x/5*(-5)/2 prime?
False
Let a = 303 + -2. Is a a composite number?
True
Is (-85)/2*(-1 + -1) a composite number?
True
Let o(g) = g - 8. Let d be o(6). Let l(t) = -t. Let u be l(d). Suppose 0 = -s - u*w + 57, -4*s + 0*w = 3*w - 223. Is s a prime number?
False
Let b = 8 + -4. Suppose 3*p = 20 + b. Let u(r) = r**3 - 8*r**2 + 11*r - 11. Is u(p) prime?
False
Let k(i) = -3*i - 6. Let w(g) be the first derivative of -g**2/2 + 2. Let v be w(4). Is k(v) prime?
False
Suppose -4*d + 10 = -i, -2*d - d = -2*i - 10. Suppose 6*f - d*f = -s + 273, 3*s - 4*f - 899 = 0. Is s a prime number?
True
Let s be (-15)/30*(-1 + 1). Suppose 0*p - 40 = -w - 3*p, -5*w + 5*p + 240 = 0. Suppose s = 3*x - w - 53. Is x a composite number?
True
Let q = -46 - 16. Let d = 113 + q. Is d a composite number?
True
Suppose 3*o - 216 = -b, -b + 2*o + 226 = -0*o. Suppose 7*r - 3*r = -w + 214, 4*r - b = -5*w. Is r composite?
False
Suppose 2*i = -0*i + 366. Suppose -5*z + 965 = 335. Let a = i - z. Is a composite?
True
Suppose -2*d - s - 2*s = -214, -d = s - 108. Suppose -g - g = -d. Is g a prime number?
False
Let a(d) be the second derivative of -56*d**3/3 + 3*d**2/2 - 2*d. Is a(-3) composite?
True
Let q(u) = 77*u - 33. Is q(10) a composite number?
True
Let g = 223 - 107. Suppose 5*x + 4*a = 2*a + 186, g = 3*x - a. Is x*(-2)/12*-3 composite?
False
Suppose 5*p = -7*h + 2*h + 40, -5*h + 3*p = -8. Suppose 2*x = -z - 2*z + h, -3*z = 3*x - 6. Suppose -5*o + 11 + 44 = z. Is o composite?
False
Suppose -4*q = -7*q. Suppose q = -4*c + c + 1257. Is c a composite number?
False
Let s be ((-14)/(-8))/((-3)/(-12)). Is (1 - 0)/(s/259) prime?
True
Let y(u) be the first derivative of -7*u**4/24 + u**3/6 - u**2/2 - 1. Let v(a) be the second derivative of y(a). Is v(-2) composite?
True
Suppose -3*q - p = -497 - 921, -4*q = -2*p - 1874. Is q composite?
True
Let a(h) = -h**2 + 11*h + 12. Let l = 16 - 6. Is a(l) a prime number?
False
Suppose s = y + 1, 2*y - 8 - 4 = -5*s. Suppose s*d + 2*d - 4 = 0. Is d*(-2)/(6/(-33)) prime?
True
Let h(b) be the first derivative of -b**3/3 - 17*b**2/2 - 7*b + 3. Is h(-8) a composite number?
True
Let d be 2/(-6)*-3 + 2. Suppose -f = d*f. Suppose v - 115 + 38 = f. Is v prime?
False
Suppose 3*v + 6*k - 3*k = -918, 4*v = -3*k - 1223. Let q = v - -454. Is q a composite number?
False
Suppose 3*a + 2 - 14 = 0. Suppose -2*w + 5*z = -5*w + 853, -2*w = a*z - 566. Is w prime?
False
Let u be 2/8 + 6/8. Let d = 4 - u. Suppose -d*a - 105 = -3*q + 57, 0 = -4*q - 3*a + 209. Is q prime?
True
Let u = -80 - -165. Is u prime?
False
Let y = -105 - -296. Is y composite?
False
Let t = 0 + 17. Let b = 36 + t. Is b prime?
True
Let p(f) = 0 + 3 - 3*f**2 + 4*f**2 - f. Let c be (-94)/(-12) + (-1)/(-6). Is p(c) a composite number?
False
Let d = 16 + -11. Suppose -2*m - 2*m = c - 85, 3*c = d*m + 170. Is c a composite number?
True
Let t = -1147 - -2079. Suppose 4*w - 984 = t. Is w composite?
False
Suppose 38*z - 1465 = 37*z. Is z a composite number?
True
Suppose 996 = 7*f + 5*f. Is f prime?
True
Let h(q) = -12*q - 13. Is h(-17) composite?
False
Let o(p) = p**2 - 5*p - 9. Let r be o(7). Suppose -7 - 1 = -q - r*y, 2*q - 4 = 2*y. Is 2*q/2 - -256 composite?
True
Let k be 64/(-40)*(-15)/6. Suppose d = 5, 7*w - 278 = k*w - d. Is w prime?
False
Suppose -3*d + 8*d = -4*n, 3*n - 7 = -2*d. Is (-3 + -71)*2/d composite?
False
Let o(z) = 4*z - 4 + z - 2*z. Suppose 3*k = i + 6*k - 20, 0 = -2*i + 5*k - 15. Is o(i) a prime number?
True
Let c(a) = 3*a**2 + a - 1. Let v be c(1). Suppose -2*f + 4*b = f + 54, -5*f + 5*b - 85 = 0. Is (v - 2)/((-2)/f) a prime number?
True
Is (-2)/7 - -592*203/98 composite?
True
Suppose 4*y + 0*y = 5*m - 15445, 0 = -5*m + 3*y + 15445. Is m a prime number?
True
Let r = 10 - 6. Let k(z) = 3*z**2 + 3*z + 7 - r*z**2 + 2*z**2. Is k(-6) prime?
False
Let u be (-17)/(-2)*2 + -1. Suppose -2*v + u + 94 = 0. Is v a composite number?
True
Suppose 0 = -2*t - j + 65, 4*j - 21 + 6 = -t. Is t a prime number?
False
Suppose -771 - 486 = -3*t. Is t composite?
False
Let m = 15 - 11. Suppose -5*p + 20 = -5. Suppose 0 = m*f - 0*s + 4*s - 56, s = p*f - 64. Is f composite?
False
Let j(v) = 5*v**2 - 1. Let x be j(1). Let w(r) = 15*r - 1. Is w(x) composite?
False
Suppose 0 = l - 2*r - 1389, -l + r