 2*i + 10. Let w be v(-7). Let d = -13 - -8. Is (w + (-3 - d))/(-2) a prime number?
False
Suppose -1678*f + 1677*f + 4 = 0. Suppose 5*k + q - 3971 = f*k, 5*q = -k + 3963. Is k prime?
False
Let z(d) = 3*d**3 + 8*d**2 - 20*d + 89. Is z(12) composite?
True
Let f = -319944 - -551765. Is f composite?
False
Let j(b) = 4*b - 44. Let l be j(11). Suppose i + 13 = -5*n + 32, 3*i - n + 23 = l. Let s = i - -65. Is s a composite number?
False
Let p(z) = 65*z**2 - 4*z - 7. Let f be p(-5). Suppose t + 5*b + 966 = 0, -2*t + 5*b = 6*b + 1977. Let q = f + t. Is q a prime number?
True
Let g(l) = -111*l + 979. Is g(-37) a prime number?
False
Suppose -11*d + 16*d = 360. Suppose -d = j - 1433. Is j a prime number?
True
Let a be ((-10)/(-3))/((-2)/3) + -2183. Let f = a - -13019. Is f prime?
True
Suppose 3*k + 6 = 13*d - 11*d, 5*d - 6 = 3*k. Is (-4*(-3)/6)/(k/(-12439)) a composite number?
True
Let s(x) = -202*x**3 - x**2 + 8*x + 5. Let f be s(-5). Suppose 25*q = 3*q + f. Is q composite?
True
Suppose -2*s - 4*y - 21 = 1, 2*y = -4. Let v(b) = -13*b**3 + 7*b**2 + 3*b - 46. Is v(s) composite?
True
Let h(i) = -2246 + 98*i + 34*i + 2152. Is h(9) composite?
True
Suppose -2*p + 15 = p. Let k(x) = 10*x**3 - 7. Let o(y) = -y**2 + y - 1. Let g(w) = k(w) - 2*o(w). Is g(p) composite?
True
Suppose -4*p + 0 = d - 9, 3*d - 12 = 3*p. Let r(f) = -d - 255*f**3 + 4 - 28*f + 30*f + 2. Is r(-1) composite?
True
Let c be (-1 - 4)*-1 + 34. Let k be (-1 - -2)/3 + 6110/c. Suppose -k = -11*f + 382. Is f composite?
True
Suppose 0*t + 4*t + 3*b = -4924, 4*b = 16. Let w = 2148 + t. Is w a composite number?
True
Suppose -2*m - 5*j = -14976, 34*j = 3*m + 35*j - 22451. Is m composite?
True
Let l = 100 - 98. Suppose -j - 4*w = -14457, -l*j + j = -5*w - 14421. Is j composite?
True
Let i(v) = -19*v**3 - 2*v**2 + v + 7. Let c(y) = 19*y**3 + 2*y**2 - 4*y - 8. Let k(x) = -2*c(x) - 3*i(x). Is k(6) prime?
True
Let i(q) be the first derivative of 191*q**3/3 - 5*q**2/2 - 27*q + 176. Is i(6) prime?
False
Suppose 1222 = 43*c - 30*c. Suppose -12049 = -c*j + 93*j. Is j a prime number?
True
Let s = -25 - -30. Suppose 0 = 6*y - s*y - 1637. Is 3/(-12)*-2*2*y a prime number?
True
Suppose 0 = -1017*t + 1044*t - 8030961. Is t composite?
True
Let l(b) = 35 - 18*b + 35 + 14*b**2 + 44 + 4*b - 119. Is l(-9) composite?
True
Suppose -25*z + 33528 = -21*z - f, 4*z - 33520 = 3*f. Is z composite?
True
Let g = 56 - 47. Is ((-587)/3)/((-3)/g) a composite number?
False
Let u = -699 + 706. Suppose -r - 40674 = -u*r. Is r composite?
False
Suppose 2*p - g - 114773 = 61106, -g + 439722 = 5*p. Is p a composite number?
False
Let j(t) = t**3 + 30*t**2 + 55*t - 26. Let a be j(-28). Suppose 0 = 5*w - a*w - 15, -4232 = -n + w. Is n prime?
False
Let d(p) = p - 13. Let z be d(5). Let k(j) = j + 31. Let m be k(z). Suppose -m*q = -24*q + 967. Is q composite?
False
Suppose -7*j = -6*j + 2*f - 26, -2*f = 4*j - 92. Suppose 351*k - 350*k = j. Is (-4)/k - 314937/198*-2 a prime number?
True
Let f = -54 + 57. Let h be f/12 + 266/(-8). Is ((-100034)/h)/((-2)/(-3)) composite?
False
Suppose -249*k + 2600047 = -8859182. Is k prime?
True
Let r be (1389/6)/((-218)/44 + 5). Suppose -2*d + 20997 + r = 0. Is d a composite number?
True
Suppose 5*x + 0*g + 4*g + 32 = 0, 3*g = -9. Is (-20)/x*-1 - -1656 composite?
True
Let j(t) be the third derivative of -t**6/120 - 3*t**5/20 - t**4/24 - t**3/2 - 21*t**2. Let i be j(-9). Is 37/4*2*i a composite number?
True
Let g(r) = 2*r**2 - 3*r - 63. Let q be g(-5). Suppose -2*d - u + 12896 + 2313 = 0, -2*u - 15200 = -q*d. Is d a composite number?
False
Suppose 3*j - 2*i - 1774 = j, j = 4*i + 878. Let c = 9 + -6. Suppose -c*n - 2*n = -j. Is n composite?
True
Suppose 11 = -5*o + 81. Let w(h) = 814*h - 45. Is w(o) prime?
True
Suppose 22*a = 21*a + 71. Let j = a - 67. Suppose j*b + 3*g - 7220 = 2*b, -b = g - 3609. Is b composite?
False
Let w = -82 + -68. Let n = w - -587. Is n composite?
True
Suppose 253 = 5*g + 298, -5*o - 4*g + 7455119 = 0. Is o a composite number?
False
Suppose -6*l + 5*l - 27 = -5*n, n + 2*l = 1. Suppose n*r - 27315 = 10070. Is r prime?
True
Suppose -10098 + 43120 = -5*w + 4*v, 3*w + 19809 = v. Is (w + -5)*-2 - (-6 + 3) prime?
True
Suppose 4*w + 1707 = 259. Let v = 1053 + w. Suppose -3*j + 4*t + 1312 + v = 0, -3*j + 2008 = t. Is j prime?
False
Is 1515080/70 + 4/((-8)/3)*-2 prime?
True
Let y be 2*21*(474/(-9))/1. Let q = y + 4113. Is q prime?
True
Let v = 20 + -14. Suppose -14*k + 56 = -v*k. Suppose -844 = -k*o + 3*o. Is o prime?
True
Let a(g) = 202203*g**2 + 779*g - 3097. Is a(4) a prime number?
False
Let f = 68340 - -1931. Is f prime?
True
Let l be (-26 + 2)*(7 + 15/(-2)). Suppose -2*j = w - 451, 886 = -l*w + 14*w - 4*j. Is w prime?
False
Suppose -4*c = -5*w - 766968, -335*w + 383490 = 2*c - 336*w. Is c composite?
False
Let v(q) = -3*q + 45. Let d be v(10). Suppose -3*k = -j - 2*j + d, 5*k = 2*j - 28. Let h(t) = 9*t**2 + 13*t - 7. Is h(k) a prime number?
True
Suppose 536 = -4*b - 5*n + 4605, 2*b - n = 2045. Suppose 0 = -6*i + 7435 - b. Is i prime?
True
Suppose 5*l - 116 = 3*d, 3*l - 38 = -d + 40. Suppose 0 = -10*v - l*v + 67235. Is v composite?
True
Let j(g) be the third derivative of -109*g**5/120 + 7*g**4/12 + 37*g**3/6 + 34*g**2. Let h(z) be the first derivative of j(z). Is h(-11) composite?
False
Suppose 0 = -9*r + 5*r - 5*i + 25269, -18945 = -3*r + 3*i. Is r/10 - 27/45 prime?
True
Let p be 1*(339 - (-18)/(-3)). Suppose 3*t + 3*q - p = 0, 4*t - 18*q + 23*q - 440 = 0. Is t a composite number?
True
Let o(v) = -23001*v + 16. Is o(-1) prime?
True
Suppose 497397 = 3*v - 3*l, 0 = -76*v + 71*v - 5*l + 828975. Is v composite?
True
Suppose -l + 0*v = v + 13780, -55148 = 4*l - 3*v. Let o(u) = -10135*u - 17. Let m be o(-2). Let f = m + l. Is f a prime number?
True
Suppose 0 = -x - 2*b + 114, -4*x - 2*b - b = -461. Let z = x - 80. Suppose 0 = -39*r + z*r + 1329. Is r composite?
False
Let n(i) = -4*i**2 - 77*i - 56. Let r(b) = -3*b**2 - 51*b - 37. Let o(k) = -5*n(k) + 7*r(k). Is o(14) a prime number?
False
Let t = 18 - 19. Let n(b) = 1846*b - 3. Let w be n(t). Let i = w + 3206. Is i a prime number?
False
Let c(t) = -210*t + 3. Let o(s) = -s**3 - 10*s**2 - 17*s - 5. Let p be o(-8). Let q be (-11)/p - (-8)/12. Is c(q) a composite number?
True
Suppose -5*k - 2*n + 45 = -0*n, 4*k - 18 = 2*n. Suppose p + 3*a + k = 5, 4*p - 4*a = 24. Suppose -4*j - 2133 = -2*v + 329, p*j = 4*v - 4944. Is v composite?
True
Suppose 15*c = 33047 + 18988. Let t = c + -1520. Is t a composite number?
False
Let o be (35 + -254)/(0 - (-2 - -1)). Let p be (16/(-4) - o)/((-2)/52). Let j = p + 14207. Is j prime?
False
Suppose 0 = -5*i + 3*t + 27 - 6, i - 1 = -t. Suppose 0 = 5*c - 3*c - 5*g - 752, -2*c + i*g = -748. Is c a prime number?
False
Let x = 85494 + -47614. Is ((-2)/(-7) - x/(-14)) + 1 a composite number?
False
Let m(d) = d**3 - 2*d**3 + 17 + 9*d**2 - 14*d**2 - 7*d - 1. Let i be m(8). Let f = i - -1591. Is f a composite number?
False
Let d(u) = 4*u**2 - 2*u - 1. Let m be d(0). Is m/9 + 263956/198 a composite number?
True
Suppose 2*l - 1995691 + 472686 = -9*l. Is l composite?
True
Let b be -1*-26*4/8. Let j(w) = -w + 15*w + 5*w + b*w - 33. Is j(16) a prime number?
True
Suppose -5*c = -3*q + 31194 - 100044, -5*c + 68840 = -5*q. Is c a prime number?
False
Let y = 223831 + 137268. Is y prime?
False
Let r be ((-178654)/21)/(-4 + (-11)/(-3)). Is (0/2 + -2)*r/(-4) composite?
True
Suppose 305*d - 2269675 = 280*d. Is d a prime number?
True
Let z(h) = -4*h**2 + 6*h + 19. Let v be z(-2). Let b(k) = 114*k**2 - 22*k + 13. Is b(v) composite?
True
Let b = 13 - 41. Let p = b + 33. Suppose p*n - 1349 = 996. Is n composite?
True
Suppose 5*h - 2 = -12. Let w(o) = -49*o - 56*o + 5 + 2. Is w(h) composite?
True
Suppose -359433 = -3*c + 3*n, -c - 5*n - 239625 = -3*c. Suppose 13650 - c = -4*k - 4*m, 5*k - 4*m - 132745 = 0. Is k prime?
False
Suppose 25*z - 18 = 34*z. Is 5 - -5*(1010 - z) a composite number?
True
Suppose 4*o + 244816 = 2*l - 45394, 4*l + 2*o = 580350. Is l composite?
False
Let y(p) be the second derivative of p**4/12 + p**3/3 + 5*p**2/2 + p. Let b be y(-5). Is 1865/b + (-1)/4 composite?
True
Suppose 5*o - 13732 = -l, -2*l = -4*o + 2*o + 5488. Let r = o - -937. Is r composite?
True
Suppose -2*b - 2135 - 1829 = 4*o, 3946 = -2*b + 2*o. Let u = b - -73