16881 = t, -b = -8*x + 5*x + 10135. Is x composite?
True
Suppose -20*a - 170303 = -425203. Is a a prime number?
False
Let c(g) = -376*g - 1. Let z be c(-2). Suppose 2*o - 494 = 2*k, -k = -4*k - 2*o - z. Let f = k - -394. Is f a composite number?
True
Suppose -4*j = 131 - 159. Suppose 2864 = n + j*n. Is n prime?
False
Suppose -3*v = -13 + 1. Suppose -4*u + 512 = -v*j, -u - 4*j = u - 250. Is u prime?
True
Let n(i) = 101*i**2 + 2*i - 1. Let j(c) = c**2 + 3*c + 4. Let s be j(-2). Is n(s) composite?
True
Let o be (-8)/(-16) + 1/2. Is -1 - -125*(o + 3) prime?
True
Is ((-4327)/2)/((-15)/30) prime?
True
Let j = -184 - -313. Let p be 7/(j/(-130) - -1). Suppose 0 = 5*s + 105 - p. Is s composite?
True
Let f(d) = d**3 + 7*d**2 + 7*d + 8. Let v be f(-6). Suppose o + v*o - 12 = 0. Suppose 0 = -r + o*u + 19, u - 12 = -2*u. Is r a composite number?
True
Let c(z) be the first derivative of -21*z**4/4 + z**2 + z + 2. Let w be c(-1). Let k = 35 - w. Is k a prime number?
False
Let u = 70 + -10. Let x be 3/((u/1304)/5). Suppose -150 = -4*y + x. Is y prime?
False
Let n be (-33)/(-8) + 4/(-32). Let g(y) = 106*y**2 + 3*y + 13. Is g(n) prime?
True
Suppose -d + 2 + 6 = 5*v, 0 = 5*v - d - 12. Suppose v*t - 6*t + 300 = 0. Let o = 112 - t. Is o prime?
True
Let t(g) = -15*g - 3*g**3 + 19*g + 4*g**3 - 5*g**2. Let r be t(4). Suppose 0 = -3*y + 3*l - 0*l + 345, r = l + 2. Is y a prime number?
True
Suppose 5*d - 337905 = 4*z - 8*z, -4*d + 2*z + 270298 = 0. Is d prime?
True
Let n(r) = r**2 - 14*r - 15. Let f be n(8). Let t = -31 - f. Suppose 34*h - t*h = 796. Is h a prime number?
False
Let b(x) = x**2 - 16*x + 17. Let u be b(15). Suppose 3*h + 3 = 2*w - 13, u*h - 5*w + 18 = 0. Is 394*(-4 - -1 - h) composite?
True
Let c(y) = 3*y. Let k = 0 - 3. Let p be c(k). Is 35 + 3/p*0 prime?
False
Suppose -23673 = -8*f + 7679. Suppose w - f - 2834 = 0. Is w a composite number?
True
Let b = 2261 + -1446. Is b a composite number?
True
Let v(c) be the first derivative of 31*c**2 + 3*c - 96. Let d = -4 - -6. Is v(d) a composite number?
False
Suppose -1028674 = 29*h - 103*h. Is h composite?
False
Let o = 3142 + -676. Let u = o + -1721. Is u composite?
True
Suppose 0 = 17*x - 10*x - 14. Suppose x*b = 3*b - 541. Is b prime?
True
Let m(k) = k**3 + 7*k**2 + 3*k + 9. Let p be m(-6). Let d = p + -41. Let o = 16 + d. Is o a composite number?
False
Suppose -5*v + 122 = 2*y - 996, 2*v = -3*y + 456. Let p be 0*(-6)/10*(-5)/6. Suppose -5*m + 193 + v = p. Is m a composite number?
False
Suppose 4*b - 36 = -0. Let w be b*(2 - (-520)/(-6)). Is (3/(-6))/(3/w) a prime number?
True
Suppose -4*x + 5*q = 9, 0*x + x = 3*q - 11. Suppose x*l = -g + 427, 4*l - 10 = 2*l. Is g prime?
False
Suppose 6*s = s + 15. Let t be (-3 - s)*2/(-3). Is (-1 - -220) + (t - 0) composite?
False
Let y(h) = -841*h - 25. Is y(-2) prime?
True
Let o(l) = -l**3 - 9*l**2 + 11*l + 12. Let p be o(-10). Let b be (p/6)/((-7)/7413). Let f = -222 - b. Is f a composite number?
False
Let j = 1092 + 18569. Is j composite?
False
Suppose -90*d + 101*d - 41899 = 0. Is d a composite number?
True
Suppose 7*p - 37894 = 5*p. Is p a composite number?
False
Suppose 64*a - 71*a = -129857. Is a prime?
False
Let n = -13 + 16. Suppose -l = -n*l - 4. Is (-2)/l*892/4 composite?
False
Suppose 16*h = 13*h + 3*g + 8289, 3*g - 11045 = -4*h. Is h a prime number?
False
Let n(l) = 2*l**2 - 2*l + 6. Let j(d) = -d**2 + d - 3. Let g be 15/(-25) + 58/5. Let f(x) = g*j(x) + 6*n(x). Is f(11) composite?
False
Let c(u) = -u**2 - 6*u + 19. Let d be c(-8). Suppose d*n = -2*n - 3*t + 2777, -t - 2208 = -4*n. Is n a composite number?
True
Let r(c) = c**3 + 13*c**2 + 12*c + 2. Let a be r(-12). Suppose a*u - 7*u + 7295 = 0. Is u a prime number?
True
Let h(p) = -p**3 - 10*p**2 - 17*p - 4. Let b be h(-8). Suppose 5*j - b*o - 10237 = -2*o, 0 = -2*o + 8. Is j prime?
False
Let w = -2238 - -9185. Is w a prime number?
True
Let a = 42 + -62. Let r be 38/(-9) - a/90. Is 1836/60 - r/10 composite?
False
Let k be (-7835)/(-15) + 2/(-6). Let c = k - 1467. Let b = 1864 + c. Is b composite?
False
Let n(c) be the third derivative of -101*c**4/24 + 35*c**3/6 + 14*c**2. Is n(-6) prime?
True
Suppose 19*b - 108087 = -2*b. Is b composite?
False
Suppose 0 = -8*i + 2849 + 5423. Let r = i - 641. Is r prime?
False
Suppose -15*t - 39794 = -17*t. Is t a composite number?
True
Let z = -13 - -15. Let o be (-95)/z*-10 - 3. Suppose -a - 2*s = 31 - 170, 3*a - 5*s = o. Is a prime?
True
Let p = -3 + 10. Let c(m) = -2*m**3 - m + 1. Let d(b) = 7*b**3 + 4*b**2 + b - 7. Let o(l) = 3*c(l) + d(l). Is o(p) composite?
False
Suppose 2*g - 1149 - 1209 = 3*t, 0 = -g - 2*t + 1179. Let q = g - 392. Is q prime?
True
Suppose -42*r + 152623 = -48599. Is r prime?
False
Let l(o) = 11*o**2 + 89*o - 41. Is l(10) a prime number?
True
Let i = 102520 - -53059. Is i a composite number?
False
Is -1 + 11310 + (-10 - (-1 + -11)) a prime number?
True
Let u(y) = 7*y**2 + 49*y + 177. Is u(-50) composite?
False
Let m(d) = 3*d**3 - 62*d**2 + 37*d + 173. Is m(41) a prime number?
True
Suppose -5*r = -2*g - 987, 109 = 5*r + 5*g - 906. Let d = 330 - r. Is d prime?
True
Let g(k) = -157*k**3 + k**2 - 2*k - 3. Is g(-1) prime?
True
Suppose -5*d = -d + 2*g, -g = 4*d - 4. Let s be ((-8)/6)/((-2)/426). Suppose -542 - s = -d*n. Is n prime?
False
Let s = 13 + -11. Suppose -s*l - 1 = 9. Let y(p) = -2*p**3 + 2*p**2 - 6*p + 5. Is y(l) a composite number?
True
Let a = 5578 - 1817. Is a prime?
True
Suppose 5*r = k - 13, -k + 3 = 3*r - 2. Suppose z = -3 + k. Suppose -3*m - 5*y = -187, 0*m = z*m - 2*y - 291. Is m prime?
True
Suppose -5*n - 499 = -3*l, 0 = 5*l - n - n - 819. Suppose 2*z + 0 + 4 = 0. Let s = l + z. Is s a composite number?
True
Let l be ((-1)/(-2))/(4/16). Let r be (-2564)/32*l*4. Is r/(2 + 0 - 3) prime?
True
Let v be 0 + (-3)/6*-8. Suppose 0*q = -v*q + 308. Is q a prime number?
False
Let o = 317170 + -191211. Is o composite?
False
Suppose -16665 = -2*i + 142205. Is i a prime number?
False
Is 14613*(48/9 + -5)/1 a prime number?
True
Suppose -3*s = -11 + 200. Let a be 4 + -4 + -1 + 219. Let y = a + s. Is y prime?
False
Let i(v) = 38*v + 85. Is i(18) a prime number?
True
Let q be ((-1)/2)/((-2)/(-32)). Is (2 + 18/q)*-556 composite?
False
Let m(s) = 1. Let k be (1/(-2))/((-1)/2). Let b(r) = 4*r**2 + 3*r - 2. Let l(p) = k*b(p) - 3*m(p). Is l(-4) a prime number?
True
Suppose 2*z = 22 + 24. Let t = z - -626. Is t composite?
True
Suppose 16*d - 24 = 19*d. Let w(v) = 0*v + 5*v**2 + 3*v + 2 - 5. Is w(d) a prime number?
True
Suppose -5*t - 2*u = -2773, 20 = 5*u - 0*u. Is t a composite number?
True
Let q = -266 - -275. Let i(x) = -x**3 - 6*x**2 - 6*x + 2. Let b be i(-5). Suppose b*y = q*y - 194. Is y prime?
True
Suppose 4*z - 1060 = -2*h, 4*h - 6*h = 3*z - 793. Let t = z - 188. Is t a composite number?
False
Suppose 0 = 9*a - 10*a + 14173. Is a a prime number?
True
Let h be 4 - ((-2834)/8 + 7/28). Let g = 753 - h. Is g prime?
False
Suppose -2*t + 397264 = 14*t. Is t a prime number?
False
Suppose -4*h - 2*n + 9922 = 0, 3*h = 2*h - n + 2480. Is h a prime number?
False
Let j(m) = -m**3 - 64*m**2 + 49*m + 405. Is j(-68) composite?
False
Suppose 2 + 2 = -w. Let q be (-9)/(-36) - 895/w. Suppose -2*c + q - 701 = -p, -4*c + 4 = 0. Is p a composite number?
False
Let m = -127 + 21. Let n = 1365 + m. Is n prime?
True
Let y = -778 - -21255. Is y prime?
True
Let j be (2 + 1)/(15/(-12) - -2). Suppose 4*g - 152 = j*d, -2*g - 114 = -5*g - 3*d. Is g prime?
False
Let y = 9 + -6. Suppose 0 = y*q - a + 18, 2*q + 2*a + 6 = q. Let k(w) = 23*w**2 + 5*w - 13. Is k(q) a composite number?
True
Is 166232/264 + (1 - (-10)/(-6)) composite?
True
Suppose 4*d - 534522 = -2*z, 0 = -96*d + 101*d + 5*z - 668150. Is d prime?
True
Let m be (2/3)/(6/7380). Suppose 2*v + m = 7*v. Suppose p - 87 - v = 0. Is p a composite number?
False
Suppose j - 2*a = 8 + 7, -j - 5*a - 20 = 0. Let s be 0 + -3 + j + 114. Is (-4 - -4) + -3 + s a composite number?
False
Let h(c) = c**2 - 3*c + 3. Let k be h(4). Let n = -3 + k. Suppose 0 = -3*w - n*l + 3427, -l - 5149 + 586 = -4*w. Is w a prime number?
False
Suppose -80 - 11 = 7*j. Suppose -4*d + 2*u = d + 30, -d + 4*u - 6 = 0. Let i = d - j. Is i a prime number?
True
Let v(p) = p**3 + p**2 + p + 40. Let x be v(0). Suppose 4*m = -m + x. Let r(j) = -j**3 + 9*j**2 - 5*j + 11.