s c(20) prime?
True
Let m = -38 + 42. Suppose -2*b + c + 2168 = -c, m*b = 2*c + 4330. Is b a prime number?
False
Let r be (-2)/(-6) - (-6)/(-18). Suppose r = 2*f + f. Suppose -i = -f*i - 254. Is i a composite number?
True
Let s = -13 - -15. Suppose 18 = -s*h - 134. Let v = h - -138. Is v prime?
False
Suppose -63767 - 145083 = -10*p. Is p a composite number?
True
Let p(s) = 2*s**2 - 11*s - 11. Let c(v) = 11*v**3 + 2*v**2 - 2*v + 1. Let u be c(1). Is p(u) a composite number?
True
Suppose -4*f + 2*o + o - 65 = 0, -o + 55 = -3*f. Is (f - -21)*(0 - -223) a prime number?
True
Suppose 2*n - 57 = -3*b, -2*b + 94 = 6*n - 2*n. Is 12732/42 + (-3)/n composite?
True
Suppose 12*i - 10907 - 1081 = 0. Let y = -445 + i. Is y prime?
False
Let z(w) = -2*w**3 + 61*w**2 + 2*w + 7. Suppose o = -11 + 41. Is z(o) composite?
False
Is (-11 + 258/24)*38968/(-2) prime?
True
Let r be (-16 - -2)*(-2)/7. Let k(b) = 2*b**3 + 12 - 3*b**2 - r*b**3 + 5*b**2 + 8*b + b**3. Is k(-7) prime?
True
Let d be -2*-1*(3/(-2) + 2). Let t(q) be the first derivative of 33*q**4/2 - 2*q**3/3 + q - 1. Is t(d) a composite number?
True
Let o(i) = -165*i + 41. Is o(-6) a composite number?
False
Suppose 4*l + 13855 = 5*z, 5559 = 3*z - z - 5*l. Is z a prime number?
True
Let r(t) = 4*t + 14. Let p be r(-6). Let q(o) = -o**2 - 11*o - 14. Let n be q(p). Is 1029/13 - n/(-26) a composite number?
False
Suppose 22765 = j - 4*g, 5*j - 58032 - 55749 = -2*g. Is j a composite number?
True
Is -6 + 7 + 739 + (-2)/2 prime?
True
Suppose 2*l + 7721 = 3*l. Is l a prime number?
False
Let z(d) = d**2 - d - 12. Let g be z(4). Suppose -3*i - 3449 + 29762 = g. Suppose 3*u + 4*u = i. Is u a prime number?
False
Suppose 2*v = 7372 + 20706. Is v a composite number?
True
Let l be (4284/14)/(4/18*1). Let z = 4144 - l. Is z a composite number?
False
Is 6 - (7 + 7390/(-5)) composite?
True
Suppose -5*j + 2*k = -85, 3*j + 2 - 42 = -k. Let w = -26 + j. Let u(x) = x**3 + 11*x**2 - 3*x - 14. Is u(w) prime?
True
Let o(i) = -4*i - 3. Let x be o(-2). Let p be (3/18)/((-25)/(-30))*0. Suppose -x*a + 0*a + 395 = p. Is a a composite number?
False
Suppose -2*y - 17047 = -5*p - 3246, -11033 = -4*p - y. Is p composite?
True
Suppose 3*o = p - 120, -7 = 2*p + o - 226. Suppose 794 = 5*k - p. Is k prime?
True
Let v(b) = 293*b**2 + b - 1. Suppose -2*l + 3*l - 2 = 0. Suppose l*u = 3*u + 2. Is v(u) composite?
True
Let u be 2 - (-3 + 1 + 0). Suppose 794 = u*b + s + 113, 156 = b + 5*s. Suppose -4*l = -b + 31. Is l composite?
True
Suppose -5*k + 7 = -28. Let h be k + 5/(5/(-2)). Suppose t + 5 = 0, 199 + 21 = h*s - 5*t. Is s a composite number?
True
Suppose 15 = -5*m - 20. Let t = m - -12. Let r(f) = -f**3 + 8*f**2 + 6*f + 4. Is r(t) a prime number?
True
Let s(y) = 9*y**2 - 11. Let b be s(7). Let i = b - 139. Is i prime?
False
Let o(u) = 3*u**2. Let c be o(1). Let r be (c/(-9))/((-1)/(-51)). Is r/((-37)/(-19) - 2) a prime number?
False
Let m(w) = -w**2 + 5*w + 8. Let v be m(6). Suppose 0 = v*d + 3*k - 19 - 108, 4*d = k + 233. Is d a composite number?
False
Suppose -4*p + 190 = -5*y, -190 = 5*y + 5*p - 7*p. Let h = 91 + y. Is h a composite number?
False
Let o(j) = 2*j**2 - 3*j - 2. Let c be o(-7). Let s be 18/c - (-4)/(-26). Suppose 0*k + 4*k - 204 = s. Is k a prime number?
False
Let u be (-10606)/11 - -3*(-2)/(-33). Let m = u - -1799. Is m a composite number?
True
Let l(s) = -26*s - 5. Let y(q) = -25*q - 5. Let v(a) = 3*l(a) - 4*y(a). Let h(g) = g - 2. Let c be h(6). Is v(c) a prime number?
False
Suppose 10 = -6*d + 7*d. Is 5*d/25 + 95 a prime number?
True
Suppose 4 = 4*u, 4*u - 339 = 2*o - 2509. Is o prime?
True
Let f be (-62)/(-22) + (-8)/(-44). Is f - ((-8)/(-2) - 68) composite?
False
Let o(i) = i**3 - 9*i**2 - 17*i + 6. Let w(s) = -s**3 + 9*s**2 + 16*s - 7. Let g(f) = 5*o(f) + 6*w(f). Is g(9) composite?
True
Suppose -2796 = -2*r + 5402. Is r a prime number?
True
Let r be (-18)/(-4)*8/18. Is (907/(-3))/(r/(-6)) prime?
True
Let h = 429432 - 294485. Is h a prime number?
True
Let v(j) = -9*j**3 + 2*j + 8*j**3 + 5 - 1 + 8*j**2 + 2*j**2. Is v(9) prime?
True
Let p be 6/27 + 4/(-18). Suppose r - 4*r = p. Suppose 0 = -4*a - r*a + 508. Is a a prime number?
True
Suppose 4*k + 0*k = 188. Suppose 0 = -j - k + 264. Is j prime?
False
Let v be (-3)/((-3)/26 - 0). Let q = -26 + v. Suppose 0 = 4*b + 2*o - 3*o - 1775, q = 5*b - 5*o - 2230. Is b prime?
True
Let o(z) = 71*z + 19. Let m be o(-8). Let v = m - -1018. Is v composite?
True
Let k = 2731 - 578. Is k a prime number?
True
Let c(z) = -z**3 + 8*z**2 + z + 3. Let s be c(8). Let t = 18 - s. Let w(j) = 2*j**2 + 8*j + 9. Is w(t) a composite number?
False
Is ((-243795)/30)/(((-3)/(-2))/(-3)) a prime number?
True
Let l(m) be the first derivative of -m**2 - 11*m + 4. Let r be l(-6). Is (2 - r)/(5/155) a prime number?
True
Let i(j) be the third derivative of -35*j**4/24 - 7*j**3/6 + 4*j**2. Let l be i(7). Is l/24*172/(-6) a composite number?
True
Let x = -7263 + 11252. Is x composite?
False
Suppose 0 = r + 3*s + 3, -5*r - s - 3*s - 4 = 0. Suppose 30 + 42 = 12*b. Suppose a - b*a - 2*y + 735 = r, -a = -2*y - 159. Is a composite?
False
Suppose 5*h = 5*a + 445 - 1260, 4*h - 143 = -a. Is a - (44/(-20) - (-1)/5) a composite number?
True
Suppose -13*f + 3664 = 1077. Is f composite?
False
Let f(n) = 4*n**2 + 1 - 1 - 8 - 11 + 13*n. Is f(6) a composite number?
True
Suppose 225*y = 218*y + 397915. Is y composite?
True
Let c(k) = -12999*k + 687. Is c(-6) prime?
False
Suppose -6*c + 15*c - 9657 = 0. Is c composite?
True
Let i = 20884 + 3523. Is i composite?
False
Suppose -4*y = 12, -6099 = -4*b + 2*y + 6431. Is b composite?
True
Suppose 4*c + 23 = -5. Let i be 2/(-4) + c/(-2). Suppose 0 = 2*o + i*o - 395. Is o a prime number?
True
Suppose 0 = 4*m - 5*v - 19373, 639 + 4183 = m + 3*v. Is m composite?
True
Let b(w) = 209*w - 207. Is b(16) prime?
True
Let j = -1 - -26. Let d = 108 - j. Is d composite?
False
Let w(n) = -455*n + 3. Let a be w(-2). Suppose 4*j + 862 = 2*s + 232, 3*s = -2*j + a. Is s prime?
True
Let o be (4 + -5)*12/(-4). Suppose -o*p + 1008 + 831 = 0. Is p prime?
True
Suppose -2*x + 13 = 5*s - 1, s - 4*x = 16. Suppose 6*t - s*t - 4 = 0. Suppose -t*k + k = 5*g - 234, 3*g - 1280 = -5*k. Is k composite?
True
Let l(x) = x**2 - 14*x + 33. Let m be l(11). Let n(s) = 2*s - s**3 - s - 2*s + 211. Is n(m) composite?
False
Let v(k) = -7*k**3 - 4*k**2 - 7*k - 5. Suppose 0 = 4*p - 0*p + 16. Is v(p) a prime number?
False
Suppose -4*t = -7*t + 5*b + 7, 8 = t + 4*b. Let p = 7 - t. Suppose -7*q + 140 = -p*q. Is q composite?
True
Let d be (-4)/(-18) + (79620/27)/(-4). Let w = d - -1819. Is w a prime number?
False
Suppose 0 = -30*m + 94914 + 13956. Is m a prime number?
False
Let a be (-1557)/3*1/(-3). Suppose 3*y - 123 = 3*f, -5*y - 2*f + a = f. Suppose d + y = 2*d. Is d a prime number?
True
Suppose -4*x + a + 24 = 2*a, 3*x - a - 11 = 0. Suppose 1295 = x*l + 4*z, z + 3*z = -l + 259. Is l composite?
True
Suppose 11*z - 6*z = 5*t - 38040, -2*z = t - 7593. Is t composite?
False
Let k(r) = r**3 + 5*r**2 + 3*r + 11. Suppose -2*p = -3*l - 19, p = 1 + 1. Let x be k(l). Let m(d) = -4*d - 7. Is m(x) a prime number?
False
Let d(p) = 3*p**3 + 0 - 3 - 24*p - 4*p**3 - 5 - 20*p**2. Let q be ((-19)/3)/(1/3). Is d(q) a composite number?
True
Is 3*(2 + 27092/12) composite?
False
Let b be (-886)/(-6) + (-1)/(-3). Let r = b + 13. Is r a composite number?
True
Suppose -19151 = -7*w - 4108. Is w prime?
False
Let j(a) = -a**3 + 10*a**2 - 9*a + 5. Let o be j(9). Suppose 3*t - 2929 = -2*z - 405, 0 = -z - o*t + 1269. Is z a prime number?
True
Let o be (0/2)/(-3)*-1. Suppose 2*n - 5*n - z = -26, o = n - 2*z + 3. Suppose 2*a - u - n = a, -u + 28 = 4*a. Is a a composite number?
False
Let k(x) = 133*x**2 - 13*x - 1. Suppose -4*z = -4*g - 0*z - 28, g + 10 = 2*z. Is k(g) prime?
True
Let h be (-2)/(0 + 6/(-9)). Suppose -h*c + 8*c = 30. Suppose -c*z + 5368 + 2762 = 0. Is z prime?
False
Suppose -3*p = -6*p. Suppose -6*d + 860 = -d - 5*y, p = -2*d - 2*y + 324. Is d a composite number?
False
Suppose 2*w + 8 = -2*w. Let v be ((-7)/3)/(w/12). Let t = 33 - v. Is t a prime number?
True
Suppose -4*g + 2*g = 16. Let t = -1 - g. Suppose 6*x + 113 = t*x. Is x composite?
False
Let q(o) = 94*o + 9. Is q(29) composite?
True
Let z(u) = -385*u - 4. Let s = 21 + 4. Let i = s + -28. Is z(i