e 3901 + 1778 = 9*v. Is v composite?
False
Let j(l) = -l**2 + 8*l - 11. Let r be j(6). Let b(d) = 1. Let y(o) = 113*o + 2. Let w(c) = -2*b(c) + y(c). Is w(r) a composite number?
False
Suppose -2*n = 2*n - 532. Is n a composite number?
True
Suppose -3*d = -d - 164. Suppose 34 = -5*r - 6. Let f = d + r. Is f composite?
True
Let y(m) = -19*m - 17. Is y(-12) a prime number?
True
Suppose -4*r = -2*a + 916, -4*r = 2*a - 7*a + 2302. Suppose -2*o + 4*k + a = 0, o - 227 = -0*o + 4*k. Is o a composite number?
True
Let f = -90 - -305. Is f a composite number?
True
Let k(t) = 22*t**3 + t - 1. Let w be k(2). Suppose 5*b + j = 2251, 2*j - w = -b + 275. Suppose -3*l + 5*s = 2*l - 700, 3*s - b = -3*l. Is l composite?
True
Suppose -162 - 33 = -3*v. Suppose 5*o = 4*o + v. Is o composite?
True
Let g = 34 - 24. Let n(u) = u - 14. Let s be n(g). Is 56 - 4/(s/(-3)) prime?
True
Let x be 5 + (3 + 0)/(-3). Suppose -z = x*g - 315, 8 = -4*z + 4. Is g prime?
True
Is ((-1)/(-2))/((-3)/(-6690)) a composite number?
True
Let g(j) be the second derivative of 19*j**3/6 + 3*j**2 - 6*j. Is g(7) a composite number?
False
Let r = 13 - 3. Let g be (12/10)/(4/r). Suppose g*s - 3 = 42. Is s a composite number?
True
Let w = 2 + 2. Suppose 3*r + r = -w*u + 164, r = -3*u + 49. Is r prime?
True
Let u = -6 - -4. Let v(w) = w**3 + w**2 - w - 1. Let a be v(u). Is (152/4)/(-1 - a) prime?
True
Let p(z) = z**3 + 2. Let y be p(-2). Let u(r) = -8*r - 9. Is u(y) prime?
False
Let l(t) = 157*t + 0 + 0. Let c be l(1). Let s = -92 + c. Is s composite?
True
Suppose 394 = -2*x + 2424. Suppose x = 2*d + 3*d. Is d a composite number?
True
Suppose 4*f = 5 + 7. Suppose 0 = q + f*b - 14, -98 = -4*q + b + b. Let h = q + 8. Is h a composite number?
False
Suppose -f - g - 6 = -4*f, 3*f + 5*g - 6 = 0. Suppose -f*m + 20 = -4*x, 2*m - 19 = m + 5*x. Suppose -m + 39 = 5*c. Is c a prime number?
True
Is ((1/2)/1)/((-3)/(-2946)) composite?
False
Let t(k) = -141*k**2 + 7*k - 5. Let o be t(4). Is o/(-14) + 2/(-4) a composite number?
True
Let g = -2 - -4. Suppose 8 = -2*x, -g*s - 3*x + 8 = -8. Suppose -s = w - 88. Is w a prime number?
False
Suppose 4*f - 4126 = 1746. Suppose -3*y - y + f = 0. Is y composite?
False
Let m(n) = n**2 - 4*n - 3. Let k be m(5). Let l(i) = -3*i + 1 - i**k - i + 2*i**2 - 8. Is l(-6) a prime number?
True
Let w(a) = -a**3 + 2*a + 13. Is w(-8) composite?
False
Let g(m) be the third derivative of m**6/120 - m**5/10 - 5*m**4/24 + 5*m**3/3 - m**2. Let y be g(7). Let j = y + -17. Is j a composite number?
False
Is ((-40)/(-16))/((-2)/(-44)) composite?
True
Let z(c) = -c**2 - 6*c + 5. Let a be z(-6). Suppose -a*n + 3*x = -280, 4*n + 0*x = -x + 224. Suppose -3*l - l + n = 0. Is l composite?
True
Let x(m) = 2*m**2 - 2 - 7 - 2*m + 4 + 6*m**2. Is x(-4) prime?
True
Suppose -88 - 104 = -3*j. Suppose 4*r + j - 324 = 0. Suppose 2*m - r = m. Is m a prime number?
False
Suppose 5*d = 3219 + 56. Is d composite?
True
Let z be 32/(-14) - 2/(-7). Is (-137)/z + 2/4 composite?
True
Let i = 6 - 1. Suppose 2 = c - 3*j + 7*j, 2*c = -i*j + 7. Is 6*(-3)/c + 36 a composite number?
True
Suppose -604 = 9*g - 3808. Let q = 514 - 737. Let v = g + q. Is v a composite number?
True
Let o = -14 - -10. Let t be (-2)/o*-4 + 0. Is (6/(-9))/(t/21) a composite number?
False
Suppose 2*h + 174 = 5*h. Is h prime?
False
Suppose 3*c - 2 = 10. Suppose c*g - 101 - 91 = 0. Is (g/9 - 3)*15 composite?
True
Is (-4*(-6)/24)/(1/2029) composite?
False
Let m be (3 - -43)/2 - 2. Suppose 0 = -p + 10 + m. Is p prime?
True
Let t(r) = 11*r**2 + 8*r + 4. Let x(f) = 21*f**2 + 15*f + 7. Let y(n) = -7*t(n) + 4*x(n). Let b be y(3). Suppose 0 = -4*w + 77 + b. Is w composite?
True
Suppose 0*x - 12 = -3*x. Let s = 89 + x. Is s prime?
False
Suppose -8*b = -11*b + 285. Is b prime?
False
Let b(x) = x**2 + 3*x + 4. Let l = 0 + -5. Let u be b(l). Is (15/(-3))/((-2)/u) a composite number?
True
Let i = 3 - 1. Suppose m - 57 = 4*t, -2*m = -i*t - 2*t - 122. Is m a composite number?
True
Let o(v) = 25*v - 5. Let c(i) = i**3 + 10*i**2 + 8*i - 5. Let f be c(-9). Suppose b - 2 = f. Is o(b) a prime number?
False
Suppose 131 + 34 = 3*c - 3*o, 5*c - 284 = -4*o. Suppose 208 = 4*k + c. Is k a composite number?
True
Let m be (-4)/(-14) + 165/35. Suppose 207 = 4*z - 4*h - 361, -5*h = m*z - 660. Let f = 231 - z. Is f a prime number?
False
Let g(j) = -3*j**3 - 7*j**2 - 11*j + 10. Let z(p) = 2*p**3 + 6*p**2 + 10*p - 10. Let l(b) = -3*g(b) - 4*z(b). Is l(7) a prime number?
True
Let p be (-5)/(-2) - 1/2. Let i(v) = 6*v**2 + 3*v - 3. Let a(s) = -s + 1. Let u(h) = 6*a(h) + i(h). Is u(p) composite?
True
Let f(b) = 47*b**2 - 4*b + 2. Let i be f(2). Suppose q = 2*l - 419, -2*l + 228 + i = -4*q. Is l a prime number?
True
Is 2/(-6) - 22/6 - -945 a prime number?
True
Let r(g) = -23*g + 2. Let x be r(-8). Let i = 314 - x. Suppose -3*j + i = -319. Is j composite?
False
Is (-2 + (-219)/6)*-2 composite?
True
Let p(a) = 2*a**2 + 2 + 0 - a**2 - 3. Let u be p(-2). Suppose -u*h + 79 = 22. Is h a prime number?
True
Let x = -771 + 2252. Is x a composite number?
False
Suppose 415 = c - 110. Suppose -2*s = 3*s - c. Suppose s + 25 = 5*f. Is f prime?
False
Let j be 108 - 1 - (-3 + 4). Let f = -24 + j. Is f/6 - (-6)/(-9) a composite number?
False
Let l be 310/4 - (-12)/(-24). Suppose -m = -l - 80. Is m a prime number?
True
Suppose 3*y - 1073 = 3*r - 8*r, 1077 = 5*r + 2*y. Is r a composite number?
True
Let w = -8 - -23. Suppose 2*q = q + w. Is q composite?
True
Suppose 12 = 2*w + 2*w. Suppose -4*m + w = -37. Suppose b + 4*s - 117 = 0, 4*s - m - 10 = 0. Is b a prime number?
True
Let f(w) = 2*w**3 + w**2. Let u be f(-1). Let x(p) = -6*p**3 - 2*p**2 + 1. Let y be x(u). Suppose y*n + 4*d = 257, -229 = -3*n - 2*d - 74. Is n prime?
True
Suppose 2*l + 4 + 12 = 0. Is (-646)/(-4) - (-4)/l prime?
False
Let h(l) = 3*l**2 + 2 + l**3 + 7*l + 9*l**2 + 4 - 5*l**2. Let j be h(-6). Suppose -2*k + j*a + 4*a = -6, 0 = -4*k - 3*a + 56. Is k a composite number?
False
Let w(z) = z**3 - z. Let c be w(-1). Suppose c*h + h = 4, 5*l = -4*h + 291. Is l a composite number?
True
Let v = 28 + 525. Is v composite?
True
Let y(a) = -2*a**3 - 4*a**2 - 2*a + 7. Is y(-6) composite?
False
Let f(q) = 24*q**3 + 4*q**2 - q. Let p be f(4). Let z be 2/(-4) - p/(-8). Suppose -3*h = b - z, -3*h - 8 = h. Is b a prime number?
False
Let y(v) = 10*v - 3. Suppose 0 = -4*a + 17 - 1. Is y(a) a composite number?
False
Suppose 2*g - 4*g + 6 = 0. Suppose 0*b = g*b - 957. Suppose -a - 4*s = -6*a + b, -4*a - 4*s = -284. Is a prime?
True
Suppose 7*l - 2 = 5*l. Let m(u) = -u + 3*u + u. Is m(l) a composite number?
False
Suppose -44*x = -47*x + 5541. Is x a prime number?
True
Suppose -7*p + 2*p = 285. Let d = 115 + p. Is d composite?
True
Let p = 381 + -186. Suppose -2*g = 2*j - 502, 4*g - 239 = 4*j - 5*j. Suppose -3*a + j = s, 5*a - p = -3*s + 230. Is a composite?
True
Suppose 2*w + 3*w + 145 = 0. Let j = -224 + 322. Let k = j + w. Is k a composite number?
True
Suppose 25 = 5*o, -o + 30 = -2*z + 271. Let j = z + -52. Is j composite?
False
Let j be 30/9*36/(-15). Is ((-52)/j)/(3/66) a composite number?
True
Let o(w) be the first derivative of w**6/120 + 7*w**5/60 + w**4/12 + 7*w**3/6 + w**2 - 2. Let m(a) be the second derivative of o(a). Is m(-5) a prime number?
True
Let n(h) = 2*h**2 + 31. Is n(0) prime?
True
Let y be -1*(-1)/1 + 57. Let t = y + -13. Suppose 0*w = 3*w - t. Is w prime?
False
Let s(a) = a**3 - 7*a**2 + 8*a - 9. Let d be s(6). Suppose -d*f - 24 = -6*f. Suppose -k + f = -11. Is k a composite number?
False
Suppose -5*s = -s - 304. Suppose -s = -2*f - 2. Is f composite?
False
Let w(s) = -5*s - 281. Let n(l) = -4*l - 280. Let i(b) = -6*n(b) + 5*w(b). Let z be i(0). Suppose 9*t = 4*t + z. Is t a prime number?
False
Let a(l) = -l**2 + 17*l - 5. Is a(7) prime?
False
Let l(u) = 7*u**2 - 5*u - 9. Let r be l(-6). Let g = -402 + r. Let q = 226 + g. Is q composite?
False
Let v = 7 + 1. Let l = 13 - v. Suppose 0*p - l*p = -95. Is p prime?
True
Let a = -7 - -2. Let j(b) = 2*b**2 - 6*b - 4. Let w be j(a). Suppose 2*v = -2*v + w. Is v a composite number?
False
Let y = -5 - -8. Suppose 6*v - 12 = y*v. Suppose v*k + 73 = 341. Is k prime?
True
Suppose 0 = -2*j + j - 29. Let w be j*-1*3 + 0. Let z = w - -4. Is z composite?
True
Let h(y) = -y**3 - 10*y**2 + 13*y + 16. Let u 