a prime number?
True
Let t(o) = -o - 3. Let k be t(-3). Suppose k = 5*a - 4 - 6. Suppose u = 32 + a. Is u composite?
True
Let d be ((24/20)/(-1))/(3/15). Is (161/21 - 7) + (-1502)/d composite?
False
Let j(v) = 2 + 2 + v - 3 - 2*v. Let o be j(1). Suppose i - g = 199, i - 207 = -o*i - 3*g. Is i prime?
False
Suppose 5*m = -25, 0 = 4*r - 2*m + 10 - 32. Suppose -r*k = -2*f + 8663, -5*f + 18763 + 2878 = -2*k. Is f prime?
True
Let l = -42 + 15. Let y = 29 + l. Suppose -y*b + b + 211 = 0. Is b prime?
True
Let u = 108 + -105. Suppose u*t - 4*t = -745. Is t a prime number?
False
Suppose -41*u + 875807 = 300946. Is u a prime number?
False
Let m(i) be the second derivative of i**7/168 - i**6/720 + 7*i**5/120 - 5*i**4/12 + 4*i. Let p(t) be the third derivative of m(t). Is p(-7) a composite number?
True
Let i = -31 - -33. Suppose -j = -i*j - 5, -j + 218 = s. Is s a prime number?
True
Let v be 1 + (1 + 2 - 1). Suppose 7046 = 4*l + 4*m - 6*m, -v*l + m + 5284 = 0. Is l composite?
True
Let g = -10988 + 16503. Is g a composite number?
True
Let m(f) = 2*f + 1. Let o be m(3). Suppose 10*i - 3147 = o*i. Is i prime?
True
Let w(c) = -c + 7. Let h be w(3). Suppose 1125 = 5*q + p + p, -4*q + 912 = h*p. Is q a prime number?
True
Let v(z) = -z**3 - 2*z**2 + 8*z - 2. Let f be v(-4). Let x be -1 - (1 + (-1 - f)). Let g(n) = -141*n + 4. Is g(x) a prime number?
False
Suppose 0 = 195*c - 203*c + 304. Is c a prime number?
False
Suppose -5*r + 628 = -u + 1657, 5*u - r = 5193. Suppose 5*q - 4*f = 3420 - u, 4*q - 1904 = 4*f. Let k = q + -74. Is k a composite number?
True
Let m(b) = 2267*b**2 - 6*b + 6. Is m(1) a composite number?
False
Let f(u) = u**2 + 11*u - 24. Let x be f(-13). Suppose c - 1622 = -o + x*c, 5*c = o - 1618. Is o composite?
True
Let g(f) = 3710*f**2 - 4*f + 13. Is g(2) a prime number?
False
Let a(p) = -7*p**2 - p - 5. Let z(v) = v**3 - 9*v**2 - 11*v + 15. Let i be z(10). Let m be a(i). Is 1/((-1)/m - 0) a prime number?
False
Let w(y) = 742*y + 4. Let m be w(4). Let f be 2/(-7) + m/14. Suppose t + t - f = 0. Is t a prime number?
False
Let v(o) = -17*o**2 - 2*o - 1. Let a be v(1). Is (-8)/a + 45999/15 a composite number?
False
Let t(j) = j**3 - 30*j**2 + 14 - 34*j + 8 + 31 + 3*j**2. Is t(29) prime?
False
Let x(k) = -k**3 - 7*k**2 + 6*k + 31. Is x(-18) a prime number?
False
Let x(v) be the third derivative of -v**4/24 + 20*v**3/3 + 14*v**2. Is x(-17) a prime number?
False
Let n be (9/6)/((-12)/(-24)). Suppose 0 = -q - z - 9, -3*q - q + 2*z = 18. Is 55/n - q/9 a prime number?
True
Suppose 73*n = 82*n - 194823. Is n prime?
True
Is ((-1691)/38)/((-3)/6) composite?
False
Let l(x) = 187*x + 0 + 2 - 3. Let h be l(1). Suppose h = 2*j - 112. Is j composite?
False
Is ((-391323)/12)/(-17) + (-6)/(-8) a prime number?
False
Let i = -49066 + 72377. Is i composite?
False
Is (345/(-6)*30440/(-50))/2 a composite number?
True
Let r(o) = 3*o**3 + 14*o**2 + 19*o + 5. Is r(12) a composite number?
False
Let r(y) = -y + 26. Let h be r(16). Let s(c) = 9*c + 5. Is s(h) a composite number?
True
Suppose 2*j - n - 8 = n, -5*j = -2*n - 20. Suppose -w - 757 = -5*i + 1946, i - j*w = 533. Is i a prime number?
True
Suppose 2*d - 4*x + 5*x = 3548, -2*x + 3552 = 2*d. Suppose 0 = -3*k - 4*m + 3559, -2*m = -3*k + d + 1763. Is k prime?
True
Let s(y) = -y + 3. Let o be s(2). Let j be o*(0 + 1 + 9). Is (j - -203) + 2/(-1) prime?
True
Is 3/1*37135/15 a composite number?
True
Let c be (254/(-6))/(3/(-27))*1. Suppose 8*n - c = 5*n. Is n a composite number?
False
Let f(u) be the first derivative of 26*u**3/3 + u**2/2 + u + 4. Let m(k) be the first derivative of f(k). Is m(1) a prime number?
True
Suppose -4*z + 561 = -5*b - 2*z, 2*b + 231 = 3*z. Let u = b + 217. Is u prime?
False
Let p(k) = -13*k - 1. Let x be p(-2). Suppose x*n - 1941 = 22*n. Is n a prime number?
True
Let d(c) = 41*c**2 - c + 1. Let t = 86 + -94. Is d(t) composite?
False
Suppose -822 - 86 = 4*b. Let k = 107 - b. Is k a prime number?
False
Let v = -76 - -78. Is 132 - (1 - (-2 - v)) a prime number?
True
Let i(c) = c**2 + 4*c - 1. Let p be i(-4). Is p/(-2)*(-2 + 1744 + 0) composite?
True
Let t be (23/92)/((-1)/(-12)). Suppose 457 = t*z - 305. Suppose 16*x - 14*x - z = 0. Is x a prime number?
True
Suppose -5*a - 7415 = -5*s, s = 2*s - 5*a - 1491. Is s a composite number?
False
Let i = 7 + -7. Suppose 10*f - 4*f - 3738 = i. Is f prime?
False
Let j = 118 - 40. Suppose -5*n + 102 = -j. Let u = 1 + n. Is u a composite number?
False
Is (1/3)/1*(-2883384)/(-72) a composite number?
True
Suppose -5 = -a - 4*a, -5*t = -5*a + 1110. Let y = t - -430. Is y prime?
False
Suppose 0*v + 1911 = 3*v. Suppose 0 = 3*t - x + 5*x - v, 4*x = t - 207. Is t prime?
True
Suppose -10068 = 3*f + f. Let p = f - -1408. Let a = -736 - p. Is a composite?
False
Let h(w) = w**2 + w - 4. Let o be h(-3). Suppose -2*z + 580 = o*z. Is z prime?
False
Suppose 4*r - 401 - 9856 = -3*v, 3*v - r = 10242. Is v a composite number?
True
Let m = -50 - -94. Suppose m + 30 = 2*l. Is l a prime number?
True
Suppose 0*d = -d + 4. Suppose c = 5*l - 2, 5*c - d*l + l - 12 = 0. Suppose -a - c = 0, -5*o + 1329 - 161 = -a. Is o a composite number?
False
Suppose 2*f + 3*f - 35 = 0. Let z(n) = n**2 + 4*n + n - 8*n - 3*n**3 - f + 2*n**3. Is z(-6) prime?
True
Let a be (2 - 572/8)*-2. Suppose 3*b = -a + 808. Is b composite?
False
Let c = 712 - -5089. Is c prime?
True
Let l(w) = 4*w**3 - 18*w**2 - 20*w + 3. Let q be l(14). Is 3*q/7 + (-36)/126 a composite number?
True
Let k(y) = -989*y + 23. Let m(z) = -3*z**2 - z + 3. Let q be m(-2). Let l be k(q). Suppose 0 = i + s - 1459, -4*i + s = -l + 1100. Is i a composite number?
True
Suppose -2*f = -18*y + 17*y - 1991, 0 = -5*y - 25. Is f composite?
True
Suppose -p - 1 = 0, -p = -5*r + p - 48. Let u be (8/r)/((-12)/(-30)). Is (0 - -1 - u) + 48 composite?
True
Let m = 9 - 4. Suppose -m*l + 875 = -g, 2*g + 3*l = -0*l - 1789. Is g/5*2/(-4) a composite number?
False
Let s(a) = a**3 - 5*a**2 - 13*a - 7. Let j be s(7). Suppose k + 2167 - 7232 = j. Is k composite?
True
Suppose 5*c - 3037 = 2*q - 7965, -2*c = -q + 2465. Suppose -y + 2*n + q = 2*y, 0 = n + 3. Is y a composite number?
False
Suppose -2*t + 32 = 6*t. Suppose 0 = t*v - 67 - 229. Is v prime?
False
Let h(v) = -87*v + 14. Let z be h(4). Let u = z + -33. Let b = -218 - u. Is b a composite number?
False
Let u be 1 - (-3 - -7 - 1). Let b be u*2*(-2254)/56. Suppose 2*k = k + b. Is k prime?
False
Let v be (-3)/((-180)/(-24)*1/(-10)). Suppose -7*p + v*p = -2103. Is p a prime number?
True
Suppose 8 - 12 = q, 4*f - 11316 = -q. Is (1/(-2))/((-1)/f) prime?
False
Is 5356 - (-17 + -4)/(-3) prime?
False
Let a(m) be the third derivative of m**6/120 + 2609*m**3/6 + 11*m**2. Is a(0) a prime number?
True
Let v be -3*1/(-1) + 419. Let t = 1415 - v. Suppose -h - 2*h + t = 0. Is h prime?
True
Suppose 0 = 61*c - 54*c - 14371. Is c a composite number?
False
Suppose -4*f = -6*f + 1374. Let g = -4 + f. Is g a prime number?
True
Let n(a) = -a - 2. Let o be n(0). Is (-1894)/4*o/1 prime?
True
Let i(p) = 2*p**3 - 6*p**2 + 13*p - 19. Let j be i(7). Let o = 5 + j. Is o a composite number?
True
Suppose -28 = -4*h - 4*t, t - 21 = -2*h + 6*t. Suppose 10*m - h*m = 4348. Is m prime?
False
Let o(x) = -x**3 - 17*x**2 + 19*x + 23. Let u be o(-18). Suppose 5*d - d + 1798 = 2*s, 4513 = u*s - 4*d. Is s prime?
False
Let m(d) = -2*d**2 + 2*d + 2. Let q(z) = 1. Let t(y) = -m(y) - 3*q(y). Let b be t(-4). Suppose 0 = v + 5*p - 56 - b, -3*v - 4*p = -317. Is v a composite number?
True
Suppose 0 = 2*t - 0*x - x - 10, -2 = -t - x. Suppose -5163 = -b - t*q, -4*q - q - 25715 = -5*b. Is b prime?
True
Let g = 124 + -120. Suppose -614 + 213 = -l. Suppose l = 3*s - 2*k, -g*s - 5*k + 508 = -k. Is s a prime number?
True
Suppose -s = 2*i - 101, -2*i + 4*s = 2*s - 98. Suppose -o - 4*o = i. Let u(v) = -v**3 - 5*v**2 - 13*v + 5. Is u(o) composite?
True
Suppose -5*w - 31 = 4. Let o = w + -1. Is (-36)/9*818/o a composite number?
False
Let a(d) = 2037*d**2 - 41*d - 161. Is a(-6) composite?
False
Let u = 7991 + -1794. Is u prime?
True
Suppose 0 = -5*x - 2*v + 7723, -v = -5*x + x + 6168. Is x composite?
False
Suppose 4*m = -3*s + 3*m + 334, -2*m - 575 = -5*s. Suppose 3*q - 5*t - 759 = 0, q - s = 5*t + 140. Is q composite?
True
Is (14954/2)/(6 + (-306)/54) prime?
False
Is 10/(-1