0. Is m a prime number?
False
Suppose -4*w + 7*w = 711. Suppose -3*d - 4*o + w = 0, -2*d - 4*o + 158 = -2*o. Is d prime?
True
Suppose 4*p + 8 = 6*p, 2*g - 186 = -p. Is g a composite number?
True
Suppose -8*j + 7*j + 449 = 0. Is j a composite number?
False
Suppose 2*h = -3*h + 2185. Is h composite?
True
Let n(q) be the second derivative of -9*q**5/20 + q**4/6 - q**3/3 - q**2/2 - 3*q. Is n(-2) composite?
False
Let i be 198/(-8)*16/(-6). Let y = 61 + i. Is y a composite number?
False
Let x(i) = -i**3 - 11*i**2 - 14*i - 13. Let g(w) = -w**2 + 9*w + 1. Let j be g(10). Let c be x(j). Is 0 - (-1 + c + -3) a prime number?
True
Let d = -271 - -1320. Is d composite?
False
Let a = 28 - 15. Suppose -5*q + a + 2 = 0. Suppose r = -5*b - r + 271, 0 = -2*b + q*r + 97. Is b prime?
True
Let s(w) = w**2 - 5*w - 2. Suppose 0 = y + 3*y - 20. Suppose 3*t + 2*i - 14 = -2, -3*i - 39 = -y*t. Is s(t) a prime number?
False
Suppose 0*t + t = -4. Is t/22 + (-3933)/(-33) composite?
True
Let y(g) = -13*g + 3*g**2 + 0 - 2*g + 5. Is y(10) composite?
True
Let n(y) = -y**3 - 19*y**2 + 3*y - 28. Is n(-21) prime?
False
Suppose 5*w + 2*v - 1751 - 408 = 0, w = v + 429. Is w a composite number?
False
Suppose k + 445 = 2*i, 0*i + 2*i + 4*k - 450 = 0. Is i prime?
True
Let m(x) = -4*x - 3. Let r be m(-5). Let l = 14 + r. Is l a composite number?
False
Is 795 + (7 - 4)/(-3) a prime number?
False
Let a = 3 + -1. Suppose -36 - 34 = -a*s. Is s composite?
True
Let t be 4976/28 - 2/(-7). Suppose 4*b = 70 + t. Is b a composite number?
True
Let g(k) = k**2 - 10*k + 11. Let z be g(9). Is (6/(-9))/(z/(-381)) prime?
True
Suppose o - 4 = 2*p, 2*o + 3 - 2 = -5*p. Let f be (2 - 5)*1*p. Suppose t + 61 = c + 3*t, -2*c - f*t = -121. Is c prime?
True
Let t = -4 - 0. Let a = 26 + t. Is a composite?
True
Suppose j + 3*j - 12 = 0. Suppose -j = -2*f + 7. Suppose -3*d + 162 = f*b - 98, 0 = -2*b - d + 105. Is b a prime number?
False
Let n be 1 + (-3 - -3) + 1. Suppose n*z = -2, 4*y - 513 = z + 4*z. Is y composite?
False
Let x(t) = t**3 - 4*t**2 + t + 9. Is x(6) a composite number?
True
Suppose 4*m - 6*m + 7778 = 0. Is m composite?
False
Suppose 2*k + 22 = 3*k. Is k a prime number?
False
Suppose 0*m = -5*m + 205. Suppose -4*a + 15 = a, 2*h - 45 = -3*a. Let b = m - h. Is b a prime number?
True
Suppose -4*m - 2*p - 12 = 2*p, -2*p - 18 = 4*m. Let g be (m/2 + 2)*0. Suppose -4*q + 238 = 2*l, g*q - 290 = -5*q + 5*l. Is q a prime number?
True
Let y = 749 + -442. Suppose -2*p + y = 69. Is p prime?
False
Let b = 1134 - 651. Suppose 4*p - 7*p = -b. Is p a composite number?
True
Let j(i) = -i**3 + 3*i**2 + 2*i + 3. Let u(z) = -z**3 - 5*z**2 - 5*z. Let n be u(-4). Let g be j(n). Is 2 + g + 136/2 prime?
False
Suppose -2*i + 341 = -491. Suppose -5*a - 4*n = i, -2*a - n = 191 - 24. Is 0 - (0 + -1 + a) a composite number?
True
Let i(y) = 0 + 2*y**2 - y**2 + 1 + 3*y. Let r be i(-4). Suppose 3*f - 89 = -r*s, f + 2*s - 22 - 9 = 0. Is f a composite number?
False
Suppose -20 = 5*l + 5*v, 0*v - 2*v = l + 9. Is (l - 161 - 1)*-1 prime?
False
Let n(c) = 9*c**2 - 2*c - 3. Let w(i) = i**2 - 1. Let h(m) = 3*m**2 + m - 6. Let p(v) = h(v) - 4*w(v). Let g be p(0). Is n(g) composite?
False
Let m = -11 + 15. Suppose -3*d = -m - 197. Is d a composite number?
False
Suppose -62 = -2*h + 4*u, 4*h - 3*u - 129 = -0*u. Let l = 17 - h. Let x = -9 - l. Is x prime?
True
Is ((784 - -2)/3)/2 prime?
True
Suppose -i - 4*i = -25. Suppose 0*b + 47 = -5*b + 4*t, -4*t = b - i. Let w(m) = -2*m - 5. Is w(b) composite?
True
Suppose 6*i - 1175 = i. Is i a composite number?
True
Suppose 4*i = 7 + 1, -h - 3*i + 59 = 0. Is h composite?
False
Let c(x) = -x**3 + 9*x**2 + 13*x - 7. Let f be c(9). Suppose 372 = -4*o + 80. Let g = f + o. Is g composite?
False
Let n = 129 + 14. Let t be ((-1)/(-2))/((-1)/(-50)). Let i = n - t. Is i prime?
False
Let n(x) be the third derivative of -1/15*x**5 + 0*x + 1/8*x**4 + 1/6*x**3 - 1/120*x**6 - x**2 + 0. Is n(-5) a composite number?
False
Let l(k) = -35*k + 1. Let x(a) = a + 4. Let w be x(-10). Is l(w) prime?
True
Let k be -8*(1 + (-14)/8). Let z = k + -4. Let w(i) = 7*i - 3. Is w(z) a composite number?
False
Suppose -2*o = -3*m - 1 - 0, 0 = -4*m - 3*o + 27. Suppose h + m*h = 76. Is h a prime number?
True
Suppose 12*i - 5 = 7*i. Let d be 5*-2*2/10. Is 2 + i*d - -37 a prime number?
True
Let t = -24 - -15. Let c = 14 + t. Is c/(1 + 0)*23 composite?
True
Suppose 0 = -3*w + 526 + 227. Suppose -o - w = -3*o - 5*a, 246 = 2*o + 4*a. Is o prime?
True
Suppose -1 = 5*x - 16. Suppose -d + 54 = -3*f, -5*d - 53 = x*f + f. Is f/((6/4)/(-3)) composite?
True
Suppose -184 = -p + 507. Is p a composite number?
False
Suppose -b + 235 = 4*b. Suppose 4*t + y = 4*y + b, -53 = -5*t - 2*y. Is t a composite number?
False
Suppose -2*b + 135 = -31. Let w = b - 48. Is w composite?
True
Suppose 11335 = 2*j + 3*j. Is j a prime number?
True
Let k be -2 - (-2 + 0 - 0). Suppose k = u + 4*u. Suppose 0 = i - u*i - 43. Is i a composite number?
False
Suppose -3*c - 45 = -0*c. Let t = c + 30. Is t composite?
True
Is (-1733*1)/(2/(-1) + 1) prime?
True
Suppose n = 0, 5*t = -3*n + 16 - 46. Let b = t - -4. Let d = 5 + b. Is d prime?
True
Suppose -10 = -4*f + 2*f. Suppose 5*r = -5*a + 20, -f*r + 12 + 4 = a. Suppose -4*z = -r*z - 19. Is z a prime number?
True
Suppose 5*l - 852 = -2*r, 5*r - 3 = 2*r. Suppose -4*d + l = d. Let j = d + 33. Is j prime?
True
Suppose 5*o + 119 = -46. Suppose -3*h = 2*p + 2*p + 66, 2*h = 4*p + 76. Let i = p - o. Is i a composite number?
True
Suppose -2*t - 2 = 2*w, -2*w - 6 = t - 6*w. Is t/(-3)*(-9495)/(-30) a prime number?
True
Is -2*15/(-10)*1181 a composite number?
True
Let w(v) = -119*v + 5. Is w(-10) composite?
True
Let l be ((-175)/4)/((-2)/8). Let g = l + -119. Suppose 0 = 5*k - 4*q - g - 217, 2*q = -4. Is k a prime number?
True
Suppose 2*j = -2*j - f + 1, f - 1 = -j. Let u(x) = -x**3 - x**2 - x + 92. Let t be u(0). Suppose -3*a = 3, j*a - a = 3*h - t. Is h a prime number?
True
Let g = 3 + 64. Is g prime?
True
Let y(a) = 3*a**2 + 19*a + 33. Is y(-22) a prime number?
False
Suppose 1 = -5*m + 16. Suppose -4*r - o + 220 = -0*o, -188 = -m*r + 5*o. Let f = r + -22. Is f a composite number?
True
Let p = 91 + -128. Let v = 16 - p. Is v composite?
False
Let u(i) = -6*i + 17. Suppose f = -3*a - 23, 6*f - 2*f = -3*a - 29. Is u(a) a prime number?
True
Suppose a - 2*r - 336 = 451, 2*r = 0. Is a a composite number?
False
Let l(u) = -4*u - 2. Let i be l(-3). Let h be 18/30*i*1. Let v(k) = 2*k**2 + 7*k + 7. Is v(h) a prime number?
False
Let z(l) = -2*l**3 - 5*l**2 + 9*l - 1. Is z(-8) composite?
False
Let y(w) = w**3 + w**2 + 24*w + 9. Is y(10) composite?
True
Let g = 1204 + -807. Is g a composite number?
False
Suppose 25 + 42 = w. Is w prime?
True
Let y = -680 + 1011. Is y prime?
True
Is (-4276)/1*(-2)/16*2 a prime number?
True
Let o = 23 - 13. Suppose -2*l - 244 = -h, -2*l + 0*l - 480 = -2*h. Is (-3)/5 + h/o composite?
False
Let u(g) = 3*g - 3. Let p be u(3). Let f(k) = -k**3 + 5*k**2 + 5*k + 8. Let r be f(p). Is (3/(-2))/(r/(-12)) a composite number?
True
Suppose 0 = 2*k - 4*m - 332, -m + 240 = -2*k + 578. Suppose 0*c = -5*c + k. Is c a prime number?
False
Let r(m) be the first derivative of m**3/3 - 5*m**2/2 - m - 3. Is r(-4) a composite number?
True
Suppose -4*l - 85 = -b - 2*b, -5*b - 5*l + 165 = 0. Is b prime?
True
Is -2 - (262/6)/(2/(-6)) composite?
True
Let w = -15 - -72. Is w a prime number?
False
Let b(v) = 61*v**3 + 7*v**2 + v + 3. Let j(d) = -123*d**3 - 13*d**2 - 2*d - 5. Let m(u) = 7*b(u) + 4*j(u). Is m(-2) prime?
False
Suppose k + k = 16. Is (-509)/(-4) + (-2)/k composite?
False
Suppose -b = -4*z + 559, z + 5*b = -3*z + 589. Is z a composite number?
True
Suppose -3*s = -5*n + 34, -3*n + 6 = 4*s + 3. Suppose n*b - 3*m - 260 = 0, -4*b + 186 = -m + 3*m. Is b composite?
True
Let s(k) = -k**2 + 8*k - 10. Let l be s(7). Let c(b) = -4*b**3 - 3*b**2 - b + 1. Is c(l) a composite number?
True
Is (-114)/(-12) + -8 + (-1286)/(-4) a prime number?
False
Suppose 0*h - 9 = -h + m, -21 = -h - 5*m. Let q(w) = -w**2 + 20*w - 4. Is q(h) a composite number?
True
Let g be 0 + (4 - (85 - 0)). Let n = g + 230. Is n a prime number?
True
Let o(n) = -n**3 - 10*n**2 - 9*n + 3. Let x be o(-9). Suppose 4*h - 142 = x*u + 2*u, -u + 40 = h. Is h a composite number?
True
Let