Is v(l) a prime number?
False
Let f be (-2)/(-1 + (-6)/(-10)). Suppose 0 = -t + f*t. Suppose t = 3*h - 33. Is h composite?
False
Let m = -7 - -10. Suppose 0 = -m*g + 678 - 105. Is g prime?
True
Is 4/(-6) + 1905/9 a composite number?
False
Let z be ((-2)/6)/(11/33). Is 336 + (-2 + 1)/z a prime number?
True
Let y(f) = -f**2 - 2*f - 6*f + 2*f - 6*f + 7. Is y(-12) composite?
False
Suppose -t - 3*u + 16 = 0, 2*t = 3*u - 4*u + 37. Is t a composite number?
False
Let u be (24/10)/(2/(-130)). Let i = -97 - u. Is i composite?
False
Let p = -122 + -26. Is ((-6)/4)/(6/p) a prime number?
True
Let q be 1/(-3) + (-5259)/(-9). Suppose -3*r = r + q. Is 1/2 - r/4 prime?
True
Let l be -1*(0 + -631)/(-1). Let z = 377 + -1379. Let d = l - z. Is d composite?
True
Let r(y) = 5*y**2 + 1. Suppose -2 = 4*n - 7*n - m, 0 = 5*n - 5*m + 30. Is r(n) a prime number?
False
Let t(o) = -14*o**3 + o**2 - 4*o - 3. Is t(-2) composite?
True
Let x = -95 - -156. Suppose 0 = 2*p - 5*y - 33, -4*y = p + 2*p - x. Is p a composite number?
False
Let g = 17 + -7. Let v(j) = 3*j + 7. Is v(g) a prime number?
True
Let m(l) = -l - 2. Let s be m(-1). Let d(t) be the second derivative of 13*t**4/3 - t**2/2 + t. Is d(s) composite?
True
Let x = 22 + -12. Let l(i) = 34*i - 1. Is l(x) a prime number?
False
Let v(l) = -85*l - 1. Let r be 1/(-2) + 3/(-6). Let u be v(r). Suppose 3*n + n = u. Is n a prime number?
False
Let h = -1745 - -2804. Is h a prime number?
False
Suppose -6*g + 2*g = -720. Let y = 475 - g. Is y a composite number?
True
Let y be (0 - 5)/(1/(-11)). Let n be ((-2)/3)/(1/(-6)). Suppose -n*w = w - y. Is w composite?
False
Is (-2)/(-8) - (1423/(-4) - -1) a composite number?
True
Let f be (2/(-4))/(4/8). Let l be f/((21/(-306))/(-7)). Let z = -37 - l. Is z prime?
False
Let u(o) = 20*o - 4. Let s be u(3). Suppose s = q - 66. Let p = q - 53. Is p composite?
True
Let p(f) = -f**3 + f**2 - f - 1. Let v(q) = 6*q**3 - 8*q**2 + 13*q + 10. Let z(l) = 5*p(l) + v(l). Is z(6) prime?
False
Suppose 0 = -3*u + u + c + 3986, 0 = 5*u - 2*c - 9963. Is u prime?
False
Let j be (-130)/(-14) - (-4)/(-14). Is 2 + j*7 + 0 a prime number?
False
Is 1734/2*22/33 + 1 a composite number?
True
Suppose 4*q = -16, -7*n + 4*q = -4*n - 613. Is n composite?
False
Suppose 4*m + 19 - 68 = -5*c, -40 = -5*c + 5*m. Let z = c - -2. Is z a prime number?
True
Suppose -3*m + 5*q + 21 = 0, m - 2*q - 4 = 2*m. Let n(t) = 22*t**2 + 3*t. Is n(m) a prime number?
False
Suppose 3*m - 2*w - 5 - 422 = 0, -2*m - w + 287 = 0. Is m a prime number?
False
Let v be (-12)/(-10)*(-15)/(-2). Let c = v - 6. Suppose -132 = -c*b - b. Is b a composite number?
True
Suppose 8*s - 2184 - 2896 = 0. Is s a prime number?
False
Let h(g) = 13*g**2 + 3*g**3 + 11 - 4*g**3 - 2*g + 7*g + 13*g. Is h(14) a composite number?
False
Suppose 3*y = 9 - 0. Suppose 48 + 174 = y*v. Is v a composite number?
True
Suppose 5*z = -0*m + 2*m - 24, 5*m + 3*z = -2. Suppose d = -m*d - 9, -n + 266 = -d. Is n a composite number?
False
Let r = 19 - 14. Suppose -706 = 3*k - r*k. Is k composite?
False
Let g(y) be the first derivative of y**2 - 4*y - 2. Let b be g(3). Suppose -b*w - w = -327. Is w a composite number?
False
Let j be 1/4 + 6/8. Let r = j + 8. Suppose o = r + 17. Is o a prime number?
False
Suppose 0 = 3*r - 4*r + 3. Suppose -5*y = -3*u - 136, 90 = r*y - 2*u + 8. Is y a prime number?
False
Suppose -g - 3*h = -142, 5*g = g - h + 513. Is g prime?
True
Is -2 + 1 + -3 + 531 a prime number?
False
Let d(c) = 187*c**2 + 1. Let s(t) = -t**2 + 9*t - 9. Let x be s(8). Let r be d(x). Is (r/(-12))/((-1)/21) prime?
False
Let j = -204 - -653. Is j composite?
False
Let u be (-9)/(-6) - 8708/8. Let g = u + 1572. Is g a prime number?
False
Is ((-6742)/6)/(8/(-24)) prime?
True
Suppose -3*g + c + 1891 = 0, -2*g + 3*c = 6*c - 1246. Is g a prime number?
False
Is 4/(-12) + (-3613)/(-3) - 1 a prime number?
False
Let w = 6 + -2. Suppose 0*p + w = -2*p. Is -1 - (-162)/(1 - p) composite?
False
Suppose -3*t - 26 = -209. Suppose t + 19 = -5*n. Is -10*(n/(-10) - 2) prime?
False
Let t = 858 + -595. Is t a composite number?
False
Is ((-33)/(-9) + 5)*6/4 composite?
False
Let f(p) = -2*p + 8. Let h be f(6). Is (48/8)/(h/(-58)) prime?
False
Suppose j - 4*j + 12 = 0, -4*j + 732 = 4*i. Let u = -18 + i. Is u prime?
False
Let s(h) = h**2 - 16*h + 3. Is s(20) a composite number?
False
Let f(n) = n**3 - n**2 - n + 2. Let o be f(2). Suppose -3*q + 2952 = -5*i, -o*q - 4*i + 2*i + 3936 = 0. Let g = q + -691. Is g composite?
False
Suppose -l - 88 = -5*l. Is 1*5*(l + -9) a composite number?
True
Suppose -z + 719 = -t, 2*z - t - 1468 = -5*t. Suppose 2*a - 2*w + 7*w = 563, 3*a - 838 = -w. Suppose 5*v - z = -a. Is v prime?
True
Let d = -179 - -472. Is d composite?
False
Let a(q) = -2*q**3 - 4*q**2 - 5*q - 2. Suppose 5*b - 4*x + 7 = -9, -10 = 2*b + 2*x. Is a(b) composite?
True
Suppose 6703 - 1611 = 4*t. Is t composite?
True
Let a = 1318 - 453. Suppose -1008 = -3*r - 5*z, 5*r - a = 4*z + 778. Is r a prime number?
True
Let m(x) = x + 8. Is m(11) composite?
False
Suppose 0 = 3*n + k - 1460, -3*n - k = -n - 973. Suppose -n = -5*y - r, y + 4*r = 6*y - 477. Is y prime?
True
Let u = -4 - -9. Suppose -u*b - 38 = -88. Let w = 13 + b. Is w a prime number?
True
Let d(c) = 19*c**2. Let j be d(-5). Let u = j - 266. Is u a prime number?
False
Let k(r) = 4*r**2 - 5*r - 2. Let p be k(-10). Let y = -285 + p. Is y a composite number?
False
Let o(p) = -17 - 6*p + 2*p**2 + 0*p + 18. Is o(-15) composite?
False
Let s(g) be the second derivative of g**3/6 - g**2/2 + g. Let u be s(6). Suppose u*y - 49 = 106. Is y a prime number?
True
Let z be 0/(-2 - -3) - -2. Suppose 0 = -6*b + z*b + 16. Suppose -33 = b*y + 4*k - 193, 5*y + 2*k - 191 = 0. Is y prime?
True
Let r(m) = 15*m**2 + 2*m + 5. Is r(6) a prime number?
True
Let i be 1185/7 - 8/28. Suppose -2*y - 3 + i = 0. Suppose 3*s - 10 = y. Is s a composite number?
False
Let o = -125 + 544. Is o a prime number?
True
Let d(y) = -y**3 + 2*y**2 - 3*y - 3. Let h be d(-4). Suppose -38 - h = -j. Is j a prime number?
False
Suppose 2*d - 162 = 3*r - 5*r, 4*d = -3*r + 238. Is r composite?
True
Let l(k) be the first derivative of 10*k**3/3 - 3*k**2/2 + k - 4. Is l(2) prime?
False
Let t = 2 - 2. Let h be t - -2 - (-2)/(-1). Is (h - -14)/((-4)/(-10)) a composite number?
True
Suppose 3*x = -x. Let n(z) = 3*z**2 - 2*z - 11. Let g(p) = 7*p**2 - 5*p - 21. Let m(r) = 2*g(r) - 5*n(r). Is m(x) a composite number?
False
Let h(z) = -2*z. Let q be h(0). Suppose 4*r - 2241 + 29 = q. Is r a composite number?
True
Suppose -3*b + 16 = -2*y - 1, 3*b + y = 14. Suppose b = -3*m - 2*m. Is (0 + -1 - 14)/m a prime number?
False
Let n(r) = -r**3 - 5*r**2 - 9*r - 11. Is n(-6) a prime number?
True
Let j(a) = 7 - 5*a - 5 + a**2 + a. Suppose -5*s + s - 41 = -3*r, -2*r + s = -19. Is j(r) a prime number?
True
Let v(x) = 0 - 1 + 3*x**2 + 2*x + 2. Suppose -5*j + 2 + 18 = 0. Is v(j) a composite number?
True
Suppose -3*t = 386 - 995. Suppose 4*g - t = 3*g. Is g composite?
True
Let s be 414/(-8) + 9/(-36). Let o be s/16 - (-2)/8. Is o/(-6) + 207/6 a prime number?
False
Let a(i) = -i**2 - 4*i. Let g be a(-4). Suppose 2*z + 4*c - 594 = 0, g*c + 5*c + 1162 = 4*z. Is z a composite number?
False
Suppose 5*v - 5*w = 17 + 8, 3*v = -3*w + 33. Suppose -555 = 3*i - v*i. Is i composite?
True
Suppose -3*h + 523 = 2*a, 5*a - 1314 = 2*h - 3*h. Is a prime?
True
Suppose 0 = -15*s + 12*s + 447. Is s prime?
True
Let q = 1927 + -1314. Is q a composite number?
False
Suppose m - 41 = -0*m. Suppose -4*a + 34 = -5*q - 80, -67 = 3*q - a. Let y = m + q. Is y composite?
False
Let s be (-72)/(-16) - 2/4. Suppose -3*a + 5*a + s*u - 122 = 0, -203 = -3*a + 4*u. Suppose 5*l = -2*d + a, -3*d - 52 = -4*l - d. Is l a composite number?
False
Let b = -21 - -35. Is b a composite number?
True
Suppose -1 - 1 = -2*n. Let r be 1 + n*3/(-3). Suppose g + 3*b - b - 77 = 0, 4*g - 4*b - 308 = r. Is g a prime number?
False
Let t be (62 + -3)*(3 + 4). Suppose 2*v = -3*k + t, -v = v - 4*k - 434. Is v prime?
True
Suppose 0 = n + 5 - 1. Let t(c) = -23*c + 1. Is t(n) a composite number?
True
Suppose 11544 + 11878 = 14*h. Is h a prime number?
False
Suppose 348 = -o + 3*o. Suppose -i + 49 = -o. Is i a prime number?
True
Is (-6258)/4*14/(-21) composite?
True
Let p(f) = 137*f + 40. Is p(6) a prime 