 = b + -10932. Is z composite?
True
Suppose 7 + 23 = 10*m. Suppose 2*j = 5*k + 22308, -3*k = -m + 9. Is j composite?
False
Let n be (-8)/(-36) - 38/9 - -1279. Suppose u - 5528 = n. Is u prime?
True
Suppose -46 = -d + 14. Let k = d + 144. Let b = k + -109. Is b composite?
True
Let j(q) be the first derivative of 53*q**6/180 - q**4/24 + 8*q**3/3 - 12. Let d(o) be the third derivative of j(o). Is d(3) a composite number?
False
Is (-1093215)/(-25) - (-10)/25 a prime number?
False
Let i be 1439 - (1 + (-1 - -2)). Let h be (i/(-6) - -1)*(-8)/3. Suppose -252 = -2*x + 2*y, 5*x - 3*y + 4*y = h. Is x a composite number?
False
Is 256298 - (-13 + (5 - -5)) a prime number?
True
Let u = -680 + 1753. Is u composite?
True
Let d = 113 - 108. Suppose 12788 = 4*i + s - 9324, d*i - 2*s = 27653. Suppose -2*u + i = u. Is u composite?
True
Let i(m) = 4*m**2 + 17*m - 6. Let b be i(5). Let q = 592 - b. Is q prime?
False
Let a = 10576 - 6026. Let f(u) = 15*u - 1871. Let g be f(0). Let l = a - g. Is l a prime number?
True
Suppose -3*z + 5 = -8*z. Let b = 422 + -428. Is z/(b/32298)*1 a composite number?
True
Let t = -274 + 294. Let b(c) = 6*c**2 - 8*c + 39. Is b(t) prime?
False
Let z = -86391 + 173942. Is z composite?
True
Let x(l) be the first derivative of 62*l**3 + 8*l**2 + 107*l + 109. Is x(-6) prime?
False
Let y(n) be the first derivative of -41*n**2/2 - n + 1. Let b = 471 - 481. Is y(b) prime?
True
Let m(p) = 10431*p + 932. Is m(17) composite?
False
Let i = 63590 - 11061. Is i composite?
False
Let j(m) = -161*m**3 + 3*m**2 + 4*m + 6. Let s = -18 + 14. Let f be j(s). Suppose f = 2*w + b, -3*w - 2*b + 4222 = -11289. Is w a prime number?
False
Is ((-320)/15)/(-32)*323283/2 a composite number?
False
Let n(u) = 2*u**2 + 21*u + 14. Let c be n(-10). Suppose c*t - 1082 = -3*q + 779, 2*q + 4*t - 1238 = 0. Is q prime?
False
Let x(m) = 31*m + 67. Let i be x(-2). Is 18194 + 2 + (4 - i) + 6 composite?
True
Let u be ((-40)/(-15))/4*(-83748)/(-8). Is (u/(-2))/((-2)/(-4) - 1) prime?
False
Suppose -26446 = -4*z - 2*v + 12562, -2*z + v + 19508 = 0. Is z a prime number?
False
Suppose -20*g + 7908916 + 6065199 = 2087255. Is g composite?
True
Let t = -12040 + 56057. Is t composite?
False
Let k = 407 - 407. Suppose -4*c + 5224 = 6*b - 2*b, -4*c = k. Is b composite?
True
Let r = 1172 + 1930. Suppose 2*w = 5*x + r, -w + x + 884 = -673. Is w a composite number?
True
Suppose 0 = 2*p + 2*y + 6, 2*p + 4 = -4*y - 12. Suppose 5*t = p*t - 3252. Is (1 - (t + -2)) + 0 composite?
False
Suppose -21*j = -11*j - 2*t - 3020214, -3*t = -5*j + 1510091. Is j a prime number?
False
Let l(k) = 4*k**2 + 13*k + 8. Let n be ((-2)/4)/(2/(-24)). Let c be l(n). Suppose 1542 = 4*p - c. Is p a prime number?
True
Suppose 4*d + 144 = -2*d. Let m = 26 + d. Suppose 5*n - v = 2020 - 134, -m*v = 2. Is n prime?
False
Suppose -258*g + 175*g = -130088141. Is g composite?
False
Let t(h) = 5*h**3 - 19*h**2 - 11*h - 22. Let n(c) = -12*c**3 + 38*c**2 + 21*c + 43. Let m(v) = 3*n(v) + 7*t(v). Is m(-23) a prime number?
False
Suppose n - 600 = 4077. Let q = -10740 - -10745. Suppose q*i - n = 9028. Is i prime?
True
Suppose 1563032 = 80*b + 64607 - 299095. Is b composite?
False
Let i = 6004 + -4070. Suppose 0 = -c + 2*c + 3*y - i, -5*c - 2*y = -9683. Is c a composite number?
True
Let p be 1/7 - 313429/(-119). Is (3/3)/(6/p) a prime number?
True
Suppose -5 = 7*o - 26. Suppose 0 = 5*w - p + 2467, -p - o = -5. Let r = -162 - w. Is r prime?
True
Let c(i) = 4*i**2 + 2*i - 5. Let w be c(3). Suppose 34*z + 35457 = w*z. Let r = z - 7502. Is r a prime number?
False
Let l(t) = -2*t**2 + 9*t + 5. Let s be l(3). Suppose -10*q - 34 = -s. Let p(k) = -173*k - 9. Is p(q) prime?
True
Suppose 4*c = -5568 - 1568. Let y = -1226 - 7. Let q = y - c. Is q prime?
False
Let n(v) = 5*v**2 + 1. Let p be n(-1). Suppose p*r = 4*r - o + 16, -44 = -4*r + o. Suppose r*x - 18664 = 2*x. Is x a prime number?
True
Suppose s + 2*a = 6*s - 196, -s + 5*a = -30. Suppose 3*q - s = -13. Suppose -483 = 6*x - q*x. Is x composite?
True
Suppose 8*d - 127 = -39. Suppose d*w = -2*w + 4615. Is w a composite number?
True
Suppose 3*v + 53222 = u, 0 = 4*u + 5*v - 120829 - 92008. Is u a prime number?
False
Let b = 37372 + -15671. Is b a composite number?
False
Suppose -43*z + 39*z - 3*p + 854960 = 0, p = -5*z + 1068711. Is z a composite number?
True
Suppose 0 = -2*p + 8*p - 2550. Suppose 0*d - 15 = -5*y + 5*d, 2*y + d = 3. Suppose 5*b = 4*c + 711, -b = 2*b - y*c - p. Is b prime?
True
Let v(s) = s**2 + 18*s + 73. Let r be v(-6). Is r/4*(3152 + -4) a composite number?
False
Suppose -4*k = 4*v - 504948, 76*k - 72*k + 8 = 0. Is v composite?
True
Let k(l) = -35*l**2 + 5*l + 25. Let i be k(6). Let s = i + 2034. Is s prime?
True
Let y(w) be the first derivative of -w**4/4 + 10*w**3/3 - 6*w**2 + 95*w + 97. Is y(-18) prime?
False
Let n(b) = -258*b + 11. Let g(v) = -256*v + 11. Let m(i) = -7*g(i) + 6*n(i). Is m(26) a composite number?
True
Let r(s) = -9046*s - 1495. Is r(-24) prime?
False
Suppose -5*z + 34 = 4*w, -2*z - 2*z + 47 = 5*w. Let y(m) = -36 - w*m**2 + 96 - 47 - 5*m**3 - 17*m. Is y(-8) prime?
False
Let u = 278 - 279. Let b(c) = 1436*c**2 + 19*c + 1. Is b(u) a composite number?
True
Let d(h) = 14*h**3 + 19*h**2 + 10*h - 10. Let i be d(-7). Let c = i + 7172. Is c composite?
False
Let u(s) = s**3 - 2*s**2 + 58*s + 2570255. Is u(0) prime?
False
Let z(d) = -d - 7. Let n(t) = -t**3 + 2*t**2 - 4*t + 3. Let m be n(2). Let i be z(m). Let b(c) = -26*c**3 + c**2 - 5*c - 5. Is b(i) a composite number?
True
Suppose 0*c = -y - c + 662054, 3*y = -5*c + 1986176. Is y composite?
False
Let s be 2 - -8354 - (3 - -1). Let r = -3948 + s. Suppose -2*v = -4*o + r, 4*o + 5*v - 6*v = 4400. Is o a prime number?
False
Let y(u) = -u**3 + 7*u**2 + 2*u - 10. Let x be y(7). Let k(o) = 60*o**3 - 2*o**2 - 6*o + 9. Is k(x) a composite number?
False
Let y(x) be the third derivative of -x**4/8 - 25*x**3/6 - 30*x**2. Let w be y(-9). Suppose 2*u = -w*k + 1520 + 3208, 3*u = -4*k + 7097. Is u a prime number?
False
Suppose 2*w = g + 251298, -54654 - 322307 = -3*w - 2*g. Is w a composite number?
False
Let v(f) = f**3 - 14*f**2 - 18*f + 43. Let l be v(15). Let o be (-1)/l*-1 + (-187)/(-22). Suppose 0 = -m + o*m - 2086. Is m a composite number?
True
Suppose 3*r + 5 = 17. Suppose 0 = -r*o + 4372 + 6888. Suppose -11*u + 1354 = -o. Is u composite?
False
Suppose -21*w + 15*w = 0. Suppose -3*r - 4*i + 5005 = w, -1679 = -r + 3*i + i. Is r prime?
False
Suppose 0 = -4*g + 5*r + 35, -16 = -5*g + r - 4*r. Suppose -5*u + 4*p = 5 - 31, 0 = -5*p - 20. Suppose 3*t - 4*l = 2291, g*t - 3*t - 1530 = u*l. Is t prime?
True
Is (6 + -4)/(92/(-598) - (-587416)/3817866) composite?
True
Let h(v) = v**2 + 8*v + 7. Let b be h(-5). Let q(r) = -r**3 - 5*r**2 - 10*r - 11. Let k be q(b). Suppose 3*y = 3*a - 1962, -3*y - k = a - 911. Is a prime?
True
Let s = 181630 + -66633. Is s a prime number?
True
Suppose -4*t + 2*l - 22 = 0, -4*t = -6*l + 2*l + 28. Is (-803106)/(-27)*(30/t)/(-5) a composite number?
False
Is (10/50 - (-132)/40)*337286 a composite number?
True
Let n(l) = -429*l - 562*l - 15 + 3 + 6. Let x be n(-11). Suppose -8*h + x = -3*h. Is h composite?
False
Let n = 6162 - 501. Is n/2 + 95/38 a composite number?
False
Suppose 8541312 = 134*u + 827066. Is u prime?
False
Suppose -1161 = -10*r + 16869. Let p = r - 62. Is p prime?
True
Let y(b) be the third derivative of -11*b**6/120 + b**5/6 + b**4/2 - 17*b**3/6 + 2*b**2 - 91. Is y(-10) prime?
True
Let d(q) be the second derivative of -q**4/12 + 3*q**3/2 - 11*q**2/2 - 7*q. Let v be d(7). Suppose -v*g - 3*j = -222, 2*j - 77 + 314 = 3*g. Is g prime?
False
Is ((-108555)/9 + -2)/(3/(-9)) a composite number?
False
Is (-3100)/(-1860) - (-283412)/6 a composite number?
False
Suppose -f + 3*f - 2*s = 28, -5*s + 30 = 5*f. Let z = f + 37. Suppose -14*x = -13*x - z. Is x prime?
True
Let l(x) = 3*x**2 + 21*x - 8. Let g(a) = -5*a**2 - 32*a + 12. Let k(j) = -5*g(j) - 8*l(j). Let h be k(9). Suppose -9*z = -h*z + 10972. Is z a prime number?
False
Let j = 84 - 82. Suppose 2*l - 10 = -j*q - 3*q, -10 = -5*q + 4*l. Suppose q*g = 7 - 1, 4*g = -2*u + 56. Is u composite?
True
Let k = 1193209 + -572871. Is k prime?
False
Let t = 699943 - 171308. Is t a prime number?
False
Let l(v) = 14895*v**2 - 953*v + 27. Is l(-8) a prime num