)/27) + 6884/36 prime?
True
Let i(d) = 25*d**2 - 5*d + 29. Is i(-8) prime?
True
Let z be 2/1 + 4/(-1). Let x be 110 - (10/z + 2). Suppose -3*u + x = -25. Is u prime?
False
Let h(m) = 2*m**3 - 5*m**2 - 9*m - 9. Is h(8) composite?
True
Let h(w) = 4*w**2 + w. Let s be h(1). Suppose 5*l + 2*b = 45, 0 = -4*l + s*b + 7 - 4. Let j(c) = 5*c + 2. Is j(l) composite?
False
Let p(m) = 1213*m - 2. Is p(1) composite?
True
Let l(d) be the second derivative of 33*d**5/20 + d**4/6 - d**3/3 + d**2/2 - d. Suppose -t + 3 = -2*h, -5*h - 3*t - t + 25 = 0. Is l(h) composite?
True
Let i(h) = h**2 - h + 5. Let c(q) = q**2 + 1. Let y = -3 + 2. Let s(u) = y*i(u) + 3*c(u). Is s(5) a prime number?
True
Let c = -251 + 630. Is c prime?
True
Let x(b) = b**2 + 7*b + 6. Let d be x(-6). Suppose d = -4*r - 92 + 408. Is r a composite number?
False
Let v(r) = 2*r - 1. Let f be v(-1). Let i = 0 + 24. Is f/(-2)*(2 + i) composite?
True
Suppose 2*n = -2*n + 1048. Suppose -5*w + 308 = -367. Let c = n - w. Is c composite?
False
Suppose 5*b = 19 - 4. Suppose b*w = -k + 167 + 38, -5*w + 351 = 4*k. Is w prime?
True
Let l(j) = 68*j - 11. Is l(5) prime?
False
Let w(p) be the first derivative of p**4/4 + 4*p**3/3 + p**2 - 3*p - 6. Let m be 2*2 + -2 - -2. Is w(m) composite?
True
Let r = 3 + 0. Suppose r*b - 7*b = -4. Is b/(-3) - 278/(-6) a prime number?
False
Let b be ((-15)/9)/((-2)/6). Suppose 5*y + 0*o - 555 = 2*o, 0 = y - b*o - 134. Is y a composite number?
False
Let j(a) = 1. Let k(x) = -x + 10. Let c(p) = -5*j(p) + k(p). Let b be c(3). Is b/(-7) - (-100)/7 composite?
True
Suppose 100 = 4*v + 2*m, -2*v + 5*v - 4*m = 64. Suppose v = 3*d - 81. Is d prime?
False
Let k be ((-2)/4)/((-1)/402). Suppose g = -2*g + k. Is g a prime number?
True
Suppose 4*w = 2*s + 16, -4*s + 5*w = 2 + 15. Is (s - 4)*238/(-4) a composite number?
True
Let x(z) = 5*z**3 - z**2 + 2*z - 1. Let l be x(1). Suppose 3*f - l*p - 178 = 0, 2*f = 4*f + 2*p - 92. Is f composite?
True
Suppose 2*x - 1807 = -17. Is x a prime number?
False
Suppose 11 = 2*v - g, -17 = -3*v + 2*g - 1. Let f be ((-8)/(-6))/(4/v). Suppose 140 = 4*d + f*y, 2*y - 165 = -5*d - 3*y. Is d composite?
False
Let g(f) = -f**3 + 8*f**2 - 5*f + 5. Suppose 2 + 0 = 2*v. Suppose -2*n - d - v = -n, -5*d - 25 = 0. Is g(n) prime?
False
Let a = 3 + -1. Suppose 0*f = -f + a. Let t = 4 + f. Is t a prime number?
False
Let m be (-1 - (-8 + 1)) + -3. Let k(a) = 20*a**3 - a**2 - 4. Let w be k(m). Suppose -4*s + o - 184 = -w, -2*o - 346 = -4*s. Is s composite?
True
Suppose -p - 4755 = -4*p. Is p prime?
False
Suppose 5*b - 25 = 5*m, -3 = 4*b + 2*m + 7. Suppose b = 5*x - 60 - 205. Is x prime?
True
Let i be 3 - -13*(0 + 2). Let y = i + -10. Is y a prime number?
True
Let r be -1 + 2 + 0/2. Let s(y) = -4*y + 1 - 3 + r - y**2. Is s(-3) composite?
False
Suppose 3*w = z - 0*w + 8, 4*w = 4*z + 16. Let a = 2 + z. Suppose q - 3*t - 4 = -4*t, -3*q - 5*t + 6 = a. Is q a prime number?
True
Let b(o) = o**3 + 8*o**2 + 7*o - 9. Let h be b(-7). Let l be 69/9 - 3/h. Suppose -g + 45 = l. Is g a prime number?
True
Suppose 5*z + 7275 = 5*d - 0*d, -4*d + 5812 = 4*z. Is d a composite number?
True
Suppose -4*d - 10 = -l + 18, 0 = 3*l - 12. Let y = 8 + d. Is (364/(-6))/(y/(-3)) a prime number?
False
Let t = -18 - -11. Let b = t - -30. Let s = b - 10. Is s composite?
False
Suppose 92 = 3*b - b. Suppose -p + b = -43. Is p a prime number?
True
Suppose -t + 10 = 4*t. Suppose 5*j - 274 = -3*w + 117, -639 = -5*w - t*j. Is w composite?
False
Suppose -q - y - 7 = 0, -5*y - 12 = -y. Let o = q + 51. Is o composite?
False
Let j(i) = 7*i**2 - 6 - i**3 + 2*i - 5*i + 2*i**3. Let x be j(-7). Suppose x = 5*l - 80. Is l a prime number?
True
Let h = -16 - -11. Let q(z) = z**3 + 6*z**2 + 5*z + 6. Let j be q(h). Let a = j - -47. Is a prime?
True
Let k(m) = -56*m - 2. Is k(-3) composite?
True
Let l(s) = 1 - 6*s - 2 - 2. Is l(-7) composite?
True
Suppose 41 = -3*o - 25. Is (3/(-3))/(1/o) a prime number?
False
Let r = 7 - 2. Suppose 149 = 5*c - 4*v, -r*c - 108 = v - 277. Is c a prime number?
False
Let v(w) = 2*w**3 + 4*w**2 - w + 2. Is v(5) a composite number?
False
Suppose 12 = c + 42. Let x be 461/4 + 1/(-4). Let n = c + x. Is n composite?
True
Let l be (-2)/(-10) + (-14196)/(-20). Is (-1)/2 + l/4 a composite number?
True
Let k(a) = 34*a + 9. Let o = -9 - -14. Is k(o) composite?
False
Let b = 19 - 42. Let c = 30 - b. Is c a composite number?
False
Suppose 0*m = 2*i - 2*m - 10, 0 = -2*i - m - 2. Let p = 2 + i. Suppose 8*l - p*l = 185. Is l prime?
True
Is ((-17)/17)/(1/(-4783)) composite?
False
Let s be (2/(-4))/((-1)/(-4)). Is ((-13)/s)/(3/6) prime?
True
Suppose 0 = 5*m + 10 - 5. Is 177/((-1)/(m/1)) a composite number?
True
Let y be -2 + (-6)/(-3) - -14. Suppose -3*x + y = -x. Is x a prime number?
True
Let c be ((-3)/(-1))/3*2. Let l(q) = -3 + 2*q - 4*q**2 + 0 + 3 + c + 2*q**3. Is l(3) a composite number?
True
Suppose -d + 3*x + 72 = -208, 3*d - 2*x = 805. Is d a prime number?
False
Let f(t) = -t**3 - 4*t**2 - 5*t + 3. Suppose -7 = -4*v - 23. Is f(v) prime?
True
Let b(k) = 7*k**2 + 2*k + 2. Let p(l) = -3*l**3 + l**2 - 1. Let u be p(-1). Is b(u) composite?
False
Suppose 0 = -q - 4*q + 15. Suppose -407 = -k + a + q*a, -3*a = 9. Is k prime?
False
Let x(v) = -48*v**3 - v**2 - v - 1. Let s be x(-1). Let b = s - 12. Is b a composite number?
True
Let l(p) = p**2 - 10*p + 2. Let s be l(10). Let w be s/5 + (-108)/(-30). Suppose -c - 159 = -w*c. Is c prime?
True
Let f be (-1)/(0 + -1) + -29. Let j be 8/2*(-21)/f. Is ((-1)/j)/((-2)/258) composite?
False
Let w(k) = -107*k - 3. Is w(-2) composite?
False
Let y(v) be the first derivative of -v**3/3 + 2. Let o(p) = 34*p**3 + p**2 - p. Let t(w) = -o(w) - 3*y(w). Is t(-1) a prime number?
False
Let c(i) = 29*i**2 + 2*i - 2. Let q(p) = -30*p**2 - 2*p + 2. Let w(g) = 7*c(g) + 6*q(g). Is w(-3) a prime number?
True
Suppose 3*p - 22 = -p + 5*m, 5*p = -4*m + 7. Suppose 4*y - 220 = 3*k, 0 = y + 3*y + p*k - 220. Is y prime?
False
Suppose 6*w = 7*w - 55. Is w prime?
False
Let a(t) = -t**2 + 179. Let q be 4/2 + (6 - 8). Is a(q) prime?
True
Let f(m) be the third derivative of -m**6/120 - m**5/60 + m**4/24 - 2*m**3/3 + 2*m**2. Is f(-5) a composite number?
True
Suppose -4 - 2 = -3*j, -2*j - 2 = -3*u. Is (-1475)/(-10) + 3/u prime?
True
Let q = 779 - -4218. Is q a prime number?
False
Let s(n) be the first derivative of 67*n**2/2 - 4*n - 3. Let v be s(5). Suppose 2*g - 5*u - 161 = 0, -5*g + v = -g - u. Is g composite?
False
Let y(x) = 8 - x**2 + 0*x**2 + 3*x**2. Let j be y(-6). Let l = j - 1. Is l a composite number?
False
Suppose 2037 = 4*z - z. Is z prime?
False
Suppose 2*g = 4 + 2. Suppose 0 = -3*y + 2*l + 23, -y + 3*y - 4*l - 26 = 0. Suppose -y*d + 20 = -5*w, -g*w + 6 - 4 = -d. Is d a composite number?
False
Suppose -3*u + 62 = z, 0 = -u + 3*z + 2*z - 6. Is u prime?
True
Let z(t) = -t - 7. Let w be z(-10). Suppose -1 - 44 = -w*m. Is m prime?
False
Suppose -313 = -2*y + 3*q, -3*y + 6*q - 5*q = -452. Is y prime?
True
Suppose -4*n + 2556 = -4*w, 2*n = w + 363 + 917. Is n prime?
True
Let n(d) = 3*d**2 + d - 1. Suppose q + 0*q - 2 = 0. Suppose -2*x - q = -4. Is n(x) a prime number?
True
Let a be 4 - (0 + -1 + 2). Suppose 39 = 5*l - 3*k - 3, a*k - 48 = -5*l. Let z(t) = t**2 - 7*t + 4. Is z(l) a prime number?
False
Suppose -4*j + 0*n - 2*n = -1622, 0 = j + n - 405. Suppose -2*b - s + j = 4*s, -5*b = -s - 1069. Is b composite?
True
Suppose -m = 4*w + m + 4, w + 4*m = 6. Is ((-267)/3)/(w/2) a prime number?
True
Is -3 + 1 + 60*1 a prime number?
False
Suppose 2*t = -30 + 100. Is t prime?
False
Let w(r) = r**3 + 17*r**2 - 9*r - 17. Is w(-8) composite?
False
Let k = -463 - -900. Is k a prime number?
False
Suppose -r + w + 5 = 0, 0 = 2*r + w - 0 - 1. Suppose -5*g - r = -12, 30 = -4*z - 3*g. Let s = z - -16. Is s composite?
False
Let h = -37 - -442. Suppose 84 = 3*i - h. Is i a composite number?
False
Let d = 11 + 5. Suppose z - 4*y = y - 8, -y + d = -5*z. Is 1*(-1 + (-204)/z) a composite number?
False
Let k be (168/36)/((-1)/3). Is (-492)/k - (-5)/(-35) a composite number?
True
Let w be 52/9 + 10/45. Suppose -6 = -3*n + w. Suppose -102 = k - 2*k - 5*x, 0 = n*k - 5*x - 533. Is k a composite number?
False
Is -3 + (1145/15 - 4/(-6)) a prime number?
False
Suppose -2*p = -2020 - 78. Is p prime?
True
Is 3/((-9)/(-597)) 