w - 27 = -w + 2*b. Is 7188/10 - w/(-35) a composite number?
False
Suppose -h - 106 = -3*h + w, -w - 161 = -3*h. Let y = -22 + h. Is y a composite number?
True
Is 2/(1 - -1) - 2758/(-7) prime?
False
Let f be (-1)/2 + 3/(-6). Let g be (1 - 0/(-2)) + f. Suppose 4*k - 165 - 111 = g. Is k prime?
False
Let c be (-5 - -2) + (-195)/(-3). Suppose -2*g = -2*a - c, 6*a - 2*a - 16 = 0. Is g a composite number?
True
Suppose -2*u + 0 = 4. Let l be u + 1 - (4 - 9). Is 19 + (l + -1 - 3) prime?
True
Let s = -1888 - -2855. Is s a composite number?
False
Let d = -4 - -10. Let l(n) = n**3 - 7*n**2 + 6*n - 5. Let s be l(d). Is 9/(-5)*1*s prime?
False
Suppose -2*o + 0*u = 2*u - 1328, -o = -5*u - 682. Is o composite?
True
Let f(j) = 1 - j**3 - 8*j - 12*j**2 + j - 4*j. Let l be f(-11). Is 79*l*(8 - 7) prime?
True
Suppose -2*f + 30 = -4*u + 3*f, 3*u = -f - 32. Let h = u - -46. Let x = 1 + h. Is x prime?
True
Let u(y) = 5*y**2 + 2*y + 2. Let a be u(-2). Is (-3)/2*(-516)/a a composite number?
False
Let m(h) = -h + 0*h + 159 + 3*h + 64. Is m(0) a prime number?
True
Suppose 18 = -3*i + 2*j, -5*i + 20 = -j + 57. Let d(h) = -1. Let y(u) = -5*u - 1. Let k(z) = 6*d(z) + y(z). Is k(i) composite?
True
Let c be 3/9*3 + 7. Let y(a) be the first derivative of 2*a**2 + 5*a - 2. Is y(c) a composite number?
False
Let n(d) = -2*d - 8. Suppose 0 = u - 3*u - 12. Let f be n(u). Suppose 5*w - 3*t - 47 = 0, -f*t - 11 = w - 2. Is w a composite number?
False
Suppose t + 886 = 4*z, 0*t - 1760 = 2*t - 2*z. Is 1*t*2/(-4) prime?
True
Is (2302/3)/(34/51) a composite number?
False
Let a(n) = -3*n**3 - 15*n**2 - 7*n + 11. Let f(p) = -2*p**3 - 14*p**2 - 7*p + 10. Let z(k) = 3*a(k) - 4*f(k). Is z(10) a composite number?
False
Let c(p) = p**2 - 2*p + 0 - 6*p - 1. Is c(-6) prime?
True
Let m(h) = h**3 + 7*h**2 + 4*h + 3. Suppose -4*q + 1 - 17 = 0. Is m(q) composite?
True
Is (-26)/104 - (-3645)/4 prime?
True
Let u = 22 + -20. Suppose -u*q - q + 1437 = 0. Is q a composite number?
False
Suppose 22 = -3*c + 64. Let i be 66/c + (-12)/(-42). Let p = i - 2. Is p prime?
True
Let k be ((-6)/10)/((-9)/45). Suppose 3*i + 0*i + 420 = -k*d, -3*d = -2*i - 260. Let j = 291 + i. Is j prime?
False
Let z(p) = 1014*p**2 - 3*p + 1. Let w be z(1). Suppose w = 6*u - 746. Is u a composite number?
False
Let v(i) = i**3 - 8*i**2 + 5*i + 14. Let y be v(10). Let t = y - 137. Is t prime?
True
Let g(p) = -p**3 + 5*p**2 + 7*p - 3. Let t be g(6). Suppose -f - t = -36. Is f prime?
False
Suppose -2*b = 2*l - b - 5, 0 = 3*l + 4*b - 5. Let i = 5 - l. Suppose n + 2*o - 187 = -50, 0 = 5*n - i*o - 625. Is n composite?
False
Suppose -7*n - 4543 = -19236. Is n a composite number?
False
Suppose 0 = -n - 4*n + 10. Is ((-10)/15)/(n/(-177)) prime?
True
Let f = 2 + -6. Let s be (1 + -3)/4*f. Is (-1)/s + (-729)/(-6) prime?
False
Suppose -1 = -5*c + i + 24, -3*i = c - 5. Is c + 100 - 2/(-2) a prime number?
False
Let a(g) = -g**3 + 8*g**2 - 4*g - 2. Let q(i) = -i**3 + 4*i**2 + 6*i - 4. Let u be q(5). Let v be u/(2/(10/1)). Is a(v) a composite number?
False
Let r(k) = 18*k**2 + 2*k - 2. Is r(2) a prime number?
False
Let m(n) = -n. Let o be m(-1). Let h(d) = 10*d**3 + d**2 - 2*d + 1. Is h(o) a composite number?
True
Let b(i) = 12*i**2 + 5*i - 8. Is b(9) a composite number?
False
Let v(j) = j**2 + 4*j + 4. Let o be v(-4). Suppose 4*h + 8 = o. Is 19 - (2 + 2/h) a prime number?
True
Let h(j) = 2*j. Let p be h(1). Suppose p*d - 4 = d. Suppose d*y + q - 380 = 0, -y - 4*q = 3*y - 380. Is y a prime number?
False
Let l(d) = -d - 5. Let u(a) = a**2 + 8*a + 1. Let r be u(-7). Let t be l(r). Is t/(-5) - (-192)/10 composite?
False
Let o = 3 + 1. Suppose -d + 279 = o*p, -d = -2*d + 4*p + 239. Is d prime?
False
Suppose -1475 = -3*s - 5*p, 12 = 4*p - p. Is s a composite number?
True
Suppose -3*t = -6, 5*a + 664 = -t + 2396. Suppose 132 = 2*z - a. Is z prime?
True
Suppose 2*a - 4*a = -2. Let h(y) = 1 + a - 3*y - y - 5. Is h(-3) composite?
True
Suppose 85 = 2*f - 1. Is f a composite number?
False
Let i = 41 - -97. Suppose -r = 2, -2*r = -2*b + i - 32. Is b composite?
True
Let b = -59 + 89. Let a be 6/b - 3574/(-5). Suppose 0 = 3*c - 2*z - 425, 4*c - 2*z - a = -c. Is c a prime number?
False
Let k(t) = t**2 + 7*t. Let x be k(-6). Let a(b) = -4*b**3 - 9*b**2 - 3*b - 1. Is a(x) prime?
True
Let l(r) = -r + 94. Let j be l(0). Let h = -5 + 10. Suppose 2*c + 4*k = j, 3*c - 57 = -h*k + 79. Is c composite?
False
Is ((-118)/(-4))/(6/12) composite?
False
Suppose -3*w = -j - 2324 + 799, 3*w - 1519 = 4*j. Is w a prime number?
True
Suppose s + 3*s - 1164 = 0. Is s a composite number?
True
Let v(h) = 3*h**3 + 5*h**2 - 8*h + 7. Is v(5) composite?
False
Suppose -4*s = 5*l - 30, 2*l + 2*s - 16 = -l. Let v(y) = 3*y**l + 0*y**2 - y - 1 + 4*y. Is v(-4) composite?
True
Let q(o) = o**3 + 12*o**2 + 10*o - 6. Let y be q(-6). Suppose y = 3*t - 63. Is t composite?
False
Suppose -3*z + 2433 = -4*k, -4*z + 4078 = z + k. Suppose -7*f + z = -2*f. Is f a composite number?
False
Suppose -o + 3*b + 148 = 17, -2*b + 2 = 0. Is o prime?
False
Suppose -4*u = -9*u + 935. Is u prime?
False
Let i(n) = 49*n**2 + 5*n + 5. Is i(-2) a prime number?
True
Let k(f) be the second derivative of f**5/20 - 7*f**4/12 + 5*f**3/6 + f**2 - 3*f. Is k(7) a composite number?
False
Suppose 60 = d + 3*i, -3*d + 110 = -9*i + 4*i. Suppose -c = 4*c - d. Is c a prime number?
False
Let k be (-9)/2 - 2/(-4). Let m be (-1)/k - (-309)/12. Suppose 0 = -2*l - 0*l + m. Is l prime?
True
Suppose w - 4*w = -2*f + 106, 0 = 3*w + 12. Suppose -4*s = 4*z - 520, 2*z + 4*s = -0*s + 260. Let a = z - f. Is a a composite number?
False
Let s(p) = -p**3 - 12*p**2 + 3. Let u be s(-12). Suppose 3*m - 33 = -u. Is m composite?
True
Let f = 126 - 138. Let k be (6/4)/(6/8). Is k/f - (-381)/18 a composite number?
True
Let k = -366 + 767. Is k composite?
False
Let i = 529 - 2350. Let l = i + 977. Is (l/(-12))/((-3)/(-9)) composite?
False
Suppose 0 = 11*k - 6*k - 1255. Is k a prime number?
True
Suppose -1388 = -13*y + 9*y. Is y prime?
True
Suppose -2*v - 42 = -5*y, 2*y + 4*v = v + 13. Suppose 4*a - 4*q = 84 - y, 0 = q - 5. Suppose -l = -9 - a. Is l a composite number?
True
Suppose 2*d + 5*p + 937 = 4*d, 1887 = 4*d + 3*p. Is d a prime number?
False
Suppose 5*j + 5*z = 1460, -3*j + 7*j + z = 1171. Is j a prime number?
True
Suppose a - 3*d = 695, 6*a - a + 4*d - 3494 = 0. Is a composite?
True
Suppose -5*o - 3756 = 3*q, 4299 - 531 = -5*o + q. Suppose -4*l - 9 = -l - 5*f, 6 = -2*l - 4*f. Is o/(-1)*l/(-9) composite?
False
Suppose -1378 - 172 = 5*q. Let t = -151 - q. Is t a composite number?
True
Suppose 0 = 4*b - 4 + 24. Let y(z) = 7*z**2 - 3*z - 7. Is y(b) a prime number?
False
Suppose -1401 = -7*g + 4*g. Is g composite?
False
Let p(j) = j**3 + 6*j**2 - 7*j + 3. Let x be p(-7). Let o = x + -3. Suppose 0 = 3*z + 2*z - 3*b - 170, 3*b = o. Is z prime?
False
Let j be (-22)/(-4)*8/(-2). Let l(w) = -w**2 + 6*w + 5. Let g be l(7). Is (-4)/g - j/2 a prime number?
True
Is -6 + 7 + -5 - (-1 + -910) composite?
False
Suppose 26 - 4 = r + 4*o, -5*o + 31 = 3*r. Suppose u + 22 + 1 = 2*f, 2*f - r*u = 18. Is f composite?
True
Suppose 1 = j - 2*k, k - 23 = 2*j + 2*k. Let o = 31 + j. Is o composite?
True
Let s be (-105)/(-20) + 2/(-8). Let n = 50 + s. Is n a prime number?
False
Suppose -6*v = -0*v - 15654. Is v a prime number?
True
Let l be 0 + 1 + (-4 - 52). Let b = 170 + l. Is b a prime number?
False
Let d(f) = f**3 + 12*f**2 - 17*f + 1. Is d(-10) prime?
False
Suppose 284 + 1286 = 5*s. Is s prime?
False
Suppose -5*p - 295 = -3*u - 2*u, 3*u - p - 177 = 0. Is u a prime number?
True
Let h(u) = u**2 - 2*u - 117. Let z(k) = 6*k**2 - 11*k - 584. Let p(r) = -11*h(r) + 2*z(r). Is p(0) a composite number?
True
Let m(u) = -20*u**2 - 9*u + 9. Let i(p) = -19*p**2 - 8*p + 8. Let y be ((-7)/(-2))/(6/(-12)). Let l(n) = y*i(n) + 6*m(n). Is l(3) a prime number?
False
Let t be 275/7 + (-2)/7. Is t/2*(-20)/(-15) composite?
True
Suppose 0 = y + 3*z - 0*z - 5147, -2*y - 2*z + 10302 = 0. Is y composite?
False
Suppose 2*f = f + 373. Is f prime?
True
Let m = -9 - -13. Is m/24 - 59/(-6) a composite number?
True
Suppose -2*u = -u - 5*d - 162, -174 = -u - d. Let s = -23 + u. Is s composite?
False
Suppose -4*a = 0, -2*a = 4*i - 3*a - 8. Is (-83)/(-2)*4/i a prime number?
True
Let k = 1615 - 1062. Is k prime?