*b = 59*b - 2607. Is b a composite number?
True
Is -6 - 169465/(-20) - (-2)/(-8) a prime number?
True
Suppose 153 + 82 = i. Is i prime?
False
Let i(y) = -y**3 + 2*y**2 + 4*y + 2. Let p be i(-3). Suppose 6 = -3*d - 5*z + p, 2*d = 3*z - 6. Suppose 0 = g - f - f - 5, d*g - 2*f = 31. Is g composite?
False
Let a(i) = 37*i**2 + 3*i + 7. Is a(-4) a prime number?
True
Suppose -5*i = -3*i + 3*l - 4906, 7370 = 3*i - l. Suppose -1616 - i = 4*x. Is x/(-8) - (-4)/(-16) a composite number?
False
Suppose 3*r = 4*a + 248 + 553, -2*a = -2*r + 532. Is r a composite number?
False
Let z be 24/60 - 1246/(-10). Suppose -91 = -4*b + 4*d + z, -5*d + 5 = 0. Is b composite?
True
Let a = 0 + 2. Let y(c) = 0 + 0*c**a + 1 + c**2 - c + 0. Is y(6) a composite number?
False
Is 20/(-100) - (-3416)/5 composite?
False
Suppose -2*h = -4*h. Is 89 + -2 + h/(-1) a composite number?
True
Let l(w) = 2*w**2 - 10*w - 2. Let b(f) = 3*f + 2. Let d be b(-3). Let s be l(d). Suppose -2*v + s = -0*v - 4*r, -v = -4*r - 75. Is v composite?
True
Let r(z) = -z**3 - z**2 - z. Let a be r(-1). Is (24 - 3) + (1 - a) composite?
True
Is 234/13 + (0 - -1) prime?
True
Let z(s) = -s**3 + 12*s**2 - 8*s + 11. Is z(10) composite?
False
Suppose k + 13 = -5*b, 2*b = k - 2*k - 4. Suppose 2*i - 248 = -k*i. Is i prime?
False
Suppose 0 = -4*x - 16, 3*q - 711 = 3*x + 306. Is q prime?
False
Let f(l) = l**3 - 6*l**2 + 2. Suppose -a - 3*z = -8*z - 21, a = 4*z + 18. Let n be f(a). Suppose -2*k = n*u - 64, -3*u + k + 1 = -115. Is u prime?
True
Suppose 4*t + 4*x - 8 = 0, 2*x = 2*t - t - 2. Suppose 33 = 2*w - 7*r + t*r, -w + 24 = -4*r. Is w a composite number?
True
Let x be (-5)/((-3)/(-1) - 4). Suppose 5*i - 170 = -x*w, w - 66 = -2*i - 3*w. Is i a composite number?
True
Let r(u) = 21*u + 4*u + 2*u + 1 - 2. Let h(k) = k + 4. Let a be h(-2). Is r(a) prime?
True
Suppose -3*w + 170 = -193. Is w composite?
True
Suppose -278 = -w - 5*v, -w - 2*w + v + 882 = 0. Is w a prime number?
True
Let b be 2 - (4*-48)/3. Suppose 2*y = 2*f + b, -y + 2*f + 18 + 10 = 0. Is y a prime number?
False
Suppose 3*b = 8*b - 2045. Is b a prime number?
True
Suppose 4*j - 4*i = -0*i + 268, -3*i = 2*j - 124. Is j composite?
True
Suppose 63 = 4*c - 17. Is 196/c + 4/20 prime?
False
Let x = 18 - 0. Suppose -196 = -2*o - x. Is o prime?
True
Let j(t) = -107*t**3 + 2*t + 1. Is j(-2) prime?
True
Is (-2033)/(-11) + (-8)/(-44) a prime number?
False
Suppose -4206 = -5*f + 1279. Is f a prime number?
True
Let z be (-1 + 464)*(3 - 2). Let y = -212 + z. Is y composite?
False
Let u be 3/(6*(-2)/(-8)). Suppose 0 = u*g + 3*g - 2345. Is g a prime number?
False
Let p be (-4)/(-3)*9/2. Suppose -5*g = -3*w - 4, g = 3*g + w - p. Is g a composite number?
False
Let a be 3*(-8)/20*-10. Is 56 + (-1)/((-4)/a) a prime number?
True
Let u be (24/1)/(6/4). Suppose b + n + u = 3*b, 3*n = -6. Is b prime?
True
Suppose 889 = 2*u + 2*m + 3*m, -4*u + 5*m = -1733. Is u prime?
False
Let a(k) = 557*k. Is a(1) prime?
True
Let n(k) = k**3 + k**2 - k - 1. Let o be n(-2). Let u = 5 + o. Suppose 64 = 4*i - 3*g, -u*i + 0*g + 38 = -3*g. Is i a composite number?
False
Let r be (-73)/((-1)/(-1)*-1). Let p = -36 + r. Is p a prime number?
True
Suppose -5*t - d + 1338 - 82 = 0, -3*d + 1007 = 4*t. Suppose 3*w = t + 370. Let n = 368 - w. Is n a composite number?
True
Let c(h) = -8*h - 5. Let l be (2/2)/(4/(-28)). Is c(l) composite?
True
Let m = -215 - -2116. Is m a prime number?
True
Let u(q) = -14*q - 1. Let o be u(5). Let y = -58 + 38. Let w = y - o. Is w composite?
True
Let q(y) = y + 39. Is q(0) composite?
True
Let s(l) = -l + 479. Let r be (-20)/70 + 4/14. Is s(r) composite?
False
Let t(i) = 2*i + 0*i - i + 39 + i**2. Let q be t(0). Suppose -28 - q = -z. Is z a composite number?
False
Let n(c) = c**3 - 5*c**2 - 5*c - 5. Is n(13) prime?
False
Suppose 0 = -7*k + 2*k + 1105. Is k a prime number?
False
Let g(x) = x + 4. Let l be g(-4). Suppose -3*t - 7 = -f, -4*f + 3*t + 46 = -l*f. Let j = f - -1. Is j a composite number?
True
Let q(r) = 2*r**3 + 2*r**2 + 2*r - 286. Let u(m) = -m**3 - m**2 - m + 143. Let a(p) = -3*q(p) - 5*u(p). Is a(0) a prime number?
False
Suppose -28 = -4*g - 3*t + t, 0 = -3*g - 2*t + 21. Is g a prime number?
True
Let f = -249 + 2858. Is f composite?
False
Let h = 7658 - 3123. Is h a composite number?
True
Let q(n) = n**2 - 4*n - 3. Let v be q(5). Let b = -9 + 4. Is v/b + (-24)/(-10) a prime number?
True
Let g = -1 + 3. Suppose -2*y + y = 2, -k - 1 = g*y. Let m(r) = 2*r**3 - r**2 - 2*r - 2. Is m(k) a prime number?
True
Is ((-10)/4)/(1/(-46)) prime?
False
Let b = -11 + 14. Suppose -2199 = -5*n + m + m, -4*n + b*m = -1762. Is n a prime number?
True
Let c = -9 + 14. Suppose c*m = 6*d - 2*d - 140, 2*d - 70 = 3*m. Is d prime?
False
Let s(m) = -m**2 - 12*m + 2. Suppose j = 3*j + 14. Is s(j) prime?
True
Let a(p) = -2 + p - 1 + 0. Is a(10) a prime number?
True
Let g = 1012 + -140. Let n = 1459 - g. Is n prime?
True
Let u(r) = -2*r**3 - r**2 - 6*r + 5. Let i be u(4). Suppose s - a + 187 + 51 = 0, -s = 2*a + 244. Let g = i - s. Is g a prime number?
False
Let n(o) = -4*o + 0*o - 7*o. Suppose 0 = -7*q - 27 - 22. Is n(q) composite?
True
Suppose 0*k + 4*k + 4*h = 40, 0 = 3*k + 2*h - 26. Let p be (4/k + -1)*-9. Suppose -p*t = -281 - 226. Is t a composite number?
True
Suppose -2*b - 37 = 33. Let t = 124 + b. Is t prime?
True
Let b be 22/5 - (-2)/(-5). Suppose -j - 2*j + 4217 = b*l, 5 = -5*j. Is l composite?
True
Suppose -2*t = -q + 3, -3*t + 0 - 6 = -2*q. Suppose 4*j = -4*m + 240, -j + 155 = q*m - 3*j. Is m a composite number?
True
Let f(u) = -u**3 - 5*u**2 + u - 5. Is f(-6) prime?
False
Suppose 556 = -0*d + 4*d. Let y = d - 12. Is y prime?
True
Let m(y) = -y**2 - 35*y - 3. Is m(-25) prime?
False
Suppose 0 = -0*f + 4*f - 412. Is f a composite number?
False
Is 37368/60 + 2/10 prime?
False
Let d(l) = 9*l**2 + 19*l + 23. Let a(u) = -4*u**2 - 9*u - 12. Let m(b) = -7*a(b) - 3*d(b). Is m(7) composite?
True
Suppose 0*f = -3*f + 15. Suppose -f*u - 5*l = -20 - 75, -3*u - 4*l = -57. Is u a prime number?
True
Suppose 0 = -2*w - y + 7, 2*y + 3*y = 3*w + 9. Is (3 - w)*(-3 - -314) composite?
False
Suppose -2*c - 5*u + 208 = 0, 8*c - 10*c - 3*u + 200 = 0. Is c a composite number?
True
Let v = -1084 + 1664. Is (1/2)/(2/v) a composite number?
True
Let k(v) = -v**2 + 2*v**3 + 1 - 9*v**2 - 5*v**3 - v**2 - 13*v. Is k(-6) a prime number?
True
Suppose 0*y + 7195 = 5*y. Is y composite?
False
Let a(y) = 6*y - 8. Is a(3) composite?
True
Suppose 3*q - 704 = 2*q - 5*u, -3*u + 2731 = 4*q. Is q a composite number?
True
Is 1/5 + 3660/75 prime?
False
Suppose -z - 5*k = -0*z - 73, 2*z - 4*k - 174 = 0. Is z a prime number?
True
Let z(v) = -3*v - 3. Let y be z(0). Is 303*y/(-12)*4 a prime number?
False
Let i(v) = -48*v - 8. Let g be i(-4). Suppose -2*d + 42 = -g. Is d composite?
False
Let l = 9 - 6. Let x(w) = -6*w + 2. Let h be x(-5). Is (-1 + h)/(l + -2) a prime number?
True
Let u(z) = -6*z + 10. Let w(m) = m - 1. Let a(i) = u(i) + 3*w(i). Is a(-5) prime?
False
Let h = 16 - -12. Let n = 11 + h. Is n composite?
True
Let o be (-6395)/(-6) - (-3)/18. Suppose -c + 272 = -2*b, -3*c + o = 3*b + 268. Suppose p - c = -3*p. Is p composite?
False
Let l(s) be the second derivative of -s**3/6 - s**2 - s. Let h be l(-4). Suppose 4*t + 5*f - 71 = 0, f - 33 = -h*t - 4*f. Is t a prime number?
True
Is 3279 - ((-12)/(-18) + (-8)/(-6)) a prime number?
False
Let h be (-46)/(-10) + 6/(-10). Is 129 + 2/4*h a prime number?
True
Let p be 2 - (-4)/(-1 + 5). Is (14/p)/((-10)/(-1455)) prime?
False
Suppose -2*v = -4 - 4. Suppose -2*t + 476 = h, -v*h + 751 = -3*t - 1131. Let r = -135 + h. Is r composite?
False
Let g(c) = 2*c. Let z be g(2). Suppose -n - z = n. Is 13 + ((-4)/n - 1) a prime number?
False
Let u = 71 - 37. Is u composite?
True
Let c = 131 - 78. Is c prime?
True
Let c = 703 - -498. Is c composite?
False
Let l be (51/(-4))/((-3)/12). Let c(r) = r**3 - 6*r**2 + r - 4. Let f be c(6). Suppose w + f*z = l, -30 = w - 3*z - 101. Is w composite?
False
Let z(n) = 3*n**2 + 6*n - 17. Is z(-8) prime?
True
Suppose 0 = -2*c - 5*g + 17, -2*g = -7*g + 5. Suppose 4*o = c*o - 586. Is o prime?
True
Suppose 3*d = 2*q + 1016, 775 = 5*d - q - 916. Is (3 - d)/((-2)/2) prime?
False
Suppose 2*u - 6*u + 22 = -2*t, -5*t = -2*u + 7. Suppose 2*h + u = 0, -5*p + 169 + 143 