 l prime?
True
Let m(d) = -2*d + 47. Let s be m(29). Let i(j) = -231*j + 92. Is i(s) a composite number?
False
Is ((-622762)/(-84)*3)/(1/6*3) a prime number?
True
Let q = -23 + -10. Let h = q - -33. Suppose h = -3*w + p + 1918 + 11328, 3*w - 13231 = 4*p. Is w a prime number?
False
Is 3 + 37/(-12) + 242585/60 a composite number?
True
Let o(p) = -42*p - 13. Let j be o(8). Let z = j - -1102. Suppose -6*k + z = -2673. Is k prime?
True
Let d(i) = -2*i**2 + 16. Let c be d(3). Is (-36588)/(-24)*(c - -4) a composite number?
False
Let z = -146 - -147. Let y(g) = 909*g**2 - 9*g + 7. Is y(z) prime?
True
Let h(k) = k**2 - 7*k - 3. Let t(w) = w**2 - 8*w - 4. Let p(b) = 4*h(b) - 3*t(b). Let u be p(2). Is (4460/80)/((3/u)/(-3)) a prime number?
True
Let h(m) = -665*m**3 + 10*m - 36. Is h(-5) a prime number?
False
Suppose -4*l = 4, -2*z - 2*l + 7*l = -317. Suppose 0 = p - 683 + z. Is p a prime number?
False
Let z(u) = 2*u**3 - 5*u**2 + 5*u - 39. Let k(f) = -3*f**3 + 5*f**2 - 5*f + 39. Let m(g) = 5*k(g) + 6*z(g). Is m(-8) composite?
True
Let i be 0 + -3 + (-12 - -49). Let l = 36 - i. Suppose 0 = -7*w + l*w + 2*s + 3183, 2*w + 4*s - 1254 = 0. Is w composite?
True
Let j be (-2 + (-2792)/(-10))*(-90)/12. Suppose 40 = 34*u - 26*u. Is j/(-15) - (-2)/u composite?
False
Let f be (52/52)/(1/(-7)). Is (f - 45025/(-5)) + 1 composite?
False
Suppose 0 = d - 6*d + 4830. Suppose 2*f - d = 8*w - 5*w, -4*f = 2*w - 1948. Suppose -f - 1563 = -3*h. Is h prime?
True
Let w = 190849 + -128940. Is w prime?
True
Let d be -8691 - -2 - (13 - 11). Let q be 1/(2 - (-10)/(-6)). Is (-1)/(q/(0 + d)) a composite number?
False
Suppose 0 = -5*m + 5*c + 6544 + 2221, 2*c + 8765 = 5*m. Is m a prime number?
True
Let n = 1835 + -555. Suppose -2*l = 518 - n. Is l a composite number?
True
Let z be (-18)/(-54) + (0 - 10/(-6)). Suppose 0 = 2*r - r - z, 4*r = s + 286. Let t = 555 + s. Is t a prime number?
True
Let w(d) = 16*d**2 + 5*d**2 - 4*d - 7*d - 1. Suppose -4*h + 2*l + 27 = 3, 5*h - 30 = -4*l. Is w(h) prime?
False
Let s(k) = -218*k - 885. Is s(-29) a composite number?
False
Let b(q) = -q**3 - 26*q**2 - 36*q + 1. Let k be b(-18). Let f = -1230 - k. Is f a composite number?
True
Suppose 6883 = 4*l - 1205. Suppose l = -41*n + 42*n. Suppose 5*y = 2*y + h + n, 4*h - 661 = -y. Is y a composite number?
False
Let j = 45 + -42. Let m be -3 - -1 - (-54*j + -3). Suppose 0 = -3*u + m + 14. Is u a prime number?
True
Suppose 2985*l - 2982*l = 1342869. Is l a composite number?
True
Suppose -7535*t + 7534*t + 70757 = 0. Is t prime?
False
Suppose k + l = 15, 4*k - 9*k = -l - 51. Let a(h) = 219*h - 76. Is a(k) a prime number?
True
Let n(j) = -76*j**3 - 12*j**2 + 11*j - 13. Let z be n(-9). Suppose -3*q + 4*l + z = -8865, 0 = -4*q + 5*l + 84246. Is q composite?
False
Let i be (-5)/(-2) - 2/4. Suppose i*p - 8*a = -3*a + 1208, 4*p - 2416 = 5*a. Let s = p + -13. Is s a prime number?
False
Suppose -22*i - 5*u = -25*i + 441854, -i - 3*u + 147280 = 0. Is i a composite number?
False
Suppose -25*n + 22*n + 9 = 0. Suppose -n*w - o = -19331, -11600 - 20619 = -5*w - 2*o. Suppose w = 4*p + 13*p. Is p prime?
True
Suppose -96*t - 43765046 = -287*t + 57125165. Is t a composite number?
True
Let m(l) = -53*l**2 - 5*l + 12. Let n(x) = -159*x**2 - 14*x + 35. Let g(u) = 11*m(u) - 4*n(u). Let j be g(-3). Let y = j - 279. Is y composite?
True
Suppose 3*l - 5*w - 450543 = 0, -883944 = -5*l - w - 132983. Is l a prime number?
False
Let n(t) = 19132*t**2 - 78*t - 387. Is n(-5) prime?
False
Let w(j) = -3*j + 3*j - 2*j**2 + 5*j**2 - 11 - 17*j**3. Let o be w(-4). Let r = o + -584. Is r a prime number?
True
Let h(r) = -2*r + 12*r**2 + 4*r**2 - 19*r**2 + 6. Let g be h(3). Is 2164*(-2 + g/(-12)) prime?
True
Suppose 3*a - 333 - 116 = r, -3*r = 15. Let h = -58 + a. Is 184/18 + (-20)/h prime?
False
Is ((-49994)/(-84))/((-3)/(-6))*3 composite?
False
Let j(v) = 9*v - 29. Let y be j(4). Suppose -1239 = y*c - 5138. Is c prime?
True
Let b(m) = -618*m + 42. Let t be b(39). Is t/(-50) - 1/5 a composite number?
True
Let a(z) = 2*z**3 - 13*z**2 + 2*z - 25. Let w = -261 - -277. Is a(w) composite?
False
Let i(h) = 485*h**2 - 9*h + 117. Is i(-20) prime?
False
Let k(v) = -38*v - 5. Suppose 7*c + 39 = -45. Let s be (-150)/8 + 7/((-112)/c). Is k(s) composite?
True
Let t be ((-54)/(-12) - -2) + 2/4. Suppose 3*m - t*m = 96. Is 132/m*(-216 - 2) composite?
True
Let x = 2024383 + -962276. Is x composite?
False
Suppose -61*p + 76*p - 344355 = 0. Let c = p - 7860. Is c prime?
False
Suppose -16860*g = -16933*g + 10786407. Is g a composite number?
True
Let u be (-92)/(-22) - 24/132. Suppose 4 = 4*c, 40 = u*m - 5*c - 3359. Is m a composite number?
True
Let j = 173 - 1033. Let w = 849 - j. Is w prime?
True
Let h = 39 + -31. Let b be (h/(-2) - (-3 - 0)) + 4. Suppose b*d - 17541 = -6*d. Is d a prime number?
True
Suppose 3*p = -66099 + 219066. Is p a prime number?
True
Let s(r) = -13*r + 40. Let g be s(20). Let l = 585 + g. Is l a composite number?
True
Is 117/2457 - (-21976960)/42 a composite number?
False
Let a(d) be the third derivative of 1/15*d**5 - 13*d**2 - 5/6*d**3 + 11/24*d**4 + 0 + 0*d. Is a(4) a prime number?
True
Let u(t) = 1394*t**2 + 41*t - 241. Is u(-18) prime?
True
Let f(y) = -y**3 + 17*y**2 - 18*y + 14. Suppose -b + 6*b = 50. Let x be (44/(-6))/(b/(-15)). Is f(x) a composite number?
True
Let x = 17 - -8. Let i(j) = 29*j + 111*j - x*j - 2. Is i(1) prime?
True
Is (-5778888)/(-464) + (-14)/4 a composite number?
False
Let x(q) = -5*q - 42. Let r be x(-9). Suppose 3*o + 5*j = 6*o - 10259, 10249 = r*o + 5*j. Is o composite?
True
Let h(w) = -w**3 - 4*w**2 + w + 5. Let i be h(-5). Suppose 15 = -i*f + 28*f. Suppose 0*o - f*v + 2312 = o, -v + 4606 = 2*o. Is o a composite number?
True
Suppose -i = w - 6, -2*w + i = -53 + 50. Is w a prime number?
True
Suppose -3*u = -2*x + 4*x - 72, -3*u + 66 = 4*x. Let i = -14 + u. Let d(a) = 2*a**3 - 16*a**2 - 6*a + 19. Is d(i) prime?
False
Suppose -7*q + 172221 + 361172 = 0. Is q a prime number?
False
Suppose -5*l = -3*f + 195110, f + 18*l - 65070 = 13*l. Is f composite?
True
Suppose -2*w - 35 = -45. Suppose -5*n - w*a + 300 = 0, 8*a - 4 = 4*a. Is n composite?
False
Let w(p) = 759*p**2 + 20*p + 38. Let q(v) = -761*v**2 - 22*v - 39. Let z(g) = 6*q(g) + 7*w(g). Is z(-3) prime?
False
Let m = 31 - 219. Let s be (m/6)/(2/(-39)). Let j = s - 420. Is j composite?
False
Suppose 11362*o - 11347*o = 1173075. Is o a prime number?
False
Let f(p) = 33*p + 777. Is f(-12) prime?
False
Let u = -121 + 127. Suppose -11*x + u*x - 3895 = 0. Let n = 1458 + x. Is n prime?
False
Suppose -30*m + 34*m = 12. Suppose 2*r - 5*r + m*l = -24, -r + 24 = -5*l. Suppose 0 = 2*x + r*p - 1834, -2*x + 4*p = -2550 + 756. Is x composite?
False
Let v(m) = m**3 + 11*m**2 + 8*m + 1. Suppose 95 = 5*l + 20. Suppose -5*x = -h - h + 49, -l = x - 3*h. Is v(x) prime?
False
Let s(f) = 2935*f**3 + 2*f**2 - 18*f - 21. Let d(l) = 978*l**3 + l**2 - 6*l - 7. Let t(m) = 8*d(m) - 3*s(m). Is t(-2) a composite number?
True
Let j be (-42)/(-12) + (-2)/4*1. Let x(r) = 150*r**j - 3*r + 5*r**2 + 8 - 4 - 7*r**2. Is x(1) composite?
False
Let y be ((-3 + 4)*-2)/(-1). Suppose -y*p = 1 - 9. Suppose -p*f = 3*m - 549, -2*f + 3*f - 3*m = 156. Is f a composite number?
True
Let o(v) = 15*v + 55. Let t be o(-3). Let n(k) = 7*k**2 + 91*k - 9. Is n(t) a prime number?
True
Let z(n) = -2*n**2 - 20*n - 24. Let l be z(-7). Suppose 0 = t - l*t + 3587. Is t a prime number?
True
Let d = 147 - 127. Let w be (10 - 3)*d/35. Suppose 10 = -2*c, -r + 2*c = w*c - 709. Is r prime?
True
Let d(n) = 1782*n**2 + 9*n + 13. Let i be d(-2). Let h = i - 1076. Is h prime?
True
Let g = 86746 + -47705. Is g a prime number?
True
Suppose 2996 + 2244 = 5*i - 5*t, -5*t - 2111 = -2*i. Is i a composite number?
True
Let b be (((-8)/(-12))/((-2)/3))/(-1). Let m be (2*b/(-5))/((-32)/14080). Is m/24*762/4 a prime number?
False
Is ((-546081)/12)/(2 - -3 - 630/120) composite?
False
Let u = -1 + 32. Suppose -5*x = 49 + u. Is 68235/24 - (-2)/x a composite number?
False
Is (-939208)/(-36) + 4/(-36) prime?
False
Let j = 29154 + -15781. Suppose -5*h - j = -2*a, -a - h = -3297 - 3393. Is a a prime number?
True
Suppose -i - 3 = -4*f + 3*f, -i = -2*f + 8. Suppose 0 = -n - i*n + 15. Suppose n*a + 5 = 0, 2*a + a - 209 = -4*d. Is d prime?
True
Let v(b) = -