Is m a composite number?
False
Let g(d) = d**2 - 7*d - 11. Let s(x) = x**3 - 7*x**2 + 5*x - 2. Let u = -1 + 7. Let c be s(u). Is g(c) a composite number?
False
Let i(l) = 28*l**2 + 3*l + 3. Let u be i(-2). Suppose -466 = -5*r + u. Is r composite?
True
Suppose 0 = -5*s - 591 + 3296. Is s prime?
True
Suppose 3*f = 2*h - 517, 5*h - f - 1486 + 213 = 0. Is h a composite number?
True
Is 6/(-21) + (-2102)/(-7) - 1 a composite number?
True
Suppose -2*s - 5*o + 3241 = 0, 3*s + 260 = -5*o + 5134. Is s a prime number?
False
Suppose -435 = -h + 5*y, -13*y + 9*y + 898 = 2*h. Is h a composite number?
True
Let j(u) be the second derivative of 29*u**6/360 + u**5/120 + u**4/12 + 2*u. Let g(b) be the third derivative of j(b). Is g(1) a composite number?
False
Let s be (0*(-1)/(-3))/(-2). Suppose s*n + 4*n = 76. Is n composite?
False
Let v = -12 + 13. Is v + ((-4)/4 - -19) composite?
False
Let f(p) = 13*p**2 + p + 7. Let h be f(3). Let g = h + 34. Is g composite?
True
Suppose -4*p + 22 + 18 = 4*o, 5*o - 45 = -4*p. Suppose y - 403 = o*d, 0 = -y + 2*y + 5*d - 423. Is y prime?
False
Let g(q) be the third derivative of q**5/60 + q**4/24 - q**3/6 + q**2. Is g(-10) prime?
True
Let j(v) = v**2 + 5*v + 1. Let q be ((-2)/(-3))/(8/156). Suppose -q = -3*g - m, -g + m = 2*m - 3. Is j(g) prime?
False
Let p be -24*((-8)/(-6))/(-2). Let m = 143 - 94. Let s = m - p. Is s composite?
True
Let x be -9*((-12)/9)/4. Suppose -x*z - 25 = -262. Is z composite?
False
Let k(r) = 17*r - 19. Is k(13) composite?
True
Let k be 2318/(-14) - (-9)/(-21). Is (k/(-4))/(3/6) prime?
True
Let y(n) be the second derivative of -5*n**3/2 + n**2 - 2*n. Let t be y(-3). Suppose 2*u - 27 = -2*b + t, -4*b + u + 148 = 0. Is b composite?
False
Let m = 710 - 273. Is m a composite number?
True
Let s = -87 + 34. Let v = 14 - s. Is v composite?
False
Let g(s) = s**3 + 3*s**2 - 10*s - 5. Let t be g(-4). Suppose 3*n + 13 = -o, -2*n = -3*o - 6*n - 19. Is 1 + t - (0 + o) a prime number?
False
Let n be 10/(-4)*4716/(-30). Let m be (n/12)/(3/12). Let a = m + -62. Is a a prime number?
False
Let m = -58 + 123. Let v = -32 + m. Is v prime?
False
Let v = 6 - 4. Let u be -1 + 1 + -43 - v. Let o = -31 - u. Is o prime?
False
Let j = 51 - -104. Suppose 0 = -3*i - 2*i + j. Is i prime?
True
Let z(a) = -3*a**3 - 6*a**2 - 2*a - 7. Is z(-6) composite?
True
Let c(x) = -47*x + 3. Is c(-4) composite?
False
Suppose 0 = 10*f - 12*f + 652. Is f a prime number?
False
Suppose j = 221 - 10. Is j prime?
True
Let y(s) = 3*s + 5. Let u be y(-8). Let b = u - -122. Is b a composite number?
False
Let b = -13 - -72. Is b a composite number?
False
Suppose 5*c + 109 = 3*g + 1029, 5*c + g - 940 = 0. Is c prime?
False
Let o(g) = -6*g + 14. Let k be o(-10). Suppose k = 5*b + j - 122, -77 = -2*b + j. Is b a composite number?
True
Let n = 13 - 9. Suppose -n*l + 2*l = -110. Is l prime?
False
Let a = -169 - -401. Suppose -a = -2*x - 54. Is x a prime number?
True
Suppose -7*j + 2*j = 75. Let d be (0 + -13)/(3/j). Suppose -5*i = 4*w - 0*w - d, i = 1. Is w a composite number?
True
Let g(k) = k**3 - 6*k**2 - 6*k - 7. Let n be g(7). Is n/(-1) - (-1 - 10) a composite number?
False
Suppose -4 = -4*c, -2*t - 4 = 5*c - 15. Is -1*(-44 + (t - 6)) composite?
False
Let y(m) = -m**3 + 4*m**2 + m - 4. Let s be y(4). Suppose s*w - 3 = 3*w. Is 3*-2*w/3 a prime number?
True
Is 0 - -208 - -3*1 a prime number?
True
Suppose g - 2*g + 28 = 5*m, m + 52 = 3*g. Suppose 3*i = 12 - 3, -3*s = i - g. Suppose l + x = 87, -s*l + 439 = -2*x + 5*x. Is l a prime number?
True
Suppose -2*n = -7*n + 550. Suppose -3*u = 6*d - d + 158, d = -2*u - n. Is (0 - -1 - u) + 1 a composite number?
True
Let h(w) be the third derivative of -3*w**4/4 + w**3/6 - 4*w**2. Is h(-2) a prime number?
True
Suppose d - 2 = -2*p - 1, -2*p = 4*d + 8. Let r be 1*25 + p + -1. Suppose -4*s = t - 57, -s + 4*t + r = -1. Is s a prime number?
False
Suppose 2*k + 0 = 4. Suppose -4*j + 56 = -92. Suppose 3*x = -k*o + 56, -x = -6*o + 3*o - j. Is x a prime number?
False
Let b be (2/1)/((-3)/18*3). Suppose f - 52 = -0*f. Is (-6)/b*f/3 prime?
False
Suppose 3*x - 1677 = -0*l + 2*l, -4*l = x - 545. Is x prime?
True
Let d(o) = 6*o**3 - o**2 + 6*o + 99. Let x(w) = -5*w**3 + w**2 - 5*w - 100. Let a(p) = -6*d(p) - 7*x(p). Is a(0) composite?
True
Suppose 4*w = -l - 0*l + 181, 493 = 3*l + 2*w. Is l composite?
True
Let z(x) = -3 - 2*x + x - x. Let h be ((-2)/(-1))/4*-14. Is z(h) prime?
True
Let n = 5 - 0. Suppose 5*d = 5, -a + 6*a - n*d = 610. Is a prime?
False
Let k = -2 + 45. Is k prime?
True
Let j(s) = 113*s**2 - s + 1. Let w be ((-4)/(-6))/((-2)/(-3)). Let t be j(w). Suppose -2*i + 0*i - 3*k = -t, 0 = 4*i + k - 201. Is i a prime number?
False
Let j = 9 - 2. Let s(v) = -v + 3. Let f(d) = d**2 + d - 6. Let x(r) = j*s(r) + 3*f(r). Is x(2) composite?
False
Let v(f) = f**3 + 11*f**2 - 3*f + 6. Let s be (6/(-9))/((-2)/(-33)). Is v(s) prime?
False
Suppose -g - 6 = 4*m - 99, -g = -3*m - 86. Is g prime?
True
Let x be -2 - (3 - 4)*4. Suppose -5*d + 197 = -x*n - 4, d + 5*n - 24 = 0. Is d a composite number?
True
Let p = 143 + -372. Let w = -2 - -6. Is w/14 + p/(-7) prime?
False
Suppose g - 4 + 2 = 0. Suppose -g*w = -15 + 117. Is (0/3 - w) + 0 composite?
True
Let u = 2 - 3. Let o = 4 + u. Suppose -o*b = -b - 20. Is b prime?
False
Let f = -2 + 1. Let b be 2/(f*(2 + -1)). Is ((-79)/b)/(1/2) prime?
True
Is ((-514)/1)/(5 + -7) a prime number?
True
Is (2/3)/(10/25995) a prime number?
True
Is 2/6 - (-13520)/30 a prime number?
False
Let m = 0 + 0. Let r = -14 + 1. Let b = m - r. Is b a prime number?
True
Let i be 55/35 - (-6)/14. Suppose -i*k - 3*y = k - 51, -5*k - y = -77. Is k prime?
False
Let c(k) = 30*k - 1. Let b be c(-1). Let i = b - -142. Let w = -58 + i. Is w a prime number?
True
Suppose 18 = h - 4*z, -2*h - z = -3*z - 12. Is h a composite number?
False
Let h(s) = 162*s - 103. Is h(26) composite?
True
Suppose -l + 0*l = -5*h + 785, 5*h + 5*l = 815. Is h/14 + 2/(-7) a composite number?
False
Let w(d) be the first derivative of 45*d**4/4 + 2*d**3/3 - d**2/2 - 3. Is w(1) prime?
False
Let z(l) = -1 + 3*l - 1 - 1. Let n be z(2). Suppose -4*r + 53 = -n*r. Is r a composite number?
False
Let b(x) = 4*x**3 + 4*x**2 + 3*x. Let q be b(-2). Let s = q - -68. Is s prime?
False
Suppose l + 2*a + 26 = 0, 0*l = 4*l - 5*a + 39. Is 0 - l - (5 + -8) prime?
True
Suppose 11*c - 5978 = 8*c + 2*o, 0 = 2*c + 2*o - 3992. Is c composite?
True
Let f(j) = 0*j**3 + 1 + 5*j - 2*j + j**3 + 7*j**2. Let x = -2 + -4. Is f(x) composite?
False
Let b = -6 - -41. Suppose -9 = -d - 25. Let t = b + d. Is t a composite number?
False
Let b(u) = -14*u + 3. Let t be b(-10). Let o = t + -54. Is o a prime number?
True
Let q = -4 - -4. Let j(z) = -2*z + 8*z**2 + q*z - 9 - z**3 + 4*z. Is j(8) composite?
False
Let o(v) = 2*v - 3. Let i be o(3). Suppose 0 = 5*x, r - 7*x = -i*x + 155. Is r composite?
True
Let s = 2452 + -1743. Is s a prime number?
True
Let q(b) = 16*b**3 + 10*b + 1. Is q(5) a composite number?
True
Let c(z) = z**3 + 15*z**2 - 3*z - 21. Is c(-14) composite?
True
Let z(w) = 14*w**3 + 7*w**2 - 4*w - 1. Is z(4) composite?
False
Let m = 11 + -1. Suppose 0 = -5*z + 5 + m. Suppose -2*d = -z*d + 4. Is d prime?
False
Let d be 4/(-14) + (-416)/14. Let w = d - -89. Is w prime?
True
Let q(k) = -k + 1. Let o(s) = -1. Let a(m) = -o(m) - 6*q(m). Is a(4) a prime number?
True
Let y = 366 - 196. Is (y/(-25))/(2/(-10)) a composite number?
True
Let t(z) = z**3 - 14*z**2 + 10*z + 3. Let k be ((-6)/(-5))/((-4)/(-30)). Let x be t(k). Is 2/(-2 - x/154) prime?
False
Suppose -4*j + 850 = -2*r, 4*r = 3*j + 3*r - 636. Is j composite?
False
Is (-1260)/(-8) + (-2)/4 a prime number?
True
Suppose -146 = -4*r + 2*r. Suppose -76 = -m + r. Is m a prime number?
True
Suppose 81 = 2*h - r - 13, -4 = r. Suppose -53 = -2*x + 2*d + h, 0 = -5*d - 10. Is x a prime number?
True
Let r(z) = z**2 - 2*z - 2. Let f be r(4). Let y = 13 - f. Suppose 2*g + 2155 = y*g. Is g a prime number?
True
Suppose 5*s + 0*w = -3*w - 6, -s - 2*w = 4. Suppose s = 3*o - 47 - 1354. Is o prime?
True
Let n(l) = 169*l**2 + 2*l + 2. Is n(-1) a composite number?
True
Let c be ((-120)/(-25))/(2/10). Is 204/c*(-1 + 7) composite?
True
Let q(p) = p**2 + 62. Let a be q(0). Let l(b) = 3*b + 5. Let d be l(10). Let r = d + a. Is r a composite number?
False