Let p be x(-15). Let d = -43 - p. Is d a prime number?
True
Let i(l) = -l**3 + 9*l**2 - l + 4. Let t be i(6). Let k = 171 - t. Is k prime?
False
Let a be (-25)/(-2)*(-8)/(-10). Suppose 0 = -3*p - p. Suppose 2*i - 4 - a = p. Is i a prime number?
True
Is (3377/(-22))/(2/(-12)) prime?
False
Let y = 251 + 102. Is y a composite number?
False
Let h = -6 - -2. Let z be (h/(-8))/(2/12). Suppose 0 = -z*r - s + 107, 2*s = 5*r + s - 173. Is r composite?
True
Let j be (-1359)/(-6) - 3/6. Suppose a - 2*m + j = 5*a, -a + 49 = 2*m. Suppose 3*o = 2*o + a. Is o a composite number?
False
Let l(q) = -q**3 - 12*q**2 - 10*q + 20. Is l(-13) a prime number?
False
Suppose -3*d - 4*p + 7 = 2*d, 6 = 4*d + 3*p. Let l be 2/(-3)*(-6 + d). Suppose l*s - 4*s + 410 = 0. Is s prime?
False
Suppose 3*u + 8 = -4. Let k be (6/u)/(1/2). Is (-13)/(3/(9/k)) a prime number?
True
Let x(b) = -30*b**2 + 4*b. Let r be x(3). Let q = -131 - r. Is q a prime number?
True
Let r be 312/(-30) + (-4)/(-10). Let n be (-2)/(-5) - 16/r. Suppose 4*l - 5*b - 79 = n, 0 = -b - 1. Is l a composite number?
False
Let g = 20 + -9. Let i(n) = n**3 - 11*n**2 + 5*n + 4. Is i(g) a prime number?
True
Let v(x) = -903*x + 4. Is v(-1) a prime number?
True
Suppose 4*m = -4*c + 105 + 123, -187 = -3*c + 5*m. Suppose 3*w - c = 223. Is w prime?
False
Let u = 3270 + -737. Is u prime?
False
Let w be -1 - -6*(-1)/(-2). Suppose -j + 3 + w = 0. Is 182 + j/((-15)/9) a composite number?
False
Let n be (2 + 15/(-9))*12. Let y(c) = 2*c**2 - 4*c + 6. Let z be y(-5). Suppose n*d + 0*d = z. Is d a prime number?
True
Let b = 37 - 37. Suppose 4*n + 4*m + 572 = 0, 5*m = 3*n + 2*n + 685. Is b + (2 - -1 - n) composite?
True
Suppose -3*u + 2 = -1. Is u/3*(-675)/(-9) composite?
True
Suppose 0 = -2*u - 4*g + 253 + 181, 0 = 5*u - 4*g - 1043. Is u a composite number?
False
Suppose -9 = -2*n - k + 33, 5*k - 95 = -5*n. Is n a composite number?
False
Let a be (-1 - -3)/(6/3). Suppose 2*f = 3 + a. Is (99/6)/(1/f) a composite number?
True
Suppose 2*o + o - 9 = 0. Is 3 + 0 + 143 + o a prime number?
True
Let b(z) = z**2 - 111. Let w(h) = 3*h**2 - 221. Let p(u) = -5*b(u) + 2*w(u). Is p(0) a prime number?
True
Let a(o) = 21*o + 1. Suppose 2*l = 2*t + 18, t - 20 = 5*t. Is a(l) a prime number?
False
Suppose 4*i - 75 = -i. Let f = -8 + i. Suppose -4*v + 1 + f = 0. Is v composite?
False
Let w(h) = -h**3 + 3*h - 2 - 8*h + 17*h**2 - 11*h**2. Let y(x) = x**2 + 4*x + 4. Let q be y(-4). Is w(q) a prime number?
False
Let g(b) = -b**2 + 4*b + 5. Let p be g(4). Let h = p + -2. Is -3*(h - 124/6) a composite number?
False
Suppose 0 = -r - 0 + 2. Let t(n) = -n + 2. Let u be t(6). Is (r/6)/(u/(-3612)) a prime number?
False
Suppose 2*c + 2*t + 6 = -0, t + 3 = -3*c. Suppose 4*o + c*b = -3*b + 1910, -b = o - 477. Is o composite?
False
Is ((-2)/4)/(2/(-268)) composite?
False
Suppose -2*s - 1904 = -6*s. Suppose -4*n + s = -0*n. Is n a composite number?
True
Let z(q) = -q + 1. Let g be z(6). Let t(j) be the second derivative of -17*j**3/6 - 3*j**2 + 10*j. Is t(g) a prime number?
True
Suppose 2*s - 2*n = 0, n - 6 = -n. Suppose -3*i + 4*p = 12, 5*i + 2*p = p + s. Suppose 5*w + 47 = k - i*w, -2*k + 82 = -4*w. Is k composite?
False
Let q = -306 - -651. Suppose 4*t + 77 = q. Let a = t + -30. Is a composite?
False
Let z = -84 + 244. Suppose -45 = d - z. Is d a composite number?
True
Let o be (-67)/(-6)*-4*-3. Let g be 54/(-8)*24/2. Let c = o + g. Is c prime?
True
Let c = -3 + -3. Let u be (0*(-3)/c)/1. Suppose 3*b + 3*k + 3 - 102 = u, -b + 3*k = -25. Is b a composite number?
False
Suppose -3*h + 887 = -4*j, -3*h + j + 575 + 306 = 0. Is h prime?
True
Suppose -a - 4*w + 85 = 0, -488 = -5*a - 2*w + 3*w. Is a composite?
False
Suppose -2*b + 953 + 1969 = 0. Is b composite?
True
Let b = 18 - 11. Is b prime?
True
Let r(i) = -i**3 + i**2 + 3. Let l be r(0). Suppose -l*x = -82 - 29. Is x a prime number?
True
Let w(z) = z**3 + 5*z**2 - z - 2. Let k be w(-5). Let u = k - 6. Is (u/(-2) + -2)*-26 composite?
False
Is (3 - 3 - -3) + 1900 a composite number?
True
Suppose 0*h = 4*h + 444. Let p be (2/(-3))/(1/108). Let a = p - h. Is a a composite number?
True
Suppose -j - 2 = -3, -5*a - 3*j = -23. Suppose -a*y - 4*b = -36 - 240, b = 2*y - 138. Is y prime?
False
Suppose -10*n + 5*n = 0. Suppose -x + 299 = -n*x. Is x a composite number?
True
Let z = 261 + 98. Is z composite?
False
Let p = -26 + 46. Suppose 10*k - p = 5*k. Suppose 2*q + 9 = u, -k*u = 4*q - 0*q - 72. Is u composite?
True
Suppose -z - 1 = -2. Is -381*((-4)/(-6) - z) a composite number?
False
Let z(t) = -t**3 + 8*t**2 + 5. Let k be z(8). Suppose -5*p = 2*o - 20, -k*p + 1 = -o - 4. Is p a composite number?
False
Let m(h) = -18*h**3 + 4*h**2 - 3*h + 2. Let z be m(2). Let t = z - -215. Is t composite?
False
Let l = -715 - -1206. Is l prime?
True
Let t = 172 - 120. Suppose 196 = -3*w + t. Let h = 91 + w. Is h composite?
False
Suppose -4 = -v - 0. Suppose 2*p + 0*p = v*j - 128, 5*p = 2*j - 72. Is j composite?
False
Let q(u) = 186*u**2 - 1. Let a be q(-2). Let c = a - 298. Is c prime?
False
Suppose -x = x + 16. Let k = x + 27. Is k a prime number?
True
Suppose 2*c = 2*u - 174, c + 101 + 68 = 2*u. Let b = -29 + u. Is b a prime number?
True
Let l be (20/15)/((-4)/(-6)). Suppose -2*w - u - 282 = -4*w, 0 = -l*w + 5*u + 298. Is w composite?
False
Let q = 2 - -2. Suppose q - 2 = -w. Is (-8)/(-2 - w - 2) a composite number?
True
Let m(h) be the third derivative of -h**5/60 + h**4/24 + h**3/3 + h**2. Let a be m(0). Suppose -55 = -3*i + a*i. Is i a composite number?
True
Suppose 3*v - 8 = -v. Suppose v*k + 5 = 7*k, -4*k - 458 = -2*g. Is ((-4)/6)/((-2)/g) composite?
True
Suppose 0 = m - 3*n - 2218, -3*n - 28 = -13. Is m prime?
True
Suppose 2*h + 4 - 2 = 0, 614 = 3*w - 5*h. Is w prime?
False
Let a = -9 - -13. Suppose a*w - 380 = -0*w. Is w composite?
True
Let y = 33 + 21. Suppose 4*q + 0*v - v - 79 = 0, -3*q + y = v. Is q composite?
False
Suppose q = 2*n - 4*n + 5619, 2*n = 5*q - 28119. Is q composite?
False
Let d(y) = 5*y - 4*y + y - 5. Let g be (-3)/((-6)/8) - -2. Is d(g) a prime number?
True
Suppose 5*c - 1565 = 2540. Is c prime?
True
Suppose 5*y + 1 - 6 = 0. Let m = 6 - y. Suppose -m*k + 48 = c + 13, k - 51 = -c. Is c prime?
False
Let q = 18 + -10. Suppose -15 = -5*d - 0*d. Let j = d + q. Is j composite?
False
Suppose 3*x + 3*c + 300 = 6*x, 4*c = 0. Suppose -3*a = -k - 0*a + 17, -4*k = 4*a - x. Is k a prime number?
True
Let x = -7 - -5. Is x/(-3*8/1524) a composite number?
False
Let t = 6 + -2. Suppose 3*s + 204 = -4*d + 1085, 0 = -t*s + 5*d + 1123. Is s composite?
True
Let w = 562 + 3199. Is w a composite number?
False
Suppose 0 + 8 = -2*m. Let b = m - -9. Suppose 0 = -3*h - 2*h + 4*g + 397, -b*g = h - 62. Is h prime?
False
Let r = 6 + -4. Suppose -r*y + 5*y = -2*z + 333, 5*y = -3*z + 502. Is z a composite number?
True
Let k = 92 + 57. Is k prime?
True
Suppose -6 = -3*d - 0*d. Suppose y = -d*s - 3, -2*y = -3*y - 4*s - 11. Suppose t + 380 = y*t. Is t a prime number?
False
Let k(z) be the second derivative of z**5/20 + 7*z**4/12 + z**3 - z**2/2 + 2*z. Is k(-5) prime?
True
Let r be 15/(2 + (-28)/8). Let s(o) = o**3 + 11*o**2 - 11*o + 1. Is s(r) a composite number?
False
Suppose 3*j + 1536 = -2*q, q + 0*j - 2*j = -775. Is q/(-21) - (-6)/21 composite?
False
Let i(a) be the second derivative of 0 + a - 5/6*a**3 - 3*a**2. Is i(-5) a composite number?
False
Let z = 24 - 40. Let v be 30/8 - 4/z. Suppose -v*p + 105 = p. Is p prime?
False
Suppose 2*x - 47 = -0*n - 3*n, 3*x + 2*n - 83 = 0. Is x prime?
True
Let a(v) = -v**3 - 8*v**2 - 9*v - 10. Let u be a(-7). Suppose 0*n - u*n = -668. Is n prime?
True
Let b(f) = f**3 + f**2 + 215. Let v be b(0). Suppose -p - 4*p + v = 0. Is p a prime number?
True
Let w be 16*(-1)/(-2)*-1. Let k(i) = -i**3 - 9*i**2 - 8*i - 6. Let b be k(w). Is 0/(-2) - (b - 0) prime?
False
Suppose 0 = 4*d + 123 - 2899. Is 2/(-3 - d/(-230)) a prime number?
False
Suppose 0 + 12 = -2*o. Let q(k) = -k - 3. Let t be q(o). Suppose -t*j + 4*j = 19. Is j a prime number?
True
Suppose -3*g + 25 = 5*u, 2*u = -0*u - 3*g + 10. Let z = u - -1. Is z a prime number?
False
Suppose -2*v + 3*v + 3*k - 272 = 0, -k = 4*v - 1055. Is v a composite number?
False
Let r = -67 - -23. Suppose o - 204 = 3*i, 3*i + o = -2*o - 192. Let c = r - i. Is c a composite nu