-0*t, -2*h = -4*t - 10. Is (-282)/((-2 - -8)/h) composite?
True
Suppose 4*i - 2182 - 1894 = 0. Is i a prime number?
True
Suppose -2*c = -5*c. Suppose 2*p - 7*p + 70 = c. Suppose 19 = 3*u - p. Is u composite?
False
Let g(k) = -593*k - 7. Let c(p) = 890*p + 11. Let s(d) = 5*c(d) + 8*g(d). Is s(-1) composite?
False
Suppose -5*g + 2*g + 9 = 0. Suppose -i + 28 = -g. Is i composite?
False
Suppose 0 = 4*d - 5*d + 3. Suppose v - d = 2*v. Let b = 8 - v. Is b a composite number?
False
Let c(s) = -s**2 + 9*s - 12. Let d be c(8). Let o be (2 - (-114)/d)*2. Is o*(0 - (-1)/(-1)) composite?
False
Suppose -d + 4*b + 245 = 0, -321 = -4*d - 5*b + 764. Is d composite?
True
Let z = 385 - 194. Is z composite?
False
Let i be 7 - ((-8)/2)/(-2). Let d be (2 - 0)*i/2. Suppose -3*h = -d - 13. Is h a prime number?
False
Let j = 18 + -13. Suppose j = m, 3*z - 514 = m - 6*m. Is z prime?
True
Let p = 9 - 5. Suppose 0 = -p*u - u + 45. Is u a composite number?
True
Suppose 3*o + g = 238, 3*o = -3*g - 128 + 368. Is o a composite number?
False
Let y(j) = 6 - 2 + 1 + j**2. Is y(-12) composite?
False
Let k(c) = -57*c + 20. Is k(-7) composite?
False
Let h = -4 + 3. Let z = h - -2. Is (-4 - z)*(2 - 13) a composite number?
True
Let a(b) be the first derivative of -13*b**4/4 - 2*b**3 - b**2/2 + 3*b + 5. Is a(-4) prime?
True
Suppose 6 + 4 = -5*u. Let c(s) = -s**3 + 12*s**2 - s + 14. Let h be c(12). Is 23*(h/u + 2) composite?
False
Let p(f) = 9*f + 8. Suppose -4*a = -4*w - 4, a - 41 = -4*a - 4*w. Is p(a) a composite number?
False
Is 3/(12/1544) - -3 a prime number?
True
Suppose 0 = 2*w + r + 110 - 1476, 4*r = 0. Is w a composite number?
False
Let n(b) = 2*b. Let k be n(1). Suppose 4*m - k - 6 = 0, m = -3*y + 887. Is y prime?
False
Suppose -2*n = 3*i - 1349, 0*n + 3*i = 4*n - 2653. Is n prime?
False
Let o = 7 + 0. Suppose -2*d - 15 = -o*d. Suppose -4*u + 2*i - 4*i + 1166 = 0, d*i = 3*u - 888. Is u composite?
False
Suppose 14 = -q + 2*q + 5*z, 0 = 3*q + 4*z - 20. Suppose q*m + 679 = 5*m. Is m prime?
False
Suppose -m + 4*m - 3*o - 12138 = 0, -4037 = -m + 4*o. Is m a composite number?
False
Let k(l) = -5*l - 4. Let t(v) = 20*v + 16. Let f(x) = 9*k(x) + 2*t(x). Let w = -21 - -14. Is f(w) prime?
True
Let k = -311 - -776. Suppose -5*q = 4*t - k, 2*q = q - 2*t + 99. Is q prime?
True
Let q(n) = -3*n**3 + 2*n**2 + 7*n - 9. Is q(-6) a composite number?
True
Suppose 3 = -i + 2*i. Let n = 7 - i. Suppose u - 132 + 35 = n*r, -u - r = -82. Is u a composite number?
True
Let m(q) = q**3 + 23*q**2 - 9*q - 3. Is m(-12) composite?
True
Let k(q) = -q**3 + 3*q**2 + 3*q. Let n be k(3). Suppose -2*u = u + 2*t - 19, -2*u = 5*t - n. Is u prime?
True
Let r(i) = 381*i**2 - 6*i - 1. Is r(2) a prime number?
True
Let j = -354 + 564. Let w = j - -121. Is w a prime number?
True
Let z = 76 + -27. Is z a composite number?
True
Suppose 10 = a + 30. Let m be ((-12)/a)/((-2)/(-10)). Suppose -5*u + 2*i = -259, -65 = 2*u - m*u - 4*i. Is u prime?
True
Let l(f) = -f**3 + 3*f**2 - f. Let x be l(2). Suppose -4*i + 527 = 3*c, x*i = -2*i + 4*c + 520. Is i a composite number?
False
Suppose 0 = -4*x - x. Suppose -5*g + 3*t + 10 = 2*t, g - 3*t - 2 = x. Suppose 5*p = 4*r + r + 200, -3*r = -g*p + 85. Is p prime?
False
Suppose -3*p - 60 = -q, 0 = -0*p - 3*p - 3*q - 60. Let l be (-16 - -1)*348/p. Suppose -5*o - 3*r = -l, o + 4*r - 91 = -32. Is o prime?
False
Suppose -3*m - n = -5*n - 252, 4*n - 100 = -m. Let v be (4/3)/(2/6). Suppose v*t - m - 60 = 0. Is t a composite number?
False
Let d(m) = 28*m**2 + 4*m - 17. Is d(5) a prime number?
False
Suppose -53*g - 4570 = -58*g. Is g prime?
False
Let k = -306 + 734. Let s = k - 297. Is s prime?
True
Is (7 + -9)*(-121)/2 a composite number?
True
Is 11/((-11)/(-906)) + -5 a prime number?
False
Suppose 5*b = -4*n, -2*b = -n - 0*n - 13. Let v = b - 4. Suppose 0 = -x + 3*l + 22, 3*x + v*l - 91 = 4*l. Is x prime?
True
Let p(h) = 210*h - 5. Is p(1) composite?
True
Is 5/((5/(-23))/(-5)) a prime number?
False
Let f(v) = -11 + v + 28 + 17 + v**2. Let g = 3 + -3. Is f(g) prime?
False
Let x(c) = -35*c**2 - 7*c + 7. Let o(g) = -18*g**2 - 3*g + 3. Suppose -j = -0*j - 2. Let s(f) = j*x(f) - 5*o(f). Is s(-2) a prime number?
False
Let j = -10900 - -20427. Is j a composite number?
True
Let n be ((-35)/(-20))/((-2)/(-16)). Suppose -3*f + n = 83. Is (f/(-2))/(3/6) a prime number?
True
Suppose 0 = 3*h - 3. Let m be (29 - -5)/(h/(-6)). Let a = 407 + m. Is a a composite number?
True
Is ((3 - 284) + 3)/(-2) composite?
False
Suppose 0 = -2*w - 2*w + 160. Suppose -3*r = r - w. Suppose 5*o + r = g + 4*g, 3*g - 18 = -o. Is o a prime number?
True
Let v = 5 + -3. Suppose 2*g - 6 = -v. Let i = 20 + g. Is i composite?
True
Suppose -7*o + 1771 = -4900. Is o a composite number?
False
Is 7/((-14)/(-1532)) - -3 a composite number?
False
Let c = -142 + 57. Let j be 16/(-20)*c/2. Suppose -2*v + 120 = -j. Is v composite?
True
Let t = 867 + -605. Is t prime?
False
Suppose j + j = 0. Let t(a) = -1 + 3 - a + 20. Is t(j) a composite number?
True
Let h = 0 + -7. Suppose -3*k - 471 = -5*v, -3*v + 3*k + 0*k = -279. Let m = h + v. Is m composite?
False
Suppose -3*h + 396 = -0*h - 3*u, 5*h - u = 640. Is h a composite number?
False
Let h(b) = -b**3 - 3*b**2 + 4*b + 2. Let l be h(-4). Suppose p + l*f - 177 = 0, -5*p + 3*f - 67 = -991. Is p a composite number?
True
Let b(m) = -4*m - 4 + 5 - 2 + 4. Let c = -4 - -1. Is b(c) a composite number?
True
Let l be (-6)/(-24) - 14/(-8). Let z(y) = 8 - y**l - 1 + y + 8. Is z(0) a composite number?
True
Let t(n) be the third derivative of n**6/120 + 7*n**5/60 - n**4/3 + n**3/2 - n**2. Let q be t(-6). Suppose 0 = 3*r - q - 24. Is r composite?
False
Suppose -12 + 4 = -4*r. Let b(d) be the first derivative of d**3 - d**2 + 2*d - 10. Is b(r) a composite number?
True
Suppose 3*f = -3*m + 2*f + 50, 3*m = -4*f + 47. Suppose 19*n - 166 = m*n. Is n a prime number?
True
Let c(a) = 2*a**2 + a**2 - 4 + 3*a**2 - 5*a - 2*a**2. Suppose 3 + 12 = -5*l. Is c(l) a composite number?
False
Let v = 0 - -2. Is 1 - (v + 2*-10) a composite number?
False
Let p(b) = b - 1. Let x be p(2). Is x*-1174*(-2)/4 a composite number?
False
Suppose 2*y = -0 - 2. Let n(s) = 185*s**2 + s + 1. Is n(y) composite?
True
Suppose -4*w - 22 = -2*u, 0 = -2*w - 2*u + 4*u - 16. Let y be (w + 7)*(-6)/(-4). Is ((-1)/2)/(y/(-516)) a prime number?
True
Let s(c) = c**3 + 3*c**2 - c. Let r be s(-3). Let z(x) = -6*x**2 + 5 + x**3 - 2 + 6*x + r. Is z(5) a composite number?
False
Suppose -5*w - 33 = -2*w. Let b = -6 - w. Suppose -f - 45 = -4*f + 3*s, -b*f + 67 = -3*s. Is f a composite number?
False
Suppose -5*k = -3*k. Suppose -4*w - 46 + 198 = k. Let l = w + 17. Is l composite?
True
Suppose 4*d + 2057 = 5*o - 26, -3*o + 4*d = -1245. Is o prime?
True
Suppose 4 = -2*q + 4*q. Let k = 103 + -70. Suppose -h + k = q*h - 2*w, 2*h + 4*w = 38. Is h a prime number?
True
Suppose 5*v - m = 21, 4*v - 3*m - 4 = m. Suppose 3*b + 21 = v*l, -2*l = l + b - 7. Let g = l - 0. Is g a composite number?
False
Let d be (-2)/6 + (-4)/6. Suppose -b = 4 - 1, 1 = -5*s - 2*b. Is d/s*2 + 12 a composite number?
True
Let g(w) = 51*w**2 - w + 1. Let q be g(1). Suppose 8 = f - q. Is f a composite number?
False
Let k(i) be the second derivative of 0 + 3*i - 1/2*i**3 - 5/2*i**2 + 1/4*i**4. Is k(-4) composite?
True
Let h be (-8)/(-48) - (-94)/12. Is 2/h + 166/8 prime?
False
Let t = -9 - -12. Let q(r) = 2*r**3 - 4*r**2 - r - 1. Is q(t) composite?
True
Suppose -4*w - 52 = -0*a - 2*a, 3*a - 4*w = 74. Is a composite?
True
Is (44/10)/((-1)/(-145)) - -3 a composite number?
False
Is 2217/7 - (-6 + 200/35) a prime number?
True
Let g(m) = m**3 + 825. Let z be g(0). Let c = 1388 - z. Is c composite?
False
Let r(w) = -20*w**2 + 48*w**2 + 31*w**2 + 8*w**2. Is r(1) a prime number?
True
Let q be 2/3 + (-110)/(-15). Suppose 6*f + 118 = q*f. Is f a composite number?
False
Let t(r) = r**2 - 8*r - 36. Is t(-17) a prime number?
True
Let b(j) = -j - 22. Let g be b(-13). Let o(h) = -4*h + 3. Is o(g) composite?
True
Suppose 4*s = -4*l + 1012, -l = -s + 66 + 195. Is s a composite number?
False
Suppose 3*k - 375 + 74 = 2*n, n = 4. Is k prime?
True
Suppose 3*p + b + 1 = -1, 2*p + 4*b = 2. Let f(n) = 2*n**3 + n**2 + n + 1. Let a be f(p). Is -1 - 38/(0 + a) a prime number?
True
Let p(t) = t**3 + 29*t**2 - t + 32. Is p(-2