 + 57. Is l(-13) a prime number?
True
Let u(f) = f**2 - 4*f - 4. Let x be u(4). Is 1/x + 212/16 prime?
True
Let c = -5 - -6. Let s be c*-3*(-3)/9. Is -1*((-14)/2 + s) prime?
False
Suppose 5*z + 3*v - 4616 = 0, 0*z + z - 5*v = 912. Is z a prime number?
False
Let u(a) = 300*a**2 - 15*a + 1. Is u(-4) prime?
True
Suppose -6 = -2*a + 2*o, 4*o = 4*a + 9*o - 3. Is 294 - 1/(-1 + a) composite?
False
Let k(t) = -35*t + 5. Let n be k(-9). Suppose 0*f = -5*f + n. Let s = 143 - f. Is s a composite number?
False
Let r be (6/(-4))/(9/(-12)). Suppose -r*t - t + 249 = 0. Is t a composite number?
False
Suppose 2*w + w - 3*z - 1668 = 0, 2*w + 5*z = 1119. Is w a prime number?
True
Let x(k) = -k - 2. Let t be x(-4). Suppose z = -5, q + t*z - 123 - 183 = 0. Suppose 2*u = -2*u + q. Is u a prime number?
True
Suppose 4*o - 8*o - 96 = 0. Let d = o - -77. Is d a composite number?
False
Suppose 3249 - 291 = 6*m. Is m prime?
False
Is -1 + 5 + -4 - -33 composite?
True
Suppose -5*l + 1063 = 3*o + 183, 0 = -l - o + 178. Suppose v = -0*v + l. Suppose 0 = 3*n + i - 0*i - v, 3*n + 2*i = 172. Is n a composite number?
True
Is (-4)/(-2) + (0 - -53) prime?
False
Let v(r) be the third derivative of -r**6/120 - r**5/60 + r**4/12 - r**3/6 + r**2. Is v(-3) composite?
False
Let k = -4 - -4. Suppose l - 28 - 95 = k. Let r = l - 32. Is r a prime number?
False
Let j(r) = r**2 + 15*r + 8. Let t be j(-11). Let x = t - -50. Is x composite?
True
Let l(f) = -f**3 - 5*f**2 + 5*f - 2. Let w be l(-6). Suppose -276 - 59 = -5*h + w*x, -2*h + 3*x + 134 = 0. Is h prime?
True
Let p = 410 - 291. Is p a prime number?
False
Let c be 0 + (2 - 1) + -2. Is (-30)/12*(-39 - c) composite?
True
Suppose 4*o = -5*p + 334, -o + 3*p - 7*p + 78 = 0. Let l = o + -33. Is l a prime number?
True
Let y = 877 - 470. Is y a composite number?
True
Suppose 1532 = 2*v - h + 3*h, -2*v = h - 1535. Is v a prime number?
True
Let g(v) = -9*v - 12. Let p(z) = -28*z - 37. Let i(w) = -7*g(w) + 2*p(w). Suppose 0*k = 5*k - 35. Is i(k) composite?
False
Suppose -3*p - 547 = 5*b, 3*p + 2*p = -b - 105. Let i(g) = -208*g + 1. Let y be i(1). Let c = b - y. Is c composite?
False
Suppose 0*j + 245 = 5*j + 5*u, -2*u = 0. Is (-2)/(-2 + 96/j) composite?
True
Suppose -7036 = 2*r - 6*r. Is r prime?
True
Let s(u) be the second derivative of u**8/6720 - u**7/420 + u**6/120 - u**5/24 + u**4/6 + 2*u. Let d(c) be the third derivative of s(c). Is d(6) prime?
True
Let o(a) = 17*a - 3. Let d be o(4). Let q = 102 - d. Let n = q - -42. Is n prime?
True
Suppose 322 = 2*s + 5*w - 520, 20 = 5*w. Is s a prime number?
False
Let f(w) = -w**2 + w - 1. Let y be f(0). Let h = y - -14. Is h a composite number?
False
Suppose -4*z - 11 - 9 = -4*d, 0 = -5*d + 2*z + 31. Is (-3)/(d + 2)*-66 prime?
False
Is (-2)/6*3*-113 prime?
True
Let o be (24/(-28))/((-2)/(-28)). Is (22/4)/((-2)/o) prime?
False
Let y = 1270 - 713. Is y prime?
True
Let a(l) = l + 11. Suppose p - 3*p - 21 = -z, -p - 18 = -2*z. Let f be a(p). Is 1/f*3 + 90 composite?
True
Let p = 123 - 17. Suppose x = 3*x - p. Is x a prime number?
True
Suppose 5*z = 2*z + 57. Suppose f = -2*h + 87, -7*h = -3*h + 5*f - 171. Suppose o - h = -z. Is o a composite number?
True
Suppose 3*g + 21 = 3*y - 60, 0 = 5*g + 20. Is y prime?
True
Let i be (-52)/6 - 3/9. Is -1*29*(2 + i) a composite number?
True
Let d be (-2)/(-6) + (-33)/(-9). Suppose -d*z + 4*f + 228 = 0, -f - 128 - 141 = -5*z. Is z composite?
False
Let g = 468 - 289. Is g composite?
False
Let t(v) = v**3 + 7*v**2 + 3*v - 3. Let c be t(-7). Let j = c + 153. Is j a prime number?
False
Let b = -4 - -4. Suppose 0 = j - b*j - 3. Suppose -j*g + 31 = -2*g. Is g a prime number?
True
Let k be (137 + -1 - 1) + 2. Let z = k + -79. Suppose 173 - z = b. Is b a composite number?
True
Let p(k) = 27*k**3 + k**2 - 1. Let f be p(1). Suppose t + 4*r = f, -t + 11 = r - 1. Is t composite?
False
Let u be 3 + (2 - (-2 + 3)). Let v = u + -4. Suppose v*n = 2*n - 30. Is n a composite number?
True
Suppose 4*p - 5*b = 301, -370 = -4*p - 5*b - 119. Is p a prime number?
False
Suppose 2*g - 4 = v, -g - 4*g = -2*v - 11. Suppose g*p - 21 = -4*n, 2*p + 3 = p + 2*n. Is (-2 - -3 - -153) + p a prime number?
True
Let n(i) = -i**3 - 3*i**2 + i + 3. Let m be n(-3). Suppose m = -2*p + 2, 2*d + 3*p + 2 = 19. Is d a prime number?
True
Suppose 283 + 356 = l + 2*n, 4*l = -2*n + 2532. Is l a prime number?
True
Suppose 3*t = 3, -4*t - 408 - 336 = -4*x. Suppose -2*n - x = -5*m, -m - 11 = 2*n - 46. Is m a prime number?
True
Let u(j) be the first derivative of j**4/4 - 8*j**3/3 + 3*j**2 + 7*j - 4. Let m be u(7). Suppose -p + 53 = -m. Is p a composite number?
False
Let a be 1*-16*(-1)/4. Suppose 0 = 5*h - 2*k - 219, 5*h + 4*k = 2*k + 231. Suppose -a*o + 7 = -h. Is o composite?
False
Let t(b) = -2*b**3 - 41*b**2 + 16*b + 22. Is t(-21) a prime number?
True
Let m(b) = b**3 - 5*b**2 - b + 8. Let n(y) = -5*y + 1. Let s be n(-1). Is m(s) a prime number?
False
Suppose 0 = -c - 5*y + 313, -7 = -5*y + 13. Is c a composite number?
False
Suppose n - 4 = -n. Suppose 4*b - 103 = -h, n*b - 349 = -3*h - 0*h. Suppose 2*s = m - h, 5*m + 4*s = m + 524. Is m a prime number?
True
Suppose 0*i = 2*i - 704. Suppose 2*g + 2*g - i = 0. Let r = g + 57. Is r a prime number?
False
Let w(a) = 45*a**2 - 4*a + 12. Is w(5) composite?
False
Let o(a) = 3*a + 10. Let j be o(-10). Let r = j - -63. Is r a prime number?
True
Suppose 0*i = -2*d + i + 225, 5*d - 568 = -3*i. Let s = 170 - d. Is s prime?
False
Suppose -18 = -3*y + y. Is y a composite number?
True
Suppose 2*w + 0*w = 4*r + 82, 3*r = 4*w - 159. Is w a prime number?
False
Let c(g) = g**2 + 11 - 47*g + 47*g. Is c(10) prime?
False
Let g = 128 - 15. Is g a prime number?
True
Suppose 3*a - 8*a = -70. Suppose -c + 104 = 4*z, 106 + a = 4*z + 5*c. Is z composite?
True
Suppose 4*d - 655 = 1021. Is d a prime number?
True
Let b = 8 - 6. Suppose -b*f = f - 231. Is f a composite number?
True
Is 236 + 4 + (-2 - -1) a prime number?
True
Is ((-2098)/(-8))/((-2)/(-8) + 0) prime?
True
Suppose 7 = 5*m + 3*q - q, -q - 4 = 0. Let o be m - (2 + 19)/3. Is (422/4)/((-2)/o) a composite number?
False
Let l(h) = h**2 - 1. Let j be l(0). Let d be (-12)/4 - 1*j. Is (-48)/(-2) + d + 3 a composite number?
True
Suppose 7 = f - 3*z - 4, 4*z + 20 = 4*f. Suppose f*b - 4 = -0*b. Suppose -b*c + 1 = -117. Is c composite?
False
Let d = 120 + -14. Suppose y - d = -y. Is y a composite number?
False
Suppose 3*c - 25 = -2*c. Let i(d) = d**2 - 2*d. Is i(c) a composite number?
True
Let v(l) = -5*l**2 + 24*l - 1. Let f(n) = 4*n**2 - 23*n + 2. Let t(s) = -4*f(s) - 3*v(s). Is t(8) prime?
False
Suppose 3*c + 0*c = 0, -46 = -2*t - c. Is t composite?
False
Let w(j) = j. Let x be w(0). Suppose -2 = -x*p - p. Suppose -p*m - 15 + 99 = 4*f, 4*f + m - 86 = 0. Is f a prime number?
False
Is -30*(1 + 3/(-2)) a prime number?
False
Is 1657 + 0/(4 - 9) composite?
False
Let n be (7/14)/((-2)/(-4)). Let g(h) = 2 + 0*h - 4*h + 8*h**2 + 3*h - n. Is g(-2) a composite number?
True
Let f(a) = -a + 11. Let d be f(11). Suppose d = -3*b + 5*b - 4. Suppose b*o = -2 + 12, 4*c - 649 = -o. Is c a prime number?
False
Let d = -23 + 108. Let j = d - 42. Is j composite?
False
Suppose 0 = 2*g - 2*i - 4, 0 = g + 4*i - i - 18. Suppose 4*l = -0*l + 444. Is (-1 + 8/g)*l a composite number?
False
Let m(h) = -h**3 - 3*h**2 - 2*h. Let v be m(-3). Let a = 14 - v. Is 114/a + 2/(-8) prime?
False
Let s = 23 - 4. Let o = 78 + s. Is o a prime number?
True
Let c = 666 + -269. Is c composite?
False
Let h(k) = 103*k**2 - 3*k - 3. Is h(-4) composite?
False
Let s(z) = 19*z**3 + 2*z**2 + z + 3. Is s(3) a composite number?
True
Suppose 5*m - 24 = 6. Let u(s) = s**3 - s**2 + s + 148. Let o be u(0). Is o/(-2)*(-3)/m a composite number?
False
Let t(b) be the second derivative of b**3 - b**2 + 3*b. Is t(2) a prime number?
False
Let x be -14*(-2)/4 - 3. Suppose -14 - 190 = -x*a. Is a a prime number?
False
Let k be 5/(30/(-4))*3. Is -23*k/(-8)*-4 a prime number?
True
Let s = 188 + -109. Is s prime?
True
Let p(k) be the second derivative of k**5/20 - k**4/6 - k**3/6 + k**2 + 2*k. Let m be p(2). Suppose m = 3*d - 262 - 23. Is d a composite number?
True
Let u = -15 + 28. Suppose -13 - 11 = -k. Let b = u + k. Is b a composite number?
False
Suppose -3325 = -6*r + 3*r - 5*v, -4452 = -4*r - 2*v. Suppose 1