*f - d*u + 5*u - 4764, -2*f + u = -2374. Is f a composite number?
True
Let k(q) = 32*q - 547. Let p(t) = 17*t - 274. Let f(o) = -3*k(o) + 5*p(o). Is f(-32) composite?
True
Suppose -102*h = -88*h - 219254. Is h composite?
False
Suppose 21175 = -7*y + 64*y - 12227. Is y prime?
False
Suppose 11*g + 2*g - 8*g - 194555 = 0. Is g prime?
False
Is 16/184 - (3 - (-103660802)/(-161) - -6) composite?
False
Suppose 0 = -11*t - 217 - 542. Let k = -16 - t. Is k prime?
True
Suppose -29*o + 7878 = -5636. Let d = 185 + 70. Let n = o - d. Is n composite?
False
Let k(w) = w**2 + 178*w + 37703. Is k(0) a composite number?
True
Let c = 56098 + -15786. Suppose -138*k + 146*k - c = 0. Is k prime?
True
Suppose 0 = 2*l - 55 + 49. Suppose a + l*o + 10498 = 45320, -2*o = -5*a + 174025. Is a composite?
False
Suppose 131*t - 114992610 = 124600757. Is t a composite number?
True
Let b(t) = 3*t**3 + t**2 - t - 1416. Let h be b(0). Let d = h + 4667. Is d prime?
True
Let j be (-2)/(-4)*(-14)/1. Let n(f) be the first derivative of 7*f**3 + 2*f**2 - 6*f - 60. Is n(j) a composite number?
True
Let z be 6/(-18) - (-2)/6. Let l be 1 - (0 - 6685) - 10. Suppose z = -8*j - 1052 + l. Is j composite?
True
Let n(q) = 1018*q**2 - 80*q + 23. Is n(6) a composite number?
False
Let w(b) = -424*b + 60. Let n(z) = -423*z + 61. Let y(c) = -2*n(c) + 3*w(c). Let x be y(-15). Suppose -x + 1199 = -s. Is s composite?
True
Let w(p) = 473*p - 59. Let t be w(11). Suppose -441 - t = -5*l. Is l composite?
False
Let k = 353 + -354. Is ((-7 + k)/(-8))/((-1)/(-4237)) prime?
False
Let k be (6/3 - (-23)/(-2))*-566. Suppose -7*c = -12676 - k. Is c a prime number?
True
Let h = -6360 - 276. Is -5*(-8)/10 - (-1 + h) a composite number?
True
Let z = -5337 - -10749. Suppose 10*q - 11648 = z. Is q prime?
False
Let h be -8 + 9 + (0 - -2). Suppose 0 = h*c - 15, 2*z - 5*c = 1218 + 11243. Is z prime?
False
Let w = 43 - 35. Let i(v) = -w*v + v**2 - 6*v**2 + 14 - 6*v**2 + 2*v**2 + v**3. Is i(10) a prime number?
False
Suppose 0 = -a + 2*a + 2*o + 8, -3 = a + o. Let l(w) = -8*w**2 - 10*w - 21. Let k(h) = -8*h**2 - 11*h - 22. Let d(j) = a*k(j) - 3*l(j). Is d(-8) composite?
False
Let z be (-2)/(-6) - (-112)/6. Let c = z - 11. Suppose -4*g - 436 = -c*g. Is g a composite number?
False
Suppose -152*q = -159*q - 28. Suppose -4 = 2*u, -c + 4 = 2*c - 5*u. Is (8/q)/c - -262*3 composite?
False
Suppose 27*f - 180446 = -12*f + 25*f. Is f a prime number?
True
Let q(k) = -61*k**2 - 9*k + 11. Let l be q(3). Let z(m) = -6*m**3 - 8*m**2 + 3*m - 8. Let r be z(6). Let f = l - r. Is f a prime number?
True
Let b(q) be the third derivative of -q**5/60 + 7*q**4/24 + 13*q**3/6 - 15*q**2. Let l be b(-9). Let g = 54 - l. Is g composite?
True
Let l = 50 - 60. Let n(t) = -t**3 - 16*t**2 - 2*t + 3. Let v(p) = -2*p**3 - 31*p**2 - 4*p + 6. Let h(w) = -7*n(w) + 3*v(w). Is h(l) prime?
True
Let m be -4 - -5 - (1 - -4). Let r(p) = 6*p + 26. Let a be r(m). Suppose -a*j - 3*i - i = -2726, -2*i + 2 = 0. Is j composite?
False
Let j = 46 + -39. Suppose -h + 100 = -50. Suppose -q = -j*q + h. Is q a composite number?
True
Let s(a) = -132*a**3 + 2*a**2 - 3*a - 1. Suppose 2*p - 4*h + 6 = 2, -p - 5*h + 19 = 0. Suppose 3*o + p = -k, -4*o + 5*k - 2*k = 14. Is s(o) composite?
False
Suppose 5*w = -8 - 2. Let l(g) = 304*g**2 - 4*g - 5. Is l(w) a composite number?
True
Let f(q) = 350*q**3 - 9*q**2 + 7*q + 7. Let a be f(4). Suppose 8*j = -a + 128195. Is j a composite number?
True
Suppose -2*u + m = -21, 3*m = u + 4*m - 12. Suppose -3*s = -0*s - 4*p + u, 2 = -s + p. Suppose -k = -r - 666, -k + 665 = -s*r + r. Is k prime?
False
Let b(j) = j**2 + 4*j + 5. Let w be b(-4). Let q be 18/(-3)*(-2)/(-6) + 4007. Suppose -1200 = -w*k + q. Is k a composite number?
True
Let i(v) = 2*v**2 + 4*v - 23. Let f be i(6). Is (-3 + -2*f)*(-4 + -1) a prime number?
False
Let h(y) = 25227*y - 209. Is h(18) prime?
True
Let n be (44552/16 - -6)*2. Suppose 45*g + n - 35776 = 0. Is g prime?
False
Suppose -5*h - 3*x - 28973 = -7*x, -2*h - 11584 = x. Is 1/(11583/h - -2) prime?
True
Let c(p) = -1719*p - 71. Suppose 48*z + 8 = 46*z. Is c(z) composite?
True
Let l = -1921 + 2894. Let v = 1648 - l. Suppose 2*a - 3*a - 2*z + v = 0, 2*a - 5*z = 1359. Is a composite?
False
Suppose 8*h + 47058 = 2*k + 12*h, -5*k + 117625 = 5*h. Is k prime?
False
Let o(m) = 125*m + 32. Suppose 3*z + 49 = 2*a + 11, 5*a = 4*z + 81. Is o(a) a composite number?
False
Suppose 387 - 392 = -t. Suppose -2*n + 5*n = -z + 19064, 0 = t*n - 5*z - 31740. Is n prime?
True
Let r be 15/(-60) + (-34)/(-8). Suppose -16 = -r*n + 5*p, 5*p - 1 = 5*n + 4*p. Is (-3 - ((-28)/12 + n))*447 a composite number?
False
Let o(w) = 73*w - 93*w + 49 + 156*w. Is o(10) composite?
False
Let x(m) = -2*m**3 + 2*m**2 - 2*m + 13. Let v be (-1 + 1)/(-1 + 0). Suppose v = -5*g + k - 42, 2*k - 3 = 3*k. Is x(g) a prime number?
False
Is 652869/63 - (-5 + 11) prime?
True
Let q(u) = 201*u**2 + 939*u**2 + 9*u**2 + 2. Suppose 4*o - o - x + 7 = 0, -5*x + 19 = o. Is q(o) a composite number?
False
Suppose 0 = 3*i + 3*v - 307356, 2*i + 5*v - 216851 + 11962 = 0. Is i a prime number?
False
Is (-2 - (-54)/(-4))/(-2*(-3)/(-85812)) composite?
True
Let n(z) = 2*z**3 - z + 1. Let g be n(1). Is (3/((-9)/g))/((-2)/1137) prime?
True
Suppose 141*r - 4020827 = -5*c + 143*r, -c = 2*r - 804187. Is c a prime number?
False
Suppose 4*o - 18 = -2*d, 0 = -2*d + 4*o + 2. Suppose -2*f = -5*l - 3*f + 41, -45 = -d*l - 5*f. Suppose 5*b + l - 163 = 0. Is b composite?
False
Let d(c) = 4*c**3 + 5*c**2 + 6*c + 14. Let l be d(9). Let k be (-30)/20 + 26/4. Suppose -k*i + 2181 = -l. Is i prime?
False
Suppose -4*o - 2*j = -4*j + 6292, -5*o - 2*j - 7847 = 0. Let r = o - -8504. Suppose 3*k + 0*g - 5186 = -g, 4*k + 5*g - r = 0. Is k a prime number?
False
Let n = -3 + -25. Let f = n + 36. Suppose 2*k = f*k - 4110. Is k prime?
False
Let a = 81894 + -49807. Is a composite?
True
Let j(p) be the second derivative of 29*p**7/840 - p**6/360 - p**5/120 - p**4/8 - 3*p**3 - 3*p. Let g(y) be the second derivative of j(y). Is g(2) composite?
False
Suppose k - 5*o = 1119568, -3*k - 5*o + 5467221 = 2108697. Is k a prime number?
True
Suppose -5*d - 5*d + 40 = 0. Suppose 4*z + d*m - 1144 = 0, 1415 = 4*z - 4*m + 303. Suppose 8*v - 1970 = -z. Is v a prime number?
True
Let b(p) = 3*p + 15. Let o be b(9). Suppose -o = 8*x - x. Is (-3)/(x/(-2))*1*-69 a composite number?
True
Suppose 13*g - 49 = 16. Suppose 2*v - 246 = -3*v + 4*c, -g*c + 210 = 5*v. Is (v - -21)/(-2 + 3 + 0) a prime number?
True
Let g(h) = -h**2 + 1207. Let x be (14/28)/((-2)/40). Let j be (-10 - x)*(-3 + 2). Is g(j) composite?
True
Let q = -178 - -185. Suppose -q*k + j = -6*k - 2439, -4*j + 4854 = 2*k. Is k a prime number?
False
Is -106*((-4)/44 - 2099/22) a composite number?
True
Let r be (-4 - 1)*18/90 - -193855. Suppose -16*g + 17714 = -r. Is g prime?
False
Let o(s) = s + 44. Let y be o(-16). Let a(n) = 30*n**2 - 38*n**2 + 20*n + y*n**2 - 11. Is a(15) a prime number?
True
Suppose -33 = -3*w - 3*i, 9*i - 41 = -3*w + 4*i. Suppose -q - 24 = w*q. Is ((-9)/(-2) + q)*7096/12 prime?
True
Suppose q - 2*a - 32407 = -4*q, 2*q - 2*a - 12964 = 0. Is q prime?
True
Let f(x) be the first derivative of -3*x**4/4 + x**3 - 3*x**2 + 17*x + 93. Is f(-8) a prime number?
False
Let g = 0 - -2. Suppose i - 3*s = -10, 0*s + 11 = -5*i + g*s. Is (120 - 2) + 3/i a prime number?
False
Let n(s) = -60*s. Let t be n(-5). Let b = 438 + -435. Suppose -w = -0*u - u - 98, t = b*w - 5*u. Is w composite?
True
Suppose 8*t = 9*t - 2. Suppose d - 3*d + 2*z + 1636 = 0, 0 = t*z. Is d prime?
False
Let n(m) = -m**3 + 23*m**2 - 72*m - 137. Is n(-33) a prime number?
False
Let p = -37 - -57. Let v = 38 - p. Is (-1 + 24/v)/((-2)/(-2658)) prime?
True
Let g(z) = 321*z - 5. Let l be g(-5). Let d = l - -2962. Let r = -93 + d. Is r prime?
True
Let a(s) be the second derivative of 380*s**3 + 149*s**2/2 - 156*s. Is a(5) a prime number?
True
Let z = -10876 - -18261. Let d = z + 3800. Is d a prime number?
False
Suppose 2*j + x + 0*x - 20 = 0, 0 = -5*j - 2*x + 50. Is (6152/(-12))/((j/(-3))/5) a prime number?
True
Suppose 0 = 12*q + 148 + 32. Is (-18299)/45*-39 + 2/q a prime number?
True
Suppose -9585 = -5*n - 5*t, 4*n + 74*t - 7664 = 72*t. Is n prime?
False
Is 6281*6/24*4*(1 - 0) a prime number?
False
Suppose 45*v + 10 = 47*v