e 3*r + 314 - 99 = 5*b, 129 = 3*b - 3*r. Is b a prime number?
True
Let q = 26 - -83. Is q a composite number?
False
Suppose -1876 - 374 = 3*l. Let u = l + 1217. Is u prime?
True
Let o be (2/4)/(2/20). Suppose o*r - 13 = 5*n - 3*n, 2*n = -2*r + 22. Is 478/n - 4/6 a prime number?
True
Let k(m) = -m**3 - 5*m**2 + 5*m - 4. Let s be k(-6). Suppose 2*o - 30 = 3*x, 0 = -0*o - s*o - 5*x + 62. Let v = o + -2. Is v a prime number?
True
Suppose 6*v - 3*k = 3*v + 1749, -2*v + 3*k + 1166 = 0. Is v a composite number?
True
Let u = -5 - -8. Let c be 3/(2*u/(-54)). Is (-249)/c + 4/(-18) composite?
True
Let h(z) = -z - 1. Let t be h(-2). Let u be 2 + t + 0/2. Suppose c + u*c + 114 = 5*n, 0 = -4*c + 16. Is n composite?
True
Suppose -g + 6*g - 1060 = 0. Let k = g - 123. Is k a prime number?
True
Let u(c) be the third derivative of c**4/12 - c**3/3 + 3*c**2. Let t(d) = 4*d - 4. Let m be t(3). Is u(m) a prime number?
False
Let i = -50 - 33. Let k(g) = 4*g**2 - 7*g + 1. Let o be k(-5). Let n = o + i. Is n prime?
True
Suppose 0*u - 10 = -5*u. Suppose 6 - u = 2*d. Suppose d*m - 62 = -4*x, 0 = -4*x + 3*x + 4. Is m a composite number?
False
Let i(q) be the first derivative of -47*q**2/2 + 17*q - 6. Is i(-12) a composite number?
True
Let d(o) be the third derivative of 1/6*o**3 - 1/3*o**4 - 2*o**2 + 0*o + 0. Is d(-3) composite?
True
Let p be (-4)/(-1*2) - -3. Suppose -443 = -p*g - 0*h + 4*h, g + h - 94 = 0. Suppose 5*y - 455 = -3*j, y + 0*j = 2*j + g. Is y a composite number?
True
Let t(n) = 3*n. Let l be (-2)/3 + 100/15. Let c = l - 1. Is t(c) a composite number?
True
Suppose -2*i = -z + 80, 2*z + 6*i - 196 = i. Suppose -5*c - 3*l = -251, -69 - z = -3*c - 5*l. Is c prime?
False
Suppose w - 3*c = -3*w + 101, 4*c = -12. Is w a composite number?
False
Let r(y) = y**3 - 9*y**2 + 9*y - 3. Let g be r(8). Is g/(-10) + (-255)/(-2) prime?
True
Suppose -3*x - 432 = -t, -t + 630 - 202 = -4*x. Is (4/(-6))/((-8)/t) a prime number?
True
Let k be 1/3*1*9. Suppose 955 = k*a + 2*a. Is a composite?
False
Let y(j) = 3 + 12*j**2 - 2 + 0. Suppose g = -g - 4. Is y(g) a composite number?
True
Let j be -1*(-2 - -2) - -4. Let u(g) = 8*g - 1. Is u(j) a composite number?
False
Suppose -17 = -3*y + 22. Suppose -4*n - 41 = -i + y, 0 = 3*n + 6. Suppose -2*p + i + 24 = 0. Is p a prime number?
False
Suppose 5*g = 4872 + 2023. Is g prime?
False
Let g be (-2)/(-8) + (-22)/(-8). Suppose -260 = -5*q + v, -2*v - 144 = -g*q + v. Is q composite?
False
Let m be (7 + -8)/((-2)/24). Let i be -4*(-2)/(-4) - m. Let f = 69 - i. Is f prime?
True
Is (0 - 2/(-4))*154 a composite number?
True
Suppose 38 = -3*t + 2. Let m(j) = 2*j**2 - 18*j - 5. Is m(t) a composite number?
False
Is -613*(2/(-2) - 0) a composite number?
False
Suppose 0 = 5*c - 0 - 25. Suppose -2*o + 3*j = -227, 3*j + j = -c*o + 533. Is o prime?
True
Suppose -116 = -3*c + 679. Suppose 3*b = 4*b - c. Is b composite?
True
Let x(a) = 25*a**2 + 7*a + 7. Is x(-4) a prime number?
True
Let q(w) = -13*w + 5. Is q(-4) a composite number?
True
Suppose -5*i - 1 = -6. Let y(m) = 95*m**2 - m + 1. Is y(i) prime?
False
Let v(k) be the second derivative of k**5/10 + k**4/3 - k**3/2 - 2*k**2 + 2*k. Let l(b) = 3*b**3 - b**2 + 1. Let q be l(1). Is v(q) prime?
False
Suppose 2*p = 6*p - 120. Let j = 52 - p. Is j a composite number?
True
Suppose 0*b + 4*b = 2236. Is b prime?
False
Let n = -573 - -866. Is n prime?
True
Suppose 2*x + 3*x + 5 = 0. Let t(q) = -58*q - 1. Is t(x) a prime number?
False
Suppose 1 = 5*p - 4*d - 30, 28 = 4*p - 4*d. Suppose 2*f - 5 - 2 = -p*u, 0 = u + f - 4. Is u/(-1) - 2 - -14 composite?
False
Let c(q) = -q**3 + 7*q**2 + q - 4. Let g be c(7). Suppose 0*t + g*t = 555. Is t a composite number?
True
Let j = -4 - 0. Let s = 5 + j. Is (s - 1) + 25/1 a composite number?
True
Let r be (-1*27)/((-1)/(-43)). Let q = 1893 + r. Is 4/10 - q/(-20) a prime number?
True
Let k = 955 - 546. Is k a composite number?
False
Suppose -2*g + 1735 = 5*l, -4*g + 1388 = 4*l - 7*g. Is l a prime number?
True
Let r = 3 - -4. Suppose 0 = -5*y + 3 + r. Is y composite?
False
Let o be (-36 + -7)/(1*-1). Suppose -h + 46 = -o. Is h a prime number?
True
Suppose -4*j + 9 + 11 = 0. Suppose -l - 5*n - 4 + 54 = 0, -j*l + 160 = -5*n. Is l a prime number?
False
Let p = 16 - 11. Suppose 0 = -i + p*i + 44. Let r = 44 - i. Is r prime?
False
Let m(n) = 153*n - 28. Is m(7) composite?
True
Suppose 2*j = -2*n - 8, 4 + 4 = -2*n. Suppose j = 3*c - 0*c - 273. Let h = 128 - c. Is h composite?
False
Suppose 7*q - 4213 = 4096. Is q a prime number?
True
Let v = -8 + 8. Suppose 0 = -5*p - 6*g + g + 110, v = 5*p - 4*g - 101. Is p a composite number?
True
Let z = -159 + 305. Is z a prime number?
False
Let u = -8 - -2. Let w(a) = a**2 + 7*a + 9. Let z be w(u). Suppose z*o - 632 = 73. Is o composite?
True
Suppose -v = 5*f - 18, 5*f = v + 2*f + 6. Suppose -3*u - 4 = -v*j - 1, 5*j - 55 = -5*u. Suppose 2*z = z + j. Is z prime?
False
Let h = 64 - 46. Is 2038/18 - 4/h composite?
False
Suppose 5*s - 3*u = -875, 3*s - 3*u + u = -526. Let f = -87 - s. Is f a prime number?
False
Let x = 104 - 71. Let n be 6/x + (-68)/11. Let s(k) = k**3 + 7*k**2 + 4*k + 9. Is s(n) a prime number?
False
Suppose 7*h - 2*h - 1965 = 0. Is h prime?
False
Suppose 1119 = 2*r + r. Is r a prime number?
True
Suppose -2*i = 2*i - 16. Suppose -i*o + 13 = -63. Is o a composite number?
False
Let t be 10*3*6/(-45). Let o = 15 + t. Suppose 0*s = s - o. Is s a prime number?
True
Let q(d) = -53*d + 8. Is q(-7) composite?
False
Let p(v) = 59*v - 12. Let k be p(8). Suppose 5*u = 2*y - 230, 0*y = -4*y - 5*u + k. Is y a composite number?
True
Let h = 2712 - 1925. Is h a prime number?
True
Let h(k) = 213*k + 15. Is h(6) a prime number?
False
Suppose 0 = -4*g + 112 - 2644. Let t = -422 - g. Is t a prime number?
True
Let f(h) = -18*h**3 + 3*h**2 + 5*h - 5. Is f(-3) a composite number?
True
Let a = 21 - 49. Let q = a + 62. Is q a composite number?
True
Let i(f) = -f**2 - 12*f - 7. Let n be i(-9). Suppose -3*q + 305 - n = 0. Is q prime?
False
Suppose 6*q = 3*q. Suppose q = 2*u + u + 4*i - 115, 0 = -5*u - 2*i + 173. Let n = -22 + u. Is n a composite number?
False
Let v be -4*1/(-4) + 1. Suppose 0 = -5*i - y + 2075, -2075 = -7*i + v*i + 5*y. Is i a prime number?
False
Let u(y) = -y**3 + 7*y**2 - 5*y + 5. Suppose 4*f + 12 = 6*f. Is u(f) a prime number?
True
Let g = -21 + 30. Suppose 4*c - 3 = g. Suppose -6 = -i - 2*d, i - 1 = -c*d + 3. Is i a composite number?
True
Let u = -574 + 828. Is u prime?
False
Suppose 3*o - 584 = 301. Is o prime?
False
Let p be -3 + (-6)/(-2) + 3. Let a(b) = -b**2 + 2*b + 3. Let h be a(p). Suppose -q - 4*q + 665 = h. Is q prime?
False
Let v be (-4)/(-18) + (-64086)/(-54). Suppose -5*i = 5*l - 1465, -4*l - 2*i + 3*i = -v. Let o = l - 81. Is o prime?
False
Let o(r) = -r + 11. Let k be o(6). Suppose 5*x + 48 = 4*g - 25, 0 = -k*g + 5*x + 85. Let s = g + 9. Is s a composite number?
True
Suppose -4*w - 2 = -5*w. Let k(q) = q + 0 + q + w - 3. Is k(4) prime?
True
Let u(t) = 77*t + 1. Let o be u(1). Let k = 93 + -149. Let c = k + o. Is c a composite number?
True
Suppose 0 = a - 5*r - 2853, -2*a - a = 2*r - 8593. Is a a composite number?
True
Let i = -10 - -13. Is i composite?
False
Let r = -582 + 1123. Is r a composite number?
False
Let l = -122 + 283. Is l prime?
False
Let k(r) be the third derivative of -r**4/24 + r**3/2 + 2*r**2. Let v be k(0). Suppose 0*z + 82 = v*z + 5*u, 4*u = 20. Is z composite?
False
Suppose -5*p - 2*u + 10 = 0, 0 = 4*p - 2*p + u - 5. Suppose -s = -p*s - 53. Is s a composite number?
False
Suppose 0 = -4*u + 5*u. Suppose u = -2*b - 3*b + 55. Is b a prime number?
True
Let q(h) = h**3 - 3*h**2 - 6*h + 4. Let n be q(4). Let p(f) = -2 - 5*f + f - 1. Is p(n) prime?
True
Suppose -4*k + 3*x = -x - 1568, -6 = 2*x. Is k a composite number?
False
Let b(y) = y**2 + y + 2. Let j be b(-2). Let a(k) = 10*k**2 + k - 5. Is a(j) a prime number?
False
Let r(t) = -t**3 - t**2. Let b(v) = 80*v**3 + 4*v**2 - 1. Let x(a) = b(a) + 2*r(a). Is x(1) composite?
False
Let j(s) = -s**2 + 19. Let v be 32/(-12)*3/(-2). Suppose q + v*q + 2*u - 6 = 0, 2*q + 2*u - 6 = 0. Is j(q) prime?
True
Suppose -6*t + 4*t = -148. Is t composite?
True
Let b(z) = z. Let g be b(3). Suppose 16 = 5*y + 3*w - 5*w, 5*y = g*w + 14. Suppose y*s + v - 85 = 0, -2*s - 3*v + 47 =