260 - 522. Let u = x - -453. Is u a prime number?
True
Let r(d) = 155*d - 26. Let w be r(10). Let n = -836 + w. Let i = n + -251. Is i composite?
True
Let d(w) = -4*w**3 - 9*w**2 - 3*w - 1. Let j be (7 + 2)/(39/(-26)). Is d(j) prime?
True
Suppose 6*s - s = 485. Let h = s + -68. Suppose -h = -3*i + 136. Is i a prime number?
False
Suppose 2*k = 4*y - 590254, 5*y = 78*k - 81*k + 737812. Is y composite?
True
Let w(h) = 458*h**2 + 3*h + 6. Let q be w(5). Suppose -k - 3*r = -2876, 4*k + 6*r - 5*r = q. Is k composite?
True
Suppose -165 = -15*r + 12*r. Let p = r - 55. Suppose p*o = -2*o + 710. Is o composite?
True
Let w = 405 + -410. Is (-139709)/w - ((-120)/(-25))/6 a composite number?
False
Suppose 31*p - 1679526 = 13*p. Is p composite?
False
Suppose 2*y - 2*t + 29594 = 364176, 0 = y + 3*t - 167291. Is y prime?
False
Let x = -14283 - -23495. Let d = x + -5419. Is d prime?
True
Suppose -11*q = -7*q - 252. Let p be 6/(-9)*q/(-14). Is (-6)/(-8) + ((-1335)/(-20))/p prime?
True
Suppose 2*d = h + 21, 0 = -0*d + 2*d. Let o(u) = u. Let f(i) = 86*i - 17. Let b(r) = -f(r) - 6*o(r). Is b(h) composite?
False
Let s = -1005018 - -1473163. Is s a composite number?
True
Let y(d) be the second derivative of d**4/12 - 13*d**3/6 + 11*d**2/2 - 4*d. Let m(f) = 3*f**2 - 51*f + 43. Let q(b) = -2*m(b) + 9*y(b). Is q(11) a prime number?
True
Suppose -6*d = -0*d - 16*d + 1529830. Is d a composite number?
True
Let y = -30739 + 193758. Is y prime?
True
Let z(l) = 8*l**2 + 2*l + 17. Let d be z(-4). Suppose 5*t + 110 = 2*p - d, 4*p + 16 = 0. Is 774/7 + t/(-119) composite?
True
Let a be (1 - 10/4)/(135/180). Is 11250/20 + (-1)/a composite?
False
Suppose -3*t + 2*u = -u + 21, -2*t - u = 11. Let m = 6 + t. Suppose -5*y = 4*w - m*w - 434, w = -3*y + 105. Is w a composite number?
True
Let l(p) = 45192*p**2 - 37*p - 86. Is l(-3) a composite number?
True
Suppose -5570160 = -173*x + 93*x. Is x a composite number?
True
Let a(z) = 2*z**2 + 10*z + 26. Let r be a(-4). Suppose r = 8*u + 2. Is 4 + -8 - -7 - (-1636)/u a prime number?
True
Let l = 35011 - 18642. Is l a composite number?
False
Let o(l) = -364*l - 57. Suppose 2*q - 3 = 5*m + 57, 5*m = 5*q - 45. Is o(m) prime?
True
Suppose 2*f = -8*f + 21460. Let s = f + -997. Is s a prime number?
False
Suppose -8*o = -13*o + 40. Suppose 88330 - 7346 = o*a. Is a prime?
False
Suppose 4647182 = 89*o - 1343559 - 191822. Is o a composite number?
False
Let f(q) = 60*q**2 + 3*q - 34. Suppose 2*g = -3*c + 27, 0*c + g + 32 = 5*c. Is f(c) a prime number?
True
Suppose -3*i + 345636 = 3*u, 34322 = u - 2*i - 80887. Is u a prime number?
True
Suppose -14 + 13 = -y. Let v(l) = -14*l**3 + 3*l - 10. Let g(r) = -r**2 + r. Let a(n) = y*v(n) - 5*g(n). Is a(-7) a prime number?
True
Suppose 16*k = 54 + 170. Is k + 5376 - 6/2 a prime number?
True
Let x = -704 + 1100. Suppose x*j = 386*j + 3730. Is j composite?
False
Let i(b) = -156*b - 1. Let g be i(-4). Suppose -27 = 76*d - 79*d. Suppose -g = d*f - 16*f. Is f a prime number?
True
Let q be (4/42)/1 + 295382/42. Is q - 24/((-32)/8) prime?
True
Suppose 22*p = 414869 + 155921. Is p a composite number?
True
Let z(g) be the first derivative of -g**4/4 - 22*g**3/3 + 35*g**2/2 - 7*g - 83. Is z(-25) a composite number?
True
Let g = 3393158 + -2405151. Is g a composite number?
False
Let y(c) = 11*c**3 - 29*c**3 + 136 - 91*c**3 + 7*c + 8*c**2 + 23*c. Is y(-5) a prime number?
False
Let b = 0 + -2. Let k(w) = -2148*w - 5. Is k(b) composite?
True
Suppose 5*n - 208995 = 4*j + 715112, 0 = -2*n + 2*j + 369642. Is n composite?
False
Let a = 4670 - 2430. Suppose -5*c + 12090 - a = 5*r, -2*r = -3*c - 3955. Is r a composite number?
False
Let r(b) = 4*b**2 - 12*b - 5. Let d be r(3). Is ((-10)/8)/(1*d/25940) prime?
False
Suppose 4*t - 9 = 7. Let a be 19278/56 - 1/t. Let c = 103 + a. Is c a composite number?
True
Is (900/(-25))/18*544658/(-4) a composite number?
False
Let n(z) = 7217*z + 898. Is n(11) a composite number?
True
Let u(l) = -l - 43. Let m be u(-52). Is (-132528)/(-18) + m/27 prime?
False
Let d(w) = 251 - 50*w**3 + w + 51*w**3 - 2*w. Let p be 5/(-40)*2*0. Is d(p) prime?
True
Suppose 0 = -7*y + 6718 + 6071. Suppose -y = -r + 6226. Is r a composite number?
False
Let v(s) = -3*s**2 + 5*s - 3. Let z be v(4). Let m(b) = 41*b**2 - 233*b - 21. Let c be m(7). Let x = z + c. Is x prime?
False
Let y(i) = 46138*i - 73. Let o be y(-4). Is o/(-105) + 2/3 a prime number?
True
Suppose 19*k + 4*k - 69 = 0. Let i(w) = -w**2 + w. Let l(n) = 532*n**2 + 6*n + 7. Let f(c) = -4*i(c) + l(c). Is f(k) composite?
True
Suppose 0 = -392*b + 442*b - 1286727 - 718323. Is b a composite number?
True
Is (-2)/11 + ((-3370824)/(-33) - -3) composite?
False
Suppose 61 = 4*i - 19. Let o(b) = 2*b - 17. Let q be o(8). Let x = q + i. Is x a prime number?
True
Let z(p) = 272*p**3 - 15*p**2 + 79*p + 11. Is z(5) a composite number?
False
Is (1614/(-4))/3*(8 + -670) prime?
False
Is 148109/4 + (-11)/396*9 a prime number?
False
Suppose 6283 = 3*u + 5*r, -11*r = -8*r + 12. Is u a prime number?
False
Suppose -5*z + 11*z - 126 = 0. Let x(l) = -l**3 + 21*l**2 + l - 16. Let i be x(z). Suppose i*t - 5*a = 1630, 0*a + 5*a - 25 = 0. Is t a prime number?
True
Let n be ((-2)/21*-7)/(2/6). Suppose 0 = -2*q + n*k - 548, 3*k + 1 = -q - 253. Let s = q + 492. Is s a prime number?
True
Let o be 23 - (-3)/(9/(-6)). Suppose -z - o = f + 3*z, 5*z + 29 = -4*f. Is (-7 - f)*(-446)/4 composite?
True
Let i(y) = -2*y**3 - 6*y**2 + 11*y - 11. Let u be (1/(-4))/(2/(-8)) - 9. Is i(u) a prime number?
True
Is 2517/(((-48)/29)/(-16)) a composite number?
True
Let r(v) = -29*v**3 - 2*v**2 - 2*v. Let f be r(-1). Suppose 413992 = 37*w - f*w. Is w a prime number?
True
Let p = -652 + 647. Is -1 - -13131 - (2 + p) prime?
False
Suppose 63 = 7*x + 35. Suppose -27 + 1255 = x*k. Is k a composite number?
False
Suppose 182 - 197 = -5*l. Suppose 0 = -l*c + 2948 + 841. Let u = c - 676. Is u composite?
False
Suppose -9*z + 12188858 = 217*z. Is z composite?
True
Suppose 0 = 6*m + 2*m + 3*m. Suppose m = 4*t + 20, 0*y + 7817 = 3*y - 4*t. Is y a composite number?
True
Let r(d) = 10*d**3 + d**2 - 5*d - 1. Let n = -336 + 341. Is r(n) a prime number?
True
Is (-2045*22/55)/((-18)/4149) a prime number?
False
Let f = 271 + -136. Let p = f + -86. Let z = 195 - p. Is z a composite number?
True
Let u(y) = 556*y - 1103. Is u(42) prime?
False
Let g(y) = -33652*y + 1875. Is g(-8) prime?
False
Let t(x) = 328*x**2 + 193*x - 51. Is t(37) a composite number?
True
Let o(j) = 174*j**2 - 19*j + 126. Let w(r) = -172*r**2 + 19*r - 124. Let c(p) = -4*o(p) - 5*w(p). Is c(9) prime?
True
Suppose -128560 = 7*n - 3*n. Let q = -13179 - n. Is q a prime number?
False
Let j(b) be the third derivative of -37*b**6/90 + b**5/120 + b**4/4 + 32*b**2. Let h(n) be the second derivative of j(n). Is h(-2) composite?
False
Let w(o) = 9*o + 29. Let k be w(-3). Is 1*(0 - k)*60827/(-26) a prime number?
True
Let h be 2244/75 - 18/(-225). Suppose 0 = h*y - 38878 - 90932. Is y a prime number?
True
Let g be (-31*(-1 - -2))/(1/(-2)). Suppose 69*o = g*o + 17521. Is o a composite number?
False
Let j be (-125)/50 + (-1)/(-2). Is (-1 - j)*(-10)/((-50)/3835) prime?
False
Let n be (8/(-4) + 1)/((-3)/(-24)). Let w = n + 189. Suppose -1207 = -4*x + w. Is x composite?
False
Let o = 26 - 23. Suppose -5*z + o*h + 16 = 0, -2*z + 6*z - 5*h - 18 = 0. Suppose -5*n + s = -3120, z*n - 4*s - 3135 = -3*n. Is n a composite number?
True
Let b(g) = 7*g**2 - 42*g + 22. Let p be 19 - (4 + -11 + 5). Is b(p) a composite number?
True
Suppose 29*w + i = 31*w - 59292, 0 = 5*w - 4*i - 148227. Is w a composite number?
True
Suppose 3*k = -6, 6*x + 5*k - 13833 = 5*x. Is x a composite number?
True
Let i = -438 + 441. Suppose i*s = -h + 72701, -5*h + 4*s + 246429 = -117000. Is h prime?
True
Suppose 4*f + 37 + 123 = 5*k, -120 = 3*f - 3*k. Let j be (-6 - f/6)*15/2. Suppose 5*x + 2*n - 5910 = 385, j*n - 2518 = -2*x. Is x a composite number?
False
Suppose 1546*s + 9 = 1549*s. Suppose 3*z - 1246 - 441 = -k, 3*z + 5085 = s*k. Is k a prime number?
True
Suppose -2*v - 266 = -2*w, -12 = 4*v - 4. Suppose -6*n = -24*n + 1152. Let o = w - n. Is o a composite number?
False
Let v = -106 - -10. Let j = 169 - v. Is j a prime number?
False
Suppose 0 = 5*u - v + 527, 3*v + 115 = -3*u + 2*u. Let h = -104 - u. Suppose 0 = -