 1. Is k(x) a composite number?
False
Let k = -4 - 0. Let z = k - -5. Is (z/(-2))/(-1)*74 prime?
True
Let x be (-3 - -9)*6/9. Suppose x*o - 2*o = 186. Is o a prime number?
False
Suppose 9*g - 8790 = 1533. Is g composite?
True
Suppose 2918 = 4*i - 3006. Is i a prime number?
True
Let b = 439 + -192. Is b a prime number?
False
Let v = -572 - -391. Let a = v + 308. Is a prime?
True
Let b(y) = 71*y - 6. Is b(7) a composite number?
False
Let n(g) = 21*g**3 + 2*g**2 - 1. Let t be n(1). Is 3/(24/t - 1) a prime number?
False
Let a = 81 - -34. Is a prime?
False
Suppose x = c - 3*x - 311, 3*x - 655 = -2*c. Is c prime?
False
Let i(c) be the second derivative of c**3/6 + 55*c**2/2 - c. Let n(d) = -2*d**2 + 7*d - 3. Let y be n(3). Is i(y) a prime number?
False
Let w be (2 - 174)/(-2) + 0. Suppose -141 = -10*z + 9*z. Let f = z - w. Is f composite?
True
Is (-2)/14 + 2934/7 prime?
True
Suppose 4*f = 3*s - 40, -2*s - f = -3*f - 26. Let o = s - -3. Is o prime?
False
Let r = 243 + -170. Suppose 2*q = 3*s - 13, 4*s - 16 = 3*q + q. Suppose s = -5*i, -h - 3*i + r = 21. Is h composite?
True
Let v(d) = 31*d**3 + 3*d**2 - 6*d + 5. Is v(2) a composite number?
True
Let m(z) = -z**3 + 3*z + 1. Let t be m(4). Let a = t + 29. Let k = 15 - a. Is k a prime number?
True
Let s(t) = -t - 3. Let c(b) = b. Let v be c(0). Let z be s(v). Let g(q) = 5*q**2 - q + 1. Is g(z) composite?
True
Suppose 3*h - h - 6 = 0. Suppose v + 4*v = h*s - 35, 3*v = 3*s - 27. Let r(f) = -f**2 + 6*f + 2. Is r(s) composite?
False
Let v = -6 + 150. Let o = 213 - v. Is o prime?
False
Let j(k) = -5*k**3 + 0*k + 0*k**3 + k - 2*k. Let t be 1/(-3) + 4/(-6). Is j(t) prime?
False
Suppose r - 87 = 4*j - 0*j, r = 2*j + 85. Let i be ((-12)/(-9))/((-4)/(-6)). Suppose -i*f - 21 = -r. Is f composite?
False
Let v = -461 + 778. Is v a prime number?
True
Suppose -2*w - 3 + 5 = 0. Is 956/5 - w/5 prime?
True
Let i be -3 + (-4)/(-2) - -133. Let f = 155 + i. Is f a prime number?
False
Is 28*(57/2 + (-9)/36) a composite number?
True
Suppose 4 + 1 = -5*u - 2*w, 4*u + 4 = 2*w. Let z be (5 - 6)/(u/3). Is (-608)/(-20) - z/(-5) prime?
True
Suppose 0 = -45*d + 40*d + 255. Is d a prime number?
False
Let a(g) = 2*g + 363. Let o be a(0). Suppose o = w + 5*m, w = 4*w - 4*m - 1051. Is w composite?
False
Let p be (-6)/(-4)*(-4)/(-3). Suppose -3 = -a, -j + p*j - 70 = 3*a. Is j prime?
True
Let w = -8 - -11. Suppose 0 = -w*v - c - 55, 5*v + 36 = 3*c - 79. Let y = v - -59. Is y prime?
False
Let b = 9 - 7. Suppose 4 = -b*v - 0*f - 3*f, 0 = -5*v - f + 16. Suppose 1174 = v*x + 2. Is x a composite number?
False
Let c(w) = 10*w + 9. Suppose -3*u - 31 = -4*n, -3*u = -0*n - 3*n + 24. Is c(n) a prime number?
True
Let d = 539 - 324. Is d composite?
True
Let u(f) = f**2 + 2 - 12 + 9 - 4*f. Let i(o) = o**3 + 4*o**2 + o + 2. Let p be i(-2). Is u(p) a prime number?
True
Suppose -136 = -z + 23. Is z composite?
True
Suppose -5*z + 1471 - 81 = 0. Suppose -z + 77 = -3*l. Is l a prime number?
True
Suppose 1630 = -6*o + 8*o. Is o prime?
False
Let l be 4/(-3)*(-72)/(-16). Is (106/l)/(1/(-3)) prime?
True
Suppose 0 = 4*c - x - 2108, -4*c + 4*x + 2108 = 2*x. Is c a composite number?
True
Let u be 34/(-4) + (-3)/(-6). Let r(n) be the first derivative of -n**3/3 - 9*n**2/2 + 6*n + 2. Is r(u) prime?
False
Let r be (-176)/12 + 2/(-6). Let n = r - 7. Let d = 37 + n. Is d composite?
True
Let h(u) = -1 + 4*u - 10*u**2 + u**3 + 2*u**3 - 2. Let z(f) = -16*f**3 + 51*f**2 - 19*f + 15. Let a(k) = -11*h(k) - 2*z(k). Is a(7) a prime number?
False
Suppose 107 = -3*f - 397. Let h = f + 313. Is h prime?
False
Let o be 1 + -6 + 3 - -4. Suppose -o + 13 = a. Is a a composite number?
False
Suppose -12*g + 48 = -0*g. Is g composite?
True
Let l(o) be the second derivative of o**7/1260 + o**6/360 - o**5/24 + o**4/6 + 3*o. Let z(a) be the third derivative of l(a). Is z(-5) prime?
False
Let i = 33 + 65. Suppose h + 2*g + 41 = i, -4*h = -2*g - 208. Is h prime?
True
Let b(d) = -d**2 + 7*d - 1. Let h be b(6). Suppose k - 4*k = -4*s + 640, -s = -h*k - 177. Is s a prime number?
True
Is (-42016)/(-10) - ((-60)/(-25))/4 prime?
True
Suppose -5*s + 21 + 31 = 3*f, 0 = -2*s - 8. Suppose 4*g - f = 4. Let t(m) = -m**3 + 7*m**2 + 3*m + 10. Is t(g) a prime number?
True
Let r(y) = y**2 + 5*y - 7. Let p(q) = q**3 + 2*q**2 + 2*q + 4. Let g be p(-3). Is r(g) composite?
False
Let t(i) = -29*i**2 + 25*i - 1. Suppose -2*f + 2*z - 18 = 0, -3*f + 5 = 4*z + 32. Let h(m) = -14*m**2 + 12*m - 1. Let b(u) = f*h(u) + 4*t(u). Is b(5) composite?
True
Suppose -r - 3*r + 16 = 0. Suppose r + 8 = 4*i. Is i prime?
True
Let v = 8 - 6. Is (v/(-6))/((-12)/4356) a composite number?
True
Is 3/(6/4) - -189 a prime number?
True
Let k be (10/(-6))/(4/12). Is 154 - (k - -2 - 0) prime?
True
Suppose -2*c + 15 = -5. Let y(z) = -c*z + 3*z + 3 - 4. Is y(-2) composite?
False
Let j(f) = -4*f**3 - 3*f + 2. Suppose 2*g + 0*g - 2*l = 2, g + l + 7 = 0. Is j(g) a composite number?
True
Is (66/(-9))/(2/(-591)) a composite number?
True
Let d = -16 + 129. Is d a composite number?
False
Suppose 7*r + 1285 = 5702. Is r prime?
True
Let a = -5 + 8. Suppose a*x = -2*x + 415. Is x a composite number?
False
Suppose 0 = 4*l + 4*a + 4, -l + 7 = -4*a - 7. Let d be -328 + 4 - (0 - l). Let q = -135 - d. Is q a composite number?
True
Let f be ((-4)/(-12))/(2/18). Suppose f*x = -2*x. Suppose x = -0*r + r - 55. Is r a prime number?
False
Let y be 14/3*27/18. Let h(a) = y*a - 4*a - 2*a - 1. Is h(5) prime?
False
Suppose -5*p = -52 - 418. Is p a prime number?
False
Let u be (-4)/3*894/(-4). Suppose 145 = o - k, -5*k = 5*o - u - 427. Is o composite?
True
Let m(v) = -v + 2. Let t = 6 + -9. Let p be m(t). Suppose p*w - 309 = 126. Is w prime?
False
Suppose -2*j = 2*s - 0*j - 1416, s + 3*j = 706. Is s prime?
True
Suppose -3*b + 2589 = -3*k, -5*k - 1436 = -3*b + 1149. Is b a composite number?
True
Is 4/5*(-290)/(-4) a composite number?
True
Let m = 639 - 341. Let v = m + -113. Is v a prime number?
False
Let r(s) = 26*s - 11. Is r(15) composite?
False
Let j(d) = d**3 - 15*d**2 - 13*d + 5. Is j(18) a composite number?
False
Suppose -4*q = -4*i, -4*i + 6*i + 2*q = 16. Suppose i*a - 83 = 441. Is a a composite number?
False
Let l be (-972)/8*(-6)/9. Suppose 4*b = -5*k + 99, k + l = 4*b - 0*k. Is b a composite number?
True
Let n(j) = 301*j**2 + 2*j + 1. Is n(-2) a prime number?
True
Let j be (-2)/12 - (-1527)/(-18). Let p be -2 - -1 - (156 - 3). Let i = j - p. Is i a prime number?
False
Suppose -2*x = -46 - 22. Is x a prime number?
False
Let u be 22/3 - (-2)/(-6). Let n = u + 11. Suppose 4 = 2*w - n. Is w composite?
False
Let k be 633/(-6) + (-1)/2. Let b = k + 309. Let q = b + -112. Is q a composite number?
True
Suppose 49578 = -3*u + 19947. Is u/(-63) - (-4)/18 a composite number?
False
Let w = -4 - -6. Let c(b) = -45*b - 1. Let q(j) = 46*j + 2. Let t(d) = -5*c(d) - 4*q(d). Is t(w) a prime number?
True
Suppose 2*l = -r + 19, 0*r - r + 3 = 0. Suppose -7*a + l*a - 623 = 0. Is a a prime number?
False
Let w = 11650 + -8163. Is w prime?
False
Let t(w) = -156*w + 27. Is t(-5) a prime number?
False
Suppose -22 = -4*k - 5*f, -k + 0 + 1 = -f. Suppose 120 = k*c + c. Suppose -2*v = -5*v + 5*i + c, 5*i - 30 = -v. Is v prime?
False
Let f = 2350 - 1473. Is f a composite number?
False
Suppose -a + 5*l - 11 = 0, -3*l = -l - 4. Is a + 1 + 3 - -208 a prime number?
True
Suppose 3*f - 19 = -1. Let k = -3 + f. Suppose q = k*t - 55, q = 5*t + 5*q - 103. Is t composite?
False
Suppose -l + 5*s + 218 + 21 = 0, 4*l - 5*s - 956 = 0. Is l composite?
False
Let r be (-4)/16*0 - -3. Suppose -4*c + 4 = -8, -540 = -r*y + 5*c. Is y a prime number?
False
Suppose 0 = -5*d + 3*i + 122, 28 = 2*d + i + 3*i. Let o = d - 16. Is o prime?
False
Let y = -301 + 680. Is y composite?
False
Let h = -5 + 4. Let j be -2 - (0 + -1) - h. Suppose d + 3*d - 156 = j. Is d composite?
True
Suppose 3 = -u, -5*g - u - 5 + 2 = 0. Suppose -3*p + 5*p = g. Suppose -2*k + p*w - 2*w = -106, 2*w = k - 59. Is k composite?
True
Let g(q) = 55*q**2. Let y = 2 + 2. Let m = -3 + y. Is g(m) prime?
False
Suppose 9 = 3*s - 3, 5*s = 3*n - 1123. Is n a composite number?
True
Let y(q) be the second derivative of 1/2*q**3 + q**2 + q + 0. Is y(8) prime?
False
Suppose 4*v + f = 959, -3*v + 4*f + 799 - 94 = 0. Is v a composite number?
False
Suppose -4*w