55 - -7816. Let i = y - -50890. Is i composite?
False
Suppose -191 + 607 = 26*y. Let a(s) = -s. Let x(b) = 97*b + 39. Let n(t) = -4*a(t) + x(t). Is n(y) composite?
True
Let u be (-36)/9 - 6 - -17. Suppose 2*a - 3*z = 12 - 0, -5*a - 3*z = -30. Suppose 0 = -a*i + u*i - 115. Is i composite?
True
Let r be (4/(-6))/((-20)/90). Let u(s) = s**3 - 4*s**2 + s + 5. Let h be u(r). Is h - 16/6*(-51)/2 a prime number?
True
Let t(w) be the third derivative of w**5/60 + 11*w**4/24 + w**3/2 - 30*w**2. Let y be t(-11). Suppose 5*m = y*l - 2336, l = -5*m + 4*m + 792. Is l composite?
False
Let b = 13 - 14. Let u(x) = -5*x**2 + 2*x - 4. Let a be u(-3). Is (-10516)/a + b/5 a prime number?
True
Suppose 164*o = 340*o - 39034945 - 114203503. Is o a composite number?
True
Let s = 209 - 204. Suppose -7*y + 2*m + 5747 = -6*y, s*m = 5*y - 28710. Is y a composite number?
False
Let p be (2 - 198/(-21)) + (-4)/(-7). Suppose 0 = -p*n + 3682 + 29522. Is n composite?
False
Suppose 60*c - 1804785 = 2973777 + 9267618. Is c a composite number?
False
Let g(s) = -9*s**3 + 41*s**2 - 33*s - 4. Let f(t) = -4*t**3 + 18*t**2 - 16*t - 2. Let d(b) = -5*f(b) + 2*g(b). Suppose 0 = -3*n - 2*n + 35. Is d(n) prime?
False
Suppose -5*g + 3*w = -20, 0*w = 2*g - 3*w - 8. Is (-1357671)/(-84) - (-1)/g composite?
True
Let q = -153 - -147. Let m(z) = -17*z**2 - z + 19. Let k(j) = -33*j**2 - j + 38. Let u(w) = -3*k(w) + 5*m(w). Is u(q) prime?
False
Let b(g) = g**3 + 6*g**2 - 8*g - 8. Let r be b(-7). Let t be (-2)/2 + (-1)/r*-1. Is 141/45 - t/(-15) a prime number?
True
Suppose 24 = 56*v - 50*v. Suppose 5*q - w - 26694 - 24610 = 0, -q + v*w + 10257 = 0. Is q a prime number?
False
Suppose 5388502 = -9*u - 1718276. Is (-1)/4 - u/72 composite?
True
Let s = -283 - -289. Suppose -215 = -s*r + 1603. Is r composite?
True
Let n(s) = 7099*s - 3. Let a(q) = -2366*q + 1. Let m(g) = -7*a(g) - 2*n(g). Let x be m(4). Let r = x - 2278. Is r prime?
True
Is (-8 - -1) + (118021 - (9 - 16)) a prime number?
False
Let i = -2247647 - -3886494. Is i composite?
True
Suppose 537*l - 750928 = 525*l + 666476. Is l a composite number?
True
Suppose 3*y - 4*x = -4, 2*y - 11 = -x + 1. Suppose y*r = -10*d + 8*d + 3298, 3*d - 5*r - 4991 = 0. Is d prime?
True
Let j = 116 - 108. Is 460 - (j + -4) - (1 - 2) prime?
True
Suppose f + 10989 = 4*f. Let w = 390 + 351. Suppose 6*i - f = -w. Is i a prime number?
True
Let d = 147805 + -94938. Is d prime?
False
Let y(x) be the third derivative of -103*x**4/24 - 51*x**3/2 - 46*x**2 + x. Is y(-8) composite?
True
Let t be (-33)/(-363) - (-2 + (-10330)/(-11)). Let u = t + 1704. Is u a prime number?
False
Suppose 16771*i - 16784*i + 1094327 = 0. Is i a prime number?
True
Let f(p) = -3*p - 13. Let g be f(-14). Let q = g + -26. Suppose -l = 2*z - 142, -3*l - 74 - 139 = -q*z. Is z a composite number?
False
Suppose -31*n + 3277708 + 3252785 = 757952. Is n a composite number?
False
Let f = 742 + -734. Suppose f*k + 8657 = 75433. Is k composite?
True
Let h = 23291 + -7138. Is h a prime number?
False
Suppose 3*w - 8 = 2*k, -2*w + 3 + 3 = -k. Suppose 0 = 2*x + k - 0. Is x + (-5)/((-5)/212) a composite number?
False
Suppose 2730 = -16*w + 9482. Is 52/(-6)*27/(-36)*w composite?
True
Is 12179956/44 - 23/(2530/20) a prime number?
True
Suppose -64*y + 3089895 + 3804761 = 0. Is y composite?
True
Let k be (-8 - -7 - -6459)*65. Suppose 0 = 2*f + 24*f - k. Is f a prime number?
False
Let b(o) = 22*o + 226. Let n be b(-10). Let v be 230/3 + 2/6. Let y = n + v. Is y prime?
True
Let r(y) = -459*y + 472*y - 171 - 878*y. Is r(-20) composite?
True
Suppose 950 = 4*j - 5*y, 126*y - 128*y + 466 = 2*j. Is j a prime number?
False
Suppose 11*b + 0 + 0 = 0. Let u be -1*b/(2 - -1). Suppose -6*n + 3427 + 875 = u. Is n a prime number?
False
Let k(l) = -78*l**2 - 7*l. Let i(h) = -h**2 - 1. Let g(s) = s**3. Let p be g(-1). Let m(b) = p*k(b) - i(b). Is m(-3) a prime number?
True
Let f = 874752 - 576853. Is f prime?
False
Let m(s) = -77807*s - 424. Is m(-1) a prime number?
True
Suppose -9*a + 12 = -33. Suppose -f + 9857 = 4*y, a*f - y - y = 49329. Is f prime?
False
Let p = -211864 + 369977. Is p composite?
False
Let b = -38 - -38. Suppose b = -4*m + m - 24. Is 1*(-4)/16 - 2010/m a prime number?
True
Suppose 28*r + 727625 - 2643861 = 0. Is r prime?
True
Suppose 210*b = 214*b - 3*f - 164534, 0 = -2*b + f + 82264. Is b a prime number?
False
Let i(r) = -14906*r**3 + 24*r**2 + 72*r + 25. Is i(-3) prime?
True
Is (22/(-10))/((-5)/32115) + (-8)/(-20) prime?
False
Suppose 42532 + 9428 = 10*z. Suppose z = 4*y - 2*t - 2*t, -4*y = -t - 5208. Let m = 2124 - y. Is m a prime number?
True
Let u(a) = 72*a**2 - 23*a - 148. Let y be u(-7). Suppose 5*l - y = 4*w - 8*w, -877 = -w - 4*l. Is w a prime number?
False
Let r(m) = 3*m**2 + 42*m + 7. Let z be r(-14). Let d(f) = 320*f**2 + 12*f + 3. Is d(z) a prime number?
True
Let u be 20/5 + -7 + 3. Suppose -4*d + u*d - 3*m = 6, -3*m - 6 = -5*d. Let c(v) = -v + 451. Is c(d) prime?
False
Let f = 7852 - -285. Is f a prime number?
False
Let c = -4688 - -8856. Suppose 0 = 36*i - 44*i + c. Is i a composite number?
False
Suppose 2*a - 1225*z = -1223*z + 373094, -a - z + 186555 = 0. Is a composite?
False
Suppose h = 76 - 2. Suppose -71*b = -h*b + 9. Suppose -q = -f - 1653, b*q - 4*f + 2*f = 4957. Is q a prime number?
False
Is (-1)/(-3) - (-681562)/6 - (3 - 2) prime?
False
Let w be (3 - -2 - 4)*1 + 3. Suppose 0 = -4*n - 2*u + 16020, 16014 = w*n + 8*u - 3*u. Suppose -8*y + n - 630 = 0. Is y a prime number?
False
Suppose -9*h - 13 = -14*h + 4*d, 3*h = -3*d + 24. Suppose h*o = -5*z + 55750, 3*z + 6637 - 40079 = 5*o. Is z a composite number?
False
Let q(d) = 3451*d**2 + 173*d - 31. Is q(-9) a composite number?
True
Let u(b) = 2*b**3 + 256*b**2 - 100*b + 561. Is u(-119) a composite number?
True
Let x(j) = -4*j + 53. Let s be x(12). Suppose 0 = 5*v - 3*y - 18038, -s*v = 2*y - 10995 - 7038. Is v composite?
False
Suppose -2*d - 2*r = -32604, 3*d - 4*r - 18373 = 30526. Is d composite?
False
Suppose 3*n - 11*s + 16*s = 27729, -3*n + 4*s + 27729 = 0. Let a = n + -4886. Is a a composite number?
False
Let c(n) = -n**2 + 18*n + 35. Let s be c(20). Let m(k) = -1924*k - 7. Let d be m(s). Suppose -g + r + 1913 = -r, 5*g + 2*r = d. Is g a composite number?
True
Let k = 2052 + 9941. Is k composite?
True
Suppose 0 = 4*t + 2*v - 38, -2*t + 7*t - 46 = -3*v. Let h(u) = 27*u**2 - 14*u - 16. Is h(t) a prime number?
False
Suppose 320025 = 24*v - 466479. Is v composite?
False
Let s(m) = 39*m + 36*m - 29 - 25 - 79*m. Let c be s(-14). Suppose -z = -4*n - 13, c*n - 132 = -3*z - 23. Is z composite?
True
Suppose -98*y + 3284019 - 724951 = 50*y. Is y a prime number?
True
Suppose 3*g - 59001 = -6*c + 4*c, 0 = 2*c. Is g composite?
True
Let l(h) = -6048*h**3 + h**2 + 5*h + 6. Let z be l(-2). Suppose -2*p = 6*p - z. Suppose -3*k - 1131 = -p. Is k a prime number?
False
Suppose 4*p - 4*s + 3*s - 25208 = 0, 0 = -3*s + 12. Suppose 5*q - 9*q = -5*d + p, 0 = 3*d + 3*q - 3771. Is d prime?
True
Let z be ((-1)/3)/((-34)/314976). Suppose p - z = -0*y - 3*y, -2*p + 6164 = 2*y. Is p composite?
False
Suppose -3*q - 2144 = 2*c + q, 3226 = -3*c - q. Let b = -447 - c. Is b composite?
True
Suppose 4*b + 5*u = 213982, 0 = 60*b - 62*b - 3*u + 106988. Is b composite?
False
Let j(o) be the first derivative of -20 - 29*o + 30*o - 19 + 7*o**3 - 7*o**2. Is j(12) prime?
True
Let a be (-136)/(-612) - 2434/(-9)*4. Let o = a + 2073. Is o a prime number?
False
Let r(l) = 1079142*l**2 - 158*l + 162. Is r(1) a composite number?
True
Let z(r) = 6535*r**2 - 27*r + 56. Let y be z(2). Suppose 2*p = -4*p + y. Is p composite?
False
Let z(n) = -521*n - 469. Is z(-16) a composite number?
False
Let u be (-635338)/12 - 2/12. Let z = u - -74186. Is z a composite number?
True
Let u(k) be the second derivative of 5*k**4/2 - 7*k**3/6 - 7*k**2/2 + k - 30. Is u(-2) a composite number?
False
Let k(m) = 7384*m**3 - 2*m**2 + m - 1. Let q be k(1). Suppose 0 = -4*t + 5*w + 6603, -5*t - 5*w = -928 - q. Is t a prime number?
True
Suppose 3*k = 3078*x - 3073*x - 3030289, 2*x + 4*k - 1212074 = 0. Is x composite?
True
Is (844281/(-2))/3*39/((-2691)/46) a prime number?
True
Let n = 8453 - -2468. Is n a composite number?
True
Suppose -3*i + 5*n = n - 232682, 3*n = i - 77554. Is i a composite number?
True
Suppose 6 + 