5/20 - m**4/12 - m**3/6 + 1471*m**2/2 - 19*m. Is v(z) a prime number?
True
Suppose 17*x = -3*g + 13*x + 769481, -3*x = -3*g + 769509. Is g prime?
True
Let s = -211 - -218. Let g(n) = 20*n**3 - 6*n**2 - 10*n + 25. Is g(s) a prime number?
True
Let k(p) = -18*p - 65. Let g be k(-4). Is g - ((-3293 - -1) + 0) composite?
False
Let f(p) = 39510*p**2 + 2541*p - 2. Is f(3) composite?
False
Suppose -18*p = -15*p - 69. Suppose 0 = -p*m + 10*m + 163865. Is m a prime number?
False
Let z = -11045 + 20660. Suppose 3*r + 4*p - 45297 = 0, -20590 - z = -2*r - 5*p. Is r a composite number?
True
Let c = 17 - 32. Let j be (384/c)/(5/14975). Is j/(-12) + 3 + 30/(-9) a composite number?
False
Suppose -596355 - 482025 = 27*s. Let f = 58433 + s. Is f a prime number?
True
Suppose 0 = 46*w - 7275645 - 5826857. Suppose 0 = -9*y + 16*y - w. Is y composite?
True
Suppose -1135117 = 120*z - 3920197. Is z a composite number?
False
Let l(f) be the third derivative of 121*f**6/120 - f**5/12 + f**4/12 + f**3/6 + 795*f**2. Suppose 0 = 3*w - 0 - 6. Is l(w) a composite number?
False
Suppose 0 = -13*y - 45 - 33. Is (-10 - 68630/30)/(2/y) a composite number?
True
Let h = 2696 - -3158. Suppose 0 = 10*z - h - 19056. Is z a composite number?
True
Let c be 4/3*((-81)/(-6))/(-3). Is (2564/60*c)/((-2)/5) a prime number?
True
Let x(w) = 439*w + 3. Suppose 2 = 21*l - 23*l. Let m be (-325)/(-78) + l/6. Is x(m) a prime number?
True
Let i(c) = 114*c**2 + 5*c - 18. Let w = -117 + 122. Is i(w) prime?
True
Let f be (378100/6)/(-5) - (-56)/42. Let b = f - -23797. Is b a prime number?
False
Suppose 0 = 3*k - 842 - 4789. Suppose 344 = b - i - 989, -3*i = -b + 1327. Let t = k - b. Is t a prime number?
True
Let k(z) = z**3 + 6*z**2 - 10*z - 18. Let i be k(-7). Let a(v) = -v - 12 - 16*v - 6*v**2 + i*v**2 + 15*v**2. Is a(-7) prime?
False
Let m(r) = -2*r + 31. Let v be m(14). Suppose -6262 = -2*f - v*q - 482, -3*f + 8669 = 5*q. Is f prime?
False
Let r = -1050127 - -1887500. Is r a composite number?
False
Suppose 0 = 15*q + 890 + 6415. Let w = 1556 + q. Is w prime?
True
Suppose 6*w - 2*w = 8, 0 = -5*y + w + 38. Suppose 2*n = y*n - 4266. Is 4/(3/n*6) prime?
False
Let q be 4/4*-3 + 4. Let v be 877 - q*8/2. Is ((-21)/9)/((-3)/v) composite?
True
Let h = -1599998 + 2250147. Is h a prime number?
False
Let z(r) be the first derivative of -r**4/2 - 16*r**3/3 + 39*r**2/2 - 4*r + 64. Is z(-17) a composite number?
True
Suppose 522*i = 540*i - 1840302. Is i composite?
True
Suppose -3*g = r - 89549, -214*g - 3*r + 119392 = -210*g. Is g a prime number?
True
Let j(c) = 136*c**2 - 39*c + 174. Is j(-29) a prime number?
False
Let t(n) = -224*n - 12429. Is t(-67) prime?
True
Suppose -3*s = -4*k - 352287, -14*s + 117415 = -13*s + k. Is s a prime number?
False
Let h(p) = -5*p**3 - 3*p**2 + 5*p - 2. Let u be h(2). Let l = u + 46. Suppose -5*z + 12 + 3 = 0, 721 = 5*n + l*z. Is n composite?
True
Suppose 4*h + 20 = c, 2*c + 4*h - 25 = 27. Let z(l) = -247*l - 56. Let n be z(c). Let p = 9973 + n. Is p a prime number?
True
Suppose 2*m = 5*z - 5, 3*m + 1 = -3*z + 4. Suppose b = -z, -h + 2*b + 3869 = -0*h. Is h a prime number?
False
Suppose 0 = 5*w - o - 17460 - 16836, 3*w = -2*o + 20575. Suppose 28242 = 11*v - w. Is v a prime number?
True
Suppose 57*t = 60*t + j - 631, 4*j = -4*t + 836. Is t composite?
False
Let k(g) = -4*g - 105. Let n be k(-28). Suppose n*q - 2575 = 5*q + d, 0 = -2*q - 5*d + 2545. Is q composite?
True
Suppose -573 = 12*f + 147. Let i = 61 + f. Is (-25830)/(-12) - 4/(i + -9) prime?
True
Let d(u) = u**2 + 136*u - 677. Let f be d(5). Suppose j = -v - 3*v + 11, v = 2*j - 4. Is 4 - (f + j)*-21 a prime number?
False
Let y(g) = 3*g**3 + 2*g**2 - g + 2. Let c be y(-6). Let n = 229 - c. Suppose 0 = -3*o + o + 5*f + 1590, n = o - 3*f. Is o a composite number?
True
Is 221765*(-2)/(-20)*-2*5/(-5) prime?
False
Let u(b) = -52*b**3 - 12*b**2 + 64*b + 49. Is u(-8) a prime number?
False
Suppose 3*o - 5*q - 401588 = 61662, -5*o = -5*q - 772070. Suppose 6*y = -9*y + o. Is y a prime number?
False
Let j(g) = 12*g**3 - 4*g**2 + 5*g + 7. Let q be j(-5). Suppose -470*x = -472*x - 1762. Let s = x - q. Is s a prime number?
False
Let k = 567 - 563. Suppose -2 = -k*r + 2*r, -4*r = 5*d - 18299. Is d a prime number?
True
Is 11/(-242) + (-9985590)/(-220) composite?
False
Suppose -4*q = 516*g - 514*g - 152354, 228545 = 3*g - q. Is g a prime number?
False
Suppose 4*r + 59 = u, 6*u - 53 = 4*u - 5*r. Is (-47601)/(-117) + 6/u composite?
True
Let v(i) = 10 - 12*i - 16*i**2 + 15*i**2 + 5. Let h be v(-13). Suppose 5*n - 2200 = 5*a, 5*n - 2016 - 175 = h*a. Is n a composite number?
True
Let c be (-2)/(-10)*-3 - (-46)/10. Let h(x) = 45*x**2 - 2*x + 14. Let u be h(3). Is u + (80/c)/(-5) prime?
True
Let o be (9/(-2))/(-1 + (-3)/(-12)). Let i be 1839/o + 4/(-8). Let h = 1427 + i. Is h prime?
True
Suppose 4*i + 13528 = 5*g + 5168, -3*g - i = -5033. Suppose 0 = 4*k + g - 34992. Is k a prime number?
True
Let g(r) = -25*r + 107. Let d be g(5). Let i(c) = -c**3 + 18*c**2 + 9*c + 155. Is i(d) a prime number?
True
Is (-2 + 1)*(-32)/((-544)/(-593419)) prime?
False
Suppose -k - 16 = -5*x, 8 = 4*x + k + 3*k. Is (x/((-6)/(-4)))/(52/10790) a composite number?
True
Let r(g) = g**3 + 18*g**2 + 17*g + 4. Let p be r(-17). Is (-1)/(2*p/(-8048)) + -3 composite?
True
Suppose -16*b + 143956 = 52*b. Suppose -b = 7*r - 14570. Is r a composite number?
True
Suppose 48*p = 12766 - 814. Suppose -4*f + 20995 - 7631 = 2*b, 0 = -f - 2*b + 3344. Let m = p + f. Is m a composite number?
True
Is (-1 + 0)*(657448583/(-5643) + 4/(-54)) a prime number?
True
Let y(v) = 7*v**3 - 9*v**2 - 30*v + 185. Is y(9) prime?
True
Suppose 917*c = 918*c - 30122. Is c composite?
True
Let t(z) = z**2 + 6*z + 7. Let n be t(-3). Let d be n/4 + (-44)/(-8). Suppose -10921 = -5*f - r - 3209, -d*r = 4*f - 6157. Is f a composite number?
False
Let y = -4 + 6. Suppose z = -y*v + 5356, 2*z + 2922 + 2446 = 2*v. Suppose 5*u - 2085 = v. Is u a prime number?
True
Let m = 18813 + -11485. Is 58/((-8)/(-10)*80/m) a composite number?
True
Suppose 0 = -6*r + 1513 + 37805. Suppose 4*h + 556 = 3*n - r, h + 5 = 0. Is n a prime number?
False
Suppose -132261 = -x + 5*d, 0 = -4*x - 94*d + 90*d + 529044. Is x a prime number?
False
Let n be (-1768848)/(-90) - (-16)/120. Is (-6)/4*n/(-93) prime?
True
Let i(w) = w + 20. Let b be i(7). Suppose -b*f = -22*f + 10395. Let s = f - -4906. Is s prime?
False
Let m be ((-50)/(-25))/((2/(-3))/(-1)). Suppose 0 = m*d - 2948 - 3562. Suppose -d = -4*n - 3*i, -3*n - i = -4*i - 1617. Is n a prime number?
True
Is -4586*-1*(28/8 - 1 - 2) prime?
True
Let i(m) = 20*m**3 - 10*m**2 - 13*m - 2. Let c be i(-9). Let g = c - -27228. Is g prime?
True
Let z(r) = -2. Let d(a) = 165*a + 59. Let l(k) = d(k) - 4*z(k). Is l(12) composite?
True
Let q = 25065 - 4001. Is (1/(-2))/(147444/q + -7) composite?
False
Let x = 217 + -250. Is x/(-2)*31562/129 a prime number?
False
Let b(l) = -211*l + 5. Let q be b(-4). Suppose -5*a - 2*r + 20 = 0, -5*a = -2*r - 2*r - 20. Suppose -85 = a*x - q. Is x prime?
True
Is (15702027/186)/((-1)/(-2)) a prime number?
False
Let b be 13/(-26) + (-34869)/(-2). Let x = -10031 + b. Is x prime?
False
Suppose 3*d + 3 = 0, 2*d + 147526 - 478989 = -5*w. Is w composite?
False
Suppose -28*j = 44*j - 2092248. Is j composite?
False
Suppose y - 56162 = -u, -5*u - 3*y = -307794 + 26990. Is u composite?
True
Let d be 190/15*2/(10/11295). Suppose -41*p + d = -3*p. Is p composite?
True
Let j(a) = 37*a**2 - 16*a + 65. Let b(r) = -4*r**3 - 11*r**2 - 5. Let u be b(-3). Is j(u) a composite number?
False
Let z be (1*3)/((-99)/(-66)). Suppose 4*b = 3*k + 1600, z*k = b + 4*k - 389. Is b a composite number?
False
Suppose -c + w + 109708 = 0, 360 = 4*w + 356. Is c composite?
True
Suppose 0 = 4*j - 4*k - 20, -7*j + k = 3*k - 71. Let c(r) = 207*r**2 + r - 6. Let b be c(-5). Suppose -b = 5*a - j*a. Is a composite?
False
Suppose 10*v - 15*v + 490965 = 0. Let r = v - 32032. Is r a prime number?
True
Let q = -6 + 4. Let v(d) = 264*d + 13. Let p(n) = -295*n - 14. Let g(b) = -6*p(b) - 7*v(b). Is g(q) a composite number?
False
Let m(q) = -297*q**3 + 8*q**2 - 3*q - 37. Is m(-8) a composite number?
False
Let n(j) = -10*j**3 - 6*j**2 + 10*j - 16. Let g be n(-6). Let l = g + -981. Is l a composite number?
False
Let z(p) = -3*p**