4 - 145. Let w be -650*6*(-2)/8. Suppose z = b - 5*d, -2*b = -7*b + d + w. Is b a composite number?
True
Let z(c) = 2*c**3 - 5*c**2 - 5*c - 11. Let l = 141 - 135. Is z(l) prime?
True
Let n = -1707 - -4078. Is n a prime number?
True
Let l be 62*(-4 - -1) + 3. Let m = 270 + l. Is m a composite number?
True
Let q = 66 - 16. Is (-10)/q + (-2512)/(-10) prime?
True
Suppose u + 4*o = -447, 3*u + 8*o + 1309 = 4*o. Is (19 - 22)*(0 + u) a prime number?
False
Suppose -4*b = -14 + 2. Suppose 2*a = 3*f + 17, -2*f - 9 = -b. Suppose -a*i - 5*s + 508 = 0, 3*i = -2*s + 5*s + 381. Is i prime?
True
Is 3814 - (-2 + (6 - 7)) a composite number?
True
Let z(y) = y**2 - 4*y + 7. Let u be z(3). Is u/2*2585/10 a composite number?
True
Suppose 34 + 26 = 2*n. Let r be n/20*(-664)/(-1). Suppose -541 = 2*a + 5*f - 1572, -2*f - r = -2*a. Is a a prime number?
True
Let p be 3/(-8) + 44/32. Suppose -2*l = -5 + p. Is l composite?
False
Let t(y) = 94*y**2 - 3*y - 20. Is t(-9) composite?
False
Let o(x) be the third derivative of x**5/20 + 7*x**4/8 - 37*x**3/6 - x**2. Is o(15) a composite number?
False
Suppose 0 = 5*x + n - 45830, -4*x = -2*n - 40950 + 4272. Is x composite?
True
Let d = 5 + -1. Is 1796 + -2 + -3 + d composite?
True
Suppose -5*d + d = 0. Suppose 1636 = -d*o + 4*o. Is o a prime number?
True
Suppose -5*t + 169467 = -4*m + 37788, 5*m = -3*t + 79037. Is t a prime number?
True
Suppose 0 = x - 2*r + 2 + 2, 3*r - 1 = 4*x. Suppose o + x*o = 0. Suppose o = -3*q + 2*q + 259. Is q composite?
True
Let a(x) = x**2 - x + 163. Let h = 10 - 10. Let l = h + 0. Is a(l) composite?
False
Let d be -6*(-2 + 4/3). Suppose -2*t + d = -0*t. Is 2 - (3 + t*-13) prime?
False
Let p(t) = -1502*t - 125. Is p(-17) a composite number?
False
Suppose 11*c + 5214 = 17*c. Is c composite?
True
Let t = 16668 - -10543. Is t a prime number?
True
Let l be 4*(-4)/(16/(-3)). Suppose l*a = -j, a = -5*j + 2*a. Suppose j = -2*h - 0*h + 326. Is h composite?
False
Is ((-40)/(-12))/((-70)/(-387555)) a composite number?
True
Let d(m) = -2615*m - 61. Is d(-4) a prime number?
True
Let i(f) = -f**3 + 8*f**2 - 8*f + 17. Let d be i(7). Is (-5)/(25/d) - (-669)/1 prime?
False
Let s be 291/9 - 3/9. Is 88/s*(-16)/(-2) a prime number?
False
Suppose 0 = -4*d + 20, 5*d - 27051 = -2*j + 4*d. Is j composite?
False
Let l = 12749 + -8928. Is l composite?
False
Suppose -10*p + 45130 + 390220 = 0. Is p composite?
True
Suppose 52819 = 7*b - 61288. Is b a prime number?
True
Suppose 8*o = 4*o + 20. Suppose -q + 8 = -4*k, -5*q + o*k + 10 = -3*q. Suppose -3*d - d - 328 = -4*g, q = 5*g + 3*d - 370. Is g composite?
True
Let r(q) = q**2 + 3*q - 7. Let i be r(-5). Suppose 8*h - 40 = i*h. Let n(b) = 17*b - 5. Is n(h) prime?
True
Let k = -1556 - -2197. Is k prime?
True
Let w(l) = -4*l + 12. Let p be w(-4). Suppose -144 = -4*v + 4*z, 2*v - z - 41 - p = 0. Is v a prime number?
False
Let k(p) = p**3 + 5*p**2 + 2*p - 3. Let b(w) be the first derivative of -w**4/4 - 3*w**3 - 9*w**2/2 - 3*w + 9. Let a be b(-8). Is k(a) prime?
True
Let w be 6 + -8 + 1*209. Let x = -85 + w. Is x - (3 + (-1 - -1)) a prime number?
False
Is 6214/(18/(-9) - -4) a prime number?
False
Let d = -2051 + 4210. Is d prime?
False
Let d(n) = n**3 + 6*n**2 - 15*n + 10. Let u be d(-8). Let a(s) be the first derivative of 3*s**4 - 2*s**3/3 + s**2/2 - s + 2. Is a(u) prime?
True
Let i(o) be the third derivative of o**5/30 + 11*o**4/24 + 3*o**3 + 2*o**2. Is i(-11) a composite number?
False
Suppose 12*h - 286584 = 171204. Is h a composite number?
False
Suppose -5*m + 1761 = 271. Is m a prime number?
False
Let u = -5 + 8. Is -25*(-78)/u - (-2 - -3) prime?
False
Suppose 43 - 7 = 4*s. Let j be 938/s - (-2)/(-9). Let h = -67 + j. Is h a composite number?
False
Is 11 - 186/18 - (-3205)/3 prime?
True
Let u(r) = r**2 + 2*r - 13. Let g(a) = 14*a**3 - 2*a**2 - 2*a - 1. Let l be g(-1). Let x = l - -21. Is u(x) a composite number?
True
Let o(d) = -1259*d**2 - 5*d - 5. Let g(q) = 1259*q**2 + 5*q + 5. Let a(i) = -2*g(i) - 3*o(i). Is a(-1) prime?
True
Let j(h) = 1247*h**2 - 10*h - 35. Is j(-4) composite?
True
Let z = -20 + 24. Suppose 3*b - 6 = 0, 0 = c - z*b + 2*b + 1020. Is (-3)/(-12)*c/(-2) prime?
True
Let m(k) = k**3 + 9*k**2 + 3*k + 6. Let a be -17*1/(-2)*2. Suppose -a = 3*c + 7. Is m(c) composite?
True
Suppose -2*s = -0 - 8, 2*n + 5*s + 60 = 0. Let m = n - -59. Is m a prime number?
True
Suppose -4*m = -m - b - 277868, 0 = 5*m + 5*b - 463080. Is m a prime number?
False
Is 15261/((-5)/((-35)/21)) a composite number?
False
Suppose -2*b = -3*c - 4739 + 488, 0 = -3*b + 4*c + 6379. Suppose 1068 = v + 2*d, 6*d = -2*v + d + b. Let h = v + -491. Is h composite?
True
Suppose -6*f = -12 - 18. Suppose 4*q = 5*l - 103 - 29, -2*l - q + 58 = 0. Suppose -f*y + 527 = -l. Is y composite?
True
Let s(v) = 1987*v - 687. Is s(50) composite?
False
Let j = -287 - -474. Suppose -1697 + j = -5*v. Is v prime?
False
Is (2012496/(-32))/((-9)/6) a prime number?
True
Let j(a) = 20*a**2 + 18*a + 29. Is j(-6) composite?
False
Let h(j) = 3*j**2 + 6*j - 1. Let n be h(4). Suppose -4*t - 3*y = 168, -2*t - n = -2*y + 27. Is (-15)/t - 1480/(-6) prime?
False
Suppose 0 = 5*s - 3*s - 4*b - 42, -2*s - 2*b = -60. Suppose h - 176 + s = 0. Is h a composite number?
False
Let d = 3098 - 595. Is d a composite number?
False
Let t = -2 - -7. Suppose h - 2*h = 1, h = -t*p + 5594. Suppose 0*k = 2*k + 4*v - 746, -v - p = -3*k. Is k a prime number?
True
Let b(k) = 11*k**2 - 10*k + 35. Let v be b(5). Let l = 1669 - v. Is l prime?
True
Let r(n) = 544*n + 14. Let c be r(6). Let z = -1743 + c. Is z composite?
True
Suppose -3*c = 2*b - 51383 + 12712, 0 = -4*c + 3*b + 51550. Is c composite?
False
Suppose -n - 20 = -5*p, -n + 4*n - 15 = 0. Let v(h) = -25*h**3 + 5*h**2 - 2*h - 2. Let o be v(p). Is 1/(-5) + o/(-10) a composite number?
True
Let a = 0 + 4. Suppose 0 = -8*z + 3*z - w + 424, -4*z = a*w - 336. Is z composite?
True
Suppose 10*c + 1134 = 19544. Suppose 8*t - c = t. Is t composite?
False
Suppose 3*n + 2*n = -3*p - 6, -4*n = 2*p + 4. Suppose -2 = 2*i - n. Is (-5 - -130) + i + 3 a composite number?
False
Suppose -2*s = -7*s - 1050. Let r = 373 + s. Is r a composite number?
False
Suppose -3*n + 0*n + 12219 = 0. Is n composite?
False
Let r(v) = -v**3 + 5*v**2 + 3. Let q be r(5). Suppose q*p + 0*p = 1338. Is p a composite number?
True
Let q be 4 + 0 + (-21)/3. Is (-1)/(((-6)/(-898))/q) a composite number?
False
Let h(n) = 660*n - 16. Let v be h(16). Is (-2 - 14/(-8))/((-4)/v) composite?
False
Let o be (3 - 6)*3298/(-3). Suppose 2*c = 5*g + o, -5*c - g - 4*g + 8175 = 0. Is c a composite number?
True
Suppose -q + p - 410 = 4*q, -5*q - 420 = -3*p. Suppose -3*l = 2*c - 4, -4*l - c - 3*c = -4. Let j = l - q. Is j a composite number?
False
Let z = 9574 - 1515. Is z composite?
False
Let b(h) = 775*h + 60. Is b(17) composite?
True
Let o(u) = u**2 - 1. Suppose 0 = f - 4*p - 19, -22 = 3*f + 3*p - 4. Let j be o(f). Is 1/((j + 1)/13) composite?
False
Let q(t) = -t**2 + 4*t - 8. Let v be q(0). Is (2 + 2)*1*(-1282)/v prime?
True
Let i = 44 + -104. Suppose -281 = -3*r - 2*x, 0 = -4*r + x + 74 + 308. Let v = r + i. Is v a composite number?
True
Is (-8930550)/(-200) + 1/4 prime?
False
Let p(r) = 2*r + 10. Let c be p(-8). Let j be c/(-9) - (-4)/3. Is 5 - j - 6 - -6 a composite number?
False
Suppose -3*o = -r - 863 - 117, -3*r - 2*o = 2995. Is 3 - (-2)/((-10)/r) a prime number?
False
Let w = -2 + -3. Let q(i) be the second derivative of -i**5/10 + i**4/4 + i**3/2 - i**2/2 + 15*i - 6. Is q(w) a composite number?
True
Suppose 56999 = 4*r - 4*q + 9207, 0 = -r - 2*q + 11939. Is r a composite number?
True
Let x = -1031 - -2824. Is x a composite number?
True
Let g(m) = 11*m**2 + 8*m + 7. Let a be g(8). Suppose -4*z + u + a = 0, -2*z = -3*z + 5*u + 208. Let k = -106 + z. Is k a composite number?
True
Suppose 5*r + 3*k + 101 + 19 = 0, 2*r + k = -49. Let w = r - -29. Suppose 5*y = 4*a + w*y - 1331, 2*a - 679 = -3*y. Is a a composite number?
True
Is 18/(6 - 3) - (-499939)/11 a composite number?
True
Let y(v) = -4*v + 1. Let a be y(-1). Let p = -3 + a. Suppose -23 = -p*i + 15. Is i a prime number?
True
Let i(d) = -d**3 + 9*d**2 + 3. Let l be i(9). Let n be ((-8)/20)/(l/15). Is n/(-8) - 633/(-12) prime?
True
Let o(w) = 13*w**2 - 17. Suppose -6*a = -17 - 7. Is o(a) prime?
True
Let