(5). Suppose -d - z = -5*d. Is d a composite number?
False
Suppose -n = f - 3*f + 154, f = -5*n + 55. Suppose 6*z + f = z. Let r = 28 + z. Is r prime?
True
Let a(p) = -2*p - 6. Let n be a(-4). Suppose -5*f + 26 = 4*i, -3*i + i - n*f = -12. Suppose 3*j + 3*x + x = 195, 0 = -i*j - x + 273. Is j prime?
False
Let b = 32 + -9. Is b prime?
True
Is 1/(2/10 + (-2910)/14675) a composite number?
False
Let x(o) = 9*o**2 - 9*o - 5. Let f(j) = -j**2 - j - 1. Let h(k) = -6*f(k) + x(k). Let m(l) = l**3 + 4*l**2 - l - 2. Let z be m(-4). Is h(z) prime?
False
Let j(p) = 16 + 32*p - p + 0*p. Is j(9) prime?
False
Suppose -74 = -a + 51. Let l = a + -36. Is l a prime number?
True
Suppose -1252 = -2*l - 3*l - 3*i, 0 = -4*l + 4*i + 1008. Is l a composite number?
False
Let d(b) = -b**3 - 2*b**2 - b - 2. Let c be d(-2). Let u = 3 + c. Suppose u*m + 5*w = -0*m + 164, 160 = 3*m + w. Is m composite?
False
Let c(r) = -r**2 - 3*r + 2. Let o be c(-3). Let n be 15/10 - 5/o. Is (2 - 1) + n + 3 composite?
False
Let k(r) = 7*r**2 - 4*r + 3. Let z = 22 + -14. Is k(z) a prime number?
True
Let y(g) = -g + 172. Let w be y(0). Suppose 5*t + 275 = 5*l, -103 = -5*l - 4*t + w. Suppose l + 32 = n. Is n composite?
True
Suppose -2*z - 6 + 58 = 0. Suppose -4*n - 3*v = 71 - 25, 2*n - 4*v + 34 = 0. Let k = z - n. Is k composite?
True
Suppose 5*i - 4*q = 4873, 3*q = -4*i + 3167 + 750. Is i composite?
False
Let v be (3 - 18)/((-3)/2). Suppose -r = -2*w + 5*w + v, -w + 79 = -4*r. Let o = r - -44. Is o prime?
False
Let k(u) = -57*u. Let d be k(-2). Let l = -65 + d. Is l composite?
True
Let a(s) = -9*s - 13. Let k(j) = 9*j + 12. Let n(v) = -4*a(v) - 5*k(v). Let l = -9 - -3. Is n(l) a prime number?
False
Let v = 3 - 3. Suppose v = 4*j - 0*j. Is 4*(23/4 - j) prime?
True
Let z(x) = x**3 + 7*x**2 - 8*x + 1. Suppose 5*a - 30 + 5 = 0. Suppose -3*l = 5*p - 6*l + 50, l + 30 = -a*p. Is z(p) a prime number?
False
Suppose 2*r + 28 = -2*r. Let k(u) = u**3 + 5*u**2 - 10*u. Let h be k(r). Is (h/(-6))/(6/9) a composite number?
False
Let s be 2/8 + 249/12. Let z be (-4)/(-6) - s/(-9). Is (-2)/z + (-466)/(-6) a prime number?
False
Suppose 0*i = -i - 17. Let a = 2 - i. Is a a prime number?
True
Let l(s) = -s**2 - 11*s + 1. Let d be l(-10). Let i(v) = v**2 - 3*v + 1. Is i(d) a prime number?
True
Let p = 5 + -3. Suppose 5*d + 12 = p*d, -4*s + 132 = 2*d. Is s composite?
True
Let b be (1/2)/((-5)/(-2940)). Suppose 3*d - 72 = n + b, -n + 249 = 2*d. Is d composite?
True
Let k be (-29 + -1)/((-6)/4). Suppose -u + k = -33. Is u a prime number?
True
Let s(d) = -938*d + 33. Is s(-4) a composite number?
True
Let g be 0*(1 + (-12)/9). Suppose f + f - 134 = g. Is f a prime number?
True
Let u = -17 + 19. Suppose -4*y = -u*g + 204, 0*g = 2*g - 3*y - 200. Is g prime?
False
Suppose -3*j - n = -713, j - 4*n = 2*j - 245. Is j a prime number?
False
Let w be 0 - (1 + -1) - -2. Suppose -11*t + 217 + 146 = 0. Suppose w*k = 3*k - t. Is k composite?
True
Suppose 3*f - 11 = -4*h + 5*h, -3*f = -3*h - 3. Suppose -4*w = 26 - 142. Suppose f*k = -5, 21 + w = y - k. Is y a composite number?
True
Let q(o) = -17*o + 4. Let t = -1 - 4. Is q(t) a composite number?
False
Suppose -4*a - 4*k + 3*k = 1081, -3*a = -2*k + 819. Let z = -455 - a. Is (-2)/(-10) - z/5 prime?
True
Let p = 16 - 1. Suppose -3*u = -p, -4*q + 7*q - 8 = 2*u. Let k(n) = n + 1. Is k(q) a composite number?
False
Let v(k) = 125*k - 1. Let b be v(6). Let h = b - 336. Is h a composite number?
True
Suppose 1333 = 3*s - 428. Is s prime?
True
Let t(w) = -w**2 - 7*w + 8. Suppose 0 = -3*q + 3*k - 36, 3*q - q - 3*k + 28 = 0. Let g be t(q). Suppose -2*l + 3*l - 131 = g. Is l composite?
False
Let f(u) = -249*u**3 - u**2 - u - 1. Let j be f(-1). Suppose -c = 3*c - j. Is c prime?
False
Let r be (-12)/(-16) - (-3306)/8. Suppose 3*v + 3*h - r = 4*h, 2*v = -5*h + 293. Is v prime?
True
Let c(n) = 4*n + 271. Is c(0) a prime number?
True
Suppose 3*j = -2*y + 245, -y = -2 + 4. Is j a prime number?
True
Let o be (4/2 - 3)/1. Let h be 2/(o - (-3 - -1)). Suppose -4*d - 37 = -c, -c + 37 = 5*d - h*d. Is c a composite number?
False
Suppose -2*y + 328 = -2*p, 0*p + 3*p - 621 = -4*y. Is y a prime number?
False
Let q(i) = -i + 1. Let s be q(-1). Suppose -104 = -2*u - s*u. Is u a prime number?
False
Let x(v) = -v**3 - 4*v**2 - 6*v. Let p be x(-4). Let o = 2 + p. Is o a prime number?
False
Let g be 1 + 382 - (-2 + 2). Suppose 3*o + g = 5*t, -o - 203 - 109 = -4*t. Is t composite?
False
Let k be (-30)/(-4)*(11 - 3). Let y = k + -21. Let c = y + -26. Is c a composite number?
False
Let b(n) be the first derivative of 21*n**2/2 + n - 6. Is b(2) a prime number?
True
Suppose 3*g - 1547 = 4*v, -2*v - v = -3*g + 1551. Is g prime?
True
Let i(q) = 2*q**2 - q - 1. Let d be i(-1). Suppose 2*k = -d*k + 1492. Is k prime?
True
Let o = -3 - -2. Let y = o - -3. Suppose -3*p + 141 = 3*z, y*z = 5*p - 17 + 111. Is z composite?
False
Let y(l) = l**2 + 8*l + 13. Let s be y(-9). Suppose i = -s + 111. Is i a prime number?
True
Let s(m) be the third derivative of -m**6/30 + m**3/6 + 2*m**2. Let p be s(-1). Suppose -z = 5, 169 = t + t + p*z. Is t prime?
True
Let q be 5/(-5)*(-3 - -1). Let h be (1 + 13)*(-1)/q. Is h/(-3)*(-2 + 35) prime?
False
Let n(j) = -j**3 - 7*j**2 - 6*j + 3. Let z be n(-6). Is 138/4*14/z a prime number?
False
Let f(d) = d**3 + 12*d**2 - 14*d - 11. Let t be f(-13). Suppose t*q - 4*l - 84 = 0, 3*l - 236 = -6*q + q. Is q a prime number?
False
Is 97/(((-6)/2)/(-33)) a composite number?
True
Let c = -98 - -396. Is c composite?
True
Let r = -47 - -114. Is r a composite number?
False
Is (171/6)/((-1)/(-2)) a composite number?
True
Suppose 112 = -w + 333. Is w a prime number?
False
Let t(o) = 544*o + 11. Is t(2) prime?
False
Let y be 5 - 2*3/6. Let r be (-1 - 0)/(y/(-24)). Is 298/8 - r/24 a prime number?
True
Let i = 23 - 2. Suppose 0 = 2*n - 17 - i. Is n a prime number?
True
Let x(a) = -20*a**3 - a**2 + 1. Is x(-2) a prime number?
True
Let n(q) = -8*q + 11. Let i(b) = -9*b. Let y be i(1). Is n(y) prime?
True
Let m be ((-10)/15)/(1/(-6)). Suppose -m*i + 16 = -c - 3, i = -4*c - 8. Is (2 - i)/(4/(-70)) a composite number?
True
Suppose -u + 6*u = -5*m + 1750, -4*m = -5*u - 1373. Is m a prime number?
True
Suppose 3*d + 1030 = 4*d. Is (-9)/(-2)*d/15 a prime number?
False
Let m(z) = -z**2 + 20*z + 28. Is m(17) composite?
False
Suppose 5*n - 5*a = 25, 2*n - 3*a = 10 + 1. Suppose 4*i - 370 - 310 = -n*k, 5*k - 4*i = 841. Let l = k + -116. Is l a prime number?
True
Suppose 5*d - 3*n = -1177, 3*n - 275 = 4*d + 666. Let h = d - -162. Is h/(-2) - 8/4 a composite number?
True
Suppose -i + 22 = -4*b - 22, b = i - 11. Is ((-2)/6)/(b/2541) a composite number?
True
Suppose a = 4*t + 98 - 409, 0 = 2*t - 2*a - 160. Is t prime?
False
Let j be ((-5)/4)/((-2)/8). Suppose 2*h = -j*r + 5 - 20, 3*h - 3 = r. Suppose 2*l - 64 - 54 = h. Is l a prime number?
True
Let r(b) = 4*b**2 + 14*b + 6. Let s(x) = -x**2 + x + 1. Let k(j) = r(j) + 5*s(j). Is k(12) a composite number?
True
Let y(v) = -185*v + 1. Let u be y(-2). Suppose u = 4*k + 7*s - 2*s, s = 5*k - 471. Let o = k - 47. Is o a composite number?
False
Suppose 59 = -2*p - r + 484, -r = 1. Is p a composite number?
True
Let t be 5 + (2 - (-9)/(-3)). Is (t - -43) + 1 + 1 prime?
False
Let y = 8 + -2. Let w(r) = -r**3 + 6*r**2 + 2*r - 8. Let h be w(y). Suppose 2*s = 4*t + 178, -s - 3*t + 484 = h*s. Is s prime?
False
Let h(o) = -6*o**2 + o. Let t be h(1). Let i(a) be the third derivative of a**5/30 + 7*a**4/24 + 7*a**3/6 - a**2. Is i(t) prime?
False
Let l(f) = -f**3 + 5*f**2 + 2*f - 5. Let s be l(5). Suppose 5*b = -0 + s. Let v(u) = 13*u. Is v(b) composite?
False
Let n(g) = 56*g**2 + 2*g - 9. Is n(-5) prime?
True
Suppose 4*a = 2*k - 0*k + 7894, -2*k = -3*a + 5921. Is a composite?
False
Let l(o) = 642*o**3 - 3*o + 2. Is l(1) composite?
False
Let n = -6 - -9. Suppose 0*h = n*h - 99. Is h prime?
False
Let z = -62 - -136. Is z composite?
True
Let y be 20/((10/21)/5). Let f = y + -148. Let c = -9 + f. Is c prime?
True
Let n(p) = -3*p - 1. Let w be n(-2). Suppose 0 = w*k - 0*k - 255. Is k prime?
False
Suppose 3*g + 28 = 277. Suppose -g = -z - 4*v, -6*z + 3*v = -z - 438. Is z a prime number?
False
Let y(n) be the first derivative of -n**3/3 + 11*n**2/2 + 4*n - 8. Let j = 13 - 4. Is y(j) a prime number?
False
Is (11