3 + 7*f**2 - 6*f + 8. Let u be o(6). Suppose -u*j = 5*n - 3*j - 170, -j = 0. Is n a composite number?
True
Let r be (10 + -8)/(4/738). Suppose -3*s + 5*u = -r, -u = 2*s + 2*u - 246. Is s composite?
True
Is (3958/4)/((-9)/(-2) - 4) prime?
True
Suppose -4*j + 12 = -4*a, -3*j + a = -5*j - 6. Is (-3)/(2 + j) - -34 prime?
True
Let d(c) = 2*c**2 - 5*c + 1. Let y(z) = -z**3 + 8*z**2 - 7*z + 3. Let q be y(7). Suppose q*w = 4*j + 1 + 13, -3 = -3*j. Is d(w) composite?
False
Suppose 0 = 3*a - 177 - 648. Let t be a/(-2) - (-1)/2. Is 1/6 + t/(-6) a prime number?
True
Let s = -1 - -5. Suppose -s*c = -2*c - 116. Is c a prime number?
False
Suppose -2006 = -4*v + 2*o, v + 3*o + 494 = 2*v. Is v a prime number?
True
Let b(l) = 0 + l + 18*l**2 - l**2 - 3 + 4*l**2. Is b(-2) a composite number?
False
Let c = -289 + 504. Is c a prime number?
False
Let o = -11 - -5. Let z = 17 - o. Is z prime?
True
Suppose 0 = 5*k + l - 880, 2*k + 2*k - 683 = -5*l. Is k a composite number?
True
Let g(o) = -80*o + 17. Is g(-5) a composite number?
True
Suppose 7*u + 4 = 25. Suppose 0 = m - 2*q - 28, -m + 5*q + 150 = 4*m. Let t = m + u. Is t prime?
False
Let b = -107 + 58. Let s = 102 + b. Is s a prime number?
True
Let d = -697 - -1526. Is d composite?
False
Let g = -5 - 108. Let f = 162 + g. Is f a prime number?
False
Suppose 3*n = 5*n - 52. Is (n/8)/((-7)/(-140)) a prime number?
False
Suppose -3*o - 9 = 5*v + o, -7 = 4*v + 3*o. Let g(u) = u**2 - u - 1. Let m(k) = -5*k**2 + 5*k - 17. Let i(f) = v*m(f) - 4*g(f). Is i(0) a composite number?
True
Let a(h) = 2*h + 55. Let f be a(0). Let g = f - -2. Is g a composite number?
True
Suppose -v - 5061 = -4*v. Is v a prime number?
False
Let h(b) = 2*b**3 + 2*b**2 + 2*b - 1. Let d be h(3). Suppose -d - 82 = -3*p. Is p a composite number?
False
Suppose 13*v - 28116 = 9155. Is v prime?
False
Is -1*(-988)/(2 + 2) composite?
True
Let y(t) = -t**2 - 4*t - 3. Let k be y(-2). Let w = 5 - k. Suppose w*b - 49 = 135. Is b a composite number?
True
Let h(f) be the third derivative of 97*f**5/60 + f**4/24 - f**3/6 - 3*f**2. Let o be 2/(-8) + (-5)/(-4). Is h(o) a composite number?
False
Let j be (-2)/5 + 82/5. Suppose -23 = -3*m + j. Is m prime?
True
Let y = 69 - 22. Is y a composite number?
False
Let h be (182/(-4))/(2/(-28)). Suppose 0*d - 1292 = -2*d + 2*u, d - h = 4*u. Is d prime?
False
Let f(r) be the third derivative of -65*r**4/24 - r**3/2 - 2*r**2. Is f(-2) a composite number?
False
Is (-3 - -1) + 93 + 6 a prime number?
True
Let j = 17 + -24. Is 110*2 - (j + 10) composite?
True
Suppose -5*w - 10 = -5*o, -o = 3*o + 3*w - 29. Suppose -j + o*j + 107 = 5*c, 0 = -4*j - 12. Is c a composite number?
False
Suppose 335 = -6*z + 1601. Is (-9 - -14)*z/5 composite?
False
Let t(u) = -206*u**3 - u. Let c be t(1). Let h = 8 - c. Is h prime?
False
Let u = -2 + 12. Suppose 4*n + 3*d = 7*d - 8, 5*d - u = -4*n. Suppose 4*c - 77 - 7 = n. Is c a prime number?
False
Let g = 77 + -30. Is g a prime number?
True
Let x = -3 + 3. Let w(u) = u + 59. Is w(x) a composite number?
False
Let n be ((-30)/(-9))/(4/(-12)). Let o = n - -95. Is o composite?
True
Is 3628/(-16)*(0 - 4)*1 composite?
False
Let r = 497 - 234. Is r a prime number?
True
Suppose -2*f + 0 - 4 = 0. Let g be (0 - 0) + f + 2. Suppose -4*y - 4*r = -80, 5*y - 93 = -g*y + 2*r. Is y a composite number?
False
Let p(m) = 12*m - 7. Let z be p(-12). Let w = z - -222. Is w composite?
False
Let p be (636/10)/(4/(-60)). Is p/(-8) + (-9)/36 a composite number?
True
Let w(t) = -t - 1. Let o be w(-1). Let z be (5/2 - o)*-14. Let p = z + 56. Is p a composite number?
True
Suppose -4*j - 4*t + 24 = 0, -4*t = -j - 3*j. Suppose 2*u = -0*u + 4*l + 78, 3*u = -j*l + 117. Suppose -y + u = s, -3*s = -5*s + y + 66. Is s composite?
True
Let r be 228/20 + 2/(-5). Suppose -2*j - 5*f = -29, j = 4*j + f - r. Suppose j*c + 0*c = 46. Is c composite?
False
Is (-2235)/(-60) - (-2)/(-8) prime?
True
Suppose -2*x = -3*o - 118 - 42, 0 = -2*o + 3*x - 105. Let f = 113 + o. Is f a composite number?
False
Is (17/(-5) + 3)*-35 a prime number?
False
Let a = -146 + 264. Is a a prime number?
False
Suppose 28 + 22 = h. Suppose 4*w - 2*b = h, 0 = -2*w - 2*b - b + 29. Is w a prime number?
True
Let q(o) be the third derivative of o**4/24 + o**3/3 - o**2. Let h be q(-5). Is 1/h - 448/(-21) composite?
True
Let m be 9744/30 - (-2)/10. Let p = -114 + m. Is p a prime number?
True
Let y = -19 - -37. Let l = -11 + y. Is l a prime number?
True
Let t be 2 - (4/2 + -14). Suppose -f - q + 63 = 0, f + t - 61 = 3*q. Is f a composite number?
False
Let v(f) = -2*f**2 + 1 - 5*f - 4*f + 4*f - f**3. Is v(-4) a composite number?
False
Let o = -3 + 4. Let v be (-5)/3 + o/(-3). Is 0 + 54 - (-1 - v) composite?
False
Suppose -n + 2 = 4*o, 3*n + 3*o = -n + 8. Let x = n + -2. Suppose 6*a - 2*a - 76 = x. Is a composite?
False
Let z(i) = 309*i - 7. Is z(2) a prime number?
False
Suppose -g = 2*g + 12. Let q be ((-508)/5)/(g/10). Suppose -o - q = -3*o. Is o composite?
False
Let p = 19 - 9. Let d(k) = k**3 - 5*k**2 + 4*k + 3. Let a be d(4). Suppose -p + a = -g. Is g prime?
True
Suppose -5*d + 5*p = -65, 0*d - d - 4*p - 7 = 0. Let l be (d/(-12))/(4/(-1520)). Let t = l - 151. Is t a composite number?
True
Let d(l) = -2*l**3 - l**2. Let y be d(4). Let z = y - -206. Is z prime?
False
Is 2/6*-3 + 128 a prime number?
True
Let i = -450 - -1565. Is i a prime number?
False
Suppose 3*r + 5*a - 223 = 0, r - 20 = -2*a + 56. Suppose -y + r = -5*c, 4*y + c = -18 + 198. Is y composite?
True
Is (102/(-8))/(3/(-8)) a prime number?
False
Let g be (-3)/(-2)*(-200)/(-3). Let m = -65 + g. Is m a composite number?
True
Let s = -2 + 3. Suppose 0 = -5*k + 2*p + 6 + 17, -s = -3*k - 2*p. Suppose 33 = -0*o + k*o. Is o prime?
True
Suppose 5*x = o + 13834, -3*o = -3*x + 2*o + 8296. Is x composite?
False
Is 3*(-2 + 0 - -45) composite?
True
Suppose 0*r - 3*r + 21 = 0. Suppose r*k = 2*k - 4*g + 27, -2*k + 12 = 2*g. Suppose -k*w + 66 = -0*w. Is w a composite number?
True
Let i be (1 - 78 - 0)*1. Let t = i - -132. Is t a prime number?
False
Let g = -1 + 1. Suppose -3*j + 36 + 885 = g. Is j a prime number?
True
Let i = -43 - -202. Let t = -106 + i. Is t composite?
False
Is (0 + -1 + 2)/(6/2946) prime?
True
Let m(y) = -20*y**3 - y**2 + 1. Let v be m(-1). Is 12/v - (-1584)/10 prime?
False
Let m(j) = -2*j**3 - 7*j**2 + 7*j - 1. Let n be m(-8). Suppose 4*y - n = -5*d, 0*d + y + 308 = 3*d. Is d composite?
False
Suppose 7 - 2 = 5*w. Let y = 32 + w. Is y a composite number?
True
Let o(p) = -70*p**2 - 2*p + 6. Let w be o(-6). Let a(h) = -4*h**2 + 3*h - 3. Let z be a(3). Is w/z + 4/(-10) composite?
False
Let u(o) = -o - 1. Let d(f) = 14*f**2 - 5*f - 4. Let r(v) = d(v) - u(v). Let g be r(-2). Suppose g + 66 = p. Is p prime?
True
Suppose -3*g - 39177 = -4*s + 2*g, 2*g + 2 = 0. Is s a composite number?
True
Let h(f) be the second derivative of 5*f**4/3 + f**3/3 + f**2/2 - 3*f. Let u be 6/4 + 3/6. Is h(u) prime?
False
Let n(v) = -4*v + 4. Let f be n(-6). Let t be 0/(-3 + 0) - 10. Is (f/t)/(7/(-35)) prime?
False
Suppose -3*b = -2*v + v - 1, -4*b = 2*v + 12. Let o be b + (0 - (2 - 11)). Is (66/o)/3*28 a prime number?
False
Suppose -5*g = -5*d + 276 + 84, 3*g + 15 = 0. Is d prime?
True
Let a(z) = -z**2 + z - 1. Let x(c) = 2*c**3 + c**2. Let f be x(-1). Let i(n) = -6*n**2 + 8*n - 2. Let w(l) = f*i(l) + 3*a(l). Is w(6) a prime number?
False
Suppose -2*c - 70 = -4*c. Is c prime?
False
Suppose -11*r + 1017 = -2*r. Is r composite?
False
Suppose w - 3*j - 901 = -4*w, -714 = -4*w - j. Is w a prime number?
True
Suppose -q + 0*q - 8 = -4*h, 3*h - 9 = 0. Let p(l) = l**3 - l + 1. Let r(t) = 7*t**3 - 5*t**2 - 9*t + 3. Let g(k) = 6*p(k) - r(k). Is g(q) a prime number?
True
Let f(t) = 15*t**2 - 2*t - 8. Is f(-5) composite?
True
Suppose b = 4*i + 399, 5*b + 5*i - 2105 = 3*i. Is b prime?
True
Suppose -50 = z + 4*z. Is ((-8)/z)/((-6)/(-75)) composite?
True
Let d be -3 - (0 - (-2 + 4)). Let b be (3 - -110) + (d - 1). Suppose 0 = -5*c + 484 + b. Is c prime?
False
Let f(w) = -96*w + 59. Is f(-15) a prime number?
True
Suppose o + 3*o - 5*x = 15, -2*x = o + 6. Let t(a) = a**2 + 11*a - 8. Let w be t(8). Suppose w = 4*c - 2*d, -c - d + 15 + 15 = o. Is c prime?
False
Suppose 2*a + y + 33 = 0, -17 - 26 = 2*a + 3*y. Is (-542)/a + 6/21 composite?
True
Let q(i) = i**2 - 