l, 14*c - l + 45522 = 10*c. Let d = 19282 + c. Is d a prime number?
True
Let y = -34 - -40. Suppose -3 = y*p + 3. Is (1 - 3) + p + 416 a composite number?
True
Suppose -44802 = -3*j + 76554. Suppose -j = 245*k - 257*k. Is k prime?
True
Suppose -6*x - 8 = -8*x. Suppose r - 125 = -x*r. Suppose 3*j = c - r, -2*c = 3*j - 2 - 3. Is c composite?
True
Let z = -52253 - -110256. Is z a composite number?
True
Suppose -37519 - 459041 = -4*u + 4*z, -5*u + 620696 = -z. Is u a prime number?
True
Let s(i) = 12*i**2 + 8*i - 5. Let a(z) = -z + 7. Let r be a(3). Suppose -t - 2*x = 0, -r*t - 4*x - 7 = 5. Is s(t) a composite number?
False
Let k(h) = 1296*h**2 + 15*h + 80. Is k(7) composite?
False
Suppose 0*k + 3*k + 15 = 0. Let s = 9 + k. Suppose -557 = -5*f + s*y + 270, 5*f - 2*y - 831 = 0. Is f prime?
True
Is (44/(-36) - -1) + -3 + (-68456)/(-9) prime?
True
Let m = -40537 + 58392. Is m a prime number?
False
Let q(s) = s**3 - 12*s**2 + 9*s + 27. Let x be q(11). Suppose w = -x*a + 10, 10 = w - 2*a + 4*a. Let m = 1051 + w. Is m a composite number?
False
Let r = -20139 + 37868. Is r composite?
False
Let v be 8*((-3183)/(-2) + 3)/3. Suppose 2*c = 3258 + v. Is c composite?
True
Suppose 4*l - 2*l - y + 14 = 0, -5*l - 36 = -3*y. Let b be (-16)/l + (-2)/(-6). Suppose -b*w = -2*i - 0*w + 1429, -3*i - 5*w = -2172. Is i a prime number?
True
Let c(o) be the second derivative of o**5/5 + 5*o**4/12 + o**3/6 + 5*o**2/2 - 12*o. Is c(5) composite?
True
Let j(r) = -r**3 - 32*r**2 - 36*r - 15. Let g be j(-24). Let f = -2050 - g. Is f a prime number?
True
Suppose 20031 = b + 4*l, 132*l - 129*l - 80215 = -4*b. Is b a composite number?
True
Let b = 23774 - 2863. Is b a composite number?
True
Is -10 + 645/75 + (-1701244)/(-10) prime?
True
Let d be 3 - ((-55)/10 + (-3)/(-6)). Is (-4481)/((56/(-35))/d) a prime number?
False
Suppose 2*o = -2*x + 16, -5*x - 1 = -o - 11. Suppose 0 = -4*d + o*v + 104741, 5*v - 12013 = -d + 14166. Suppose 15634 = 14*z - d. Is z a composite number?
True
Let i be (-404)/18*495/110. Suppose 2*l - 50 = -5*v + 806, -2*l = -4*v + 692. Let m = i + v. Is m a prime number?
True
Let q(h) = h**2 - 9*h - 20. Let i be q(11). Suppose 0*z - 5*z = i*o + 8, -5 = 5*o + 5*z. Is ((-494)/(-2) - (-2 - 0))/o a composite number?
True
Suppose -10*q + 48 = -152. Suppose -r = -q*f + 18*f - 677, f + 2708 = 4*r. Is r a composite number?
False
Let o = -13928 - -8666. Let g = o + 8203. Is g prime?
False
Let m(b) = 58 - 41 + 15 - 45*b + 60. Is m(-7) a prime number?
False
Let c(b) = -b**3 + 9*b**2 + 13*b - 1. Let d be c(10). Suppose -33*v = -d*v - 26452. Is v a composite number?
True
Is (0 + 298)*(-8982)/(-36) composite?
True
Is (-11*3/(-33))/(2/410294) prime?
False
Suppose -121*n + 579 = -120*n. Is n - 4/5*(-20)/8 a composite number?
True
Let n be 4/(-10) - 5217/(-5). Let a(x) = 676*x**2 + 3*x - 1. Let w be a(-1). Let b = n - w. Is b a prime number?
False
Suppose -3*j + 45 = -5*b + 2*b, 5*j = 3*b + 51. Let a = b + 17. Suppose -a*l = -l - 2732. Is l composite?
False
Let m = -30 + 31. Suppose -7*u - 8 = -m. Is (u/2)/(1/5444*-2) composite?
False
Suppose -57*d + 106*d - 57*d = -433648. Is d prime?
False
Let u be (-2 + 0)*((-6)/4 + -1). Suppose i - 5*h - 7 = 13, 0 = -u*i + h + 28. Suppose 2*t - f = 65, 0*t - 3*t - i*f = -130. Is t prime?
False
Suppose -17*l + 394268 = -2201203 - 1828898. Is l a prime number?
False
Suppose 3*z = o + 6 + 1, -4*z = o - 7. Is (-4)/((-518)/4014 - z/(-18)) prime?
True
Suppose -4*r + 47 = -85. Suppose 4*h - r - 7 = 0. Let p(w) = 153*w - 19. Is p(h) a prime number?
True
Let h(u) = u + 439. Let m be h(0). Let f = m + 99. Is f composite?
True
Suppose -405086 = 14*i - 16*i - 2*o, -202537 = -i - 2*o. Is i a composite number?
False
Let l(m) = 2*m**2 - 27*m + 41. Let d be l(12). Suppose -26*p + 205611 = -d*p. Is p prime?
True
Let w(q) be the second derivative of -q**4/12 - 61*q**3/6 - 9*q**2/2 - q + 56. Is w(-47) prime?
False
Is (-9)/(-9)*1*53501 a composite number?
True
Let a be (-3 - 1) + 121898/(-14). Let n = -5950 - a. Is n composite?
True
Suppose -83 = -4*h - 0*z + 5*z, -68 = -3*h - 2*z. Let u(n) = 2*n**2 - 33*n + 27. Is u(h) composite?
False
Is ((-39464)/(-24) - 12) + (-2)/(-3) prime?
False
Suppose 70*y = 71*y - 3. Is (-1)/(4 + y/(-207)*277) composite?
True
Suppose -2*x + 25134 = n, 0 = 2*x - 5*n - 14366 - 10768. Suppose 19*l + x = 47546. Is l a prime number?
False
Let q = -2 - -4. Suppose 5*r + 90 = -4*u, 3*u - 2*u + 4*r = -6. Is (q + -76)*45/u a composite number?
True
Is (1528764/(-828))/((-1)/3) prime?
False
Suppose 0 = -2*l + 2*o + 923910, -440699 = -l + 2*o + 21252. Is l a prime number?
False
Let o(m) = -m**3 + 13*m**2 - 9*m - 32. Let x be o(12). Suppose -n + 25036 = x*a, -421 = a + 3*n - 6680. Is a prime?
False
Let b(s) be the first derivative of s**2/2 + 10*s + 4. Let d be b(-6). Suppose d*r + 1379 = 6*r + 5*h, -5*h = -4*r + 2683. Is r prime?
True
Let d(k) be the first derivative of 47*k**4/6 - k**3/6 + k**2/2 - 11*k - 8. Let l(z) be the first derivative of d(z). Is l(-2) prime?
True
Suppose -8 = -4*i, -5*x + 3*i + 98307 + 71172 = 0. Is x a composite number?
True
Suppose -3*v + 352 = -347. Let u be (-5)/((-10)/6) + v*3. Is u - -3 - (1 + -5) composite?
False
Let j(g) = 33*g**3 - 16*g**2 + 12*g - 61. Is j(16) a composite number?
False
Let b = -7631 + 23991. Let u = b + -7509. Is u composite?
True
Let w be ((-4)/(-2))/(-1 + 15/10). Suppose 3*q = -3*y + 16554, 0*y - 3*q + 22073 = w*y. Is y a composite number?
False
Let u = -330927 + 468062. Is u a composite number?
True
Let o(z) = 190*z**3 + 6*z**2 + 8*z + 3. Let d(q) = -127*q**3 - 4*q**2 - 5*q - 2. Let r(m) = -8*d(m) - 5*o(m). Is r(3) a prime number?
True
Let f be -2*(2 - 8 - (-9)/(-6)). Suppose 22545 = f*s - 14340. Is s composite?
False
Let v(r) = -2460*r + 11. Is v(-24) a composite number?
False
Suppose 8456 = 4*c + 10*c. Suppose -n - 2*n = 2*s - c, -4*s + 1188 = -4*n. Is s composite?
True
Suppose -5*z = -6*z + 932. Let u = z + -1377. Let h = -32 - u. Is h composite?
True
Let i = -138 - -151. Let v(s) = 11*s**2 - 14*s + 32. Is v(i) composite?
False
Let u(n) = 24*n**2 + 3*n + 2. Let l = -30 - -32. Suppose -m + l*m = -3. Is u(m) prime?
False
Let r(p) = 5*p**3 + 9*p**2 - 17*p + 3. Let s be r(2). Let y = 656 + s. Is y a prime number?
True
Let f = -28 + 27. Is (-8342 - -4)/(f - 1) prime?
False
Suppose -895249 = -36*p + 1010987. Is p a composite number?
False
Let j = 40 + -36. Suppose 5*q - 24 = -4*o, 5*q + j = -5*o + 29. Suppose -4*v + q + 592 = 0. Is v composite?
False
Suppose -134526122 + 14167040 = -388*g + 21612058. Is g a composite number?
True
Let c(u) = -16*u**3 - 3*u**2 + 64*u - 91. Is c(-18) a prime number?
True
Let h(n) = 22*n - 108*n - 66*n + 7. Is h(-47) composite?
False
Suppose -5*i = 293 + 247. Let j be (-4)/((-8)/(-6)) - (2 + -178). Let b = j + i. Is b a prime number?
False
Let o(n) be the third derivative of 0*n + 13*n**2 + 0 - 5/24*n**4 + 11/6*n**3 + 7/60*n**5. Is o(-7) a composite number?
False
Suppose 5*a = 4*j + 27, -4*a + 6 = -7*a - 5*j. Suppose 12 = 4*y + f, -a*f = -y - 2*f + 3. Suppose 5*u - 20 = 0, y*u + 5763 = 5*g + 5*u. Is g a prime number?
True
Suppose 2*z + 2957603 = 3*h - 4131344, z = 5*h - 11814921. Is h a prime number?
False
Suppose 5570*a = 5564*a + 2157258. Is a prime?
False
Suppose 3*d - d - 4556 = -3*l, -4*d = l - 1502. Suppose -2*s = 4*j + l, -57 - 321 = j - 2*s. Let r = -253 - j. Is r a composite number?
False
Let g = -301 - -304. Suppose -73789 = -5*q + 2*r, 0 = -5*q - g*r - r + 73777. Is q a prime number?
False
Suppose 649*s + 40 = 657*s. Suppose 5*l = -s*f + 2130, 2*l - 479 - 345 = 5*f. Is l a composite number?
True
Suppose -r + 2 = 3*j, 0 = j - 3*r + 4 - 18. Suppose 20176 = j*q - i, -10088 = -q + i + 2*i. Suppose 3*d - q = -5*d. Is d prime?
False
Suppose 52*k - 47*k + 2*d - 9749 = 0, 2*k - 3902 = -2*d. Is -4 + k + 3 + -6 a prime number?
False
Let b = 62 + -20. Let r = b + -10. Let w = 106 - r. Is w a prime number?
False
Suppose -66143 = -j - 28*g + 25*g, 5*j = -g + 330603. Is j composite?
True
Let d be 24/(-10) - 60/100. Let x be (-140)/d*18/4. Is ((-2)/3)/((-4)/x) composite?
True
Let y(h) be the first derivative of -3/2*h**2 + 8*h + 11*h**4 - 2/3*h**3 - 16. Is y(3) a prime number?
False
Is (-816)/1224 - 10295/(-3) composite?
True
Suppose -3*s = -5*r - 46, -s - 5*r + 38 = 