uppose v - 7 + 42 = -4*k, 4*k + 41 = -3*v. Let s be y(k). Suppose -m + 1 = -s. Is m prime?
True
Let r(s) = s + 4. Let o be r(-2). Suppose -2*i = -o + 6. Is i - (-34 + (-3)/3) composite?
True
Is (-11130)/(-20) - 2/(-4) a composite number?
False
Let k be 76/(-12)*54/(-2). Suppose 5*v + 5*d = 155, 0*v + 5*v - 3*d = k. Is v a composite number?
True
Let y(q) = 7*q**2 - q. Let h be y(1). Suppose 3*a - h = a. Is (-3)/(a/2) + 33 a composite number?
False
Let o = -2264 + 3319. Is o prime?
False
Is (2/(-2 + 4))/((-5)/(-1165)) a composite number?
False
Let h = -10 - -10. Suppose -v = 4*g - 7, v = 4*g - h*g - 9. Let s(w) = 163*w**2 + w + 1. Is s(v) a prime number?
True
Let n be (0 - (2 + -3))*0. Let m = -87 - -157. Suppose n*u = -2*u + m. Is u a prime number?
False
Let c be (6/15)/((-2)/(-790)). Suppose -5*i - 20 = 0, 0*a = 2*a + 5*i + 146. Let m = a + c. Is m prime?
False
Suppose -a + 2*j - 4*j - 6 = 0, -2*j = -5*a + 30. Suppose -2 + 3 = 2*d - 5*w, a*d - 4*w + 4 = 0. Is (d + 2)/(-1) + 31 composite?
False
Let s = 6 - 1. Let i = 36 - 12. Suppose -2*f - 41 = -s*z, -5*z + i = 4*f - 29. Is z prime?
False
Suppose -12 = -3*f - f. Suppose 2*g = -f*g - d + 17, g - 9 = -3*d. Let q(s) = -s**2 + 6*s + 1. Is q(g) prime?
False
Suppose -2*l - 3*t + 737 = 239, -t = -2*l + 498. Is l composite?
True
Let z(v) = v + 4. Let g be z(0). Suppose g*d - 1865 = -d. Is d composite?
False
Let y(w) = -w**2 + 11*w - 6. Let m be y(10). Suppose -m*h = -2043 + 55. Is h composite?
True
Let a(t) = 3*t + 3. Let r(h) = -2*h**3 + 3*h**2 - 3*h + 3. Let l be r(2). Let q be -1 + (1 + -1 - l). Is a(q) prime?
False
Suppose 5*w = t + 18, -22 = -5*w + t - 2*t. Is (3 - w)/(1/(-77)) composite?
True
Let w = -6 - -3. Let h be 14 - 2*3/w. Let b = h - 9. Is b a prime number?
True
Let k(d) = 4 - 1 - 2*d**3 - 6*d**2 - 6*d + d. Let z(u) = -u + 5. Let j be z(9). Is k(j) composite?
True
Let q(z) = -4*z + 3*z + 24 - 8. Let m be q(0). Let v = m - 6. Is v a prime number?
False
Let v(s) be the second derivative of s**5/60 - s**3/2 - s**2/2 - s. Let u(a) be the first derivative of v(a). Is u(6) prime?
False
Let b(q) = 103*q. Let c(j) = j - 1. Let t(y) = b(y) - 4*c(y). Suppose 0 = z + 1, 5*m - 3*z - 10 = 8. Is t(m) a prime number?
False
Let p(v) = 317*v + 8. Is p(3) composite?
True
Let l(p) = -p**3 + p**2 + p + 7. Let x be l(0). Suppose -2*o - 2785 = -x*o. Is o composite?
False
Suppose 0 = -o - 2*o. Suppose 4*r + 68 = 2*f, -5*f = -o*r + r - 203. Suppose -6*a + 2*a = -f. Is a a composite number?
True
Suppose 4*s - 2*j - 536 = 0, -5*s + 670 = 4*j - 2*j. Suppose 5*z - 84 = 2*q + 559, s = z + 5*q. Suppose 36 + z = 5*p. Is p a composite number?
True
Let z(h) = -h**2 + 11*h - 9. Let n be z(10). Let s be 0/((-4)/n + 2). Suppose -4*v - 3*r + 421 = s, v - 94 = -0*v - 3*r. Is v a prime number?
True
Suppose 37 = -5*o + d - 4*d, 3*d + 27 = -3*o. Let w(g) = -3*g + 7. Is w(o) a composite number?
True
Let t(h) = -359*h - 17. Is t(-12) prime?
False
Let q(f) = 40*f + 11. Is q(8) prime?
True
Let n = 6 + -4. Suppose 5*g + 186 = 2*h, n*h + 21 = 2*g + 93. Is g/8*(-3 - 1) a prime number?
True
Let g be -10*(6/(-15))/1. Suppose w - 92 = y, 0 = -w + y - g*y + 80. Is w a prime number?
True
Suppose a - q - 267 = 3*q, -2*a - 5*q + 508 = 0. Is a prime?
False
Suppose 5*v + 1985 = 7390. Is v a composite number?
True
Let v(u) = u + 71. Let n = 0 - 0. Is v(n) a composite number?
False
Let h = 6 + -4. Is h/(0 + (-1)/(-19)) composite?
True
Let x be ((-3)/9*0)/(-3). Suppose 2*j - 3*a = -2, -a - 3 + x = 3*j. Let m(g) = 79*g**2 - g - 1. Is m(j) composite?
False
Let u = -311 + 1572. Is u a composite number?
True
Let p = 13 - -3. Let k be 1*4/(-2) + p. Is 4/k - 906/(-14) composite?
True
Suppose 2*l - 25 - 39 = 0. Suppose 5*h = v + l, -v - 3*h = -2*h + 8. Is 83/4 + (-3)/v prime?
False
Let z = 7 - 3. Suppose 0 = -z*h + 37 + 47. Is h a composite number?
True
Suppose 3*t + 2*m = 2105, 0 = 4*t + m - 1384 - 1421. Suppose 5*z = -25, -4*z + 84 + t = 5*j. Is j prime?
False
Let c(q) = 3*q**3 - 7*q**2 + 8*q - 7. Let n(j) = 4*j**3 - 6*j**2 + 7*j - 8. Let r(d) = -3*c(d) + 2*n(d). Is r(7) a prime number?
False
Let z(p) = 6*p**2 + 3*p - 1. Suppose 4*f - 4 - 8 = 0. Is z(f) composite?
True
Let i(b) = b**3 - 9*b**2 + 8*b + 5. Suppose -5*n + 42 - 2 = 0. Let p be i(n). Suppose -2*y = -43 + p. Is y a prime number?
True
Let o = -30 + 65. Let z(w) = w**3 + 13*w**2 + 11*w - 8. Let v be z(-12). Suppose -v*d = d - o. Is d prime?
True
Let w be 2/10 - 62/10. Let u = w + 3. Is 4/u*6/(-4) prime?
True
Suppose -d - 709 = -3*c, -3*d - 103 - 128 = -c. Is c a prime number?
False
Let s = 0 - 8. Is 3/2 - 172/s composite?
False
Suppose -2*h - 2*h - 5*t = -333, h + 5*t - 87 = 0. Suppose f + f = 4*o - h, 0 = -o + 5*f + 16. Is (-14)/o - 116/(-3) a composite number?
True
Let h(g) = 48*g**3 + 1. Suppose -p - 7 = 4*a, 3 = 2*a - 3*a + p. Let j = a + 3. Is h(j) prime?
False
Let v be (-2484)/28 + (-2)/7. Let s = v - -202. Is s prime?
True
Is (-9 - 10)/((-8)/(-10) + -1) a prime number?
False
Let w be (1 + -1)/(2/(-1)). Let i(n) = -n + 4. Let h be i(w). Is (-5 + h)*37*-1 a prime number?
True
Let b = 5757 + -896. Is b a composite number?
False
Let c(r) = r**2 - r - 27. Let g(m) = -3*m**2 + 3*m + 80. Let s(d) = 11*c(d) + 4*g(d). Let p be s(0). Let l = 12 + p. Is l a composite number?
True
Suppose 0 = -3*p - 2*d + 157, 0 = 2*p + 2*d - 149 + 43. Is p prime?
False
Let b(c) = 12*c + 13*c + 1 + 9*c. Let t be b(1). Is (t - 0/(-2)) + 0 a prime number?
False
Let u(z) = -38*z - 5. Let g = -31 - -17. Is u(g) a prime number?
False
Suppose 4*h - q = 84, -5*q + q = h - 21. Is h a prime number?
False
Let f = -6 - -8. Is f - (-1 + 796)/(-3) a prime number?
False
Let u(y) be the third derivative of -y**4/24 - y**3/6 + 3*y**2. Let m be u(-6). Suppose 0 = -2*j - m*f + 62, 0 = 2*j + 3*j + 4*f - 155. Is j a prime number?
True
Let x = -92 - -171. Is x prime?
True
Suppose -3*y - 2*y = 0. Let w be (-5)/(-10)*(y + 0). Is 37 + 6 - (w - 0) a composite number?
False
Suppose 7*h - 951 = 4*h. Is h a composite number?
False
Let m(a) = -a - 2. Let w be m(-7). Suppose -3*o + 466 = -w*h + 1410, 5*h + 3*o - 926 = 0. Is h composite?
True
Suppose 4*w - 84 = -o, 3*o = w - o - 38. Is w a composite number?
True
Let d(k) = -k - 1. Suppose -10 = p + p. Let v be d(p). Suppose 0*c = -v*c + 88. Is c composite?
True
Suppose 0 = -2*t - t + 942. Is t a composite number?
True
Suppose -3*v = -3*q + q - 49, -3*v = -3*q - 54. Is v composite?
False
Suppose 8*o = -2*o + 890. Is o composite?
False
Let c be (-34 + -1)/(12/156). Let k = 1320 + c. Is k composite?
True
Let u be ((-56)/6)/((-10)/585). Let n = u + -79. Is n a composite number?
False
Is 1/(-1 + (-794)/(-792)) + -3 a composite number?
True
Let h = 1 - 1. Suppose 1505 = 5*u - 5*d, -5*u + 1526 = -h*u + 2*d. Is u/6 - 1/(-3) prime?
False
Let b = -34 - 123. Let p = 228 + b. Is p prime?
True
Let p(g) = g**2 + 4*g. Let z = 73 + -45. Suppose -z = 3*q + q. Is p(q) a composite number?
True
Let a be (-2 - 7)/(3/2). Let h = -7 - -113. Is (1 - 4)*h/a prime?
True
Let r(h) = h**3 - 2*h**2 + 3*h - 3. Let t be r(2). Suppose 2*p + 27 = o, o + 2*p = -t + 10. Let q = 24 - o. Is q composite?
False
Suppose -n - 555 = -5*d - 3*n, 2*d - 4*n - 222 = 0. Is d prime?
False
Suppose 337 - 7 = 4*k + 3*d, -3*d = 5*k - 414. Let f = -47 + k. Is f a composite number?
False
Let g = 13 + -16. Let w(f) be the second derivative of f**5/20 + f**4/2 - 2*f**3/3 - f**2 - f. Is w(g) a prime number?
True
Suppose 3*y - 28847 = -4*y. Is y a prime number?
False
Suppose 70 = 2*l - 0*l. Is l a composite number?
True
Let h = 4 + -2. Let g(r) = 3*r**2 - 3*r - 6. Let y be g(-7). Is 2 - (h - y) - -1 composite?
False
Let l(g) = g**2 + 9*g + 16. Let r be l(-7). Suppose 2*z + 0*f = f + 947, -4*f - 962 = -r*z. Is z a prime number?
False
Suppose l = 5*a - 22, -l = -2*l - 5*a + 28. Let h(o) = -o**3 + 5*o**2 - 2*o - 4. Let i be h(4). Is 203/l - i/6 a prime number?
True
Suppose o - 678 = -15. Suppose -o = -8*b + 5*b. Is b composite?
True
Let g(f) = f**2 - 6*f - 32. Is g(-13) composite?
True
Let j = 3 + 22. Let a be 5 - (0 - -9)/3. Suppose -m - 116 = -3*v, -2*m = a*v - 39 - j. Is v composite?
False
Is (-18)/8 - -2 - (-7786)/8 a prime number?
False
Suppose -g - g + 48 = 0. Let f = 29 - -2. Suppose g = t - f. Is t a prime number?
False
Let o(u) = -u**3 - u**