73 = 5*g + 4*k. Is g composite?
True
Let r(s) = -4*s**3 + s**2. Let q be r(-1). Suppose -25*j = 172 - 397. Suppose 2*f = -3*v + 2337, q*f - j*v = -6*v + 5832. Is f a prime number?
False
Let c = -17 - -25. Let v(l) = 150*l - 26. Let i(f) = -75*f + 13. Let m(q) = 5*i(q) + 3*v(q). Is m(c) a prime number?
True
Suppose -6478 = 7*u - 10*u - d, -4*u - 5*d + 8619 = 0. Is u prime?
True
Let i(d) = -d**3 + 9*d**2 - d. Let h be i(9). Let z = -69 + h. Let o = z + 149. Is o prime?
True
Let c(f) = f**2 + 12*f + 27. Let x be c(-9). Suppose x = 3*q - 1244 - 10585. Is q a prime number?
True
Let p(o) = -25*o + 17. Let i be p(4). Let u be 65/(-9) + 7 + i/(-9). Is 1 - 1758/(u/(-3)) composite?
False
Suppose 5*i + z - 29995 = 0, -2*z = 3*i - 5*z - 17979. Suppose -4*h + 2999 = u, 2*u + 7*h - i = 2*h. Is u a prime number?
True
Suppose -7*l - 25 = 17. Let t(w) = 69*w**2 + 4*w - 23. Is t(l) a composite number?
False
Suppose -7 = v + 334. Let b = -672 - v. Is (-1 - 4)/5*b prime?
True
Is ((-132)/20)/(153/(-7547745)) a composite number?
True
Suppose 0 = -4*k + 36370 + 67234. Is k prime?
False
Suppose 4 = s, 60*q + s + 15991 = 65*q. Is q composite?
True
Let y = 44821 - -32368. Is y composite?
True
Let s(f) = 3035*f + 188. Is s(3) composite?
False
Let s(q) = -171*q + 17. Let i(g) = 86*g - 9. Let z(k) = -9*i(k) - 4*s(k). Let w be (-8)/(-20)*(-4 - -64)/(-6). Is z(w) a prime number?
True
Let i(z) = -170*z**3 - 6*z**2 - 56*z - 93. Is i(-11) a composite number?
True
Suppose 25*x = 26*x - 2. Suppose -1 = -x*w + 4*d + 3, 5*w - 2*d = 10. Suppose 0 = -w*u + 4*u - 502. Is u composite?
False
Let j(m) = -m**3 - 19*m**2 + 66*m. Let v be j(-22). Suppose v = -4*k, 4*k = -5*q - k + 13535. Is q prime?
True
Let j = -5 - -1. Let i be j/(-8)*(152 + -2). Let f = i + 74. Is f a composite number?
False
Suppose -150696 = -3*z + 3*o, -25 = -3*o - 28. Is z a composite number?
False
Let w = 1328 - 217. Suppose 15*g - 8*g = -17*g - 24. Is w + (1 - 5)/g prime?
False
Let f(u) = 1091*u - 1085*u + 239*u**2 + 2 + 1. Let z be f(7). Suppose -22*p + 18*p = -z. Is p a composite number?
False
Let s(z) = -5320*z - 291. Is s(-5) a prime number?
True
Let u = 25 + -17. Let v be (u - 4) + (-8)/1. Is 6/v*11286/(-81) a composite number?
True
Suppose 0 = -4*j - 2*y - 8, -2*y = -4*j + 8 - 0. Suppose -21*i + 3*h = -16*i - 283, j = 3*i + h - 181. Is i prime?
True
Let s = -248764 - -362367. Is s prime?
False
Let a be 5 + 24/132 + 4/(-22). Suppose 0 = -z + a*t + 1444 + 795, 0 = -4*t + 8. Is z prime?
False
Let t = -66 - -77. Let r(u) = 87*u + 29. Let d(c) = -c. Let h(o) = 3*d(o) + r(o). Is h(t) prime?
True
Suppose 7*z - 26 = -12. Suppose -5*w + 385 = -0*w + 5*y, -3*w + 243 = -3*y. Suppose -z*d = w - 461. Is d a composite number?
False
Suppose -55*i - 36 = -43*i. Is (-6)/(-9) + 1/(i/(-16141)) a prime number?
True
Suppose -14*y + 16 = -12. Suppose 4203 = y*a + s, -9*s = -4*s - 25. Is a a prime number?
True
Let y be -4 - (0 + 8)/4. Let m be (50/y)/((-4)/12 - 0). Suppose m*q - 20*q = 12315. Is q composite?
True
Let d = -95 + 98. Let l be 2 + (-9)/d + 4. Suppose t + 373 - 1637 = -l*j, 5*t = 2*j + 6269. Is t a prime number?
False
Suppose -48*r + 6739677 = 134*r - 9537857. Is r a prime number?
False
Let f be 2 + -12*3/(-9). Let v(u) = 47*u**2 - 7*u + 1. Is v(f) prime?
False
Let h(f) = -3*f**3 + 14*f**2 + 33*f + 15. Suppose 0 = -2*p + 5*b - 2*b - 1, 3 = -p + b. Is h(p) composite?
True
Suppose -21*d + 130 + 101 = 0. Let v(j) = 61*j**2 - 5*j + 125. Is v(d) a prime number?
True
Let b = -146 + 227. Let a be (1 - 0)/(3*(-3)/b). Is -3*(-20*(-6)/a + 1) composite?
False
Let b(a) = -a**2 - 4*a - 1. Let c be b(-3). Suppose 125 = 125*s - 250. Suppose c*n = -5*h + 13 + 16, -n + s*h = 2. Is n prime?
True
Let g = -297 - -307. Suppose -g*n + 21*n - 99319 = 0. Is n prime?
True
Suppose 0 = -7*v + 245184 + 165464. Suppose 0 = -23*o + 164671 - v. Is o prime?
False
Let l(z) = -307*z**3 + 28*z**2 + 325*z - 9. Is l(-10) a composite number?
False
Let h(a) = -13*a + 22*a - 10*a - 8. Let r be h(-12). Suppose q + 2*q + r*b = 641, 3*q + 5*b - 643 = 0. Is q a composite number?
False
Let u(o) = o**3 + 37*o**2 + 40*o + 148. Let d be u(-36). Is ((-17471)/d + 0)/((-2)/8) a composite number?
False
Let m be (488 + -1 - -1)*(-35)/(-28). Suppose -5*j - 3*p = -5827, 0 = -4*j - 5*p + m + 4062. Is j composite?
False
Is (700356/(-24))/(-2 + 6/4) prime?
True
Let d be (0 - 0 - -2)*(146 - 144). Suppose 4*g - 4*q - 9574 = 9886, -5*q + 19424 = d*g. Is g prime?
True
Let h be 3/(0 + (-12)/464). Let a = h + 121. Suppose a*z = c - 521, 4*z - 2176 = -4*c + z. Is c composite?
False
Suppose 3*y - 558 = -r, 2870 = 5*r - 0*r - 5*y. Let f = r + 901. Is f prime?
True
Let p(h) = 0 - 15*h - 4 + 37*h**2 - 29*h**2. Let j be p(10). Suppose 5*g - 159 = j. Is g a composite number?
True
Suppose -431*q - 150 = -436*q. Suppose q*r = 14*r + 20112. Is r composite?
True
Suppose -25*p + 22*p = -777. Let z = p - -3232. Is z prime?
True
Let c(n) be the second derivative of -2*n - 11/2*n**2 - 101/3*n**3 + 18. Is c(-6) prime?
True
Let q(v) = 30*v**2 - 2*v + 3. Let m be q(1). Let y = m + -28. Suppose -z + y*f + 695 = 0, -4*f + 318 = z - 391. Is z a prime number?
True
Let y = -4663 - -3267. Let n = 5667 + y. Is n a composite number?
False
Let c(r) = 64286*r - 2227. Is c(4) composite?
True
Suppose -5170 = 72*h - 77*h. Suppose -4336 - h = -10*p. Suppose -4*l - p = -5*l. Is l a prime number?
False
Let m = 18 + -16. Suppose -m*x + 618 = x. Is x/6 + ((-2)/(-3) - 1) prime?
False
Let r(n) = -n**2 - 4*n + 101. Let u be r(-12). Suppose -u*v - 3*k + 34894 = 0, -2*k + 20937 = 7*v - 4*v. Is v composite?
False
Suppose -18280612 = -28*d - 5032496. Is d prime?
True
Suppose 0 = -8*k + 13*k + v - 981589, 0 = -k + 4*v + 196343. Is k a composite number?
True
Suppose 2*v - 39638 = -0*v + 53790. Is v prime?
False
Let q = 66912 + -32851. Is q a composite number?
False
Let d = 120009 - 24392. Is d prime?
True
Suppose -3*h + 11 = -7. Suppose -5*s = 3*g - 185, -21*g - 340 = -26*g - 2*s. Suppose -514 + g = -h*m. Is m prime?
False
Let k(x) = -64*x**3 - x**2 - x + 2. Let s be k(1). Is (-699592)/s + (-2)/16 a composite number?
True
Is ((-83625200)/64)/(-25)*(-20)/(-5) a composite number?
False
Let j = 1873246 - 870573. Is j a composite number?
True
Suppose 28*y - 43*y + 268500 = 0. Suppose -19*a + 13203 = -y. Is a a composite number?
False
Suppose -28 = -2*w + 3*y + 2, -5*w + 57 = -3*y. Let f(c) = c - 191 + 0*c**2 + 193 - w*c**3 - c**2 - 6*c**3. Is f(-5) composite?
False
Let k = 55 + -51. Suppose k*d - q + 1172 = 0, 0 = 3*d - 5*d - 3*q - 600. Let b = -205 - d. Is b prime?
True
Let r(o) be the first derivative of -12*o**2 - 19 + 17*o - 1/3*o**3. Is r(-16) composite?
True
Let n(i) = -165*i**3 + i**2 + i + 3. Let b be n(2). Let p = 2950 + b. Is p prime?
False
Let x(n) be the first derivative of 3*n**4/2 - 10*n**3/3 + 13*n**2/2 - 20*n - 133. Is x(11) composite?
False
Suppose -5*x = 14993 + 15882. Let o = 10402 + x. Is o a composite number?
True
Is ((-20)/80)/(((-6)/(-345))/((-14648)/5)) composite?
True
Let i = 217 - 152. Let h = 70 - i. Suppose 4*w + q = 2711, -5*w + 4103 - 733 = h*q. Is w a prime number?
False
Let s(g) be the second derivative of g**5/4 - g**4/4 - 5*g**3/6 + 5*g**2/2 + 44*g. Is s(8) a prime number?
True
Let q = 52071 - 7337. Is q a composite number?
True
Let l be (88 + -1 + 0)*-1. Let z = -358 - l. Let h = z + 605. Is h composite?
True
Suppose 4*q - q = 102. Suppose q - 4 = 3*w. Is 3072/w + 6/(-30) a composite number?
False
Suppose 65*n = 57*n - 124*n + 6580596. Is n a prime number?
True
Suppose 103*j - 5289802 = 23780609. Is j a composite number?
True
Let r(p) = -12*p - 21. Let g be r(0). Is (-1922775)/(-217) - 6/g prime?
True
Suppose -22*s + 69*s - 2876725 - 6559512 = 0. Is s composite?
False
Suppose 0 = -f - 3*v + 243487, 22*v - 973888 = -4*f + 20*v. Is f a composite number?
False
Is ((-759045)/84)/((-5)/44) a composite number?
True
Let y(b) = 3546*b**2 - b - 47 - b + 50. Is y(1) prime?
True
Let t = -75 - 34. Let q = -105 - t. Suppose -5*f = 4*l - 291, -f + q*l + 20 = -19. Is f a composite number?
True
Let z(a) = a**2 - 4*a - 1. Let f(x) = -x**2 - 17*x + 7. Let s be f(-18). Let i = -1 + s. Is z(i) a prime number?
True
Let c(v) = -381*v - 55. Suppose t - 4*g = -10, 0*g = 3*t + 4*g + 62. Is c(t) prime?
True
Let m = 1