*2 + d + 15. Is m(p) composite?
True
Let d be 3 + -2 + 58 + -1. Suppose d = 4*r - 138. Is r composite?
True
Let f be (-4)/(-20) - 18/(-10). Is ((-147)/(-6))/(1/f) composite?
True
Suppose c + 1 = 6. Suppose -c*g + 21 = -224. Is g a prime number?
False
Suppose s = -2*u + 13 - 90, -2*u - 5*s - 81 = 0. Let v be 4/(-6) - 53/(-3). Let r = v - u. Is r composite?
True
Let c be 4/14 + 48/(-21). Is c/(-4) - 630/(-12) composite?
False
Suppose 5*j - 1100 = -3*h, 2*h - 564 - 95 = -3*j. Is j composite?
False
Let s(m) = 37*m + 7. Is s(3) composite?
True
Suppose 0 = r - 3*l - 743, -3*r + 2*l + 2*l + 2229 = 0. Is r composite?
False
Let q = 4 - 1. Suppose 0 = q*s + 5 - 116. Is s a prime number?
True
Let s(l) = 25*l**2 + 3*l - 7. Is s(-4) prime?
False
Suppose f = -3*g + 2*g, -5*g + f - 12 = 0. Let s(r) be the third derivative of -13*r**4/24 - r**3/2 - 5*r**2. Is s(g) a prime number?
True
Let n = 3 - -3. Suppose -n*m = -2*m - 1772. Is m a composite number?
False
Is 2/5 - 1 - 135592/(-20) prime?
True
Suppose -3*n = -n + 2*y - 194, 5*y = -20. Let r = n + -69. Suppose -4*i - 26 = -2*p, p + r = 3*p + 2*i. Is p composite?
True
Let t be 2/5 + (-17)/5. Suppose 0 = -2*j - 2*a - 28, 0*j + 5*a + 57 = -4*j. Let s = t - j. Is s a composite number?
True
Suppose 4*z + 8 - 24 = 0. Suppose -4*y + 1174 = c, -1176 = -0*y - z*y - 2*c. Is y composite?
False
Let s = 306 + 2131. Is s a prime number?
True
Suppose 0 = 2*k - 3*k - 4*l + 161, 179 = k - 5*l. Is k a prime number?
False
Let f = 2 - -1. Suppose f*k = 3*b - k - 173, 118 = 2*b - 4*k. Is b a prime number?
False
Let z be 929/5 - 9/(-45). Suppose -143 = -p + z. Is p a prime number?
False
Is (11/1)/((-5)/(-85)) prime?
False
Let m be -18*3/12*-2. Let r(x) = -32*x - 1. Let w be r(3). Is (-4)/(-18) - w/m composite?
False
Let d(l) = 8*l**2 - 41. Is d(-18) prime?
True
Let w(a) = 9*a**3 + 7*a**2 - 17*a + 3. Let o(l) = 4*l**3 + 3*l**2 - 8*l + 1. Let v(n) = -7*o(n) + 3*w(n). Is v(-4) composite?
True
Let r = 4 - 0. Let a(p) = p**2 - 12*p - 10. Let x be a(13). Suppose -46 = x*j - r*j. Is j a prime number?
False
Suppose 2*l - l = f - 3, l - 3*f = -13. Suppose 0 = -7*w + l*w. Suppose 5*d - 94 - 391 = w. Is d a composite number?
False
Let w(y) be the second derivative of 5*y**4/3 - y**2/2 + y. Is w(1) a prime number?
True
Let g(s) = s + 3. Let k = -5 + 9. Is g(k) a prime number?
True
Let p(n) = -4*n + 5*n + 5 + n**3 - 2*n + n**2. Let v be p(0). Suppose 5*s = -v*m + 270, -4*s + 0 = -4. Is m a composite number?
False
Let y be (-2)/(-3) + (-40)/(-30). Is (y - -109)*2/6 a composite number?
False
Suppose -2*u = -5*d - 1443, 710 = u - 5*d - 14. Is u prime?
True
Suppose 0*z - z - 1 = 0. Is (-1011)/(-6)*(z + 3) a prime number?
True
Let v(r) = 2*r**2 + 9*r. Let h(i) = i**2 - 5*i + 7. Let m be h(5). Let x be (-2)/m - 75/7. Is v(x) composite?
True
Suppose 2 - 89 = -q. Suppose -t + q = 4*x - 0*t, -4*x + 84 = 4*t. Is x a composite number?
True
Suppose 2*f + 6 = 0, -f = -5*z + 78 + 40. Is z prime?
True
Let n = -37 - -72. Is n composite?
True
Suppose 0 = -5*z - 34 - 16. Suppose -10 + 205 = 5*v + 3*i, 0 = 2*v - i - 78. Let f = v - z. Is f composite?
True
Let k = 1 - -2. Suppose 0*h = k*h - 273. Is h a prime number?
False
Let s be -10 - (-1 - (0 + 0)). Let j(p) = -2*p**3 + 5*p**3 + 7*p - 2*p**3 + 8 + 35*p**2 - 25*p**2. Is j(s) composite?
True
Let v(h) = -7*h**3 - 10*h**2 + 5*h + 17. Let r(o) = -4*o**3 - 5*o**2 + 2*o + 8. Let g(d) = 5*r(d) - 2*v(d). Is g(-3) a composite number?
True
Is (-16314)/(-14) - 12/42 composite?
True
Let p = 526 + -131. Is p prime?
False
Let q(d) = -d**2 - 5*d - 1. Let c be q(-2). Let w be c*2*(-159)/(-15). Let n = -71 + w. Is n a composite number?
True
Suppose -7*c + 4*c = -240. Suppose -4*o - 3*p = -691 - 240, -5*o - 3*p = -1160. Suppose -5*j = 3*u - o - 31, -j = -5*u - c. Is j a composite number?
True
Is (-69)/(-6)*(0 - -6) prime?
False
Suppose -197 = -3*j + j + b, -j + 91 = b. Let t be 45/(-4)*12/3. Let u = j + t. Is u composite?
True
Let r = -242 + 757. Is r composite?
True
Suppose -2*m - j + 93 = 0, m - 3*m + 3*j = -113. Is m composite?
True
Suppose -3*t = -4 + 1. Is ((-6)/18)/(t/(-231)) prime?
False
Suppose -p = -1 - 0. Let m be 2*6*3/(-12). Is 105/(-10)*(m + p) composite?
True
Let t(p) = 3*p**2 - p - 1. Let c be t(-2). Let y = c - 8. Suppose -5*w + 5 = -y. Is w a prime number?
True
Let y = 7 + -2. Let x be (-6)/y*140/2. Is ((-17)/4)/(3/x) a prime number?
False
Let a(v) = -v - 3. Let h be a(-8). Suppose 10 = h*z - 10. Is -2 - 6*(-86)/z a composite number?
False
Suppose -13 = -3*m - 4. Suppose -3*t + 4*b = t, m*b = -4*t + 14. Is t/10 - (-222)/15 composite?
True
Let k be 1/(-4) + 41/4. Let o(u) = -u**3 + 11*u**2 - 10*u. Let l be o(k). Suppose l*v + 33 = v. Is v a composite number?
True
Let g(i) = 26*i**2 + i + 1. Let c be g(-1). Let v = c - -267. Is v composite?
False
Is 1/(-5) + (-1492)/(-10) prime?
True
Let g(a) = a**3 + 6*a**2 + 3*a + 2. Let c be g(-5). Suppose -v = -19 - c. Is v composite?
False
Let c(k) = k - 13. Let b be c(10). Let d(s) = -3*s**3 - s**2 + 2*s - 1. Is d(b) a composite number?
True
Suppose 4*z + l - 31 = 4*l, 2 = 3*z + 2*l. Suppose -j = -z*j + 45. Is j a prime number?
False
Let a be (10/(-30))/((-1)/15). Suppose 3*z - 995 = 2*o, z + 4*o + 1320 = a*z. Is z composite?
True
Suppose -5*k + 704 = -2001. Is k a composite number?
False
Let h = 62 + -132. Let u = 261 + h. Is u a composite number?
False
Let j(s) = -s**2 - 9*s - 4. Let b be j(-8). Suppose 4*g = r + 4*r + 801, 2*r = b*g - 798. Is g a composite number?
False
Let u be (4 - 7/2)*0. Suppose u = -4*v - 2*v + 966. Is v composite?
True
Suppose -2*v - j + 1 = -6, -3*v - 4*j = -3. Suppose v*k = -0*k + 1255. Is k prime?
True
Let b = 459 - 66. Suppose 0 = -5*s + b - 118. Is s composite?
True
Suppose -2*z = -4*z + 254. Is z a composite number?
False
Let w(g) = -g + 18. Let m be w(15). Suppose m*o = 2*o + 149. Is o prime?
True
Let p = 6 + -11. Let f(w) = 9*w**2 + 2*w - 4. Is f(p) a prime number?
True
Let a be -1 + 4 + 0 + -1. Let y be (1/(-2))/(a/20). Let j(m) = m**3 + 9*m**2 - 6*m - 3. Is j(y) prime?
True
Suppose 5*i + 3*z = 2200, 178 = -4*i - 2*z + 1940. Is i prime?
True
Is (-7 - 1139)*1/(-2) composite?
True
Let i(f) = f**3 - 2*f**2 + f - 2. Let l be i(3). Suppose -3*b - d = -6, 5*b + 2*d - l = -0*d. Suppose -b*p - p + 93 = 0. Is p a composite number?
False
Let j(v) = -v**3 + 7*v**2 + 3*v + 10. Let f(u) = 3*u - 2. Let m be f(3). Is j(m) a composite number?
False
Let l(o) = -o**2 + o + 2317. Is l(0) composite?
True
Suppose 0 = -5*a + 5*i + 175, 0 = -a + 3*a - 3*i - 72. Suppose 0 = -3*t + 30 + a. Is t prime?
False
Suppose -12 = 3*h - 3*l, -5*l + 14 = -4*h - 0. Let i = -12 - h. Is -268*(-1 - i/8) a composite number?
False
Let p be 3 + -383 + 0 + 3. Let z = p + 714. Is z prime?
True
Let g(a) = a**3 + 9*a**2 + a + 6. Let q be g(-9). Is ((-22)/6)/(q/171) a prime number?
False
Suppose -j = -x, -x + 12 = j - 6*x. Let i = j + 7. Suppose -222 = -h - i*v + 5*v, 4*h = -v + 893. Is h a prime number?
True
Let c = 0 + -5. Suppose y + 1 = 5*q + 5, -2*y = -2*q. Is (c/2)/(q/4) a prime number?
False
Let k = 69 - -28. Is k prime?
True
Let d(m) = -m**2 - 6*m + 5. Let t be d(-7). Let r be (-228)/(-14) + t/7. Suppose 4*s - 12 = 0, -2*s = -k + 3*s + r. Is k composite?
False
Suppose t - 3*w + 7 = 0, 2*t + t - w + 5 = 0. Let i(a) = -5*a + 1. Let o be i(1). Is t/2 + (-342)/o a prime number?
False
Suppose 4*n + 0*n + 28 = 0. Let s = n + 21. Is s composite?
True
Let c(b) = 10*b + 2 + 0 + 0 - 259*b. Is c(-1) a composite number?
False
Let w be (6/1)/(3/56). Let g = -11 - -16. Suppose 0 = -2*l - g*d + w, 0*l + 2*d - 106 = -2*l. Is l prime?
False
Let d(h) = h**2 - 3*h + 2. Let f be d(3). Suppose 0*r + 222 = f*r. Is r composite?
True
Suppose h - 2*h + 4*j - 8 = 0, -8 = 4*h - 4*j. Let x = 19 - h. Is x a prime number?
True
Suppose 0 = -3*k + 2*x + 3*x + 31, 0 = x + 5. Suppose -l + 92 = -2*a - 3*a, l - k*a = 83. Suppose -3*f + 411 = 4*o, 2*f + l = 4*o + 331. Is f prime?
False
Suppose -84 = 4*o - 0*o - 2*u, -2*o - 30 = -4*u. Let l = o + 78. Is l prime?
False
Let m(i) = i - 12. Let p be m(9). Is 19 - (p - (-3 + 0)) a composite number?
False
Is 0/6 + (323 - 2) prime?
False
Let k = 583 + -296. Is k a composite number?
True
Let g be -14*-1*(-1)/(-2). Let q(z) = -4 + 4 + 2 + z**2 - 2*z**2 + 10*z. Is q(g) 