b be f(r). Let g = -19 + b. Is g composite?
True
Let c be (-6)/(-8) + 18/8. Suppose 0 = -0*r - c*r + 33. Let t = r - -36. Is t a prime number?
True
Suppose 0 = -w - 5*m + 24, -3*w - m = -0*w - 2. Let u be (366/8)/(w/(-4)). Let r = u + -98. Is r a prime number?
False
Let a be (52/(-10))/(2/10). Let r = 79 + a. Is r prime?
True
Suppose -2*a = 2*a + 16. Is a/6 + 240/9 prime?
False
Suppose 3*o - 13 = -b, -3*o - 2*b + 4*b = -19. Suppose 0 = -5*n - 2*p + 805, -o*n + 2*p - 6*p + 815 = 0. Is n composite?
True
Let p = -3 - -6. Suppose 0*m = p*m - 9. Is 104/m - 2/(-6) prime?
False
Suppose 1 = -2*d + d, y - 2*d - 1385 = 0. Is y a composite number?
True
Is ((1197 - 4)*1)/1 a prime number?
True
Let c(m) be the third derivative of -3*m**4/8 + m**3 - 2*m**2. Let u = -1 + -4. Is c(u) composite?
True
Let f(m) = -5 + 4 - 17*m - 22*m. Is f(-1) a prime number?
False
Let n be -1*(2 - (-1 - -2)). Let w = -1 - n. Suppose 2*c + 259 = 5*g, -2*g - 3*g - 3*c + 274 = w. Is g prime?
True
Suppose -x + 3*x - 326 = 4*b, 2*x = 3*b + 325. Is x a prime number?
False
Suppose -4*l = -4*i - 8, -3*l = 2*i + 2*l - 10. Suppose -g + 181 = -i*g. Is g composite?
False
Let p be 1 + (-3 - -2) + 6. Let x be (p/(-2) - -3) + 3. Let m(f) = 4*f - 1. Is m(x) prime?
True
Let u be (-270)/(-4)*4/(-3). Let b = 187 + u. Is b prime?
True
Let g(a) = 8*a - 5 + 0 - 6. Is g(11) composite?
True
Let w be ((-2)/4)/(3/(-132)). Suppose -2*o - 2 = -w. Let k = 17 - o. Is k a prime number?
True
Is (1509/15)/((-1)/(-5)) composite?
False
Suppose -35 = -3*s + 2*s. Let a be 1*s*(0 - 1). Let f = a - -88. Is f prime?
True
Let n(s) = -s - 4. Let g be n(0). Let t(f) = -10*f - 1. Is t(g) a composite number?
True
Let j(b) be the first derivative of -3*b**2 - 3*b - 4. Is j(-3) a composite number?
True
Suppose 5*k - 1050 = -0*k. Let i = k - 59. Suppose 21 = -2*r + i. Is r prime?
False
Let s(w) = -5*w - 2. Let j(p) = p**2 + 5*p + 2. Let i be j(-5). Suppose 3*d + i*d = 4*x + 40, -2*d + 33 = -5*x. Is s(x) composite?
False
Let v be (-1)/((-5)/2 - -2). Let s = 1 - v. Is s + (-1 - -2) - -19 a prime number?
True
Let m(d) = d**2 - 3*d - 10. Let t be m(-8). Suppose t = n + 2*n. Is n composite?
True
Let l = -274 - -452. Is l/(-1*(1 + -3)) composite?
False
Let y = -2 + 2. Is 32 - y - 2/(-2) a composite number?
True
Suppose -5*u + 29 = -0*y + y, -17 = -u - 3*y. Let i(a) = a**3 + 3*a**2 + 3*a + 2. Is i(u) prime?
False
Suppose -5*x = 4*f + 19, 0 = 2*f + 2. Let p(a) = -11*a + 4. Is p(x) a prime number?
True
Suppose 0 = 2*k - 1 - 9. Suppose 3*z - 454 - 38 = 3*l, k*z + 4*l - 793 = 0. Is z prime?
False
Let y = 0 - 0. Suppose 3*v + 22 - 88 = y. Is v composite?
True
Let z = -1 + 3. Is (0 - (-1 + z))*-211 composite?
False
Suppose 4*y - y = 0. Suppose y = -5*t - 0*t + 615. Is t prime?
False
Let x = -55 - -132. Is x a composite number?
True
Let k(y) = y**3 + 23*y**2 + y + 29. Is k(-10) prime?
True
Let j = 481 - -3630. Is j a prime number?
True
Let l(o) = 4*o**3 - 2*o - o**2 - o**2 - 3*o**3 + 3*o + 2. Let g be l(2). Suppose 4*a - 288 = -g*f, -f = a + 4*f - 52. Is a a composite number?
True
Let c(j) = 20*j**2 - 14*j + 33. Is c(20) a composite number?
False
Suppose -2*f = 3*f - 4415. Suppose 3*u - 4*r - f = 0, u - 2*u = -2*r - 295. Is u composite?
False
Let l = 0 + 55. Is l a composite number?
True
Let w(h) = h**2 + h + 11. Let j(q) = -q**3 - 7*q**2 - 6*q + 3. Let b be j(-6). Suppose -15 = b*k, -3*u + 5 = 4*k - 5*k. Is w(u) a prime number?
True
Suppose 0 = 5*u - 8*u + 6. Suppose 4*y + u*o - 29 = 135, -3*y = 3*o - 129. Is y a composite number?
True
Suppose 0 = -3*x + 6. Suppose -m - 2*m = -x*o - 9, 0 = -4*m + 4*o + 8. Suppose m*s + 2*i = 5*i + 74, -2*s + 5*i = -41. Is s a prime number?
True
Suppose -4*h + h - 171 = 0. Let o = 70 - h. Is o prime?
True
Let i(z) = 2*z**2 - 8*z + 5. Let a be i(6). Let n = a + 8. Is n prime?
True
Let m = -9 + 5. Let g = m + 7. Is g composite?
False
Let r(i) = 2*i**2 + 9*i + 1. Is r(6) prime?
True
Let n = 0 - -1. Suppose a = -0*a + n. Let f = 4 - a. Is f a composite number?
False
Suppose 0 = -5*v - 20, -4*h + 1336 = v - 4*v. Is h a prime number?
True
Suppose v + 4*x - 1715 = 0, 2*x + 1952 + 3235 = 3*v. Is v prime?
False
Let m = -4 + 6. Let u = 31 + -28. Suppose m*r + 187 = u*r. Is r a composite number?
True
Let a = 568 + 285. Is a prime?
True
Suppose -5*a + 4*j + 5 = -5, 4*a + j - 8 = 0. Is -206*((-5)/a - 0) composite?
True
Let w = 4 - -2. Let t(l) = -l**3 + 5*l**2 + 6*l + 3. Is t(w) composite?
False
Let a = -442 + 1083. Is a a prime number?
True
Let m(o) = 160*o + 37. Is m(10) a composite number?
False
Suppose -k + 286 = 5*q, -5*k + 5*q + 1346 = 2*q. Suppose -3 - 13 = -4*m, k = 5*o - m. Is o a prime number?
False
Let y = -2 + 14. Let p(i) = -y - 3*i + 0*i + 10 + 5*i**2 - i**3. Is p(3) a prime number?
True
Let p be (-2)/((12/(-9))/2). Suppose p + 5 = -4*d. Is d/(-6) - (-38)/3 composite?
False
Suppose x + 3*w = 3*x - 1070, -5*w + 20 = 0. Is x prime?
True
Let u(j) = 113*j. Let h be u(2). Let d be (h/(-5))/((-2)/10). Let l = -135 + d. Is l a composite number?
True
Let i be 0 + -3 - 11*4. Let c = i + 69. Is c prime?
False
Let d(h) = -9*h**3 + 2*h**2 + 3*h + 3. Is d(-2) composite?
True
Let m(g) = -90*g + 1. Let n be 2 + 15/(-3) + 2. Is m(n) a composite number?
True
Suppose -245 = -t - a + 194, 0 = -2*t - 4*a + 888. Suppose t = 5*l + 9. Is l composite?
True
Suppose 3*a - i = -a + 13, -i = 3*a - 1. Let o be 33 - a/6*0. Let f = o + -20. Is f a composite number?
False
Let o(i) = 6*i**2 + i - 1. Is o(-2) composite?
True
Let j(v) = -v**3 + 6*v**2 + 5*v - 2. Let r be j(5). Suppose -22 = 3*x + 11. Let h = r + x. Is h a composite number?
False
Let n = -16 + 28. Suppose -2*v = 2*d - 6, -2*v + 1 + 5 = -d. Is 8 + (n/2 - v) prime?
True
Let r be (-12)/16 - 46/(-8). Suppose -r*x = -f - 0*f + 11, -104 = -4*f + 5*x. Is f a prime number?
True
Suppose -3*o = 5*c - 2*c - 9, 5*o - 2*c = 1. Let l be -2 + (o - -2) + 19. Is 3/2*(l + 2) a prime number?
False
Suppose i - 2725 = -2*a, 4*a = -a - 3*i + 6814. Is a composite?
False
Suppose 5*z - 18 = -4*v, 0 = v - 4*v + 3*z. Let y(j) = j - 2. Let q be y(v). Is 47*1 - (q - 2) a prime number?
False
Let p = -1 + -1. Let v = p + 5. Suppose -l + 2*k + 89 = 0, v*l - k + 78 = 335. Is l composite?
True
Let v be ((-5)/(-3) - 1)*3. Is v/(-1) - -53 - -2 composite?
False
Let k(n) = 3*n**2 + 15*n - 19. Is k(-13) prime?
True
Suppose -3*c - b + 4193 = 0, 7*c + b = 3*c + 5590. Is c a prime number?
False
Suppose 2*b + 247 + 814 = 5*u, -3*u + 2*b + 635 = 0. Is u a composite number?
True
Suppose -3*f = -2*z - 46, -5*f + 0*z + 2*z = -82. Suppose -b = b - f. Suppose o = b - 3. Is o a composite number?
True
Let i(n) = -73*n. Let u be i(18). Let z = 2737 + u. Is z a prime number?
True
Let x(q) = 2*q**2 + 4 - 3 + 2 + 12*q**2 - 3*q. Is x(2) a composite number?
False
Let i(x) = -28*x**2 + 4*x - 2. Let f(j) = j + 1. Let n(l) = 6*f(l) - i(l). Is n(-3) a prime number?
False
Suppose -318 = -5*y + 3*y. Is y a prime number?
False
Let z = 1659 - 1072. Is z a composite number?
False
Let a(y) = 3*y**3 + 5*y**2 - 3*y + 4. Let u be a(5). Suppose 176 + u = 5*p. Is p composite?
True
Suppose 3*p - 8 = -x - 0*x, 0 = -4*p - 4*x + 16. Is 1/(2*p/44) a prime number?
True
Let u(c) = -9*c - 1. Let f be u(-1). Suppose -2*i + 2*y + 329 = 3*i, 4*y = -f. Is i a composite number?
True
Let h be 419/6 + (-1)/(-6). Let l be (4/10)/(1/h). Suppose -l + 133 = 3*t. Is t composite?
True
Suppose y = 5*m + 1648, 2*y + 68 = -m + 3419. Is y a composite number?
True
Is (-14315)/(-15) + (-8)/6 composite?
False
Let l = 16 - 86. Let t = l - -123. Is t a composite number?
False
Let j(c) = 110*c**2 - 2*c + 1. Is j(-4) a composite number?
True
Let j be 0 - (2 - 3) - -154. Let h = j + -77. Suppose 5*i - 103 = -w, 0 = -2*i - 2*i - 3*w + h. Is i a composite number?
True
Let i = 202 + -53. Is i composite?
False
Let l(z) = 480*z - 13. Is l(2) prime?
True
Let r = 63 + -26. Is r a prime number?
True
Suppose 5*b - 5*u - 130 = 0, 14 = 4*b - u - 93. Suppose -z + 22 = -3*i, 4*z + 4*i + 3 - b = 0. Is z a prime number?
False
Is (-81 - 1)/(15/(-9) + 1) prime?
False
Suppose 0 = 3*j + 4*v - 777, 3*j - 3*v - 61 = 737. Is j a composite number?
False
Suppose 3*z + c = 3*c + 11, 10 = 5*z + 5*c. Suppose -5*r = 4*o - 350, -z*r - 5*o + 202 = -o. Is r composite?
True
Suppose 4*l + 49 = 13. Is (-