ppose 5*n + 16 = 5*f - 4, a = 2*f + n. Suppose 0 = f*v - 13298 + 106. Is v a composite number?
True
Is (62190 - 12/120*10)*(1 + 0) a prime number?
True
Let k(x) = 1165*x**3 + 2*x**2 - 5*x + 5. Suppose 2*b = 6*d - 7*d, -3*b = 4*d + 10. Is k(b) a composite number?
False
Let b be (-4 + 7)*556/(-6). Let i = 4911 + -7006. Let d = b - i. Is d a prime number?
False
Let i(j) = -2*j - 6. Let t be i(-7). Suppose -4*c + 15 = -t*q + 7*q, 5*c - 5*q = 0. Suppose 3*o + 1230 = c*o - y, -3*y = -3*o + 1851. Is o a composite number?
False
Let i = -18320 + 38097. Is i composite?
False
Suppose -l + 128 = 759. Let x = -80 - l. Is x composite?
True
Suppose 5*n - 42931 = -3*k, 4*n - 42929 = -3*k - 0*n. Suppose 989*i = 992*i - k. Is i a composite number?
True
Let f(u) = 49*u**2 - 13*u - 12. Let z be f(-11). Suppose i + 4*d - z = -d, i - 2*d = 6025. Suppose 5*a + 580 - i = 0. Is a a composite number?
False
Let i = 193 - 189. Suppose 2*p + 0*d - 13476 = -2*d, -5*p = -i*d - 33726. Is p a composite number?
True
Suppose 10*a = 15*a. Suppose 3129 = 3*d - a*d - 3*u, 0 = -d - 4*u + 1023. Is d composite?
False
Let a(f) = f**3 - 2*f**2 - 1. Let w(q) = q**3 - 9*q**2 - 8*q - 17. Let m(y) = -2*a(y) + w(y). Is m(-20) composite?
True
Is (185291/(-4))/((24/(-84))/(32/28)) a prime number?
True
Suppose 103*y = 6*y + 12*y + 2784005. Is y prime?
False
Let v = -714992 - -2029395. Is v a prime number?
False
Let z = -592 - 2095. Let x = z + 8796. Is x composite?
True
Let z = -9135 + 21424. Is z a composite number?
False
Suppose 0*g + 17 = -3*z + 2*g, 2*z = 2*g - 14. Is (4397 - (z + 6)) + -1 + -2 a composite number?
False
Let x be 30/(-315) - 111430/(-42). Let i = 6363 + -3927. Suppose 0 = s - x - i. Is s a composite number?
True
Suppose -3*m - 3*c = 9, 3*m + 0*c - 21 = 3*c. Let y be 1 - 0 - (6/(-1) + m). Is -4 + y*348 - 3 a composite number?
False
Let y(b) be the second derivative of 19*b**4/4 - 8*b**3 + 19*b**2/2 - 49*b - 1. Is y(-12) a prime number?
True
Suppose r = -3*c + 39 + 141, 4*r - 706 = -5*c. Is 29335/6 - 29/r a composite number?
False
Let r(s) = s**2 + 2*s + 4. Suppose 5 = 4*d + 13. Let o be r(d). Is (-5 + 417)/(o/2) a composite number?
True
Let h(k) = k**3 - 9*k**2 + 11*k. Let y be h(6). Let w = y + 42. Suppose 5*a - 504 - 1541 = w. Is a a composite number?
False
Let a = 191 + -182. Suppose -a*h + 8*h = -5779. Is h a composite number?
False
Let m be 5227 + (-10 - (-6 - -2)). Let y = -2282 + m. Is y prime?
True
Suppose 0*w - 24 = -4*w - 2*d, -d - 13 = -3*w. Let s(m) = -3*m + 14. Let x be s(w). Is x*(2/1)/((-10)/6595) prime?
True
Let q = -36376 - -67845. Is q a composite number?
False
Suppose 16 = -4*f, 0 = -b - 5*f + f + 144. Let h(r) = 2*r + 29*r**2 + 125*r**2 - 2 + b*r**2. Is h(-3) a prime number?
False
Let q = 566300 - 321379. Is q a composite number?
True
Is (-352717651)/(-57) - (-380)/10830 a prime number?
True
Suppose -2*l - 4*z + 128 = 0, -291 = -5*l + l - z. Let v = l + -62. Is 9/v*(-272)/(-6) a composite number?
True
Suppose 4*c + 8805 = 47217. Let j be (8/(-10))/(6/30) - -14. Suppose j*d = d + c. Is d prime?
False
Let k(n) = 8*n**3 - 7*n**2 - 5*n + 35. Suppose 3*b - 24 = -5*l, -2*b + 4*b + 3*l = 16. Is k(b) a composite number?
False
Let g(x) = x**3 + 8*x**2 + 6*x - 2. Suppose r = 2*y + 3*y - 12, 3*r - y + 22 = 0. Let n be g(r). Is 83*2 - (-7 + n + 5) a composite number?
False
Let n = 2000 + -1113. Suppose 48*w = 17*w + 30*w + 5. Suppose -n = -w*b + 1578. Is b a composite number?
True
Let x = -6755 - -2683. Let n = -2407 - x. Suppose -5*m + 8348 = -3*s, -m - 2*s + n = 2*s. Is m composite?
False
Suppose -4*i - 10 = 2*u, 2 = -3*i - 10. Suppose 2*v + 4*z = 0, -8*v - u*z = -3*v. Suppose -2*k - 6*s = -s - 1323, v = -2*k - 3*s + 1333. Is k prime?
False
Let j(q) = -q**3 + 4*q**2 + q + 1. Let s = -2 + 6. Let l be j(s). Suppose 2*f + 3291 = l*f. Is f composite?
False
Suppose -58*f - 15551583 = -109*f. Is f a prime number?
True
Let c be 146/(-10) - 14/35. Let a be (c/10)/(9/(-2118)). Suppose s + a - 1242 = 0. Is s composite?
True
Is (-2)/(-21) - 1028*(-33683)/1092 a composite number?
True
Let z(q) be the third derivative of -101/8*q**4 + 0 + 4/3*q**3 - 10*q**2 + 0*q. Is z(-7) a composite number?
False
Let o(t) = -33*t**3 - 4*t**2 + 8*t - 12. Let l = -101 + 96. Is o(l) prime?
False
Suppose 7*h - 10*h = 2*w - 218755, -4*h + 5*w + 291635 = 0. Is 4/7 + h/7 a composite number?
True
Suppose -11*p - 10*p + 974753 = -8*p. Is p prime?
False
Let h be 42/38 - (-10)/(-95). Suppose -2*o + 2*r - r = h, -r + 1 = -4*o. Suppose o = 13*q - 8*q - 3755. Is q prime?
True
Suppose 0 = -4*w + 119 + 9. Suppose w = 2*m + 16. Is (-19)/1*(m/(-4) + 1) prime?
True
Let f = 77 - 72. Suppose -5*k - 2*p = 2*p - 3, -f*k - 2*p = -9. Suppose 0 = -4*b - 2*u + 678 + 784, -b + k*u = -362. Is b prime?
False
Let f(u) = -u**3 + 5*u**2 + 6*u + 4. Let o be f(6). Let y(d) be the second derivative of 13*d**4/2 + 3*d**3/2 - 27*d**2/2 - 3937*d. Is y(o) a composite number?
True
Suppose -774*g - 8244642 + 12498302 = -63478306. Is g composite?
False
Let w = 129834 + -90137. Suppose -6*b = -2*b + 8, -4*b + w = 3*l. Is l a prime number?
False
Let n = -36 - -103. Let v = 71 - n. Suppose -v*l - 3318 + 20626 = 0. Is l composite?
False
Let d = 5205 - 3645. Suppose -d = -k - 3*k. Suppose t + p + 0*p - k = 0, -3*p - 1164 = -3*t. Is t a composite number?
False
Let j(q) = -10*q - 99. Let u be j(-15). Suppose 4*p = -5*w + 600 - u, -w + p = -108. Is w prime?
True
Let a = 14545 + -6445. Suppose a = -5*h + 8*h. Suppose 0 = -5*k - 625 + h. Is k prime?
False
Let k(a) = 139*a - 420. Let d be k(35). Suppose -6*y - 7 = -y + 2*i, 3 = y - 4*i. Is 15/y*(d/(-15) + -6) composite?
True
Suppose -48*w - 14 = -55*w. Suppose -2*k = -3*i + 5639, -2*i = -4*i - w*k + 3776. Is i a composite number?
True
Let j(u) = -u**3 - 13*u**2 - 52*u + 39. Let a(v) = 9*v + 159. Let w be a(-19). Is j(w) a prime number?
False
Let j(v) = 2*v**3 + 65*v**2 + 21*v + 727. Is j(34) prime?
False
Let b(u) = 4304*u + 1. Let x be b(-2). Let y = 3256 - x. Is y composite?
False
Suppose -5*q - 6458 = -653. Let o = -608 - q. Is o a composite number?
True
Suppose l + 20 = 3*i, -10*l = i - 11*l - 10. Suppose -10*p + 5*p + 5*b = -7870, i*p = 2*b + 7870. Is p composite?
True
Let r = 114 - 111. Is ((-325)/(-10) - r)/(3/282) composite?
True
Suppose 16*t - 13*t - 6 = 0. Suppose t*f - 1403 = 4*s + 3191, -6841 = -3*f - 4*s. Is f a prime number?
True
Let a be 93/(-2) + (-2)/(-4). Let c(t) = -33*t + 171. Let r be c(2). Let z = a + r. Is z prime?
True
Let h(m) = -1. Let f(n) = -783*n + 5. Let p(s) = -f(s) - h(s). Let t be p(1). Suppose 0 = 3*u - o - t, -u = 3*o - 331 + 78. Is u a composite number?
True
Let t = -77 + 18. Let r = 63 + t. Suppose r*b - 278 = 3*b. Is b composite?
True
Let a(d) = 13*d. Let w be (-8)/6*(-30)/(-4). Let q be (w/15)/(1/(-3)). Is a(q) composite?
True
Let h = 1291879 + -647966. Is h prime?
False
Let s(x) = 35*x - 243. Let g be s(7). Suppose -4*k - 21*h = -26*h - 17914, -g*k = 4*h - 8970. Is k a composite number?
False
Let o = 843 - 464. Let z = 12 + o. Is z composite?
True
Suppose 3*o - 40 - 125 = 3*k, -265 = -4*o - 5*k. Suppose -o*c = -62*c - 30. Is (565/c)/((-2)/78) prime?
False
Suppose -66*p = -82*p + 101968. Is p prime?
True
Suppose 2*c + 6*p - 4 = 8*p, 4*p = -3*c + 13. Suppose 4*n = r - 21, 13 = 8*r - 3*r + c*n. Suppose 0 = -5*v - r*v + 3790. Is v composite?
False
Let j = 26449 + 49454. Is j a prime number?
False
Let r(z) = -z**3 + z**2 - z + 2. Let m be r(0). Suppose 3 = 3*k, m*h - 6*h = -5*k - 2015. Suppose 3*s + 2*y - 1539 = -y, -s + h = -3*y. Is s a composite number?
True
Let x be 12/(-8)*8/3. Let u = 27 - 87. Is 1/((-10)/x) + (-8556)/u a composite number?
True
Suppose -3*k + 2*k - 5*f = -53868, 4*k = -26*f + 215466. Is k prime?
False
Let m(y) = 463*y - 21. Let u be m(-5). Let d = 4557 + u. Is d a composite number?
False
Let y(c) = 45*c**2 - 112*c + 886. Is y(51) a composite number?
True
Let s be 1/(-2)*2 - -113665. Suppose 297999 = 15*f + s. Is f composite?
False
Let a be (-1)/(-4 - (-676291)/169073). Suppose 5*v + 4*j - a = 0, 0 = 19*v - 16*v + 5*j - 101436. Is v a composite number?
True
Suppose 5*f + 13 = 263. Suppose 3*n - 1940 = -5*a, -a + 361 + f = -4*n. Is a prime?
False
Let l(q) = -2*q**3 - 4*q**2 - 17*q + 10. Let h be l(10). Is (h + 1)/((-9)/6) composite?
True