x**3 + 15*x**2 + 16*x + 15. Let q be w(-14). Let v(g) = 8*g**2 + 9. Is v(q) prime?
True
Let y = -6 + 9. Suppose -44 = 5*a + y*n, -a - 3*n = 3*a + 37. Let o(x) = x**2 + x + 7. Is o(a) a composite number?
True
Let k(j) = -2*j**2 + 12*j**2 - 3*j**2 + 7*j + 86*j**3 - 5. Let q(b) = -85*b**3 - 6*b**2 - 6*b + 4. Let o(c) = 5*k(c) + 6*q(c). Is o(-1) composite?
False
Let w(l) = l**2 + 10*l + 8. Let z be w(-7). Let t = z - -16. Suppose t*s = -4*a + 1670, 3*a + s - 1259 = 2*s. Is a composite?
False
Suppose 3*y + 0*z - 36 = 5*z, 0 = y + 3*z + 2. Let c be y/3 + 1/(-3). Is (-4011)/14*c/(-3) prime?
True
Let f = 27 - 33. Is f + (4 - 0) + 81 composite?
False
Let g = -762 + 1413. Let n = 59 + -381. Let h = g + n. Is h prime?
False
Let a(o) = -28*o**3 - 4*o - 2. Let b be a(-2). Suppose 0 = 4*z - 6*z + b. Is z prime?
False
Suppose 16 = 3*o - 2. Suppose -3*l + 1994 = 5*z - o*l, 2*z + 3*l - 785 = 0. Is z a composite number?
False
Suppose -7*r = -2*r. Suppose r = 2*n - 5*i, 0*n - 4*i - 18 = 2*n. Is -3 - (2*n + 0) composite?
False
Let l be (15590/(-15))/((-2)/(-3)*-1). Let s = l - -944. Is s composite?
False
Let c = -19523 - -29549. Suppose -c = -2*b - 4*b. Is b a composite number?
True
Let x(k) = -32*k + 4. Suppose 0 = y + 4*j - 0 - 8, -3*y + 3 = 5*j. Let w be x(y). Suppose 4*t + 12 = 0, -5*t + w = 3*d - 0*d. Is d a composite number?
True
Let c be 2/7 - (-4)/(-14). Suppose 7 = t + 5*f + 14, -2*f - 8 = c. Suppose -9*m + t*m - 56 = 0. Is m composite?
True
Suppose 5*g = -3*l - 0*l + 9097, 5435 = 3*g - 4*l. Is g a prime number?
False
Let v(d) = 150*d + 139. Is v(6) a prime number?
True
Suppose -2*a + 4783 = 5*n, 4*a = -0*a + 16. Is n a composite number?
True
Let h(d) = -d**3 + 8*d**2 + 5*d + 36. Let f be h(9). Suppose -20*o + 6*o + 49798 = f. Is o a composite number?
False
Let d(o) = -184*o + 9. Let n(v) = v**2 + 11*v + 20. Let k be n(-8). Is d(k) composite?
True
Suppose -8 = s - 2*s. Is s/(-2) + 530/1 composite?
True
Suppose -19654 = 89*m - 91*m. Is m composite?
True
Is 4/(-5)*(-8 - 74421/18) prime?
False
Let t = -34882 + 50074. Suppose -c + p + 3796 = 0, 4*c + 0*c = -4*p + t. Is c composite?
False
Let a(z) = 1495*z - 5. Let g be a(4). Suppose -4*h - g = h. Is 12/(-15) + h/(-25) a composite number?
False
Let m(i) = 295*i**2 - i - 3. Let g be m(-3). Let k be 2/(7971/g + -3). Suppose w = -2*w + k. Is w a composite number?
True
Suppose -63 = 4*q + 1. Let w(n) = n**2 - 9*n - 21. Is w(q) composite?
False
Suppose 0*y = 3*y + a - 30, 0 = 2*y + 2*a - 16. Let b(n) = 9*n**2 + 5*n - 35. Is b(y) a prime number?
True
Suppose 3*n - 15 = 4*g, 3*g + 5*n = 8 + 17. Let w = -153 + 196. Suppose -4*k + w + 41 = g. Is k a composite number?
True
Let w(z) = 9*z**2 + 5*z + 2. Suppose 4*p - 32 = -4*p. Is w(p) a prime number?
False
Let u(c) be the second derivative of -c**7/840 + 7*c**6/180 + c**5/60 - 3*c**4/4 - c**3/2 - c. Let z(j) be the second derivative of u(j). Is z(14) composite?
True
Let b(z) = z**2 - z + 2664. Let r be b(0). Let l = r - 1811. Is l prime?
True
Suppose -102*m = -97*m - 6565. Is m a prime number?
False
Let k(n) = 15*n + 10*n - 7 - 3*n + 6*n. Let f be k(8). Suppose -5*a - f = -6*a. Is a a prime number?
False
Suppose -21*d = -38*d + 6477. Is d composite?
True
Suppose 15*n = 12*n + 6. Suppose 7*r = n*r + 3345. Is r composite?
True
Suppose 0 = -2*a + 4*d - 13 + 45, -5*a + 62 = -d. Suppose 0 = 5*h - h - a. Suppose -4*t - h*g + 141 = 2*g, 0 = -3*t + 4*g + 98. Is t composite?
True
Suppose 13*a = 9*a + 1076. Is a composite?
False
Is 1*(2 + (-10353)/(-7)) prime?
True
Let d be 14/4 - 7/(-14). Suppose -1290 = d*h - 9*h. Suppose 4*t = 4*n - 512, 2*n - 2*t = 2*t + h. Is n prime?
True
Suppose -v + t = -6*v - 1734, v + 334 = 3*t. Let o = 194 - -315. Let y = v + o. Is y composite?
False
Suppose -6725435 - 4758126 = -107*j. Is j a composite number?
False
Suppose -1163 = -3*w - 2*t, 4*w = -2*t + 1254 + 300. Is w composite?
True
Suppose -43 = -5*j + 7. Suppose -23 = -d - 5*r, -5*r = -2*d - r - j. Suppose -6*g = -d*g - 105. Is g composite?
True
Suppose -4*n - 60 = 3*g, 2*n - 21 + 51 = g. Let o be ((-6)/4)/(n/20). Suppose 3*h = o*h + 301. Is h a prime number?
False
Suppose 2*s - 4*s + 3050 = 4*l, 3*l + 1520 = s. Is s composite?
False
Let a = 7 - 1. Suppose -a*w + 150 = -4956. Is w a composite number?
True
Suppose 25 = -5*m, 0*k - 5*m = k + 868. Let u be (-2)/(-2 + (-1684)/k). Let s = u - 148. Is s prime?
False
Let x be (383/(-3))/(1/30). Is -3 + (x/(-5))/1 a prime number?
False
Let h = -118 - -198. Is (272/h)/((-2)/(-110)) prime?
False
Suppose 1254 = -3*o + 174. Let w = o - -829. Is w prime?
False
Suppose 0 = -3*i + 2*g + 13, -i - g = -0*i - 1. Suppose -266 = -i*o - 35. Is o composite?
True
Let x be (-4)/(-18) + (-4)/18. Suppose -5*q + 650 - 55 = x. Is q a prime number?
False
Let k(r) = -r**2 + 42*r + 21. Is k(14) a prime number?
False
Let p(c) be the third derivative of 653*c**5/60 - c**4/4 + 3*c**3/2 - 2*c**2. Is p(2) a composite number?
False
Suppose 3*v = v + j, 4*v + 8 = 4*j. Is (-38)/(-19) + 130/v prime?
True
Let t be 2/7 + (-23)/7. Let v be (-4)/(-16)*0 - t. Suppose 4*x = -5*r + 157, r + x = -v*x + 25. Is r a prime number?
False
Let r(m) = -1414*m - 6. Let c be r(-2). Suppose -5*g + c = 3*o, 5*g - 6*o - 2830 = -o. Is g a prime number?
False
Let y(n) = 3*n + 4. Let z be y(-5). Let h(k) = k**2 + k + 3. Is h(z) composite?
False
Let d(p) = -116 + 230 + 179*p**2 - 128 - 8*p. Is d(-2) a composite number?
True
Suppose 4*w = -t + 544, t = -3*w + 249 + 158. Let i be (-2)/(4 - (-56)/(-12)). Suppose w = i*m - 574. Is m a prime number?
False
Let n = -33370 + 49223. Is n a composite number?
True
Let h(v) = -v**2 + 3*v + 779. Let t(k) = 4*k + 4. Let j be t(-1). Is h(j) a composite number?
True
Let s be (-3)/((-1)/(-1)) + 1282. Suppose 2*u - 1921 = -u + 4*t, s = 2*u - t. Suppose -l = -4*x + 4*l + u, 158 = x - 3*l. Is x composite?
True
Suppose 0 = u + 1 - 13. Suppose u = 5*k + 2. Suppose 0 = k*v + 5*h - 441, 0*h + 220 = v + 3*h. Is v a composite number?
False
Let d be (-1 - 2) + 0 + 9. Suppose f - d = -0. Is 256/12 - 2/f a composite number?
True
Suppose 5*l + 5*l = -5910. Let k = -244 - l. Is k prime?
True
Let w(g) = g - 2. Let y be w(7). Let j be (-26)/(-10) + (-6)/(-15). Suppose -j*m - 331 = -4*i, 0 = -4*i - y*m + 183 + 108. Is i a composite number?
False
Suppose 4*a = 4*m + 63576, 31753 = 17*a - 15*a + 5*m. Is a a prime number?
True
Is ((-14613)/(-12))/(30/120) prime?
True
Let o(s) = -187*s**2 - s + 3. Let g(n) = -935*n**2 - 6*n + 16. Let r(j) = 2*g(j) - 11*o(j). Is r(-1) a composite number?
True
Suppose -14194 = -4*c - 3*j, -2*j - 14184 = 3*c - 7*c. Is c a prime number?
True
Let w(r) be the first derivative of -3*r**2 + 1/2*r**4 - 6*r - 3 + 5/3*r**3. Is w(5) composite?
True
Suppose 4*j - 714 = -82. Suppose 0 = 2*f - 4*u - 96 - j, -f + 124 = -u. Is f composite?
True
Suppose 0 = 7*z - 10*z + 11721. Is z prime?
True
Let m(v) = 3*v + 10. Let p be m(-5). Let j be 1390 - 2*p/(-5). Suppose 4*d = 8*d - j. Is d a prime number?
True
Let v be -8 + 0/(-1) + -2. Let b = 14 + v. Suppose 7*r = b*r + 249. Is r composite?
False
Let h be (2/4)/((-1)/(-10)). Suppose y - 25 = h. Suppose -v = -3*i - y, -v = v - 3*i - 63. Is v prime?
False
Let j(a) = -a**3 + 6*a**2 + 6*a - 5. Let v be j(7). Is (2/(-8))/(v/177168) prime?
True
Suppose -134*d + 159*d = 655450. Is d composite?
True
Let q(m) = m**2 + 6*m + 6. Let u be q(-5). Let a be (2/(-8)*-2*2)/1. Is -4 + (923 - (a - u)) a prime number?
True
Let h be ((-10)/(-15))/((-2)/(-6)). Let f be h/6 + 3/(-9). Suppose 2*n + 2*p - 114 = f, -3*n + 0*p + 173 = 4*p. Is n composite?
True
Let c be (14/4)/(1/(-2)). Let g(w) = 18*w**2 + 2*w + 1. Let o be g(c). Suppose -3*f - 55 = -u + 381, -2*u + 5*f = -o. Is u a composite number?
True
Suppose m + 5*w + 27 = 0, -m - 24 = m + 4*w. Is (1 + (-4437)/(-6))/(m/(-4)) a composite number?
False
Let y(t) = -17*t + 331. Is y(0) a prime number?
True
Let a be 10/(-2)*4/(-10). Suppose -3*c = a*c. Suppose 5*h - h - 508 = c. Is h composite?
False
Suppose -4*n + j + 1173136 = 0, 0 = 5*n + 2*j + 521944 - 1988377. Is n composite?
True
Suppose j - 16 = 3*j + z, 3*j + 24 = -5*z. Let l(d) = 5*d**2 - 10*d - 11. Is l(j) a prime number?
True
Let r(n) = -586*n + 45. Is r(-17) composite?
False
Let c be (2 + -3)/(-1*2/(-6)). Is -19*(4 + -2 + c) prime?
True
Let n 