True
Suppose 0 = 3*c + 2*c + 20. Is 221/1 + (-2 - c) a composite number?
False
Let t = 2836 + -1265. Is t a composite number?
False
Suppose -3404 = 5*g - 11209. Is g composite?
True
Let p = -6 - -5. Let i be (p + 2)*(4 + -2). Suppose -i*o = 2*o - 220. Is o a prime number?
False
Suppose 2*d = -2*o - 2, 2*d + 0*d = -5*o - 14. Suppose 95 = d*u - 4*x, 4*u + 3*x - 59 = 101. Is u composite?
False
Suppose -8*d = -29440 - 9672. Is d a composite number?
False
Let a be 0*(-2 - -1) + -2. Suppose 12 = -4*n, -3*d + 18 = 2*n + n. Is 744/d + a/(-6) a composite number?
False
Suppose -4*p + 40845 = -16943. Is p composite?
False
Let r(c) = 32*c**2 - 2*c - 5. Let q be r(4). Suppose 1262 = -2*n + 4*x, 4*n - x - q = -2995. Is (n/(-28))/(1/4) a prime number?
True
Let w = 12960 - 7169. Is w composite?
False
Let x(z) = 78*z + 2. Is x(2) a composite number?
True
Suppose 0 = 3*k - 590 - 469. Is k a prime number?
True
Let r(d) = -d**3 - 11*d**2 + d + 12. Is r(-13) a composite number?
False
Let t be 10/(-15) + (-32)/(-3). Suppose 0 = -d - 4*d - 4*o + 190, 2*o = t. Is d composite?
True
Suppose 2*z - 7*z + 2555 = 0. Is z a prime number?
False
Let o be 4085/20 - (-2)/(-8). Is (-1)/1 + 0 + o prime?
False
Suppose 0*t = -t + 5. Suppose -4*o = -k + 91 - 392, -t*k = -3*o + 247. Is (o/(-4))/(2/(-4)) a composite number?
False
Is 246/(-6)*-1*3 a prime number?
False
Suppose -2*a = 4*s - 2538, 4*a + 4*s - 5088 = 2*s. Is a a composite number?
True
Let h be 266/(-35) + (-2)/5. Let r = 61 + h. Is r composite?
False
Let i = 152 - 37. Is i a composite number?
True
Let d = 39 + -28. Suppose -2*q + p + 5 = 0, 5*p - d - 3 = -3*q. Suppose -7*r + q*w = -3*r - 341, -w - 169 = -2*r. Is r prime?
True
Suppose 0 = 4*a - 9*a + 25. Suppose -a*h + 235 = -1030. Is h composite?
True
Let o(g) = 2*g**2 - 17*g - 15. Is o(20) composite?
True
Let g = -23 - -25. Suppose 2*q + 3*i - 1910 = i, 5*i - 1910 = -g*q. Is q a composite number?
True
Let z(j) = 5*j**2 - 2*j + 1. Let q be z(1). Suppose 5*i - 42 = q*i. Let o = i - 28. Is o a composite number?
True
Suppose 0*v - v = 3*t - 15, -2*t - 109 = -5*v. Suppose 0*z - v = z. Let c = z + 34. Is c a composite number?
False
Let j(y) = 2*y**2 + 11*y. Is j(-6) a prime number?
False
Let h = 16 - 22. Is (-2045)/(-10) - h/4 prime?
False
Let r(o) = o**2 - 7*o + 2. Let w be r(5). Is 0 - w - (-24)/8 a composite number?
False
Let y(q) be the third derivative of -1/120*q**6 + 0 + 0*q - 1/60*q**5 - 1/24*q**4 - 1/3*q**3 - q**2. Is y(-3) prime?
True
Suppose -4*u - 24 = -2*c - 0*c, 4*c + 3*u - 4 = 0. Suppose h = 5*l + 19, 3*h = 7*h + c*l - 148. Is h a composite number?
True
Suppose 3*x - 28 = -x - 4*q, 5*x + 15 = 5*q. Suppose -3*g + 82 = -x*g. Let j = g + -29. Is j prime?
True
Suppose 0 = 3*m + 6 - 0. Is 1/(0 + m/(-778)) prime?
True
Let d be ((-4)/(-5))/((-8)/(-20)). Suppose -d*n + 0*n + 633 = -3*z, -3*z + 972 = 3*n. Is n composite?
True
Let k(f) = 48*f**2 + 3*f + 5. Let r be 2 + (-2 - 1) - 1. Is k(r) a composite number?
False
Suppose 2*s = -665 + 153. Let r = 507 + s. Is r a prime number?
True
Let a(y) be the second derivative of 4*y**3/3 + 5*y**2/2 - 3*y. Is a(6) composite?
False
Suppose 38 = 5*a - 4*a. Is 2*a + -11 + 12 a composite number?
True
Let s = -87 - -281. Is s a prime number?
False
Let w = 316 - 131. Is w a prime number?
False
Let b(g) = g**2 - g + 2. Let o be b(2). Suppose 2*d + o = -4*q - 3*d, 0 = 4*q - d + 4. Is (q - -22) + -1 + -1 a prime number?
True
Let h = 18 - 12. Is (-4)/h*(-210)/4 prime?
False
Let y be (3/(-1))/(4 - 3). Let z = y + 8. Suppose -z*l - 126 = -3*h, 3*l + 51 = 2*h - 34. Is h a prime number?
True
Suppose 0 = -3*p - 0 + 12. Suppose 4*c - 2 = 5*c, p*c = 3*z - 2. Is ((-5)/10)/(z/40) prime?
False
Suppose 0 = -4*u + 19 + 249. Is u a prime number?
True
Let i(m) = -m**3 + 5*m**2 - 3*m - 4. Let c be i(4). Suppose 5*f = -5*a + 55, -2*f - 8 = -c*f - 4*a. Is f a prime number?
False
Let o = -9 + 6. Let q(i) = -14*i - 7. Is q(o) a composite number?
True
Suppose -3*i = z - 24, 2*i + 7*z - 16 = 2*z. Is (-2)/(-4) + 1268/i a prime number?
False
Suppose 1919 = -3*b + 9548. Is b prime?
True
Let x(g) = -15*g**3 + 2*g**2 + 3*g + 5. Is x(-2) a prime number?
True
Suppose 2*o = 4, 2*d + 11*o - 2298 = 13*o. Is d a composite number?
False
Let j(k) = k + 2. Let w be j(-1). Suppose -4*o - 13 + w = 0, 3*g + 5*o = 294. Is g prime?
True
Let d(s) = -2*s**3 - 3*s**2 + 4*s - 3. Let q(v) = 2*v**3 + 3*v**2 - 5*v + 3. Let w(t) = -7*d(t) - 6*q(t). Let y be w(3). Let n = 37 + y. Is n a prime number?
True
Let b(w) = -24*w + 5. Let f(v) = 25*v - 4. Let l(z) = 3*b(z) + 2*f(z). Is l(-4) prime?
False
Suppose -3*s + 2967 = -3*q, -2*s - 2*q + 1998 = q. Is s prime?
False
Let m be 5925/10*2/3. Suppose 2*s - 12 = 5*r + m, 4*s - 3*r - 807 = 0. Is s a prime number?
False
Let s = 5 - 2. Is 1/s - (-40)/6 a prime number?
True
Suppose -4*w - 42 - 26 = 0. Let x(l) = l - 1. Let q be x(-6). Let t = q - w. Is t composite?
True
Suppose -41*k + 32*k + 2151 = 0. Is k prime?
True
Suppose -2*c - 30 = 5*y, 7*c - 2*c - 25 = 0. Is (-1262)/y + (-6)/(-24) a prime number?
False
Let c be (-3 - -11)/(2 + 0). Is 133/c - (-1)/(-4) composite?
True
Is (132/16*-2)/(2/(-4)) prime?
False
Let a(f) be the third derivative of f**5/20 - 7*f**4/24 + f**3/2 - 6*f**2. Is a(6) a composite number?
True
Suppose 3*y + 4*g = 221, -5*g = 17 + 3. Is y prime?
True
Let y(j) = j. Let a be y(4). Suppose 4*k - 5*z - 292 = 0, z + 276 = a*k - 0*z. Suppose -5*f = 3*g - 0*f - 127, 0 = -2*g + 5*f + k. Is g prime?
False
Suppose -7*k = -3*k - 16. Let b be (-132)/(-28) - k/(-14). Suppose 3*d = 4*a + 26, 2*d + b*a = 30 + 18. Is d a composite number?
True
Suppose -6*t - 3*t + 1269 = 0. Is t a prime number?
False
Let x(c) be the third derivative of c**5/30 + 7*c**4/12 - c**3/3 - 6*c**2. Is x(-11) a composite number?
True
Suppose 4*m + 0*m - 268 = 0. Suppose 0 = 2*p - p + 2*c - m, -4*c = 5*p - 365. Is p composite?
True
Suppose -3*g - g = -724. Is g a composite number?
False
Suppose 3*c - 4*n = 2201, 4*c + 2*n - 2579 = 385. Is c composite?
False
Let d = 39 - 23. Suppose -d = 4*r - 4*v, r - v + 2*v - 4 = 0. Suppose 4*z + 0*z - 28 = r. Is z prime?
True
Let s = -1 + 20. Let h = 62 - s. Is h a prime number?
True
Let y = 124 + 75. Suppose 3*l - 128 = y. Is l a composite number?
False
Let q = 644 + -109. Is q prime?
False
Let g(w) = -544*w**2 + 1. Let r be g(2). Let d = r - -3388. Is d a prime number?
True
Let r(m) = -3*m + 1. Let z be r(-1). Suppose q - 275 = -z*q. Is q a prime number?
False
Let m = 218 - 152. Suppose x + 5*z - 16 = 4*z, -2*z = -5*x + m. Is x a composite number?
True
Let o(f) = 29*f**2 + 10*f. Is o(3) prime?
False
Let a(m) = -m**2 - 8*m - 8. Let g be a(-6). Suppose 3*n - 1288 = -n - k, -985 = -3*n + g*k. Is n a composite number?
True
Let w(n) = -2*n**2 - n. Let o be w(-1). Let b be (o - (2 - 2)) + -2. Let p(j) = 14*j**2 - 2*j - 1. Is p(b) a prime number?
True
Let p(q) = 3*q**3 - q**2 + 1. Is p(1) a composite number?
False
Let b(o) = -4*o**3 - o**2 + 2*o - 2. Let h = 1 - 4. Is b(h) prime?
False
Let o = 60 - 34. Suppose 0*t - 4*s - o = -2*t, -2*t - 9 = 3*s. Suppose t*c = -2*m + 49, 2*c - 4*m = 6*c - 60. Is c prime?
True
Suppose 3 = -5*h + 13. Suppose -h*u = -76 + 2. Is u prime?
True
Is (265/(-20))/(1/(-4)) a composite number?
False
Let t be 143 + -2 - (-3)/1. Let k = 26 - t. Let g = k + 211. Is g prime?
False
Let d(x) = 3*x - 1. Let w be d(1). Suppose -p + 4 = -m + w*m, -16 = -4*m - 3*p. Suppose -2*g - r - 73 = -m*g, 0 = -5*g - 5*r + 190. Is g a composite number?
False
Let q(l) = 3*l**2 - 2*l - 13. Is q(10) a composite number?
True
Suppose 3*g = -c + 540, g + 0*c = 4*c + 167. Is g prime?
True
Let p(v) = 160*v - 3. Let c be p(4). Let j = c - 138. Is j a composite number?
False
Is ((-13202)/21)/((-4)/6) a prime number?
False
Suppose -3*r = -0*k + 3*k - 15, 5*k - 13 = r. Suppose -2*d = -4*c + d + 349, r*c + 4*d - 202 = 0. Suppose -4*u = -c - 1. Is u a prime number?
True
Suppose k = -2*k + 15. Suppose -4*t + t - k*v = -101, -117 = -3*t + 3*v. Is t prime?
True
Let m(y) = y + 98 - 41 + y**2 - 2*y. Is m(0) prime?
False
Let m(y) = -2*y**3 - 12*y**2 - 10*y - 5. Is m(-10) a composite number?
True
Let s(k) = 3*k + 13 + 3*k**2 - 20 - 2*k**2. Is s(-8) a composite number?
True
Is 1/8 - 166548/(-96) a prime number?
False
Is ((-14)/(-28))/((-1)/(-442)) prime?
