 194 = 0, -3*v + 0*v - 1026 = 5*p. Let b = p + 407. Is b a composite number?
True
Let n(a) = -94*a**2 - 4*a - 1. Let g(w) = -w. Let z be g(-8). Let u(c) = 281*c**2 + 11*c + 3. Let v(f) = z*n(f) + 3*u(f). Is v(-1) composite?
True
Let z(v) = 3*v**2 + 1 + 3*v - 3*v. Let l be z(1). Is l/12 - (-44)/3 a prime number?
False
Let j(u) = 102*u**3 + 2*u**2 - 1. Let v be j(1). Suppose -7*g - v = -8*g. Is g a composite number?
False
Let c = -2 - -8. Suppose 2*z - 2*n + 8 = -5*n, z - n = c. Is 16 + (-2)/(4 - z) prime?
False
Suppose 5*r - 2*z = 1737, -4*z + 681 + 9 = 2*r. Is r composite?
False
Let o(y) = -y**3 - 4*y**2 - y - 4. Let v be 1/(((-1)/4)/1). Let h be o(v). Let m(z) = -z**2 - z + 15. Is m(h) a composite number?
True
Suppose -2*w = 4*z - 10, -2*z = -z + 5*w - 7. Suppose -5*d + 3*d = 4, -3*y + z*d - 41 = 0. Let s = 22 - y. Is s a composite number?
False
Suppose -3*z - 4*u = -7*u - 6, -5*u + 10 = 5*z. Let p = 5 - 3. Suppose -p*g - g + 12 = -z*h, 2*g + 2*h = 18. Is g a composite number?
True
Suppose -3*u + 2*p = -u - 3940, -2*u + 3935 = 3*p. Is u composite?
True
Suppose -8*i + 210 = -5*i. Suppose -3*g + g = -i. Is g prime?
False
Suppose -8698 = -4*g - v, -4*g + 2*g = -v - 4346. Is g prime?
False
Suppose 215 = 5*u + 5*t, 0 = 3*u - t - 40 - 73. Let o = 26 + u. Is o prime?
False
Let m be 0 - (-20 - (-2 + 2)). Suppose c + 4 = 0, -3*q + 3*c + m = q. Suppose q - 100 = -2*g. Is g prime?
False
Let j(i) = 14*i**2 + 2*i - 1. Suppose -d = 4*d + k - 10, 4*d = k - 1. Is j(d) composite?
True
Let f(r) = r**2 + 3*r - 27. Is f(11) prime?
True
Let t(d) = -26*d + 33. Is t(-23) a prime number?
True
Suppose 2*s + 0*s = 3590. Is s a composite number?
True
Suppose 0 = -5*g + 148 + 1187. Suppose -c = -4*c + g. Is c a prime number?
True
Suppose 2*o - t + 301 = 1085, -3*o = -5*t - 1169. Is o prime?
False
Let v be 2 + 1/(-3)*-3. Suppose v*i + 0*i - 21 = 0. Is i a prime number?
True
Is (-2 - 0 - -1) + (-17528)/(-7) prime?
True
Let h(s) = -3*s + 7. Is h(-10) composite?
False
Let f(q) = 0*q**3 - q**3 + 3*q**2 - 5 - 2*q + q**3 - 2*q**3. Is f(-4) a composite number?
False
Let a(l) be the second derivative of -l**5/10 - 5*l**4/6 - l**3/6 + 15*l**2/2 - 3*l. Is a(-7) composite?
True
Let h = 6 - 1. Suppose 2*o + d - 88 = h, 0 = -3*o - d + 140. Is o a prime number?
True
Suppose f - 41 = 5*f + 5*m, 20 = -4*m. Is f/(4/(-35)) + 4 composite?
True
Let l(v) = -v**3 - 11*v**2 - 51*v - 11. Is l(-12) prime?
False
Suppose -4*k = -k - i - 25, -k = -5*i + 1. Let q be 24/k*132/(-8). Let y = 123 + q. Is y a composite number?
False
Suppose 0 = -4*k - k + 10. Suppose 1 = 2*c - k*h - 1, 2*h + 6 = 4*c. Suppose c*t = -d + 16, -5*t - 4 - 33 = -3*d. Is d prime?
False
Let p be 1*3/(-2)*-2. Suppose 7 = 2*w - p. Suppose -332 = -4*s - w*a, a + 30 = -s + 113. Is s composite?
False
Suppose 11*w - 22146 = 5*w. Is w composite?
False
Let t = 65 + -61. Is t a composite number?
True
Let j be (-4)/6 + (-8)/(-3). Is (-3009)/(-33) + j/(-11) a composite number?
True
Suppose -5*l + 883 = 2*f - 55, -3*f + 1417 = 5*l. Is f composite?
False
Let c = 4189 - 2659. Is 4/(-6)*c/(-12) a prime number?
False
Let q(f) = -14*f - 7. Is q(-7) composite?
True
Suppose -3*d + 11 = -4*u - 21, -4*u = 5*d - 32. Let s(b) = b**3 - 5*b**2 - 6*b + 5. Is s(d) a composite number?
False
Let l = -4 + 6. Let d = 3 + 0. Suppose -w - d*k = -10, l*w - 2*k = -0*w + 60. Is w prime?
False
Let k(h) = -3*h - 4. Let p be k(-3). Let j(u) = 7*u - 2. Is j(p) composite?
True
Let w be (12/(-14))/((-12)/56). Suppose 4*u + 43 = p, 2*u - w*u - 10 = 0. Is p composite?
False
Suppose 0 = -4*c + 3*r - 4, -5*r + 30 = 5*c - 0*r. Suppose 0 = -c*v + 5*v - 18. Suppose 0 = -11*z + v*z + 105. Is z composite?
True
Let m(p) = 11*p**2 + 1. Is m(4) composite?
True
Let k be 14/35*(-2110)/(-2). Suppose -4*c = 2*y + 642 + k, y = 2*c - 536. Is ((-2)/3)/(4/y) a composite number?
False
Suppose -8*j = -4*j - 12. Suppose -2*d + j*d - 55 = 0. Is d a composite number?
True
Let d = -158 - -955. Is d prime?
True
Suppose h - 1 = 1. Suppose -l + 277 = h*y, 2*l - 4*y - 534 = -3*y. Is l a prime number?
True
Suppose 15 = 3*k - 3*l, 6 = -5*k + l + 35. Is 160 + (-6)/(k/3) prime?
True
Let h(q) = -q. Let c be h(0). Suppose 0*r + 2*r - 98 = c. Is r prime?
False
Let v(j) = 2*j**3 + 2*j**2 + j + 1. Let t be v(-2). Is t/(-3)*267/9 composite?
False
Suppose -5*q - 2 = -2*n - 20, -6 = 5*q + 4*n. Let d be (-3 + 1)/(q/(-8)). Let k(p) = 2*p**2 - 2*p + 7. Is k(d) composite?
True
Let h = 18 - 13. Suppose i = h + 9. Is i prime?
False
Let m = 1 - 1. Suppose 4*g + 4 = 72. Suppose -l + 40 - g = m. Is l composite?
False
Is (-70)/25*(-1970)/4 a prime number?
False
Let m = 7 + -3. Suppose 4*q - q = -2*b + 211, q - 61 = m*b. Is q prime?
False
Suppose -d + 493 = -4*a + 108, -3*d = 3*a + 285. Let v be -2*(2 - 306/4). Let w = v + a. Is w prime?
True
Let p(b) = -2*b + 2. Let t be p(1). Suppose -5*s = -t*s - 1495. Is s prime?
False
Let a(d) = d**3 + d**2 + 5. Let u be a(0). Suppose -2*i + 94 = 2*x, 0 = -u*i + 2*i. Is x prime?
True
Let j(k) = -k**3 + 3*k**2 + 5*k + 2. Let t be j(4). Let i be 4*t/16*2. Suppose 5*f - 158 = i*f. Is f prime?
True
Let u(g) = g**3 + 7*g**2 - 2*g. Let i = 11 - 43. Let d be -3*(-3 - i/6). Is u(d) a composite number?
True
Suppose -z + 103 = 4*q, 5*q - 40 = -2*z + 151. Is z composite?
False
Suppose 3645 - 174 = 3*r. Is r prime?
False
Suppose -5*c = -874 + 169. Is c composite?
True
Suppose 3*j + 2 = 4*q + 7, 3*j = -q + 25. Is j a composite number?
False
Let n(w) = -w**2 + 6*w - 10. Let m be n(8). Let d be (-3 + 4)/((-2)/78). Let g = m - d. Is g a prime number?
True
Suppose 3*i + 3*n = 18, -n + 46 = -i + 6*i. Let v = 4 - i. Let l = 9 + v. Is l prime?
True
Suppose 0 = -2*v + 3*v - 2. Suppose -v*y + 4*y = 0. Suppose 3*r + 2*m - 213 = -y*m, 2*m = 0. Is r composite?
False
Let j = 138 + -53. Is j a prime number?
False
Let r = -301 + 428. Suppose -2*q = -q - r. Is q composite?
False
Let o(h) = h**2 + 7*h - 3. Let q be o(-7). Is q + 18*(9 - 2) composite?
True
Let l = -19 + 66. Is l a composite number?
False
Suppose 0 = 6*n - 2*n + 4*c - 16, -2*c - 6 = -5*n. Suppose 4*v = n*v + 66. Is v prime?
False
Is (-1 + 77 + 3)*11 prime?
False
Let l = -6 + 95. Is l a composite number?
False
Suppose -5*q + 5*h + 9 = -6, 4*q + h + 3 = 0. Let j = 2 + q. Suppose -26 = -j*r + 40. Is r composite?
True
Suppose -3*b = 2*x - 394, 3*b = 3*x + b - 565. Is x composite?
False
Let r(v) = -331*v. Is r(-3) a prime number?
False
Suppose 215 = 4*m - 341. Is m prime?
True
Let m = -91 + 29. Let v = m - -261. Is v prime?
True
Let m(d) = 106*d + 1. Let h be m(1). Suppose 5*k = -a + 50, -5*a = -0*a + k - 154. Let t = h - a. Is t a composite number?
True
Suppose 2*l + 2008 = 140. Let u = l + 1761. Let y = u - 574. Is y a composite number?
True
Let n be (71/3)/((-6)/(-54)). Let a = n - 30. Is a a prime number?
False
Suppose v - 248 - 9 = 0. Is v a composite number?
False
Let p(u) = -43*u - 13. Is p(-4) a composite number?
True
Suppose -5*n - 4 - 11 = 3*i, -43 = 4*i - n. Suppose -4*a - 140 = -4*k, 5*k + 0*a - 3*a - 167 = 0. Let b = i + k. Is b a prime number?
False
Suppose 2*y = 3*y - 161. Is y a composite number?
True
Is 5*-3*29/(-3) a prime number?
False
Let p(f) = 264*f**2 - 1. Is p(-2) prime?
False
Let g = -11 - -13. Suppose l = g*l - 15. Is l a prime number?
False
Let t(n) = -n**3 + 8*n**2 - 9*n. Let v be t(6). Let w = 3 + v. Is w a composite number?
True
Suppose y - 6 = -3. Suppose 0 = -5*a + 4*w + 18, 0*a - 3 = -y*a + 5*w. Suppose -a + 29 = b. Is b a prime number?
True
Suppose 2*m + n = 4*m - 2, 20 = 5*n. Suppose 0 = 4*y - 1250 - 50. Suppose m*i - y = -2*i. Is i prime?
False
Suppose 27 = 2*g + 7. Is g + 11 - (3 + -1) prime?
True
Let s(a) = a**3 - 8*a**2 + 6*a + 8. Let x be s(7). Let r be x - 0 - (8 + -7). Is r - 1/(-1)*59 a composite number?
False
Suppose -1 = x + 99. Let w = 167 + x. Is w a prime number?
True
Let f be 16*(-4)/(64/(-12)). Suppose -17*u + 395 = -f*u. Is u composite?
False
Let y(z) = 5*z**2 - 2*z - 7. Let f be y(5). Let l = 149 + f. Is l a composite number?
False
Let g(q) = -q**3 + 5*q**2 + q - 2. Let l be g(5). Suppose -y = -1, -y + l*y = -2*p + 156. Is p prime?
False
Let t(i) = 38*i**2 - 1. Suppose -4 = 4*l - 0. Let n(d) = 2*d**3 + d**2 + d + 1. Let r be n(l). Is t(r) composite?
False
Let o(b) be the second derivative of b**3/