+ 2975, 3*a - 995 - 790 = -5*d. Suppose -733 - a = -4*f - j, -3*f = -5*j - 973. Is f a prime number?
True
Suppose 4*w + 7 = 19, 5*v - 2*w - 13984 = 0. Suppose -5*l + 7*l = v. Is l a composite number?
False
Let z = -63 - -72. Suppose 0 = 6*s + z*s - 10155. Is s a prime number?
True
Let p(o) = 3*o - 2. Let x(l) = -l**2 - 11*l - 20. Let n be x(-9). Let y be p(n). Is (-9 - y)/((-2)/434) composite?
True
Let y = -43950 + 115603. Is y composite?
True
Let q be ((-21)/2)/(9/(-36)). Let z be (695/(-15))/((-2)/q). Suppose -u + z = -0*u + x, 2*u = 2*x + 1946. Is u a prime number?
False
Let g(c) = 54*c**3 - 13*c**2 - 27*c + 71. Is g(12) a prime number?
False
Suppose 0 = m + 2*m. Suppose m = -4*c - 5*i + 8166, -2*i = -c + 611 + 1424. Is c a prime number?
True
Suppose -2*r = -4*u - 26, -36 = -3*r - 0*u + 5*u. Suppose 3*q + 3*s = r*s + 351, -q = 3*s - 130. Is q prime?
False
Let g(k) = -16*k**3 - k**2 - 2*k - 3. Let l be g(-3). Suppose -3*i + 5*i = l. Is i a prime number?
False
Suppose 2463 = l - 2*t, 3*l - 3780 = 2*t + 3589. Is l composite?
True
Let f = -574 + 851. Suppose -2*y + f + 345 = 0. Suppose 6*p - 3*p + 2*o = 237, 4*p = -o + y. Is p a composite number?
True
Suppose 0 = -k - w + 2, -4*k + 3*w + 15 = -0*k. Suppose k*s = l - 25, 2*l + 0*l + 3*s = 23. Let p(o) = o**3 - 14*o**2 - 12*o + 9. Is p(l) prime?
False
Let j = 8 + 4. Suppose 7*t + j = 6*t. Let a = t - -23. Is a prime?
True
Suppose 0*o + 3*a - 36 = -3*o, -2*a - 4 = -2*o. Suppose 4*i + 5669 = o*i + 2*m, 0 = 5*i - 5*m - 9440. Is i composite?
False
Let o be ((-20)/(-30))/((-1)/(-3)). Suppose 0 = -2*r + 2*q + o*q + 174, -2*r - 5*q = -165. Is r a composite number?
True
Let y be 350/42 - 2/6. Suppose y = -2*f, -3*f = -0*i - i + 131. Is i composite?
True
Suppose -4*j + 0*j = v - 3, -5*v = -4*j + 33. Suppose -j*t + 4 = l, t = 3*t + 3*l. Suppose 0 = -2*z - t*z + 1695. Is z a composite number?
True
Suppose -5*o + 96619 = 3*n, -12*n + 9*n + 96613 = 2*o. Is n a composite number?
False
Suppose 0 = 35*c - 31*c + 3*n - 759548, -n - 569661 = -3*c. Is c composite?
False
Let c = 10616 + -1755. Is c prime?
True
Suppose 5*w - 27 = 2*w. Suppose 0 = -w*r + 3408 + 3279. Is r composite?
False
Let a(y) be the third derivative of 7*y**5/10 + y**4/12 - y**3/6 + 13*y**2. Is a(-2) prime?
True
Let z be (-5 - -1)*(-310)/40. Suppose 3*u - 3*q - z = q, 0 = -5*u + 3*q + 37. Suppose u*l = -3*r + 5746, -4*l - l + 5740 = 5*r. Is l a composite number?
False
Suppose -2*o - 18*r + 14620 = -16*r, -5*r = -3*o + 21922. Is o a prime number?
True
Let y be 4/((-32)/12) + (-389)/(-2). Suppose y = g - 333. Is g a prime number?
False
Let i = 82972 + -37337. Is i a composite number?
True
Let c(q) = -11*q**3 + 0*q + 4*q - 8*q**2 + 12*q**3 + 9. Let g be c(8). Let n = g - -56. Is n prime?
True
Suppose 3*q + 2*u = -84, -4*q + 58 = -6*q - 2*u. Let o = -27 - q. Is (o - 0)*1 - -372 a composite number?
True
Let i be 2/8 + (-132)/(-48). Let z(j) = 15*j**2 - 4*j - 4. Let k be z(-3). Suppose -i*b - k = -2*l, -l + b = -0*b - 70. Is l prime?
True
Let z(y) = -36*y**3 + 2*y**2 - 7*y - 9. Let v(g) = -35*g**3 + 2*g**2 - 8*g - 9. Let n(h) = 5*v(h) - 6*z(h). Is n(4) prime?
True
Let v = 8 - 6. Suppose -v = -b - 0*b. Suppose 30 = b*g - 0*g. Is g a composite number?
True
Let d(r) = 283*r - 5. Is d(6) a composite number?
False
Let j(h) = -h**2 + 9*h - 16. Let x be j(6). Is (-6)/3 + 211 + x composite?
False
Suppose 9*a = 4*a. Suppose -v + a*v = -1, 0 = 4*w + 3*v - 11. Is (-67 + w)*(-8)/20 a composite number?
True
Let n be (3/9)/(-1)*9 + 4751. Is (-1)/(n/(-1582) - -3) composite?
True
Let p = 245 - 780. Let t(l) = 6*l + 2. Let j be t(6). Let h = j - p. Is h a composite number?
True
Is -1 + (-26926)/(-12) + (-11)/(-66) a prime number?
True
Suppose 746050 = 49*r - 481743. Is r a composite number?
False
Suppose -4*v + 6 = 2*r, 4*r = 2*v + 10 + 2. Let w(x) = -17*x - 8 - 21 + 8*x**2 - x**r + 13*x**2. Is w(20) prime?
True
Let m be (2/5 - (-9)/15)*5. Suppose m*s - 7*s = -1630. Is s a prime number?
False
Suppose 0*x + 18 = -3*x. Let p(c) = c**3 + 7*c**2 + 6*c + 2. Let u be p(x). Suppose f = u*f - 121. Is f a prime number?
False
Let w(a) be the third derivative of 1/15*a**5 + 0*a + 12*a**2 + 0 + 0*a**3 - 1/24*a**4. Is w(-7) a prime number?
False
Let h be (1 + (-3)/6)/((-3)/54). Let u(b) = 41*b**2 - 5*b - 25. Is u(h) composite?
True
Let r(w) = 11*w**2 + w - 2. Suppose -5*f = -3*o - 2, 5*o = -6*f + 2*f - 28. Let k be r(f). Let q = k - 19. Is q prime?
False
Suppose 0 = 4*r + 6*q - 2*q - 8, -4*r + 8 = -4*q. Suppose 5*b = 3*y - 68, -r*y + 3*b = 2*b - 57. Is y composite?
False
Suppose 21416 = -3*h + 8*c - 13*c, -4*h = -5*c + 28578. Let n = -1063 - h. Is n a composite number?
False
Let u be ((-18)/12)/(6/8). Is u/(-3*(-4)/(-138)) a prime number?
True
Let j = -4 + 6. Let a be j*-2*12/8. Is ((-183)/a)/(2/20) composite?
True
Let j(o) = 24*o + 2*o**3 + 3 - 24*o + 5*o**2 + 0. Is j(4) a composite number?
False
Is 20670/2 - (4 - (1 - 1)) composite?
False
Let t = -7 + 12. Is (-1 + 0)/(t/(-815)) a prime number?
True
Suppose -3*i + 2*k = -2*k - 499, i = 3*k + 173. Let p = 570 - i. Is p composite?
False
Let r(i) be the third derivative of i**6/120 + i**5/60 + 563*i**3/3 + 19*i**2. Is r(0) composite?
True
Is (8/11)/(-4) + (-998778)/(-242) composite?
False
Suppose -8*h + 13 = -19. Is (h/(4/67))/1 a prime number?
True
Suppose -3*l = -0*l - 6. Suppose -l*p + 339 = p. Is p a prime number?
True
Let v = 7 - 5. Suppose -5*y = -4*h + 1806, v*y + 453 = -2*h + 3*h. Is h composite?
False
Is (-25038)/(-10) + (12/(-15) - 0) prime?
True
Suppose 4*a - 2*m - 8149 = 9805, -13446 = -3*a - 5*m. Is a prime?
False
Let i = 39 + -33. Is ((-1641)/i)/((-5)/50) prime?
False
Let w be (6/(-5))/((-26)/65) + 1. Is w - ((5 - 496) + 8/(-2)) a prime number?
True
Let r = -1074 + 1868. Is r a composite number?
True
Let j(s) = s**3 + s + 536. Let u be j(0). Suppose -3*q + u = -601. Is q composite?
False
Let h(m) be the third derivative of 0 + 0*m - 4*m**2 + 1/24*m**4 - 1/6*m**3. Is h(15) a prime number?
False
Let x(d) = -6467*d - 913. Is x(-6) a composite number?
False
Suppose 0 = i - 5*o + 645, 1297 + 23 = -2*i - 5*o. Let m = -392 - i. Is m prime?
True
Let a be ((-4)/(-5))/(3/15). Suppose b + 633 = a*b. Is b prime?
True
Suppose 3*s = -4*i + 125 + 264, 0 = -5*s + i + 679. Let z = 500 - s. Is z a composite number?
True
Suppose 4*s - s - 90 = 0. Let h be 2/((-3)/s*4). Is (1761/(-6))/(h/10) prime?
True
Let d(g) = 72*g + 53. Is d(45) a composite number?
True
Let v(c) = -c**2 + c + 353. Suppose 2*d - 10 = 3*d - 5*g, 2*d - 2*g = 4. Suppose d*t = 4*l - 25, 2*l - 3*t = -2*l + 15. Is v(l) a prime number?
True
Let z be (4 - 6) + 19/(-1). Let x = z + 5. Is (8/(-6))/(x/264) a prime number?
False
Let g(k) be the first derivative of -7*k**3 + 2*k**2 + 2*k - 1. Let l be g(2). Let x = 233 - l. Is x composite?
False
Let k = -21491 + 48160. Is k prime?
True
Let m(n) be the first derivative of 44*n**2 - 41*n + 16. Is m(9) a prime number?
True
Let l be 2 + 4*-1 - 0. Let w = 6 + l. Suppose -2*b - 107 = -3*i, 3*i + w*b - 43 = 40. Is i a prime number?
False
Suppose -13*r + 14*r = 3*q - 15, -r - 5*q = -17. Let c(l) = -48*l**3 - 5*l**2 - 4*l - 2. Is c(r) composite?
True
Is ((-88079)/7)/(-1) - 36/(-126) a prime number?
True
Let o(v) = -2*v. Let u be o(4). Is 1*u - -4 - -789 composite?
True
Let x(c) = 5*c**3 - 20*c**2 - 13*c - 12. Is x(10) composite?
True
Suppose 13*q + 21 = 20*q. Suppose 4*r - 3*p = 72, -q*r + 7*r = -3*p + 96. Is r a composite number?
True
Let g(d) be the second derivative of 0*d**2 + d + 0 - 28/5*d**5 + 1/6*d**3 + 1/6*d**4. Is g(-1) a composite number?
False
Let z = 107 + -38. Let g = -66 + 64. Let d = z - g. Is d composite?
False
Let s be 0 - (1 - 1)/((-14)/7). Suppose s = 5*z - 54 - 6521. Is z a prime number?
False
Let i(g) = 609*g**2 - 5*g - 69. Is i(-7) a prime number?
False
Let t(x) be the second derivative of -119*x**3/6 + 22*x**2 - 16*x. Is t(-9) a composite number?
True
Let y(g) = -g**2 + 15*g + 18. Let n be y(16). Suppose n*i + 271 = 3*i. Is i prime?
True
Let k be (-33)/2*113*8/(-3). Suppose 0 = 14*i - 10*i - k. Is i a prime number?
False
Let u(v) = -v**2 + 4*v. Let o be u(3). Suppose -4*i - 2087 = -o*h, i - 4 = -0. Is h prime?
True
Suppose -2*p = 4*x - 34, -4*x + 3*p + 29 = -30. Let z = 13 - x. Suppose -z*q = 3*q - 75. Is q comp