t j = 15 + -10. Let i = -4 + j. Let y(t) = 109*t**3 - t**2 + t. Is y(i) a prime number?
True
Let i(j) = 13*j**2 - 3*j + 23. Let n(m) = -19*m**2 + 4*m - 35. Let k(s) = -7*i(s) - 5*n(s). Let p be k(-12). Suppose 437 + p = 5*t. Is t a composite number?
True
Is (-25)/(-5) - (4 - 1041) composite?
True
Let c(t) = -4*t**3 - 2*t**2 - t - 1. Let p be c(-1). Suppose 2*k - 4024 = -p*k. Is k prime?
False
Suppose 2*b - 3965 - 909 = 0. Is b prime?
True
Suppose 3*p + 3441 = z, -2*z - 10367 = -5*z - 2*p. Is z composite?
True
Let q(k) = -2*k - 26. Let s be q(-11). Let u be s - ((-1006)/2 + 2). Let g = u + -312. Is g a composite number?
True
Suppose f = 0, 2*h + 3*f = 2*f + 2174. Is h a composite number?
False
Let f(p) = -p**3 - 24*p**2 + 21*p - 21. Is f(-32) composite?
False
Is 2347/3 - 20/15 composite?
True
Let r be 3 - 4*(-4)/(-16). Suppose -h = -2*t + t - 168, r*t = -10. Is h composite?
False
Let r = -48 - -112. Suppose r + 200 = 8*f. Is 11445/33 - (-6)/f a composite number?
False
Suppose 0 = -2*a + 7*a - 25. Suppose -2*l = 2*l + a*u - 42, 0 = -2*l - 4*u + 24. Suppose 28 = l*m - 4*m. Is m a composite number?
False
Let g(d) = 3*d**3 - 4*d**2 + 8*d + 5. Let y be g(6). Let u = -286 + y. Is u a prime number?
True
Let n(c) = 10*c**3 + c**2 + 2*c + 4. Let d(w) = -40*w**3 - 3*w**2 - 8*w - 17. Let y(f) = 4*d(f) + 18*n(f). Let j be y(6). Suppose s = -3*s + j. Is s composite?
True
Let y be (-50)/(-20) - 2/(-4). Suppose -1392 = -4*o + a + a, 1382 = 4*o + y*a. Is o a composite number?
False
Let b = 1220 + -544. Suppose -2*t + 198 = -b. Is t a composite number?
True
Let n(l) = -226*l + 65. Suppose 7*h = 17*h + 90. Is n(h) prime?
True
Let j(o) = o**3 + 48*o**2 + 74*o + 13. Is j(-28) a prime number?
False
Let z(w) = 217*w**2 - w - 1. Suppose -5*q + 14 = -6. Let u be 39/(-33) - q/(-22). Is z(u) prime?
False
Let o be ((-2)/(-4 - -2))/((-3)/(-6)). Suppose o*k = -2*k + 2932. Is k a prime number?
True
Suppose -36*s + 847175 = 118571. Is s a prime number?
False
Let b(v) = 7*v**2 + 11*v - 9. Is b(5) a prime number?
False
Let j = 38919 + -9536. Is j a prime number?
True
Suppose -5*d = -d + 4. Is ((-1)/1 - 66)*d prime?
True
Let f be (-1)/((-1)/(-5)*-1). Suppose -10 = -23*k + 21*k. Suppose -632 = -k*r + r + n, 0 = -f*r - 2*n + 803. Is r prime?
False
Suppose -4*b + 3*w = -23, -5*b + 2*w = 4*w. Suppose 2*g - 3*g + 450 = -3*r, b*g + 2*r = 892. Is g prime?
False
Let n = -4 + 9. Let d be 13 + -2 + (-20)/n. Suppose -69 = -d*o - 20. Is o a prime number?
True
Suppose 5*l = 3*l. Suppose l = -3*t + 4*t + 5, -30 = -3*a + 3*t. Suppose 0 = -4*b - a*x + 1131, -6*x = -2*x + 20. Is b composite?
True
Suppose 3905 = 2*b - 2059. Suppose -b = 5*i - 29707. Is i a prime number?
False
Suppose 8*k + 4*l + 12 = 7*k, 4*k - 2*l - 24 = 0. Let x(a) = 12*a**3 + 4*a**2 + 8*a - 7. Let m be x(5). Suppose k*o + 117 = m. Is o prime?
True
Let r = -137 - -387. Is (8 - 9)*(-1 - r) a composite number?
False
Is (-2)/((-12)/533424*8) composite?
False
Let t be (-8)/28 - (-186)/14. Suppose 503 = 14*w - t*w. Is w a prime number?
True
Suppose 0*d = -d - 60. Is 45/d - (-670)/8 prime?
True
Suppose -2*p - 3*p + 2*y = -1459, 5*p - 1447 = -4*y. Suppose -5*f + 314 = -p. Is f composite?
True
Let u = -18859 - -28466. Is u a prime number?
False
Suppose 2*k - 18 = -k. Is (-5976)/(-27) - 2/k composite?
True
Let u be 78/(-18) + 4/(-6). Let r(a) = -3*a - 5. Let i be r(u). Is (-1529)/(-3) + i/(-15) composite?
False
Let r = -18 + 18. Suppose r = -4*a + 6*a - 24. Let f(n) = 8*n - 7. Is f(a) a prime number?
True
Let j(v) be the third derivative of -3*v**4/4 + 2*v**3 + 2*v**2. Let u be j(5). Is 1 - (u/1 + 0) composite?
False
Let t(i) be the second derivative of i**6/360 - i**5/40 - 3*i**4/8 - i**3/2 + 5*i. Let h(f) be the second derivative of t(f). Is h(-8) a composite number?
False
Let s(d) = 4*d**2 + 42*d + 33. Let h be s(-28). Suppose -29*p = -28*p - h. Is p composite?
False
Let a(k) = 1897*k + 24. Is a(5) prime?
False
Suppose 3*r = 0, 0 = -6*n + n - 2*r + 31855. Is n prime?
False
Suppose 11221 = 12*v - 15695. Is v prime?
True
Suppose -5565 - 32256 = -3*t. Is t composite?
True
Let i(p) = p**2 + 9*p + 7. Let y be i(-6). Let c(d) = d**3 + 10*d**2 - 15*d + 3. Is c(y) a composite number?
False
Let l be (178 - 5) + -3 + 2. Let d = l + -63. Is d prime?
True
Suppose 0 = 6*t + 19004 - 52046. Is t a prime number?
True
Let d = -2974 - -1807. Let v = -658 - d. Is v a composite number?
False
Let i(w) = -7*w**3 - w**2 + 2*w + 1. Let c be i(-1). Suppose 0 = j + c*r - 1509, -4 = -r + 2*r. Is j composite?
True
Let r = 38 + -20. Is (-12)/r - 1978/(-6) prime?
False
Let i = -101 - -103. Suppose l = 0, -1164 = -i*a - 2*a - 5*l. Is a a composite number?
True
Suppose -5*i - 1117 = -4*r, -2*r = -4*i - 109 - 445. Let p = -126 + r. Is p a composite number?
False
Let k(z) = -4 - z + 7 - 4 + 2*z**2. Let f be k(-1). Suppose -19 = -p + 2*t, -p + 2*t - 19 = -f*p. Is p prime?
True
Let n be (-2)/8 + 15/(-4). Let i = 18 + n. Let d(l) = 5*l**2 - 6*l + 5. Is d(i) a prime number?
False
Suppose 3*n = 5*i + 2*n - 16237, -i - 2*n = -3243. Is i prime?
False
Is (-2 + 1)*(-748 - -9) a composite number?
False
Let p be ((-154)/33)/(2/6). Let h(r) = r**3 + 15*r**2 + 13*r - 10. Let q be h(p). Suppose -q*v = m - 1053, -1 = -m - 0. Is v a composite number?
False
Suppose 6505 + 12561 = 2*i. Is i composite?
False
Let i be 4/22 + 6891/33. Let w = i + 444. Is w prime?
True
Suppose 24*t = 20*t + 70988. Is t composite?
False
Suppose -5*t - 8*t = 0. Suppose 2*z = t, -3*n + 2*z = -4*n + 1703. Is n a composite number?
True
Let b(m) = -m**3 + m**2 + 2*m + 2161. Is b(0) a prime number?
True
Suppose -b + 5 = 0, -2*w - 24 = -6*w - 4*b. Let s be 48/(-12) + w*-13. Let a = 54 + s. Is a a prime number?
True
Is (-125408)/(-3) - (-80)/240 prime?
False
Let n = -4679 + 7380. Suppose -5*o + 2*s - 6*s = -n, 546 = o - 5*s. Is o prime?
True
Let a(l) = 1939*l + 4. Is a(1) a composite number?
True
Let i(l) = -952*l**3 + l**2. Suppose 2*y + 4*t = -3*y + 7, 4*y - 3*t + 13 = 0. Is i(y) a prime number?
True
Suppose 438*o = 410*o + 5318516. Is o composite?
False
Let i(f) = 3*f**3 - 6*f**2 - 5*f - 3. Let y(o) = -o + 9. Let j be y(4). Let s be i(j). Suppose -4*a - s + 1041 = 0. Is a composite?
False
Let v(j) = -6*j**2 - 9*j + 2. Let w(q) = 7*q**2 + 9*q - 2. Let l(a) = -3*v(a) - 2*w(a). Let u = -106 + 99. Is l(u) prime?
True
Is -3409*((-40)/(-8) + -6) a prime number?
False
Suppose 3*z - 50434 = 6*q - 5*q, -2*z + q + 33623 = 0. Is z a prime number?
True
Let z be (-6)/(-33) - 53/(-11). Suppose 2*w - z*w = -3. Let k(q) = 329*q. Is k(w) prime?
False
Suppose 7732 = -38*d + 42*d. Suppose -2*h + 5*y = 2*h - 1571, -5*h = 4*y - d. Is h a prime number?
True
Let u(c) = 668*c + 9. Is u(1) a prime number?
True
Suppose 4*d - 4*p - 75 - 949 = 0, 0 = 3*d - 2*p - 765. Is d prime?
False
Let d = -211 + 549. Suppose -2*l - 16 + d = 0. Is l a composite number?
True
Let i be (1 - -2)/(-3 - 140/(-45)). Is ((-9)/i)/(1256/1257 - 1) a composite number?
False
Suppose 3*a - 4*a - 6 = 4*b, 2*a - 2*b = -2. Let o = 5 + a. Suppose -3*u = -o*n + 54, 2*n + 3*u - 7*u - 44 = 0. Is n a prime number?
False
Let z = -2 - -18. Suppose 0 = 4*n + 3*o - 602, o - z = -n + 135. Is n a prime number?
True
Let i(a) = -3162*a + 3. Let c be i(-1). Suppose 0 = 2*g - 10, g = -2*b + c + 154. Is b prime?
True
Let n = 33 + -8. Suppose 0*p - 5*u = 4*p + 25, -3*p - n = 5*u. Suppose 0 = 4*o - 3*c - 55, p*o + 14 = o - c. Is o composite?
False
Let i(q) = 19*q + 11. Let k be i(-4). Is (-6)/39 + (-42455)/k composite?
False
Suppose -39743 + 7546 = -11*s. Is s composite?
False
Is 13403*(0 - (5 + -6)) prime?
False
Suppose 23 = 4*h + 2*p + p, h - 14 = 2*p. Suppose 0 = y, j = -5*y + h + 25. Is j a composite number?
True
Let t(q) = -q**3 - 8*q**2 + 5*q - 9. Let a be t(-9). Let u = a - 19. Suppose 0 = d + b - 88, u - 92 = -d + 3*b. Is d composite?
True
Suppose 8162 + 295 = 3*z. Is z a composite number?
False
Let n(g) be the first derivative of g**5/20 + 17*g**4/24 - g**3/3 + 5*g**2/2 - 3. Let k(x) be the second derivative of n(x). Is k(-12) a prime number?
False
Suppose 2*f + 9 = 5*f. Let y(w) = 4*w**3 + 5*w**2 - 5*w + 7. Is y(f) a prime number?
False
Suppose -10*r + 35136 = -97494. Is r composite?
True
Suppose 0 = 6*j - j. Suppose -4*n = u - 59, -5*u - 3*n = -j*u - 380. Let m = u + -4