2*x = -3*t - x + 75, 2*x + 16 = t. Let f = -17 + t. Suppose -f*u + 649 = -4*u. Is u composite?
True
Let x(t) = 45*t - 22. Let y(r) = -2*r**2 + r + 5. Let m be y(0). Is x(m) prime?
False
Let q(y) = -3 - y**3 + 0*y + 2 - 2*y**2 - 2*y. Let a be q(-1). Suppose 0 = -6*c + c + g + 955, 5*c + 2*g - 955 = a. Is c prime?
True
Suppose -2*u = b - 6*u - 530, -2668 = -5*b + 2*u. Suppose -s + r = -3*r - 186, -4*r - b = -3*s. Is s*((-15)/(-6) + -2) composite?
True
Let p(d) = -2*d - 32. Let l be p(-19). Let o(n) = -n**3 + 11*n**2 + 11*n + 5. Is o(l) a prime number?
True
Is 68/(-28) + 3 - 321875/(-35) a prime number?
False
Let x = 977 + -70. Is x a composite number?
False
Let k be 1/(1*1/1). Let h = k + 1. Is h/(((-15)/9)/(-5)) a prime number?
False
Let f(r) = -140*r + 137. Is f(-15) composite?
False
Is (-9524 - -3)/(42/(-7) - -5) a composite number?
False
Let s = 17 + -13. Suppose -121 = s*b - 1057. Let u = b + 25. Is u prime?
False
Let x be (0 + 4)*21/6. Suppose 10*h = x*h + 64. Let k = 953 + h. Is k composite?
False
Let i(j) be the second derivative of -j**5/20 + 31*j**2 - 7*j. Is i(0) composite?
True
Let w be (430/(-8))/(4/(-16)). Suppose -2*t = 2*c - 804, 2*c - c - 410 = t. Let l = c - w. Is l a prime number?
True
Suppose 0 = -5*p - p - 738. Suppose -2*s - 2*c - c = 649, 0 = -3*s - c - 977. Let v = p - s. Is v a composite number?
True
Let n be (-2 - -1)*(-11 - -5). Suppose 5*u - 2*u - n = 0. Suppose 316 = -u*k + 6*k. Is k prime?
True
Let r(i) = -144*i**2 - 32*i - 17. Let f(y) = -96*y**2 - 21*y - 11. Let t(m) = -8*f(m) + 5*r(m). Is t(4) composite?
True
Let h = -76 + 78. Is h + -3 - (-4 + -404) a prime number?
False
Let m(v) = -v**2 - 1. Let f(g) = -26*g**2 + 3*g - 1. Let b(x) = -f(x) + 4*m(x). Suppose 12 = i - 21*z + 17*z, 0 = 5*z + 10. Is b(i) a composite number?
False
Suppose -m + 3 = -8. Suppose 2*g - 4 = -2*d, -4*g - 3*d - 5 + m = 0. Suppose -2*j + 92 = -g*j. Is j a composite number?
True
Let n be ((-30)/25)/((-9)/30). Suppose 2 - 14 = -n*k. Suppose -y = -4*w + 384, -5*y + 4*y + 295 = k*w. Is w a composite number?
False
Let q be 5/(-6) + 1 + 245/42. Let i(t) = 36*t + 10. Is i(q) a prime number?
False
Suppose -7*q - 7393 = -22982. Is q prime?
False
Let v = 11193 + -6866. Is v a prime number?
True
Is 64/(-480) + 195994/30 composite?
True
Let d(z) = -636*z + 3 + 31 - 322*z - 185*z. Is d(-5) a composite number?
False
Let k be 176 - (-1 - (0 - 5)). Let a = k + 267. Is a prime?
True
Let n = 8 - 5. Suppose 2*s = 4, 5*s = -n*u - 363 + 1234. Is u a composite number?
True
Let j(x) = x**3 - x**2 - 7. Let u be j(3). Let p = u + -8. Suppose -p*v + b + 1901 = -b, -2*v + 3*b + 1264 = 0. Is v composite?
True
Suppose 5*j - 30 = -5*n, 0 = j + 5*n - 24 + 2. Is (81 - j)*(1 - 0) a prime number?
True
Let t = 324 + -184. Let d = -27 + t. Is d composite?
False
Let l(q) = q + 19. Let c be l(-7). Let f = 10 + c. Is f prime?
False
Let f(b) be the third derivative of b**5/10 - b**4/8 - 7*b**3/6 - 12*b**2. Is f(6) composite?
False
Let k = 9886 - 5880. Is k a prime number?
False
Suppose -17*k = 12971 - 276352. Is k a composite number?
False
Suppose -2*z + 3 = -1. Is (20/(-15) - -2)/(z/879) composite?
False
Suppose -4*o + 9*o - 3*a = 40, 5*a = -25. Suppose -4*g = -n - 2342, -2*n - o*g + 2299 = 6918. Is 4/(-10) + n/(-30) prime?
False
Suppose -185*c = -212*c + 252261. Is c prime?
True
Let y = 64 + -40. Let g be y/(-3)*(-3)/6. Is -1 - -42*56/g a prime number?
True
Let i be 3/(-2)*(-200)/(-15). Let o = i - -13. Let q(p) = p**3 + 10*p**2 + 10*p + 8. Is q(o) a composite number?
True
Suppose 0 = -18*z + 21*z - 690. Let x = 409 - z. Is x a prime number?
True
Is (-1)/11*2 + (-191310)/(-110) composite?
True
Suppose -5*p - 14 = -2*z + z, -4*p = 8. Suppose -2*w + z*a = -8, 2*w - 3*a = -2*w + 6. Suppose 3*o - 5*o + 586 = w. Is o a prime number?
True
Let n(k) = -2*k**3 + 2*k**2 + 4*k + 2. Let m be n(-1). Suppose m*p + 15739 + 7773 = 4*f, -4*p = 2*f - 11756. Is f composite?
True
Let x = 10 - 10. Suppose x = -4*g - c + 5, 5*c + 3 = -4*g - 4. Let o(s) = 77*s**2 - s + 1. Is o(g) composite?
False
Let g(p) = p**3 + 11*p**2 + 5. Let r be g(-11). Let b(x) = 29*x + 16. Is b(r) a composite number?
True
Suppose 2*m - 5 = 3. Let f(p) be the third derivative of 5*p**4/6 - p**3/2 - 42*p**2. Is f(m) prime?
False
Is 69/5*(-178755)/(-153) prime?
False
Let v be 3 - 6/((-2)/(-4)*3). Is 13/(-52)*268*v prime?
True
Let w = 9129 + -1496. Is w a prime number?
False
Let f = -82 + 925. Let u = f + -584. Is u a composite number?
True
Let y(r) = 5532*r**2 + 4*r + 6. Is y(-1) a prime number?
False
Suppose 4*o = -b + 826, 0*b - 5*o - 4005 = -5*b. Suppose -9*s + 7*s + b = 0. Is s prime?
False
Let h(g) = -2*g**3 - 2*g**2 + g - 20. Let c = -21 + 12. Is h(c) prime?
False
Let w(t) = -2*t + 8. Let s(r) = -5*r + 24. Let z(v) = -3*s(v) + 8*w(v). Let p be z(-12). Is 131/((-2)/p*-2) a composite number?
False
Let f = 9468 + -6649. Is f a composite number?
False
Let d(k) = 12*k**2 + 7*k - 5. Let b be d(8). Suppose -2*j + b = 5*q, 2*j + 244 = 4*q + 1054. Is j composite?
True
Let m(b) = -1081*b + 318. Is m(-39) a composite number?
True
Let i(r) be the first derivative of r**7/840 - r**5/30 + 5*r**4/24 - r**3 + 6. Let v(p) be the third derivative of i(p). Is v(4) a composite number?
False
Suppose -4 = -2*o - 4*w - 0, -3*o - 3*w + 3 = 0. Let g(c) be the first derivative of c**3/3 + c**2/2 + 415*c - 1. Is g(o) a composite number?
True
Let j(f) be the first derivative of -f**6/120 - f**5/10 - f**4/12 - 2*f**3/3 + 2*f**2 + 2. Let s(y) be the second derivative of j(y). Is s(-7) composite?
False
Suppose -y + 4*z = 23, 5*y - 5*z = -6*z - 31. Let w(l) = 7*l**2 + 7*l + 1. Is w(y) composite?
True
Suppose -4*r + 48 = 4*w, w - 44 = -3*r - 2*r. Is 148/r*(1 + 1) prime?
True
Let o(l) = 7 + 9 - 31 - 836*l. Is o(-2) composite?
False
Let x = 24 - 30. Let q be 6*2/6 - x. Is ((-4)/6)/(q/(-852)) a composite number?
False
Let y = 250 + -170. Suppose 4*i + 1 + 3 = 0. Let p = i + y. Is p composite?
False
Let s(u) = 529*u - 2. Let a be 10/(-4)*(-4)/10. Is s(a) prime?
False
Let g(x) = -3*x - 15. Let a be g(-6). Suppose -a*s = -4*s + 19. Is s prime?
True
Suppose 0 = 3*a + a - 164. Let w be 39/(-5) - 56/(-70). Let r = w + a. Is r a prime number?
False
Suppose 18*q = 16*q - 2, c = q + 15123. Is c a composite number?
True
Let t be (4/(-24))/(1/(-6)). Let k be t/(-3 - (-66)/21). Is (-2)/k + (-11832)/(-56) composite?
False
Let w = 37 - 30. Suppose -4*x - 2613 = -w*x. Is x a prime number?
False
Let f = -4835 + 15236. Suppose -15605 = -3*a + 2*i, -7*a - i + f = -5*a. Is a a composite number?
True
Suppose 21*o - 69582 = 15*o. Is o prime?
True
Suppose 3*n - 81152 - 22837 = 0. Is n a composite number?
True
Let q be 65 - ((-1)/1 - 3). Suppose -2*l - l + q = 0. Is l a prime number?
True
Let j(y) = 80*y**3 + 2*y - 4*y**2 - 14 + y + 12. Let r be j(2). Suppose -2*w = 4*q - 0*w - r, 5*q - w = 785. Is q prime?
True
Let c be 10*(-4)/(-12)*-3. Is 1*5/c*-1618 prime?
True
Is 2307*(-4)/(-36)*(-1 + 4) a composite number?
False
Suppose 0 = 2*r - 5*r - 129. Let o = -68 - r. Is (-5920)/o + 2/10 prime?
False
Let t(s) = -3318*s**3 - s**2. Is t(-1) composite?
True
Let b be 5698/(-26) + (-10)/(-65). Let a = b - -413. Is a a prime number?
False
Let g be (2 + -2)/(0 + -3). Suppose j - q - 87 = g, 4*j - 2*q - 395 = -43. Is j a prime number?
True
Suppose 0 = 3*o + 2*b - 5, -b - 4*b = 5*o. Suppose 3*c - 800 = 5*g, 1348 + 42 = o*c + 3*g. Suppose 0 = -3*s + 1466 - c. Is s a prime number?
True
Suppose -88789 - 19720 = -19*n. Is n a composite number?
False
Suppose 4*j + 494 + 2429 = -n, -2206 = 3*j - 2*n. Let m = j - -1289. Is m a composite number?
False
Let i = -443 + 636. Let v = -1304 - -2254. Suppose 9*n - v = i. Is n a prime number?
True
Let s be (234/5)/(51/680). Let t = 2191 - s. Is t composite?
False
Let i(f) be the second derivative of 5*f**4/4 - 5*f**3/3 + 5*f**2/2 + 7*f. Let t be i(4). Suppose y = r - t, -3*r + 0*r - 4*y = -601. Is r a composite number?
True
Let q = -16563 + 29950. Is q a prime number?
False
Is 2*(467 - 2) - 9/9 prime?
True
Suppose 4*p - 1725 = -p - c, 1740 = 5*p + 4*c. Let f = 384 + p. Suppose 5*q - d - 232 - f = 0, -10 = 2*d. Is q prime?
True
Let h = 3 - -1. Suppose -h*d + 9*d = -55. Let g = 120 - d. Is g a composite number?
False
Let g = -147 + 302. Let h = 264 - g. Is 