 Let x = m - -54. Suppose 2 = 3*y - x. Is y a composite number?
True
Let d(u) = -13*u**2 + 9*u - 434. Suppose -2*z + 5*v = 37, -3*z - 2*v = 9 - 1. Let g(c) = -7*c**2 + 5*c - 217. Let r(b) = z*d(b) + 11*g(b). Is r(0) prime?
False
Suppose -11*u + 424 = -3*u. Is u a prime number?
True
Let p(b) = 3*b**3 + 2*b**2 + b + 12. Let z(n) = 13*n**3 + 9*n**2 + 5*n + 47. Let f(o) = 9*p(o) - 2*z(o). Is f(0) prime?
False
Suppose 4 = -2*i - 0*i. Let u be (i/(-3))/(3/531). Let v = -27 + u. Is v a prime number?
False
Let l = 17 + -12. Suppose 25 = l*p - 0*p. Suppose -3*t = 3*j - 23 - 13, -p*j = -25. Is t composite?
False
Suppose 31 = -m + 3*i, -5*m - i = -4*m + 27. Let w = m - -66. Let s = w + -15. Is s prime?
True
Suppose -8*z - 18 = -5*z. Let f = z - -11. Suppose -f*q + 125 = -0*q. Is q composite?
True
Suppose -30 + 146 = 4*w - 4*i, 3*w + 5*i = 79. Let z = 99 + w. Is z prime?
True
Let z(r) = -3*r - 1. Let l be z(-1). Let j = 2 - l. Suppose t - 4*t + 111 = j. Is t composite?
False
Suppose 2*o + 4 = t, -o - 2*t - 2 = -0*o. Is (-2 - -141*3) + o a composite number?
False
Let z = 4 + 0. Is z/(-8) + (-15)/(-2) a prime number?
True
Let n = 2593 + 1980. Is n a prime number?
False
Let s = 1671 + -482. Is s a prime number?
False
Let f(x) = 5*x**2 - 7*x + 2. Let s be f(5). Suppose -s - 24 = -4*o. Suppose 0 = -5*g + 94 - o. Is g a composite number?
False
Let b(o) = -o**2 + 7*o - 7. Let a(m) be the third derivative of m**5/60 - m**4/4 + 7*m**3/6 + m**2. Let y(d) = 6*a(d) + 5*b(d). Is y(6) composite?
False
Let a = -696 - -1015. Is a a composite number?
True
Let a(o) = -o - 1. Let c(q) = 13*q**2 + 3*q + 9. Let r(s) = 5*a(s) + c(s). Is r(-3) a prime number?
True
Let x(o) = 3*o + 10. Let p(w) = -1. Let n(c) = 6*c + 17. Let f(t) = -n(t) + 2*p(t). Let j(y) = -3*f(y) - 5*x(y). Is j(5) prime?
False
Let b be 2*(-2 - 18/(-4)). Let y = b + 32. Let q = y - 2. Is q prime?
False
Suppose -5*h = -198 - 92. Let y = h - 37. Is y composite?
True
Let p(m) = 6*m + 2. Let w be p(3). Suppose 0 = 2*g - 7*g - 4*o - 45, 0 = g + 3*o + w. Let j = g - -12. Is j a prime number?
True
Let r(x) = -x + 1. Let n(u) = -6*u + 3. Let t(j) = n(j) + 5*r(j). Let o be 1*-2 + (5 - 10). Is t(o) a composite number?
True
Let u be (-12)/4*16/6. Let t(x) be the second derivative of x**5/20 + 5*x**4/6 + 7*x**3/6 + 7*x**2/2 - 3*x. Is t(u) prime?
True
Let t = 330 + -220. Suppose z - t = -z. Is z prime?
False
Suppose -41*j + 43*j - 130 = 0. Is j a composite number?
True
Suppose 2*o = 6*o - 3272. Suppose -2*q + 2*m + 3*m + 567 = 0, 0 = 3*q - m - o. Is q composite?
False
Let d = -2870 - -5261. Suppose 9*r = 12*r - d. Is r composite?
False
Let r be (-1)/(3/4)*-3. Suppose -r*z = z - 15. Suppose -z*q + 63 = -0*q. Is q a prime number?
False
Suppose -20 = -g - 4. Suppose i + 3*i - g = 0. Suppose -6*f + 3*f + 225 = 3*m, -i*f + 324 = -2*m. Is f prime?
True
Suppose -990 = -5*v - 5*u, -v + 3*u - 188 = -2*v. Is v prime?
False
Suppose -2*f = -4*h - 7*f + 5030, 4*f = 8. Is h a prime number?
False
Suppose 0 = -3*v - 2 - 1, 4*v = -3*q - 148. Is (-12)/(-16)*4 - q prime?
False
Let f be 46/6 + 6/(-9). Suppose 2*d - f*d = -25. Suppose 3*t - d*m - 74 + 29 = 0, m - 75 = -5*t. Is t composite?
True
Let b(r) = 163*r + 10. Is b(7) a prime number?
True
Suppose 5*i - 10 = 0, 3*o - 225 - 6 = 3*i. Is o composite?
False
Suppose -4*j + 187 = -5*n, -4*j = 5*n - 98 - 99. Suppose 2*l - j + 10 = 0. Is l a composite number?
False
Is 20/(-5) + (251 - -4) a composite number?
False
Let r be (2 - -1)/(18/60). Suppose 0 = -3*k + r + 23. Is k prime?
True
Is ((-12)/8 + 0)*-2 - -478 composite?
True
Let l be -2 - (-3 + 3 + -4). Let f(i) = 42*i + 1. Is f(l) composite?
True
Suppose -6*r + 17373 = -2133. Is r a prime number?
True
Let p(h) = 29*h - 4. Let f(l) = 28*l - 5. Let j(w) = -3*f(w) + 4*p(w). Let o be j(4). Let q = o + -69. Is q a prime number?
False
Let o(c) = -13*c**3 - c**2 + 8*c - 1. Is o(-5) a composite number?
False
Let d(l) = -l**2 - 4*l + 3. Let b be d(-4). Suppose -4*z = a + 127, 3*a = -2*z - b*z - 157. Is 2 + -1 - (z + -2) prime?
False
Let f(m) = -m**3 + 10*m**2 - 13*m + 11. Suppose 2*d - 2*l - 2*l = 4, 0 = d - 5*l + 7. Is f(d) composite?
True
Let z(r) = -11*r**3 - 2*r**2 + r - 2. Let g be z(-2). Let m = g + -54. Is m a prime number?
False
Suppose -5*b = 5*o - 70, b = 3*o + 4 - 2. Is b prime?
True
Let f = 220 - -421. Is f a prime number?
True
Suppose m - 443 = 198. Is m a prime number?
True
Let y(t) = t**3 - 7*t**2 + 8*t + 2. Let b be y(6). Let p = b + -9. Suppose 0 = p*r - 15, -4*r + 110 = 5*z + r. Is z prime?
True
Let w = 157 + -84. Suppose -706 = -3*b - w. Is b a composite number?
False
Let z(j) = -j**3 - j**2 + j - 9. Let l be z(0). Let w(u) = -50*u - 5. Is w(l) a composite number?
True
Let t(j) = 126*j + 7. Let x be t(3). Suppose 5*q + x = 5*n, 4*q - 7 - 1 = 0. Is n composite?
False
Suppose -h + 6*h - 530 = 0. Is h composite?
True
Let s = 1103 - 630. Is s a prime number?
False
Suppose -3*c - 948 = -7*c. Let m = 356 - c. Is m composite?
True
Let r be 13*(2 - (0 + -1)). Suppose 2*y - r = 99. Is y composite?
True
Suppose b + p - 297 = 0, -3*b - 4*p + 252 = -641. Let h = b + -162. Is h a prime number?
False
Suppose 0 = -0*c + c. Suppose 0 = m - c*m - 19. Is m a prime number?
True
Let p = 6525 - 3946. Is p prime?
True
Let t = -2 - -10. Suppose t*m - 5*r = 3*m + 190, -3*r = 3. Is m a composite number?
False
Suppose -6*l + 2*l + 3868 = 0. Is l a composite number?
False
Let b(c) = -24*c - 1. Let g(y) = -4*y + 3. Let n be g(2). Is b(n) a composite number?
True
Suppose l + 2*p = 2, 2*l = -2*p + 14 - 0. Let a = l + -7. Suppose -a*r + 9*c + 20 = 4*c, 2*c = -3*r + 22. Is r a composite number?
True
Suppose 3*t - 240 = 4*s, 2*t + 2*s = -t + 258. Suppose -3*d = -207 - t. Is d prime?
True
Suppose 3971 - 1304 = 3*s. Is s/14*4/2 a composite number?
False
Suppose 2*h = u + 498, -5*h - 2*u - 83 = -1310. Is h a prime number?
False
Suppose -3*h + 67 = 1. Is h a prime number?
False
Let v(a) = -a**2 + 3*a + 1. Let n be v(3). Suppose -5 = -2*z - n. Suppose 7*l - 2*l + 27 = t, -t + z*l = -33. Is t a prime number?
True
Is ((-1)/(-3))/((-4)/(-12144)*4) composite?
True
Let y = -186 + -137. Let b = y - -471. Is (4/(-8))/((-2)/b) prime?
True
Suppose 4 = 5*l - 11. Suppose l*t + 4 = 115. Is t a prime number?
True
Suppose r - 24 = -180. Let q = r - -305. Is q a prime number?
True
Suppose 0 = -7*g + g + 1308. Is g composite?
True
Let n(z) = -z**3 + 9*z**2 - 9*z + 2. Let l be n(8). Is 5475/27 + l/(-27) a prime number?
False
Let i be 6/4*8/(-6). Let f = -1 - i. Suppose 20 = l + f. Is l a composite number?
False
Let h be 117/12 + (-2)/(-8). Suppose 2*j + h = -2. Let v(g) = -g**2 - 8*g + 1. Is v(j) prime?
True
Let l = 10 + -6. Let h be (0 - 2)/(-4)*l. Let y = h - -4. Is y a composite number?
True
Let x be (-7)/(-14) + (-2)/4. Suppose x = -3*v - 4*i + 65, -2*v - 4*i + 46 = -0*v. Is v prime?
True
Let h(o) = o**3 - o**2 + 4*o + 1. Let b(v) = -4*v**3 + 4*v**2 - 13*v - 2. Let q(a) = -2*b(a) - 7*h(a). Is q(4) a composite number?
False
Let w = -2 + 4. Suppose -4*j + 104 = w*s, 0*j + 52 = 2*j - 2*s. Suppose 0 = -m + 4*i + j, 4*m + i - 87 = -0*m. Is m a composite number?
True
Let l be -54 + 1 - 2/2. Let k be l/(-10) - 2/5. Suppose -4*x - 24 - 29 = -3*i, 0 = k*x + 25. Is i a prime number?
True
Let m = 178 + -93. Let p = m - -222. Is p a prime number?
True
Let k(h) = -2*h - 16. Let g be k(-11). Let p(l) = -9*l + 5. Let t be p(g). Is (0 + t*1)/(-1) composite?
True
Let j be (-1)/6*-3*-2. Let x = j + 6. Suppose 4*n - 739 = -3*b, 3*n + x*b - 673 + 127 = 0. Is n prime?
False
Let b be (0 - -2)/(6/(-18)). Let y(o) = o**3 + 7*o**2 - 5*o - 7. Is y(b) composite?
False
Let o(b) = b - 5. Let s be o(4). Let k(p) = -3 + 25*p**2 + 4 - 1. Is k(s) prime?
False
Let c = 1 - 2. Suppose -2*h = 2*g, -5*h = 2*g + 7 - 1. Is (6/(g/(-2)))/c prime?
False
Let z(v) = -28*v + 87. Is z(-25) composite?
False
Let o = -313 - -458. Is o prime?
False
Let q = 708 + 1. Is q composite?
False
Let r(x) = -5*x. Let c be r(9). Let a be (-10)/c + 1564/9. Suppose 87 + a = 3*p. Is p prime?
False
Let c = 1 + 1. Suppose -4*s = -c*d + 24, 4*s - 16 - 10 = -3*d. Is d composite?
True
Let q(d) = -d**2 - d + 15. Let o be q(0). Suppose 4*r = b, 3*b + 6*r = 3*r + o. Suppose b*h - 45 = -h. Is h a composite number?
True
Let g(l) = 14*l**2 - 2*l - 3. Is