et c(v) = -v**3 - 3*v**2 + 6*v + 1. Is c(p) prime?
True
Suppose 0*b = 3*b - 15. Let p(d) = 2*d**3 - 4*d**2 - 4*d + 5. Let g be p(6). Suppose -g = b*c - 1284. Is c composite?
True
Suppose 0*r = 5*r - 15. Suppose -108 = -r*p - 2*l + 3*l, -l - 143 = -4*p. Is p a composite number?
True
Suppose -z - 4*k = -0*z - 651, 3*z + 3*k = 1908. Is z a composite number?
False
Let v = 931 + 332. Is v a prime number?
False
Let d(g) = 6*g - 1. Suppose 0 = 2*q - 3*y + 8*y + 5, -5*q = -y - 28. Suppose 3*t - 16 = -4*p, 0*p = -q*t + 3*p + 17. Is d(t) composite?
False
Suppose 2*j + 2*j - 1387 = -3*p, -3*p = 5*j - 1382. Is p prime?
False
Let p = 132 + 287. Is p composite?
False
Suppose -u + 36 = -5*u. Let a(b) = -7*b + 2. Let z(q) = -7*q + 1. Let d(v) = 5*a(v) - 4*z(v). Is d(u) prime?
False
Suppose 2*d - 133 - 218 = p, 5 = p. Is (-9)/15 + d/5 a composite number?
True
Suppose 2*n - 4 + 0 = 0. Suppose -2 = n*h + 4, 0 = 3*j - 3*h - 1068. Is j composite?
False
Let h = 58 - 21. Is h composite?
False
Let n(q) = 2*q - 8. Let o be n(5). Suppose -3*i - 4*f - 98 = -739, o*i + 4*f = 430. Is i a composite number?
False
Let m = -11 + 14. Suppose 0 = d + 2*y - 669, -7*y + m*y + 2005 = 3*d. Is d composite?
True
Let n(l) be the second derivative of 0 - l - 1/20*l**5 - 3/2*l**2 + 0*l**4 + 1/3*l**3. Is n(-4) a prime number?
True
Let c be 2/(-4) + 2555/2. Suppose 17 - 1 = 4*d, -c = -3*u - 5*d. Is u prime?
True
Let k(t) be the third derivative of 0 + 2*t**2 + 0*t - 3/2*t**3 - 5/24*t**4. Is k(-8) a prime number?
True
Suppose -399 = -b - 4*g, b - 6*g + 3*g - 392 = 0. Is b prime?
False
Let m = -6 + 2. Is ((-62)/m - -1)*2 a composite number?
True
Let j be (36 - -8)/(4/34). Let i = j + 45. Is i a prime number?
True
Suppose 6 = -k + 5*x + 1, 0 = k + 2*x - 9. Is (k/2)/(3/42) a prime number?
False
Suppose -25 + 0 = -5*k, -2*n + 3045 = -5*k. Is n composite?
True
Let f(j) = -2*j**3 - 5*j**2 + 5*j + 5. Let t = 1 + -5. Let x be f(t). Suppose -5*m + 2*m + x = 0. Is m prime?
True
Suppose 0*h - 5*h - 17 = -b, -5 = -h - 4*b. Is (29/h)/((-1)/51) a prime number?
False
Let k(n) = -20*n + 5. Let q(p) = -59*p + 14. Let o(j) = -17*k(j) + 6*q(j). Is o(-7) prime?
True
Let v = 31 - -16. Is v a prime number?
True
Let d(h) = h**2 + 4*h + 5. Suppose -3*z + 25 = -8*z. Is d(z) a composite number?
True
Suppose 4*a - 3088 = 324. Is a a composite number?
False
Let a(s) = 1985*s**3 - 2*s + 2. Is a(1) composite?
True
Suppose 3*u - 3*w + 2 = -1, -2*u + 5*w - 11 = 0. Suppose -u*y + 4 = -0. Is y/10 - 114/(-5) composite?
False
Is 1273 + ((-7)/35 - (-3)/15) a prime number?
False
Let b = 2675 - 358. Is b a prime number?
False
Let i(q) = -7*q + 29. Is i(-12) prime?
True
Suppose -p = -5*p + 3*t + 8188, -t + 6141 = 3*p. Is p prime?
False
Let q(d) = -3 - 2*d + 0*d - 2*d + d + d**2. Suppose 4*b - 25 = -b. Is q(b) a composite number?
False
Let l be (-2)/4 + (-369)/(-6). Let f = -40 + l. Let u = 30 + f. Is u a prime number?
False
Suppose -15 + 5 = 5*c. Let w = -10 - -16. Is (2/w)/(c/(-150)) composite?
True
Let y be (-56)/(-21) - 4/6. Let a be (8/20)/(y/(-10)). Is a/8 - 85/(-4) a prime number?
False
Let j(p) = p**3 - 3*p**2 - 9*p + 8. Is j(9) prime?
False
Let n be (-2)/(154/78 - 2). Suppose n = i + 4*z, 5*i - 2*z = 2*i + 220. Is i prime?
False
Let f(y) = -28*y + 1 - 11*y + y. Is f(-3) a prime number?
False
Let q be 14/10 + (-6)/15. Let b be 0/((1 + q)/2). Suppose -p + 28 = -b*v + 3*v, -2*p + 36 = 4*v. Is v a prime number?
False
Suppose 0 = 5*h + 3 + 17. Is (207 - h)*-1*-1 prime?
True
Let m = -155 + 381. Is m prime?
False
Is (1*(0 + -1))/1 - -670 composite?
True
Is (-10)/15*(-138)/4 a composite number?
False
Let c = -307 + 208. Let l = -37 + -27. Let z = l - c. Is z prime?
False
Let g = 4 + -2. Let u(s) = s**3 + 4*s**2 - 5*s + 3. Let b be u(-5). Suppose 0 = -b*m + l + 23, m + 2*m + g = -4*l. Is m a prime number?
False
Suppose 0 = 5*h - 5*v - 1703 - 62, 4*v = 16. Let b = -226 + h. Is b composite?
False
Suppose -141 - 1115 = -8*x. Is x prime?
True
Suppose 5*n = n + 2*l + 16, -4 = -n - 5*l. Suppose z = n*z. Is 14*(z + 9/6) composite?
True
Suppose -2*t + 540 = -2*y - 336, 4*y - 870 = -2*t. Is t composite?
True
Let w(j) = -2*j - 6. Let c be 3/(-12) - 23/4. Is w(c) a composite number?
True
Is ((-9)/6)/(3/(-2722)) prime?
True
Let c(x) = 103*x + 5. Suppose -5*o = -13 - 2. Is c(o) a prime number?
False
Let s be 5 - 3*(-2)/(-6). Suppose 0 = u + 4*b + 4, 3*u + 4 + 0 = -s*b. Let t(y) = y**3 + y**2 + y + 133. Is t(u) composite?
True
Let m = 115 + 468. Is m a prime number?
False
Is ((-5877)/36)/((-2)/40) a composite number?
True
Let f(j) = j**2 - 2*j - 2. Let q be f(5). Suppose 0 = 3*n + 24 - 6. Let s = q + n. Is s prime?
True
Let l = -1527 - -2586. Is l a prime number?
False
Let a = -147 - -257. Suppose a = 2*o - 0*o. Is o composite?
True
Let j(l) = -7*l + 2. Suppose 0 = 4*h + 8, -f - 2*h + 4 - 6 = 0. Let b be 16/10*(-10)/f. Is j(b) prime?
False
Suppose -4*w = -3*j + 5, -w - 2*j = -10 + 3. Suppose -5*q + 15 - 396 = -b, -b + w = 0. Is q/(-5) - 2/10 prime?
False
Let q = -22 - -31. Let x(k) be the third derivative of k**6/120 - 3*k**5/20 + 5*k**4/12 + k**3/6 + 8*k**2. Is x(q) a composite number?
True
Is (1 - -212) + (-2)/1 a composite number?
False
Let c(y) = -y**3 + 11*y**2 + y + 8. Is c(9) a prime number?
True
Let o = -923 - -1492. Suppose -3*x - j - o = -204, -139 = x - 4*j. Is 2*-1 - x/3 composite?
True
Let f(r) = 3*r**2 - 4*r + 4. Is f(5) prime?
True
Suppose 2*i - 4*i + 4*r + 2710 = 0, -3*i = 4*r - 4095. Is i prime?
True
Let h(u) = u**2 - 6*u + 2. Let r be h(6). Suppose 4*p = -5*l + 245, -2*l - 2*p + 196 = r*l. Is l a prime number?
False
Suppose -2*h + 3*h = 2. Suppose 0 = -h*a - 8 + 162. Is a a composite number?
True
Suppose -2*a = -a + 3*q - 79, 0 = -4*q + 12. Suppose 3*z - 2*l = -z + a, 5*z + 3*l = 115. Suppose -2*u = 2*m - 20, -2*u = 2*u + z. Is m a composite number?
True
Is (-10)/(-20)*(195 - 1) composite?
False
Let q be 1 + -4 - (-2 + 106). Let a = 234 + q. Is a a composite number?
False
Let j be (4 - 1)/(1/1). Suppose -3*f = 2*f + 3*m - 155, 2*f = j*m + 62. Is f composite?
False
Let g be (2 - 1)*(-2)/2. Let m be 1*g*(-9)/3. Is (-19 - m)/(4/(-10)) a prime number?
False
Let b be (-10)/45 + (-94)/(-18). Suppose 763 - 313 = b*q. Suppose 0*a - 2*y - q = -4*a, -39 = -2*a - y. Is a prime?
False
Let y(f) = 2*f**3 - 3*f**2 - 2*f + 3. Let m be y(4). Let n be (-1)/((-20)/(-18) + -1). Is m*((-12)/n - 1) a prime number?
False
Suppose 5*x + 6*i - 8181 = 8*i, -i = -2*x + 3272. Is x prime?
True
Let v be 8 + (-3 - 1 - -2). Suppose -d = -4*o + 556, 417 = 3*o - v*d + 2*d. Is o a prime number?
True
Let y = -7 + 4. Let d(n) be the first derivative of -n**4/4 - n**3 - 3*n**2/2 - 3*n + 1. Is d(y) prime?
False
Let g(d) = -4 + 3 - 3*d**2 + 2*d**3 + 5. Let r(u) = u**3 - u**2 + u + 1. Let s(h) = -g(h) + 3*r(h). Is s(2) a prime number?
True
Is (-7)/14 + (-6)/4 + 25 a composite number?
False
Let u = 11 - -83. Let r = 161 - u. Is r prime?
True
Let a = 5 + -17. Is a/4 + 3 - -205 prime?
False
Suppose 5*d + 5560 = 5*v, 0 = -16*v + 13*v - 4*d + 3315. Is v prime?
True
Is ((-49)/4)/((-5)/1700) + -3 a prime number?
False
Suppose -3*z = -4*s + 3*s - 3626, 1197 = z + 2*s. Is z prime?
False
Suppose 1 = m - 0. Let v be 1 - -1*(0 + m). Suppose -a = -0*k + 4*k - 143, 0 = -5*k - v*a + 175. Is k prime?
True
Let i = -31 + 158. Is i a prime number?
True
Suppose -532 = -3*j - j. Is j a prime number?
False
Suppose 3*p = -2*p + 5*v + 2525, -4*v = -3*p + 1514. Suppose -i = 4*l - p, i = -i - 4. Is l prime?
True
Let u(j) = j**3 - 8*j**2 + 6*j + 6. Let l be u(7). Is 1/(l*(-3)/381) prime?
True
Let y(u) = -u**2 - 8*u - 7. Let a be y(-7). Suppose -3*c - c + 644 = a. Is c a composite number?
True
Let c(d) = -d**2 + 14*d. Let g be c(14). Let w be 2/5 + (-28)/20. Is 1 - (g - w - 37) a composite number?
False
Let x(w) = -w**2 + 3 - 2 - 10*w + 6. Is x(-8) a prime number?
True
Let u be ((-4)/(-6))/((-2)/(-6)). Suppose u*s - 4*x = 42, -5*s + 98 = x - 4*x. Is s composite?
False
Let r(t) = t**2 - 8*t - 9. Let p be r(9). Suppose -58 = -k - 3*s, p*k - 52 = -k - 5*s. Is k prime?
True
Let i be (-1)/3 + 20/6. Suppose 105 = i*f + 2*f. Is f prime?
False
Let m(l) = 79*l. Suppose -4*y + 6 = 2. Is m(y) composite?
False
Let u(w) = -w**2 - 3*w - 3. Suppose 9 + 1 = -2*d. Let f(v) = 2*v + 2. Let s(p) = d*f(p) - 3*