t - i. Is t composite?
True
Let l(g) = g**2 - 8*g - 11. Let q be l(8). Let j(a) = 2 + 9*a - 12 - 9*a**2 - a**3 - 6. Is j(q) prime?
True
Is ((41186/(-6))/((-12)/36))/1 a prime number?
True
Let h = -184 + 203. Is h composite?
False
Let w = 56 - 48. Is (-1322)/(-6) + w/12 a composite number?
True
Suppose 0 = 4*c - 3*l - 27, 0 = -3*c - 3*l + l + 16. Suppose -c*m = -8*m + 130. Is m prime?
False
Let u be (8 - 3) + -3 - (-4)/(-2). Suppose 7*k - 5*k - 1262 = u. Is k a prime number?
True
Let z be (-1)/(3045/(-3050) - -1). Let w = -407 - z. Is w a prime number?
False
Suppose 55 = -l + 61. Suppose l*p - p = 6215. Is p a composite number?
True
Is 178156/132 + (-4)/6 prime?
False
Let v = 8627 - -10046. Is v a prime number?
False
Let z(h) = -142*h**3 - h**2 - h - 1. Let d(y) = 2*y + 9. Suppose -5 = -14*n + 15*n. Let o be d(n). Is z(o) prime?
False
Let o(s) = s. Let i(y) = -292*y - 7. Let j(v) = -i(v) + 6*o(v). Is j(10) composite?
True
Let y(u) be the third derivative of -13*u**4/4 + u**3/6 + 2*u**2. Let k = 3 - 4. Is y(k) a composite number?
False
Suppose r + 3 - 8 = 0. Let z(q) = 6*q - 4. Let x be z(1). Suppose 2*o = r*c - 821, -o - x*o + 480 = 3*c. Is c a composite number?
False
Let h be (-1585)/20 - (0 + 1/(-4)). Let p = 400 - h. Is p prime?
True
Let n(d) be the first derivative of 13*d**2 + d - 5. Let v be n(3). Let z = 12 + v. Is z a composite number?
True
Suppose 0 = -167*p + 170*p - 65979. Is p a prime number?
False
Let n be -1*1 - (-10 + 9). Suppose -5*a - 72 + 622 = n. Let z = 239 - a. Is z a composite number?
True
Is 4/30 + (-1833065)/(-75) prime?
False
Let m = -20 - -20. Suppose m*u + u + i = 1111, -i = -2*u + 2216. Is u prime?
True
Suppose 4*i = 6*r - 8*r + 4744, 4*i + 5*r - 4738 = 0. Is i composite?
False
Suppose -20 = -5*x, -7*c + 2*c + 11 = 4*x. Let j be (-4)/12*0 + c. Is (4 + j)/(24/1192) a composite number?
False
Let k(i) = -i**2 - i - 1. Let z(t) = 4*t**3 - t**2 + 5*t - 2. Let j(x) = 5*k(x) + z(x). Is j(6) a prime number?
True
Suppose 3*l - g = 15676, 4*g - 10 = 10. Is l a prime number?
True
Let l(v) = 12*v**3 - 6*v**2 - 3*v - 8. Is l(7) a prime number?
True
Suppose -48*p + 28*p + 45700 = 0. Is p composite?
True
Let w(d) = 51*d**3 + 9*d**2 - 20*d + 1. Is w(3) prime?
True
Is 3 - 3 - 1 - -21270 a composite number?
False
Suppose -3*o = -12 + 6. Suppose 4*i - 1686 = -2*x, -i - o*i = 4*x - 3397. Is x a composite number?
False
Let v = -32 + 40. Let b be 1*3 + (0 - -1). Is (-3084)/v*b/(-6) composite?
False
Let s(d) = -7*d**3 - 4*d**2 + 4*d + 18. Let g(y) = -6*y**3 - 5*y**2 + 5*y + 17. Let x(c) = 3*g(c) - 2*s(c). Is x(-8) composite?
False
Let m(y) = -2*y - 7 + 7*y + 5*y + 9*y**2. Is m(6) composite?
True
Let b = -8044 + 68915. Is b composite?
True
Is ((-257)/(-2))/(35/70) a prime number?
True
Let y(m) be the second derivative of m**5/60 - m**4/8 + 7*m**3/3 - 5*m**2/2 + 7*m. Let s(t) be the first derivative of y(t). Is s(-9) composite?
True
Suppose 0 = 5*m - 3*m + 4*w + 694, 0 = 3*w + 9. Let f = 1220 - m. Is f composite?
True
Let s = 11923 + 5734. Is s a prime number?
True
Is 15/(-9) + -4 + 730584/27 prime?
False
Suppose -4*x + 15 = 3. Suppose r + x*p = -2*p - 15, -2*p - 15 = r. Let u = -9 - r. Is u composite?
True
Let w = 4 + -1. Is 13*-31*(5 + -9 + w) prime?
False
Let b = -36 + 37. Let g = 8 + b. Is g a composite number?
True
Let v be -1 + 0/(-1) + 1132. Let z = 1614 + v. Is z/13 + (-10)/65 a composite number?
False
Let g = -5581 - -15114. Is g composite?
False
Suppose -5*w - 10 = 0, -4*x - 10 = -6*x + 2*w. Is 4 + (-21)/x - (1 + -83) prime?
True
Let d(x) = x + 0*x - 3*x + 15 - 20 + 4*x**2. Let k be 2*(-1)/1*-2. Is d(k) composite?
True
Suppose 26*g = -5*z + 22*g + 21390, 0 = -5*g. Suppose -3*p + 11 = -1. Suppose -p*h - 2*h = -z. Is h a prime number?
False
Let h(r) = 585*r**2 - r - 1. Let f(i) = -1169*i**2 + 2*i + 2. Let t(o) = 2*f(o) + 5*h(o). Is t(-1) composite?
False
Let v = -191 + 26. Let j = -6 + 4. Is j - (-1)/((-3)/v) composite?
False
Is (-2901939)/(-82)*(1/(-3) - -1) a composite number?
False
Suppose 5*z - 7 - 3 = 0. Suppose 364 = r + z*f, 2*r - 5*f + 42 = 734. Suppose 0 = 2*m - 6*m + r. Is m a prime number?
True
Let i = 44 + -41. Suppose i*n + 15 = 0, -2*n = -3*u + 1002 + 949. Is u a prime number?
True
Let j(r) = 1262*r**2 - 2*r + 3. Let g be ((-30)/(-6) - 6)/(-1). Is j(g) a prime number?
False
Let k(q) = 2*q**2 - 4*q + 2. Let o be k(-9). Let u = 131 - o. Let y = 8 - u. Is y prime?
False
Let z(a) = -5 - 2 + 56*a**3 + 78*a - 3*a**2 - 73*a - 2. Is z(4) composite?
False
Is (1/1 - (-1 - -3)) + 1058 a prime number?
False
Suppose -3*v = -3385 - 1166. Let r(i) = 257*i**2 - 3*i. Let n be r(3). Let s = n - v. Is s a prime number?
True
Suppose -5*w - 32671 = -5*t + 3*t, 0 = -5*t + 5*w + 81670. Is t a composite number?
False
Let m = -1219 + 668. Let b = m - -933. Is b a prime number?
False
Let x = 94192 - 51275. Is x a composite number?
True
Let r(o) = -o**3 - o**2 + 2*o + 1563. Is r(0) a composite number?
True
Let u = 37 + -53. Let n be ((-20)/u - 2)*-48. Is (-194)/3*n/(-8) a composite number?
True
Suppose -4*i - 7 = 2*s + 1, 2*s = 3*i + 6. Is (-15)/(-3) + 555 - i prime?
False
Let m(a) = -a**2 - 2*a + 4. Let q be m(-3). Let n be ((-4)/10)/(q/(-105)). Suppose -387 = -5*w - n. Is w a prime number?
False
Suppose 163*w = 167*w - 233636. Is w prime?
False
Let u(o) be the third derivative of -o**6/120 + 11*o**5/60 + o**4/6 - 3*o**3/2 + 7*o**2. Is u(10) a prime number?
True
Let r = -49 - 46. Let b = 164 + r. Is b prime?
False
Suppose -m - 7899 = -3*f, 3*f = 3*m - 0*m + 7899. Is f a composite number?
False
Suppose 0*g - 2*w = -4*g + 62, -4*w - 82 = -5*g. Let p be (-2 + 563/4)/((-9)/72). Is (-16)/56 - p/g a prime number?
True
Is ((-12)/10)/(3 + 31911/(-10635)) prime?
False
Let g(v) = -246*v**3 + 2*v**2 + v - 5. Is g(-4) prime?
True
Suppose 0 = 4*y + u + 3719, 3*u + 2*u = -y - 925. Is (1/(-3))/(-1*(-2)/y) composite?
True
Suppose 5*b + 3*x = -459, -222 = 3*b + x + 55. Let m(c) = -316*c. Let r be m(-1). Let y = b + r. Is y composite?
False
Let c(x) = -28*x + 7. Let q(p) = 1. Let j(o) = c(o) + 3*q(o). Let k be j(-10). Is k - (-9)/(2 - -1) composite?
False
Let t(h) = 131*h**2 + 5*h - 237. Is t(16) prime?
False
Let a = -28 + 33. Suppose -a*v - 5*t = -2210, -4*v - 2222 = -9*v - t. Is v a composite number?
True
Let y = 1263 - 708. Suppose -25 = 4*n - 6*n - 5*d, 5*n - 3*d = -15. Suppose 0 = -n*u - 5*u + y. Is u a prime number?
False
Suppose -5212 + 99042 = 22*i. Is i a prime number?
False
Let d(x) = 774*x**2 - x - 9. Is d(-2) composite?
False
Let k(a) = 5*a - 5. Let l be k(4). Let h(y) = 2 + 2*y**3 + 3 + 3*y - 3*y**3 + 16*y**2 - 22. Is h(l) composite?
True
Let s(b) be the first derivative of -7*b**4/4 + 8*b**3/3 + 11*b**2/2 + 6*b - 17. Is s(-7) prime?
False
Let z(v) = 0 + 15 - v**2 - 2*v + 10*v. Let q be 4/6 - 5/6*-10. Is z(q) prime?
False
Let p be 21/35 + 14094/10. Let q = p + 739. Is q composite?
True
Let q be (3/(-2))/((-16540)/(-4136) + -4). Let p = -764 + q. Is p composite?
False
Suppose -16*g + 13*g = -11139. Is g prime?
False
Let k(t) = -115 - 2504*t**3 + 0*t**2 + 116 - t - 3*t**2. Is k(-1) prime?
True
Let g = 411 + 9266. Is g prime?
True
Let y(o) = 6272*o + 77. Is y(6) a composite number?
True
Suppose -127*a - 12 = -131*a. Suppose 35477 = 10*u + a*u. Is u a composite number?
False
Suppose 3*n = 3200 + 30139. Is n a composite number?
False
Let o(l) = 7*l**3 + 3*l**2 + 2*l + 2. Suppose 5*s + 23 = 2*w, -s - w = s + 2. Let i be o(s). Is (i/6)/((-3)/9) prime?
True
Let s(p) = 49*p - 36. Suppose 2*c = 20 - 6. Is s(c) composite?
False
Let k(t) = -643*t + 60. Is k(-13) prime?
True
Let d(v) = -v**3 - 6*v**2 - 1. Let y be d(-6). Is (-6 + 803)/(3 + -1 + y) a prime number?
True
Let p(y) = 14*y - 617. Let b(s) = 2*s - 1. Let m be b(-1). Let k(r) = -5*r + 206. Let g(l) = m*p(l) - 8*k(l). Is g(0) composite?
True
Suppose 5*j + 2 = -4*u + 3*u, 4*u = j + 34. Suppose -3 = v - u. Suppose 0 = v*q - 375 - 35. Is q composite?
True
Suppose -4*d - 638*u + 640*u = -86076, -3*d - 3*u + 64539 = 0. Is d a prime number?
True
Let n(i) = -i**3 - 12*i**2 - 10*i + 14. Let j be n(-11). Suppose 2 = -2*z + j*z. Is 36/(-45)*(-35)/z a composite number?
True
Let h(b) = -211*b + 12. Let j be h(-11). Suppose 0 = a - 5*a - c + j, 2*c + 572 = a. Suppose 0 = 2*f + 2*l + 2*l - a, 5*l + 291 = f. Is f a