?
True
Suppose 3*q - 7 = -4*n, 3*q - 1 = -4*n - 2*q. Suppose n*u = -5*w - 16, 4*u = -5*w + 3*w - 4. Is (133/3)/(u/3) composite?
True
Let w = 58 - 38. Is 865/(w/(-4))*-7 prime?
False
Let m(i) = -81*i**2 - i. Let u be m(2). Suppose 3*b - 4*x - 2137 = 0, -4*b + 1965 + 871 = -2*x. Let g = b + u. Is g composite?
True
Let a(q) = 14*q**2 - 19*q - 66. Is a(13) a composite number?
False
Let w(y) = -y**2 + 18*y - 32. Let b be w(13). Suppose 2*f - 535 + b = 0. Is f prime?
True
Let s(c) = c**3 - 2*c**2. Let g be s(0). Suppose 4*k + 4 = g, 2*t + t + 3*k = 6. Is 0 - (-6 + t - 410) composite?
True
Let u(n) = 72*n**2 - 87*n + 51. Is u(-12) a prime number?
False
Let c be ((-19)/38)/((-1)/10). Suppose w - 1590 = -c*w. Is w a composite number?
True
Suppose -5*a = -17 - 3. Suppose a*x + v + 0*v = -19, 2*x + 4*v - 8 = 0. Is (19 - x/2) + -1 prime?
False
Let k(d) = -d**2 + 5*d - 4. Let z = 10 - 7. Let q be k(z). Suppose -2 = -n, 4*o - 3*n + q*n = 50. Is o prime?
True
Let y = 709 + -190. Suppose 5*t - 1804 = -y. Is t composite?
False
Suppose 3*u - 54608 = -2*x, 4*x - x = u - 18221. Is u composite?
True
Let o be 3 - -1 - (-1 - 6). Suppose -51 = -2*d + o. Is d a prime number?
True
Suppose 5*c - 25 = 0, b - 1094 = -5*c + 2246. Is b/12 + ((-42)/(-8))/7 a composite number?
False
Let m = -24189 + 40490. Is m prime?
True
Let i(h) = 11*h**2 - 37*h + 79. Is i(-15) prime?
True
Let v be (-4)/14 - 8958/(-42). Suppose 0 = 5*n + 5, 8*o = 3*o + 2*n - v. Is 1*3 - (o - -9) prime?
True
Let s(o) = 13*o**3 + 2*o**2 - 14*o**3 - 4*o + 3 + 2*o**2 + o**2. Let n be s(4). Suppose 2*w - 145 = -n*y, -4*w + w - 41 = -y. Is y prime?
True
Suppose 5*h = 8 + 17. Suppose 2*b = -5*y + 451, 0*b - 897 = -4*b - h*y. Is b a prime number?
True
Let y(n) = 74*n + 3. Let a be y(2). Let s = a - 54. Is s a composite number?
False
Let l = 424 - 254. Suppose -106 = m - 39. Let g = l + m. Is g prime?
True
Let z(o) = -o**3 + 3*o**2 - 2*o + 4. Let q be z(8). Is (q/(-4))/(58/19 - 3) a prime number?
False
Suppose 152*n + 2145 = 157*n. Let l = n - -1068. Is l composite?
True
Let o(y) = -194*y + 23. Is o(-2) a prime number?
False
Suppose -48*j + 67*j - 21109 = 0. Is j prime?
False
Let z(r) = -r**3 - 10*r**2 - 10*r - 3. Let y be z(-9). Suppose -10*m = -y*m - 24. Is m/4*(-496)/(-24) prime?
True
Suppose 2*d + 4205 = 5*a - 2256, -5*d = 4*a - 5182. Is a composite?
True
Let p = 1395 - 376. Is p composite?
False
Let m(q) = q**2 - 650. Let j be m(0). Suppose 33*s = 35*s + 854. Let t = s - j. Is t a prime number?
True
Let m be (5/1 - 6)*2615. Let k = -132 - m. Is k composite?
True
Let g(r) = 3*r**2 + 19*r + 1. Suppose 0 = -4*o + 3 + 1, 0 = 3*c - 4*o + 25. Is g(c) prime?
False
Let d = 27 + -15. Suppose d*k = 5*k + 9233. Is k prime?
True
Let k(y) be the second derivative of 1087*y**3/6 + 13*y. Is k(1) composite?
False
Let g = -13 + 21. Suppose 3*l - g = -l. Is 11/22 - (-661)/l composite?
False
Suppose -t + 1914 = -3*n, 4*n + 7649 = 4*t - n. Suppose -l - y + 500 = 20, -4*l + t = -5*y. Is l a prime number?
True
Let j be 2904/(-36)*126/(-4). Suppose 3*b + p - 7738 = 0, 3*b + 3*p - j = 5199. Is b composite?
False
Let d = -1376 + 2138. Let a = 1957 - d. Is a composite?
True
Let r(a) = a**3 - 4*a**2 + 2*a - 5. Let h be r(4). Suppose -x - 3*o = 3, -2*o - 31 + h = 5*x. Let k(z) = -z**3 - 4*z**2 + 3*z + 8. Is k(x) a composite number?
True
Suppose -3*n + 16 + 87 = 4*v, v + 32 = n. Is 1*1*(n - -4) composite?
False
Let c be (6 - (-10)/(-5)) + 0. Let w(s) = -69 - c*s + s + 31*s**2 + 68 + 4*s. Is w(1) a prime number?
True
Suppose 3*g = -3*q + 6*q + 20280, -4*g + 27039 = -5*q. Is g a composite number?
False
Let f be -10*(-2)/4*(-44)/(-55). Is (0/1 - (f + -1)) + 268 a composite number?
True
Suppose 0 = -23*o + 5277 + 2014. Is o composite?
False
Let d = 37250 - 18723. Is d composite?
True
Suppose w + 3 = 0, -9*d - 4*w = -4*d - 18283. Is d a composite number?
False
Let l = -18 + 21. Suppose l*s - 173 = 274. Is s composite?
False
Let u(z) = 5*z**2 - z - 3. Let n be u(5). Suppose -3*d - 6 = -n. Is d a composite number?
False
Let u(i) = 10528*i + 939. Is u(14) prime?
True
Suppose 0 = -5*t - t + 1398. Suppose t = 3*f - 2*f. Let a = 56 + f. Is a a prime number?
False
Let v = 1319 - 646. Is v a prime number?
True
Suppose -s - 30 = -33. Let r = s + 82. Is r prime?
False
Let o(b) = -4*b**2 + 32*b**2 - 10 + 1184*b - 1191*b. Is o(9) a composite number?
True
Let a(p) = p**3 - 6*p**2 - 4*p - 20. Suppose 5*j - 6*j + 9 = 0. Is a(j) prime?
False
Let l be (46/(-345) - (-17672)/15) + 1. Let z(d) = -d**3 - d + 1756. Let b be z(0). Suppose b = 5*g - l. Is g a composite number?
False
Suppose -3*a + p + 2 = 0, p = -3*a + 4*p. Let s(d) = 392*d**2 - 4*d + 3. Is s(a) a prime number?
False
Is -1*(14/28)/(1/(-53894)) a prime number?
True
Let m = -41 - -46. Suppose -m*h = -22 - 33. Is h a composite number?
False
Let q = 66 + 230. Let z(d) = d**3 - 8*d**2 - 7*d + 58. Let k be z(8). Suppose 0 = -k*l + q + 338. Is l a prime number?
True
Let x(y) = 8122*y**3 - 4*y**2 + 4*y - 1. Is x(1) a composite number?
True
Let f = 1 + 16. Suppose 4*n = 3*i, 3*n - f = -0*n - 2*i. Is (758/n)/((-22)/(-33)) a prime number?
True
Is 2/15 + (-44991956)/(-1380) prime?
True
Suppose -43 + 13 = -5*t - 5*c, 5*c - 21 = -2*t. Suppose 1898 = t*x - 5*m - 121, -2*m + 673 = x. Is x prime?
True
Let f(w) = w**3 + 45*w**2 + 113*w - 109. Is f(-40) a prime number?
True
Let h(r) = 16184*r**3 - r**2 + 5*r - 5. Is h(1) prime?
True
Is (-1)/(-7) - -1*(-80272)/(-28) prime?
False
Suppose -b + 3*q + 15 = 4*q, -q + 79 = 5*b. Is -2 - (2 + (-4)/(b/1028)) a composite number?
True
Suppose t + 4*a - 1713 = 0, 3*a + 3371 = 2*t - 0*a. Is t a prime number?
True
Let y(i) = i**2 - 30*i - 8. Let j be y(14). Let o = 175 - j. Suppose 2*r - o - 442 = -5*a, -2*r + 4 = 0. Is a a prime number?
False
Let q = -18 + 22. Suppose -3*w + o = 1, q*w - 3 = -3*o - 0. Suppose w = -4*h - j + 289, 2*j = -4*h + 3*j + 279. Is h prime?
True
Let p(o) = 2*o - 2. Let j be p(3). Let h be ((-1424)/(-4))/((-1)/3). Is (j/(-3))/(8/h) prime?
False
Let t be -22*(77/22)/((-2)/(-92)). Suppose -3*r + 47 = -5*s - 29, 5*s + 44 = 2*r. Is 8/r - t/8 a prime number?
True
Let r(g) = -2979*g**3 - g**2 + 2*g + 2. Let p be r(-1). Suppose -5*z = 453 - p. Is z a prime number?
False
Is (23/46)/((-1)/(-4846)) prime?
True
Let f be 646/(-95)*50/(-2). Let a = 549 - f. Is a prime?
True
Let n = 48964 + 6907. Is n composite?
False
Let h = -14966 - -30381. Is h prime?
False
Let x be (-1 + 4/3)/((-2)/(-12)). Is (1/x - 0)/(-1)*-358 prime?
True
Let j(b) = -b**2 - 10*b + 25. Let l be j(-14). Suppose -i = -5*i + 3*k - 100, -8 = -2*k. Let r = i - l. Is r a prime number?
False
Let u(d) = 223*d**3 + 5*d**2 + 10*d - 46. Is u(6) a composite number?
True
Suppose 3*p = -v + 33, -2*v = -0*v + 5*p - 61. Suppose 0 = -g - w + 57, -4*w + 2*w = 4*g - 218. Let q = g - v. Is q composite?
True
Suppose 9476 = 2*n - 1918. Suppose 0 = -10*p + p + n. Is p composite?
True
Let n(k) be the third derivative of 0*k - 13/12*k**4 + 0 + k**2 + 7/6*k**3. Is n(-6) prime?
True
Let f be ((-106)/(-4) + -2)/((-2)/4). Is 14/f + (-6234)/(-14) composite?
True
Is 14/((-546)/(-534) + -1) a prime number?
False
Let v be (-56538)/(-15) + (-1)/5. Let h = -2315 + v. Is h prime?
False
Let a be (2 - 31)/(1/(-5)). Suppose 0 = 3*q + 2*m - 1237, -2*q = 3*m - 963 + a. Is q composite?
True
Let h(m) = 4*m**2 + 10*m + 7. Let q be h(-9). Let l = q - 162. Is l a prime number?
True
Suppose -9*b + 43150 = -32936. Suppose 0 = -n + u + 1690, 5*n + 2*u = 3*u + b. Is n a prime number?
False
Suppose -978 - 7492 = -5*b - 5*u, -6755 = -4*b + 3*u. Is b a prime number?
False
Let s(d) = -1338*d**3 + 2*d**2 + 3*d + 2. Let p be s(-1). Suppose -5559 = -4*l - p. Is l prime?
False
Is 3*(16/(-6))/8*-16519 a prime number?
True
Is (-3)/(-3)*7/7 - -4082 a prime number?
False
Let o be (2 - -1 - 6) + 5. Is 2*(-9836)/(-16)*o composite?
False
Let u = 25413 + -13070. Is u a prime number?
True
Let k be ((-47)/(-2))/(5/(-20)*2). Let h = k - -493. Is h composite?
True
Let v be (-1 - -7)*38/57. Suppose -2*l - 970 = -4*j + 534, v*j = 3*l + 1502. Is j a composite number?
True
Suppose -210*z = -57*z - 188037. Is z prime?
True
Suppose 3*p + 4*z = 5960 + 7673, -5*p + 22741 = -3*z. Is p composite?
False
Let d(m) = 3*m + 16 + m**2 - m**3 - m + 0*m**3 - 2*m**2. Let f be d(0). Su