2*h - 3*h - d = 15, -2*h - d - 6 = 0. Let w be (-1)/h*(9 + 0). Suppose -u + 332 = w*u. Is u a composite number?
False
Let u(i) = -i**2 + 10*i - 6. Let z be u(9). Suppose 2*n + 4*h - 374 = 0, -z*h - 37 = -2*n + 309. Is n prime?
True
Suppose 2*z - 375 = 511. Is z a prime number?
True
Let m = 1408 + -191. Is m composite?
False
Suppose -3*y = -i - 4536, -2*i = -5*y - 3*i + 7552. Is y a prime number?
True
Let i be -1*(0 - (993 - 0)). Suppose -5*b + i = -2*b. Is b a composite number?
False
Let f be 2/(-7) - (-72)/(-42). Let j(t) = -3*t - 6*t**3 - 1 - 4*t**2 - t + t. Is j(f) a prime number?
True
Suppose 12 = 4*p + 4. Let u be (p*-3)/(-2) + -72. Let c = 115 + u. Is c a prime number?
False
Suppose -5822 = -4*q + 422. Is q a composite number?
True
Suppose -13*m + 894 = -10*m. Is m composite?
True
Let j(f) = -17*f - 3. Is j(-2) prime?
True
Suppose 3*q - 416 - 96 = 4*s, s + 343 = 2*q. Let l = q + -45. Is l prime?
True
Suppose y + 33 = -68. Let f = -66 - y. Is f a prime number?
False
Let k be 0 - (1 - (-4 - 2)). Let h(y) = -2*y - 9. Let s be h(k). Suppose 0 = s*u - 150 - 35. Is u prime?
True
Suppose 4*z - 716 = 4*x + 8, 4*z = 2*x + 728. Is z a prime number?
False
Let r(c) = 45*c**2 - 2*c - 4. Let t be r(-5). Suppose 0 = -0*o - 2*o + 5*s + t, 2*o - 1122 = 2*s. Let i = o + -373. Is i a prime number?
False
Suppose -1 = 4*g - 9. Suppose g*p - 36 = 2*a, -3*a + 0*a - 50 = -2*p. Is -4*(a/8 - 0) composite?
False
Let y = -88 + 171. Is (-2)/(-2)*(y + -1) a composite number?
True
Let u(q) = -8*q**3 - q**2 - 7*q - 21. Is u(-7) a prime number?
False
Let g(l) = l**2 + 3*l + 2. Let d be g(-3). Let r be 52/(-2 + 36/15). Suppose r = d*q + 32. Is q a composite number?
True
Let i = -6 + 8. Is (-43)/(-2) - i/4 a composite number?
True
Is (-7)/(7/(-158)) - 1 a composite number?
False
Is 2 + 5253/12 - 9/12 composite?
False
Let x(y) = 9*y + 1. Let l be (-6)/15*(-12 - -2). Let w be x(l). Suppose -s = -2*s + w. Is s composite?
False
Let t(r) = -4 + 7*r**2 + 20*r**2 - 11*r**2 + 3*r + 5. Is t(-2) composite?
False
Suppose -2*v - 12 = 4*l, 5*l + 6 - 1 = 0. Let j = v - -7. Suppose -4*b + 7*b = -5*q + 107, j*b + 64 = 4*q. Is q prime?
True
Suppose -3*y = 3*u - 15, -4*u + u + 5*y = 1. Let o = 26 - u. Suppose -5*b + 2*r - o = -80, 19 = 2*b + 3*r. Is b prime?
True
Let w(y) = -11*y + 11. Is w(-16) composite?
True
Suppose 4*p = p + 15. Let g(c) = 0*c**2 - 3*c + 1 - 2*c**2 + 0*c - p*c**3. Is g(-3) a prime number?
True
Suppose 4*p = 2*k - 2, -2*k - 1 = p - 3*k. Let j be ((-10)/4)/((-2)/4). Suppose p*c - j*c = -110. Is c composite?
True
Let t be ((-45)/12)/(3/40). Let f be 1/(-1*1/(-96)). Let d = f + t. Is d prime?
False
Is 0 + 2496/5 - (-4)/(-20) a composite number?
False
Let t(s) = -108*s - 7. Let v(l) = l + 1. Let y(m) = -t(m) - 6*v(m). Is y(2) composite?
True
Suppose 5*i + 3*x + 2 = 0, 0 = 3*i - 3*x - 0 - 18. Suppose -4*r + 2537 = 3*k, k + 1906 = -i*r + 5*r. Is r prime?
False
Suppose q = -4*q + 115. Is q a prime number?
True
Let d(r) = -r**3 + 3*r**2 + 5*r - 4. Let g be d(4). Is g/(-2 - -1) + 33 prime?
False
Suppose -2*h + 1179 = q, -1154 = -2*h + 2*q + 2*q. Is h a composite number?
False
Let p(v) = -16*v + 5. Let z be p(3). Let n(g) = -7*g + 13. Let c be n(-9). Let s = z + c. Is s a prime number?
False
Suppose -2*a = -4*d - 16, -6*d = -2*d - 4*a + 20. Is 43/3 - 2/d prime?
False
Suppose 0 = -7*t - 1 + 8. Is 2*-786*t/(-4) a prime number?
False
Is (-3 + 10)*(3 - -14) a prime number?
False
Let p(r) = -r**2 - r + 110. Let o(m) = -1. Let z(f) = -o(f) + p(f). Is z(0) a prime number?
False
Suppose 0*o = 3*o + 57. Let l = o + 4. Is 6/l - 224/(-10) prime?
False
Let d be (-4)/6 + (-88)/(-6). Suppose 0 = 4*b - 0*w + 3*w - 3, -3*b + w = d. Is ((-51)/9)/(b/45) a prime number?
False
Let z = 634 - 371. Is z prime?
True
Let w(v) = -5*v**2 - v. Suppose -3*r = 4*d + 1, -2*r + 4 = -2*d - 0. Let y be w(d). Let f(p) = -p**3 - 2*p**2 + 4*p + 5. Is f(y) a composite number?
True
Let z be (-41)/(-2) - 2/4. Suppose -3*y = y + z. Is (-2 - y)/(-1 - -2) prime?
True
Let r be (-1)/4 + (-117)/(-52). Let f = 205 + -100. Suppose r*b = 2*t + 304, 3*b - 339 - f = -t. Is b prime?
True
Let u(j) = 135*j**2 + 3*j - 7. Is u(3) composite?
False
Let q(h) = -h**3 - 5*h**2 - 6*h - 5. Is q(-6) composite?
False
Suppose 0 = -2*c - v - 47, c + 5*v = -3 - 25. Let l = 13 + c. Let j = 16 + l. Is j a prime number?
False
Let p(u) = u**2 - 4*u + 4. Let q be p(3). Let n be (0/1)/((-1)/q). Suppose n = 3*i - 3*o - 1 - 2, -4*i + 49 = 5*o. Is i prime?
False
Is ((-7)/21)/((-2)/3)*2434 a composite number?
False
Let k(w) = -w**2 + w + 1055. Is k(0) prime?
False
Let l(b) = -79*b + 18. Is l(-11) a composite number?
False
Let h = 590 + -391. Is h a prime number?
True
Let k(j) = -j + 6. Let z be k(3). Suppose g - 5*u + 184 = z*g, -g - u + 95 = 0. Let i = g - 62. Is i a composite number?
True
Let u(n) = 108*n + 1. Let l be u(-1). Let b = -70 - l. Is b prime?
True
Suppose 0 = 3*x - 6*x + 117. Suppose -v = -2*f - x + 531, -986 = -4*f + v. Is f prime?
False
Suppose 3*n + 3*d = 27, -3*n - 5*d + 33 = -n. Suppose -n*r = -3*v - 352, -r + v - 166 = -3*r. Is r composite?
True
Let c(o) = -o**2 + 1. Let f be c(1). Suppose f = t + 2*t + 15, -3*t + 468 = 3*g. Is g a composite number?
True
Suppose 4*c - 3*g - 17 = 0, 3 = -3*g + 2*g. Suppose 4*r - 2*r + 3757 = 5*w, c*r = w - 753. Is w a prime number?
True
Let x(j) = -j**3 + 4*j - 2*j**2 - j**2 + 0 + 0*j**3 + 4. Is x(-5) a prime number?
False
Let a(w) = w**3 - 5*w**2 - 10*w + 1. Let k(i) = i**2 + 13*i - 20. Let b be k(-15). Is a(b) a composite number?
False
Suppose -4*b + 3565 = b. Is b composite?
True
Suppose -4 = -n, 3*n = -p + 6*p - 8. Is 34 + 6/(-6 + p) a prime number?
True
Let z = 38 + -22. Suppose -71 = -q - z. Is q prime?
False
Let m = -111 - -357. Let d = m - 97. Is d composite?
False
Suppose 0 = 5*c + 9 + 21. Let g(r) = -26*r**2 + 36*r - 36. Let s(l) = 5*l**2 - 7*l + 7. Let p(o) = 2*g(o) + 11*s(o). Is p(c) a composite number?
True
Let m(u) = -1. Let x(l) = 5*l - 5. Let r(q) = 3*m(q) + x(q). Let c(j) = j**3 + 6*j**2 + 4*j + 1. Let t be c(-5). Is r(t) a composite number?
True
Suppose -5*p - 620 = -p. Let a = p - -296. Is a composite?
True
Let c(i) be the third derivative of -11/6*i**3 + 7/24*i**4 + 0*i + 0 + 2*i**2 + 1/60*i**5. Is c(-9) composite?
False
Suppose v - 4*a + 75 = 498, 3*v - 3*a = 1278. Is v a prime number?
False
Suppose 0 = -4*j - 3*m - m + 1240, 4*j + m = 1231. Is j composite?
False
Suppose 8*f = 7*f + 1283. Is f composite?
False
Let c(a) = 432*a. Let d be c(2). Suppose -4*j - y = -5*y - d, 0 = -5*j + y + 1068. Is j a composite number?
True
Let k = -6 + -1. Let o = k - -7. Suppose 3*z + z - 184 = o. Is z prime?
False
Suppose o - 2 = 0, -2*o + 272 = 2*r - 7*o. Is r composite?
True
Suppose -3*n - n + 12 = 0. Let i(l) = 0 + 9*l**2 + 1 - 5*l - 3*l**2 - l**n. Is i(4) a composite number?
False
Suppose -2*l = -7*l - 10. Let p = l - -4. Is (6/2 - p) + 6 a prime number?
True
Suppose -a = -8 + 3. Suppose -897 = -4*p + 5*s, -s = -a*s - 4. Is p a prime number?
True
Let s be (-1)/(-2)*4 + -1. Let f(u) = u + 12. Let d be f(-8). Is (d/(-2))/(s/(-17)) a composite number?
True
Let k be (-7)/(-2) + 2/4. Suppose -135 = -k*p + 73. Suppose 4*l = 48 + p. Is l prime?
False
Let y(u) = -50*u + 3. Is y(-5) composite?
True
Suppose 2*n + 37429 = 9*n. Is n composite?
False
Is (0 + 1 - -577)/2 a prime number?
False
Let n = 424 + -15. Is n prime?
True
Let w(z) = -8*z**3 + 3*z**2 - 6*z - 4. Let y be w(-5). Let p = 2482 - y. Is p a prime number?
True
Let t(f) = -2*f - 3. Let b be t(-8). Suppose 0 = 5*a - b - 142. Is a a composite number?
False
Let f be 2 - 3/((-6)/(-10)). Is -37*((-27)/(-3))/f a composite number?
True
Suppose 0 = 2*x + q - 234 - 131, -5*x = 2*q - 914. Suppose 2*m = -5*w + 204, -2*m - w + 6*w = -x. Is m composite?
False
Let b(z) = -z + 37. Let v = 1 - 1. Is b(v) a composite number?
False
Let o(q) = 3*q**2 + 3*q + 1. Suppose -20 = 7*y - 2*y. Is o(y) prime?
True
Let t(w) = w**3 + 4*w**2 - w + 3. Is t(4) composite?
False
Suppose 0*k - 5*k - 455 = 0. Let h = k + 153. Is h a prime number?
False
Let z(w) = 26*w**2 - 3*w - 4. Is z(-3) a composite number?
False
Let l(v) = -14*v + 7. Let j be (-101)/(-4) + 1/(-4). Suppose -2*c - 3*c - j = 0. Is l(c) a prime number?
False
Suppose 4*p = 4*x + 720, x + x + 4*p = -330. Let u = 