prime number?
False
Suppose 892 = -2*z + 6*z. Is z a prime number?
True
Suppose 4*b + m - 1250 - 2349 = 0, m = -b + 896. Is b prime?
False
Let m(x) = x**3 - 3*x**2 - 10*x + 5. Suppose -4*t + t = -24. Let i be m(t). Suppose -a + i = 4*a. Is a prime?
False
Let x(p) = -29*p + 3. Suppose 2*v + 13 = 5*m, -5*m - 15 = 4*v + v. Is x(v) prime?
False
Suppose -3*m + 2*i = -21 + 2, 0 = 3*m - 4*i - 11. Is m composite?
True
Suppose -1110 = 4*j - 3178. Is j a composite number?
True
Let b(f) = 4*f - 4. Let j be b(4). Suppose 3*k - j = -3. Is 10 + 1 - (k + -2) composite?
True
Suppose 0 = 2*c + n - 4457, 0 = 4*n - 2*n - 6. Is c prime?
False
Suppose 1504 + 2 = 6*r. Is r prime?
True
Let w = 12 - 0. Suppose -6189 + 404 = -5*a. Suppose 3*f - a = -f + 5*g, w = 4*g. Is f prime?
True
Let k = 152 + -43. Let p = k + -20. Is p prime?
True
Is -2*((-239)/5)/(8/20) a prime number?
True
Suppose 2*u + 2*u - 108 = 0. Let b = 50 - u. Is b composite?
False
Let l = -108 - -240. Let t = -77 + l. Is t prime?
False
Let x(f) = 5*f**2 + f. Let n be x(-1). Suppose -4*y + n*t = t - 14, 0 = t - 2. Let w(b) = 2*b**2 + 7*b - 6. Is w(y) a prime number?
True
Let x = 9 - 5. Let h(l) = 6*l**2 - 1 + 4*l - x*l + 3*l - 4*l. Is h(2) prime?
False
Suppose -g + 6 = -3*g. Is (-2 - g) + -3 + 129 prime?
True
Suppose 3*w - 4*k - 6 = 0, -3*k + 2 = 2*w - 2. Is 5 + 28 + w + -1 a composite number?
True
Let q(p) = p**3 + 4*p + 5. Suppose -3*j + 5 = 2*j - 5*a, -j - 5 = -3*a. Is q(j) a prime number?
False
Let s = -26 - -47. Let n be (-6)/(-5)*(-10)/(-3). Suppose -n*q = s - 109. Is q a prime number?
False
Is (-2*1)/((-36)/2682) prime?
True
Suppose -3*g - g - 2305 = -3*o, 4*o + g - 3067 = 0. Suppose 2*c + d = 39 + 342, 3*d = 4*c - o. Is c composite?
False
Let d(s) = s**2 + 7*s + 3. Let m be d(-7). Let o = m + 4. Suppose -3*w + o*w = 60. Is w a prime number?
False
Let d(b) = b + 10. Let f be d(-9). Let r be 2/(((-2)/203)/f). Let j = -108 - r. Is j prime?
False
Let f(k) = 88*k**3 + k**2 + k - 1. Let n be f(1). Suppose -3*r = -n - 142. Is r prime?
False
Let k = 1591 - 132. Is k a prime number?
True
Let w(a) be the second derivative of -1/6*a**3 + 1/2*a**4 + 0 + 1/20*a**5 - 2*a + 1/2*a**2. Is w(-5) a composite number?
False
Let z(i) = -13*i**3 + 7*i + 4. Is z(-5) prime?
False
Suppose -k - k = 4*x - 46, -5*x + 5*k + 95 = 0. Is x a prime number?
False
Let f = 7 - 5. Suppose -4*s + 2*c + c + 9 = 0, f*s = 5*c + 1. Suppose -s*a - 3*q + 84 = -0*a, 2*q - 155 = -5*a. Is a composite?
True
Let q = 13 + 29. Suppose 4*i = -2*c + 2 + q, -4*c + 44 = 4*i. Is i a prime number?
True
Let u(h) = 3*h**2 - 3*h + 3. Let a = 9 - 14. Let i = -2 - a. Is u(i) a prime number?
False
Suppose 4*f - 166 = 2*f. Is f composite?
False
Let v(p) = 82*p**3 + 2*p**2 - 1. Let y be 2 + -1*3 + 2. Suppose 3*z = 4*z - y. Is v(z) a composite number?
False
Suppose 2*j + 3*w - 33 = -0*w, 0 = 4*j - w - 101. Let x be j/(-9) + 2/(-6). Is 1 - (111/x + 1) prime?
True
Let p be (3 - 5)*1/2. Is p*579/(-3) + -2 composite?
False
Suppose 17 + 8 = 5*z. Suppose 6*b = z*b + 221. Is b a composite number?
True
Suppose -v + 65 = 3*h - 0*h, 226 = 4*v - 5*h. Suppose -2*j + j = -v. Is j a prime number?
True
Let b = 186 + 372. Suppose 0 = 5*z - 1537 - b. Is z a composite number?
False
Is 6/(-12) + 477/6 prime?
True
Let s(l) = -l**2 + 5*l + 3. Let o be s(5). Is ((-39)/o - -2)*-23 a prime number?
False
Let h be (-4)/(-2)*15/6. Suppose 56 = 5*v - 69. Suppose -h*f + 160 = 5*j, -3*j + f = -117 + v. Is j a composite number?
False
Let k be (-66)/(-10) - (-39)/(-65). Is k/15 + 1146/10 composite?
True
Let y(l) = 27*l + 4. Is y(1) composite?
False
Let o be (-12)/(6 + -2) - -5. Suppose -4*v - 2*r = -1656, -3*r - r = -o*v + 818. Is v a prime number?
False
Let y(k) be the second derivative of 0 - 11/6*k**3 - k**2 + 4*k. Is y(-3) a prime number?
True
Let y(b) = b**2 - 7*b + 9. Let c be y(8). Let x be 40*-1*10/(-4). Let r = x - c. Is r prime?
True
Suppose -2627 = -4*m - 831. Is m a prime number?
True
Suppose -8 = -4*y - 24. Is -3 - (-1 - -2009)/y prime?
True
Suppose -3*m + 7*m - 56 = 0. Suppose 3 = 3*w, -2*f + f - m = -w. Let u = f + 50. Is u a prime number?
True
Let i = 9 + 11. Suppose -4*w - 2 = 2*l + l, -l = -w - 4. Suppose 0 = -l*p + 4*x + 98, x - 5*x = -i. Is p composite?
False
Let o = -1 + -1. Let q be 4 - (2 - o/(-2)). Suppose -2*s + 808 = 3*s - q*c, 0 = -c - 1. Is s a prime number?
False
Let b = -102 + 139. Is b composite?
False
Suppose -1 = -2*x + 17. Let c = 7 - x. Is c*2/8*-446 a composite number?
False
Let k be (297/(-3))/(1/(-5)). Let b be 12/42 - k/(-7). Is -2 + (-2)/(-1) + b a composite number?
False
Suppose 5 = -5*j - 0*j. Let o(a) = -32*a**3 - a. Is o(j) a composite number?
True
Let f = 1 - -3. Suppose -f*p - 6 - 98 = 0. Let v = p - -63. Is v prime?
True
Let o = -33 + 59. Let l be ((-105)/(-14))/(1/o). Suppose u - 6*u = -l. Is u a prime number?
False
Suppose -4*b - 15 = -4*y - y, -3*y = -4*b - 9. Let h(o) = 5 - y*o + 3*o - 2*o. Is h(-5) a prime number?
False
Let i be 1 + 0/2 + 361. Suppose 3*o + 187 = 2*f, 0*f + 4*f - i = 2*o. Is f composite?
False
Let d = 6 - 14. Let w = 21 + d. Is w composite?
False
Let p = -164 - -279. Is p a composite number?
True
Is 211*(1 + 0/4) composite?
False
Let t be (-2)/8 + (-142)/8. Let r be ((-2)/(-3))/((-1)/t). Suppose 2*z + 0*z = r. Is z composite?
True
Let m = -595 + 1124. Is m a prime number?
False
Let q(b) = 3*b**2 - 2*b + 4. Let f be q(-4). Suppose 4*d = -2*r - f, 5*r = -3*d - 143 + 28. Let t = 5 - r. Is t prime?
False
Let u(s) be the third derivative of s**6/120 - s**4/12 - s**3/6 - 2*s**2. Let i be u(-1). Suppose i = 2*b, -2*m - 5*b + 165 = m. Is m a prime number?
False
Suppose 0 = 3*j - 3*a - 1236, -j + 416 = -0*j - 3*a. Suppose -j = -0*t - 2*t. Is t a prime number?
False
Let c = 123 + -49. Is c prime?
False
Let t = 7 + -2. Suppose 3*c = -3*m + 21 + 183, 0 = c - t*m - 86. Suppose 127 = 5*d - a + 20, -4*a = -3*d + c. Is d a composite number?
True
Suppose 4*r - f = 2*r + 177, 0 = 3*r + 3*f - 288. Suppose u + r = 580. Is u a prime number?
False
Let i = -431 - -1176. Suppose -4*d - d + i = 0. Is d a prime number?
True
Suppose -5*o = -3*z - 13442, -o + 2686 = -z - 2*z. Let u = o - 1716. Is u a prime number?
False
Let z = 1407 - 328. Is z a prime number?
False
Let d(a) = a**2 + 5*a + 5. Let z be d(-5). Is 2 - z/(20/(-308)) composite?
False
Let b(z) = -7*z + 5 - 20 + 2*z. Let d(k) = -k**3 - 6*k**2 - 4*k - 2. Let l be d(-2). Is b(l) composite?
True
Is (3/(-6))/((-5)/8990) prime?
False
Let t = 627 - 443. Let w = -95 + t. Is w composite?
False
Let f be -4*(-6)/(4 + -1). Suppose l - 2*s = 43, -12 = f*s - 4*s. Is l composite?
False
Suppose -2*f + 36 = -466. Is f prime?
True
Let l(y) = 2 - 1 - 8*y - 2 - 2. Let n(g) = 17*g + 7. Let v(a) = 7*l(a) + 4*n(a). Is v(5) composite?
False
Let r(w) = -4 - 2*w**3 + 0*w**3 + 6*w**2 + w**3. Let d be (2/(-3))/(2/(-15)). Is r(d) prime?
False
Suppose 0*n - n + i - 2 = 0, -4*i = n - 8. Let d be 24/(n + (-6)/(-33)). Let w = -39 + d. Is w a prime number?
False
Let u be 740/6 - (-2)/(-6). Suppose 0 = -0*b + 5*b - 5*o - 630, 4*o + u = b. Is b a composite number?
False
Suppose 0 = -0*n + n - 5, 0 = 3*t + 4*n + 31. Let a(s) = -3*s - 8. Is a(t) composite?
False
Is -3*(-3)/18*142 composite?
False
Let i(n) = 15*n - 17. Is i(4) prime?
True
Suppose 0 = -2*g + 56 + 98. Is g a composite number?
True
Let w(r) = 209*r + 10. Is w(5) a prime number?
False
Let c(t) = 2*t**3 - 9*t**2 - 7*t - 7. Let u be c(7). Let z = 332 - u. Is z composite?
True
Let l = 91 - 9. Let y = -31 + l. Suppose -60 - y = -3*o. Is o composite?
False
Let k(z) = -z**3 - 2*z**2 + 3*z + 3. Let i be k(-3). Suppose i*h + 0*l = -5*l + 525, 0 = -5*h + 5*l + 915. Suppose 4*n - h = -32. Is n prime?
True
Let y(w) = -21*w - 8. Let s be y(14). Let x = 447 + s. Is x a prime number?
False
Suppose 5*a - 1307 - 6048 = 0. Is a composite?
False
Let i be 1/2*(1 + 295). Suppose 292 = -2*y + 878. Let k = y - i. Is k a prime number?
False
Is (-2)/(-3)*333/6 prime?
True
Let c be (2*-1)/(1/134). Let p = -157 - c. Suppose 2*q + q - p = 0. Is q a prime number?
True
Let j(g) be the third derivative of 70*g**4/3 - g**3/2 + g**2. Is j(1) a composite number?
False
Let g = 8026 - 5333. Suppose 5*o - 4*p - g + 782 = 0, 0 = 3*o - 5*p - 1157. Is o prime?
True
Let y(n) = n**2 - 5*n - 2. Let u be 