 = 3*w - 126 - 69. Suppose -2*p - 3*b = -p - w, -3*p = 5*b - 195. Is p a composite number?
True
Suppose 0 = -w + 3*w. Suppose w = -3*g + 10 + 5. Suppose g*n - 108 = 77. Is n prime?
True
Suppose -u + 4 = u, u + 706 = -3*p. Is (p/(-20))/((-2)/(-10)) a composite number?
False
Suppose 2*g = 6 + 6. Let k be (4 - 2)/(g/9). Suppose 166 = 5*c + k*z, 2*z = -c - 2*z + 23. Is c composite?
True
Let z(x) = -1 - 2*x + 9*x**2 - x + 3*x. Is z(-2) a composite number?
True
Suppose -2*s - 61 + 329 = 0. Is (s/(-4))/((-5)/10) prime?
True
Let m = -66 - 102. Is (-4)/6*m - 1 prime?
False
Suppose -27 = -z - 11. Let k = -7 - -10. Let o = k + z. Is o a composite number?
False
Is (-19 - -29)*401/2 a composite number?
True
Is 2/(-1) + (-28)/4 + 1150 a composite number?
True
Let a be ((-6)/9)/((-3)/18). Suppose 0 = a*u - 3*u - 67. Is u a composite number?
False
Let y = -3 + 5. Suppose 0 - y = s. Is (-1 - s)/((-2)/(-38)) composite?
False
Let m(l) = l**3 - 5*l**2 - 2*l + 7. Let t = 6 + -5. Let o be (-27)/(-3) - t - 2. Is m(o) a prime number?
True
Let x(f) = 3*f**2 - f - 1. Let g be x(-1). Let c(z) = -z**2 + 2*z - 3. Let n be c(g). Is (-2020)/n + (-6)/(-18) prime?
True
Let y(v) = v**2 + 5*v + 5. Suppose 0 = -4*x + r - 20, 26 = -6*x + 3*x - 2*r. Is y(x) prime?
True
Let m(a) = -a - 1. Let q be m(-1). Suppose 12 = 2*k - 64. Suppose k = 3*s - r, 4*s - 69 = -q*s + 5*r. Is s a composite number?
False
Suppose 5*u + 3*j = -0*u - 1218, 2*j = -4*u - 976. Let g = u - -583. Suppose -2*a = 5*p - g + 56, -2*a + 61 = p. Is p a prime number?
False
Is ((-8)/(-8))/((-1)/(-77)) composite?
True
Let f = 10 + -23. Let q = 92 + f. Is q composite?
False
Let j = -391 + 594. Is j a composite number?
True
Let f be 18/8 + (-15)/(-20). Suppose -f*j - j = -196. Is j composite?
True
Suppose 0 = 11*n - 6*n - 1265. Is n prime?
False
Let y be 3/(-4) - (-46)/8. Suppose -y*l = -10*l, s + 4*l = 23. Suppose -4 = z - s. Is z composite?
False
Is 3071/9 + 14/(-63) a composite number?
True
Let h(a) = -11*a**3 - 3*a**2 + 7. Is h(-3) prime?
True
Is (226/3)/(-2)*-3 a prime number?
True
Let c(g) = 9*g - 3. Let y be c(13). Suppose y - 40 = h. Is h a composite number?
True
Let n = 4 + -2. Suppose -5 = -3*x - n*x. Is (-14)/35*x*-65 a prime number?
False
Let p(u) = -8*u. Let z be p(5). Let d = z + 123. Let t = 150 - d. Is t composite?
False
Let p = 180 + -35. Is p prime?
False
Let c(w) = -w**3 + 8*w**2 - 4*w - 6. Suppose 1 = t - 6. Is c(t) composite?
True
Let p(j) = 4*j**3 + 2*j**2 - 4*j - 10. Let z(y) = y**3 - y**2 + y - 1. Let i(o) = p(o) - 3*z(o). Let l be i(-6). Is 3 + l + 49*3 composite?
False
Let x be (-4)/6 + 518/(-6). Let u = x + 172. Is u a composite number?
True
Let p(h) = h**3 + 7*h**2 + 5*h - 4. Let w be p(-7). Let o = w + 166. Is o a prime number?
True
Let j(l) = l**3 + l**2 - l + 4. Let c be j(0). Suppose 9*p - c*p = -2*s + 78, -s - p + 36 = 0. Is s composite?
True
Let l = 1 - -1. Suppose 4*d - 88 = -5*w, -3*w - l*w = 0. Is d a composite number?
True
Suppose -310 = -2*b - 52. Suppose b - 604 = -5*p. Is p composite?
True
Let f = 822 - 546. Suppose -j = -5*j + f. Is j composite?
True
Let s(a) = -53*a**2 + 5*a. Let m be s(-4). Let k be 10/(-45) - m/18. Suppose -2*n - 3*u = -11 - 29, -2*n + k = u. Is n a composite number?
True
Suppose -2*s = 6 - 12. Suppose -625 = -s*z - 5*t, -5*z - 2*t + t = -1005. Suppose 4*d + 5*w + 940 = 9*d, -d - 3*w = -z. Is d a composite number?
False
Let j = -3 - -113. Let y be -1 + j/(-1 - -2). Let g = y - 40. Is g a prime number?
False
Let w = -640 - -1017. Is w composite?
True
Suppose 0 = -4*n + 2*n - 4. Let c be 0/1 - (n + 0). Is c - (-29)/(0 + 1) a composite number?
False
Suppose -p - 2*p - 2*r = -53, 0 = r - 4. Suppose 2*h - p = 3*h. Is (106/(-6))/(5/h) composite?
False
Let m = 52 + 10. Suppose v + 3*b - m = 0, 0 = -2*v + v - b + 62. Is v composite?
True
Let l = -13 - -15. Is l a prime number?
True
Let t = 24 - -25. Is t composite?
True
Suppose 0 = 5*u + 2*a - 776, u + u - 5*a - 293 = 0. Let n = u - 11. Is n a prime number?
False
Let u be (-61)/(-1)*1 + 3. Suppose -42 = -4*w + 2*o + 20, 0 = -4*w + 4*o + u. Is w a prime number?
False
Let q = 1271 - 387. Let p be 6/(-9)*(-1 - q). Suppose 4*i = -130 + p. Is i prime?
False
Let z(g) = -g**2 + 1. Let h be z(-1). Suppose 2*j + h*j = 10. Suppose -3*v = -2*x + 174, 3*v - 238 = -j*x + 239. Is x composite?
True
Let k be (-8)/4 + 1 + 6. Suppose -2*m + k*m - i = 10, m - 2*i = 5. Suppose 0 = m*l - x - 44 - 102, -5 = -5*x. Is l a composite number?
True
Suppose 5*q - 11 = 59. Suppose -4 = -3*z + 5. Suppose z*b = 5*b - q. Is b prime?
True
Let g(h) be the third derivative of -1/6*h**4 + 1/60*h**5 + 0 + h**2 - 1/120*h**6 - 1/6*h**3 + 0*h. Is g(-3) prime?
True
Suppose -2*l - 43 = -229. Is l a prime number?
False
Suppose 0 = 2*c - f - 3*f - 16, 4*c = -5*f - 20. Suppose c*a = 3*a - 129. Is a prime?
True
Let a(h) = 2*h**2 - 4*h - 3. Let g be a(-2). Suppose 0 = 14*v - g*v - 97. Is v a prime number?
True
Let r(u) = 226*u**3 + u**2 - u. Is r(1) a composite number?
True
Suppose 9*k - 12982 - 4775 = 0. Is k composite?
False
Let r(g) = -3*g + 2*g**2 + 2*g**3 + 0*g**3 - 1 + 2*g. Let b = 66 + -64. Is r(b) prime?
False
Let z(a) = 4*a - 1. Let b be z(2). Suppose 2*g - b*g = -15. Suppose g*p - 50 = -t, 5*p - 160 = -4*t + p. Is t a prime number?
False
Let l(z) = -z + 679. Is l(0) a composite number?
True
Let h(z) = -2*z**3 - 4*z**2 + 2*z - 3. Let w be h(3). Let l = w + 310. Is l a prime number?
True
Let v be 1/(4/4236) + 2. Is v/8 - (-12)/32 a composite number?
True
Is (12/24)/(2/3004) a prime number?
True
Let b be 4/10 - (-2)/(-5). Suppose 1474 = 2*k - b*k. Is k prime?
False
Is (-21)/(-105) - 15608/(-10) prime?
False
Let d(v) be the first derivative of 13*v**2/2 - 3*v - 6. Is d(4) composite?
True
Suppose u = -0*u + 2. Suppose 3*d - 893 = -k, -u*d - 4*k + 182 = -400. Is d a composite number?
True
Suppose -5*n = -n - 16. Is n + (-15)/(-3) + -2 prime?
True
Let l be 0 + 12/(-1 - -4). Suppose -55 = l*t - 5*t. Is t composite?
True
Let q(x) = -x - 3. Let u be q(-3). Suppose u = m + 3*m - 2*b - 62, 4*b = -12. Is m a composite number?
True
Let k(j) = -7*j**3 - 5*j + 7. Is k(-5) a prime number?
True
Is (-1)/(-2) - 52/(-8) composite?
False
Let h(t) = 9*t**2 + 9*t + 4. Let c be h(-7). Suppose 4*q - 724 = -4*b, -q + c = q - 3*b. Suppose 2*i = -3*i + q. Is i prime?
True
Let r be 4/(-10) + (-27107)/(-5). Let c be (r - 3) + (1 - -1). Is 2/(-11) + c/44 composite?
True
Suppose -6*z + 695 = -z. Let j = 148 + z. Is j a composite number?
True
Suppose 0*p = -4*p - 144. Let f be (p/(-21))/(2/14). Let j = 26 - f. Is j a prime number?
False
Suppose -20 = 7*c - 3*c, 0 = -2*l + 4*c + 26. Let x = 202 - l. Suppose p = -5*u + x, -4*u + p + 144 = -2*p. Is u a prime number?
False
Let b be 2/(-7) - (-702)/7. Suppose 5*h = -4*x + 19, 6*h - h - 3*x = 12. Suppose -2*a - 3*n + 64 = 0, h*n = 2*a - b + 24. Is a a composite number?
True
Let t be 12/66 + (-4864)/11. Let s = 645 + t. Is s composite?
True
Suppose 3*t + 2*t = 25. Suppose 80 = t*q - 2*w - 99, 139 = 4*q - 3*w. Is q a prime number?
True
Suppose -2 = -2*f + 2*q, f + 4*f - 3*q - 9 = 0. Suppose 26 - 137 = -f*d. Is d prime?
True
Suppose -3*f = 5*p - 21 - 7, 2 = p. Let k = f + -4. Suppose 2*s - 4 = k, 2*h - 32 = -4*s. Is h prime?
False
Let i(x) = 19*x - 17. Suppose 3*u - 6 = 30. Is i(u) composite?
False
Let i(c) = c - 10. Let v be i(9). Suppose 0*f - 2*f + 6 = 0. Is (3/f)/(v/(-35)) prime?
False
Let x(t) = 4*t - 3. Let p be x(2). Suppose -p*g + 49 = -76. Is g a prime number?
False
Suppose a - 2 = -r, 4*r + 0*r + 19 = 5*a. Suppose -a*v + 267 = -0*v. Is v prime?
True
Suppose -5*h = -3*u + 29, -2*u - 3*u - 3*h = -3. Suppose 2*b = 6*b - 12, -12 = -z + u*b. Is z a composite number?
True
Let a = -21 + 17. Let u(b) be the second derivative of -5*b**3/3 - 3*b**2/2 - b. Is u(a) prime?
True
Suppose -6*v = -v - 745. Is v prime?
True
Suppose 0*f = 3*f + 9870. Is f/(-10) + 4/2 a composite number?
False
Suppose 2*l - 50 = 5*k, 3*k + 3*l = -33 + 3. Let j = k + 8. Is -12*(-2 - -1) + j a composite number?
True
Let q(t) = 3*t**2 - 6*t**3 + 7*t**3 - 3*t + 6*t + 1. Let z be q(-3). Is (z/12)/(4/(-258)) prime?
True
Let u(i) = -i**2 - 3*i + 4. Let o be u(-5). Let g = o - -10. Suppose -g*x + x = -69. Is x a prime number?
True
Let v = 4 - 4. Let t = 231 + -123. Suppose 5*c