Is g prime?
True
Suppose 4*b - 3*b - 720 = 0. Suppose -3*l - j + 700 = 0, -l = 2*l - 3*j - b. Is l composite?
True
Suppose -6*w = -3*w + 27. Let t(i) be the third derivative of -i**4/3 - 5*i**3/2 + i**2. Is t(w) a composite number?
True
Let m(x) = 76*x**2 + 3*x - 2. Let r be m(-2). Suppose 4*j + 4*u - 7*u - 1175 = 0, -j + 3*u = -r. Is j composite?
False
Let f = 5525 + 2038. Is f composite?
True
Let v = 425 + 208. Suppose 5*p - 2*p - v = 0. Is p a prime number?
True
Let x(i) = 2*i**3 - 6*i**2 - 9*i - 4. Let y be x(7). Suppose -4*p - j = -59 - y, -4*p + 368 = 5*j. Is p composite?
False
Suppose -2*w - 35 = -3*w. Let s = 80 + w. Let o = 328 + s. Is o a composite number?
False
Is (-20993)/7*((-9)/3 - -2) a composite number?
False
Let w(c) = 14*c - 5. Let d = 42 + -15. Suppose 4*i = d + 21. Is w(i) composite?
False
Suppose -2*q = -0*q + 26. Let t = q + 11. Is 186 + (-3 - 8/t) prime?
False
Suppose -2*u - 23 + 9 = -3*b, 2*b + 3*u - 31 = 0. Suppose 0 = 5*x - b - 7, -4*s + 5*x = -1853. Is s a prime number?
True
Suppose 5*a = i - 7418, 4*i + a + 0*a - 29609 = 0. Is i a prime number?
False
Suppose 21 - 6 = 3*s. Let l(z) = s*z + 2 - 7*z**2 - 5 + 0*z**2 + 2*z**3. Is l(4) a composite number?
True
Let m(d) = 10296*d**2 - 4*d - 3. Is m(-1) composite?
True
Let w = 2498 - -384. Is 2*(-2)/((-8)/w) a composite number?
True
Suppose -2*o + 8 = -0*o. Is (-21)/(-28) - (-305)/o composite?
True
Suppose -84 = -3*w - 2*o, -2*w - 16 = -o - 79. Let j = -291 + 408. Let g = j - w. Is g a composite number?
True
Suppose d - 2*r = 36, -5*r + 36 = d - 4*r. Let g be 20/(-6) + (-4)/6. Is 420/d - g/(-6) composite?
False
Suppose -4*z + 6*z - 13489 = -11*m, 5*z - 33693 = 2*m. Is z a composite number?
True
Let m = -10 + 12. Let k be m/6 - (-80)/(-15). Let u(y) = 8*y**2 - 5*y - 2. Is u(k) prime?
True
Let q(u) = 6 + 10 - 19 + 3*u**2 - 14*u. Is q(6) a prime number?
False
Let k(n) = -n**2 - 2 - 3 + n + 25*n**3 + 3*n. Let c be 7 + -2 + -7 - -5. Is k(c) prime?
True
Suppose 5*j - 16 = 7*j. Let s(g) = 23*g**2 + 8*g + 1. Is s(j) a composite number?
False
Let r(o) = o**3 + 13*o**2 + 3*o - 3. Let a be r(-9). Suppose -368 = -3*k + 5*x, 0 = 3*k + 4*x - 65 - a. Is k a prime number?
False
Let z(j) = -89*j - 2. Let o be z(-1). Suppose 6*w = 5*w + o. Is w a composite number?
True
Let z(i) = -i**3 - 9*i**2 + i + 12. Let n be z(-9). Let q be (-2)/(-2) + n + -7. Is 118/q*(-18)/12 a prime number?
True
Suppose 0 = -3*t + 9. Suppose 2*f + f - 935 = -5*l, 0 = -f + 5*l + 305. Suppose -t*o = -o - f. Is o a composite number?
True
Suppose 0 = -14*o + 17*o. Suppose o*w + 4*d = -5*w + 15083, 0 = d + 3. Is w a composite number?
False
Suppose -8*d = -9*d + 1486. Is -3*(-1 + 0)*d/3 a prime number?
False
Suppose 0 = 5*k - 367 - 3238. Is k a prime number?
False
Suppose 2*v + 2*j = -3*j - 126, 4*j = -3*v - 175. Is (v/(-3))/((2*-1)/(-18)) composite?
True
Let n(i) = 11*i**2 - 33*i - 39. Is n(-35) prime?
True
Let k(i) = 254*i**2 - 8*i + 5. Is k(6) prime?
False
Let t(z) = -z**3 + 24*z**2 + 33*z - 2. Let g be t(23). Is (g/2 - -3) + -5 a prime number?
True
Let a = 6214 + -2397. Is a a composite number?
True
Let x be -27*(0 + 3/(-9)). Let t be (32/(-48))/(2/x). Let y = t + 161. Is y a prime number?
False
Let b(g) = g**3 - 4*g + 4. Let v be b(2). Suppose 3*k - v*c - 217 = 0, 0 = -3*k - 2*c - c + 252. Is k composite?
False
Suppose -19 = -4*u + 3*y, u - 3*u - 2*y = -6. Suppose 0 = 4*z - 3*m - 1573, 3*z - 8*m - 1178 = -u*m. Is z a prime number?
False
Let a(z) = 6*z**3 - 4*z**2 + 5*z + 107. Is a(18) a composite number?
False
Suppose -8721 - 2629 = -5*p. Let y be (-2)/12*-4 - (-12)/9. Suppose -p = -5*f + y*b - 477, 1437 = 4*f + b. Is f prime?
True
Let u(a) = -23*a**3 - 2*a**2 - 6*a + 4. Is u(-5) prime?
False
Suppose 5*a - 2 + 10 = 2*s, -4*s - a + 16 = 0. Suppose -l + 282 = s*l - 4*d, 4*l + 2*d - 210 = 0. Is l + 3/3*-1 a composite number?
False
Let l be (-7)/(-42) - 58/(-12). Suppose v + 11 = 2*r, 0 = -l*v - 0 - 5. Suppose -2*m + 41 = 3*f, -2 = r*f - 7. Is m a composite number?
False
Let q(w) = w**2 + 21*w - 3. Is q(-26) prime?
True
Let c(h) be the first derivative of 41*h**4/4 - 2*h**3/3 - h**2/2 - h + 8. Is c(2) composite?
False
Let q = -563 - -866. Let n(j) = j**2 - 2*j + 1. Let f be n(-3). Let d = q + f. Is d a prime number?
False
Suppose -3*p + 58991 - 349942 = -5*a, 5*p + 10 = 0. Is a composite?
False
Let m(t) be the second derivative of t**3/3 - 15*t**2/2 + 6*t. Let k be m(0). Is (-3)/(-15) + (-1992)/k a prime number?
False
Suppose 259*k = 214*k + 775755. Is k a prime number?
True
Let q(m) = 1 + 0*m + 0*m + 8*m**2 + 0*m. Let z be q(-1). Is (1 - -552)/(z - 8) a prime number?
False
Let f(c) = 2*c + 104. Let i be f(0). Suppose -v + 265 = i. Suppose -2*k - 35 = 4*o - 153, -2*k - v = -5*o. Is o prime?
True
Let q(o) = -281*o**3 + 7*o**2 + 5*o + 3. Is q(-4) composite?
True
Let t(g) = 74*g**2 - 4*g + 6. Let s be t(-9). Suppose -s + 2010 = -6*b. Is b a prime number?
False
Suppose -c + 12222 + 3242 = -5*q, 5*c - 77215 = 4*q. Is c a composite number?
False
Let h(z) = 3*z**3 + 12*z**2 - 4*z + 13. Let w be ((-2)/4)/((-1)/(-2)). Let l(s) = -s**3 - s + 1. Let g(p) = w*h(p) - 4*l(p). Is g(12) prime?
True
Let d(a) = -6*a + 16. Let o be d(3). Is (-2 - 1) + 1142 + o composite?
True
Is -6 - -4 - (-61497 + 32) composite?
False
Let i(p) = 2*p**3 - 11*p**2 - 7*p + 8. Let q be i(6). Suppose -973 = -q*r + 351. Is r a prime number?
False
Let h(y) = -2*y**2 + 8*y + 8. Let j be h(4). Suppose 5*z = j*z - 147. Is z a prime number?
False
Let k(f) be the first derivative of f**5/10 - f**4/12 - f**3/6 + 3*f**2/2 + 2. Let r(x) be the second derivative of k(x). Is r(4) prime?
False
Suppose -3*w - 15 = -4*j, -3*j + 13 = -0*w - 4*w. Is (-1172)/(-36)*3*j prime?
True
Suppose -10207 = -5*q + 2*o, -2036 = -0*q - q - 5*o. Suppose -4*a + 4989 = q. Is a a composite number?
True
Let u = -6041 + 8674. Is u prime?
True
Suppose -2*l + 98 = m, 58 = 2*m - 5*l - 165. Suppose -4*n + 3*i + 255 = 0, -2*i - 26 = -2*n + m. Let k = -29 + n. Is k a composite number?
False
Suppose 3*h - 2*x + 6491 - 25798 = 0, -32185 = -5*h + 5*x. Is h composite?
True
Let o = 54 - 56. Is o/(-7) - (-7)/(147/19965) a composite number?
True
Suppose -4 = 2*r - 14, 4*r = -5*u + 380. Let p(g) = -8 + g**2 + 13 + u. Is p(0) composite?
True
Let n = 39 + -34. Suppose -n*m + 8746 = -10219. Is m composite?
False
Let v be (-15 - 1) + 1 + -3. Let w = v - -23. Suppose -7*d + 116 = -w*d. Is d prime?
False
Let i(q) = -q**3 - 20*q**2 + 23*q + 3. Is i(-23) composite?
False
Is (-15)/180 - 805093/(-12) a composite number?
True
Suppose -6*k + k = -3*n + 153078, 5*n - 255140 = 5*k. Is n prime?
True
Let o = -22 + 38. Let j = o + -9. Suppose j*i - 3*i + 2*d = 96, -16 = -4*d. Is i prime?
False
Suppose 0 = -2*b - 3*j - 482, 0 = 2*b + 3*b + 2*j + 1194. Let s = b - -1793. Is s composite?
True
Let o = -6834 - -22095. Is o prime?
False
Suppose 0 = 2*o + 5 - 15. Suppose -8 = i - 5*z - 146, -o*z = -4*i + 507. Suppose -i = -5*t + 32. Is t a composite number?
False
Let f be 162/12*(68 + -2). Is 2/8 + f/4 prime?
True
Suppose 0 + 4 = -p, -2*x + 5174 = -4*p. Is x a prime number?
True
Let v(x) = 6*x**3 - 2*x**2 + 1. Let k be v(1). Suppose -k*g + 455 + 335 = 0. Suppose 3*p + 133 = 5*z - g, 3*z = -5*p + 161. Is z a prime number?
False
Let k = 5 - 25. Let q be k/(-6) - (-6)/9. Suppose -q*b = b - 2*w - 528, 2*b = -w + 213. Is b prime?
False
Let a = -49 - -49. Suppose -3*f + 2*o + 2903 = 0, a*o - 968 = -f + o. Is f composite?
False
Suppose 0 = 5*f, -4*f + 6*f = -2*v + 8600. Let s(y) = -y**2 - 16*y - 46. Let n be s(-13). Is n/49 + v/14 a composite number?
False
Let l(q) = 2*q**2 + 14*q - 3. Let n(j) = 10*j. Let y be n(1). Is l(y) a composite number?
False
Is (7 + -1 + -3799)*-1 prime?
True
Let p be 2588/8*(-4 + 2). Let j = 1670 - p. Is j a composite number?
True
Let c = 22 + -20. Suppose 0 = -c*q + 3*w + 3473, -q - 2*w + 996 = -751. Suppose -3*f + q = 5*s, 3*f + 1037 = 3*s + f. Is s prime?
True
Let t(h) = 2*h - 5. Let c be t(4). Suppose 4*k - 9*k = 3*p - 44, -p + c*k + 10 = 0. Let x = p - 10. Is x composite?
False
Let q(h) be the second derivative of h**4/12 - h**3 - 3*h**2/2 - 2*h. Let b be q(7). Suppose b*d + 279 - 1147 = 0. Is d composite?
True
Suppose -d - 2 - 3 = 4*a, a = 3*d - 24. Let i(r) = 15*r**2 - 2*r + 4. Let n be i(d). Suppose -9