0 = -3*w + 10*w - 7819. Is w a prime number?
True
Suppose 0*n + 5*q + 1305 = 5*n, -2*n + 3*q + 526 = 0. Is n prime?
True
Is (2/3)/(14/1617) composite?
True
Let u(p) = p**3 - 2*p**2 + 3*p - 1. Is u(5) a composite number?
False
Let t(h) = 5*h**2 + 14. Is t(-9) prime?
True
Suppose 10 = -5*w, z + 2*w = -0*w - 115. Let v = z + 230. Is v a composite number?
True
Suppose -4*f + 3*q = -640, -4*f + 644 = -7*q + 3*q. Is f a composite number?
False
Suppose -4*l = -2*q - 4342, 3*l = -3*q + q + 3267. Is l composite?
False
Let w(p) = 328*p**2 + p - 10. Is w(-3) prime?
True
Is -2 + (-660)/(-3 - 1) a prime number?
True
Suppose -4*h = -11*h + 31514. Is h composite?
True
Suppose 29*a + 74 = 30*a. Is a prime?
False
Let k be 4220/(-8)*(-3 - -1). Let z = k + -646. Is z prime?
True
Suppose 30*j - 31*j + 1055 = 0. Is j composite?
True
Is (-60)/(-50) + (-8339)/(-5) a composite number?
False
Let x(v) = v + 3. Let u be x(7). Is u/(-4)*(0 + -10) a composite number?
True
Suppose -m = 5*v + 24, 0*m - v + 4 = -2*m. Is (-62)/m*(3 + -1) prime?
True
Let q = -35 - -76. Let m = q - 22. Is m prime?
True
Let l be 3/(-2)*-2*3. Suppose -2*j = -115 + l. Is j prime?
True
Let a = 4493 + -2578. Is a prime?
False
Let k(x) = x**3 - 8*x**2 - 10*x + 16. Is k(9) a prime number?
True
Let k be 0 - (-127 - (2 + -4)). Let u = k - 341. Let m = -55 - u. Is m a composite number?
True
Let z(d) = d**3 - 5*d**2 + d - 1. Let g be z(5). Suppose 0 = 3*n + l - 10, -g*n - l + 0*l = -12. Suppose q = n*q - 23. Is q composite?
False
Suppose 0 = -m + 6*m. Let a = 669 - 432. Suppose -2*y = 4*d + 71 - a, m = -5*y + 3*d + 441. Is y a prime number?
False
Let s be (4/(-3))/((-2)/6). Is 106/8 + (-1)/s prime?
True
Let o = -5 - -12. Is o a prime number?
True
Suppose 0 = 5*u + 20, 24 = 2*a + a - 3*u. Let i(d) = d**3 - 6*d**2 + 0*d**3 + a*d - 3 + 2. Is i(6) composite?
False
Suppose 0 = -8*m + 3*m + 17965. Is m a composite number?
False
Let t(b) = 25*b + 8. Let h(f) = 49*f + 15. Let j(m) = -2*h(m) + 5*t(m). Is j(3) a prime number?
False
Suppose 5*s = 4*i + 643, -4*s + i + 527 = 2*i. Is s a composite number?
False
Suppose h - 195 + 4 = 0. Is h prime?
True
Let a(x) = -5*x**2 + 3*x + 10. Let j(n) = 11*n**2 - 7*n - 21. Let q(d) = 13*a(d) + 6*j(d). Is q(-3) composite?
True
Let f be (14/(-49))/(2/(-14)). Suppose -2*l + 110 = -f*t, 2*l - 279 = -3*l + 3*t. Is l composite?
True
Suppose 0*y = -z + y - 190, -5*z + 4*y - 948 = 0. Is z*6*(-3)/24 a prime number?
False
Suppose 2*n + 3*k = 4, 4*n - 2*n = 2*k - 16. Is 1 + 2/n*-1412 composite?
True
Let r = 0 - 1. Let t be (-6)/(r + 74/68). Let c = 197 - t. Is c prime?
False
Let n be -4*(476/16 + -1). Let t = n + 182. Is t prime?
True
Suppose 3 + 1 = -2*z - 4*u, -u + 6 = 4*z. Suppose -261 = -5*q + z*q. Is q a composite number?
True
Suppose 565 = 4*a - 639. Let h = a - 146. Is h a prime number?
False
Let x be 18435/35 + (-4)/(-14). Suppose 0 = 3*g + 4*n - 349, 4*g + 63 - x = -4*n. Is g composite?
True
Suppose -2*l + 4 = -116. Let x = 36 - l. Let c = x + 49. Is c a composite number?
True
Let k(w) = -w**2 - 6*w + 1. Suppose -4*n + 17 = -5*u, -u - 14 = u + 2*n. Is k(u) prime?
False
Suppose 0 = -5*u - b + 2606, u - 3*b = 2*b + 516. Is u a composite number?
False
Suppose 5*n = n + 844. Suppose -m + j = -220, m - 3*j - j = n. Is m composite?
False
Let o = 2 - 2. Suppose -3*p - 2*j = 7, 3*j = -p - o*j - 14. Is 9/6*4*p a composite number?
True
Let a(k) = -k**3 + 4*k**2 + 7*k - 7. Let q = 8 + -3. Let h be a(q). Is h + 3*(-400)/(-6) a composite number?
True
Let m(j) = j**3 + 2*j**2 - 2*j + 3. Let p be m(-3). Suppose 5*o - 2*x - 1 = p, -3*x - 1 = -2*o - 5. Is 1/o*(0 - -3) a composite number?
False
Suppose -p - 2 = 2. Is (-4 - p) + 184 + 1 a composite number?
True
Suppose 5*u + 2 = 6*u. Suppose u*c = -4, c = g + 4*c - 49. Is g composite?
True
Suppose -3*j = j - 8. Suppose -j*y + 70 = -94. Is y prime?
False
Let h(w) = w + 1. Let n(b) = -b**2 - 2*b - 2. Let u(l) = 7*h(l) + 4*n(l). Let g be u(-1). Let x(p) = -8*p + 1. Is x(g) prime?
False
Suppose -17*g + 1087 = -16*g. Is g a composite number?
False
Let a(o) = -o**3 + 25*o**2 - 16*o + 3. Is a(13) a prime number?
True
Let m(i) be the first derivative of -3*i**2/2 - i - 2. Is m(-4) prime?
True
Let a(q) = 2*q - 4. Let g be a(5). Suppose 5*h - 5 = -0. Is 14*h*9/g composite?
True
Let w = 2295 + -1558. Is w prime?
False
Let t(p) = -41*p - 1. Let f be t(5). Let x = 441 + f. Is x a composite number?
True
Suppose -q = 5*x + 1, 3*q = 2*x + 2*q - 1. Let p(r) = 1 + x + 0 + 19*r - 3. Is p(3) a prime number?
False
Suppose -5*q + 1015 = -0*q. Is q prime?
False
Let w(y) = -y**2 + 6*y - 1. Let r be w(5). Suppose q - 5*a - 46 = 46, -20 = r*a. Is q a prime number?
True
Suppose 3*l = 6*l - 3*d, -5*l + 4*d + 2 = 0. Suppose 4*r + 3*x = 52 - 9, l*x + 38 = 4*r. Is 346/r + (-4)/(-10) composite?
True
Suppose -14*k = -9*k - 20975. Is k prime?
False
Let i = 60 - -46. Is i a composite number?
True
Suppose -2*x - x + 21 = 0. Suppose -742 = -x*h + 5*h. Is h composite?
True
Suppose 0 - 6 = -3*i. Suppose 2*x = i*a - 0*a + 192, 3*x - 309 = -4*a. Let z = x - 50. Is z a prime number?
False
Let l(m) = m**2 - 7*m - 4. Suppose 3*z + 32 = 4*t, 2*t = -4*z - 8 + 24. Let x be l(t). Is (-1 - 0)/(x/(-148)) a composite number?
False
Let p(n) = 21*n**2 - 6*n - 16. Is p(-9) a composite number?
True
Let g be -197 - (-6 + 3 - -2). Let p = g - -355. Is p composite?
True
Suppose 77 = -5*d - 4*g - 75, 0 = 5*d - g + 137. Let u = -13 - d. Is u a composite number?
True
Suppose 0 = u - 10*u + 1719. Is u a prime number?
True
Suppose 30 = 4*b + b. Suppose b*r - 4*r - 218 = 0. Is r a composite number?
False
Suppose -3*t = -2756 - 106. Suppose 2*v = 2*i + 1434 - 468, i - t = -2*v. Is v composite?
False
Suppose -19 = -5*s + p, 3*s - 3*p - p - 25 = 0. Suppose s*u - 8*u + 130 = 0. Is u a prime number?
False
Let k = 496 - 227. Is k a composite number?
False
Suppose -i = 4*v - 15, -2*i - 7 = -5*v + 2. Suppose -i*m = -2*m - 37. Is m a prime number?
True
Suppose 0*g + 653 = 2*c - 5*g, 660 = 2*c + 2*g. Is c prime?
False
Let g = -8 + 10. Suppose g = -p + 4. Suppose 2*v = -4*r + 566, 3*v = -p*r + r + 874. Is v a prime number?
True
Suppose 6 = -0*k - 2*k. Is 3*((-130)/(-6) - k) a composite number?
True
Suppose -151 = 3*g + 518. Let c = -38 - g. Is c composite?
True
Let m be 3/5 - (-36)/15. Is (-2 - 9)/(m/(-9)) prime?
False
Let b = 1 + -33. Let l(z) = 26*z - 1. Let f be l(-2). Let c = b - f. Is c a composite number?
True
Let y = 0 - -3. Suppose y*x - 96 = 45. Is x a composite number?
False
Let p(l) be the first derivative of -l**2/2 + 121*l - 3. Is p(0) prime?
False
Let s(w) = -w**3 + w + 31. Is s(0) a prime number?
True
Let l(w) = -w**3 + 13*w**2 - 4*w - 7. Let z(k) = 2*k**3 - 27*k**2 + 8*k + 15. Let s(h) = -9*l(h) - 4*z(h). Is s(9) prime?
False
Let v = 6 - 3. Suppose q - n + 586 = 3*q, 12 = v*n. Is (q/(-12))/(3/(-12)) a composite number?
False
Let d(n) = 23*n**2 + 4*n - 5. Let u be d(4). Let g = u - 232. Is (2/(-3))/((-2)/g) composite?
True
Let d(u) = 55*u - 16. Is d(9) composite?
False
Let u = -25 - -44. Let h(y) = -3*y + 3*y + u + y. Is h(0) a prime number?
True
Let r(l) = -2*l - 6 + 2*l - 25*l. Is r(-8) prime?
False
Let i(l) be the second derivative of l**6/120 + l**5/10 + l**4/8 + 5*l**3/6 + l**2/2 - 3*l. Let n(f) be the first derivative of i(f). Is n(-4) composite?
True
Is (-4)/10 - (-9201)/15 a composite number?
False
Is (0 - -10)*(-11)/(-2) composite?
True
Let v be -2*(-3)/18*6. Suppose b - v*b = -1. Let i(c) = 6*c**3 + 2*c - 1. Is i(b) a composite number?
False
Suppose 0 = 5*f - 810 - 245. Is f prime?
True
Let x(l) be the second derivative of -l**3/6 - l**2/2 - l. Let g be x(-3). Suppose 7 + 23 = g*n. Is n prime?
False
Let r(s) = -2*s + 1. Let h be r(-2). Suppose h = 2*k - 3. Is 141/k + 4/(-16) composite?
True
Is -5 + (18 - -5) + 2 + 1 composite?
True
Suppose r - 2*r - 13 = 3*g, -r - g - 11 = 0. Let d(i) = 6*i**2 - 5*i - 9. Is d(r) a prime number?
True
Let y = 882 + 411. Suppose 5*q + 2*g - y = 0, 5*q - g = 4*g + 1265. Is q composite?
False
Let t(q) = -17*q**2 - 6*q - 4. Let a be t(-7). Let w = -358 - a. Is w a prime number?
False
Let o(u) = 16*u**3 - u**2 + 1. Let k(j) = -j**2 - 5*j - 5. Let i be k(-4). Let s be o(i). Is 146/2 - s/(-8) prime?
True
Suppose -3*g = -3*l - 942, 2*g + 0*g = 4*l + 638. Is g a composi