ite?
True
Let c(p) = p**3 + p + 4955. Let x be c(0). Suppose -x = -3*r - 908. Suppose 5*n + r = 4*q, -q + 441 = 2*n + 120. Is q prime?
True
Let u(g) be the third derivative of 11*g**8/20160 - g**7/5040 + 7*g**6/720 - g**5/5 + 10*g**2. Let v(n) be the third derivative of u(n). Is v(6) prime?
True
Is (-208397)/(-21) - (-2)/(-3) composite?
False
Let b(m) = 8*m + m - 13*m - 1 + 5*m. Suppose -4*j = -3 - 17. Is b(j) prime?
False
Let p(h) = -14*h**2 + 2*h - 1. Let n(j) = -15*j**2 + 3*j - 1. Let m(i) = 4*n(i) - 5*p(i). Is m(-2) composite?
False
Let f = 4 - 4. Let y(s) = f - 12*s - 4*s - 2. Is y(-6) a composite number?
True
Let i be (3 + 1 + -4)/1. Let f = -1 + 299. Suppose 0*u - 2*u + f = i. Is u prime?
True
Suppose -3*y - 3*g + 41247 = 0, -5*y + 10*g = 7*g - 68761. Is y a prime number?
True
Let x = 70350 + -20753. Is x a prime number?
True
Let a(t) = -66*t**3 - 13*t**2 + 9*t - 13. Is a(-11) prime?
True
Let s = -11 - -15. Suppose 2*z = -0*z - s*y + 538, -5*y = -4*z + 1050. Is z a composite number?
True
Let v(g) = 21235*g + 36. Let d be v(-9). Is 2/4 + d/(-14) composite?
False
Is ((-4)/16)/(4/(-1104016)) a prime number?
True
Let h(s) be the third derivative of 7*s**4/3 + 5*s**3/3 + 2*s**2. Let d be h(-7). Is (d/(-4))/(5/10) composite?
False
Let t(j) = 20570*j**3 + j**2 + 3*j - 1. Is t(2) composite?
False
Suppose 0 = 6*b - 146 + 44. Let p = b - 13. Suppose p*l - l = 165. Is l a prime number?
False
Let f = -685 + 309. Let l = f + 1379. Is l a prime number?
False
Suppose -136642 = -3*d + 4*y, 2*y - 49845 = -d - 4281. Is d a prime number?
False
Let o be (-2)/(-6)*(-2 + 2). Suppose -5*s + 309 + 416 = o. Is s composite?
True
Suppose 2*k + 2*k - 20 = 0. Suppose 4 = -m, 2*j = -k*m + 9 + 1. Is j a composite number?
True
Let j(t) = -t**3 - t**2 + t + 1. Let x be j(-1). Suppose 6*i - 18 = -x*i. Suppose -i*o = d - 167, 0*d = -2*d + 4*o + 334. Is d composite?
False
Let i = 25785 + -13214. Is i a composite number?
True
Let r(d) = -d**2 - 5*d - 1. Let c be r(-2). Suppose l + 50 = -2*v + 219, 5*l - 425 = -c*v. Is v - 2*4/8 composite?
False
Let l be (8 - 7)/(2/6). Suppose c - 419 = 5*a - 3*a, -5*a = l*c - 1235. Is c a composite number?
True
Let q be 4283/5 + 4/10 - -1. Is (0 - 0) + (q - 19) a composite number?
False
Suppose 4*m - 5*i = 283 + 745, 0 = -5*i - 20. Suppose 4*n - m = 256. Is n a composite number?
False
Let j(t) = -87*t + 35. Is j(-6) prime?
True
Suppose -s + l = s + 202, -3*s + 3*l - 303 = 0. Let q be -1 - (2 + 213*-1). Let p = q + s. Is p a prime number?
True
Suppose o - 3 = -j, 5*j + 4*o = 5*o + 3. Suppose -c + 6 + j = 0. Is c a prime number?
True
Let m(s) be the first derivative of 635*s**4/4 - s**3/3 + 3*s**2/2 - 2*s - 1. Let n = -14 - -15. Is m(n) prime?
False
Let p be 2*(-2)/4 - -3. Let x = 176 - 176. Suppose p*f + w = -x*w + 74, 4*f + w = 144. Is f a prime number?
False
Let s(x) be the first derivative of 9*x**3 + 3*x**2 + 5*x - 10. Is s(-4) prime?
False
Let t be (18 - 18)*(-1)/(-6)*2. Suppose 5*i = -t*i + 2725. Is i composite?
True
Suppose -32*g = 37102 - 317582. Is g prime?
False
Let k = -292 - -2127. Is k composite?
True
Let f = -3835 - -1977. Let k = 2655 + f. Is k a prime number?
True
Let k = 19 + -18. Suppose 5*g - 4*m + 2 = 0, 3*g - k = 4*m - 7. Suppose -u + 673 = g*u + 2*t, 3*u = -t + 671. Is u a prime number?
True
Is 10887040/720 - (-1)/9 a composite number?
False
Suppose -3*p + 7*p - 4*b - 24 = 0, 2*p - 4*b = 18. Suppose 0 = -z - p*z + 28. Suppose z*a = 3*a + 460. Is a prime?
False
Let j be (28/(-42))/((-2)/177). Suppose 60*u - 1835 = j*u. Is u composite?
True
Let m(k) = -k**2 + 4*k. Let h be m(4). Let j(v) = 9*v**3 + h*v + 2*v**2 - 1 - 2*v + 2*v. Is j(2) a composite number?
False
Let t = -22028 + 73351. Is t prime?
False
Suppose 4*h = h + 9, 2*h - 760 = 2*u. Let f = u - -534. Is f prime?
True
Let b(q) = 12*q**2 + 11*q - 125. Is b(6) composite?
False
Let v(c) = 2*c + 2*c - 100 + c**2 - 3*c. Let q be v(0). Let u = -42 - q. Is u a prime number?
False
Let x(a) = 261*a**2 + 56*a + 26. Is x(9) composite?
True
Suppose -4*q = -7*q + 12. Suppose 3*w - 3*t = -81 + 840, -5*t = q*w - 1048. Is w a prime number?
True
Suppose -1616 = -2*k - 0*k. Let b be 1/(2*4/k). Let t = -10 + b. Is t a composite number?
True
Let g = 25 + -23. Suppose 4 = -2*t, -g*l = 5*t - 0*t - 1446. Suppose -m = 5*r - 160 - 28, 4*r + l = 4*m. Is m composite?
True
Suppose 25*q - 47069 = 14*q. Is q a prime number?
False
Let n(v) = -4 + 15*v + 2 - 460*v. Is n(-1) composite?
False
Suppose 6*c - 4*c - 690 = 0. Let i = 602 - c. Is i prime?
True
Let x(g) = -5 + 0 - 7 + 2*g - 3*g. Let q be x(-14). Suppose -5*k = 5*p - 4*p - 548, q*k = -2*p + 224. Is k composite?
False
Let u(y) be the first derivative of -y**3 - y**2 + 6*y + 5. Let d be u(-8). Let c = -81 - d. Is c composite?
False
Suppose 7*f = -3*f + 42790. Is f a prime number?
False
Let b(c) = c. Let k(p) = 284*p**3 + 2*p**2 + 4*p + 1. Let j(m) = 2*b(m) - k(m). Is j(-2) prime?
True
Suppose 0 = -18*n + 53117 + 49501. Is n prime?
True
Let w(i) = -11*i**2 + 15*i - 5. Let a be w(13). Is 0/2 - 0 - (a + 6) a composite number?
False
Is 3/(-4)*(269984/(-12) - -4) a composite number?
False
Suppose 2*l = -l - 28740. Let m be (-9)/((-3)/l*2). Is (2/(-3))/(20/m) a prime number?
True
Let z(u) be the second derivative of u**4/12 + u**3/6 - 3*u**2/2 - 11*u. Let k be z(-3). Suppose 0 = 8*s - k*s - 665. Is s a prime number?
False
Let f(y) = 39*y - 28. Let v be f(12). Suppose 0 = -5*q + 4*b + 449, 6*q - 5*b + v = 11*q. Is q a prime number?
True
Let s = 7866 - 2755. Is s composite?
True
Let i(c) = -c**3 - 5*c**2 + 5*c - 4. Let x be i(-6). Suppose -3*r + 5*k + 2631 = 0, 6*k = x*k. Is r a prime number?
True
Is (-311498)/(-24) + 15/(-180) prime?
True
Let p(g) = -g**2 - 11*g + 7. Let q = 12 + -17. Is p(q) composite?
False
Suppose -25270 = -5*i + 3*s, -4*s = 23 - 3. Is i prime?
True
Let x(c) be the second derivative of -5*c**3/6 + 29*c**2/2 - 18*c. Is x(-12) prime?
True
Let c be (1/2)/(1/2). Let r be 26 - c - (-3 - -1). Is (-2)/6*r/(-1) prime?
False
Let m = 4 - 0. Let q = -15 - -23. Suppose q*p - 388 = m*p. Is p composite?
False
Let t be (-161 - (0 + 0)) + -1. Let k = -1195 - -1722. Let u = t + k. Is u a prime number?
False
Suppose -375 = -3*i + 294. Is i prime?
True
Suppose 6*x - 10 = x. Suppose 17 = 6*d - d + 4*q, 5*q = x*d - 20. Suppose 3*k = g - 394, d*k - 15 = -0. Is g prime?
False
Let l(g) = 13*g - 1. Let v be l(-2). Suppose -23 = -5*m - 53. Is -6*-3*m/v a prime number?
False
Let n = 7 + -17. Let s = -6 - n. Suppose s*v - 401 = -153. Is v composite?
True
Suppose -5*x = 177 + 943. Let i be 60/8*x/(-5). Suppose -d - 838 = -6*d + 2*m, -i = -2*d + m. Is d prime?
False
Suppose 7*j - 3*j = 4*u + 24, 4*j + 2*u - 12 = 0. Let o be (21/(-35))/(43/(-10) + 4). Is 129 + -4 + j/o a composite number?
False
Let i = -19746 + 30577. Is i prime?
True
Suppose -5*d + 397 + 953 = 0. Let c be (-1 - d)/(9 + -8). Is (0 - c)*(8 - 7) prime?
True
Suppose 3*j + 6 = -q + 20, q + 2 = j. Suppose -2*u = -2*b + 604, 5*u = -4*b + q*u + 1243. Is b a composite number?
False
Let t = -4038 + 35759. Is t a prime number?
True
Suppose -5*p + 5*n - 3*n + 143757 = 0, 2*n - 115002 = -4*p. Is p composite?
False
Suppose 12 = 6*p - 0*p. Let s(o) = o**3 + 5 + 2*o**p - 2*o**3 + 2*o + 2*o**3. Is s(4) a prime number?
True
Suppose 0 = -15*h + 96348 - 19143. Is h a prime number?
True
Let v(m) = -m + 22. Let z be v(15). Let a(y) = 43*y + 2. Is a(z) composite?
True
Let k = 54 + 283. Is k a prime number?
True
Let m be (-4)/6 + (-325)/3. Suppose 0 = 4*q + 4*g + 192, 4*q = 2*g - 5*g - 194. Let d = q - m. Is d composite?
False
Let b be -2 - 4*(-1)/2. Let j(i) = -i - 1. Let x be j(-4). Suppose b = 6*d - x*d - 489. Is d a composite number?
False
Let j = 17883 + -4945. Is j a prime number?
False
Let x = -11829 - -23680. Is x prime?
False
Suppose 2*q - 32 = 4*f + 4*q, 4*f + 44 = -5*q. Let i = f + 10. Is -2 - i/(12/(-135)) composite?
False
Let b(q) = -28*q + 17. Let u(f) = -57*f + 33. Let y(c) = -7*b(c) + 4*u(c). Is y(-7) composite?
True
Suppose -14676 = -4*c + 6592. Is c composite?
True
Let o(d) = 170*d**2 + d + 3. Let n be o(-2). Let z = -263 + -149. Let c = z + n. Is c a composite number?
False
Is (-12671)/(-2) - (-57)/38 a composite number?
False
Suppose 4*u + 14 = 2*j, -4*u + j + 0 = 11. Is (-2550)/(-20) + 1/u