) + 3 - -11 composite?
True
Is 209/1 - (1 + -1) a prime number?
False
Suppose 0 = -5*v - 5, -2*t = -2*v - 275 - 709. Is t a composite number?
False
Suppose 2*w = 3*w - 7. Let r = w + -5. Suppose 0 = 2*d - d - r*l - 29, -5*l = -2*d + 63. Is d composite?
False
Suppose 3*n + 4953 = 6*n. Is n prime?
False
Let d(z) be the second derivative of -z**3/6 + 13*z**2/2 + z. Let a be d(7). Is (-524)/6*a/(-4) a composite number?
False
Suppose 0 = v + 4*i + 18, -4*i - 2 = 4*v + 10. Suppose 6*f = -v*f + 1976. Is f a prime number?
False
Let h = -2 + 0. Let i be h/11 + 2600/22. Suppose -4*s + i = -70. Is s composite?
False
Let h = 3 + -7. Let f(n) be the first derivative of -7*n**2 - 5*n + 2. Is f(h) prime?
False
Suppose 3*t = 3*n + 9, 3*t - 9 = 4*n - 0*t. Suppose 0 = -5*r + 15, -3*z - z - r + 4223 = n. Is z composite?
True
Let x be 4/(-30) - 18/(-135). Suppose x*n + 333 = 3*n + 4*m, 111 = n - m. Is n a composite number?
True
Suppose -2*w - 2*i + 3*i = -740, 1492 = 4*w + 4*i. Suppose 3*y - y + 5*z - w = 0, 0 = z - 1. Is y composite?
True
Suppose -4*m + 0*k - k + 8 = 0, -2*k - 2 = -m. Suppose 0 = 5*t - 15, -t - 4*t + 23 = m*u. Suppose 0 = -u*p - p + 235. Is p composite?
False
Suppose 15 = -3*p, -5*o + 0*o + p = -180. Suppose 3*y = 3*v + v - 14, -2*y = 5*v - 29. Suppose -20 = v*r, 2*t - t - 5*r - o = 0. Is t a composite number?
True
Suppose 0*d + 3*d - 30 = 0. Let x = -7 + d. Suppose x*w + 5*a - 60 = 0, 4 = 2*w - 3*a - 17. Is w composite?
True
Let a(r) = r - 1. Let y(b) = -10*b - 11. Let w(j) = 3*a(j) - y(j). Let q be w(7). Suppose -4*n = 4*l - 440, 0 = -3*n - l + q + 233. Is n composite?
True
Suppose -3*a + 173 + 94 = 0. Let q = a + -54. Is q a prime number?
False
Let k = 44 + -5. Is k composite?
True
Let z = -67 - -42. Is (-1)/(-5) - 1270/z prime?
False
Let o = -1 - -6. Suppose 304 = f + o*u, 4*u = 3*f - 0*u - 893. Is f prime?
False
Is 2370/4 + (-10)/(-20) a composite number?
False
Suppose 0 = -2*f - 5*x - 0*x - 9, 4*f + 13 = -5*x. Is ((-267)/f)/((-4)/(-8)) a prime number?
False
Let r = 834 + -293. Is r prime?
True
Suppose -6 = 2*i - 14. Is 210/5 - (0 - i) a prime number?
False
Let p(k) = -11*k + 3. Let z(w) = 4*w + 2. Let l be z(-4). Is p(l) a prime number?
True
Suppose -3*f - 2*y + 747 = 0, f = 5*f + 3*y - 997. Is f a composite number?
True
Let x = -52 + 37. Let j be (-1)/3*1*x. Suppose j*k - k - 76 = 0. Is k a composite number?
False
Let u be 8/(-16) + 122/(-4). Let y = 84 + u. Is y prime?
True
Let j = 6 + 0. Suppose j*u + 325 = 11*u. Is u prime?
False
Let r = 1151 - 178. Is r composite?
True
Let f = -2 + 5. Is 56 + f - 2/1 a prime number?
False
Let x be (-16)/24 - (-14)/3. Let u be 105/(-12) + 3/x. Is u/3*(-333)/12 prime?
False
Suppose 2*x - 228 = 4*g, 7*g = 4*x + 3*g - 472. Suppose p = n + 40, 3*n = -6*p + p - 80. Let k = x + n. Is k a composite number?
True
Let p = 987 + -229. Is p a prime number?
False
Let j(c) = c**3 + c**2 + 8*c + 1. Is j(4) prime?
True
Suppose -27 = 4*h + 5*n - 1643, -4*h + 1644 = -2*n. Is h a prime number?
True
Let s(h) = 42*h - 1. Let w be s(4). Suppose 214 = -2*g + 3*g. Suppose -g = -3*n + w. Is n a prime number?
True
Is -3 + 1548 + 2/(-1) a prime number?
True
Let g(r) = 2*r**2 + 6*r - 3. Let k(u) = 2*u**2 - 4*u - 3. Let m(j) = 3*j**2 - 9*j - 5. Let x(s) = -5*k(s) + 3*m(s). Let h be x(-8). Is g(h) a prime number?
False
Suppose 6*a + 3 = 3*a. Is (356 + -2)*a/(-2) a prime number?
False
Let k = 296 - 195. Suppose -y - 1 = -0, -y = -4*g + k. Is g prime?
False
Let w = 7 + -15. Is ((-158)/w)/(5/20) a composite number?
False
Let k(h) = 133*h - 33. Is k(4) a prime number?
True
Let x be (-21)/27 + 2/(-9). Is 205/10 + x/(-2) composite?
True
Let c = -929 + 1577. Suppose 2*g - 2*o = c, 0*o = 3*o + 3. Is g composite?
True
Let l(i) = -i**3 - 6*i**2 + 13*i + 26. Is l(-12) a composite number?
True
Let x = -94 - -467. Is x a composite number?
False
Suppose 4*j + 3*p = 1436, 3*j - 1730 = 5*p - 624. Is j a composite number?
True
Let u be -5*(-246 - 0)/3. Let f = u + -184. Let p = f + -161. Is p prime?
False
Let y = -310 - -489. Let l = -96 + y. Suppose 0*s = -s + l. Is s composite?
False
Let s(p) = 22*p + 6. Let w be s(5). Let k = w + 33. Is k a composite number?
False
Suppose 0 = -2*w - 0*w. Suppose -v = -w + 1. Is (-1 - v) + 1*121 a composite number?
True
Let q = 1 + 2. Let c = 1 + q. Let p(f) = 5*f + 3. Is p(c) composite?
False
Let p = -35 - -48. Is p a prime number?
True
Let t(x) = -x**3 + 13*x**2 + 14*x - 19. Is t(13) a composite number?
False
Let q(d) = -52*d - 4. Let o be q(-4). Suppose o = 4*x - 8. Is x a prime number?
True
Suppose -2*q - 3*q + 852 = -4*t, -t = -2*q + 342. Suppose 6*u - u = 3*k - 153, 4*k + 4*u = q. Is k prime?
False
Let r = 0 + -12. Let j = -23 - 2. Let k = r - j. Is k prime?
True
Suppose 1 = -3*y + 238. Is y prime?
True
Is 2132/36 + 4/(-18) composite?
False
Let f = -6 - -172. Let z = f + -84. Is z composite?
True
Suppose -u - 13 = -7*n + 2*n, -3*u = -5*n + 9. Suppose 0 = 2*h - 5 - n. Suppose 5*y = b + 65, 5*y - h*b - 76 = -26. Is y prime?
False
Let o(n) = 38*n + 5. Let r(t) = 57*t + 7. Let g(u) = -7*o(u) + 5*r(u). Is g(1) prime?
True
Let v(a) = 3*a + 2 + 5*a**2 + a**3 - 2*a - 5 + 2. Is v(-4) composite?
False
Suppose 0*o = 2*o. Suppose -2*k - 2*c + 44 = 0, -10 = 2*c - o. Is 6/k - 817/(-9) a prime number?
False
Let d be -879*(30/(-9) - -3). Suppose -6*c = -d - 1513. Is c a composite number?
True
Let p(w) be the first derivative of w**5/20 + 7*w**4/12 - w**3 + 7*w**2/2 + w + 1. Let i(j) be the first derivative of p(j). Is i(-7) a composite number?
True
Suppose 2*b = 3*z + 28, b = 2*z - 2 + 19. Is (190/z)/((-5)/15) composite?
True
Suppose 0 = -3*m + u + 1020, -5*m - 1699 = -10*m + 2*u. Is m prime?
False
Suppose a = -2 + 39. Let f = 114 - a. Is f composite?
True
Let y(o) = 3*o + 4. Is y(6) prime?
False
Suppose 4*b - 5 = -29. Let m(w) = 3*w**2 + 7*w. Let i be m(b). Suppose -i - 59 = -5*s. Is s prime?
False
Let g = -16 + 10. Is 0 + g/(-2) - 1 a prime number?
True
Let m(b) = 2*b**3 - 5*b**2 - 8*b + 7. Let h = 9 + -3. Is m(h) a composite number?
False
Is 2*(-1)/10 + 892/10 composite?
False
Is (-4)/(-18) - (-2383437)/189 composite?
False
Is 4 + -5 + 3 + 296 a prime number?
False
Let f(k) = -4*k**3 - 6*k**2 + 3*k - 7. Is f(-6) prime?
False
Suppose 2*y + 3 = -y. Let p(d) = -d**3 - 4*d**2 - 5*d - 4. Let x be p(-3). Let b = x - y. Is b prime?
True
Let q = 87 - -362. Is q composite?
False
Suppose 5 = 5*q, -2*x + 5*q + 76 = x. Let b be (-12)/((-16)/(-4)) - -145. Let n = b - x. Is n a prime number?
False
Is (-6)/(-21) + 4/((-56)/(-34086)) prime?
False
Let i = 4 + 3. Let x = i + -3. Suppose -x*v - v + 5*q + 285 = 0, 5*v + 4*q - 267 = 0. Is v composite?
True
Suppose 10 + 8 = -3*y. Let i be (16/12)/((-4)/y). Suppose -o + i*o - 83 = 0. Is o prime?
True
Let d be 1/(-2)*(2 + -2). Suppose 5*q + d*q = 60. Is (9/q)/((-2)/(-40)) prime?
False
Let u(d) be the second derivative of -d**5/20 - d**4/3 + 2*d**3/3 + 3*d**2 + d. Let f = -16 - -11. Is u(f) a prime number?
True
Suppose 10*l = 5*l + 1115. Is l a prime number?
True
Is 455 + (-9 - 15/(-3)) prime?
False
Let s be 2/6 + (-6)/(-9). Let a be 0/(s + (-4 - -1)). Suppose 0 = -p + 2*q + 8, 4*q - 4 + 0 = a. Is p prime?
False
Suppose a + a = -4. Let w(p) = -p**3 - p**2 + 3*p + 2. Let c be w(a). Let o = 31 + c. Is o a prime number?
True
Let l(q) = -q**2 - 1. Let i(v) = -6*v**2 + 2*v - 5. Let g(h) = i(h) - 4*l(h). Let o be g(2). Is 95 + o/((-15)/6) composite?
False
Suppose 5*r = -6*s + 2*s + 18, 3*r = 3*s. Suppose 2*q - 5*k = -30, -2*q + r*k = k + 14. Let c = 31 + q. Is c prime?
False
Let r(z) = -4*z - 4. Let w be r(-3). Suppose 0*o - 5*o - 2*v = 38, 2*o = 5*v + w. Is 23*2*(-3)/o prime?
True
Suppose -76 - 7 = -g. Is g prime?
True
Let n(i) = 36*i - 8. Let m be n(7). Suppose 4*u - 96 = m. Is u prime?
False
Let t be 0 - (-14 + 2)/3. Suppose -212 = -t*o - 0*o. Is o a prime number?
True
Let m = -3 + 6. Suppose -76 - 29 = -m*u. Is u a composite number?
True
Let k(a) = 87*a**2 - 4*a + 8. Let u(b) = -131*b**2 + 6*b - 12. Let w(v) = 8*k(v) + 5*u(v). Is w(-3) composite?
False
Let k(n) = 13*n**3 + 14*n**2 - 14*n + 5. Let j(x) = -9*x**3 - 9*x**2 + 9*x - 3. Let g(d) = -8*j(d) - 5*k(d). Is g(2) prime?
True
Suppose 4*f = -4*m + 28, f + 3 = 2*f. Suppose 4*v = z - 102, -m*v + 5*v = -z + 117. Suppose -5*x + n + z = 0, -4*x