4 - z**3/3 + 2*z. Let t be h(3). Suppose 2*w + 3*w = t. Is w a composite number?
True
Suppose 3*a + 217 - 2559 = i, 0 = i - 1. Is a a prime number?
False
Let q(y) = 18*y + 15. Suppose -t + z = -2*z - 14, -3*t = 2*z - 42. Is q(t) a composite number?
True
Let x be 3/((-9)/(-6)) - 0. Suppose 2*t = -2*v + 10, 3 = -x*v + v + 3*t. Suppose 0 = 5*o - h - 109, 5*o + 5*h - v*h = 97. Is o a composite number?
True
Let z = 12 + -13. Is z + (131 + -2 - 1) a prime number?
True
Suppose -2*o - o + 15 = 0. Is (-53)/(-5) - (-2)/o a prime number?
True
Let f(v) = -v**3 - 5*v**2 + 10*v - 3. Let j be f(-7). Suppose 0 = z - j - 12. Is z prime?
True
Let u(g) = -g**3 - g**2 - 1. Let t be u(-2). Let c(v) = -2*v**2 + 2*v + 4. Let p be c(t). Is (30/p)/((-3)/8) a composite number?
True
Let f(m) = m**2 + 4*m + 7. Let y(r) = 3*r**2 + 2*r + 1. Let p be y(-1). Suppose 5*b = -p*j - 2, 4 = j + 3*b + 2*b. Is f(j) a composite number?
False
Let a = 210 - 32. Is a a composite number?
True
Let n = -215 + 565. Suppose 4*p = 2*j - 110 + n, 57 = p + j. Let i = 98 - p. Is i prime?
False
Is (-1 + 4 - (1 + 1))*2411 prime?
True
Suppose -2*r - 5*v + 8*v + 1444 = 0, 3*v = 4*r - 2882. Is r prime?
True
Suppose 0 = 2*i - 4*r - 116, -2*i + r = 2*i - 232. Suppose -v + 3*s - i = -230, -2*v + 319 = -s. Is v prime?
True
Let h(j) = 10*j - 14. Let s(k) = 11*k - 15. Let d(a) = 6*h(a) - 5*s(a). Let r be d(7). Let g = r + 20. Is g prime?
False
Let o(a) = 11*a**2 + 2*a + 4. Is o(3) prime?
True
Let p(w) = -3 + 2 + 15*w + 0. Let b(l) = -l**2 - 5*l - 2. Let z be b(-2). Is p(z) composite?
False
Let o be -93*1*(-2)/6. Suppose -j = -p + 13, -2*p - p = j - o. Is p a composite number?
False
Let a(w) = 67*w - 12. Is a(7) a composite number?
False
Suppose 4*s - 2 - 12 = 2*r, 0 = 4*r - 3*s + 3. Suppose -r*z = 3*q - 39 - 21, q = -4*z + 77. Is z prime?
True
Let t(f) = -2*f - 5. Let n be t(-6). Let k be -2 + 1 + n - 0. Is 10/(-3*k/(-63)) composite?
True
Let t = 5 - 5. Suppose t = q + q - 6. Is 74/q*(-6)/(-4) prime?
True
Let w = 7 - 4. Suppose -o + 65 = 5*h, -w*h = 4*o + 33 - 242. Let j = -36 + o. Is j composite?
True
Let x be ((-3)/9)/((-1)/12). Let d(q) = 17*q + 1. Let f be d(x). Suppose -12 = 3*p - f. Is p prime?
True
Suppose m - 4 = -4*n - 1, -15 = -3*n - 5*m. Let j(u) = u**2 - 2. Let d be j(3). Is (d - n)/((-1)/(-7)) a composite number?
True
Suppose -165 - 47 = -4*b. Suppose -80 = -3*u + d + 4*d, 3*d = 2*u - b. Is u prime?
False
Suppose t + 1 = 6. Let i = -73 + 114. Suppose -t*y + i = 11. Is y prime?
False
Suppose 3*f + 732 = 2*j, 0*j = -f - j - 249. Let m = -143 - f. Is m a prime number?
True
Let b be (-2)/((-4)/6)*11. Let x = b + -10. Is x a prime number?
True
Let a(l) = -l + 3*l - 2*l - 2 - 4*l. Is a(-2) prime?
False
Suppose 0 = 2*i - i - 3*c - 29, 4*i = 3*c + 134. Suppose 7 = -2*a + i. Is a a prime number?
False
Let a = 23 + -17. Is 4 - (a*-1 - -3) a composite number?
False
Let j be (8/10)/(2/(-5)). Let t(h) be the third derivative of -h**6/30 - h**5/60 + h**4/6 + h**3/2 - h**2. Is t(j) a prime number?
True
Let s = -45 - -65. Let m = s - 14. Let y(q) = 2*q**2 - 4*q + 7. Is y(m) prime?
False
Let d = 586 + -266. Suppose -4*u + d = -4*x, -u - 3*x - 17 + 109 = 0. Is u a composite number?
False
Let i be ((-232)/(-4))/(1 - 0). Let m = i + -25. Is m a prime number?
False
Let m = 8 + -3. Suppose x = -3*x - k - m, 2*x + 5*k = -25. Suppose x = -4*i - 35 + 183. Is i a prime number?
True
Is (14/(-21))/(4/(-222)) composite?
False
Let m(l) be the third derivative of l**4/8 - 2*l**3/3 - 2*l**2. Suppose 0 = 2*r + r + 5*c - 10, 5*c = -5*r + 20. Is m(r) a prime number?
True
Let k be (12/(-20))/(2/10). Suppose 4*v - 18 = g - 1, -2*v + g = -7. Let o = k + v. Is o composite?
False
Suppose 2*t - 5*z - 387 = -109, -t + 141 = -3*z. Is t prime?
False
Let k = 18 - 13. Suppose -4*a + 12 = 0, -r - k*a + 25 = r. Suppose 5*i - 134 = -3*z - 20, -r*i + 48 = z. Is z composite?
True
Let z(a) = 17*a**2 + 2. Let f = 7 + -5. Let w be z(f). Suppose -t + w = t. Is t a composite number?
True
Suppose -2*n - n - 36 = 0. Is (n/(-6))/(2/25) composite?
True
Suppose -78 = -s - 2*s. Let u = s - 13. Let i = -7 + u. Is i a prime number?
False
Is 4/(-1)*31731/(-84) prime?
True
Let k be (-1942)/(-14) - 6/(-21). Suppose f + 2 = 0, -3*g - f = -2*f - 746. Let i = g - k. Is i prime?
True
Let n(r) = -438*r + 1. Is n(-2) a composite number?
False
Suppose 3*a - 2027 = -5*k, 3*k + a - 1213 = -0*k. Is k composite?
True
Let l be (-32 + 0)*(-5)/10. Let f = 9 - 18. Let t = f + l. Is t prime?
True
Let k(l) = 222*l**3 + l. Is k(1) a prime number?
True
Suppose 0 = 5*q - 575 + 90. Is q a composite number?
False
Let x = 0 - 4. Let q be x/2 + 2 + 40. Suppose -k = 5*r - 115, -4*r = k - 52 - q. Is r a prime number?
True
Suppose -2*l + 6*l = 12. Is ((-2)/1 + l)*85 composite?
True
Suppose -1588 = -5*y + y. Is y composite?
False
Suppose 0 = 3*s - 5*n - 15, -4*n - 20 = -2*s - 2*s. Suppose s*t - 264 = 11. Is t a composite number?
True
Suppose -4*r + 3 = 2*s - 1, 5*s = 5*r + 10. Let z(p) = -s*p + p**2 + 2*p**2 + 4*p + 3 - 1. Is z(-5) a prime number?
True
Is (-1447)/(-9) - 28/(-126) prime?
False
Let r(c) = c**2 + 6*c - 4. Let x be r(-9). Let a = x + -14. Is a prime?
False
Let d = -1 + 3. Suppose 4*z + d = 78. Is z a prime number?
True
Suppose 0 = -2*n - 3*u - 9, -u + 5 = -4*n - 6. Is 428/1 - (-3)/n composite?
True
Let t = 365 - -366. Is t a composite number?
True
Let g = 564 - 153. Is g a prime number?
False
Suppose 0 = 4*s - 56 + 1056. Let y = -7 + -2. Is s/(-3) + 3/y composite?
False
Let t = 441 - 218. Is t a composite number?
False
Suppose 0 = -2*p - 5*f - 44, 0*p + p - 3*f = 0. Let t be (-34)/(-8) + (-9)/p. Suppose t*y - 53 = 102. Is y a prime number?
True
Let k = -19 + 15. Let o = 79 - k. Is o composite?
False
Suppose -3*a - 3*z + 6 + 0 = 0, -a + 10 = 5*z. Suppose -q - q - 6 = a. Is (0 + 37)/(-2 - q) a prime number?
True
Let c(o) be the first derivative of o**3/3 - o**2 - 2*o + 4. Let l be c(4). Is l/(-4)*268/(-6) composite?
False
Let a(u) = 2*u**2 + 3*u. Let p be a(-2). Suppose p*o - 5*o + 483 = 0. Is o composite?
True
Suppose -3*d = -4*c + c - 540, -d - c = -186. Is d prime?
False
Let d be (-4)/2*1095/(-6). Let y = d - 261. Suppose -y = -5*w + 171. Is w prime?
False
Suppose -3*l + 11 = 4*j - 16, 2*l + 5*j - 25 = 0. Suppose 2348 = 9*i - l*i. Is i composite?
False
Suppose 4*l - 21 = t + 7, 4*t - 40 = -3*l. Suppose -4*o + 0*o = -l. Suppose 0*s = -o*s + 266. Is s prime?
False
Suppose -4*s - 267 = -7*s. Is s composite?
False
Let v = 7 - 4. Let m = v - 4. Is ((-94)/4)/(m/2) a prime number?
True
Suppose 116 = -5*a - 29. Let l = 42 + a. Is l composite?
False
Let b = 942 - 301. Is b prime?
True
Let i(f) = -f**2 - f - 8. Let c be i(0). Is 2/c - (-5663)/28 a prime number?
False
Let x(m) = -m**2 - 13*m - 5. Is x(-6) a composite number?
False
Let u(j) = -j - 4 + 1 + 0. Let m be u(-7). Suppose -2*d = 2*x + 2*x - 64, 5*d = -m*x + 130. Is d a prime number?
False
Let b = 1722 - 1169. Is b a composite number?
True
Let v be 1/2 + 9/2. Suppose 3 = i - 3*m - 2*m, -2*m + 2 = 0. Suppose -48 = -4*f + v*j - 16, 0 = 2*j - i. Is f composite?
False
Let m = 75 - 20. Suppose 5*t - 4*t - m = 0. Is t a composite number?
True
Suppose 3 - 7 = -2*b. Let t(v) = -v**3 + 4*v**2 - 3 - 4*v**2 + 3*v**b - v. Is t(-4) prime?
True
Let r be 13/1 + 5 + -4. Suppose -u = -3*j - 15, -5*u - 6 = 4*j + r. Suppose -2*b - b + 231 = u. Is b prime?
False
Is (238 + (-3 - -7))/2 composite?
True
Suppose 2*q = -3*x - 109, 0*x - x - q - 37 = 0. Is (-14330)/x - (-3)/(-7) a composite number?
False
Suppose 0 = -5*a - 16 - 29. Is (-1302)/a + 2/6 prime?
False
Suppose 0*u - 1758 = -6*u. Is u composite?
False
Let y = 287 + -88. Is y a composite number?
False
Let o be 2/(-8) - (-36)/16. Suppose 4*g + 0 - 20 = 0, 3*g = -o*n + 33. Is n a prime number?
False
Suppose 0 = -3*h - 2*h + 1015. Is h prime?
False
Suppose 20 = 4*f - 12. Let i = f + -4. Suppose 40 = -0*a + i*a. Is a a composite number?
True
Let u = 59 + 830. Is u a composite number?
True
Suppose -2*v + 168 = 5*o - 3454, 5*v - 8997 = 2*o. Is v composite?
False
Suppose 5*h = -4*c - 0*h + 41, -4*c + 5*h - 9 = 0. Suppose c*t + 158 = 922. Is t prime?
True
Suppose -2*u - 133 = 5*q - 943, 648 = 4*q - 3*u. Suppose s + 0*s - 81 = -4*z, 0 = 2*s + 4*z - q. Suppose 5*t - v - v = 393, -t + s = -v. Is t