mber?
True
Let v(z) be the third derivative of 89*z**4/24 - 94*z**3/3 - 11*z**2 + 2*z. Is v(21) composite?
True
Let a = 167911 - -46812. Is a a composite number?
False
Suppose -354794 - 230080 = -9*d. Suppose 255*w - d = 249*w. Is w prime?
True
Let j(q) = q**3 + q**2 - 113104. Let o be j(0). Is (1 - -1)/((-32)/o) prime?
True
Let x = 45640 - -68245. Is x a composite number?
True
Suppose -739012 - 681363 = -31*u - 359834. Is u a composite number?
False
Let d be 7/((-1 - -3)/2). Let z(p) = 2*p**3 - 14*p**2 - 17*p - 167. Let x be z(9). Suppose -3*l = -d*l - n + 2203, -2*l = x*n - 1098. Is l composite?
True
Suppose 14*d = 7*d + 616. Is (-10)/8 + -22454*(-33)/d composite?
False
Suppose 16*h - 6906557 = -117*h. Is h composite?
False
Let h(x) = -6259*x + 200. Let w = 794 + -797. Is h(w) composite?
True
Let o = -479 + 484. Suppose 15*u + 4*i = 16*u - 3509, 4*i - 17521 = -o*u. Is u prime?
False
Let n(b) = -21*b**3 + b**2 - 9*b - 8. Let i be n(-1). Suppose -28817 = -i*j + 24129. Is j composite?
True
Let l be 44/(-10) - (-5 + 92/20). Let q be 1*l - (-21 + 10). Is 5994/42 + 2/q prime?
False
Let n(l) be the first derivative of 5*l**3/3 - 9*l**2/2 + 29*l + 1. Let p be 1955/221 + -3 + (-82)/(-26). Is n(p) composite?
False
Suppose -3*q = -2*q - 31. Let c = q - 40. Let v(w) = 12*w**2 - 14*w + 1. Is v(c) prime?
False
Is 70349970/133 - ((-9)/(-63))/(-3 + 4) a prime number?
True
Let u(l) = -3*l**2 - 169*l + 39. Let o = -421 - -372. Is u(o) prime?
True
Let h(v) = -22*v + 55. Let m be (-9)/(63/2) - 122/14. Let g be h(m). Let z = g - -156. Is z prime?
True
Suppose -3*p = -4*c + 283, 12 = 4*c - 5*p - 273. Let b = c + -64. Suppose -b*i = 393 - 13431. Is i a prime number?
False
Suppose 20 = 5*j, 0*j = 3*y - 2*j - 88. Let u = y + -39. Let t(b) = -50*b - 19. Is t(u) a composite number?
False
Let z(c) = 2*c**2 + 5*c + 5. Let b be z(-2). Suppose 0 = 3*t + 5*h + 4, -5*t + b*t - 5*h = 1. Is (-1760)/t - (-27)/81 a composite number?
False
Let i = 37 + -33. Let q(l) = i*l**2 - 1 + 4 + 3*l - 126*l**3 + 34*l**3. Is q(-2) a composite number?
True
Let o(x) = 1630*x**3 - 2*x**2 - x. Let h be o(-1). Let s = h - -2508. Is s composite?
False
Let d(h) be the third derivative of h**4/24 + 11*h**3/6 + 13*h**2. Let g be d(-4). Let k = g + 12. Is k composite?
False
Suppose 14*n + 20 = 16*n. Suppose 0 = -n*b + 11*b - 621. Let a = b + -328. Is a a prime number?
True
Let z(p) = -48*p + 44*p + 5 - 4*p**3 - 2*p**2 + p**3. Let r be z(1). Let h(b) = 19*b**2 + 5*b + 9. Is h(r) prime?
True
Suppose 55812 = 9*z - 0*z - 91167. Is z composite?
True
Suppose -2*d + 2 = -d. Suppose 420 = d*w + w. Suppose -w = -5*g - 35. Is g composite?
True
Let f(j) = 183*j**2 - 65*j + 103. Is f(-42) a composite number?
True
Suppose 64709 = 3*x - 7414 + 1854. Is x composite?
True
Suppose -3*u - 136 = -6*u - y, 0 = u + y - 48. Suppose -49*f + u*f = -10. Suppose -6*j - 3*t + 1585 = -f*j, t = -5*j + 1984. Is j a composite number?
False
Suppose 4*k + 0*k - 5*s = -22, 2*k + s + 4 = 0. Is k/3 + 12 + 66 a prime number?
False
Is (5 - (-9564)/(-60))/((-2)/3055) - -3 composite?
False
Let a = -12509 + -1820. Let k = a + 32036. Is k prime?
True
Suppose 53*f - 286049 = 435864. Is f prime?
False
Let s(u) be the first derivative of u**4/4 - u**2/2 + 18. Let q be s(1). Suppose q*m - m + 12407 = 4*j, 6201 = 2*j + m. Is j a composite number?
True
Suppose -4*s - 39168 = -8*y + 3*y, -y = 0. Let m be (-4)/(-5) - s/(-90). Let i = 197 + m. Is i prime?
True
Let i = 889342 + -220523. Is i a prime number?
False
Suppose 2*c + 4*n + 6 = 0, -5*n - 2 = -4*c + 38. Suppose 28*h + 6067 = 32*h + c*m, -3*h + 4579 = -2*m. Is h a composite number?
False
Let x(p) = -1532*p. Let w(g) = 12255*g. Let i(z) = -3*w(z) - 25*x(z). Let u be i(5). Let l = 16454 - u. Is l prime?
True
Let v = -177 - -179. Let f(r) = -4*r**2 + 14*r - 9 - 7*r - r**2 + r**2 + 12*r**3. Is f(v) composite?
True
Suppose -32*s + 17*s + 107531025 = 90*s. Is s a prime number?
False
Let h = -18 - -18. Suppose h = -2*d + 3*d. Suppose q - 405 - 236 = d. Is q a prime number?
True
Suppose -5*v - 4*u = -2*v - 22, -3*v + 18 = 3*u. Suppose -3*i - i + 6963 = f, 2*i - 13950 = -v*f. Is f composite?
True
Let s = -21675 + 70622. Is s prime?
True
Let v(q) = -4*q**3 + 65*q**2 - 12*q - 245. Is v(-26) prime?
True
Suppose 3*b + 90*s - 87*s - 634851 = 0, 4*s + 8 = 0. Is b composite?
False
Let o be (14 - 12) + 18 + (-4)/2. Let r(y) = 27*y - o*y - 63*y - 13. Is r(-10) a prime number?
False
Let h(d) = 27*d**2 - 37*d - 45. Suppose -114 = -97*r + 103*r. Is h(r) a prime number?
False
Suppose -13*g + 5*a - 10 = -8*g, -3*g - a + 14 = 0. Suppose g*t - 6263 = -5*y, -5*y = t + 1354 - 7625. Is y prime?
False
Let i be -1 - 25*2*24/20. Is (-2*i/(-4))/((-5)/50) a composite number?
True
Is 2 + 1 + -1 - (247/(-13) - 94793) a composite number?
True
Let u be (13376/(-6) + -2)/((-60)/90). Suppose o - u = 3843. Suppose 0 = 2*z + 2*q - o, -5*z - 4*q + 24959 = 6986. Is z a prime number?
True
Let z(q) = -360*q + 14. Let i = -186 - -182. Is z(i) composite?
True
Let k = -40 + 36. Let j(v) = -41*v - 24 - 380*v + 17 - 6. Is j(k) a composite number?
True
Let t = -49 + -784. Is 2/(-17) - 639009/t a prime number?
False
Let c(m) = 372*m**2 - 9 - m - 4*m + 15*m. Is c(1) prime?
True
Let l be (42/(-8))/(1/(-4)). Suppose -5*k + l + 9 = 0. Suppose -6433 = -k*a - a. Is a composite?
False
Is -15*5/(-45)*(-2 - 4600079/(-55)) a composite number?
False
Suppose 0 = 2*u - 8*u - 22560. Let a = -2353 - u. Let t = -850 + a. Is t a composite number?
False
Suppose 0 = -4*k, 4*k = 2*x + 7*k - 7080. Suppose -5*p + r = -4433, p - x = -3*p + 4*r. Is p a composite number?
False
Let q be 32054/121 - 2/(-22). Let z = 2 + q. Is z a prime number?
False
Suppose -3077068 = -4*s - 4*l, 769259 = 3*s - 2*s + 5*l. Is s a prime number?
False
Let s = 48922 - 33269. Is s composite?
True
Let b(c) = -421*c + 93. Let a(m) = -141*m + 31. Let n(t) = -11*a(t) + 4*b(t). Is n(-10) a prime number?
True
Let z(i) = 3*i - 8 + 0*i + 2*i**2 - 3. Let j be z(2). Suppose t + 2*c = 49, 181 - 14 = j*t + 2*c. Is t a prime number?
True
Suppose 11914 = -5*r - 8801. Suppose 1129 + 4379 = -2*x. Let a = x - r. Is a composite?
True
Let g = 121 + -100. Let a(w) = 2*w**3 - 3*w**2 - 25*w - 55. Is a(g) a composite number?
False
Suppose 0 = -5*q - 2*z + 1182779, 0 = q - 17*z + 16*z - 236560. Is q composite?
True
Suppose -145 = -5*f + 100. Let p = f - 7. Is (-2)/(-8)*-698*p/(-3) a prime number?
False
Suppose -3*s + 4*y + 64908 = 0, 5*y + 26484 = s + 4859. Suppose t - 4118 - 1283 = -3*x, -3*x + s = 4*t. Is t a composite number?
False
Let c(v) be the second derivative of 77*v**3/6 + 35*v**2 + 79*v. Is c(9) a composite number?
True
Suppose z = -f - 32, -228 = 5*f + 2*z - 56. Is 2/(-9) + (-3 - 469088/f) a composite number?
True
Suppose -22*c = -25*c + 45. Is 303*265/c*1 prime?
False
Let i(h) = 92*h**3 + 4*h - 1. Let t = -11 - -33. Suppose 2*k - q + 0*q = 0, k + 5*q = t. Is i(k) a composite number?
False
Let g(m) = 18240*m**2 - 116*m + 449. Is g(5) a prime number?
False
Let t(p) be the third derivative of 0*p + 1/6*p**3 + 0*p**4 + 5033/120*p**6 - 1/60*p**5 + 0 + 16*p**2. Is t(1) prime?
False
Let r(a) = -13*a**2 + 5*a + 51. Let i be r(-16). Let b = 2992 - i. Is b prime?
False
Let k = 13157 + -7574. Is k a prime number?
False
Let a(f) = 611*f - 3. Let i be a(6). Suppose 5*j = i + 3077. Suppose -4*x + 3*p = -p - j, 0 = 2*p. Is x prime?
True
Suppose 1403769 + 207590 = 53*i. Is i composite?
False
Suppose -55 = -12*w + w. Suppose 5*s + 789 + 6814 = 4*j, -5*s = -w*j + 9510. Is j a composite number?
False
Suppose -4*y + k + 30 = -2*y, 3*k = 4*y - 62. Let j(x) = -x + 17. Let b be j(y). Suppose 0 = 5*c - 2*h - 1117, 3*c = c - b*h + 443. Is c prime?
True
Let b be ((-33)/22)/((2/(-4))/1). Suppose 3*a - 6652 = 4*j, -2*a = -j - b*a - 1663. Let i = j - -3396. Is i a composite number?
False
Suppose 0 = 117*m - 126*m + 27. Suppose -d + 2*x + 52953 = 4*d, m*d - 31775 = 2*x. Is d a prime number?
True
Let s(y) = -5*y**3 - 2*y**2 - y. Let o be s(-1). Suppose -o*n = -3*n - 46. Suppose -2*a + 4*c + 68 = -n, -5*a = -c - 330. Is a composite?
False
Let x be (0 + (-20)/8)/(2/(-8)). Let o(g) = g**2 - 10*g - 15. Let t be o(x). Is (-13581)/t + (-4)/10 a prime number?
False
Let b(a) = -53*a. Let d be b(-5). Let x = 1338 - 1324. Suppose x*s = 9*s