et p be c(-5). Is q(p) prime?
True
Is 4/((-8)/7)*-10 composite?
True
Let c = -144 - -465. Is c a composite number?
True
Let w = 45 - 30. Let b be (1/(-2))/(6/(-192)). Let u = w + b. Is u a composite number?
False
Let m(r) = 14*r - 1. Let x(t) = -1 - t**3 - 5*t**3 + t**2 + 2*t**3. Let w be x(-1). Is m(w) composite?
True
Suppose 0 = -4*o - v, -4*v - v = 4*o. Suppose 2*w - 5*t = 36, 0*t + 5*t = o. Suppose 2*i = -0 + w. Is i a prime number?
False
Suppose -z - 2*z = -39. Suppose l - 8 - z = 0. Is l composite?
True
Let o = 3461 + -1984. Is o composite?
True
Suppose 0 = -2*m - 3*m + 4645. Is m composite?
False
Suppose -2*c + 4*h = -h - 83, -2*c + 93 = -3*h. Suppose -l + c = -1. Is l a prime number?
False
Let w = -8 - -6. Is (w - 2)*(-483)/12 composite?
True
Let l = -11 - -18. Let r = l + -4. Suppose 0 = -4*h - 0*p - 2*p + 40, 2*p + 37 = r*h. Is h composite?
False
Let r(z) be the third derivative of 0 + 5/6*z**3 - 1/15*z**5 - 1/12*z**4 + 3*z**2 + 0*z + 1/120*z**6. Is r(6) prime?
False
Let a(r) = -4 + 13*r**2 - 2 + 3 - 2*r + 4*r. Is a(2) a prime number?
True
Suppose h + 441 = 4*y, 5*y + 5*h = -79 + 649. Let m = 328 - y. Is m composite?
True
Suppose 567 = 4*n - 2013. Suppose n = 2*w + w. Suppose -22 = -3*o + w. Is o prime?
True
Suppose s + 0*s + 2 = 0. Let c be -1*124 - (-1 - s). Let r = c - -214. Is r prime?
True
Let g(t) = 2*t + 1. Let r be g(3). Is 252/r - 1*-1 a prime number?
True
Let u be (-1)/(-2) - 27/(-6). Suppose 0 = -u*w - 5 - 150. Is (1 - 0)/((-1)/w) prime?
True
Let r(t) be the third derivative of -t**8/20160 + t**7/840 + t**6/180 - t**5/60 + t**2. Let w(g) be the third derivative of r(g). Is w(3) a composite number?
False
Let k(s) be the third derivative of -s**4/24 + 127*s**3/6 + 6*s**2. Is k(0) a prime number?
True
Let s(f) = 180*f**2 - 3*f - 1. Let i be s(-2). Suppose 4*b = -b + i. Is b a composite number?
True
Let x be 2/5 - 44/10. Let g = x - -4. Suppose 4*j - 84 = -g*j. Is j prime?
False
Is (22/(-3))/(12/(-306)) a prime number?
False
Suppose -u + 8 = 5*c - 3*c, -3*u = c - 14. Suppose t - 450 = -u*t. Suppose t = 5*m - 95. Is m a composite number?
False
Let d(i) = i**3 + 6*i**2 - i - 4. Let q be d(-6). Let s(l) be the third derivative of 59*l**4/12 - l**3/6 + 5*l**2. Is s(q) composite?
True
Let t = 206 + 20. Suppose -339 = -5*x - 4*s, -5*s = 5*x - t - 114. Is x a prime number?
True
Suppose -16*o = -11*o - 430. Is o + -3 + (-4 - -10) a composite number?
False
Let h be (36/(-10))/((-6)/15). Let c(y) = -4*y. Let s(k) = -k. Let g(t) = h*s(t) - 2*c(t). Is g(-10) a composite number?
True
Suppose 0 = 3*j + 4*z - 1955, 5*j - z + 2*z = 3281. Let l = j + -230. Is l a composite number?
True
Let z = -48 + 33. Let p be (z/9 + 1)*-87. Suppose 5*l = n + 154, 0*l = 2*l - 4*n - p. Is l composite?
False
Let j(d) be the first derivative of 2 - 3*d**2 + 11*d - 4*d + 1 - 5. Is j(-5) a composite number?
False
Suppose 0 = 5*h - 3*c - 13, -4*h + 1 = c - 6. Suppose 35 = 2*m + 27. Let s = h + m. Is s composite?
True
Suppose 0*m + 4*v = 2*m - 90, -3*m = 4*v - 105. Let n be ((-201)/9 + -3)*-3. Let t = n - m. Is t prime?
True
Let x(w) = 9*w + 1. Let k = -2 + 1. Let b be x(k). Let r = -2 - b. Is r prime?
False
Suppose t = -55 + 234. Is t composite?
False
Let q(x) = x**2 - 7*x + 12. Let s be q(5). Suppose s*m = -4*c - m + 232, -m = -4. Is c a composite number?
True
Is ((-3)/(-9))/(48993/(-12249) + 4) a composite number?
False
Let k be (1 - 2)*(-2)/2. Let m = -11 + 12. Is k/(m - (-180)/(-182)) a composite number?
True
Let a = 3572 + -618. Is (-4)/10 + a/10 a composite number?
True
Let g(u) = -u**2 + 12*u - 7. Let l be g(6). Suppose -130 = -4*v + r, -5*r + 6 = -v + l. Is v a prime number?
False
Let t(l) = l**2 + 3*l + 3. Let k be t(-3). Suppose 0 = -k*n + 5*m + 787, 0 = 5*n - m + 5*m - 1287. Is n prime?
False
Suppose 5 = 2*j + 3*j. Is -3*j - (-162 - 4) a composite number?
False
Let u(c) be the third derivative of c**6/120 + c**5/10 + c**4/8 + c**3/2 + c**2. Let b be 3/((-3)/4) + 0. Is u(b) a composite number?
False
Let x = -10 - -10. Suppose -59 = -d - x*d. Is d composite?
False
Let b be 10/(-45) - (-2722)/18. Suppose -181 = -4*n + b. Is n a composite number?
False
Suppose 2*g - 3*h = -g - 18, 3*h - 9 = 0. Let f = 194 + g. Is f prime?
True
Is 0 + 3 - 9/(-18)*2116 a composite number?
False
Suppose -2113 = -5*h + 1742. Suppose 5*l = h + 1324. Is l a prime number?
True
Let x(r) = 2*r - 1. Let q be x(2). Let c(g) = g + 4. Let v be c(q). Let i = v - 0. Is i prime?
True
Suppose -4*y + s - 9 = 0, y = -3*y - 2*s - 6. Let v be (12/10)/(y/(-5)). Suppose -v - 18 = -3*m. Is m a composite number?
False
Let k be (-2)/(-9) + 25/9. Suppose -p - k*p - r + 74 = 0, -5*p - 2*r = -91. Is p composite?
False
Suppose 0 = 5*w - 10, 4*g + 4*w = 2*g + 74. Let a be 2 - (g/(-3))/(-1). Let d(y) = y**2 + 8*y + 4. Is d(a) a prime number?
True
Let y = 22 - 7. Suppose -7 + y = 2*m. Is (4/(-2))/m*-70 a prime number?
False
Suppose 5*l - 3*j = 19, 5*l + 4*j = -j - 5. Suppose -b + 4*b - 7 = l*z, -5*b + 10 = -5*z. Suppose 0 = -2*h + 3*m - 2*m + 11, b*h - 15 = 2*m. Is h prime?
True
Let p(x) = 9*x**2 - x + 13. Suppose -2*l = c - 2 - 2, l = -1. Is p(c) prime?
True
Let h(o) = -9*o + 2. Let m = -6 + 3. Let x be h(m). Let u = -15 + x. Is u prime?
False
Let a(w) = -3*w**3 - 11*w**2 + 6*w - 7. Let s(x) = 2*x**3 + 5*x**2 - 3*x + 4. Let n(p) = -3*a(p) - 5*s(p). Is n(6) prime?
False
Let l(q) = q**3 + 4*q**2 + 5*q + 5. Let s be l(-3). Let g(n) = -276*n**3 - n. Is g(s) a composite number?
False
Suppose 851 = -h + 6*h + 3*n, -3*n + 335 = 2*h. Suppose -h = 4*c + 20. Let q = 97 + c. Is q prime?
False
Let u(p) = p**3 + 2*p**2 - p. Let o be (2 + 0)/(1/(-1)). Let h be u(o). Is (-561)/(-15) + h/(-5) prime?
True
Suppose 2*f = 270 - 88. Is f a composite number?
True
Let z be (-1 - -2)*(1 - 1). Let p = 3 - z. Is p composite?
False
Let m be ((-4)/(-1))/2 - 0. Suppose -f = m*f + 4*q - 588, 5*q = 0. Suppose 0*x + f = 4*x. Is x composite?
True
Let q(h) = h**2 - 7*h + 9. Let t be q(6). Suppose 8*c - t*c - 125 = 0. Is c prime?
False
Suppose -4*g = -3*v - 3690, -g - 5*v - 1852 = -3*g. Suppose 4*o - o = g. Is o composite?
False
Let o = -4 - 2. Let r be ((-2)/3)/(o/36). Is (-4)/(-16) - (-211)/r prime?
True
Let u(p) = p**3 - p + 537. Suppose 3*f - 10 = -0*w - 2*w, -20 = 4*f - 4*w. Is u(f) prime?
False
Is 31089/39 - 4/26 a composite number?
False
Let y = 877 - 426. Let o = y - 296. Is o composite?
True
Let q be -2 - (90 + (1 - 1)). Let c be 1/(-3) + q/12. Let l(w) = 2*w**2 + 12*w + 5. Is l(c) a composite number?
False
Let t be ((-315)/15)/(1 - 0). Let r = 56 + t. Is r a prime number?
False
Suppose 3*g - 4*o - 278 = o, -5*g = 3*o - 452. Suppose g + 139 = 2*k. Is k a prime number?
False
Suppose 0 = 6*i - 3*i - 3. Is (-323 + i)*2/(-4) prime?
False
Suppose 5*b - 30 = -7*p + 2*p, 0 = -p + b. Suppose 0 = -p*l + 66 + 27. Is l a composite number?
False
Suppose 2*t - 2129 = -m, 0 = -t - 0*t - 3*m + 1052. Is t a composite number?
True
Let f(c) = -c**2 - 4*c - 2. Let x be f(-4). Let d be (x*2/1)/1. Is (-189)/(-4) - d/(-16) prime?
True
Let p = -172 - -297. Suppose 3*c - p = 289. Suppose 5*n = d - 0*d + 300, -2*n = -4*d - c. Is n a composite number?
False
Let o(g) be the second derivative of -7*g**3/6 + g**2 - 4*g. Is o(-3) composite?
False
Let f(x) = 34*x**3 - 3*x**2 - 2. Is f(3) a composite number?
True
Let c = -20 + 35. Is (-1212)/(-10) - 3/c prime?
False
Let s(b) = b**2 + b - 37. Let a be s(0). Let q = -7 - a. Suppose i - q = -3*k - 1, -5*k = 10. Is i a prime number?
False
Let k = 383 + -252. Is k composite?
False
Let v be 52/(-10) - 10/(-50). Is -5*(172/v - -1) a composite number?
False
Let w(t) = 1632*t**3 + t**2 - 3*t + 1. Is w(1) a composite number?
True
Suppose -506 = 5*v - 4*u, 0 = u - 4 - 0. Let l = 113 - v. Is l composite?
False
Let c(k) = -k**3 - 9*k**2 - 8*k - 12. Let x be c(-8). Let o be (70/(-21))/(2/x). Let f = -1 + o. Is f a composite number?
False
Let t = 12 + -8. Is (-485)/(-15) + t/6 a composite number?
True
Suppose -4*m = 0, -4*c + 0*m + 2*m = -388. Is c a composite number?
False
Suppose 0 = -4*i + 136 + 612. Is i prime?
False
Is 6 + 1479/2 + 1/(-2) composite?
True
Suppose -3*w - 19 = 4*i + 8, -w - 9 = 5*i. Let x = w - -34. Is x/1*(3 + -2) composite?
True
Suppose 0*k + 3*k - 1007 = -4*f, 0 = 5*f + 5*k - 1260. Is f prime?
True
S