). Let a be 8/o - 11/(-13). Is (a - -1)*(-99)/(-6) a prime number?
False
Let h = 8 + -8. Suppose h*v - 5*v = -265. Is v a prime number?
True
Suppose 2*p - b - 375 = -2*b, p - 193 = 5*b. Let t = -130 + p. Is t a composite number?
True
Let k(v) = v + 3. Let g be k(-5). Suppose 3*x - 20 + 3 = -5*t, 5*x - 20 = 0. Is g/t + 1*33 a composite number?
False
Suppose -2*m + 5*o = -11, 2*o + 1 = o. Suppose -m*v + 70 + 8 = 0. Suppose -329 = -5*n + 2*b, 2*n - 96 = -4*b + v. Is n composite?
True
Let p = -197 + 459. Is (p/(-4))/(1/(-2)) a prime number?
True
Let k(y) = y**3 + 8*y**2 - 4. Let b = 4 + -10. Let i be k(b). Suppose 5*h = 5*n + i + 12, 3*h - 2*n = 47. Is h a composite number?
True
Let q be (-1)/2 + 4/8. Suppose 0 = -3*n - 3*u - 90, q*n + 2*n + 58 = -u. Let c = n + 83. Is c a prime number?
False
Suppose -10 = 2*w, 0 = -5*c + 3*w - 4*w. Suppose 0 = -4*j + 17 - 1. Is ((-77)/(-4))/(c/j) composite?
True
Let u = -45 + 112. Is u composite?
False
Suppose 16 = 2*i + 2*i. Suppose i*w - 66 = -2*o + 220, w + 1 = 0. Is o composite?
True
Suppose -5*q + 2*c + 1045 = 0, c + 0*c - 427 = -2*q. Is q composite?
False
Let n(z) = -z**2 - 5*z + 6. Let j be n(-6). Suppose u - 5*u + 712 = j. Suppose g - u = -g. Is g prime?
True
Let u(z) be the second derivative of -z**6/360 + z**5/24 + z**4/12 - z. Let f(q) be the third derivative of u(q). Is f(-4) prime?
True
Suppose 9*c - 5*c - 188 = 0. Is c a prime number?
True
Let s be (-6)/(-4)*8/(-3). Let i = 6 + s. Is -10*(-7)/2 + i composite?
False
Let n(u) = u**2 - u - 10. Let f be n(10). Let y = 202 - f. Is y composite?
True
Let d = 2301 - -1132. Is d prime?
True
Is ((-2)/(-3))/(-2)*(32 + -2891) a prime number?
True
Let y = 88 - 46. Suppose -3*m - 2 = -11. Suppose -4*n + m*g + 25 = 0, 5*g = -n - 7 + y. Is n prime?
False
Let o(q) be the third derivative of -1/12*q**4 + 2*q**2 + 0*q + 0 - 1/20*q**5 - 1/120*q**6 - 5/6*q**3. Is o(-4) composite?
False
Suppose 3*w = 2*m + 5 + 3, -5*w = 4*m - 6. Let k be -11*m*(3 - -1). Let l = 66 - k. Is l a prime number?
False
Suppose -t + 2*t = 0. Let a be ((-4)/5)/((-2)/5). Suppose 0 = -t*s - a*s + 18. Is s a composite number?
True
Suppose 0 = -5*z - 16 - 9, s = -3*z - 60. Let v = 106 - 26. Let r = s + v. Is r a composite number?
True
Let r(x) = 15*x**3 - x**2 + 7*x - 4. Is r(3) a composite number?
True
Let t(q) = -77*q - 19. Is t(-4) a composite number?
True
Let p(d) = 8*d**2 + 3. Let s be p(3). Let r = 169 - s. Is r composite?
True
Suppose 2*b - 172 = 652. Suppose 2*o - 5*q - b = 0, -960 = -4*o - 4*q - 108. Is o prime?
True
Let p(h) = h**3 + 5*h**2 - 8*h - 8. Let x be p(-6). Suppose -2*m - 243 = -u, -2*u - m = -x*m - 490. Is u prime?
True
Suppose y + 0*y - 867 = -5*u, 0 = -5*y + u + 4387. Is y prime?
True
Suppose y = 3*y + 16. Let j(x) be the second derivative of -x**5/20 - x**4/2 + 11*x**3/6 - 5*x**2/2 + x. Is j(y) a composite number?
True
Suppose 0 = -c - 19 + 16. Let x(s) = -4*s**3 + 3*s**2 + 2*s - 2. Is x(c) prime?
True
Let u(m) be the second derivative of m**4/12 + 3*m**2/2 - 4*m. Is u(6) a prime number?
False
Let f be (-99)/(-21) + 2/7. Suppose 3*g + 230 = f*g. Is g a prime number?
False
Let q(o) = 334*o**3 - 2*o + 2. Is q(1) a composite number?
True
Let w(z) = 3*z**2 - 2*z - 1. Let c = 3 + -3. Suppose -2*y + 6*y - 8 = c. Is w(y) a prime number?
True
Let y(m) = 5*m**2 + 2*m. Let p(j) = -4*j**2 - 2*j. Let w(s) = -4*p(s) - 3*y(s). Is w(-7) composite?
True
Is (-307)/(-3 + ((-6)/(-2) - 1)) composite?
False
Let d(f) = 81*f - 6. Let c be d(7). Let g be (-2)/(-3) - (-1792)/(-6). Let j = g + c. Is j composite?
False
Is 29/(2 - 1) + 2 a prime number?
True
Let u be ((-4)/6)/(3/9). Let a(b) = b**2 + 3*b + 2. Let z be a(u). Is 14 - (-2 - (z + -2)) a composite number?
True
Let l be (-5)/(-30) + (-1)/6. Let w = 0 + l. Let m(d) = -d + 4. Is m(w) a prime number?
False
Suppose z - 1 = 2. Suppose -4*w = -4, -w + 0*w = -z*t + 1766. Is t prime?
False
Let r(b) = -19*b**3 + 2*b**2 + 4*b. Is r(-3) a composite number?
True
Let z(b) = b**2 + 7*b + 6. Let n be z(-6). Let t be n - (-106 + -1 + -1). Let p = 203 - t. Is p a prime number?
False
Let z = 285 + -147. Suppose 2*g + g = z. Is g prime?
False
Let u(d) = d**3 - 3*d**2 - d - 3. Let i = 0 + 3. Let f be u(i). Let j(n) = -n**3 - 3*n**2 + 8*n - 5. Is j(f) prime?
False
Suppose -f + 5954 = q, -f - 2*q + 5957 = 2*q. Is f composite?
False
Let x = -479 + 690. Is x a prime number?
True
Let m = 11 - 6. Suppose 0 = 4*y - m*b - 148, -y + 41 - 1 = -2*b. Suppose 3*d + p = 30, 5*d + 5*p - y - 8 = 0. Is d composite?
False
Let k(c) = -c**3 + 12*c**2 - 10*c + 3. Let h be k(11). Suppose -2*x + h = -464. Is x a composite number?
False
Is (-49162)/(-14) - 52/91 prime?
True
Let r(l) = -l**3 - 5*l**2 - 15*l + 11. Is r(-8) composite?
True
Let y = -4 - -1. Suppose -5*d + 5*r - 6 = -d, 4*r - 9 = -d. Is 110*(d - y/(-6)) composite?
True
Suppose -2*t + a - 17 = 0, 0*a - 4 = -t - 2*a. Is (141/t)/((-2)/4) a composite number?
False
Let c(i) = -i**3 + 8*i**2 + 9*i + 2. Let l be c(9). Let b be 47/9 + l/(-9). Suppose 45 = t - 5*f, -5*t + 46 = b*f - 59. Is t a composite number?
True
Suppose -3*d - 42 - 142 = -2*k, -5*d = 5*k - 485. Suppose 6*s - s = k. Is s a composite number?
False
Suppose 0 = -x + 4*x - 93. Is x a composite number?
False
Let o be 3/((-12)/50)*-6. Suppose -a - 16 = -o. Is a composite?
False
Let u(m) = 15*m**2 + m + 1. Let v be 1 - 0 - (3 - 1). Is u(v) prime?
False
Let o(k) = -k**3 + 3*k**2 - k + 13. Is o(-14) prime?
True
Let j be (104 + 3)*(2 - 1). Let c = -38 + j. Is c prime?
False
Let q = -98 + 213. Is q a prime number?
False
Let v(p) = 5*p**2 - 22*p + 4. Is v(-17) a composite number?
False
Suppose -3*a + 288 = 78. Suppose -4*k = k - a. Suppose k = -2*b + 3*b. Is b a prime number?
False
Suppose -20 + 197 = 3*t. Is t composite?
False
Let z = -68 - -181. Is z composite?
False
Let b(y) = -y**3 - y**3 - 7*y**3 - 1. Let d be b(-1). Let m = 121 - d. Is m prime?
True
Is (2634/4)/(((-15)/(-6))/5) composite?
True
Let i(d) = -13 + 2 - 12*d + 0*d. Is i(-13) composite?
True
Let b(g) = g**2 + 4. Is b(0) composite?
True
Suppose a - 6 = -2*a. Suppose -386 = -4*q + a. Is q composite?
False
Suppose 5*q + 32 - 7 = 3*x, 29 = 5*x - 2*q. Let l be ((-1)/2)/(1/(-10)). Suppose x*d + 185 = 5*u, 0*d = u + l*d - 25. Is u prime?
False
Suppose 2*u - 3*d + 151 = 0, 3*u - 4*u - 3*d - 53 = 0. Suppose l = -7 + 112. Let g = u + l. Is g a composite number?
False
Let h(t) = 9*t + 1. Let p be h(-3). Let l = p + 579. Is l composite?
True
Let h be -9*1*(-3)/9. Suppose -4*z + 28 = j, -h*j - 5*z = -2*j - 24. Is (j/2)/(1 + 1) prime?
True
Let v = 21 - 16. Suppose -957 = -v*j + 2*j. Is j a composite number?
True
Let n be 133/2 + (-2)/4. Let o be (18/(-8))/((-12)/(-144)). Let c = o + n. Is c a composite number?
True
Suppose 2*m = -2*w - 2*m - 2, 0 = -w + m - 10. Let u(j) = -j**2 - 1 - 4 - 8*j + 4. Is u(w) a composite number?
True
Suppose -9 = -5*b + 2*b. Suppose b*n = -0*n + 240. Suppose 205 = 5*m + n. Is m a prime number?
False
Suppose 0 = -j + 5*j - 8. Suppose -j*l - 7 = -3*w - 3, l - 5*w = -16. Is 209/9 + l/(-18) a prime number?
True
Let u = -13 - -17. Suppose -u*k + 125 + 107 = 0. Is k composite?
True
Suppose 0 = 3*k - k - 10. Suppose 0 = k*q - 0*q - 885. Suppose w + 2*w = q. Is w prime?
True
Suppose 5*n - 2915 + 905 = 0. Suppose 3*b = 4*m + 437, 0 = 3*b + 2*m + m - n. Is b a composite number?
False
Let m(s) = -s**3 + 2*s**2 + 3*s + 3. Let r be m(3). Let o be r/6 - 754/(-4). Suppose -j = 4*j - 20, 3*b - o = -3*j. Is b composite?
False
Let k(o) = o**2 + 7*o. Let z be k(-7). Let n be (4 + z)*(-254)/(-8). Suppose f + 68 + n = 4*x, f - 246 = -5*x. Is x composite?
True
Is -6 + 8 - (2 - 1801 - -2) a composite number?
True
Let y(j) = -j**3 - 6*j**2 + 2*j + 5. Let s be y(-5). Let x = s - -5. Let z = x - -96. Is z a composite number?
False
Suppose 0 = -3*a + 15, 2*r = 6*r - 2*a - 1026. Is r a prime number?
False
Suppose -4*y + 4*h + 0*h + 5848 = 0, -h + 3 = 0. Is y composite?
True
Let z(x) = -52*x - 9. Suppose -45 = 5*b - 2*n, b - 4 = -2*n - 1. Is z(b) composite?
True
Let u(n) = 224*n - 1. Let d be u(1). Suppose -2*a - d = -3*a. Is a a prime number?
True
Let v(r) = 1. Let f(w) = -5*w**2 + w. Let n(x) = 2*x - 7. Let j be n(5). Let a(y) = j*v(y) - f(y). Is a(-5) composite?
True
Is (-12039)/(-24) - 6/(-16) composite?
True
Suppo