 number?
True
Suppose -p + 0 = -5. Let x = 48 + p. Is x a composite number?
False
Let n(x) = -x**3 - 6*x**2 - 6*x - 4. Let r be n(-5). Let g be 39 - (0 + r)*-1. Let i = g - 14. Is i a prime number?
False
Let m(p) = 3*p + 23. Is m(21) a composite number?
True
Suppose 0*j = 2*j. Suppose q + 3*q - 732 = j. Suppose -3*c = -2*a - q, -2*a = a + 9. Is c a composite number?
False
Let j(o) = o**2 + 9*o - 3. Let d(q) = q - 1. Let i(z) = 2*d(z) - j(z). Is i(-6) a composite number?
False
Let l be (-182)/(-6) + (-2)/6. Let h = l + -11. Is h + 3 + -2 - -2 prime?
False
Suppose 0 = -4*x + 2*y + 3584, -3*x - y + 1527 = -1156. Is x prime?
False
Let z be 1/2 + 3/2. Let c be (2/1 + 35)*1. Suppose z*k - 8 = -2*i + 5*i, 5*k + i = c. Is k a prime number?
True
Is 15345/20 - 3/12 composite?
True
Let b = -494 - -791. Is (b - -1)/2 + 0 a prime number?
True
Let o(i) = 2*i - 4. Let x be o(2). Is (-20 + x)*(-1)/2 a prime number?
False
Let f(d) = -d**3 + d**2 - 4. Let o be f(-3). Let x be o/14 + 10/(-35). Suppose 169 = x*k + 3*b, -4 = -7*b + 3*b. Is k prime?
True
Let h(m) be the third derivative of 9*m**7/140 - m**6/180 + m**5/60 - m**4/24 - m**3/6 - 3*m**2. Let a(c) be the first derivative of h(c). Is a(1) prime?
True
Let q(g) = g**2 - 3*g - 1. Suppose 3*k + 4*d + 4 = 14, -4*k = d + 4. Let l be (3 + k)/(1/5). Is q(l) prime?
False
Let h be (-2)/(-3)*(2 + 22). Let s be -27*((-6)/(-9) + -1). Let t = h + s. Is t prime?
False
Suppose 2 = 9*h - 7*h. Let f(l) = 1 + 14*l**3 + l**2 - 3*l**2 - 7*l**3. Is f(h) prime?
False
Let q be (1 - 1)/(-1) - -5. Suppose -q*y + 0*y + 70 = 0. Let d = 24 - y. Is d prime?
False
Suppose 968 = 4*z - 204. Is z a composite number?
False
Let u(n) be the second derivative of 41*n**4/12 - n**2/2 + 5*n. Is u(2) a composite number?
False
Let y = 461 + -72. Is y a composite number?
False
Let j = 1 - -1. Suppose -4*s + 12 = j*q, 0 = -4*q + 4 + 4. Suppose 0 = -s*k + 4*k - 118. Is k prime?
True
Let o = 1 - 1. Suppose o*h = -h + 3. Suppose -3*x + x + 36 = -u, h*x = 5*u + 47. Is x prime?
True
Suppose -r - r + 4 = 0. Suppose -1 = 2*y - 149. Is (y/(-3))/(r/(-3)) a prime number?
True
Suppose 3*x - 1811 + 180 = -2*y, -5*y - 1062 = -2*x. Is x prime?
True
Is ((-2)/4)/((-1)/582) composite?
True
Suppose -2*v - 37 = -3*v. Is v prime?
True
Let y(c) = -4*c**2 - 3*c + 3. Let f be y(2). Is (0 - 3)*f/3 a prime number?
True
Let h(u) = 3*u**2 - 9*u - 33. Is h(12) composite?
True
Let j = 190 + -102. Let d = 54 + j. Is d a composite number?
True
Let v(d) = -d**3 - 14*d**2 + 16*d - 3. Let u be (1 - -15)*5/(-5). Is v(u) prime?
False
Is ((-24)/33)/4 + (-255)/(-11) prime?
True
Is 136 - (-1)/((-3)/(-9)) composite?
False
Let d(r) = 1214*r**2 - 5*r - 5. Is d(-2) a composite number?
False
Let p(g) = 117*g**2 - 1. Suppose 0 = -3*b + 4*a + 18, -3*a - 1 = -3*b + 7*b. Is p(b) a composite number?
False
Suppose -2*x + 1 + 0 = -v, 4*x - 11 = -v. Suppose 5*b = x*b + 327. Is b composite?
False
Let s(z) = -z**3 + 9*z**2 - 2*z + 1. Let b(h) = h**3 + 3*h**2 - 2*h - 1. Let m be b(-3). Is s(m) composite?
True
Let q(z) = -z**3 + 5*z**2 + 12*z + 8. Let v be q(-8). Suppose v = 3*g - 2*l - l, -1001 = -4*g + l. Is g a prime number?
True
Let n be 6/8*4 - 18. Is (-850)/n*6/4 a composite number?
True
Let a = 33 - 14. Is a prime?
True
Let c be 0 + -1 - -21 - -3. Suppose -r + 5*g = -50 - 25, 4*r + 5*g - 375 = 0. Let k = r - c. Is k a composite number?
False
Let n(v) = -v**2 + 10*v + 10. Let r be 10*1*(-1 + 2). Is n(r) prime?
False
Suppose -3*d - 118 = -2*b - 51, 12 = -4*d. Let z(c) = -c**2 + 4*c - 3. Let s be z(6). Let q = b + s. Is q a prime number?
False
Is (-4457)/(-4) + 3 + (-9)/4 prime?
False
Suppose 0 = -4*i + 21664 + 4852. Is i a composite number?
True
Let m be ((-12)/(-8))/(9/(-552)). Is (-3)/1*m/4 prime?
False
Let w(k) = 19*k**2 + 6*k - 3. Is w(2) a prime number?
False
Suppose -6*m + 10179 + 987 = 0. Is m a composite number?
False
Let w(a) = -a + 4. Let o be w(6). Let d = o + 33. Is d a composite number?
False
Suppose 2*v + 2*v - 44 = 0. Let t = v - -28. Is t prime?
False
Let t = 654 - 919. Let v(y) = -2*y**3 + 8*y**2 + 3*y - 8. Let g be v(6). Let n = g - t. Is n a composite number?
False
Is (-2 + 191)*1 - 2 composite?
True
Suppose -3*x + 2 = -5*d - 17, 3*d + 9 = 3*x. Let n be ((-42)/(-5))/((-2)/d). Suppose z - g = n, -8*g = -4*g. Is z a composite number?
True
Let b be -1 + 0 - (-1 + 8). Let x be (-548)/b - (-2)/(-4). Suppose -y + 3*y = 4*q - 78, 0 = -4*q + 4*y + x. Is q composite?
True
Let q(m) = -29*m**3 + 3*m**2 + 4*m - 7. Is q(-3) a composite number?
True
Suppose -12 = -3*s + 7*s. Let r = 14 + s. Is r composite?
False
Suppose -5*f + 3*f = 0. Suppose 0 = 3*p + 1 + 14, -h + 2*p + 144 = f. Is h composite?
True
Let y = -3 - -7. Suppose w = -y*w. Suppose w = 2*x + 14 - 42. Is x a prime number?
False
Let t be 5 + (-3)/6*2. Suppose b = t*f - b - 522, 3*f - 394 = -b. Is f a prime number?
True
Let o(x) be the first derivative of -x**3/3 + 4*x**2 - 1. Let f be o(8). Suppose f = 2*w - 3*w + 7. Is w prime?
True
Let q = 1154 - 235. Is q prime?
True
Let h = 3053 - 1296. Is h a composite number?
True
Let i = -4 - -4. Is 31/((2 - i) + -1) a composite number?
False
Let i(t) = -23*t - 11. Is i(-6) a composite number?
False
Let n = -251 - -544. Is n prime?
True
Let r be (-1)/(-5) - 3248/(-10). Suppose 0 = -5*t - 140 - r. Let x = -16 - t. Is x composite?
True
Let w be 0/(-3) - (2 + 0). Is (-54 - w/2)/(-1) a prime number?
True
Suppose 0 = t + m - 38 + 5, -5*t = 2*m - 177. Is t a composite number?
False
Let p = 6 - 0. Suppose -r + p*r = 445. Is r composite?
False
Let s(o) = -4*o. Let r be s(-3). Let c = r + -8. Suppose -c*j = -5*j + 127. Is j a prime number?
True
Let y(d) = -d**2 - 6*d - 3. Let u(t) = 4*t + 3. Let b be u(-2). Let f be y(b). Suppose 0 = -5*a - 3*c + 55, -3*c - f*c = 5*a - 55. Is a a prime number?
True
Suppose -5*h + 11 = 3*z - h, 5*z = 3*h + 28. Suppose z*i - 3*r = 868, 4*r - 515 = -2*i - i. Let q = -60 + i. Is q a composite number?
False
Let b(h) = -h**3 + 6*h**2 + 5. Let a be b(6). Let i be (a/3 + 0)*12. Suppose 3*c - 37 = i. Is c a composite number?
False
Let m(g) = -2*g + 79. Is m(0) composite?
False
Let x = 296 - 73. Is x composite?
False
Let l(k) = 49*k - 1. Let a be l(4). Suppose 0 = -f + 2*t + a, 0*t + 766 = 4*f - t. Is f composite?
False
Suppose l - 6228 = -11*l. Is l a prime number?
False
Suppose 4*k - 3*z + z + 6 = 0, 5*z + 15 = 0. Suppose -3*s - 3 = 0, 2*s = -5*h + 5*s + 83. Let a = k + h. Is a a composite number?
False
Let u(k) = 1237*k**2 + 1. Is u(-1) composite?
True
Let a(x) = 0*x + 6*x + 3*x**2 + 1 - 9. Is a(-7) prime?
True
Let w(c) = -12 + 5*c + 12. Is w(2) prime?
False
Let n(a) = -70*a + 3. Let r be n(-3). Suppose r - 958 = -5*u. Is u prime?
True
Is ((-165732)/5)/(-4) + 8/20 prime?
True
Is 2/(-8)*(-896 - -4) a prime number?
True
Suppose 0*p = -3*p - 2*k + 1599, 0 = k. Is p prime?
False
Let z = -119 + 238. Is z a prime number?
False
Let p = 1703 + -1160. Is p a prime number?
False
Let w(l) be the second derivative of 0 - 2*l - 5/2*l**2 + 1/4*l**4 - 1/2*l**3. Is w(4) a composite number?
False
Suppose 0 = -s - s + 5*j + 33, -5*s = j - 15. Suppose -3*g + 2*g + 137 = 4*n, -s*n = 5*g - 717. Let q = 204 - g. Is q composite?
False
Let b(n) be the first derivative of -n**4/2 - 10*n**3/3 + 5*n**2 - 11*n + 3. Is b(-8) composite?
False
Let l(q) = 3*q**2 + 5*q - 11. Let k be l(-8). Let v = 4 + k. Is v composite?
True
Let v be (-1 + 4)/3*-2. Is 4 - -2*(-141)/v a composite number?
True
Suppose -214 = -j - 3*c, -2*c = -4*j - 7*c + 835. Is j a prime number?
False
Let k(a) = -a**3 - 21*a**2 - 6*a + 17. Is k(-23) prime?
True
Suppose 0 = z - 5*a - 248, -2*z - 3*a = -316 - 115. Is z a composite number?
False
Suppose 2494 = 9*l - 3797. Is l prime?
False
Suppose 4*n + q - 969 = 0, -n = -0*n - 4*q - 255. Suppose 2*l + n = 3*a, -273 = -2*a - 4*l - 95. Is a composite?
False
Let d(c) = -c**3 - 5*c**2 + c - 2. Suppose -3*a + 3 = -3, 4*a = 2*k + 22. Let x = k - 0. Is d(x) a composite number?
False
Let w be 2/6*(-3)/(-1). Let m = 40 - w. Is m a composite number?
True
Let p be (-387)/((-36)/8 + 3). Suppose 4 = -v, x - p = -x - v. Is x a prime number?
True
Let l(r) = 3*r**2 + 1229. Is l(0) a prime number?
True
Suppose -4*b - 31 + 339 = 0. Let v(k) = k - 1. Let t be v(2). Is -2 + 1 + t + b composite?
True
Suppose -