*3 - 15*k**2 - 15*k - 18. Let q be o(16). Let m = q - -4. Suppose -m*p + 274 = -p. Is p a composite number?
True
Let p(z) = -z**3 - 9*z**2 - 6*z + 9. Let k(v) = -v**3 - 7*v**2 + 18*v - 8. Let h be k(-9). Let l be p(h). Is l/56 + (-6034)/(-16) prime?
False
Suppose 2*t + 10 = 2*f, f + 2*f = 4*t + 20. Suppose f = 5*p - 3*r + 805, 3*p - 3*r = 2*p - 173. Let g = p + 237. Is g a prime number?
True
Let f(u) = -u**3 - 10*u**2 + 8*u - 23. Suppose -2*t + 12 = 2*t, 19 = -h + t. Is f(h) prime?
False
Let q be (-8)/(-16) + (-5)/(-2). Let y be 2 + (-2 - 502)/(-3). Suppose 31 = q*f - y. Is f composite?
False
Suppose a - 26 = -24. Suppose -a*z + 2052 = 3*q + z, -3*z + 1363 = 2*q. Is q a prime number?
False
Let k be (5/(-6))/((-3)/18). Suppose 0 = 5*v + k*y - 0*y - 45, y = -5*v + 25. Is 1 + v - 3 - -647 composite?
True
Suppose -3 = 3*s, 5*h + s - 2*s - 1 = 0. Suppose -2*t = 3*m - h*m - 809, m + 3*t - 272 = 0. Is m a composite number?
False
Let n = -74 + 79. Suppose 5*h + 2*j - 2720 = 1739, n*j = -15. Is h a prime number?
False
Suppose -3*z - 1849 = 470. Let d = -194 - z. Suppose 5*x + d = 6*x. Is x prime?
False
Suppose 2*x - 842 - 6040 = 4*n, -2*x = n - 6872. Is x a prime number?
False
Suppose p + 4*h + 3 = 18, 5*h - 20 = 0. Let w(t) = -163*t**3 + t**2 + t. Is w(p) prime?
True
Let d = -137 + 235. Suppose 3*g = 4*i + 78 + 200, g = 4*i + d. Suppose 2*b - 279 = o + g, 945 = 5*b + 2*o. Is b prime?
False
Let j(f) = 124*f**2 - 42*f - 235. Is j(-6) a composite number?
False
Suppose -5*t + 4*o = 6*o - 2235, 4*t - o - 1775 = 0. Let d = -254 + t. Is d a prime number?
True
Let k(b) be the third derivative of -b**5/30 + b**4/3 - 7*b**3/6 - b**2. Let y be k(7). Let c = -10 - y. Is c prime?
False
Suppose -3*q + 0*q + 12 = 0. Suppose 2*v - 696 = 2*u, 0 = u + q*u + 5. Is v composite?
False
Let c(i) = 3*i**2 - i - 9. Let o(s) = -s**3 - 9*s**2 - 3*s - 6. Let v be o(-9). Let m be v/(-12)*4/(-1). Is c(m) a composite number?
False
Let u(a) = 106*a - 11. Let q(y) = -53*y + 6. Let r(d) = 5*q(d) + 2*u(d). Is r(-3) prime?
True
Let m(p) = 5*p**3 - 17*p + 0 + 12*p**2 - 4*p**3 - p**2 - 5. Is m(-12) a composite number?
True
Suppose 4*x - 24098 = 165354. Is x a composite number?
False
Suppose 11*r - 21380 + 60991 = 0. Let d = 4260 - r. Is d a prime number?
False
Let d be (2 - 2)/(-4 + 7 + -2). Suppose 4*g + u = 1641, d*g + 5*u = -5*g + 2070. Is g prime?
True
Suppose 1700 = -3*j - 2*f, -54 = 4*j - f + 2198. Let k = j - -1241. Is k prime?
True
Suppose -3*b - 2885 - 5953 = 0. Is (-6)/(-18)*b/(-2) a prime number?
True
Suppose 6*q = 51*q - 390645. Is q a composite number?
False
Let a = 20 - 17. Suppose 2*f = -2*f - a*h + 4607, 0 = -2*h + 2. Is f a composite number?
False
Let t = -7259 - -12142. Is t prime?
False
Let j be (-2 - -5) + 1625 - -5. Let a = j - -81. Is a a prime number?
False
Let g(o) = -o**2 + 8*o. Let z be g(8). Suppose z = -5*q - 0*q. Suppose q = 3*a - 2*l - 371, -4*a + 518 = -0*a + 2*l. Is a a composite number?
False
Let i = -430 + 4081. Is i composite?
True
Suppose -5*t + 2*x = -17563, 10537 = 3*t - 29*x + 28*x. Is t a prime number?
True
Suppose 4*m - 3933 = -y, m + 5*y - 1953 = -m. Let v = m + -686. Is v composite?
True
Let q(m) = -m + 1. Let u(l) = 32*l - 13. Let y(w) = -4*q(w) + u(w). Is y(11) prime?
True
Let k(y) be the first derivative of 327*y**2/2 - y + 4. Is k(2) composite?
False
Suppose -2*x - 15 = 3. Let j = -12 - x. Is 4/6 + (-631)/j a prime number?
True
Let v(i) = 4*i**2 + 11*i + 25. Let r be v(-15). Suppose k - 476 + 89 = -4*t, 0 = -2*k - t + r. Is k prime?
True
Let c(z) = 2*z**3 + 2*z**2 - 1. Let n be c(1). Is (-6 + n)/9 - (-7180)/3 a prime number?
True
Suppose -5*p - 19 = -x, -2*x + 4*p + 58 = -p. Suppose 0 = 2*o - 23 - x. Is o a composite number?
False
Let q = -33 + 114. Let z = 443 - q. Is z composite?
True
Let n(z) = -216*z - 38. Let d be n(-9). Let v = -1193 + d. Is v a prime number?
False
Suppose -4*d = -i - 39, -185 = 3*i + 4*d - 36. Let f = i - 69. Let m = f + 243. Is m prime?
True
Let s = 3 + -15. Let p = -7 - s. Suppose p*o + 5*b = 1990, -b + 3*b = 2*o - 808. Is o a composite number?
False
Let f(l) be the third derivative of l**6/60 + l**5/15 - l**4/8 + l**3/6 + 9*l**2. Let r be f(-4). Let m = r + 370. Is m prime?
False
Let u = 10572 - 6137. Is u a composite number?
True
Let j be (9/((-27)/(-48)))/2. Is ((-2)/(-1))/(j/844) a composite number?
False
Is ((-254636)/(-32))/((-2)/(-16)) a composite number?
False
Suppose -3*y - 15 = 4*l - 40, 3*y + 15 = 0. Is (5/l)/(3/(-3246)*-1) composite?
False
Let n(j) = -22*j**3 - 5*j**2 - 4*j - 16. Is n(-9) composite?
True
Let j be (-652 - 0)*(-3)/12. Let t = 142 + j. Let c = t + -212. Is c composite?
True
Let i = 19 - 19. Let m(u) = -u**2 + i*u**2 + 2*u**2 + 7. Is m(-8) a prime number?
True
Is -1*((4 - 39)/5 + -38872) prime?
False
Suppose -92*g + 90*g - 2 = 0. Let h(u) = -115*u**3 - 2*u - 2. Is h(g) a prime number?
False
Let q = 2524 + 3234. Is q prime?
False
Suppose 30 = 10*m - 20. Suppose 3*d - 4*d + 1327 = 4*l, -m*l = -5*d + 6710. Is d composite?
True
Let q(n) = 28*n + 38*n + 1 + 54*n. Let b be q(4). Suppose -b - 363 = -2*u. Is u prime?
False
Suppose -3*j = -7*j + 4*v + 1508, j + 4*v = 392. Let f = j + -169. Is f a composite number?
False
Let v(j) = j**3 + 4*j**2 - j - 3. Let p be v(-4). Let y = p + 9. Suppose y*g = 7*g + 807. Is g a composite number?
False
Let o be 6/(72/(-20))*-3. Suppose o*g = g. Suppose -x - 317 = -h - 2*x, 2*h + x - 636 = g. Is h prime?
False
Let u(h) = -166*h + 5. Let x = 12 + -23. Let n(w) = -w - 14. Let z be n(x). Is u(z) composite?
False
Let a be (15 - -18) + (1 - 1 - 1). Suppose 0 = -2*f + a + 78. Is f composite?
True
Let u be (-1 + 1 - -2) + 1. Is u/(-2)*3948/(-63) prime?
False
Let i be 2/4 - 1*(-84)/(-8). Is (785/(-10)*-2)/((-2)/i) a composite number?
True
Is 874 - (-1 - -3 - 5) a composite number?
False
Let l(k) = 1463*k + 15. Let d be l(2). Let q = d - 1502. Is q a prime number?
True
Let q(n) = n**3 + 5*n**2 + 2*n - 1. Let s be 24/(-42) + 67/7. Is q(s) composite?
False
Let n(z) = -97*z - 3. Let h(x) = 0*x**2 - 2 - 4*x**2 + 3*x**2 + 9*x. Let l be h(9). Is n(l) prime?
True
Let y = -3554 + 5577. Let s = 3826 - y. Suppose 2*r - 776 = -3*l, 4*r - s = -3*l - 245. Is r a composite number?
True
Let h = -154 - -165. Suppose 0 = -3*b - h + 2, 7801 = 5*n - 2*b. Is n a composite number?
False
Let u be 5/(3/(-4203)*-3). Suppose 5*y - u = 715. Suppose -y = -2*v + 444. Is v a composite number?
True
Let s be (-20 - -4)/(-4)*-1. Let i be s + (4 - (-32 - 3)). Let p = -16 + i. Is p a composite number?
False
Suppose -3*j - 5*x + 768 + 816 = 0, -5*x = -2*j + 1081. Let n = 11 + -1. Is n/(-15) - j/(-3) a composite number?
True
Suppose -c = -5*b + 4*c - 15020, -5*b - 3*c - 15028 = 0. Let q = 4224 + b. Is q composite?
True
Let k(l) = -15*l**3 - 3*l**2 + 2*l + 2. Let w be k(-5). Let c = -1219 + w. Suppose 2*a - c = -a. Is a prime?
True
Suppose -5*w = -105007 + 28397. Is (-13)/(-78) - w/(-12) composite?
False
Suppose -12376 = -4*q - i, 3*q - 2 = -i + 9281. Is q prime?
False
Let h(k) = 14*k**3 + 2*k**2 - 2*k + 3. Suppose -5*q + 5*c + 30 = 0, 5*q - 3*c = -5 + 43. Suppose n - 4*i = -q, 2*i - 4 = -5*n + 4*i. Is h(n) composite?
True
Let a(b) = 3*b - 21. Let h be a(7). Let k = h - -713. Is k a prime number?
False
Let v(g) = g**2 + 14*g + 14. Let m be v(-12). Is 8/m + (-67645)/(-25) prime?
False
Suppose 5*u - 2313 = 162. Let z = u - 284. Is z prime?
True
Let l(n) = -21040*n**3 - 4*n**2 - 6*n - 1. Is l(-1) prime?
False
Suppose 0 = -4*c - 0*c. Suppose -b + c*b - 1 = -g, -4*b + 23 = 5*g. Suppose -g*i = -7*n + 3*n - 1921, -5 = -n. Is i composite?
False
Suppose 5*m + 5 = l + 22, -44 = 4*l + 4*m. Let s = l - -59. Is s composite?
False
Let w(b) = -b**2 - 4*b - 2. Let h be w(-3). Is (-1)/(-4) - ((-21655)/20 + h) a composite number?
True
Is (-8 + 6 + 1)*9533/(-1) prime?
True
Let f(h) = 527*h**2 - 3*h - 43. Is f(10) a prime number?
True
Suppose 0 = 6*j + 26*j - 113632. Is j a composite number?
True
Let l = 2402 + -1062. Suppose 4*d = 8*d - l. Is d prime?
False
Let m be (12/14)/(4/56). Suppose m = 3*o + o. Is (-1*94 - o)*-1 a composite number?
False
Let u(x) = 3*x**2 + 20 + 0*x**2 + 7*x - 4*x**2. Let v be u(9). Is 1174/(-4)*(0 - v) prime?
True
Suppose v - 3*v = -30. Let c = v + 7. Is c a composite number?
True
Suppose 0 = p + 4*