7. Is y - 1/2*4 a prime number?
False
Let k be (-2)/(-2) - -2 - -4. Let a(l) = l**3 - 6*l**2 - 5*l. Is a(k) a composite number?
True
Let c be ((-48)/(-9))/(1/(-3)). Let a be (12/(-2))/((-3)/c). Let k = a - -91. Is k prime?
True
Let y(l) = l**2 + 3*l + 1. Let t = 21 - 30. Is y(t) a composite number?
True
Let n be ((-8)/(-10))/((-28)/(-70)). Suppose 0*z + 4*z = -n*i + 238, 2*i - 238 = 4*z. Is i a prime number?
False
Let n(j) = -3*j - j + 2*j + 1. Let q be n(-2). Is q/(-1 + 16/14) prime?
False
Is (-8 + 2)*291/(-18) prime?
True
Let g(f) = -3*f**3 - 3*f**2 - 4*f + 1. Is g(-3) prime?
True
Let r be 38*2/(12/(-9)). Let m = r - -108. Is m a composite number?
True
Suppose -77 = -4*g + 495. Is g a composite number?
True
Is (1/1 - 0)*679 composite?
True
Suppose 0 = 2*u + 14 - 384. Is u a prime number?
False
Let b(d) = d**3 + 4*d**2 + 2*d - 2. Let q be b(-2). Suppose -2*h + 54 = 2*c, 2*c = -q*c + 5*h + 153. Suppose -3*i = -197 + c. Is i prime?
False
Let u(y) be the third derivative of -y**2 + 0 - 1/120*y**6 + 5/6*y**3 + 0*y + 3/8*y**4 + 1/10*y**5. Is u(7) a prime number?
True
Let q be (22 - 1)*(3 + -1). Let j = q - -121. Is (1 + 0/(-1))*j a composite number?
False
Let p(d) = -4*d - 5. Suppose -3*s - 12 = 0, 2*h + 2*s + 48 = -2*h. Is p(h) a prime number?
False
Let o(u) = 20*u**2 - 10*u + 36. Let i(h) be the second derivative of h**4/3 - h**3/3 + 7*h**2/2 - 2*h. Let q(p) = 16*i(p) - 3*o(p). Is q(-3) prime?
False
Suppose -3*o = -5*o + 10. Suppose -5*v + o*w + 115 = 0, 4*v + 4*w = -21 + 105. Is v prime?
False
Let k be -1 - -1*2 - -9. Suppose 5*x = 2*o + k, 0 = -7*x + 4*x + o + 6. Is 1*30 - (1 - x) prime?
True
Let j = -30 - -20. Let m(x) = 2*x**2 + 11*x - 11. Is m(j) a composite number?
False
Let v(q) = -36*q**3 + 2*q**2 + q. Is v(-1) a prime number?
True
Is 41385/39 - 4/26 prime?
True
Let v(f) be the second derivative of f**4/3 - f**3/6 - 2*f**2 + f. Is v(-3) a composite number?
True
Let x(i) = -12*i**3 + 2*i**2 - 3*i + 1. Let c be x(-5). Suppose -s - s = c. Is (-2)/8 - s/12 composite?
True
Let a(v) = 3*v**3 - 5*v**2 + 2*v - 1. Is a(4) a prime number?
False
Let x(b) = 11*b - 3. Let w be x(3). Is (14*-1)/((-12)/w) a prime number?
False
Suppose -4*b + 26 = 3*o, 9 = -2*o + 4*o + b. Suppose 0*a = -a + o*z + 77, 2*a = -2*z + 178. Is a a composite number?
True
Let x(k) = k**2 + 4*k**2 + 2*k**2 - 5 + k**2 - 2*k. Is x(4) composite?
True
Is (-615 - -1)*(-3)/6 prime?
True
Let p(k) = -k**2 + 7*k + 1. Let l(t) be the third derivative of t**5/60 + t**4/6 - t**3 + 2*t**2. Let z be l(-6). Is p(z) a prime number?
True
Suppose 2*r - 25 = 3*w, 3*w + 17 = -4*r - 32. Let c = -7 - w. Suppose -4*a + 5*p + 84 + 40 = 0, c*a - 4*p = 124. Is a composite?
False
Suppose 4202 = 2*b - 4*j, -4*j + 6*j + 4202 = 2*b. Is b a prime number?
False
Let k(f) = f + 16. Let l be k(0). Suppose -100 + l = -4*d. Is d a prime number?
False
Let v(q) = -q**3 - 3*q**2 + 4*q. Let z = 3 + 2. Let p be v(z). Let x = -127 - p. Is x a composite number?
False
Let g(w) = 2 + 1 - 2 + 11*w. Let d be (-18)/(-27) - 8/(-6). Is g(d) prime?
True
Let n = -385 - -2027. Let k = -747 + n. Is k composite?
True
Suppose 6 = 5*v - 4. Let w = -2 + v. Suppose -3*g + 5*r + 131 = w, 5*r + 231 = 5*g + 3*r. Is g a prime number?
True
Suppose 2*u + 70 = m - 295, 0 = 3*m - 5*u - 1090. Is m a prime number?
False
Suppose 265 = 2*u - b, -4*b + 162 = 3*u - 219. Is u composite?
False
Is 1881/12 + (-2)/(-8) prime?
True
Let n(s) = 8*s**3 + 3*s**2 - 24*s + 1. Is n(6) a prime number?
True
Let p = -1603 - -1040. Let f = 814 + p. Is f prime?
True
Is 2129/10 - (-5)/50 prime?
False
Let h(b) = b**2 - 6*b + 5. Let p be h(5). Suppose p = -2*w, 2*w = j - w - 3. Suppose j*v + v = 3*s + 85, 5*s = 4*v - 91. Is v a prime number?
True
Let r = -161 - -297. Let p = 347 - r. Is p a composite number?
False
Let y be 252/20 + (-9)/15. Suppose -27 = -2*p - w - 0*w, 0 = -p - w + y. Is p composite?
True
Let m(k) = k**2 - 4*k + 2. Let q be m(4). Let c(s) = -24*s**3 - s - 2. Let f be c(q). Let i = 105 - f. Is i prime?
False
Is 70954/39 - ((-8)/(-6) - 1) a composite number?
True
Suppose 3*n + 147 = r - 363, 2*r + 4*n = 980. Suppose -2*h + y + 0*y = -r, -h + 5*y + 231 = 0. Is h a composite number?
False
Is (4*6038/4)/(-54 - -56) a composite number?
False
Suppose -3*m + 2*k + 99 = -692, -3*m + 805 = 5*k. Is m a prime number?
False
Suppose 4*b - 58 + 10 = 0. Suppose -3*x = b, -5*j - 2*x = -3 + 1. Suppose -j*r - 195 = -3*v - 56, 2*v = -2*r + 106. Is v a prime number?
False
Let m = -343 - 118. Let z = m - -940. Is z composite?
False
Let k = 58 + -21. Is k prime?
True
Let m = 4484 + 605. Is m composite?
True
Suppose -4*t = 3*q - 3428 + 1199, -q = -2*t - 743. Is q a composite number?
False
Suppose -2*j = -4*j + 1810. Suppose a + 4*a = j. Is a a prime number?
True
Let n be 1/(((-2)/8)/1). Let x be n*(-3)/6 - -194. Let y = x - 63. Is y composite?
True
Let h = 2 + -1. Let k be 0 + -1 - h/(-1). Suppose k*w + 5*u + 142 = w, 4*u - 496 = -4*w. Is w a composite number?
False
Let b = 11 - 11. Suppose 2*u - 12 = -2*u - 4*x, b = -4*u - 3*x + 13. Is u a prime number?
False
Let y(k) be the second derivative of 77*k**4/12 - k. Is y(-1) prime?
False
Let j(x) = 16*x + 1. Let b be j(2). Suppose -5*s - 13 = -b. Suppose -s*g = g - 105. Is g prime?
False
Let y = -62 + 95. Suppose 2*v - y = 101. Is v composite?
False
Let g(a) = 11*a**3 + a**2 + 2*a + 1. Let w(p) = 2*p**2 + 2*p - 2. Let y be w(-2). Is g(y) composite?
False
Is -4*13876/(-8) + 3 a prime number?
False
Let i = 11 - 7. Suppose -297 = -3*r + 2*l, -5*r - 3*l + 488 = -i*l. Is r composite?
False
Let o(r) = -15*r + 1. Let u(m) = 29*m - 2. Let t(l) = -11*o(l) - 6*u(l). Is t(-4) a prime number?
True
Let r be 193*3/(2 - -1). Let w = r - 273. Let u = 135 + w. Is u a composite number?
True
Is (-8)/36 + 17238/54 a prime number?
False
Let h(s) = -s**3 - 13*s + 3. Is h(-7) composite?
True
Let b(o) = -o + 2. Let p(y) = -y - 1. Let q(s) = b(s) + 3*p(s). Let l be q(6). Let i = -18 - l. Is i prime?
True
Let c(y) = y**2 - 7*y + 1. Let k be c(7). Suppose 5*r = -k + 66. Is -4 + 4 - -7*r a composite number?
True
Let z(l) = 1. Let x(j) = -125*j - 1. Let f(g) = x(g) + 2*z(g). Is f(-2) a composite number?
False
Suppose 7*g + 2*a = 8*g + 8, 15 = 3*a. Let z = 4 + g. Is 3/z + (-61)/(-2) a prime number?
True
Suppose -2*j + 13407 = j. Is (-7)/28 - j/(-4) a composite number?
False
Let g(d) = 133*d + 9. Is g(4) a composite number?
False
Suppose 115 = 5*w + 5*r, -2*w - 2*r + 51 = r. Is 2290/w - (-10)/(-45) composite?
False
Let p be 35324/(-5) - 2/10. Is p/(-81) - 2/9 prime?
False
Let c = 3 - 1. Suppose 602 = -c*f + 1674. Is 5/(-15) - f/(-6) composite?
False
Suppose -s - 2 = 20. Let x = -8 - s. Suppose 3*b - 91 = -2*i + x, -5*b = i - 182. Is b prime?
True
Let q(b) = 124*b + 7. Let z(g) = -125*g - 6. Let c(p) = 3*q(p) + 4*z(p). Let w be c(-3). Let k = w - 248. Is k a prime number?
False
Let l(n) = -14*n + 9. Let p be l(-8). Suppose -w - 3*r + 64 = 0, w - r = -w + p. Let s = -42 + w. Is s a composite number?
False
Suppose -4*b + 111 = -37. Is b a prime number?
True
Suppose -b + 5*s = 2*b - 6, 3*b + 3 = 2*s. Let y be b/4*(-7 - -3). Suppose 0 = -2*q - 0*q + y*v + 17, q - 12 = 5*v. Is q composite?
False
Let j be 1 + -191*3/3. Let f be 2127/(-21) - 2/(-7). Let h = f - j. Is h composite?
False
Suppose -8*c + 236 = -4*c. Is c a composite number?
False
Let a = 53 - 34. Let k = a - -33. Suppose v + k = 5*v. Is v a prime number?
True
Suppose -g = -8*u + 3*u - 16, 2*u + 4*g = -2. Let a be (-76)/(-3) - (-1)/u. Suppose v - a = 22. Is v composite?
False
Let j(s) = s**2 + 57. Let g be j(0). Let r = 10 + -8. Suppose -g + 227 = r*m. Is m composite?
True
Suppose 0 = 3*c - 2*c - 12. Let j = 131 - c. Is j a prime number?
False
Is ((-3)/(-1))/((-18)/(-31566)) composite?
False
Let u be 42/8 - (-2)/(-8). Suppose -u*n = 3*m - 20, 0 = 6*m - m - n + 4. Suppose -3*s + 60 + 3 = m. Is s composite?
True
Let x = -3 - -7. Suppose -h - 445 = -5*g, -5*h + 73 = x*g - 283. Is g composite?
False
Let p(c) = -c - 1. Suppose 3*s = r + 4, -2*s + 4*s - 6 = 4*r. Let i(a) = -14*a - 21. Let n(b) = s*i(b) - 21*p(b). Is n(3) a prime number?
False
Let i(c) = c - 1. Let b be i(6). Suppose -5*r = b*k + 5 - 180, 2*k - 66 = -3*r. Is k a composite number?
True
Suppose -8 = 5*b - 18. Suppose 0 = -3*d - b*n - 1 + 41, 5*n