 + 14 - y. Is b(u) a prime number?
False
Let h = 535 + -132. Is h a prime number?
False
Suppose -5*c = -4*z + 28, -4*z + 28 = c + 3*c. Let f = -4 + z. Suppose 0 = f*y - 14 - 259. Is y a prime number?
False
Let n = -19 - -27. Suppose -2*r - 3*q = 2*q + 1, -4*r = 4*q + n. Is (13/r)/(5/(-15)) prime?
True
Suppose -6*r = -11*r + 10. Is r/(-3) + (-557)/(-3) a prime number?
False
Suppose h + 898 = 5*h + 2*f, 0 = -3*h + f + 666. Is h a composite number?
False
Let k = -220 - -546. Is k prime?
False
Let j(c) = -c**3 + 6*c**2 + 8*c - 3. Let q be j(7). Suppose a + 2*o = 197, o - q*o = 9. Is a composite?
True
Suppose -4*r + 2*q + 12 = -3*r, 0 = 2*r - 2*q - 14. Suppose -2*l = 3 + 3, -4*i + r*l = -746. Is i prime?
False
Suppose 5*b - 7 = 98. Let c(u) = -8*u**3 + u**2 + 2*u - 2. Let t be c(2). Let d = b - t. Is d prime?
True
Let i(z) = z + 1. Let w(l) = l**2 - 12*l + 3. Let k(h) = -2*i(h) - w(h). Let u be k(9). Suppose -2*d = -2*v + 438, -2*v + 5*v - 685 = -u*d. Is v composite?
False
Is 7266/4 - 4/(-8) prime?
False
Suppose 4*a = -w + 2211 + 1962, 0 = 4*w - 20. Is a a composite number?
True
Suppose 2*v = -2*v + 924. Let l = v + -142. Is l composite?
False
Let r be (5 + -6)*(0 + -1). Suppose -8 = -2*d + 2*f, 4*f + 9 + r = d. Is 78*(10/4 - d) composite?
True
Let r be (-185)/15 - (-1)/3. Let w be (-3)/r + (-927)/(-4). Let k = w + -165. Is k composite?
False
Let j(a) = -a**3 + 6*a**2 + 3*a - 2. Let h be j(6). Let o be (h/20)/((-2)/35). Let s = o - -33. Is s a prime number?
True
Let l be (1*-1)/(2/(-6)). Suppose 0 = -l*r + 10 + 101. Is r composite?
False
Suppose 3*i = i + 360. Let v(y) = -y**2 + 5*y + 1. Let t be v(4). Suppose t*g - 95 = i. Is g prime?
False
Suppose -w = 3*w - 596. Is w prime?
True
Let m = 447 + 82. Is m a prime number?
False
Let j(l) = -14*l - 5. Suppose 0 = -0*h + 5*h - 5. Suppose v = 3*r + h, 5*v = -3*r - 19 - 12. Is j(v) composite?
True
Suppose -3*d + 8 = d. Suppose -4*a - 2 = -3*l + 7, d*a = 4*l - 12. Suppose a = c - 13 - 10. Is c a composite number?
False
Let w(n) = -n**2 - 15*n + 3. Let y be w(-15). Let z(b) = 6 + 5*b - 2 + 2*b**2 - 3*b**2. Is z(y) a composite number?
True
Let f be (-20425)/(-15) - 2/3. Let o = -913 + f. Is (-3)/9 + o/3 composite?
False
Let m(i) = -i**2 + i + 1. Let d(z) = 6*z**2 + 2*z - 3. Let a(f) = d(f) + 2*m(f). Is a(-4) a composite number?
False
Let t(w) = 8*w**2 + 3*w - 1. Let p be t(2). Let y = 31 - 26. Suppose 3*g - p = -c, 0*c + 2*g = y*c - 219. Is c a composite number?
False
Suppose 0 = -0*o + 4*o - 844. Is o prime?
True
Let m(q) = -q**2 - 2*q + 4049. Is m(0) a composite number?
False
Let p(t) = 5*t**2 - t + 27. Is p(-20) a prime number?
False
Let y be 77 + 2 + 8/(-4). Suppose 220 = -4*f + q, -2*f = -7*q + 4*q + 110. Let k = y + f. Is k composite?
True
Let n = -20 - -25. Suppose 3*m - q = -4*q + 432, -n = 5*q. Is m composite?
True
Let v(b) be the first derivative of -37*b**4/4 - b**3/3 + b + 4. Let s be v(-1). Suppose 0 = -c + m - 2*m + s, 5*c - 2*m - 171 = 0. Is c prime?
False
Let m = 6 - -1. Suppose 3*k = m + 8. Suppose -k*t + 497 = -3*g, -2*g - 16 = 2*g. Is t a prime number?
True
Suppose 3*h + 2*h - 655 = 0. Is h prime?
True
Suppose -3*l - 3*d + 3 = -0, 6 = -3*d. Suppose 0*x = -2*x + 4*t + 1106, 548 = x - l*t. Is x a composite number?
False
Suppose w = -4*d - 3*w + 752, 4*d + 5*w = 749. Is d composite?
False
Suppose -s + 5*m + 115 = 0, -3*s - 5*m + 329 = -4*m. Suppose -206 = -3*w - a, a - 163 - s = -4*w. Is w prime?
True
Let i(p) = -p**2 + 3*p - 2. Let u be i(4). Let d(b) = -4*b - 9. Is d(u) composite?
True
Suppose 3*t + 21 = 4*f - 14, 2*f - 12 = -4*t. Let h(r) = 9*r**2 + r + 9*r + 3 - r**2 - r**3. Is h(f) a composite number?
False
Is ((-3)/18 - (-22043)/21)*2 composite?
False
Suppose 2*r = -2*b + 1250, 2*b - 4*r - 545 = 693. Is b prime?
False
Let a = 14495 - 9718. Is a a prime number?
False
Suppose 5*c - 37 = -7. Let f be 1 + (-3)/(c/14). Let r = f - -41. Is r prime?
False
Let m = 823 + -1216. Let c = -274 - m. Is c prime?
False
Suppose 4*o - 2*o - 110 = 0. Is o prime?
False
Is 1/1 - (4 + -130) prime?
True
Suppose -7*p + 8*p = 797. Is p a composite number?
False
Suppose 0 = 8*z + 1192 - 15072. Is z composite?
True
Suppose 0*n = -3*n. Let d be -9*(n + 33/(-3)). Suppose -z = 2*z - d. Is z prime?
False
Suppose -v = -6*n + 2*n + 24, v = 5*n - 30. Suppose l - 6*m = -m - 18, 0 = -3*l + 3*m + n. Is l composite?
False
Let a = 3109 - 2078. Is a a prime number?
True
Suppose 5*o + 25 = -2*m, m = -o - 9 + 1. Let j = -1 - o. Is 1 + -1 + 4/j composite?
False
Let u = -1051 + 4116. Is u composite?
True
Suppose 3*u = 0, -q + 0*u + 2*u = -841. Is q a prime number?
False
Let u(f) be the second derivative of f**4/2 + f**3/6 - 7*f**2/2 + 2*f. Is u(-6) a prime number?
False
Let z(i) = 2*i**2 + 1. Let g(m) = m**3 - 2*m**2 - 3*m - 3. Let x be g(3). Let k = 0 + x. Is z(k) composite?
False
Suppose u = -0 + 15. Is -5*(-6)/u - -333 a composite number?
True
Let j = 955 - 308. Is j a composite number?
False
Let y = 2771 + -1558. Is y composite?
False
Let y(r) = -30*r + 5. Is y(-3) composite?
True
Let c = 3 - 3. Suppose 2*d + c*d = -4*w + 86, 3*d + 2*w - 109 = 0. Let g = 112 - d. Is g a composite number?
False
Suppose 0 = -2*w - g + 584, 0 = w - 4*w + 5*g + 889. Is w prime?
True
Let j(t) = -89*t**2 + t - 1. Let l(n) = 266*n**2 - 3*n + 3. Let p(v) = 17*j(v) + 6*l(v). Is p(1) composite?
False
Suppose -5*c + 5*s + 960 = 0, c + 2*s - 88 = 89. Suppose 0 = 5*p - 25, 4*v + 0*v + 3*p = c. Is v a prime number?
True
Is (0 + -2)/((-24)/2556) a prime number?
False
Is ((-1055)/10)/((-1)/2) prime?
True
Let f(w) = -w**2 - 3*w + 2. Let b be f(-2). Suppose b*o + l - 1575 = 2, -3*o = -l - 1188. Is o composite?
True
Let g(m) = m**3 + 3*m**2 - 4*m + 4. Let j be g(-4). Suppose -5*h + 744 = 4*b, -j*b + 963 = b - 2*h. Is b composite?
False
Let r(z) = 21*z**2 + 2*z - 4. Let g(l) = 3*l - 3. Let o be g(2). Is r(o) prime?
True
Let u = -29 - -24. Let s = u + 27. Is s prime?
False
Let y(p) = -2*p - 12. Let m be y(-9). Let c = -12 + m. Is 798/24 + c/(-8) a composite number?
True
Suppose -3 = -2*f - 9. Suppose 2*w + 7 = m, 4*w + 11 = m - 6. Is 1 - -94 - (w - f) prime?
True
Let p(o) = 2 - 6*o**2 - o**3 + 0*o**3 + 2 - 5*o. Let s be p(-5). Suppose -4*q = 3*v - 269, s*v + q - 454 = -v. Is v a composite number?
True
Suppose -4*y = 5*p + 9 - 4, -2*y + 2 = -2*p. Suppose -3*d + 2*i + 28 = 0, y = 4*d - i - 10 - 29. Is d composite?
True
Let q(b) = 25*b - 26. Is q(9) a prime number?
True
Suppose 3*i - 5*u = 1244, -3*i + 1281 = 5*u + 47. Is i a prime number?
False
Let f be -1 - -5 - (0 - -1). Is (3 - -51) + 1 + f a composite number?
True
Let m = -398 + 592. Suppose -d = -3*d + m. Is d a composite number?
False
Let m be 4/16 + 319/4. Let n = m + -41. Is n composite?
True
Suppose -636 = -14*i + 8*i. Is i a prime number?
False
Let z(p) = p**3 + 4*p**2 + p - 1. Let q be z(-3). Suppose 2*t - 2 = 0, -4*k = -3*k - q*t - 14. Is k a prime number?
True
Let d = 63 - -20. Is d prime?
True
Is (-6)/(-2) - (-957 - -5) a composite number?
True
Suppose b - 5*r - 8 = -r, r + 8 = b. Let i(s) = -s**2 + 3*s - 4. Let d be i(4). Is (-1158)/d + 2/b prime?
False
Let p(w) = 6*w**2 - 7*w - 2. Let j(g) = g**2 - g. Let r(a) = -3*j(a) + p(a). Is r(5) a composite number?
False
Is 755 + 0 + (1 - (-12)/(-4)) prime?
False
Suppose 0 = g - w - 8, g - 6 - 5 = 2*w. Suppose -4*k = -g*k + 4. Let i(q) = q**3 - 2*q**2 + 5. Is i(k) a prime number?
True
Suppose -4*c = -5*j - 37, 5 = 3*c + j + 1. Suppose -c*s + 3*x - 27 = -7*s, s + x = 8. Suppose 0 = s*o + z - 75, 2*z + 3 - 128 = -5*o. Is o a prime number?
False
Let s be 32/(-6)*15/10. Let c(q) = q**3 + 9*q**2 + q - 3. Is c(s) prime?
True
Let g(o) = o**2 + 2*o - 2. Let p be g(-4). Let l = p - -29. Is l composite?
True
Let d(q) = -q**3 + 10*q**2 - 9*q - 5. Is d(7) a composite number?
False
Let u(c) = 7 + 8*c + 0*c - 3 + c**3 - 9*c**2. Let o be u(8). Suppose -47 - o = -z. Is z composite?
True
Let q(k) = 0*k - 3*k - 1 + 4 + k**2. Let t be q(3). Suppose -5*o = 4*y - 1046, 0*o - t*o + 1042 = 4*y. Is y composite?
True
Let x = -6 - -8. Suppose 8 = 4*r, 0*r = x*n - 5*r - 124. Is n a prime number?
True
Suppose 4 = 4*c, 0 = 5*u + 5*c - 171 - 364. Is u a prime number?
False
Is 106*1/(-2)*-1 a composite number?
False
Suppose -i = 3*i. Suppose i = 4*m - 2*v - 274, -m + v - 131 = -3*m. 