osite number?
True
Suppose -1910 = -5*z - 5*n - 410, -3*z + 3*n = -912. Is z prime?
False
Let x(f) = -f**3 + 9*f**2 - 11*f - 5. Let m be x(8). Let y = m + 116. Is y composite?
True
Is -2 - (-863 + -6 + 2) prime?
False
Suppose 5*h - 2406 = -4*b, -2*h - b - b = -964. Is h composite?
True
Suppose -2*o + 816 = -5*g, -2*g + 8 = 2*g. Let m = -294 + o. Is m composite?
True
Suppose 2*c - 168 = 4*q, 0 = -2*q - 1 + 3. Let v = -52 + c. Suppose 2*s + 3*k = 7 + 9, 0 = -4*s - 5*k + v. Is s composite?
False
Suppose -4*i + 9*i = 50. Is i a prime number?
False
Let s(r) = -26*r**3 + r**2 + 2*r + 1. Let l = 7 - 4. Suppose -l*d - 2 - 1 = 0. Is s(d) composite?
True
Suppose x + 254 = 5*x - 2*b, -5*x = -5*b - 310. Is x composite?
True
Let h = 72 + -53. Is h prime?
True
Suppose 3*r + 39 = 3*u, -2*r = -3*u - 2*u + 56. Is (-2319)/(-15) - (-4)/u prime?
False
Let n = 13 - 8. Let y(i) = 40*i + 1. Let c be y(n). Suppose 4*o = o + c. Is o a prime number?
True
Let v(d) = 10*d**3 - 2*d**2 + 4*d - 1. Let p be v(4). Suppose 5*x = -4*z + p, 3*z - 3*x - x - 475 = 0. Is z prime?
True
Let f(l) = l - 6. Let y be f(5). Is (2/(-6))/(y/42) prime?
False
Let b(j) = -j + 635. Let k(y) = y**2 + 6*y. Let z be k(-6). Is b(z) composite?
True
Let b be (-2)/(-1) - (2 + 15). Let v(y) = -y - 2. Let p be v(3). Let x = p - b. Is x prime?
False
Let t = -382 - -543. Let u = -74 + t. Is u/6 - (-2)/(-4) a prime number?
False
Suppose -3*n + 30 = -4*g, -8 = 3*n - 2*g - 44. Is n prime?
False
Suppose -3*b = b - 580. Is b composite?
True
Is -3 + (-5)/((-10)/1072) a prime number?
False
Suppose 0 = 5*m - 2*m - 498. Is m composite?
True
Let g = 4 - 4. Suppose 0 = -4*z - g*z + 852. Is z prime?
False
Suppose -1261 = -l + 396. Is l prime?
True
Let l(u) be the first derivative of 2*u**3 + u**2 + u + 3. Let t(r) = r**2 - 7*r + 4. Let c be t(6). Is l(c) a composite number?
True
Let t(p) = 33*p + 3. Let z be (-232)/(-28) + (-2)/7. Let h be t(z). Suppose y - h = -5*v, y - 64 - 97 = -3*v. Is v a prime number?
True
Let m = 40 + -182. Let d = m - -375. Is d a prime number?
True
Suppose -2*s + 4 = -4. Suppose 0*h = s*h - 60. Is h a prime number?
False
Let p(g) = -3 + g + 0 + g. Suppose 4*i + 4 = -4*d + 16, 0 = -d. Is p(i) a prime number?
True
Let a(f) be the third derivative of 1/3*f**3 - f**2 - 1/60*f**5 + 0*f + 0 - 1/4*f**4. Is a(-3) prime?
True
Suppose 2*y + 5*x + 1278 = 0, 0 = -5*y + 2*x + 487 - 3711. Is (-2)/9 + y/(-63) a composite number?
True
Let o = -12 + -11. Let j = o + 44. Is j prime?
False
Suppose -2*y + 75 = -159. Suppose 4*c - y - 151 = 0. Is c prime?
True
Let z = -76 - -112. Is 2/9 - (-1324)/z a composite number?
False
Let h = -26 + 61. Is h a composite number?
True
Let m(n) = 2*n**3 - 3*n**2 + 19*n - 29. Is m(13) prime?
False
Let i(a) = -3*a + 1 - 6*a - 35*a. Suppose -2*u - 2*u = 8. Is i(u) a prime number?
True
Suppose q - 245 = -6*q. Suppose p = -0*p - 2. Let n = q + p. Is n prime?
False
Let t(m) = 54*m - 3. Let y(k) = k - 1. Let q(s) = -t(s) + 4*y(s). Suppose 4*l + 5 = -7. Is q(l) a prime number?
True
Is -4 + 4 + -4 - -35 prime?
True
Let x = 215 - 72. Is x prime?
False
Let b = 105 - 41. Suppose b = 5*r - 11. Is r composite?
True
Let f(w) = w**3 + 3*w**2 - 2*w + 4. Let j be f(7). Is (-1)/3 - j/(-9) a prime number?
True
Is (-2)/3 - (-3720)/45 a composite number?
True
Let x(r) = 2*r**2 - r - 1. Is x(-4) a prime number?
False
Let q(u) be the third derivative of u**5/60 - u**3/6 + u**2. Let s be q(-2). Suppose 3*h - 3*k - 246 = 0, 3*h - h - s*k - 160 = 0. Is h composite?
True
Suppose -6*i + 8 = -2*i. Suppose 25 - 303 = -i*m. Suppose -4*u + 142 = -b - b, -4*u + m = b. Is u prime?
False
Let v(i) be the first derivative of -i**2 - i**2 + 7*i + 0*i - 1 - 2*i + 2*i**3. Is v(4) composite?
True
Let q(f) = f**3 - 7*f**2 + 7*f + 1. Let l be q(6). Suppose 0 = -5*y + 3 + 12. Suppose -i + b = -164, -l*b + 159 = i - y*b. Is i prime?
True
Let u = -1103 + 1992. Is u a composite number?
True
Let f(u) = u**3 + 5*u**2 + 5. Suppose 0 = -p - 8 + 4. Is f(p) a composite number?
True
Suppose 10*o = 13*o - 39. Is o a prime number?
True
Suppose 5*z = 4*u + 21, -u + 3*u + 13 = 3*z. Is (z + -7)*1141/(-2) composite?
True
Let t be (-1724)/(-6) + (-2)/(-3). Suppose 47 = 5*l - t. Is l prime?
True
Let c(u) = 124*u**2 - 7*u - 13. Is c(-2) a prime number?
False
Suppose 0 = -3*d + 2*y + 2653 + 1307, -5*d + 4*y = -6602. Is d composite?
True
Suppose -z = -2*z + 3. Let o(h) = 0*h + z - 6 - 2*h. Is o(-5) a composite number?
False
Suppose -2*n = 3*v - 20 - 513, 2*n + 362 = 2*v. Is v composite?
False
Let i = 12 - 2. Let x be i - (1 + (-2)/(-2)). Let t = x + 7. Is t prime?
False
Let p(w) be the third derivative of -3*w**2 - 1/120*w**6 + 0 + 11/60*w**5 + 0*w - 1/4*w**4 + 3/2*w**3. Is p(7) composite?
False
Suppose -9 = -3*t + 6. Suppose x = -0*x + t. Let n(k) = -k**2 + 11*k + 7. Is n(x) composite?
False
Suppose -8*a = -5*a + 432. Let f = -57 - a. Is f composite?
True
Let g(j) = 2*j - 1. Let w be g(3). Suppose 0 = 4*u + w*b - 66, 5*u + 5*b - 41 - 44 = 0. Is u prime?
True
Suppose -5*t + 3*a + 23 = 1, a + 2 = -t. Suppose 3*i = -t*s - 121 + 366, 3*i - 5*s = 280. Is i a composite number?
True
Let v = 11 + -15. Let n be 1/(-2)*v + 0. Suppose 5*u - n*u - 36 = -3*g, -66 = -4*g + 5*u. Is g composite?
True
Is (-1 - -3)/((-4)/(-148)) prime?
False
Let y be -8*((-9)/6 + 1). Let f be (-140)/(-18) + y/18. Let d = f + -5. Is d a prime number?
True
Let k(p) = -p**2 + 8*p - 8. Let l be k(6). Is 311 - (-3 + (l - 1)) a composite number?
False
Suppose -518 = -2*p - f + 22415, 2*p - 22932 = -2*f. Is p prime?
True
Let m be (4/(-2))/((-2)/466). Suppose m = 3*c - 311. Is c composite?
True
Let h be 22548/(-28) + 6/21. Let a = h - -1214. Is a composite?
False
Let n(m) = 3 - 3*m - 21*m + 2*m**2 + 0*m**2 - 5*m. Let u(h) = -h**2 + 14*h - 2. Let b(c) = 2*n(c) + 5*u(c). Is b(9) prime?
True
Let g(r) = -r**2 - 8*r - 6. Let h be g(-6). Let b = -14 + 26. Suppose -h = -3*s + b. Is s a prime number?
False
Suppose 0*j = 2*j - 10. Let p be 12/(-15)*j/(-2). Is ((-1)/p)/((-3)/318) composite?
False
Is (-2)/(8/(-3508)*1) a prime number?
True
Let a be -1 + 3 + 16 - 2. Suppose 3*u - 28 = -0*u - 5*g, u + 3*g = a. Suppose 3*w + u = 76. Is w a prime number?
False
Let p be 4 + -2 - 1 - 1. Suppose -4*h + 217 + 67 = p. Suppose 0*f + y = 2*f - 75, -h = -2*f - 3*y. Is f composite?
False
Let w = 81 + 2. Is w composite?
False
Let h(u) = 3*u - 13. Let j be h(-11). Is (j/(-3))/(10/105) prime?
False
Let w(d) = 5*d + 1. Let p(y) = -15*y - 3. Let r(n) = -6*p(n) - 17*w(n). Let a be r(1). Suppose 2*x - a*x = -92. Is x a composite number?
False
Suppose 4*a + 5*s - 864 = 0, 4*s + 278 - 1138 = -4*a. Is a composite?
False
Let v = -163 + 285. Suppose -3*y + 875 = v. Is y prime?
True
Let b be (1/2)/((-4)/(-88)). Suppose 8 = -2*p, 3*g + 7 = -5*p - 1. Suppose -97 = -l - 5*i, -g*l + b + 305 = 2*i. Is l a prime number?
False
Suppose -5*i + 6 + 0 = -3*p, 3*i = 3*p + 6. Let n be 1*-2 - i - -4. Suppose 5*w - 268 = -4*k, 137 - 3 = n*k - 3*w. Is k prime?
True
Suppose -w - 12 + 3 = -4*d, 5*d + 3*w - 7 = 0. Suppose 1 = -y + 5*r - d, -3*y = 4*r - 10. Is 34 + -2 + (1 - y) a composite number?
False
Let r(g) = 288*g - 95. Is r(13) a composite number?
True
Is ((-964)/(-12))/(6/126) a prime number?
False
Let f(r) = r**2 + 7*r + 6. Let w be f(-7). Suppose 3*c = w*c - 342. Let v = c - 17. Is v a composite number?
False
Let l = 6 - 12. Let o(y) = 2*y**2 + 5*y - 1. Let w be o(l). Suppose 3*q - w = 2*n, n = -4*q + 3*n + 52. Is q composite?
False
Suppose 5*r = -0*h - 5*h + 155, 4*r - h = 114. Let n = 50 - r. Is n composite?
True
Let q(z) = z**2. Let i be q(2). Suppose -4 = -2*o, 5*c - 2*o = -3*o + 27. Suppose -2*k + l = -5*k + 436, -c*l + 585 = i*k. Is k composite?
True
Suppose 2*w + 3*o + 768 = 0, 5*w + 8*o + 1920 = 3*o. Is 8 - w - 1/1 a composite number?
True
Let u(m) = m**3 + 4*m**2 + 1. Suppose y - 2*f - 13 = -0*y, y = -5*f - 22. Suppose y - 9 = 2*c. Is u(c) composite?
True
Suppose 0 = 4*o - o - 2*j - 7887, -2622 = -o + 3*j. Is (o/9)/(1/3) prime?
True
Let c = -2 - -1. Is (-2)/(c - 483/(-489)) prime?
True
Let h = -4 - -4. Suppose 0*n = 2*l - 3*n - 21, h = 4*l + 5*n + 13. Suppose 38 = l*v + 8. Is v composite?
True
Suppose -h - 5*f = -276, -3*f + 323 = h + 57. Is h a prime number?
True
Let l be 2 + 2 + (-4)/2. Suppose -u + 5 = l*r, -3*u