Is z(5) a prime number?
False
Suppose 16591 - 5184 = 11*k. Is k prime?
False
Let v = -84970 + 119399. Is v composite?
False
Let s = 869 + 2178. Is s a composite number?
True
Let s(m) = -246*m - 3. Suppose 1 + 5 = -3*x. Is s(x) a prime number?
False
Suppose 5*f + 10 = 0, 3*u - 69 = 4*f + 8. Is u a composite number?
False
Let c = 1922 + -1001. Suppose -4*u + u = -c. Is u prime?
True
Let m(c) be the second derivative of -c**4/6 - c**3/3 + 3*c**2/2 + c. Let t be m(5). Let a = t - -190. Is a a prime number?
False
Suppose 4*s = 2*p - 4, 2*s + 3 = p - s. Suppose -4*m - 1 = -9. Suppose m*l - 6*l + 1284 = p. Is l a composite number?
True
Let m = 2 + 5. Let x(y) = y**2 - 4*y + 14. Let u be x(m). Suppose 92 = 3*d + u. Is d prime?
True
Suppose 6*w - 3810 = 3*w. Let x = -461 + w. Is x composite?
False
Suppose 2*z = 2*p - 30, 5*p + 4*z - 71 = 4. Suppose 0 = -u - 4*u + p. Suppose -y - 3*i = 3*y - 69, -u*y + 54 = 3*i. Is y composite?
True
Let c(j) = 3*j - 1. Let t be c(1). Is -3 - ((t - 1866) + -4) prime?
False
Let n be (0 - 1)*-2 + 2. Suppose -h - n*x - 21 = 0, -3*x - 105 = 5*h - 4*x. Is (-3429)/h + 6/(-21) a prime number?
True
Let f(y) = -100*y**3 + y**2 + 4*y - 11. Is f(-4) composite?
False
Let t(u) = -67*u - 7. Let y(q) = -2*q**3 + 3*q - 2. Let j be y(2). Is t(j) a prime number?
True
Suppose 0 = 87*j - 68*j - 214301. Is j a prime number?
True
Suppose -59*v + 12166 = -45*v. Is v composite?
True
Suppose 3*l = l + 84. Suppose -l = f - 329. Is f a composite number?
True
Suppose 4*d + 11894 = 3*p + 792, 2*p = 6*d + 7418. Is p prime?
False
Suppose -13 = -7*d + 1. Suppose -o - o = 2*h - 112, -d*o + 286 = 5*h. Is h a prime number?
False
Suppose -8 = -q - 3*b - 2, -3*q = -3*b - 30. Suppose q*d - 8756 = 33031. Is d a prime number?
True
Suppose -i = -2*l - 26305, -5*i + 10308 + 121245 = 4*l. Is i composite?
False
Suppose 0 = -8*t + 49*t - 464489. Is t prime?
True
Let s(t) = 2*t. Let a = 3 + -2. Let d be s(a). Suppose -d*w - 5*z + 30 = -z, 0 = 4*w - 2*z - 110. Is w composite?
True
Let w(j) = 7*j**2 - 2*j - 5. Let y(l) = -l**3 - 6*l**2 + l. Let x be y(-6). Is w(x) a prime number?
False
Let i = 52 + -47. Suppose i*t - 10 = 0, 0 = s - 2*s - t + 219. Is s a prime number?
False
Let l be 1 - (-1 + (-2)/(-1)). Let g be 1/((-36)/(-6) + -5). Suppose l = -4*u + 5 - g, 0 = -4*d - 2*u + 870. Is d prime?
False
Let t = 882 - -262. Let w = 2045 - t. Is w composite?
True
Let g(s) = 41*s + 2. Let a be g(-1). Is -82*(-5)/(-30)*a prime?
False
Suppose 578 + 1213 = -3*r. Suppose 3*f = 8*f - 50. Is (-4)/f + r/(-5) a composite number?
True
Let p = -41 - -136. Suppose -2*k + 43 = -p. Is k a prime number?
False
Is 52/(-130) - (-17)/5 - -2920 composite?
True
Suppose -7479 + 1915 = -4*y. Let l = -158 - 556. Let g = l + y. Is g prime?
True
Let r(f) be the second derivative of 143*f**5/5 - f**3/3 - f**2/2 - 6*f. Is r(2) a prime number?
False
Suppose 3 - 8 = 5*i. Is (24/9 - 3)*2391*i prime?
True
Is (-4)/(257774/85954 + -1*3) a composite number?
False
Let b = 45 - 8. Suppose b*g = 34*g. Suppose 3*r - 2*r - 5*n - 294 = g, -5*r = -2*n - 1447. Is r prime?
False
Let m(d) = 7367*d**2 - 3*d. Let r be m(1). Is r/(-2)*(-6)/12 a composite number?
True
Is (-1358)/(2/(-14) - 13/7) prime?
False
Suppose -8 = -4*b, 3*y + 6*b = 2*b + 758. Let f = 551 - y. Suppose 12*u - f = 11*u. Is u prime?
False
Suppose 1034 = 5*f + 254. Suppose -f = -k + 2*g + 3*g, -378 = -3*k - 3*g. Is k prime?
True
Let p(d) = d**3 - d. Let a be p(0). Suppose -l + 6*l - 3135 = 0. Suppose 5*u + l - 2272 = a. Is u prime?
False
Suppose 5*f - 3*l - 9132 = -2122, 2*l = 0. Is f composite?
True
Is (-15)/(-25)*2*5685/6 prime?
False
Let t(g) = -g**3 - 25*g**2 - 40*g + 55. Is t(-25) a prime number?
False
Let d = -55711 - -18190. Is (1/(-4) - d/36)/2 composite?
False
Suppose -2*i - 12 = -z - 3*z, 3 = -5*z - 2*i. Let t be 3*z*4/6. Is ((-9436)/(-42))/(t/3) a composite number?
False
Suppose 5*h - 26603 = -34*k + 35*k, k = 2*h - 10640. Is h prime?
False
Let r = 813 - 2073. Let h = r + 1797. Suppose 0 = 2*f + f - h. Is f composite?
False
Let m be 1/(-4) - (-999)/(-4). Let c = 417 + m. Suppose -5*j + c = 2. Is j composite?
True
Is -15*4/(-12) + 11796 prime?
True
Suppose 29*f = 8436 + 1337. Is f a composite number?
False
Suppose 0 = c - 2*v - 3 - 30, -8 = 2*v. Suppose -c - 130 = -5*t. Let x = 64 - t. Is x a composite number?
True
Let b(m) = -m**3 - m**2 - 2*m - 1. Let a be b(-1). Let f be 1*(1 + 1)*a. Suppose f*q - 4*o - 18 = 28, 29 = q + 4*o. Is q a prime number?
False
Let t(l) = -6*l**3 - 11*l**2 - 6*l + 2. Let u be t(-5). Suppose 0 = 2*d - 3*d + 5*a + u, 0 = -5*d + 2*a + 2581. Is d prime?
False
Suppose -4 - 20 = 4*m. Let r be (-99)/(-21) - m/21. Suppose -r*q + p = -978 + 27, 2*p + 183 = q. Is q a prime number?
True
Let p be (-139)/(-2)*(-3 - 4/(-4)). Let c = -56 - p. Is c prime?
True
Let l(a) = 89*a + 671. Is l(62) prime?
False
Suppose 3*y = -1 - 2. Let r(g) = 207*g + 4. Let i(o) = 204*o + 5. Let f(j) = 2*i(j) - 3*r(j). Is f(y) a prime number?
True
Let s be -3 + (2 - 530)/(-2). Let a = s - 134. Is a a composite number?
False
Suppose 4195*u = 4201*u - 2286. Is u composite?
True
Suppose 5*y + 29 = 4*m, -8*y = -5*m - 5*y + 20. Let i(x) = 2066*x - 3. Is i(m) prime?
True
Let a(s) = 25*s + 27*s - 1 + 16*s + 12*s. Is a(2) a composite number?
True
Let g = -3931 - -7866. Is g prime?
False
Is ((-136)/4)/((-3)/((-201)/(-2))) composite?
True
Let m = -44821 - -67050. Is m prime?
True
Let y be 8/12 - (-15)/(-9). Let h be (-4)/(3 - y)*-135. Let k = h - 80. Is k a prime number?
False
Is (5132/(-10))/(-2)*35/7 composite?
False
Let o(g) = 1162*g + 1. Let v be o(3). Let w = -290 - -282. Is w/20 - v/(-5) a composite number?
True
Let y = 9933 - 7036. Is y a prime number?
True
Let f = -65 + 67. Suppose -90 = -g + a - 23, 5*a + 122 = f*g. Is g a composite number?
False
Let x(k) = -k. Let i be x(-2). Suppose 3*s + 17 = -i*p, 4*p - 1 = -5. Is (-4 - s)*5*2 composite?
True
Suppose -4*g + 4*d = 0, -2*g - 4*d + 0 = 6. Let o(y) = 424*y. Let t(v) = v. Let m(p) = -o(p) + 5*t(p). Is m(g) prime?
True
Suppose 16*y - 17*y + 14122 = 0. Let x = -7319 + y. Is x a composite number?
False
Suppose 6 = -u + b, -4*b = 3*u + 12 + 6. Is 5884/2*u/(-12) prime?
True
Let s(u) = -2*u**3 - 7*u**2 - 8*u - 10. Suppose 4*t + 7*p = 2*p + 3, 3*p = 5*t - 13. Suppose 9 = -t*a + a. Is s(a) a composite number?
False
Suppose 20 = -5*x, 3*m + 0*x + 3*x - 10686 = 0. Suppose d = -0*d - 3*r + 698, 4*r + m = 5*d. Suppose 0 = 8*f - 3*f - d. Is f composite?
True
Let f = -67 - -261. Let x(z) = -6*z + 48. Let v be x(7). Suppose -2*r - 561 = -3*m - v*r, -m + r = -f. Is m prime?
True
Suppose -9*o - 1451 = c - 4*o, 2*c + 3*o = -2874. Is (34/(-3))/(18/c) prime?
False
Suppose -331790 = -7*x - 3*x. Is x a prime number?
True
Let b = 9 + -4. Suppose -2*v = -b*d - 12, -3*d - d - 4 = 4*v. Is d/((-6)/(-2871)*-3) a prime number?
False
Let r(p) = -250*p**3 + 16*p**2 - p + 14. Is r(-5) prime?
False
Suppose -70*o + 106*o - 1122732 = 0. Is o a composite number?
True
Let o = 15 - -2. Suppose 0 = 14*t - o*t + 2853. Is 2*(-3)/((-18)/t) prime?
True
Let r = -4 + 6. Suppose -r*a - a + 18 = 4*t, 3*t - 10 = -4*a. Let n(z) = z**3 - 3*z**2 - 6*z + 7. Is n(t) prime?
True
Let g be (-8)/(-2) + (-2 + 1 - -1). Suppose 4*a + g*i = 9792, -3*i - 9209 = -3*a - 1835. Is a a composite number?
True
Suppose -13*b + 490 = -3*b. Let o be -1 + (-97 - -2) - 0. Let u = b - o. Is u a composite number?
True
Suppose -1187 = -4*v - 3*o, -2*v + 767 = -o + 186. Is v composite?
False
Let t(h) = 173*h + 3. Let d(c) = c**3 + 4*c**2 + 2*c - 1. Let x be d(-2). Let w be t(x). Let u = w - 77. Is u composite?
True
Let h be (-1 - 1)/(6/(-8196)). Suppose -2*g - 2*g = -h. Is g prime?
True
Let i be 4 - -2*4/(-8). Suppose -1077 = -i*f + 1554. Is f prime?
True
Suppose 2*q - 21 - 35 = 0. Let v = -16 + q. Is (-151)/(-4) - v/16 prime?
True
Let n = 11850 + -7416. Is (1 - (n + -2))*1/(-3) prime?
False
Suppose 0 = j + 11025 + 9040. Is 5/((-30)/4) + j/(-15) a prime number?
False
Suppose 0 = -0*g - g - 207. Let d = -89 - g. Is d composite?
True
Let l be 0 + (-3 + 7 - -2). Is -23*1*(-11 + l) a prime number?
False
Let f(h) = -108*h + 17. Let d be f(13). Let z = 2472 + d. Suppose 4*c + c - z = 0. Is c composite?
True
Let o(m) = -88*m + 347. Is o(-32) a composite number?
False
Suppose 0*y = y + 