2723 - 1932. Is h composite?
True
Is (12/(-48))/((-2)/1784) a prime number?
True
Suppose -i + 60 = -6*c + 2*c, 3*i = 12. Let o = c + 177. Is o a prime number?
True
Let t = -5 - -4. Let p(j) = 53*j**2. Is p(t) a prime number?
True
Let r(l) = 4*l**2 - 31*l + 15. Let b(t) = 6*t**2 - 46*t + 23. Let i(v) = 5*b(v) - 7*r(v). Suppose -k - 3*f + 12 = -4*f, -k + 24 = -5*f. Is i(k) composite?
True
Suppose 2*r - 7 = -h - 2, -3*h - 18 = -5*r. Let l be 1 + (3 - 2 - h). Suppose -2*o - 185 = -l*o. Is o a composite number?
True
Let o be 12/(3/(-267)*-2). Is o/(-4)*(-4)/6 composite?
False
Suppose 0 = 2*l + 4*s - 298, 4*l + 3*s = 5*l - 174. Is l composite?
True
Suppose -2*z = -6*z - 3*p - 32, 24 = -3*z + 3*p. Let i be z/12 + (-701)/(-3). Suppose 4*w = 5*s - i, -w - 251 = -5*s - 3*w. Is s prime?
False
Let w(n) = -n**2 - 7*n + 6. Let l be w(-6). Let g be 3/18*2*l. Suppose 9*v - g*v = 425. Is v prime?
False
Let y = -296 - -1065. Is y composite?
False
Let r = 3 + -1. Suppose 2*i - 1 - 3 = r*v, -1 = 4*i - v. Is (-3)/(i - (-10)/11) prime?
False
Suppose 105 = -5*n + 1610. Is n a prime number?
False
Let p = 228 - 143. Suppose -t = -3*g + p, 8*g - 3*g - 143 = t. Suppose -q - 2*q + 2*a + g = 0, 5*q = -3*a + 80. Is q a composite number?
False
Let c(q) be the first derivative of -11*q**2/2 + q - 1. Let a(r) = r**2 - 5*r - 6. Let u be a(5). Is c(u) prime?
True
Suppose -2*w - 1 = -3, -3*h + 12 = 3*w. Suppose 0*a - 3*a - i - 6 = 0, 0 = -i + h. Is 94/8*(-12)/a a composite number?
False
Is 3 - (-476)/(-8)*-2 prime?
False
Let y = 0 + 1. Suppose m - 5 = 4*h, -m = 2*h + m. Is h + 38/1 + y a prime number?
False
Let j(t) = -51*t - 1. Is j(-6) a prime number?
False
Suppose 11 = 4*a - 5. Suppose -s = -a + 2. Suppose 0 = n + s*x - 73, 0*x + 5*x = -2*n + 143. Is n composite?
False
Let u be (-104)/(-14) + (-3)/7. Let w(b) = 6*b**2 + b + 4 + 4*b + 3*b - b**3. Is w(u) composite?
False
Suppose 0 = 2*j + n - 10, 0 = 2*j - 3*n - 8 - 10. Let y be 0*(3 + (-7)/2). Suppose -3*b + j = -y*b. Is b a composite number?
False
Let q = -13 + 10. Is q/4 - (-789)/12 composite?
True
Suppose -h - 38 = -3*h. Let t(m) = -2*m**2 - 6*m. Let u be t(-5). Let j = h - u. Is j composite?
True
Let v be (-1 - -3*1) + 208. Suppose 5*n + 168 = 4*t, 0 = -5*t + n - 0*n + v. Let c = -27 + t. Is c a prime number?
False
Let f(n) = -n**2 + 2. Let h be f(2). Let q = 2 + h. Suppose 19 = -v - q*v - 5*s, -4*v - 2*s = -14. Is v composite?
True
Suppose 4*a + 3*t - 2*t = 15, -3*a = t - 12. Is (439 - -4)/(a/3) composite?
False
Let h = 50 - -217. Is h a composite number?
True
Let t(p) = -9*p - 11. Let w be t(-9). Suppose 0 = 3*n - 5*d + 77, 3*n = -0*d - 2*d - w. Is (70/8)/((-6)/n) prime?
False
Let i = -420 + 721. Is i a prime number?
False
Let p be ((-6)/15)/(2/(-530)). Let h = -49 + p. Is h prime?
False
Let y(r) = r**3 + 6*r**2 - 3*r - 8. Let s be y(-7). Let w = s - -85. Is w composite?
True
Let s(n) = 317*n**2 - 2*n - 1. Let f be s(-1). Let m(q) = -2*q**3 + 2*q**2 + 3*q - 2. Let v be m(5). Let l = f + v. Is l a prime number?
True
Is 6772/8*2*1 a prime number?
True
Suppose -6*g + 12 = -3*g. Suppose 0 = -5*l - t + 1469, -1410 - 39 = -5*l + g*t. Is l a composite number?
False
Suppose -123 + 43 = 3*y + 4*n, 5*y = -5*n - 135. Let k be 2 + 14*21/6. Let c = k + y. Is c a prime number?
True
Suppose -3*p + 4487 = 3*l - 8*p, 4*l - 5998 = -p. Is l a prime number?
True
Let v(r) = 79*r**3 - 3*r + 1. Let i be v(2). Suppose 4*s = z - i, 0 = 4*z - 7*z + 2*s + 1871. Is z composite?
True
Let z be 52/2*(-3 + -2). Let r = z - -197. Is r a composite number?
False
Is 318/(-15)*(-5)/2 a composite number?
False
Let a(p) = -10*p + 3. Let b(x) = x**2 - 9*x + 4. Let h be b(5). Is a(h) composite?
False
Let d be (-4)/10 - (-2)/5. Suppose -b + 0 + 6 = d. Suppose 2*g + 4*m + b = 0, 6*g - 7*g - 12 = 5*m. Is g prime?
True
Suppose -3*r - 3*x + 12 = 48, 0 = -4*r - 3*x - 46. Let n = -5 - r. Suppose n*a = 15, -3*a - 97 = 3*s - 5*s. Is s a composite number?
False
Let j be (-6)/(-1) - (2 + 0). Suppose -c = j*c - 70. Is c prime?
False
Let t(g) be the third derivative of -g**6/120 + g**5/10 - g**4/12 + g**3/3 - g**2. Is t(-5) prime?
False
Suppose -d - 3*d - 12 = 0. Is -3 + (d - (-165 + 2)) composite?
False
Let g = -3 + 0. Let h(j) = -2*j**3 + 5*j + 4. Is h(g) prime?
True
Is (-2*221)/(-2)*1/1 composite?
True
Let g = 2765 + -1204. Is g prime?
False
Let q be 10/(2 + (-8)/3). Let t = q - -30. Let w = t - -4. Is w a composite number?
False
Is 321*((-2)/(12/(-46)))/1 a composite number?
True
Let y = -204 - -287. Is y - (-3 + (-2)/(-2)) prime?
False
Suppose -2*p = -5*b - 5 - 7, -5*b = -3*p + 8. Let v be 72/(-7) - p/14. Let m = v - -16. Is m a prime number?
False
Suppose 4*i - 673 = 3*i. Is i a prime number?
True
Suppose 3*a + 6*x = 2*x + 2782, -3*x = 15. Is a*(4 + 21/(-6)) a prime number?
True
Let d = -393 - -749. Let i be (-2)/9 + d/(-18). Is 2 - (i - -2 - -1) prime?
True
Let n = 1330 + -591. Is n a prime number?
True
Let r = -4 - -4. Suppose 0*s - 2*s + 4 = r. Is -1*(-3*89 + s) prime?
False
Let o = -201 + 524. Is o a prime number?
False
Let r be ((-3)/6)/(2/(-8)). Let w be (4/5)/(-4*2/(-40)). Suppose -w = r*u - 12. Is u prime?
False
Let g = 128 + 1011. Is g a prime number?
False
Let i = 58 + 653. Suppose 4*r = i - 115. Is r a prime number?
True
Is (-3 - -2)*(3 + -160) composite?
False
Let a(o) = o**2 + 6*o + 17. Is a(10) a prime number?
False
Suppose 5*m - 1144 - 2359 = 4*z, -2094 = -3*m + 5*z. Suppose 4*o = m + 61. Is o a prime number?
True
Let n(z) = z**2 + 6*z + 4 + z + 3. Let p be n(-7). Let b(y) = 9*y + 4. Is b(p) prime?
True
Let w(d) = -d**3 + 3*d**2 - 3*d + 2. Let n be w(2). Let m = 2 - 1. Is 4/1 - (m - n) a prime number?
True
Let o(c) be the first derivative of c**4/6 - 13*c**3/6 - 11*c**2/2 + 2*c - 2. Let u(x) be the first derivative of o(x). Is u(10) prime?
True
Let o(m) = m**2 + 10*m + 11. Let g = 19 - 30. Is o(g) prime?
False
Let q = 36 - 1. Is q composite?
True
Suppose 18 = 4*l - 2*c, -3*l = -l + 5*c + 21. Suppose -5*i + l*u = -399, i + 0*u = 3*u + 85. Is i composite?
False
Let t(d) = 10*d**3 + 8*d**2 - 3*d + 3. Let i(x) = 9*x**3 + 7*x**2 - 3*x + 2. Let c(w) = -6*i(w) + 5*t(w). Suppose 4*m + 10 = 2. Is c(m) a composite number?
True
Let j = -74 - -163. Is j a composite number?
False
Let x be 213/18 - (-1)/6. Is (195*x)/2 + 1 composite?
False
Let w(s) = 16*s**2 - 3*s - 5. Is w(-2) a prime number?
False
Suppose 82 = 2*y - 514. Is y prime?
False
Let a(f) = 19*f**3 + f**2 - f. Is a(1) a composite number?
False
Let d(z) = -z**3 - 2*z**2 + 4*z + 5. Let m be d(-4). Suppose 4*g + 19 + m = -5*u, 5*u = -g - 25. Is ((-2)/u)/(1/178) composite?
False
Suppose 0 = -3*z - 12, 3*x + 4*z - 1587 = z. Is x a prime number?
False
Let y = 3019 - -3162. Is y prime?
False
Let k be 4/(-1) - (-2 + 1). Let c(h) = 19*h - 29*h + 1 - 32*h. Is c(k) prime?
True
Let k(y) = -7*y**2 + y - 2*y + 1 + 0 + y**3 + 12*y. Let c be k(8). Suppose -2*j = j - c. Is j composite?
True
Let x(a) = a + 3. Let s be x(-6). Is (-97)/(-3) + (-2)/s a prime number?
False
Suppose 0 = -p - 31 - 13. Let w = 63 + -88. Let q = w - p. Is q a composite number?
False
Is 1*(5 + -2 + 44) a composite number?
False
Suppose 4*v - 36 + 8 = 3*l, -l = -v + 8. Is v/(-14) + (-312)/(-14) a composite number?
True
Let s(t) = t - 5. Let g be s(7). Let z be (g + 3*15)/1. Is 2 + z - (4 - 2) a composite number?
False
Let s(l) = 9*l**2 - 8*l + 1. Let y(g) = 10*g**2 - 9*g + 1. Let r(x) = 7*s(x) - 6*y(x). Is r(1) composite?
False
Suppose 11220 = -10*o + 5*o. Is 6/(-14) + o/(-42) composite?
False
Let s(t) be the first derivative of 230*t**3 + t**2/2 + t + 3. Let u be s(-1). Let j = u - 391. Is j a composite number?
True
Let z(i) be the first derivative of -11*i**2/2 + 8*i - 4. Suppose 0 = -3*o - 30 + 9. Is z(o) a prime number?
False
Let c = -28 - -61. Is c a composite number?
True
Suppose 4*o + 14 + 22 = 0. Let a = 14 - o. Is a a prime number?
True
Let b(p) = 17*p + 4. Is b(2) prime?
False
Let u be (-3)/4 + 44/16. Suppose 5*f - 4*a = u*f + 190, 67 = f - 5*a. Is f prime?
False
Let o(w) = -w - 4*w + 0*w - 6 - 3. Let v be o(-8). Suppose 0 = -5*j + 124 + v. Is j prime?
True
Suppose 8*c = 11*c - 5823. Is c a prime number?
False
Suppose 0 = -3*j - a - 1750, 5*a = -0*j - 2*j - 1145. Let h = j - -941. Suppose -2*y + h = 2*y. Is y composite?
False
Let i = -