6*u**2 + 9*u - 12. Let c be n(7). Suppose -1 = -m, 0 = c*v + m + 617 - 3496. Is v prime?
True
Let k(z) = z**3 + 121*z**2 - 2*z - 245. Let t be k(-121). Let j(l) be the first derivative of -205*l**2/2 - 28*l + 1. Is j(t) a composite number?
False
Let h = -23596 - -42777. Is h a prime number?
True
Suppose 0 = -12*c + 2232 + 27129 + 129027. Is c a prime number?
False
Suppose -22*f = f - 104075. Let g = f - -2212. Is g a prime number?
True
Let y = 19 + -25. Let u(h) = 2*h**2 + 10*h - 1. Let i be u(y). Suppose 0 = i*s - 16*s + 11665. Is s composite?
False
Suppose -6400274 = -138*a + 3393534 - 2931482. Is a composite?
False
Suppose -9*c + 4*c = -b - 7193, -2*b = -5*c + 7196. Is c a prime number?
False
Let l(w) be the first derivative of w**3 + 5*w**2/2 - 19*w - 1. Let n = -95 - -89. Is l(n) a prime number?
True
Let v(p) = -53*p + 17. Let c be v(-13). Suppose u - c - 706 = 0. Suppose j - 2256 = -3*i, 3*i = -4*j + 853 + u. Is i composite?
False
Let k = -32755 - -351095. Suppose 5*x + 15*x - k = 0. Is x composite?
True
Let f = -957 + 952. Let i(n) = 3 + 6*n**2 + 85*n**2 - 5*n - 6*n. Is i(f) a composite number?
False
Let g = -382 + 479. Is 16/(-72)*-9*g a prime number?
False
Let k be (-1*(-40)/(-5))/1. Let f(a) = 2*a**3 - a**2 + 3*a + 13. Let n be f(k). Let x = n - -2018. Is x a prime number?
True
Suppose 0 = 3*j + 5*m - 167487, -111680 = -5*j + 3*j + 4*m. Is j a composite number?
True
Let t be 6/4*(-260)/(-39). Let b be (1778/t)/7 - 4/10. Suppose 0 = -13*q + 14*q - b. Is q a prime number?
False
Let g(h) = -131*h + 12. Let r be (-2)/(-8) - 23/(-4). Let o = r + -11. Is g(o) a prime number?
False
Let d(c) = -c**3 - 12*c**2 + 8*c - 3. Let w(f) = f**3 + 11*f**2 - 8*f + 3. Let s(k) = 3*d(k) + 4*w(k). Let j = 2760 - 2768. Is s(j) prime?
True
Suppose -m + 2*b + 17508 = 0, 5*b - 64340 = -4*m + 5640. Suppose 0 = -5*x - 5*p + m, -14009 = -x - 3*x - p. Is x prime?
False
Let i(a) be the first derivative of 7*a**3 + 9*a**2 - 16*a + 1. Let w = 1510 + -1501. Is i(w) a prime number?
True
Suppose 15*y - 10*y - 20 = 0. Suppose -3*d - 412 = 4*c - 4991, 2*d = -y*c + 4578. Suppose -9*o + o + c = 0. Is o a prime number?
False
Let x = -75 + 79. Suppose -4*v - 28473 = -5*s, 0*s - x*v = s - 5709. Suppose 7*n - s = -2*n. Is n prime?
False
Let j(c) = -c - 6. Let m be j(-5). Let z be ((-3 - -1)*4)/m. Suppose 3*i - z*i = 4*d - 7219, 4*i = 2*d - 3590. Is d a prime number?
True
Let m = 97 + -94. Suppose 4*g + m*r = 838, 4*g + 7*r - 854 = 12*r. Is g a prime number?
True
Let y(d) = 2*d**3 + 3*d**2 - 11*d - 14. Let a be y(-4). Is (-36662)/115*a/4 composite?
True
Suppose -2*r + 67689 = 5*q, -q + 3*q - 27068 = 3*r. Is q composite?
False
Let x = 42471 - -414476. Is x composite?
True
Let f(t) = -55*t - 13 + 0 + 5 - 14*t - 6. Let x(g) = -2*g + 11. Let j be x(8). Is f(j) composite?
False
Suppose 0 = 17*b - 766930 - 219087. Is b a composite number?
True
Let m = -12 + 14. Suppose 6*j = -m*j. Suppose -4*d = 3*v - 850, -4*d + j*v - 5*v = -854. Is d prime?
True
Suppose -4*u = -2*a + 199058, -u = 30*a - 32*a + 199046. Is a a composite number?
True
Let o = 1208200 + -679561. Is o a composite number?
True
Let f be (-9)/((-36)/(-28)) + 5. Is (-7 + 8 - f) + 784 prime?
True
Suppose -16*p + 20*p + 5*w = 360917, 0 = 4*p - 4*w - 360872. Is p a prime number?
False
Suppose 10 = 27*h - 25*h. Suppose q + 2*d + 1 = 4*d, 13 = q + h*d. Suppose -106 = -2*r - 3*r + s, 0 = r + q*s - 34. Is r a prime number?
False
Suppose -5*g - 2*v = -4*g - 13, 4*g - 46 = -2*v. Suppose -1239 = -3*i - y, y - 413 = 10*i - g*i. Is i prime?
False
Suppose 8 = -0*z + 4*z + 3*f, f = 3*z + 7. Is (z/(-5))/((-10)/(-47650)) composite?
False
Let j(o) = 19400*o**2 + 93*o + 13. Is j(-6) prime?
False
Let x = -3031 + 6604. Suppose 3*g + c = g + 7174, g + 4*c = x. Is g composite?
True
Suppose 5*j = -s - 19655, 4*s = -0*j - 5*j - 19670. Suppose -2*o - t + 17512 = o, -5*o + 29190 = 5*t. Let d = o + j. Is d a prime number?
True
Is (30/4 + -5)/(2 - (-1682615)/(-841310)) composite?
True
Suppose -2*r = 3*p - 15 - 122, -2*r - 2*p + 142 = 0. Suppose 173 = 5*s + 958. Let v = r - s. Is v a composite number?
False
Let y(w) = -4*w**3 + 2*w**2 + 2*w. Let m be y(2). Let u be (m/25)/(4/10). Is u*(-2 - -4) + 138 a composite number?
True
Suppose -208*z = -219*z + 22. Suppose -z*h = -8, -5*j - 14*h + 9*h = -69165. Is j a prime number?
True
Let p = -117 - -235. Let j = p - 116. Suppose -n - j*n + 3197 = 2*u, -u = n - 1597. Is u composite?
True
Let j = -288 - -3358. Let l = -3818 - -1887. Let t = l + j. Is t a composite number?
True
Suppose 52*z - 7839450 = 22*z. Suppose 107*i = 116*i - z. Is i a prime number?
False
Let i(j) be the first derivative of j**4/4 + 2*j**3/3 + 5*j**2/2 - j - 2. Let q(t) = 16*t + 246. Let p be q(-15). Is i(p) composite?
False
Let v be (8/10)/((-8)/(-20)) - 0. Let f = 28 + 0. Is v/7 - (4 + (-34068)/f) a composite number?
False
Let t = -16 - -18. Suppose 0*g + t*g = -q + 581, -5*g - 2980 = -5*q. Suppose 2*d = -2*b + q + 4071, -b = 5*d - 11663. Is d a composite number?
False
Suppose 17*w - 10*w - 44863 = 0. Let h = w - 3050. Is h a composite number?
False
Suppose -5*t - 2*q = -6 - 21, 4*t + 4*q = 24. Suppose 1152 = 3*i - 2*w - 2341, 2*i - 2336 = t*w. Is i composite?
False
Is (-1)/((-1)/(-1))*(-1190832)/48 prime?
True
Suppose 61*b - 59*b = -12. Let d be (-69)/(-115)*(-20)/b. Suppose d*p + 212 = 4*p. Is p composite?
True
Suppose -4*h = 1 - 13. Suppose -4*r + 2*x + 10322 = r, -5*r + 10340 = -5*x. Suppose 0 = 3*g - h*o - 1551, o = -g + 5*g - r. Is g a composite number?
True
Let c be (-2036)/(-4) - (0 + 2). Suppose 7004 = 7*x - c. Is x composite?
True
Let d = -52 - -46. Is 8/d - 30986/(-6) composite?
True
Let y = 688 + -12. Let c = 1345 - y. Is c composite?
True
Let l(u) = u**2 - 13*u + 6. Let k(o) = -2*o**2 + 26*o - 11. Let x(r) = -6*k(r) - 13*l(r). Let n be x(13). Is (-675)/n + (-9)/(-12) prime?
False
Is ((-3)/6)/((-12798839)/(-1066570) + -12) prime?
False
Let a be (-20)/(-70) + (-530)/(-7). Let s = 78 - a. Suppose 0 = -s*j - 4*i + 8*i + 1566, 4*j - 2*i - 3144 = 0. Is j a composite number?
False
Let u be -3 + 6/9*9. Suppose -2*d + 354 = -2*k, 7*k - u*k - 912 = -5*d. Let f = d - -111. Is f a composite number?
True
Let r = 2119 - -227. Let v = r - -1835. Is v a composite number?
True
Suppose 759 - 6341 = l + 4*c, 2*l + 11140 = 4*c. Is (-39)/78 + l/(-4) a composite number?
True
Let n = 6444 + -10706. Let t = n - -8615. Is t a composite number?
True
Suppose -1808034 = -3*q - 2*h, 3*q - 1808022 = -25*h + 27*h. Suppose 0 = -25*j + 23749 + q. Is j prime?
True
Let a(s) = -3*s**3 - 20*s**2 - 140*s - 70. Is a(-33) a composite number?
True
Let u(d) = 1216*d + 1. Let p be u(-1). Let t = 270 + 3702. Let c = t + p. Is c a prime number?
False
Let u(j) be the second derivative of 31*j**5/60 + 5*j**4/24 + 2*j**3 + 20*j. Let y(s) be the second derivative of u(s). Is y(7) composite?
False
Suppose 7*w + 40 = -205. Let y = -26 - w. Suppose 5*i = -y*i + 34118. Is i a composite number?
False
Let f(d) = 42*d - 19. Let n be f(6). Suppose 236*m - n*m - 249 = 0. Is m composite?
False
Let c(v) = -v**2 - 9*v - 22. Suppose -u - 9 = u - y, -2*u = 5*y + 15. Let q be c(u). Is ((-502)/4)/(-1*(-1)/q) a composite number?
False
Suppose -6*r + 90223 = r. Suppose 5*j = 4*s + r, -4*j + 12761 - 2458 = 5*s. Suppose j = 3*b - 0*b. Is b prime?
True
Let r = 8996 + -20995. Is (4 + r/(-2))*(7 - 5) prime?
True
Let d(t) = 578*t**2 - 5*t - 7. Let m be d(-2). Let b = 582 + m. Is b prime?
True
Let y(x) = 217*x**2 + x - 3. Let w be y(13). Suppose -w = -12*m - 5375. Is m a prime number?
True
Suppose -25 = -5*r, -8*w + 3*r - 4770 = -11*w. Is w a prime number?
False
Suppose 2*z - 3*s - 417281 = 0, 35*z - 5*s + 208582 = 36*z. Is z a prime number?
True
Let y = 3519219 - 2085350. Is y a prime number?
False
Suppose 3*h - 21 = 0, -2*h - 1654571 = -169*s + 164*s. Is s composite?
False
Suppose 3*r - 126291 = 4*z, 3*z + 42107 = -60*r + 61*r. Is r prime?
True
Suppose 56928 = -h + 5*c + 162570, -4*c - 422648 = -4*h. Is h a composite number?
False
Suppose -31*m - 1618 = -32*m. Suppose 26619 = 23*f + m. Is f a prime number?
True
Suppose -2*r + 450 = 8*r. Is (4/(-10) - (-108)/r)*307 prime?
False
Suppose 0 = 6*m - 1099533 - 1655721. Is m prime?
True
Let y be (-285)/(-18) + -7*3/(-126). Is y/(-24) - 63715/(-15) a