composite?
False
Let i = 3560 + -2451. Is i a prime number?
True
Suppose 0 = 3*r + 3 - 15. Suppose r*q = -3*w, w - 5*q - 14 - 5 = 0. Suppose h + 4*h - 14 = -w*z, -5*h + 5*z + 50 = 0. Is h a prime number?
False
Let p(k) = -k**3 - 5*k**2 - 8*k - 6. Let g be p(-7). Suppose 5*w = 5*i + 335, -6*w = -4*w + 5*i - g. Is w composite?
True
Let a = -9 + 7. Let b(z) = -17*z**2 - 4*z - 2. Let h be b(a). Is (-6)/(-1) - 3 - h a composite number?
True
Let w = 562 + -181. Suppose -2*o = -5*o + w. Is o a composite number?
False
Let u(t) = 4*t**2 - 3*t + 4. Let q be u(3). Suppose 3*h - 559 = -i, -2*h + 4*i = -351 - q. Is h prime?
False
Let y(f) = -117*f**2 - 8*f + 14. Let u(r) = -39*r**2 - 3*r + 5. Let j(w) = 11*u(w) - 4*y(w). Let b be j(-1). Let d = b + 44. Is d a composite number?
False
Let w(p) = -7 + 3*p + 2*p - 6*p. Let f be w(-7). Suppose f = -2*y + 38. Is y a prime number?
True
Suppose 4*o + 8 = 0, -2*w + 3*o = 8*o + 106. Let b = w - -85. Is b composite?
False
Let g = -256 - -402. Is g composite?
True
Suppose -5*b = -6*b + 587. Is b prime?
True
Let p = 623 - 250. Suppose 0 = -3*v - t - t + p, -3*v + 389 = -2*t. Is v composite?
False
Let t(v) = 7*v**2 + 2*v + 7. Let c be t(-6). Let h = -173 + c. Is h prime?
False
Suppose 2*s - 20 = -4*m, 3*s = -5*m + s + 24. Is (2/m)/((-2)/(-1324)) prime?
True
Let j(h) = -2*h**2 - 8. Let k be j(0). Let i be ((-76)/8)/(1/(-2)). Let m = i + k. Is m composite?
False
Let a(n) be the first derivative of -3*n**2 - 8*n + 3. Let x(k) = -6*k - 9. Let p(b) = -4*a(b) + 3*x(b). Is p(5) a composite number?
True
Let g = 30 + -16. Suppose -6*r = 1 - 31. Let u = r + g. Is u a composite number?
False
Suppose -2155 = -9*q + 4*q. Is q prime?
True
Let a(l) = -10*l + 7. Let m be a(6). Let b = 142 + m. Is b a prime number?
True
Suppose -k = 4*z - 43, 25 = -5*k - 4*z + 208. Is k composite?
True
Let a(s) = s**3 - s**2 - s - 1. Let t(l) = -5*l**3 + 5*l**2 + 3*l + 53. Suppose -6*g + 10*g - 4 = 0. Let p(w) = g*t(w) + 4*a(w). Is p(0) a composite number?
True
Let z(w) = 4*w + 0*w + 10*w**2 - 7 + 2*w - 2*w. Is z(-5) a composite number?
False
Suppose 6*v = 3*v - 12. Let j = v + 4. Suppose j = -0*y + 4*y - 76. Is y prime?
True
Let y(i) be the second derivative of -i**5/20 - 3*i**4/4 - 11*i**3/6 + i**2/2 + 7*i. Is y(-10) a prime number?
True
Suppose -3*x - 2*l = -95, 0 = 4*x - 3*x + 4*l - 45. Let u = 55 - x. Is u prime?
False
Let y be (-13)/4 + 3/12. Is (-2 - y)*(-1 - -32) composite?
False
Let u(f) = f**2 - 4*f + 3. Let y be u(3). Suppose -4*g = -y - 16. Suppose -v + g*v = 18. Is v a prime number?
False
Is 4*-1 + -4 + 591 a composite number?
True
Let r = 2 + 1. Suppose -d + r*d - 18 = 0. Suppose d = z - 26. Is z a composite number?
True
Suppose 5*i = 3*g - 9, 5*g - 15 + 0 = 4*i. Let r(w) = -w + 47. Is r(i) prime?
True
Suppose 5*j + 3164 = 10774. Is j a prime number?
False
Suppose -2*o - 192 = -4*o. Suppose -5*d - 5*x = -490, 2*x - 3*x = -d + o. Is d a composite number?
False
Let d(i) = 25*i + 5. Let j be d(5). Let o = -3 + 8. Suppose v + o*z = 48, -2*z + z + j = 3*v. Is v a prime number?
True
Suppose 4*r + 40 = -0*r. Is (-258)/r - (-2)/10 prime?
False
Let i = -16 + 26. Suppose i = x - 0*x + 2*r, 5*r = 2*x + 16. Suppose -2*o - x*p + 3*p = -13, -3*p = -3. Is o composite?
False
Suppose -7*u + 1806 = -u. Is u a composite number?
True
Let h = 25 + -4. Is h a prime number?
False
Suppose -p + 0 = -7. Suppose -3*b = -4*q - 5, -2*b + 3*b + p = -3*q. Is (-149)/q*10/5 composite?
False
Let t(h) = -h**2 + 5*h + 1. Let q be t(5). Let k be 86*(0 + q) - -1. Suppose -5*v = m - 3*m - k, 2*v = -m + 42. Is v a composite number?
False
Let h(d) = 6*d**3 + 6*d**2 + d - 2. Let a be h(5). Suppose -5*o + 2*o + a = 0. Is o a composite number?
True
Suppose -2*q + 40 = 2*i, -3*i + i + 46 = 5*q. Is 12/i*318/4 a prime number?
True
Let j(q) = q**3 + 21*q**2 + 23*q - 16. Is j(-17) a composite number?
True
Let h(i) = 62*i**3 + 5*i**2 - i - 3. Let y(w) = -62*w**3 - 6*w**2 + w + 4. Let x(m) = -4*h(m) - 3*y(m). Let k be x(1). Let d = k + 140. Is d prime?
False
Let p be ((-15)/6)/(2/(-4)). Suppose 0*q = p*q - 275. Is q composite?
True
Suppose 5*m = -4*i + 3, i - 5*m - 3 = 4. Suppose -l - i*l = -1407. Is l a composite number?
True
Is -2 - (4 + 50/(-5)) a prime number?
False
Let x(b) be the first derivative of -b**3/3 + 4*b**2 + 3*b + 2. Suppose 24 = 3*w - 2*p, p + 6 = 2*w - 10. Is x(w) a prime number?
True
Let a(s) = s**3 + 7*s**2 - 4*s + 7. Is a(6) composite?
True
Let q(a) = -a - 2. Let n be q(-4). Suppose n*k = -k + 201. Is k a composite number?
False
Let f(m) be the first derivative of m**4/4 + 4*m**3/3 + m**2/2 + 3*m + 6. Suppose 3*i = 4*k + i + 12, k = -2*i - 3. Is f(k) prime?
False
Let y be ((-100)/(-30))/((-2)/(-57)). Let f = y + -12. Is f a prime number?
True
Let j be 0*(-2)/(-4) - -207. Let a = -32 + -86. Let b = j + a. Is b a composite number?
False
Suppose -162 = -x + 3*x. Let i = x + 139. Is i a composite number?
True
Let x(t) = t**3 - 3*t**2 + 2*t + 2. Let d be x(2). Suppose 2*g + d = 0, -5*g = -6*j + 4*j + 79. Let w = 60 - j. Is w a composite number?
False
Suppose -i = -0 + 2, 4*p - 772 = 4*i. Is p a prime number?
True
Let t(u) = -u. Let z(y) = -2*y**2 - 2. Let f(m) = -3*t(m) - z(m). Is f(-5) composite?
False
Suppose -3*u = -b + 9, 9*b - 4*b = 0. Let h(v) = 28*v**2 - 4*v - 3. Let x(i) = -27*i**2 + 3*i + 2. Let w(k) = -3*h(k) - 4*x(k). Is w(u) composite?
True
Let t(y) = -y**2 - 13*y - 9. Let h be t(-12). Is 154/(1*6/h) a prime number?
False
Let a = 1156 + -525. Is a a composite number?
False
Suppose -3*j + 4*j = -5*d + 5342, 0 = 4*j + 12. Is d prime?
True
Let l = 3010 - 1895. Is l prime?
False
Let q = 97 + 64. Let p be (3 - q)*10/4. Is 3/(-4) - p/20 composite?
False
Let c = 40 + 171. Is c a prime number?
True
Suppose -24 = -4*t + 3*v, v = t + 1 - 8. Suppose -j + 10 = -t*j. Let a(o) = -22*o - 1. Is a(j) prime?
True
Suppose 4*d + 274 = 2*l + 68, -l - 5*d = -103. Is l prime?
True
Suppose -2510 = -5*l + 2*s - 3*s, l + 5*s = 526. Is l composite?
True
Let l = 14 - 12. Suppose -l*a - 80 = -2*h, -h + a = -5*h + 145. Is h a prime number?
True
Let u = -1 + 3. Let q be -2 - (0 - (u - 2)). Is q/((-73)/71 + 1) a prime number?
True
Let i(u) = 48*u**2 - 1. Let o be 38/(-9) - 8/(-36). Let c = o + 2. Is i(c) prime?
True
Suppose -n + 10 = 5*c, -1 - 5 = -n - 3*c. Suppose -3*f + n*b = -b - 64, 8 = 4*b. Is f a prime number?
False
Let m be (13/39)/(2/(-42)). Suppose 2*g = 5*f - 625, 625 + 0 = 5*f - 3*g. Is f + (m + 3)/(-2) a composite number?
False
Suppose -4*c - 4*m + 144 = m, -4*m + 140 = 4*c. Is c a composite number?
False
Suppose -3*u - 536 = -3*i - 2*u, -717 = -4*i - u. Is i composite?
False
Let c(o) = -o**3 + 4*o**2 + 4*o + 6. Let q be c(5). Is (-6)/2 - (-159 - q) composite?
False
Let h(o) = 10*o**3 + 20*o**2 - 3*o - 3. Let i(k) = -3*k**3 - 7*k**2 + k + 1. Let j(y) = -2*h(y) - 7*i(y). Suppose 28 - 8 = -5*t. Is j(t) a prime number?
True
Let j be 2/(-4 - -3) - 61. Let l be 2/(-4) + j/(-18). Suppose -l*r = 5*v - 713, r + 20 = -4*r. Is v a composite number?
True
Let x(l) = l**3 - 5*l**2 - 9*l + 6. Let f be x(6). Let d = f - -38. Is d a composite number?
True
Suppose -6 = 2*q - 5*q. Suppose q*i - 6 = 24. Is i a prime number?
False
Suppose -4*o + 12 = -4. Suppose -452 = -o*a - 0*a. Let h = a - 60. Is h prime?
True
Let j = 8 + -6. Let x be (-2 - j/(-1))/(-1). Suppose -4*d + 9*d = -5*k + 225, -d + k + 47 = x. Is d composite?
True
Let k = 1931 + -869. Let l be (k/(-15))/(-3)*5. Suppose -c - c + l = 0. Is c a prime number?
True
Let d = 12 - 9. Suppose d*y - 198 = 435. Is y prime?
True
Suppose -q = -2*a - 5, 2 = -q - 2*a + 3. Suppose 0 = q*i + 9, -6 + 20 = -x - 5*i. Is (2 + -1)/(x/3) a prime number?
True
Suppose c - 4*c + 21 = 0. Let y be -2 - (1 + c*-1). Suppose y*j = -0*j + 88. Is j a prime number?
False
Let t(k) = -k**3 + 4*k**2 - 2*k + 4. Is t(-7) a prime number?
True
Suppose -3*j + 33 = -2*w - w, w - 13 = -3*j. Suppose d - j = 31. Is d composite?
False
Suppose -2*c + 0 - 2 = 0. Let k be (c - 1)*(1 + 31). Let z = k + 147. Is z a prime number?
True
Suppose -22*g = -17*g - 1465. Is g prime?
True
Suppose -14*d + 24368 = -15098. Is d a prime number?
True
Suppose 4*d - 2*k + 8 = d, 30 = -5*d - 5*k. Is 11/d*(-3 + -1) composite?
False
Is 0/(-4) + 3 + 376 a prime number?
True
Let n = -3750 - -6745. Is n a 