3. Suppose 2*k + b*k = m. Is k prime?
True
Let w = -8 + 8. Suppose -3*b + 812 = 4*f, w = -2*b + b. Is f composite?
True
Let f(x) = x**3 - 10*x**2 - 11*x + 4. Let i be f(11). Suppose 2*k + 3*j - 122 = 0, 3*k - i*j = 8*k - 298. Is k composite?
True
Let d(v) = v**2 - 6*v - 3. Let m be d(-5). Suppose 5*p + m = 797. Is p a composite number?
False
Let d be (27/6)/((-3)/4). Let j(p) = -2*p - 9. Let c be j(d). Suppose 2*i + 11 = c*m + 55, 5*i - 123 = m. Is i a composite number?
True
Let v(n) be the second derivative of n**5/20 - 7*n**4/12 + 4*n**3/3 - 3*n**2/2 - 2*n. Is v(6) composite?
True
Suppose -2194 = -h - 213. Is h prime?
False
Suppose 98 = t - 437. Is t a prime number?
False
Let k(u) = u**3 + 3*u**2 + 2*u - 1. Let g be k(-2). Let p(j) = -36*j**3 + j. Is p(g) composite?
True
Suppose -b + 110 = b. Is b prime?
False
Suppose -44 = 4*c - 7*c + 5*u, -2*u - 15 = -c. Is c composite?
False
Let v(z) = 11*z**3 - 1. Let l be v(-1). Is (-9)/l + (-149)/(-4) a prime number?
False
Let y be (0 + 0/(-1))/2. Suppose y = -0*w - 5*w - 15. Is (1 + 0)/(w/(-129)) composite?
False
Let l(k) = 16*k + 1. Is l(2) prime?
False
Let a = -14 + 41. Let v = 53 - a. Is v a prime number?
False
Suppose 3*b - c + 3*c - 48 = 0, b - 3*c - 5 = 0. Let l = 29 - b. Is l composite?
True
Let y = 92 - 41. Is y a composite number?
True
Suppose -3*n + 4847 = 2*n + 4*u, 3*u = 3*n - 2892. Is n a prime number?
True
Let x(i) = -i**2 + i - 7. Let b(z) = -z**2 - 4. Let c(s) = -7*b(s) + 4*x(s). Is c(3) a composite number?
True
Let z(i) = i**3 + 6*i**2 + 10*i + 8. Let y be z(-10). Let x = 889 + y. Is x a prime number?
True
Let o(t) = -t**3 + 5*t - 5*t**2 + 6*t**2 + 1 + 2 + 5*t**2. Is o(5) a composite number?
False
Let o(z) = 8*z**2 + 3*z + 1. Is o(2) a prime number?
False
Let i be 33/22 + 1899/2. Suppose -i = -3*v - w, -105 = v + w - 422. Is v prime?
True
Let k(l) = l + 14. Suppose -4*m + 9*m = 0. Is k(m) composite?
True
Suppose 0 = 6*u - 2996 - 2686. Is u prime?
True
Let d(o) be the second derivative of -o**4/12 + 2*o**3 - 9*o**2/2 - o. Let c be d(8). Is c - 2 - (3 - 1) a prime number?
True
Suppose -112 = -4*q + 5*g, -2*q + 56 = g - 0*g. Suppose b - 115 = -q. Is b prime?
False
Let i = 7505 + -3612. Is i a composite number?
True
Suppose 6*d - 1 = -7. Let s(z) = 0*z + 0*z**2 + z + 12*z**2. Is s(d) prime?
True
Suppose 2*y - 18 = -2*x, y = -4*y - 15. Let d(m) = -x*m - m**2 + 8*m**2 + 3*m**3 - 2*m**3 - 6. Is d(-8) a composite number?
True
Let a be ((-1)/2)/(1/(-8)). Let v(r) = 4*r**3 - 5*r**2 + 5*r + 4. Let y(z) = 11*z**3 - 16*z**2 + 15*z + 11. Let l(i) = 8*v(i) - 3*y(i). Is l(a) a prime number?
True
Let z be 1/(((-12)/(-9))/4). Suppose -3*a - 63 = -z*v, -3*v + a = v - 90. Is v prime?
True
Let u = 108 + -36. Let s(b) = b - 23. Let q be s(0). Let l = u + q. Is l prime?
False
Let k = 13 - 7. Let c = k - 0. Suppose c*w - 2*w = 204. Is w prime?
False
Let q be (-2745)/75 + 4/(-10). Let t(g) = -g**3 - 5*g**2 - 5*g + 6. Let n be t(-6). Let u = q + n. Is u a prime number?
False
Let y(b) = b**2 - 4*b + 4. Let w be y(-7). Let n = -46 + w. Is n prime?
False
Let t(x) = 15 - 4 - 9*x**2 + 11*x**2 + 16*x. Is t(-11) a composite number?
True
Suppose 5*c + 3 = 2*c. Is 15*((-20)/(-6) + c) prime?
False
Suppose -3*q + 32 = 2*z, 34 = 2*z + 3*q - q. Is z*(-1)/(1 - 2) a prime number?
True
Suppose 0 = -2*j + 781 + 383. Suppose 0 = c + j - 171. Let d = -262 - c. Is d composite?
False
Let j(v) = -7 - 2*v + 2*v - 3*v. Is j(-10) a composite number?
False
Suppose -4*v = -2*y - 622, -5*v + 976 = -3*y + 201. Is v/1 - (0 + -1) a prime number?
False
Let q = 11 + -6. Suppose 0 = -2*a - 3*a - 2*m + 10, a - 2 = q*m. Suppose 0 = -a*s + s + 33. Is s a prime number?
False
Let r(p) = -p**3 - 6*p**2 - 6*p - 6. Let f = -14 + 9. Let a be r(f). Is a/(-2) + (-210)/(-4) a composite number?
False
Is (111/9)/((-1)/(-57)) a composite number?
True
Let c(s) = 17*s - 2. Let h be c(-3). Let i = 74 + h. Is i a prime number?
False
Let n = -244 - -427. Is n composite?
True
Let t = 456 + 427. Suppose -175 = 4*a - t. Is a a prime number?
False
Let t be 4 + (2 + -2 - 1). Let v = 3 - t. Suppose -a = 5*s - 116, 3*a - 5*s + v*s - 248 = 0. Is a prime?
False
Suppose 2*j = 16*j - 22358. Is j prime?
True
Let v(u) = -u + 28 + 26 + 35 - u**2. Is v(0) a composite number?
False
Let k = -5 + 4. Is (k - 0)/(4/(-148)) composite?
False
Suppose 0*h - 3*h - 3 = d, 5*h = 5*d - 25. Suppose 0*o = d*o - 15. Suppose 60 = o*n + 2*a, 3*a = n - 0*a - 29. Is n composite?
True
Let k be 0 + -371 + (-6 - -3). Suppose -3*y + 1650 = 3*r, -3*y + 2 = 5. Let s = k + r. Is s prime?
False
Let t be 57/11 + (-4)/22. Suppose l + t*x - 3*x - 39 = 0, 0 = 3*l - 3*x - 108. Is l composite?
False
Let h be 0/(-1 + 6/3). Let f(x) = h*x + x + 4 + 2. Is f(0) a prime number?
False
Suppose -4*i + 41 = -4*w - w, -4*i = -3*w - 31. Let s = 30 - i. Suppose -5*n = 2*z - n - s, -2*z + 31 = 5*n. Is z a composite number?
False
Let a(m) be the second derivative of m**3/2 - 3*m. Let j be a(1). Suppose j*o - 165 = -0*o. Is o a prime number?
False
Suppose 5*n + 727 + 4603 = 5*a, 0 = a - 5*n - 1054. Is a a composite number?
False
Let a = -98 + 204. Suppose -p - 5*h = 20, p - 8 = -3*p + 2*h. Suppose -a = -p*g - 2*g. Is g composite?
False
Suppose 5*h - 3 = 3*n, -2*n = -3*h - h + 2. Suppose v - j - 10 = -v, v = -2*j. Suppose y = 4*y - 4*l - 121, h = v*y - 5*l - 160. Is y prime?
False
Let z = -5 + 11. Suppose 0 = t - 15 - z. Is t composite?
True
Suppose -2*t - 2 = 5*n + 3, 0 = -n + t - 8. Let p(f) be the third derivative of -f**4/8 + f**3/6 - 2*f**2. Is p(n) composite?
True
Let h(d) = d**3 - 8*d**2 + d - 7. Is h(10) prime?
False
Suppose -j + 102 = -4*c, -3*j + c - 59 = -310. Is j a composite number?
True
Let u(m) be the second derivative of -19*m**3/6 + 2*m. Is u(-5) composite?
True
Let r = -90 + 419. Is r composite?
True
Let b(m) = -5*m**3 + 8*m**2 + 10*m - 8. Let i(c) = c**3 - c. Let s(z) = -b(z) - 4*i(z). Is s(9) prime?
False
Suppose 5*j + 2*t + 2165 = -3*t, -t - 867 = 2*j. Is (14/28)/((-1)/j) composite?
True
Suppose -80 = 3*s + 1. Let z = 69 + s. Suppose -h + z = h. Is h a prime number?
False
Suppose -6303 = -16*p + 5*p. Is p a composite number?
True
Suppose 5575 = i + 4*i. Is i a composite number?
True
Let a = -441 - -734. Is a composite?
False
Let o = 0 + 4. Let a = o - 6. Let f(q) = 8*q**2 - 3*q - 1. Is f(a) a prime number?
True
Suppose -5*k = -2*q - 1278, -2*k - q = -7*k + 1274. Is k a prime number?
False
Let a = -119 + 225. Let z = a + 27. Is z a composite number?
True
Suppose -5*h - 292 = -3*g, 4*g + 4*h + 46 - 382 = 0. Suppose -a + 32 = 3*f, 6*a = 2*a + f + g. Is a a prime number?
True
Let x(o) = -238*o**3 - 5*o**2 - 3*o - 5. Is x(-3) a composite number?
True
Let w(l) = l**3 + 4*l**2 + l + 5. Let s be w(-4). Suppose 5*n - 5*c - 300 = 0, -s = c + 4. Is n a prime number?
False
Let p(h) = -h**3 + 3*h**2 + 2*h. Let v be p(3). Suppose 6 = -u + 2*u. Is u - v - 85*-1 prime?
False
Suppose -w - 3*j - 9 = 0, -4*j - 13 + 1 = -3*w. Suppose 0 = -3*i - w*i + 777. Is i prime?
False
Let g(p) = 33*p**2 - 4*p - 13. Is g(-6) a prime number?
False
Suppose 0 = 4*a - 6320 - 5412. Is a a composite number?
True
Suppose 0 = -k - 4*k - 1080. Let c = 311 + k. Is c a prime number?
False
Let z(x) = -x**3 - 10*x**2 - 12*x - 6. Let o be (0 - (1 - 2)) + -10. Is z(o) composite?
True
Suppose -4*a = 4*s + s - 64, 0 = 5*a - 5. Is (s/16)/(3/444) a prime number?
False
Suppose -4*y - 2*q + 16 = 0, y + 5*q = -2 - 3. Suppose 3*g + 3*x - 43 = 140, -45 = -g - y*x. Is g a composite number?
True
Suppose 8 + 5 = 3*b - t, 4*t - 12 = -4*b. Let f be (0 - 632)*2/(-4). Suppose 0*l - f = -b*l - 5*m, -2*l = -2*m - 158. Is l composite?
False
Is 2/9 + (-105742)/(-117) + -3 a composite number?
True
Let k = 121 + 326. Suppose 3*z + 0*z = k. Is z a composite number?
False
Let k(z) = z + 10. Let f be k(-10). Suppose p - 4*x - 17 - 86 = 0, 2*p + 4*x - 254 = f. Is p composite?
True
Let p = 15 - 12. Suppose p*a = -a + 2036. Is a prime?
True
Suppose -y - 2*d = -13, -3*y - 11 = -5*d + 5. Let w be 2*y/(4 + -1). Suppose 4*v = 4*a + 132, -2*v + 12 + 62 = w*a. Is v composite?
True
Suppose -3*s + 1276 = -7*s. Let y = 642 + s. Is y a composite number?
True
Let j(k) be the first derivative of -k**3/3 - 17*k**2/2 - 13*k - 4. Is j(-13) prime?
False
Suppose 4*o = 3 + 1. Is 22 - (-3 - o*-