-5*p + 2*y, 5*p + 3*y - 3172 = -572. Is p composite?
True
Suppose -3*x + s + 7316 = 0, -11*x + 8*x + 2*s + 7321 = 0. Is x composite?
False
Suppose 445 = 9*x - 4*x. Suppose 0 = -2*f + x + 855. Let g = 849 - f. Is g composite?
True
Suppose -w + 1688 = -4*c - 2*w, -2*c - 862 = 5*w. Let b = c - -1692. Is b a prime number?
False
Is 6/3*21/(-6)*-3299 composite?
True
Suppose -27 = -2*z - 37. Is 1194/15 + 3/z prime?
True
Let q = -9 + 14. Let j(x) = x**3 - 5*x**2 - 1. Let r be j(q). Let b(n) = 12*n**2 - 2*n - 1. Is b(r) prime?
True
Suppose -71*r + 46902 = -65*r. Is r a composite number?
False
Is (63161/4 - 3) + 7/(-28) a composite number?
False
Let b = 15 + -15. Suppose -3*a + 3*s + 315 = b, 2*a - 66 - 135 = 5*s. Suppose k - 415 = -a. Is k a composite number?
False
Is (-2 + 4)/1 - -1121 composite?
False
Let i(p) = -77*p + 104. Is i(-9) composite?
False
Suppose 0*j + 96 = -4*j. Let h = 92 + j. Suppose c = 5*a + h, -3*a - a - 8 = 0. Is c prime?
False
Let j be 11 + -11 - 0/(-1). Suppose j*t + 2*t - 6 = 0. Is 633 + 1 + (-9)/t a prime number?
True
Let i(n) = 27*n**2 + 59*n - 49. Is i(-27) prime?
True
Let p = 36 - 16. Suppose -5*f - p = 0, -5*f - 1374 = -2*n - 0*f. Is n a composite number?
False
Let r = 1837 - -7162. Is r a prime number?
True
Is 3/3*2*2081/2 prime?
True
Suppose -3*u = -3*n - 27, 5*n = -0*u + u - 9. Suppose 13*b - 628 = u*b. Is b a prime number?
True
Suppose -6*v + 11010 = -11892. Is v a composite number?
True
Let o(v) = -12*v**2 - 2*v + 8 - 6*v**2 - 6*v**2. Let r be o(-4). Let b = -135 - r. Is b a composite number?
False
Suppose 4*k + 4*h - 2161 - 2255 = 0, -4*k + 4*h + 4424 = 0. Suppose -1587 = -4*z + k. Is z a composite number?
False
Suppose 3*v - 187 = -2*l, 5*l + 2*v = v + 461. Suppose 672 + l = 4*z. Is z a prime number?
True
Let m(o) = 2429*o - 162. Is m(7) prime?
False
Let z be ((-113)/4)/((0 + 8)/(-416)). Suppose -2*f = -4*j + 4438, -361 + z = j - f. Is j a prime number?
False
Let h be 51*(-1 - (-3 + -1)). Suppose 26 - 10 = 2*p. Suppose -p*u + 5*u + h = 0. Is u prime?
False
Is (-32)/(-40) + 571804/20 a composite number?
False
Let z = -1322 + 1325. Let y(p) = 71*p**2 - 4. Let l be y(3). Suppose 2*s = -4*j + 726, -j - l - 482 = -z*s. Is s a composite number?
True
Suppose 21 = 5*a - 4. Let m(j) = 2*j**2 - 3*j + 2. Let k be m(2). Suppose -k*s + l + 908 = 5*l, -l = -a*s + 1111. Is s prime?
True
Suppose 14295 = 14*d + d. Is d prime?
True
Let h be 3/15*3 + (-68)/(-20). Let b(n) = 5*n + 7. Let m be b(-5). Is 6/h*(-3084)/m a composite number?
False
Suppose -10*a - 1198 + 6908 = 0. Is a composite?
False
Suppose 0*r - 14 = -3*r + d, 16 = 2*r + d. Let w be (0 - -2)*9/r. Suppose -j - 74 = -w*j. Is j a composite number?
False
Suppose -76225 = -5*g - 49*x + 51*x, 3*x + 30501 = 2*g. Is g composite?
True
Let b be (-1962)/36*2/1. Let i = 15 + b. Is (-18)/54 - i/3 a prime number?
True
Let v be (-2 - 1)*(-5 - 1). Let b = v + -26. Let u(p) = 12*p**2 - 2*p + 13. Is u(b) a prime number?
True
Let j(i) = 2*i**3 + 12*i**2 + 6*i - 1. Let z(x) = -5*x**3 - 36*x**2 - 18*x + 2. Let u(o) = 8*j(o) + 3*z(o). Is u(13) composite?
False
Let f(k) = 294*k**2 + 49*k - 1. Is f(-6) prime?
True
Let g be ((-47526)/10*1)/((-3)/15). Suppose 0 = -6*d + 5691 + g. Is d composite?
False
Suppose -2909 = -3*k + o, k + 1922 = 3*k - 5*o. Is k a composite number?
False
Let d = 19821 - 8044. Is d a prime number?
True
Let z(k) be the second derivative of -47*k**5/60 + k**4/8 + k**3/6 - 2*k. Let j(d) be the second derivative of z(d). Is j(-4) a composite number?
False
Suppose 3*o - 1 = 11. Suppose 0 = -v - 3*j - 2*j + 2455, o*v - 9852 = -4*j. Suppose 2*t + 3*t - v = 0. Is t a prime number?
False
Is 55341/26 + 2/4 composite?
False
Let k = 4 + -16. Let y = k + 14. Suppose w + 3*a - 43 = 0, 0 = -7*w + 2*w + y*a + 181. Is w composite?
False
Let r(f) = 54*f**3 + 36*f**2 + 8*f - 5. Is r(8) a prime number?
True
Is (4 + -2 + 2)*(-117378)/(-72) composite?
False
Let n = 43 + -38. Suppose -2*h + 940 = 2*l, 2338 = -0*h + n*h + l. Is h a prime number?
True
Suppose j = 3*j - 3*z - 43834, 0 = -2*z - 8. Is j prime?
True
Is (-1636)/(-16)*14*2 a prime number?
False
Let b = -12 + 32. Let f = 14 + b. Let g = f + -1. Is g composite?
True
Suppose o + 4*v - 25245 = 0, 5*v - 25243 = 13*o - 14*o. Is o a composite number?
False
Let g(m) = 18*m**2 - 6*m**2 - 8*m - 7 + 2*m - 2*m. Is g(6) composite?
True
Let i(p) = 2*p**3 - 11*p**2 - 47*p + 3. Is i(13) a composite number?
True
Suppose 0 = 4*n - 1424 - 5620. Suppose -2*g + 2209 + n = 0. Is g a composite number?
True
Let u = -4 - -28. Let j be (-2)/(-7) - u/(-14). Is (104 - 2/j)*1 composite?
False
Let v(i) = -i**3 + i**2 + 5*i - 11. Let j be v(-6). Let y = 1280 - j. Is y a prime number?
True
Let i(k) = 2*k + 15. Let a be i(-6). Is (3385/(-15)*-1)/(1/a) a prime number?
True
Is 5/(-1 - -11)*7366 a prime number?
False
Suppose -4*j = -2*o - 3*o + 21951, -5*o - 4*j = -21959. Is o a composite number?
False
Let s(n) be the third derivative of 0 - 1/40*n**6 + 0*n - 3*n**2 + 1/6*n**4 - 1/30*n**5 + 2/3*n**3. Is s(-3) a composite number?
True
Let k = -3 - -9. Is 4/k + (-91)/(-39) + 416 a composite number?
False
Suppose -42*q + 34742 = -70552. Is q composite?
True
Suppose -4*g = 3*s - 91217, 2*s + 5*g = -s + 91222. Is s prime?
False
Suppose -3*d = -14*d - 22. Let i(t) = -2*t - 4. Let r be i(-4). Is (d/3)/(r/(-2370)) composite?
True
Let f = -64908 - -104879. Is f a prime number?
True
Suppose 13*r = 9*r. Is (r + -6)*2/(16/(-92)) composite?
True
Suppose u = -3*l + 27131, 2*u + 2*u - 3*l = 108584. Is u a prime number?
True
Let d(i) = 20*i - 437. Is d(28) composite?
True
Is (-9 - 51/(-6))*-6982 a prime number?
True
Let z(a) = -78*a**3 - 3*a**2 - 12*a + 7. Is z(-4) prime?
True
Is -16 + 9 + (-14400)/(-4) a prime number?
True
Let f(z) = 5*z**2 + 28*z - 14. Is f(21) prime?
False
Suppose -3*u - 17 = 3*y - 59, 3*u = -y + 38. Is 1333*1 + u + -8 prime?
False
Let v(q) be the second derivative of 7*q**4/24 + q**3 + 4*q**2 - 7*q. Let m(t) be the first derivative of v(t). Is m(7) prime?
False
Let t(x) = -x**2 - 4*x - 4. Let p be t(-2). Is (-2 + p)*2138/(-4) composite?
False
Suppose 0 = 19*j - 408303 + 92846. Is j a prime number?
True
Let y(n) = n**3 - 8*n**2 - 12*n + 39. Let g be y(9). Is 6495/g - (33/(-12) - -3) a composite number?
False
Suppose -2*j + 72862 = 4*z, -17*z - j = -12*z - 91082. Is z composite?
False
Let f(s) = -s**3 - 2 - 14 + 15*s**2 + 9*s**2 - 10*s + 1. Is f(20) prime?
False
Suppose -91*h + 150608 = -75*h. Is h a composite number?
False
Let y = 1910 - 847. Suppose 3*k = 2*p + 3*p + 3188, -k + y = -2*p. Is k composite?
False
Let j = -27 - -4514. Is j prime?
False
Let c(j) = 2*j + 19*j + 33 + 26*j. Is c(14) composite?
False
Let z(l) = -2*l - 14. Let i be z(-7). Let w = 4 + i. Suppose -310 = -4*u + 2*d, -d = 2*u + w*d - 173. Is u prime?
True
Suppose -4 - 16 = -5*v. Let p(c) = -363*c + 8. Let h(i) = 121*i - 3. Let a(x) = -17*h(x) - 6*p(x). Is a(v) prime?
True
Is (10894/3)/((-8)/(-12)) a prime number?
False
Suppose 2*l = 4*l - 4*s - 20, 32 = 5*l - 4*s. Suppose -d - 18 = 3*d + j, l*d + 14 = j. Let r(i) = -i**3 + 2*i + 3. Is r(d) a prime number?
True
Let u = 6029 + -4108. Is u prime?
False
Let d = -9352 + 13329. Is d a composite number?
True
Suppose -5*t + 0*d + 785 = 5*d, 4*t - 2*d - 610 = 0. Suppose -2*c + 2*b = -318, -2*c + 156 = 2*b - t. Is c prime?
True
Let b = 53574 + -19871. Is b prime?
True
Let r(l) = 5*l + 32. Let k be r(-6). Suppose 0 = -4*c - 4*x + 1680, 8*x - 5*x - 841 = -k*c. Is c a composite number?
False
Suppose 0 = -3*l - 5 - 16. Let p(a) = 39*a + 2. Let v(f) = 79*f + 3. Let y(j) = l*p(j) + 3*v(j). Is y(-6) prime?
True
Suppose 671 - 4499 = -4*n. Let h = -428 + n. Is h composite?
True
Let o = 337 + -208. Suppose 0 = 133*s - o*s - 4292. Is s composite?
True
Let x = 312 + -135. Let n = x - -314. Is n a composite number?
False
Suppose 4*t - 291 = -2*g + 435, 5*t + 3*g - 908 = 0. Suppose o - t = -32. Suppose 16 + o = 5*s. Is s prime?
False
Suppose z = -2*z + 6. Let s(w) = w**z - 5 - 5 + 15 + 7*w. Is s(9) a prime number?
True
Let r(p) = p**3 + 4*p**2 + 2*p + 2. Let i be r(-3). Suppose -3*m = -28 - 326. Suppose -6*f + f - m = -3*t, -t + i*f + 56 = 0. Is t a composite number?
False
Let c be (-4)/18 + (1 - (-147777)/27). Let k = -3007 + c. Is k prime?
True
Let p(n) = -n**2 + 4. 