 l - 6 = 0, -21 = 4*s - 2*l - 3*l. Is 1 - (-2)/s - (-20 - 884) a composite number?
False
Let j = 12524 + -8257. Is j prime?
False
Suppose 5*g = 3*c + 21509, 0*c + 8616 = 2*g + 5*c. Is g prime?
False
Suppose -n = 4*g - 1081, -g + 7 = -5*n - 279. Suppose 2*w = w + 4*a + 81, 0 = -3*w - 2*a + g. Is w composite?
False
Let i = -1446 + 924. Let u = 749 + i. Suppose 38 = 5*v - u. Is v composite?
False
Suppose -83 = -f + 3*g, -9*g + 9 = -6*g. Let r = f - 58. Is r a prime number?
False
Suppose -4*o + o = -66. Suppose -18*p - 348 = -o*p. Let s = 169 - p. Is s composite?
True
Suppose -j + 1338 = 3*v, -3*v - 3*j = -1283 - 61. Is v prime?
False
Let q = -3537 + 11308. Is q a composite number?
True
Suppose k = 968 + 931. Suppose -3*g - 3*r + k = 0, -3*r + 8*r = -4*g + 2534. Is g a prime number?
True
Suppose -4*v + 0*v + 2*z = -948, -243 = -v - z. Is v a prime number?
True
Suppose -3461864 = -40*k - 16*k. Is k a composite number?
False
Let i be ((-884)/8)/((-2)/(-4)). Let p = 12 - i. Is p composite?
False
Suppose 4*n = 2 - 14. Let f be -138 + (5 - 3) + n. Let m = f + 216. Is m a composite number?
True
Suppose -6*c + 520 = -c. Suppose -2*t = -0*t + c. Let o = t - -341. Is o prime?
False
Suppose -z = -5*m + 256, 4*z - 4*m + 1008 = -0*m. Let q = z + 362. Is q a prime number?
False
Let d(p) = -p**2 + 7*p + 2. Let j be d(6). Suppose a = 4*n - 2, -2*n - 2*n + j = -4*a. Let k(o) = -106*o - 1. Is k(a) composite?
False
Let w(u) = 182*u**2 - 181*u**2 - 1 - 6 - 3*u + 0*u. Let c be w(-2). Suppose c*y + y = 2*i - 2222, -4465 = -4*i + y. Is i composite?
False
Let z(u) = -u - 8. Let t be z(-7). Let k be -53*(-102)/(2 - t). Let p = k - 1189. Is p a prime number?
True
Suppose -m + 3*z = -4721, 0 = 2*m - 9*z + 10*z - 9442. Is m prime?
True
Let z be (-254)/(-7) + (-14)/49. Let n = -32 + z. Suppose -3*u - 80 = -2*r, -3*r + n*u - 29 = -4*r. Is r a composite number?
False
Is 229683*(-6 + (-57)/(-9)) a prime number?
True
Suppose 30426 = 4*f - 2*x, -f = 2*x - 6535 - 1074. Is f a composite number?
False
Suppose 5*z - 328 = z. Suppose 0 = -2*k - z + 630. Is k composite?
True
Let p(n) = n**3 - n**2 + 1. Let s(y) = -6*y**3 + 13*y**2 - 2*y - 9. Let r be (-6)/33 + (-114)/(-22). Let o(d) = r*p(d) + s(d). Is o(3) composite?
True
Let n(h) = h**3 + 5*h**2 - 7*h - 1. Let k be n(-6). Suppose -k*w + 365 + 240 = 0. Is w composite?
True
Let t be 10/2*(-4994)/55. Let c = -267 - t. Is c a prime number?
False
Suppose -3*n + 5*t + 21133 = 4*t, 3*n - 21149 = 5*t. Is n prime?
True
Let v be 2/((-4)/(-674)) - -2. Let r = v + -188. Let d = 230 - r. Is d a composite number?
False
Let c be 4/((-2)/7*1). Let j(g) = 2*g**2 - 10*g + 25. Is j(c) a composite number?
False
Let u(l) = 2 + l**3 - 3 - 2*l + 5 + 4*l**2 - 5. Is u(4) a prime number?
False
Let m = 245 - -56. Suppose 6*d = m + 389. Is d prime?
False
Let a be 2/1 + 0 + 0. Suppose 2*k - y = 248, -5*k + 4*y = -416 - 201. Suppose 919 - k = a*l. Is l a composite number?
False
Let y = -73 - -75. Let z(v) = 21*v**2 + 5. Is z(y) a prime number?
True
Let a(x) = x**2 - 7*x - 24. Let v be a(10). Suppose -3*z = -v*z + 87. Let p = 150 - z. Is p prime?
False
Let j = -37119 - -77954. Is j a composite number?
True
Let j = 22 + -37. Let l be (-3 - j - -4) + 4. Suppose 5*a = l, -4*s - 5*a + 90 = -2*s. Is s composite?
True
Suppose -6 = 2*y - 4*y. Suppose -b = -7 + y. Suppose b*k + 716 = 4*g, -g - 68 = k - 247. Is g composite?
False
Let j be (-1141)/(99/(-77) - 4/(-14)). Suppose -2*v + 4*f = -1306, f - 170 = -2*v + j. Is v a composite number?
True
Suppose -3*m + 20 = 14. Suppose -m*d + 617 = 5*p, 2*d - 126 = -p - d. Is p a prime number?
False
Let f(i) = 40*i**2 - 36*i - 281. Is f(-7) composite?
False
Is (-26)/(-260) + 15109/10 composite?
False
Let l(k) = k**3 - 7*k**3 + 5 - 30 - 2*k + 18*k**2 + 7*k**3. Is l(-14) a prime number?
True
Suppose 0 = 5*r - 4*d - 1223 - 806, -4*r - 4*d + 1652 = 0. Is r prime?
True
Suppose -3*r = -3*d - 2400, 2*d + 280 = r - 523. Is r prime?
True
Let x = -2610 + 7614. Suppose 5*u + 469 - x = 0. Is u a composite number?
False
Suppose 0 = -5*o + 91 + 84. Suppose -5*z = 3*c + 2*c + o, 5*c + 28 = -4*z. Is (6 + z)/((-2)/66) a composite number?
True
Let v(s) be the first derivative of 463*s**2/2 + 13*s + 10. Is v(4) a prime number?
False
Suppose -30*r + 17*r = -77753. Is r a prime number?
True
Suppose -5*a - 2*j = -13809, -3*a = -j - 1163 - 7118. Is a composite?
True
Let k(i) = -i**3 - 31*i**2 + 422*i - 23. Is k(-42) prime?
True
Let a(k) = 2*k**2 - 12*k - 13. Let v(y) be the first derivative of -y**3/3 - 7*y**2 - y - 6. Let n be v(-13). Is a(n) a composite number?
False
Let c(s) = -16*s**3 - s**2 + s - 3. Let b(h) = 3*h + 3. Let a be b(-2). Let t be c(a). Let l = 520 + t. Is l a composite number?
False
Suppose 2*y + 6 = 0, -4*f = f - 2*y - 85016. Is f a composite number?
True
Is ((-65)/(-130))/(((-1)/(-16010))/1) a prime number?
False
Let v(j) = 17*j**2 + 21*j - 7. Is v(13) composite?
True
Suppose -5*s + 31260 = -5*l, -2*s - s + 18716 = 5*l. Is s composite?
False
Let x(r) = 95*r + 8. Let m be x(3). Is (4 - 3)*m*1 prime?
True
Let n be (8/2)/(-2) - -5. Suppose 4*i = 4*c - 364, c = -6*i + n*i + 99. Suppose -5*y + 102 = -c. Is y composite?
True
Let x(o) = -o**2 + o - 6*o + 9*o**3 + 3 + 1. Let z(n) = 12*n - 21. Let y be z(2). Is x(y) a prime number?
True
Let l = -1051 - -2453. Suppose 5*f + l = 7*f. Is f a prime number?
True
Suppose -20 + 168 = 2*f. Suppose -f = 4*w - 1102. Is w prime?
True
Let i be (-6)/(-10) - 4/(-10). Suppose q - 8 = 5*q. Is 1 - q*101/i a prime number?
False
Let d = 2 + 3. Let q(s) be the second derivative of 25*s**3/6 - 2*s**2 + 2*s. Is q(d) a composite number?
True
Let y = -6075 - -13897. Is y a composite number?
True
Let v = -99819 + 241756. Is v prime?
True
Suppose 2*j + j = 12. Suppose -3*m + 5*s = -6 - 8, -2*m + 2*s + j = 0. Let c(l) = -166*l - 3. Is c(m) composite?
True
Let y(o) = -o**3 - 11*o**2 + 13*o + 1. Let m be y(-12). Let g = m + -52. Let r = g + 146. Is r prime?
True
Suppose 44*p - 37*p = 6223. Is p prime?
False
Let g(r) be the first derivative of -49*r**4/4 - r**3/3 + r**2/2 + r - 6. Let k be g(-1). Suppose -79 = -x + k. Is x a composite number?
False
Let f = -2 - -18. Suppose 21*z - 5385 = f*z. Is z composite?
True
Suppose -92 - 73 = -l. Let p = -82 + l. Is p prime?
True
Let r = -8631 + 4848. Let j = r - -7566. Suppose 3*k + 0*k = j. Is k a composite number?
True
Let z = -10 - 1370. Is (3 - (z + -4)) + 2 prime?
False
Let d = 10034 + -6339. Is d a composite number?
True
Let a(s) = 635*s - 12. Let g(p) = p**2 - 3*p - 5. Let z be g(5). Is a(z) a prime number?
True
Let a(q) = 259*q**3 - 2*q**2 + q - 7. Is a(3) prime?
True
Suppose -5*y + 4 = -6. Suppose y*u - u = 265. Is u a prime number?
False
Suppose -9*z + 36476 - 9809 = 0. Is z prime?
True
Suppose -5*n + f = -2*f, 4*n = -5*f. Let v(c) = 7 + 21*c + 3 + n. Is v(5) a composite number?
True
Suppose -3*h + 2*h + 4*x + 18 = 0, -4*x = 2*h. Is -2*(h - 4) - -17*91 composite?
False
Let k(h) = h**3 - h**2 - 6*h + 3. Let c be k(3). Suppose -c*i = i - 16444. Is i a prime number?
True
Suppose -3*q + 24 - 1 = -y, -55 = -5*q + 5*y. Let w(r) be the second derivative of 23*r**4/12 - 3*r**3/2 + 15*r**2/2 - r. Is w(q) composite?
True
Suppose 0*z = 5*z - 7465. Suppose 5*o + z = 4*n, n - 148 - 226 = o. Is n prime?
False
Suppose 0 = -3*r - 5*b + 584 - 91, 10 = 5*b. Suppose 0 = -q - z + 32, -6*q + q = 4*z - r. Is q composite?
True
Let w = 114 - 114. Suppose g - 173 = -2*f + 164, 4*f - 12 = w. Is g composite?
False
Suppose 2*s + 2*r + 88 = 1164, 4*s + 5*r = 2149. Is s a prime number?
True
Let c(o) = -81*o**2 - o + 1. Let h(k) = -162*k**2 - 2*k + 2. Let r(l) = -5*c(l) + 2*h(l). Let f(v) = -v**3 - 11*v**2 - 10*v - 2. Let a be f(-10). Is r(a) prime?
False
Suppose 20 = 4*g - p, 8*p - 25 = -5*g + 6*p. Suppose -2*k - 7*l = -2*l - 253, 3*k - 2*l - 427 = 0. Suppose -g*m + k = -4*m. Is m prime?
True
Suppose 4*u - 2*q - 22 = 0, u - 2*q + 5 = 6. Let t(r) = -32*r + 9. Let i(p) = -32*p + 8. Let c(z) = -6*i(z) + 5*t(z). Is c(u) prime?
False
Let a(p) = 35 + 81*p**3 - 39*p**3 - 13*p**2 - 43*p**3. Is a(-15) a composite number?
True
Let n = -15 - -18. Suppose 0 = n*o - 0 - 6. Suppose -o*a + 68 = -66. Is a composite?
False
Let k = -7 - -7. Let o = -10 + 13. Suppose -o*b + 6 = 0, k*z = 3*z - 3*b - 915. Is z prime?
