-3). Is (41/n)/(1/4) composite?
True
Let q = 236 + -130. Let o(b) = b**3 - 5*b**2 - 5*b - 6. Let k be o(6). Suppose -4*y - q + 613 = -v, k = y - 2*v - 125. Is y a composite number?
False
Let o(w) = w**3 - w. Let b be o(-1). Suppose 5*j - 15 = -4*q + 5, 3*j = -5*q + 12. Suppose -2*r + 5*g + 23 = q, 4*r + g + 9 - 88 = b. Is r a composite number?
False
Let d(t) = 2*t + 0*t - 4 - t**2 + 4*t**2 - t**2 + t**3. Let c(y) = 2*y**3 + 3*y**2 + 2*y - 3. Let k(j) = 2*c(j) - 3*d(j). Is k(5) prime?
False
Suppose -5*u - 26 = 2*r, u - 76 = 4*r - u. Suppose 0 = -5*b + 130 + 25. Let n = r + b. Is n a prime number?
True
Let r = 671 - 448. Suppose -5*b - r + 858 = 0. Is b a composite number?
False
Suppose -4*b + 4*u + 13528 = 0, b = 3*b + 5*u - 6729. Is b a prime number?
False
Let a = 185 + -277. Let c = a - -202. Suppose -d - c = -6*d. Is d composite?
True
Is 7120/(-3 - -7) - -3 composite?
False
Let t = -7 - -13. Suppose -t*b = -4*b - 234. Suppose -2*h + 41 = -b. Is h a composite number?
False
Let v = 2 + 3. Suppose 249 = -2*m + v*m. Is m a prime number?
True
Suppose 4*y = -4*v + 356, -4*y = -2*y - 8. Is v prime?
False
Suppose 72 = -0*x + 4*x. Suppose -4*d - 8 = -6*d, 3*d = -3*t + x. Suppose -4 = 2*v, 9*v - 4*v = t*p - 28. Is p prime?
False
Let v be 19/4 - 1/(-4). Suppose -v*i + 9 = -6. Let x(z) = 3*z**2 - 2*z. Is x(i) prime?
False
Let n(c) = -c**3 + c**2 + 4*c + 11. Let x be n(-8). Suppose 4*d + d - x = 0. Is d prime?
False
Let l(f) = -f. Let w be l(-3). Suppose 266 = w*g - 337. Is g a prime number?
False
Let p(k) be the second derivative of -331*k**3/6 + 4*k**2 + k. Let c be p(-6). Let u = c - 1413. Is u a composite number?
True
Let g(i) = 4*i + 9. Let a be g(-10). Let u = a + 82. Is u composite?
True
Let i(p) = 27*p - 2. Is i(3) a prime number?
True
Let v(f) = -f**3 - 6*f**2 - 5*f + 1. Let m be v(-5). Let g be m/(-4) + 61/4. Let d = g + -8. Is d a prime number?
True
Suppose -5*j + 3 = n + 3*n, 2*j = -5*n - 9. Let a(x) = -x**3. Let o(i) = -5*i**3 + 2*i - 1. Let p(v) = 3*a(v) - o(v). Is p(j) a composite number?
True
Suppose -4*n = 4*s + 325 - 2181, -3*s - 2304 = -5*n. Suppose 0*h + 3*i = -3*h + n, -3*h + i = -474. Is h a prime number?
True
Let a be -442 + -3 + (4 - -2). Let k = -308 - a. Is k prime?
True
Suppose 1 = -2*j - 1. Is (257*(-3 + 2))/j a prime number?
True
Let z be ((-884)/(-65))/((-1)/(-20)). Let b = z + -145. Is b a prime number?
True
Suppose 0*w + 117 = 5*r - 2*w, -5*w = 5*r - 145. Suppose -5*i - r = -4*b, 7*b + 4*i - 21 = 2*b. Let f(j) = 3*j**2 - j - 3. Is f(b) a prime number?
True
Let l(f) = -f**2 + f + 1345. Is l(0) a prime number?
False
Suppose 5*q = -2*t + 174, 0*q + 397 = 5*t + 3*q. Let i = 160 - t. Is i prime?
True
Suppose -7*q = -2*q + 60. Let n be 2/((q/15)/(-2)). Suppose n*s - 3*o = 2050, -5*s + 5*o = -3*s - 801. Is s a composite number?
True
Let f be 22/(-6)*1*-3. Let t = f - 1. Is t composite?
True
Let z(r) = r**2 + 2*r + 1. Let h be z(-3). Suppose -i = 2*i + 4*b - 237, h*b - 154 = -2*i. Is i prime?
True
Let w(g) = -3*g**2 - 5 - 4*g - 6*g**3 - 2 + 1 + 4. Suppose 4*b - 6*b = 6. Is w(b) a prime number?
False
Suppose 0*i = -i + 5. Suppose 3*r = -5*o + r + 850, i*r = 0. Suppose 80 = 5*g - 5*q - o, 5*g - 259 = 2*q. Is g composite?
False
Let s(v) = -v**3 + 2*v**2 + v. Suppose 0 = 3*w + 4 + 5, -2*g = w + 5. Let b be s(g). Suppose b*u - 3 - 19 = 0. Is u prime?
True
Let h(t) = -t - 1. Let j be h(-5). Suppose 2*x - 1486 = 3*v - 4*v, j*x + 3*v - 2968 = 0. Is x prime?
False
Let q be 0 - (-2 - (0 - -3)). Suppose q*u - 88 = u. Suppose 0 = 3*x + v - u, 5*x - v + 4*v = 42. Is x a prime number?
False
Let u be -2*(-2)/8*-10. Let r(k) = 8*k + 5*k**3 - 3*k**3 - k**2 + 7 - 3*k**3. Is r(u) composite?
False
Suppose -6*n + 233 = -709. Is n a composite number?
False
Let y(f) = 17*f**2 - 6*f + 15. Is y(-8) a prime number?
True
Suppose 4*q + 5*a - 13 = 24, q - 3*a + 12 = 0. Suppose 0 = -q*p + 4*o + 47, 3*p + 3*o - 12 = -0*p. Is ((-231)/p)/(2/(-6)) a composite number?
True
Let g = 1 - -2. Suppose -t - 3*r = -0*t - 16, -g*r = 2*t - 44. Suppose -t + 84 = 4*o. Is o a prime number?
False
Suppose g - 4*g = m - 20, 4*g + m = 25. Suppose 22 = -g*o + 7. Is (-89)/((-1 - -3) + o) composite?
False
Let u(q) = 9*q**2 + 81*q**2 + q + 8*q**2 - 6*q**2. Is u(1) a prime number?
False
Let y = 7 - 12. Is (y/(-4))/((-3)/(-276)) a prime number?
False
Is 477/5 - (-16)/(-40) composite?
True
Let p(i) = -2*i**3 + i - 3. Let r be p(-4). Let z(a) = 6*a**2 + 9*a + 8. Let l be z(-6). Let g = l - r. Is g a composite number?
True
Let y be (-1)/4 - 101/(-4). Suppose -3*d - y = 2*z, 2 = -2*d + 3*z + 7. Is (66/d)/((-4)/10) prime?
False
Let x = -76 - -333. Is x prime?
True
Let f(s) be the first derivative of -s**4/4 + 3*s**3 + 7*s**2/2 + 4*s - 1. Let k(b) = -10*b - 1. Let q be k(-1). Is f(q) a prime number?
True
Let y(o) = -273*o - 5. Is y(-2) a prime number?
True
Suppose -42 = -4*h + 42. Is h prime?
False
Let y(x) = -6*x + 1. Suppose c - w = -4*c + 7, 5*c = -4*w + 22. Suppose 15 = -v - c*v. Is y(v) prime?
True
Suppose p - 6 = 4*p. Let j be -336 + 1 + p/(-1). Is 2/3*j/(-6) prime?
True
Let v(z) = -z**2 - 7*z - 4. Let y be v(-6). Suppose o - 4*s = -7, o + 3*s + 21 = -y*o. Let p = 8 - o. Is p a composite number?
True
Let a = -1639 + 4142. Is a a prime number?
True
Let g(m) = m**2 - 2 + 6*m**3 - m**2 - 4*m**2 + m. Is g(3) a prime number?
True
Let h = -2 - -5. Let z be (h/(-1))/3 + 3. Is ((-1)/(-3))/(z/498) a composite number?
False
Suppose -5*t - s - 316 = 0, 5*s = -2*t + s - 130. Let g be ((-20)/3)/((-1)/21). Let j = g + t. Is j composite?
True
Let l(b) = -b**3 + b - 1. Let n(r) = -6 + 86 + 0*r**3 + r**3 + r**3 - 2*r. Let o(g) = l(g) + n(g). Is o(0) a prime number?
True
Is (-27685)/(-21) - (-2 - 8/(-6)) a composite number?
False
Let m(d) = d - 3. Let y be m(5). Is y/3 + (-1194)/(-18) composite?
False
Suppose h + 1228 = 5*h. Suppose -5*z + 0*z = -2*c + 614, c - z = h. Is c composite?
False
Let q(d) = -147*d + 13. Is q(-12) a composite number?
False
Let j = -387 + 1316. Is j a prime number?
True
Let t = 452 + 345. Is t prime?
True
Let a = -36 - 4. Suppose -3*t = 2*p + 73, -2*t - 101 = t - 5*p. Let g = t - a. Is g a composite number?
False
Suppose i + 0*i + 3 = 4*k, -2*k = -2*i + 6. Suppose -h = 4*s + 6, 20 + 4 = h - k*s. Is 525/h - (-2)/4 a composite number?
True
Let g(k) = 4186*k**2 - 2*k + 3. Is g(1) a prime number?
False
Suppose 8*m - 4*m = 100. Suppose p = -4*p + m. Is 189/5 + 1/p prime?
False
Let a(b) = b**2 - 4*b + 3. Let d be 2/(-6) - (-22)/(-6). Is a(d) a composite number?
True
Let u = -321 - -1228. Is u composite?
False
Suppose i - 3 + 1 = 0. Suppose -i*f - 3*f = -25. Suppose f*u = -15, 0*d + 2*u - 30 = -4*d. Is d prime?
False
Let n(k) = -26*k. Let u be n(-5). Let p = u + 13. Is p a composite number?
True
Let o(n) = -6*n**2 + 5*n - 6. Let r be o(5). Let l = -401 + 127. Let u = r - l. Is u a composite number?
True
Let d(f) be the first derivative of 3*f**5/10 + f**4/8 + f**3/2 + f**2/2 - 3. Let b(n) be the second derivative of d(n). Is b(-2) composite?
True
Let q(b) be the first derivative of b**2/2 - 148*b + 3. Let x be q(0). Is (-2)/(-1)*x/(-8) prime?
True
Let r(t) = 106*t**3 - 3*t + 1. Is r(2) composite?
True
Let h(s) = 3*s**2 - 2*s - 1. Suppose 3*g = 19 - 7. Suppose -4*m + g = -4. Is h(m) a composite number?
False
Let m be (-10)/(-15) - 26/(-6). Let h = -5 + m. Suppose -117 = -3*p - h*p. Is p composite?
True
Is 564 - -2 - -2 - -5 a prime number?
False
Suppose -4*r + 2 = -3*g + 9, -4*r - 2 = 2*g. Let l = r - -2. Let v = 13 + l. Is v composite?
True
Let i(q) = -2*q**3 - 4*q**2 - q + 2. Let o be i(-2). Is 20/5*2/o prime?
True
Let l(y) = 2*y**3 - 2*y**2 + 3*y + 1. Let b = -2 + 6. Is l(b) a composite number?
False
Is 264 + ((-3)/(-1) - 2) prime?
False
Let m(u) = u**3 - 5*u**2 + u + 5. Let h be m(5). Suppose j + h = 2*j. Is j a composite number?
True
Suppose -3*y = -y - 266. Let p = y + -209. Let f = -23 - p. Is f composite?
False
Let i = -1 - -1. Suppose -7*z + 5 = 138. Let q = i - z. Is q a composite number?
False
Is 191 + 0 - (-3 + 7) a composite number?
True
Let z(c) = -c + 4. Let n be z(5). Let u(p) = 110*p**2 + p + 2. Is u(n) a composite number?
True
Suppose -5*w - 2 = -4*w. Is 92 + 1*(1 + w) prime?
False
Is 3/(-2)*1270/(-15) prime?
True
Let r = -1 + -3. Let d be 3/6 + (-26)/r. Let t = 4 