5*w - m. Is w composite?
False
Let j(n) = 95*n**2 + 11*n + 29. Is j(-3) a prime number?
False
Suppose 0 = 17*a - 22*a + 15. Suppose -5*c = -0*w + a*w - 822, w + 5*c - 284 = 0. Is w a composite number?
False
Suppose -5*b - 4*w + 389 = -1282, 0 = -4*b + 2*w + 1316. Is b prime?
True
Let y = 97629 + -60134. Is y a composite number?
True
Suppose -2*f + 2772 = 4*t - 2862, 2*f - t = 5639. Is f a composite number?
False
Let y(m) = -m**3 - 16*m**2 + 13*m - 8 - 3 + 5*m - 6. Is y(-18) a prime number?
True
Suppose -8*t + 7*t - 4 = 0. Let b be (-18)/12 - 18/t. Suppose -b*s + 188 = s. Is s a composite number?
False
Suppose 1271 = 3*z + 221. Suppose -r - z + 1059 = 0. Is r a prime number?
True
Suppose 0 = -4*o + 4*f + 2904, 5*o + 0*o + 5*f = 3680. Suppose -3*w = 4*i - o, 5*w - 361 = -2*i + 2*w. Is i a prime number?
False
Suppose 5182 = 5*m - 2593. Is m a composite number?
True
Suppose -q = 11*q - 132. Suppose -1087 + q = -2*i. Is i prime?
False
Let o = 89 + 172. Let t = 482 - o. Is t prime?
False
Is (-30)/(-20)*(-1082)/(-3) composite?
False
Let j = -62 + 65. Let f = 5 + 0. Suppose j*v - 375 = 3*t, -5*t + 15 = f. Is v a composite number?
False
Let i(g) = 2*g**2 - 10*g + 10. Let o be i(4). Let d(r) = 72*r**2 + 8*r + 1. Let b(a) = 144*a**2 + 17*a + 3. Let v(h) = -4*b(h) + 9*d(h). Is v(o) a prime number?
True
Suppose f + 15906 = p, -f = -p + f + 15911. Is p a composite number?
False
Let x(c) = 36*c - 2. Let r(q) = -35*q + 3. Let h(z) = 5*r(z) + 6*x(z). Is h(8) a prime number?
True
Let t(w) = -w**3 - 11*w**2 - 32*w + 12. Let q be t(-14). Suppose k + q = 9*k. Is k a composite number?
False
Let a be 0 + -1 + 4 + 54. Suppose -x - 2*n + 23 = 0, 106 + a = 5*x - 2*n. Is x a composite number?
False
Let g be (-2)/(-10)*(-10)/(-2). Suppose h + 2*p = 12, 2*h - 15 = -2*p + g. Suppose h*o - 98 = 2*o. Is o composite?
True
Let k = -27168 + 47117. Is k a composite number?
False
Suppose -692 = -15*j + 13*j. Is j prime?
False
Let j(q) = 68*q + 21. Is j(31) composite?
False
Is (0 - 1002/(-4))*(-658)/(-21) a composite number?
True
Suppose v + 7 = -5*r, v - 4*r - 2 = -0*r. Let c be ((-4)/24)/(v/12). Is (-157)/4*c*-4 prime?
True
Let v be 3 - ((-2 - -4) + 1). Suppose -r + 34 = 5*y + 6, v = -5*y + 25. Suppose 4*s + 85 = 2*l - 141, -r*l = s - 360. Is l prime?
False
Let g be ((-1)/(-3))/((-4)/(-168)). Let u(h) = h**3 - 6*h**2 - 9. Is u(g) a composite number?
False
Let z(r) = -r**3 + 14*r**2 - 8*r - 7. Let d be z(11). Suppose 4*t = -2*j - 69 - 281, 3*t - 4*j = -d. Let l = t - -245. Is l a composite number?
False
Is 30730/22 + (-10)/(-55) prime?
False
Suppose -5*n + 13605 = 5*i, -6*i + 4*i + 5430 = -4*n. Is i composite?
False
Let q(k) = -91*k - 12. Suppose 0 = -3*t - 18 - 9. Is q(t) prime?
False
Let u = 7186 + 7253. Is u prime?
False
Let u = 6 - -2. Suppose -u*b + 1141 = -b. Is b a prime number?
True
Suppose -12*r + 3*n + 41968 = -8*r, 4*n - 52429 = -5*r. Is r a composite number?
True
Let g(c) = 10*c**2 - 43*c + 62. Let y be g(28). Suppose 8*j - 13358 - y = 0. Is j a prime number?
False
Let f be (2/(-1))/((-16)/160). Is 534/(-12)*(-2 - f) prime?
False
Suppose -2*a + 10017 = 3535. Is a a prime number?
False
Let r(t) = -10954*t + 435. Is r(-2) a composite number?
False
Suppose -16 = 4*i, 4*o = -2*i + 69 + 31. Suppose -o = -4*y + 5*p, -y = -p + 4*p + 6. Suppose -y*z + 1042 + 125 = 0. Is z a composite number?
False
Suppose -2*n + 4*b + 26446 = -0*n, 66148 = 5*n + b. Is n a composite number?
False
Let v(k) = -8*k + 115. Is v(-24) a composite number?
False
Let b = 7 - -23. Suppose b - 45 = -5*y. Suppose y*w = h - 6*h + 1000, 3*w = 3*h + 1008. Is w a composite number?
True
Suppose -3*n + 8591 = 2*h, 5*h - 16789 = -n + 4656. Suppose -988 = -4*k + h. Is k a prime number?
True
Let l(m) = m**2 - 30*m - 95. Is l(-18) composite?
False
Let n(x) = -x**3 + 8*x**2 - 10*x + 2. Let a be n(5). Let w = -20 + a. Let k(y) = 18*y**2 + y + 12. Is k(w) a prime number?
False
Suppose -5*s = -19109 - 11136. Let z = s + -2082. Is z composite?
False
Suppose 1194 = 9*x - 6*x. Suppose 6*a - 4*a - x = 0. Is a composite?
False
Suppose 45 = 2*z + 47. Is 2005/(z - -2) - 0/(-1) prime?
False
Suppose 27 - 17 = 5*n. Suppose 8*x = 3*x + n*z + 832, -x + 164 = -z. Suppose o - x = -26. Is o a composite number?
True
Let d(x) = -49*x + 46. Is d(-19) prime?
True
Let u(a) = a**2 - 5*a + 6. Let b be u(3). Suppose 7*d - 1322 - 1331 = b. Is d a composite number?
False
Suppose 0 = 4*a - 14 - 894. Let l = a + -26. Is l prime?
False
Let q be 4 + -4 - 31593/(-3). Suppose 5*z - 4*i = -8*i + q, 5*i + 10540 = 5*z. Suppose 4*w - z = -3*w. Is w a composite number?
True
Is ((-1956264)/36)/((16/6)/(-4)) a prime number?
False
Let y(w) = -605*w - 6. Let l be y(-4). Let r = l + -241. Is r composite?
True
Let q = 16355 + 5852. Is q a composite number?
True
Is 17218*((-66)/(-12) - 5) prime?
True
Let f be (48/16)/((-2)/(-334)). Suppose -j + 4*d = -781, 2*d + 288 = j - f. Is j a prime number?
True
Is 1/(-8) - 76875/(-24) composite?
False
Let j = 163 - 167. Let c(l) = 9*l**2 - 14*l - 9. Is c(j) prime?
True
Let y(k) = -126*k + 125. Is y(-11) a prime number?
True
Let h be 2/(-7) - 2338/49. Let l(f) = 6*f**2 + 2*f - 4. Let o be l(-2). Is o/h + 8396/6 composite?
False
Suppose -2*i + 3*m = -19, -4*m - 8 - 14 = -i. Suppose -i*l + 4*l = 0. Suppose -10*w + 5*w + 1265 = l. Is w a composite number?
True
Let l(o) = -31*o**2 - 8*o + 7. Let n be l(6). Let g = n + 1942. Is g a composite number?
True
Suppose i + 1376 = n, 0*i + 3*i - 2*n + 4128 = 0. Let v = -579 - i. Is v a prime number?
True
Let y(s) = 63*s + 6. Let w be y(13). Let k = w + 1453. Suppose 0 = -2*n - x + k, -n - n + 2290 = 4*x. Is n composite?
True
Suppose 4*m - x = -405, x - 4*x = -4*m - 407. Let o = -62 - m. Is o prime?
False
Suppose -2*p = -4*s - 375 + 7393, 0 = -2*p - 2. Suppose 4*c - s = -2*x, 7*c = 5*c. Is x a composite number?
False
Is 1/8 + (-259479)/(-264) composite?
False
Let b(m) = 40*m**2 - 9*m - 29. Is b(8) a composite number?
False
Let j(f) = f**2 - 2*f. Let a be j(3). Is ((-1)/a)/((-9)/37719) composite?
True
Suppose 756 + 1172 = -8*a. Let d = 452 + a. Is d a composite number?
False
Suppose 29*g = 33*g - 3404. Is g a composite number?
True
Suppose -14*j = 7*j - 45339. Is j a composite number?
True
Let n(d) = d**2 + 8*d + 4. Let r be n(-8). Suppose -139 = -r*a + 9. Is a prime?
True
Let f(y) = -94*y - 17. Let a be f(-7). Suppose 2009 = -5*d - a. Let s = -319 - d. Is s composite?
False
Suppose h - 3*h = -226. Let y = h + -63. Suppose 325 = 5*x + y. Is x a composite number?
True
Let k(h) be the first derivative of -h**3/3 + 5*h**2/2 + 9*h - 26. Is k(4) a prime number?
True
Let w = -158 + 1431. Suppose -r = -2*o + w, 8*o - 3*o - 3190 = 4*r. Is o a composite number?
True
Suppose -49*v = -51*v + 10. Is (v - 2)*(-518)/18*-3 a composite number?
True
Let n = -41 - -49. Suppose -n*d + 5341 - 165 = 0. Is d a prime number?
True
Suppose 2*p + 0*p + s = 8454, 3*p = 3*s + 12699. Is p a prime number?
True
Let z(c) = -c**3 + c**2 + 3*c - 7. Let y be z(6). Let b = 82 - y. Is b prime?
True
Suppose -g + 331 = 5*y, 535 = 3*g - y - 394. Is g composite?
False
Let b(m) = 534*m**2 - 9*m - 230. Is b(-11) a prime number?
True
Suppose -r - 4*p = -17, 0 = -2*r - 3*p + 9 + 10. Suppose -r*n - 4854 = -11*n. Suppose -3*x - 2*x + n = -z, x = -4*z + 145. Is x a composite number?
True
Suppose -1 - 24 = 5*m, 3*l - 5*m = 31561. Let k = 15355 - l. Is k prime?
False
Is (-1)/4*1*-141964 a composite number?
False
Suppose 77*a - 2137587 = 1787950. Is a a composite number?
True
Let g(w) = -1647*w + 2. Let d be -3 - 1*(-5 + 3). Let m be g(d). Let t = m + -942. Is t a prime number?
False
Let m be 2/5*(0 + 10). Suppose w - 4*t - 155 = -6*t, m*w - 572 = 4*t. Let y = w + -94. Is y a composite number?
False
Let f(t) = 167*t**2 - 3*t + 5. Let k(h) = -335*h**2 + 6*h - 10. Let q(p) = -11*f(p) - 6*k(p). Is q(2) prime?
True
Let k = 10270 - 3971. Is k prime?
True
Suppose 5*j - 73160 - 9575 = 2*h, 2*j - 33094 = -4*h. Is j a composite number?
False
Suppose -o + 5 = 1. Suppose 32 = -o*p + 60. Is p composite?
False
Let f be (-32)/24 + 6/(-9). Is 2072 - (f + 5 + -8) composite?
True
Let f = -2682 - -5215. Is f composite?
True
Let h = 10133 + 1446. Is h a prime number?
True
Suppose -35*l = -91105 - 36960. Is l a prime number?
True
Suppose -63*w - 6547 =