 - v(y). Let w be o(4). Is w/10 - 12/30 composite?
False
Suppose 2*v = 5*a + 3197, 4*a - 2322 = -v - 717. Is v prime?
True
Suppose -2*l + 143599 = 3*j, 4*j - 191484 = -0*j + 2*l. Is j composite?
False
Suppose -4*x = -w - 120, 13 = -0*x + x + 4*w. Let l = 74 + x. Is l composite?
False
Let b(z) = -616*z + 1. Is b(-25) a prime number?
True
Suppose -3*o - 5*s - 5 = 7, -12 = 3*o - 4*s. Let v(j) = -15*j**3 - 19*j + 3. Is v(o) a prime number?
True
Let x = 2820 + 119. Is x a prime number?
True
Let v(d) = 4*d**2 - 2*d. Let l be v(2). Suppose w + 2*w = l. Suppose -3*u = w*i - 149, -4*u = -2*u - 4*i - 126. Is u a prime number?
False
Let r = 2 + 0. Suppose -998 = -4*s + r*s. Is s a composite number?
False
Suppose -7*t + 10*t - 42 = 0. Let g(j) = 49*j + 23. Is g(t) composite?
False
Suppose 3*w + 1437 = 2*g, 6*g - 3601 = g - w. Suppose 4*o = -0*o + g. Let q = 283 - o. Is q a prime number?
True
Let o(t) = 8*t**2 - 4*t + 1. Let p(b) = -7*b**2 + 3*b - 1. Let r(q) = -5*o(q) - 6*p(q). Let n be -8*(-3)/(9/(-3)). Is r(n) composite?
False
Let i(q) be the second derivative of 7/6*q**3 + 1/12*q**4 - 6*q + 0 + 7/2*q**2. Is i(10) composite?
True
Suppose -128 = -0*k - k. Suppose -66*c + 10 = -64*c. Suppose c*s = 137 + k. Is s a prime number?
True
Suppose 0 = -5*j - 18*i + 21*i + 47339, 0 = -4*j + 4*i + 37868. Is j a composite number?
True
Let b(d) = d**2 + 16*d - 40. Let t be b(-18). Let o(k) = -2 + 0 - 3 - 66*k. Is o(t) composite?
True
Suppose -r + 22 = 3*y, -3*y = -4*r + r - 42. Suppose 3*w + y = 39. Is 10/w + 1 + 129 prime?
True
Let j = 2416 - 131. Is j a composite number?
True
Suppose 0 = 2*n - f - 1, -f - 16 = 3*n - 6*f. Let k(x) = 26*x - 2. Let b be k(n). Suppose 8*v - b = 4*v. Is v prime?
True
Suppose 0 = 21*f - 7862 - 10303. Is f a composite number?
True
Suppose -8*s = -3*s - 5*f - 224500, 2*f = -3*s + 134715. Is s a prime number?
False
Suppose 3*f = -4*n - 1 - 2, 3*n = f - 12. Suppose 5*l - p = 957, 206 = 2*l + f*p - 170. Is l a prime number?
True
Let p = 28811 - 13438. Is p composite?
False
Let v be 2/5 - 155552/(-20). Suppose v - 294 = 4*z. Suppose -5*s + z = 4*k, -k = 2*s + 3*s - 464. Is k composite?
True
Is 21/7*59692/(-48)*-4 a composite number?
False
Let x(n) = 5*n**2 + n - 3. Suppose 4*v - 18 - 6 = 0. Let k be x(v). Let b = -114 + k. Is b a composite number?
True
Let p = -10724 + 17131. Is p composite?
True
Let n be -1 + (-3)/6*-4. Suppose -3*c - 8 = 4*p - n, 2*c = 4*p - 18. Suppose p*j - j - 139 = 0. Is j a composite number?
False
Suppose -3*x - 2*y = -121825, -2*y - 162438 = 36*x - 40*x. Is x a composite number?
False
Let f(a) = a**2 - 6*a - 5. Let o be 300/48 + 3/4. Let q be f(o). Suppose 2*d + d + 320 = 4*r, -q*d - 316 = -4*r. Is r prime?
False
Let p(j) = 3*j**2 + j + 6. Let q be p(-6). Let f(y) = -y**2 - 8*y + 22. Let n be f(-9). Suppose -o + q = -n. Is o a prime number?
False
Let n = -118 + 188. Let s be (-2 + 2 + n)*1. Suppose 4*j - 6 - s = 0. Is j composite?
False
Let t be ((-2)/(-2))/(4/8). Suppose -3*g + 4 = -t*i, i = 5*g - 4*i. Suppose g*j = -60 + 536. Is j composite?
True
Let h be (-4)/((-2)/(-2)) + -2 + 10. Suppose h*a - a - 3581 = -r, 5*a + 7184 = 2*r. Is r a prime number?
False
Let s = -13864 - -28169. Is s a prime number?
False
Let g = -10 - -12. Let s(j) = 2*j - 1. Let z be s(g). Suppose -z*c = -8*c + 2515. Is c a composite number?
False
Let t(z) = 715*z - 21. Is t(5) a composite number?
True
Let g be (20/15)/(4/6). Let y be ((-1)/g)/((-2)/15020). Suppose -y = -f - 4*f. Is f a composite number?
False
Let x = 807 + -253. Let m = -353 + x. Is m a composite number?
True
Suppose 0 = -2*u - 16 + 22. Suppose 0 = h + 2*c - 45, -3*h - 2*c = u*c - 136. Is h a composite number?
False
Let k = -2065 - -16308. Is k prime?
True
Is (2/(-14))/((-32)/10725344) a prime number?
True
Suppose 179663 = -2*p + 13*p. Is p a prime number?
True
Let v(n) = 573*n - 140. Is v(11) prime?
True
Is 10*(-7)/(-70)*5981 prime?
True
Let r = 9 - 7. Suppose -n = 2*o - 292, -4*n - r*o + 601 = -567. Let p = n + -137. Is p prime?
False
Let z be (-2)/(-15) + (-189126)/945. Let v(x) = 14*x**2 + 6*x - 1. Let k be v(5). Let c = z + k. Is c composite?
False
Let h(y) = 23*y**3 + 4*y**2 + 9*y - 13. Is h(4) a composite number?
False
Suppose 4*s - 2*b + 371 = -23, s = -4*b - 76. Let i(w) = 3*w**2 + 10*w - 27. Let k be i(-10). Let a = k + s. Is a a prime number?
False
Let q(c) be the third derivative of 2*c**4 - 13*c**3/6 + 4*c**2 - 2. Is q(9) prime?
True
Let s = -679 - -1392. Is s composite?
True
Is (-2*(-1)/4)/(19/3246378) prime?
False
Is 200850/42 + 12/14 a composite number?
False
Let y(c) = 272*c**2 - 10*c + 15. Is y(4) a prime number?
True
Let g(w) = -2*w + 9. Let y be g(6). Let z be (4/y)/(1/(-6)). Suppose -4*a - 956 = -z*a. Is a composite?
False
Let o be 2*12/(-8) - -12. Is (-1569)/(-6) - o/(-6) a prime number?
True
Let n be (-500)/(-24) + (-2)/(-12). Let r be (4 + -1)/(n/28). Suppose -6*g - 670 = -2*w - 2*g, 0 = r*w - 2*g - 1322. Is w prime?
False
Let u(c) = -4*c**3 + 59*c**2 + 15*c + 3. Let q(s) = s**3 - 15*s**2 - 4*s - 1. Let a(k) = 9*q(k) + 2*u(k). Let v be a(12). Is ((-4)/(-6))/((-10)/v) composite?
False
Suppose -44189 = -13*b + 44224. Is b composite?
True
Let k = 79 - -1822. Is k prime?
True
Let h = 49 + -28. Suppose h = 5*s - 4. Suppose 0 = -s*b + 3*z + 711, 0*b - 5*b + 5*z = -715. Is b a prime number?
False
Let f(i) be the first derivative of 33*i**5/40 - i**4/12 + 4*i**3/3 + 8. Let n(c) be the third derivative of f(c). Is n(3) composite?
True
Let d(q) = -1661*q + 5. Let i(v) = 1661*v - 6. Let a(z) = -5*d(z) - 4*i(z). Let u be a(1). Suppose -6*c + u = -2*c. Is c prime?
False
Suppose -j - 110 = -2*s, -334 = -5*s + 4*j - 62. Let l be ((-10)/7)/((-8)/s). Suppose -7*w = -l*w + 237. Is w composite?
False
Let m(h) = 251*h + 501. Is m(43) a prime number?
False
Let o = -11 + 13. Suppose 0 = 3*v + z - 793, v - o*z - 281 = z. Let m = -179 + v. Is m a composite number?
True
Let z = 1536 - 877. Is z prime?
True
Is 27/(-216) - (-407026)/16 a composite number?
False
Is -8209*8/(48/(-6)) a composite number?
False
Let i = 11 + -10. Is (i + -4)*631/(-3) composite?
False
Let t(s) = 3*s**2 - 2*s + 1. Let b(m) = -m**2 - 4*m + 1. Let k be b(-4). Let a be t(k). Suppose 249 = -a*n + 5*n. Is n a prime number?
True
Let p(f) = -13*f**3 + 24*f**2 + 21*f + 1. Is p(-9) composite?
True
Suppose 35336 = 3*d + x, 8*d + 5*x + 35306 = 11*d. Is d prime?
True
Suppose 5*y - 10327 = 10308. Is y composite?
False
Suppose 0 = 3*r - 6, 3*p - 50 = -0*r + 5*r. Suppose 6*k - 3*k + p = 2*t, -8 = 2*t + 4*k. Is ((-130)/t)/((-3)/6) a prime number?
False
Is 10/(-8) + (-507)/(-156) + 7761 composite?
True
Suppose 22*h - 24193 = 9*h. Is h prime?
True
Is (2*(-359)/2)/((-20)/100) composite?
True
Let k be ((-7)/7)/((-1)/7181). Suppose 1582 - 8767 = -3*y - 3*j, k = 3*y + j. Is y prime?
True
Let z(m) = -56*m - 3. Let a(y) = y. Let q(k) = -6*a(k) - z(k). Let g be q(2). Suppose -2*j - g = -5*j + 4*h, -j + 35 = -h. Is j prime?
True
Let h = 1206 + 2401. Is h prime?
True
Let w(h) = 38*h**3 + h**2 + 2*h + 4. Let s(x) = x**3 - 3*x**2 - 4*x + 3. Let j be s(4). Let b be w(j). Suppose -4*c - c = -b. Is c a prime number?
False
Let c = 1427 + -276. Is c a prime number?
True
Let k be (1/(-4)*-2)/((-1)/(-58)). Let h(j) = j**3 - 27*j**2 - 40*j + 69. Is h(k) a prime number?
False
Is 89*678/18*3 a composite number?
True
Is (30/20)/((-15)/(-17960)) - -3 a prime number?
False
Let x(b) be the first derivative of 1177*b**3/3 - 5*b**2 + 25*b - 9. Is x(2) a composite number?
True
Is ((-2)/(-4))/(((-115)/726130)/(-23)) composite?
False
Suppose -15 = -13*c + 8*c. Let u(s) = 279*s**2 + 4*s - 2. Is u(c) prime?
True
Let v = 1849 + -961. Suppose -5*p = 5*k - 1797 - 458, -v = -2*p + 5*k. Suppose 2*j - p = j. Is j prime?
True
Suppose 2*i - 3*i - 1 = 0, 2*l = -3*i - 17. Let m(j) = -6*j + 9. Let p be m(l). Let z = p + -32. Is z a prime number?
True
Suppose -2*g + 5*g - 120 = 0. Let o = -1 + g. Is o a prime number?
False
Let u = -3991 + 11972. Is u a composite number?
True
Let f(v) = v**2 - 3*v**2 - v**3 - 17 - 7*v - 13*v + 31*v. Is f(-9) prime?
False
Let q = -66 - -95. Let g = 772 - q. Is g a prime number?
True
Let g = 27 - 25. Let v(c) = 5*c**2 + 13 - 16*c + 21*c - g*c**2. Is v(-9) a prime number?
True
Let a(s) = s**3 - 7*s**2 + 6*s + 3. Let n be a(6). Suppo