ose -2*d = -25 + 7. Let m(a) = 10*a**2 + 12*a - 19. Is m(d) composite?
True
Is (-11 - -1)*508890/(-300) a composite number?
False
Suppose d + 6 = -4*p, 0 = -4*p + 3*p - 2. Suppose n + 6 = d*n. Suppose 2*y + 348 = n*y. Is y a composite number?
True
Let h be 68/16 + (-3)/(-4). Let z be ((-3)/(-2) + -1)*8. Suppose 763 = 4*g - g - z*c, h*g = -2*c + 1237. Is g a composite number?
True
Suppose 4*z + z + 108 = -2*y, -144 = 2*y - 4*z. Is 1/8 + (-10424)/y composite?
False
Let g = 11 + -15. Let p be g/(-30) - 854/105. Is (45/6)/((-4)/p) a prime number?
False
Let b(q) be the first derivative of 479*q**3/3 + 3*q**2/2 - 3*q - 13. Is b(1) a composite number?
False
Let u be (1/(-2))/((2 + 6)/(-32)). Suppose 0 = u*k - y - 3*y - 78, -4*k + 3*y + 176 = 0. Is k prime?
True
Let r(k) be the third derivative of k**6/120 - k**5/60 + 121*k**3/6 - k**2. Suppose -14*l = -5 + 5. Is r(l) a composite number?
True
Suppose -194*x + 195*x = 3. Let j = 133 - 16. Suppose z - 5*w + 10 - j = 0, -x*w = -12. Is z composite?
False
Let w be (10 - 11) + (-1 + -37)/2. Let t(b) = -b**2 - 8*b + 5. Let r be t(-6). Let y = r - w. Is y composite?
False
Suppose -q + 4*q = -2*q. Suppose -y + 2*y - 409 = q. Is y a composite number?
False
Let l = -28571 - -116058. Is l composite?
True
Let d(v) be the first derivative of -v**4/4 - 5*v**3 - 8*v**2 + 14*v + 8. Is d(-15) composite?
True
Let p be 3*(12/(-9) + 3). Suppose p*f - 251 = f + 3*b, f - 2*b = 69. Is f a prime number?
True
Suppose -3*s - 20 = 7. Let o(x) = -2*x**3 + 11*x**2 + 19*x - 4. Is o(s) a prime number?
False
Suppose -2*s + 0*l = -4*l - 2640, 0 = -3*s + 2*l + 3956. Suppose 6*f + 10 = 8*f, q = 5*f + s. Is q prime?
False
Let u be (-6)/8 + 3/(-12). Let d be (2432/20)/(u/(-60)). Is d/60 - (-2)/5 a composite number?
True
Suppose -3593 = -3*x + 2161. Suppose -4*k + 963 = n - 2*k, 0 = 2*n + 2*k - x. Suppose -6*v = -v - n. Is v composite?
False
Let c be ((-179)/3)/(-1 + 16/12). Let u be (0 + 7/(-3))*-138. Let n = c + u. Is n a composite number?
True
Let o(v) = -v**3 - 5*v**2 + v + 3. Let d be o(-5). Let r(x) = -12*x - 3. Let u be r(-1). Is 55/(d - u/(-3)) prime?
False
Suppose 7*z + 1645 - 11424 = 0. Is z composite?
True
Let d(b) = 10*b - 240*b**2 + 246*b**2 - 22 - 3. Is d(-28) prime?
False
Let u be 70/(-15)*(-6)/(-4). Let y(g) = -g**3 - 24*g - 12. Is y(u) composite?
False
Let p be (-24)/4*(3 + 16/(-4)). Suppose 9341 - 3593 = p*y. Is y composite?
True
Let l(m) = -2*m + 10. Let s be l(4). Suppose -2*r + r + 1638 = -i, 0 = -s*r - 4*i + 3282. Is r a composite number?
True
Suppose -76 + 28 = 4*i. Let z(n) = n**2 - n + 11. Is z(i) prime?
True
Let y = -388 + 695. Is y a composite number?
False
Let y(b) = b**2 + 2*b - 3. Let g be y(2). Let q be ((-1)/3)/(g/(-45)). Suppose 5*x = 3 + 2, q*o + 3*x = 960. Is o prime?
False
Let v = 4 - 13. Let r(q) = q - 11. Let p be r(9). Is (-3)/v*(59 + p) a prime number?
True
Let a(x) = -163*x + 2. Let k be a(-2). Let o be (-4)/(16/4) + k. Is 2/3 - o/(-9) composite?
False
Suppose -10*l - 1087 = -11*l. Is l prime?
True
Let x(g) = g - 8. Let h be x(9). Let b be h/3 + 1496/12. Suppose -2*q + b + 9 = 0. Is q composite?
False
Let t(x) = 2*x**3 - 7*x**2 + 12*x + 5. Let n be t(2). Let q = 32 - 70. Let w = n - q. Is w a prime number?
False
Suppose 28020 + 54292 = 8*d. Is d a composite number?
False
Let d be 9/3 - (1 - -2). Let u(f) = -f**2 - f - 406. Let r be u(d). Let h = r - -639. Is h a prime number?
True
Let n = 48 + -24. Let s be ((-8)/n)/(2/(-24)). Is (-1)/4 - (-857)/s composite?
True
Suppose -x - d = 3*d, -3*x = -2*d. Suppose x = 2*w + 2*v + 12, 4*v = 3*v - 5. Is (w - -1263)*11/22 composite?
False
Is ((-5554)/(-3))/((-56)/(-21) - 2) composite?
False
Let w be (4*-3)/((-9)/1002). Suppose -4*h + 4*q + w = 0, -4*h + 5*q + 500 = -839. Is h a prime number?
True
Suppose 94819 = -11*u + 12*u - 2*n, 8 = -2*n. Is u a prime number?
True
Let s = 1879 - -4119. Is s prime?
False
Suppose 39*a - 111854 = 150655. Is a a composite number?
True
Let o(r) be the third derivative of 111*r**5/20 + r**4/8 + r**3/6 + 16*r**2. Is o(-1) a prime number?
True
Let d = -65 + 166. Suppose -5*y - d = -3*j, 3*y - y + 144 = 4*j. Is j a composite number?
False
Let p(o) = -23*o**2 - 17*o - 7. Let d(s) = 69*s**2 + 50*s + 20. Let f(h) = 3*d(h) + 8*p(h). Is f(13) a composite number?
False
Suppose -1594 - 2420 = -6*w. Is w prime?
False
Let k(a) = 9*a + 13. Let z be k(10). Suppose 12*r - 1805 = z. Is r composite?
True
Let k be ((-2)/(-4))/((-4)/48). Let c = k + 0. Is (-3 - 87/c)*2 a prime number?
True
Let z = 623 + -220. Let n = 1938 - z. Is n prime?
False
Let l(a) = -132*a**3 + 4*a - 7. Let t(z) = -z**2. Let g(o) = -l(o) - 3*t(o). Is g(2) prime?
False
Is 45796/6 + 3/(54/6) prime?
False
Let g = 389 - 262. Is g a prime number?
True
Let f(v) = 142*v**2 - 5*v + 224. Is f(15) a composite number?
False
Is ((-10865)/123)/((-3)/9) a prime number?
False
Let p be 62/(-4)*22/1. Let n = 326 - p. Is n a composite number?
True
Is (440 + 7)*87/9 prime?
False
Let f(m) = 134*m**2 + 5. Let p be f(3). Suppose 2*o = 3*o - p. Is o composite?
True
Let w = 123 - 63. Is -2*3/15 - (-62364)/w prime?
True
Suppose -10*s + 944 = -2306. Let j = s - 134. Is j composite?
False
Let m(d) = 10*d**3 + 2*d**2 + d - 2. Let y be m(1). Suppose 10*j = y*j - 55. Is j composite?
True
Let w(f) = 2*f**3 - 6*f**2 + 10*f - 10. Let b be w(7). Suppose 6*z = 5*z + b. Suppose 199 + z = 3*c. Is c prime?
False
Let x(s) = 31*s - 3. Let h(v) = 32*v - 2. Let n(m) = -4*h(m) + 3*x(m). Is n(-12) composite?
False
Let j = 19 + -16. Suppose 9 = 3*c - 2*u, u + 2*u + j = c. Suppose -508 = -3*f - o, c*f + 167 = 4*f - 2*o. Is f a composite number?
True
Let x = 1 + 1. Suppose -x*g = 2*g. Let m(y) = -y**2 - y + 83. Is m(g) a composite number?
False
Let h = 4117 + -8296. Let g = 7228 + h. Is g a composite number?
False
Is 1/(((-5)/10)/(5158/(-4))) prime?
True
Let h be (10 + -1)*(7/(-3) - -2). Let i = -210 + -644. Is (-3 - i)*(-2 - h) composite?
True
Let t(m) = -266*m + 3. Let k be t(-3). Let h = 457 - k. Let a = h + 607. Is a a prime number?
True
Suppose y + 4*a - 2 = -2*y, -a = -2*y + 5. Suppose 0 = y*c - c - 868. Suppose -c = -4*n - 2*q, -q + 0*q = 0. Is n composite?
True
Let c(j) = j**2 - 2*j - 41. Let d be c(6). Is (-4375 - d)/(1 + -3 + 0) a prime number?
True
Is (-1)/2*(3 - 169725/3) a prime number?
False
Suppose v = 4*t + 19, -t + 10 = -5*v - 2*t. Is (-2 + -183)/(1/v) prime?
False
Suppose -3 - 57 = -5*l. Suppose 3*b = -4*a - 4, -a + 40 = -6*a + 5*b. Is (a/l)/(1/(-231)) prime?
False
Suppose 5*h + 389 = 6519. Is h composite?
True
Let q(p) = 37*p**2 - 68*p**2 + 36*p**2 - 2*p - 4. Is q(13) a prime number?
False
Let b(s) = 11*s - 32. Let u be b(14). Let z = -87 + u. Is z composite?
True
Let v(f) be the second derivative of -f**5/20 + f**3/6 + 293*f**2/2 - 5*f. Is v(0) composite?
False
Let i(g) be the third derivative of -g**6/120 - g**5/20 + 17*g**3/6 + g**2. Is i(-8) a prime number?
True
Suppose -13*v + 16954 = v. Is v prime?
False
Is (1/(-3))/(33/(-378873)) a prime number?
False
Suppose -11*o = -14*o. Suppose 0 = -3*h + 12, o*h = -3*r - h + 13. Suppose -r*g = g + 2*d - 764, -955 = -5*g - 5*d. Is g a prime number?
True
Suppose 3*m - 5*j = 6*m - 399434, 0 = 3*m + 2*j - 399431. Is m composite?
True
Suppose -4*c = -5*s - 1599, 5*c + s = 3*s + 2020. Let x = c + -287. Is x composite?
True
Suppose 22*t - 18*t - 113083 = 5*j, 113059 = 4*t + 3*j. Is t a prime number?
False
Let c(y) = 24*y**3 - 3*y**2 - 15*y + 43. Is c(4) a composite number?
False
Let g be (-1)/(-2)*0 + 4. Suppose 4936 = 5*u - 3*x, g*u + 3*x + 1049 - 5014 = 0. Is u a composite number?
True
Suppose -31*k - 41*k + 6408 = 0. Is k prime?
True
Let q(j) = 13*j**3 - 7*j**2 + 8*j + 13. Let f be q(7). Let t be f/36 - (-3)/4. Suppose 0 = 2*s + 3 - t. Is s composite?
True
Let x(j) = 8*j**3 - 202 - j + 695 - 7*j**3. Let z = 5 - 5. Is x(z) a composite number?
True
Let o(l) = -l - 4. Let k(z) = z + 4. Let f(i) = 5*k(i) + 4*o(i). Let w be f(8). Is -9*(-4)/w - -56 a composite number?
False
Let l(i) = 2*i**3 + i**2 + 3*i + 51. Suppose -8*o = -5*o. Is l(o) a composite number?
True
Suppose -4*s + 6*s - 4414 = 0. Suppose k - 2 + 1 = 0, s = 4*i + 3*k. Is i prime?
False
Let a(v) = 958*v - 59. Is a(12) a composite number?
False
Suppose -v + 3081 + 690 = 5*h, 4*h - 3*v - 3013 = 0. Let d