7. Let z = -6 + 10. Let a = z + 1. Is w(a) a composite number?
True
Suppose -10 = -4*x + 3*h + 4, -4*x = -4*h - 16. Let f be (1/x)/(3/24). Suppose -3*i + 669 = 5*v, -4*i + i + f*v + 669 = 0. Is i composite?
False
Let m = -24 + -15. Let p = 110 - m. Is p prime?
True
Let n = 179 + -36. Is n a composite number?
True
Is (219/(-9) - 0)*-6 prime?
False
Let l be (0/(-2) + 0)/(-2). Let x = 3 - l. Let w = x + 0. Is w a composite number?
False
Let t be 2 - 5/(4 - 3). Let v = 0 + 2. Is 213 + t/(3/v) prime?
True
Let k(f) = 6 + 4 - 7 + 9*f. Let x(i) = -17*i - 6. Let m(h) = 11*k(h) + 6*x(h). Is m(-3) a composite number?
True
Let i(v) = -v**3 - 8*v**2 - v - 7. Let z be i(-8). Is 544 + (0 - (4 - z)) a composite number?
False
Let u(s) = 13 - 5*s - 5*s + 0*s. Is u(-9) a prime number?
True
Let l(y) be the second derivative of 67*y**3/6 + 3*y. Let r be l(1). Let n = 98 - r. Is n composite?
False
Let d = 890 + -603. Is d composite?
True
Let m(a) = -a**3 + a**2 - 3*a - 17. Is m(-6) composite?
True
Let v = 16 + -12. Is 470 - (v/2 - 1) a prime number?
False
Let p be -6*(60/9 - 4). Is -4 + p/(-2) + 81 a composite number?
True
Suppose -2*b = -6 - 4. Suppose 4*w = -8, -2*h + b*h + 4*w - 4 = 0. Suppose -h*r - 2*o = -68, 3*o - 28 = 5*r - 91. Is r a composite number?
True
Let j = 153 + 57. Suppose -164 = -2*t + 3*q, -2*t - 5*q = -j + 62. Is t a composite number?
False
Suppose 0 = -9*j + 6*j + 231. Is j a composite number?
True
Let n = 5 + -223. Is 2/4 - n/4 a composite number?
True
Let z(b) = -160*b + 13. Is z(-3) composite?
True
Suppose y = l + 4*y - 202, -2*l + 2*y + 396 = 0. Is l a prime number?
True
Let f(u) = -2*u**3 + u**2 + u + 319. Is f(0) a prime number?
False
Suppose 0 = 3*s + 49 + 29. Let y = -16 - s. Is y composite?
True
Is (-4)/((-4)/293)*1 composite?
False
Suppose -8 = z - 5*z. Let u = z + 53. Is u prime?
False
Suppose 3*z = -5 + 14. Suppose -3*g = 3*h - 30, 0 = -4*g + h + 59 + 1. Suppose -n + z*n = g. Is n composite?
False
Let h be (-4)/7*7/(-2). Suppose h*l - 3*j + 124 = 3*l, 3*j - 560 = -5*l. Is l composite?
False
Is (514/4)/((-3)/(-6)) a prime number?
True
Suppose -3*p = -4*g - 6899, p + 4*g - 1497 - 824 = 0. Is p prime?
False
Suppose -2732 = -2*z - 5*q, -6807 = -4*z - z - q. Is z prime?
True
Suppose -3*f + 0*f = -204. Let u = 265 + f. Is (3/9)/(3/u) a prime number?
True
Let u = 5 - 4. Let d(c) = 24*c - 1. Is d(u) a composite number?
False
Let v = -514 - -887. Let c = v - 748. Let k = -212 - c. Is k prime?
True
Suppose -5*u + 2 + 8 = 0. Suppose -2*b = -14 + u. Suppose -2*h + b = -2*x + 34, 5*x = -2*h + 70. Is x composite?
True
Let a = -515 - -366. Let x = 264 + a. Is x a prime number?
False
Let h = -3 - -220. Let q = h - 150. Is q a prime number?
True
Suppose 5*j + 42 = c + 7, 0 = -3*c - 5*j + 125. Let q = c + -19. Is q a composite number?
True
Let l(r) = -4*r**2 - 13*r. Let g(t) = 3*t**2 + 13*t + 1. Let d(y) = 5*g(y) + 4*l(y). Suppose 0 = -4*m + 23 + 1. Is d(m) a composite number?
False
Let m(v) = 16*v**2 + 4*v + 2. Let i be m(4). Suppose -i = -2*y + u - 5*u, 0 = 3*y - 2*u - 443. Is y prime?
False
Let m(y) = 140*y**3 - 3*y**2 - 6. Is m(3) a prime number?
False
Let o be (5 - 8)*(-2)/3. Let f(q) = 37*q**2 + 2*q - 3. Is f(o) prime?
True
Suppose 904 = -3*i + 5*i - 3*b, 3*i - 4*b = 1354. Is i prime?
False
Let a = 5566 + -1901. Is a prime?
False
Let k(o) = -o**3 - 4*o**2 - 2*o - 5. Let m be k(-4). Suppose m*c - 2*c = 5. Suppose -36 = -2*f + 3*g, -77 - 26 = -c*f + g. Is f prime?
False
Let u = -68 - -201. Is u composite?
True
Suppose -3882 = -9*a + 2013. Is a composite?
True
Let r = 617 + 338. Is r prime?
False
Let o(z) = z**2 - 2*z + 2. Let c be o(3). Suppose -31 = -3*v + c. Suppose -7*r = -3*r + v, -2*h = -r - 33. Is h a prime number?
False
Suppose 63 = 2*o - 4*j - 101, -5*j = -3*o + 242. Is o prime?
False
Suppose -3*v + 2*w + 481 = 0, -145 - 34 = -v - 4*w. Is v prime?
True
Let o be (-2 - 4/(-20))*-5. Is (-3)/o - (-692)/6 prime?
False
Let f be 4*(1 + -1 + -1). Let i = 31 - f. Is i a composite number?
True
Suppose d - 145 = -4*d. Suppose 3*w = -n + d + 7, 0 = w - 3*n - 2. Is w a composite number?
False
Let x be (1/2)/((-1)/(-10)). Suppose -x*r - 4*i - 1126 = 0, 4*r - 2*i = 2*i - 872. Is (2/(-6))/(2/r) prime?
True
Let i be 3/(-1) - (0 - 7). Suppose 98 + 3 = 3*g - 4*r, -4*g + i*r = -132. Is g composite?
False
Let q = 7 - -10. Suppose 2*o - 2*z + 10 = 0, -2*z - q = -3*o + 4*o. Let w(t) = t**3 + 8*t**2 - 14*t - 8. Is w(o) composite?
False
Let y = 707 - 300. Is y a composite number?
True
Suppose a = -2*w + 108, -5*w + 302 = 3*a + 31. Suppose -h = 3*h + 12, 5*s - w = -4*h. Is s prime?
True
Let x(k) = 42*k**3 + 6*k**2 - 4*k - 1. Is x(4) prime?
True
Let f(k) = -k + 2. Let m be f(6). Is 2*((-9478)/m)/7 a prime number?
True
Let u(o) = 3 + 2 - 1 + 5*o. Suppose 2*a = 6*a - 28. Is u(a) composite?
True
Suppose -4*k - 6 = -14. Suppose 4*z - k*d - 159 = 13, z - d - 43 = 0. Is z a prime number?
True
Let a(d) = -4*d**3 - 2*d**2 - 2*d - 7. Is a(-3) composite?
False
Let f = -2 - -2. Suppose -3*r + 3*g + 12 = f, 2*r + g + 4 = 6*r. Is 2 - (1 + r - 18) a composite number?
False
Let y be 10/(-25) + 1846/(-10). Let h = y + 274. Is h a prime number?
True
Let h(p) = 73*p**2 - 19*p - 21. Is h(11) prime?
False
Suppose 0 = 6*z + 11*z - 17833. Is z composite?
False
Suppose 0*v + 6*v = 192. Let l = v - -335. Is l a prime number?
True
Let w(l) = -l**3 + l**2 - 3 + 4*l**3 + 5*l**3 + l + 4. Is w(2) prime?
True
Is 20 - (0 + -3) - 4 a composite number?
False
Let c = 702 - 479. Suppose 0 = a - 0*a - c. Is a a prime number?
True
Suppose -3*y = 2*i + 13, 0 = -i + 5*i - 4*y - 4. Is (-2)/4*(-60 + i) a prime number?
True
Let z be 1 + 32*1 + 2. Let f = z + 3. Is f a composite number?
True
Suppose -3*d + g = 86, 2*g + 4 = -2*g. Let z(s) = -3*s**2 + s + 6. Let w be z(5). Let l = d - w. Is l composite?
True
Let s = 257 - 43. Is s a prime number?
False
Let g = 714 + 5. Is g a composite number?
False
Let m be (-2)/(-2) - (2 - 7). Let w be ((-9)/m)/((-3)/44). Suppose -5*p + 33 + w = 0. Is p a composite number?
False
Let k = 43 - -84. Is k a prime number?
True
Suppose 0 = a + a - 3*k - 617, 2*k + 2 = 0. Is a a composite number?
False
Suppose -n + 3*m = 4, -3*m + 0*m + 6 = 0. Suppose -2*i = i + 15, 3*f - n*i - 67 = 0. Is f composite?
False
Let d = -779 - -1462. Is d prime?
True
Let a(i) be the first derivative of -i**5/20 + i**4/12 + i**3/2 - i**2/2 - i + 1. Let c(p) be the first derivative of a(p). Is c(-3) a prime number?
False
Let l(p) = -3*p - 3. Let h(q) = -q. Let x(w) = h(w) - l(w). Is x(4) prime?
True
Suppose -981 = -4*z + 1499. Suppose -3*u + 0*u = -2*r - 391, -z = -5*u - 3*r. Is u a prime number?
True
Suppose -2*w = -31 - 87. Is w a composite number?
False
Suppose 7*g = 3*g + 240. Suppose -4*z + 3*t = -37, -5*z + 0*t = -t - g. Is z prime?
True
Let s(a) = 118*a**2 + 2*a + 1. Is s(-3) composite?
True
Let n be (-3)/(-1) - (1 + -1). Suppose -n*d + 2*d + 90 = 4*v, -v - d = -24. Is v a composite number?
True
Suppose 0 = 4*g + 12 - 40. Let p(h) be the second derivative of -h**5/20 + 7*h**4/12 + h**3/3 - 2*h**2 - 18*h. Is p(g) prime?
False
Let i be 6/(-21) + (-11666)/(-14). Suppose i = -5*r + 93. Is (2/(-4))/(2/r) a composite number?
False
Let f = 14 + 8. Let j = 13 + f. Is j prime?
False
Suppose -k + 42 = 2*k. Suppose -4*h + 62 = -k. Is h composite?
False
Let w = -1 - 6. Let f = 69 + w. Suppose 3*u - f = -2*y, 0 = -5*y - u - 2*u + 173. Is y a composite number?
False
Let z(d) = d**3 + 2*d**2 + d + 4267. Is z(0) prime?
False
Let t be (-5910)/(-20) - 1/(-2). Suppose 0 = -3*x + 15, 5*u + 5*x - t - 4324 = 0. Is u a composite number?
False
Is (-416)/(-3) + 1/3 composite?
False
Let i be -1*6/(-2)*-1. Let j be (41 - 2) + 0 + i. Suppose -j = x - 169. Is x a prime number?
False
Let y = -1 + 3. Suppose -y*s - 3*s + 3*a + 2101 = 0, -4*s + 1674 = a. Is s composite?
False
Let d(f) = -3*f**2 - 2*f. Let t(r) = -16*r**2 - 10*r + 1. Let l(q) = -11*d(q) + 2*t(q). Is l(5) a prime number?
True
Let t be ((-1)/(-3))/(1/(-6)). Let a(s) = -s - 4. Let y be a(t). Is 729/21 + y/(-7) prime?
False
Let m = 443 - 916. Let i = -284 - m. Suppose -2*c = r - i - 40, r = -3*c + 344. Is c a composite number?
True
Let l be ((-2)/(-4))/(3/(-1098)). Let g = -94 - l. Is g prime?
True
Let b(z) = -3*z**3 - z**2 + 7*z + 10. Is b(-7) a prime number?
