13 + p. Is v prime?
False
Suppose -h + 4*h - 24 = 0. Suppose -3*j = -b + 21 + 52, h = 4*j. Is b prime?
True
Let u(o) = o**3 + 2*o**2 - 2. Let v be u(-2). Let g be (3 - 2) + (-6)/v. Suppose -9*x = -g*x - 65. Is x a prime number?
True
Is ((-1168)/(-12) - -1)*3 prime?
False
Let k = 3 - 5. Let a be -2*k/(-1 + 3). Suppose a*s - 6*s + 124 = 0. Is s composite?
False
Let p(d) = 11*d - 2. Let y be p(10). Suppose 2*a + 6 = 0, 4*a + 1019 = 5*n - y. Is n composite?
False
Let j = 78 + -44. Is j a prime number?
False
Suppose -5*b = -v - 24, 3*b - 2 = -v + 6. Let z(x) = 5*x - 2. Let p be z(v). Let h = p + 44. Is h composite?
True
Suppose 6 = 2*z, -2*j - 51 = -z + 12. Let v = j - 20. Let i = -24 - v. Is i a composite number?
True
Suppose 1502 = m + m. Is m prime?
True
Suppose 0 = a + 2*a - d - 956, 0 = 3*a + 3*d - 936. Is a a prime number?
True
Suppose -172 + 6 = -2*b. Is b composite?
False
Suppose 17 = 4*p - 2*p + 5*z, -4*z - 12 = 0. Suppose 28 - 75 = -2*m + 3*o, -m + 3*o + p = 0. Is m prime?
True
Let b(i) = 35*i + 2. Is b(5) a prime number?
False
Let x(u) = 7*u + 3. Is x(12) composite?
True
Is 3*-3*163/(-9) a prime number?
True
Suppose 4*r = 3*r + 2*d + 181, -3*r = -d - 568. Is r prime?
True
Suppose -d = 3*k + 29 - 5303, 2*k - 3530 = 4*d. Is k a composite number?
False
Let x be (2 - 1) + (-5 - 8). Let b = x - -22. Is b a prime number?
False
Let u(h) = -29*h + 1. Let i be u(-3). Let t = 147 - i. Is t a composite number?
False
Let f(n) = -5*n - 9. Let y(p) = -p - 2. Let x(w) = -2*f(w) + 9*y(w). Let g be x(0). Suppose g = -5*m - 2*q + 113, 0*q + 4*q + 4 = 0. Is m a composite number?
False
Let u be 2/(-3) + (-4)/(-6). Is (u - -2)/(4/506) composite?
True
Let k(b) = 4*b + 1. Let i be k(-1). Let t(x) = 12*x**2 - 4*x - 2. Let w be t(i). Suppose 694 = 4*p - w. Is p a composite number?
True
Suppose -3*o - 332 = 241. Let x = o + 329. Suppose -4*i - 207 = -7*i + w, 4*w = -2*i + x. Is i a composite number?
True
Suppose 3*a = a. Let h = 10 - a. Is h composite?
True
Let b(l) = 4*l + 4. Let z be b(-3). Let p(m) = -7*m - 8. Let s be p(z). Suppose s = 4*t + 8. Is t a composite number?
True
Suppose -2751 = -7*v - 518. Is v prime?
False
Let n(z) be the first derivative of -z**2/2 - 4*z - 1. Let f be n(-4). Is f + 34 - 0/3 composite?
True
Suppose -2*n = -3 - 1. Suppose n + 0 = -5*g + 3*y, 4*y - 16 = 0. Suppose 0 = -g*l + z + 58 - 15, 0 = -l - 3*z + 32. Is l a composite number?
False
Let r(m) be the second derivative of -m**4/12 + 2*m**3/3 + 2*m**2 - m. Let i be r(5). Let z(k) = -76*k**3 + 1. Is z(i) a composite number?
True
Let u(n) = -n**2 - 10*n + 13. Let i be u(-11). Suppose 0 = 4*w - i*w - 26. Is w prime?
True
Let h = -29 - -48. Suppose -g + h = -12. Is g a composite number?
False
Suppose 4*o + 5 = 13. Let p(h) = -h**3 + 4*h**2 - 3*h + 2. Let a be p(o). Suppose 3 = -a*m + 39. Is m a composite number?
True
Let v(w) = -w**2 + 6*w. Let x be v(5). Let d = -5 + x. Suppose 3*g - 123 = 2*g - 5*l, d = 5*g + 2*l - 707. Is g prime?
False
Let q = -4 - -9. Suppose 0 = -4*v + 500 + 432. Suppose -q*p - 2*l = -v, l + 0*l = -4*p + 187. Is p prime?
True
Let x(w) = 3*w - 6. Let f be x(3). Suppose f*y - 6 = 0, 5*q + 2*y = -3*y + 55. Is q prime?
False
Let i(k) = -8*k - 1. Let f be i(-5). Let d = f + 122. Is d a prime number?
False
Let n(c) = c**3 + 8*c**2 + 7*c + 6. Let i be n(-7). Suppose -i*o = -346 - 548. Is o a composite number?
False
Let k(h) = -h**2 + h + 14. Let z be k(0). Let s = z + 92. Is s a composite number?
True
Let r(h) = 3*h**2. Let u be r(1). Let i(y) = -y**3 - y**2 + 3*y - 4. Let g be i(-3). Suppose -g*c = -u*c - 322. Is c composite?
True
Let t = 843 - 308. Is t composite?
True
Let k = 1 + -6. Let s(v) = -3*v**3 - 7*v**2 - v + 12. Is s(k) prime?
False
Suppose -f = -0*f - 2. Suppose a = -f*a. Suppose -4*p - 4*y + 36 + 48 = a, 141 = 5*p - 4*y. Is p a composite number?
True
Let r be (0 + 1)/(-1) + -1. Let p be (-2 + (-2)/4)*r. Suppose -5*d + 95 = 3*a, a - p*a = 0. Is d prime?
True
Suppose 4*u + 538 = 3*p, -3*u - p - 405 = -4*p. Let s = u - -222. Is s a prime number?
True
Let n(u) = u**3 - u**2 - u. Let t be n(-1). Let d(h) = -39*h**3 - 4 + 2*h**2 + 0 + 2*h + 5 - 69*h**3. Is d(t) a composite number?
False
Let v be (-4)/5*(-4 - 1). Let s = v - 6. Is 19/(1 - (2 + s)) a composite number?
False
Let m = 83 + -38. Let s = m + 2. Is s a prime number?
True
Let f(w) = -25*w. Let m(k) = k**2 - k. Let j be m(2). Let y be f(j). Let s = y + 141. Is s a prime number?
False
Suppose 2*g - 2 = -0*g. Let n = g + 9. Is n a composite number?
True
Suppose -l = -p - 5, -p - 2*p = -2*l + 13. Suppose 0 = -l*h + 101 + 5. Is h a prime number?
True
Let u(o) be the second derivative of 5*o**4/12 - o**3/2 - 2*o**2 + o. Let r be u(-4). Let h = r + -57. Is h a prime number?
True
Let u(j) = j - 3. Let m be u(6). Suppose -m*i + 20 = 2*i. Suppose -i = k, 2*k - 6*k + 142 = 2*b. Is b a composite number?
False
Let y(c) = 23*c + 5. Let s be y(4). Let a = s + 168. Suppose 3*d + 0*o - 159 = 2*o, 5*d - 2*o - a = 0. Is d composite?
False
Suppose 3*i + t = 5*t + 1536, -2*t = 3*i - 1554. Let s = i - 299. Is s composite?
True
Let k(f) = -2*f + 4. Let b be k(6). Is (22/b)/(2/(-8)) a prime number?
True
Suppose 4*l + 491 = -2*x - 467, 0 = -3*l - 5*x - 715. Let w = l - -379. Is w composite?
False
Let p(d) = -d**3 - 5*d**2 - 9. Let i(j) = -j**3 - 4*j**2 + j - 10. Let u(k) = 6*i(k) - 7*p(k). Let t = 1 - 5. Is u(t) a prime number?
False
Suppose -149 - 208 = -3*u. Is u composite?
True
Let g(o) = 159*o**2 - o - 1. Is g(1) composite?
False
Suppose 7*s - 2*s - 466 = -2*v, -2*s = v - 231. Is v a composite number?
False
Let z = 800 + -563. Is z composite?
True
Let f(y) = y + 2. Suppose -17 = 4*a - 1. Let g be f(a). Is 7*(-2)/(g/7) a composite number?
True
Let j = 75 + -115. Let y = 65 + j. Is y a composite number?
True
Suppose -5*l + 329 = -4*l. Suppose 5*j + 3*t - t = l, -j - 4*t = -73. Is j composite?
True
Suppose -5*l = -n - 422, 4*n + n = -3*l + 270. Is l a prime number?
False
Let i(j) = j**3 - 7*j**2 + 3*j + 4. Let t be i(5). Let a = t - -62. Is a prime?
True
Suppose -5*g - 18 = -8*g. Let t = g - 4. Suppose -5*m + t*l = -767, 0*l - 3*l = -2*m + 298. Is m a composite number?
True
Suppose u - 37 - 42 = 0. Is u a prime number?
True
Suppose 0 = 2*q - 6*q - 8, -4*c + 50 = 3*q. Let b = -10 + c. Suppose 2*t = 2*d - 418, -2*t - 4 = -b*t. Is d composite?
False
Let b(d) = -45*d**2 + d + 7. Suppose 3*a = -8 - 10. Let t(w) = -134*w**2 + 3*w + 20. Let z(v) = a*t(v) + 17*b(v). Is z(-1) prime?
False
Is (-23680)/(-35) + 9/21 a composite number?
False
Suppose m - 2*m - 11 = -4*g, 18 = -3*m - 3*g. Let l = m - -10. Suppose 0 = -l*b + 3*j + 147, 5*b - 5*j - 239 = -3*j. Is b a prime number?
True
Suppose 5*c - 2*r = -6, c + 3*c = 5*r - 15. Suppose -4*i + 205 + 103 = c. Is i composite?
True
Let j(o) = -o**3 - 8*o**2 - 8*o - 4. Let x be j(-7). Let v be (4/(-6))/(x/(-18)). Suppose v*t - 357 = t. Is t prime?
False
Let t be 2*(1 + -2) + 1311. Is t/35 + 2/(-5) composite?
False
Suppose 5*j - 7 - 17 = 4*b, 0 = 3*b + 3. Suppose 0*n - 28 = -j*n. Is n a prime number?
True
Let j(a) be the third derivative of a**6/120 + 11*a**5/60 + a**4/3 - a**3/6 - a**2. Is j(-9) prime?
True
Let n(h) = 187*h**3 - 2*h**2 + 3*h - 2. Let b be n(1). Suppose -3*v + 3*m = -b, -4*m - 124 = -2*v + m. Is v composite?
True
Let r(c) = 25*c**2 - c. Let i(q) = 50*q**2 - q + 1. Let m(w) = 3*i(w) - 5*r(w). Is m(-4) composite?
True
Let t = 17 - 11. Let x be ((-610)/(-15))/(2/t). Suppose 3*s = -s + 5*y + 134, 4*s + y = x. Is s a composite number?
False
Suppose -2*n = -2*z - 1892, 4*z + 3 - 7 = 0. Is n a prime number?
True
Suppose 4*d = 3*s - 1, -3*s - s = 2*d - 16. Suppose 8 = 4*r + 5*y + 25, -r + 17 = -s*y. Suppose 6*p + n = p + 289, r*p - 5*n - 121 = 0. Is p prime?
False
Let h(p) be the second derivative of -p**5/20 - 5*p**4/12 - p**3 - p**2/2 - 2*p. Suppose -12 = -d + 4*x, 2*x - 12 = 7*d - 2*d. Is h(d) prime?
True
Let u = 0 - 2. Let o(c) = 40*c**2 + 4*c + 3. Is o(u) a prime number?
False
Let d be (-1494)/(-10) - 8/20. Let x = -75 + d. Is x composite?
True
Suppose -7*p + 55 = -2*p. Is p composite?
False
Suppose -2*y - m - 98 = -3*y, 3*m + 3 = 0. Is y composite?
False
Let r(x) = -x + 17. Let y be r(0). Suppose -4*i + 27 = -c, i + i + 3*c - y = 0. Let m(f) = f**2 - 7*f + 6. Is m(i) prime?
Fals