k) + 4*o(k). Let d be g(-2). Suppose 3*s - 7*s - y = -5439, -d = -2*s + 3*y. Is s composite?
False
Let w = 164 + -281. Let p(y) = -39*y + 149. Let o be p(9). Let g = w - o. Is g a prime number?
False
Suppose 4*t + 4 = 0, -4*l + 4*t = 7*t - 1. Let g(y) = 5*y**2. Let x be g(l). Suppose -x*i + 7 = -108. Is i a composite number?
False
Suppose 5*f - 2730 = -5*y, 159*f - 163*f = -2*y - 2190. Is f prime?
True
Let l(b) = 33*b - 7. Let c(r) = 3*r**2 - 7*r - 4. Let j be c(3). Is l(j) prime?
True
Suppose 9*c + 63 = 2*c. Let v = c - -152. Is v prime?
False
Suppose 6*f + f - 13461 = 0. Is (0 + f/(-3))*(-1)/1 composite?
False
Suppose 0 = -2*m - 1 + 5. Let z(k) be the first derivative of 7*k**4/2 + k**3 - k**2/2 - k - 1. Is z(m) a composite number?
True
Let b = -145 + 148. Suppose -5*n = -7*i + 2*i - 5560, 4*n - 4469 = -b*i. Is n prime?
False
Let q(z) = 35*z**2 + 21*z - 39. Is q(-10) a composite number?
False
Is -70 + 66 + (1 - 38)*-99 a composite number?
False
Is (2/18)/(27/26327349) a composite number?
False
Let p be 10083/12 - (-2)/(-8). Suppose 0 = 2*k + z - p, 3*z - 1263 = k - 4*k. Is k a prime number?
True
Let r(y) = 671*y**2 + 6*y. Let t(o) = o**2 - o. Let j(a) = r(a) + 5*t(a). Let b(f) = f - 13. Let n be b(14). Is j(n) a prime number?
True
Let p be -7 + -9 + (4 - 0). Suppose k = 2*k + 3*w + 720, 2*k - 2*w = -1416. Is k/p + 7/(-28) a prime number?
True
Suppose 0 = -5*n + 27367 - 1632. Is n a composite number?
False
Let b = 11506 - 6833. Is b composite?
False
Let p be ((-36)/(-21))/((-2)/14). Let v be -3 + 8/(-12)*p. Let j(y) = y**3 + 3*y**2 - 3*y + 2. Is j(v) composite?
True
Let s = -161 + -279. Let j = s - -735. Is j composite?
True
Suppose -4*d = d - 10. Suppose -d*t + 417 = -525. Is t a prime number?
False
Let r = -7506 + 4810. Let p = -1907 - r. Is p a composite number?
True
Suppose -4*n - 2*w + 5 = 31, 2*n + 14 = -2*w. Let y(a) = -4*a**2 - 5*a - 2. Let d be y(n). Let h = 367 + d. Is h prime?
True
Suppose -l = 5*x - 2308, 511 + 1327 = 4*x + 5*l. Let u = 1403 - x. Is u composite?
False
Let w(c) = -8*c**3 + 2*c**2 - 4*c + 5. Let n(i) = i**3 + i**2 - i + 1. Let t(s) = -6*n(s) - w(s). Is t(9) prime?
False
Let y be -3 + (3 + 2 + -2 - 0). Suppose y*f - 745 = -5*f. Is f prime?
True
Let o(b) = -b**2 - 7*b + 11. Suppose 0 = -3*l, q - 6*l = -4*l - 8. Let y be o(q). Suppose -2*i = y*k - 756, -4*k + 1 = 9. Is i a prime number?
False
Let w be ((-1 - 789) + 3)*(-3 - -2). Let d = w + -270. Is d prime?
False
Let q(x) = -x**3 - 4*x**2 - 8*x + 8. Suppose 5*m - 2 - 3 = 0. Let z be (2 - m) + -8 + 0. Is q(z) a prime number?
True
Let p(k) = k**2 + k - 9. Let i be p(0). Let b = -8 - i. Is 3/(-4 + b) - -40 composite?
True
Let y(p) = -p**3 + p**2 + 1. Let j(l) = -100*l**3 - 4*l**2 + 4*l - 5. Let m(g) = j(g) + 5*y(g). Let h be m(-6). Is 4/10 + h/20 composite?
True
Let t(q) = 2*q**2 - 2*q + 2. Let b be t(1). Suppose -b*d = d - 873. Is d prime?
False
Is -5 + (6 - (-5 + 11)) - -14208 composite?
True
Suppose 0 = 4*r + 5*k - 23, -r - k - 53 = -5*r. Let i be (-1)/(-6) + 154/r. Is i/3 - (-1)/(-3) a composite number?
True
Let m be (1 - -1)/((-4)/(-8442)). Suppose -3*j = 3*g - 651, -3*j - j = -2*g - 850. Suppose 5*c - j = m. Is c composite?
False
Suppose -739 = 5*l + 5*g - 17589, -5*l = -2*g - 16857. Is l a composite number?
False
Let v(d) = d**2 + 6*d + 4. Is v(31) prime?
True
Let o(r) = -192*r**3 + r**2 + 5*r + 3. Let w be o(-1). Suppose 31*c - 30*c = w. Is c a composite number?
False
Let k(y) = -771*y**2 + 9*y + 9. Let t(l) = -771*l**2 + 8*l + 8. Let v(d) = 4*k(d) - 5*t(d). Is v(-3) a prime number?
True
Suppose 0 = 68*d - 55*d - 469963. Is d prime?
True
Let o be 15*6/15*-1. Let d be 435/9 - o/(-18). Is 1306/6 - 32/d a composite number?
True
Suppose -4*b + 4*t = 3*t - 27814, -b = 2*t - 6949. Is b a composite number?
True
Let l = 40612 - 28917. Is l a composite number?
True
Let s be 2394/8 + (-12)/48. Let q = s + -156. Is q prime?
False
Let b(p) be the second derivative of 29*p**4/2 - 4*p**3/3 + p**2/2 - 30*p. Is b(-2) prime?
False
Let c(p) = -3*p**2 + 10*p + 1. Let y(m) = -m**2 - m - 1. Let j(a) = -c(a) + 2*y(a). Let r be j(12). Is (3 - 2)*r + 334 prime?
True
Suppose 4*r = 62 - 6. Suppose -10*h - 16 = -r*h. Suppose -u = o - 82, -245 - 78 = -h*u - 3*o. Is u a prime number?
False
Let v be (537/(-6))/(2/(-164)). Let o = v - 4892. Is o composite?
False
Suppose 3*a + 15650 = s, -7273 = s - 5*a - 22921. Is s a prime number?
False
Let l(j) = 59*j**2 + 8*j + 76. Is l(13) prime?
True
Let m = -479 + 1062. Is m a prime number?
False
Let r be (-32)/12*(0 + 9). Let o = r + 37. Is o composite?
False
Suppose -b + 5*s + 887 = 0, -2627 = -3*b + 4*s - 6*s. Suppose -k + 1176 = -b. Is k prime?
True
Let m = 1830 + -773. Is m composite?
True
Is 399/(-84) - -6 - 55239/(-4) a prime number?
False
Let s(b) = 701*b + 287. Is s(6) a composite number?
False
Suppose 48186 = 22*u + 10588. Is u a composite number?
False
Suppose 2*s = g, -5*g + 3*s + 5 = -2. Suppose g*k + 0*k - 4 = t, 0 = -3*k - 2*t - 8. Suppose k = 4*d + 2*r - 90, 3*d - 3*r = 4*d - 25. Is d prime?
False
Suppose 49*k + 2868 = 53*k. Is k a prime number?
False
Is (159/(-5))/(702/(-525330)) a prime number?
False
Let c(h) = -h**2. Let x(k) = 6*k**3 + 23*k**2 - 16*k + 7. Let z(u) = -3*c(u) - x(u). Is z(-11) composite?
True
Let t = 1027 + -240. Is t a prime number?
True
Suppose 0 = 3*s + 12, g + 216 = -3*g + 2*s. Let h(j) = j**3 - j**2 + 4*j + 35. Let b be h(0). Let i = b - g. Is i composite?
True
Let g(w) = -w**2 - 13*w - 9. Let d be g(-12). Let n(k) = -k + 3*k**2 + 7*k + 35*k**3 - 8*k**2 + 3*k**3 - d. Is n(2) composite?
False
Let t = -1323 + 3284. Is t prime?
False
Suppose -4*j + 4*b + b + 33 = 0, 0 = -j + 3*b + 17. Suppose -8 = -2*i - j. Suppose i*r = 2*o - 73, -o - 5*r = -23 - 7. Is o a composite number?
True
Let k(q) = 8298*q - 1. Is k(2) a composite number?
True
Let u(a) = -6*a - 1 + 2*a**2 - 2*a + a. Is u(-6) a composite number?
False
Let z = 4 + -3. Let o be (-3)/z + (-9)/(-3). Suppose -2*f - 4*u - 64 = -172, 5*u - 20 = o. Is f a prime number?
False
Suppose 123 - 111 = -o. Suppose 0 = -q - s - 5, 5*q + 2*s = -0*s - 28. Is (-190)/q + o/18 a composite number?
False
Let i be 4*-1 + 2112/12. Suppose -53 = n - i. Let t = -52 + n. Is t composite?
False
Suppose -2*j = -0*j - 2*t + 6, -3 = -t. Let m be 4/10 + 488/5. Suppose j = -5*n + 387 + m. Is n composite?
False
Let c(g) be the second derivative of 3*g**4/4 + g**3/2 + 3*g**2/2 + 2*g. Let u be (-196)/(-42)*(-6)/(-7). Is c(u) a prime number?
False
Suppose -5*z + 14 = -3*z. Is z + -9 - (-3 - 1) composite?
False
Is (-7069)/(-1) - 4/12*0 composite?
False
Suppose -4*y = -3*t + 11821, 0 = -4*t + y + 7390 + 8380. Is t prime?
True
Suppose -5*d - 136 = -n, -4*d = -4*n + 470 + 26. Suppose -2*t + n = -t. Let r = t - 47. Is r prime?
False
Suppose -9*x + 3*x = 120. Let g be x/3*(-78)/4. Let f = -53 + g. Is f composite?
True
Is 1170 - (18/(-2) - -16) a prime number?
True
Let d be 202 + (1 - 3 - 2/(-2)). Let r = -9 - -10. Is (-11 - -11) + r + d composite?
True
Suppose -4*x + 2096 = -2*b - 544, 5*b = 0. Suppose j - 2*o - x = -j, 0 = 3*o - 3. Is j a composite number?
False
Suppose -4*j - 5*z + 5 = 0, 4 - 1 = 5*j + 3*z. Suppose j*d - 7910 = d. Is (d/(-4))/(-7)*-2 a prime number?
False
Is (0 - 0 - 2)*(-34362)/36 prime?
False
Suppose -2*a + 6*a + 10 = -5*q, -4*a + 2 = -q. Suppose -4*z + 3783 - 971 = a. Is z a prime number?
False
Suppose w = 8*w - 18382. Suppose -305 = 11*a - w. Is a prime?
True
Let d be (-282)/(-1)*(1 + 0). Let b(r) = 199*r**3 + r + 1. Let l be b(-1). Let h = l + d. Is h prime?
True
Let v = -107272 + 184407. Is v prime?
False
Let o = -26903 - -39996. Is o a composite number?
False
Let w(n) = -92*n**3 + 6*n**2 + 5*n - 6. Let a be w(-4). Let z = a - 4225. Is z a prime number?
True
Let f = -35 - -35. Suppose f = -5*l + 759 + 1276. Is l prime?
False
Let j(w) = 6*w**2 - 2*w + 2. Suppose -4 = -2*u + 4*u - 4*s, 5*u + 2*s = 14. Is j(u) prime?
False
Let l(j) = j**2 - 8*j - 5. Let w be l(10). Let h = 43 + w. Is h composite?
True
Let d(i) = 521*i**2 + 8*i + 9. Is d(-2) a composite number?
True
Suppose 14*t - 24951 = -4777. Is t prime?
False
Let h(o) = -302*o**2 + 2*o - 1. Let w be h(1). Let t = w + 512. Is t prime?
True
Suppose -l + 56 = l - 2*f, 5*l + 4*f - 95 = 0. Let a = -21 + l. Suppose -4*n = -n - 9, -1