0. Is l a composite number?
True
Let z(b) = 49*b + 15. Let p be z(13). Suppose -q - p = -5*q. Is q a prime number?
True
Let q(l) = -l**3 + 7*l**2 - 6*l + 7. Let z be q(6). Let a = 41 - z. Is a composite?
True
Is (-4)/(20/15) + 3416 - 0 prime?
True
Let w(y) = -y - 1. Let o be w(-10). Suppose 3*i - 15 = o. Is (-16182)/(-48) + (-1)/i a composite number?
False
Let b(r) be the second derivative of 13*r**3/6 + 5*r**2/2 + 5*r. Let x be b(3). Let y = 11 + x. Is y composite?
True
Suppose 7*j = 12*j, -3*k - 2*j + 32541 = 0. Is k composite?
False
Suppose -4*s - 2*z - z + 1426 = 0, 3*s - 3*z = 1059. Let a = 46 + -46. Suppose 0*r + 5*r - s = a. Is r a composite number?
False
Let r = 8 + -5. Let g(a) be the first derivative of 83*a**2 + 7*a + 219. Is g(r) prime?
False
Let y = 1584 + -835. Is y a prime number?
False
Let b(x) = 28*x**3 - 5*x**2 + x - 13. Is b(4) prime?
False
Suppose 0 = -2*p - 5*q + 7*q + 24296, 0 = 3*p + 3*q - 36462. Is p composite?
True
Let k = 4729 + 1120. Is k a composite number?
False
Suppose 0 = 2*x + 8, -2*y + 3*x + 7 = -3*y. Let d(f) = 4*f**2 - 6*f + 9. Is d(y) prime?
True
Let q(l) = 102*l**2 + 14*l + 19. Let x be q(-9). Suppose o - 8*o = -x. Is o a prime number?
False
Let r(p) = -2*p**2 + 10*p**2 - 8 - 3*p - p**2. Let g be r(-7). Suppose 3*z - 911 + g = 0. Is z composite?
True
Let t(y) = 27*y**2 - 6. Let p(w) = w + 1. Let c(z) = 5*p(z) + t(z). Is c(-4) prime?
False
Let v(f) = 16*f + 9. Let r be v(4). Suppose 0 = -2*g - 3*d + 163, 0 = -g - 5*d + 19 + r. Is g composite?
True
Let k(j) be the second derivative of j**4/12 + 7*j**3/3 - 4*j**2 + 13*j. Is k(-15) a composite number?
False
Suppose -31*p = -12*p - 50027. Is p composite?
False
Let k = 6303 - -13316. Is k composite?
True
Suppose -4*t - 24960 = -4*v, 6239 = v + 61*t - 63*t. Is v a composite number?
True
Let o(z) = z + 2. Let g be o(1). Suppose -3*w - 4*f = -2095, -g*w - 2*f = -6*w + 2107. Is w a composite number?
False
Let u be 2/(-8) - ((-49686)/(-8))/(-7). Let h = 1842 - u. Is h a composite number?
True
Suppose 0 = 20*x - 23*x + 5*d + 2503, 2*x = 4*d + 1666. Is x a prime number?
False
Let v = -12090 - -22571. Is v prime?
False
Suppose 6*s - 13 = -1. Suppose s*u = 4*y - 1548, 5*y - u = -0*u + 1941. Is y a composite number?
False
Let r = 3136 + -359. Is r a composite number?
False
Let k be (1/2)/(2/(-436))*1. Let t = k - -1106. Is t a composite number?
False
Let k = 6 - 6. Let t(d) = -7 + d**2 + 2*d + k - 3 + 0. Is t(9) a prime number?
True
Let y be ((-15)/(-9) + -1)*3. Let j(o) = -1 - y + o**2 - 1 - 2*o + 0*o. Is j(-13) composite?
False
Let y(s) = 14*s - 1. Let f be y(5). Let a = -10 - -17. Suppose a*w = 10*w - f. Is w composite?
False
Let k(g) be the first derivative of -97*g**2 - 3*g - 18. Is k(-5) prime?
True
Is (-24 - -14)*719/(-2) a prime number?
False
Let u(v) = -5*v + 4. Let g be u(-3). Let o = g - 19. Suppose o = 8*r - 9*r + 89. Is r a composite number?
False
Suppose 4*f = -0*f - 4*o + 66120, 33055 = 2*f - 3*o. Is f a prime number?
True
Let q(c) be the second derivative of c**5/20 + c**3/6 + c**2/2 - 12*c. Is q(2) a prime number?
True
Suppose -15676 = -6*v + 206. Is v composite?
False
Suppose 5*i + 4*q + 12 = 37, 2*q = 4*i - 46. Let j(u) = u**3 - 10*u**2 + 11*u + 8. Is j(i) a composite number?
True
Suppose 4*g - g = 0. Suppose -9*a + 4*a - 370 = g. Is (-2 + 4)*a/(-4) a prime number?
True
Let f(d) = -10 + 24 - 9*d**2 - 16*d + 15 + d**3. Is f(13) a composite number?
True
Let d(y) = 25*y**2 - 2*y - 115. Is d(18) prime?
True
Let i = 18056 + -12177. Suppose 10*p + i = 56269. Is p prime?
True
Suppose -2*a + 6*a = -3*b + 16, -4 = -a - 4*b. Suppose 0 = a*q + 3*s - 2336, 0 = 2*q - s - 0*s - 1178. Is q prime?
True
Suppose -7*z + 9804 + 12337 = 0. Is z composite?
False
Let y(b) = b**3 - 3*b**2 + 71. Is y(14) prime?
False
Let q = -1 + -67. Let b = q + 124. Suppose 4*z + b = 196. Is z prime?
False
Let r(z) = 1337*z - 125. Is r(6) composite?
True
Suppose -5*j = x - 10*j - 6007, -5*j = 0. Is x a prime number?
True
Let u(o) = 25*o + 20*o - 70*o - 81*o - 1. Is u(-6) a prime number?
False
Let p be (-55)/(-30) + 1/6. Is (-30)/15 - (-70)/p a composite number?
True
Suppose 0 = x + 5*x + 150. Let k = x + 38. Is k prime?
True
Suppose -2*g + 221503 = 7*v - 6*v, 2*g + 2*v = 221508. Is g a composite number?
False
Suppose 3*n - 15 = 6. Let z be n/(-21)*333/(-1). Suppose z = 4*w + 35. Is w a prime number?
True
Suppose 0 = -4*h + 12, 67 = 3*b + 2*h - 17. Let g = -24 + b. Suppose -g*k + 84 = 10. Is k a prime number?
True
Let b(g) = -135*g**2 - 4*g - 9. Let q(l) = -271*l**2 - 8*l - 17. Let r(h) = 7*b(h) - 4*q(h). Is r(-2) prime?
False
Let r(i) = -3*i - 1. Let c be r(-3). Suppose l + c = -0*l - 3*g, -5*g - 53 = -4*l. Is l composite?
False
Let u(k) = 109*k**2 - 1. Let d be u(-1). Suppose 0 = -3*v + d + 69. Is v a composite number?
False
Let o(j) = 3*j**3 + 18*j**2 - 65*j + 21. Let p(t) = -t**3 - 6*t**2 + 22*t - 7. Let n(d) = -6*o(d) - 17*p(d). Is n(-11) prime?
False
Let w(s) = -s**2 + 2*s + 10. Let q be w(4). Suppose 3*n = -v - n + 301, -2*n = -q*v + 642. Is v a prime number?
True
Let j(k) = 42*k + 1. Let q(z) = -83*z - 3. Let a(g) = 7*j(g) + 4*q(g). Is a(-3) a composite number?
False
Suppose -52 - 44 = 8*w. Is (-13166)/w + (-3)/18 composite?
False
Let f(j) = -j**2 - 2*j - 16 - 2*j**3 + j**3 + 2 + 13*j**2. Is f(11) a prime number?
False
Suppose z + 3*f = 21027 + 17500, -z - 4*f + 38529 = 0. Is z a prime number?
False
Let g = 19129 - 6848. Is g composite?
False
Let s(z) = -547*z + 1. Let r(h) = -1095*h + 2. Let f(l) = -4*r(l) + 9*s(l). Is f(-2) composite?
False
Suppose -819 = 4*q + 3*o, 3 = -4*o + 15. Let h = q - -416. Is h composite?
True
Suppose 1422 = h - 5. Let o = h - 928. Is o prime?
True
Suppose 0 = -2*i + 5*i - 6. Suppose 32*d - 88 = 34*d. Is ((-10)/4)/(i/d) a prime number?
False
Suppose 8*j - 3*j - 25 = 0. Suppose -5*z = -0*z - j. Is 161/(-2)*(-3 + z) a prime number?
False
Let o(l) = 63*l - 52 + 28 + 19 + 48*l. Let q be 30/(-15)*(0 + -2). Is o(q) composite?
False
Let k(y) = 7*y - 3*y + 2 + y**2 + 0*y**2 + 1. Let h be k(-4). Suppose -h*c + 4*c = 163. Is c composite?
False
Let x(a) = 12*a**2 - 16*a + 14*a**3 + 7*a**3 + 18 - 20*a**3. Suppose -2*c + 0*c = 2*n + 32, -4*n - 43 = -3*c. Is x(n) a prime number?
False
Let r be 6/33 - (1809/(-33) - 0). Let m = r + 2278. Is m composite?
False
Let z be -2 + (-231)/(-14) - 1/2. Suppose 19*j - z*j = 8665. Is j a prime number?
True
Suppose -4*w - 40 = 3*s, -2*w = -s + 11 + 9. Let m be w/(-10) + (-8)/2. Is 501 - 8/(-12)*m composite?
False
Let l = -45 - -48. Suppose z = -b + 678, l*z + 1647 = 3*b - 357. Is b a prime number?
True
Suppose 9*k = 2*v + 10*k - 24121, 25 = 5*k. Is v a composite number?
True
Let a = 24 + -13. Let u(r) be the third derivative of 11*r**4/24 - 4*r**3/3 - 7*r**2. Is u(a) prime?
True
Suppose 12*k - 8*k = 24692. Is k a composite number?
False
Let y be (-6758)/(-4) + 4/16*-6. Let l = y - -3313. Is l prime?
False
Let q be (38/(-12) + (-12)/(-72))*1. Let i(h) = -206*h**2 - 2*h + 1. Let y be i(1). Is (40/24)/(q/y) a prime number?
False
Let g(k) = 7 - 2*k**2 + 4*k**2 - 15*k - 16*k + 33*k + 2*k**2. Suppose -2*w - 4 = -4*z + 8, -3*z + 6 = -3*w. Is g(z) composite?
False
Let m = -1830 + 1271. Let x = 1044 + m. Is x composite?
True
Let z(v) = -10*v**3 - 13*v**2 - 22*v + 6. Is z(-7) prime?
True
Suppose -6373 = 8*n - 9*n. Is n prime?
True
Let f(v) = -2347*v - 18. Is f(-5) a prime number?
True
Let o(a) = a - 1. Let r be o(-2). Let s be 62 - (-2 - r) - 3. Let g = s + 33. Is g a composite number?
True
Let j = 22 + -2. Suppose 3*r + 4*o - 18 = 0, 3*o = 4*r + 7*o - j. Suppose -r*u + 135 = 4*y - 17, 0 = -5*y - u + 187. Is y prime?
True
Suppose 8*j + 15 = 5*j. Is j/(5/(-163)) + 0 a composite number?
False
Is 1/((-10)/15*12/(-73912)) composite?
False
Let c be 865*4*3/20. Suppose 4*o + 159 = c. Suppose -4*a + o = -706. Is a a prime number?
True
Let m(l) = l**3 + 7*l**2 + 5*l - 8. Let w be m(-6). Let y(i) = -i**2 + 7*i - 3. Let q be y(6). Is (249 - w) + (3 - q) composite?
False
Is (((-30)/(-5))/6)/(3/29517) prime?
True
Suppose -124*h + 103*h + 168273 = 0. Is h a composite number?
True
Let v be ((-6)/10)/((-1)/5). Suppose 0 = -v*x + 5*x - 1598. Is x composite?
True
Let c = 8 - 2. Suppose f + 2 = c. Suppose 4*g - f*t - 226 = 2*g, 4*g + 2*t - 492 = 0. Is g compos