1. Suppose -2*y = -a*y + 2. Let c(k) = 53*k**2. Is c(y) prime?
True
Let t = -202 + 669. Let j = t + -326. Is j composite?
True
Let k(l) = 63*l - 1. Suppose 3*v = 4 - 1. Is k(v) prime?
False
Suppose -5*a + 3 = -3*c, 2*a + 2*c - 14 = -0*c. Suppose -a*m + 2*t = 8, -2*m - t - 2 = -6. Suppose m*l - 2*l + 602 = 0. Is l prime?
False
Suppose 0 = 4*v - 564 - 280. Is v a composite number?
False
Let v be ((-1)/2)/((-1)/28). Let q(c) = v*c + 3 + 2*c + 0. Is q(4) a composite number?
False
Let z(c) = -7*c + 1. Let b(n) = 3*n. Let x(p) = 5*b(p) + 2*z(p). Let r be x(7). Let l = r + 5. Is l a prime number?
False
Suppose -2*i - 6522 = -8*i. Is i composite?
False
Let p be (1017/(-12))/((-2)/8). Suppose 2*z = 5*z - p. Is z prime?
True
Let b(i) = -4*i**3 - 1 - 2*i**3 - 9*i - 7*i**2 + 3*i. Is b(-4) prime?
False
Let k(z) = 2*z + 9. Let w(q) = -q - 10. Let l(o) = 7*k(o) + 6*w(o). Let s be (-38)/(-8) - 3/(-12). Is l(s) a prime number?
True
Let b(q) = 10*q**2 + 6*q - 7. Is b(-9) a composite number?
True
Suppose -3*o - 9 + 0 = -5*q, 4*o + 3*q = 17. Suppose -6 = g + 2*g, 4*g = -o*l + 30. Is l prime?
True
Let l(j) = 691*j + 20. Is l(6) a prime number?
False
Let c = 41 + 426. Is c a composite number?
False
Is (-2)/(-2)*(15 - 1) composite?
True
Let y(n) = -10*n - 1. Let j(c) = c - 17. Let d be j(9). Is y(d) prime?
True
Let s = -25 + 25. Suppose s = -5*d + 446 + 299. Is d prime?
True
Let y(f) = -199*f - 52. Is y(-5) prime?
False
Suppose -3*h = -46 - 257. Let l = h - 45. Suppose -5*b + b = -l. Is b a composite number?
True
Let o = 970 - 192. Let l = -351 + o. Is l composite?
True
Let l = 326 + -27. Is l a composite number?
True
Let k = 7 + -3. Suppose k*j + 244 - 1064 = 0. Is j a composite number?
True
Is ((-9753)/(-1))/(-2 + 5) a prime number?
True
Let g(j) = -28*j + 7. Let w(b) = b**3 + 5*b**2 + 2*b. Let l be w(-5). Is g(l) a prime number?
False
Let v = 2 - 3. Let d be -2 - ((-2 - v) + -2). Is 1 - (-49 - (2 - d)) a prime number?
False
Let x(q) = 5*q**2 - q + 1. Let k be x(1). Suppose -k*j = -r - 105, 4*j - r - 35 = 49. Let y = 182 - j. Is y a composite number?
True
Suppose 4*d + 5*x + 3 = -14, 3*x = -d - 13. Suppose 3*f - 8*f - 2*b = -20, 2*f - 8 = 2*b. Suppose -5 = t, -2*q - f*t + d*t = -100. Is q composite?
True
Let z be 0 + (-1 - 1) - 1. Let k be -1 - -1 - 0/z. Suppose -f + 25 = -k*f. Is f a prime number?
False
Suppose 0 = 4*h - 5*z - 461 - 1182, 0 = -3*z - 9. Is h prime?
False
Let z(x) = -x + 5. Let v be z(0). Suppose 0 = -f + a + 3, v*f - 2*a - 1 = 2. Let d = f - -4. Is d a composite number?
False
Suppose 0*n = -3*n - 5*b - 20, 0 = 4*n - 5*b - 20. Suppose 4*l - 1348 = -n*l. Is l prime?
True
Let b(w) = -2*w**3 + 2*w**2 - 2*w + 3. Suppose 2*l - 12 = -2*l. Let n be b(l). Is n/(-1) + (-2)/1 a composite number?
False
Let x = -2 + 2. Suppose -5*n + 6*n = 162. Suppose 2*g = -4*q - x*q + n, g - 79 = -3*q. Is g a prime number?
False
Let o be (-1 + 0)*1 - 2. Let l(j) = j**2 + 6*j + 6. Let n be l(-6). Is (62/(-4))/(o/n) prime?
True
Suppose l - 5*l = -264. Let j = l + -33. Is j a composite number?
True
Let g = -156 - -305. Is g a composite number?
False
Let i(r) = 39*r - 7. Let j(w) = 20*w - 4. Let n(o) = 3*i(o) - 5*j(o). Is n(2) a composite number?
True
Suppose -2*j = 3*j + 105. Suppose -10 = 7*a - 2*a. Is (j/(-2))/((-1)/a) composite?
True
Let h = 130 + -264. Let t = h - -228. Is t a composite number?
True
Let z = 148 + 147. Is z composite?
True
Suppose l = -5*g + 23, 3*g + g = 16. Suppose 0 = 3*x - 5*j - 139, j - 133 = -3*x + l*j. Is x prime?
True
Let b(m) = -4*m**3 - m**2 + 6*m + 6. Let y be b(-5). Suppose -5*o = -1506 + y. Is o a composite number?
False
Suppose -4*s = -655 - 4809. Is s composite?
True
Suppose -3*z + 803 = 206. Is z a prime number?
True
Let b(h) = -19*h - 62. Is b(-19) prime?
False
Let o(g) be the third derivative of -g**6/120 + g**5/10 + g**4/12 - g**3/3 - g**2. Is o(4) composite?
True
Let w = -725 - -1308. Is w a composite number?
True
Let t be (-2)/((8/(-10))/2). Suppose 3*z - 17 + t = 0. Suppose -l - 3*m + 127 = z*l, 4*m = 5*l - 99. Is l a composite number?
False
Let b be 20 + (-4 + 0 - -4). Let f(s) = 2*s**2 + 8*s + 5. Let p be f(6). Suppose -u = m - b, -4*u + 4*m + p = -m. Is u a composite number?
True
Suppose -11997 = -5*y - 2*q, 6*y - 11993 = y + 2*q. Is y prime?
True
Suppose 6*y - 30922 - 30356 = 0. Is y prime?
False
Let y(o) = 4*o - 1 - o**2 + 0 - 12*o. Suppose 6 = -k - 0*k. Is y(k) prime?
True
Let f(o) = -4*o**3 + o**2 - o - 3. Let p be f(-4). Let y be (-2)/(-1) - p/(-1). Suppose 0 = -3*s - y + 740. Is s a prime number?
False
Is 2/10 - (-7452)/15 composite?
True
Let c be (12/9 - 2)*87. Let z = -9 - c. Is z prime?
False
Let c be (-9)/(-15) - (-28)/(-5). Is 145/1 + (-5 - c) prime?
False
Let m(z) = 46*z**2 + z + 2. Suppose -5*x - 15 = -5*c, -2*c - 3 = -3*c - 5*x. Is m(c) prime?
True
Let n be ((-10)/2 - -2)*-1. Is -2 - ((-6)/n + -185) composite?
True
Let q = 323 - -632. Is q prime?
False
Suppose 9*f = -510 + 22749. Is f composite?
True
Suppose 0 = 8*v - 0*v - 2392. Is v a prime number?
False
Let l(h) = h**2 + 23. Let f be l(0). Suppose f = b - 0*b. Is b composite?
False
Suppose -6*a + 1297 + 275 = 0. Is a a composite number?
True
Suppose 0 = 2*o - 0 + 8. Let t(w) = 3*w**2 - 4*w + 1. Is t(o) a prime number?
False
Let n = -47 - -860. Is n a prime number?
False
Let a(n) = -n**2 - 11*n + 6. Suppose 2 = 4*h - 3*h. Suppose -p + h = 9. Is a(p) a composite number?
True
Let n be ((-3)/(-2))/(9/24). Suppose -2*p + 9 = 5*q + 1, -2*q - 16 = -n*p. Suppose 0 = -k + p + 11. Is k a composite number?
True
Let r = 273 + 14. Is r composite?
True
Let g(p) = -10*p + 25. Let w(x) = -2*x + 5. Let d(s) = 2*g(s) - 11*w(s). Let l be d(5). Suppose 475 = 5*b - l*v, 5*b = 4*v - v + 467. Is b a composite number?
True
Is ((-329)/4)/(8/(-32)) a prime number?
False
Suppose l = -0*l. Let s be 1 + l + (-15)/3. Is (2/s)/((-3)/36) a prime number?
False
Suppose -334 - 144 = -k + 5*g, -1488 = -3*k - 3*g. Suppose 2*n + k = 5*a, -a - 2*a + 271 = 5*n. Is a prime?
True
Suppose -2*t - 780 = -7*t. Let v = 269 - t. Is v composite?
False
Let a(q) = 113*q**3 - q**2 - 4*q + 7. Is a(3) composite?
False
Let i = -5 - -3. Let s = 7 + i. Suppose -s*w + 0*w + 1055 = 0. Is w a composite number?
False
Let x(m) = 35*m**2 - 8*m - 3. Is x(-4) prime?
False
Let w(i) = 22*i - 1. Let z(u) = -11*u. Let a(m) = -4*w(m) - 9*z(m). Let s(r) = r**3 - 5*r**2 + 2*r - 7. Let o be s(5). Is a(o) a prime number?
True
Let o(i) = 2*i**2 + 3*i - 70. Is o(-11) prime?
True
Let h = -1 + 3. Let u be (1 - h)/(-1)*0. Is u + 7 + -2 + 2 a prime number?
True
Let y = 3610 - 2073. Is y composite?
True
Let c = 3837 - 2686. Is c prime?
True
Let d = -2 + 5. Suppose -79 - 26 = d*o. Let z = o - -78. Is z composite?
False
Let p(n) be the third derivative of n**7/2520 + n**6/180 + n**5/40 + n**4/24 + n**2. Let l(h) be the second derivative of p(h). Is l(-8) a prime number?
False
Let s(b) be the third derivative of b**6/180 + b**4/24 - 5*b**3/6 - 4*b**2. Let d(g) be the first derivative of s(g). Is d(-3) composite?
False
Let l(r) = r**3 - 3*r**2 + 2. Let s be l(3). Is 47/3 + s/(-3) a composite number?
True
Let g(i) = -i**3 + 9*i**2 + i - 8. Let z be g(9). Let v(j) = -j**2 - j + 1. Let s be v(z). Is (-7)/((2 - 1)/s) a prime number?
True
Let s(v) = -20*v**3 + 3*v**2 - 2*v + 4. Let c(f) = f**2 + 1. Let p(u) = 3*c(u) - s(u). Let x = 4 - 3. Is p(x) a prime number?
False
Suppose 4*t = -96 + 2552. Suppose 234 = 5*a + c - t, 5*c = -5*a + 860. Is a a prime number?
False
Suppose -p - 34 = -179. Is p a prime number?
False
Let u = 11 - 8. Suppose 633 = -0*z + u*z. Is z a composite number?
False
Let a = 1682 - 1145. Let y = a - 246. Is y a composite number?
True
Let h = 759 + -281. Is h prime?
False
Suppose -57 - 3 = -5*r. Is 35/10*(r - -2) prime?
False
Let n(a) = 36*a + 17. Is n(7) composite?
False
Is 10/25 + 10566/10 composite?
True
Let n(y) be the third derivative of -y**5/60 - y**3 - y**2. Let o be n(0). Is 124/6*o/(-4) a prime number?
True
Let m(r) = -r**3 + 2. Is m(-5) composite?
False
Let l(v) = 3*v**2 + 2*v**2 + 6*v**2 + 4 + 5*v + v**3. Let g be l(-10). Suppose 3*w + 5*m - 94 = 0, 0*m = -3*w + 3*m + g. Is w a composite number?
False
Let g = 4597 - -120. Is g a prime number?
False
Let w(n) = 2*n**3 + 2*n**2 - 3*n - 4. Suppose -5*i - k + 25 = -0*k, 5*i 