2)/6 - -3. Let h = 6 + -12. Is (70/h)/(f/(-12)) a prime number?
False
Let a be 6*1/((-6)/(-20)). Suppose n - 2 = 0, -i - 5*n + a = i. Suppose -f = -2*h + 9, -i*h + 5*f - 2 = -12. Is h a composite number?
False
Let k = -24 - -71. Is k composite?
False
Let o = -8 - -15. Suppose 5*j + m = -77, 4*m = 2*j - j + o. Let b = j - -30. Is b composite?
True
Suppose -25 = -7*h + 3. Let z be -1*-2*2/2. Suppose -495 = -n - h*n - z*c, 20 = 4*c. Is n a composite number?
False
Let q = 4 - 4. Suppose q = 4*f - i - 207, 1 = i - 0*i. Suppose 0 = s + 3*s - f. Is s a composite number?
False
Let m = -13 - -13. Suppose 165 = -m*g + 3*g. Is g composite?
True
Suppose 2*j + j - 719 = 2*v, 0 = -3*v - j - 1073. Let i = v + 507. Is i composite?
False
Suppose 4*i - 6 - 2 = 0. Let a be (-4)/(-2) + 4*-1. Is (-3 + i)*138/a a composite number?
True
Suppose -73 = -4*v + 831. Is v a composite number?
True
Suppose -2*p - w + 10586 = p, -2*p + 3*w + 7039 = 0. Is p prime?
True
Suppose -502 = 2*f - 4*f. Is f a composite number?
False
Let w = -4 - -19. Let h = w + -10. Suppose -h*o + 27 = z, -4*z + 96 = 3*o - 80. Is z composite?
False
Let z(v) = 15*v + 10. Let l(g) = 2*g + 2. Let o be l(3). Let q be z(o). Suppose i = 5*j + q, -16 + 1 = 5*j. Is i composite?
True
Let m(u) = 61*u**3 + u**2 + u + 1. Let i be m(-1). Let v be 2/(-1) - i/4. Suppose -2 = 3*y + c - v, -2*y = -2*c - 10. Is y a prime number?
False
Suppose 1407 = -2*j + 5*j. Is j a composite number?
True
Let v be 8*(-1)/4*-1. Suppose 2*j = 4*x + 336, -3*x + v = 5. Is j composite?
True
Let p(a) be the first derivative of -a**4/4 - 7*a**3/3 - 7*a**2/2 + 7*a - 3. Is p(-8) composite?
False
Let a = 40 - -161. Suppose -2*s = s - a. Is s prime?
True
Let y(m) = 2 + m**2 - m**2 + 2*m**2 - m + m**3. Let d be y(-2). Suppose d*h = 5*h - 37. Is h a composite number?
False
Is (-29)/(324/860 - (-6)/(-15)) composite?
True
Let w be 3*(-1 + 0) - -36. Suppose w = -2*r + 647. Is r a composite number?
False
Is -2 + 6 - 1 - -208 prime?
True
Suppose n - 4 = -n. Suppose -n*l + x = -27, -l - 2*x = -3*x - 12. Is l prime?
False
Let j be (-2)/7*14/(-2). Suppose -u + 73 = -4*v, u + j*v + 134 = 3*u. Is u a composite number?
True
Suppose 0 = 2*r + 3*u - 37, -3*r + 5*u = -0*r - 8. Is r a composite number?
False
Suppose 4*f - 2 = -5*s + 19, 2*s - 7 = -3*f. Suppose 0 = -r + 3*a + 42 - 8, 62 = 2*r - 4*a. Suppose -s*w + 30 = -r. Is w a prime number?
True
Let t = 8 + -6. Suppose -t = -5*p - 17. Is ((-2)/p)/((-2)/(-57)) composite?
False
Is ((-10090)/15)/(8/(-12)) a composite number?
False
Let r = 12 - 8. Suppose -11 - 192 = -n + r*k, -n - k = -203. Is n a prime number?
False
Is (-855)/(-12) - 1/4 a prime number?
True
Let v = -305 + 622. Is v a prime number?
True
Let j(r) = -2*r**3 + 4*r**2 - 3 + 2*r**3 - r**3 + 8*r. Let t be j(5). Let d = t - 1. Is d a prime number?
True
Let o(c) = -5*c**2 - 7*c - 2 + 11*c**2 - c**3 + 7*c**2. Is o(9) prime?
False
Suppose 4*x + 203 = -4*q + 2219, 3*x - 1472 = 5*q. Is x composite?
False
Suppose -5 = -n + 1. Let d be (-2)/n - (-121)/3. Suppose w + 3*w = d. Is w a composite number?
True
Suppose -5*w + 70 = -5*s, 56 = 4*w - 2*s + s. Is w prime?
False
Let f = 3 - 0. Let a(j) = 5*j + f*j + j**2 + 1 - 9*j. Is a(5) a composite number?
True
Let s(n) be the first derivative of 2*n**3/3 - 4*n**2 + 2*n + 1. Let a be s(6). Suppose v + v = a. Is v composite?
False
Let m = 54 + -217. Let z(x) = -12*x**3 - 2*x**2. Let r be z(-3). Let k = r + m. Is k a composite number?
True
Let k be (-2 - 1) + 24/3. Suppose -2*h + 106 = k*l - h, -2*l + 64 = -5*h. Is l composite?
True
Let b(q) = -7*q**2 + 6*q + 11. Let p(u) = 4*u**2 - 3*u - 6. Let n(w) = 3*b(w) + 5*p(w). Let o be (6/5)/(2/5). Is n(o) a prime number?
True
Let y(l) = -5*l + 1. Let r be y(-6). Suppose n = -r + 142. Is n composite?
True
Suppose -2*o + 14 = 4*k, 5*k + 5*o - 9 - 16 = 0. Let p be (-201)/((2*-1)/k). Suppose f + 0 = -2, -m + p = 5*f. Is m a prime number?
True
Suppose 3*g = 3*t - 165, -4*t - 2*g + 160 = -t. Suppose t = w + 15. Is w composite?
True
Suppose 3*j = -h, -4*j = -2*h + h + 7. Let z be -95 + h/2*-2. Is (z/(-4))/((-1)/(-2)) a composite number?
True
Is (-163)/(3*(-3)/9) a composite number?
False
Let o(z) = -z - 2. Let p be o(-5). Suppose -p*h + 71 = 2. Is h/((-2)/(-2) + 0) a composite number?
False
Suppose 2*y - 5 = -d, 16 = -4*d + 3*y - 2*y. Is 2/(-12)*d*406 a prime number?
False
Let s be 0 - 0 - (-2 + 2). Let g(f) = -f**3 - f**2 + f + 3. Let c be g(s). Is c/12 + (-78)/(-8) a composite number?
True
Suppose -4*k + 8 = 4*z, 3*z - z - 19 = 3*k. Suppose 4*j - 5*p - 70 - 203 = 0, j - 62 = -z*p. Is j composite?
False
Suppose 0 = -4*v - 3*a + 18, -a - 20 = -2*v + 3*a. Let h(t) = 3*t - 7. Is h(v) composite?
False
Let o be 10/3*(-12)/(-10). Let x = o + 0. Suppose 2*a - 3*a = -2*f - 7, x*a + 3*f - 28 = 0. Is a a composite number?
False
Suppose 0 = -2*x - 2*h - 0 + 2, 0 = x + 3*h + 5. Suppose -p = x*p - 725. Is p a composite number?
True
Is (-1438)/3*(65/(-10) - -5) prime?
True
Suppose 0 = q - p - 122 - 70, 0 = 2*q - 4*p - 386. Is q a composite number?
False
Let v(s) = s + 6. Let d be v(-4). Let n be d + -4*33/(-2). Is n*2 - (-8)/(-4) a composite number?
True
Suppose 3*w - 51 = 366. Let v = w + -12. Is v a composite number?
False
Suppose 13*a - 30512 - 18719 = 0. Is a a composite number?
True
Suppose 2*l - 3*a - 99 = 0, 4*l - 91 = 5*a + 106. Suppose 5*z - 47 - l = 0. Is z a composite number?
False
Let a(x) = -3*x**2 + 6*x. Let v be a(4). Let w = v - -45. Is w a prime number?
False
Let j(p) = p**2 + 2*p + 15. Let l(n) = -n - 8. Let o(f) = -3*j(f) - 5*l(f). Let k(z) = 10*z**2 + 4*z + 16. Let i(m) = -2*k(m) - 7*o(m). Is i(-5) composite?
True
Let s(b) = 6*b**2 + 3*b. Let n be s(3). Let x = n - 17. Is x a prime number?
False
Let z = -3012 + 4939. Is z composite?
True
Let n(o) = o**3 + 8*o**2 - 2*o - 12. Suppose 4*v = -0*v - 32. Let g be n(v). Is (1 + 1)*154/g a composite number?
True
Suppose 2 = -u + 6. Suppose a - 151 = -0*a + 4*s, -504 = -u*a - 4*s. Is a a composite number?
False
Suppose 22 = -5*a + 3*p, 3*a - 2*p = -5*p - 18. Let u = -30 + a. Is (54/(-45))/(2/u) a composite number?
True
Let r(p) = -p**3 + 9*p**2 + 12*p - 9. Let n be r(10). Suppose -4*y = -n - 1. Suppose y*t = 4*t - 77. Is t prime?
False
Let b be 12/(-66) - 224/(-22). Let g = 5 - b. Is (-1*1)/(g/955) composite?
False
Let g(y) = -65*y + 1. Let c be g(-2). Suppose 3*b + 38 = c. Is b composite?
False
Let v be (-4)/((20/378)/(-5)). Suppose 4*u + 5*x = 759, 2*u - 2*x + 6*x - v = 0. Is u a prime number?
True
Let g(h) = h**3 - 8*h**2 + 4. Let n be g(8). Let u(w) = -w + 1. Let i(k) = 18*k - 1. Let v(j) = i(j) + 6*u(j). Is v(n) composite?
False
Let v = 3 - -29. Suppose 5*s = s + v. Is ((-15)/(-2))/(6/s) a composite number?
True
Let r be -1*1*(-6 - 5). Suppose -2*v - x = x - 6, -x - r = -v. Is v a composite number?
False
Suppose 0 = 2*x - 484 + 1712. Let v = -151 - x. Is v a composite number?
False
Let v(x) = x**3 - 6*x**2 + 9*x - 1. Let z be v(6). Let q = -22 + z. Is q a prime number?
True
Suppose 0 = 2*f - u + 1476, 6*u + 1488 = -2*f + 4*u. Let w = -321 - f. Is w composite?
False
Suppose -5*z = -3*z - 4138. Is z composite?
False
Let b(y) = -705*y - 1. Is b(-4) composite?
False
Is 589 + ((-2)/(-2) - 3) composite?
False
Suppose u + 2*u = 93. Is u composite?
False
Suppose 4*t = 2*t + 812. Suppose 2*b = 3*c - c - 166, -5*c + t = 4*b. Is c a prime number?
False
Let d = 57 + 25. Is d a prime number?
False
Let t be 274/((3 + -7)/(-2)). Suppose 93 + t = 5*r. Is r composite?
True
Suppose 4*f - 10 = -2. Let r(k) = k**3 + 6*k**2 + 7*k - 2. Let c be r(-5). Let b = f - c. Is b prime?
False
Let d be (-8)/(6/(-3) - 0). Suppose -3*b - 5 = -d*b. Suppose -76 = s - b*s. Is s a composite number?
False
Suppose 0*j + s + 104 = -3*j, -4*j - 132 = -2*s. Let l be 4/(-10) + j/(-10). Suppose l = d - 0, -49 = -i - 4*d. Is i composite?
False
Let b = 218 - 138. Is b/14 - 2/(-7) a composite number?
True
Suppose -2*l - 2*z - 152 - 66 = 0, -3*z = -4*l - 457. Let p = l - -201. Is p prime?
True
Let u(m) = 3*m**3 - 2*m**2 - 5*m - 3. Is u(7) a composite number?
True
Let o be (-10)/(-4)*(13 - 11). Suppose -2*u + u + 153 = 2*p, 0 = -o*p + 2*u + 405. Is p a prime number?
True
Let o = -2 + 0. Let c be ((-55)/2)/(o/8). Suppose -2*p - n = n - c, -2*p + 3*n = -120. Is p a prime n