 prime?
True
Let u(i) = -311*i - 21. Let c(a) = 310*a + 20. Let t(y) = 4*c(y) + 3*u(y). Is t(8) composite?
False
Let y = 367 - 195. Suppose j - 7 - y = 0. Is j a prime number?
True
Suppose -2*q + 1847 = 3*m, 0*m = -m + 4*q + 611. Is -4 - m/10*-2 prime?
False
Let k be -4 + (-5)/(-10)*-2. Let o(x) = -5*x**3 - 3*x. Let y be o(k). Suppose -5*f + 2585 = -5*w, -907 - y = -3*f + 5*w. Is f composite?
True
Let n(f) = -108*f + 43. Let i(u) = 33*u + 6 - 60*u + 5. Let j(r) = 9*i(r) - 2*n(r). Is j(-14) a composite number?
True
Suppose 9*x - 298387 = 161954. Is x a composite number?
True
Let f be 8*(65/20 - 4). Let h be 1142*(-2 + (-15)/f). Let o = -360 + h. Is o composite?
False
Is (-20)/(-30) - (-2)/6*2287 prime?
False
Suppose 8 = -4*n, n - 13 = l + 6*n. Let v(p) = -149*p**2 + 7*p - 10. Let u(d) = -50*d**2 + 2*d - 3. Let t(o) = -7*u(o) + 2*v(o). Is t(l) a composite number?
True
Let z(v) = 78*v**3 - 13*v**2 + 74*v - 29. Is z(6) a prime number?
False
Let s be (-14)/(-6) - 7/21. Let t be -2 - (-57 + s + 3). Suppose 812 = 3*g + t. Is g a prime number?
False
Suppose -3*r + 8 = 5. Is (1/2)/((-19509)/(-19506) - r) prime?
True
Let z be (1 - -1)*165/(5 + 0). Suppose 760 = 2*i - z. Is i a prime number?
False
Let a = 45144 + -9791. Is a prime?
True
Let b be (-235)/25 + 4/10. Suppose -3*n = -5*n + 6. Is 587*n/b*-3 a prime number?
True
Suppose -n = -13 + 10. Suppose 0*u + 795 = n*u. Is u a prime number?
False
Suppose -j + 428 + 74 = -2*b, 3*j - 1505 = 5*b. Suppose -1525 = -5*f - j. Is f composite?
True
Let r(o) = -o**3 + 13*o**2 + 26*o - 12. Let i be r(11). Suppose -4*w = -2288 - i. Is w prime?
True
Let w be 2/11 + (-124)/(-44). Let x(a) = -a**3 + 3*a**2 - a + 5. Let o be x(w). Suppose o*g = 6*g - 232. Is g a prime number?
False
Suppose 5*v - 43 - 12 = 0. Let z = v + 0. Is z a composite number?
False
Suppose -2*o = -4*l, -3*l + l - 6 = 0. Is (-1)/((6/1741)/o) prime?
True
Let k(o) = o**3 + 55*o**2 - 103*o - 96. Is k(-53) prime?
False
Suppose 2*d + 4666 = 4*g - d, -3*d + 1159 = g. Suppose -37*o + g = -32*o. Is o prime?
True
Suppose -30*d + 35*d + 46292 = 3*m, 3*m - 3*d - 46296 = 0. Is m composite?
True
Let x(s) = -s - 4. Let p be x(-7). Suppose p*y - 91 = -o + 369, -5*o - 4*y + 2267 = 0. Is o composite?
True
Let j(r) = -338*r + 233. Is j(-10) a composite number?
False
Let u(n) = 59*n**3 - 2*n**2 - 10*n + 2. Let c be u(6). Is -1*((-2)/9 - c/18) a composite number?
False
Suppose 2*g - 54286 = 4*o, 3*g + 5*o = 50542 + 30887. Is g composite?
False
Let y = -5737 + 17960. Is y a prime number?
False
Suppose -w + 412 = 3*j, 2*j - 1672 = -3*w - 443. Is w a prime number?
True
Suppose 909 = 5*o - 2*o. Let z(j) = 8*j**2 - 10*j + 17. Let k be z(8). Let d = k - o. Is d composite?
True
Suppose -3*n = 5*r - 19, 4*r = 5*n + 1 - 8. Suppose -5*b - 319 = -2*j, 2*b + 502 = r*j + 186. Is j a composite number?
False
Suppose 2*q - 840 = -2*n, q = 4*q + 6. Is n prime?
False
Suppose 2*z = -4 + 2. Let j be (z - -2) + 0 - -23. Is ((-16)/j)/(2/(-201)) composite?
False
Let j be (80/5)/(1 - -1). Let g(k) = 3 - 3*k + 10 + 0*k**2 - 6 + 2*k**2. Is g(j) a prime number?
False
Let p be (3/(-2))/((-6)/5584). Suppose -2*t + 3*m + 1545 = 0, 3*t + 4*m = -m + 2270. Let r = p - t. Is r a prime number?
True
Let v(d) = -8*d**3 - 16*d**2 + 27*d + 4. Is v(-11) prime?
True
Let u = 2749 + -1092. Is u a composite number?
False
Let a(m) = -7277*m - 158. Is a(-3) prime?
True
Let w(g) = 1840*g - 49. Is w(3) a composite number?
False
Let h = 106 - -4. Let g = h - -103. Is g prime?
False
Suppose 0*a = 2*a - 36. Suppose -2*k - 3*x = -a, -k + 3*x - 2*x - 1 = 0. Suppose j = -3*j + 5*q + 444, -k*q = 3*j - 306. Is j prime?
False
Suppose -8*l - 13*l + 119049 = 0. Is l prime?
True
Suppose -13*w + 1416118 = -339259. Is w composite?
False
Let v(t) be the second derivative of 89*t**7/360 + t**6/720 + t**5/120 - 7*t**4/12 + 7*t. Let u(w) be the third derivative of v(w). Is u(-1) prime?
False
Let r = -6 + 8. Suppose r*y + 444 = 8*y. Is y a prime number?
False
Suppose 0 = 161*m - 178*m + 13413. Is m composite?
True
Let s = -13 - -12. Let z be (12/(-18))/(s/3). Is (-35)/(-2 + -1 + z) a prime number?
False
Suppose -2*p = 3*p + 140. Let j be (236/10)/((-10)/(-25)). Let g = p + j. Is g prime?
True
Let f = 13 - 9. Let l(w) = -9*w + 7 + 14*w + 41*w. Is l(f) composite?
False
Let r = 132 + -120. Suppose -11 = -2*o + 3. Let u = r + o. Is u composite?
False
Let g(i) = -2*i**3 - 34*i**2 - 12*i + 9. Let v be g(-27). Suppose 7*n + 2*n = v. Is n a composite number?
False
Let w(i) = 3*i**2 + 4*i - 7. Let l be (-105)/(-12) + 15/(-20). Is w(l) a composite number?
True
Is -4 + (-250 - -3)*404/(-4) composite?
False
Let y(r) = -110*r**3 - 4*r**2 - 12*r + 13. Is y(-6) a prime number?
False
Is (-260)/13*(-2341)/4 a composite number?
True
Let d = 5036 - 2707. Is d a composite number?
True
Suppose 0 = -64*l + 60*l + 282244. Is l a prime number?
False
Let b be (-5 - (1171 + 5))*(4 - 2). Is b/(-7) + (-3)/7 a composite number?
False
Let p = -1903 - -859. Let h = 2195 + p. Is h prime?
True
Let c = -32 + 26. Is -3*(-2)/(c/(-467)) prime?
True
Let n(z) = 21*z**2 - 11 + 7*z + z**3 + 3*z + 5*z. Let v be n(-11). Suppose 0 = 4*g - k - v, -5*g = 5*k - 1106 - 199. Is g a prime number?
False
Suppose 3*p + 78 = 4*p + 2*f, 3*p - 254 = -2*f. Is 1/(2 + (-172)/p) prime?
False
Let l = 4 + -10. Let s be (-2)/l - (-5520)/18. Let i = 100 + s. Is i a composite number?
True
Suppose -140*c = -138*c - 7954. Is c composite?
True
Let i be -1362*(32/12)/(-4). Let k(c) = c - 2. Let n be k(5). Is -4 + n/(12/i) a composite number?
False
Let a(u) = -u**3 - 7*u**2 - u - 3. Let x be a(-7). Is 3/x + 7865/20 composite?
True
Let a(m) = 997*m - 82. Is a(3) composite?
False
Suppose 7*x - 4773 - 8086 = 0. Is x a prime number?
False
Suppose -845 - 275 = -2*i. Let f = 79 - -59. Suppose t - 3*w - f = 2*w, 5*t + w = i. Is t a prime number?
True
Let u be -3 + 7 - (1 - -1). Suppose 0*i = u*i - 460. Is 1 - ((-4)/1 - i) prime?
False
Let f(b) = -2*b**2 - 4*b + 2. Suppose g - 3 = -6. Let q(w) = w**2 + 3*w - 3. Let c(h) = g*q(h) - 2*f(h). Is c(9) a prime number?
False
Suppose -5*t + 3*b = b - 38559, -4*t + 4*b = -30852. Is t composite?
True
Let c be 6 - (0 - -1)*0. Is (2 - 8/c)/(16/2712) composite?
False
Is ((-2)/(-9)*-3)/(16/(-7608)) a composite number?
False
Let i(z) = 92*z + 255. Is i(43) a composite number?
False
Is 11906*((-5)/2 - -3) a prime number?
True
Let j be (606/10)/(3 + 88/(-30)). Let w = -286 + j. Is w prime?
False
Suppose 1347*y - 1368*y = -755097. Is y composite?
True
Let c = -24 + 26. Is (-5751)/(-15) + c + 48/(-20) a prime number?
True
Suppose -589*o + 579*o = -140. Suppose 0 = -t - 9 - 10. Let c = o - t. Is c a composite number?
True
Let o(f) = f**2 - 8. Let p be o(-3). Is (p/3 - 8/(-12))*57 a prime number?
False
Let o = -10 + 12. Suppose -54 = -b - o*b. Suppose -b = -2*k + 24. Is k a prime number?
False
Let o = -40930 - -71561. Is o prime?
True
Suppose -4*o - j + 10066 = 0, 3*j = 7 - 1. Suppose -11*h = -o - 6735. Is h a prime number?
False
Suppose -4*x - 14 = -0*x + 2*s, -3*s = -x + 14. Suppose -j - c - 223 = 0, -j = -2*c - c + 219. Is j/(x*(-1 + 3)) a composite number?
True
Let b be (0 - (-1 + 2))*19. Let u = 22 + b. Suppose -5*c - 1064 = -0*k - u*k, -1408 = -4*k - 4*c. Is k prime?
True
Let y(h) = 353*h + 21. Is y(16) a composite number?
False
Let t = -58 - -94. Let k = t - -78. Suppose 2*u + 3 = 5*u, -2*g + 4*u = -k. Is g prime?
True
Suppose -3*s = x - 6, s = -2*x + 14 + 8. Let t = x - 18. Let m(a) = 10*a**2 + 6*a + 13. Is m(t) a composite number?
False
Let q(h) = -h**3 - 2*h**2 + h + 579. Is q(0) a composite number?
True
Suppose 23*h = 4876 + 12351. Is h a composite number?
True
Let f(z) = -13*z**2 + 9*z + 475. Let q(w) = -7*w**2 + 5*w + 237. Let a(k) = -6*f(k) + 11*q(k). Let y be a(0). Let x = 748 - y. Is x a composite number?
False
Suppose -5*g = 5*i - 59750, 207*i + 11938 = g + 204*i. Is g composite?
True
Let l(v) = 10*v**2 + v - 76. Is l(-11) a prime number?
True
Suppose 4*x = 2*n - 0*n - 6, 3*n + 5*x = 53. Let v be 1 + (-2)/2 + n. Let k = v - -86. Is k composite?
False
Let q(h) = -h**2 + 9*h + 8. Let f be q(10). Is f/(-10) - 19712/(-40) prime?
False
Let a(u) = -137*u**3 - 6*u**2 - 7*u - 7. Is a(-6) a prime number?
True
Let i = -11 - -15. Suppose -i*w + 4236 = 4*r, 3*r + 5*w = -72