t b(x) = -x**3 + 14*x**2 - 7*x + 7. Let w(g) = -g + 27. Suppose -7*u = -10*u + 63. Let v be w(u). Is b(v) a prime number?
False
Suppose -4 = -7*m + 24. Suppose -42047 + 1014 = -5*h - 4*u, m*h = -4*u + 32824. Is h a composite number?
False
Let m(h) = -h**2 + 10*h - 3. Let a be m(10). Is a - (-516)/9 - 6/(-9) prime?
False
Suppose 5*m = 3*h + 241783, -19*h + 48339 = m - 24*h. Is m a composite number?
True
Let c(p) = 28*p**2 - 13*p + 9. Let l = 19 - 29. Is c(l) a composite number?
False
Let n = -12 - -14. Suppose n*y - 2 = -4*r, -y = -0*y + 3*r. Suppose 2062 = 5*w + y*o, 5*o + 150 - 2210 = -5*w. Is w prime?
False
Let c(l) = 443*l**2 + 4*l - 23. Is c(-6) a prime number?
True
Let r(p) = p**2 + p + 1. Let k(y) = 4*y**2 + 19. Let t(v) = k(v) - 5*r(v). Let o be t(-6). Is 1/o*-382*-8 composite?
True
Let k(z) = -z - 3. Let h be k(3). Let i = -11 - h. Is 8/(-20) - 2397/i a composite number?
False
Let k = 660 + -449. Is k a composite number?
False
Suppose -2*w = -4*g + w - 81, 0 = 2*w - 6. Let t = 35 - g. Is t composite?
False
Let z(k) = 2503*k**3 + k**2 - k. Is z(1) a composite number?
False
Let d = 10191 + -5996. Is d prime?
False
Suppose -5*w + 13009 = 3*d, -5*d + 434*w - 430*w = -21731. Is d prime?
False
Let s(q) = 709*q - 48. Is s(7) a composite number?
True
Let b be 36 - (-3 + 0)/3. Suppose -2*o = 1 - b. Is ((-116)/6)/((-4)/o) prime?
False
Let d(v) = -v - 11. Let t be d(6). Let m(a) = -a**3 - 16*a**2 + 18*a + 20. Let j be m(t). Is j/6 + (-2565)/(-10) composite?
False
Let p(g) = 246*g**2 + 5*g + 9. Suppose -3*b = s + 2 + 7, -5*s = 15. Is p(b) a composite number?
False
Let p(i) = -i**2 + 6*i + 1259. Is p(0) a composite number?
False
Suppose -4*w = -d - 13592, d - 14282 = -3*w - 4081. Suppose -5*r - x = 346 - 17386, -w = -r - 2*x. Is r a prime number?
False
Suppose 7*f = 3*f - 46420. Let z = f + 18446. Is z composite?
False
Is 8 - (8 - (4686 - -13)) prime?
False
Suppose -15*n - 162 = -17*n. Let u = n - -440. Is u composite?
False
Suppose o = -3*r + 777 - 33, -3785 = -5*o - 2*r. Suppose 0 = 5*x - 4*s - o, 3*s + 298 = -0*x + 2*x. Is x a composite number?
True
Let d(k) = 513*k - 2. Is d(17) composite?
False
Suppose 0 = 6*n - 11*n - 3*s + 1597, s = 2*n - 630. Is n prime?
True
Let x = -6 - -8. Suppose -p + 245 = x*v, 2*v + 2*v = -4*p + 992. Suppose 3*u + 2*s - p = 0, -5*s + 94 = -3*u + 380. Is u prime?
False
Let x(r) = -r - 2. Let a be x(9). Is (-12 - a)/((-1)/293) prime?
True
Let x(r) be the first derivative of r**3/3 + r + 3. Let g(i) = 34*i**2 + 3. Let n(v) = g(v) - 4*x(v). Is n(-2) a composite number?
True
Let t(d) = -99*d**3 + 2*d**2 - 3*d - 6. Let b be t(-3). Suppose 5*o + b = 7*o. Is o prime?
False
Let m be 1 - (3 - 1) - 2. Let u(r) be the second derivative of 4*r**4 + 5*r**3/6 + r**2 + 3*r. Is u(m) a prime number?
True
Suppose 0 = 158*c - 159*c + 667. Is c a prime number?
False
Suppose 5*a - 2*a - 10217 = -2*h, 4*h - 17029 = -5*a. Let r = a - 2348. Is r a composite number?
True
Is (2/4)/(52/2995512) prime?
False
Suppose 5*x = 5715 - 500. Is x prime?
False
Let h = 4 + 4. Let q be 2/((-4 + h)/4192). Let n = -1417 + q. Is n a composite number?
True
Let n(f) = -10*f**2 + 1 + 9*f**2 + 0. Let o be n(0). Is (-293)/(o*(-2)/2) a composite number?
False
Let a(p) = p**2 - 2*p - 982. Let n be a(0). Let w = 1463 + n. Is w prime?
False
Let s(n) = -2*n - 4. Let l be s(-6). Let t be l/44 - (-2614)/22. Suppose 0*d + t = d. Is d a prime number?
False
Suppose -750 = -3*v + 6*v. Let c = 543 + v. Is c a composite number?
False
Let g be 5358/14 - (-2)/7. Suppose -2*k - 1 = -k + t, 0 = 3*k + 4*t + 4. Suppose -2*x + 338 = -i + 5*i, k = -2*x + 5*i + g. Is x a prime number?
True
Let f(s) = s**3 + 3*s**2 - 6*s - 3. Let x be f(-4). Suppose 0 = h - 5*r - 36, -x*h + 2*r = -r - 158. Is h a composite number?
False
Suppose 484*n - 50010 = 478*n. Is n prime?
False
Let s(p) = p**2 - 4*p + 7. Let t be s(3). Suppose t*n + 8166 = 10*n. Is n a composite number?
False
Let g(o) = 77*o**2 + 5*o + 5. Is g(-13) a composite number?
False
Let g be (-3 + 1240/15)/((-2)/(-12)). Suppose -5*r = 0, 0 = -a + 5*r - 171 + g. Is a a prime number?
True
Suppose -q = 5*f - 6793, 4*q - f = 15538 + 11676. Is q prime?
True
Let c = 23755 + 5858. Is c prime?
False
Let s(w) be the second derivative of 545*w**3/2 + 7*w**2/2 - 8*w. Is s(2) prime?
False
Let v be 3/(-1*12/(-8)). Suppose -g = -2*g + 2, -g + 4 = v*n. Is (n/2)/((-1)/(-94)) composite?
False
Let c(m) = 6432*m**2 - 18*m - 7. Is c(-3) a prime number?
False
Suppose -33*c = -34*c + 8. Suppose -5*w = -13 - 2. Suppose -2*j = -10, -w*f + 5*j = -c*f + 480. Is f a composite number?
True
Is ((-21486)/12 - 6)*-2 a composite number?
False
Let j(s) = -14*s + s**2 - 4 + s**3 + s**3 - 2. Is j(7) a composite number?
False
Let x(p) = -p**3 - 5*p**2 + 6*p - 4. Let t be x(-5). Let d = 129 - t. Is d prime?
True
Let y(r) = r - 2. Let c be y(1). Let l be (c/(-3)*0)/(-2). Is 1 + 234/(3 - l) a prime number?
True
Suppose 4*s - 34872 = -g, -30291 = -3*s - 4*g - 4124. Is s composite?
True
Let z(s) = 6*s**2 - 14*s + 5. Let a = 16 - 13. Let l(f) = 6*f**2 - 15*f + 6. Let y(m) = a*z(m) - 2*l(m). Is y(8) composite?
True
Suppose 5*q + 3*q = 81688. Is q composite?
False
Let x(y) = 25*y - 2. Let v be x(11). Let n = -827 + v. Let o = -393 - n. Is o a composite number?
True
Suppose -3*k - 490 = -4*g, 250 = 2*g + 2*k - k. Suppose 2*u - g = -32. Is u composite?
True
Suppose 0 = 4*z - 2052 - 280. Is z a prime number?
False
Let t be (1 - -192) + 6/(-2). Suppose -5*d - q + 25 = 0, -5*d - 3*q = -5 - 20. Suppose -145 = -d*c + t. Is c a prime number?
True
Suppose -10*j + 11*j + 20 = 3*r, r + j = 4. Is (-8)/(-36)*2433 + 2/r prime?
True
Suppose 15*d - 11*d = 1852. Suppose -o - t = d, 0*o + 459 = -o - 5*t. Let s = o - -843. Is s prime?
True
Let w = 2 + 2. Suppose -6*v + w*v + 8 = 0. Suppose 10 = 5*a, 4*c + 0*a = v*a + 468. Is c composite?
True
Suppose 6*h = 13314 - 408. Suppose -10*a + h = -739. Is a a prime number?
False
Let v(r) = -55*r**3 - 5*r**2 - 8*r - 4. Let u be v(-5). Suppose 0 = 3*n - 5*j - u, -3*n - 11*j = -7*j - 6813. Is n a prime number?
True
Is 1 - ((-2)/(-22) + 23752701/(-539)) prime?
False
Let v = 18 + -16. Let r be 0/v - (4 - 6). Is ((-111)/6 - r)*-10 composite?
True
Let t be (27/(-15))/(4/(-20)). Let z be (-2)/t + 38/9. Suppose z*a - 278 = 366. Is a a prime number?
False
Let n = 1592 + -2290. Let j = -1106 - n. Let x = 1573 + j. Is x a composite number?
True
Let l(b) = -61*b**2 - 4*b - 4. Let q be l(-1). Let u = 253 - q. Is u a prime number?
False
Let j(z) = 2*z**3 + z**2. Let m be j(-1). Is 14880/20 + (m - 0) a composite number?
False
Let i(t) = -t**3 + 5*t**2 + t. Let q be i(5). Suppose -3*w + 0*w + q*l + 1753 = 0, -2*w = -l - 1171. Is w a composite number?
True
Let f = 20 - 28. Is (f/20)/(2/(-410)) a prime number?
False
Let s = 27 - 26. Let d be -2 - (-16)/(3 + s). Suppose 3*g + 230 = d*k, 3*k + 2*g - 210 = k. Is k a prime number?
True
Suppose 0 = t + 5*t + 2628. Let r be (1 + (-8)/6)*t. Suppose 3*a - 2*n = 5*a - r, n = 3*a - 211. Is a prime?
True
Let s be 3/(-9) - (-2024)/6. Let l = -192 + s. Is l a prime number?
False
Let p(r) = -50*r - 11. Let q be p(-6). Let k = -2184 + q. Is 4*(k/20)/(-1) a prime number?
True
Suppose -9055 = -x + 8*a, -8266 = -4*x - 3*a + 28059. Is x a composite number?
True
Let y(v) = 17*v**2 + 60*v + 30. Is y(33) prime?
False
Let z = 180 - -141. Let i = -88 + z. Is i a composite number?
False
Suppose 3*p - 12 = -g, -5*g + 1 + 3 = p. Suppose -5*h + 904 + 261 = g. Is h composite?
False
Suppose f = -29 + 13. Let j(o) be the third derivative of -o**4/3 - o**3/6 - 5*o**2. Is j(f) a prime number?
True
Let q(l) = -400*l**2 + l - 13. Let k(j) = 267*j**2 - j + 9. Let b(n) = -7*k(n) - 5*q(n). Let f(s) = -s**2 + 7*s + 7. Let i be f(8). Is b(i) prime?
True
Let v = -18 - -16. Let w(a) = 33*a**2 + 5*a + 5. Is w(v) a prime number?
True
Is -4*8/32*-10579 a prime number?
False
Suppose 6 = -2*q + 10. Suppose -5*h + 23 = q*i, -2*i = h + i - 2. Let b(s) = 18*s**2 - 6*s - 1. Is b(h) a prime number?
True
Let f = 4147 - 1973. Is f composite?
True
Let u(v) = -2*v**3 - 3*v**2 - 5*v - 2. Let o(r) = 3*r**3 + 3*r**2 + 5*r + 3. Let i(a) = -5*o(a) - 6*u(a). Let l be 6*((-4)/6 - 0). Is i(l) prime?
False
Let j = -843 + 1360. Is j prime?
False
Let q(c) = 35*c**3 - c**2 - 10*c + 19. Let