uppose 2*y - 3*v + 8*v - 1008 = 0, 5*y = -3*v + 2501. Is y composite?
False
Is 45141/7 - 8/(-308)*11 a composite number?
False
Suppose -4*v = -2405 - 8055. Suppose 12 = 3*n + 3*n. Is v/20 + n/8 a prime number?
True
Let b(p) = p - 2. Let z be (-48)/(-10) + 7/35. Let t be b(z). Is 4/6 + 289/t prime?
True
Let w(g) = -75*g**2 + 39*g**2 + 4 + 41*g**2 + 0*g - 5*g + 17*g**3. Is w(3) composite?
True
Let q be -5*(4 + 88/(-20)). Suppose -2*u + 2*i + 816 = 0, 3*u - q*u - 2*i = 407. Is u a prime number?
True
Suppose 9*i - 4*i = 25. Let n(x) = -2*x + 12. Let m be n(i). Suppose -5 = r - m, 2*c - r = 265. Is c a prime number?
True
Suppose 45511 = -13*y + 287792. Is y prime?
True
Suppose -5*o + 3831 = 3*s, -5*s - 2*o = -6162 - 242. Is s a composite number?
True
Suppose 0 = 29*y - 25*y - 29116. Is y a composite number?
True
Let l be (5 + 28)*(-2 + 16). Suppose 0 = 3*t + o - 332 - 136, o + l = 3*t. Is t a composite number?
True
Let i(p) = 113*p + 6. Let u(o) = -o**3 + 7*o**2 + 10*o - 15. Let d be u(8). Is i(d) prime?
False
Let z(d) = 6*d**2 + 4*d + 1. Is z(19) a composite number?
False
Suppose -47*z - 21441 = -2256808. Is z prime?
False
Suppose -o - 2*u = -24, -4*o + 9*o + 4*u - 132 = 0. Let s be (-12522)/(-21) - 8/o. Let m = s + -385. Is m composite?
False
Suppose 3*o = 3*z - 2*z + 26375, 0 = -o + 3*z + 8797. Is o a composite number?
True
Let a(q) = -q**3 - q**2 + q + 4. Let m be a(0). Suppose -2*u = -m*u. Suppose -5*i + 3*b = -3*i - 227, u = 4*i + 5*b - 509. Is i a prime number?
False
Is (((-10)/(-4) - 1) + 2)*718 prime?
False
Let s(l) = 6*l**2 + 4*l + 3. Let f be s(-5). Suppose -5*n - 8 = -n, -n + f = 3*o. Let d = o - -8. Is d prime?
True
Let p(r) = 58*r + 16. Let d be p(-4). Suppose 3*m = -32 - 19. Let i = m - d. Is i composite?
False
Let o(i) = -19 + 591*i + 280*i - 125*i. Is o(5) a prime number?
False
Let i(f) be the third derivative of 0 + 23/24*f**4 - 4*f**2 + 0*f + 4*f**3. Is i(7) prime?
False
Is (3 + (-78)/9)/((-10)/870) prime?
False
Let t = -7 - -11. Suppose -p - 2*g - t = 0, 8 = 2*p + p - 4*g. Suppose p*b - 157 = -b + 2*q, -474 = -3*b + 5*q. Is b composite?
False
Suppose -s + 1134 = 2*x, 3*x - 8*x = 3*s - 3398. Is s prime?
False
Suppose -33 = -s - 3*s + 5*c, -3*c - 15 = 0. Suppose 3*n = 3*l + 2382, 5*n - s*n - 2400 = -3*l. Is n prime?
True
Let l = -9 - -11. Let w be (0 + l)/(12/(-7002)). Is (-1)/4 + w/(-12) a prime number?
True
Let o(t) = t**3 + 2*t**2 - t - 9. Let q(j) = 3*j**2 - 10. Let y(i) = 4*o(i) - 3*q(i). Is y(5) a composite number?
False
Suppose -1 - 67 = 4*d - 3*r, -5*d - 4*r - 54 = 0. Let a be (-7)/2*24/d. Suppose 0 = a*u - u - 635. Is u a prime number?
True
Let g(l) = l + 11. Let w be g(-6). Suppose 3*a - w*a = -6. Suppose -a*u = -4*u + 487. Is u composite?
False
Let p = -16 - -2. Let i = p + 9. Let y(b) = -b**3 - b**2 + 7*b. Is y(i) composite?
True
Suppose -5*i - 2*l + 29897 = 0, 0 = 2*i + 4*l - 10469 - 1477. Is i prime?
True
Suppose 11*l + 5*s = 6*l + 73590, -5*s = 5. Is l composite?
True
Let l = -44 + 84. Suppose 10*b - 6*b + l = 0. Let t(c) = -67*c + 9. Is t(b) prime?
False
Let o be 6 - 1 - (19887 + 2). Is (2 - 3)/((-4)/o*-3) a prime number?
True
Suppose 5*d + r - 2517 = 0, -4*d - 2*r = -r - 2014. Let u be 20/(-210) - (-1 + 19/21). Suppose -l + w + w + d = u, 5*l - w = 2488. Is l a prime number?
False
Let n(k) = -k**3 + 25*k**2 + 9*k - 34. Let m be n(25). Suppose 8 = j + 5*g, -3*g = 2*j - 5*g - 4. Suppose 2*c - j = m. Is c a composite number?
False
Let b = -10 + 12. Let c be 4*(14/(-8) + b). Is c/(2/((-516)/(-2))) composite?
True
Let r(d) = 300*d**2 - d + 4. Let n(z) = 300*z**2 - z + 3. Let g(w) = 4*n(w) - 3*r(w). Let o(k) = -k - 10. Let p be o(-11). Is g(p) a composite number?
True
Let h(n) = n**3 - n**2 - 5*n + 2. Let y be h(3). Suppose -5*c + 66 = -3*c + k, y*c = 3*k + 143. Is c composite?
False
Let h(j) = -j**3 - j**2 + j - 1. Let x = -4 + 4. Let z be h(x). Is (-1 + (1 - z))*118 a composite number?
True
Suppose -4*j = 2*j. Suppose j = -b + 36 + 283. Is b composite?
True
Suppose 0 = 9*o - 131358 - 227031. Is o a prime number?
True
Let z = 3000 + -1139. Is z composite?
False
Suppose -148751 = -15*s - 4*s. Is s composite?
False
Suppose 12 = -4*w, g - w = -5*w - 3. Suppose -g - 16 = -5*b. Suppose b*k = z - 4*z + 2240, 2*z - 2235 = -5*k. Is k composite?
True
Let r(m) = m**3 - 3*m**2 - 2*m - 4. Let y = -13 - -17. Let g be r(y). Suppose 2*n - g*a - 194 = 0, 4*a - 78 - 19 = -n. Is n a composite number?
False
Let j = 20 + -14. Let l(k) be the second derivative of k**5/10 + 2*k**4/3 - 7*k**3/6 + 5*k**2/2 - 9*k. Is l(j) composite?
False
Suppose 0 = -2*d - 3*d - 155. Is 2532/(-2)*d/62 prime?
False
Suppose o - 16 = -4*m, -m = 4*m - 15. Let n(u) = 7*u**2 + 13*u - 7. Is n(o) a prime number?
True
Let a = -2673 + 5230. Is a prime?
True
Let r = 7368 - -3271. Is r prime?
True
Suppose -900 = -5*g - 4*k, 2*g - 360 = -0*g - 5*k. Let c = 1433 - g. Is c a prime number?
False
Is 65172/44 + (144/(-66) - -2) a composite number?
False
Is -5*1*(-5)/25*6947 composite?
False
Suppose 4*b + 192 = x, -x + 172 = -0*x + b. Let j = 533 + x. Is j a composite number?
False
Suppose -4*d + 3*j = -1843, 2*j = 2 - 12. Is d/2*(2 - 0) a composite number?
False
Let a be (70/15 - 5)/((-2)/30). Suppose -2*g + 2898 = -j + 2*j, 0 = -4*g + a*j + 5824. Is g composite?
False
Suppose -4*r = -6*r + 10. Suppose -v = v - r*u - 555, 5*v - 2*u - 1419 = 0. Let t = v - 70. Is t composite?
True
Let y(s) = 81*s**3 - 3*s**2 + 2*s - 1. Let q be y(2). Suppose q = l + 148. Is l a prime number?
True
Let c(u) = -9*u - 15. Let o be c(-3). Is (o/8)/((-6)/(-892)) a composite number?
False
Let z(x) be the second derivative of x**4/12 - 29*x**3/6 - 35*x**2/2 - 12*x. Is z(-19) composite?
False
Let d(a) = 1254*a**2 - 15*a + 10. Is d(3) a composite number?
False
Let s = -8405 + 13855. Suppose s + 7681 = 9*l. Is l prime?
True
Let h = 15 - 10. Suppose -h*r - 4 - 25 = 2*d, -15 = 5*r. Is -3 + 4*d*-1 composite?
True
Suppose -z + 2 = 4*n + 393, 3*z = 3*n - 1173. Is (5 + -3 - 4)*1 - z a composite number?
False
Let a be (7 + -2)/(6/822). Let m = -356 + a. Suppose m = 4*b + 93. Is b a prime number?
True
Let o(r) = 11*r + 8. Let g(w) = 5*w + 4. Let a(p) = 7*g(p) - 3*o(p). Let s be a(10). Suppose 5*i = 3*n - 68, n - 3*i - s = -0*n. Is n composite?
True
Let n(h) = -h**2 - 14*h - 15. Let c be n(-13). Let b(d) be the second derivative of -17*d**5/20 + d**4/4 + d**3/3 + d**2 - 2*d. Is b(c) composite?
True
Suppose 2*g - 18 = -g. Suppose 0 = g*f - 2*f - 16. Suppose -4*n + f*v = -76, 2*v = 4*n - 3*v - 73. Is n composite?
True
Let t(g) = 156*g**2 + 19*g + 76. Is t(-6) composite?
True
Let p(r) = 8*r**3 - 2*r**2 - 3*r + 2. Let f = 6 + -1. Suppose 4*z + 4*b = 0, 5*z - 24 = -2*b + f*b. Is p(z) composite?
False
Let g(q) = -2*q + 14. Suppose 0*r = r + 19. Let h = 9 + r. Is g(h) a prime number?
False
Suppose 2*m - 2*z = -21 - 7, -m - 3*z = -2. Is ((-2)/3)/(m/20415) prime?
True
Let o(d) = -d + 12. Let c(p) = -p + 3. Let v be c(-6). Let a be o(v). Suppose -a*s + 236 = x - 544, 5*s - x - 1292 = 0. Is s a composite number?
True
Suppose -5*s - 9 = -5*d - 6*s, -4*s = -5*d + 14. Suppose 2*r - 2234 = -x, -x + 1117 = r - d*x. Is r prime?
True
Let k(c) = c**3 + 9*c**2 + 9*c - 4. Let p be (-30)/(-1) - (6 - 7). Suppose -4*u - 8 = 4*x - 9*u, u = 5*x + p. Is k(x) a prime number?
True
Suppose 0 = 4*u - 3*n + 6, -8 = -0*n - 4*n. Let c(p) = p**3 - 3*p**2 + 5*p - 4. Let i be c(2). Suppose -i*q - 2*q + 1636 = u. Is q a prime number?
True
Suppose 5*q - 7116 = -d, -3*d + 10239 = -q - 11125. Is d composite?
False
Suppose -b + 6 = 3*i + 17, 5*i = -2*b - 18. Let j(p) = -2*p - 2. Let d be j(i). Suppose d*t + 148 = 8*t. Is t composite?
True
Suppose -2*s = -4*g + 77 + 121, s - 5 = 0. Let r = 139 - g. Is r composite?
True
Suppose -56*p + 64*p + 32 = 0. Let w(z) = 86*z**2 - z + 19. Is w(p) a composite number?
False
Let h(m) be the second derivative of m**4/6 - m**3/6 + 4*m**2 - 4*m. Let y be 2 - (0/(-2))/(-4) - -7. Is h(y) a prime number?
False
Suppose -3*x = -2*f + 5 - 8, x - 3 = 0. Suppose n - f*g - 219 = -g, -2*g = 2*n - 450. Is n a prime number?
True
Let h be (-3046)/(-6) - (3 - 7/3). Suppose 46*r - h = 43*r. Is r a prime number?
False
Let u(v) = 216*v**2 - v - 1. Let j be ((-6)/9)/(5/15). Is u(j) a prime number?
False
Let w = -12 - -12. Suppose w = 5