posite?
False
Let w = 39 + -42. Is 1/((-3)/(691*w)) composite?
False
Let p(i) = 4*i - 44. Let g be p(12). Suppose 1190 + 304 = 2*y - g*j, -739 = -y - 2*j. Is y composite?
False
Let l(b) be the third derivative of 1003*b**6/120 + b**5/60 - b**4/24 + 22*b**2. Is l(1) composite?
True
Let s = -21 - -26. Let x be 1957/s + 8/(-20). Let c = -188 + x. Is c a prime number?
False
Let x = -11994 - -25831. Is x composite?
True
Let l(y) = -155*y - 20. Let m be l(-11). Suppose -5*u + 5*t = -m, -2*u - 6*t + 666 = -4*t. Is u a composite number?
True
Suppose -6*u = -2*u + 2*o - 3506, 0 = 4*o + 4. Is u composite?
False
Suppose 124*t - 6 = 121*t. Suppose -4*y + 5*y + 4*u = 109, 4*u = -t*y + 230. Is y composite?
True
Let j be 1*(0 + -1)*-2361. Suppose 11247 = 6*m + j. Is m a prime number?
True
Suppose 34 = 5*h + 4. Let j = 0 - h. Is j/(0 + 4/(-106)) composite?
True
Suppose -a = 5*s - 22, -s + 4*a + 6 + 11 = 0. Suppose -5*h = 4*x - 264, -s*x + 0*h + 330 = -3*h. Suppose 0*d + 5*z = -3*d + x, d + 5*z = 22. Is d composite?
True
Let u(d) = d**2 + 8*d + 5. Let j = 25 + 54. Let a be 4/(-18) - j/9. Is u(a) composite?
True
Suppose -2*i + 4*f = -3366, -3*i + 3*f + 0*f = -5064. Is i a composite number?
False
Let h(p) = 3*p - 16. Let b be h(7). Suppose 1807 - 10132 = -b*o. Suppose -o = -5*q - 4*v, 0 = -2*q - 2*v + 925 - 257. Is q prime?
False
Let l(h) = 20036*h**2 - 3*h + 1. Let z be l(1). Let r = z + -13649. Is r a prime number?
False
Let w be (0 - 1/(-4)) + (-44091)/108. Let a = w + 731. Is a prime?
False
Let c = -125102 - -194851. Is c a prime number?
False
Is -3599*544/(-40) - 9/(-15) composite?
False
Let i be (-297352)/(-40) - (-1)/5. Suppose -2*b + 2*q = -i, 2*q + 1676 = b - 2045. Let t = 5368 - b. Is t a composite number?
True
Let o = -3714 - -7261. Is o a prime number?
True
Suppose 2*y + 0*y = 520. Let p be y/28 - (-6)/(-21). Let n(l) = l**3 - 5*l**2 - 12*l + 7. Is n(p) a prime number?
True
Suppose 17 = 3*x - 25. Suppose -11*r + x*r = 603. Is r composite?
True
Suppose -4*k + 143108 = 5*a + 30103, -4*k = -5*a + 113005. Is a composite?
True
Let u be 30*-3*4/(-30). Let m = u + -13. Is (15/(-25))/(m/35) prime?
False
Let i = 5 + -1. Suppose 369 = -i*r + 1. Let s = -59 - r. Is s a composite number?
True
Let l(t) = 10*t**3 + t**2 + 3*t - 3. Suppose 8 = 2*c + 2. Let r be l(c). Suppose 0 = -3*a + 600 + r. Is a a prime number?
False
Suppose 0*l - 5*d + 13 = 4*l, 5*l + 3*d = 13. Suppose -95 = -2*z + 5*q, -3*z + 7*q + 145 = l*q. Suppose -z = -o + 8. Is o a prime number?
False
Suppose 0 = -6*c + 11986 + 60236. Is c prime?
True
Suppose 19295 = -2*p + 7*p - 5*h, 0 = -p - 4*h + 3879. Is p composite?
False
Let x(i) = -72*i - 19. Let w be (-38)/5 - (-26)/(-65). Is x(w) a composite number?
False
Suppose 0 = -4*g + 11 + 13. Suppose 0 = g*i - 11173 - 185. Is i a composite number?
True
Suppose 0 = -2*h + 3*s + 1027, -6*h + 4*s = -2*h - 2056. Let p = -93 + h. Is p/2*(2 + -1) composite?
False
Suppose -98 + 5289 = j + 3*b, 2*b + 4 = 0. Is j composite?
False
Let h = 2999 + 5288. Is h a prime number?
True
Let u = -23 + 21. Is 7/((-21)/(-192)) + 5 + u a composite number?
False
Suppose -4*d = -48824 + 252. Is d prime?
True
Let q(h) = -37*h - 4. Let m be q(6). Let r = 340 + -1047. Let d = m - r. Is d composite?
True
Suppose 84*q - 1886524 = 962000. Is q prime?
True
Let m(s) = 31*s**2 - 3*s - 3. Let t = -7 + 6. Let d(a) = 2*a. Let g be d(t). Is m(g) composite?
False
Suppose s + 3*y = 4391, -4*s + y + 11446 = -6066. Is s composite?
True
Suppose 0 = -211*d + 209*d + 646. Is d prime?
False
Let g(j) = 10*j**2 + 10*j + 3. Is g(12) a prime number?
False
Suppose -221 = 4*g + 3959. Let r = 2304 + g. Is r a composite number?
False
Let f(z) = 2*z + 15. Let k be f(-7). Let n(g) = 2918*g + 1. Let x be n(k). Is ((-18)/(-54))/(1/x) composite?
True
Let m(j) = -j**3 - 27*j**2 + 111*j - 50. Is m(-37) a prime number?
True
Let g(s) be the first derivative of s**4/4 - 10*s**3/3 + 13*s**2/2 - 12*s - 6. Let b be g(9). Suppose b*y + 267 = 27*y. Is y prime?
True
Suppose 3*v = -f + 8, 4 = -2*v - f + 5*f. Let w(c) = c**2 - 7*c + 7. Let p be w(-6). Let q = p - v. Is q prime?
True
Let a(o) = -o. Let k(l) = -l**2 + 5*l + 3. Let w be k(6). Let m be a(w). Is (215/(-10))/(m/(-6)) a composite number?
False
Let a(f) = 26*f**3 + 5*f**2 + 8*f - 2. Is a(5) a composite number?
False
Let a(j) be the second derivative of 1403*j**5/20 - j**3/6 + 5*j. Is a(1) a composite number?
True
Suppose 9746 = 9*z - 937. Is z prime?
True
Suppose -4*w - 17*w + 45213 = 0. Is w composite?
False
Let f = 13330 - 3465. Is f a prime number?
False
Let k be -6 + (2 - -1) + (1 - -62). Is 40050/k + (1/(-2) - 0) prime?
False
Is 3351/(-6)*(-1410)/15 a composite number?
True
Let q(k) = k**2 + 4*k**2 - 2*k - 2 - 5*k**2 - 6*k**2. Let n be q(-5). Is 2/(4/n*-1) a prime number?
True
Suppose -9*u + 66 = -7*u. Let z be u*(-1 + (-76)/(-3)). Suppose t + z = 3*t - 5*c, -2*c = -t + 403. Is t a composite number?
False
Let o(h) = h**2 + h - 7. Let b be o(3). Suppose 0 = b*i - 806 - 209. Is i prime?
False
Suppose -5*d + 8 = -157. Suppose 37*h - d*h - 13364 = 0. Is h prime?
False
Let b = 463 + -130. Suppose 0 = 5*d - 1252 - b. Is d a prime number?
True
Let l = -51 + 57. Suppose -l*b + 112 = -998. Is b a composite number?
True
Suppose -7*p - 2*g - 11 = -2*p, -p - 2*g - 7 = 0. Let t = 2 - p. Is (12/t + -3)*13 a composite number?
False
Suppose -34*j + 15 = -29*j. Suppose 0 = -z + j*z - 1174. Is z prime?
True
Suppose 0 = -2*q + 9 + 7. Suppose 3*z = 4 + q. Suppose -5*a = 2*l - 845, -z*l = 5*a - 1234 - 441. Is l a composite number?
True
Let k(d) be the third derivative of d**6/120 + 2*d**5/15 + 7*d**4/24 + 7*d**3/6 - 5*d**2. Let s be k(-7). Let h(o) = 25*o - 12. Is h(s) a composite number?
False
Suppose -2*d - 3368 = -5*a, -3*d - 570 = 2*a - 1921. Suppose -r + 343 = o, -a = -2*o - 0*o + 4*r. Is o composite?
True
Let g = 4961 + -2638. Is g a composite number?
True
Let c = -343 - -1425. Suppose 2*u = -424 + c. Is u a composite number?
True
Let l = 18 - 18. Suppose -3*x + 16 - 1 = l. Suppose -5*w = -f + 21, -5*f + 135 = -x*w - 10. Is f composite?
False
Let f(d) = -d**3 + 5*d**2 - d + 7. Let u be f(5). Suppose -6 = -u*i + 5*i. Is (12/18)/(i/(-237)) composite?
False
Let j(d) = 40*d - 2. Let x be j(3). Let y = x + -219. Let m = y + 168. Is m prime?
True
Let v = -525 - -282. Let o = v - -340. Is o a prime number?
True
Let g(a) be the third derivative of -5*a**2 + 1/24*a**4 - 2/3*a**3 + 0 + 1/20*a**5 + 0*a + 1/120*a**6. Is g(3) a composite number?
False
Let t(w) = 272*w + 10. Let u(b) = 271*b + 11. Let h(x) = 4*t(x) - 3*u(x). Is h(2) a prime number?
True
Let f(l) = -25*l - 9. Let c(v) = 83*v + 38. Let h(o) = 28*o + 13. Let t(d) = -4*c(d) + 11*h(d). Let y(a) = -4*f(a) + 5*t(a). Is y(-5) composite?
True
Let m = -15487 + 31515. Suppose -2765 + m = 3*i. Is i composite?
False
Suppose -5*m + z + 17 = 0, 3*z - 2 - 4 = -4*m. Suppose c = -m*c + 1928. Suppose 3*p = 1909 + c. Is p a composite number?
False
Suppose 6*b - 16 = 2*b + 2*p, -2 = -b + p. Let u be 236/b*(10 + 32). Suppose 5*v - u = t, -4*v - 5*t = -385 - 954. Is v composite?
False
Is (3 - -3)*(-4908)/(-24) a composite number?
True
Suppose -2*l = -2445 + 83. Is l composite?
False
Suppose 19 = 3*u + 2*x, 5*x - 26 = -2*u + x. Suppose 0 = 4*i + 5*h - 2751, -4 = u*h - 1. Is i a composite number?
True
Suppose 0 = -6*w + 37 - 7. Let t(f) = 6*f + 11. Let y be t(w). Suppose 3*u = 200 - y. Is u prime?
True
Let p(v) = -6*v**2 - 10*v - 7. Let h(s) = 24*s**2 + 39*s + 27. Let j(d) = 4*h(d) + 15*p(d). Let c be j(-6). Let i = -80 + c. Is i prime?
True
Suppose -1239994 = 262*z - 276*z. Is z prime?
False
Let l = 3065 + -2056. Is l prime?
True
Let o(t) = -t**3 - 11*t**2 - 6*t - 12. Let p be o(-11). Suppose u = -u - p. Is 0 + 3 - (-3 + u) a composite number?
True
Suppose -8*g - 7*g + 26430 = 0. Suppose k + 2*h = 2717, 3*h - g = -k + 960. Is k composite?
False
Let f = -7026 - -15445. Is f composite?
False
Let c = 14 - 12. Let h(o) = -1 + 0*o**2 + 8*o**3 + o**2 - 2*o**2 + 0*o**2. Is h(c) composite?
False
Let k be (1 + 2)/((-9)/(-6)). Let m be k/1*1348/(-8). Let d = 626 + m. Is d prime?
False
Let c(f) = -27*f + 7. Let p(s) = s + 9. Let y be p(-13). Is c(y) prime?
False
Let j(t) = -1342*t**3 - t**2 + 13*t + 7. Is j(-3) prime?
False
Let c(s) = 16782*s + 49. Is c(