1141 composite?
True
Let w(j) = -10*j**3 - 5*j**2 - 5*j - 3. Suppose -5*g - 9 = 3*k, -k - 1 + 9 = -2*g. Suppose -4*y - 4*f - 1 = -5, -k*y + 4*f = 22. Is w(y) a composite number?
True
Let p(m) = m**3 - m**2 - 4*m + 1. Let f be p(3). Let j = 213 + -211. Suppose 3*a - 393 = j*i, f*a = 4*a + 4*i + 387. Is a composite?
True
Suppose v + 4*k = 3*k + 3240, -3*k = -v + 3260. Suppose 19*d = 14*d + v. Is d a composite number?
True
Suppose g = 10 + 18. Suppose 7*z + k = 3*z - g, 3*k = 2*z. Let n = z + 17. Is n a prime number?
True
Let h be 0 + -812 + (-45)/(-9). Let b = -476 - h. Is b a composite number?
False
Let v(s) = -s + 3. Let u be v(2). Let p(t) = 0 - u - 7*t + 6*t + 0. Is p(-15) prime?
False
Let y = -15867 - -26698. Is y composite?
False
Let j be (-22)/3*3/(-2). Suppose 4 = -10*l + j*l. Suppose -3*y = l*x - 1065 - 265, x - y - 329 = 0. Is x a prime number?
True
Let a(f) = 21*f + 4. Let b(n) = -2*n - 14. Let d be b(-10). Let m be a(d). Let h = m + -65. Is h a composite number?
True
Suppose 5443*k + 7496 = 5447*k. Is k a composite number?
True
Let l be 2 + 13 + (1 - 2). Suppose -9*o + 700 = -l*o. Let j = o - -577. Is j composite?
True
Let f(b) = 367*b - 25. Let w be f(-6). Let x = -464 - w. Is x prime?
False
Let i = 102863 + -55264. Is i a composite number?
False
Let q(u) = -u**3 + 3*u**2 + 6*u - 10. Let i = 18 + -14. Let f be q(i). Is f/(3 + -1)*-19 prime?
True
Suppose -4*z + 2*z = 2*x - 344, 3*x - 4*z - 488 = 0. Let u(a) = -2*a - 7. Let b be u(-5). Suppose k - 5*t - 97 = 0, -3*t = -k + b*k - x. Is k a prime number?
False
Let o be 197/(-4) + 60/(-16) + 3. Let m = 7 - o. Is m a composite number?
True
Let x(p) = 5*p**3 - 6*p - 3. Let g(l) = 4*l**3 - 6*l - 4. Let r(s) = -4*g(s) + 3*x(s). Let v be r(-5). Suppose 2*o + 0*o = v. Is o prime?
False
Suppose -2*c = -2*l + 47700, 94*l - 47691 = 92*l - c. Is l a prime number?
False
Suppose -6 = -3*n, -2*x + 3*n = -4*x + 4. Suppose 0 = u - 4*q - 66, 25 = u + 5*q - 23. Is (u + -11)/(0 - x) composite?
False
Let x(o) = o**3 - 9*o**2 - 7*o - 229. Is x(32) a prime number?
True
Suppose -2*b = 3*o - 376, -2*b + 5*b = -4*o + 502. Let v = o - -64. Let n = v - 95. Is n prime?
False
Let b(n) = 15*n + 7. Let o(q) = 3*q**3 - 2*q - 1. Let y be o(2). Let h = y + -11. Is b(h) a composite number?
False
Suppose -10*f + 5*f + 30 = 0. Suppose -844 = 2*m - f*m. Is m composite?
False
Suppose m + 171 = -0*m + 2*b, 4*m - 3*b + 664 = 0. Let f = -87 - m. Let x = f + 135. Is x a prime number?
True
Suppose 1210*t - 1204*t = 93342. Is t a prime number?
False
Suppose 5*u + 15 = 0, -4*c + 51*u + 150713 = 52*u. Is c composite?
True
Let w(m) = -19*m**3 - 2*m**2 - m. Let b be w(-1). Let v(a) = 15*a - 8. Let y be v(4). Suppose -k - b + y = 0. Is k prime?
False
Let q(g) = 23*g**2 + 6*g + 17. Is q(-2) composite?
False
Let t(n) be the second derivative of -n**3/6 - 3*n**2 - 11*n. Let v be t(-11). Suppose -v*s + 151 = -d, 13 = 4*s - 2*d - 103. Is s a composite number?
False
Let s(b) = -841*b + 89. Is s(-14) a prime number?
True
Suppose -561827 + 55199 = -12*j. Suppose 6*w = -3*w + j. Is w prime?
True
Let i(s) be the first derivative of -3*s**2/2 + 917*s - 13. Is i(0) prime?
False
Is 18533 + 10/40*24 a composite number?
False
Let l be (-32372)/(-36) - (-6)/(-27). Let p = -104 + l. Suppose 3*f + 151 = -5*k + 946, p = 3*f + k. Is f prime?
False
Let o(s) = -6*s**3 - s**2 - s + 1. Let c be o(1). Is (247 - -1) + (-4 - c) a composite number?
False
Let s = 5424 - -2761. Is s prime?
False
Let i(k) = -431*k + 28. Is i(-9) a composite number?
False
Let w = 95 + -585. Let s = -331 - w. Is s a composite number?
True
Let z = -36 - -41. Suppose -2 = z*u + 33. Let y(n) = 8*n**2 + 9*n - 10. Is y(u) composite?
True
Suppose -2*h + 6*z = 11*z - 9691, -3*h = 3*z - 14532. Is h a composite number?
True
Let d be 1*3/(-9)*3. Let q be 3 - (-3 - -2)*d. Suppose a - 2019 = -q*a. Is a a composite number?
False
Let a be (6*1/(-1))/(-2). Let s(p) = -8*p**3 + 5*p**3 - p**a - 5*p**2 - 11*p**3 - 4*p - 1. Is s(-3) composite?
True
Is (1 + -28739)*(17 - 13)/(-8) prime?
True
Let k(g) = -g**3 + 4*g**2 + 4*g + 9. Let d be k(-12). Suppose 1518 = 2*v + b + 3*b, -2*b + d = 3*v. Is v a prime number?
False
Is 25571 + 4/4*-10 prime?
True
Let o = -4010 - -6931. Is o a composite number?
True
Suppose -q = 2*a - 0*a - 11, -3*q + 29 = 5*a. Suppose -5*t = -5*h + 30, t = -a + 3. Suppose 4*n = 2*u - u + 6, 0 = 2*u - h*n. Is u composite?
True
Let y be (-45)/10*2*(-2)/3. Suppose y*f = f + 1255. Is f composite?
False
Suppose -r - r = 5*n - 17, -14 = r - 2*n. Let w = 6 + r. Suppose w*j = -3*x - 2*j + 431, -20 = 5*j. Is x composite?
False
Suppose 795 = 3*s - 3*p, -4*p = -5*s + 4*s + 271. Is s composite?
False
Suppose 0 = a - 40 - 125. Let r = -62 + a. Is r a composite number?
False
Suppose 4*b - c = 11116, -17*c = 3*b - 15*c - 8337. Is b composite?
True
Let d(m) = -3*m + 5. Let k be d(1). Is 3 + -2 + k - (-1430)/2 composite?
True
Suppose 4*r = 4*q - 113360, -56*q + 85017 = -53*q - 4*r. Is q a prime number?
False
Let y(k) = 34*k**3 + 2*k**2 - 6*k - 14. Let z(t) = -35*t**3 - 3*t**2 + 7*t + 14. Let f(l) = 4*y(l) + 3*z(l). Is f(5) prime?
True
Let a be (-2)/3*(-17)/((-34)/5868). Let w = a - -4289. Is w composite?
False
Suppose -12*v = 77365 - 259021. Is v/8 - 39/(-52) a prime number?
False
Suppose 2*p - 3*z - 154478 = 0, -56339 - 20900 = -p + 2*z. Is p a prime number?
True
Suppose -c + 2336 = -2488. Suppose 4088 = 3*f - 5*h, c + 1985 = 5*f - 4*h. Is f a prime number?
True
Suppose 57*d - 3828657 = -255270. Is d a prime number?
False
Suppose -89 = -5*a + 2*u + 15, 5*a = -2*u + 96. Suppose -6*i = -2*i - a. Suppose 2*v - s = 444, 0*v + 4*v - i*s - 894 = 0. Is v a prime number?
False
Let t = -22 - -31. Suppose t*a - 1285 = 4*a. Is a a prime number?
True
Let j be (-2)/(-2) - (-1 - 1). Suppose -31*n + 36*n = 150. Let u = n + j. Is u a prime number?
False
Is -3139*(12 - 7)/(-5) prime?
False
Let r = 4239 - -13052. Is r a prime number?
True
Suppose -4*x + 8 = -3*y, -7*y + x = -4*y + 2. Suppose y = 3*i - i - 556. Suppose 3*b + i = 851. Is b composite?
False
Suppose 858 - 23 = 5*o. Suppose j + 846 = 4*l, -3*j + o = l - 38. Is l a prime number?
True
Let q = -210 - -462. Let h = 439 - q. Is h a prime number?
False
Let t = 35578 + 16911. Is t prime?
True
Let n(m) be the second derivative of -m**3/6 + 4*m**2 + m. Let v be n(4). Let k(q) = q**2 + 4*q + 3. Is k(v) a composite number?
True
Suppose 2*z + 4*m = 2946, 3*z + 489 - 4916 = -2*m. Is z prime?
False
Let w(u) = 9*u**2 + 7*u + 5. Let m(y) = y**2 - 5*y - 8. Let g be m(7). Is w(g) a composite number?
True
Let r(g) = g**2 + 12*g - 21. Let f(z) = 2*z**2 + 0 - z**2 + 1 + z + 0 + 19*z**3. Let u be f(-1). Is r(u) composite?
True
Suppose j - l + 11 = 0, -5*l - 18 + 43 = 0. Suppose -3*m - 18 = -2*i, -2*m + 3*i = -4*m + 1. Is m/(16/14)*j a prime number?
False
Suppose -2*q = -4 - 14. Let z(p) = p**3 - 12*p**2 + 7*p - 6. Let r be z(12). Let u = q + r. Is u composite?
True
Let q be 6/(-8) - (-18)/(-8). Let a be (-1)/(0 - q)*-45. Suppose -1295 = -20*m + a*m. Is m a prime number?
False
Let y = 92338 + 66505. Is y prime?
True
Suppose 0 = 11*k - 6*k. Let n(y) = 10*y**2 + 8 + k*y**2 - 13. Is n(7) composite?
True
Let g = 108 - -96. Let f = g + -133. Is f prime?
True
Let n be 1326/7 + (-68)/(-119). Suppose 2*z - 396 = n. Is z a composite number?
False
Is (-5)/2 + 31955/10 + -12 a prime number?
True
Let b = 42 - 39. Suppose b*f - 140 = -f. Is f a prime number?
False
Is -3 + 19943 + (-54)/18 composite?
False
Let j be (-1)/(6/(-14) - (-173008)/403424). Is (j/4)/(12/(-24)) composite?
False
Let y(n) = 9867*n**3 - 6*n**2 + 3*n + 1. Is y(1) a prime number?
False
Let c(v) = -3*v**3 - 3*v**3 + 4 + v**2 - 3*v + 7*v**3 + 8*v**2. Is c(-5) prime?
False
Let l be 282*7 + 1 - 4. Let i = 808 + l. Is i a prime number?
False
Suppose 4*x = -3*r + 2402, -3*r - 3965 = -8*r + x. Is r a composite number?
True
Suppose -4*q + 10420 = -4*p, 480 = q + 3*p - 2141. Is q composite?
False
Let v(n) = -n - 5. Let k be v(-6). Let y(d) = -2*d**2 + 6*d - 2*d + 3*d**2 + k. Is y(5) a prime number?
False
Suppose -t - 4074 = -7*t. Is t prime?
False
Is (38118/9)/((32/(-6))/(-8)) a composite number?
False
Suppose 2*d + 5*c = 4263, -d - 2*c + c = -2124. Is d a composite number?
True
Suppose u - 6*u = -4*d + 13, -1 = -u + 2*d. Let b(q