 0*l = l + 1782. Is l/(-12) + m/(-4) a composite number?
False
Let i = 11 + 224. Let l(b) = -235*b. Let j be l(-3). Suppose -2*z + j = z - r, -2*r = -z + i. Is z a prime number?
False
Suppose -240 + 4204 = 4*p. Is p prime?
True
Let y be ((-7)/(21/18))/(-1). Suppose y*p - 3231 = 2031. Is p prime?
True
Let v(s) = -s**3 + 9*s**2 - 7*s - 7. Is v(6) prime?
True
Let t = -26 - -191. Suppose -3*v - 2*v + t = 0. Is v a composite number?
True
Let l(q) = 14*q + 0 - 1 - 2. Let t be (-2)/(-3) + 14/6. Is l(t) a composite number?
True
Suppose -2*u + 4*j + 440 = 0, -5*j = 2*u - 487 + 29. Suppose -4*s = -3*v - 1784, 0 = s + 5*v - 199 - u. Is s composite?
False
Suppose -4*f + 53 + 879 = 0. Is f a composite number?
False
Suppose 3*h - m + 20 = 3*m, -h + 10 = 2*m. Let q be (-2)/4*(h - 6). Suppose -10 = -v - q*u, 4*u + 4 = -8. Is v prime?
True
Suppose 4*v + 2*r = 21 - 1, v - 2*r = 0. Suppose v + 4 = -4*x. Is 2 - (x + -10)/1 a composite number?
True
Suppose -5*x - 10799 = -6*x. Is x prime?
True
Suppose -5*l + 4*q - 302 = q, 0 = 4*l + 5*q + 249. Let u = -24 - l. Let a = u + -14. Is a a prime number?
True
Suppose 6*r - 5 = 5*r. Suppose -r*d + d + 156 = 0. Is d prime?
False
Suppose -2*r + 3*k + 225 = -r, -4*k - 221 = -r. Is r a composite number?
True
Let j be 61632/63 - 4/14. Suppose 4*z - j + 346 = 0. Is z a composite number?
True
Let b(d) = 4*d**2 + d + 3. Let o(i) = -9*i**2 - 2*i - 7. Let f(p) = 7*b(p) + 3*o(p). Let j be f(-1). Suppose -z + 0*z + 37 = j. Is z a prime number?
True
Is (-90)/18*(-257)/5 prime?
True
Let g be ((-1)/1)/(2/(-10)). Suppose 2*o + 5*x - 126 = 176, 584 = 4*o + g*x. Is o composite?
True
Let i(f) = f**3 + 5*f**2 - 2*f - 7. Suppose 0 = -b - 2*a + 22, -5*b + 3*a + 72 + 12 = 0. Let u = 13 - b. Is i(u) composite?
False
Let x(m) = m**2 + 3*m + 2. Let l be x(-3). Let t be l/(-8) + (-1379)/(-28). Suppose -3*u = -t - 44. Is u a composite number?
False
Is 179*(1 + (-5 - -5)) a composite number?
False
Suppose 0 = -p - 0 - 2. Let s = p + 2. Suppose -t + s*t + 7 = 0. Is t a composite number?
False
Let u = 4 - 4. Is u - (-4)/(4/131) a prime number?
True
Suppose 2*l = -l + 6. Suppose l*b = -3*b + 135. Suppose -3*a - 3*c + 39 = -a, b = 2*a - c. Is a a composite number?
True
Suppose -7 = -5*v + 8. Suppose 0 = 2*t - 4*t + 5*m + 317, 4*t + v*m - 647 = 0. Is t a composite number?
True
Let d = -96 - -287. Is d prime?
True
Let d(a) be the first derivative of 5*a**3 - 5*a - 1. Is d(-4) prime?
False
Let h = -1178 + 2421. Is h composite?
True
Let m(v) be the first derivative of v**2/2 + 2*v + 1. Let p be m(0). Suppose 2*j - 3 = 5*j, -p*l = -j - 95. Is l a prime number?
True
Is ((-2)/(-4))/(16/5216) a composite number?
False
Let g = 15 + -11. Let o(w) = -w**3 + 6*w**2 + 8*w - 3. Let a be o(7). Suppose 0 = a*x - h - 633, 4*x - x = -g*h + 451. Is x a composite number?
False
Let k(o) = 336*o**3 + 1. Let w = -10 + 11. Is k(w) a composite number?
False
Let g(i) = 11*i - 2 + 0*i - 12 + 21*i. Is g(5) a prime number?
False
Let t(q) = q**2 - 4*q - 8. Let d be t(6). Let x be ((-29)/2)/((-2)/d). Let h = 8 + x. Is h composite?
False
Let q(k) = 30*k + 4. Let p(y) = -y + 3. Let r be p(0). Is q(r) composite?
True
Let l be 6/(-4)*48/(-18). Suppose x - 45 = -5*a, 4*x = a - l*a + 10. Is a composite?
True
Let o = -21 - -37. Suppose -2*q - 2*u - 6 = -o, 0 = -2*q - 3*u + 5. Suppose -5*k = -x + 3*x - 375, -2*x = q. Is k prime?
False
Suppose h + 4*h - 40 = 0. Let l = h - -46. Suppose 4*w = -5*f + 73, -4*f - w = -0*w - l. Is f prime?
True
Let u(c) be the first derivative of 1/2*c**4 + 1/2*c**2 - 2 - 4/3*c**3 + 6*c. Is u(5) prime?
False
Let q(v) = 5*v**3 + 2*v**2 - 1. Let w be q(-1). Is w + 3 + 2 + 6 a prime number?
True
Is -6*(-5)/(-135) + 68710/18 a composite number?
True
Suppose 0 = 4*g - 8*g + 3*i + 4, 0 = g - 2*i - 6. Let l(t) = -t - 1. Let s(z) = -5*z**3 + 2*z. Let b(m) = -l(m) + s(m). Is b(g) prime?
False
Let d(n) = -15*n - 1. Let u = -3 + -1. Let w be d(u). Suppose 0 = 2*s + 3*b - 44, 3*s - 7 = -3*b + w. Is s composite?
True
Let f = -255 + 368. Is f a composite number?
False
Let c(v) = -v**2 + v + 1. Let j(y) = 70*y**2 - 6*y - 5. Let p(u) = 6*c(u) + j(u). Is p(1) composite?
True
Suppose -58 - 16 = -2*w. Suppose 4*o + w = 5*o. Let b = o - 12. Is b composite?
True
Suppose -3*r - 540 = -a, 2*a - 2176 = -2*a - 4*r. Suppose 0 = -0*y + 3*y + a. Let s = -86 - y. Is s composite?
True
Let y(p) = p**3 - 24*p**2 + 44*p - 17. Is y(23) a composite number?
True
Suppose -o + 3 = 9. Let v(l) = -l**3 - 4*l**2 + 10*l + 7. Is v(o) prime?
True
Let l(c) = -c - 2. Let h be l(-2). Suppose -5*y + 0*y + 215 = h. Is y composite?
False
Let x = 512 - 279. Is x a prime number?
True
Suppose 0 = -3*g - 6, -5*g + 1536 = 2*i - 4*g. Is i prime?
True
Suppose -3*o + 7*o + 37008 = 4*t, 37038 = 4*t + 2*o. Is t a prime number?
True
Suppose -5*d - 4*g - 28 = -2*d, 0 = d - g. Let q be (-3)/(-12) - 19/d. Suppose 1 = l - 5*z - q, 98 = 3*l + z. Is l prime?
True
Suppose 3*j - 2*n + 5 = 19, -j = -2*n - 10. Suppose -4 = j*i + 2. Is 22 - ((-6)/(-2))/i a prime number?
True
Suppose 7 = s + 4*o, 0 = -5*s + o + 9 + 5. Suppose 2*h - 181 = 3*h + s*y, -4*y + 810 = -5*h. Is (3/(-6))/(1/h) a prime number?
True
Let u(w) = -w**3 - 6*w**2 + 2*w + 2. Let r(b) = -b**2 - 3*b + 3. Let l be r(2). Is u(l) prime?
True
Suppose 0 = -l - z - 92 - 41, z = 3*l + 407. Let k = l - -214. Is k prime?
True
Let j be 10/(-2)*11/(-11). Suppose 0 = j*x - 154 - 511. Is x composite?
True
Let b be ((-2)/3)/(4/18). Is (1/b)/(1/(-921)) a composite number?
False
Is 557/((-60)/(-75) + 1/5) a prime number?
True
Suppose -454 = 3*k + 2*a - 2057, 3*k + 4*a - 1607 = 0. Is k a prime number?
False
Suppose -3*d + 15 = 6. Suppose d*a = 22 + 227. Is a composite?
False
Let p = 12 - 2. Let m be (p/4)/(3/12). Is (m/(-15))/(2/(-93)) prime?
True
Suppose -5*w + 24 = 3*v, -2*v = -2*w - 5*v + 6. Suppose w*k = k + 1855. Is k a prime number?
False
Suppose -2*n - 1099 = -4*n + 3*d, -2*d = -2*n + 1100. Is n prime?
False
Let i(n) = 150*n**2 - 4*n + 3*n + 2*n - 2*n. Is i(1) a composite number?
False
Suppose -6 + 2 = -4*k. Let n(g) = 3*g**2. Is n(k) a prime number?
True
Suppose 1 - 11 = 5*l. Let c = 3 + l. Is (1 - -1)*c + 17 composite?
False
Let q = 18 + -13. Let a(s) = 2*s**2 - 6*s + 2. Is a(q) composite?
True
Let t(q) be the first derivative of -3*q**4/4 - q**3/3 + q**2 - 5*q + 3. Is t(-4) a composite number?
False
Let i(m) = -223*m**3 + m**2 - 1. Is i(-1) prime?
True
Suppose 0 = z - 5*p + 5, -4 + 9 = -5*z + 5*p. Suppose -5*v - 4*u + 11 = z, -5*u = 6 - 1. Suppose 4*r = -3*y + 199, v*y - 150 = r - 4*r. Is r prime?
False
Suppose 2*k = -k - 4*f - 1, 4*f = -2*k + 2. Suppose 8 = -5*w + 4*d - 5*d, 0 = 2*w - 3*d - 7. Is w/(k - (-92)/31) a prime number?
True
Let y(a) = a + 4. Let p be y(-5). Let f(v) = -41*v - 36*v + 1 + 25*v. Is f(p) prime?
True
Let x(g) = -g - 8. Let o be x(-5). Let f be (o - -1*2)*-3. Suppose f*q - 6*q + 35 = d, 5*q = 0. Is d composite?
True
Let q(a) = 3*a**3 - 5*a**2 + a - 7. Is q(6) a prime number?
True
Suppose -24*b = -19*b - 6695. Is b a prime number?
False
Let c be (297/6 - 3)*-2. Let y = c + 148. Is y a prime number?
False
Let b(p) = 4*p**3 - 2*p**2 + 4*p - 3. Is b(4) composite?
True
Let z = 274 + 107. Is z a prime number?
False
Let a(o) = -o. Let p be 1/4 + 9/12. Let m be a(p). Let v(k) = -80*k - 1. Is v(m) composite?
False
Suppose -4*b - 357 = -0*b - u, -108 = b - 4*u. Let g = -9 - b. Is g a prime number?
True
Suppose 43*c - 40*c = 477. Is c composite?
True
Suppose -2*l = 3 - 5. Is 23 + l*(-3)/3 a composite number?
True
Let l(g) = -386*g - 3. Is l(-1) a prime number?
True
Suppose r - 10 = -r. Suppose j + 31 - 10 = n, n = r*j + 17. Is n prime?
False
Let y(c) be the first derivative of 5*c**3/3 + c**2/2 - c - 4. Let g(k) be the first derivative of y(k). Is g(3) prime?
True
Let f(x) = 17*x**3 + 5*x**2 + 3*x - 2. Is f(3) composite?
True
Let t = -5 + 3. Let y be t/(-4) + (-10)/(-4). Let q(c) = c**3 + c**2 - 4*c - 1. Is q(y) prime?
True
Let u = 251 + 8. Is u prime?
False
Suppose -4*u = 3*s + 16, -7*u + 2*u - 1 = -s. Let j(y) = -40*y - 5. Is j(s) composite?
True
Suppose -r = 2*q - 5*q + 39, 2*r - 5*q = -80. Let s = 160 + r. Is s composite?
True
Suppose 4*m = x + 27, 2*m + 3*x - 15 = -2*m. Let i = m + -7. Is ((-508)/(-12))/(i/(-3)) composite?
False
Suppose -3*b - 5*q + 150 = 0,