4*y + 2856, 6*y - 3*y - 2*n = 2167. Is y a composite number?
False
Let i(o) = -o**2 + 5*o - 4. Let s be i(4). Suppose c - 3*n + s*n = 308, -4*c + 1317 = 5*n. Is c composite?
True
Suppose -4*w + 3*w = -979. Is w composite?
True
Let c = 3412 - 1810. Suppose 0 = -2*f + 5*f - c. Is ((-1)/3)/((-2)/f) composite?
False
Suppose 4*s - 1317 = -3*l + 2*s, -l = 5*s - 452. Suppose 3*i - l = 97. Let d = i - 123. Is d composite?
True
Let j be (-3880)/56 - (-2)/7. Let t = 102 + j. Is t a composite number?
True
Let g(a) = a**3 + 10*a**2 - 12*a - 11. Let u be g(-11). Suppose -5*r + 5 = u, 7*k - 3*k - 147 = r. Is k a composite number?
False
Suppose -5*r - 3*q = 60, 3*r - 4*r = -5*q - 16. Let b(t) = t**2 + 2*t + 8. Is b(r) a composite number?
False
Let q(c) = -c**2 + c - 6. Let l be q(10). Is 2 + 1 + l/(-3) composite?
True
Let w(q) = -3*q**2 - 8*q + 12. Let j(h) = -h**2 - 3*h + 4. Let f(t) = -7*j(t) + 2*w(t). Is f(-10) a composite number?
True
Suppose 0 = -4*s + 1441 + 355. Is s prime?
True
Suppose 224 = 2*q + 58. Is q prime?
True
Suppose 0 = 4*v + 88 - 364. Is v a composite number?
True
Suppose -5*i - 5*a = -2 - 3, 0 = -2*a - 4. Suppose 2*v - i*d = 207, -7*d + 2*d = 25. Suppose 0 = -3*m - 3*s + v, 3*s + 44 = -3*m + 4*m. Is m a composite number?
True
Let m(r) = -198*r + 10. Is m(-8) prime?
False
Let r(x) = -22*x + 1. Let q = -2 + -5. Is r(q) a composite number?
True
Let a = -84 + 205. Is a composite?
True
Let o = -614 - -1669. Is o prime?
False
Let f = -6 - -3. Is 2 + 0 - 8*f prime?
False
Suppose 0 = -q + 6*q - 4435. Is q composite?
False
Suppose 7*g - 2*g - 9 = -u, 1 = 5*g - u. Let z be -2*(-6)/4 - g. Is (z - 1)/((-5)/(-385)) a composite number?
True
Let i(z) = -3*z - 3. Let f be i(-2). Let s be (1286/2)/(f + -2). Let c = s - 438. Is c a composite number?
True
Suppose 15*v = 3*v + 2532. Is v a composite number?
False
Let s = 10 - 10. Suppose -5*y - 62 + 417 = s. Is y a composite number?
False
Let v(c) = c**2 - 22*c - 15. Let n be v(12). Is n/(-6) - (-6)/(-4) a composite number?
True
Suppose 3*o = 5*l + 6673, -5*o - 3*l - 5456 = -16623. Is o a composite number?
True
Let c = 32 + -8. Let r(w) = w - 4. Let q be r(6). Suppose q + c = 2*p. Is p prime?
True
Suppose -2*l = -0*l - 1434. Is l a prime number?
False
Let p(u) be the first derivative of -2*u**3/3 - u**2/2 - 2*u + 3. Let v(j) be the first derivative of p(j). Is v(-4) composite?
True
Suppose -3*u - 4*q = 8, 2*u - q = 2 - 0. Suppose m - 5*h - 128 = u, -5*m - 5*h + 553 = -27. Is m a composite number?
True
Let a(l) = l**2 + 3*l. Let z be a(-4). Let i be 110*((z - 2) + 0). Suppose 0 = 5*c - 115 - i. Is c composite?
False
Let g(a) = 2*a + 20. Let o be g(-16). Let p = 33 + o. Is p a composite number?
True
Suppose -3*b + 1325 = 5*f - b, 5*f = 4*b + 1355. Is f prime?
False
Suppose 3*b - 7 + 37 = 0. Let f = b - -29. Is f a composite number?
False
Let w(r) = r**3 - r**2 + r + 144. Let o be w(0). Suppose b + 3*b + 141 = 5*g, -o = -5*g + b. Suppose -g = -s + 120. Is s composite?
False
Let d(b) = 1719*b**2 + 5*b - 3. Is d(1) a prime number?
True
Let v = 4 - 1. Suppose -t - v*q + 24 + 1 = 0, 0 = 2*t - 4*q - 90. Is t prime?
True
Suppose -4*c + 4 = -4*m, -3*c + 1 = -2*c + m. Is c/(-2*1/(-30)) prime?
False
Let g(u) = u**3 - 14*u**2 + 13*u - 1. Is g(16) a composite number?
False
Let s be -301*2/(6/(-9)). Suppose -4*c + p + s = 0, 0 = -c + 3*p + 216 + 7. Is c prime?
False
Suppose 3*j - 4*a = -j + 12, 2*j - 3*a - 7 = 0. Suppose -f + j*f = 3. Is (2 + (-66)/f)/(-2) a prime number?
False
Let x(t) = 40*t + 31. Is x(9) composite?
True
Suppose 3*s + 35 = 4*b + 4*s, -3*b - 2*s + 20 = 0. Suppose t - b + 5 = 0, -5*t + 90 = 5*d. Is d composite?
False
Let n(k) = -8*k**2 + 4. Let s be n(-3). Let i = s - -200. Suppose 2*q = 3*w + 5*q - i, -5*w - 2*q = -229. Is w prime?
True
Let h(m) = 2 - 125*m - 2 + 0 + 4. Is h(-2) prime?
False
Let y = -1 + 2. Let k be y/((-3)/(-15))*1. Suppose 16 = 2*x + p, -3*p + 19 = k*x - 22. Is x a composite number?
False
Let q = 14 + -14. Suppose 2*o - 332 + 34 = q. Is o prime?
True
Suppose -2*c = 2*c + 8. Let f = c - -16. Is f composite?
True
Let a(l) = l**2 - 6*l. Let m be a(7). Suppose m*f - 19 = 3*f - 5*v, f - v - 16 = 0. Let k = f - 1. Is k a prime number?
False
Suppose d + 4 = 2*d, 5*s + 4 = -4*d. Let y = 18 - 10. Is (s/y)/(2/(-148)) prime?
True
Let k = 5 - 9. Is 85 - 0/(k/2) composite?
True
Suppose -2*m = 2*m - 24. Suppose 9*w - 39 = m*w. Is w a prime number?
True
Suppose -2*u = -0*u - 6. Suppose 3*d - 4*d = u. Let q(a) = -38*a - 1. Is q(d) a composite number?
False
Let m(h) = -2*h - 1. Suppose 0 = 4*y, -f + 4*y - 2 = -3*f. Let q be m(f). Is q/6 + 333/6 composite?
True
Let t(x) = x**3 + 11*x**2 + x + 9. Let p be t(-11). Is 2 + -1 - (p + -1) composite?
True
Let n be (-29*1)/(4/(-312)). Suppose 3*g + 4*l = 3177, n = 4*g - 4*l - 1946. Suppose 0*q + g = 5*q. Is q a composite number?
False
Suppose 7328 - 27 = 7*t. Is t prime?
False
Suppose -18 = -3*p - 6. Let s be -2 + p - (4 + 0). Is -1 + (-2 + s)*-17 a prime number?
True
Suppose -b + 5*b - 36 = 0. Let f(p) = p**2 - 8*p - 5. Let v be f(b). Suppose -i + 80 = 5*c + v*i, -4*c + 2*i = -58. Is c a composite number?
True
Let k(f) = 3*f**2 + f. Let z(s) = -s**3 - 9*s**2 - 7*s + 10. Let j be (-8)/12 - 22/3. Let t be z(j). Is k(t) a prime number?
False
Suppose -17*o + 71931 + 157960 = 0. Is o a composite number?
False
Let a = 12 - 2. Is a a composite number?
True
Let a(m) = 32*m - 5. Is a(12) prime?
True
Let k be 14 - 4 - (4 + -1). Let u = k + 0. Is u a prime number?
True
Suppose 3*t = -0*t - 15. Let w(v) = v**2 + 7*v - 5. Let f be w(-6). Let r = t - f. Is r prime?
False
Suppose -k - 2*w - 6 = 0, 0 = -k + 3*w + 7 + 2. Suppose 0 = -3*p + 15 - k, -p - 130 = -v. Suppose -26 = 3*f - 4*d - v, 128 = 4*f - d. Is f a prime number?
True
Let y(p) = -2*p - 4 - 3*p - 1 - 4. Let l be y(-12). Let o = 110 - l. Is o a prime number?
True
Let a = 1628 - 579. Is a composite?
False
Suppose 0*w + w = 30. Suppose -10 = 2*s, -2*s - w = 5*l + 2*s. Is -3*(-11)/l*-2 a prime number?
False
Suppose 0 = -3*k - 2 + 5. Suppose k - 2 = -v, -2*v = -2*j + 632. Is j prime?
True
Let z be 14/3*(1 - -2). Let k = z + -10. Suppose 5*c - k*b + 38 = 128, -2*b - 100 = -5*c. Is c composite?
True
Let x(j) = -117*j**3 - 2*j**2 + 1. Let l be x(-1). Let r be l/(-12) - (-2)/3. Is -1*r/(-6)*-26 prime?
False
Is ((-4)/(2 + -4))/2 - -666 a prime number?
False
Suppose 3*s - 2*r - 14 = 0, -3*s + 4*r = -r - 8. Suppose -s*g + 3*g = -93. Is g composite?
False
Suppose 4*a + 7 = -1. Let y be (-4)/12*18/a. Suppose -4*l + 3 = -x + 33, x - 16 = -y*l. Is x prime?
False
Let y(w) = -8*w + 4. Let d(a) = 8*a - 3. Let o(z) = -5*d(z) - 4*y(z). Let c be o(-1). Suppose -x - t = -28, 88 = 4*x + 3*t - c*t. Is x prime?
False
Let x(c) = c**3 + 17*c**2 + c + 13. Is x(-16) composite?
True
Let n = 49799 - 23346. Is n prime?
False
Let d(n) be the first derivative of n**2/2 - 2*n + 3. Let z be d(4). Suppose 3*m - 65 = -z*m. Is m a composite number?
False
Suppose -5*t + r + 2*r = -3739, -3*r = 2*t - 1504. Is t composite?
True
Let i(q) = q + 15. Let u be i(-13). Let y = 4 - u. Suppose 0 = -3*d - y + 14, -2*x - 2*d = -126. Is x a composite number?
False
Suppose 4*a - 5*p + 53 = 0, 33 = -3*a + 3*p - 6. Suppose y = -5*v + 1, -3*y - 2*v + 55 = -0*y. Is -44*y/a*1 a composite number?
True
Suppose 8 = 2*a - 5*t + 27, -2*t + 16 = 2*a. Suppose 0 = 3*m + 5*j - 6 - 2, 5*m - 36 = a*j. Let f(i) = 6*i - 2. Is f(m) composite?
True
Let n = -44 + 76. Let l = 53 + n. Suppose 4*z = l + 15. Is z prime?
False
Let r be ((-15)/(-6))/(2/4). Suppose r*m - 2*m - 222 = 0. Is m a prime number?
False
Suppose 0 = 3*x - 3 - 3. Suppose -2*f - x*f = -844. Is f composite?
False
Let y(j) = 51*j**2 + 5*j + 1. Is y(-3) a composite number?
True
Let d(b) = -b**2 - 23*b - 25. Suppose 3*n - 33 = -0*n. Let p(c) = -12*c - 13. Let y(t) = n*p(t) - 6*d(t). Is y(6) composite?
True
Let s be (13/5 + -3)*405. Let r = 575 - s. Is r composite?
True
Let k = -4 - -6. Let y(d) = 3*d**2 + 3*d - 5 + 0*d**k + d - 2*d**2. Is y(-6) prime?
True
Suppose -23 = -2*u - 1. Suppose 80 + u = j. Is j a prime number?
False
Let z = -9 + 24. Let l = z + 36. Is l a prime number?
False
Let w = -5 + 3. Let j be 9 - w/(-4)*4. Suppose 275 = -2*u + j*u. Is u a composite number?
True
Let q = -7 + 11. Suppose -2*t - q = -3*v - 59,