*g**4/24 + 2*g**3 + 2*g**2. Is k(11) composite?
False
Let w = -851 + 1638. Is w a prime number?
True
Suppose -2*l = 4*o - 0*l - 14, 17 = 5*o + 3*l. Suppose 5*v + 389 = 4*g, -2*g - o*v = 45 - 207. Is g prime?
False
Suppose 10*g - 3959 + 249 = 0. Is g a prime number?
False
Let h = 595 + -377. Is h composite?
True
Let i be (-66)/(-55)*10/(-4). Is ((-2)/(-2))/(i/(-69)) composite?
False
Suppose 0 = 3*h + 5*r - 294 - 1954, -h = -4*r - 755. Is h a composite number?
False
Let b = 1 - -1. Suppose 20 = 3*y + 5*j - 0*j, -2*j + b = 0. Suppose -y = -2*g + 9. Is g prime?
True
Suppose 10*r - 5*r = 10, -3*s + r + 775 = 0. Is s a composite number?
True
Let i(a) = 3*a**2 - 5*a + 5. Is i(-6) a prime number?
False
Let j(v) be the second derivative of v**4/6 + v**3 + 2*v**2 - 3*v. Let x(t) = 2*t**2 + 5*t + 4. Let d(q) = -2*j(q) + 3*x(q). Is d(-5) composite?
True
Suppose 0 = -4*m - 2*d - 24, -5*d - 3 - 5 = -3*m. Let b be ((-15)/6)/(-1)*m. Let h(f) = -f**2 - 13*f + 7. Is h(b) a prime number?
True
Let j = -7 + 11. Let m be (351/12)/(1/j). Suppose p - 10 = m. Is p a prime number?
True
Let k be 3/((-15)/(-12) - 2). Suppose 3*x = 2*l - 24, 4*l - 15 = -l. Is ((-9)/x)/((-2)/k) composite?
False
Let k(r) = r**3 + r**2 - 10. Let a be k(0). Let j = a - -29. Is j a prime number?
True
Let k(h) be the first derivative of 2*h**3/3 + h**2 - 2*h + 3. Is k(2) a composite number?
True
Let b be (0 + (-22)/4)*2. Let u(h) = -5*h - 15. Let y be u(b). Suppose 3*j = -j + y. Is j prime?
False
Let s = -5 - -8. Let b(o) = 5 + 6*o**2 + 0 - o**s - o + 6*o. Is b(5) prime?
False
Suppose -6*w + 508 = -2*w. Is w prime?
True
Let t = 185 + -138. Is t a composite number?
False
Let c(z) = z**3 - 19*z**2 + 11*z - 18. Is c(19) a composite number?
False
Let u = -27 + 13. Let z be -3*(-4)/((-8)/u). Suppose z = 2*f - 31. Is f composite?
True
Suppose 7427 = 6*n + n. Is n prime?
True
Suppose -4*c + 4*t + 4916 + 4196 = 0, c + 2*t = 2293. Is c a prime number?
False
Suppose -656 = -5*y + b, 0*y + 5*y = 5*b + 660. Is y a prime number?
True
Let t(s) be the second derivative of 3*s**4/4 - 5*s**2 - 4*s. Is t(7) composite?
False
Suppose -5*c + 4*c + 12 = 0. Suppose 0 = -4*h + 4*p + 5 + 7, 4*h - 3*p - c = 0. Suppose h*l = 4*l - 77. Is l a prime number?
False
Let y(l) = l**2 - 2*l - 5. Let t(i) = 2*i**2 - 2*i - 5. Let c(w) = 3*t(w) - 2*y(w). Suppose -5*a - 3 + 23 = 0. Is c(a) a prime number?
False
Let p(d) = 24*d**3 - d**2 + 2*d - 4. Is p(3) prime?
True
Let t be 6 + (6 - (-12)/(-4)). Let d(u) = 17*u + 4. Is d(t) a prime number?
True
Let m = -70 - -122. Suppose -3*p + m = -p. Suppose -p = 2*v - 204. Is v a prime number?
True
Suppose -5*t = 1 + 14. Let i be 12*-1*t/6. Suppose j + i*g - 14 = 2*g, 9 = -3*j + 5*g. Is j prime?
True
Suppose 0*h - 310 = -2*h. Suppose -m - 4*m = -h. Is m a prime number?
True
Let f(c) = 2*c**3 - 4*c**2 + 10*c + 4. Let v be f(8). Suppose -v = -4*k + 104. Is k a composite number?
False
Suppose 2 = w - 0. Suppose 2*g - g + 8 = o, -w*o - 19 = 5*g. Suppose 3*r - 5*c = r + 36, o*r = c + 67. Is r composite?
False
Suppose 3*p = 3*z + 30, -3*p - 58 = 3*z + 2*z. Let w be (-184)/(-44) + 2/z. Suppose -v + w*v = 489. Is v composite?
False
Is (-2)/(324/(-159) + 2) prime?
True
Let q = 17 - 16. Is (q - 1)/4 - -305 a prime number?
False
Let m = -58 - -81. Let k be (-3)/9*(-1 - m). Suppose -2*t = -14 - k. Is t prime?
True
Suppose 6*m = 3*m. Is (-9)/12*(-28 + m) a composite number?
True
Suppose -4*c = -2*p + 118, p - c = -p + 118. Is p a composite number?
False
Let i be 117 + (-3)/(-1 - -4). Suppose 3*w = -55 - 2. Let q = w + i. Is q a prime number?
True
Let x(i) = 6 - 3 - 3 + 45*i - 2. Is x(3) composite?
True
Let o be -1 + (-12)/(0 + -3). Let w be 29/2 - 3/(-6). Suppose -o*k = 2*k - w. Is k a prime number?
True
Let m be (-6)/(-21) + 2441/7. Let r = -186 + m. Is r a prime number?
True
Suppose 5585 = -16*i + 21*i. Is i a composite number?
False
Let n(s) = -s**2 + 4*s - 5. Let i be n(7). Is 0 + 1 + (-4 - i) a prime number?
True
Suppose -44 = 5*i - 2*n, -2*i - 2*i - 3*n - 49 = 0. Is ((-1799)/(-35))/((-2)/i) a prime number?
True
Is -4 + (2 - 0) + 1939 a composite number?
True
Suppose -2*m = -0*m. Suppose m*v + 6 = v. Suppose v*a - 3*a = 177. Is a a prime number?
True
Let h = -1206 + 4201. Is h a prime number?
False
Let z = -5 - -5. Let r = z + 5. Suppose -r*q + 0*q = -155. Is q a composite number?
False
Suppose 936 + 2347 = 7*m. Is m prime?
False
Suppose 1635 = 3*o + 3*q, 0*o = 4*o - 3*q - 2152. Is o composite?
False
Suppose 4*d = -12, b - 4*d = 29 + 110. Is b composite?
False
Suppose -654 - 31 = 5*a. Let k = 8 - a. Is k composite?
True
Is (-3)/7 - (-3894)/21 a composite number?
True
Suppose 4*t = -4*p + 568, 4*t - p = 3*p + 552. Suppose 97 = 3*d + d - y, -t = -5*d - 5*y. Is d composite?
True
Suppose 2*i - 7 - 1 = 0. Suppose -5*s - g = -30, i = -2*s + 3*g - 1. Let f = s + 9. Is f prime?
False
Suppose -6*f + 15*f = 3681. Is f composite?
False
Suppose 10*f = 8*f + 1934. Is f a composite number?
False
Let g = 14 - -2. Suppose 3*r - f - 1 = 0, -2*r + 5*r + 2*f = g. Is (-4)/r + 2 - -19 a composite number?
False
Let a = 479 - 133. Let g = a - -85. Is g prime?
True
Let m = -67 + 141. Is m*((-5)/(-2) - 2) a composite number?
False
Suppose 0 = -2*x - 51 + 151. Suppose -x = 2*m - 7*m. Is m composite?
True
Suppose 1 + 5 = b. Is 2/b + 698/3 prime?
True
Let x(v) = v + 4. Let d be x(-5). Let b be 1663/(-3) - (-4)/(-6). Is b/(-5) - 2*d a prime number?
True
Suppose -635 = -7*a + 2*a. Is a prime?
True
Let b = 517 + -200. Is b a prime number?
True
Suppose -p + 8*g - 3*g = -29, -p + 17 = -g. Let a be p/6 - (-10)/15. Suppose 2*v - v + 115 = a*d, d - 3*v = 49. Is d composite?
False
Suppose 2*q + t - 3*t = -36, -5*q - 4*t - 54 = 0. Let n = q + 27. Is n composite?
False
Is 59252/12 - (-3 + 25/15) prime?
False
Let g = 2 + 2. Let f be -35 - (g + (-2 - 0)). Is (5 - f) + (2 - 1) a composite number?
False
Let f(i) = i**3 + i**2 - 3. Let u(t) = t**2 - 10*t - 3. Let o be u(10). Let d be f(o). Let v = -14 - d. Is v prime?
True
Let d(m) be the second derivative of m**7/840 + m**6/144 - m**5/40 + m**4/4 - 2*m. Let k(y) be the third derivative of d(y). Is k(-4) a composite number?
True
Suppose -70 - 22 = -4*s. Is s a prime number?
True
Let r be (-46)/(-10) + (-6)/(-15). Suppose -4*b + 28 = -r*c, b - c - 8 = -0*c. Suppose 3*w - b = 9. Is w a prime number?
True
Is -194*((-21)/(-6) + -4) a prime number?
True
Let i(k) = k**3 - 2*k**2 - 2. Suppose -3*d + 7 + 8 = 0. Let g be i(d). Suppose -3*n + 147 = -3*r, n + 4*r - g = -r. Is n a composite number?
False
Let f(w) = 7 + w + 7*w + 3. Let v be f(8). Is (v/(-4))/(3/(-6)) a prime number?
True
Suppose 5*f + 155 + 307 = 4*x, 2*f + 4 = 0. Is x a composite number?
False
Suppose 2*d - 1 = 5. Suppose -b + 182 = -n, -b - d*b = 2*n - 746. Is b a composite number?
True
Suppose -2*v + 4*u - 10 = -42, 3*u + 3 = -2*v. Let t(q) = 7*q**2 + 6*q + 7. Is t(v) prime?
False
Let v(g) = 60*g**3 + 2*g - 1. Let p be v(1). Let t = -10 + 14. Suppose 4*c = 5*r + p, 0 = 5*c - 0*c - t*r - 83. Is c a composite number?
False
Suppose -u + 193 = 3*i - 74, i + u - 89 = 0. Is i composite?
False
Suppose 2*i - 7*i = -410. Is i a prime number?
False
Suppose 0 = -60*c + 63*c - 399. Is c composite?
True
Let f = 265 + 633. Is f a prime number?
False
Let q be (52/(-6))/(6/(-9)). Let i = q - -106. Suppose 4*w - 331 = -5*z - i, -3*z + 220 = 4*w. Is w a composite number?
True
Let v(a) be the first derivative of -5*a**2/2 + a - 2. Let w(p) = 2*p + 6. Let z be w(-4). Is v(z) composite?
False
Suppose -30 = -5*i - 0*i. Let l be 2/i + 5715/27. Suppose -5*m = -l - 143. Is m a composite number?
False
Let k = -156 - -305. Is k composite?
False
Let i be (-10)/(-15) - 16/(-3). Let a = i - 12. Is ((-2)/1)/(4/a) a prime number?
True
Let n(i) = 9*i**3 + i**2 - 3*i + 1. Let q be n(2). Let w = -18 + q. Is w composite?
False
Suppose -5 = -2*u + 3. Suppose -u*p + p + 6 = 0. Is (-1*p)/((-2)/65) prime?
False
Let l = -1 - -6. Let g = 8 - l. Suppose 3*m - 11 = -g*u + 7, 5*m - 30 = u. Is m prime?
False
Suppose 0 = -5*a - 20, -2*s + s = -3*a - 3. Is (-318)/s + 2/(-6) composite?
True
Let w = -21 + -1. Let r = 21 - w. Is r a composite number?
False
Suppose 5*j = j - 20, 2*i + 28 = -4*j. Is i/(-26) - 900/(-65) a composite number?
True
Let m = 398 + 249. Is m prime?
True
Supp