-2 = -2*y, 0 = 2*g + 3*g + y - 1. Suppose 86 = 2*o - g*o. Is o composite?
False
Let n = 4 - -153. Let c = n + 312. Is c composite?
True
Let m(r) = -9*r - 2. Is m(-1) prime?
True
Let f = 29 + -29. Let n be 1690/14 + (-4)/(-14). Suppose f = h - 5*w - n, -w = -2*h - 4*w + 242. Is h composite?
True
Let g be (-3)/(1 - (-10)/(-4)). Let k(p) = 3*p - 2*p + 2*p - g*p. Is k(7) a prime number?
True
Let b = 611 + 38. Is b a prime number?
False
Let r(o) = -o - 8. Let q be r(-9). Let b = 3 - q. Is 58 + b/(3 - 1) composite?
False
Let k be -1*8*(-9)/12. Suppose 5*y + m - 7 = 0, k*y - y = -5*m + 15. Is y*((3 - 2) + 117) prime?
False
Let g(w) = -w**2 - w + 110. Let q be g(0). Suppose 6*z - q = z. Is z a composite number?
True
Let d(l) = 3*l**2 + l + 2. Let k be d(-2). Suppose 70 = 2*i - c, 2*c - 35 = -i - 0*i. Let t = i - k. Is t composite?
False
Let h be 15/(-9) - 4/(-6). Is 879*4/(-12)*h a composite number?
False
Let n(c) = c**2 + 3*c + 1. Is n(-14) composite?
True
Suppose 0 = 6*n - n. Suppose n = g + g - 92. Is g composite?
True
Let u(f) = f**3 + 4*f**2 - 4. Suppose 0 = d + 2 + 2. Let x be u(d). Let r = -1 - x. Is r a composite number?
False
Let m(i) = -i. Let r be m(-8). Let d = r - 4. Suppose 3*g = -4*h + 113, d*g + g + 4*h = 175. Is g a prime number?
True
Let v = 751 + -308. Is v prime?
True
Let z = -183 - -281. Let d = 147 - z. Is d prime?
False
Is 2259/3*(-7)/(-3) composite?
True
Is (-2 - 25/(-10))/(2/11156) composite?
False
Is (1 - 0)/(7 + (-260788)/37257) a prime number?
False
Suppose -3*v + 0*v + 2*y = -2357, -5*y - 1564 = -2*v. Is v a prime number?
True
Suppose 3*g + 45 = 5*n, -2*n = 5*g + 2*n + 112. Suppose 0 = 5*t - 2*t + 4*z - 615, t + 3*z = 205. Let i = g + t. Is i composite?
True
Let f(k) = k - 1. Let b be f(1). Let l be 1/(-2)*(-2 - -2). Suppose b*v = 2*v + 4*y - 114, -3*v - 5*y + 170 = l. Is v prime?
False
Let l = 28 - 14. Suppose -3*x + l = 2. Suppose 4*r = -2*f - r + 286, -3*r = x*f - 572. Is f prime?
False
Suppose -c - 36 = 3*c. Suppose -2 - 33 = 7*x. Is (x - -7) + (-1 - c) prime?
False
Is 1/(2 + 49/(-25)) composite?
True
Suppose 3*m + 14 = -a + 6*m, a + 4*m - 21 = 0. Suppose 6*z - 2 = 4*z. Is 0 + a/z*143 a prime number?
False
Let p be (-9 + 4)/(2/(-6)). Let d = 8 - p. Let u(v) = -13*v - 4. Is u(d) a prime number?
False
Suppose 3*j - 244 = 2*s - 20, 4*j - 295 = -s. Is j a composite number?
True
Let f(y) = -37*y**2 - 1. Let c be f(-1). Is (-5)/((-112)/c - 3) composite?
True
Let r = 21 + -36. Let o be (-2)/(-8) + r/(-4). Is -26*2*(-2)/o prime?
False
Let g be (-3)/24*2*-28. Let c(f) = f**3 - 4*f**2 + 3*f + 1. Is c(g) a prime number?
False
Suppose 5*a - 647 = -77. Is ((-7)/(-14))/(1/a) a composite number?
True
Suppose -j + 1 = -q - q, -j = 5. Is 1 - ((-4 - q) + -209) composite?
False
Let p(g) = g**3 + 8*g**2 - g - 10. Let y be p(-8). Is 4 - (-6)/y - -34 prime?
False
Let i(t) = -5*t - 1. Let l be i(-1). Suppose -l*n + 47 = 1751. Is (-1)/3 + n/(-9) a prime number?
True
Let p(w) = w**3 - 16*w**2 + 9*w + 15. Let s be p(17). Let a = 1010 - s. Is a a prime number?
False
Suppose 4*l - 16 - 12 = 0. Let n = 6 - l. Is n + (-2 - 80/(-2)) a prime number?
True
Let u = -1 - 0. Let f be (-3)/(3/(-16)*u). Let d = f - -31. Is d a composite number?
True
Is (-7970)/(-15)*(-6)/(-4) prime?
True
Let i(p) = -7*p**2 - p**3 - 2*p**3 - 7*p - 7 + 13*p**2. Is i(-5) prime?
False
Suppose 3*y = -5*n - 299, -3*y + 3*n = -7*y - 384. Is y/(-2)*(-2)/(-3) a composite number?
False
Suppose 5*m - 2*m = -12. Let n(k) = -6*k - 3. Let p be n(m). Suppose -3*s = 2*y - 14, 0 = 5*s + 5*y - 4*y - p. Is s a prime number?
False
Suppose -4*t + 41 = -163. Is t a prime number?
False
Suppose -2*p - 4 = s - 18, 5*p = 4*s + 9. Let m = -1 + s. Is m a composite number?
False
Let t(r) be the second derivative of r**3/6 + 9*r**2/2 - r. Is t(10) prime?
True
Suppose u + 4*a + 4 = 0, 4*u + 16 = -a - 0*a. Is (-2)/u + (-1706)/(-4) a prime number?
False
Let w(d) = 2*d + 3. Suppose -4*u = -0*u + 12. Let h be w(u). Is -3 + 3 + 88 + h composite?
True
Suppose -6*q + 27 + 2919 = 0. Is q prime?
True
Let g(k) = -46*k + 11. Is g(-11) prime?
False
Suppose 5*f - 30 = 3*v, 2*f + 4*v = v - 9. Is (-2 - -68) + f + -2 composite?
False
Suppose 3*i + 1 = 3*g + 4, 3*i + g = 7. Suppose -i*o + 44 = 2*o. Is o prime?
True
Suppose -5*n + 3122 = 2*w, 5*n = -3*w - w + 6244. Suppose -5*x = 2*b - 1943, -2*b - 3*b = -4*x + w. Is x prime?
True
Suppose -c + 2810 = -4*f + 8*f, -3*f = -4*c - 2117. Is f a prime number?
False
Suppose f + 4*l + 1006 = 3*f, -1509 = -3*f - 2*l. Is f a prime number?
True
Let u(x) = 27*x**2 + 2. Let s be u(2). Is s/3*21/14 a prime number?
False
Let y = 10 - 7. Suppose 310 = -s + y*s. Is s composite?
True
Let i(f) = f + 1. Let t(j) = -103*j + 3. Let d(m) = -5*i(m) + t(m). Is d(-1) a composite number?
True
Let o = 7 - 6. Is 428 + -3 + 5 + o a composite number?
False
Let j(d) = 144*d**3 - 2*d + 3. Is j(2) composite?
False
Let b(p) = p - 6. Let t be b(7). Suppose -t = 5*o - 121. Suppose -o = -y + 11. Is y a composite number?
True
Let x(h) = 2*h**3 - 5*h**2 - 4*h - 3. Let g(i) = i**3 - 3*i**2 - 2*i - 2. Let s(y) = 13*g(y) - 6*x(y). Let f be s(6). Let w = -9 - f. Is w prime?
False
Let w(z) = -z**3 + 6*z**2 - 1. Let x be (-1)/(-3) + 51/9. Let u be w(x). Is -2 + 26 + 0 + u a prime number?
True
Let z(h) = -3*h - h + 4*h**2 - 5 - 3*h**2 + 2*h. Let u be z(4). Suppose -4*w - u*g = -45, -5*g - 17 = -5*w + 13. Is w a composite number?
True
Suppose 5*o + 20 = 0, -3*o = -c + 2 + 10. Let z be (-30)/(-9)*(c + 9). Suppose -23 = -d + z. Is d composite?
False
Suppose -2*c - 3 = -9. Suppose c*t = -t - 20. Let x(o) = 9*o**2 - 7*o - 1. Is x(t) a prime number?
False
Let x(u) = 197*u**2 + 2*u + 3. Is x(-2) prime?
True
Let m(k) = k**3 + 4*k**2 + 3. Let o be m(-4). Suppose 0*n = -n - 4*h - 10, o*h = -3. Is (651/14)/(n/(-8)) prime?
False
Suppose 6*u = 3*u - 5*r + 220, -5*r = -4*u + 270. Suppose -3*t + u = -3*z - 146, 5*t = z + 340. Is t prime?
True
Suppose 2083 = 4*t - 11281. Is t a composite number?
True
Suppose -4*t - 507 = -2*f - 3*t, -4*f + 5*t + 1029 = 0. Is f prime?
True
Let z(u) = u**3 - 7*u**2 + 3*u - 20. Is z(11) composite?
True
Let j = 438 - 145. Is j prime?
True
Let k(l) = 2*l - 2. Let c be k(5). Let a = c + -8. Suppose a = -2*w - 0*w + 50. Is w prime?
False
Let j(t) be the third derivative of t**2 + 1/2*t**3 + 0*t + 0 - 1/24*t**4. Is j(0) prime?
True
Let a(m) = -m**3 + 8*m**2 + 10*m + 12. Is a(9) composite?
True
Let t be (-5 + -1)*1/(-3). Suppose t*a = 5*a - 6. Suppose a*m + 132 = 4*v, 0*m = -3*v - m + 104. Is v composite?
True
Let d = -5 - -2. Let m = -5 - d. Is -33*(-3)/(-6)*m a prime number?
False
Suppose 2*r + 3 = 7. Suppose 47 = -r*n - 105. Let l = n + 129. Is l a composite number?
False
Let f = -7 - -17. Suppose 0 = -5*g - m - 25, f + 10 = -5*g - 2*m. Let q(y) = y + 10. Is q(g) prime?
False
Suppose 0 = -7*k + 8*k - 815. Is k a prime number?
False
Let m(k) = 6*k**2 - 2*k + 1. Let l be m(2). Suppose -2*w - l = -77. Suppose a - 3*a = -w. Is a prime?
False
Suppose 20 = 5*x - 0*x. Suppose 2*d + 5*q = q - 178, 2*q = x*d + 386. Let y = d + 146. Is y prime?
False
Let t(h) = -h**3 - 6*h**2 - 6*h - 3. Let a be t(-5). Suppose -3*n + s = a*s - 21, -5*n - 5*s + 35 = 0. Let z(o) = o**2 - 6*o. Is z(n) composite?
False
Suppose 4*f + y = 6*y + 25, 0 = -3*f - 5*y - 25. Suppose f*n = n - 127. Is n composite?
False
Let x(u) = -u**3 - 6*u**2. Let h be x(-6). Let w = 2 - h. Suppose 3*c - g - 36 = 7, 18 = w*c + 2*g. Is c composite?
False
Suppose 3*k + 2*k = 20, 5*k - 775 = -s. Is s a composite number?
True
Let v be 12/((21/8)/7). Suppose 3*j - v - 73 = 0. Is j composite?
True
Let u = 320 + -62. Let g = u - 181. Is g a composite number?
True
Let g(c) = 2*c**2 + 3*c. Let b be g(-2). Suppose -4*z + 15 = z, -13 = -k - 3*z. Suppose k*d - 144 = -m, -57 - 29 = -b*d + 3*m. Is d prime?
True
Let m(v) = v**2 - 10*v - 2. Let n be m(9). Let d = n + 90. Is d a composite number?
False
Let w be 90/((-4)/(-2))*-3. Let n = 358 + w. Is n a prime number?
True
Suppose 6*s + 17521 = 13*s. Is s prime?
True
Let r(x) = -x**2 - 8*x + 5. Let p be r(-8). Suppose -p*c = -3*c - 1106. Is c a prime number?
False
Let w be 1 + 384/3 + 0. Suppose -4*q = a - w, -5*q + 2*a + 21 = -4*q. Is 1/((-3)/(-2 - q)) prime?
True
Suppose 40 = -13*p + 9*p. Let w(l) = 2*l**2 - l - 7. Is w(