pose m*i = 4*i. Suppose p = -i*p + 7. Is p composite?
False
Let s(f) = 29*f + 1. Let o be s(3). Let r be 164/(-3) + 4/(-12). Let v = o + r. Is v prime?
False
Suppose 3*y - 9 = 0, -5*u - 4*y + 24 = -2*u. Suppose -u*b - 3 = -15. Suppose 3*m = 2*i + 59, m + i - 13 = b*i. Is m prime?
True
Let j(s) = s**2 - s + 7. Let m be j(0). Let l be (-74)/14 + 2/m. Let t(f) = -2*f. Is t(l) a composite number?
True
Suppose -4*h - 4*l = -24, 0*l = 3*h - 5*l + 22. Is -1 + (334/h - 2) composite?
False
Suppose 43 = -3*r - 5*c, -c - 2*c - 27 = 2*r. Let o(i) = -i**2 + i + 156. Let f be o(0). Is (28/r)/((-8)/f) a composite number?
True
Suppose 5*n = -1 + 26. Suppose 17 = 4*y - t + 5, -n*t + 16 = -y. Suppose -v + 14 + 11 = -y*p, -5*p = -10. Is v a prime number?
False
Let m(j) be the first derivative of 4*j**3/3 - 3*j**2/2 + 2*j - 2. Let f(y) be the first derivative of m(y). Is f(5) a composite number?
False
Let m(q) = -2*q - 12. Let p be m(-8). Suppose p*c - 68 = 240. Is c prime?
False
Suppose 12255 = 5*r - 5*v, -r - r + 4*v + 4910 = 0. Is r composite?
False
Let r = 24 + -5. Is r composite?
False
Let g = -5 - -8. Suppose 8 = g*b - 1. Let y(c) = 2*c**2 - c - 4. Is y(b) a composite number?
False
Let y(l) = l**3 - 3*l**2 + l + 2. Let d be y(5). Let b = -2 - -4. Suppose -3*x - d = -i + b*x, 0 = -3*x - 12. Is i a composite number?
False
Let q be 1 + -2 - (0 - 4). Suppose c = q*c - 10. Suppose t - c*t = -148. Is t composite?
False
Suppose -l - 2*l = 3*w + 819, 3*l + 5*w = -823. Let u = l - -384. Is u a composite number?
False
Let o(l) = -3*l - 2*l**2 + 3*l**2 - 8 - 3. Is o(-8) a prime number?
False
Let z(y) = 1048*y**2 + 3*y - 2. Is z(1) composite?
False
Suppose 2*j + 3*s - 201 = -2*s, 459 = 5*j - 2*s. Suppose -6*t + 11*t = 10. Suppose -n = t*n - j. Is n composite?
False
Let u(a) = 3*a + 9. Let o(q) = 5*q + 19. Let c(f) = -2*o(f) + 5*u(f). Suppose -z = -4*z + 18. Is c(z) composite?
False
Let t(y) = y. Let s be t(1). Let q(m) = 4*m**3 + 3*m**2 - 1 + 2*m - 5*m**2 + 4*m**3. Is q(s) a prime number?
True
Let u = -1427 - -3244. Is u a prime number?
False
Suppose -3*p - h = 4*h - 20, 4 = 4*h. Suppose p*a = 9*a - 812. Is a a prime number?
False
Let f(g) = -g**3 + 2*g**2 - g + 118. Is f(0) a composite number?
True
Let i(k) be the third derivative of k**7/840 - k**6/180 + 5*k**4/24 - k**3/3 + 2*k**2. Let j(l) be the first derivative of i(l). Is j(4) a prime number?
True
Is (-6 + 217 + 3)*34/4 composite?
True
Let u(v) be the third derivative of v**6/120 - v**5/30 + v**4/8 - v**3/2 + v**2. Is u(3) a prime number?
False
Let m be -1*2 - (-3 + 1). Suppose -2*v + 0*v + 70 = m. Is v a composite number?
True
Let n(x) = -x. Let s be n(-3). Suppose -5*l + 3*i - 43 = 0, 2*i - 13 = s*l - 3*i. Let j = l + 25. Is j a composite number?
True
Let w be 1/5 + (-19)/(-5). Suppose 5*j + 0 = w*x - 1, 5*x - 3*j + 15 = 0. Is ((-8)/x)/(2/51) a composite number?
True
Let f(r) be the second derivative of 3*r - 1/6*r**3 + 0 + r**2. Is f(-2) prime?
False
Let m be 0/1 + 1 + 1583. Let b = -942 + m. Suppose -4*v + 4*a + a = -b, -a - 813 = -5*v. Is v prime?
True
Suppose z - 2 = -0*z. Let r = 44 + z. Is r a composite number?
True
Let j = -35 - -61. Suppose 2*z + j = 100. Is z composite?
False
Let f be 3/2*74 - 0. Let l(m) = m**3 + 3*m**2 - 2. Let p be l(-2). Suppose -p*y = y - f. Is y a prime number?
True
Let p(c) = 224*c**2 - 1. Let i = -23 - -24. Is p(i) a prime number?
True
Suppose -7*o + 34118 = 7*o. Is o a composite number?
False
Suppose -367 = -3*m + 1940. Is m a composite number?
False
Is 6564 + (1/1)/(-7 - -6) a composite number?
False
Let w = 9 + -5. Suppose -4*u - w = 0, 4*k - 2*u + 34 = 120. Is k prime?
False
Suppose h = -h - 4*k - 86, 0 = -3*k + 15. Let i = h - -388. Is i a composite number?
True
Let i(o) = 13 - 2*o - 2*o + 3*o. Let z be i(9). Suppose 0 = 3*n - z*x - 38, n + 0*n + x - 1 = 0. Is n a prime number?
False
Let w(q) = 4*q + 8*q - q**2 + 3 - 10. Let m = -17 - -25. Is w(m) a prime number?
False
Let u = 483 - 298. Is u prime?
False
Suppose -195 = -4*n - n. Is n composite?
True
Let l(p) = -p**2 + 7*p - 5. Let g be l(7). Let n = g + -1. Let u(b) = -b**3 - 4*b**2 + 7*b + 1. Is u(n) prime?
True
Let q = 207 - 104. Suppose 0 = 4*k - q - 153. Suppose -k = -2*i - 3*g, -i + 33 = -g + 2*g. Is i a prime number?
False
Let v(g) = -119*g + 16. Is v(-5) composite?
True
Let a = 1180 + -699. Is a prime?
False
Let x(k) = -k - 2. Suppose r + 3*f - 4*f = -12, -r - 2*f = 3. Is x(r) a prime number?
True
Let r(i) = i + 7. Let z be r(-5). Suppose -10 + 2 = -z*q. Is q a composite number?
True
Let p(x) = 38*x - 2. Let q be p(-4). Let i = 311 + q. Suppose -3*t - t - 3*s = -i, 176 = 5*t - 3*s. Is t composite?
False
Suppose -2*q + 5*q = i + 778, q - 262 = i. Suppose -4*d - q = -2*j, 2*j - 5*d + 56 - 318 = 0. Is j a composite number?
True
Suppose -2*a = 4, -2*m = -3*m + 2*a + 259. Suppose -5*h + m = -0*h. Is h composite?
True
Suppose i = 8*i - 28. Suppose -q + 2*h = i*q - 707, -2*q + h = -282. Is q a prime number?
False
Suppose -4*p = 3*s - 28, 2*s + 3*s = -p + 24. Suppose -2*d - 49 = -3*u, -2*d - 12 = -p*u + 56. Is u a composite number?
False
Suppose -2*b = -d - d + 76, 0 = -d + 2*b + 43. Let u = d - 22. Is u prime?
True
Let o(g) = g - 1140. Let u be o(0). Is u/(-9) + 1/3 composite?
False
Let u(x) be the third derivative of 37*x**5/30 + x**2. Let l be u(-1). Is (l/4 - 3)*4 a composite number?
True
Suppose -w + 3*w + 168 = 0. Let o = 79 - w. Is o composite?
False
Let f(k) = 13*k + 14. Let w(q) = -65*q - 69. Let n(t) = -11*f(t) - 2*w(t). Let a(x) = x**2 + 6*x - 6. Let h be a(-5). Is n(h) composite?
False
Suppose 5*u = -2*r + 5*r + 1868, 0 = -u + 2*r + 375. Is u a prime number?
True
Let g(a) = -222*a - 55. Is g(-12) composite?
False
Let g = -231 + 622. Is g a prime number?
False
Let j(h) = -h**3 - 13 - 5*h + 6 + 3*h**2 - 9*h**2. Is j(-6) a composite number?
False
Let k(q) = -q**3 - 5*q**2 - 3*q + 27. Let o be k(-5). Let p(b) = -b**2 + 4*b + 3. Let r be p(4). Suppose -2*y + o = z, r*y + 4*z - 76 = -y. Is y composite?
False
Suppose 0 = 8*j - 7*j - 211. Is j a prime number?
True
Suppose 4*p - 15 + 3 = 0. Suppose -p*r - r + 88 = 0. Is r prime?
False
Let r be (-1 - 8*-3)*-3. Let z = 442 + r. Is z prime?
True
Let h(s) = -s + 12. Is h(5) prime?
True
Let y(c) = 9*c + 19. Is y(3) a composite number?
True
Let f(w) = -2*w + 4. Let n be f(9). Is (n/4)/(-7)*106 prime?
True
Suppose 2*t - y - 12337 + 775 = 0, 0 = -2*t - y + 11554. Is t composite?
False
Let z(p) = p**3 - p**2 - p - 1. Let w(l) = -50*l**3 - 5*l**2 - 6*l - 4. Let u(b) = -w(b) + 5*z(b). Suppose -3*t - 3 = -6*t. Is u(t) a composite number?
True
Let s(r) = 2*r + 2. Let m be s(-4). Let c = -13 + 9. Is (69/m)/(2/c) prime?
True
Let m = 372 + -79. Is m a prime number?
True
Suppose -q = 4*q + 445. Let j = -13 - q. Suppose 0*y - j = -4*y. Is y composite?
False
Let z be (2 - 2) + (-2 - -2). Suppose 2*b - 149 + 11 = z. Is b a prime number?
False
Let v(z) = z + 45. Let x be 1/(-5) + 1/5. Let n be v(x). Let m = n - 31. Is m a composite number?
True
Let g be 1*12*45/2. Suppose -3*q - 2*a + g = q, q - 3*a = 64. Is q composite?
False
Let o = 15 + 0. Is 188/5 + 6/o a prime number?
False
Let j(f) = 4*f**2 + 4*f - 1. Is j(-9) a composite number?
True
Suppose 0 = -3*k + f + 41 + 19, 3*k + 2*f - 69 = 0. Is k prime?
False
Let b(x) = x - 2. Let z be b(7). Let m be ((-82)/4)/(z/(-10)). Suppose -181 + m = -4*j. Is j a prime number?
False
Let r = -12 + 22. Let j(b) = 3*b**2 - b + 3. Is j(r) prime?
True
Let a(t) = -t**3 + 11*t**2 - 9*t + 19. Is a(8) prime?
True
Let f = 20 + -20. Suppose -46 = -f*p - 2*p. Is p a composite number?
False
Let n = -2693 + 5208. Is n a composite number?
True
Suppose 4*t - s - 12 = 0, 0*t - 2*s = -5*t + 18. Let q = -25 - -22. Is 59/3 + t/q composite?
False
Suppose -2*u - 4*r + 16 = 2, 17 = 3*u + 4*r. Is (u - 2)*1 + 38 composite?
True
Let l(o) = -4*o - 6. Let g be l(-4). Let c = g + -6. Suppose -x + 0*x + 8 = 2*m, c*m - x - 10 = 0. Is m a composite number?
False
Let f(d) = -12*d. Let r be f(-1). Is (257/2)/(6/r) prime?
True
Is -4 - (-7)/((-14)/(-54)) a composite number?
False
Let d be ((-5)/(-2))/(-5)*-4. Let j be d + (-7)/((-21)/(-156)). Let p = j - -177. Is p composite?
False
Let r = -16 + 9. Let z = r + 5. Is 5/(-10)*484/z a prime number?
False
Suppose -4*d - 24 = -0. Let o