 4*t - b*j = 2*t + 36. Is t composite?
True
Let i be (12/7)/(2/(-14)). Let y(h) = -13*h - 7. Is y(i) a prime number?
True
Let b = 0 - -2. Suppose z - 1 = b. Is z a composite number?
False
Let z = 44 - -15. Is z composite?
False
Suppose -2 - 13 = 3*z. Let b = -10 + z. Is 2/(-5) + (-351)/b composite?
False
Let r(d) = -d + 79. Let p(v) = -v**2 - 7*v - 8. Let j be p(-6). Let i be 0/((3 + j)*-2). Is r(i) a composite number?
False
Let i(s) = 2*s**3 - 3*s**2 + 2*s - 3. Let b be i(2). Let u be (-48)/(-5)*(0 + b). Suppose 2*w - u = -5*c, 84 - 10 = 4*w - c. Is w prime?
True
Suppose -5*d + 63 = -3*z, 0 = -5*z - 2*d + 5*d - 105. Let i = z - -70. Let l = i + -30. Is l composite?
False
Let w(m) = -m**3 - 3*m**2 - 3*m - 1. Let v be w(-2). Let l = v + 36. Is l a prime number?
True
Let b(a) = 10*a**2 + 6*a - 9. Is b(-8) composite?
True
Let j = -303 - -1516. Is j prime?
True
Let k(c) = -3*c - 14. Is k(-24) a composite number?
True
Let k = -11 + 8. Is (k - -4)*(69 - 0) composite?
True
Let t(k) be the second derivative of 5*k**4/12 + k**3/2 - 3*k**2/2 + k. Let a(p) = p**2 + 3*p - 22. Let u be a(-6). Is t(u) prime?
False
Let p(r) = -5*r + 7. Suppose -5*x + 2*x - 18 = 0. Is p(x) prime?
True
Let v(g) = 5*g + 2. Suppose 0 = -x + 1 + 6. Is v(x) a prime number?
True
Is 4/8*-443*-2 a composite number?
False
Let r(h) = -4 + 6*h**2 - 9*h + 3 - 7. Is r(9) a composite number?
False
Suppose t = 1, -r + 3*t - 1 = -0*r. Let v = 5 - r. Is v prime?
True
Let o be (-4)/(-10) + (-34)/10. Let z(k) = -k**3 - 3*k - 2. Let w be z(o). Suppose 5*a - w = 1. Is a prime?
True
Suppose -4*d + 3*u + 11 = 0, -5*u + 2 - 17 = -5*d. Let k be 230/d - (0 - -2). Suppose -3*o - 3*j + 63 = 0, 5*o - k = -3*j + 2*j. Is o a prime number?
True
Suppose -5*j = -j - 20. Suppose 0 = q - 3*u - 0*u - 154, -j*q + 783 = -2*u. Is q a composite number?
False
Suppose 1213 + 9226 = 4*a + r, -5*a + 5*r + 13080 = 0. Is a composite?
True
Let m be -3 + (-11)/(33/(-1008)). Suppose -2*b = b - m. Is b a prime number?
False
Is 2*(1893/2)/3 composite?
False
Suppose -t - 8*t + 1422 = 0. Is t prime?
False
Let p(g) = -g**2 + g + 143. Is p(0) composite?
True
Let b = -762 - -1233. Suppose -2*i - 3*w = -0*i - 235, -b = -4*i - 5*w. Is i prime?
False
Suppose -5*p = -5*n - 1345, 2*p - p + 3*n = 277. Let v = p - -20. Is v a composite number?
True
Let m = 10 + -6. Is ((-142)/m)/((-3)/6) composite?
False
Let c = -23 + -40. Let l be (c/(-27))/(2/(-18)). Is 2/(-2*3/l) a composite number?
False
Let p(v) = 0 + 5*v + 5 - 4*v**2 - 2*v**2 + v**3. Is p(6) prime?
False
Let a = 993 + -270. Is a prime?
False
Let t(p) be the first derivative of -7*p**4/4 - p + 1. Let f be ((-2)/3)/((-12)/(-18)). Is t(f) composite?
True
Let v(z) = z**3 - 8*z**2 + 7*z + 3. Suppose 4*i - 34 = 2*s - 4*s, 4*s - 19 = -i. Let w be v(i). Suppose 0 = -f - 3, n + 2*n - 42 = w*f. Is n a prime number?
True
Let r = 902 - 611. Is r prime?
False
Let o(x) be the third derivative of x**6/15 + x**5/60 - x**4/24 + x**3/6 - x**2. Suppose 4*m - 3*m - 3 = -f, -2*m + 10 = 4*f. Is o(m) a composite number?
True
Suppose -8*p + 5*p - 74 = -d, 0 = 5*p - 25. Is d a composite number?
False
Let o(l) = 2*l**2 - 1. Let n(a) = a**3 - a**2 + 1. Let u be n(1). Let p be o(u). Is 112 + (p - 0/3) a composite number?
False
Let y(t) = t**3 + 3*t**2 - 4*t + 5. Let a be y(-4). Suppose 5*x + 2 = i - 24, a*x + 25 = 0. Let z = 18 + i. Is z a prime number?
True
Let g(n) = -n**2 + n + 131. Is g(0) prime?
True
Let d(k) = -3*k. Let a be d(-1). Suppose -4*u - 4 = -24, -a*v + 463 = -4*u. Let b = v + -114. Is b a composite number?
False
Is ((-2)/1)/(21/(-3129)) prime?
False
Let w be (-20)/90 - 104/18. Let y(v) = -44*v - 11. Is y(w) a prime number?
False
Let r = 374 + -71. Is r a composite number?
True
Let u(z) = z**2 - 8*z - 1. Let t be u(8). Is -1*1*(t - 12) a prime number?
True
Suppose -3*x - 3 = 3. Let z be (-4 - -2)*5/x. Is 3 - 1 - (0 - z) composite?
False
Suppose -4*m + 2*m + 2*l + 232 = 0, -2*m - 2*l + 228 = 0. Is m prime?
False
Let r = -13 - -7. Let s(z) = z**2 + 7*z + 8. Let w be s(r). Let o = w + 4. Is o prime?
False
Let n be -2 + 6*12/9. Suppose 3*b = -0*b - n. Is b + 36 - (1 - 2) a composite number?
True
Suppose 4*q - s + 3*s = 868, -2*s = 0. Let i = q + -62. Is i prime?
False
Let v(m) = -3*m**3 - 14*m**2 + 11*m + 15. Suppose -2*b = 4*g + 38, 0*g + 5*b + 35 = -4*g. Let i be v(g). Suppose 6*l = l + i. Is l a prime number?
False
Let z = 150 + -81. Let a = 0 + 4. Suppose a*m - 63 = z. Is m a prime number?
False
Let j = 13 + -18. Is (-1 + 12)/(j/(-10)) prime?
False
Let m = -5 - -11. Suppose -3*y = 2*y + 5*d - 1430, -m = 2*d. Suppose 2 - 4 = -2*f, -f = -2*k + y. Is k prime?
False
Let m(i) = 83*i. Suppose 2*o - u + 6*u = -23, 2*o + 4*u + 18 = 0. Is m(o) composite?
False
Suppose -y = 3*v - 19, 0 = -4*v + 2*y + 18 - 6. Let i(t) = 10*t + 5. Is i(v) prime?
False
Let x(v) = -15*v - 9. Let k be (-30)/7 - (-4)/14. Is x(k) prime?
False
Let g be (-8)/(-2)*(8 + -3). Is ((-14)/(-5))/(4/g) composite?
True
Let t(v) = -13*v. Let b be t(-2). Suppose -5*s = -3*z, -s - b + 4 = -5*z. Suppose 1 - 18 = -2*f + s*q, -q + 68 = 5*f. Is f composite?
False
Let b be (-27)/4 + (-6)/(-8). Let r be (b/(-8))/(1/(-4)). Is ((-70)/4)/(r/6) a composite number?
True
Let m(w) be the third derivative of 19/40*w**6 + 0*w**4 - 4*w**2 + 1/60*w**5 + 0*w + 0 + 0*w**3. Is m(1) composite?
True
Let d = 28 + -12. Suppose 0*f = 4*f - d. Suppose -3*c = -b + 34, -f*b - 3*c = 36 - 187. Is b composite?
False
Let y(r) = 3*r**2 + 10*r + 4. Let j(f) = 9*f**2 + 29*f + 13. Let o(l) = 3*j(l) - 8*y(l). Let a be o(-5). Is (-1 + 2)*(a + 0) a composite number?
False
Let t = -5 - -6. Is t/(-3 + (-2240)/(-746)) prime?
True
Let j = -128 - -243. Is j composite?
True
Suppose 5*t = -3*c + 3973, 2*t = 2*c + 546 + 1056. Is t prime?
True
Let x = 29 - 27. Is 1564/(8/x)*1 a prime number?
False
Suppose 1242 = 3*g + 3*h, g - 3*h - 1212 = -2*g. Is g composite?
False
Let k = 120 - 41. Is k prime?
True
Let h = -83 + 150. Is h a prime number?
True
Suppose 4*p - 16 = -t, -3*p = -4*t - 2*p + 30. Suppose -6*u + t*u - 670 = 0. Is u a composite number?
True
Let q(k) be the second derivative of 2*k**4/3 + k**3/2 - k**2 - 2*k. Is q(3) composite?
False
Let u = 15 - 21. Let h(p) = -p**3 + 10*p + 9. Let l be h(u). Suppose -2*c = -5*c + 5*z + l, -c + 5*z = -55. Is c prime?
False
Suppose 13615 = -10*f + 15*f. Is f composite?
True
Suppose 77 = -2*t + 797. Suppose i - 54 = -5*l, -5*i + 2*l + t = -3*l. Is i a composite number?
True
Suppose -2*d + 0*d = y - 5, 2*d - 17 = 3*y. Suppose 0 = d*v - 92 - 128. Is v composite?
True
Suppose -4*i = 3*l - 721, -l - 2*l - 3 = 0. Suppose -3*g + 5*z = -i, 0 = -5*g + g - 4*z + 284. Is g prime?
True
Let y(l) be the third derivative of l**4/24 + l**3 + l**2. Let s(n) = -3*n - 17. Let a(o) = -6*s(o) - 17*y(o). Is a(3) composite?
False
Let f(m) = -m + 1. Let q be f(-7). Let c(h) = 6*h - 2*h + q*h + 1. Is c(4) a composite number?
True
Let w = -36 - -86. Let f = w + -25. Is f a composite number?
True
Is 8/((-40)/(-3987)) - 6/15 composite?
False
Let s(k) = -k + 4. Let i be s(2). Suppose 0 = -2*z - i*z + 8. Suppose -z*o = 5 - 47. Is o a prime number?
False
Let u be 30/(-4)*66/(-9). Suppose 5*j + 10 = 5*w + u, 0 = 5*j - 2*w - 33. Suppose -438 = -j*c - 43. Is c composite?
False
Let m = -1207 + 2072. Is m prime?
False
Suppose 2*g - 1009 + 315 = -2*w, 4*w + 1735 = 5*g. Is g a composite number?
False
Let j = -3 - 1. Let v be (-44)/(-12) + j/6. Is 516/(-8)*(-2)/v a prime number?
True
Suppose -k + 4 = -0. Let z be ((-2)/(-4))/(2/k). Is (-37)/(2 - (4 - z)) composite?
False
Suppose l - d = 76, 4*l - 324 - 25 = -5*d. Suppose 5*s = l + 194. Suppose -5*m - s = -5*o, -5*m + 3*m - 40 = -4*o. Is o a composite number?
True
Let p(c) = -c**2 + 20*c + 22. Is p(18) a prime number?
False
Let g(o) be the first derivative of -o**4/4 + 4*o**3/3 + 3*o**2/2 + 4*o + 2. Let x be g(6). Let u = 85 + x. Is u a composite number?
True
Let k = 57 + -46. Is k a composite number?
False
Suppose 29 + 169 = 2*z. Let b = 36 - 16. Let k = b + z. Is k a prime number?
False
Let b = -295 - -436. Is b prime?
False
Let k(t) = t**2 + t - 7. Is k(9) prime?
True
Suppose 2*b - 30 = -3*b. Let z be (-8)/b*3/(-2). Suppose t = z*j + 49, 3*t + j = 6*j + 147. Is t prime?
False
Let f be (-1 - -1)/(27/(-9)). Let o(j) = j + 161. Is 