et f = c - -78. Is f prime?
False
Let w(o) = o**3 - 6*o**2 + 6*o + 1. Let z(i) = -i**2 + 9*i + 5. Let s be z(9). Let g be w(s). Suppose -u = -4*b + 8, 4*u = -4*b - g + 34. Is u composite?
True
Suppose -3*o = 3*i - 9, 4*i - 2*o = 5*i - 5. Let k(r) = 3 + i - 3*r - 4*r - 5. Is k(-8) prime?
False
Suppose 2*d + 3*m - 583 = 0, -573 = -2*d - 0*m - m. Suppose -10*r + d = -8*r. Is r a composite number?
True
Let g = 413 + -287. Let d be (-170)/(-3)*84/70. Let k = g - d. Is k composite?
True
Let z = -143 + 254. Is z composite?
True
Let k(v) be the second derivative of v**5/60 + v**4/6 - 5*v**3/6 + v**2 - 2*v. Let u(f) be the first derivative of k(f). Is u(-6) a composite number?
False
Let u = -333 + 184. Is -1*2 - (u + 2) a composite number?
True
Suppose 6*o - o = -45. Let k be (-2382)/(-27) + 2/o. Suppose l = 4*q - k, 5*q + 3*l = 3*q + 58. Is q composite?
False
Let l(n) be the second derivative of 65*n**3/6 - 3*n**2/2 + 2*n. Is l(2) composite?
False
Let b = -7 - -11. Let t(y) = -y**3 - 5*y**2 - y - 3. Let w be t(-5). Is (148/8)/(w/b) a composite number?
False
Suppose -c = -5*h + 13, -7 = 4*h + 2*c + 3*c. Let b(a) = -5*a - h + 4 - a**3 + 2*a**2 + 3*a. Is b(-3) prime?
True
Suppose -4*o = -2*o - 210. Let d = o - -106. Is d a composite number?
False
Let q = 1624 + 135. Is q prime?
True
Let n(v) = -v**2 + 8*v - 5. Let h be n(5). Let g = 2 - h. Let t(a) = -2*a - 2. Is t(g) prime?
False
Let r(w) = -3*w + 5. Let i(v) = v**3 + v**2 - 14*v + 26. Let h(y) = -2*i(y) + 11*r(y). Is h(-4) a composite number?
True
Let s = 159 + -231. Let b = -23 - s. Is b prime?
False
Let j = 9742 - 6353. Is j prime?
True
Let y be 364/(-21)*(-3)/2. Suppose -y = -2*t - 0*t. Is t a composite number?
False
Suppose 6*h = 132 + 990. Is h a prime number?
False
Suppose -24 - 43 = -c. Is c a prime number?
True
Let n = -5 - -8. Suppose 4*j - 20 = x, -3*x - 31 = -4*j - n. Is j/(-10) - 308/(-20) prime?
False
Let s(q) = -q + 0*q + 5*q. Let j be s(1). Suppose j*t - 31 = 3*t. Is t a composite number?
False
Suppose -7 + 25 = -3*k. Is ((-3)/k - 1)*-134 prime?
True
Let v = 60 - 9. Is v composite?
True
Let b be 2/6 + 16/6. Is 138/b + (1 - 4) a prime number?
True
Suppose 4*b + 18 = 2*b. Let k = 15 - b. Let o = 57 - k. Is o a composite number?
True
Is 4*(2 + (-15)/(-2)) composite?
True
Let x(o) = o**3 + o + 53. Suppose -6*t = -t. Let p be x(t). Suppose 4*f - 10 - p = i, 0 = -2*f - 4*i + 18. Is f a composite number?
True
Let c = -7 - -10. Suppose 3*t = 3*d - 2*t - 763, c*d - 751 = -t. Is d composite?
False
Let k(n) = n**3 - 26*n**2 + 32*n - 33. Is k(26) prime?
False
Let o = 410 - -657. Is o prime?
False
Let s(r) = r**3 - 5*r**2 - 4. Let a be s(5). Let z be (-4)/6*(-24)/a. Let i(y) = 3*y**2 - y + 3. Is i(z) a prime number?
False
Let l be 4/(-34) - (-12432)/476. Let a = -291 - -448. Suppose l - a = -v. Is v a composite number?
False
Is ((-12588)/30)/((-2)/5) composite?
False
Suppose -v + 12 = 3*v - 3*m, 0 = -3*m. Suppose -n = v*n - 40. Is n a composite number?
True
Is 1*3 + -1 + 1250 + 1 a prime number?
False
Let a(p) = -p**3 - 10*p**2 - 10*p - 3. Let n be a(-9). Suppose 2 - n = -2*w. Is 1*w*522/12 a composite number?
True
Let u(s) be the first derivative of -5*s**2/2 - 12*s - 5. Is u(-9) a composite number?
True
Let x be 2/2 + (-2 - -1). Suppose -n + 6 = h, -n + x = 2*h - 2. Suppose b = 2*u - 5*u + 242, 2*b = n. Is u a prime number?
True
Let d(o) = o + 0*o**3 + 2*o**3 + o**2 - 3*o**3 + 37. Is d(0) composite?
False
Let x = 12 + -8. Let k = 1 + x. Suppose 0 = -3*c - 4*t + 225, k*c - 3*t - 404 = -0*t. Is c composite?
False
Let c(p) = 10*p - 6. Let i be c(10). Let y(f) = f**2 + 3*f + 2. Let n be y(-3). Suppose j = -n, b - 3*b + i = 2*j. Is b composite?
True
Let r(g) = 3*g**2 - g + 1. Is r(-3) prime?
True
Let x(q) = -q**3 - q**2 - q + 25. Let w be x(0). Let f = 234 - w. Is f composite?
True
Is (-18712)/(-12) - (-1)/(-3) composite?
False
Let n = 4 + 45. Let o = 87 - n. Suppose 0 = -5*g + r + 442, g + o = -2*r + 133. Is g a prime number?
True
Let x = 8 + -38. Let k = x + 49. Is k a prime number?
True
Suppose 4*x - 4*r = 3*x + 147, 3*x - 461 = 2*r. Suppose 3*o - x = 154. Is o prime?
True
Let a be -3*1/(-1 - 0). Let z be (-33)/9 + 2/a. Is (-822)/(-9) - (-1)/z a prime number?
False
Let k(q) be the second derivative of q**5/20 + q**4/6 + q**3/3 + q**2 + 8*q. Is k(3) composite?
False
Let z = 5 - -4. Suppose -z = -5*f + 1, 2*f = x - 289. Is x prime?
True
Let n = -335 - -550. Is n a composite number?
True
Let q(a) = -10*a + 5. Let f be q(2). Is 1 - (-5)/(f/(-1074)) a prime number?
True
Suppose 3 = 2*z + 2*z + v, 0 = -z + 3*v - 9. Suppose z*n + 5*n = 175. Is n a composite number?
True
Let c(y) = 17*y**2 + 4*y + 3. Let f = 11 + -15. Is c(f) prime?
False
Let p = 536 + -134. Suppose -4*k + p = -218. Is k a prime number?
False
Suppose -5*k - 750 = 1445. Let x = -277 - k. Suppose 4*v - 22 = x. Is v prime?
False
Let p(i) = 4 + 0*i + 0*i + 3*i**2 + 7*i. Let z be p(-7). Suppose 2*l - 4 - z = 0. Is l a composite number?
False
Let f be (3/2)/((-9)/(-24)). Is (2 - f - -2) + 469 composite?
True
Let a(v) = 23*v**2 + 12. Is a(-5) prime?
True
Let v = 14 + 40. Let o = v + -23. Is o a prime number?
True
Let n = -5 - -5. Suppose 2*k = -3*k + 340. Suppose -y + k - 15 = n. Is y prime?
True
Let u = -1 + -9. Let x(g) = 4*g**2 + 10*g - 13. Is x(u) composite?
True
Let j(d) = 117*d**2 - 4*d + 4. Let o be j(3). Suppose 0 = -2*i - 0*i - 5*x + 15, -5*i + 24 = -x. Suppose -4*w = p - 7*w - 205, i*w = 5*p - o. Is p prime?
True
Is 0/(-4) - (-82 - -3) a prime number?
True
Let z = 172 - 90. Suppose 0 = -3*j + z + 23. Is j a composite number?
True
Suppose 0 = 5*a + 4 + 6. Let w be (-12 + 2)/a + 2. Let v(n) = 4*n + 9. Is v(w) composite?
False
Let m(q) = 1 + 2 + 81*q - 2. Let w be m(3). Suppose -5*z + w + 81 = 0. Is z a composite number?
True
Let o(a) = -a**3 - a**2 + 596. Let y be o(0). Suppose 2*q + 0*q = y. Is (q/(-4))/(4/(-8)) a composite number?
False
Suppose -3947 + 269 = -6*p. Is p prime?
True
Let a(y) = y**3 - 7*y**2 + 6. Let u be a(6). Let x = -11 - u. Is x a composite number?
False
Let p(h) = -2*h + 2. Let j be p(-3). Suppose -2 = 2*f - j. Suppose -f*q + 2*q + 14 = 0. Is q composite?
True
Let w = -62 - -95. Suppose t - w = 5*a, 0*t - 3*a = t - 57. Suppose d + 3*d - 4*s - t = 0, -4*d + 53 = s. Is d a composite number?
False
Suppose 2*q + 3*q = -4*h + 35, -h - 2*q = -11. Suppose -5*p = -0*p + 3*z - 908, 5*p - 940 = h*z. Suppose 0 = 4*a + 12 - p. Is a a prime number?
True
Let n be 7324/8 - 2/4. Let g = 1706 - n. Is g a prime number?
False
Suppose 2*d + 4*a = 3*a + 1, -5*a = -5*d + 25. Is 181/2 + (-3)/d a composite number?
False
Suppose a - 994 = -a. Is a prime?
False
Suppose g - 4*h = 19, -4*h = 4*g + 4 - 0. Suppose -14 - 1 = -g*u, 2*u = -j + 75. Let i = j - 42. Is i a composite number?
False
Let q(z) = -91*z**3 - 4*z**2 - 3*z - 1. Is q(-3) composite?
True
Let a(s) be the third derivative of s**5/12 + 5*s**4/24 - s**3/2 - 3*s**2. Let q be a(-5). Suppose h - q = -5*b, 3*b + 13 = h - 124. Is h a composite number?
True
Suppose 2*n = 4*n. Suppose 0 = -2*j - 4*s + 114, n = -3*j + s + 211 - 5. Suppose -2*p + u = -128, j = p - u + 2*u. Is p composite?
True
Is (40/12)/(12/3438) a prime number?
False
Let q(j) = j**3 - 6*j**2 + 5*j. Let b be q(5). Suppose -2*n + 319 = z, -4*z + 6*n - n + 1211 = b. Suppose -2*p + 121 = -z. Is p a composite number?
True
Suppose 5*q - 2*n - 5 = 0, -5*q + 20 = 4*n - 3*n. Suppose l - 13 = -q. Is l a prime number?
False
Suppose 6*s - 2*s - 5*t = -12, 0 = 3*t - 12. Suppose -s*a = 3*a. Suppose -2*b + 102 - 36 = a. Is b composite?
True
Let p = 4103 + -2377. Is p a composite number?
True
Suppose 0 = 9*k - 5*k - 6868. Is k prime?
False
Let n = 9 + -5. Suppose n*z - z - 169 = p, 2*p - 212 = -4*z. Is z prime?
False
Let x(j) = 277*j - 1. Is x(2) prime?
False
Let j(v) be the third derivative of -v**5/60 - 7*v**4/12 - v**3/2 - 8*v**2. Is j(-4) a prime number?
True
Suppose 2*o - 2 = 2*x, 4*o + 4*x - x - 11 = 0. Let u(j) = 61*j - 1. Let b be u(o). Let d = b - 36. Is d composite?
True
Let m(i) = -i**2 + 4*i + 2. Let f be m(4). Is 21/(3/4*f) prime?
False
Suppose k - 1 = 0, 7*m - 2*m + 5*k - 20200 = 0. Is m a prime number?
False
Is ((-1)/(-2)*-7)/(4/(-7816)) a prime number?
False
Suppose 0 = o - 246 - 2922. Is o/5 - 3/5 prime?
False
Suppose 3*