**2 - 4. Let a(p) = d*x(p) + 3*j(p). Is a(3) a composite number?
True
Let y be ((-2)/2)/(1/(-5)). Suppose -3*c - y*u + 223 = 79, -4*c + 4*u + 224 = 0. Is c a composite number?
False
Is (-262)/(-8) + 2/8 a composite number?
True
Let k(q) = 10*q**2 - 4*q - 1. Let n be k(4). Is (n - 2)*(-4)/(-6) composite?
True
Let k be 2 - (5 + -4) - -20. Suppose -18*w = -k*w + 1335. Is w a prime number?
False
Suppose -k - 3*k - 2*g + 16 = 0, -k - 10 = -3*g. Let l be k/((3/3)/(-1)). Is ((-8)/(-12))/(l/(-21)) a prime number?
True
Let l(z) = 65*z - 10. Let r be l(9). Let s = r + -288. Is s a composite number?
True
Suppose 5*q - l + 3*l = 893, 3*l + 696 = 4*q. Is q a composite number?
True
Suppose x + 308 = -x. Let w = x - -317. Suppose -160 = -5*i + 5*o, 2*o + w = 3*i + 2*i. Is i a prime number?
False
Let u(l) = 94*l + 6. Is u(4) prime?
False
Let y(x) = -x**2 - 5*x + 5. Let q be y(-5). Suppose 4*r - 5*p - 683 = 0, -4*r + q*r - 172 = p. Is r a prime number?
False
Let n be (4 + -3)*-1 - -4. Suppose n*d + d - 20 = 0. Suppose 4*u + 2*i + 50 = 6*u, 0 = d*i. Is u composite?
True
Suppose -3*b + 4*b = 21. Is b prime?
False
Suppose i - 5 = -d, -3*d - 41 = -4*i - 14. Let k(w) = -i*w + 1 - 2 + 2. Is k(-4) a prime number?
False
Let i(t) = -t + 5. Let a be i(4). Let u(q) = 89*q + 1. Let b be u(a). Let o = -64 + b. Is o prime?
False
Let m(u) be the second derivative of -2*u**3/3 + 9*u**2/2 - u. Let b be m(-7). Suppose 5*v - 5*r = 55, -3*v - r + 2*r + b = 0. Is v a composite number?
False
Is 2/14 - 6906/(-21) composite?
True
Let q(f) = f**3 - f**2 - 3*f - 4. Is q(6) prime?
False
Suppose -3*d + 6 = 2*a - 5*a, 0 = -2*d - a + 13. Let q = d - 3. Is q a prime number?
True
Let t(n) = -n**2 + 14*n - 5. Is t(10) a prime number?
False
Let w(r) = r**2 + 12*r - 8. Let t be w(-7). Let b = -21 - t. Is b composite?
True
Suppose 5*g - 2873 = -4*l, 3785 = 5*g - 3*l + 926. Is g composite?
True
Let a(t) = -153*t + 6. Let x be a(4). Let f = -352 - x. Is f composite?
True
Suppose 3 = -n - 132. Let v be n/20 + 1/(-4). Is ((-12)/2)/(2/v) composite?
True
Let v be (-128)/(-72) - 2/(-9). Let r(i) = 9*i**2 - 2*i + 3. Is r(v) composite?
True
Let i(g) = 24*g**2 + 4*g - 21. Is i(-11) composite?
True
Let h = -2 - 1. Let l(y) = y**2 + 14*y - 10. Let s be l(-17). Is s + (-3 - h - -2) composite?
False
Let b(n) = n + 14. Let z be b(-12). Suppose -635 = -3*w - z*w. Is w a prime number?
True
Is ((-9)/(-6))/(9/(-57))*-6 a composite number?
True
Let n be 4*(28 + (-3 - -3)). Suppose -m + 3*y = -35, 3*m - n + 2 = 4*y. Suppose 0 = -0*v - 2*v - 4*t + 72, v = -4*t + m. Is v prime?
False
Suppose -2*v + 5*v - 9 = 2*p, -2*p - 7 = -v. Suppose 0*z - 48 = -3*z. Let o = p + z. Is o a prime number?
True
Suppose -5*q + 910 + 1325 = 0. Suppose 140 = -u + q. Is u a composite number?
False
Let v = -167 - -367. Suppose -5*c + v = -c. Let b = -19 + c. Is b composite?
False
Let s be 1/((-1)/(-11) - 0). Let m(y) = -y**2 - 7*y - 4. Let x be m(-7). Let t = x + s. Is t prime?
True
Is (2194/(-3))/(2/(-3)) a prime number?
True
Let b be -3 + 1/((-1)/(-2)). Let w(k) = 0*k**3 + 0*k**3 - 10*k**3. Is w(b) a prime number?
False
Is ((-4)/(-8))/((-5)/(-310)) prime?
True
Let f = 18 + 13. Is f a prime number?
True
Suppose 0 = 2*s - 2*o - 14 + 6, -12 = 4*s + 3*o. Let a be (s - (-87)/1) + -2. Suppose -3*p - a = -4*z, -4*z + 5*p + 72 = -z. Is z a prime number?
True
Let c be (-3)/(-2) - 2/(-4). Suppose 0*a + 14 = c*a. Let n = 12 + a. Is n a composite number?
False
Let f(g) = -g. Let u be f(-4). Is (-1)/3*(-385 + u) composite?
False
Let u be 6/9*291/2. Suppose z - u + 2 = 0. Is z a prime number?
False
Let y be (3 + 2)/(-2 - -3). Suppose 3*i + i = y*s + 103, -3*i + 5*s = -81. Let h = i + 87. Is h a prime number?
True
Let f(x) = 18*x**2 + 3*x. Let y be f(-2). Suppose 2*z = -2*l + y, 0*z - 45 = -z - 5*l. Suppose -t = t - z. Is t a composite number?
True
Suppose -3*u = -h - 4*h - 159, -4*u + 212 = -4*h. Is u composite?
False
Let v be (-9)/(-5) + (-1)/(-5). Suppose 8 = -v*h - 16. Is ((-115)/10)/(2/h) composite?
True
Suppose -5*u = j + j - 548, 4*j = -2*u + 1080. Is j prime?
True
Let u = -2338 - -4031. Is u a composite number?
False
Suppose 0 = 3*v + 9, -2*b + 3*v + 335 = -0*b. Is b a prime number?
True
Let j(v) = -9*v**3 + v**2 + 4*v - 3. Let o be j(-4). Let t(f) = -44*f**3 - f**2 - f + 2. Let q be t(2). Let m = o + q. Is m prime?
False
Let m(p) be the third derivative of p**5/60 + p**4/24 + 157*p**3/6 + 4*p**2. Let h be m(0). Is 1/(-4) - h/(-4) a prime number?
False
Let l be (4 + 2)/2 + 0. Suppose 1628 = l*c + 3*f + 2*f, -c + 3*f = -538. Is c prime?
True
Suppose 64 = 4*p - 4*u, 2*u = -5*p - 0*p + 80. Suppose p = -3*b + 154. Is b a composite number?
True
Let w be 2/(-6) + (-206)/3. Let d = -48 - w. Is d composite?
True
Suppose 310 = 3*m - 923. Let b be m/(-6)*(-1 - -3). Let a = -40 - b. Is a composite?
False
Is ((-2)/6)/((-7)/4431) a composite number?
False
Suppose 0*x + x = 3*z - 3129, -5*z + 5225 = -5*x. Is z composite?
True
Let t(r) = -r**2 - r + 3563. Is t(0) a prime number?
False
Suppose -5*x - 3*m - m = 290, 4*x + 5*m = -232. Suppose -11*v + 1491 = -4*v. Let f = x + v. Is f prime?
False
Let a be 128 + (1 - (-6)/(-3)). Suppose 3*q = -z - q + a, -2*q + 254 = 2*z. Is z prime?
True
Let f(z) = 17*z - 6. Let a(y) be the third derivative of -67*y**4/24 + 25*y**3/6 - 2*y**2. Let u(o) = 2*a(o) + 9*f(o). Is u(5) a prime number?
False
Let c(q) = 5*q**2 - 2*q + 1. Is c(-4) a prime number?
True
Let o(b) = b**2 - 13*b + 7. Is o(15) a prime number?
True
Let m(o) = 555*o + 33. Is m(4) prime?
False
Let b = 1 + 2. Let i be 0/1 - -6*b. Suppose -5*m + 2*m = -i. Is m a prime number?
False
Let c be 32/12 + 2/6. Let x(z) = -17*z + 8. Let k(s) = -8*s + 4. Let q(l) = -7*k(l) + 3*x(l). Is q(c) a prime number?
True
Let u be ((-8)/4)/(2/(-4)). Suppose -u*v - 403 = -1167. Is v prime?
True
Suppose d = -x - 12 - 11, 0 = 5*d + x + 95. Let w be 4/d - (-24452)/36. Suppose -w = -5*c + 46. Is c a composite number?
True
Let t(k) be the first derivative of 3*k**2/2 + 6*k - 3. Is t(5) composite?
True
Is 23/(57/(-15) - -4) a composite number?
True
Suppose 53 = -4*y + 3*y. Let f = 180 + y. Is f prime?
True
Let r = -1 - -2. Let h be (-20 + (r - 1))*-1. Suppose -15 - h = -5*g. Is g a prime number?
True
Let f = 1830 + -911. Is f prime?
True
Let q be 2/3 + (-8)/(-6). Suppose -5*a + 17 = q. Suppose -2*n = -a*n - 4*v + 161, 4*v = -5*n + 789. Is n composite?
False
Suppose 5*d = 5*h + 1575, 2*h = 3*d - 2*d - 313. Is d prime?
True
Suppose -140 = -5*a + 295. Suppose a - 937 = -2*n. Is (-2)/9 + n/9 a composite number?
False
Let l(f) = -5*f**3 + 32*f**2 + 20*f + 19. Let v(q) = -q**3 + 8*q**2 + 5*q + 5. Let s(a) = 2*l(a) - 9*v(a). Let g be s(-8). Is -2 + 1 + 1 + g prime?
False
Let q(l) = -l**2 - 1. Let t(v) = -3*v**2 - 4*v - 1. Let z(s) = -2*q(s) + t(s). Let j be z(-3). Is (-1)/j + (-77)/(-4) a prime number?
True
Let m = -114 + 183. Is m prime?
False
Let v = -1762 - -2499. Is v a prime number?
False
Let x(r) = -r**3 - 5*r**2 + 5*r - 8. Let z be x(-6). Let i be z*1/(3/(-15)). Suppose 0 = t - i - 39. Is t a composite number?
True
Let h(i) = 9*i**3 + 3*i**2 - 4*i - 9. Let u(n) = n**3 - n**2 + 1. Let j(s) = -h(s) - 6*u(s). Is j(-2) a composite number?
False
Is (-1)/(2/(-7))*14 prime?
False
Let r = -506 - -319. Let x = 37 - r. Suppose 4*u + 5*y - 1031 = 0, -3*y - 1263 = -4*u - x. Is u a composite number?
True
Suppose 0 = 3*t - 5*v + 14, -2*t + 13 = 3*v - 3. Suppose 0 = -t*n - 3*n + 335. Is n a prime number?
True
Let s(o) = 2*o**2 + 3*o - 1. Let w(n) = n**2 + 12*n + 14. Let t be w(-11). Is s(t) a prime number?
False
Let j(q) = 2*q**2 - 22*q + 33. Is j(17) a composite number?
True
Let u(d) = 2*d**3 + 3*d**2 + 4*d - 10. Let k(n) = 5*n**3 + 5*n**2 + 9*n - 21. Let q(t) = -3*k(t) + 7*u(t). Is q(5) composite?
False
Let s(y) = y**2 - 10*y + 5. Let c(k) = 3*k**2 - 20*k + 11. Let n(d) = -2*c(d) + 5*s(d). Is n(-8) composite?
False
Let v = 6 + -2. Let x(w) = w**3 + 3*w**2 + w - 3. Is x(v) a prime number?
True
Let c = -1 - -3. Let q = 9 + c. Is q a composite number?
False
Suppose 3*u - 2*w + 54 = 0, -3*u - 40 - 8 = -4*w. Is 110/6 - u/30 a composite number?
False
Let n = 52 - 27. Is -2*(n/(-2) + 1) prime?
True
Suppose 4*s - 15 = 1. Suppose -s*f - 2*x + 452 = 0, -339 = f - 4*f + x. Is f prime?
True
Let s be 1/(1/3) + 7. Su