omposite number?
True
Suppose -4*y + 3*x + 3196 = 0, -547 + 3739 = 4*y - 2*x. Let w = y + -467. Is w a composite number?
True
Suppose 4*i - 20 = -i. Suppose 0 = i*c - 373 + 17. Is c a composite number?
False
Suppose 0 = -0*c + 5*c + 45. Is (-6)/c - 379/(-3) a composite number?
False
Suppose 3*q - 314 = q. Is q composite?
False
Let u(h) = 21*h - 10. Is u(9) a composite number?
False
Let a = 16 + -11. Suppose 0 = t - a - 126. Is t prime?
True
Suppose 7*z - 16*z + 14166 = 0. Is z a prime number?
False
Let c be 2/11 - (-168)/44. Suppose l = 3*l - c. Suppose -l*p - 48 = -4*w, -w - 18 = -3*w + 4*p. Is w a composite number?
False
Let x be (-575)/(-7) + 3/(-21). Let g = x + -45. Is g prime?
True
Suppose 4 = p - 2. Suppose 5 = p*g - g. Is (-2)/(g/((-7)/2)) a prime number?
True
Suppose 3*w = -2*w - 260. Let l = w + 139. Is l composite?
True
Let j(p) = 4*p - 1. Let u be j(1). Let r(i) = 8*i**3 - 3*i**2 - 11*i + 3. Let d(z) = 7*z**3 - 2*z**2 - 10*z + 3. Let f(o) = 6*d(o) - 5*r(o). Is f(u) composite?
True
Suppose 362 = 4*u - 2586. Suppose 0 = -5*h - 2*k + 719, -5*h = -4*k - 0*k - u. Is h a prime number?
False
Suppose -3*j + 1 - 19 = 0. Let x = j - -4. Is 1 - (-1 - (35 + x)) a prime number?
False
Let v(p) = -p**3 + 2*p**2 + 3*p - 3. Let a be v(2). Suppose 0 = -2*o - 6, -a*o + 53 = 3*n - 37. Is n a prime number?
False
Suppose -5*b - 260 = -9*b. Is b prime?
False
Suppose -3*r + 8811 = -0*r + 3*c, 0 = -4*r - 2*c + 11752. Is r composite?
False
Suppose 0 = -t + 138 + 25. Is t a prime number?
True
Let c(o) = -o**3 - 2*o**2 + 5*o + 7. Is c(-9) a composite number?
True
Suppose -15 = 5*w, -5*j - w + 1495 = 4*w. Let p(o) = -o**3 + 7*o**2 - 7*o + 6. Let a be p(6). Suppose a = -u + j - 79. Is u a prime number?
True
Let d = 1 + 1. Is ((-25)/20)/(d/(-536)) composite?
True
Suppose 0 - 6 = -3*t. Suppose t*n - 112 = 5*l - 293, 6 = -2*n. Is l prime?
False
Suppose 348 + 195 = 3*d. Is d a composite number?
False
Let q(x) = -x**3 - x**2 + 6*x + 1. Is q(-6) prime?
False
Let t be (30/9)/(-2)*-3. Suppose 0 = -2*d - 0*d + 10, 0 = -t*y - d + 40. Is y a composite number?
False
Let s(n) be the first derivative of n**2/2 - 5*n + 3. Is s(8) prime?
True
Let t(d) = -d**3 + 2*d**2 + 3*d - 1. Let n be t(2). Suppose -p + n*b - 119 + 327 = 0, 0 = -3*p - b + 672. Is p prime?
True
Let j = 63 + -121. Let b = -32 - j. Is b composite?
True
Let g be 744 + 1 - 20/(-10). Suppose 0*k = -5*k - l + g, -4*k - 5*l = -606. Is k prime?
True
Let k = 74 + 17. Is k a prime number?
False
Let o = 2 + 8. Is (42/5)/(4/o) composite?
True
Let y(p) = -p**3 - p**2 + 1. Let t(n) = -4*n**3 - 4*n**2 + n - 84. Let z(c) = -t(c) + 3*y(c). Is z(0) a prime number?
False
Let c = -257 + 455. Suppose 0 = 4*n - 14 - c. Is n a prime number?
True
Let r = 594 + 805. Is r composite?
False
Let l(m) = -m**2 + 8*m - 10. Let v be l(9). Let b(x) = -x**3 + 2*x**2 - x - 4. Let t be b(-5). Let r = v + t. Is r a prime number?
True
Suppose 0 = -5*l - 2*l + 5061. Is l a composite number?
True
Let v(p) be the second derivative of 22*p**5/5 + p**4/12 + 3*p. Is v(1) a composite number?
False
Let m(k) be the third derivative of k**5/10 - 5*k**4/24 + k**3/3 - 2*k**2. Is m(5) prime?
True
Suppose 0 = -3*f - f - 76. Let q = f - -42. Suppose 4*n + 3*s - 5 = 32, -q = -2*n - 3*s. Is n a composite number?
False
Suppose -5*g - 22161 = 2*r - 0*g, -5*r = g + 55345. Is r/(-28) + (-6)/21 prime?
False
Let g(k) = k**3 + 10*k**2 + 4*k - 8. Let r = 5 - 8. Let c(p) = -p**3 - 4*p**2 - p - 3. Let i be c(r). Is g(i) composite?
False
Suppose 0 = u + 4*r - 637, 4*u = -r - r + 2562. Is u prime?
True
Suppose 6*l - 765 = 51. Let u = l - 78. Is u a prime number?
False
Is 253 + 3/((-3)/2) a prime number?
True
Let y = 810 + -463. Is y a prime number?
True
Let f = -128 + 385. Is f prime?
True
Suppose -4*w = -2*k + 1 - 443, -3*w - 2*k = -321. Is w prime?
True
Let l = -57 - -74. Let x(n) = -n**2 + n + 2. Let d be x(-3). Let p = d + l. Is p a prime number?
True
Suppose 0 = 3*p + 9, -3*m + 3*p + 321 = -6*m. Is 2/(2 + m/53) prime?
True
Let m be 102/(-4) - 1/(-2). Let r(b) = -b**3 - 4*b**2 + 2*b - 2. Let c be r(3). Let k = m - c. Is k a composite number?
True
Let f = 19 - 19. Is (-1 - f)/(7/(-889)) prime?
True
Suppose 4*p + p = -6195. Is (4/6)/((-14)/p) a prime number?
True
Suppose o + 5*u = 367, 137 = 3*o - u - 996. Is o prime?
False
Let r = -23 + 25. Is (-33)/(-12)*40/r a composite number?
True
Suppose -3*b - 15 = 2*c, 0*c = 5*c + 4*b + 20. Suppose c = -m - 0*m + 7. Suppose v = 2*v - m. Is v a composite number?
False
Let g(h) = -h**3 - 4*h**2 - 4*h - 2. Let n be g(-2). Is (-434)/(-10) + n/5 a composite number?
False
Let g(w) = w**2 + 7*w - 11. Is g(-10) a composite number?
False
Let x(y) = 2*y**2 - 3*y + 8. Suppose -g = 3*g + 52. Let c = 20 + g. Is x(c) prime?
False
Let u be (124/5)/((-10)/(-125)). Let j = -199 + u. Is j a prime number?
False
Suppose -3*k = -8*k + 30. Suppose 3*h - k = 12. Suppose -h*p + p + 170 = 0. Is p prime?
False
Let d(i) = -i**3 + 10*i**2 - 5*i + 5. Is d(6) prime?
False
Let t = -4 - -6. Suppose 0*k = t*k - 154. Is k composite?
True
Let p be 21*(-1 - (-8)/6). Suppose -p*z + 3 = -4*z. Is (-1 - 1) + z - -14 composite?
False
Suppose -c + 121 = -148. Is c a prime number?
True
Suppose 4*y = -3*l + 1, 9 = 2*y - 5*l + 2. Is -13*(0 + -1)*y composite?
False
Let q = 2 - 0. Let k be (2 + (-4)/6)*9. Suppose -k = -q*a - 2*a. Is a composite?
False
Suppose 5*j - 45 = -4*a, -4*j - 2*a = -26 - 4. Suppose g + 72 = j*f + 5*g, -5*f + 3*g + 51 = 0. Suppose f + 16 = 4*b. Is b prime?
True
Suppose 0 = -5*l + 57 + 98. Is l a prime number?
True
Suppose 2*o - 3 = o. Suppose -o*u = -8 + 68. Let m = u - -39. Is m prime?
True
Let k = -71 - -128. Is k a composite number?
True
Let p(h) = 8*h**2 - 2*h**2 + 1 - 3*h**3 + 9*h + 2*h**3. Let o(i) = 6*i**3 + 2*i**2 - i. Let z be o(1). Is p(z) prime?
False
Let r(y) = 3*y**3 + 4*y**2 - 4*y - 1. Let n(w) = w**3 - w**2 + 1. Let a(i) = -4*n(i) + r(i). Let b be a(7). Let p = b + 19. Is p composite?
True
Suppose 0*v + 5 = v. Suppose 0 = v*g - g. Suppose g = -2*k + 26 + 84. Is k prime?
False
Suppose 4*f = -3*s + 9, -3*f + 5 = 2*s - 2. Suppose d = -f, -c + 4*d + 307 = 92. Is c composite?
True
Let m(z) = -z**2 - 4*z + 7. Let y be m(-5). Let k be 3/(y/(46 - 0)). Suppose -5*u = -2*u - k. Is u prime?
True
Suppose 3*k - 4*o - 1417 = 0, 0*o + o = 4*k - 1872. Is k a prime number?
True
Let d = 294 + -180. Is (1/((-1)/d))/(-2) a prime number?
False
Let f be (4 + -23)/((-1)/1). Let i(z) = 3*z - 2. Let l be i(2). Suppose l*r - 69 = f. Is r composite?
True
Suppose 5*q = 5*f + 1865, -239 = -5*q - 3*f + 1618. Suppose -q = -6*g + 2*g. Is g a prime number?
False
Suppose -5*u - 3*o = -473, 413 = 5*u + o - 68. Is -2 + (2 + u)/1 prime?
True
Suppose -4*i + 557 = -1455. Is i composite?
False
Let j = 114 - 75. Let o(m) = 3*m**2 - 4*m - 4. Let i be o(-4). Let w = i - j. Is w prime?
False
Suppose 4*t = -2*b - 18, 6*b - 2*b = t - 9. Is ((-133)/t)/(2/6) a prime number?
False
Suppose 6 + 4 = 5*b, 3*b - 705 = -3*d. Is d a prime number?
True
Suppose -642 - 348 = -5*y. Suppose 4*s - 174 = y. Is s composite?
True
Is (-3)/(-15) + 484/5 composite?
False
Suppose -4*c + 3*c - 6 = 0. Is (-3)/c*2*87 a composite number?
True
Let q(k) = 17*k + 1. Let y be q(-3). Let j = -35 - y. Is j a composite number?
True
Suppose -2*k = 3*a - 469, -5*a + k - 2*k = -784. Is a composite?
False
Let v be 1/(4/564) + -3. Let m = v + -47. Is m a composite number?
True
Let a be ((-12)/(-10))/(6/(-90)). Is (6/a)/(2/(-474)) a prime number?
True
Suppose -221 = -3*k - 2*j, -2*k + k = -2*j - 63. Is k prime?
True
Suppose 10*l - 9*l = 265. Is l composite?
True
Let p be -3 - (1*-4 + 1). Suppose p = -5*a - 10, -5*o + 252 = -o + 4*a. Is o a prime number?
False
Is (-254)/((16/52)/(-2)) a composite number?
True
Let k(x) = 3*x**2 - 10*x + 6. Suppose 11 + 11 = 4*u - 2*r, -4*r = -4. Let v be k(u). Is 15834/v + 4/(-18) composite?
False
Suppose 0 = -3*h - 0*h - 60. Let j = -6 - h. Is j prime?
False
Is (-11610)/(-12) - (-1)/(-2) composite?
False
Suppose 5*w = -o + 1, 2*o + 2*w = 26 - 8. Suppose -o = -2*d + 17. Is d a prime number?
False
Let v(n) = -2*n + 9. Let k be v(6). Let b = -1 - k. Is b/4*14/1 a prime number?
True
Let z(y) be the first derivative of y**4/4 + 2*y**3 - 2*y**2 - 5*y - 6. Is z(-6) composite?
False
Let r be ((-