3*v - b*v - 21. Is j composite?
True
Let p(z) = z**2 - 12*z + 40. Let w(k) = 2*k**2 - 24*k + 81. Let c(q) = -5*p(q) + 3*w(q). Is c(22) prime?
True
Let a(w) = 2*w**2 + 1 - 4*w**2 + 14*w + 4*w**2 - 11. Let t be a(-14). Let d = t + -73. Is d composite?
False
Let y be (-5)/2*8/(-5). Suppose y*r + 3 = c - 6, -2*r = 3*c + 15. Let j(d) = -11*d**3 - 3*d**2 + 3*d - 2. Is j(c) a prime number?
False
Suppose 2*p + 5*w - 9 = -4, -2*p + 5*w = -15. Suppose 0*v = p*c + 2*v - 1797, -c + 3*v = -356. Is c composite?
False
Let h = -1271 - -2010. Is h composite?
False
Let u(s) = -85*s - 22. Is u(-15) composite?
True
Let r = -21 + 3. Is (-305)/(-1) + (-36)/r a composite number?
False
Let v(l) = -7*l**2 - 4*l - 2. Let x be v(-7). Is x/(-2) + (-1)/2 a composite number?
True
Is (14 - 15)/((-1)/6541) composite?
True
Suppose 2*w + 4*p - 7 + 17 = 0, p = -4*w - 55. Is (17/(-6))/((-5)/w)*-22 a composite number?
True
Suppose -5*j - 9304 = 1986. Let n = j + 3325. Is n prime?
False
Suppose v + 4*r = 33 - 12, 0 = -3*v + r + 11. Suppose -w + 1923 = 3*q, -v*q + 0*w - 2*w = -3205. Is q a prime number?
True
Suppose -3*r - 4*w - 14486 = -122611, 0 = 3*r + 2*w - 108115. Is r prime?
False
Suppose v - b = 3*b + 1, 0 = 5*v - 2*b + 67. Is (-2)/1*v/12*74 prime?
False
Suppose -4*a = -7*a. Suppose -n - 4*t + 8 = a, n + 4*n + 6 = 3*t. Suppose n*l - 30 = -2*l. Is l prime?
False
Is -4*3/(-24) - 560190/(-60) prime?
True
Suppose a - l + 5 = -1, 5 = l. Let f(t) = -90*t. Let c be f(a). Suppose -2*s + c = 5*x, 2*x - 7*x - 120 = -4*s. Is s a prime number?
False
Let v(h) = -2*h**3 - 116*h**2 - 149*h - 71. Is v(-60) composite?
False
Suppose -12*a + 44471 = -3397. Is a a composite number?
False
Suppose 13*g + 5*z + 21457 = 14*g, 3*g + 3*z - 64407 = 0. Is g a prime number?
True
Let p = 480 - 77. Is p + (3 - (-4 + 7)) a composite number?
True
Let j(l) = 1. Let m(x) = x**2 - 1. Let g(i) = 3*j(i) - m(i). Let a be g(3). Let n(y) = -y - 1. Is n(a) composite?
True
Let m = 2 + 3. Suppose 4*p - 7*t = -2*t + 3156, 4*t = -m*p + 3945. Is p a composite number?
True
Let w(x) = x - 11. Let v be w(15). Let z(h) = 17*h - 1. Is z(v) a prime number?
True
Let d(i) = i + 1. Let u(c) = 78*c**2 + c. Let w(n) = -4*d(n) + u(n). Is w(3) a composite number?
True
Let w(v) = -74*v - 1. Let y be (-6)/(-4)*-2 + 1. Let c be w(y). Suppose -s - 3*b = -5*s + 141, -4*s + c = -5*b. Is s prime?
False
Suppose -q + 4082 = 3*x, -4*x = -q - 2144 - 3301. Is x a composite number?
False
Let p(f) = f**3 - 12*f**2 + 9*f + 18. Let z be p(11). Let r(x) = -44*x**3 - x**2 - x + 9. Is r(z) a composite number?
True
Let u(m) = -2*m + 5. Let a be u(0). Let x be a/((-20)/(-96)*4). Suppose -3*p - 192 = -3*k, x*k = 3*k + p + 182. Is k composite?
False
Let h(z) = 1160*z + 7. Let b(g) = 2321*g + 15. Let l(d) = -2*b(d) + 5*h(d). Is l(1) a composite number?
False
Let y be ((-24)/28)/(2/(-7)). Let d(i) = 19*i**2 - 2*i + 4. Let o(z) = -19*z**2 + 2*z - 5. Let l(s) = y*d(s) + 2*o(s). Is l(1) composite?
False
Let p = -33 - 73. Let b = p - -191. Is b a prime number?
False
Is 10/(-8)*-55192 - (-9)/3 prime?
True
Let w = 4105 - -3388. Is w a prime number?
False
Let p(j) = 259*j - 44. Let d(r) = r**2 + 12*r + 30. Let l be d(-3). Is p(l) prime?
True
Let v = 430 - 238. Let w = 47 + v. Is w composite?
False
Suppose -f + 15 - 13 = 0. Suppose 9 = 3*g - f*h, 5*g - 3*h + 2 = 17. Suppose 0 = -g*s + 2954 - 437. Is s a prime number?
True
Suppose z - 6*z - 4*o = -2, 5*o + 6 = -2*z. Suppose 0 = 4*u + 2*h - 34, -z*u - u = -h - 18. Is u a composite number?
False
Let f = 22281 - 4834. Is f composite?
True
Is (8 + (-11 - -4))/((-2)/(-2374)) prime?
True
Let b = 12 + -4. Suppose 4*c = j - 743, 0 = -2*j - 3*c + b*c + 1486. Is j a composite number?
False
Let q(f) = 4*f**2 - 12*f + 2. Let i be q(10). Let y = 879 - i. Is y composite?
True
Let m(b) = b**2 - 6*b + 6. Let c be m(5). Is c + 3 - (-4 - 2699) a prime number?
True
Is -78611*(-8)/24 - (-4)/(-6) prime?
True
Let u = 23 - 21. Suppose -2*p - k = -5*p + 1192, -5*k = u*p - 806. Suppose -1441 = -3*w + p. Is w prime?
True
Suppose 2*p = 2*s + 2*s - 3172, 0 = -5*s + 2*p + 3966. Is s composite?
True
Let v be (-3 + 0)/((-18)/(-84)). Suppose -t - n = t + 659, 2*n = -2*t - 662. Is (v/(-8))/((-2)/t) a composite number?
True
Suppose -697*k - 342222 = -703*k. Is k prime?
True
Suppose -262 = 12*m - 8674. Is m prime?
True
Let a(h) = -2*h**2 + 24*h + 3. Let z be a(12). Let w(q) = 7*q - 3. Let p be w(8). Suppose -52 = -z*u + p. Is u a prime number?
False
Let m(y) = -2727*y - 581. Is m(-4) a composite number?
True
Suppose -2*w - 4 = 0, -19532 = -2*u + 4*w + 96310. Is u a prime number?
True
Let k(h) = h - 8. Let t be k(10). Let v(j) = j**3 - 2*j. Let d be v(t). Suppose 10 = 2*q, 3*m - 72 = -m + d*q. Is m a composite number?
False
Let z be (-7)/(252/(-80)) - 8/36. Let x(u) = 26*u**2 - 3*u - 3. Is x(z) a composite number?
True
Let h(s) = 3*s - 18. Let m be h(16). Let r = -27 + m. Suppose -b = -5, -3*b - 2196 = -r*u - 0*b. Is u a composite number?
True
Let x = 11277 - 7063. Let k = -1843 + x. Is k prime?
True
Let q be 1029 + ((-12)/4)/(-3). Suppose 0 = -2*o + 4*o - q. Is o a composite number?
True
Suppose 0 = 4*k + 2*k. Let f be 77 + (k - (4 - 3)). Let y = f - -343. Is y prime?
True
Let y = -392 - -10657. Is y prime?
False
Suppose -d - 10 = -0*d. Let b be d*(0 - (-24)/15). Is (-3060)/b - 2/8 a composite number?
False
Suppose -18 + 162 = v. Let z = v - 33. Is z composite?
True
Let n(d) = d**2 + 3*d + 3. Let q be n(-3). Let c(v) = 6*v**2 + 4*v - 7. Is c(q) prime?
True
Suppose 0*a = -2*a. Suppose -z = 5*p - 14, 4*z + a*z - 18 = -p. Suppose -v + 1115 = z*v. Is v composite?
False
Suppose q + 23 = -5*s, -s - 3*q = q + 16. Let l be s/((-8)/317)*10. Suppose -l = -5*p + 2*a, -2*p = -p - a - 317. Is p composite?
False
Suppose 31781 = 3*h + 1964. Is h composite?
True
Let y = 141565 - 67366. Is y composite?
True
Suppose 26699 = 8*p - 1229. Is p composite?
False
Let g(d) = d**3 + 8*d**2 + 12*d - 2. Let t be g(-6). Let a be (t + (-7)/(-2))*2. Suppose 5*o + 3 = f + 1913, a*f = 0. Is o composite?
True
Suppose -3*r - 3 = 3*p + r, -5*p = -5*r - 30. Suppose -4 = 4*u + 3*z, u + p*z - z + 6 = 0. Suppose u*a = -i + 39, 2*i - 82 = a - 6*a. Is i a prime number?
True
Let v(u) = u**2 - 15*u - 56. Let x be v(26). Suppose l = -l + x. Is l composite?
True
Let d(f) = -61*f**3 + 122*f**3 + 11*f**2 - 19 + 40*f - 62*f**3. Is d(12) a prime number?
True
Let a(n) = 8*n**3 - 6*n**2 - 9*n + 13. Is a(6) a composite number?
False
Let g(r) = 5*r - 4 - r + 2*r - 3*r. Let p be g(2). Suppose d + p*q - 89 = 0, d + 2*q - 263 = -2*d. Is d a composite number?
True
Let s(u) = 4*u**3 + 4*u - 2. Let w(f) = -f**3 + 4*f**2 - 2*f + 1. Let g be w(3). Suppose -2*o - 4*m = 14, o - g*m = 15 + 8. Is s(o) composite?
True
Let f = -103 - -108. Suppose -3*t - f*u = -178 - 284, -3*t + 3*u = -438. Is t a prime number?
True
Suppose 5*h + 2*f = 48241, 5*f - 8234 - 1428 = -h. Is h prime?
False
Let x(t) = 9*t**2 - 5*t - 4*t**2 - 1 + 4*t**2. Let b be -2*(6 + 1 + -5). Is x(b) a prime number?
True
Let l(f) = f**3 + f**2 + f - 1. Let m(a) = 4*a**3 - 2*a**2 - 4*a - 11. Let b(w) = 3*l(w) - m(w). Is b(5) prime?
True
Let z(c) = 13*c**2 - 3*c - 1. Let b be (-4)/(-7)*(-28)/(-8). Suppose 0 = -4*a + b*v + 16, -2*v + 7*v = 4*a - 4. Is z(a) prime?
True
Let a be (1/3)/(15/720). Suppose 20*z - a*z = 6772. Is z composite?
False
Let r(u) be the first derivative of 239*u**2/2 + 10*u + 1. Is r(5) a composite number?
True
Let v(h) be the second derivative of -h**4/12 - 23*h**3/3 - 67*h**2/2 - 35*h. Is v(-32) composite?
True
Let s = 3 + 0. Is ((-10776)/(-9))/4 + (-1)/s prime?
False
Suppose -1 = -4*o + 19, 2*o = -b + 18. Suppose 5*c - 20 = 0, 2*c = 4*f - b - 0. Suppose -f*v + 998 = 5*d - 956, 0 = -2*v + 5*d + 992. Is v composite?
False
Suppose o - 1834 = 115. Suppose 777 - 11 = 2*z - 3*b, 5*z + b = o. Is z prime?
True
Let y(m) = -m**3 + 2*m**2 + 4*m + 2. Let b be y(-2). Let z(t) be the second derivative of t**3/3 + 9*t**2 + 14*t. Is z(b) prime?
False
Let k = -24825 + 9261. Is k/(-60) - (-2)/(-5) a composite number?
True
Suppose 142*d = 135*d + 22729. Is d a prime number?
False
Let x(i) be the first derivative of 35*i**2/2 - 19*i - 43. Is x(6) prime?
True
Suppose 0*q + 1171 = 2*q + 5*h, 5*q = 2*h + 2913. Suppose 2*v - 1311 = q. Is v prime?
True
Le