 3*d = 1947473, -26*d + 24*d = -m + 486867. Is m prime?
True
Let d = 144 - -9310. Let q = 2 - -1. Suppose -1 + 4 = h, 5*w + q*h = d. Is w a prime number?
True
Suppose -b - 6 = -z - 4*b, 4*b = -5*z + 74. Let r = -19 + z. Is ((3 + -2)/4)/(r/(-21628)) a prime number?
True
Suppose 4*w - 2*w = 4*y - 201444, -402855 = 4*w + 3*y. Is w/(-72) + -4*3/(-72) composite?
False
Let t = -42 - -46. Suppose -t*x = 7*x - 44. Suppose -871 = -x*f + 1797. Is f composite?
True
Let s = 179968 - -141081. Is s composite?
True
Let f(r) = 2113*r - 2078. Is f(7) prime?
True
Let l = 16770 + -7939. Let x = l - -302. Is x a prime number?
True
Let n = 77962 - 43965. Is n prime?
True
Let c = 1302724 + -909050. Is c a prime number?
False
Suppose -3*l + 2068 = -4*y - 5*l, 4*l + 1556 = -3*y. Let v = 1543 + y. Is v prime?
False
Suppose 0 = -71*q + 23*q - 62*q + 5411230. Is q composite?
False
Suppose 2*m - 1820 = 2*f, -4*f - 141 = m + 3479. Let y = f + 1313. Is y a composite number?
True
Let j be -5 + -1 + -4 + (-1 - -2). Let i(p) = -110*p - 37. Is i(j) a prime number?
True
Suppose -280*t + 148 = -276*t. Suppose t*c = 4*x + 35*c - 12822, 5*c = -2*x + 6381. Is x prime?
True
Let i = 343 + -340. Suppose -5*k + 65144 = -i*g, 20*k - 26066 = 18*k + 4*g. Is k a prime number?
False
Let v(b) = -416*b - 33. Let u be ((-20)/(-6))/(28/(-84)). Is v(u) prime?
True
Let j(o) = 4*o**2 + 11*o + 13. Let s be j(-4). Let a = 42 - s. Is ((-3573)/12)/(a/(-12)) a prime number?
True
Suppose 16746620 = -225*m + 65*m + 118863900. Is m prime?
True
Let y = 452 - 774. Suppose 0 = s - 4*i - 679, -5*s + 4716 = 5*i + 1421. Let v = s + y. Is v a prime number?
False
Let l = 28271 + -1980. Is l composite?
True
Suppose 14253 = 5*s - 77502. Suppose 4*l = -3*n - s, 3*n - 3*l + 18369 = -l. Let z = -3618 - n. Is z a composite number?
False
Let w = 258825 - -240638. Is w composite?
True
Let t = 119 + -101. Let o(s) = -3*s**2 - t + 4*s**2 + 6*s**2 + 3*s**2. Is o(8) a prime number?
False
Let h be -3*3/(-63) - 108/(-28). Suppose 5*g - h*c + 6*c - 54 = 0, 5*c = -5*g + 45. Is ((-6920)/(-6))/(-5)*g/(-8) a composite number?
True
Let h = -256 - -260. Suppose n = h, -5*n = -k + 2*k - 813. Is k a prime number?
False
Suppose -4*i - 27*m = -31*m - 112, -4*i + 5*m + 107 = 0. Is (-24)/(-132) - (-3 - 351378/i) a composite number?
False
Let v = -165098 + -165120. Is (v/21 + -5)/(1/(-3)) prime?
True
Suppose 0 = -19*r + 21*r - 4. Is r/(4/1528*(-8)/(-2)) prime?
True
Let k(d) = 4*d**3 - 4*d**2 + 2*d - 4. Let j be k(3). Let g = j + 44. Let r = 171 - g. Is r prime?
True
Let z(n) = -13*n**2 + 43*n + 25. Let t be z(15). Let l = 1542 - t. Is l composite?
False
Let u be (12 - -1) + -2 + -3. Is (-2)/u + (1446984/32)/21 a composite number?
False
Let z = -229093 - -447830. Is z a composite number?
False
Let u = -18371 + 152940. Is u composite?
True
Let f be ((-1)/(-4))/((-30)/(-600)). Let z = -3 + 3. Suppose 5*g - p + f*p - 2777 = z, g - p = 559. Is g composite?
False
Let m be 1/(-1 - 1 - -1). Let g(u) = -528*u**3 + 25*u**2 + 17*u + 17. Let c(z) = 177*z**3 - 9*z**2 - 6*z - 6. Let b(k) = 11*c(k) + 4*g(k). Is b(m) prime?
False
Let c(s) be the second derivative of 13*s**4/4 - s**3/6 - 4*s**2 + s. Is c(-3) prime?
False
Let u be 2/((3 - -1)/12). Let j(t) = 4*t**2 + 3*t - 9. Let v be j(u). Let b = -70 + v. Is b composite?
False
Suppose -3*p + 5920 = 2*u, 5*u - 3*p - 15004 = -225. Is u prime?
True
Let k be (9/(36/32))/2. Suppose 5*n - h - 25 = 0, -k*n + 2*h = -2*n - 18. Suppose 3*x + n*w - 2129 + 724 = 0, 2*w - 2 = 0. Is x composite?
False
Let s(m) be the second derivative of m**4/12 - 3*m**3/2 - 11*m**2 + 8*m. Let i be s(11). Suppose 6*b - 1008 - 1410 = i. Is b prime?
False
Suppose -i = 4*t - 30067, -30061 = 68*i - 69*i - t. Is i prime?
True
Let i = 372 - 133. Suppose 221*s = i*s - 123534. Is s a composite number?
False
Suppose 0 = -0*z - 5*z - 735. Let t = -128 + 96. Let p = t - z. Is p a prime number?
False
Suppose 5*s + 92*y = 89*y + 6997, 0 = 5*s + 2*y - 6993. Is s prime?
False
Suppose 2*f + 2*f = 2*k + 416, -4*f + 3*k + 416 = 0. Suppose 75070 = f*w - 94*w. Is w composite?
False
Let x = 3 + 3. Let g be x/(-21) + 4581/(-63). Let j = -16 - g. Is j a prime number?
False
Let z(r) be the third derivative of 55*r**5/3 - r**4/4 + 5*r**3/2 - r**2 + 46. Is z(3) composite?
True
Suppose 2*i = -3*k + 2*k + 5310, -3*i = -4*k + 21196. Suppose -9*t + k + 13175 = 0. Is t a prime number?
True
Let s = -212 - -483. Let b = s + 447. Is b composite?
True
Suppose -7*j + 10*j = -15, -5*j = -4*h - 1847. Let d = 1213 + h. Is d a prime number?
False
Suppose 3*j = -i + 1842098, 3*j - 4*i = 1286134 + 555969. Is j composite?
True
Let g = -403022 + 1161945. Is g prime?
False
Let u be (-36)/(-30)*(-5)/(-3). Suppose 2*h = -s + 4, 3*h + 5*s = 2 + 11. Is (2 + -3)*h/(u/(-178)) composite?
False
Let u = -281 + 816. Suppose 2*y - u - 487 = 0. Is 1/(-4) + 14/(-8) + y composite?
False
Suppose 5*l - 2*l + 6 = 0. Is (9 + (-3245)/22)*3*l a composite number?
True
Suppose 18*g - 16*g - 4*m - 96 = 0, -2*g = m - 96. Is (-4 - (-186)/g) + (-42585)/(-8) composite?
False
Let k(h) = h**3 + 98*h**2 - 340*h + 4. Is k(-87) prime?
True
Let s(w) = -5*w**3 - 8*w**2 + 38*w - 23. Let u(h) = 6*h**3 + 9*h**2 - 35*h + 24. Let n(p) = -5*s(p) - 4*u(p). Is n(10) prime?
True
Let y(f) = 7*f**2 - 8*f + 4. Suppose -v - 4*v + 15 = 5*o, 2*v + 6 = -5*o. Suppose -8*j + 9*j + v = 0. Is y(j) a prime number?
False
Let c be (-61)/1*(1 - -1). Let g = c + 124. Suppose -5*w + 1153 = 3*d - 1146, g*d + 5*w - 1536 = 0. Is d a prime number?
False
Let v(y) = -y**3 + 2*y**2 + 2*y + 331. Let t be -1*(-3 - -6) + 4 + 2. Suppose 4*c - 2*u - 2 = 0, 0*c - 5 = -t*c + 5*u. Is v(c) a composite number?
False
Suppose -2*k + 19335 = k. Suppose 1305 = -0*r + r + 3*f, 5*r - 5*f - k = 0. Let d = 2854 - r. Is d prime?
False
Let s(v) = 3*v**3 - 7*v**2 - 13*v - 9. Let u be s(10). Suppose -u = -4*n - 0*n + 3*i, -n = 4*i - 545. Is n a composite number?
False
Let k(r) = 296*r**2 + 43*r + 26. Is k(19) prime?
True
Suppose -2*y - 176*g + 266959 = -177*g, y - 3*g = 133472. Is y composite?
False
Let p = 1906 - 5703. Let f = p + 8062. Is f prime?
False
Suppose -5*n = -3*t + 12480 + 4391, -2*n - 16868 = -3*t. Is (t/36)/((-3)/(-18)) composite?
False
Suppose -18*x + 8 + 118 = 0. Suppose 5*w + 57936 = 4*k, x = 3*w - 5. Is k a prime number?
True
Is (-364816)/(-48) - (160/48 - (-8)/(-2)) prime?
False
Let u(a) = 41*a**2 - 10. Let m be u(-8). Suppose 16902 = 16*f + m. Is f a composite number?
True
Let d = -58 - -81. Suppose 5047 + 46174 = d*y. Is y a prime number?
False
Let n be ((-18)/4)/((-2)/136). Let j be -3 + 72 + -15 + 8. Suppose 5*i = 2*o - j - 557, o + i = n. Is o a prime number?
True
Suppose -7*m = -3*m - 19504. Let s = 15095 - m. Is s a prime number?
False
Let u(j) = j**3 - 2*j**2 + 2*j - 2. Let o be u(2). Suppose -2452 = -4*r - o*a, 0*r + 613 = r + 4*a. Suppose w - r = 460. Is w a composite number?
True
Let h = 23 - 20. Suppose 2*x - 3811 - 11462 = -h*b, 4*b - 20371 = -5*x. Is b prime?
False
Let l(u) = -2833405*u**3 + 5*u**2 + 2*u + 3. Is l(-1) prime?
False
Let b(m) = -m**3 - 11*m**2 + 5*m + 59. Let i be b(-11). Suppose -5*g = -15, i*x + 2*g = g + 40319. Is x prime?
True
Suppose 17*h - 19*h + w = -131, h - 78 = -2*w. Suppose -80*c = -h*c - 47868. Is c composite?
False
Let k be (0 + (-5)/2)*(41 + -45). Is (12 - k)/(1/2) + 3827 a composite number?
True
Let d(f) be the third derivative of f**5/60 - f**4/4 - 5*f**3/6 + 40*f**2. Let k be d(5). Is ((-4)/k)/((-4)/(-27770)) composite?
False
Suppose -340080 = -5*t - v, -2*t - 26*v + 28*v + 136044 = 0. Is t prime?
False
Let w be (209 + -2)/((-542)/(-180) - 3). Suppose 3*p + 5*v - w = 2*v, 0 = -5*v - 5. Is p prime?
True
Let s(x) = 1714*x + 285. Is s(7) composite?
True
Suppose 0 = 5*h + 4*k - 15, -3*h = h + 2*k - 12. Suppose 13*s - 8110 = h*s. Suppose -t + 1560 = -s. Is t prime?
True
Suppose -5*w = 3837 - 3842, -4*f - 2*w = -1681054. Is f composite?
False
Let f = 1181564 + -693603. Is f a composite number?
True
Suppose -40244 = -4*w - 2*r, -15*w + 17*w - 4*r - 20142 = 0. Is w composite?
True
Let p be 1 - -2 - (-1468 - -24). Suppose 0 = 18*u - 13*u - 4*k - 2429, p = 3*u - 5*k. Is u prime?
False
Let p(c) be the first derivative of 613*c**4/4 - c**3/3 + c**2/2 - 43. Is p(1) a prime number?
True
Let z(x) = -x**3 + 14*x**2 