er?
True
Let x(y) = -50*y - 1. Let z(r) = -r**2 + 4*r + 5. Let f be z(4). Let i be 1/f + 18/(-15). Is x(i) composite?
True
Let w(k) = 90*k**3 + 1 - 3*k + 3*k - 2*k + 0*k. Is w(1) a composite number?
False
Suppose -347 = -3*r + 394. Is r composite?
True
Let t = 2278 + -225. Is t prime?
True
Let d(g) = 5*g**2 + 2*g**3 + 5*g**2 - 3 + 4*g - 9*g**2. Is d(4) a composite number?
False
Suppose -p - 5*d = -12, -6*p - 2 = -2*p - 5*d. Suppose 4*r - g - 111 = -r, -2*g = p. Is r composite?
True
Let w = 32 + 45. Is w a prime number?
False
Let n = 386 - -1521. Is n a prime number?
True
Suppose -5*q + 4*t + 909 = 0, -2*t + 7*t = -5*q + 945. Is q prime?
False
Let h(z) = 3 + z**2 + z - 3 - z**3. Let c be h(-1). Let n(d) = 21*d**3 + 2*d**2 - d. Is n(c) composite?
True
Let p = 289 - 45. Suppose -p = -0*h + 4*h. Let l = 180 + h. Is l prime?
False
Let t be 2/(-18) + (-308)/(-99). Suppose -n - 212 = -5*m + 163, 0 = m + 3*n - 75. Suppose 0 = -5*x + 27 - 12, -2*l + m = t*x. Is l composite?
True
Let g(h) = 178*h**2 - 6*h + 1. Is g(-5) a prime number?
True
Let p(l) = -3*l**3 - 5*l**2 + 2*l + 5. Let y(s) = -s + 1. Let h = 13 - 8. Let f be y(h). Is p(f) a composite number?
False
Let l(f) be the third derivative of -f**5/60 - 7*f**4/24 - f**3/2 - f**2. Let u(g) = g**3 + 6*g**2 + 7*g + 5. Let y be u(-5). Is l(y) a prime number?
True
Suppose -3*o + 474 = -o. Suppose 5*y - 32 = -4*v, -5*y + 10*y + 5*v = 35. Suppose -i - i - o = -3*u, y*u + 3*i - 316 = 0. Is u a prime number?
True
Let j(d) = -d**3 - 2*d**2 + 5*d - 4. Is j(-5) a prime number?
False
Let d = -171 + 590. Is d prime?
True
Let a(d) be the first derivative of 4*d**2 - d + 3. Is a(6) composite?
False
Is 0 - (-1)/(5/5035) composite?
True
Let i(v) = v**2 + 7*v + 8. Let m be i(-6). Let u = -3 + 7. Suppose -u + m = -h. Is h prime?
True
Let k be (5/10)/((-1)/(-6)). Suppose 4*o - 53 = k. Is o composite?
True
Suppose -20 + 8 = -4*v. Suppose v*c - 176 = 187. Is c a composite number?
True
Let m(n) = n**3 - 15*n**2 - 8*n + 15. Is m(16) composite?
True
Let s(y) = y + 3805. Is s(0) prime?
False
Suppose -3*w + 4*w = -4*y - 5, -5*w = -3*y - 21. Suppose 0 = -5*s - w*t - 197 - 180, s + 4*t + 72 = 0. Is 3/(-9) - s/3 a prime number?
False
Suppose 323 = 8*p - 7*p. Is p a composite number?
True
Let b = -3 - 0. Let d = 3 + b. Suppose 2*t - 4*t + 44 = d. Is t a composite number?
True
Suppose o - 203 = 33. Suppose -x + o = x. Suppose -198 - x = -4*d. Is d a prime number?
True
Let f(l) = -l**2 - 14*l + 5. Let x be 3*(-2 - (2 - 2)). Is f(x) prime?
True
Let a = 734 + 97. Is a prime?
False
Let w(i) be the first derivative of -3*i**4/4 - 5*i**3/3 + i - 2. Is w(-6) a composite number?
True
Let a be -214 - (0/2 - -1). Is a/2*2/(-1) a composite number?
True
Let j = -201 - -342. Let n = 53 + j. Is n composite?
True
Suppose 3*t - 8 = 4*b, -2*t - b - 3 = -3*t. Suppose -4*l = g - 117, 7*g = t*g + l + 286. Is g a composite number?
False
Suppose 2*o = -o + 489. Suppose d = 4*f - 1320, f = 3*d + o + 178. Is f a composite number?
True
Suppose 0 = -5*d + 21 - 6. Suppose -d*n = -2*n + 2*g - 41, g = 3*n - 116. Suppose -4*q = -q - n. Is q a prime number?
True
Suppose -s - 33 - 4 = 0. Let j = -26 - s. Is j composite?
False
Let w be ((-13)/13)/(2/38). Suppose 92 = 3*p - m, 4*m - 7 = 9. Let s = w + p. Is s a prime number?
True
Let k = 56 - 32. Let v = k + -13. Is v prime?
True
Suppose -4*r = -3*s - 3, -4*s - r = -5*r. Let a(m) = m**2 + 0*m**s + 47 - 4*m**3 + 5*m**3. Is a(0) a prime number?
True
Let h(j) = j + 5. Let m be h(-4). Let k be 15 - -6*(-2)/4. Let z = m + k. Is z composite?
False
Suppose -2*b - 2*s = -6*b - 2, -5 = 5*s. Let u be 1/b + -82*1. Let m = -34 - u. Is m prime?
False
Suppose -5 = d, -3*o = 2*o + 2*d - 1315. Is o a composite number?
True
Suppose 5*t - 812 = t. Is t a composite number?
True
Let o be -14*1*1/(-2). Let n(q) be the second derivative of q**3/6 + 3*q**2/2 + q. Is n(o) a composite number?
True
Let w be -50 + 0 + 2/1. Suppose 4*g = 4*b - 284, 5*b + 4*g + 0*g = 373. Let s = b + w. Is s a prime number?
False
Let q = -194 - -74. Let z = q + 177. Is z composite?
True
Suppose 8452 = 4*v - 3*r - 1348, 5*v + 3*r = 12277. Is v a prime number?
False
Let h(x) = -20*x + 13. Is h(-5) a composite number?
False
Suppose 387 = 2*n - n - 2*g, -5*g + 415 = n. Is n a composite number?
True
Suppose 0*n - 2*n = -l - 1853, 3*l + 4635 = 5*n. Suppose 1941 + n = 3*v. Is v composite?
True
Suppose 3*d - 2*d - 31 = 2*h, 2*d - 5*h - 65 = 0. Let o(g) = g**3 - 2*g**2 - 3*g + 3. Let z be o(3). Suppose -z*l + d = -5. Is l composite?
True
Suppose -3*v + 1148 = v. Suppose -2*a = -a - 5*x - v, 3*a - 4*x = 806. Is a prime?
False
Let i(s) = 5*s + 149*s**2 - 5*s. Is i(-1) a prime number?
True
Let w = -2 + 1. Let t be 117 + 1 + w + 0. Suppose -4*x + x = -t. Is x composite?
True
Let w(t) = 2*t + 5. Let g be w(-7). Let v = -18 + g. Let h = 80 + v. Is h a prime number?
True
Let x be 1150/15*(42/10 + -3). Let h = -100 + 47. Let c = x + h. Is c composite?
True
Suppose 3*g - 4*g - 9 = 0. Is 3/(g/(-204)) - 1 prime?
True
Suppose 2*s + 939 - 6157 = 0. Is s composite?
False
Let l = -9 + 19. Suppose -l = -c - 4*c. Suppose -67 = -3*a + c. Is a prime?
True
Let h(r) = -r - 7. Is h(-18) a composite number?
False
Let d be 2/3 - 8/3. Let k(q) = -q**3 - 2*q**2 - q - 2. Let o be k(d). Suppose 2*s + 5*n - 451 = -o*s, -2*s + n = -469. Is s a composite number?
False
Let z = 334 - -925. Is z prime?
True
Let y(g) = -g + 7. Let z be y(9). Let t = 0 - z. Is t a prime number?
True
Suppose -2 - 6 = -4*t. Suppose m - 2 = -0. Suppose 0*x + 2*h = 5*x - 815, -t*x + m*h = -332. Is x a composite number?
True
Let h be 3 + 2 + -1 + -2. Let b = h - 1. Is (1 + 0)/(b/79) a prime number?
True
Suppose 9*i - 5*i = 0. Suppose n - 429 = -i*n - 4*j, -2*j + 419 = n. Is n a composite number?
False
Let p be (-2)/1 - (-6)/3. Suppose 2*o + 3*m - 46 = p, -6*o + 126 = -o + 2*m. Is o a composite number?
True
Suppose 4*q - 2*q - 6 = 0. Suppose 6*u - q*u = -30. Let c = -3 - u. Is c composite?
False
Is (-85)/10*2*(0 + -11) a composite number?
True
Let j be (-1752)/(-108) + 4/(-18). Let z be (-22)/(-6) + (-6)/9. Let l = j - z. Is l a composite number?
False
Let f(v) = -5 - 4 - 6*v + 16. Is f(-5) a composite number?
False
Let t = -3 + 18. Let g = 9 - t. Is ((-3)/(-1))/((-2)/g) composite?
True
Let g(w) = w + 1. Let d be g(-1). Suppose -5*q + 4*a = -a + 5, -q + 5*a - 21 = d. Suppose 3*j = -15, q*j - 331 = -4*b - j. Is b composite?
False
Let r(f) be the first derivative of f**3/3 + 39*f - 1. Suppose 0 = 4*p - 0*p. Is r(p) a composite number?
True
Suppose 0 = 2*u + 662 - 3180. Is u a composite number?
False
Suppose -n + 4 = -3*s, -4*n + 3*s = 8*s - 16. Suppose -2*f = -l - 195, -138 = -n*f - 3*l + 267. Suppose -3*a + f = -0*a. Is a a composite number?
True
Let a(x) = -17*x. Let m be (-30)/(-4)*(-8)/3. Let t be 6/5*m/8. Is a(t) prime?
False
Let u be (-2)/((-6)/(-127))*3. Let n be (-1*2)/((-2)/u). Let w = 290 + n. Is w prime?
True
Let j be ((-2)/(-6))/(4/12). Let c be j + 23 + (-4)/2. Suppose 2*r = 4*r - c. Is r a composite number?
False
Let b(c) = -13*c - 9. Let s be b(-11). Suppose -4*v + s = -2*v. Is v a prime number?
True
Let o = -2 + 7. Suppose -o*u = -172 + 17. Is u a prime number?
True
Suppose -d - 5*b + 20 = 0, 2*d + 2*b = 7 + 1. Suppose d = -2*o + 7 - 1. Suppose -30 = -o*c - 0*c. Is c prime?
False
Let h = 313 - 192. Is h a prime number?
False
Let w = 396 - 262. Is w composite?
True
Let w(j) = 11*j + 1. Let r be w(-1). Let p = -7 - r. Suppose p*d + 237 = 3*x, 5*x = -0*d + 4*d + 393. Is x prime?
False
Suppose 0 = h - 4*l - 157, -23 + 189 = h + 5*l. Suppose 0 = 2*y + 8, 3*y - h - 141 = -2*j. Is j composite?
False
Suppose -2*k + 5*g = k + 552, 0 = 4*k - 5*g + 736. Let a = -108 - k. Suppose n = -3*n + a. Is n a prime number?
True
Let r = 9 + -5. Suppose -g + 0*q = -5*q - 23, r*g + 4*q = -28. Is -1 + 22 + g/1 a prime number?
True
Let o(s) = 6*s - 4. Is o(3) a composite number?
True
Let r(v) = v**2 - 9*v + 10. Let m be r(8). Suppose -2*l - 134 = -4*i, -m - 13 = -5*l. Is i a composite number?
True
Let x be 1 + -1 + 2 + -1. Is 19 - (0/x)/2 prime?
True
Suppose 5 - 31 = -2*l. Is l prime?
True
Let x(j) = -j**2 + 10*j + 1109. Is x(0) a composite number?
False
Let r(q) = 120*q**2 + 7*q - 5. Is r(2) a prime number?
False
Let z(t) = t**3 - 16