 8*k. Let a = k - d. Is a prime?
True
Suppose -h = 4 - 3. Let q = h + -2. Let u(s) = -s**3 - s**2 + 3. Is u(q) a prime number?
False
Let p(w) = 36*w. Let y be p(7). Suppose -y = 5*o + r - 1001, o - 2*r = 141. Is o a prime number?
True
Is (3/(12/(-260)))/(-1) a prime number?
False
Let h be 26/10 - 4/(-10). Is (2/h)/((-12)/(-414)) prime?
True
Suppose 5 = 4*q - 31. Is 1*3/(q/159) composite?
False
Suppose 2*v = -2*v + 6172. Is v a composite number?
False
Suppose 5*x = 5*i + 3125, -3*i - 283 = x - 924. Is x a composite number?
True
Suppose 9 + 0 = 3*b. Suppose -4*q - b*c = -55, 1 - 11 = -2*c. Is q a prime number?
False
Let o(v) = -v + 1. Let q be o(-3). Suppose q*a + 214 = 2*d, -a - 5*d = -3*d + 51. Let c = 74 + a. Is c a composite number?
True
Let j(d) = -18*d**3 + 3*d + 1. Let n = 17 + -19. Is j(n) prime?
True
Suppose 4*x = 3*o + 2*x - 5035, 0 = 3*o - 4*x - 5033. Is o composite?
True
Let h = -145 + 708. Is h prime?
True
Is 4/1*708/16 prime?
False
Let t = -2 + 3. Suppose -13*v + 18*v = 105. Is t/(-3) - (-3766)/v a prime number?
True
Suppose -4*i + 4937 + 4067 = 0. Is i a composite number?
False
Let n = 2 + -2. Let i(b) = b**3 + b**2 + b - 123. Let r(c) = c**3 + c**2 + c - 122. Let s(x) = 3*i(x) - 4*r(x). Is s(n) a composite number?
True
Let r(l) = 103*l - 26*l + 12 + 48*l. Is r(7) a composite number?
False
Let d(t) = 3*t + 1. Let b be (-2)/(-8) - (-62)/8. Is d(b) prime?
False
Is (-6 + 5)/((-38946)/12981 - -3) prime?
True
Suppose -15 = -2*z + 51. Is z composite?
True
Let o(j) = j**2 - 3*j - 1. Let i be o(4). Suppose 147 = -4*r - 5*l, 3*r - i*l = l - 149. Let u = r + 74. Is u a composite number?
False
Let l be (25 - 2)*2/(-2). Let o = 7 + l. Let q = o - -159. Is q composite?
True
Suppose -3*z - 4*r = 17, -z = 2*r + r + 9. Let g(k) = -7*k**3 + 3*k**2 + 3*k + 4. Let n be g(z). Suppose i = -0*i + n. Is i prime?
True
Let k = 5 - 5. Suppose -5*y + 0*y + 3*g = -341, 3*g + 6 = k. Is y composite?
False
Is ((8 - 21) + 0/(-2))*-107 a composite number?
True
Let y(z) = 19*z**3 + z**2 - 2*z + 1. Suppose -3*i + 3 = -2*i. Suppose -i = v - 4. Is y(v) prime?
True
Let l = 239 + 50. Is l prime?
False
Suppose 3*g - 18 + 0 = 0. Suppose 6*y = g + 60. Is y prime?
True
Let m = 505 + -218. Let p = m + -110. Is p composite?
True
Let u = 14 + 22. Let t be u/(-16)*(-16)/(-3). Is (-3081)/t - 2/(-8) prime?
True
Let m = 2 - -3. Suppose -m*q + 4*i + 50 = 0, -2*q = i - 1 - 6. Suppose 5*w + 39 = q*w. Is w composite?
True
Suppose -3*l = -8 - 13. Let d(v) = 5 + 0*v**3 - l*v + v**3 - 2*v**2 + 1. Is d(4) prime?
False
Let h(s) = -69*s**3 - 2*s**2 - 2*s - 1. Let g be h(-1). Suppose g = 4*y - 8. Is y prime?
True
Let g be 7 + 4/((-6)/3). Suppose 3*o - 7*o + 186 = -2*v, 455 = -g*v + 5*o. Let l = -43 - v. Is l a composite number?
True
Let o(t) be the second derivative of t**5/20 + 11*t**4/12 + t**3/6 + 7*t**2/2 - t. Is o(-8) composite?
False
Suppose 1154 = 5*r + 2*g - 2597, -3*r - 4*g + 2245 = 0. Is r prime?
True
Suppose 0*h - 8 = 4*h. Let j(g) = -g**3 - 2. Let z(b) = -5*b**3 - b**2 - b - 10. Let i(m) = h*z(m) + 11*j(m). Is i(-3) composite?
False
Suppose -3*o - 111 = 264. Let k = 282 + o. Is k prime?
True
Let y(m) = 8*m - 2. Let o be y(2). Suppose -58 = l - o. Let v = -7 - l. Is v composite?
False
Let x be (-2)/(-6) + 10/6. Let j be 2 + (-3 - -2) + x. Suppose -j*l + 658 = -5*p, 499 = 5*l - 3*p - 571. Is l composite?
False
Let x be 3 + (-1 - -3 - -1). Is (-1*1)/((-2)/x) a composite number?
False
Let w = -2861 - -4668. Is w a prime number?
False
Is (1319 - 0)*(-27 + 28) a prime number?
True
Let u(n) = -n**2 + n + 1. Let y be u(-2). Let r(g) = -2*g**2 + 7*g - 9. Let a(b) = 3*b**2 - 11*b + 13. Let j(h) = -5*a(h) - 8*r(h). Is j(y) composite?
False
Let z = 88 + -193. Let p = -183 + z. Is (-1)/(-1 - p/291) a prime number?
True
Suppose -3*r = r. Suppose r*l + 4*n + 10 = -l, -2*l + 4*n = -16. Is 0 - (1 - 4*l) prime?
True
Let p(t) = -t**3 + 4*t**2 - 2*t - 4. Let i be p(4). Is (452/6)/((-8)/i) a prime number?
True
Let l(w) = -w**2 + w - 21. Let o be l(0). Let q be o/6 - (-2)/4. Is 10 - q - 2/(-1) a composite number?
True
Let j be 12 + -6 + -1*3. Suppose 13 = -j*i + 70. Is i a composite number?
False
Let b(f) = 5*f + 11. Let j(s) = -4*s - 10. Let k(r) = -3*b(r) - 4*j(r). Let o be k(-7). Suppose 6*c - 4*c - 92 = o. Is c prime?
False
Let v = -88 + 155. Let h = 1 - 1. Suppose -6*o + 5*o + v = h. Is o composite?
False
Let g = 1220 + -261. Is g composite?
True
Let d be ((-87)/(-6))/((-1)/(-14)). Suppose 222 = 3*w - 5*v, 4*w - v - 76 - d = 0. Is w composite?
True
Let w be (-4)/(-6)*(7 + -10). Let p(j) = 9*j**2 + 2*j - 1. Is p(w) prime?
True
Is ((-13739)/(-33))/(1/3) a prime number?
True
Let u(f) = 3*f**3 - 2*f**2 + 3*f - 4. Let d be u(4). Let l be 2/(-9) - d/(-27). Is (-279)/6*(-28)/l composite?
True
Let a = -3 + 4. Let l = 3 + a. Suppose 4 = 4*w + 20, 0 = -x - l*w + 15. Is x prime?
True
Suppose 1077 + 158 = 5*a. Is a a composite number?
True
Let q(c) = 5*c**2 - 25*c + 53. Is q(22) a prime number?
False
Suppose 5*z + 75 + 160 = 0. Let k = -4 - z. Is k a prime number?
True
Suppose -v + 0*v + 87 = 3*i, 91 = v - i. Suppose 4*s = 446 - v. Is s prime?
True
Let v(p) = p**3 - 9*p**2 + 12*p - 3. Let q be v(9). Suppose 7*k - q = 4*k. Is k a composite number?
True
Suppose 0 = -5*q - 25, 4*u - 2*q - 3*q = 33. Is 2/u*(151 + -6) a composite number?
True
Let c = 157 - 89. Is c/(-8)*1*-46 composite?
True
Suppose -j + 95 = -392. Is j a composite number?
False
Let h = 6066 - 3967. Is h a prime number?
True
Let r(t) = -1021*t. Is r(-2) prime?
False
Let c be (-6 - -2) + 34 + -1. Let h = 118 - c. Is h composite?
False
Let i be 15*(340/(-6))/(-1). Suppose -3*g = -8*g + i. Suppose -z = z - g. Is z a composite number?
True
Let j = 3 + -1. Suppose 2*h - 2*b - 144 = 0, 375 = 5*h - 4*b + j*b. Is h a composite number?
True
Let w = 1396 - 651. Is w a composite number?
True
Let g = -56 - -149. Suppose g = 4*q + 5*h, q = 2*q - 3*h - 19. Is q composite?
True
Let a be ((-9)/15)/((-1)/5). Suppose -t + 0 = -a. Suppose -t*k = -4*h - 0*h - 106, 5*h = 4*k - 142. Is k composite?
True
Let h be 1/(-1) - 1/(-1). Let l be (288 + h)/3 - -2. Suppose 0 = -n + 2*d + d + 49, 2*n - l = -5*d. Is n prime?
False
Let r(q) be the second derivative of q**3 + 5*q**2/2 - q. Let w(g) = g**2 + 11*g + 5. Let p be w(-11). Is r(p) a prime number?
False
Suppose -2*l + 6 = q, -3*q + l + 1 - 18 = 0. Let n be 3*(-2)/3 - q. Suppose -n*h + 4*h = 22. Is h composite?
False
Let y = -81 - 75. Let v = y - -319. Is v prime?
True
Let i be ((-3 - -2) + 2)*-8. Let k(a) = 2*a + 1. Let r be k(-1). Let q = r - i. Is q a composite number?
False
Suppose 0 = -9*h + 13*h - 12332. Is h a prime number?
True
Suppose -2*t - 3*i + 1508 = -0*i, 753 = t + 2*i. Suppose -f = 4*u - 0*u + 169, -t = 5*f - 2*u. Let g = f - -280. Is g composite?
False
Let r(b) = -102*b + 29. Is r(-7) a prime number?
True
Is (12/21)/((-8)/(-476)) a composite number?
True
Let q = 17 - 12. Suppose 0 = q*h - 981 - 274. Is h composite?
False
Suppose -5*f = -4*u - 15 - 5, -4 = -f - 4*u. Let y be ((-4)/6)/((-8)/36). Is 37/2*f + y a composite number?
True
Suppose -6*s - 12 = -30. Is s a prime number?
True
Suppose 65*j - 61*j = 7908. Is j a composite number?
True
Let s(u) = u - 1. Let a(r) = r - 1. Let h(m) = 6*a(m) - 5*s(m). Let j be h(4). Suppose -j*b = 3*f - 66, -4*b - 2*f - 3*f = -84. Is b a composite number?
True
Let v = -106 + 244. Suppose 2*r = -r + v. Suppose 2*g - 2*d - r = 0, -3*d - 50 = -2*g - 0*g. Is g a composite number?
False
Let c = -141 + 73. Let s be ((-2)/(-4))/((-1)/(-4)). Is s/2 + -2 - c a composite number?
False
Is 134 - 0*(1 + -5 + 3) a prime number?
False
Let x = -434 + 2025. Is x a composite number?
True
Is (-1)/7 - (-5220)/35 a composite number?
False
Let v(f) be the first derivative of f**4/4 - 5*f**3/3 - 3*f**2 - 4*f - 3. Let z be v(7). Suppose h + k - 138 = 0, z = 2*h - k - 209. Is h prime?
False
Suppose -5*j - 37 = -2*q, 4*q - 3*j = -7*j + 4. Let t(u) = 10*u + 7. Is t(q) composite?
False
Let j be (4 - 1) + (1 - 8). Let c(u) = 14*u**2 - 2*u + 1. Is c(j) a prime number?
True
Is (-2)/(228/236 + -1) prime?
True
Suppose -5*g + 3428 = 613. Is g composite?
False
Suppose 0 = 10*k - 8*k - 70. Is k a prime number?
False
Is 761/2 - (-3)/6 composite?
True
Let k be (-20)/8*(-4)/10. Is (-1)/((-4)/720) - k prime