(m) = 9*m**2 + 16*m - 38. Suppose 174 - 54 = 8*f. Is t(f) composite?
True
Let q(o) = -o + o - 24 + o + 11 + o. Is q(13) prime?
True
Suppose 2*q = -v + 1662, 0*v - 1654 = -2*q + v. Suppose -539 = -4*j + q. Let g = j - -101. Is g a prime number?
True
Let n be (-1)/3 + (-2884)/(-3). Let k(v) = -200*v - 3608. Let a be k(-16). Let d = n + a. Is d a composite number?
True
Suppose i + 2*l - 6*l = 102411, -5*l = 35. Is i composite?
True
Let u = 611036 + -251218. Is u a prime number?
False
Let m(l) = -4*l + 34. Let u be m(8). Suppose -3*q - 5*y + 18007 = 0, u*q - 5*y = -0*q + 11988. Is q composite?
True
Suppose -28 = 4*j, 50*j = -3*f + 45*j + 32134. Is f a prime number?
True
Let x(u) = -u**3 - 16*u**2 + 17*u - 5. Let y be x(-17). Let l be (y/5)/(2/(-4)). Suppose 2*m = -0 - l, -4*k + 4*m = -1232. Is k composite?
False
Suppose -54*n + 56*n - 6 = 0. Is ((-1)/n)/(3*(-10)/6984990) a composite number?
False
Suppose -21*x = -17*x + 4*j - 934160, 5*j + 934241 = 4*x. Is x a prime number?
True
Let n be 92/(1/(-3 + 8)). Let p = -393 + n. Is p a composite number?
False
Let y(f) = -56*f - 17. Let t(b) = 58*b + 17. Let j(n) = -5*t(n) - 6*y(n). Is j(3) composite?
True
Suppose 9*b - 30 = 3*b. Suppose b*d = -15*o + 11*o + 2861, -5*d - 3*o = -2862. Is d a composite number?
True
Let l(k) = 0*k**2 + 31 + 4*k**2 - 10*k**2 + 5*k**2. Let b be l(5). Let a(f) = 230*f - 33. Is a(b) a prime number?
False
Let r(h) be the first derivative of -14/3*h**3 + 24*h - 8*h**2 + 1/4*h**4 + 4. Is r(15) prime?
False
Let u be (10/3)/(12/216). Suppose 25 = -u*l + 65*l. Suppose 0*d + 2*d = -l*b + 10753, 3*b = -d + 6451. Is b a prime number?
False
Let z be (4/(-6))/(-2)*6. Suppose -2*x - 2*p + 12 = 0, 106*x - 102*x - 2*p = 0. Suppose 355 = z*y + x*y + v, 3*v = -3*y + 264. Is y a composite number?
False
Let i be (-33 + 30)/((12/(-10))/2). Let k = 18 - 14. Suppose -3*o + 0*o + 887 = -k*m, i*m + 25 = 0. Is o a prime number?
False
Suppose 3*r = 5*r - 6. Suppose -v = 4*v - z - 33308, r*z = 6. Suppose v = -6*o + 25916. Is o prime?
True
Suppose 109 = -2*l - 5*n, 3*l = 2*l - n - 50. Let o = 85 - l. Suppose -127*m - 370 = -o*m. Is m a prime number?
False
Let u(m) = -5*m + 15. Let q be u(2). Is 1849 + (-48)/20 + 2/q prime?
True
Suppose 5*q + 2*n - 462205 = 0, -33*q + 3*n + 369764 = -29*q. Is q prime?
False
Suppose 0*x = 6*x - 3336. Let y = x - 345. Is y a prime number?
True
Let g(f) = -13*f - 17. Let c be g(-1). Let k(u) = -2*u**3 + 13*u**2 + 43*u - 3. Is k(c) prime?
False
Let t(j) = -6*j**3 - 12*j**2 - 16*j + 10. Let a be t(-8). Let k = 21041 - a. Is k composite?
True
Let a(r) = 3*r**3 + 12*r**2 + 3*r - 11. Suppose -5*m + s = -52 + 18, 2*s = -5*m + 22. Is a(m) prime?
True
Suppose m = 5*l + 15717, -13*m + 78645 = -8*m + 5*l. Is m composite?
False
Let h = -30 - -22. Let l = 8 + h. Suppose l = 4*p - 566 - 326. Is p a prime number?
True
Let c(t) = -54*t - 4. Let u be c(-2). Let x = -152 + u. Is (-16698)/(-14) + (x/(-28))/6 a composite number?
False
Let x(r) = -3*r - 6. Let v be x(18). Let z = v - -62. Suppose z*p + 530 = 4*p. Is p a prime number?
False
Suppose 0 = -18*o + 7*o - 143. Let d(h) = h**2 + 15*h + 26. Let j be d(o). Suppose j = 2*q - 631 + 129. Is q a prime number?
True
Suppose 12*g + v = 9*g + 14, -g + 2*v + 7 = 0. Is (-1 - 0)/(g/(-26035)) composite?
True
Suppose -80*b + 651909 + 607771 = 0. Is b composite?
True
Is -6 + -4 + (-395)/(-40) - (-7241714)/16 a prime number?
False
Let x(a) = 16*a + 2067*a**2 - 809*a**2 - 35 + 348*a**2. Is x(2) a composite number?
False
Let c(s) = s**3 + 11*s**2 - 4*s - 7. Suppose 27 = 3*u + 6. Suppose 40 = -u*j + 2*j. Is c(j) a composite number?
True
Suppose -269*n = -4*m - 274*n + 4264070, -m + 1066005 = -5*n. Is m prime?
False
Let k(z) = z. Let u be k(-2). Let j(m) = -246*m**3 + 3*m**2 + 3*m + 5. Is j(u) composite?
False
Let z(o) = 11*o**3 + 7*o**2 + 7*o - 43. Let n be z(15). Suppose 0 = 6*l - 7036 - n. Is l prime?
False
Is (442/51)/(-26)*-327447 composite?
True
Let s = -23 + 29. Let z be 4194/s*1*2/(-6). Let t = z + 724. Is t a composite number?
False
Suppose 5*f - 5638567 = -3*h, -4510814 = -f - 3*f - 9*h. Is f prime?
False
Let v(i) = 1881*i - 73. Let n(h) = 2*h**2 + 61*h + 36. Let g be n(-30). Is v(g) a composite number?
False
Let r(z) = -74 + 26 + 191*z**2 + 25 + 27 - 10*z. Is r(3) a prime number?
True
Suppose -22*a = -23*a + 5*j + 10514, 5*j = 2*a - 21043. Is a a composite number?
False
Let x(o) = 10*o**3 - 3*o**2 + 6*o - 6. Let w be x(5). Let d = 1939 - 2405. Let h = w + d. Is h a prime number?
True
Suppose 83*s + 84740 = 88*s. Is 5 + (-3*6)/((-57)/s) a prime number?
False
Suppose 4*b + 38 + 33 = 5*f, 5*f - 70 = 5*b. Let d be (-38 - -3) + (0 - 0)/(-2). Is (-14)/d + 48339/f composite?
True
Let i be -2*(4 + (-36)/(-2)). Let j be (i/8)/(2/(-4)). Suppose -15654 = 5*p - j*p. Is p prime?
True
Let y = -29004 - -301175. Is y a prime number?
True
Let l = 514 - 64. Suppose 2*d - 2*m = 876, 0*d - 2*m + l = d. Let s = d + -29. Is s prime?
False
Suppose -55 = 5*s - 250. Let i = s + -37. Is (i/(-4))/((-9)/53982) a prime number?
True
Let l(k) = -3880*k + 2418. Is l(-11) composite?
True
Let j be (-6)/21 - (-120)/28. Is (-6)/j + 7143/6 + -2 prime?
True
Let v be (-1 - 9/(-2))*(-24)/(-7). Is 573*(3 - v/18) composite?
True
Let v(p) = 4*p**3 - 19*p. Let f be 5/(-2 - -3) - 3 - -4. Let c be v(f). Suppose -4*x + c = 154. Is x composite?
False
Suppose -x = 5*z - 2285, 1737 = -4*x - 5*z + 10817. Let h = x - 1346. Is h a prime number?
True
Let g = 336067 + -59226. Is g composite?
True
Let w(n) = 11*n**2 + 3*n - 25. Let u be w(11). Suppose 9*c - u - 2459 = 0. Suppose -2*d + t + c = -3*t, -5*t = -10. Is d prime?
False
Suppose -42400 = -3*a + h, -a + 10016 = -4*h - 4099. Suppose -a = 37*i - 48*i. Is i a prime number?
False
Suppose 7*i - 286 = -15*i. Suppose 17*r = -4*d + i*r + 47460, 5*r = 2*d - 23716. Is d prime?
True
Suppose -146*k + 78*k + 53250596 = 0. Is k prime?
False
Suppose 6*g + 6473 = 19799. Suppose -507 - g = -2*i. Suppose -21*u + 17*u + i = 0. Is u a composite number?
True
Let s(f) = 4939*f**2 + 8*f - 4. Is s(-15) composite?
False
Let c = 6806 - 4699. Let p = c - -176. Is p composite?
True
Suppose -1492*b + 15635 = -1487*b. Is b composite?
True
Suppose 30608 + 23998 = 6*c. Suppose -3*y - 5*l = -c, -y = -l - 703 - 2328. Let u = -2023 + y. Is u a prime number?
True
Let c be (-3)/(6/(-3) - -1)*-1. Is c - (-5224 - 4) - (-2 + 0) composite?
False
Let u(d) = 2*d**3 - 13*d**2 + 20*d + 8. Suppose -x - 3*x + 5*f = 0, 0 = -5*x + 5*f. Suppose 2*g - 4*o = -3*g + 71, x = 3*o + 12. Is u(g) prime?
False
Suppose 4*f - 2*f = -2*b - 40, 100 = -5*f - b. Let k be (-2 - (-3)/2)*f/5. Suppose -4806 = -2*m + k*u + 2*u, u = 3*m - 7229. Is m a composite number?
False
Let h(g) = 11337*g - 38. Is h(1) a composite number?
False
Suppose 2*y = -3 + 7. Suppose -5*h - 4618 = -y*m, 3 = 2*h - 5. Is m composite?
True
Let q be 43/(-2) - 1/2. Is 3862859/161 + q/(-253) composite?
False
Let f be (4/(-4) + -1)/(1/(-4)). Let n(q) = 29*q**3 + 7*q**2 - 13*q - 5. Is n(f) prime?
True
Let a(c) = 6*c - 3. Let v be a(1). Suppose -v*r + 3961 + 10879 = -4*y, 4948 = r - 2*y. Let n = r + -817. Is n prime?
True
Let q(s) = -22*s + 1. Let v be q(1). Let d = v - -21. Suppose -2*r = 3*o - 436, -3*r + 5*o + 350 + 304 = d. Is r a prime number?
False
Let a = 142833 + -87380. Is a a composite number?
True
Let c be ((-19)/((-19)/(-16)))/(-2). Is ((-2)/c)/((-1)/12952) composite?
True
Let y = 37621 + -12998. Is y a composite number?
False
Let r be (-108)/(-12)*3/9. Suppose 0 = g + r*a - 1454, -3*a + 7210 = 5*g - 0*a. Is g prime?
True
Is (0/1 + (7 - 6))*(348322 + -5) composite?
True
Suppose -11*r - 99061 = 7*r - 1053907. Is r prime?
True
Suppose -2*v + 85 - 245 = 0. Is (-426176)/v + (-1)/5 - -4 a composite number?
True
Suppose 5*j = 8*j. Let m be j/(-1)*19/57. Is (-12)/36*(m - 699) a prime number?
True
Let f(x) = 2*x**3 + 7*x**2 + 4*x + 3. Let d be f(-3). Suppose d = -60*p + 59*p + 7523. Is p a prime number?
True
Suppose 3*f + 79307 = 5*t, -3*t = -5*f + 10*f - 47557. Is t prime?
True
Let x(w) be the first derivative of 10*w**3/3 - 45*w**2 - 29*w + 73. Is x(-21) prime?
True
Is (-256224)/(22 + -38) + -23 composite?
False
Let j(b) = -3*b + 106. Let f be j(32). Suppose -16418 = -f*y + 38132. Is y composite?
True
Let c(k) = -21*k**3 + k**2 + 4*k