v**5/60 + v**4/3 + 2*v**3/3 + v**2. Let r = 8 + -3. Is o(r) a prime number?
True
Suppose 6*x = x + 320. Let h = 30 + x. Is h a composite number?
True
Let o(h) = 87*h + 23. Is o(4) a prime number?
False
Suppose 2 = -i + 10. Suppose i*c = 3*c. Suppose 0 = -2*h - 2*j + 23 + 17, c = -2*h - j + 45. Is h a prime number?
False
Is (2 - 0)/((-14)/(-399)) composite?
True
Let l(c) = c**2 + 8*c. Let p be l(-8). Suppose p = -5*m - 113 + 483. Let q = 223 - m. Is q composite?
False
Suppose 13*s - 38 = 11*s. Is s a prime number?
True
Let d = 1873 - 1058. Suppose -n - 4*n = -d. Is n + 0 + 0/1 a composite number?
False
Let u(a) = -17 + 9*a - 4*a - a**3 - a**2 + 15. Let t be u(-4). Suppose m - t = 23. Is m prime?
False
Let f = 401 - 704. Let n = -140 - f. Is n composite?
False
Let y be ((-18)/(-15))/((-1)/5). Let s(m) = -1. Let f(r) = -9*r - 4. Let l(n) = f(n) - 5*s(n). Is l(y) a prime number?
False
Let n(c) be the second derivative of -1/6*c**3 + 0 + 5*c**2 + c. Is n(0) a composite number?
True
Let l = 158 + 293. Is l composite?
True
Suppose q + 3*q = 0. Let o = q - -7. Is o composite?
False
Suppose 12 = 4*a - 12. Suppose 0 = -11*y + a*y. Suppose 0*s + s - 19 = y. Is s prime?
True
Let x be 0/3 - -1*3. Suppose 5*i + 112 = u, x*u - 2*i - 185 = 86. Is u a prime number?
False
Let w = 2165 - 1420. Is w prime?
False
Suppose y - 418 = -y. Is y a prime number?
False
Let v = -1001 + 2316. Is v prime?
False
Let b(u) = u**3 - 9*u**2 + 9*u - 9. Let m be b(8). Let q(c) = -c**2 + 3*c - 1. Let x(w) = -w**2 - 1. Let a(i) = m*q(i) - x(i). Is a(-5) prime?
True
Suppose 7*b - 14650 - 1317 = 0. Is b a prime number?
True
Suppose 0 = -6*i + 2*i + 32. Suppose -5*b + i = -y + 24, -2*y = -4*b - 20. Is y a prime number?
False
Let m be 3*3/9*3. Let k be 47/m + 2/(-3). Suppose 0 = 5*r + y - k, -r + 4*y - y = 13. Is r prime?
True
Suppose h + 2 = j + j, -5*j + 2*h + 4 = 0. Suppose -2*p + j*p + 8 = 0. Suppose p*l - 176 = 36. Is l prime?
True
Let v(f) = -9*f - 4. Let z(k) = 225*k + 99. Let c(y) = 99*v(y) + 4*z(y). Is c(1) prime?
False
Suppose -4*a - 1470 = -2*r, -a + 2*a - 3730 = -5*r. Is r a composite number?
True
Suppose -5*d - 291 = -11. Let c = 170 - 83. Let s = d + c. Is s a prime number?
True
Suppose -4*n + 48 = -36. Let i = -80 + 112. Let d = n + i. Is d a prime number?
True
Let y(v) = v**2 - 4*v. Let w be y(5). Suppose -5*f + 5*p + 255 = 0, 0 = 3*f - 2*p - 7 - 151. Suppose -4*r + 3*i - w*i = -78, i + f = 3*r. Is r composite?
False
Let v(s) = -56*s - 24. Let z(j) = -11*j - 5. Let i(p) = 3*v(p) - 14*z(p). Suppose 4*a + 0 + 8 = 0. Is i(a) a composite number?
True
Let y = -7 + 474. Is y a prime number?
True
Let t(k) be the second derivative of -11*k**5/20 + k**3/2 + k**2 - 5*k. Is t(-1) composite?
True
Let r(i) = 245*i - 37. Is r(16) a prime number?
False
Suppose -3*l + 73 = 2*l - q, -85 = -5*l + 5*q. Suppose -z = -2*z + l. Is z composite?
True
Let h = 351 + 26. Is h composite?
True
Suppose -3*b - j = 10 + 10, 3*b + 8 = 5*j. Let g(m) = 3*m**2 + m - 4 - 2*m + 0*m**3 - 7*m**2 - m**3. Is g(b) composite?
True
Let f(u) = 13*u**2 - 5*u + 5. Is f(5) a composite number?
True
Let a = 1009 - 684. Suppose y - a = -4*y. Is y prime?
False
Let q(v) = 2*v**2 - v - 2. Is q(-8) a prime number?
False
Suppose 19*h = 21*h - 1124. Is h a composite number?
True
Suppose -2*p = -82 - 164. Suppose y - p = 4*y. Let n = y + 99. Is n a prime number?
False
Suppose 0*x - 5*x - 15 = 0. Let z(o) = 49*o**2 - 5*o - 2. Let b be z(x). Suppose -5*c + 369 = 4*w, 0*c = 5*w - c - b. Is w a composite number?
True
Suppose -i - 155 = -6*i. Is i a composite number?
False
Let k(i) = -5*i - 1. Let m be k(3). Suppose -4*o - d - 20 = 30, 16 = -2*o - 5*d. Is m/(-40) + o/(-5) a prime number?
True
Let t = -1 - -3. Suppose -3*x + 126 = 3*n, -t*x + 172 = 2*x + 2*n. Suppose 3*v + v = x. Is v a composite number?
False
Let h = 130 + 931. Is h a composite number?
False
Suppose -1401 = -5*k + 1364. Is k composite?
True
Let g = -893 - -2254. Is g a composite number?
False
Let w(y) = y**3 + 22*y**2 + 10*y - 14. Is w(-15) a prime number?
False
Suppose s + 3*s - 3144 = 0. Let x = 1121 - s. Suppose -8 = 4*p, 0 = 5*l - p - 112 - x. Is l composite?
False
Suppose -2*m - 379 = -1393. Let q = -214 + m. Is q a composite number?
False
Let y = 59 + -53. Suppose 0 = 4*x + x - 25. Suppose -y - 179 = -x*t. Is t a prime number?
True
Let i(t) = 6 + t**2 + 3*t**2 + 3*t - 3*t**2. Let g be i(-5). Let m = g + -2. Is m a composite number?
True
Suppose 2*o + 5*o - 4445 = 0. Is o prime?
False
Suppose 5*w - 4 = -3*j + 30, -w - 1 = -2*j. Suppose b - 168 = -5*l - b, -w*b = -5*l + 175. Is l/10 + (-2)/5 a composite number?
False
Let j = 31 + 132. Is j a prime number?
True
Let j(i) be the third derivative of -41*i**4/24 - i**3/2 - 2*i**2. Suppose u + u + 8 = 0. Is j(u) prime?
False
Let d = 1184 - 663. Is d a composite number?
False
Let o = 276 + -137. Is o composite?
False
Let d = 814 + -159. Is d prime?
False
Let n = -13 - -18. Suppose -2*o + n*o = 447. Is o composite?
False
Suppose -15 = -s - 4. Let u(n) = n**2 - 5*n - 13. Is u(s) a composite number?
False
Let f = 7 - 4. Suppose 3*h = -2*j + 4*j + 203, 3*h + f*j - 228 = 0. Suppose c = 4*n - h, -n + c + 14 = -0*n. Is n prime?
True
Let i(d) = 212*d - 1. Is i(1) a prime number?
True
Let d = 27 + -83. Let t be (12/16)/(2/d). Let z = t + 32. Is z a composite number?
False
Let u = -21 - -16. Is 223 - (u - 1)/2 composite?
True
Let t(k) = k + 7. Let h be t(-13). Is (-890)/h + (-8)/(-12) a composite number?
False
Let g(y) = y**3 + 19*y**2 + 6*y - 25. Is g(-18) composite?
False
Let k = -214 + 435. Suppose -4*g + 2*g + k = q, 2*g = -4*q + 218. Is g a composite number?
True
Let i be -6*(15/(-9) + 0). Suppose -2*p + 2*z + i = 0, p - 3*z + 3 = 4. Is p a composite number?
False
Suppose r - 4*q + 12681 = 6*r, 2*q - 8 = 0. Is r a composite number?
True
Let f = -9 + 14. Suppose 35 = f*y - 230. Is y a prime number?
True
Let m = 0 + 0. Suppose -3*a + 54 = -m*a. Let w = -7 + a. Is w a prime number?
True
Let g(r) = 48*r - 6 - 2 + 26*r. Let a be g(6). Is a/8 - (-2)/4 a composite number?
True
Let d = -117 - -206. Is d a composite number?
False
Suppose r = -2*f + 12, -5*f + 2*f = 4*r - 28. Suppose 2*o = 7*o - 90. Suppose o = g + f. Is g prime?
False
Let a(r) = -2*r + 3. Let h(k) = -k**2 - 1. Let p be h(-2). Is a(p) a prime number?
True
Let x(a) = -a**3 - 5*a**2 + 3. Let c be x(-5). Let o be c/(-1 + 12/9). Suppose 4*g = 3*t - 257, -t + 60 + o = 2*g. Is t a prime number?
True
Let l(f) = 3*f + 1099. Is l(0) composite?
True
Let n(d) = -2*d**3 - d**2 - 2*d - 1. Let j be n(-1). Suppose j*l - 2 = 164. Is l composite?
False
Suppose 0 = 5*v - 4 + 14, 12 = r - 5*v. Let z = r - -8. Suppose 4*c - t - z = 87, 0 = 2*t + 10. Is c composite?
False
Let m(n) = 6*n**2 + n - 5. Let w be m(-5). Suppose -2*f = f, -4*y + w = -3*f. Is y prime?
False
Suppose -5*z - 2*m + 26 = -4*m, 6 = 3*m. Let h = z + -2. Suppose 4*t - 2*y = 76, 9*y = -4*t + h*y + 104. Is t a composite number?
True
Let u(q) = -q + 7. Let k(z) = z - 6. Let v(b) = 2*b - 4. Let h be v(5). Let t be k(h). Is u(t) prime?
True
Let t be (2 - 5) + 1 + -1. Let c = t - -5. Is 47*1 + -2 + c composite?
False
Let c = 53 + -140. Let w = -28 - c. Is w composite?
False
Let w be 92/(-16) - (-1)/(-4). Let t be (-14)/(-6) + 2/w. Is 4/(12/495) - t prime?
True
Let q(m) be the second derivative of m**4/12 - m**3/6 - 5*m**2 + 3*m. Suppose 3*j - 30 = -3*f + f, 2*f = -4*j + 38. Is q(j) prime?
False
Suppose 4*z - 20 = -4*o, 3*z - 2*o + 3*o - 13 = 0. Suppose z*u - 596 = -0*u. Is u composite?
False
Let p = 32 + -59. Suppose 0*n - 4*n - 4*i = -20, -2*i = 4*n - 22. Is n/p*-3*21 a prime number?
False
Is (-1139)/(-7) - (-22)/77 a prime number?
True
Suppose 0 = -4*g + 41 + 7. Suppose s - 2*s = -g. Suppose 0 = 4*x - s - 16. Is x a prime number?
True
Suppose 6*p = 734 + 28. Is p composite?
False
Is (-6)/21 - 1437/(-7) a prime number?
False
Suppose 4*h - 22 = -2*u, -4*u - 3*h + h = -20. Suppose u*d + 0*d - 75 = 0. Is d prime?
False
Suppose 0*m = -2*m + 6. Suppose -x + 20 = 3*w, 2*x = 3*w - x - 36. Suppose 0 = m*o - w*o + 285. Is o prime?
False
Suppose f + 5*f = 390. Is f a prime number?
False
Let r(c) = c + 33. Let i(m) = -m**2 - 6*m - 5. Let d be i(-5). Is r(d) composite?
True
Let w(g) = -g**2 + 7*g - 7*g + 1. Let y be w(-2). Is (-4*1 -