4)/14. Suppose -v*y + 56 = -110. Is y prime?
True
Let o(t) = t**2 + 8*t + 6. Let p(k) = k**2 + 9*k + 7. Let h(d) = -4*o(d) + 3*p(d). Let n(f) = f**2 - f. Let l(x) = -h(x) + n(x). Is l(4) a composite number?
True
Suppose 3*s - 15 = -6. Suppose -z - 3*o + 4 = 0, -s*z = 2*z - 2*o - 37. Suppose -6*w = -z*w + 382. Is w a prime number?
False
Let o = -498 + 700. Is o a composite number?
True
Let w(d) = -d**3 + 8*d**2 - 5*d - 10. Let n be w(7). Suppose n*x = 3306 + 4282. Is x composite?
True
Let x(l) be the first derivative of -7*l**2/2 + 5*l - 1. Let k = -13 + 7. Is x(k) prime?
True
Suppose -4*r = 3*m - 10288 - 6492, -m = 2*r - 8390. Is r composite?
True
Suppose -2*a = -2*u - 216610, -u + 433220 = -15*a + 19*a. Is a composite?
True
Let t = -22 + 24. Suppose 0 + 4 = -t*o, -4*o = -4*m + 364. Is m a composite number?
False
Let c(b) = 467*b - 39. Let t = 160 + -152. Is c(t) composite?
False
Let h(w) = -w**3 + 11*w**2 - 9*w - 4. Let n be h(10). Let c = 69 - -85. Is 3/n - c/(-4) a prime number?
False
Let b(v) = v**3 - 13*v**2 + 35*v + 10. Let d be b(9). Suppose -39 = -3*p - 3. Let f = p - d. Is f prime?
True
Is 6/9*145407/38 composite?
False
Let j be (5 - 9) + (0 - 46). Let a = 229 + j. Is a a prime number?
True
Let p(a) = a**2 + 3*a - 16. Let k be p(-6). Is (37/k)/((-315)/(-310) - 1) a composite number?
True
Suppose 3*w - 5*w = 2. Is 1535 + (w - (3 - 4)) a composite number?
True
Let i be (92/(-6))/(2/(-36)). Suppose 31*r - 27*r = -3*w - 667, -10 = 2*w. Let a = i + r. Is a a prime number?
True
Suppose 5*i - q + 214 = -0*i, 4*q - 100 = 2*i. Suppose 0*w - 4 = -2*w. Is (-26145)/i + 1/w composite?
True
Let y(u) = 45*u**2 - 1 + 17*u**2 - 2*u + 2*u**2. Is y(-2) a composite number?
True
Let z = 25130 + -17805. Suppose -6*k + z = 2819. Is k a composite number?
False
Let w(k) = 4*k**3 + 4*k**2 - 7*k - 4. Let n be w(-6). Let v = n + 1328. Suppose u = -u + v. Is u a prime number?
False
Suppose i + 2*i - 4*m = 7819, 5*m = 3*i - 7817. Is i composite?
False
Let j(y) be the first derivative of 10*y**3/3 + 35*y**2/2 + 3*y + 10. Is j(-10) a composite number?
False
Let a = -13 - -10. Let r be (-404)/a*33/(-22). Let x = r - -333. Is x a composite number?
False
Let f be 1*2 + 1683/3. Let w(o) = -o**2 + 27*o - 177. Let j be w(15). Suppose -f = -2*k - 5*v, -k + 1081 = j*k + v. Is k a prime number?
True
Let y(a) = a**3 + 5*a**2 - 6*a. Let u be y(-6). Suppose -5*w + 13 + 4 = -2*n, 0 = -w - 3*n. Suppose -5*x + w*x + 422 = u. Is x a composite number?
False
Let u be (-3)/(-2)*16/(-24). Let d be 4 - (-1 - 0)*u. Let n(v) = 70*v + 1. Is n(d) a prime number?
True
Let y be (-18)/((-1)/(2/4)). Suppose 4*t = y + 11. Suppose -4*b = -t*p - 1511, b - 378 = -0*p + p. Is b a prime number?
True
Suppose -i - l = 13, 3*l = 4*i - 2*i + 51. Let j = 18 + i. Suppose j = -3*h + 2*h + 251. Is h a prime number?
True
Suppose -4*z + 6 = 3*k, -z + 6*z - 3*k + 6 = 0. Suppose 7*u - 243 - 1654 = z. Suppose -u = -2*r + 227. Is r a composite number?
True
Let i(h) be the first derivative of h**2/2 - 8*h + 2. Let d be i(6). Is (-12)/(-6)*(-489)/d a prime number?
False
Let d be (-4 - 29)*((-8)/12 - 0). Let i(x) = -10719*x**3 + x. Let s be i(1). Is (-10)/55 - s/d composite?
False
Let z = -15 + 9. Is 767 + 2/(z/3) composite?
True
Let q(k) = -k**3 + 6*k**2 + 9*k - 15. Let d be q(7). Is (1*-97)/(d/3) composite?
True
Let c(l) = -16*l + 1. Let v(u) = -64*u + 4. Let z(o) = -9*c(o) + 2*v(o). Is z(5) a prime number?
True
Let w be 5*-2*(-13)/65. Suppose 0*v + w*v - 338 = -4*u, -3*v - 9 = 0. Is u a composite number?
True
Suppose -2*v + 3*s + 374 = 0, -4*v - s = -4*s - 748. Is v a prime number?
False
Let f(a) = -8*a**2 + 9*a - 2. Let z be f(-5). Is (4 - 0 - z)*1 a prime number?
True
Is (1/2)/((-14)/(-112)) - -12513 prime?
True
Suppose 0 = 3*v + 1973 - 2420. Is v composite?
False
Let k = -14 + 16. Suppose -k*a + 63 = -361. Suppose 2448 - a = 4*g. Is g prime?
False
Let r(k) be the second derivative of 11*k**6/240 + k**5/120 + k**4/12 - 2*k. Let d(y) be the third derivative of r(y). Is d(6) composite?
False
Suppose 9*v + 35 = -748. Is v/(-12) + (-3)/12 a composite number?
False
Suppose 6*i - 7 = 5. Is 1/i*13622/7 prime?
False
Is -3*122412/(-60) + (-6)/(-15) a prime number?
True
Let u = 1450 - 1035. Let w = u + -108. Let l = w + -116. Is l a prime number?
True
Suppose -695 = -6*t + 1651. Is t composite?
True
Suppose 15*o = -24*o + 340899. Is o composite?
False
Let z(x) = 15*x - 9. Let m(d) = 1. Let v(u) = -4*u + 20. Let q(j) = 36*m(j) - 2*v(j). Let b(f) = 7*q(f) - 3*z(f). Is b(10) prime?
True
Suppose -2*t + 6*t = 9748. Let o = t + -1482. Is o a prime number?
False
Let x(t) = 95*t - 196. Is x(33) composite?
False
Let i = -11745 - -24404. Is i prime?
True
Let b(g) = 600*g**2 + 18*g + 65. Is b(-6) composite?
False
Let a(o) = o**3 + 13*o**2 + 2*o - 12. Let k be a(-11). Let q = k - 137. Suppose 324 = 2*c + 5*u, 2*u + 852 - q = 5*c. Is c a composite number?
False
Suppose -6*a + 8348 = -16450. Is a a prime number?
True
Let f(a) = a**2 + 11*a - 12. Let y be f(-12). Is (-249)/(-6)*(2 + y) a prime number?
True
Let f = -2 + 4. Suppose -4*l = 5*s + l - 2380, 4*l = f*s - 970. Is s a composite number?
False
Suppose -26 + 20 = -3*m, 159411 = 5*f - 2*m. Is f a composite number?
False
Let u be (4 - 5)*2*73. Suppose -310 + 1435 = 5*m. Let g = m + u. Is g prime?
True
Let x(w) be the third derivative of -w**6/120 - w**5/10 + w**4/8 + w**3/2 - 4*w**2. Let f be x(-6). Let u = 28 - f. Is u a composite number?
False
Let u = 896 + 5385. Is u composite?
True
Suppose x = -2*o - 3, 2*o + 0*o = -3*x - 1. Is 1/6 + x*4403/6 composite?
True
Suppose 24*b - 10 = 29*b. Suppose 2*g - 115 = 7*g. Let w = b - g. Is w a prime number?
False
Let k(p) = 1023*p**3 - 2*p**2 + 3*p - 1. Is k(3) composite?
False
Let i be (-1)/(-3 + 310/104). Is 6/2*(-5 + i) a composite number?
True
Let w(r) = 9*r + 1. Let v be w(1). Let p = v - 10. Is 2*(-158)/(-4) + p prime?
True
Let q(g) = -g**3 - 2*g - 2. Let u(s) = 7*s**2 + s + 11. Let v(a) = -4*a**2 - a - 6. Let k(w) = -3*u(w) - 5*v(w). Let f be k(2). Is q(f) a prime number?
True
Let n = 180 + 222. Suppose 2*q = 0, -q - q + n = 2*u. Is u composite?
True
Let n = -1326 + 2159. Suppose -n - 92 = -k. Suppose -4*g + k = 4*a - 7*a, 0 = -g + a + 230. Is g prime?
False
Suppose 3*i - 856 = 4*o, -6*o + 1396 = 5*i - 5*o. Suppose -i = -3*h - h. Is (-42)/h + 578/5 a composite number?
True
Let o be (-2)/7 - 6/(-21). Let j be (-15)/(2 + -1 + o). Let m = 37 + j. Is m a composite number?
True
Let d(j) = -12*j**3 - j. Let x be d(-1). Let n = x + -13. Suppose a - 84 - 47 = n. Is a a composite number?
False
Let s be 4/(-2) + 4911 + -12 + 9. Suppose 5*a - 3*v = s + 1683, 3*a - 2*v - 3953 = 0. Is a composite?
False
Let a be 2 + (-9 - -3)/(-3). Let o(j) = -94*j + 5. Let b be o(a). Let q = 540 + b. Is q a prime number?
False
Let v(h) be the second derivative of h**7/45 - 7*h**6/720 + h**5/15 + h**4/2 + 10*h. Let k(p) be the third derivative of v(p). Is k(3) a composite number?
False
Is ((-3)/(-12))/((-24)/(-380832)) composite?
False
Let z = -4644 + 12145. Is z prime?
False
Let l(n) = -7*n**2 + n**2 - 17 + 9*n**2 + 3*n - 2*n**2. Let i = 11 + 1. Is l(i) a prime number?
True
Let p = 16 - 18. Let h be p/(-10) + 1304/5. Suppose h = 3*g + 54. Is g prime?
False
Let z = 1736 + -883. Suppose 3*s - 2746 = -z. Is s prime?
True
Let y = 49 + -50. Is -5 + 160 + (-1)/(y/2) prime?
True
Let w(a) = -6*a**3 - 9*a**2 - 12*a - 1. Let d(x) = -x**3 + x**2. Suppose 3*c - 5*c = -10. Let o(z) = c*d(z) - w(z). Is o(-13) prime?
False
Let z = 7 - 2. Let j be 4565/z + 0 + -2. Let m = -354 + j. Is m a composite number?
False
Suppose -4*k - d = -2*k, 3*k = 2*d + 14. Suppose -a + k*y + 185 = 0, -208 = 2*a + 5*y - 605. Is a prime?
True
Suppose 3*g - 9*v = -7*v + 68275, -3*g = -5*v - 68281. Is g prime?
False
Suppose 3*u = -u. Suppose u = c + 447 - 1300. Is c composite?
False
Let l = 628 + 2370. Suppose 2*o = -2*b - 0*b + l, 2*b - 2998 = -3*o. Is b a prime number?
True
Suppose -232765 = -38*g - 37179. Is g a composite number?
False
Let j(q) = 8*q**2 - 10*q + 1. Let z(i) = 15*i**2 - 20*i + 3. Let a(y) = 5*j(y) - 2*z(y). Suppose 0 = -4*c - 7 + 27. Is a(c) a composite number?
False
Suppose -4*y - 4 + 12 = 0. Suppose 10*u - 5*u - 5451 = 4*o, 0 = u - y*o - 1095. Is u prime?
True
Suppose 4*t - 3*t =