 + 4465. Is v a prime number?
False
Suppose 4*q = 5*m - 253, -162 = -3*m - 4*q + 3*q. Is m prime?
True
Suppose 5*i - 3*j = -98, j - 56 = 3*i + 2*j. Let o = i - 14. Let f = 86 + o. Is f prime?
True
Let d(v) = -15 - 12 + 32 + 6*v + 7*v**2 - v**3. Let n be ((-7)/4)/(2/(-8)). Is d(n) composite?
False
Let a(v) be the second derivative of -v**5/20 + 2*v**4/3 + v**3/3 - 5*v**2 + 3*v. Is a(7) a composite number?
False
Is (-44)/22 - 421*(-1 + 0) composite?
False
Suppose -i + 51 = -w + 137, -3*i + 78 = w. Suppose -2*s + w = -270. Is s composite?
True
Let k(w) = 18*w**2 - 3*w - 4. Let x be k(-3). Let s = 44 + x. Is s composite?
False
Let o = 153 + 82. Is o composite?
True
Let g be 0/(2*2/4). Suppose o + 2*c - 5 = 0, -o + g*o - 3*c = 0. Is o a composite number?
True
Suppose 3*b - 2789 = -4*r, 4*r + 4*b = 5*b + 2809. Is r a composite number?
False
Let a = 47 - 32. Suppose 2*s + 3*s - a = 0. Suppose 0 = 2*x + s*x - 635. Is x prime?
True
Suppose 5*j - 1816 = -4*d, -d = 4*j - 83 - 382. Is d a composite number?
False
Let f(b) = 17*b**3 - 2*b**2 + 3*b - 3. Is f(2) a prime number?
True
Let p(s) = -s**3 - 3*s**2 - 2*s + 1. Suppose 2*h - 30 = -0*h. Suppose 7 = -2*l - 2*y + 1, -4*y - h = 5*l. Is p(l) a prime number?
True
Suppose -3*g = -4*g + 745. Is g a prime number?
False
Suppose -3*x = 5*m - 12 + 4, -m - 2*x = 4. Suppose v - m*q = 2*v - 47, -2*q = 3*v - 171. Is v composite?
False
Let s(x) be the third derivative of -x**6/120 - x**5/30 + x**4/6 + 2*x**2. Let r be s(-3). Is 1 + (60 - r - 2) prime?
False
Let w = 0 - -4. Suppose 30 = 2*m + w*d, 5*m - 3*d - 17 = 84. Is m a composite number?
False
Let x = -232 - -346. Suppose 3*r + 0*r - x = 0. Is r composite?
True
Let f be 3/(-1) - (-46)/2. Suppose 3*q - f = -q. Is (94/(-4))/(q/(-10)) composite?
False
Suppose 0 = -0*a - 2*a - 2*y + 392, y = 5*a - 950. Is a prime?
True
Let c = 1011 + -332. Is c a composite number?
True
Let h(o) = -o**2 + 2*o - 2. Let k(n) = -2*n**2 + 4*n - 3. Let s(u) = 7*h(u) - 4*k(u). Let p be ((-14)/35)/((-1)/(-5)). Is s(p) prime?
False
Let x(z) = -z**2 - 2*z - 2. Let y be x(-4). Let u be (-6)/5*y/4. Is ((-5)/2)/(u/(-12)) a prime number?
False
Is (-16 - -13)/((-6)/1348) a composite number?
True
Let a = 128 + -91. Is a composite?
False
Suppose -11*h = -4*h - 13251. Is h a prime number?
False
Let a = 154 - -49. Is a a composite number?
True
Let j(b) = -3*b + 2 + 4*b - 30*b - 76*b. Let o be j(-2). Suppose 2*i = 6*i - o. Is i composite?
False
Is -5 + 233 + -2 - (2 - 2) prime?
False
Let b be 7/2 + (-1)/2. Let t be 2 + (-144*23)/b. Is 2/7 + t/(-14) a prime number?
True
Suppose -f = 3*z - 18, -4*z + 2*f = -2*f - 24. Let b(j) = -j**3 + 6*j**2 + 2*j - 9. Let y be b(z). Suppose 11 - 2 = y*g. Is g prime?
True
Let i(n) = -n**3 - 19*n**2 + 7*n - 21. Is i(-22) prime?
True
Suppose -m - m + 1542 = 0. Suppose -d - 2*d = -m. Is d a prime number?
True
Let k(y) = 3*y**2 - 5*y. Let z be k(4). Let s = -10 - 8. Let g = z + s. Is g prime?
False
Let x(c) = -2*c**3 + 2*c**2 + c. Let u be x(-1). Suppose 6*y - u*y = 207. Is y a prime number?
False
Suppose -84 = -3*t + 123. Is t composite?
True
Let c(k) = 4*k + 1. Let j be c(1). Suppose 0 = 5*t, -j*o + 2*t + 475 = -2*t. Is o composite?
True
Let r(y) = 18*y + 12. Let l(s) = -19*s - 11. Let i(h) = 3*l(h) + 2*r(h). Is i(-8) a composite number?
True
Is (136/24)/((-2)/(-318)) composite?
True
Let j(b) = 38*b**2 + 3*b - 3. Is j(2) prime?
False
Suppose 586 = 4*l - 2*l. Is l a composite number?
False
Suppose -4*c + 35 = c. Suppose 2*n = c*n - 10, 2*n - 20 = -o. Suppose -j + 15 + o = 0. Is j prime?
True
Let k(a) = 21*a - 1. Is k(14) a composite number?
False
Let y(s) = -73*s**2. Let n be y(-1). Let t = n + 214. Is t prime?
False
Suppose 2*t - 160 = -480. Is (-1)/3 + t/(-3) a composite number?
False
Is (1*-7)/((-9)/261) prime?
False
Suppose 0 = 2*v + 5*r - 64, -3*v + 0*v = 5*r - 101. Is v composite?
False
Let u = 7 - 3. Suppose 0 = -a - 5*x + 72, u*a + 2*x - 93 - 195 = 0. Suppose 22 = -2*h + a. Is h a prime number?
False
Let o = 1670 + -855. Is o a composite number?
True
Suppose -10*v + 412 = -8*v. Is v a composite number?
True
Let r(k) = k**3 - 7*k**2 - 4*k + 17. Is r(9) composite?
True
Let o(y) = -y**2 + 5*y + 4. Let u be o(5). Suppose 3*i + 3*r - 51 = 0, -7*r + 70 = 4*i - u*r. Suppose -3*n - i + 158 = -4*a, 0 = n - a - 48. Is n composite?
False
Let z(n) = 15*n**2 - 2*n + 1. Is z(1) a prime number?
False
Let o(z) = 31*z - 6. Is o(7) prime?
True
Let k(z) = z + 11. Let p be k(-6). Is (p/4)/(1/52) composite?
True
Let y = 13 - 10. Let n(b) = 3*b**3 - b**2 - 5*b + 2. Is n(y) composite?
False
Let g(b) = -b**3 + 4*b**2 + 2*b + 1. Let o be g(5). Is o/(((-8)/(-22))/(-2)) a composite number?
True
Let h = -1718 + 2947. Is h prime?
True
Is 0 - (-294 - 20/5) prime?
False
Let c be 7/(5 + -2 - 2). Let u(h) = 2 + 3*h**2 + c*h - 1 - 2. Is u(-6) composite?
True
Suppose 2*n - 5*g - 1911 = 0, -2*n + 3*g - 5*g + 1946 = 0. Suppose n = 5*t - 47. Is t prime?
False
Is (93/4)/((-3)/(-8)) a composite number?
True
Let l be (-3)/((-9)/(-3)) + -1. Let s(o) = o**3 + o**2 - 2*o - 1. Let y be s(l). Is 13 - (1 + y + 0) a composite number?
False
Is 3/(-4) - (-18974)/8 composite?
False
Let t(p) = p**2 + 28*p - 10. Is t(11) a composite number?
False
Suppose 5*a = 14495 - 4000. Is a prime?
True
Let d = -11 - -16. Suppose -44 = -d*x + 81. Is x composite?
True
Let q(c) = -c**2 + 1. Let i(y) = 4*y**3 - y - 7. Let g(f) = -i(f) - 3*q(f). Let s be g(-4). Let t = -177 + s. Is t a prime number?
True
Let r(a) be the first derivative of -7*a**2/2 - 3*a - 2. Let v(i) = -i. Let d(y) = r(y) + 4*v(y). Is d(-8) a composite number?
True
Let m(a) = -a**3 - 8*a**2 + 11*a - 7. Let d be m(-8). Is (0 - 2)*-1 - d composite?
False
Suppose 2*z - r = -1, -5*z = 3*r + 2*r + 10. Let g(l) = -l**2 - l + 3. Let u be g(0). Is (-159)/u*1/z prime?
True
Let h(c) = -29*c + 8. Is h(-15) prime?
True
Let q = -94 + 184. Suppose 3*l = 4*l - 21. Suppose -w = -q + l. Is w composite?
True
Is (-1992)/(-32)*184/6 a prime number?
False
Let h(r) = -1 - 2*r - r**2 + r + 2*r. Let b be h(3). Let y = b - -86. Is y composite?
False
Let t be 2/6 - 71/(-3). Let r be (2/4)/(3/(-84)). Let w = r + t. Is w a prime number?
False
Let i(n) = 136*n - 7. Is i(5) prime?
True
Let g = 36 - 5. Suppose 7*w + 0*w = 14. Suppose w*v - g = -5. Is v a composite number?
False
Let p = 980 + -657. Is p composite?
True
Suppose -3*c - 2 - 6 = -2*u, c = 0. Suppose r + 2*v - 3 = u*v, -5*r + 4*v + 27 = 0. Suppose -2*i - f = -71, 163 = 4*i - r*f + 2*f. Is i prime?
True
Suppose -2*u = -3*f - f + 27042, -5*f + 4*u + 33801 = 0. Is f composite?
False
Let t be 2 + 0 + 1 + 0. Suppose -3 = 2*m - 3*m. Suppose 2*z + 110 = m*r + t*z, 2*z - 146 = -4*r. Is r a prime number?
True
Suppose v + 0*v + 1 = 0. Let s be (-4)/v*19/4. Let g = 40 - s. Is g a prime number?
False
Let d(g) = -58*g**2 + 4*g + 4. Let i(j) = -j**2 + 1. Let c(k) = -d(k) + i(k). Is c(-2) a composite number?
False
Let s = 39 + -17. Is s prime?
False
Suppose 2*u + 222 = 5*u. Is u prime?
False
Suppose -g - 4 = 0, 2*g + 3*g = -3*k + 811. Let n = k + -120. Is n composite?
False
Let w(r) = -r**3 - 5*r**2 - r - 7. Let y be w(-6). Suppose -71 = -2*z + y. Suppose t = -0*t + z. Is t a composite number?
False
Suppose -2*s = -5*s + 15. Suppose 135 = 5*l - s*i, 4*l - i - 71 = l. Is l a prime number?
False
Suppose 4*l - 5*v + 21 = -4*v, -4*l + 5*v = 25. Let u(j) = -j**2 - 8*j - 5. Is u(l) composite?
True
Let u = 118 + -34. Let j = -59 + u. Is j a composite number?
True
Suppose 2838 = -18*m + 24*m. Is m prime?
False
Is 1*(81 + -2 + 4) a composite number?
False
Suppose 4*j - 816 = 4*q, -3*j = -5*q - 0*q - 1028. Let s be q/3 - 2/(-6). Is (s/(-5))/((-1)/(-5)) a composite number?
True
Let g be (-6)/(-12) - 1/2. Suppose -t + 18 = 2*i, t = 3*i - 17 - g. Let w = 14 - i. Is w a composite number?
False
Let r(b) = b**3 - 3*b**2 + 2*b - 2. Let v be r(3). Suppose j + v*j = 165. Suppose -2*h + j = -h. Is h a prime number?
False
Let r(j) = -2*j**3 - 11*j**2 - 4*j + 1. Let b(c) = -c**3 - 4*c**2 - c. Let u(y) = -8*b(y) + 3*r(y). Is u(2) a prime number?
True
Let i be 1*(1 + 0 - 0). Let b be (-1)/(i/16)*-1. Suppose 4*j - 156 = z + z, b = -4*z. Is j a composite number?
False
Let t = 0 + -1. Let z(y) = 2*y**2. Let b be z(t). Let c(o) = 18*o**2 + 2. Is c(b) a composite number?
Tru