-15. Is k(y) prime?
False
Let b(o) = -11*o + 3. Let j(h) = -12*h + 3. Let l(z) = 5*b(z) - 6*j(z). Let q be l(-4). Let x = q - -162. Is x prime?
False
Is 27/216 - (-18439)/8 prime?
False
Let j(q) = -8*q - 13. Let b be -4*(-1)/((-2)/5). Is j(b) a composite number?
False
Let q(b) = b**3 - 14*b**2 + 19*b - 1. Is q(14) a composite number?
True
Suppose -f = -0*f - 20. Suppose f = -d + 5*d. Suppose -o + r = 3*o - 260, d*o + 3*r = 325. Is o prime?
False
Is (-7677)/(-36)*(4 + 0) a composite number?
False
Suppose -5*b = -3*z + 97 + 13, -3 = 3*b. Let x(q) = q - 2. Let c be x(4). Suppose -c*n + z = -n. Is n prime?
False
Let r(o) = 4*o - 1. Let k(s) = 5*s - 1. Let b(f) = -3*k(f) + 4*r(f). Let l be b(4). Suppose 0 = -l*p - 5*c + 224, 0 = -5*p - 2*c + 5*c + 430. Is p prime?
True
Let c(n) = n**3 + 2*n**2 - 3*n + 3. Is c(3) prime?
False
Is (6 - 9) + 4491 + 5 prime?
True
Let o(n) = n**3 + n**2 - n + 2. Let k be o(-2). Let u be (k - -3) + 1/(-1). Suppose -14 = f - u*f. Is f composite?
True
Suppose 3*u + 72 = -u. Let x = 25 + u. Is (x/(-14))/(2/(-1028)) composite?
False
Let q(f) = f**3 - f**2 - f - 1. Let a(k) = -6*k**3 - 3*k**2 - 3*k. Let o(c) = a(c) + 5*q(c). Let i be o(-7). Is 2 + 48 - (-1 - i) a prime number?
True
Let b(f) = -6*f + 54*f**2 + 4*f - 1 + 2. Is b(1) a composite number?
False
Let w be 267/39 - 6/(-39). Let t(l) = -3*l + w*l - 3*l + 2*l**2. Is t(-2) a composite number?
True
Let z be (-10)/5 + 1*4. Let d be 183/9 - z/6. Let b = d + 13. Is b prime?
False
Let t(j) = j**3 + 3*j**2 - 2*j - 1. Let x be t(-4). Is (-184)/(-18) + 2/x a prime number?
False
Is (1 + 1 - -1)/((-12)/(-1688)) a prime number?
False
Let k(g) = 5*g**2 - 8*g - 23. Is k(8) composite?
False
Suppose -2*b + 2 = -q - 3, 0 = -5*b + 20. Let o(m) be the second derivative of 3*m**4/4 + 5*m**3/6 - 3*m**2/2 + m. Is o(q) a prime number?
False
Suppose 4*m = -2*a + 878 - 88, -4*a = -m - 1535. Suppose -10 = -c - 4*c. Suppose -c*o = -2*g - 0*g + 154, -a = -5*g - 4*o. Is g composite?
True
Let i(n) = n + 13. Let b be i(-9). Let w be (-4)/(-14) - (-234)/14. Let s = b + w. Is s composite?
True
Suppose 5*z - 19 = 11. Let i be 2/6 + 358/z. Suppose a - 17 - i = -3*f, -5*f + 129 = a. Is f a composite number?
True
Let l(v) = v - 3 + v**2 + 9 - v**2 - 2*v**3. Let j be l(6). Let s = -215 - j. Is s a composite number?
True
Suppose 3*a = -a + 508. Is a prime?
True
Let b = 0 + -1. Is ((-5)/(-10))/(b/(-68)) a prime number?
False
Suppose 0 = 4*k - k - 159. Is k a composite number?
False
Suppose v - 3*g - 22 + 6 = 0, 3*g = -15. Let x = v - 1. Suppose 204 = 4*j - 4*m, -3*m - 98 = -2*j - x*m. Is j composite?
True
Suppose 50 = 2*t - 52. Is t a prime number?
False
Suppose 0*o = -5*o + 635. Is o a composite number?
False
Is (-4 + 6/((-24)/(-20)))*1361 composite?
False
Is -1*(-4)/(12/99) composite?
True
Let i = 16 + -3. Let w = i - -102. Is w prime?
False
Let u = -230 - -357. Is u prime?
True
Let a(h) = 22*h**2 + h. Let b = -5 + 4. Is a(b) composite?
True
Let s be (-1 + 2)*(2 + -2). Suppose 4*c + 41 = -5*u, 0 = -s*u - 2*u + 6. Is (-1158)/c + 2/7 a prime number?
True
Let g(f) = f**3 - 8*f**2 + 2*f - 12. Let u be g(8). Suppose 0 = -u*r - k + 2*k + 101, -2*k - 124 = -5*r. Is r a composite number?
True
Suppose -z - 826 = -3*z - 3*f, -3*f - 12 = 0. Is z prime?
True
Let i(j) = -j**3 + 5*j**2 + 10*j - 8. Let x be i(6). Let n(t) = t**3 + t**2 + 2*t + 5. Let z be n(0). Let s = x - z. Is s composite?
False
Is 2 + 2 - -109 - -2 a composite number?
True
Let w(k) = -38*k + 2. Let x be w(1). Let r = x - -179. Is r a composite number?
True
Let z be 4 + (-5 - -3) - 21. Let r be z*(2*-2 - -3). Let j = r + -4. Is j prime?
False
Let k be (2/(-4))/((-3)/18). Suppose -2*p + 90 = k*p. Let i = p + -9. Is i a composite number?
True
Let t(m) be the second derivative of m**5/20 - 7*m**4/12 - 4*m**3/3 - 13*m**2/2 - 3*m. Is t(9) a composite number?
True
Let h be -2*(-1 - (0 + 0)). Let d = 74 + h. Suppose 0*q - 4*q + d = 0. Is q prime?
True
Let m(l) = 30*l + 23. Is m(11) a composite number?
False
Suppose 5*x - 2*c - c - 1159 = 0, 0 = -3*x + 2*c + 695. Is x composite?
False
Let c = 4806 + -2177. Is c a prime number?
False
Suppose 4*g - 2 - 2 = 0. Let t be (-1)/(g/8 - 0). Let j = 15 + t. Is j a composite number?
False
Let u(d) = 2*d**2 - 5*d - 56. Is u(-13) prime?
True
Suppose t - 3*n + 10 = 0, 5*t = -4*n + 9 + 36. Suppose 5*p = t*y + 460, 0 = -p - p - 5*y + 219. Is p a composite number?
False
Suppose 6*d - d = 20. Suppose n = -d*x + 90, 3*n + n - 399 = -3*x. Let r = n - 55. Is r a composite number?
False
Let u = 590 + 2843. Is u prime?
True
Let z be (-1)/(1 + 0) + 3. Suppose 0 = -4*r + z*r + 92. Is r composite?
True
Let a(o) = -468*o + 3. Let d(t) = 234*t - 1. Let y(m) = -2*a(m) - 5*d(m). Is y(-3) a composite number?
False
Let k(o) = 28*o - 40. Let j(x) = 7*x - 10. Let n(s) = 9*j(s) - 2*k(s). Is n(9) prime?
True
Let t be 1 - (1/1 + 3). Let b be (-4)/10 + (-1392)/(-80). Let f = t + b. Is f composite?
True
Let d be 6 + (-7)/(21/(-6)). Is d/12 + (-172)/(-3) composite?
True
Suppose -2*r + 778 + 576 = 0. Is r a prime number?
True
Let q be 3 + (7 + -3)*-1. Let n be ((-8)/(-20))/(q/25). Let d(y) = -y**3 - 10*y**2 - 7*y + 9. Is d(n) composite?
False
Suppose 5*y - 18 = 3*y. Let g = 4 + -6. Is (y/12)/(g/(-8)) a prime number?
True
Is (-1 - -53) + (-2 - -3) a composite number?
False
Suppose -y + 148 = -225. Is y a composite number?
False
Suppose h + 2*h + 147 = 0. Let d = h - -84. Is d composite?
True
Suppose 15*z = 10*z + 3935. Is z prime?
True
Suppose -3*s = -s - 36. Let t be -15*(1 + -9*1). Suppose -t = -4*x + 4*a, -x = a + a - s. Is x a prime number?
False
Suppose -3*u + 10 + 8 = 0. Is u a prime number?
False
Suppose -641 = -3*o + 4*c, 0*o + 3*c + 1061 = 5*o. Is o a prime number?
True
Suppose 355 = -y - 3*j - 35, -2*j - 1911 = 5*y. Let m = y + -7. Is m/(-8) + 1/2 a prime number?
False
Let b(n) = -n**2 + 9*n + 4. Let u be b(9). Suppose -j + 0*j - 5*g = -58, u*g + 186 = 2*j. Is j prime?
True
Let l = -10 - 148. Is l/(-1)*1/2 composite?
False
Suppose 2*z = 7*z - 3235. Is z composite?
False
Let l(n) = n**2 - 2*n - 2. Let r be l(3). Is 33/(r/1) - -1 composite?
True
Let z = -6 + 11. Suppose z*l = 7*l - 106. Is l composite?
False
Is -3*(3 - 8984/12) a composite number?
False
Is ((-68)/6)/((-2)/39) a composite number?
True
Let c = -1469 + 4548. Is c composite?
False
Suppose 0 = -0*j - 4*j + 11444. Is j a prime number?
True
Let a be (-2)/6 + 266/6. Suppose 0 = 4*z + 4*x - a, -3*z - 2*x = -5*x - 27. Suppose y - 5 - z = 0. Is y composite?
True
Let c be 67/2 + 3/2. Suppose -2*g + 232 = a + c, 0 = 2*a + 2*g - 400. Is a a composite number?
True
Let p be 2 - 1/(3/(-24)). Let w = 5 - p. Let m = 36 + w. Is m prime?
True
Let u = 595 + -258. Is u a prime number?
True
Let h(j) = -3 + 5 - 2 - 4*j. Let k be h(-1). Suppose -2 = c - 3*c, 41 = y + k*c. Is y a prime number?
True
Let t = 1 - -7. Suppose 7*p - t*p = -31. Is p composite?
False
Let s = -59 + 101. Let n = s - 7. Is n a composite number?
True
Is (-2)/(-1)*3457*(-13)/(-26) a prime number?
True
Suppose 0 = -2*q + 9 - 1. Is q/14 - 76/(-28) composite?
False
Suppose v - 3*v = 0. Let q = v - -4. Suppose -19 = q*x - 79. Is x a composite number?
True
Let m = -162 - -251. Is m a prime number?
True
Let r = 46 + -31. Is r a prime number?
False
Let n(q) = -6*q + 1 - 4*q - 3*q. Is n(-4) prime?
True
Suppose -5*v + 15 = 2*u, -v - 2*u + 3 = 3*u. Let f = v - 1. Suppose -3*m - 5*j = -166, -f*j + j = -m + 42. Is m a prime number?
True
Let s(n) = -33*n**3 - n**2 + n + 1. Is s(-2) a prime number?
False
Suppose 137 = x - 4*l - 240, -4 = 4*l. Is x a prime number?
True
Suppose -1003 = -3*n + 5*z, 6*n - n = 2*z + 1659. Is n a prime number?
True
Let t(g) = 9*g**2 + 6*g - 7. Is t(4) a composite number?
True
Suppose 864 = -2*x + 4334. Is x prime?
False
Suppose 0*k + 633 = 3*k. Is k a prime number?
True
Let p = 1609 + -974. Is p a prime number?
False
Suppose -5*q - 5*m = -m - 3, -q + 3*m + 12 = 0. Let v(y) = 8*y**2 - 5*y + 2. Is v(q) a composite number?
False
Let r(x) = -717*x + 11. Is r(-8) composite?
True
Suppose -h = n + 2*n + 15, 3*h - n - 5 = 0. Let k(d) = 39*d**3 + 4*d**2 - 2*d - 1. Let w be k(2). Suppose -2*i + 207 + w = h. Is i a composite number?
True
Let a(m) = 29*m**3 + m**2 - 2*m. Let c be a(2). Let w = 247 + c. Is w a prime number?
Tru