 4*o. Is 1 - ((0 - 13) + c) a prime number?
True
Let n = -89 - -343. Is n composite?
True
Suppose 0 = -0*p + 4*p - 3*k + 21, -4*p - 2*k = 46. Let h(s) = -4*s + 2. Is h(p) a composite number?
True
Let j be ((-1)/(-2))/(10/(-3680)). Let d = j + 311. Is d composite?
False
Suppose -13 - 13 = -3*v - 5*h, 0 = -2*v - 3*h + 17. Let u(r) = -2 + 0*r - r + v*r**2 + r**3 + 5. Is u(-7) prime?
False
Let q = 571 + -264. Is q composite?
False
Let a = 22 + 55. Is a prime?
False
Let w(g) = g**2 - 4*g - 1. Let m be w(7). Suppose 9*s = -d + 4*s + m, 3*d - 114 = 3*s. Is d a composite number?
True
Let d(w) = w**2 - 2*w - 1. Is d(7) prime?
False
Let r be 4/26 + (-1831)/(-13). Let s = r + -82. Is s a composite number?
False
Let a = -201 + 349. Let b = a + -102. Is b a prime number?
False
Suppose -2*m + 2 = 0, 0*m - 4*m - 2 = -3*p. Suppose p*j - 51 + 13 = 0. Is j a composite number?
False
Is (-4 + 2 - -6) + 587 a composite number?
True
Let n(a) = a**3 + a**2 - a + 1. Let u(i) = -5*i**3 + 8*i - 10. Let p(d) = -4*n(d) - u(d). Is p(5) prime?
True
Let t = 2 - 11. Is t/6*284/(-6) a composite number?
False
Let w be (-12)/9*(-15)/(-10). Is (0 - w - 2) + 178 a composite number?
True
Suppose 22*k - 2343 = 19*k. Is k composite?
True
Suppose -4*y - 21 + 5 = 0. Let l(z) = -22*z + 1. Is l(y) a composite number?
False
Let h(m) be the third derivative of -m**4/8 - 7*m**3/6 - m**2. Is h(-6) composite?
False
Is (-177)/(-2) + (-33)/22 a prime number?
False
Let d be -1 + ((-4)/1)/(-1). Let w = 9 - d. Let i = 15 + w. Is i composite?
True
Suppose 456 = -4*c + 2444. Is c a prime number?
False
Suppose 44 = j + 3*j. Is j a composite number?
False
Let y be (-32)/6 - (-2)/6. Let c = -3 - y. Suppose -c*w + 48 = -5*v, -5*v + 28 = 3*w - w. Is w composite?
False
Let u(s) = 8*s**2 + 18*s - 10. Is u(-14) composite?
True
Let k(f) = 2*f**2 + 4*f + 1. Is k(-8) prime?
True
Let h(x) = -x**2 - 5*x - 5. Let a be h(-4). Is (a - 1) + 0 + 451 prime?
True
Suppose -4*o = 2*w + 186, 4*w - 2*o = -3*o - 379. Let f = -59 - w. Suppose 2*a - 166 = -f. Is a composite?
True
Let t(v) = 89*v**2 - v + 1. Let q(b) = 13*b - 1. Let u be q(-1). Let h be (-4)/u + 15/21. Is t(h) composite?
False
Let l = 1226 - 757. Suppose l = 3*n - 140. Is n composite?
True
Suppose -872 = -5*g + 4*i, 8*i - 3*i = 10. Let y = g - 81. Is y a composite number?
True
Is (1/(-3))/(2/(-5370)) prime?
False
Let k(s) be the first derivative of -45*s**2/2 + 4*s - 8. Is k(-9) prime?
True
Let w(a) = 25*a**2 + 14*a + 4. Is w(-3) a composite number?
True
Suppose 4*h = 5*o - h - 400, o = 4*h + 83. Let t = o + -26. Is t a composite number?
False
Suppose -5 + 30 = 5*j. Let l be 1/(-1) - (-30)/j. Suppose 0 = 2*a - 5*u - 115 - 19, -l*a + 381 = -u. Is a composite?
True
Suppose 0 = -2*i + 3*f + 111, -2*f = -i - 2*i + 159. Is i composite?
True
Let o(y) = -46*y - 11. Is o(-10) composite?
False
Let f = -163 + 480. Is f a prime number?
True
Suppose 11*d + 3*v = 15*d - 4235, 0 = -5*d - v + 5308. Is d prime?
True
Suppose 3*x - x = 0. Suppose -2*r + 2*u + 280 = x, u + 340 = -5*r + 1070. Is r a prime number?
False
Let a(q) = -q**3 - 2*q**2 - q + 1. Suppose 15 = -3*n, -5*v = -v - 2*n - 2. Let y be a(v). Suppose 3*b = s + s - 269, 3*s = y*b + 396. Is s a composite number?
False
Let r = 3288 + -1721. Is r composite?
False
Is (415/2)/(6/12) a composite number?
True
Suppose -2171 = -s + 114. Is s prime?
False
Suppose 4*f + 5 = 29. Let q = 49 + f. Is q composite?
True
Let k = -10 - -14. Suppose 5*j = 5*h + 825, -k*j - 3*h + 303 = -357. Suppose -f = 4*f - j. Is f a composite number?
True
Suppose 3*b + 3*i + 2*i - 264 = 0, -92 = -b - 3*i. Is b a prime number?
True
Let j(i) be the first derivative of i**3/3 + 3*i**2 + 2*i - 2. Let v be j(-6). Is v/4*(-132)/(-3) composite?
True
Suppose -5*v + 2*x = 49, 0*v + 28 = -4*v - 4*x. Let c = v + 13. Suppose 152 = c*u - 0*u. Is u composite?
True
Suppose -39*n + 21581 = -32*n. Is n a prime number?
True
Let c(d) = -d**2 - d - 1. Let x(y) = -y**3 - 9*y**2 - 8*y - 1. Let a(m) = -4*c(m) + x(m). Is a(-4) a prime number?
True
Let l(t) = -11 + 4*t + 14*t**2 + 2*t**2 + 1 + t**3 + 0*t. Is l(-9) composite?
False
Let c(s) = 6*s**2 + 11*s - 26. Is c(8) a prime number?
False
Let g(d) = 21*d**2 - 3*d + 1. Let r be -2*2 + 2 + 4. Is g(r) a composite number?
False
Suppose -28 = -5*o + 2*q, -2*o - 3*o - 4*q = -34. Let a(c) = 18*c - 5. Let m be a(o). Let y = -20 + m. Is y a composite number?
False
Suppose -r + 6 = -3. Let m = 31 - r. Is m a prime number?
False
Let t = 2 - 2. Let o(w) = w**3 + w + 3. Let z be o(t). Suppose -8 = -c - c, -54 = -z*u + 3*c. Is u composite?
True
Let h be (-1)/3 - (-7)/3. Let j be -31 + h/(1 - 2). Let w = j - -70. Is w composite?
False
Suppose -4*t + t = -15. Suppose -795 = -t*x + 2*v, 446 = 3*x + 3*v + 2*v. Is x a composite number?
False
Let j(w) = -22*w + 21. Is j(-13) composite?
False
Let a = 8 + -26. Is (-104)/(-18) - 4/a a composite number?
True
Let n = 1227 - 406. Is n prime?
True
Let j = 73 - 44. Suppose 6*a - 67 - 29 = 0. Let v = j - a. Is v prime?
True
Let h(g) = 7*g**2 + g - 1. Let d be h(1). Suppose -m + 28 - d = 0. Let y = 136 + m. Is y prime?
True
Let n(i) = -i**3 + 7*i**2 + 9*i - 4. Let h be n(8). Suppose -h*c = -6*c + 254. Is c prime?
True
Let w = -22 - -91. Suppose -2*t - 5*q + 198 = 0, -q = t - 6*q - w. Is t a prime number?
True
Suppose -g + 634 = 3*b - 4*b, 5*g - b - 3150 = 0. Is g a composite number?
True
Suppose -o + y - 15 = -0*o, o - 2*y = -20. Let a(u) be the third derivative of -u**5/60 - 13*u**4/24 + u**3/6 - 2*u**2. Is a(o) composite?
False
Let c(r) = -r**2 + 6*r. Let k be c(6). Let q be (-1)/(-1)*(2 + k). Suppose q*b = -4*z + 146, 0 = -4*b + b - 3. Is z a composite number?
False
Suppose -c - 4*i + 35 = 0, 2*c - 6 = 5*i + 25. Is c a prime number?
True
Let l be 350 + (-1*3 - -1). Suppose -n + 72 = -l. Let p = n - 289. Is p prime?
True
Let h be (2/6)/((-5)/(-60)). Is 1035/h - (-14)/56 a composite number?
True
Suppose -3*n = -4 - 5. Suppose -n*z = c - 239, -66 = -2*z + 3*c + 86. Is z a prime number?
True
Suppose 3*i - 30 = -3*g, 24 + 1 = 5*g. Suppose o + 3*s - 152 = 0, i*s - 101 - 53 = -o. Is o prime?
True
Let s(j) = j - 3. Let p be s(7). Suppose -2*n = -p*n + 6. Is n prime?
True
Let m(r) = 4*r + 6. Let z(t) = 5*t + 5. Let s(w) = -6*m(w) + 5*z(w). Let g be s(5). Let v = g - -25. Is v a prime number?
True
Let h(m) = 69*m. Suppose -2*t + 3*j + 1 = 0, 4*t + j = 3*t + 3. Suppose -t - 1 = -3*u. Is h(u) composite?
True
Suppose 40 = 4*r - 720. Let s = r - 125. Is s a composite number?
True
Let n(x) = -14*x - 2. Let a be -18*(14/(-6) + 3). Is n(a) a prime number?
False
Let z(q) be the third derivative of 4*q**5/5 - q**3/6 - q**2. Suppose 4*s + 7 = 3*r, 0 = -3*r - r - 4*s. Is z(r) composite?
False
Let k(m) = 3*m**2 + 6*m - 5*m**2 - 4 + m**2. Let x be k(4). Suppose f = -x*f + 795. Is f prime?
False
Let f = 25 - 9. Suppose f = -2*s - 2*s, 106 = 3*r - 4*s. Suppose u = -q + r, 4 = -2*q + 2. Is u a prime number?
True
Suppose -4*q = 5*n - 621, 2*q - 4*n - 321 = -3*n. Is q a composite number?
True
Suppose -20 = -3*z + c, 3*z = -5*c - 6 - 4. Let g = z - 2. Suppose -4*u + 601 = l - 45, -g*l = 4*u - 650. Is u a composite number?
True
Let u(i) = 113*i + 21. Is u(5) a composite number?
True
Let x = 279 + -429. Suppose -5*s + 2*s - 30 = 0. Is x/(-4) + 5/s a prime number?
True
Let y = 8 - 2. Suppose 3*j = -5*m + 434, -y*m + 145 = j - 4*m. Is j a prime number?
False
Let k(v) = v**2 - 2. Let s be k(2). Suppose -s*b + 3 = -83. Is b a composite number?
False
Suppose 0 = -6*o + 3*o. Suppose 5*l - 695 + 180 = -3*k, -4*k = o. Is l composite?
False
Let a = 2969 - 106. Is a prime?
False
Let c(d) = -d**3 - 5*d**2 - 6*d - 6. Let z be c(-4). Let p be 43 - (-1 + z + 1). Let u = p - 10. Is u a composite number?
False
Let u(v) be the second derivative of 7*v**4/12 + v**3/3 - v**2 - 2*v. Suppose 3*g = -8 - 1. Is u(g) a prime number?
False
Suppose 2*x = 2*c - 16, -3*c = x + 1 - 21. Suppose 0 = -2*g + c*g - 110. Is g a prime number?
False
Is (-36)/30 - (-7922)/10 a prime number?
False
Suppose 5*k - 5*f - 25 = 0, 3*f + 10 = k - 3. Let r(w) = -38*w + 1. Let p(c) = 77*c - 2. Let d(a) = -4*p(a) - 9*r(a). Is d(k) composite?
True
Is 330 + 5 - (-2)/(2 - 1) a prime number?
True
Suppose 0 = h - 3, 7*b + h + 1 = 3*b. Suppose 0 = 4*k + 131 + 149. Is ((-3)/(-6)