c = r - 35. Let l = 73 - c. Is l a composite number?
True
Suppose -4*n = 0, -5*h - 2*n + 10 = -3*n. Suppose -2*t = -2*j - 6, 4*j + 3*t + h*t - 15 = 0. Suppose -o - 3*f + 37 = -j*o, 3*o = -5*f + 111. Is o composite?
False
Let p(n) be the third derivative of 39*n**5/5 - n**4/12 - n**3/6 + 2*n**2. Let l(s) = s**2 - 5*s - 1. Let x be l(5). Is p(x) a prime number?
False
Suppose 2*q - 84 = 3*a, -2*a + 0*a = 0. Suppose g - q = 5*j + 38, -5*j = 25. Is g prime?
False
Let v(j) = 3*j**3 - 3*j**2 + j - 5. Suppose 4*q = 3*q + 4. Is v(q) prime?
False
Suppose 4*s - 828 = 4*g, -4*s + 323 = 2*g - 529. Is s a composite number?
False
Suppose 0 = -p + 4*p - 201. Let t be (-544)/(-18) - (-2)/(-9). Let x = p - t. Is x a prime number?
True
Suppose 0 + 2 = n - d, -5*n - 5*d = -20. Let t = n - 8. Is (-73)/t - (-6)/15 a prime number?
False
Let t be (-673)/(-9) + (-4)/(-18). Let w be 3 + 0 + -2 + t. Suppose 4*a = 2*x + 2*x - w, -5*a = 0. Is x a composite number?
False
Let l(c) = c**3 + 2*c**2 - 7*c + 5. Is l(5) a composite number?
True
Let x(f) = 2*f**2 + 1. Suppose -3*t + 0 = 3. Let z be x(t). Suppose 2*d = -3*q + 21, z*d - 33 = -3*q - q. Is d prime?
False
Suppose 0 = -4*f - 0*f - a + 1705, 4*f + 5*a = 1693. Is f prime?
False
Suppose -13*g + 14*g = 4621. Is g a composite number?
False
Let w(i) = -3*i**3 - 17*i**2 + 13*i + 21. Is w(-14) prime?
False
Let o(u) be the second derivative of u**3/6 + 133*u**2/2 - 3*u. Is o(0) a prime number?
False
Suppose c - 5*u - 659 - 220 = 0, 0 = 4*c - u - 3497. Let q = -355 + c. Is q composite?
True
Let x(u) = -24*u + 3. Let b be x(-3). Suppose 0*h - 2*h + 3*v - b = 0, -4*v - 21 = h. Is (-2)/(-1) - (h + -2) composite?
False
Let v(l) = -l**3 - 2*l - 1. Let c be v(-1). Suppose n + c*s - 29 = 0, -3*n + s - 13 = -79. Is n prime?
True
Let v(t) be the third derivative of 0*t + 8*t**4 - 1/6*t**3 + 2*t**2 + 0. Is v(1) composite?
False
Suppose 3*r - 7*r - 5*b + 8 = 0, -b - 2 = -r. Suppose -5*u - 282 = -3*s, r*s + u + 0*u - 175 = 0. Is s prime?
True
Let z(y) = 11*y**2 + 2. Is z(7) a composite number?
False
Suppose 0*f + 31 = f. Is f a composite number?
False
Let h = 58 + -688. Let o = -409 - h. Is o a composite number?
True
Let f be 4/10 + 8/5. Is f/(-9) + (-4675)/(-99) prime?
True
Let z = 1279 - 872. Is z composite?
True
Let q = 3465 - 1816. Is q a composite number?
True
Suppose -6*n - 18 = -5*l - 3*n, -3*n - 12 = -4*l. Suppose l = -m + 55. Is m prime?
False
Suppose 23*v + 3035 = 24*v. Is v composite?
True
Is (-419)/3*(-3 + 0) a prime number?
True
Let l = 199 - 137. Suppose -a + 49 = -l. Is a a prime number?
False
Suppose -2*z + 6*z - 628 = 0. Is z a prime number?
True
Suppose -6*j + 10 = -j. Suppose j*l + 609 - 137 = 0. Is (l/(-6))/((-4)/(-6)) prime?
True
Let o(g) = 180*g**2 + 3*g + 2. Is o(-1) composite?
False
Let b(i) = -29*i + 3. Is b(-8) a composite number?
True
Let r(g) = -301*g - 28. Is r(-15) prime?
False
Let q = -161 - -412. Is q a composite number?
False
Let n(f) = -9*f + 36. Let r be n(-6). Suppose -91 = 3*o - 4*g, -o - 42 = 3*g - 2*g. Let p = o + r. Is p a composite number?
False
Let a(h) = h**2 + h. Let x be a(-2). Suppose 0*o + 5 = 5*o, -o - 25 = -x*n. Is n a composite number?
False
Suppose 40 = b + 4*b. Let k(z) = z**3 - 5*z**2 - 5*z + 7. Is k(b) a composite number?
True
Let k(i) = -3*i**2 + 12*i + 8. Let x(f) = 6*f**2 - 25*f - 17. Let v(l) = -7*k(l) - 3*x(l). Is v(7) composite?
False
Let b be 4/(-14) - (-445)/(-35). Let h = b - -20. Is h composite?
False
Let a(m) = 69*m + 21. Is a(8) a composite number?
True
Let g(d) = -4*d. Let c be g(-1). Let q(a) be the second derivative of a**5/20 - a**4/3 + a**3/3 - a**2/2 - a. Is q(c) a prime number?
True
Suppose 0 = -3*z + 1563 + 222. Let l = -222 + z. Is l a prime number?
True
Let o = -11 - -19. Let v(j) = j**3 - 8*j**2 + 5. Let t be v(o). Suppose 106 + 49 = t*c. Is c a prime number?
True
Suppose 4*p = p + 87. Let m = p + 4. Suppose l - r = 4*l - 107, -r - m = -l. Is l a prime number?
False
Let z(g) = -124*g + 5. Is z(-2) prime?
False
Let s be (-3 + 4)*-1*113. Let i = s + 217. Suppose -5*n + 161 + i = 0. Is n composite?
False
Let i = -51 + 110. Is i composite?
False
Suppose 0 = -0*u - u + 2. Suppose -1121 = -u*m + 521. Is m prime?
True
Suppose -5*o + 0*o = -75. Is o a prime number?
False
Let m(p) = 71*p - 3. Let c be m(6). Let r = c + -300. Is r a composite number?
True
Let n = 4 - 0. Suppose -5*z = -2*v - 1427, -8*v + n*v = -3*z + 845. Is z a composite number?
True
Suppose 0 = -2*y + 6, -5*u + 0*y + 93 = -4*y. Is u composite?
True
Suppose 14*a - 6239 - 1643 = 0. Is a a composite number?
False
Suppose 5*r = 2*z + 30, r + 0*r = z + 6. Let g = 38 - 18. Suppose -x - r = -g. Is x prime?
False
Suppose 5*n - 12 = 3. Suppose -13 - 47 = n*m. Let g = 51 + m. Is g prime?
True
Let b(m) = m**3 + m**2 + m. Let q be b(0). Suppose -5*o - 100 + 345 = q. Is o a composite number?
True
Suppose 4*t + 310 = 3*w, 3*t = w - 0*t - 100. Let z = w + -32. Is z a prime number?
False
Is ((-15795)/(-25))/3 + 4/10 a prime number?
True
Let t(y) be the first derivative of -y**4/2 - 4*y**3/3 - y**2 - 4*y - 1. Let n be t(-3). Suppose -n = -2*h - 0. Is h a prime number?
False
Let d be (12/30)/((-2)/40). Is (d - 47)*(-2 - -1) prime?
False
Let k = -75 - -107. Suppose 0*v = v - 5*c - k, 2*c = -10. Is v a prime number?
True
Suppose 2*x + 6 = -z, 3*x + x - 2*z = 4. Let u be (-49)/2*2/x. Suppose u = p - 3*f, -4*p + 0*f = 4*f - 116. Is p a prime number?
False
Let v(h) = -h**2 + 6*h - 4. Let x be v(4). Suppose -4*b - 4*c = -64, x*b - b + 2*c = 51. Is b composite?
False
Suppose -3*v = 1503 - 6147. Let n = -581 + v. Is n prime?
True
Suppose -353 = -4*n - 4*v + 5*v, -v - 175 = -2*n. Is n a prime number?
True
Let f(v) = -v**2 - 6*v + 9. Let q = -1 + -6. Let m be f(q). Suppose 0 = 2*p - g - 126, -3*g + 10 + m = 0. Is p a composite number?
True
Let n(i) = -32*i + 1. Let u(v) = 32*v - 1. Let y(f) = 2*n(f) + 3*u(f). Is y(1) a prime number?
True
Let y = 2 - 1. Let d be 0 - (5/y - -1). Is 4/d + 154/6 composite?
True
Let g(z) = 12*z - 14. Is g(8) a composite number?
True
Let a(h) = h**2 + h + 1. Let w(g) = 4*g**2 + 2*g + 7. Let s(n) = 6*a(n) - w(n). Let q be s(-3). Suppose 72 = q*p - 23. Is p a composite number?
False
Suppose -o + 781 = -4*k, 2*o - 557 = -2*k + 975. Is o prime?
True
Suppose 2*n - 4 = -0*n. Suppose n*f - 30 = -m, m = -m + 8. Is f prime?
True
Let w(f) = -f**3 - 4*f**2 - 3*f + 4. Let j be w(-3). Suppose g = -g + j. Suppose -g*h = h - 111. Is h composite?
False
Suppose 122 = r - 3*o, 5*r = 3*r + 2*o + 232. Is r prime?
True
Let z be ((-28)/6)/((-2)/6). Is 21/z*(-88)/(-6) prime?
False
Suppose -a = 4*p - 5, 10*p - 5*p = -3*a + 15. Suppose -216 - 239 = -a*h. Is h a composite number?
True
Let k be (-70)/2*(-2)/(-2). Is ((-42)/k)/((-2)/(-55)) a composite number?
True
Is 36/(-45) - (-559)/5 composite?
True
Suppose 3*w - 2*w + 1 = 0, -4*w = 5*r - 171. Let h be (0 - r)*(-14)/5. Let k = h + -31. Is k a prime number?
True
Let u(g) = -10*g + 2. Is u(-8) a composite number?
True
Suppose 0 = -2*y + y + 2. Suppose -y*x = 2*x - 8. Suppose 3*h - 95 = -x*h. Is h composite?
False
Let f(x) = x**2 - 4*x - 3. Let c be f(5). Suppose -5*l - 5*t + 735 = 0, -4*t + 729 = 5*l - c*t. Is l a composite number?
True
Let f(y) = -y**3 + 9*y**2 - 11*y + 6. Let n be f(7). Suppose -5*r - 2*b + 183 = 0, -2*b = -r - 0*r + n. Let o = -12 + r. Is o prime?
True
Suppose -4*s + 0 - 10 = -2*w, 3*w + s - 1 = 0. Let h(z) = 5*z - 1. Let t be h(w). Suppose 2*u - 342 = -t*x, 5*u - 268 = x + 543. Is u composite?
False
Let n = -27 + 11. Let c be (99/(-12))/(2/n). Let z = c - -1. Is z prime?
True
Let a = -1 - -3. Suppose a*h = 24 + 2. Suppose -y + 51 = h. Is y prime?
False
Suppose -5*v + s = -21, -3*s = 4*v - 19 - 13. Suppose -4*j + 178 = 2*p, v*j - 360 = -4*p + j. Is p composite?
True
Suppose -2*f + 0*f + c + 234 = 0, -4*c = f - 99. Is f prime?
False
Let z(g) = 2*g - 5. Let w be ((-40)/12)/(2/(-6)). Suppose -14 = -3*f + w. Is z(f) a prime number?
True
Suppose 2*y + 15155 = 9*y. Is y composite?
True
Suppose 0 = 4*p - 4, 0*p + 59 = 5*c - p. Suppose -3*w = -w + c. Is (w/(-4))/((-2)/(-44)) prime?
False
Suppose 1 = 2*r - 3*w, 4*r - 8 = -2*w + 6*w. Suppose 84 = r*g - q - 22, -68 = -4*g + 5*q. Is g prime?
False
Suppose 2*p = -2*p - 3*w + 25, 3*p - 2*w - 6 = 0. Suppose -q = p*q - k - 