10 composite?
False
Let m = -22 - -28. Is 2*(-1 - (-291)/m) composite?
True
Let p be (-2 - -1) + 2 + 1. Suppose -594 = -p*l + 58. Suppose 4*s = 6*s - l. Is s prime?
True
Let k(f) = 3*f - 2. Let s be k(2). Suppose 321 = -s*i + 45. Let n = i - -104. Is n prime?
False
Let x(s) = 8*s**3 - 12*s + 1. Is x(5) a prime number?
True
Let y = 1 - -2. Let q(w) = w**2 - 4*w. Let p be q(y). Is (p/(-4))/(2/40) prime?
False
Let u be (-1675)/(-10) + 2/4. Suppose 0*t - u = -2*s + 5*t, s - 93 = -2*t. Is s prime?
True
Suppose -2*b + 5 = -3. Suppose 0 = 3*h + b*o - 82, h + 5*o = 8 + 1. Is h prime?
False
Suppose -2*s + 6 = -14. Suppose s = 2*c + 3*c. Suppose 2*h + 2*l = 326, -h - 5*l = c*h - 493. Is h a prime number?
False
Let a(r) = 1084*r**3 + 2*r - 1. Let s be a(1). Suppose j + s = 6*j. Is j a composite number?
True
Let k(u) be the third derivative of u**6/120 + u**5/10 - u**4/24 + 7*u**3/6 + u**2. Let w(g) = g**2 + 5*g - 1. Let x be w(-4). Is k(x) composite?
False
Suppose -4*c + 3*j + 1167 + 356 = 0, -5*c + 5*j = -1910. Is c a composite number?
True
Is (-1461)/(-15) + 2/(-5) prime?
True
Let k(u) = -6*u**3 - 3*u**2 + 2*u + 1. Let o be k(-5). Suppose 4*f - o = -30. Is f a prime number?
False
Let o(s) = s**3 - s**2 - 3*s + 3. Let x be o(2). Is 1*(248 - x) - -4 a prime number?
True
Suppose 15 = 5*r + b, 2*r + 3*b = 6*r - 12. Suppose -5*l = 4*m + 7, 5*l + 17 = r*m - 2*m. Suppose -m*w + 6*w = 356. Is w a prime number?
True
Suppose -t + 520 = 3*t. Suppose 4*w = v + 133, -3*w - w + 2*v + t = 0. Is w prime?
False
Suppose 22 = 4*v - 34. Let q = -7 + v. Is q a composite number?
False
Suppose z - 3 - 3 = 0. Suppose -2 = 2*t - z. Suppose 30 = t*y - 2*s - 6, 0 = -3*s + 9. Is y prime?
False
Suppose 26 = -5*c + 16. Is 1 - -55 - (c - 1) a composite number?
False
Suppose 2*y + 12 = 34. Let o = -7 + y. Suppose -o*q = -2*q - 242. Is q prime?
False
Let c = -68 + 296. Let f be 13/(3/c*1). Suppose -f + 243 = -5*z. Is z prime?
True
Let s(c) = -129*c**3 - 2*c - 1. Let y be s(-1). Suppose 0*g = -2*g + y. Suppose 2*b - g = -d, b - 3*d + 2*d = 40. Is b a composite number?
True
Suppose -1933 = -y + 2434. Is y prime?
False
Suppose 8*t = -4*t + 4308. Is t composite?
False
Let a be (-1 + 19)*(-1)/(-2). Suppose -5*z - 6 = a. Let m(y) = 4*y**2 + y + 4. Is m(z) prime?
True
Let q = 11 + -7. Suppose q*h - 2 - 138 = 0. Is h a composite number?
True
Let k = -4 - -12. Is k + (-3 - -1 - -1) prime?
True
Let x(p) = -p**3 + 10*p**2 + p + 8. Let b be (7/2)/((-1)/(-2)). Let u be x(b). Suppose m - u = -7. Is m a composite number?
True
Let a be (0 - -2)/((-4)/(-6)). Let i be a*(-4)/6 - 1. Is ((-14)/i)/(4/12) a prime number?
False
Suppose 6 = 4*x - x. Is (-4)/8*(-508)/x prime?
True
Is ((-14571)/54)/(2/(-12)) a composite number?
False
Let m(u) = u**2 + 10*u + 11. Let v be m(-10). Suppose -v = -4*w + 1. Is (-12)/8*(-74)/w a composite number?
False
Let u be -3*((-13 - -3) + -1). Let y = 139 - u. Is y a prime number?
False
Let m = 216 - 85. Is m prime?
True
Suppose -5*f + 15 = 0, -2*c + 6271 = -3*f - 2*f. Is c a composite number?
True
Let b = -3 - -5. Suppose b = a + 4, 4*p + 5*a - 6 = 0. Suppose -20 = 4*c, 0 = 5*u - u + p*c - 288. Is u composite?
True
Let z be 16/(-6)*(-15)/(-5). Is (-1620)/z - 2/(-4) prime?
False
Let l(d) = 2*d**3 - 4*d**2 - 3*d - 20. Is l(9) a prime number?
True
Let c = 62 - 36. Suppose 5*v = n + 154, 0*n + c = v + n. Suppose p = 25 + v. Is p composite?
True
Let l(y) = -1078*y + 1. Is l(-1) prime?
False
Let x be (-1 - -3) + 12/(-4). Let p be ((-2)/4)/(x/(-4)). Is p*(-1)/2*25 prime?
False
Let a be ((-12)/(-8))/(2/116). Suppose -a = -w - s, w - 5*w - 3*s + 352 = 0. Is w prime?
False
Let y = -147 + 296. Is y composite?
False
Let a = 1925 - 576. Is a a prime number?
False
Let n = 122 + 55. Suppose 5*v - n = 4*r, 0*v + 4*v - r = 135. Suppose 6*o = 3*o + v. Is o prime?
True
Let v(x) be the first derivative of x**4/2 + x**3/3 + 2*x**2 - 3*x + 1. Is v(2) a composite number?
True
Let r(w) be the first derivative of 2*w**2 - 2*w + 3 + 1/3*w**3. Is r(-7) a composite number?
False
Is (-4)/(-14) + (-2357)/(-7) a prime number?
True
Let n(l) be the third derivative of l**6/120 - l**5/40 + l**4/24 + l**3/6 - 3*l**2. Let s(p) be the first derivative of n(p). Is s(4) composite?
False
Let d = 19 + -8. Is 28/4*1*d composite?
True
Let o be (-11)/(-2 - (-3)/3). Let l(a) = 2*a + 9. Let v be l(-7). Let r = o + v. Is r prime?
False
Suppose -b + 0*b + 61 = 0. Let c = -6 + b. Is c prime?
False
Let r(h) = -77*h + 333*h + 8*h - 1. Is r(1) a composite number?
False
Suppose 0 = -3*l + 285 + 96. Let u = l - 68. Is u a prime number?
True
Let b be 3*(-3)/(-18)*186. Suppose b = -r + 4*r. Is r composite?
False
Let l(k) = 101*k**3 - 3*k**2 + 1. Is l(2) a composite number?
False
Suppose 0 = 3*b - 4*v, 7*v - 2*v = 4*b. Suppose 7*y - 15 = 2*y, 5*w - 3*y - 166 = b. Is w a composite number?
True
Let v(o) = -o**3 + 2*o**2 - 3*o. Suppose 0 = -5*a + 11 - 1. Let s be v(a). Is 3/s + 58/4 prime?
False
Let f(s) = 4*s - 6. Let u be f(8). Suppose -b + 14 = 4*v + 3, -b = -v - u. Is b a prime number?
True
Let g = 58 - 22. Let l = g - -142. Is l prime?
False
Suppose 51 = 3*q + 9. Is 9/3 - (-2 - q) composite?
False
Is (-3598)/(-3*4/6) a composite number?
True
Let n = -3 - -1. Is (1/n)/((-1)/278) a composite number?
False
Let z(g) be the second derivative of g**4/3 + g**3/6 - 2*g**2 + 2*g. Is z(3) composite?
True
Let o(u) = 30*u**2 - 9*u - 8. Is o(-5) prime?
True
Let k(w) be the first derivative of w**3/3 - 2*w**2 - 8*w - 1. Let b be k(6). Let l = 41 - b. Is l composite?
False
Suppose 3*l - 129 = -5*t + 158, 3*l + 3*t - 279 = 0. Is l a prime number?
True
Let b(z) = 5*z**3 + 4*z**2 + z + 1. Is b(4) a composite number?
False
Let w(j) be the first derivative of 10/3*j**3 + 1/2*j**2 - j + 2. Is w(-2) prime?
True
Suppose -5*c = x - 2*x - 12182, 2*c = 3*x + 4865. Is c a prime number?
True
Suppose 0 = 2*u + b - 258, 3*u - 132 = 2*u + b. Let q = -77 + u. Is q prime?
True
Let c = 850 + -513. Suppose s - 2*y = c, 0 = 4*s + s + 3*y - 1672. Is s a prime number?
False
Let f = -142 + 251. Is f composite?
False
Let k(r) = r**2 - r + 1. Let h(v) = -5*v**2 + 6*v + 9. Let b(y) = -h(y) - 4*k(y). Is b(-12) a composite number?
True
Suppose 4*h + 12 = 3*j + 8*h, 5*j = -h + 20. Suppose -j*t = 2*x + 2 - 28, 5*x - 4*t = -5. Is 575/x + 6/(-9) composite?
False
Suppose 5*k - 5*i - 195 = 0, 0 = 3*k + 2*i + 20 - 122. Is (-1 - -3) + (k - 1) composite?
False
Let z(s) = -s + 1. Let y(v) = -18*v - 5. Let x(j) = y(j) + 6*z(j). Suppose 2 = -2*u - 2. Is x(u) composite?
True
Let k(p) be the second derivative of 4*p**3/3 + 5*p**2/2 + 4*p. Let m be k(6). Suppose 1 = -2*r + m. Is r a prime number?
False
Is 2 + 3 + -3 + 1025 a composite number?
True
Let n = -20 - -27. Is n composite?
False
Suppose 0 = -3*w - w + 8. Let z be 17*-2*(-1 + w). Let t = z - -57. Is t a composite number?
False
Let z(p) be the third derivative of p**5/15 + p**4/8 + 2*p**3/3 + p**2. Let b = 9 + -6. Is z(b) composite?
True
Suppose -5*g + 0*x - x + 1259 = 0, g - 2*x - 243 = 0. Is g a prime number?
True
Let y(d) = 65*d**2 + 10*d - 22. Is y(3) a composite number?
False
Let q(i) = -i + 59. Let c be q(0). Let g = c - -144. Is g prime?
False
Suppose 4*s - 70 = -2*n, 3*s = 5*n - 2*s - 220. Let x = 102 - n. Let p = x - 8. Is p composite?
False
Suppose 7*t + 399 = 10*t. Is t a prime number?
False
Let l be 4 + (-384 - (-8)/2). Suppose 2*p = 4*p + 6. Is (-2 + 1)*(l - p) a prime number?
True
Let c be 5*5/((-75)/(-6)). Suppose -c*m + 0 = -2. Is (m + -4)*(-22)/3 a prime number?
False
Suppose 3*l = 8*l - 20495. Is l a composite number?
False
Suppose 2*p - 1287 = -5*m, -5*p + 0*p = -4*m - 3135. Is p a composite number?
False
Let b(x) = 57*x**2 - 8*x + 9. Is b(4) a composite number?
True
Let z = 4 - 1. Let b be (1/2)/(z/12). Suppose -b*w + 11 + 15 = 0. Is w a prime number?
True
Let y(n) = -n**3 - n**2 - 2*n - 3. Let t be y(-2). Suppose t*f - 3*o - 197 = 0, 2*f = -f + 3*o + 123. Is f a prime number?
True
Let l = 1 - -1. Suppose -c = 4*g - 4, 5*c - 2*c = 2*g + 12. Let v = c - l. Is v prime?
True
Let a(z) = -4*z**3 - 2*z**2 - z. Let m be a(-1). Suppose t - v + 22 = 2*t, m*v + 49 = 2*t. Is t prime?
True
Let f(g) = -g**3 + 3*g**2 + 0*g + g + 2 + 0*g. Is f(-3) prime?
True
Is (-36)/96 - 41078/(-16) composite?
True
Suppose 0 = k - 1389 