
Let i = 315967 + -146912. Is i composite?
True
Let x(u) = 3*u**2 - 16*u + 12. Let r be x(4). Let s(f) = -4334*f - 45. Is s(r) composite?
False
Let f = 198 + -113. Let d = 302 + -590. Let i = f - d. Is i composite?
False
Let q(r) = -29*r - 4. Let t be q(3). Let z = -6 + t. Let k = 360 + z. Is k a prime number?
True
Suppose 39*l - 6229803 - 11833164 = 0. Is l prime?
False
Suppose 4*x - a = 5, -x - 1 = -3*x + a. Suppose 0 = 4*t + 20, -8*c + 5*c + 13507 = -x*t. Is c a composite number?
True
Let v(c) = 7*c - 150. Let a be v(17). Suppose r - 234 = 20. Let j = r + a. Is j a prime number?
True
Suppose 61*k - 9491828 = -48*k - 15*k. Is k composite?
True
Let r = 171039 - -99820. Is r a prime number?
True
Let l = 25 - 124. Let s = l + 102. Suppose 5*j + 10 = 0, -3*p - 2*j + s*j + 1229 = 0. Is p prime?
True
Let f(k) = 6*k**3 + 18*k**2 - 44*k - 55. Is f(17) a composite number?
True
Let u = -49069 + 81847. Suppose u + 96 = 6*h. Is h a prime number?
True
Suppose s + 1 - 4 = 0. Suppose -2*l + 2*k = -l, s*l + k = 0. Suppose -722 = -d - 3*t, -t + 1 = -l. Is d prime?
True
Let j = 120 + -95. Suppose 4*z + 5 + j = 2*c, -4*c + 4*z + 60 = 0. Is (c/(-12))/(-5) + 5127/4 composite?
True
Suppose -2*y + 4*o - 1776 = 0, -5*y - 2*o = 2*o + 4370. Is y*(-6)/4 - 4 a composite number?
True
Suppose 0 = -s + 5*i - 0*i + 1, -s - 4*i + 10 = 0. Let q(a) = -3*a**3 + 6*a**2 + 6*a + 16. Let x be q(s). Let v = x + 3281. Is v composite?
True
Let x = 488 - 187. Let p(a) = -4*a**2 + 6*a - 4. Let c be p(8). Let t = x + c. Is t a prime number?
True
Let i = 41126 - -10351. Is i a prime number?
False
Suppose 12 = -3*u + 5*u. Suppose s - u*s - 45 = -3*g, -4*g - 4*s + 28 = 0. Let i(v) = 57*v + 17. Is i(g) composite?
False
Suppose 102*u - 4*z = 100*u + 140946, u = -5*z + 70501. Is u composite?
False
Is -3751794*(-19)/2052*2*3 prime?
True
Suppose 0*j = 12*j - 84. Suppose 2*k + 162 = -j*k. Is 26/(-4)*(-52 - k) a prime number?
False
Let c = 712878 - 49807. Is c composite?
False
Let n = -9501 - -28780. Is n a composite number?
True
Let u = 1774 + -1186. Let q = -314 + u. Is q composite?
True
Let t = -11401 - -26750. Is t a prime number?
True
Suppose 0 = -238*o + 244*o + 156. Let k(m) = -4*m**3 - 15*m**2 - 21*m + 63. Is k(o) composite?
False
Suppose -110 = -8*z + 10. Suppose 0 = -3*i - z, -4*m - 25 = -7*m - i. Suppose -73 = -9*d - m. Is d a composite number?
False
Suppose 2*h + 4*w = -12, -h = -w + 50 - 59. Suppose 1156 = p + p. Suppose -p - 746 = -h*l. Is l a prime number?
True
Let l(x) = -80*x + 21. Suppose 3 = 3*r - 3*i, 4*i + 0 + 20 = -4*r. Is l(r) composite?
False
Suppose 0 = -w + 5*w + 8656. Suppose 2*j + r = -2729, 108*j + 3*r = 109*j + 1382. Let l = j - w. Is l a composite number?
False
Let u(k) = -4*k**3 - k**2 + 2*k + 3. Let g be u(-1). Suppose -g*j + 4*x + 4096 = 0, j + 4*j + 5*x = 5150. Is j composite?
True
Let i(j) = j - 459*j**3 + 466*j**3 - 7*j**2 - 6 + 0*j. Let v be i(6). Suppose -1285 = -3*s + 4*p + v, s - 855 = 3*p. Is s a prime number?
False
Let o(y) = y - 11. Let v be o(19). Let x(z) = -7*z**2 - 7*z - 85. Let t(p) = -4*p**2 - 3*p - 42. Let w(a) = 5*t(a) - 3*x(a). Is w(v) prime?
True
Let n = -991 + 1364. Is n a prime number?
True
Let n be (2 - (2 - 12)/5) + -2. Suppose -5*j = -2*a + 17301, 5*a - 25999 = n*a - 2*j. Is a prime?
True
Suppose -1478322 = -96*l - 461298. Is l a prime number?
False
Let w be 34 + -3*(-1 + 0). Suppose 4*g + 51 = -w. Is 12250/22 + (-4)/g composite?
False
Suppose 119*n - 1809819 - 1289888 + 370204 = 0. Is n prime?
True
Let u be ((-16)/(-28))/((-14)/(-98)). Let f = -259 - -480. Suppose 231 + f = u*w. Is w a prime number?
True
Let s(q) = 365*q - 4024. Is s(57) a composite number?
True
Let q(k) = 24*k**2 - 6*k + 1. Let w = -7 - -22. Let h be (-5)/w*3*10/2. Is q(h) a composite number?
False
Let b = -28 - -62. Let p = b + -52. Is p/27 + ((-226)/6)/(-1) a composite number?
False
Suppose 37*h - 5*o + 266719 = 40*h, 0 = 2*h + 2*o - 177806. Is h a prime number?
False
Suppose j - 2*j + 13 = -g, 16 = -4*g. Let h be 705/j + 4/6. Let l = 161 - h. Is l a composite number?
True
Suppose -75642 = -15*v - 15*v + 463308. Is v a prime number?
False
Let w = 16354 + 81319. Is w composite?
False
Let p = 75990 + 17771. Is p prime?
True
Let r = 377286 - 188395. Is r composite?
False
Suppose k - 16 = -5*y, 4*k = 2*k + 2*y + 80. Is 6*(21/(-28) - (-18021)/k) prime?
True
Let k = 20526 - -152903. Is k a composite number?
False
Let h = 284202 + -193765. Is h composite?
False
Suppose -6*g + 9*g - 9 = 0. Suppose 3*d - 1658 = -4*n, g*n - n + 8 = 0. Suppose 0 = w - 0*w + 5*v - 149, 0 = -4*w - v + d. Is w a composite number?
False
Suppose p - 3 - 12 = 0. Suppose 17*t + 28 = p*t. Is 609/t*(-66)/9 prime?
False
Suppose 229 + 123 = 2*z. Suppose -u + 2*b + 1375 = z, -4 = -2*b. Is u a prime number?
False
Let v be (-530768)/(-20) + 3/5 + -1. Suppose 15616 = 7*b - v. Suppose 16*o - 18*o = -b. Is o composite?
False
Let i(y) = 31*y**2 + 24*y - 21. Let c(g) = -g**2 + 10*g - 32. Let l be c(8). Is i(l) composite?
True
Let x(y) = 5*y**3 + y**2 - 10*y + 9. Let k be x(1). Let j(s) = 1407*s - 22. Is j(k) a prime number?
True
Let i = 141 - 142. Is 1372 - i - 20/(-15)*-3 a prime number?
False
Suppose -41*n = -109*n + 45*n + 533807. Is n prime?
True
Suppose 0 = v + 28 - 21. Let u be 36498/56 + (1 - v/(-4)). Let w = 1213 - u. Is w composite?
True
Suppose -3*v - 4*z = -1061, v - 158 - 209 = -4*z. Let t = v - 57. Suppose -25 = -5*d, 5*y + 5*d - t = -0*y. Is y a composite number?
False
Let h(n) = 530*n**3 - 97 + 210*n**3 + 35*n + 300*n**3 + n**2 - 6*n**2. Is h(3) prime?
False
Suppose -1166133 = 19*y - 6464150. Is y prime?
True
Let u be -3 + 0 + (-1880)/5. Suppose 5*a + 8*s - 3*s + 375 = 0, -5*s - 303 = 4*a. Let c = a - u. Is c composite?
False
Let i(u) = 113356*u**2 - 28*u + 17. Is i(-2) prime?
False
Let p = -41 + 22. Let y(b) = b**2 + 23*b. Let a be y(p). Let h = a + 963. Is h a composite number?
False
Let b(c) be the third derivative of 269*c**5/60 + 9*c**4/8 + 17*c**3/6 + 57*c**2. Is b(6) composite?
True
Is ((-1378)/(-78))/((-1)/(-1437)) a prime number?
False
Let x = 304913 + 96978. Is x prime?
False
Is 18 + (-1209)/65 - (-72833)/5 a prime number?
False
Let m(s) = 101*s**2 + 79*s - 563. Is m(31) composite?
False
Let w = 154191 - -1036722. Is w composite?
True
Is -40*11/(-264)*132513 prime?
False
Let s = 22 + -20. Suppose 5*r - s*c = 12615, c - 2511 = -r - c. Is r a prime number?
True
Let v(b) = -29*b + 6. Let i be v(3). Let z = 926 - i. Is z prime?
False
Suppose 273*h - 279*h + 120 = 0. Is 970/h*(-170)/(-5) composite?
True
Suppose -2*o - 3*o = -o. Let u be o/(-1)*(-6 - 91/(-14)). Suppose p + 4*h - 463 = u, -h - 4 = -2*h. Is p composite?
True
Let f(t) = 28*t + 59. Let v(h) = -14 + 14 - 19*h - 27 - 12. Let z(y) = 5*f(y) + 8*v(y). Is z(-12) a composite number?
False
Let v(g) = -2*g + 60. Let o be v(25). Suppose 0 = 3*z - z - o. Suppose z*a + 323 = 6*a. Is a prime?
False
Suppose m - 5032 = -47*s + 43*s, 4*s = -4*m + 5020. Is s prime?
True
Let l(p) = p**3 - 11*p**2 + 9*p + 12. Let s be l(10). Suppose -s*y + 0*d - 6 = 2*d, -3 = y + 3*d. Is 2 - (4 + y + -669 + -3) a composite number?
False
Let v(d) = -752*d - 3. Let s = -107 + 111. Suppose 0 = 11*j + s + 29. Is v(j) composite?
True
Let m(q) = 4*q - 30. Let g be m(8). Suppose 2*o + g + 11 = 5*h, 4*o + 11 = -5*h. Let s(y) = -14*y**3 + 5*y**2 + 7*y + 5. Is s(o) a composite number?
False
Let a(n) = 13870*n + 483. Is a(13) a composite number?
False
Let q = -52 - -18. Let g = q - -36. Suppose g*h - 5*h = -177. Is h a prime number?
True
Suppose 5678 = -286*g + 320*g. Suppose 4*k - 5*r - 185 = 0, 0 = 3*r + 12 + 3. Suppose -k = -9*o + g. Is o prime?
True
Let r(q) = 308*q - 2. Let n be r(4). Suppose -8*v = 3498 + n. Is (2 + -7)*(1 + v/5) a prime number?
False
Suppose 35985443 = 161*c + 8607876. Is c a composite number?
False
Suppose 313*g = 314*g - 9391. Is g a composite number?
False
Let v(q) be the third derivative of 5*q**6/24 + q**5/20 - 13*q**4/24 - q**3/6 - 17*q**2 - 2. Is v(5) a composite number?
True
Suppose 32640 = 16*y - 58912. Let f be (2 + 35/(-10))/(1/y). Is (-5 - f)/((-4)/(-2)) composite?
False
Let y = -204050 - -291943. Is y a prime number?
False
Suppose -140*k + 20797963 + 14845057 = 0. Is k a prime number?
True
Suppose -d = -3*m + 4*d + 58, 5*d = -10. Suppose