Is v a prime number?
False
Let w(h) = 8*h**2 + 8*h - 23. Suppose -55 = 5*s + 5*r, 10*s - 5*s = -3*r - 57. Let k be (-3)/s - (-1)/((-24)/366). Is w(k) prime?
True
Let y(f) = 3*f - 13. Let z be y(6). Suppose n + 3*c = -2058, 4*c - 10234 = z*n + 5*c. Is n/4*10/(-15) composite?
True
Suppose 2*d + 3*o - 450404 = 0, 8*d - 3*d - 1126031 = -4*o. Is d prime?
False
Suppose 0 = -6*z + 1669 + 131. Let a(u) = -8*u + z*u**2 + 5*u + 0 - 2. Is a(-3) composite?
False
Let i = -5056 + 7583. Is (i - -50) + 8*-1 composite?
True
Let l(b) = 211*b**2 - 8*b - b**3 - 223*b**2 - 12*b + 4. Is l(-15) a composite number?
True
Let l = -5 - -2. Let q(m) = 17*m**2 - 2*m - 11. Let j be q(l). Let i = 489 - j. Is i composite?
True
Let m(w) = -2*w + 65. Let k be m(29). Suppose -k*h + 15319 = 5526. Is h composite?
False
Suppose -4*u - 3*u + 21 = 0. Suppose w = d + 3064, -5*w + w = u*d - 12263. Is w prime?
False
Let z(u) = 3 + 25 - 348*u + 1168*u + 831*u - 222*u. Is z(1) a composite number?
True
Suppose 0 = -q + 4 - 2. Let y(u) = 3*u**2 + 2*u + 2. Let w be y(-1). Is (q + 59)/(w - 112/38) prime?
False
Suppose 12422140 = 511*j - 176*j - 5014945. Is j a composite number?
False
Suppose 0 = 5*k - l + 6*l - 185, -3*k = -l - 127. Let v = k + -37. Suppose -v*h = -16*h + 2652. Is h prime?
False
Let t = 3199916 + -2130139. Is t a prime number?
True
Let f = -210977 + 413678. Is f a prime number?
False
Let m(q) = 13*q - 6. Let w be m(3). Suppose -3*l = -w - 114. Suppose 2*a - 148 = -t - t, -4*t = -a + l. Is a composite?
True
Let w be ((-115)/10 - -5)/((-2)/(-8)). Is w/(4376/(-7160) + 3/5) prime?
False
Let a(o) = 5*o - 1074 + 1082 + 2*o. Let r be a(-1). Suppose -4*s = -4*z + 8604, 3 = s + r. Is z a composite number?
False
Let s = 890 - 885. Suppose 3*n = 4*r + 8*n - 54556, -4*r + 54556 = -s*n. Is r a prime number?
False
Let n be (-1)/(5/(-45)*3). Let q be 2/n + ((-24)/(-18) - 2). Suppose q*i + 3*i = 3345. Is i composite?
True
Let r be 20007 + -2 + 7 + -2. Suppose 2*f - v - 34650 = 0, 0 = -4*f - 5*v + r + 49262. Is f a composite number?
True
Suppose -6*h + 8*h = 976604. Is 7/2*h/203 prime?
True
Suppose 12*n + 79380 = 33*n. Let a = -2665 + n. Is a a composite number?
True
Suppose -212*k - 179*k = -26981737. Is k composite?
True
Suppose 3*t = 8*t - 6230. Let c = -828 + t. Let m = c - 87. Is m composite?
False
Let t be ((-1330)/6 + -3)*(19 - 184). Let g = -20467 + t. Is g a composite number?
False
Let o be 4*5/(120/471)*250. Let d = o - 12820. Is d composite?
True
Let g be (2/(-1) + -3)*-4129. Let q = g + -13113. Suppose -m = 3*m - q. Is m a composite number?
True
Suppose -2*h - i + 629 + 991 = 0, -792 = -h + 4*i. Let c be (2 - -3)/(1/337). Let f = c - h. Is f composite?
False
Let a be (-790)/(-15) + (-4)/(-12). Suppose -13*u - 1197 = -20*u. Let o = u - a. Is o composite?
True
Suppose 2*s = -5*i + 226393, -19*i = -5*s - 21*i + 565951. Is s composite?
False
Let r = 314363 + -222952. Is r a prime number?
True
Suppose 5*k = 5*y - 125, -y + 37 = 4*k + k. Suppose y*g - 37618 = 1937. Is g prime?
False
Suppose 0 = -4*v - 21 + 61. Suppose 3040 = v*k - 1450. Suppose 5*q - 2546 = k. Is q composite?
False
Suppose 0 = n - 2, 4*c + 2 = 2*c + 4*n. Let k be 3886/9 + (c - 100/36). Let q = k + 323. Is q a composite number?
True
Suppose -28 = 2*t - 4*f, -3*t + 3*f = f + 62. Let a(y) = -68*y + 39. Is a(t) composite?
True
Suppose 341737 = 42*v - 237588 - 350597. Is v a composite number?
True
Let a(h) be the second derivative of -127*h**3/6 - 3*h**2 - 123*h. Is a(-9) a composite number?
True
Let l be 1334 + (-6)/(-8)*-4. Let a = l - 480. Is a prime?
False
Suppose -1196 - 220 = -6*n. Suppose -5*l = -q + n, -l = 5*q - 764 - 494. Is q composite?
False
Let c = -368 - -407. Is (74/(-6))/(c/(-10413)) composite?
True
Let t(i) = 2652*i - 2777. Is t(13) composite?
False
Let g = -17661 - -123590. Is g a composite number?
False
Is 0 - -5 - (-56)/10*(-5708400)/(-160) composite?
False
Is 11787/(-20 - -26 - 15/3) a prime number?
False
Let h = -148879 + 346602. Is h a prime number?
False
Suppose -k + 2*p + 3 + 1 = 0, 4*p = -4*k - 8. Suppose -120*l + 104*l + 306992 = k. Is l a prime number?
False
Let b = 87 + -79. Is 1/(9/(608616/b)) prime?
False
Suppose 4*v - 506 = 325 + 493. Let h be 2/4 - 606/(-4). Let t = v - h. Is t composite?
False
Suppose -3*o = -5*j - 1433846, 14*j - 17*j = 5*o - 2389664. Is o a composite number?
True
Suppose 4*l + i + i + 82 = 0, 0 = 3*l + 4*i + 74. Let q = l - -21. Suppose -q*o + 43 = 1. Is o a prime number?
False
Suppose -4*s + 9 = 5*f - 3*s, 2*s = -f. Is 31359*4/24*f a prime number?
True
Let a be (-2)/(3/(-9)*(-4)/(-2)). Suppose -175 = a*m - 4*m. Suppose 4*y + 0*u - 210 = -2*u, m = 3*y - 2*u. Is y composite?
True
Suppose 26 = 5*i - 4*b, -27 = -3*i + 5*b - 1. Suppose -5*m + i = -6*m. Is (-33 - 1)*-2 - (m - -3) composite?
False
Let b(k) = -4739*k**3 - 11*k**2 + 28*k + 65. Is b(-4) composite?
False
Let m be (484/(-2))/(8/(-128)). Suppose -3*c = c - m. Suppose 4*w - c = -172. Is w a prime number?
True
Is 174069/(-126)*292/(-3) + 5 prime?
True
Let b = 102 - 126. Let x = b - -22. Is 1099/14*-1*(x - 0) a composite number?
False
Let p(f) = 4670*f - 445. Is p(42) a composite number?
True
Is ((-2184)/(-2730))/(8/2293930) prime?
True
Is 14*(8973/(-24))/(30/(-40)) composite?
True
Let h = 9643 - -10864. Is h composite?
False
Let b = 38 - 88. Let s = b + 54. Suppose 5*h - 1465 + 3629 = q, 0 = -s*q - 3*h + 8725. Is q prime?
True
Let j(d) = 368*d. Let c be j(2). Suppose -2*t = -2*a + 3*t + 5855, -t = 5. Let k = a - c. Is k composite?
False
Let w = -13612 - -13606. Let h(a) = 6*a**2 - 5*a**3 - 25 + 0*a**3 - a**3 - 4*a. Is h(w) a composite number?
False
Let d(m) be the second derivative of m**4/12 - 5*m**3/2 + 3*m**2/2 - 34*m. Is d(-14) a prime number?
True
Let r be (-8)/(-68) - (-1177955)/85*3. Suppose -2*x + 6*m = 5*m - 16630, 0 = 5*x + 5*m - r. Is x composite?
True
Suppose -3*s + 389 - 68 = 4*v, 3*s + 3 = 0. Let t = v + -23. Suppose -2*d - 184 = -3*g - 3*d, -2*d + t = g. Is g a prime number?
False
Suppose -1 + 3 = a. Suppose b - 5*f - 31 = -8, 0 = -3*b - a*f + 1. Suppose b*k - 5*k = -314. Is k a prime number?
True
Let m(y) = -y**3 + 7*y**2 + 4*y - 8. Suppose -7*r = -36 + 1. Suppose -r*z = -2*j - 17, -3*z + 2*j - 13 = -4*z. Is m(z) a prime number?
False
Let x(p) = p**3 + 12*p**2 + 21*p + 12. Let r be x(-10). Suppose -r*d + 15 = d. Suppose -d*c + 1004 = -c. Is c a composite number?
False
Let k(d) = 141*d**2 - 8*d + 35. Let u be k(4). Suppose -41*m + u = -32*m. Is m prime?
True
Suppose 9*h = 14 - 266. Let q = h - -27. Is -3 - ((-4 - q) + -3491) a prime number?
True
Let l(d) = 58 + 0*d + d**2 - 57 + 18*d**3 + d**2 + 4*d. Is l(4) prime?
True
Is 3883940/7 - -5*(-66)/(-770) prime?
True
Is 2268874/21 + (-85)/(-51) - 4/14 a composite number?
True
Is 819288/(-1188)*22/(-4) composite?
False
Let p = -26573 - -38412. Is p a prime number?
True
Suppose -3*d = 2*w - 602155, 3*d = -7*w + 9*w - 602185. Is w prime?
False
Suppose -t - 7 + 10 = b, b = -3*t + 9. Suppose -t*w - 137 + 1113 = 5*d, -3*w = 2*d - 961. Is w a composite number?
False
Let r(u) = 179*u**3 - 8*u**2 - 11*u + 6. Let o(x) = -59*x**3 + 3*x**2 + 4*x - 2. Let s(a) = 8*o(a) + 3*r(a). Is s(3) prime?
False
Let j = 18873 + 68372. Is j prime?
False
Let j(h) = 15654*h**2 + 103*h + 206. Is j(-7) composite?
False
Let l = 576 - 576. Suppose 134841 = -l*g + 3*g. Is g a composite number?
True
Let l(q) = -q**3 - 27*q**2 + 27*q - 26. Let o be l(-28). Suppose -3*x = -4*u - u - o, 5*x = -2*u + 55. Suppose -n + x*n - 9208 = 0. Is n a composite number?
False
Let w(x) = -2 - 23*x + 33*x + 6 + 6. Let y be w(-1). Suppose 12*d - 7*d - 2095 = y. Is d a composite number?
False
Let y be (28/(-42))/((-1)/(-15)). Let x(v) = -2681*v - 297. Is x(y) a composite number?
False
Let c(v) = 5790*v + 40. Let w be c(2). Let y = 4195 + w. Is y a prime number?
False
Suppose -w - 64509 = -20*j + 18*j, 0 = 5*j + 5*w - 161310. Suppose -199086 = -7*z + j. Is z a prime number?
True
Let g = -193188 - -294511. Is g a prime number?
True
Suppose -2*g + 6 = -h - 1, 8 = -4*h + 4*g. Suppose 4*q - h*q + 4*o = 5911, 3*o + 5932 = q. Is q a prime number?
True
Let p be (-2)/(-11) + ((-51090)/33 - -2). Let m = 5056 + p. Let k = -2071 + m. Is k prime?
True
Suppose 0 = -4*w - 4*b + 9 - 1, 2*b = -3*w + 8. Suppose 4*t + w*p + 0 =