ose w = 2*x - 1074. Is x composite?
False
Suppose -783594 = 33*y - 101*y + 1777218. Is y a prime number?
False
Let y = -188 - -1019. Let r = 3034 - y. Is r prime?
True
Suppose 0 = -42*y - 30*y + 579338 + 4110814. Is y a composite number?
False
Suppose -509520 = -44*j + 614743 - 241491. Is j a prime number?
True
Let c(f) = f**2 - 21*f + 42. Let w be c(19). Suppose w*t - 69153 = -34*v + 29*v, 4*t = 3*v + 69145. Is t composite?
True
Let p(y) = 77*y + 35. Let f(r) = 385*r + 177. Let s(b) = 2*f(b) - 11*p(b). Is s(-10) a prime number?
True
Let l(v) = -3847*v + 16. Suppose 12 - 3 = -9*b. Is l(b) prime?
True
Let c(n) = -n**3 - 105*n**2 - 123*n + 352. Is c(-129) a composite number?
False
Suppose 110*a + 35*a - 111448595 = 0. Is a composite?
True
Let v(m) be the third derivative of -7*m**6/24 - m**5/20 + m**4/6 + m**3/6 - 60*m**2. Is v(-3) a composite number?
False
Let i(y) = -77*y**2 - 6*y - 8. Let p(h) = 77*h**2 + 6*h + 9. Let t(z) = -4*i(z) - 3*p(z). Is t(-4) a prime number?
True
Suppose -5*z = -0*z + m + 282, -z = 5*m + 66. Let f = 58 + z. Suppose -f*l = -2*h - 19 + 283, 5*h + 4*l = 651. Is h a prime number?
True
Let q be (-420)/(-75) + (-4)/(-10). Suppose 0 = -q*r + 8*r + 828. Let x = r + 955. Is x a composite number?
False
Let s = 60 - 60. Suppose 2*m + 8476 = 4*m - 2*k, s = -m - 4*k + 4243. Suppose y - 5*t = m, 4*y - 17000 = -3*t + t. Is y composite?
True
Suppose 0 = 20*z - 28*z + 312. Let s(u) = -u**3 + 41*u**2 + 22*u - 37. Is s(z) prime?
True
Let k = 598127 + -82936. Is k prime?
True
Let a(y) = 182*y - 1. Let h be a(1). Let k(t) = 13*t + 15 - h*t - 95*t. Is k(-2) a prime number?
True
Let x(k) = -k**2 - 13*k - 15. Let p be x(-8). Let f = -23 + p. Suppose t + 5*d = -17 + 73, f*d = -2*t + 104. Is t prime?
False
Let i = -560 + 584. Is 9865/((-12 - -4)*(-3)/i) composite?
True
Suppose 50 - 8 = 3*j. Suppose -3*b + j = -4*b. Is (-3 + b/(-4))*239*4 a composite number?
True
Let o(a) = 6*a**2 - a + 4. Let t(q) = 7*q**2 + 5. Let z(d) = 3*o(d) - 2*t(d). Let i be z(2). Is (-958)/(i/(-6)*(-1)/(-2)) a prime number?
False
Let y = 956816 - 663261. Is y a prime number?
False
Suppose 0 = -n + 2, 4*n + n = 5*r - 20. Suppose 41 = 2*s + 2*k - 63, -5*s + 251 = 2*k. Let t = s - r. Is t a prime number?
True
Suppose 5*h - 4*q + q = 297, 3*q + 177 = 3*h. Is (-2*46630/h)/((-1)/3) a prime number?
True
Let p(n) = n - 3. Let w(v) = -851*v - 26. Let r(t) = 3*p(t) - w(t). Is r(3) a prime number?
True
Let s be 2*-2*4/8 + 70. Suppose s = 3*a - 1336. Suppose -a + 2110 = 2*b. Is b a composite number?
False
Let c = 401 - 179. Suppose 0 = -2*f - u + c, 0*u + u - 333 = -3*f. Is f composite?
True
Is ((-198141)/(-18))/(13/78) a composite number?
False
Let q = -62528 - -92743. Is q composite?
True
Is 6 - (34737444/(-105) + 12/(-10) + 1) a composite number?
False
Suppose 154*k - 109926106 = 68587768. Is k composite?
True
Let m be (-12 - -8)*(-5703)/4. Suppose 5*y - m = -4*x + 16950, 5*y - 16986 = -3*x. Is x/(-6)*(-6)/3 composite?
False
Let a(f) = f**2 - 3. Let m be a(0). Is (-23208)/(-6) + 0 + m a prime number?
False
Let s be -3*(-4)/12*3. Let v be (2 + 2 - s)*4405. Suppose 5*n + x = -2*x + 4397, 5*n + 5*x = v. Is n a prime number?
True
Suppose 4*f = 16, 5*u + 16*f = 21*f + 142275. Is u a composite number?
True
Let w = 4258 + 4519. Is w a composite number?
True
Let y = -11 - -13. Suppose -4*k - 4*f = -132, -y*k + 5*f + 25 = -27. Suppose -h + k + 26 = 0. Is h composite?
True
Let u be -34*2818/(-9) - 4/(-18). Suppose 10*n = 8*n + u. Is n composite?
False
Let k(o) = -2*o - 15. Let i be k(-6). Let t(n) be the third derivative of -95*n**4/8 - 2*n**3/3 + 20*n**2. Is t(i) a prime number?
False
Let r = -244 - -262. Suppose 30*a = r*a + 43068. Is a prime?
False
Let f(l) = l**2 + 859*l + 88981. Is f(0) a composite number?
True
Let v(f) = f**3 + f**2 + 25*f - 12. Let q be v(7). Let u = q + -392. Is u a prime number?
True
Let g = 11335 - 11358. Let p(w) = -9*w**2 - 24*w + 110. Let c(n) = 5*n**2 + 12*n - 55. Let f(t) = -5*c(t) - 3*p(t). Is f(g) composite?
False
Let x(s) = 44*s**2 - 11*s - 8. Let b be x(22). Let r = b - 13329. Is r composite?
False
Suppose -7*i - 4*i = -768438. Suppose -57*u + 63*u = i. Is u prime?
False
Let z = -38 + 25. Let g(h) = -84*h**3 + 4*h**2 - 4*h - 3. Let j(c) = -169*c**3 + 8*c**2 - 8*c - 7. Let f(i) = z*g(i) + 6*j(i). Is f(2) a composite number?
False
Let v = -11 + 6. Let t = v + -1. Is ((-699)/t)/(5/10) composite?
False
Let v(y) = -7171*y - 59. Let p be v(-16). Suppose p = -18*i + 300095. Is i prime?
True
Let j = 982 - 990. Let l(q) = q**3 + q**2 - q - 2. Let k be l(2). Is (k/j)/((-3)/4227) a prime number?
True
Let p(f) = -f**2 - 2*f + 3. Let v be p(-2). Suppose -r - 2*d = 666, -r + 3317 = -6*r + v*d. Let m = 1247 + r. Is m a prime number?
False
Let x(i) = -6*i**2 - 2*i - 2. Let r = 53 - 49. Let v be x(r). Let g = v + 203. Is g a prime number?
True
Let z = -86 - -90. Suppose 5*c = -o + 10, -6*c + 74 = z*o - 3*c. Suppose 5*w = -o, 0 = -4*y - w - 2*w + 1504. Is y a prime number?
True
Is (-58012)/4*((-8)/32)/((-3)/(-12)) a prime number?
True
Let k(h) = -726*h - 1180*h - 2595*h - 17 + 759*h. Is k(-13) composite?
True
Suppose 65381 = -10*l - 28019. Let b = 3111 - l. Is b a prime number?
True
Is (-2268790)/(-133) - 3/(-7) prime?
False
Suppose -15*z + 19*z = 8. Suppose z*k = 4*k - 2230. Is k prime?
False
Let n = 35940 - 21348. Let o = -7993 + n. Is o prime?
True
Let u = 17105 - -22276. Is u a composite number?
True
Let r = -1129008 + 2033269. Is r a prime number?
True
Let c(u) = 4*u + 27. Let i be c(-7). Let y(z) = -11*z**3 - 2*z - 1. Let t be y(i). Suppose -7*x + t*x = 3405. Is x a prime number?
False
Let r(y) = -67*y**3 + 9*y**2 - 4*y - 3. Let t be r(-3). Is (t/27)/((-1)/(-3)) prime?
True
Let g = 40204 - 23979. Suppose -11162 = 3*n + g. Is 2*(n/(-6) - -3) a prime number?
True
Let t = 4246 + -19179. Let d = 7578 - t. Is d a composite number?
False
Suppose -360 = 5*n - 14*n. Let u be 283664/n - (1 + (-7)/5). Let y = -4055 + u. Is y a prime number?
True
Let y(w) = w**2 + 4*w + 3. Let i be y(-3). Let b be (i/(-2))/(4/2). Suppose b = f + 3*f - 956. Is f a composite number?
False
Suppose -15*f + 10*f = 0. Suppose -3*j - 4*v + 5 + 6 = 0, f = -4*j + 2*v + 22. Suppose -j*n = -n - 1524. Is n prime?
False
Let n = 20 - 20. Let z be (n + -48)/(10/(-135)*-3). Let h = 1325 - z. Is h a composite number?
True
Let n be -10*4/8*(-2)/5. Suppose -4*x = -v + 3, 2*x - 5*v - n = -x. Is 214 - 0/(x - 3) composite?
True
Let v = 2785 - -737. Suppose v = 4*k - 770. Is k prime?
False
Let x = 55760 - -232011. Is x prime?
False
Let g be 4/(-7) + (-428022)/(-98). Suppose 0 = 55*f - 44*f - g. Is f prime?
True
Suppose 2*w + 44776 - 259108 = -2*c, -321458 = -3*c + 5*w. Is c prime?
False
Let d = -32 - -62. Let o = d + -30. Suppose o = 2*b - b - 317. Is b prime?
True
Let t(b) be the second derivative of -115*b**3/3 - 81*b**2/2 + 2*b - 127. Is t(-8) a composite number?
False
Suppose 0 = 5*s - 4*v + 40 - 15, -4*s - 2*v = -6. Is 10*137/(-2)*s + -2 a prime number?
True
Let t = 137323 - -57324. Is t composite?
False
Let d be 24/(-5)*1*(-1720)/(-16). Let m be d/(-36) - 2/(-3). Suppose -3*z + 5*b = -3933 + 1237, 0 = -3*b + m. Is z a composite number?
False
Let d be 1798/(-6)*31 + (-2)/6. Let n = 22075 + d. Is n a prime number?
False
Let p(x) = -2*x**3 + 7*x**2 + 7*x - 8. Let d be p(4). Suppose y - 1871 = 5*t, -d*t - 5591 = 2*y - 5*y. Is y a composite number?
False
Let f be (8/10)/((-5)/(-25)). Suppose 70 - 26 = f*x. Suppose -58 = -b + x. Is b composite?
True
Let o = 32502 - 20101. Is o a composite number?
False
Let x(v) = -v**3 - 7*v**2 - 13*v - 13. Let o be x(-5). Let r(g) = 87*g + 13. Is r(o) a prime number?
False
Suppose -4*d + 3*t = -25, 4*t + 0*t = -2*d + 40. Suppose 5*q + d = -5, 5*b - 23982 = -q. Suppose 552 = -4*v + 2*o + 6958, 4*o = 3*v - b. Is v a prime number?
False
Suppose -p = -5*b + 3, -4 = -4*b + 2*p + 2. Suppose b = z - 4 - 0. Suppose -2*k - 3*l + 136 = 0, k + 3*k = z*l + 232. Is k a prime number?
False
Let y(f) = 4*f**2 + 2*f + 3. Let d(a) = 7*a**2 + 3*a + 5. Let v(k) = 3*d(k) - 5*y(k). Let c(m) = m**3 - 3*m**2 + 667. Let n(q) = c(q) + 2*v(q). Is n(0) prime?
False
Let q be (-5130)/304 - 2/16. Is 4141 + ((-16)/(-128) - q/(-8)) composite?
False
Let c(a) = a**2 - 5*a - 155. Let d(h) = -4*h**2 + 13*h + 46