prime number?
True
Suppose 12 = -2*l + 8*l. Suppose -5*r + l*w + 2223 = 0, 2478 - 259 = 5*r - w. Is r a composite number?
False
Let m = 2 + 3. Suppose 4 - 44 = m*y. Is (-3260)/y + (-3)/(-2) composite?
False
Suppose 0 = 4*c + 4*t - 1904, 1963 = 4*c - 4*t + 35. Is c composite?
False
Let b(c) = 23*c - 2. Let h(x) be the first derivative of -275*x**2/2 + 25*x + 1. Let w(q) = 35*b(q) + 3*h(q). Is w(-4) prime?
False
Let a = 19061 + -7632. Is a prime?
False
Let w(m) = m**2 + 1. Let o(l) = 102*l**2 + 3*l + 1. Let y(d) = o(d) + 2*w(d). Let p = 12 - 14. Is y(p) a composite number?
True
Suppose -2*j - 10 = 0, -1005 = 4*i - 2*j - 10091. Let w = i + -1172. Is w a composite number?
False
Suppose -5*s + 34551 = 5006. Is s composite?
True
Suppose 9*k = 66 + 231. Suppose -2*h + 7 = 5*d, 4*h = d - 3*d - 10. Suppose -k - 9 = -d*v. Is v a prime number?
False
Is -11 + 8 + 6 - -1774 a composite number?
False
Suppose 6*i - 10*i + 4 = 0. Let m be (122 + -15)/(i/3). Suppose 3*d - 240 = m. Is d prime?
False
Let n be 0 - 6 - (-6 + 8). Let l be (10/n)/((-2)/3560). Suppose 3*g - l = -2*g. Is g prime?
False
Let z(g) be the first derivative of -17*g**4/4 - g**3/3 + g**2 - g + 107. Suppose 6 = -3*y - 0*y. Is z(y) prime?
True
Suppose 0 = -4*x - 3*q + 15, 0 = -2*x - 3*q - 1 + 16. Suppose x = -6*k + k. Suppose 5*r = i + 65, k = -2*r + 4*r - i - 23. Is r prime?
False
Suppose -2*g - 15946 = -j - 3*g, -31895 = -2*j - 3*g. Is j a composite number?
True
Let l be 4 + -3 + (-2 - -15). Let h = 50 - 83. Let q = l - h. Is q composite?
False
Let k(u) be the third derivative of u**4/6 - u**3/2 + 2*u**2. Let v be k(8). Let t = v + 48. Is t prime?
False
Suppose -7 + 1 = -2*z. Suppose z*w = 27 - 6. Is w composite?
False
Let c(y) = -y**3 - 11*y**2 + 10*y - 15. Let x be c(-12). Suppose x*d = 10*d - 1779. Is d a prime number?
False
Suppose 3*v - 3*o - 367 = o, -3*v = 3*o - 360. Is v a composite number?
True
Let b(k) = -5*k**3 - 5*k**2 - k + 3. Let s be b(-5). Suppose 24*a = 20*a + s. Is a composite?
False
Let b be -4 + 7 - (-4 + 13). Is (7 + b)/(1/379) prime?
True
Let l(i) = i**3 - 10*i**2 - 23. Let j be l(11). Suppose -b = b - j. Let y = b + 30. Is y a prime number?
True
Let m = -80 - -64. Let i = m - -31. Is i a composite number?
True
Let t = 27646 - 14873. Is t a composite number?
True
Let x = -66 - -68. Is (5596/8)/((-1)/(x/(-1))) a prime number?
True
Suppose 2*x = 8 + 2. Suppose 0 = x*q + 5*r - 590, -3*q + 4*r + r = -362. Is q prime?
False
Let i(s) = -4*s + 1. Let b be i(0). Let f = 30 - -129. Is (-2)/(-6)*f/b a prime number?
True
Is 0 + 1 - (-12 - -8202)/(-1) a prime number?
True
Suppose -3 + 19 = 4*c. Let l be ((-410)/3)/(c/(-18)). Suppose -5*a = d - 147, -5*d + 5*a + l = -0*a. Is d composite?
False
Let o(v) be the first derivative of -213*v**4/4 + v**3 + v**2 - 3*v + 27. Is o(-2) prime?
True
Let d = -2976 + 6632. Suppose -d = -10*f + 9914. Is f a prime number?
False
Let z(n) = -n**2 + 6*n + 0*n**2 + 1 - 6. Let h be z(5). Suppose -2*k + 4*m + 10 = h, -k = -0*k + m - 14. Is k prime?
True
Let s = 6404 - 2125. Is s composite?
True
Suppose 3*w = -v - 3, 3*v + 2*w + 9 = -2*w. Let x = v + 5. Suppose -q = -x*q + 74. Is q a prime number?
False
Let d(h) = 60795*h**2 - 2*h + 4. Is d(1) a prime number?
False
Let a(o) = o**3 - 19*o**2 - 33*o. Suppose -2*m + 0*m = -46. Is a(m) a composite number?
True
Let k(t) = t + 1. Let m(r) = -4. Let v(p) = -4*k(p) - 4*m(p). Let l be v(4). Let w(f) = -f**3 - 3*f**2 - 3. Is w(l) composite?
False
Suppose 0*m + 3 = -m, 4 = -5*j + 2*m. Let q be (-61)/(4 + -1 + j). Let t = q - -123. Is t a composite number?
True
Let x(v) = -v**3 + v**2 + 1. Let q be x(-1). Suppose 0 = -8*p + 6*p + 2*b + 118, 3*b = -q*p + 171. Is p composite?
True
Suppose -4*y - q + 98631 = 0, 55*y = 50*y - 2*q + 123285. Is y a composite number?
False
Let f(u) = -26*u - 3928. Let i(v) = 9*v + 1309. Let d(j) = -4*f(j) - 11*i(j). Is d(0) a composite number?
True
Let l = 15415 + -8433. Is l a prime number?
False
Let h be (-18)/(-5) - (-2)/5. Suppose -2 = 2*p, p = 2*u - 13 + h. Suppose u*d - 56 = 20. Is d prime?
True
Suppose -5*v = -0*v + 45. Let a = 9 + v. Suppose 2*m - 76 - 54 = a. Is m a composite number?
True
Is 6/(-27) - 70365/(-135) a composite number?
False
Let u be -4 - ((3 - -1) + -874). Suppose -u = 5*s - 3331. Is s composite?
True
Let n(o) = -o**3 - 7*o**2 - 19*o - 15. Let q be n(-14). Suppose 3*c = 4*i + q + 3042, 4*i = 4*c - 6224. Is c a prime number?
True
Is (-2 - (-22498)/112) + (-1)/(-8) a composite number?
False
Let n = -3 + 2. Let c(m) = 1749*m**2 - 2*m - 2. Let x be c(n). Suppose -3*f + 918 + x = 0. Is f composite?
True
Suppose 3*q + 9 = r, 2*r = -2*r - q - 29. Let y be -3*2/r*-4. Let v(p) = 21*p**2 + p + 5. Is v(y) a prime number?
True
Let q = 8 - 6. Suppose 5*i - q*v = 56, -3*v - 1 - 8 = 0. Is i a prime number?
False
Let n be (-1)/((8/(-2))/12). Suppose -n*h - 503 = -j - 2071, -h = 5*j - 528. Let p = h - 38. Is p a composite number?
True
Let d = 12 - 12. Suppose -s = h - 6*s - 27, d = s + 5. Suppose -h*c = -c - 211. Is c composite?
False
Suppose 3*u = 4*x + 51119, 9118 = u + 3*x - 7900. Is u composite?
False
Let p = -1041 + 1044. Let s(l) = -20*l**3 - 2*l**2 - 2*l - 3. Let t be s(-2). Suppose -606 = -p*v + t. Is v prime?
False
Let p(x) = -2*x + 8. Let t be p(4). Suppose t*y + 1968 = 4*y - 2*a, 1475 = 3*y - a. Is y a prime number?
True
Let f = -35 - -37. Is (-289)/f*(-50)/25 a composite number?
True
Let o = -59 - -62. Suppose -3*f = z + o*z - 3203, -2*z + 4*f + 1574 = 0. Is z composite?
False
Let g(z) = -z**3 + 2*z**2 + 3*z - 4. Let x be g(2). Suppose -3*m - x*t = -67, -4*m = 7*t - 2*t - 87. Is m a prime number?
True
Let n(p) = 99*p - 4. Is n(17) a composite number?
True
Let i(x) = x**3 + 14*x**2 + 24*x + 27. Let g be i(-11). Is 9/(g/3520) - 6/14 a composite number?
False
Let i(v) = 3099*v**2 - 2*v + 2. Is i(-1) a prime number?
False
Is 54177*(3/(-18)*10 - -2) composite?
False
Let t(n) be the first derivative of 9*n**3 - 5*n**2/2 + 3*n + 1. Is t(5) a prime number?
True
Let j be (-1)/(-1) + (-4 - -3). Suppose j = -4*h + 12 + 8. Suppose -3*n - 48 = -h*n + 2*l, -2*n + 39 = l. Is n a prime number?
False
Is 42324 - ((-1)/(-2))/(11/22) a prime number?
True
Let w be -6*2/9*(-210)/28. Suppose -w*i - 1104 = -8054. Is i a prime number?
False
Let a(i) = -8*i**2 + 13*i - 10. Let k(w) = -w**2 + 1. Let h(c) = -a(c) + 4*k(c). Suppose -o - 32 = 4*q - 4*o, 0 = 3*q - 3*o + 21. Is h(q) prime?
True
Let b be 10/(-6)*(-12)/10. Is (1216/(-4))/(-1) - b a composite number?
True
Let k = -16 + 14. Is 381/k*22/(-33) a prime number?
True
Let f(c) = 17 + 32*c**2 - 4*c - c + c. Let d be (-3)/3*((0 - 1) + -4). Is f(d) composite?
False
Let y(m) = m**2 - m. Let v be y(-1). Suppose -2*h + 144 = v*h. Suppose 0 = z - h - 13. Is z prime?
False
Let k be (8/3)/(-2)*30. Let v = k - -327. Is v prime?
False
Let b = -27 - -35. Suppose -3*j + b = -1. Suppose -j*o - k + 4192 = o, -5229 = -5*o - 4*k. Is o a composite number?
False
Let q = -23 - -26. Suppose -q*u + 3906 = t + 1184, 4 = 4*t. Is u a prime number?
True
Let v(z) = -11 - 3*z**2 + z**2 - 11*z + z**2 - 6*z. Let y = 17 + -32. Is v(y) a prime number?
True
Let y be (-4)/(-2)*(-2)/4. Let t(d) be the second derivative of -89*d**5/20 - d**3/6 - d**2/2 - 3*d. Is t(y) composite?
False
Let k(c) be the first derivative of -c**4/4 + 4*c**3 + 19*c**2/2 - c - 1. Is k(9) a prime number?
False
Let s(h) = -12*h - 7. Let f(u) = 12*u + 5. Let o(r) = 4*f(r) + 5*s(r). Suppose 44 = -3*c + 8. Is o(c) composite?
True
Suppose 13*l = 9*l + 10960. Suppose p + l = 6*p. Let n = p + -253. Is n a composite number?
True
Suppose -1206 = -3*v - n + 6045, 0 = 4*n. Is v prime?
True
Is (-6)/30 - 6437640/(-75) a composite number?
True
Let z = 4824 + 3677. Is z prime?
True
Suppose 2*l + 7728 = 2*r, 9*r - 5*l - 3872 = 8*r. Is r a prime number?
False
Let v be -4 + 1/(4/24). Suppose -v*f = -670 + 4512. Let p = -1370 - f. Is p a prime number?
False
Suppose -30*q + 25605 = -21*q. Is q a composite number?
True
Let j be 3 + 3/15 - 2/10. Suppose 2*q = j*q - 443. Is q a composite number?
False
Let t(s) = 206*s + 37. Let v be t(13). Suppose 17*a - 1756 = v. Is a composite?
False
Let y(c) = -c**3 + 13*c**2 + 21*c + 10. Let i be y(12). Suppose -i + 138 = -2*a. Is a a composite number?
True
Let k(g) = g**2 - 10*g + 21. 