rue
Let y(u) = -1. Let v(d) = -9*d**2 - 7*d + 5. Let m(t) = -v(t) + 6*y(t). Is m(7) a prime number?
True
Let y(p) = -p**2 - 4*p + 1. Let x be y(-3). Let k(v) = 31*v - 12*v - x - 6*v. Is k(7) composite?
True
Suppose -3*p + 3*g = 2*p - 879, g - 710 = -4*p. Suppose -2*n - 23 = p. Let k = 349 + n. Is k composite?
True
Let p(q) = -q**3 + 25*q**2 - 7*q + 50. Is p(13) a composite number?
False
Let c(b) = b**3 - 5*b**2 + 7*b. Let f be c(2). Suppose -4*h + p + 1825 = 0, 1377 = -h + 4*h + f*p. Is h prime?
True
Let b = -21069 + 32266. Is b prime?
True
Is 1*(-11 - -1 - -33971) composite?
False
Suppose 630 = 7*r - 658. Suppose r = n + 3*s, 3*n + s - 532 = 2*s. Is n a composite number?
True
Let b(y) = 132*y**3 - y**2 + y - 1. Let f(a) = 3*a + 13. Let h be f(-8). Let d = -10 - h. Is b(d) composite?
False
Suppose -2*s = 31 - 83. Suppose -s*g + 30*g = 2164. Is g a composite number?
False
Suppose d = -z + 16618, 3*z = -2*z + 5*d + 83120. Is z composite?
True
Let t(b) = 6*b + 25. Suppose 2*q = -2*q + 56. Is t(q) prime?
True
Let j(a) = 4409*a**3 - a. Let r be j(1). Let p = r - 2452. Is 2/(-6*(-4)/p) composite?
False
Suppose -z = -4*z - 42. Let p be (1 + 11)*7/z. Is 2/p + 2680/12 prime?
True
Let v = 413 + -286. Is v a prime number?
True
Suppose -16678 = -4*n + w, 5*n + w - 16674 = n. Is n prime?
False
Let b(z) = 52*z**2 - 62*z - 31. Is b(-15) a prime number?
False
Suppose 4*j - 21 = 3. Suppose 0 = -j*r + 3840 + 906. Is r a composite number?
True
Let t(h) = h**3 + 5*h**2 - 2*h + 6. Let m be t(-6). Let j = 16 + m. Is 10/3*(-33)/j a composite number?
True
Suppose 2*m + y - 239 = m, -5*y + 255 = m. Suppose 10*c - m = 5*c. Is c a prime number?
True
Suppose 3*m = -4*n + 32305, 4*m = -0*n - n + 43082. Is m a composite number?
False
Let r be (-3)/(9/6) - -301. Suppose -2*a - 807 = -5*k, 2*k - a - 23 - r = 0. Is k a composite number?
False
Let l(w) = -1005*w**3 + 4*w + 3. Let m be l(-1). Suppose -p + m = -75. Is p a prime number?
False
Suppose -5*j = 10 - 0, -5*g - 172 = -4*j. Let s = -152 - g. Let x = s + 295. Is x composite?
False
Let r(y) = 329*y + 1 - 83*y + 0. Let s be r(1). Suppose -5*z + s = -388. Is z a prime number?
True
Let q be (-2)/(7 - 4 - 1). Let k be (-2 - q)*(-5 + 2). Suppose 3*v - 111 = -2*v - 4*d, 5*d - 64 = -k*v. Is v a composite number?
False
Suppose -2*c + 0*d + d - 4 = 0, 2*c = 3*d - 12. Suppose c = b - 5*z - 787, 0*b + 4*z + 2405 = 3*b. Is b a composite number?
True
Let i(m) = 23*m**2 - 4*m - 31. Is i(-30) prime?
True
Suppose -49100 = -4*i - 4*y, 4*i - 8853 = 2*y + 40259. Is i prime?
True
Let s(w) = 155*w - 83. Is s(12) prime?
True
Suppose o = -4*x + 6*o + 82197, 5*x = 2*o + 102725. Is x a composite number?
False
Suppose k = -4*d + 64, 2*d - 2*k + 26 = 4*d. Suppose 18*t - d*t = 1399. Is t prime?
True
Suppose -9*n = 4*u - 4*n - 124251, 0 = 3*u - 2*n - 93217. Is u a composite number?
False
Suppose -2*a + 11 = 1. Let x = 23 - 3. Suppose -a*k + 535 = -x. Is k a composite number?
True
Let m(n) = -n**2. Let v be m(1). Let i = v - -5. Suppose -i*y = -1236 - 272. Is y a composite number?
True
Let j be (-33)/22*-2*1. Is -2938*-1*(j - 10/4) a prime number?
False
Let i be (-2 - (-10)/4)*4. Let y be (-4 + 28/8)/((-3)/120). Suppose -i*w = -4*w + y. Is w prime?
False
Let j(d) = d**3 - 44*d**2 - 82*d + 610. Is j(49) prime?
True
Let l(v) = 1 + 21*v + 14*v - 6*v + 0. Is l(2) a prime number?
True
Suppose -94 - 46 = -5*b. Is (-13713)/(-6)*16/b composite?
True
Suppose 0 = -4*a - 5 + 13. Suppose a*w = 4*w + 8. Is 1/(w/1276*-1) a composite number?
True
Let y = 13 - 13. Suppose 2*a - 7*a + 635 = y. Is a a prime number?
True
Let x = 31378 - 13319. Is x a composite number?
False
Let y = 431 - 197. Suppose -y = -3*o + 669. Is o a prime number?
False
Let b(z) = -z**3 - 7*z**2 + 6*z + 5. Let g be b(-8). Suppose 0 = -3*l - g + 99. Suppose -2*h + 12 = -l. Is h composite?
False
Suppose -3*j - 2 = -14, 3*j - 47 = -5*l. Let t(h) = 3*h**3 + 2*h**2 - 7*h + 9. Is t(l) prime?
True
Suppose z + 3*z - 88 = 0. Let n be z + (-3 - -9) + -4. Suppose -7 = -k + n. Is k a prime number?
True
Let i be (-9)/2*((-4)/(-3) + -2). Is -3 - -8 - (-1824)/i composite?
False
Let m = -78 + 60. Is (-4)/(-6)*(-567)/m composite?
True
Let k be (25 + 3)/(6/1791). Suppose -4721 = -11*o + k. Is o prime?
False
Let p(y) = 293*y - 3. Suppose -4*h + 9*h + 15 = 0. Let w(t) = -28714*t + 293. Let v(n) = h*w(n) - 293*p(n). Is v(1) composite?
False
Let c = -1851 + 11258. Is c prime?
False
Suppose a - 2*s = -13, 5 = -a - 4*s + 10. Let d be a - (12/(-4) + 0). Is 2519/77 + d/(-14) prime?
False
Let p be ((-1)/2)/(1/(-6)). Let l be (-2)/(-3) - (-7)/p. Suppose 2*s = -y + 60 + 23, -l*s = 9. Is y composite?
False
Is ((-383012)/(-112))/(2/16) a composite number?
True
Let s be (-2)/(-15) - (-100996)/105. Let d = -1591 + s. Let l = d - -1338. Is l a prime number?
True
Let c = -364 + -1191. Is (0 - c)*(5 - 4) composite?
True
Suppose 5*p - 481418 - 483407 = 0. Is p composite?
True
Let j = 10619 - 6246. Is j prime?
True
Let x(r) = -1155*r**3 - 2*r**2 - 4*r - 7. Is x(-2) a composite number?
True
Let i = 21 + -17. Suppose 5*f - 5*o - 6 - i = 0, -2*f - 3*o + 4 = 0. Suppose 147 = 2*b - p, -4*p + f = -2*p. Is b a prime number?
False
Is (-2)/(10752/5379 - 1 - 1) a composite number?
True
Let f(s) be the third derivative of s**6/60 - 2*s**5/15 - 5*s**4/24 + 7*s**3/6 - 24*s**2. Is f(6) composite?
True
Suppose -3*k + 25 = 28. Is -3 - ((-2)/k)/((-1)/48) a prime number?
False
Let v(c) = c**3 - c**2 + c. Let i be v(1). Let f(b) = 2*b**3 + 2*b - 1. Let z be f(i). Is (-2 - (-5)/z)*-381 a prime number?
True
Suppose 20*x + 40047 = 27*x. Suppose 2*h - 2034 = 2*f + 258, 4*f - x = -5*h. Is h a composite number?
True
Suppose 2*u - 44 = 6*u. Let z = -13 - u. Is (-3)/z*-2 - -188 prime?
False
Is 17815/1 + (-136)/68 composite?
True
Let d(h) = 636*h**2 - 2*h - 27. Is d(-3) prime?
False
Suppose 0 = -7*r + 2*r. Suppose 5*w = v - r*w + 18, 0 = 3*v - 4*w + 21. Let j = v - -72. Is j a composite number?
True
Suppose 9151 = t - 14*f + 18*f, -2*f = -2*t + 18252. Is t composite?
True
Let x(s) = -s**2 + 4*s + 3. Let y be x(4). Suppose m + y*m - 2564 = 0. Is m composite?
False
Let v = -3 - -5. Let l = v + -6. Is (82/3)/(l/(-78)) prime?
False
Suppose 0*x + 19974 = 6*x. Suppose 4*j - 1381 = -x. Let q = j + 710. Is q composite?
False
Suppose 20*k - 3*k = 319991. Is k prime?
False
Let x(s) be the third derivative of 7*s**6/180 - s**5/120 + s**4/4 + 4*s**2. Let f(c) be the second derivative of x(c). Is f(3) a composite number?
False
Let i(p) = -3*p**2 - 6*p + 11. Let x(w) = -2*w**2 - 5*w + 11. Let d(n) = -3*i(n) + 4*x(n). Is d(-18) a prime number?
False
Suppose 0 = 5*w - 4*w + 2*v - 99, 0 = 3*v + 15. Is w a prime number?
True
Let u(z) = z**3 - 2*z**2 + z + 4. Let a be u(2). Suppose a*m = m. Suppose -2*b + 122 = -0*b + 4*i, 3*b - i - 204 = m. Is b a prime number?
True
Suppose 6*l - 146 = 64. Is 4082*(l/(-10) - -4) a prime number?
False
Let d(c) = c**2 + 4*c - 10. Let n be d(-6). Is 4 + 4741 + 8/2 + n composite?
False
Let n(k) = 5 - k**2 - 10*k**2 + 35*k**3 + 5*k**2 - 3*k + k**2. Is n(4) a prime number?
True
Suppose 0 = 52*m - 73*m + 111363. Is m a composite number?
False
Let p(n) = -3376*n + 51. Is p(-2) composite?
False
Suppose -11*m + 16803 = -6*m - 2*p, 0 = -3*m + 2*p + 10085. Is m a prime number?
True
Suppose -a + 2*p - 7*p = -1840, -3*p - 1864 = -a. Let v = a + -960. Is v prime?
False
Let y = 27 - 22. Suppose 0 = w - 0 + y. Is (-2)/w + 7665/25 prime?
True
Suppose 12825 = -5*q + 5*f, -4*q + 5263 = -3*f + 15528. Let p = -877 - q. Is p a prime number?
True
Suppose 5*j = -0 + 5. Is j - 15*1/(-3)*62 a prime number?
True
Let n = -13396 - -22997. Is n a prime number?
True
Suppose -34 = -3*c + 5*b, -2*c - 2*b - 12 = -3*c. Let p be 142/(5*c/20). Let x = p - -8. Is x a prime number?
True
Suppose 11*s = 9*s - 4*l + 5778, -2*s + 5743 = -3*l. Is s prime?
True
Let z(k) be the first derivative of k**4/4 - 14*k**3/3 + 17*k**2/2 - 9*k + 37. Suppose -39 = -g - 2*g. Is z(g) prime?
True
Suppose z = k - 2 - 32, 0 = -2*k - 4*z + 92. Let p = 301 - k. Is p a prime number?
True
Let i(r) be the third derivative of 7*r**6/80 + r**5/20 - r**4/4 - 3*r**2. Let t(h) be the second derivative of i(h). Is t(7) composite?
True
Let u(c) = -6*c + 8. Let g be u(-16). Suppose 3*h - 306 = -4*b + h, -5*h = -b +