 0*o, 5*g = -3*o - 307. Let a = j - o. Is a prime?
True
Is (-31462 - 21/3)*-1 prime?
True
Let y(o) be the first derivative of 4*o**3/3 - 3*o**2 - 7*o - 2. Let a be y(5). Is (-2 + a/(-2))*-2 a prime number?
True
Is (18/27)/((-8)/(-119844)) a composite number?
True
Suppose -4*w + j = 66, -3*j = -3*w + 5*w + 40. Let u = 0 - -4. Let t = u - w. Is t a prime number?
False
Let l be (2 + (-11)/2 - -1)*-4. Suppose -6265 = 5*g - l*g. Is g a composite number?
True
Let v(s) be the third derivative of 29*s**6/240 + s**5/60 - s**4/24 - 6*s**2. Let u(r) be the second derivative of v(r). Is u(3) prime?
True
Is 3372 + (1 - 6)*2/10 composite?
False
Suppose 0 = -4*d + 6*d - 4712. Suppose k - 4 = -2, -4*k + d = 4*o. Is o prime?
True
Suppose -5*l + 4*b = -8*l + 3709, 0 = -3*l - 5*b + 3713. Is l a prime number?
True
Suppose -2*a = 3*a - 2*n - 80249, 0 = -4*a - 4*n + 64188. Is a a composite number?
True
Suppose -7 + 1 = 3*l, 0 = 3*x + 3*l - 3. Suppose x*h - 116 = -4*t - h, 4*t = -2*h + 106. Is ((-16)/t)/((-4)/42) a composite number?
False
Suppose -3328*x + 3329*x - 391 = 0. Let t = 409 + 277. Let q = t - x. Is q composite?
True
Suppose -4879 + 17063 = 4*n. Is n composite?
True
Let d = -135 - -311. Let b be (1/6)/((-3)/(-2718)). Suppose -o + b = 4*w - 6*o, -2*o - d = -5*w. Is w a prime number?
False
Let i(d) = 1. Let s(k) = 25*k + 19. Let q(h) = -3*i(h) + s(h). Is q(3) prime?
False
Suppose -2*r + 5 + 3 = 0. Suppose -64 = r*o - 4*m - 8, -3*o + 2*m = 38. Is ((-2490)/75)/(4/o) a prime number?
True
Suppose 12*x + 1516 = 14*x. Let n = x - -437. Is n composite?
True
Suppose 2*q = -3*q + 2200. Suppose -k + q = -239. Is k prime?
False
Suppose -5*u - 37 = -47. Suppose 2*p + u*p - 7 = -t, p = t - 17. Is t a composite number?
True
Suppose -27*c = -32*c + 25. Suppose -4*v - c*r + 2490 = -1522, -5*r - 3009 = -3*v. Is v a composite number?
True
Let z = -823 - -1486. Suppose w = -4*d + z, 0 = 11*w - 8*w - 5*d - 2057. Is w composite?
True
Let f(x) = -11*x - 22. Let d be f(15). Let h = 75 - d. Is h prime?
False
Let h be (1 + 0 - -133)*(-34)/68. Let q = 118 - h. Is q a prime number?
False
Let u = 10 - -8. Is (2*-1)/(u/(-3771)) a prime number?
True
Let r(q) = q**3 - 6*q**2 + 8*q - 8. Suppose 4*n + 12 = 56. Suppose t = -f + 8, -3*t + n + 9 = -f. Is r(t) a prime number?
True
Let n(b) = -4*b**3 - 16*b**2 - 17*b - 3. Let w be n(-15). Suppose 0 = -7*r + 20137 + w. Is r composite?
False
Let q = -785 - -3241. Let s = q + -949. Is s a prime number?
False
Suppose -8 = 2*c - 8*n + 3*n, 4*c + 5*n + 16 = 0. Is (35/c)/(-7)*452 composite?
True
Is ((3672/(-32))/(-27))/(1/12) prime?
False
Let i be (-6070)/(-14) + (-9)/(-21). Suppose 4*f - i = -5*v - 37, -4*f = -12. Suppose 3*b - v = 232. Is b a composite number?
False
Suppose 0 = -5*u - 5*l + 2635, -3*u + 1589 = -0*u - 5*l. Let q = u - 282. Suppose 0 = 2*d + s - 3*s - q, 0 = d + s - 113. Is d a composite number?
True
Let z(n) = 252 - 224 + 15*n + 0*n. Is z(15) prime?
False
Suppose -7025 = 69*r - 64*r. Let h = r + 2282. Is h prime?
True
Let b(w) = -370*w - 143. Is b(-10) a prime number?
True
Let s(m) = m**3 + 14*m + 78335. Is s(0) composite?
True
Let q be 3/(-6)*1*0. Suppose 4424 = y + 5*d + 1296, q = -2*y - 5*d + 6271. Suppose 4*j + 5*z = y, 0*j + 1579 = 2*j - 5*z. Is j a composite number?
False
Let l(q) = 585*q - 37. Is l(18) a prime number?
False
Suppose 5*v + 5*x = 250, 0 = v - 4*x + x - 38. Let w be ((-3)/6 - -1)*150. Let t = v + w. Is t prime?
False
Let i(r) = 46*r**2 - 658*r - 13. Is i(-16) composite?
False
Let h(d) = 72*d**3 + 2*d**2 + 7*d + 13. Let k be h(-7). Is (-17)/68 - k/8 composite?
False
Suppose 0 = -3*r - r - h + 50, 2*h - 16 = -r. Let c = 9 - r. Let l(j) = -11*j**3 - 2*j + 4. Is l(c) composite?
False
Is (1009/(-3))/((-28)/84) a prime number?
True
Is (-27)/(-36) + (-32581)/(-4) a prime number?
False
Let q be (3/2)/((-2)/(-124)). Suppose 4600 = 13*o - q. Is o a composite number?
True
Let p(n) = n**2 - 2*n - 8. Let a be p(4). Suppose -3*v + 306 = -a*v. Suppose -109 = -j + v. Is j composite?
False
Let p(f) = -4*f + 10. Let z = 17 - 16. Suppose -5 = m + z. Is p(m) prime?
False
Suppose 3*l - v = 84832, -4*l + 41*v + 113110 = 39*v. Is l a prime number?
True
Suppose -34 = -f - 5*q, -6*f + f = -4*q - 228. Let s = 78 - f. Suppose 2*v - 256 = -s. Is v prime?
False
Let u(n) = 104*n - 45. Let q(f) = -35*f + 15. Let r(c) = -8*q(c) - 3*u(c). Let a(s) = 32*s - 15. Let p(v) = 6*a(v) + 5*r(v). Is p(5) prime?
False
Let i(b) be the second derivative of b**6/60 - b**4/24 + 7*b**3/6 - 2*b. Let u(g) be the second derivative of i(g). Is u(-2) a composite number?
False
Let r(t) = 56*t**3 + 3*t - 3. Let s be 10/(-50) - 22/(-10). Is r(s) prime?
False
Let k(y) = 13*y**3 - 2*y**2 + 5*y - 5. Let f be k(2). Let p = 90 + f. Is p composite?
False
Let z be -7 + 1 + 6 + -3. Let j(h) = -12*h + 3. Let g be j(z). Suppose -3*l - n = -73, 0 = l + 3*n + n - g. Is l a composite number?
False
Let h = -1498 - -2515. Suppose -2 = -3*y - 2*n, -y + 3*n = 2*n - 9. Suppose 19 + h = y*p. Is p a prime number?
False
Let j(p) = 561*p**2 + 16*p - 20. Is j(3) prime?
True
Suppose -5*m + 133 = 1413. Let o = -147 - m. Is o prime?
True
Suppose -4*h - 529 = 1387. Let j = 746 + h. Is j a prime number?
False
Let x be (-222 - 0)/((8/(-66))/2). Let s = x + -1774. Is s prime?
True
Let p(l) = -2*l**2 + 6*l - 259. Let z(i) = i**2 - i - 1. Let r(b) = -p(b) - 3*z(b). Let k be r(0). Is (13 + -12)/(2/k) composite?
False
Is 2/(-3)*12074163/(-226) composite?
False
Let t = 10306 - -495. Is t composite?
True
Suppose -3*g = -g - 3*q - 8078, -3*q = -4*g + 16168. Is g a composite number?
True
Let c be (204/(-5) - 2)*(-104 - -14). Suppose -3858 = -2*l + 2*z + 2*z, -2*l - 2*z + c = 0. Is l a composite number?
True
Suppose 24 = 2*j + 4*j. Suppose 0 = g + 4, -j*g + 150 = r - 192. Is r prime?
False
Let l(y) = 9*y**2 + 17*y - 17. Let a(k) = -4*k**2 - 9*k + 9. Let g(d) = 13*a(d) + 6*l(d). Is g(22) prime?
True
Let p(h) = -h**3 - h. Let l(f) = -5*f**3 + 2*f**2 + 3*f - 1. Let j(c) = l(c) + 3*p(c). Suppose 0 = 4*d - g + 10, 0 = g + 3 - 5. Is j(d) prime?
True
Let l(z) = -289*z + 3. Let y be l(-1). Let m = y - 159. Is m a composite number?
True
Let m = 93261 - 41416. Is m composite?
True
Suppose -173608 = 20*q - 590588. Is q a composite number?
False
Suppose 5*v - 4*x = v + 844, 4*v + 5*x = 844. Is v prime?
True
Let d(m) = 73*m**2 - 26*m + 9. Is d(4) composite?
True
Suppose -5*a = -12*a + 35581. Suppose -12888 + a = -5*c. Is c a composite number?
True
Let c = 186 - 131. Let s = c - -180. Suppose 5*a - s = -50. Is a prime?
True
Let l(s) = 144*s + 131. Is l(18) a prime number?
False
Let w(g) = 198*g**3 - g**2 + 3*g - 1. Let y(i) = -197*i**3 + i**2 - 3*i + 2. Let h(k) = -5*w(k) - 4*y(k). Is h(-1) prime?
False
Suppose 4*o = -0*i - i, 0 = 5*i - 20. Let s(z) = -9532*z**3 - z**2 - 3*z - 1. Is s(o) prime?
True
Let y = 2 - -5. Suppose 5*p + 1 = 4*a, -3*p - 4*a = -18 - y. Is p prime?
True
Let a(y) = y**3 + 13*y**2 + 3*y - 11. Let z be a(-9). Let t = z + -123. Is t prime?
True
Let v = 383 - -2190. Is v a prime number?
False
Suppose 0 = -3*d - 0*g - 4*g + 8351, -d - 3*g = -2792. Is d prime?
True
Let i = 2152 - -298. Suppose i = -a + 6*a. Let t = a - 21. Is t composite?
True
Suppose -4*a = -5*z + 215385, -2*z - 3*a - a + 86126 = 0. Is z composite?
True
Let k(y) = -127*y**3 - 3*y**2 + y - 9. Let t(v) = v**3 - v**2 - v - 1. Let a(l) = -k(l) + 4*t(l). Is a(2) composite?
False
Suppose -2*f = -4*f. Let k be 5 - 1 - (f + 2). Suppose -k*n - 3*n + 4*w + 11 = 0, -7 = -2*n - w. Is n prime?
True
Let o = 5418 - -933. Suppose -o = -11*t + 5078. Is t a composite number?
False
Let u(q) = 6692*q - 25. Is u(3) a prime number?
True
Suppose 16*d - 22130 = 14*d. Is d composite?
True
Let t = 25517 + -14874. Is t prime?
False
Suppose -4*c + 1 = -11. Suppose 5*d = 3*v + 24568, -v - 6208 - 18358 = -5*d. Suppose -4*q = -5*p - 6549, 3*q - p = c*p + d. Is q composite?
True
Let r(d) be the second derivative of -110*d**3/3 + 21*d**2/2 + 3*d. Is r(-10) a composite number?
False
Suppose -2*c + y + 10 = -0*c, -5*y = -c + 23. Let a = -28 + 34. Suppose -u + a*x - 4*x + 219 = 0, -c*x - 856 = -4*u. Is u prime?
True
Suppose 23021 = 4*g + 4017. Is g a prime number?
True
Let q(u) = 17*u**2 + 2*u - 1. Let c = 1 - 0. Let o be q(c). Suppose t + o = 3*y, 0 = y + t - 3 - 7. 