ose i = 3*q + 3. Let v = 48 - q. Is v a prime number?
True
Let r(h) = -h**2 - 7*h. Let f be r(-5). Suppose -3*p + 8 = -b - 11, -4*p - 5*b = 0. Is 183/p + 4/f prime?
True
Let k = -7 - -10. Suppose 66 = 3*y - 3*b, -3*y + k*b - 7*b = -80. Let m = -17 + y. Is m composite?
False
Let m be -2 - (-67 - (0 - 0)). Suppose 11 = -4*i - 5*r + 162, -5*i + 2*r = -164. Let x = m - i. Is x composite?
False
Suppose k - 18 = -2*k. Suppose -q - 2*m = -29, m + 120 = 5*q + k*m. Let f = q - 12. Is f a prime number?
True
Suppose 0*y = 3*y - 1098. Suppose -3*q - u + y = 0, -2*q + 6*q + 5*u = 477. Is q a composite number?
True
Let h be (-36)/(-8) + (-3)/2. Suppose -6 = 4*g - h*d + d, 5*g + 5*d = 0. Is 1236/16 - g/(-4) a prime number?
False
Let l be ((-138)/(-4))/((-2)/4). Let x = l - -252. Is x a composite number?
True
Let x be (-1)/(1/(-10 - 1)). Is x + (-2 + 3)*-1 composite?
True
Let i(l) = 1435*l + 17. Is i(2) prime?
True
Let q be (5 - -2)*18/21. Is ((-4)/(-6))/(q/297) composite?
True
Let a(t) = t + 6. Let x be a(5). Let q = x - 4. Suppose 385 = q*s - 2*s. Is s composite?
True
Let a = 7 + -81. Let t be 5 + -4 - (0 - a). Let u = t + 126. Is u a composite number?
False
Let j(v) = 3*v - 17. Is j(12) prime?
True
Let g be (-2)/3 + 47/3. Let u = -10 + g. Suppose 3*z - 5*f + 4 = -2, -z + u*f - 12 = 0. Is z prime?
True
Let g(o) = -138*o + 6. Let j be g(5). Let m be (6/9)/((-1)/j). Let z = m - 199. Is z composite?
False
Let p(v) = -v**2 - 4*v - 3. Let k be p(-4). Let i(j) = -j**2 - 5*j - 3. Is i(k) composite?
False
Let i be 2 + (3 - (1 - 1)). Suppose i*c - 3*z - 133 = 0, 0*c + 48 = 2*c + 4*z. Is c prime?
False
Suppose -7*t + 3*t - 8 = 0. Let h = t + 6. Is h/(-6)*93/(-2) a composite number?
False
Suppose v = 3*v - 4*o - 10, -2*v = -2*o - 10. Suppose 2*m - 3165 = -v*l, 3*l + 1000 = 3*m + 2920. Is l a composite number?
True
Let u(d) = -d**3 - 6*d**2 - d + 1. Let v be u(-6). Suppose 0 = 2*c - 151 - v. Is c composite?
False
Suppose 0 = -2*n - 0*n. Suppose n*y + 232 = 4*y. Is y prime?
False
Let g(x) = x**2 + x. Let w be g(1). Suppose w*b = -3*b + 635. Is b composite?
False
Is (-4)/(-8)*(1 + 777) prime?
True
Let m(p) = p**2. Let k be m(2). Suppose -5*z - 5*s + 250 = 0, -3*z - k*s = -z - 110. Suppose a = -4*b + z, -b - 85 = -3*a - 3*b. Is a composite?
True
Suppose -2*a + 15 = a. Suppose 3*z + 4*f - 364 = -z, a*z = 3*f + 439. Is z prime?
True
Suppose -2*a - 5*q = -12, -q + 11 = a + 4*q. Let u(m) = 25*m**2 + 2*m - 1. Is u(a) prime?
False
Is 422*(6/(-39) - 34/(-52)) a prime number?
True
Let o(z) = -34*z + 28. Let w(u) = -11*u + 9. Let i(j) = 2*o(j) - 7*w(j). Let r be i(5). Suppose -13 - 89 = -3*b - 3*v, b - 3*v = r. Is b a prime number?
False
Let k(t) = -11*t + 3. Is k(-14) a composite number?
False
Let i be 2/4*(-3 - -3). Suppose -k - 48 = -i. Let c = k - -67. Is c composite?
False
Let x be 1/5 - (-36)/20. Suppose 0 = x*y - 0 - 4. Suppose 74 = 3*o - t, y*o - 3*o + 28 = -t. Is o composite?
False
Let s = 6 + -4. Suppose -s*a + 53 = z - 21, -a = z - 74. Let p = z - 43. Is p a prime number?
True
Let g(t) = -25*t - 7. Is g(-12) composite?
False
Suppose 0 = 3*t - 6*t. Suppose -5*w + w = -2*k + 48, t = -2*w. Let d = k + 109. Is d composite?
True
Let l be 15/4 + 3/12. Let m(x) = -2*x**3 + x**3 - x + 7*x**2 - 3 + 3*x. Is m(l) prime?
True
Suppose -3*s - s = -3628. Is s prime?
True
Suppose 3*i - 15587 = -4100. Is i prime?
False
Suppose 9 = -j - 2*a + 28, 2*a - 111 = -5*j. Is j prime?
True
Suppose -4*r + 0*r - 28 = 0. Let g(b) = -8*b - 9. Is g(r) a composite number?
False
Let r(c) = c**2 - 2*c. Let l be r(1). Let q = 11 + l. Is q a composite number?
True
Let s(u) = -5*u**3 + 3*u**2 + 4*u + 3. Let g = 3 + -5. Is s(g) a prime number?
True
Let b(t) = 3*t - 26. Let a(k) = k. Let h(m) = 4*a(m) - b(m). Is h(0) composite?
True
Let m = -5 + 10. Suppose -2*j = 1 - m. Is j prime?
True
Let q(j) = 3*j**2 + 3*j**2 + 4 - 6*j + 4*j - 2*j**2. Is q(-3) a composite number?
True
Suppose -t = -p + 2, -2*t + 5*p - 10 = -3*t. Suppose t*x = 2*w - 3*x + 6, -2*x = 4*w + 28. Let g(h) = -26*h + 7. Is g(w) a composite number?
False
Let y(u) = 40*u - 1. Suppose 9 = 2*o - 2*m - 7, -m = -3*o + 20. Let b = 7 - o. Is y(b) prime?
False
Suppose 3*a + 0 - 3 = 0. Let n(m) = -m**3 + 11*m**2 + 8*m - 7. Let x(t) = -t**2 - t. Let y(w) = a*n(w) + 2*x(w). Is y(9) composite?
False
Is 4/(1 - 3) - -383 prime?
False
Suppose 3*g = 2*g + 5. Let y(t) = -t**2 + 6*t + 4. Let p be y(6). Suppose -g*j + p*j = -79. Is j prime?
True
Suppose -3*o = -2*h - 7*o + 154, 445 = 5*h - 2*o. Suppose w + 2*f - h = -4*w, -5*f = w + 1. Is w a composite number?
False
Suppose 2*n - 93 = o, -3*n + 4*o = 9 - 146. Is n a prime number?
True
Let o = 1490 + -451. Is o prime?
True
Let j(q) = -q**3 + 20*q**2 + 9*q + 1. Is j(16) a composite number?
True
Let d be 102/(24/9 - 2). Suppose -3*c - 5*m = d, c + 34 = -m + 5*m. Is 0 + 1 - c*1 prime?
True
Let n(p) = 210*p**3 + 1. Suppose 13*y - 8*y - 5 = 0. Is n(y) a prime number?
True
Let l(m) = -3*m + 144*m**2 + 0 + m - 2 + 1. Is l(-1) a composite number?
True
Suppose -3*w + 4*w - 666 = 0. Is ((-1)/2)/((-9)/w) a prime number?
True
Let f = -636 + 982. Is f prime?
False
Let r = 522 + -291. Suppose -s - 2*s + r = 0. Is s composite?
True
Let v = -232 + 1577. Suppose 2*b = 7*b - v. Is b a composite number?
False
Let c be (-39)/(-9) - 2/6. Let g(h) = 25*h + 1. Let q be g(c). Let x = q + -54. Is x prime?
True
Let q(l) = l**2 - 6*l + 5. Suppose 0 = 3*s - v + 15, -2*v = -4*s - 7*v - 39. Is q(s) composite?
True
Let m = 304 + -177. Is m a composite number?
False
Suppose -4*q + 2*v + 18 = 0, v = -3*q + 3*v + 16. Let f be (-1 + 1/1)/q. Suppose f*l - 31 = -l. Is l prime?
True
Let v = -60 - -179. Is v a composite number?
True
Suppose 0 = -3*k - 0*k - 6. Let g be 8/6*9/k. Let y = 9 + g. Is y composite?
False
Let f = 18 - 13. Let j = -54 - -83. Suppose j = f*g - 146. Is g composite?
True
Suppose -3*c + 0*c + 6147 = 0. Is c composite?
True
Let y be (-8)/(-4)*414/4. Is 2 + y - (-2 + 0) a composite number?
False
Let d be (-5624)/(-120) - 4/(-30). Suppose -a = 3*s - 5, 0 = -s + 4*a + 1 + 5. Let n = d + s. Is n a prime number?
False
Let d(m) = -4*m**3 - 10*m**2 - m - 7. Let t(k) = 2*k**3 + 5*k**2 + 4. Let y(b) = 3*d(b) + 5*t(b). Is y(-4) prime?
True
Let d = 743 + -486. Is d composite?
False
Let s(i) = -i**2 + 5*i - 1. Let q be s(5). Let n be 28/(2/(-4) - q). Let b = n + -37. Is b prime?
True
Is (45/135)/((2/222)/1) prime?
True
Suppose 0 = -v + 5, -4*k = 2*v + 185 + 41. Suppose 2*o = -2*o + 336. Let u = k + o. Is u a composite number?
True
Suppose 2*y = -2*y. Suppose -3*p + 231 = -y*p. Suppose -3*v + 2*v + p = 0. Is v a prime number?
False
Let g(u) = 2*u**3 + 4*u**2 + 5*u + 6. Let t be g(-4). Let a be (-452)/10 - 1/(-5). Let q = a - t. Is q a composite number?
True
Let c(b) = 4*b**2 + b - 2. Let o be c(4). Suppose 0 = 4*a - a - o. Is a prime?
False
Is (-3974)/2*7/(-7) prime?
True
Let s be (-24)/30 - 23968/(-10). Suppose -3*j = k + 4*k - 1442, 5*j + k = s. Is j composite?
False
Suppose 5*n = -i + 1333, 4*i = n - 1581 + 6955. Is i a prime number?
False
Let g(t) = 10*t**3 + t + 1. Let k be g(-1). Let u = k - -9. Let n(w) = 18*w**2 - 2*w - 1. Is n(u) prime?
True
Suppose -3*x - x = -36. Suppose -4*g = -3*j + 26, -4*j + 4*g + 25 = -11. Let s = j + x. Is s a prime number?
True
Suppose 4*g - 29 = y + 2*g, 3*g = -4*y - 138. Is y/6*(-1 + -13) a composite number?
True
Let d = -5 - -5. Let q be (-4)/(d + 2) - -23. Suppose -3*y + q = -0*y. Is y composite?
False
Suppose 3*f - 15 = -2*f, 67 = -5*m + 4*f. Is (-31)/3*(m - -5) a prime number?
False
Let q = 44 - -33. Is q a prime number?
False
Let d(x) = 43*x - 4. Let y be d(6). Let t = y + -141. Is t prime?
True
Let b = -13 + 23. Let h = -58 - b. Let g = h - -135. Is g composite?
False
Let w be 3 + -1 + 0 + 23. Suppose 5*h + 0 = -10. Is (0 + h)/(-2)*w a prime number?
False
Let r(m) = 4 - 4 - m. Let x be r(3). Is ((-147)/28)/(x/8) prime?
False
Suppose 3*a + 3*o - 215 = 52, -2*a = 4*o - 178. Is a a prime number?
True
Let o = 2375 + -1384. Is o a composite number?
False
Suppose -2 = -2*y, 13 = 2*q - 0*y + y. Let f(r) = -r**3 + 7*r**2 - 6*r + 3. Let u be f(q). Is (26*u)/2 - 1 a composite number?
True
Let f(c) = 2*c**3 - 4*c**2 + 3*c + 9. Let q be f(-5). Is -21*1*q/12 a composite number?
True
Let a be 300/6*2/(-4). Is 4/10