5 = 0. Is k a prime number?
True
Let g = -2 + -4. Is g/(-15) - 553/(-5) prime?
False
Is (-3)/(-2 + 1059/534) composite?
True
Let m = -424 - -1054. Let d = m + -323. Is d a composite number?
False
Let i = 17 - 15. Let r(f) = 58*f**2 + 4*f - 3. Is r(i) a composite number?
True
Is (-157*-1*1)/(28/196) a composite number?
True
Let k(g) = g**2 - 2*g + 10. Let u(b) = -2*b**2 + 3*b - 11. Let t(c) = -6*k(c) - 5*u(c). Is t(4) a composite number?
False
Let v(q) = 4*q + 11. Is v(10) prime?
False
Let x(h) = 7*h**2 - 2*h - 7. Is x(-3) prime?
False
Let g be (-1101)/(-7) - (-6)/(-21). Suppose g + 79 = 4*c. Suppose -n - 4 + c = 0. Is n prime?
False
Suppose n - 24 = 4*a, 0 = 3*a + n + 4 + 14. Let d be 5/(10/(-4)) - a. Is (177/(-12))/((-1)/d) composite?
False
Let l(v) = -12*v**3 - v**2 - v. Let p be l(-1). Is ((-6)/p)/((-2)/124) a composite number?
False
Let w be (0 + 1)/(2/222). Suppose 2*k = 5*c + 43 - w, -4*k = c + 4. Suppose -y - 72 = -4*y + 3*n, -y = 5*n - c. Is y a prime number?
False
Let t(l) be the second derivative of l**3/6 + 2*l**2 + 2*l. Let y be t(-6). Is 43 - (-2*1 - y) composite?
False
Let k = 839 - 536. Is k composite?
True
Let r = 3 + -4. Let y be 1 + -1 + r + -3. Let q(s) = -7*s + 5. Is q(y) a composite number?
True
Let s(h) = -h**3 + 8*h**2 - 4*h + 4. Is s(7) a prime number?
False
Suppose l = -0*l + 12. Suppose -4*o - 2*d + l = -d, 5*d + 3 = o. Suppose 0 = 4*t - o*z - 82 - 45, -z + 154 = 5*t. Is t composite?
False
Let x = -128 - -253. Suppose x = -3*b + 8*b. Is b a composite number?
True
Suppose 405 = 3*t - 3*f, t = -f + 4*f + 127. Is t composite?
False
Let h(q) = 0*q + 13*q**2 + 5*q + 3 - 2*q**2 + 2. Is h(-4) composite?
True
Let r = 8 + -3. Suppose 8 = 3*m - 2*d - 13, -r*m + 5*d = -30. Is m composite?
True
Let u(b) = 11*b**2 - 12*b - 21. Is u(-8) a prime number?
False
Let m(w) = -2*w**3 - 15*w**2 + 15*w + 21. Let r(o) = -o**3 - 7*o**2 + 7*o + 10. Let y(t) = -3*m(t) + 7*r(t). Is y(-6) prime?
False
Suppose j - u + 6 = 5*j, 5*j - 3*u - 16 = 0. Suppose j*f = 4 + 4. Suppose 3*q = -5*h + 340, -h = f*q - q - 56. Is h a prime number?
True
Suppose -g = 2*g - 3*v - 36, 2*g = v + 26. Suppose -b + 65 = g. Is b composite?
True
Suppose -2*t + 0*t - 6 = 0. Let h(f) = -5*f**2 + 4*f - 10. Let w(i) = i**2 - i + 1. Let c(l) = t*w(l) - h(l). Is c(-6) a composite number?
True
Suppose -q + 5*i = -2019, -6627 - 1449 = -4*q - 4*i. Is q a prime number?
False
Let n be (-65)/3 + 2/3. Let a be (-168)/(-8)*8/3. Let z = n + a. Is z a prime number?
False
Let h(n) = 19*n + 3. Is h(14) a prime number?
True
Let j(a) = 6*a**2 + 12*a + 5. Is j(-13) a prime number?
True
Let x(o) = -2*o**3 - 5*o**2 - 7*o - 1. Suppose 3*k + 6 = 2*k. Is x(k) prime?
True
Suppose -a = 4*i - 247, a - 4*a + 741 = -i. Suppose 0 = -3*q - 4*c + a, 5*c + 5 = -20. Is q a prime number?
True
Let h(b) = -b**2 - 6*b - 1. Let p be h(-5). Let x be ((-856)/(-10))/(p/10). Suppose -4*z + x = 66. Is z a composite number?
False
Suppose 0*l = 3*i - 3*l - 24, 21 = 2*i - 3*l. Is 36 - (0 - (2 - i)) prime?
False
Let v(x) = x**2 + 3*x - 5. Suppose w - 3*w = -10. Let y be v(w). Suppose 2 - y = -d. Is d prime?
False
Let h(y) = -y**2 - 28*y - 15. Is h(-12) composite?
True
Let o be 116/(-6)*18/12. Let l = o - -42. Is l prime?
True
Let k(n) = n**3 - 7*n**2 + n - 2. Let f be k(7). Suppose -f*p = 3*j - 451, 0 = -3*j + 4*j - 4*p - 122. Suppose 3*u - u = j. Is u a prime number?
True
Suppose d + s - 2*s - 79 = 0, 0 = -3*s - 15. Is d a composite number?
True
Suppose -p + 52 = -205. Is p a composite number?
False
Suppose 3*n = 3*b - 60, 4*b - 40 = 2*n - 0*b. Let j be (345/n)/(2/(-8)). Let r = 131 - j. Is r prime?
False
Let o = 1023 - 350. Is o a composite number?
False
Let u be (-6)/(-21) - (-1153)/7. Let l = -88 + u. Is l a prime number?
False
Suppose -3*c - 126 = 72. Let s = 119 + c. Is s prime?
True
Is (-2 + 4 + -1)*1742/2 prime?
False
Is (-2)/(-4) - (-201)/6 prime?
False
Suppose i - 2*i = -211. Is i prime?
True
Let u(t) = -t**3 - 4*t**2 + 3*t - 1. Let d be u(-5). Suppose 2*q + 4 = 0, -4*h - 5*q = -d*h + 360. Let b = 117 - h. Is b a composite number?
False
Let m(b) be the first derivative of -b**3/2 - 5*b**2/2 + 2*b + 4. Let u(k) be the first derivative of m(k). Is u(-6) composite?
False
Suppose -5*y = -77 - 1008. Is y a prime number?
False
Is (12/4 - 5)*(-262)/4 prime?
True
Suppose 4*y + 5*s = 12155, y + s - 3023 = 5*s. Is y a composite number?
True
Suppose 283 = 5*t - 152. Is t a composite number?
True
Let j(v) = -2*v + 5*v + v. Let r be j(1). Suppose -i = 2*w - 70, -i - 230 = -4*i + r*w. Is i a composite number?
True
Suppose 0*i + 5*i = 20. Suppose i*o - 14 = 2. Suppose -143 = -o*q + 117. Is q a composite number?
True
Let q = -3 - -6. Suppose -q*r = -2*u - 36, 2*u = 6*u - 12. Is r a prime number?
False
Let u(w) = -2 + 1 - 3*w - 3*w - w**2. Let p be u(-5). Suppose y + p*a = 5*y - 40, 3*y = -2*a + 35. Is y composite?
False
Suppose 5*d - 439 = 4*t + 34, -3*d + 275 = 2*t. Is d a composite number?
True
Let q = 17 - 12. Suppose -2*y = 3*f - 1, -q*f + f = 3*y. Is f a composite number?
False
Let p be 6/4 - (-1)/(-2). Let z = 2 + p. Suppose -g = 3*f - 57, f + 2*g = z*f - 38. Is f prime?
True
Let k(g) = g**3 + g**2 - 2. Let w be k(0). Let x(f) = -25*f - 3. Is x(w) a prime number?
True
Let r = -100 - -219. Is r composite?
True
Suppose 0 = 5*u - 16010 - 1085. Is u a prime number?
False
Let b be 1*((-2)/(-1) - 1). Is (4/(-8))/(b/(-94)) a composite number?
False
Let u(x) = -x**3 - x**2 - 4*x + 7. Is u(-6) a composite number?
False
Let j be (-2938)/5 - (-6)/(-15). Let k = j - -847. Is k a composite number?
True
Let p(g) = -2*g + g**2 + 4*g**2 + 90 - 81. Is p(6) composite?
True
Suppose -3*i + k = -1943, -3*i + 2*i + 4*k + 633 = 0. Is i a prime number?
False
Let h be 1/(-5) + 48/15. Suppose 26 = -h*x - 4. Let i = x + 17. Is i composite?
False
Let d = 12 + -6. Suppose -3*k = d, -m - 4*k + k + 121 = 0. Is m composite?
False
Suppose d + 240 = 2*d. Let a = d + -127. Is a prime?
True
Let x be -4*22/4*2. Let g = x - -74. Suppose -5*n + 0*n - 2*z + 30 = 0, -5*n + g = 3*z. Is n prime?
False
Suppose 4*m - 3238 = -j - 4*j, 4*j = 8. Is m a composite number?
True
Suppose h + 0*h = 5. Is (-12)/30 - (-787)/h composite?
False
Let f(c) = -c**3 + 4. Let p = -4 + 4. Let q be f(p). Suppose 2*g + 4*b = 34, 3*g + b + q*b = 50. Is g prime?
False
Suppose 16*o - 11*o - 1465 = 0. Is o prime?
True
Let r(b) = 4*b**2 - 6*b + 1. Is r(10) composite?
True
Let n(a) = a**2 - 2*a - 9. Let f be n(7). Suppose 4*k + 4 = 4*t + 16, 0 = 3*t + 4*k - f. Suppose -t*m + 6 = -2. Is m a prime number?
False
Suppose 0 = -4*f + 20, 0 = -3*l - 4*f + 39 - 10. Is l - 3 - -210 - 1 a prime number?
False
Suppose -5*j - 25 + 0 = 0, -m + 505 = 4*j. Suppose 4*n = n + m. Suppose 6*g - n = g. Is g prime?
False
Suppose 2*w - 8 = -4*s, 2*w + 16 = -0*s + 4*s. Let l be 5 + (w*3)/3. Is ((-2)/2)/(l/(-57)) a prime number?
True
Let d(g) = -26*g + 7. Let j be d(-5). Let i be 4/6 - (-3720)/(-45). Let s = i + j. Is s a composite number?
True
Suppose 399 = 3*d - 468. Is d a composite number?
True
Suppose 2*t + t = 2*u - 19, 3*u + t - 1 = 0. Suppose 22 = -4*n + 2, -u*l - 3*n + 1003 = 0. Is l composite?
False
Suppose 8 = 2*l + 2*l. Suppose l*q = 2, -g - 4*q = 3*g - 156. Is g composite?
True
Let t(p) = p**2 - 10*p + 7. Let g be t(10). Is 13*(1 + (g - 3)) prime?
False
Let r(b) = -6*b - 9. Let d be r(-4). Let x(t) = t**2 - t - 7. Is x(d) composite?
True
Let x(v) = v**3 - 6*v**2 + 5*v + 4. Let z be x(5). Let n(y) = 97*y - 6. Let g be n(8). Suppose -z*m + 90 + g = 0. Is m composite?
True
Let i(u) = 17*u - 4. Let k be i(7). Suppose p - 2*p = -k. Is p a prime number?
False
Suppose 0 = -7*q + 3*q. Suppose -4*d + 756 = 4*i, q = -4*d + d + 5*i + 535. Is d composite?
True
Suppose 0 = 9*o - 8*o - 1055. Is o a prime number?
False
Let k(j) be the second derivative of 7*j**4/12 - 11*j**3/6 + 7*j**2/2 + 7*j. Is k(-8) prime?
False
Let p be (-1)/(-2 + 18/10). Suppose 5*y - 8 = -p*c + 322, -263 = -4*c - 5*y. Is c composite?
False
Let v(l) be the second derivative of l**5/20 - 5*l**4/12 - 11*l**3/6 + 3*l**2 - 2*l. Let p be v(7). Suppose -5*b = -4*k + p, -b + 3*b + 6 = 0. Is k prime?
True
Let g(h) = 678*h**2 - 3*h - 1. Is g(2) composite?
True
Let a(h) = -22*h**3 + 4*h**2 + 7*h + 4. Is a(-5) prime?
True
Is (651/(-6))/(4/(-8)) a prime 