 5*f - z*d + 247 + 303 = 0. Let t = 159 + f. Is t a prime number?
True
Let u = -21 + 29. Let t(b) be the second derivative of b**5/20 - 7*b**4/12 - b**3/3 + 5*b**2 + 12*b. Is t(u) prime?
False
Suppose 0 = 34*s + 44*s - 3459378. Is s composite?
False
Let t = -829 + 2680. Let j = t - -118. Is j composite?
True
Let c(k) = 7*k**3 - k**2 + 2*k - 1. Suppose 0 = 3*d + 3*d - 60. Let s be (12/d)/((-6)/(-15)). Is c(s) a prime number?
False
Let t be 1*(3 + (0 - -1)). Let d(l) = 31*l + 9. Is d(t) a prime number?
False
Let d be 32*1 + (6 - 9). Let p = -26 + d. Is (46 + -2 - 0) + p a prime number?
True
Suppose -46*j + v + 8878 = -43*j, j + v - 2958 = 0. Is j composite?
True
Suppose -45*x = -43*x + 724. Let n = -472 - -259. Let l = n - x. Is l composite?
False
Suppose -3*d = -10*d - 77. Let x(u) = 4 + 7 - 11*u**2 - 6*u - u**3 + 2*u**2. Is x(d) composite?
True
Let v = 3 - 1. Suppose 4*h + 4*f - 17 = 3*h, v*h - 4*f + 2 = 0. Suppose 3*j + 170 = h*j - 4*y, 0 = -2*j + 5*y + 173. Is j composite?
False
Suppose -7613894 = 96*y - 27191654. Is y a prime number?
False
Suppose 0*u = k - 2*u + 3274, 2*k - 3*u + 6544 = 0. Is 3 + k/(-1 - 0) composite?
True
Let h(g) = 4860*g - 77. Is h(5) a prime number?
True
Let z = 28 - 20. Is (-2)/8 + 2/z + 1585 prime?
False
Suppose -3*j = -4*i + 2845, -7*i + 2*i - 961 = j. Let t = j + 2266. Is t prime?
False
Let n(j) = 1117*j + 83. Is n(8) composite?
True
Suppose -q - 8 = 3*q - 4*m, 26 = 2*q + 4*m. Suppose -20 = -5*g - s - 2*s, 0 = -q*s. Suppose 3*o = g*o - 89. Is o composite?
False
Let r = -1994 - -1057. Let w(p) = -336*p - 12. Let z be w(-4). Let i = z + r. Is i composite?
True
Suppose 0 = 11*a - 18*a. Suppose a*u - 1702 = -2*u. Is u a prime number?
False
Let g be 2/8*(0 - -4). Suppose 0 = -k + g - 11. Is (-368)/k - (-5)/25 a prime number?
True
Let c(n) = n**2 + 11*n + 15. Let f be c(-9). Is 397/(((-3)/9)/(f/9)) a composite number?
False
Suppose -6*o + 6308 = -7*o. Let m = -3805 - o. Is m composite?
False
Let k = -12933 - -21712. Is k composite?
False
Let l = -16 - -18. Suppose 0 = -4*s - 3*d - 34 - 33, 0 = -s + l*d - 3. Let f = 140 + s. Is f composite?
False
Let l(i) = i**3 - 2*i**2 - 3*i - 3. Let o be l(3). Let v(z) = -156*z - 7 - 83*z + 22*z - 49*z. Is v(o) prime?
False
Let h = 10 - 19. Let p = -15 - h. Is (892/p)/((-6)/9) prime?
True
Let t(l) = -396*l - 21. Is t(-27) a prime number?
False
Let o(f) be the second derivative of 9*f**5/10 + 3*f**4/4 + f**3/6 - 11*f**2/2 + 36*f. Is o(6) a composite number?
True
Let i = -2796 - -23777. Is i prime?
True
Suppose -u = 3*u - 3316. Let i(t) = 55*t**2 - 3. Let a be i(3). Let h = u - a. Is h a composite number?
False
Let m(i) = i**2 + 3*i - 5. Suppose -14 = 5*b - 34. Suppose 39 = 3*g + 2*l, 5*l + 41 = b*g - 11. Is m(g) composite?
True
Let y be 7812 + (-2)/((-6)/9). Is -1*(-6)/(-9)*y/(-2) a prime number?
False
Suppose -2*a + 2*t = -6708, -2*a + 0*a - t = -6723. Suppose -6*v = -v + 2*b - 16707, 0 = v - 4*b - a. Is v a composite number?
False
Let f = -15118 + 25959. Is f a prime number?
False
Let d = -1166 - -664. Is (-18)/6*d/6 prime?
True
Let j be 553/(2/(-3)*9/(-90)). Suppose 2*d - 7*d - j = -5*y, -d = 4. Is y prime?
False
Suppose 32*o = 35*o - 1191. Is o a composite number?
False
Let c(v) = v**2 + 1. Let r(i) = -1978*i**2 + i - 6. Let u(x) = -6*c(x) - r(x). Is u(-1) a prime number?
True
Suppose -3*j + 39 = -4*w - 4*j, 4*w - 5*j = -45. Let r be (-3)/15 + 2028/w. Let o = r - -306. Is o a composite number?
False
Let g be (-4)/1 + -2 + 19. Let d(t) = t - 17. Let h be d(g). Is 2/2 + h - -1262 prime?
True
Let l be (-14)/(-28) - (-45)/2. Suppose 0 = -22*g + l*g - 109. Is g a prime number?
True
Let j be 445 - (2 + (1 - (-1 + 2))). Suppose -53*q + 52*q + j = 0. Is q a prime number?
True
Suppose 10*c - 15*c = -20. Let o = 1 + -3. Is o*(2 - 410/c) prime?
False
Let r(o) = 2*o**3 - 3*o**2 + 3*o + 1. Suppose 0 = 2*w - 12. Suppose 0 = 15*b - 13*b - w. Is r(b) composite?
False
Suppose 0*k - j = k, 2*k = -j + 1. Let v(g) = 107*g**2 - 7*g + 9. Let x(d) = 53*d**2 - 3*d + 4. Let c(y) = -3*v(y) + 7*x(y). Is c(k) composite?
True
Suppose -1369*h - 77556 = -1381*h. Is h a composite number?
True
Suppose 601167 = 15*m + 16452. Is m prime?
False
Suppose 3*i - 14 + 5 = 0. Suppose 0 = -i*f + 1031 - 278. Is f a prime number?
True
Suppose 8*l - 466044 = 103948. Is l a prime number?
True
Let w(q) be the first derivative of 9*q + 11/2*q**2 + 46/3*q**3 + 13. Is w(-4) a composite number?
False
Let l be (-1270)/(-6) - (-4)/12. Suppose 2*t = 5*p - l, -130 = -3*p + 3*t + t. Suppose 2*g - p = 96. Is g prime?
False
Let p(j) = j - 2. Let w be p(4). Suppose -2*m + 4*l = -3692, -m + w*l - 9206 = -6*m. Let g = m - 1169. Is g prime?
True
Let u(f) = -8*f**2 - 3*f + 2. Let j be u(1). Let n(w) = w**2 - 13. Let a be n(4). Is (3054/j)/((-2)/a) a prime number?
True
Let y = 1011 + -310. Suppose 8 = 5*s - 3*n - 3, 5*s - 17 = n. Suppose -q - y = -6*q - c, -s*q = -2*c - 572. Is q composite?
True
Let y = -2618 + 28759. Is y a composite number?
False
Let s = -22575 - -40142. Is s composite?
True
Suppose -4*f = -8 - 4. Suppose 157 - 2080 = -f*r. Is r a composite number?
False
Let k = 2 + 0. Suppose 5*l - d - 11 = 0, k*l + d + 4 = 7. Suppose -46 = -l*o - 4*n - n, 4*o - 40 = 3*n. Is o a composite number?
False
Suppose -c + 3*l = -1809, 5379 = 3*c + 4*l - l. Is c a composite number?
True
Suppose -5549 = -p + 2*m, -4*m - 16643 = 5*p - 8*p. Is p a prime number?
False
Suppose 3*j - 41103 = -5*c, -3*j - 3*c = -c - 41103. Is j a composite number?
True
Let a(c) = -3*c**3 + c**2 - 3 + 2 + 6*c**2 + 4*c**3 - 5*c. Is a(-5) prime?
False
Let u(t) = t**2 - 2*t - 1. Let m be u(3). Suppose -c + m = c, -4*y = 3*c - 23. Let f(z) = 14*z + 7. Is f(y) a prime number?
False
Let d = 366 + -209. Is d a prime number?
True
Let p be 2 - (2/5 + 58312/(-5)). Suppose 0*r - 5*r = i - 14561, -p = -4*r + 3*i. Is r composite?
True
Let s be 393/(-2)*2/(-3). Let x = -353 + s. Is x/(-4)*(-2)/(-3) a composite number?
False
Let h = 77 - 113. Suppose 0 = -4*p - 3 + 295. Let b = h + p. Is b a composite number?
False
Suppose -5*i - 6 + 36 = 0. Is 484/(-6)*(-9)/i composite?
True
Let d = 1193 - -7280. Is d composite?
True
Let l be (-47)/(((-6)/(-3))/(-2)). Let q(t) = 9*t**3 - t**2 + 2. Let m be q(2). Let f = m - l. Is f composite?
False
Let f(s) be the third derivative of -39*s**6/20 + s**2. Let o be f(-1). Suppose x = o - 23. Is x a composite number?
False
Is -4*138/(-5) - 84/(-140) a composite number?
True
Let q(v) = 13*v**3 + 17*v**2 - 11*v - 7. Let s(g) = -g**2 + g + 2. Let f(l) = -q(l) - 2*s(l). Is f(-6) prime?
False
Suppose 2*v = -3 + 7. Suppose v*g = -0*g + 1550. Suppose 6*j - j = g. Is j composite?
True
Suppose 33*j = 1474383 - 122472. Is j composite?
True
Let r be (10/(-4))/((-35)/84). Is 138 + r + (-3 - -4) a composite number?
True
Let h = -111 + 101. Let b(u) = 5*u**2 - 11*u + 3. Is b(h) prime?
True
Let r be ((-5)/1)/(1 - 882/879). Is -2*(r/2)/(-5) composite?
False
Is -5*9/(-75) - (-3064092)/30 a composite number?
True
Let q = -7585 + 18494. Is q composite?
False
Suppose 5*l + 180365 = 5*u, -28*l - 144324 = -4*u - 32*l. Is u a prime number?
False
Let m(r) = -25*r + 3. Let o be m(7). Let f be (-7)/1 - 3/(-3). Is (1 - o/f)*-3 prime?
True
Suppose -3*d + 4*k = -d + 646, d + 339 = -2*k. Suppose -4*b = -5*q - 922, 2*q + 3*q - 5*b + 925 = 0. Let t = q - d. Is t a prime number?
True
Is ((-2)/(-4))/(39919/13306 + -3) a composite number?
False
Suppose 29450 = 5*s - 5*a, -a = -s + a + 5888. Suppose 3*f - s = -420. Suppose -y + 0*y = -3*p - 604, 3*y = 5*p + f. Is y prime?
True
Suppose -9*f - 2*f + 24387 = 0. Suppose -3*k - 4*g + g = -f, -3*g = -4*k + 2984. Is k a prime number?
True
Suppose 0 = -23*w + 11*w + 128244. Is w composite?
False
Let s be (-3)/(-12) + ((-39)/(-4) - 2). Suppose k - s*k = -11851. Is k a prime number?
True
Let h be (6/(-8)*1)/((-8)/32). Suppose -h*m + 239 = 3*g - 235, -2*g + 477 = 3*m. Is m composite?
True
Suppose 14 - 41 = -3*z. Suppose -p = -3*o + 1456, -3*p = -6 - z. Is o prime?
True
Let b(h) = 412*h**2 + 4*h + 17. Is b(-3) a prime number?
False
Let u be 3*(0 + 1832/(-12)). Let h = 957 + u. Is h a composite number?
False
Let j(h) = -h**3 + 15*h**2 - 31*h - 14. Let g be j(13). Let k = g + 116. Is k a composite number?
False
Suppose -4249 = -3*g - 1222. Is g a prime n