z, -z + 5*m - 28 = 0. Let h(i) be the first derivative of -i**3/3 - 4*i**2 + 10*i + 2. Is h(z) a prime number?
False
Suppose -21*a = -7*a - 21490. Is a a prime number?
False
Is (-6951)/(-14)*(-6)/(-9) a composite number?
False
Let t = 443 + 170. Is t prime?
True
Suppose 4*d + d = 0, -5*s - 4*d = -3925. Is s composite?
True
Let n be 5/(3 + 2 + -4). Let x(y) = 9*y**2 + 4*y + 6. Is x(n) a composite number?
False
Suppose s - 294 = 2227. Is s prime?
True
Let w(z) = 377*z - 10. Let n be w(5). Suppose -527 + n = 4*j. Is j prime?
True
Let t(l) = -l**3 + 9*l**2 - 8*l + 9. Is t(6) a prime number?
False
Suppose 3*c - 1038 = -2*o + 5*c, 4*o - 2088 = -2*c. Is o prime?
True
Let u(w) = -4*w + 2*w + 8 + w. Let b be u(5). Suppose 140 = l + b*l. Is l a prime number?
False
Suppose -5*k - 1897 = 3*t, -8 = k - 3. Let d = t - -1018. Is d a prime number?
False
Let x(t) = -3*t**2 + 3*t**2 - 2 + t**2 + 4 - 4*t. Is x(6) composite?
True
Let t(y) = 564*y**3 - y. Is t(1) composite?
False
Suppose 15 = -5*t, -4*a + a - 2*t = -7575. Suppose 2*h - 2*m = 1006, 2*h + m - a = -3*h. Is h a prime number?
False
Suppose 2*m - 123 = -x + 6*m, -2*m = -2*x + 252. Is x prime?
True
Let m(l) = -538*l - 1. Let y(k) = 359*k + 1. Let g(p) = -5*m(p) - 7*y(p). Is g(3) a composite number?
True
Let n(k) = -k**3 + 8*k**2 - 2*k. Let w be n(8). Is (-3432)/w + 3/(-2) prime?
False
Suppose 0 = -0*p + 4*p - 4*n - 20, -2*n + 60 = 5*p. Is 2926/p - (-12)/30 a composite number?
False
Let a(g) = g**3 - g**2 - g + 1. Let p be a(1). Suppose p = 4*w - 609 - 19. Is w a composite number?
False
Let b = -26 + 243. Is b prime?
False
Let l be (-2)/(-10) - (-51)/(-5). Let s be 2 + 1 + -1 + 18. Let y = l + s. Is y prime?
False
Suppose 3*p - 12 = -2*l, 4*p + 0*l = 2*l + 16. Suppose 0 = p*f - 10 - 10. Suppose 3*s - 2*s - 89 = 2*j, -f*j = 15. Is s prime?
True
Suppose -12 = 2*z - 6*z. Suppose -2*n + z = -1. Suppose -n*o + 41 + 1 = 0. Is o a composite number?
True
Suppose g + 3 = 1. Let m be (344 + 2)/(g/(-4)). Let k = m - 487. Is k a composite number?
True
Let m be (0 + 3)*(32 - -3). Suppose 5 = a - m. Let k = -55 + a. Is k a composite number?
True
Let s = 5 + -5. Let l = 0 - -3. Suppose -p + s*x + 32 = -x, l*p + 3*x = 126. Is p a prime number?
True
Let i(v) = v**3 - 2*v**2 + 20*v + 4. Is i(7) composite?
False
Suppose -2*j = -5*u - 25, -2*j - 3*u + 33 + 32 = 0. Let i = 39 - j. Is i prime?
False
Let r be (-2)/(-2) - (-1 - 0). Suppose -5*o - 161 = -r*s, -2*o + 382 = s + 3*s. Is s prime?
False
Let f(q) = -388*q**3 + q**2 + q + 1. Is f(-1) a composite number?
False
Let v be ((-2)/6)/((-2)/12). Suppose -873 - v = -5*g. Suppose 3*d + 9 = 0, -4*q + 60 + g = -5*d. Is q a prime number?
False
Let f(x) = 202*x - 53. Is f(7) a prime number?
True
Suppose -5*n = -2*z + 15, 0*z = 3*z + 3*n + 9. Let f(m) = -m**2 + m + 13. Is f(z) prime?
True
Suppose -3*j + 6*j = -84. Let t = 61 + j. Is t a prime number?
False
Suppose -3*u - 6*p = -2*p + 2692, 2*u + 3*p = -1796. Is u/(-6)*24/16 a prime number?
True
Let a(u) = -u**3 + 5*u**2 + 7. Suppose 5*x + 0*t + 4*t - 21 = 0, x - 3*t - 8 = 0. Is a(x) a prime number?
True
Let s(p) = p**2 - 8*p + 11. Let d be s(6). Is (2 + -5)/(d/127) composite?
True
Is (2/(-6))/(2/(-1794)) a composite number?
True
Let v be (-3)/9 - 8/(-6). Let r be v*471/(-6)*-2. Suppose 5*c - 3*m - 316 = 486, c - 4*m - r = 0. Is c a composite number?
True
Let j = 2070 - 1238. Is j/6 - 2/(-6) a prime number?
True
Let f be (-6)/(-3) - (-2 + -194). Let m = -127 + f. Is m a composite number?
False
Suppose 2*j = 6*j - 316. Suppose 2*s - 31 = z, j = 5*s - 0*z - 3*z. Is s prime?
False
Suppose -9 = 5*l - 3*k, 4*l = 6*l + 5*k - 15. Is l/(-2 - -4) - -74 a prime number?
False
Let o(z) = z**2 + 12*z + 11. Let r be o(-11). Suppose r = -m - m + 236. Is m composite?
True
Let a(l) = 3*l**3 + 6*l**2 - 3*l + 10. Let h(n) = -2*n**3 - 3*n**2 + 2*n - 5. Let k(p) = 3*a(p) + 5*h(p). Is k(-6) a composite number?
True
Suppose 0 = 5*j + 2*n - 11, 0*j - 4 = 5*j - 3*n. Let m(g) = -g**2 - g. Let x be m(j). Is (10/6)/(x/(-66)) prime?
False
Let h(l) = l**3 + 10*l**2 - 10*l - 5. Is h(-9) a prime number?
False
Suppose 3 = -6*h + 2*h + 5*l, -2*h = 5*l - 21. Suppose h*n - 2*n - 5*s + 10 = 0, 6 = 3*n - 3*s. Suppose -n*o = -4*x - 51, 4*x + 3 + 20 = o. Is o composite?
False
Suppose 0 = -z + 5*z - 3*d - 23008, 2*z - 11494 = -d. Is z composite?
False
Let r = 23 + 143. Is r a prime number?
False
Let p = -939 + 1441. Is p prime?
False
Let r be 4 + -6 + 4*2. Let k(p) = 37*p + 1. Let v be k(2). Suppose 4*z = -o + v, 2*z - o + r*o - 33 = 0. Is z composite?
False
Let y(p) = -p**3 - 2*p**2 + 3*p + 4. Let d be y(-2). Is -4 - ((-27 - -3) + d) a prime number?
False
Let x(v) = v**3 + 4*v**2 - 2*v - 4. Let l be x(-4). Suppose l*n + 45 = 3*z, 2*z - 16 = 2*n + 16. Is z prime?
True
Is (-5)/(15/6) - (-204 + 11) a prime number?
True
Let f(b) = b**3 + b**2 - 2. Let r be f(0). Let k be (-53)/r - (-2)/4. Suppose 4 - k = -d. Is d a composite number?
False
Let m(t) = -t**3 + 7*t**2 - 2*t + 9. Let h be m(7). Let y(l) = 4*l**2 + 4*l - 1. Is y(h) composite?
False
Let h(z) = 4*z**3 - z - 2. Let y be h(2). Suppose -3*j - y = j. Is -5*3/3*j a composite number?
True
Let n = 325 + -140. Is n composite?
True
Let p be 10/(-3)*(-24)/16. Suppose 2*b = -p*j + b + 953, -4*b = -3*j + 581. Is j prime?
True
Suppose 5*k - 10 = -5*v, 6*k + v - 4 = 3*k. Is k + 3 - (4 - 7) composite?
False
Let h = 43 + -31. Suppose 4*x - 2 = -4*s - 10, 3*s - 3*x = -h. Is -9*(4/s)/4 a composite number?
False
Suppose -4*f - k = -2*k - 718, 354 = 2*f + 2*k. Is f prime?
True
Let l = -11 + 13. Suppose -6*s + 2*s + 5*q + 314 = 0, 4*q = 8. Suppose l*k - s = 53. Is k a prime number?
True
Let b(f) = -f - 2. Let w = -11 - -7. Let h be b(w). Suppose 290 = 5*k - 5*a, h*k + k = 2*a + 171. Is k composite?
True
Let x be -2 + 8*(-15)/6. Let i = x - -14. Is (-127)/(-5) + i/20 composite?
True
Let a(l) = 9*l**2 + 5*l + 3. Let z = 5 + -9. Is a(z) composite?
False
Suppose -691 = -n + 3*a, n - 6*n + 5*a + 3495 = 0. Suppose -3*t = -752 - n. Is t composite?
True
Is 13/((-39)/(-3348)) + -1 prime?
False
Suppose 9*k - 10*k + 133 = 0. Let p = -4 - -6. Suppose -k = -h + 3*o, 2*h + o + p*o = 302. Is h a composite number?
True
Suppose -4*k = 3*o - 148, 0*o = k - o - 37. Is k a prime number?
True
Suppose 2829 - 987 = 6*t. Is t prime?
True
Let r = 337 - -226. Is r prime?
True
Let p(i) = -i**2 - i + 9. Let t be p(0). Let g(b) = -2*b - 6. Let l be g(t). Let m = 13 - l. Is m a composite number?
False
Let c = 406 - 121. Suppose 0*y - 3*y = -c. Is y prime?
False
Let i = -10 + 261. Is i composite?
False
Suppose -8*u + 12*u - 4404 = 0. Is u composite?
True
Suppose 4*q + 3 = 31. Let r be (0 - 6)*(0 - q). Is r/8*(-16)/(-6) composite?
True
Suppose 3*o + 14 = 2. Is 5 + -2 + o - -78 composite?
True
Suppose 0 = -3*l + 5*l - 530. Is l a prime number?
False
Suppose 4*m - 653 + 1 = 0. Suppose 809 = 5*s - n + 3*n, m = s + n. Is s a composite number?
True
Let c = 13 + -155. Let n = -64 - c. Suppose n + 62 = 4*f. Is f a composite number?
True
Let a(g) = -2*g + 9. Suppose -b - 2*b = -2*z - 5, 0 = -2*z - 5*b - 29. Is a(z) prime?
True
Let f = 1 + -2. Let g = 6 + f. Suppose 0 = g*m - m - 44. Is m composite?
False
Let y = 1466 + -511. Is y a composite number?
True
Suppose 3*p - 3*l = 17181, 0 = 4*l - 8 - 8. Is p composite?
True
Let m = 2544 - 863. Is m prime?
False
Let u(h) = h**2 + 0*h + 2*h + 2*h + 0*h + 10. Is u(-9) composite?
True
Let m(b) = b**3 + 5*b**2 - b - 3. Is m(-5) a composite number?
False
Let b = 167 - 84. Is b composite?
False
Let o = 19 - 13. Suppose -4*t + o + 2 = 0. Suppose 5*l - t*l = 795. Is l composite?
True
Suppose 12 = -0*b + 4*b + 4*t, -6 = -2*b + 4*t. Suppose b*k - 71 = -14. Is k prime?
True
Suppose 4*y = -3 - 13. Let n(i) = -3*i**3 - 19*i**2 - 23*i + 19. Let d(l) = l**3 + 6*l**2 + 8*l - 6. Let a(f) = y*n(f) - 11*d(f). Is a(-9) composite?
True
Let u = -24 + 75. Is u a composite number?
True
Suppose -5361 = -6*y + 2805. Is y prime?
True
Let w(h) = 4*h - 2*h**3 - h**2 - h - 4 - 5*h. Let i be (6/8)/(1/(-4)). Is w(i) composite?
False
Suppose 5*t + 555 = -825. Is t/(-3) - (1 + 0) composite?
True
Suppose -4780 = -3*x + 11963. Is x a prime number?
True
Is 45*3 - (-7 - -9) composite?
True
Suppose 0*h - h = -517. Suppose 3*i - 494 = h. Is i composite?
False
Suppose -34