+ 10. Let z = 2 - 10. Let y be s(z). Let i(m) = -11*m - 1. Is i(y) a composite number?
True
Let z(f) = -3*f - 3*f**2 + 3 + 0*f**3 + 2*f**3 + 1 - 3. Is z(3) prime?
True
Let i(a) = 5*a**2 - 4*a + 5. Let j = -5 - -9. Let p be i(j). Let z = p + -47. Is z a composite number?
True
Suppose 13*z - 3583 = 24744. Is z composite?
False
Let p(h) = -h - 2. Let g be p(7). Let w = g + 92. Is w a prime number?
True
Let a = -1 + 7. Suppose 3*q - 8 - 1 = -4*x, -3*q - a = -x. Suppose -x*u - 175 = -8*u. Is u a composite number?
True
Let s = 9 + -5. Is (2/4)/(s/152) a composite number?
False
Suppose -a - 4*p + 791 + 586 = 0, 4087 = 3*a + p. Is a a composite number?
False
Suppose 0*k + 2*k = -84. Is (-136)/12*k/4 composite?
True
Let w = 168 + -85. Suppose 2*m + w = 3*m. Is m a prime number?
True
Let s(n) = 3*n - 2. Let m be s(2). Let u = -12 + m. Is (-141)/(-4) - (-2)/u a composite number?
True
Suppose j + 4*j = 850. Let t = 246 - j. Suppose -3*y = y - t. Is y prime?
True
Let m be (-3 + 18)/3 - 1. Suppose -1 = -m*d + 7. Is d a prime number?
True
Suppose 0 = c + 139 - 356. Is c a composite number?
True
Let g be 1/2*(395 - 1). Let n = -106 + g. Is n a composite number?
True
Suppose -8*i + 2*i + 4674 = 0. Is i prime?
False
Let h = -869 - -1588. Is h prime?
True
Let l(q) = -45*q**2 - q**3 - q + 52*q**2 + 9 - 2. Is l(6) prime?
True
Is -2*5/(-20) + 4623/6 a prime number?
False
Let y = -981 - -1674. Suppose 5*p - 450 = -z, -p - y - 196 = -2*z. Is z prime?
False
Let r(z) = -z**3 - 7*z**2 + z + 3. Let g be r(-7). Let b = g + -10. Is (1/2)/((-1)/b) prime?
True
Suppose 2*i + 4 = 0, -3*d + 681 = -5*i - 28. Is d a composite number?
False
Let k(r) = -7*r - 3. Let q be k(3). Let s be (16/q)/((-4)/30). Suppose -s*t + 3*x = -47, -2*t - 5*x + 4 + 21 = 0. Is t composite?
True
Suppose 0 = s - 2*p + 4, 2*s - 2*p = 4*s - 22. Let j = s - 9. Is j/9 + 670/3 a prime number?
True
Suppose 3*k - k - 10 = 0, k + 85 = s. Suppose -2*d - 3*i + 110 = 0, -3*i = -2*d - i + s. Is d a composite number?
True
Is 487*((2 - (-2)/2) + -2) prime?
True
Let z be 1*1*-12 + 2. Let q be (-4)/z + (-406)/(-10). Suppose -3*w + 22 = -q. Is w prime?
False
Suppose -7 = m - 2*m. Is m prime?
True
Let d(i) = -187*i + 10. Is d(-7) prime?
True
Suppose 2*y - n = 12, -8*y + 30 = -4*y - 5*n. Suppose -1097 = -y*u + 4*l, 5*u - 1082 = -2*l + l. Is u a prime number?
False
Suppose -2*l - 1 + 7 = 0. Suppose -4 = o - l*b, -o - 2*o + 5*b - 4 = 0. Suppose o*q + 22 = 3*q. Is q prime?
False
Let b(u) = 10*u**2 + 3*u + 3. Is b(-2) a composite number?
False
Suppose 12 = 4*l - 4. Suppose 0 = -l*n + 102 + 238. Is n prime?
False
Let d(j) = -2*j**2 - 4*j. Let l be d(-3). Let b(u) = -u**3 + u**2 + 4*u - 5. Is b(l) a prime number?
True
Suppose -3*b + 44 = k - b, 0 = 2*b - 2. Suppose 0 = -4*i + 3*c + 9, i + 2*c = -4*i - 6. Suppose k = 2*r - i*r. Is r composite?
True
Let d(x) = -x**3 - 2*x**2 + 2*x + 2. Let p(c) = 5*c. Let h be p(-1). Is d(h) a composite number?
False
Let w = 0 - -15. Let s be (-18)/(-4)*10/w. Suppose s*p - 15 = -2*p. Is p a prime number?
True
Let w(f) be the second derivative of f**5/20 + f**3/3 + 7*f**2/2 + 5*f. Is w(6) a prime number?
False
Let l(w) = 2*w**2 + 2 - 6*w**2 - w**3 + 8*w + 0*w**2. Is l(-6) a prime number?
False
Suppose -6*x = -2*x - 3452. Is x a composite number?
False
Let c = -87 + 976. Is c prime?
False
Let q(a) = -8*a + 1. Let t(h) = h. Let n(d) = -5*q(d) - 35*t(d). Is n(8) composite?
True
Let l(x) be the second derivative of x**4/12 + 3*x**3/2 + 3*x**2/2 - 2*x. Let b be l(-9). Is -2 + b - (-127 + 1) a composite number?
False
Suppose d = -0*d + 166. Suppose z + 39 = d. Is z a prime number?
True
Let w(s) be the second derivative of s**7/630 - s**6/180 + s**5/40 + s**4/6 + 2*s. Let u(o) be the third derivative of w(o). Is u(4) prime?
False
Let u(b) = -4*b**2 - 2*b + 9. Let n(t) = 3*t**2 + t - 9. Let p(d) = -5*n(d) - 4*u(d). Is p(7) a composite number?
False
Is (-470)/(-2) + -3 + 5 a prime number?
False
Let l be -2 + (558/(-1))/(-3). Suppose -3*x + l = -65. Is x a prime number?
True
Suppose -38 = y - 3*y. Suppose -f - 6 = y. Let a = f - -58. Is a a prime number?
False
Let p(v) = -v**3 - v**2 + v + 1. Let q(z) = 17*z**3 + 2*z**2 - 4*z - 5. Let n(x) = 5*p(x) + q(x). Is n(2) composite?
True
Suppose -8 - 4 = -4*j. Is (-38)/j*3/(-2) composite?
False
Suppose -9*w = -352 - 791. Is w a prime number?
True
Let w be 7/(((-16)/(-428))/4). Let m = 5 + -3. Suppose -4*d + w - 76 = 5*n, -d = m*n - 268. Is n a composite number?
True
Suppose -w - 2*i + 13 = 0, -3*w - 2*i = -3*i - 18. Suppose w*b + 170 = 2*b. Let k = b - -49. Is k composite?
True
Let t(f) = -7*f + 4. Let a be t(-4). Let w = a + -19. Suppose -g + n + 275 = w, 0 = 3*n - 3. Is g composite?
False
Is 1748/2 + -8 + (-7 - -18) prime?
True
Let i be 5 + -5 - (0 - 2). Let n be i*((-10)/4 + 2). Is 10 + (1 + n - 0) a prime number?
False
Suppose t - 22 + 3 = 0. Let u(w) = 7*w**2 + w - 3. Let b be u(4). Suppose 4*g - b = t. Is g prime?
False
Let w = 122 - 115. Is w a composite number?
False
Let a be (-2)/(-3)*(-30)/(-5). Suppose -a*o = 1 - 5. Is ((-2)/4)/(o/(-44)) composite?
True
Let y = 213 - -25. Let p = y + -75. Is p prime?
True
Let x be (-6)/21 - (-8)/28. Is (x + -3)*279/(-27) composite?
False
Suppose -7*f + 5*f = -92. Is f composite?
True
Suppose 0 = -g - 165 + 9. Let x = g + 227. Is x composite?
False
Let l(c) be the second derivative of -c**5/5 + c**4/12 + c**2/2 + 2*c. Is l(-2) a prime number?
True
Let c(r) = r**3 + 8*r**2 - 6*r + 8. Let b be c(6). Let j = -223 + b. Is j composite?
True
Let b be (-6)/24 - 453/(-4). Suppose 3*j - b = 2*j. Is j prime?
True
Suppose -3*b = 4*o - 752 - 5, -4*b + 2*o = -1002. Is b a prime number?
True
Suppose 238 = 2*k + 4*p, 0*k + 4*p = 4*k - 524. Is k prime?
True
Let y(m) = -m**2 + 11*m - 12. Let z be y(9). Suppose z = p + 1. Suppose -p*u + 76 = -u. Is u prime?
True
Is (-3 - -2 - 3)*1 - -1770 a composite number?
True
Let s(g) = 2*g**3 - 4*g**2 - 2*g + 1. Let w be s(-2). Let n(p) = -p**3 - 5*p**2 + 9*p + 3. Let k be n(-7). Let j = k + w. Is j composite?
False
Suppose -2*p - 3 = -4*j - 17, 3*p - 13 = 2*j. Suppose p*u - o + 5*o - 279 = 0, -2*u = -o - 175. Is u prime?
True
Let r(d) = 2 + d**2 + 1 - 4. Is r(-6) prime?
False
Suppose -7*h + 5*h - 592 = -4*z, 0 = 5*z - 5*h - 735. Is z a composite number?
False
Suppose 79 = r - 102. Suppose r = a - 250. Is a prime?
True
Suppose -5 = -4*j + 3*j, -3*y + 2142 = 3*j. Is y composite?
False
Let j(i) = i**3 + 8*i**2 - 8*i + 12. Let c be j(-9). Suppose s + s + 6 = b, c*b - 15 = 3*s. Is -3 - (s - (2 - -53)) a prime number?
True
Let h be 3/12 - 39/(-4). Let p = h - 8. Suppose -207 - 35 = -p*j. Is j prime?
False
Suppose -392 = -3*q + 34. Is q prime?
False
Let b = -30 - -63. Let q(r) = -21*r - 11. Let p be q(-3). Let w = p - b. Is w a prime number?
True
Let m be 10*((-34)/(-10) - 3). Let k be (m - 1)/((-6)/(-4)). Suppose 0 = -k*y + 6*y - 28. Is y prime?
True
Is 2/(-4)*(10 + -78) prime?
False
Let q(x) = x**2 - 6*x - 8. Let b be q(6). Let i(k) = 3*k**2 + 5*k + 9. Is i(b) a prime number?
False
Suppose -3 = -0*j + 3*j. Let q(l) = -18*l + 1. Is q(j) prime?
True
Suppose -t = 5*s + 12, 0 = 2*t + 2*t - s - 15. Is t - (-1 - -4) - -7 prime?
True
Let v = -9 + -6. Let b = 45 + v. Suppose -2*c = -3*q, 0 = -0*c + 3*c + 3*q - b. Is c composite?
True
Suppose -1069 = -i + 3*z + 1036, -z = -4*i + 8398. Is i a prime number?
True
Let p be 362/(-13) - (-8)/(-52). Let h = 50 + p. Is h composite?
True
Is 121 + 1*(3 + -2) a composite number?
True
Suppose -2*d = z - 6, 5*d = -2*z + 3 + 4. Suppose 4 = -3*n + z. Suppose -n*q + 28 + 22 = 3*v, 0 = -5*v - q + 55. Is v a prime number?
False
Let q be -1*-5*6/3. Let h(p) = 4*p + p + 3*p - 3*p - q. Is h(7) prime?
False
Suppose o - 1590 = -9*o. Is o a prime number?
False
Let k be 8/12 - 1/(-3). Let b(j) = 0 + 2 - k - 2 + 54*j. Is b(1) a prime number?
True
Let h(a) = 3*a**2 - 3*a**2 + 3*a**2 - 2*a**2 + 87. Is h(0) prime?
False
Suppose 2*o - 5*o = 3*g, 3*o + 10 = -g. Let d = 9 + -6. Suppose d*z - 4 - g = 0. Is z prime?
True
Suppose -n = 5*d - 5331, -2*d - n + 2126 = n. Is d composite?
True
Suppose 3*h = 11*h - 952. Is h a composite number?
True
Let z be 6*((-3)/6 + 1). Suppose -z*w = -w - 74. Is w a composite number?
False
Let q(l) = l**3 + 4*l**2 - 2*l - 5. Let m be q(-4). Suppose m*k - 5*b = -k