t = -0*s + s - 12. Suppose -3*k - k - t = 0. Is (-285)/(-10)*k/(-1) a prime number?
False
Let u = 89 - 31. Let z be (-4 - -6)/(4/u). Is 1*z*(2 + 0) prime?
False
Let d(n) = 11*n**2 - 11*n - 2. Let v be d(8). Let s = v + -314. Suppose -88 + s = 4*f. Is f a prime number?
True
Let u = 11 + -33. Let l be (2/((-32)/356))/(1/(-4)). Let z = l + u. Is z a composite number?
False
Let n(y) = 18*y**2 - 4*y - 7. Is n(-8) a prime number?
False
Let u = -49 + 136. Is u a composite number?
True
Let s(j) = -j**3 + 6*j**2 - 6*j + 5. Let f be s(5). Suppose 0 = -f*z - z + 199. Is z prime?
True
Let z = -6 + 2. Let o = z + 6. Suppose -n - o = -2*n. Is n a prime number?
True
Suppose -5*c + 1381 = 391. Let l = 389 - c. Is l prime?
True
Let l(y) be the third derivative of -11*y**4/12 + y**3/2 + y**2. Is l(-10) prime?
True
Let i(z) be the second derivative of 8*z**3 + 9*z**2/2 + 3*z. Let p be i(7). Suppose 0 = -5*t + p + 320. Is t prime?
False
Let l be (-4 + 2 - -3)*15. Let r = l + -8. Suppose r = -2*m - 5*b, -5*m + b - 10 = -60. Is m a prime number?
False
Let n(w) = -w + 3. Let k be n(0). Is -5 + k + 129/1 a prime number?
True
Suppose 0 = -3*d + 251 - 77. Suppose 5*v + 4*u - d = 0, 0 = -2*u + 3*u - 2. Is v a composite number?
True
Let w = -6 + 11. Let d be (-2)/5 - 18/w. Let t = 7 + d. Is t prime?
True
Let j(y) be the first derivative of 13*y**2 - 9*y - 3. Let f be j(6). Suppose 3*m = -x - 2*x + f, -3*m = 6. Is x prime?
False
Let h(k) = -k + 16. Let y be h(11). Let a(r) = 4 - y*r - 8*r - 7*r + 3*r. Is a(-5) composite?
False
Is 2/6*(-1 + 3454) prime?
True
Let a(n) = -73*n - 2 - 20*n + 2 + 5. Is a(-4) a composite number?
True
Suppose -1051 = -2*s - 5*a, s + 4*s + 3*a = 2675. Is s a prime number?
False
Let n be 4287/9 - 4/12. Suppose 2131 - n = 5*d. Is d a composite number?
False
Let p be 3/(-12)*2*4. Is 1*142*p/(-4) composite?
False
Let v = -12 - -18. Let o(c) = -c**3 + 4*c - 3. Let t be o(-4). Suppose j + v = t. Is j a composite number?
True
Let v be (-1 + (2 - 0))*0. Let b = v + -15. Let t = b - -66. Is t composite?
True
Let k(a) = a**2 - 8*a - 1. Let p be 1 + (7 - (-2)/1). Is k(p) prime?
True
Let h = 65 + 24. Is h a composite number?
False
Let p(y) = -y**2 + 5*y + 2. Let n be p(5). Suppose 4*k + 1659 = 5*j, -j - 6*k + 351 = -n*k. Is j composite?
True
Suppose 0 = 5*x + 8 + 7. Let m be 64/(-12)*1*x. Is m*3 + (0 - 1) composite?
False
Let u = -228 - -458. Suppose 5*n - 405 = u. Is n prime?
True
Suppose 0 = -3*y - 9, 2*y + y = 3*m - 5856. Is m a prime number?
True
Let c be (-7188)/9*9/(-6). Let y = -429 + c. Is y a prime number?
True
Let d = 93 - -64. Is d composite?
False
Let a = 15 - 21. Let m be 4/a + (-464)/(-12). Suppose 4*q + 2*r = q + m, r = -4*q + 44. Is q a composite number?
True
Let u = -64 + 36. Let d be u/20 + 4/10. Is (1/d + 0)*-113 a composite number?
False
Let g(s) be the first derivative of s**3 - s**2/2 - 3*s + 1. Let n be g(-3). Let w = n + 20. Is w a composite number?
False
Let t(o) = 7*o**2 + 4*o - 4. Is t(3) composite?
False
Is ((-166)/3)/(32/(-48)) a prime number?
True
Let w = -481 - -807. Is w composite?
True
Let k(q) = 4*q + 1. Let x be k(1). Let j(p) = -p + 0*p - x - p - 2*p. Is j(-6) a prime number?
True
Let w be 204/10 - (-12)/(-30). Let t be ((-6)/(-2))/(12/w). Is 1/(-1) + 420/t prime?
True
Let r = 0 - 2. Let l(b) = b**2 + 2*b**2 + b**2 + 3 + 3*b. Is l(r) prime?
True
Let i(y) be the third derivative of -23*y**4/24 + 15*y**2. Let b(g) = g**3 - g**2 - g - 1. Let q be b(-1). Is i(q) a prime number?
False
Suppose 1861 = r + 422. Is r a composite number?
False
Let j be (-498)/(-8) - (-5)/(-20). Suppose j = 4*o - 22. Is o a composite number?
True
Suppose -10*c = -5*c - 2230. Is c a composite number?
True
Suppose 0*u + 3*u = 5*d - 4394, d - 886 = 3*u. Is d prime?
True
Suppose -5*b + 2174 = -11351. Is b a prime number?
False
Suppose 2*k = 69 + 49. Is k a composite number?
False
Let h be 4/6 + (-30)/(-9). Suppose 3*x - 3*c - 18 = 0, x - 2*c = h*x - 3. Is x a composite number?
False
Suppose 0 = -5*t + 588 + 527. Is t a composite number?
False
Let p(v) = 3*v**3 + 2*v**2 - 2*v - 1. Let n be -2*(-21)/6 + -1. Is p(n) a composite number?
True
Let l be 1/(1/9 + 0). Let g(k) be the second derivative of k**5/20 - 7*k**4/12 - 13*k**3/6 + k**2 - 13*k. Is g(l) a prime number?
True
Let j(g) be the first derivative of g**5/15 + 5*g**4/12 + 7*g**3/6 - g**2/2 - 1. Let l(v) be the second derivative of j(v). Is l(-6) prime?
False
Suppose 2*a - 18 = -2*m, -2 = -3*m + 3*a - 5. Suppose 3*t - 64 = -t. Suppose -m*b + 132 = -t. Is b prime?
True
Let t(a) = -2*a - 6. Suppose 0 = 5*k - 2*v + 16, -3*k + 5*k = 4*v. Let g be t(k). Suppose 0*f + g*f = 70. Is f prime?
False
Let i(v) be the second derivative of 17*v**4/12 - v**3/3 + v**2/2 + v. Is i(2) prime?
False
Let y(x) = -8 - 4 - 9*x - 9*x**2 - x**3 + 0. Let o be y(-8). Is 8/(-12)*18/o a prime number?
True
Suppose r = -2*s + 8 + 9, s = 5*r - 30. Suppose -5*n = 2*l - 51, l + r = -3*n + 38. Is n prime?
True
Suppose 0 = -46*c + 53*c - 861. Is c a prime number?
False
Let f = -12 - -16. Suppose d - f = 0, 4*i + 0*d - 2*d - 228 = 0. Is i a composite number?
False
Let c(w) = 11*w - 2. Is c(5) a composite number?
False
Suppose 0 = 2*h - 2, -3*b + 0 + 1 = -5*h. Suppose 5*p = b*p + 93. Is p prime?
True
Let q = -86 + 133. Is q a prime number?
True
Suppose -5*l - 2*i - 82390 = 0, 4*l - 2*i + 50979 + 14915 = 0. Is 6/39 - l/52 a composite number?
False
Let v(k) = -23*k - 2. Is v(-3) prime?
True
Suppose -f + 4*d = 1 - 7, -3*f - 4*d + 2 = 0. Is (-5113)/(-15) + f/15 a prime number?
False
Let d(a) = -4*a**3 + 7*a**2 + 3. Let l(k) = -3*k**3 + 6*k**2 - k + 3. Let y(n) = 4*d(n) - 5*l(n). Is y(-6) a composite number?
True
Let o(y) = 3*y**2 - 1. Let q be o(1). Suppose 2*i = -q*i + 340. Is i prime?
False
Suppose -3*g = g - 3*d + 595, -5*g + d - 730 = 0. Let n = -18 - g. Is n a prime number?
True
Let i = -3 + 7. Let h = i - 27. Is (-2)/4 + h/(-2) a composite number?
False
Suppose r - 272 - 219 = 0. Is r a composite number?
False
Suppose -5*n + 606 - 76 = 0. Let g = n + -19. Let u = g - 20. Is u composite?
False
Let x(d) = 4*d. Let s be x(2). Let f(b) = 21*b + 3. Let v be f(s). Suppose -u + v = 4*a, -1 - 7 = -4*a. Is u a prime number?
True
Let d(g) = g**3 + 14*g**2 + 14*g + 15. Let u be d(-13). Suppose -u = -y - 12. Is (-356)/y*(-10)/(-4) a prime number?
True
Let r(j) = 33*j**2 - 7*j + 5. Let y be r(5). Suppose 0 = 4*n - n - y. Suppose -3*q + n = 2*q. Is q a composite number?
False
Suppose 0*c = 5*c + 975. Let y = c - -284. Is y prime?
True
Is 224/80*(335/2)/1 a prime number?
False
Is (2*12/(-16))/((-6)/11516) a prime number?
True
Let v(a) = a**3 + 6. Let k be v(0). Let z = -4 + k. Suppose 5*h = z*h + 45. Is h prime?
False
Suppose -3*a + 2*w = 433, 3*w - 166 = -4*a - 766. Is 2/(-4) - a/14 composite?
True
Let t(b) = b - 8. Let n be t(9). Let p = n + -1. Suppose -3*s + 105 = -p*s. Is s prime?
False
Suppose 0 = -3*u + 2*u - 1152. Let w = -595 - u. Is w a prime number?
True
Let y = 916 + -609. Is y a prime number?
True
Let v(j) = 19*j**3 - j + 1. Is v(1) a prime number?
True
Let p(y) = -y**3 + y**2 - 13*y. Let h(w) = 2*w**3 - w**2 + 27*w. Let z(m) = -3*h(m) - 7*p(m). Is z(7) composite?
True
Let d(x) = 20*x + 3. Let p be d(-2). Let c = 63 + p. Is c prime?
False
Let h(b) = b + 4. Let l be 13/(-3) - (-14)/(-21). Let x be h(l). Let n(d) = 260*d**2 + 2*d + 1. Is n(x) prime?
False
Suppose 226 + 203 = 3*m. Suppose -5*o = 10, -k + o = 2*k - m. Is k prime?
True
Suppose -5*b + 298 = -187. Is b composite?
False
Suppose 0 = 3*p + k - 78, -3*k + 40 + 5 = 2*p. Suppose 3*j = -c + 226, c - 236 = 2*j - 0*j. Let n = c - p. Is n a composite number?
True
Let w(v) be the third derivative of v**9/15120 + v**8/10080 - v**7/2520 - v**6/720 + v**5/60 + v**2. Let y(p) be the third derivative of w(p). Is y(2) prime?
False
Let h = -2 - -6. Suppose -11 = -m + h. Is m a composite number?
True
Let w be (-8)/5 - 18/45. Is -121*(1 + w + 0) a composite number?
True
Let n = 63 - -211. Suppose 3*y = -4*l + 757, -3*y - n = -4*y + 3*l. Is y composite?
True
Let h = 56 + -11. Let z be h/12 - (-1)/4. Suppose -5*t = 3*i - 79, -5*i = -z*i - 3*t - 17. Is i a prime number?
True
Suppose 5*c - 40 = -5225. Let y = -406 - c. Is y a composite number?
False
Let p(h) = -h**2 - 7*h + 10. Let v be p(-8). Supp