 Let q be 6/8 + 783/k. Let f = 44 + q. Is f composite?
False
Suppose 12 = -2*r - 4*v + 32, -4*r + 100 = -4*v. Suppose 2*q = -3*x - 6 + r, 0 = -x - 2*q + 6. Suppose u - x*u = -j - 106, 3*j - 52 = -u. Is u prime?
True
Suppose -4*m + 12 = 4*h - 2*h, -4*h + 14 = -2*m. Let d(w) = -1 + 5*w - 5 + m + 7*w. Is d(6) a composite number?
False
Suppose -6 = -4*a + 3*z, 3*a - 4*z = 7 + 1. Let q = 3 + a. Suppose -116 - 1 = -q*d. Is d composite?
True
Let h(g) = -g**3 - g**2 + 3. Let b be h(0). Suppose -b*p + 19 = -2. Suppose 0 = -3*k + p + 110. Is k prime?
False
Suppose 4*h = -o + 52, -4 = h + 3*o - 6. Let v = h - -41. Is v composite?
True
Let u(r) = r**3 - 4*r**2 - 6*r + 5. Let j be u(5). Let h(s) = 2*s + 1 + j - 3. Is h(3) a prime number?
False
Let z be ((-12)/(-8))/((-1)/56). Let x = z - -25. Let b = -1 - x. Is b a prime number?
False
Let v(m) = 3 + m - 3 - 21*m**2 - 2. Let l be v(-2). Let b = 31 - l. Is b composite?
True
Is 128 - -2*(-2)/4 a prime number?
True
Let k = 301 - -204. Is k a prime number?
False
Let j = -42 + 1601. Is j prime?
True
Suppose -5 = -3*n + 6*j - j, -4*n = -2*j - 2. Suppose 3*y - 256 - 227 = n. Is y a prime number?
False
Let k = 19 - 15. Suppose -4*n + f + 1731 = -4*f, -k*f + 20 = 0. Is n a prime number?
True
Let k = 3378 + -1175. Is k a composite number?
False
Let d be (-12 - 1) + 3 + -2. Let s be 4/d - (-7)/3. Suppose -s*v + 3*v - 160 = -4*g, 4*v + 23 = g. Is g composite?
True
Let f(n) = -n**3 - 7*n**2 + 8*n - 1. Is f(-11) prime?
False
Let q = -24 + -12. Let d = 89 + q. Is d prime?
True
Suppose 0 = 3*w - 2*k - 703, 4*w + 3*k - 945 = -2*k. Is w prime?
False
Suppose -u - h + 292 = -0*u, 3*u - 851 = 2*h. Is u a prime number?
False
Let a = 1 - 2. Let q be 5/(a/1 - -2). Suppose 175 = 3*k - q*c + c, 4*k - 3*c - 224 = 0. Is k prime?
True
Let n = 284 + -157. Is n prime?
True
Let x be (7 - 0) + -1 - 1. Suppose -4*h + 4*c - 16 = 0, 0*h + 4*h = x*c - 20. Suppose h = 6*s - 3*s - 33. Is s a prime number?
True
Is 24/9*(-261)/(-12) prime?
False
Let w(i) = i**3 - i**2 + 4*i + 3. Let n(p) = p**3 + 4*p**2 - 6*p - 2. Let z be n(-5). Is w(z) prime?
False
Suppose -r - 10 = 4*r, -5849 = 3*i - 5*r. Let g be i/(-14)*(-2)/(-3). Let s = 26 + g. Is s a prime number?
False
Let j(x) = -x + 3. Let b be j(3). Suppose -4*f + 0*f - 4 = b. Is 1 + f + 1 + 14 composite?
True
Is (4735/14 + (-14)/(-49))*2 a prime number?
True
Suppose -57 + 280 = s. Is s prime?
True
Let x(f) = -2*f - 14. Let y be x(-8). Is 1/((-2)/(y*-97)) a composite number?
False
Let x = -15 - -55. Suppose -3*b - 40 = -4*f, -4*b - 4 - x = -4*f. Is f a prime number?
True
Let o = -4 + 5. Let j be (-2)/(o/(-3)*2). Let x(s) = 2*s**3 - 2*s**2 + s - 4. Is x(j) a prime number?
False
Suppose -3*h + 6 = -h. Let r be 6/(-9) + (-58)/(-6). Let i = r - h. Is i a prime number?
False
Let q(x) = 925*x - 3. Is q(2) prime?
True
Let t(b) be the first derivative of -b**3/3 - 7*b**2/2 - 3*b - 2. Let w = -11 - -5. Is t(w) composite?
False
Let s(u) = -u**2 - 10*u. Let a(c) = c**2 + c + 1. Let o(q) = 2*a(q) + s(q). Let g be o(8). Suppose g*p - 5*t - 63 = 0, -3*p + 18 = -t - 44. Is p composite?
False
Suppose -2*y + 3*r - 14 = -3*y, -2*r = -4*y. Suppose -y = -f - 1, -u + 2*f = -329. Is u a composite number?
False
Let g(m) = 4*m**2 - m - 4. Let z be 2/(-11) - 140/(-44). Let r be g(z). Suppose -r = -v + 2*u - 6*u, 3*u + 6 = 0. Is v a composite number?
False
Is (-28234)/(-14) - 10/(-35) a composite number?
False
Let v be 1 + 3 - (-1 + 2). Suppose 0 = -7*l + v*l + 156. Is l a prime number?
False
Is ((-3)/(-6))/((-2)/(-212)) composite?
False
Suppose 5*f = 20, 2*w + 3*f + 2*f - 26 = 0. Suppose 2*v + 23 = 3*v - 3*b, -w*v = -3*b - 39. Let x = 5 + v. Is x a prime number?
True
Suppose -3*x = -2*x. Let c(p) = -7*p + x + 4 - 40*p - 4*p. Is c(-3) a prime number?
True
Let l be (-1)/4 + (-281)/(-4). Let c = l + 57. Is c a composite number?
False
Suppose -3*k - 5*i + 217 = 0, -141 = -4*k - 2*i + 139. Is k prime?
False
Let k = -648 + 385. Is (-5 + k)/(-3 + 1) a prime number?
False
Suppose -72 + 20 = -5*k + 4*u, -9 = 3*u. Suppose -k*l + 4*l + 3*x = -3, 0 = 5*l - x - 1. Is l/3 + 2 + 143 a prime number?
False
Suppose 0 = -3*w - 2*n - 7, 3*w + 0*n = 3*n - 12. Suppose -h - 14 = -32. Is 6*w/h*-26 a prime number?
False
Suppose 3*w - 6 - 6 = 0. Let k(a) = a**3 - 2*a**2 + 2*a - 6. Is k(w) composite?
True
Suppose 0 = p - 4*s - 164, -3*s - 84 = -3*p + 372. Suppose p = 5*g - g. Is g a composite number?
False
Suppose 4*o + 4*a + 9 = -a, -4*a = -5*o + 40. Suppose 4*i + y + 17 = 0, -o*i = -7*i + 5*y - 30. Is (-6)/(-15) - 28/i a composite number?
True
Let w be 4/(-10) + 9/(-15). Let a(c) = 1 + 3*c**2 - 2 + 0*c**2 - 4*c**2 - 14*c**3 - c. Is a(w) a prime number?
True
Let g = 11 - 6. Suppose 5*l + 3*t - 417 = g*t, 0 = l + 5*t - 78. Is l a prime number?
True
Let l = 311 + 504. Is l prime?
False
Suppose 2*n - 142 = 184. Is n prime?
True
Let t(i) = 5*i**2 + i. Let g be t(-1). Suppose -g*y + 39 = -y. Is y composite?
False
Let c(h) = 2*h**2 - 3*h. Let j be c(2). Suppose 5*l = 3*z + z + 1505, 2*z + 602 = j*l. Is l composite?
True
Let a(n) = -n - 5. Let x be a(-4). Is 6 - x - (2 + -2) composite?
False
Let n = -7 + 6. Let o = n + 0. Is (-62)/o*(-4)/(-8) a prime number?
True
Let s(n) = -9*n - 5. Let r(t) = -17*t - 10. Let m(i) = -3*r(i) + 5*s(i). Is m(7) a prime number?
True
Suppose -5*k + 23 = b, -k - 7 = -2*k + b. Suppose -2*j - 3 = -k. Let r(f) = 48*f + 1. Is r(j) a prime number?
False
Let k be ((-16)/(-20))/(2/10). Let d = 23 - k. Is d composite?
False
Let o = -582 + 336. Let d = 497 + o. Is d composite?
False
Suppose 0 = r - 0*r - d - 59, -2*r = -3*d - 116. Suppose 3*q + 5*l = r, -2*q - l + 50 = 14. Let p = q + -11. Is p a prime number?
False
Let u(w) = -177*w - 7. Is u(-4) composite?
False
Let i = 7 + -4. Suppose i*k = -0*k + 651. Is k a composite number?
True
Let z = 26 + -43. Let m = 79 + -48. Let v = m + z. Is v prime?
False
Suppose 316 = u - 73. Is u composite?
False
Let i(b) = -152*b - 41. Is i(-5) composite?
False
Let s = 15 - 13. Is s/(-6) - (-232)/3 a prime number?
False
Let a = 1548 - 1062. Suppose a + 230 = 4*v. Is v a composite number?
False
Suppose 3*p = 3*y + 2*y + 5442, -2*p = -4*y - 3628. Is p prime?
False
Let n(l) = 2*l - 7. Let v be n(6). Let p(j) = -v*j - j - 5 - j. Is p(-9) composite?
True
Let g = 831 + -574. Is g a prime number?
True
Let q(i) = 10*i**2 + 5*i + 1. Is q(8) a composite number?
True
Let o = -9 - -13. Let g(h) = -45*h - o + 4 - 1. Is g(-2) prime?
True
Let c(g) = 43*g + 2. Let r be c(3). Suppose 3*k - 4*m - 55 = 38, 4*k = 3*m + r. Suppose -4*p + k = -89. Is p prime?
True
Let h = 1 + 2. Suppose -7*l - 8 = -h*l. Is (-4 + l)*(-31)/2 a prime number?
False
Let t(n) = -527*n - 9. Let w(f) = -263*f - 4. Let s(p) = -3*t(p) + 7*w(p). Is s(-2) prime?
False
Let l(m) be the third derivative of -11*m**4/24 - 11*m**3/6 + 6*m**2. Is l(-8) a prime number?
False
Let y(j) = -j**3 + 5*j**2 + 6*j + 4. Let m be y(6). Suppose 6 = 3*d - 9, -m*f = 2*d - 290. Suppose 175 = l + 4*l - 2*t, 2*l - f = -t. Is l composite?
True
Suppose -4*p + 6 = -6*p. Let c be (1/(p/6))/(-2). Suppose 8 - c = i. Is i composite?
False
Suppose -4306 - 6189 = -2*l - 5*h, 5*h - 5240 = -l. Is l a prime number?
False
Let z(o) = -35*o + 1. Is z(-4) prime?
False
Suppose -705 = 6*v - v. Is v/(-4) + 6/(-24) a composite number?
True
Let g = -1445 - -2956. Is g composite?
False
Let v = 2057 - 1416. Is v composite?
False
Is 90482/22 - 2 - 28/(-154) a composite number?
False
Is (-3)/(-18)*3 - 3017/(-2) composite?
True
Let r(n) be the first derivative of 3*n**4/4 + 2*n**3/3 + n**2/2 - 8. Is r(2) prime?
False
Let o be 0 - 5/(15/(-63)). Let g be 7/o - 3842/6. Is g/(-11) - 4/22 prime?
False
Is (1 + 0)*(-4 + (1093 - -2)) composite?
False
Suppose -s + 4*s = 42. Is s a composite number?
True
Suppose z - 8563 = -2*f, -5*z + 1933 = -4*f + 19080. Is f prime?
True
Let p(d) = d**2 + 4*d - 3. Let u be 1/(-3) - (-42)/(-9). Let r be p(u). Suppose -k + 18 = r*k. Is k a prime number?
False
Suppose 4*t - 6 = i - 0*i, 4*t = -4*i + 16. Suppose -2 = 2*b, 4*l - t*l = 3*b + 29. Is l composite?
False
Let q = 4 - 1. Suppose -2*u - q*u = -55. Suppose 0 = -4*c + 5*c - u. Is c prime?
True
Let q(u) = u**3 + 6*u**2 + 7*u + 7. Let w be q(-5). Let x(t) = -2*t - 3. Let b be x(w). Suppose b*z - 5*i - 53 = 0, i - 6 = -z + 17