 f(b) = -6*b - 5. Let u(j) = -22*f(j) + 4*o(j). Let d be u(-10). Is d/(-8) - 1/(-4) composite?
False
Suppose g = -4*g - 5915. Is (-6)/(-8) - g/28 composite?
False
Let a = 133 - -72. Is a composite?
True
Suppose 3*d - 3580 - 3983 = 0. Is d a composite number?
False
Suppose 5*v = 3*o + 19489, -4*v - 2*o = -583 - 15017. Is v a prime number?
False
Is -5*(-391 + -4 + 6) a composite number?
True
Suppose -2*l = 3*n + 23 - 4, -5*n + 1 = l. Let g = 21 + l. Is g composite?
False
Let p = 2 - -2. Is p + (-2 + 1 - -68) a prime number?
True
Let j be 133 + 0 + 1 + 1. Suppose 0 = -4*x + j + 173. Is x a prime number?
False
Is -2*(-3)/(-15) + 18261/15 prime?
True
Suppose 55 = -2*p + 3*i + 167, -5*i = 10. Is p composite?
False
Suppose -5*j = 3*a - 47, -2*a + 3 = -5. Is ((-14)/j)/(4/(-118)) a prime number?
True
Let s = -109 + 182. Let n = 22 + s. Is n composite?
True
Let g(x) = -10*x**2 - 7*x. Let a(f) = f + 1. Let r(p) = -4*a(p) - g(p). Is r(3) a composite number?
True
Let p = -142 + 341. Suppose 0 = -5*b - p + 44. Let n = -17 - b. Is n a composite number?
True
Suppose 0 = 33*z - 34*z + 142. Let x = 257 - z. Is x a composite number?
True
Let z(a) = 49*a**3 + 5*a**2 - 11*a + 2. Is z(5) composite?
False
Suppose z - 11 = 1102. Suppose -c + z = 2*c. Is c a composite number?
True
Let z = 12 - 8. Suppose -16 = z*f - 0*f. Let i(k) = 6*k**2 - 6*k - 5. Is i(f) prime?
False
Suppose 0 = -k + 3*k - 6. Suppose 2*s + 5 = k*s. Let y = -2 + s. Is y prime?
True
Let u be 519/12 - (-15)/20. Let n = u - -329. Is n prime?
True
Suppose -2*i = 2*i + 3*d - 711, 5*d = -i + 165. Let l = i + -6. Suppose -2*w + 5*w - 3*t - l = 0, -t + 207 = 4*w. Is w composite?
False
Let s = 240 + -79. Is s a prime number?
False
Let y(v) = 48*v + 21. Let l(k) = -32*k - 14. Let f(u) = -7*l(u) - 5*y(u). Is f(-6) a composite number?
False
Let z(l) = -4*l - 9. Let x(a) = 3*a + 6. Let c(o) = 7*x(o) + 5*z(o). Let k be c(5). Suppose 0*w + 182 = k*w. Is w prime?
False
Let a(c) be the first derivative of -3/2*c**2 + 2/3*c**3 + 4*c - 1. Is a(-3) composite?
False
Let r(m) = 8*m**2 - 2*m - 9. Is r(-7) prime?
True
Let g(m) be the third derivative of 0*m**4 + m**2 + 0 + 5/2*m**3 + 0*m - 1/60*m**5. Is g(0) a prime number?
False
Suppose -v = -1 + 5. Is (-618)/(-8) - (-1)/v composite?
True
Let l be (-66)/(-18) + 2/(-3). Suppose 2*j = -l*j + 445. Is j a composite number?
False
Suppose 3*v = 961 + 296. Is v composite?
False
Is 1/(-1) - (-1925 - (-5)/5) a composite number?
True
Let f(n) = 2*n**3 - n**2 - n + 3. Suppose -3*k - 2*s = -s - 16, -s = -3*k + 8. Is f(k) composite?
True
Suppose -3*o + 596 = o. Is o prime?
True
Suppose 0*c + 4*c - 8 = 0. Is (94 + (c - -1))*1 a prime number?
True
Suppose 3*k + x - 570 = 0, -k + 2*k = -4*x + 179. Is k prime?
True
Let y(x) = 2*x - 2. Let m be y(2). Suppose 5*p + 4*g = m*p + 22, 20 = p - 5*g. Suppose -53 = -v - 3*r + 22, -5*r = -p. Is v a prime number?
False
Suppose -5*u + 23736 = -809. Is u prime?
True
Suppose -2*a = 4 + 6. Let o(r) = -2*r - 6. Let y be o(a). Is (102/4)/(2/y) prime?
False
Suppose 5*x = -271 + 31. Let h = x - -69. Is h composite?
True
Suppose 0 = -5*y + 1887 - 232. Is y prime?
True
Suppose 397 = -71*x + 72*x. Is x composite?
False
Suppose 3*o - 5 = 13. Let n be o/(-21) - (-2)/7. Suppose 3*r + n*r = 111. Is r composite?
False
Let t(a) = -a**2 - 3*a. Let f be t(-3). Suppose 5*z - 10 + f = -2*u, 0 = -5*u + 3*z + 25. Suppose 0 = 4*p - u*j - 580, -p = j + j - 145. Is p a prime number?
False
Let s(c) = 95*c - 13. Is s(6) prime?
True
Let t = -162 - -601. Suppose 2*r = -4*c + 218, 0 = 4*r - 0*r + 5*c - t. Is r prime?
False
Suppose -4*y = -4 - 12. Let g be 17*(10 + (3 - 4)). Suppose m - y*m = -g. Is m a composite number?
True
Suppose x - n = 583, -4*x + 4*n = -3*x - 589. Is x a composite number?
True
Let a(y) = -y**2 - 3*y - 4. Let c be a(-3). Let b be (-17)/(1 - (2 - 2)). Let j = c - b. Is j composite?
False
Is (-1)/(-5 - (-21788)/4358) a prime number?
True
Let v = 4993 + -3536. Is v a prime number?
False
Suppose 2*n + 165 = -n. Is (-11484)/n + (-1)/(-5) a composite number?
True
Suppose -3*y = -3*u + 276, -182 - 96 = -3*u + y. Is u prime?
False
Let f(p) = 8*p - 23. Is f(9) prime?
False
Let h = -1174 + 2489. Is h prime?
False
Let a(r) = 2*r - 1. Let l be a(6). Let o = l - 6. Suppose 2*u - m = o*u - 21, 5*u - 35 = -5*m. Is u composite?
False
Let a(s) = 28*s**2 - 7*s + 4*s + 2*s**2 + 2*s. Is a(-1) a composite number?
False
Suppose -t + 1 = -2. Suppose 4*m - t*x = 1213, -3*m + 2*m = -5*x - 316. Is m prime?
False
Suppose 4*z - 3*z = -2*w + 207, 3*z - 2*w = 661. Is z composite?
True
Suppose 4963 = 6*w + w. Is w a prime number?
True
Suppose 283 = 2*z - 699. Is z composite?
False
Suppose -w + 3*x = -15, -5*w + 5 = -3*x - 22. Suppose -4*j + w*h + 173 = -8*j, -40 = j + 4*h. Is (20/8)/((-2)/j) composite?
True
Suppose 5*b - 21 = 2*b. Let q = b + 0. Is q a composite number?
False
Let x = 22 - 14. Let t = -5 + x. Is 28/6*t*1 prime?
False
Suppose 13*s - 266 = -s. Is s a prime number?
True
Suppose -5*n - 17 = -v, -4*v = -2*n - 2 - 12. Let x(g) = g**3 - 8*g**2 + 8*g - 3. Let u be x(5). Is (3/2)/n*u a prime number?
True
Suppose -4*b + 3626 = -3914. Suppose 3*r - 1688 = 2*d - 579, -5*r - 4*d = -b. Is r a composite number?
False
Suppose -l + 3 + 22 = 0. Let w = 6 + l. Is w a prime number?
True
Let z(p) = -4*p - 6. Let q be z(-3). Suppose -5*d = -4*b - 347, q = -4*b + 2*b. Is d a composite number?
False
Let t be 4/(-12)*12/(-1). Suppose -g - 1011 = -t*g. Is g a composite number?
False
Is 6/(-12) - 5350/(-4) a prime number?
False
Let x(n) be the first derivative of n**5/40 + n**4/4 - 2*n**3/3 - 2. Let f(b) be the third derivative of x(b). Is f(5) composite?
True
Suppose -2*v + 3*o + 689 = 0, -v - 4*o = -3*v + 692. Suppose -2*i = -6*i + v. Is i a prime number?
False
Let g be (-379)/3 + 10/(-15). Is 2 - 4/2 - g composite?
False
Let y be (-1*(0 - 0))/2. Suppose 2*i - 3*g = 809, y = -5*g + 15 - 0. Is i composite?
False
Suppose -6*z = -8*z + 958. Is z prime?
True
Suppose y - 6*y + 25 = 0. Suppose -5*n - 4*g = -27, -2*g - 5 = 3*n - 20. Suppose -3*l = -x + n*x - 103, 0 = 3*x - y*l - 164. Is x composite?
False
Let j = 1464 - 831. Is j a composite number?
True
Let f(v) = v**2 + 5*v + 8. Suppose 3*r + 5 = -g + 10, 0 = 2*r + 4*g + 10. Suppose w = -r*w - 28. Is f(w) a prime number?
False
Suppose 11674 = 2*q + 1596. Is q a composite number?
False
Let w be ((-1)/2)/(3/(-12)). Suppose 0 = 5*j - x - 6, -x - w*x = -3*j - 6. Suppose 7 = -j*i + 4*o + 61, -12 = -3*o. Is i a prime number?
False
Is 3 + (-5 - (-43612)/4) prime?
False
Suppose 13 = 4*c - 3*c. Suppose 2*a + t - c = 0, t = -a + 5*t - 7. Suppose -a*w + 156 + 74 = 0. Is w composite?
True
Let c be 2/5 - 360/(-100). Is (-2212)/(-21) - c/(-6) prime?
False
Suppose 3*m - 7 = -1. Suppose -2*w = m*w. Suppose -2*s + w*s - 28 = -4*j, -2*j - s = -10. Is j composite?
True
Let h be (5 + -2)/(-3) + 6. Suppose -775 - 245 = -h*m. Suppose -2*t + 28 + 74 = 5*x, -5*x - m = -4*t. Is t prime?
False
Suppose 4*c - 602 - 590 = 0. Is c composite?
True
Suppose 0 = -4*z + 3*i + 9, 3*i = -2*z + 3 + 6. Suppose z*q - 23 = 34. Is q composite?
False
Let z be 1 - 0 - (2 - 0). Let y(v) = 60*v**2 - 1. Is y(z) composite?
False
Suppose 3*t = -r + 6, r + 0*t + 2 = t. Suppose 70 = 5*o - r*o. Is (-2)/(-7) + 206/o prime?
False
Suppose -4*j - 3*o = -4*o - 1145, -2*j = -5*o - 595. Suppose d - 4*d = -j. Is d a composite number?
True
Let s(b) = 7*b + 2. Let m = -9 + 16. Is s(m) a composite number?
True
Let d be 7 + 2 - 2 - 3. Suppose -2*t + d*t - 662 = 0. Is t composite?
False
Let a(p) be the second derivative of 4*p**4/3 - p**3/2 + p**2 + 4*p. Is a(-3) a prime number?
False
Let r(p) = 191*p**3 + 11*p**2 + 2. Let b(o) = -95*o**3 - 5*o**2 - 1. Let g(y) = 13*b(y) + 6*r(y). Is g(-1) composite?
False
Suppose 10*i - 25718 = -4*i. Is i prime?
False
Suppose d - 3*y - 6 = -0*d, 5*y = 3*d - 14. Let n be -2*43*(d - 4). Suppose -5*a + 3*q + 2*q = -80, 5*a - 3*q = n. Is a a prime number?
True
Let t(i) = i**2 - 11*i + 1. Let p be t(9). Let c = p - -36. Is c a composite number?
False
Let i be -13*(-2)/(-4)*-14. Suppose 0*t + 4*t + i = 5*m, -2*t = -2*m + 44. Let l = t - -58. Is l a composite number?
True
Let j(u) = 4*u**2 + 5*u + 4. Let m(r) be the first derivative of r**3/3 + 2*r**2 - r + 1. Let v be m(-2). Is j(v)