 Is g a prime number?
True
Let u(z) = 112*z - 1. Is u(2) a prime number?
True
Let x = 11 + -7. Suppose x*q - 146 = 54. Suppose 3*u - 5*a - 25 = 0, 3*u = 4*a - 21 + q. Is u a composite number?
True
Let t = -733 + 1622. Is t a prime number?
False
Let h be (-1 - -3)/(2/3). Suppose 5*k - 2 = -5*l + h, -3*k - 1 = 2*l. Suppose 4*r + 5*b = b + 92, 72 = l*r - b. Is r a prime number?
True
Let v(m) be the third derivative of m**6/120 + 7*m**5/30 + m**4/4 - m**3/3 - m**2. Is v(-7) a composite number?
True
Is (-416 - 3)/1*(5 + -7) composite?
True
Let g = 313 - 48. Is g a prime number?
False
Suppose 12374 = 3*x - 5*o, 2*x - 4*x + 2*o + 8256 = 0. Is x prime?
True
Let o(l) = 3*l - 2. Let k be o(2). Let s be (k - -2)*(-6)/(-18). Suppose 0*t = -s*t + 178. Is t a composite number?
False
Let f(j) = 120*j**2 - 4*j - 5. Is f(-3) composite?
False
Suppose i = 5*k - 12051, 2*k + 0*k = i + 4818. Is k a composite number?
False
Suppose 3 = 2*j - k, -j - k = 3*k + 21. Let m = j - -4. Suppose -m*x = 2*x - 185. Is x a composite number?
False
Suppose 4*v = -2*p + 8, -4*v + p = 4*p - 6. Is (-1 - 0)*(v + -452) composite?
False
Let h be 3/(-2)*(-64)/(-4). Let p be 103/3 - 2/6. Let t = h + p. Is t composite?
True
Suppose -3*f + 148 = 5*j + 40, 0 = 3*j - 5*f - 92. Suppose 6 = 3*p + j. Is 33/(-6)*p*1 prime?
False
Let f be 0/(9/(-3) - -2). Suppose f = -2*g - 0*g + 778. Is g composite?
False
Is ((-582)/15)/(19/5 + -4) a prime number?
False
Suppose -3*j - 28 = -112. Let a be (4/10)/((-4)/(-40)). Suppose 0 = -a*k - 4*h + j, -3*k = 4*h - 21 + 2. Is k a prime number?
False
Let t = 4 + -2. Suppose 4 = t*q - 4. Is (-1 - -2)/(q/16) a composite number?
True
Let r = -15 - -10. Let v(l) = -158*l + 1. Is v(r) a composite number?
True
Let z(a) = 14*a + 3. Is z(13) prime?
False
Let a = 45 - 6. Suppose h - a = 76. Is h prime?
False
Suppose g = n - 3*n + 219, 2*g = 2*n - 228. Is n a composite number?
True
Let r(t) = 37*t**2 + t. Let y be r(4). Suppose 5*c - 219 = y. Is c prime?
True
Let c = -6 - -1. Let s(t) = 2*t**3 - t**2 - 2*t. Let d be s(2). Let p = d + c. Is p prime?
True
Let s = -18 + 49. Let p = s + 66. Is p prime?
True
Let h = -1 - -468. Is h prime?
True
Let c = -613 + 348. Let s = c + 422. Is s composite?
False
Suppose -7196 = -5*q + 3*u, 0 = -4*q + 3*u - 4*u + 5750. Is q prime?
False
Let t = -18 - -18. Suppose t = 3*f - 467 - 790. Is f a prime number?
True
Suppose h = 4*i + 12, 3*i + i + 12 = 0. Suppose 0 = -4*v + s - 39 + 189, -v - 3*s + 31 = h. Is v a composite number?
False
Let p = 0 + 2. Suppose 0*m + p*m - 4 = 0. Suppose 0 = 3*l + m*l - 50. Is l a composite number?
True
Let o be (-2 - -6)*30/24. Is (-2)/(-10) - (-634)/o prime?
True
Let k(m) = -41*m**3 + 3. Suppose 0 = -4*n + 4*f + 4 + 4, 4*n + 28 = -5*f. Is k(n) composite?
False
Is (-2 - -27)/(-5) - -636 composite?
False
Suppose 24 - 298 = -s. Is s prime?
False
Let n = 9 + -9. Suppose n = 4*f + 26 - 6. Is 796/10 + 3/f a prime number?
True
Let l be -1*2/3*-3. Suppose -l - 2 = -4*k. Is k/(1 + 0)*115 composite?
True
Suppose 0*a - 3 = -a. Let r = 75 + -1. Suppose a*s - 175 = r. Is s a composite number?
False
Suppose 0 = -2*m + 4*m - 370. Is m prime?
False
Let m(b) = -4*b - 326. Let s(g) = -2*g - 163. Let k(x) = -4*m(x) + 7*s(x). Is k(0) composite?
False
Is (-6708)/(-16) - (-2)/(-8) a composite number?
False
Let m = 5 + -2. Suppose m*n = r + 198, n - 3*r - 55 = r. Is n a composite number?
False
Let n(o) = o**3 + 5*o**2 + o - 2. Let z be n(-2). Let a(i) be the second derivative of i**4/12 - i**3 - 5*i**2 - 2*i. Is a(z) a composite number?
True
Suppose 3*v + 0*t + 33 = -3*t, -2*v - 4*t - 28 = 0. Let q = v - -8. Is q*2/6 - -79 prime?
True
Is 3*(0 + (-251)/(-3)) prime?
True
Suppose -3*m - i - 96 = i, -m + i = 32. Let p be 2/(-1)*m/4. Let v = p + -2. Is v a prime number?
False
Suppose 8*i - 72 = 4*i. Suppose 0 = -4*c + 3*y + i, c + 3*y = -y - 5. Suppose c*s = s + 4. Is s a prime number?
True
Suppose -15 - 10 = -5*n, 5*d - 3870 = 3*n. Let u = d + -430. Is u prime?
True
Let d be 2/4 + 34/4. Let y(k) = k**2 - 8*k - 5. Let a be y(d). Let t(m) = 23*m - 1. Is t(a) prime?
False
Suppose 6*k + 3*c = 3*k, 2*k = -3*c - 3. Suppose 5*l = k*l + 30. Is l prime?
False
Is ((-223)/5)/((-3)/15) a composite number?
False
Let f be -14*(0 + (-26)/4). Suppose -4*o = -0*y - 3*y - f, -52 = -3*o - y. Is o composite?
False
Let p(j) = -j**3 + 4*j**2 - 2*j - 2. Let k be p(3). Is (2/4)/(k/28) a composite number?
True
Let u = -1 - -3. Suppose -u*a + 4*a = 466. Is a prime?
True
Let k(v) = -v**3 - 4*v**2 - 2*v + 24. Is k(-7) a prime number?
False
Suppose -5*l - 2*d + 631 = 0, 0 = l - d + 2*d - 125. Is l prime?
True
Suppose -y = 2 + 3. Let a = -2 - y. Suppose -a*d + 4*d = 38. Is d composite?
True
Suppose -2*u + 12271 = 5*u. Is u a composite number?
False
Suppose 0 = 3*o + 2*o - 645. Is o prime?
False
Suppose 4 = -n - d - d, 0 = 4*d. Let b be 95 - -2 - (n + 1). Suppose -2*r + b = -82. Is r composite?
True
Let s be 50/(-18) + (-2)/9. Let d = s + 16. Is d a composite number?
False
Suppose 3*i + 2*s + 26 = -0*s, i + 12 = -4*s. Suppose -5*h - 49 = -v, 0*h + 24 = -2*h - 4*v. Is h/i*(118 + -2) prime?
False
Let k(u) = -u**2 - 2*u - 2. Let p be k(-2). Let a(x) = 73*x**2 - 2. Let r be a(p). Suppose 8*b - r = 3*b. Is b a composite number?
True
Let n(y) = 22*y**2 - y. Let m = 6 - 7. Is n(m) prime?
True
Let n(p) be the first derivative of 3*p**2 + 4*p - 4. Is n(3) composite?
True
Let z(a) = -a**2 + 15*a + 2. Let p be z(15). Is (1 - p)/(3/(-417)) prime?
True
Let n(x) = 251*x - 3. Is n(2) composite?
False
Let c = -2216 + 3199. Let r = -642 + c. Is r a composite number?
True
Let b = 154 - -111. Is b prime?
False
Suppose -3*t + 9 = 5*u, 3*t = -4*u + 5*u - 9. Let a = u - 1. Suppose a*k = 293 + 129. Is k a prime number?
True
Let b(a) be the second derivative of -a**2 + 5/6*a**3 - a + 5/12*a**4 + 0. Is b(3) a composite number?
True
Suppose 76 = 3*u - 929. Is u prime?
False
Let z be ((-18)/5)/((-12)/(-80)). Let f = z - -63. Is f a prime number?
False
Is 1/((-2256)/753 + 3) composite?
False
Let s = -56 - -28. Let i(r) = -r**3 - 5*r**2 - 3*r + 5. Let p be i(-6). Let z = p + s. Is z a prime number?
True
Suppose -t + 3*t = 4. Let f(u) = -6*u**2 + 3*u - 2. Let z(h) = h**2 - h + 1. Let m(y) = -f(y) - 3*z(y). Is m(t) a prime number?
True
Suppose -3*o - t + 11 = -31, -2*o = -t - 33. Is (-2)/(-10) - (-1107)/o a prime number?
False
Let n be (-560)/25 + (-4)/(-10). Is 1 + (-2 - n/2) a prime number?
False
Let w(n) = 14*n - 1. Let q(k) = k + 1. Let y(l) = -2*q(l) - w(l). Is y(-8) composite?
False
Suppose -4*s - 5*g = -3*g + 22, -17 = 4*s + g. Let m be -2*s/(-12)*-2. Is -3 - -54 - (-3 + m) composite?
False
Suppose -2*c + 193 = -u, -5*c - 624 = 3*u - 2*c. Let v = 294 + u. Is v a composite number?
True
Suppose -12*y = -9*y + b - 1761, 2935 = 5*y - 4*b. Is y composite?
False
Suppose 2*f - 177 = -f. Is f - ((0 - -2) + 0) prime?
False
Is (-8780)/(-6)*(-57)/(-38) prime?
False
Let l(m) = -m**3 + 6*m**2 - 3*m - 1. Is l(-8) prime?
True
Let v = -7 + 12. Let t(s) be the first derivative of -s**3/3 + 7*s**2/2 - 7*s - 2. Is t(v) prime?
True
Suppose -4*b + 3*z - 14 = -3*b, 5*z = -4*b + 12. Let s be (-6)/(48/(-21) - b). Is (-1)/(-1)*(0 + s) composite?
True
Suppose -901 = 18*c - 7687. Is c a composite number?
True
Let o = 3 - -2. Suppose -4*j + 41 = z, 0 = -4*z + o*j + 71 - 12. Is z prime?
False
Let h(n) = -8*n - 34*n - 1 + 4 - 2. Is h(-3) a prime number?
True
Let i(m) = 11*m**2 - 1. Let u be i(-4). Let w = -48 + u. Is w composite?
False
Suppose 3*u = -3, 2*a - 393 = -3*u - 2*u. Let f = a - 114. Is f a prime number?
False
Let s be 0/2*(-1 + 0). Suppose -5*k + 350 = y, 3*k + s*y - 192 = 3*y. Let u = 108 - k. Is u a prime number?
False
Let x(n) be the first derivative of -n**2/2 + 2*n + 1. Let a be x(2). Suppose a*k + 194 = 2*k. Is k a composite number?
False
Let v = -128 - -73. Is 0 + 2 - 0 - v prime?
False
Let p be (-4)/(-18) - (-11)/(-9). Let n(a) = -a**3 + 9*a**2 + 3. Let o be n(9). Is p*-1*63/o a composite number?
True
Is -1 + (-1 - -29) - 1 a composite number?
True
Suppose 8 = -4*w, 2*j - 150 = -5*w + 28. Let f = 49 + j. Is f a composite number?
True
Let u be 6/(-2 + (-48)/(-21)). Let m = u - 12. Is 2095/m + (-4)/(-18) a composite number?
False
Let n(y) = -y**3 - 11*y**2 + 9*y - 13. Let o be (4*3)/1*-1. Is n(o) prim