+ 2*d - s = -2*l, -2*d + 5*l = -269. Is d prime?
True
Suppose 0 = -4*v - b + 27, 2*v - 23 = v + 3*b. Suppose 2*r - v*h - 890 = -4*h, r - 3*h = 448. Is r a prime number?
True
Let f = -46 + 939. Is f a prime number?
False
Suppose -m + 3 = 9. Is 3854/m*(-15)/5 a composite number?
True
Suppose -5*f = 7*d - 2*d - 32740, -4*f + 4 = 0. Is d a composite number?
False
Let j(b) = 2*b**2 + 3. Let w be j(14). Suppose 5*k - w = 400. Is k prime?
False
Let a be 1/((-1)/2) + 6. Suppose -12 + 92 = -a*m. Is (106/8)/((-1)/m) a prime number?
False
Let o(l) = 54*l**3 - 2*l**2 - 3*l + 1. Let k be o(3). Let r = k + -879. Is r composite?
True
Let q = -319 - -698. Is q a composite number?
False
Let f(q) = 574*q + 243. Is f(22) composite?
True
Let z(a) = 492*a - 59. Is z(4) a prime number?
False
Suppose 6*m - 797 - 325 = 0. Is m prime?
False
Let k(q) = 24*q**3 - 13*q**2 + 126. Is k(23) composite?
True
Let q(k) = -19*k - 10. Let y(z) = -z**3 + 4. Let t be y(0). Let v be -5 + (4 + -4)/t. Is q(v) a prime number?
False
Suppose 3*x - 8*x = -70. Let t = x - 21. Is (-40)/(-2) - (-7)/t a composite number?
False
Let v be (176/(-24))/(2/3). Let d(w) = -144*w + 5. Is d(v) composite?
True
Suppose 48*x - 1037572 = 2121260. Is x a composite number?
False
Let i be (-3)/(-6)*0/1. Suppose -r + i - 2 = 0. Is -4 - 1/(r/178) composite?
True
Suppose -n + 3*n - 10 = 0. Suppose -2*t = k - 169, 0*t - 809 = -n*k + 2*t. Let w = 412 - k. Is w composite?
True
Suppose -73*p + 75*p - 58274 = 0. Is p composite?
False
Suppose 5*f - 75 - 45 = 0. Suppose 3*v - 6*v = -f. Is v/(-36) + (-425)/(-9) composite?
False
Suppose -3*o + 0 = -12. Suppose l - 587 = -2*l - m, -766 = -o*l + 2*m. Is l prime?
False
Let d(c) be the third derivative of -c**7/105 - c**6/180 - c**5/60 - c**4/24 - c**3/2 + 6*c**2. Let r(y) be the first derivative of d(y). Is r(-2) composite?
False
Let g = 101 + -98. Suppose -2893 = -g*j + 6278. Is j prime?
False
Let w = 8 - 9. Let u(q) = -6*q - 2. Let v be u(w). Suppose 0 = -2*o + v*o - 548. Is o a composite number?
True
Suppose -2*n + 3 - 5 = 2*j, 0 = 3*j - 5*n - 37. Suppose 0 = u + 3*x + 4, j*u + x = -3*x. Suppose -658 = -2*y - 4*d + u*d, 5*y + 3*d - 1649 = 0. Is y composite?
False
Suppose -7*f + l = -12*f + 2705, -2*f - 3*l + 1082 = 0. Is f a prime number?
True
Suppose 0 = 3*v - 4 - 5. Let y(s) = 14*s**2 - 5*s + 7. Is y(v) a composite number?
True
Suppose -3*o - 4289 = -24092. Suppose -f = 3*t - o, -t + 0*t + f + 2199 = 0. Let u = t + -1553. Is u a prime number?
True
Let b(m) = -100*m - 1. Let p(s) = 101*s + 1. Let a(v) = -6*b(v) - 5*p(v). Is a(2) a composite number?
False
Suppose 0 = 3*z + g - 8158, -z - 2*g = 2*g - 2723. Is z a prime number?
True
Let r = -2898 - -6107. Suppose 2*n - 5228 = -5*u + 111, 0 = -3*u - 4*n + r. Is u a prime number?
False
Is 36070/(-4)*48/(-60) a prime number?
False
Let w be (-10)/(-20)*(-1304)/(-2). Suppose -112 - 129 = -3*a - 5*v, -2*v + w = 4*a. Is 3 + -6 - a/(-1) a composite number?
False
Suppose 2*x - 4*n = -3*x - 440, 0 = -x + 2*n - 88. Let f = x + 126. Is f composite?
True
Let r = 4061 + -2284. Is r a prime number?
True
Let z = 179645 + -58416. Is z a prime number?
True
Suppose 4*x + 5*o = 2859, o = -0*x - 4*x + 2863. Let s = x + -425. Is s a prime number?
False
Let l(a) = a**3 - 4*a**2 - 8*a - 3. Let x be l(-6). Let o = x - -532. Is o a composite number?
True
Let y = 30666 - -17095. Is y a composite number?
True
Suppose -s + 1503 = q, -582 = -2*q - s + 2420. Suppose 0 = 17*g - q - 4995. Is g composite?
True
Let a(o) = 8*o**2 - 5*o - 6. Let r be (3/6)/(9/198). Is a(r) a composite number?
False
Suppose 2*v - 3*v = 3*k - 13, 0 = 2*k - 5*v - 3. Let z = -1 + k. Suppose z*u - 625 = 4*o, 3*u - 2*o - 189 = 446. Is u prime?
False
Suppose -9889 = -g + 4*w + 482, 4*g - 3*w = 41549. Is g prime?
True
Let l = -20 + 24. Suppose 3*z - 2*w - 3*w - 1774 = 0, z = l*w + 589. Is z a prime number?
True
Let z = -85 - -309. Let x = 30 + z. Is x a composite number?
True
Suppose 2*y + 716 = -5*p, 2*p - 149 + 445 = 4*y. Let c = p + 209. Is c a composite number?
True
Let m(o) = -o**3 + 2*o**2 + 8*o + 5. Let z be m(4). Suppose 2*p - 3 = -p, 1230 = f + 2*p. Suppose -i + z*i - f = 0. Is i composite?
False
Let q(u) = -2*u - 9. Let d be q(-8). Suppose -d = -4*w - 11. Is (2136/15 + w)*5 a composite number?
True
Suppose 16*x - 1589808 = -32*x. Is x a prime number?
False
Let k = 243 + 1365. Suppose 0*h - k = -3*h. Let v = 873 - h. Is v composite?
False
Let n = -9057 + 14696. Is n composite?
False
Suppose 4*i + 3449 = 9129. Suppose -r + 2175 = -i. Is r prime?
False
Let j be 3598/4 - (-9)/(-18). Suppose -m + 18 = -3*g, 0 = -m - g - 3*g - 17. Suppose 0 = -m*x - 140 + j. Is x prime?
False
Suppose 15 = 4*f + 2*x - 3*x, -2*x + 35 = 5*f. Suppose -149 = -f*p + 26. Is p composite?
True
Let i = 2210 - 553. Suppose 0 = 3*r - 3, -2*r - 3*r = 4*u - i. Is u a prime number?
False
Suppose -26*v + 29*v = -9. Is 2961 - 8/12*v a prime number?
True
Let i(p) = -2*p + 2968. Let f(g) = -g + 1483. Let m(y) = 13*f(y) - 6*i(y). Let b be (0/1)/(-1*1). Is m(b) a prime number?
True
Let s = -961 + 3147. Is s a prime number?
False
Suppose 4736 = o - 3*o. Is o/(-2) - (2 - -1) prime?
True
Is 3/((-18)/(-10590)) - 2 a composite number?
True
Suppose -n + 2 = 0, 3*n - 4496 = w + w. Is ((-8)/((-56)/(-7)))/(1/w) a prime number?
False
Suppose -4*o - 1494 = -5*o + 4*c, o - 2*c = 1492. Suppose -14*n = o - 10352. Is n a composite number?
True
Let u(v) = 2771*v + 1138. Is u(23) a prime number?
True
Is ((-42)/(-8))/21*108716 a prime number?
True
Let z = -214 + 216. Let g = 187 - 27. Suppose -78 = -z*r + g. Is r composite?
True
Let h(f) = f**2 - 6*f - 2. Let z be h(7). Suppose -1445 = -0*y - z*y. Is y composite?
True
Let q be (-4)/(-26) - 72/(-39). Suppose 5*u - 19 = -q*j, -4*u + 22 = 4*j + 2. Suppose -j*y + 210 = -32. Is y a composite number?
True
Suppose -44*t - 21480 = -55316. Is t a composite number?
False
Let a(n) = 1329*n + 196. Is a(5) a prime number?
True
Let n(a) = -55*a - 135. Is n(-14) composite?
True
Let j(t) = 97*t**2 + t + 133. Is j(20) a prime number?
True
Suppose 5*m + 8167 = 2*l, 5*m + 546 = -3*l - 7616. Let f = -56 - m. Is f composite?
True
Let w(a) = -5*a - 84. Is w(-23) a composite number?
False
Let v = -632 - -636. Let j be ((-3)/(6/44))/(-1). Suppose v*d - 62 = -5*n, 3*n - 5*d - 30 = j. Is n a composite number?
True
Let y be 24/5*(-90)/9. Let h = y - -68. Suppose -h*i = -22*i + 322. Is i a composite number?
True
Is 2 + 90/(-6)*974/(-6) a prime number?
True
Let j(i) be the first derivative of 11*i**4/2 + 4*i**3/3 - 11*i**2/2 - 6*i + 46. Is j(5) a prime number?
True
Let w(k) = -3*k**3 - 13*k**2 - 5*k - 9. Let d(i) = -2*i**3 - 13*i**2 - 4*i - 8. Let p(h) = -4*d(h) + 3*w(h). Let b be p(14). Is b/2*28/(-21) prime?
False
Is (6/(-9))/(48/(-509148))*2 composite?
False
Suppose -39*d + 38210 = -29*d. Is d a composite number?
False
Let m(w) = -3*w**2 - 11*w + 13. Let z(k) = -4*k**2 - 11*k + 14. Let q(y) = -5*m(y) + 4*z(y). Let a be q(9). Suppose 11*f = a*f + 574. Is f a prime number?
False
Let g(w) = 564*w - 4. Let y be g(-4). Is (y/(-5) - -3) + -4 composite?
True
Suppose -5*t - p = -13010, t - 3*t - 4*p = -5222. Let h = t - 1432. Is h a composite number?
True
Is ((-9466)/3)/(12 - 76/6) composite?
False
Is (-31600)/(-64) - 6/8 a prime number?
False
Let x = -71 + 3. Let h be (-2)/(-17) + (-128)/x. Suppose -y - h*c = c - 71, 0 = 5*y - 4*c - 393. Is y composite?
True
Let w = -1 + 5. Suppose -4*q + w + 40 = 0. Suppose -5*n = -19 - q. Is n prime?
False
Let k(i) = 13925*i**2 + 3*i + 1. Is k(1) a composite number?
True
Let d be 4607/7 - 17/119. Is d/12 + (-2)/(-12) prime?
False
Let c be ((-109)/(-2))/(-2 - 26/(-12)). Suppose 0*w + c = 3*w. Is w a composite number?
False
Suppose -17*t - 12 = -13*t. Is 3*((-7240)/(-12) + t) a composite number?
False
Is (0 - 2/2)/(21/(-68817)) a prime number?
False
Let t be 5 + (-2 - 18/(-3)). Suppose t*u = 4*u. Suppose -2*w - 2*w + 1032 = -4*c, u = -4*w - 3*c + 1067. Is w prime?
True
Suppose -4*u + 5*u = 5. Suppose 2*c - 5 = 1. Suppose c*j - 491 - 528 = -4*d, 15 = -u*j. Is d composite?
False
Let b be 9/1*4/(-6). Let v be ((-4)/b)/(14/(-21)). Is 3 - -2*(-337)/v prime?
True
Suppose x - 3*k - 19 = 0, 2*k - 3*k - 9 = -x. Suppose x*g + g = 0. Suppose -2*t - f + 241 = g, -335 - 24 = -3*t - 4*f. Is 