3 - (-128)/(-6)*(-1014)/4 prime?
False
Let t(p) = -p**2 + 14*p - 12. Let m be t(11). Suppose -m*q + 204 = -17*q. Is q a composite number?
True
Suppose -2*c = -z - 3*z - 12, -3*c - 6 = 2*z. Suppose c = -3*m + 25 + 11. Let d = -10 + m. Is d a prime number?
True
Let s(o) = -o**2 + o + 2. Let j be s(2). Suppose w - 1439 = -3*a, 2*a - 4*w = -j*a + 950. Is a prime?
True
Let w = -67 - -67. Suppose w*i - 3*i = r - 1727, -5*r + 8635 = i. Is r a prime number?
False
Let f(o) be the third derivative of o**5/10 - 7*o**4/24 - 5*o**2. Let k be f(-7). Suppose 5*s - 86 - k = -2*l, l = -4*s + 213. Is l a composite number?
True
Suppose -8*h = -4*h. Suppose 4*d + b + 0*b = 13, h = -5*b + 25. Is (1/3)/(d/4782) a prime number?
True
Suppose 2*n = -5*a - 2*n + 129, 0 = -5*a - 2*n + 127. Let i(x) = -69*x - 1 + 0 - 46*x + a*x. Is i(-1) prime?
True
Suppose 4*w - 7741 = 3*a, -5*a + 1775 = w - 189. Is w prime?
False
Let q(o) = -33*o**2 - 14*o - 23. Let t be q(-13). Is (t/(-24) + 4)/((-2)/(-8)) a prime number?
True
Suppose 16*u - 14*u - 20382 = 4*x, 1 = x. Is u composite?
False
Let n = 8 - 5. Let m be 15/3 + n/3. Is (-2692)/m*(-6)/4 a prime number?
True
Is 9 - 1 - -2152 - -1 a prime number?
True
Let a = -18 + 20. Let v(m) = 2*m**a + 6*m**3 + 20*m - 44*m + 22*m - 1. Is v(2) composite?
True
Suppose -3*p = -7*n + 3*n + 4, 0 = 3*p + 5*n - 5. Suppose 2*d - 3*y - 15 = p, -5*d + 4*y = -20 - 7. Suppose s + 422 = d*s. Is s a composite number?
False
Suppose -2728 = -377*d + 369*d. Is d prime?
False
Let a = -90507 - -174104. Is a composite?
False
Suppose 43*x - 41*x - 5*z - 11758 = 0, -4*z + 29395 = 5*x. Is x composite?
False
Suppose 3*y = -2*p - 539, 2*p - 8 = -y - 185. Let r = y + 315. Is r composite?
True
Suppose 0 = -4*p + r + 1878, p - 3*r + 946 = 3*p. Suppose p = 3*f - 538. Suppose -3*s = -5*j + 719, 5*s - 56 + f = 2*j. Is j a prime number?
False
Let r = -15 + 32. Suppose t + r = 166. Is t a composite number?
False
Let k(c) = -2298*c + 47. Is k(-4) composite?
False
Suppose 4*k - 5 = b, 2 = k - 5*b - 4. Let x be -1*((-1)/k - -2). Is (-3 - x) + (-211)/(-1) composite?
True
Suppose 6*s - 9*s + 2865 = 0. Suppose -5*h + 1326 = -2*n - s, 0 = h + 3*n - 463. Is h a prime number?
True
Let j(a) be the first derivative of a**3/3 + 3*a**2/2 - 4*a + 10. Let m be j(-5). Suppose 3*y - 4*o = 147, 0 = -o - o + m. Is y composite?
False
Let b(l) = 1334*l + 24. Let c be b(-3). Is -2 + (-21)/(-12) - c/8 a composite number?
True
Suppose 0 = -0*y + 3*y - x + 476, y - x + 160 = 0. Let r be 3/(-6)*y + -1. Suppose -r = -3*w + 21. Is w prime?
False
Suppose -364*g - 395 = -365*g. Is g a prime number?
False
Let g be 6/(2 - 1) + -2. Suppose g*y = -y + 20. Is y/22 + 143460/132 composite?
False
Let x(u) = 27*u**2 - 12 + 7*u - u - u**3 + 45 - 9*u. Is x(26) a composite number?
False
Let v(d) = 29*d**2 - 24*d - 44. Is v(15) prime?
True
Let n(l) = -214*l**3 + 5*l**2 + 5*l - 17. Is n(-5) a prime number?
True
Suppose 65*z = 2*z + 630441. Is z prime?
True
Suppose 3*d - 197 = -4*f - 0*f, -d - 101 = -2*f. Suppose -b - 4*b = -f. Is 844/10*b/4 composite?
False
Let w(u) = 3*u + 2. Let f be w(1). Suppose -3*b - 2*m = -f*b + 764, -5*b + 1892 = m. Is b a prime number?
True
Let b = 8699 - -558. Is b a composite number?
False
Let d(u) = 2*u**2 + 2*u + 1. Let a(v) = 2*v + 6. Let m be a(-7). Is d(m) a composite number?
False
Suppose 117*s - 107*s - 146690 = 0. Is s prime?
True
Let g = 4 + -4. Let b(s) = 98*s - 16. Let d be b(5). Suppose g = c + 2*c - d. Is c a prime number?
False
Let j(x) = -x**3 + 14*x**2 + 15*x + 4. Let s be j(15). Suppose 0 = s*o - 3942 + 394. Is o composite?
False
Let v(y) = 3*y + 36. Let l be v(-15). Let x(u) = -u - 6*u - 8*u - 12. Is x(l) a composite number?
True
Suppose 11*z + 16*z - 401301 = 0. Is z prime?
False
Let m(t) = -t**2 - 8*t - 12. Let j be m(-5). Suppose -j*u + 6330 = 7*u. Is u a composite number?
True
Suppose 9*w - 13*w - 4 = 0. Is (-510)/(-4) - w/(-2) composite?
False
Let j = 24 - 22. Suppose -j = -c, q - 4*c = -q + 3266. Is q a composite number?
False
Suppose 0 = 2*o - 2*f - 22, -2*f + 14 = -2*o + 3*o. Let h(g) = 2*g**2 + 5*g + 23. Is h(o) a prime number?
False
Is 47934/5 - -4*(-16)/(-320) prime?
True
Let o = -83 + 61. Is 29241/15 + o/55 a composite number?
False
Let u = -335 - -200. Let v = 122 - u. Is v a prime number?
True
Suppose -10*d = -9*d - 5. Suppose -d*m - 1329 = -5*h + 2601, -3*m - 1573 = -2*h. Is h prime?
False
Suppose 4*d - h - 3*h = 44, 63 = 5*d - h. Suppose -10*s - 663 = -d*s. Is s prime?
False
Let v(f) = -13*f**3 + 2*f**2 + 12*f - 18. Is v(-5) composite?
False
Let w be (-1)/(-2 - (-357)/179). Suppose w + 195 = -c. Let g = c + 627. Is g a prime number?
False
Suppose -4*d = -c - 17568, 5*d - 8480 - 13491 = 4*c. Is d a composite number?
False
Suppose -2*s = 4*y + 92, 2 - 250 = 5*s + y. Let z = -5 - -20. Is s/z*(-333)/6 a composite number?
True
Suppose o + 20 = 4*n, 3*n + 0*o + 2*o = 26. Let k be 3/n - (-44)/(-8). Let h(i) = -3*i**3 - 5*i**2 + i + 6. Is h(k) prime?
True
Let k(z) = 473*z**3 + 3*z**2 - z - 1. Is k(2) prime?
True
Let k(u) = -38293*u + 175. Is k(-6) prime?
False
Suppose -15 = -g + 2691. Suppose 5*t = -3*q + g, -t = 4*q - 0*t - 3625. Is q a composite number?
False
Suppose 0 = -l - 5*u + 13342, -30*u = -26*u - 12. Is l composite?
False
Let j(v) be the second derivative of -v**3/6 + 3*v. Let z be j(-5). Suppose -257 = z*l - 1062. Is l a prime number?
False
Suppose -2*t + 5*a + 46 = t, 4*a = -5*t + 52. Is 4/(-6) - (-128)/t a composite number?
True
Suppose 50 = -5*n + w, 0 = 4*n + 5*w - w + 16. Let s be (-3)/(1 - 2)*n. Let g = -16 - s. Is g a composite number?
False
Suppose -2*a - f + 3 = 0, 2*a + 3*a - 5*f - 45 = 0. Suppose -2*n - 234 = -a*n. Let m = n - 68. Is m a prime number?
False
Let a be -1 + (5 - (-3 + 5)). Suppose 0 = a*g - g. Suppose -873 = -g*h - 3*h. Is h prime?
False
Suppose 167*o - 7028 = 163*o. Is o a prime number?
False
Suppose 0 = 2*w + 2*w + 132. Suppose 24 = 4*j + 52. Let i = j - w. Is i a composite number?
True
Suppose -3*k + 2*k - q + 1144 = 0, -k = -4*q - 1124. Let j = -801 + k. Is j a composite number?
True
Let b = 22 + -12. Let x(w) = w**2 - 11*w + 14. Let l be x(b). Suppose -4*k + 262 = 3*g - 208, 0 = l*g + 3*k - 629. Is g composite?
True
Let w(m) = m**2 - 2*m + 3. Let b be w(2). Suppose -t - b*t + 3*s + 12 = 0, 5*t + s = -4. Suppose t = 3*g + 9, 5*i = -5*g + g + 403. Is i a prime number?
True
Let c = -8 - 1. Let q(x) = -x**2. Let y(h) = -7*h**2 + 8*h + 12. Let r(d) = 6*q(d) - y(d). Is r(c) prime?
False
Suppose 4*u - 322 = 1322. Suppose -y + u = -2*h, -5*h = 4*y - 1127 - 569. Is y composite?
False
Let i be 64/(-6) - (-22)/33. Is (271/(-5))/(2/i) prime?
True
Suppose -2*m = s, 5*s + 3*m - 2*m = 36. Suppose -3*v - 4385 = -s*v. Is v a composite number?
False
Let w = -1784 + 759. Let t = 428 + w. Let q = t - -938. Is q a composite number?
True
Suppose 5*s = -5*s - 18290. Let c = -1291 - s. Is c a composite number?
True
Let d be (25 - -3) + (2 - 0). Let w be d/((-12)/8 + 0). Is (-12)/w + 4784/10 a composite number?
False
Suppose 0 = 3*j + 2*d - 8219, 4*j - 10987 = -d + 4*d. Is j a composite number?
True
Suppose f = 6*f + 5, 0 = -5*w + 5*f + 33100. Is w a prime number?
True
Let q = 23 - 20. Let z(b) = -b**2 + 5 + 11*b + b**q - 17*b + b**3. Is z(6) a prime number?
False
Suppose -8 = -g - 3. Suppose g*k - 1306 = 3*k + 2*f, 3*f - 1286 = -2*k. Is k a prime number?
False
Suppose 11*n - 15*n = -1932. Is n/(-6)*1*-2 prime?
False
Let s(c) be the second derivative of -c**3/6 + 223*c**2/2 + 16*c. Let w(j) = -j + 5. Let p be w(5). Is s(p) a prime number?
True
Let r = 100 + -25. Suppose 0 = -4*h - h - 265. Let i = h + r. Is i a prime number?
False
Let u(g) = -g**3 - g**2 - 2*g + 140. Let s be u(0). Let o = s + -61. Suppose 0*q = q - o. Is q composite?
False
Suppose 21*a = 34*a - 86099. Is a prime?
False
Suppose 5*k - 5*c + 9*c - 86565 = 0, -5*k - 5*c + 86560 = 0. Is k a prime number?
True
Suppose -5*f - 4*u - 38 = 0, 0 = 3*f + 5*u + 3 + 25. Let v = f - -92. Suppose r - v = -2*b, -2*b + 2*r + 96 = 10. Is b a prime number?
True
Let w(q) = 5*q**3 - 3*q**2 + q - 3. Let s be w(3). Let j(k) = 6*k**2 + 2*k + 1. Let d be j(-1). Suppose 0 = -d*l + 47 + s. Is l composite?
False
Let c(k) = 22*k**2 - 8*k - 7. Let n(b) be the first derivative of b**4/4 + 2*b**3/3 - b**2/2 +