*q + 3*f = -230. Is q a prime number?
False
Let b(c) = 2*c**2 + 10*c + 9. Let a(o) = 2*o + 3. Let n be a(-5). Is b(n) a composite number?
False
Let r(b) = -b**3 + 2*b - 1. Let n be r(-2). Suppose -56 = -z - n*z. Is z prime?
False
Suppose -3*t + 2448 = 489. Is t prime?
True
Let t(n) = 2*n - 18. Let x be t(9). Suppose x = v + 2*v - 114. Is v prime?
False
Let t(u) = -u - 1. Let o be t(-5). Is 809/o + 3/4 a prime number?
False
Let d(s) = 4*s**2 - 3*s + 13. Is d(6) a composite number?
False
Suppose -9*p + 5*p + 364 = 0. Is p composite?
True
Let w be 4/(-2)*2/4. Is (-309)/(-9) + w/3 a composite number?
True
Suppose 2045 = 3*k + 2*t, -6*t - 2017 = -3*k - t. Is k composite?
True
Let r(h) = h**3 - 1. Let q(s) = -3*s**3 - s**2 + s + 5. Let l(t) = q(t) + 2*r(t). Let g be l(0). Is -1 + g - -17*1 composite?
False
Let i be ((-8)/(-4))/((-2)/(-4)). Suppose -b + i*b - 897 = 0. Is b composite?
True
Is (-1)/((-10)/2996) - (-6)/(-10) composite?
True
Let m(n) = 131*n**2 + 3*n + 5. Is m(-6) a composite number?
False
Suppose 5*h - 29 + 4 = 0. Suppose h*d - 1 = 9. Let u(n) = 2*n**3 + n**2 + n + 1. Is u(d) a composite number?
False
Let i(l) = 6*l - 32. Is i(15) composite?
True
Let j(i) = i**2 - 6*i + 1. Let o be 25/4 - (-2)/(-8). Let p be j(o). Is -5 + 5 + p*65 prime?
False
Let u = 7 - 3. Suppose -5*y - 10 = 5*j, -28 = -y + u*j + j. Is y prime?
True
Suppose 2*r = 3*r - 1. Let f be r*-2 - 0 - 44. Is (f/3)/((-2)/3) a composite number?
False
Let y be (12/(-4))/(6/44). Is y/((-2)/(-141)*-3) composite?
True
Let a(c) = 41*c**2 - 2*c + 2. Is a(-3) composite?
True
Let q = -237 + 403. Is q prime?
False
Is -3*(-2)/6 + 48 a composite number?
True
Let b be 2/(1 + 30/(-26)). Let x = -8 - b. Is (-34)/(-4)*(5 + x) composite?
True
Let u = -568 - -379. Let p = u - -272. Is p prime?
True
Suppose -2*j = -0*j - 598. Is j a prime number?
False
Suppose 3*z + 2*o = -1, -3*o - 20 = o. Suppose -3*g + 9 = z*v, 0 = 2*g - 4*g + 4*v + 12. Suppose -44 = -g*a + 8. Is a composite?
False
Is 3 + 47 + 1 - -4 a composite number?
True
Suppose 6 = t + 4*v, 0*t + 5*v = -3*t + 11. Is ((-3)/9)/(t/(-1818)) a composite number?
True
Let l be 69*-1 + (-6)/(-6). Let w be (2 - 1) + 1 - l. Suppose -p - w = -2*r, 5*r + p = 3*r + 70. Is r prime?
False
Let b = 623 + -36. Is b composite?
False
Let c = -2 - -253. Is c a composite number?
False
Suppose j - 103 = -0*j. Is j prime?
True
Suppose -2*x - x = -1515. Let z = -203 + x. Is z composite?
True
Let s be (-1095)/12 - (-4)/16. Is (s/(-14))/((-1)/(-2)) prime?
True
Let g(y) be the second derivative of 17*y**4/24 - y**3/3 + y**2 + y. Let q(x) be the first derivative of g(x). Is q(3) a composite number?
True
Is (-8)/28 + 72/7 composite?
True
Suppose 0 = 4*v - 4*r - 12804, -v = -2*r + 1066 - 4265. Is v prime?
True
Suppose -164 = -s + 3*s. Let u = -5 - s. Is u composite?
True
Let q(y) = 3*y**2 - 12*y + 6. Is q(9) prime?
False
Suppose 4 = 2*h - 0. Let x(t) = 13*t**3 + t**2 - t + 2. Let y be x(h). Let w = -71 + y. Is w a prime number?
True
Let w be 4 + (-8)/(-6 + 2). Suppose -5*b = -w*b + 51. Is b composite?
True
Suppose -3*s + 5*f + 36 + 4 = 0, -25 = -4*s + f. Suppose 0 = -4*r + s + 11. Suppose -5*z + 42 = n - 232, 0 = -5*z + r*n + 279. Is z prime?
False
Suppose -5*q + 515 = -5*b, 3*b = 2*q - 6*q + 377. Suppose 5*w = -q + 673. Is w prime?
False
Let l = -11 + 18. Let b be (-150)/(-35) - 2/l. Suppose 3*i = -2*n - 49 + 192, -2*i + 306 = b*n. Is n prime?
True
Let a = 1637 - 19. Is a composite?
True
Let j(c) = c**2 + 4*c + 1. Let z be j(-3). Let k(q) = -q**2 - 4*q. Let o be k(z). Suppose 2*m + 166 = 2*x, -3*x + 74 = o*m - 175. Is x a composite number?
False
Let o(k) = -k**2 + 13*k - 11. Suppose -2*m = 5*x - 0*m + 27, -5*m - 5 = 0. Let s(d) = d**2 + 2*d - 5. Let j be s(x). Is o(j) a prime number?
True
Suppose 8 - 26 = -3*i. Is i/(-2) + -1 + 215 a prime number?
True
Let p(c) = -c - 7 - 11*c**3 + 6 + 5 + 3*c**2. Is p(-3) prime?
True
Let c = -99 - -139. Let g be (-4)/6 + c/15. Suppose g*u - 26 = -0*u. Is u composite?
False
Let f(j) = -j**2 + 3*j + 2. Let o be f(3). Suppose 4*a + 8 + 6 = -2*v, -a = -v + o. Let w = -1 - a. Is w a prime number?
True
Suppose 0 = -2*j - j - 42. Let v be (-210)/3*2/(-4). Let p = v + j. Is p prime?
False
Suppose -2*a + 4*m + 154 = 0, -a + 4*m - 356 = -5*a. Is a composite?
True
Let k(t) = -6*t + t**3 - 3 + 8 - 4*t**2 + 0*t**3. Let q be k(6). Let o = q + -8. Is o prime?
False
Let s(i) = i + 3*i + 0*i + 2*i + 1. Is s(5) prime?
True
Suppose 5*f = 3 + 2. Let d(w) = 0 - 3*w + f + w. Is d(-5) composite?
False
Let y(v) be the third derivative of 0*v + 2*v**2 - 1/24*v**4 + 0 + 2/3*v**3. Is y(-9) a composite number?
False
Let v(q) = -q + 3. Suppose 0 = 4*t - 3*t. Let x be v(t). Suppose -a - a = -x*r - 8, 0 = 4*a - 2*r - 32. Is a a composite number?
True
Let a = 11 + -8. Let c(y) = 14*y + 4. Let v(u) = -41*u - 11. Let k(s) = a*v(s) + 8*c(s). Is k(-1) a prime number?
False
Suppose -5*o - 30 = 10. Let u be (-3)/12 - 42/o. Suppose u*x = 2*i - 0*x, -5*x - 20 = -4*i. Is i a composite number?
True
Suppose 4*b - 3*h + 2*h = 356, -100 = -b + 3*h. Suppose -18 = -0*x + 2*x. Let c = x + b. Is c a composite number?
False
Let x(q) = 8*q**3 - q**2 - 4*q - 1. Is x(3) composite?
True
Let s = 4 - -6. Suppose 9*q + 142 = s*q. Is q prime?
False
Let g(o) = -68*o**2 - 1. Let t be g(1). Is ((-4)/(-6))/((-2)/t) prime?
True
Let w(p) = -p**3 + 5*p**2 + 2*p - 1. Is w(-3) prime?
False
Suppose 3*k - 2*k = 4855. Is k prime?
False
Suppose 2*n - 5*n = -z - 6, -n - 2*z + 9 = 0. Suppose -u - n*u + 596 = 0. Is u a composite number?
False
Suppose 5*f = 2*i - 5*i + 1655, -3*i = 0. Is f a composite number?
False
Let z(u) = 734*u**3 + u**2 - 2*u + 1. Is z(1) prime?
False
Let u(q) = q**3 - 6*q**2 + 6*q - 2. Let r be u(5). Let z be ((-7)/4)/(3/(-24)). Suppose y + z = r*y. Is y a prime number?
True
Suppose -3*o = -1406 + 263. Is o composite?
True
Let t = -1753 - -4992. Is t composite?
True
Let o(q) = -q**2 + 3*q + 4. Let b = 3 - -1. Let l be o(b). Suppose 5*h = l, 2*c = c + 3*h + 87. Is c composite?
True
Is -3*2/3 + (-1 - -1208) a composite number?
True
Let u = 2751 + -1390. Is u prime?
True
Suppose 0 = -5*q + 9 - 4. Suppose 0 = s - 5 - 7. Is -93*q*(-4)/s a prime number?
True
Let f(u) = 2*u**2 + 1 - 7 + 3 - 7*u - 7. Is f(9) prime?
True
Suppose 4*v + 38 = 14. Let h(o) = -o**3 - 7*o**2 - 7*o - 7. Let q be h(v). Is 2 + 18 + q/1 composite?
False
Suppose 2*w - 12 = 5*w. Let z be 15/2 - (-6)/w. Let l(b) = 2*b**2 - 10*b + 9. Is l(z) composite?
True
Let u = 1 - 0. Suppose -u - 3 = -s. Suppose -s*w = -3*k + 32 + 66, 139 = 4*k + 3*w. Is k prime?
False
Suppose -1376 = 3*b - 7*b. Suppose n - b = -5*s + 2*s, 346 = n + s. Is n prime?
True
Let c = 8 - 5. Suppose 3*w - c*m = 1 + 2, 4*w - 3*m = 6. Suppose -2*q - 157 = -3*q + l, -q - w*l + 173 = 0. Is q a prime number?
False
Suppose 0 = -9*n + 11*n - 1358. Is n a composite number?
True
Let p be 12604/18 + 6/(-27). Is p/8 + (-3)/(-2) a composite number?
False
Is (-10)/(-20)*(135 - 1) a prime number?
True
Let h(l) = l**2 - l. Let r be h(1). Suppose 4*j - 244 = 4*t, 3*j + r*j + t - 167 = 0. Is j a prime number?
False
Let f(n) = -n**2 + 16*n + 2. Is f(9) prime?
False
Let y(b) = 18*b**2 + 4*b - 4. Let r be y(2). Suppose -o = -3*o + r. Is o prime?
False
Suppose 153 + 36 = -3*l. Let t = l + 116. Is t composite?
False
Is 4*(2 - 1) + 1069 a composite number?
True
Suppose -3*q = 2*m - 1479, -4*q + 0*q = -3*m - 1955. Is q prime?
True
Suppose -v + 4*c + 46 = -15, -3*c = 4*v - 244. Suppose -39 - v = -4*b. Suppose 6*s - 2*s - b = 3*n, s - 6 = n. Is s a composite number?
False
Let u(z) = -363*z - 13. Is u(-4) composite?
False
Let m = -186 + 605. Is m prime?
True
Let v(h) = h**2 - 6*h + 6. Let f be v(6). Let o(p) = -16*p. Let d be o(f). Let q = d - -153. Is q a prime number?
False
Let d = 11 - 5. Let t(l) = -l**2 + 14*l - 10. Let v be t(9). Suppose -d*m + m + v = 0. Is m a prime number?
True
Let w = 4 - -1. Suppose -6 = -w*f + 19. Let l = 18 - f. Is l a composite number?
False
Suppose -5*u + 4*w = 2*w - 729, 0 = -5*u + 3*w + 731. Is u a prime number?
False
Let u(i) = -i**3 - i**2 + 9*i + 3. Let k be u(-7). Suppose c = 141 + k. Suppose -3*h + c + 24 = 0. Is h a prime number?
False
Let z(q) = -7*q - 7. Let l be z(-7). Let d = -13 + 92. Let n = d - l. Is n prime?
True
Let h(z) = z**2 - 2*z