s l(i) composite?
True
Suppose -24*f + 23*f - 5*n + 219931 = 0, 2*f - 5*n = 439802. Is f a prime number?
True
Let l = 229 - 243. Is l/(-42) - 2*14169/(-9) prime?
False
Let m(w) be the third derivative of 13331*w**5/60 + w**4/6 - w**3/3 + 47*w**2. Is m(1) a prime number?
False
Is (487310/(-50))/((-2)/10) prime?
True
Let c = 93 + -84. Let i be (-30)/(-9) - 3/c. Suppose 2*r - 6*r = 12, i*g - 6198 = 4*r. Is g prime?
False
Suppose 7*t - 2*t - 6185 = -5*j, -4*t + 5*j + 4993 = 0. Suppose 5*z = 3*z - t. Is (-4)/(12/z) + -4 prime?
False
Let u(h) be the first derivative of -h**5/20 - 11*h**4/12 + 7*h**3/3 + 3*h**2 - 2*h + 21. Let d(m) be the first derivative of u(m). Is d(-14) a prime number?
False
Suppose -4*d - 8 = -8*d. Suppose d*r - 5*r + 2781 = 0. Suppose -r - 299 = -2*x. Is x composite?
False
Is 9/(-3) + (-30)/18*-1884 composite?
False
Let g be ((-2379)/(-2))/((-3)/(-4)). Let v(f) = -50*f**2 - 6*f + 29. Let j be v(4). Let u = j + g. Is u prime?
False
Suppose -v - t = -131622, -526498 = -25*v + 21*v - 2*t. Is v a composite number?
False
Let u(l) = -2*l**3 - l**2 - 97*l - 51. Is u(-14) a prime number?
True
Let u(z) = 45*z - 21. Let p be u(3). Let d be (p/8)/3 + 7/28. Let o(y) = 18*y**3 - y**2 - 2*y - 12. Is o(d) a composite number?
False
Let v(w) = 3*w**2 + 22*w - 13. Let a be v(-8). Suppose 0 = 3*k + a*p - 7281, 4*k + k = 5*p + 12135. Is k a prime number?
False
Suppose -5*y = 77906 - 337016. Suppose 0 = -31*p + 13*p + y. Is p a composite number?
False
Let s(m) = -2*m**3 - 22 + 8*m**2 - 10*m - 7 + 3*m**3 + 0*m**2. Let c be s(-9). Let b(d) = -38*d + 11. Is b(c) prime?
False
Let g = -31865 - -58446. Is g prime?
False
Is -1*2*(-14 - 145/(-10))*-359869 prime?
True
Let i be ((-133)/(-14) - 8)*36/2. Let r = i - 20. Is r prime?
True
Let s be 10 + (-2)/((4 - 3)*2). Let l be 12*(2 - 24/s). Is 4/l - 3006/(-4) a prime number?
True
Suppose -125 = -6*g + 7. Is (-4)/g - 506/(-121) - -141 composite?
True
Let b(d) = d**2 - 3*d - 2. Let g be b(4). Suppose -132*p = -139*p. Suppose 4*n - 383 = o - 2*o, p = g*o + 5*n - 763. Is o a composite number?
False
Suppose -2*z + 3*k = 2, -z + 9 = 4*k - 1. Is 14/(-7)*(-3457)/z a composite number?
False
Let r = 762 - 744. Suppose 3*m - 10445 = 4*c, 5*m - c - 2661 = 14719. Suppose -13*d + r*d = m. Is d a composite number?
True
Let b be 4 + 2/(-6) + (-92680)/(-30). Let g = b + -1354. Is g a prime number?
False
Is ((-318118)/7)/(76/(-266)) prime?
True
Suppose 4 = 4*t - 6*t. Let p(d) = 19*d**2 + 3*d - 1. Let l(r) = -18*r**2 - 4*r. Let s(z) = 4*l(z) + 5*p(z). Is s(t) a prime number?
True
Let h = 11690 - 5911. Is h prime?
True
Suppose 140*n - 138*n + 2*y = 9734, -4867 = -n + 4*y. Is n a composite number?
True
Let s(m) = 57*m**2 + 76*m + 1314. Is s(-93) prime?
False
Let l(o) = o. Let a be (2*(-28)/24 - -2)*-3. Let z be l(a). Is (2 - -643) + 3 + z a prime number?
False
Suppose -4*a + 5*u = 6*u - 364751, -2*a = -5*u - 182359. Is a prime?
False
Is (-6860729)/114*20/15*27/(-6) a composite number?
False
Is 3/(3 - ((-2356980)/(-336714) + -4)) prime?
False
Let b = -84 + 67. Let v be b/5 + 3/(-5). Is (-2)/v*906 - 4/1 prime?
True
Suppose 57819 = 25*r - 4756. Is r a composite number?
False
Suppose 2*a = -0*a - 2*m - 164, -5*a + 5*m - 390 = 0. Let r = -78 - a. Suppose r*y + 176 = 5*i - y, 4*i - 145 = y. Is i a composite number?
False
Suppose 2*n + 1922 = 4*f, -f + 4*n = -742 + 265. Suppose 0 = -5*r - t - 1455, -3*r + r - 575 = -t. Let u = f + r. Is u prime?
True
Let n = 115 - 126. Is (-2)/n + ((-524415)/(-55) - 2) a prime number?
True
Suppose -2*t = 4*x - 1368002, 2*x + 5*t - 343421 = 340592. Is x a prime number?
False
Let u(f) = f**2 - 7*f + 12. Let r be u(7). Suppose -r*k = -11*k - 9. Suppose -776 - 1231 = -k*s. Is s composite?
False
Suppose 0 = 11*a + 42*a - 7945261 - 4273518. Is a prime?
False
Let y = 50971 + 2328. Is y a composite number?
False
Suppose 3*b - 5*k - 33877 = 0, -22435 - 11458 = -3*b + k. Is b prime?
True
Let w = 55 + -19. Let p = w - 39. Is p/((-3)/1804) + -3 composite?
False
Suppose -8*l + 5206237 = 39*l. Is l composite?
False
Let c(p) = -543*p - 33. Let x be c(-9). Suppose -10580 = -2*r + x. Is r a composite number?
False
Let l be ((-28)/10)/(8/(-20)). Let f(z) = 128*z**2 - 7*z - 6. Is f(l) composite?
False
Suppose 15*c - 5*j + 8412 = 16*c, -4*c + 2*j = -33604. Is c composite?
True
Let g(x) = -13*x - 7. Let m be (3 - 4/2)/((-5)/20). Let l be g(m). Is 1/3*(80*l + 3) composite?
False
Let t(k) be the third derivative of -97*k**4/6 + 17*k**3/3 - 120*k**2. Is t(-21) a composite number?
True
Suppose 5*y = 13*x - 12*x + 126, y + 2*x - 23 = 0. Suppose i + 4*i - y = 0, 45 = 4*p + i. Is p composite?
True
Let s = -40 + 44. Suppose 163 = s*v - t, -4*v + 157 = 5*t + 12. Let y = v - -1149. Is y composite?
True
Is 1/((96/18 + -4)/((-2004308)/(-3))) a composite number?
False
Let v be ((-15)/(-2))/(23/46). Let a be (-54)/v*(-25)/15. Suppose -6764 = 2*f - a*f. Is f prime?
False
Let a = 390277 - -169570. Is a prime?
False
Suppose 4*d = -2*a + 121770, -4*a + a + 182635 = d. Is a composite?
True
Let a be ((-8966)/2)/((77/110)/(-7)). Suppose -111253 = -21*t - a. Is t a composite number?
False
Let g be (-2)/((-10)/(-15) + -1). Suppose -13 + 1 = g*k. Let v(o) = 2599*o**2 + o - 3. Is v(k) a prime number?
True
Let k be (2 - 20)/((-2)/3). Suppose 0 = -w - 5*q - 23, 0 = -3*w + 4*w - 5*q - k. Suppose w*h = p - h - 476, -4*h = -4*p + 1880. Is p composite?
False
Let s be 21/(-14) + 12/(-8). Is 19515/6 - s/(-2) composite?
False
Suppose -358933 = -21*v + 1202480. Is v a composite number?
False
Let i = 31 - -1. Suppose 5*n - 2*t = 26, 5*t - i = -5*n + 4*t. Is 12123/45 - n/15 a composite number?
False
Let h(q) = 442*q - 43. Let b be 0 + 18 + (-3 - -5). Suppose 0 = -18*g + b*g - 12. Is h(g) composite?
False
Let t(d) = -11*d**2 + d + 2. Let x be t(2). Let q = x - -47. Suppose -13517 = -0*o - q*o. Is o a prime number?
True
Let v(o) = 36*o**3 + 6*o**2 - 4*o - 253. Is v(13) prime?
True
Suppose -4*s = -153*h + 158*h - 670065, -134024 = -h - 3*s. Is h a prime number?
False
Let p be ((-7)/14)/((-5)/500). Is (-3)/30 + 167355/p composite?
False
Suppose 4*n + 28088 = -4*h, -6*h + h - 35119 = -4*n. Let m = h - -4709. Let k = m + 3281. Is k composite?
False
Let t be -998 + (1 - 0)*2. Let v = 2207 - t. Is v composite?
False
Suppose -33*w + 50*w = 275910. Suppose w = -8*g + 23*g. Is g a composite number?
True
Let y(j) = -j**2 - j - 1. Let o(a) = 3*a - 21. Let l be o(9). Let z(v) = 21*v**2 + 18*v + 15. Let g(u) = l*y(u) + z(u). Is g(-4) prime?
False
Is (19542/(-18) + 5)/(8/(-156)) prime?
False
Is (2/(-11))/(468/(-15863562)) prime?
True
Suppose -19*g + 12*g = -14. Suppose -h + 0*h - 1 = -g*b, 2*h + 14 = b. Is h/((-126)/4) - 42972/(-28) prime?
False
Let p = 48588 + -28035. Suppose -2*d - 2 = 0, -8*z + 3*z = 2*d - p. Is z a composite number?
False
Let o be ((-2)/5)/(34/(-170)). Is (35 + -36)/(o/(-2422)) prime?
False
Let n(d) be the second derivative of 7*d**4/12 - d**3/6 + 5*d**2/2 + 42*d. Let c be n(14). Suppose 0 = -m + 736 + c. Is m a composite number?
False
Let g be 13080 - (-5 + -2 + 0). Suppose 6*o - g = 5*o - 3*t, -4*o + 3*t + 52378 = 0. Is o a composite number?
False
Let l(p) = -11*p - 184. Let v be l(-17). Suppose 28 = -4*f - 2*j, -3*j = -7*j - 8. Is (-1642 + 0)*v/f a prime number?
True
Suppose 5*x + 43 = 308. Let p = 40 - -8. Suppose x*f - p*f = 655. Is f a prime number?
True
Suppose 3*h - 8 = -h. Suppose -2*s + 5 = 1, h*x - 15332 = 4*s. Suppose m = -3*b + 16902 - 5389, 0 = -2*b - 2*m + x. Is b a prime number?
False
Suppose -33*l + 0*l - 17959107 = -156*l. Is l composite?
False
Let h(t) = -t**2 - t + 14. Let b be h(3). Is ((-14988)/(-36))/(b/6) a composite number?
False
Let f be (-24)/(-10) - (-6)/10. Let s be 700/(-6) - (-2)/f. Let x = 257 + s. Is x prime?
False
Let w(q) be the first derivative of 2*q**6/45 + q**5/40 + q**4/4 + 4*q**3 - 9. Let t(h) be the third derivative of w(h). Is t(-5) prime?
False
Let d = -420808 + 1121111. Is d a prime number?
True
Let b(l) be the first derivative of -l**7/840 - l**6/24 - l**5/8 - l**4/6 + 22*l**3/3 - 8. Let f(u) be the third derivative of b(u). Is f(-15) prime?
False
Suppose 5*n + 33 - 8 = 0, 3*w = -3*n + 429. Let g = w + 159. Suppose -7*z + 316 = -g. Is z a composite number?
False
Let n = 237 + -250. Is 4021 + n - (-2 + 1) 