b(-25) composite?
False
Suppose -p - 40 + 225 = 0. Suppose 9*s = 10*s - p. Is s composite?
True
Suppose -16*v + 270 = -31*v. Is (-288666)/(-22) + 3/(297/v) prime?
True
Let v = -345 - -343. Let a(i) = 0 + 0 + 4 - 117*i - 5. Is a(v) prime?
True
Let c(x) = -x**3 + 6*x**2 - 17. Let d be c(5). Let z = 17 - d. Is z a prime number?
False
Let w = -251 - -263. Suppose -w*t + 17*t - 11955 = 0. Is t prime?
False
Suppose 4*n - 274269 = -n + 190916. Is n prime?
False
Let b(c) = 1482*c + 1655*c + 43 + 850*c - 871*c. Is b(3) a prime number?
True
Let m(j) = -455*j**3 + 5*j**2 + 9*j + 7. Let h be m(-3). Let o = h + -8321. Is o prime?
True
Let o(i) = 98*i**2 - 271*i - 1. Let a be o(3). Suppose -s = -31 - 18. Let j = a - s. Is j a composite number?
False
Let m = 85 - 94. Let w be m/6*(-56)/12. Suppose w*t + 3*t = 4430. Is t composite?
False
Let p(i) = -i**3 - 3*i**2 - 4*i - 4. Let j be p(-3). Let o = -535 + 540. Suppose 3065 = o*w - j*u + 3*u, 4*w = 5*u + 2452. Is w composite?
False
Let d = 3038 + -1137. Let h = d + -432. Is h a composite number?
True
Suppose 0 = 110*v - 121*v + 77121. Suppose -10*l = -8579 - v. Is l a composite number?
False
Is (1265322/12 - 10)*2/3 a prime number?
True
Is (-95)/2*(-6457)/(-110)*-4 a prime number?
False
Suppose 14 = -3*q + q - 4*v, 0 = -q + v + 5. Let i be q*15/6 + (-1)/(-2). Suppose i*c - 1417 = 1382. Is c prime?
False
Let b(w) = 2*w - 49. Let i be b(28). Is (-1622 - 1)*((-120)/(-18) - i) composite?
False
Is 5/(-2)*-2333*340/850 a prime number?
True
Suppose 13 - 25 = -r. Suppose 6451 = r*y - 7361. Is y a composite number?
False
Let f(b) = -46*b - 258. Let c be f(-10). Let r(p) = 17*p**2 + 6*p - 2. Let x be r(5). Let d = x - c. Is d prime?
True
Let h = 258 + 1743. Let q = h + -1284. Suppose -2*a + 5*i + q + 52 = 0, 3*a - 1186 = i. Is a a composite number?
False
Suppose 5*k = k + 4*u + 48, 0 = 5*u + 10. Let s = -7 + k. Suppose s*o = -4*o + 3857. Is o composite?
True
Suppose -s - 3*o + 18 = -0*o, 0 = -s - o + 10. Let b(c) = -21 - 2*c - 17*c - s*c. Is b(-8) a composite number?
False
Suppose -13*u + 11*u + 21708 = 0. Suppose -3465 = -9*r + u. Is r a composite number?
True
Suppose -3*c = 9, -3*q + q + 4*c + 119422 = 0. Suppose -k - 3*x = -11958, 2*x + q = 5*k - 0*x. Let v = 17972 - k. Is v prime?
True
Suppose 2 = -n + 4. Suppose -68*t + 10296 = -57*t. Suppose n*j = -0*j + 2*a + t, -3*j + 1409 = 2*a. Is j a composite number?
True
Suppose 268*t - 236081254 = -126*t. Is t a composite number?
False
Suppose 1421*s = 1539*s - 12604642. Is s prime?
False
Let v = 7628 + 33815. Is v a composite number?
False
Let y = -25412 - -49869. Is y prime?
False
Is (-4354917)/9*(-2)/(-7)*33/(-22) a composite number?
False
Let p(d) = 28*d**2 - 98*d - 517. Is p(-28) composite?
False
Is (-69)/92*(-3018392)/6 prime?
False
Let g = 52 + -38. Let k be 2/(-3 - 14/(-6)) + g. Suppose -k*y + 3*y = -264. Is y prime?
False
Let u(z) be the third derivative of 31*z**5/60 - z**4/12 - 19*z**3/6 - 32*z**2. Is u(12) a composite number?
False
Let x(s) = 2*s**3 - 27*s**2 - 12*s - 21. Let k be x(14). Suppose -4*u + 5044 = -2*y, -8*u + k*u = -4*y - 1261. Is u a composite number?
True
Let v(b) = -12*b - 55*b**2 + 29*b**2 + 28*b**2 - 15. Suppose 0 = -4*q - 8*n + 3*n + 40, -5*q + 3*n = -50. Is v(q) a composite number?
True
Let y(m) = m**2 + 7*m - 7. Let t be (-3)/(2/4 - 9/72). Let k be y(t). Is (4 - 1)*k*17346/126 a prime number?
False
Suppose 3*n - 3*l - 1403445 + 508101 = 0, 0 = -2*l - 2. Is n a composite number?
True
Let p(y) = -2*y**3 - 15*y + 2696. Let d be p(0). Suppose 5*f = 4*b - 9*b + 40, 4*f = -3*b + 29. Suppose -1699 = -b*n + d. Is n prime?
False
Suppose 5*h + 5*c = 64552 + 21508, h - 17200 = -4*c. Suppose 0 = 2*n + 2534 - h. Is n a composite number?
True
Let j(o) = 41*o - 174. Let i(m) = 80*m - 347. Let f(l) = -2*i(l) + 5*j(l). Is f(27) a composite number?
False
Suppose 474366 = 16*j - 43282. Is j composite?
False
Let j(f) = 26973*f - 1384. Is j(5) a composite number?
False
Let m(b) = 254*b**2 - 49*b + 205. Is m(18) a prime number?
True
Is 10/(2/(-1)) + (7777 - 133) composite?
False
Let m = -221 - -223. Suppose -14898 = -m*l - 4*l. Is l composite?
True
Let m = -3515 + 1719. Let z = -1399 + -2054. Let f = m - z. Is f a prime number?
True
Suppose 0 = 63*f - 59*f - 16. Suppose 4*q - 7256 + 2208 = -f*u, u = -4. Suppose -4*t = -2*w + q, t - 2*t - 3147 = -5*w. Is w a composite number?
True
Suppose 4257278 = 154*u - 48*u. Is u a prime number?
True
Let w(b) = b**2 - 40*b - 37. Suppose 11*z = -3*z - 364. Is w(z) a composite number?
True
Let y(b) = -125109*b - 3260. Is y(-13) a prime number?
True
Let u(q) = 3*q**3 - 3*q + 2. Let p be u(1). Let w(g) = 13 - p*g - 6 + 3*g + 4*g + 35*g**2. Is w(-3) a prime number?
True
Suppose -3*w - 4*c = -775813, 0 = -4*w + 9*w - c - 1293037. Is w prime?
True
Let w(v) = 993*v + 13. Let f be w(4). Suppose -2*r + f = -1185. Suppose -5*b = -5*o + r, -2*b - 880 = 3*o - 2451. Is o composite?
False
Suppose 758*q - 742*q = 86992. Is q a prime number?
True
Let x = -81 + 140. Let g = x + -48. Suppose -3*i = -g*i + 6472. Is i composite?
False
Let a = 31674 + -6468. Let x = a - 16705. Is x composite?
False
Suppose -6932655 = 65*l - 12123407 - 10317533. Is l prime?
False
Suppose -2*w - 147118 = -4*k, 3 - 1 = -2*w. Suppose 4*n = 5*g + 141904, 4*n = g + 105141 + k. Is n prime?
False
Let t = 387 - -438. Let x = t + 22460. Is x prime?
False
Let s be 0/(-1) - (126 - -3). Let m = s - -96. Is m/(-77) - (-81652)/7 a prime number?
False
Let c be 10 + (0 - (3 + 2)). Suppose -4*a = -c*u - 8004, u - 4*u - a - 4799 = 0. Let s = -927 - u. Is s a prime number?
True
Suppose 3*y + 31*k = 32*k + 918624, -2*k + 1224842 = 4*y. Is y prime?
True
Let h = -26 - -41. Let j be (456 + 1)*-13*6/(-26). Suppose -h*o = -18*o + j. Is o a composite number?
False
Let j(s) = -s**3 - 2*s**2 - 2*s - 1. Let q be j(-1). Suppose q = 3*x - 0*x - 693. Suppose 2*a + a - x = 0. Is a composite?
True
Let t(y) = -67*y**3 + y**2 + 89*y + 490. Is t(-7) a prime number?
False
Let y = 40 + -80. Let g = -36 - y. Suppose 0 = 2*r + 4, -3753 = -g*s + r + 7069. Is s a prime number?
False
Let s = 338654 - -257697. Is s a composite number?
True
Let z be ((-11)/(-3))/(2/(-6)). Let s(f) = 13*f**3 + 120*f**2 - 15*f + 16. Let y(k) = -3*k**3 - 28*k**2 + 4*k - 4. Let q(i) = -2*s(i) - 9*y(i). Is q(z) prime?
True
Suppose 50*m = -75*m + 21798625. Is m a prime number?
True
Is 11*(836 + 9/3) prime?
False
Let x = 166029 + -39406. Is x a composite number?
True
Let v(n) = 336*n**3 - 25*n**2 + 39*n + 51. Is v(10) a composite number?
False
Let h be (1392/(-72))/(4/3)*148. Let f = 5400 - 2113. Let r = h + f. Is r a composite number?
True
Suppose w - 2*f - 7 = 0, -4*w - 9*f + 11*f = -22. Suppose -2*r - r + 889 = -w*v, 875 = 3*r + 2*v. Is r a composite number?
False
Suppose 0 = -590*q + 145*q + 157330195. Is q a prime number?
False
Suppose -104933 = -4*l + 3*s, 38*l = 39*l + s - 26228. Is l a prime number?
False
Let o = 1764 + -1743. Let l be 7657/5 - (-6)/(-15). Is l - o - -1*(2 - 1) a composite number?
False
Suppose 119057 = -78*f + 79*f. Is f composite?
False
Let w be 2*(-5 - 115)/5. Is (w/8 + 5)*(-7995 + 2) a prime number?
True
Let i be (2/(-6) + -1)/(1/(-15)). Suppose 26*y - i = 21*y. Suppose 3*r - 10688 = -2*q, -q + 2*r + 26739 = y*q. Is q composite?
False
Let p(c) be the second derivative of -209*c**3/3 - 183*c**2/2 + 199*c. Is p(-7) a prime number?
False
Let i(y) = 4584*y - 2737. Is i(4) a composite number?
True
Let d(q) = -3*q**2 - 17*q + 4. Let n be d(-6). Is ((-5383)/2)/(1/n) prime?
False
Let o(m) = 90*m**2 + 9*m + 41. Suppose -4*i - 2*c - 22 = 28, 0 = -i - 5*c - 35. Is o(i) a composite number?
False
Let s(l) = -24256*l - 2234. Is s(-16) a prime number?
False
Suppose 9 = -2*t - 0*q - 3*q, -20 = -5*t + q. Suppose t*z - 1298 = 1954. Suppose 3*i - z = -i. Is i prime?
True
Let a = 357753 - 97624. Is a prime?
False
Suppose 2*z = -615*y + 618*y - 9340707, 0 = -4*y + 3*z + 12454276. Is y composite?
False
Let y(q) = 2*q**2 - 21*q + 3. Let z(t) = 2*t**2 - 6*t + 2. Let f be z(3). Suppose -5 - 33 = -f*v. Is y(v) composite?
True
Suppose -4*l - 179096 = -4*z, 4*z = l + 9*z + 44792. Let i = -28290 - l. Is i prime?
True
Let b(l) = 82969*l - 37. Let h be b(-2). Is ((-12)/(-15))/((-3)/(h/10)) a prime number?
False
Let w(i) = -27*i**3 