 = g + -105. Is o prime?
True
Suppose -6206 - 1139 = -2*j - 3*n, 3*j + 4*n = 11017. Is j composite?
False
Let n(k) = -k**3 - k**2 + 2. Let f be n(0). Is (-3)/f*-106 + -2 composite?
False
Is (-72330)/(-20)*(-2)/(-3)*1 composite?
False
Suppose -373 - 16 = -v. Is v a prime number?
True
Let p = -2 - -49. Suppose h = 3*h - 3*u - 122, h + 2*u - p = 0. Is h composite?
True
Suppose 0 = 5*c - c + 8. Let o be (-18)/(-6) + 2/c. Suppose u - 56 = -4*m + 2*u, -o*u = -2*m + 28. Is m prime?
False
Let g(a) = 5*a**3. Let m be g(1). Suppose -2*t - 4*v = -126, -28 = -3*t + 2*t + m*v. Is t a composite number?
False
Let i(j) = 7*j**2 - 5*j - 5. Is i(-4) a prime number?
True
Let s = 56 - -14. Let k = s - -88. Is k a composite number?
True
Let d = 6 - 4. Suppose d*t - 5*t = -177. Is t a composite number?
False
Let l(w) = w + 9. Let u be l(-8). Suppose 0 = 2*g - 3 + u. Suppose i + g = 3. Is i a composite number?
False
Suppose -4*c + 1 = -3. Let q(b) = 30*b + 1. Is q(c) a prime number?
True
Let o(a) = -a**2 + 2*a + 337. Is o(0) composite?
False
Suppose 0 = -3*d - 0*d + 6. Is (d - -34) + 2/(-2) a composite number?
True
Suppose 2*n - 3 = 3. Let y be (n - 4)*(-3)/1. Suppose y*c = 45 + 126. Is c a prime number?
False
Let r be 12/78 - 28/13. Let i(y) = y**3 - 2*y**2 - 11. Let a(v) = -4*v**3 + 9*v**2 + 43. Let u(j) = r*a(j) - 9*i(j). Is u(0) a prime number?
True
Let l be -2 - (1 - 2 - 4). Let j(k) = 0 - l*k + 4 + 3. Is j(-8) prime?
True
Suppose 2*c - t - t - 648 = 0, 3*c - 4*t - 969 = 0. Let f = c + -214. Is f a prime number?
True
Let n = 1396 + -774. Is n prime?
False
Suppose 2*d - 9 - 5 = 0. Is ((-10)/d)/(3/(-21)) a prime number?
False
Suppose 6 = 4*b + m - 3*m, 2*b = 2*m + 2. Suppose b*o = 6*o. Is -2 + o + (2 - -22) composite?
True
Suppose 6*i + 305 = 4*z + 9*i, 383 = 5*z + 2*i. Is z a prime number?
False
Suppose n - 12 = 2*a - 128, -n - 60 = -a. Let m = 102 - a. Is m prime?
False
Suppose -c - 16 = 5*v, 3*c + 7 = -3*v - 5. Let z be 0/(-2 + (2 - v)). Suppose z = -0*h + 2*h - 130. Is h a prime number?
False
Let x be 3 + (-2 - 3) + 1. Is (-1590)/(-20) - x/(-2) a prime number?
True
Let w be (2/(-4))/(1/(-4)). Let m = 5 + -2. Suppose 10 = -5*n + 4*d + 29, 0 = w*n - m*d - 2. Is n composite?
False
Suppose i - 339 = -q, -2*q + i + 125 + 541 = 0. Is q a composite number?
True
Let u(j) = -j**3 + 2*j**2 + j + 4. Let k be u(3). Is 3*(k/(-6) - -2) prime?
True
Let g = -159 + 438. Suppose 2*u = -u + g. Is u composite?
True
Is (-32235)/(-28) - (-1)/(-4) a prime number?
True
Suppose -q + 176 + 89 = 0. Suppose 3*l = -2*l + q. Is l a prime number?
True
Let i(o) = -3*o - 7. Let p be i(-4). Is (-310)/(-8) + p/20 a composite number?
True
Let b = -2688 - -5339. Is b composite?
True
Let u(i) = i + 9. Let p be u(-7). Let n be p/(-2) + (-492)/(-3). Suppose 3*s - 2*s - n = 0. Is s prime?
True
Suppose -13 = -3*p + 4*f - 3, -p - 2*f + 20 = 0. Let g = 17 - p. Is g a composite number?
False
Let n(c) = -2*c**3 - 4*c**2 - 5*c + 23. Is n(-6) composite?
True
Let i be (-42)/(-12)*(-1 + -1). Let o = i - -11. Suppose o*d - 602 = -238. Is d composite?
True
Let l(f) = f**3 - 7*f**2 + 4. Let v be l(7). Let b(u) = 6*u**2 - 2*u - 3. Is b(v) composite?
True
Suppose f - r - 31 = 0, -3*r = f - 6 - 37. Is f*7 + (2 - 3) composite?
True
Let c be -2 - (-5)/((-10)/(-16)). Let q = 0 + c. Suppose p - q*p + 385 = 0. Is p composite?
True
Let j = -209 - -122. Let a = 226 + j. Is a a prime number?
True
Let g = 151 - 225. Let x = 123 + g. Is x a composite number?
True
Suppose 2*h - 12 = -3*y - 1, -3*h - 16 = -2*y. Is h/11 - (-7180)/44 a prime number?
True
Let k = 1 + 20. Is k a composite number?
True
Let o(a) = 2*a**3 + a**2 + 921. Is o(0) composite?
True
Let o(k) = -49*k + 15. Is o(-14) composite?
False
Let i(p) = -p**3 + 7*p**2 - 5*p - 7. Let m be i(6). Let c = -8 + 87. Is c/(-1 - (-3 - m)) composite?
False
Suppose -313 = -x - 2*t, -x + t + 1225 = 3*x. Is x a composite number?
False
Let v be (-17)/(-2) + 6/(-4). Suppose 577 = v*n - 2*n - 4*c, -345 = -3*n + 2*c. Is n prime?
True
Suppose 0*h - 3*h = -27. Is (15/h)/(-5)*-447 composite?
False
Let h(f) = 7*f**2 - 6*f - 4. Let l(x) be the first derivative of 8*x**3/3 - 7*x**2/2 - 5*x - 2. Let i(u) = 7*h(u) - 6*l(u). Is i(6) prime?
False
Suppose -b = -v + 20, -v - 3*b + 42 - 10 = 0. Let m = v - -16. Suppose x - 2*f - 126 = -m, -3*x + 3*f = -270. Is x prime?
False
Suppose 5*i - 1810 - 3465 = 0. Is i a prime number?
False
Suppose 0*n = 3*n - 993. Is n a prime number?
True
Suppose 5*s = -z + 20, 2*z + 0 = -s + 13. Suppose -4*m + b = -206, -3*m - z*b = -m - 92. Is m a prime number?
False
Is 2380/6 - 22/(-66) composite?
False
Let p = -47 - -84. Is p a composite number?
False
Suppose 0 = t - 2*t + 3. Suppose 4*b - 94 = -2*i, 5*i - 106 = t*i - b. Is i composite?
True
Suppose -3*f = -0*f - 4*o + 1, -3*o = -3*f - 6. Let n(u) = 4*u**2 + 2*u + 3. Is n(f) composite?
True
Suppose -8 = -4*j + 2*h, -h - 16 = -5*h. Suppose i + j*o - 11 = 0, 5*o - 13 = -0*i - i. Suppose 131 = i*u + 26. Is u a composite number?
True
Is (-3 - (0 - 2))/(4/(-8972)) composite?
False
Suppose p = -4*p + 9115. Is p prime?
True
Let a(q) = 31*q**2 - 17*q + 7. Is a(11) prime?
True
Is (1 + 387 + 3)/1 prime?
False
Let c(q) be the first derivative of q**4/4 - 2*q**3 + 7*q**2/2 + q + 1. Suppose 4*j - 6 = 14. Is c(j) a composite number?
False
Let x(d) = 9*d + 3. Let l(r) = -37*r - 13. Let k(o) = 2*l(o) + 9*x(o). Let y be k(2). Suppose f + 2*c - y = 0, 5*f + 3*c - 87 = 9. Is f composite?
True
Let t = 3 - 6. Let x = 50 + t. Is x a prime number?
True
Let i = -10 + 0. Let x = i - -14. Suppose 4*n + x*b - 656 = 0, 2*n + 0*b - b - 325 = 0. Is n prime?
True
Let u = -11 - -14. Suppose 4*i - 2509 = -u*n, 13 = -5*n - 12. Is i a prime number?
True
Suppose 3*p + 1340 = 19973. Is p prime?
True
Suppose 3*o - 292 = 5*o. Let f = 397 + o. Is f a composite number?
False
Suppose a + 3 = 9. Let s = -9 + a. Is (2 + s)/(1/(-67)) a prime number?
True
Let o(c) = 27*c - 1. Let t be 1*(4 + -2 + 1). Suppose 21 = 5*h + t*q - 18, -q = 2*h - 15. Is o(h) composite?
True
Let y(m) = -19*m**2 - 3. Let f(b) = -6*b**2 - 1. Let c(q) = 8*f(q) - 3*y(q). Is c(-1) a prime number?
False
Let g(s) = -32*s - 5. Let p be g(-4). Let m = p + -58. Is m composite?
True
Let o(y) = 10*y**2 - 8*y + 9. Let d be o(6). Let l = d - 182. Is l prime?
True
Suppose -2*o + 28 = -4*g - 36, 4*o - 4*g = 128. Suppose -4*h = -0*h - o. Let x(k) = -k**3 + 8*k**2 + 6*k - 11. Is x(h) a composite number?
False
Suppose -3*n - 2 = 7. Let g be (2/(-6))/(n/279). Suppose g = 2*o + 1. Is o prime?
False
Is (-6)/3*(-251)/2 prime?
True
Suppose -10 = -5*u - 5*i, -4*u + 2*i + 2 + 24 = 0. Suppose 3*y - 22 = -2*m, 0 = -u*y - m - m + 42. Is 104/y - 6/(-10) composite?
False
Let b(q) = 102*q**2 + q - 1. Let p(h) = -h**3 + 13*h**2 + 13*h + 16. Let a be p(14). Is b(a) composite?
False
Suppose 25 = 4*t - h, -2*h + 1 - 6 = t. Suppose z = 3*z, -t*k + 55 = 5*z. Is k a composite number?
False
Let v(i) = -i - 1. Let x be v(-8). Let t(d) = 27*d - 2. Is t(x) prime?
False
Let x = 473 + -82. Is x a prime number?
False
Let k(b) = b**3 - b**2 + 2*b - 1. Let d be k(-3). Let q be (-642)/(-8) + 1/(-4). Let l = d + q. Is l composite?
False
Let j be (-1)/(-2) + (-12)/8. Is j/2*(-414 - 8) a prime number?
True
Suppose 0*u = u - 202. Suppose -5*x + 496 = 4*g, -2*x - 2*g = -4*g - u. Let i = x + -67. Is i composite?
True
Let q be (-1)/3 - (-4)/(-6). Let a = 0 - q. Let r(p) = 36*p**3 - 2*p**2 + p. Is r(a) composite?
True
Let q be ((-38)/(-3))/((-3)/(-9)). Let u = q - 3. Is u composite?
True
Let w(k) be the third derivative of k**6/60 - k**5/24 - k**4/12 + k**2. Let b(c) be the second derivative of w(c). Is b(6) composite?
False
Suppose 248 = 5*k - d, -k + 4*d + 94 = 33. Is k a prime number?
False
Let t(m) = -m**3 + m**2. Let z be t(-1). Let s(l) = 14*l**2 - l + 0*l**2 + 11*l**z + 34*l**2 + 1. Is s(1) composite?
False
Let q = -16 - -19. Suppose -q*v + 3*f + 135 = -0*f, -v + 33 = 5*f. Is v composite?
False
Is (-27 + 1)/(8/(-44)) a prime number?
False
Let d(j) = 4*j**2 - 2*j - 1. Let t be d(2). Suppose t = 2*l - 11. Is l a prime number?
True
Is 1/(2/6) - 42840/(-45) a prime number?
False
Is -1*(-5)/(15/10959) prime?
False
Suppose b + 0*b - 3 = -d, -5*b = -2*d - 29. Suppose 4*a - 13 = z, -7*z = 4*a - 3*z - 8. Suppose -t - a*t + v = -105, t - 