prime number?
True
Suppose -6*b = -b - 525. Suppose -3*c - 2*d - d = -b, -4*c + 138 = 3*d. Is c a prime number?
False
Let o be (-1)/(-1)*(1 + -2). Let k be (-4)/(-2) - (-2 - o). Suppose 3*v = -3*f + 108, v + 2*v - k*f = 78. Is v a composite number?
False
Let x be (1*(-2 + 0))/(-1). Suppose s = x*s + 6. Is -15*(1 + 10/s) a composite number?
True
Suppose l = -f + 335, -4*l + 1340 = -0*f - 2*f. Is l a composite number?
True
Let v = 771 - 188. Is v a prime number?
False
Let f be 10*((-6)/4 - -2). Let i be 3 + 356 - (f - 2). Is 2/((-2)/i*-4) a prime number?
True
Suppose 3*v - 2*k - 307 = 0, -411 = v - 5*v + 3*k. Let y = 166 - v. Is y a composite number?
False
Let k = -51 + 86. Is k a composite number?
True
Let d = 58 - -249. Is d a composite number?
False
Suppose -2*k + 2*w + 36 = -4*k, -5*k + 2*w - 76 = 0. Let y = k - -27. Is y a prime number?
True
Is ((-6868)/(-16) - 6)/((-1)/(-4)) composite?
False
Let o be ((-4)/6)/(8/(-60)). Suppose 38 = -3*m + o*m. Is m prime?
True
Let d(k) = -19*k + 6. Let a(v) = -19*v + 6. Let c(p) = -2*a(p) + 3*d(p). Let u be c(-7). Suppose -u = -2*l + 5*q, -l + 348 = 3*l + 4*q. Is l composite?
True
Let s(q) be the first derivative of 2*q**4 - q**3 - 3*q**2 - 6*q - 6. Is s(5) a prime number?
False
Let k = -8 - -13. Suppose 3*g - 2*x + 9 = 2*g, k*g = -2*x + 3. Is (-26)/((-6)/(2 - g)) composite?
False
Suppose 6*g + 1563 = 9*g. Is g a prime number?
True
Let s(c) = 12*c**2 - 10*c - 9. Let v be s(-6). Suppose -3*h + v = -2*k, -2*h - 2*h - k + 644 = 0. Is h prime?
False
Suppose -h - 4*l = -3*h + 102, 0 = 3*h + 4*l - 203. Let g = 60 + h. Is g prime?
False
Let g = -12 + 14. Suppose 0 = -2*v + 6*v - 2*f - 272, -f - g = 0. Is v a prime number?
True
Let s(m) = -m**3 + 11*m**2 - 7*m + 4. Is s(10) a prime number?
False
Let p be ((0 - 2) + 2)/2. Let j = 4 + p. Suppose -k + 40 = j*a, a - 53 = -2*a + 5*k. Is a composite?
False
Suppose 5*t + 0*g + 29 = -g, -3*t + 5*g = 23. Let u = -4 - t. Suppose u*d = d + 13. Is d a prime number?
True
Suppose -42*r + 38*r = -748. Is r a composite number?
True
Let y = 241 + 66. Is y a prime number?
True
Let j(l) = l**3 + l**2 - l + 2. Let i(n) = n**3 - 6*n**2 + 5*n + 3. Suppose 0 = -3*g + 5*g - 10. Let z be i(g). Is j(z) a prime number?
False
Let p(j) = 9*j**2 - 6*j + 4. Let l be p(4). Let d = -14 - 33. Let z = l + d. Is z a composite number?
True
Let k(a) = -25*a + 1. Let f be k(-2). Let b = 98 - f. Is b a composite number?
False
Let w = 1273 + 382. Is w prime?
False
Suppose -78 - 130 = -p - m, -3*m = -5*p + 1080. Suppose 0 = -5*a - p + 1138. Is a composite?
True
Suppose 2*s + b + 207 = 4653, 3*s + 5*b - 6683 = 0. Is s a composite number?
False
Suppose -3*r + 2*r = 0. Suppose 3*b - 274 - 44 = r. Is b composite?
True
Let x be (-78)/4*(-80)/15. Suppose -m - 3*m = -x. Is m a prime number?
False
Let w = 3 - 1. Let c(a) = a - w + a - 3*a + 3*a**2. Is c(3) prime?
False
Let a be (1/(-3))/((-1)/12). Is 2/8 + 27/a prime?
True
Suppose 3*c + 953 = 3*j + 4*c, 2*j + 3*c = 626. Is j a prime number?
False
Let m be 8*1 + -2 + (-18)/9. Let z = 2137 - 1502. Suppose z = m*b + b. Is b a prime number?
True
Let v(s) be the third derivative of 0*s**4 + 0 - 1/24*s**6 - 1/6*s**3 - 2*s**2 - 1/30*s**5 + 0*s. Is v(-2) a composite number?
False
Let q = -1251 - -3992. Is q a prime number?
True
Is ((-31437)/(-105))/(11/5 + -2) composite?
True
Let w(l) = 3*l. Let r be w(-2). Is (r + 5)/(2/(-154)) composite?
True
Suppose -12 = b + g + 3*g, 0 = -5*b + 4*g + 36. Suppose 5*n = -r + 7, -b*n - 2*r = -3*r - 11. Suppose 0 = -n*f - f + 201. Is f composite?
False
Let u(y) = y**3 + y**2 + 8*y - 5. Let z be -2*-5*1/2. Let h be u(z). Suppose 2*n - h = -3*n. Is n a composite number?
False
Let i be (-554)/(-4) + 5/(-10). Let r = i + 25. Is r a prime number?
True
Suppose -603 = -3*n - 0*n. Suppose -2*r + 267 + n = 0. Let h = 445 - r. Is h prime?
True
Let l(q) = 125*q**2 + 3*q + 5. Suppose 3*i + 5 = -1. Is l(i) a composite number?
False
Suppose 343 = 3*g - 194. Let n = g - 76. Is n a composite number?
False
Let p = -17 - -30. Suppose -3*i + 17 = -p. Suppose i = -2*a + 3*a. Is a a prime number?
False
Is (0 - -2)*1601 + -3 composite?
True
Let u(c) be the second derivative of -c**5/20 - c**4/3 + 4*c**3/3 - 5*c**2/2 + c. Is u(-6) prime?
True
Suppose 0 = -3*m + 1 + 8. Suppose -3*q + 231 = m*h, 4*h - 3*q + 5*q - 312 = 0. Is h prime?
True
Suppose -4*p - 18 = -142. Suppose -9 = -5*f + p. Is (-1)/(-4) + 630/f composite?
False
Suppose -9*o = -4*o - 775. Is o composite?
True
Let b be (-105)/(-2) + 12/8. Let j = b + -32. Is j a composite number?
True
Let z be ((-12)/(-10))/((-2)/(-135)). Let d = z - -86. Is d a prime number?
True
Let o = 141 + -335. Let i be (-17)/(-2 + o/(-98)). Suppose -327 = -2*x - g, -5*x + 5*g + i - 23 = 0. Is x a prime number?
True
Suppose 3*i - 7 + 4 = 0. Is (i - 2)/(2/(-62)) a composite number?
False
Suppose 2*t + 0 + 6 = 2*a, -5*t - 25 = 5*a. Let n(u) = -12*u + 4. Let s be n(t). Suppose 2*y - s = 4*w - 2, -2*y - 2*w = -38. Is y composite?
True
Let p(y) = -54*y - 1. Suppose 0 = g - 3*g - 2. Is p(g) a composite number?
False
Suppose 9*w - 10 = 1889. Is w a composite number?
False
Suppose 0 = 3*b - u - 2249, 0 = 2*b - 3*u - 258 - 1232. Is b prime?
True
Let l = 28 - -17. Is 2 + l + (-3 - -3) composite?
False
Let d = 811 - 470. Suppose -4*j - d = -5*j. Suppose -j = -3*q + 4*f, q = -3*f + 43 + 88. Is q prime?
False
Let m(l) = l**3 + 3*l**2 + 3*l - 4. Let d be m(4). Let k be 2/(3 + (-625)/209). Let s = k - d. Is s a prime number?
True
Suppose 0*b = -4*b + 416. Suppose -y + b = 3*y. Is y composite?
True
Is (-2)/8 + 87720/32 composite?
False
Let p be 250/1 + 21/(-7). Suppose 5*u - p - 198 = 0. Is u a composite number?
False
Let h(i) = 2*i**2 + 11*i + 16. Let j(z) = -z**2 - 6*z - 8. Let l(t) = 4*h(t) + 9*j(t). Let s be l(-9). Is s*2/(4/50) a composite number?
True
Suppose -4*c - 419 = -s + 410, -4025 = -5*s - 4*c. Is s composite?
False
Let z(s) = s**3 + 5*s**2 - 7*s - 7. Let g be z(-5). Let i = g - -9. Is i composite?
False
Let j(u) = 304*u**2 + u + 1. Let q be j(2). Let y(x) = 2*x**3 - 3*x**2 - 5*x - 8. Let m be y(-7). Let v = m + q. Is v a composite number?
True
Let x(m) = -m**2 + 7*m + 5. Let u be x(4). Suppose -z + 5*l = -127 + u, -2*z = l - 187. Is z prime?
False
Let s = 294 + -117. Is s a prime number?
False
Suppose -5*l + 5 = 2*d, -3*d + 2*l + 2*l = 27. Let m = 7 - -3. Is d/(-25) + 588/m prime?
True
Suppose -r + 2*m + 19 = 5, 0 = 3*r - 3*m - 27. Suppose -r*w = -186 - 2. Is w composite?
False
Let n(s) be the second derivative of -s**5/20 - s**4/4 - 5*s**3/6 + s**2/2 + 2*s. Suppose 0 = -4*u - 1 - 15. Is n(u) prime?
True
Let k(c) = -c**2 - c - 1. Let y be k(3). Is (-10 - y)*(-254)/(-6) a prime number?
True
Suppose 3 = 3*s - 6. Suppose w - s*w - 122 = 0. Let g = -42 - w. Is g prime?
True
Suppose -4*g + 8*g + 4 = 0. Is (53 - -1) + (g - 0) prime?
True
Suppose -10 = 5*a + 10, -4*p - a + 10344 = 0. Is p a composite number?
True
Let i(v) = -7*v**3 - v**2 + 3*v + 1. Suppose z - j = -4, 0*j - 2*j + 4 = 0. Is i(z) composite?
False
Let m be 1 - (-2 + 2 - -5). Suppose 6*w + 4 = 2*w. Is 28/m*7/w composite?
True
Let w(i) = 19*i**2 + 19*i - 1. Is w(13) a prime number?
True
Suppose -76*w + 502 = -75*w. Is w a prime number?
False
Suppose -4*b + 0*b + 8 = -3*j, 3*b = -3*j + 6. Let n be (0 + 54)/(2/14). Suppose -2*m - 3*x + n = x, -x + 2 = j. Is m a composite number?
True
Let r(l) = l**3 - 15*l**2 + 14*l - 13. Is r(18) prime?
False
Suppose 30 = 3*d + 3*d. Suppose -3*o + 660 = d*n - 6*o, -4*o = -n + 149. Is n a prime number?
False
Is (-2)/(-6) + 6872/12 a prime number?
False
Let r(j) = j**3 + 3*j**2 - 4*j + 1. Let m be r(6). Suppose 5*u = m + 134. Is u composite?
True
Let i(v) = 7*v**2 + 7*v + 2. Let l(u) = 3*u**2 + 4*u + 1. Let r(x) = -2*i(x) + 5*l(x). Let q be r(-7). Suppose -3*a + q*a = 70. Is a prime?
False
Suppose 3*n + h + 0*h - 269 = 0, -6 = -3*h. Is n a prime number?
True
Let i(a) = -4*a**2 - a + 3. Let d = -1 - -6. Let m be i(d). Is ((-5)/(-3))/((-2)/m) a prime number?
False
Suppose -4*t = -9*t + 5345. Is t prime?
True
Let v(z) = z**2 - 2*z + 211. Is v(0) composite?
False
Suppose 0 = -3*u - 2*b + 230, -163 = -4*u + b + 140. Let c = 158 - u. Let q = c - 57. Is q a composite number?
True
Let i(t) = -21*t - 40. Is i(-17) a prime number?
True
Let l(s) = s