40. Is r prime?
False
Let k = 520 - 361. Suppose h = 5*j + 138, 3*h + k = -j + 653. Is h prime?
True
Suppose -5*y = 2*c - 337, 4*y - 3*c = -144 + 409. Is y a composite number?
False
Suppose 5*j + 6644 = 2*d, -3544 = -3*d + 2*j + 6433. Is d prime?
False
Let u = -104 + 163. Is u a composite number?
False
Let y(s) = 3*s. Let h be y(1). Suppose 2*b = a + 7*b - 25, 4*b = h*a + 1. Suppose -a*r + 1 = v - 8, -r = -2*v - 4. Is r a composite number?
False
Suppose -866 = -2*n - 252. Is n a composite number?
False
Let x(y) = 13*y. Let k be x(1). Let g = k - 6. Suppose -3*w + g*w = 52. Is w prime?
True
Suppose 5*z = -5*t - 0*t + 2235, -3*t = -4*z + 1802. Is z a prime number?
True
Let i(s) = -s**3 + 6*s**2 + 7*s - 7. Let f = -6 - -6. Let y(n) = n + 5. Let c be y(f). Is i(c) a prime number?
True
Let y(l) = -72*l**3 + 4*l**2 - 2*l - 13. Is y(-3) prime?
True
Let j be (0 - 1)*(3 + 0). Is 1/(1/(-57)*j) prime?
True
Let m be (-2)/((-53)/26 + 2). Suppose 0*a + a = m. Let k = a - 19. Is k composite?
True
Suppose a - 4 + 7 = 0. Is -3 + -21*8/a a composite number?
False
Let t(l) = 9*l**2 + 7*l + 7. Let m be t(6). Let o = m + -225. Let a = 215 - o. Is a a composite number?
False
Let f = -31 - -66. Let h(w) = 184*w**2 + 2*w - 2. Let u be h(2). Is u/14 + 10/f composite?
False
Is (-1 - 2)*2716/(-12) a composite number?
True
Suppose 2*n = 12*n - 4890. Is n prime?
False
Let a(t) = -t**3 - 6*t**2 + t. Let c(i) = -2*i**3 - 7*i**2 + 2*i. Let j(x) = -3*a(x) + 2*c(x). Let h be j(4). Suppose h*q = 1 + 59. Is q a composite number?
True
Suppose s = -12 - 10. Let o = s - -36. Is o composite?
True
Suppose 0*h - 2 = 2*h. Let t be (0 - h)*5/1. Suppose 4*d - 3*o - 271 = 0, -111 + 39 = -d + t*o. Is d a composite number?
False
Let u(h) = 11*h**2 - h - 1. Let q be u(-1). Suppose -q = -4*k + 5. Suppose 2*l = 5*i - 795, 5*i - 810 = -5*l + k*l. Is i a composite number?
True
Let k(b) = b**3 + 3*b**2 - b + 2. Let r be k(-3). Let x = -1 + r. Suppose 0 = z + x*v - 7, 3*v = -5*z + 4*z + 8. Is z a prime number?
True
Suppose 4*q - 5 = 3. Suppose 24 = -2*v - q*v. Is 2/8*v*-14 a composite number?
True
Let p be 0 - -2 - (-12)/4. Suppose 3*q = -3*a + 5*a + 2, 0 = -5*q + p*a. Suppose -5*u + 489 = -q*u. Is u prime?
True
Let c(o) be the third derivative of 1/12*o**4 + 1/2*o**3 + 0 + 0*o - 43/120*o**6 - 1/30*o**5 - 4*o**2. Is c(-2) a prime number?
False
Is (-2)/(-6) + (-119460)/(-45) + 2 prime?
True
Let t be 24/16*2/(-3). Is 1008/27 + t/3 a prime number?
True
Let m(v) = -897*v + 7. Is m(-2) a composite number?
False
Suppose -4*x = 0, -y - x + 887 = -4*x. Is y a composite number?
False
Let d be (-536)/(-6) + 1/(-3). Let t = 151 - d. Suppose 4*b - t = 2*b. Is b prime?
True
Let k(s) = -2*s - 4 + 13*s + 4*s. Let a = 9 - 4. Is k(a) prime?
True
Suppose 24 - 3 = 3*l. Is (-14*(0 + l))/(-2) composite?
True
Suppose 2 - 1 = o. Let a(y) = 336*y**2 - y. Is a(o) a prime number?
False
Is (58224/(-72))/(2/(-3)) a composite number?
False
Let x(j) = 351*j**2 - 3*j - 1. Is x(-2) prime?
True
Let s(v) = -v**3 - 5*v**2 + 5*v - 28. Is s(-10) prime?
False
Let d(p) be the first derivative of -329*p**4/4 + p**3/3 - p + 3. Is d(-1) prime?
False
Let d(p) = p**3 - 4*p**2 + 5*p + 3. Suppose -5 = 3*g - 23. Let b(s) = s - 2. Let a be b(g). Is d(a) prime?
True
Suppose 4*h = 9 + 3. Suppose h*u = u + 164. Is u a composite number?
True
Suppose 4*b - 4*m = 3640, 0 = m + 3*m - 12. Is b a prime number?
False
Let t = -5 - -7. Suppose 2*l = -t - 10. Is (130/l)/5*-3 composite?
False
Let f = 3 - 5. Let g be 3 - 2 - f/2. Is (-1160)/(-25) - g/5 composite?
True
Suppose -4*u + 9*u = 2075. Is u a prime number?
False
Let r(h) = -3*h**3 - 2*h**2 - 2*h - 1. Let z be r(-1). Suppose 3*y = -p + 9, -3*p - z*p + 4*y + 7 = 0. Is 1*(-45)/((-9)/p) a prime number?
False
Let a = -193 + 314. Is a composite?
True
Suppose l - 1484 = -u, u - 5921 = -3*u + l. Is u a prime number?
True
Let g(t) = t**2 + 3*t + 5. Let j = 10 - 15. Is g(j) a prime number?
False
Let w be (-15)/(-6) - 2/4. Suppose -v + w*y = 2*v - 110, v - 46 = 3*y. Suppose -4*q + 282 + v = 0. Is q a composite number?
False
Let g(y) = 85*y**2 + y. Let w be g(-2). Let j = w - -43. Is j prime?
False
Let k be 176/1 + -2 + 0. Let u = k + -121. Is u composite?
False
Let m(l) = -127*l. Suppose -3*x - x = -32. Let g(w) = w - 9. Let j be g(x). Is m(j) a composite number?
False
Let x be 2/4 + 909/6. Suppose 4*h - q - x = 0, -3*q + 99 = 2*h + h. Is h a prime number?
True
Suppose 5*s - 5 = 0, 4*v + s = -0*s + 26421. Is v prime?
False
Let z(a) = a. Let g be z(2). Suppose -2*p = -4*s - 18, 5*s = -p - 7 + g. Is (-39)/s - (-12)/8 a composite number?
True
Suppose 4*n = 5*r - 1251, -r + 4*n = -188 - 59. Is r a prime number?
True
Let m = 11 + -9. Suppose 5*d - 471 = -k, -3*d + 6*d - 956 = -m*k. Is k a prime number?
False
Let c(a) = 4*a**2 + 2*a + 3. Is c(5) a prime number?
True
Is -2*(-3 + (-4828)/8) prime?
True
Let i = 10 + -5. Suppose 4*c + 2*h = 42, -5*h + i + 0 = 0. Is c prime?
False
Suppose 3*y - 3*p + 30 = -6*p, 5*p - 46 = 3*y. Let g(w) = 3*w**2 - 11*w - 11. Is g(y) prime?
False
Suppose 3*c = 3*p - 6, -3*p = -4*p - 5*c - 4. Is (p + -5)/(-4)*419 a composite number?
False
Let v(k) = -k**3 + 11*k**2 - 7*k - 4. Let a be v(6). Suppose -5*q - 34 = 5*d - a, -4*d = -2*q - 74. Is d composite?
False
Suppose -4*u - 4*j + 862 = 242, 16 = 4*j. Let k = 254 - u. Is k composite?
False
Let g be 4/18*69*3. Let p = 37 + g. Is p prime?
True
Let f(z) = -z**3 - 5*z**2 + 6*z + 4. Let l be f(-6). Is 2*(82/l + -2) prime?
True
Let z = 417 - -216. Is z a composite number?
True
Let y(s) = -s**3 + 4*s**2 - 4*s + 3. Let w be y(2). Suppose w*t + 1 + 5 = -4*c, -5*c - 2*t = 11. Let f(l) = -2*l**3 - 3*l**2 - 2. Is f(c) prime?
False
Let i(f) be the third derivative of -19*f**4/24 + 3*f**3/2 - 3*f**2. Is i(-8) composite?
True
Suppose -2*c - 2*w + 4 = -0*c, -4*w = -c + 2. Let b = 3 + c. Suppose 2*g + z - 47 = 0, g + b*z + 77 = 3*g. Is g prime?
False
Suppose -4*h = 4*k - 5424, 3*k + 12 = -3. Is h a composite number?
False
Let a be 1 - 0 - (3 + -5). Suppose -g - a*h + 5 = 0, 5*h - 3*h = -10. Suppose 0 = -3*y - g + 455. Is y prime?
False
Let p(w) be the first derivative of w**3/3 + w + 1. Let t(q) = 4*q**2 - 2*q + 9. Let o(d) = 5*p(d) - t(d). Is o(-7) a prime number?
True
Let f = -11563 + 18342. Is f composite?
False
Let i = -1 - -3. Suppose u + 8 = -u, 3*w + i*u = 469. Is w prime?
False
Let s(v) = 223*v + 14. Let n be s(6). Suppose -4*m + n = k, -2*k - 1693 = -5*m - 4*k. Is m composite?
False
Suppose -4*q - 8 = -0*q. Is (q/6)/((-7)/11403) a composite number?
True
Is 6*((-2193)/(-9) - 4) a prime number?
False
Let i = -35 - -50. Is i composite?
True
Let b = -6 - -8. Let h be b/(-5)*1*-5. Is h*(-74)/(-8)*2 prime?
True
Let j(r) = r**2 - 3. Let c = 9 + -5. Let i = c - 7. Is j(i) composite?
True
Let p = -3 + -1. Let q = p - -6. Is (-90)/(-8) + q/(-8) a composite number?
False
Let x(g) = -24*g + 65*g + 6 + 2 + 4. Is x(5) a composite number?
True
Let n(u) = 19*u**3 + 3*u**2 + 3*u + 3. Let o(x) = -58*x**3 - 8*x**2 - 9*x - 8. Let j(v) = -17*n(v) - 6*o(v). Is j(2) a prime number?
True
Let g = 14 + -14. Suppose 3*j - 4*w - 325 = g, 0 = -w - 4*w + 25. Is j prime?
False
Let z be 1611/21 + 2/7. Let f = 41 + z. Is f a prime number?
False
Let v = 989 + -582. Is v a prime number?
False
Let z(k) = -2544*k. Let h be z(-1). Is h/18 + 4/6 prime?
False
Let t = 11 - 11. Suppose 2*l - k - 932 = t, 2*l - 5*k + 477 = 3*l. Is l prime?
True
Let g be (-18)/42 + 78/(-14). Is (-34)/g - 12/(-36) a prime number?
False
Let n = 5 - 0. Suppose 2*r = -n*x + 131, 2*r - 91 = 3*x - 0*x. Is r prime?
True
Let s = -802 - -1701. Is s a prime number?
False
Let n = -98 + 153. Is n a prime number?
False
Let h(x) = x**2 + 5*x + 5. Let s be h(-5). Suppose -s*z + 680 = -5*r, -5*z + 289 = -r - 383. Is z prime?
False
Is 10/45 + 223/9 a composite number?
True
Let w(q) = 22*q**3 + 4*q**2 - 4*q + 2. Let u be w(2). Suppose 5*p - 6 = 9. Suppose -27 = p*m - u. Is m composite?
False
Let i(w) = -47*w + 1. Let c be i(-4). Let b = c + 52. Suppose b + 8 = 3*o. Is o composite?
False
Suppose -1591 = -3*q - 2*q + k, -3*k + 331 = q. Is q composite?
True
Let t(c) = 8*c - 6. Is t(5) a composite number?
True
Let q(k) = k**3 - 4*k**2 - 4*k - 3. Let y be q(5). Suppose 2*w + 5*d = 17, w + 8 = y*d - 6. Is w*-1*10/4 a composite nu