 - 40)/((-2)/22) a prime number?
False
Suppose -35 - 23 = -5*g - 4*v, g - v = 17. Is g prime?
False
Let l(z) = -96*z + 1. Let v(w) = 192*w - 2. Let a(g) = -9*l(g) - 4*v(g). Is a(2) a prime number?
True
Let r be (180/(-9))/(2/(-2)). Suppose 4*c + 0*c + r = 0, 0 = -2*t + 4*c + 168. Is t a composite number?
True
Let s(a) = 12*a**2 - a - 1. Let d be s(-1). Let g = 8 - d. Let b(v) = v**3 + 7*v**2 + 2*v - 3. Is b(g) a prime number?
True
Let k(d) = -10*d + 1. Let u be k(1). Is 2 + -2 + u/(-3) a composite number?
False
Let i(b) = -61*b + 5. Let d = -2 + -3. Let h be i(d). Suppose 3*z - h = z. Is z prime?
False
Let j = -2 - 2. Let u(p) = -p - 10. Let b be u(-8). Is j*1/b*11 composite?
True
Let x(j) = -69*j - 5. Let c be ((-30)/20)/(2/8). Is x(c) a composite number?
False
Suppose -r + 4*r - 603 = 0. Suppose -2*b - b + r = 0. Is b prime?
True
Suppose 3*k + 2*h - 2909 = 0, -4*k + 3*k - h + 971 = 0. Is k composite?
False
Let c be (-1 - (-6 + 0))*2. Suppose o - 638 = -5*g, c = 4*o - 2. Is g prime?
True
Let d(q) be the second derivative of 1/12*q**4 + 0*q**3 + q + 1/2*q**2 + 0. Is d(-8) composite?
True
Suppose 3*b + 9 = -4*s - 8, 0 = 4*b + s + 1. Let t = -15 + b. Let w = 23 + t. Is w a composite number?
True
Suppose -m = 4*y - 5*m - 744, 0 = -5*y + m + 950. Is y a prime number?
True
Let t = -280 - -405. Suppose t = -5*a + 760. Is a a composite number?
False
Suppose 0 = 2*b - 117 + 17. Suppose -8*a + 6*a + b = 0. Is a a composite number?
True
Let w = -147 - -392. Let n = w - 126. Is n a prime number?
False
Suppose 2*h = -3*y + 1241, 3*y + 1232 + 15 = 2*h. Is h a prime number?
False
Let m(g) = 117*g - 3. Let o be m(2). Let k be (4/3)/(1/3). Suppose k*b - 45 = o. Is b prime?
False
Is -1*((-2)/(-7) - (-18348)/(-28)) a composite number?
True
Let y(q) = 96*q - 51. Let c(o) = 32*o - 17. Let g(a) = 7*c(a) - 2*y(a). Is g(8) a prime number?
True
Let k = 834 - 149. Is k prime?
False
Let d(t) = -2*t**3 - 3*t**2 + 11*t + 11. Is d(-10) a composite number?
False
Suppose 110 = 3*w - 4*x, -2*x = 5*w + 2*x - 162. Is w a prime number?
False
Let h(j) = -2*j**3 - 12*j**2 + 11*j - 16. Suppose -45 = -0*l + 5*l. Is h(l) composite?
True
Let v be ((-168)/(-9))/4*30. Suppose -4*z + 3*z + 35 = -r, -4*z + v = 3*r. Is z prime?
False
Let t = -1671 - -2736. Suppose 4*d - d - t = 0. Is d a composite number?
True
Let t(d) = -8*d + 9. Let r(v) = -v**2 + 9*v - 9. Let i be r(6). Suppose -30 + i = 3*g. Is t(g) composite?
True
Suppose 0*j + 262 = 2*j. Let t = j - 24. Suppose 2*f - a - 385 = -f, -5*a = f - t. Is f a prime number?
True
Let l be (-9)/12 - (-2111)/4. Suppose g - l = 2. Is g a composite number?
True
Let b be 3*(-2 + 1)*-1. Suppose b*x + y = 63 + 54, 3*y = -2*x + 78. Is x a composite number?
True
Let r(a) = a**3 + 3*a**2 - 2*a + 3. Let i = 7 + -5. Let m be r(i). Suppose 4*x - m = 5. Is x prime?
False
Let y(i) = 4*i. Let k be y(-2). Let d be 2/k + (-3396)/(-16). Suppose 5*a - d = a. Is a a prime number?
True
Suppose 0 = -r + z - 6, 7*r - 3*r + 4*z = 8. Let k = -4 - r. Is (0 + k)/(4/(-194)) a prime number?
True
Let j = 237 - 38. Is j a composite number?
False
Suppose -f = -5*r + 3374, -5*r - 14420 = 4*f - 899. Is (-8)/44 + f/(-11) a prime number?
True
Let y(t) = 92*t + 5. Is y(6) a prime number?
True
Let r = -7 - -7. Is 255 - (r - 2)*1 composite?
False
Suppose h + 25 = 6*h. Suppose 0 = h*a - 25 - 20. Let d = 12 + a. Is d a composite number?
True
Let w = -373 + 786. Is w a composite number?
True
Suppose -5*i + 13 = j, j + 0*j + 4*i - 11 = 0. Is (1/j)/(8/2832) a composite number?
True
Let q(i) = -24*i. Suppose -4*g - 4 = 4. Let v be q(g). Let f = v - -11. Is f a composite number?
False
Let c = -4 - -3. Is c/3 - (-154)/3 composite?
True
Let n(s) be the second derivative of 59*s**3/6 - 3*s**2/2 + s. Suppose 3*p = -c + 5, 0 = -2*p - 2*c - 1 + 3. Is n(p) a composite number?
True
Suppose s - 3*u - 6 = 0, -u - 4*u - 50 = -5*s. Let g be (-9)/12 - (-69)/s. Suppose 161 = -g*c + 6*c. Is c prime?
False
Suppose -1 = -u - 2. Is 2 - -90 - 1/u composite?
True
Let u(f) = -f**2 + 1. Let d be u(0). Suppose 3*h - 5 - d = 0. Suppose h*k - 214 = -4*g, g + 5*k - 40 = -0*g. Is g composite?
True
Let f = 2 - -4. Let w be f/4*(-152)/(-12). Let c = w - 8. Is c a composite number?
False
Let y(n) = -n**2 - 4*n - 3. Let x be y(-2). Is (1006/6)/(x/3) prime?
True
Let v(d) = -29*d**3 - d**2 - 2*d - 1. Let q be v(2). Let l = q + 350. Is l a prime number?
True
Suppose 3*b - 5*o - 11844 = 0, -2*o = -2*b - 6*o + 7874. Is b a prime number?
True
Let j be 0/(3/(-3)) + 0. Let b(v) = -v**3 + 3*v**2 + 3. Let k be b(3). Suppose -k*m + 21 = -j*m. Is m a prime number?
True
Suppose n - 5 + 14 = -3*j, 4*j + 12 = -5*n. Suppose -r = 4*r - 3*r. Suppose n*b - b + 25 = r. Is b a prime number?
False
Suppose 5*t + 30 = 4*l, 0*l + 2*l = -2*t + 24. Suppose 5*m = l*m - 155. Is m composite?
False
Let v = -68 - -511. Is v composite?
False
Let j = 25 - 4. Is j prime?
False
Let h be 36/(-4) + 0/(-1). Let r(x) = 27*x - 10. Let u(g) = -41*g + 15. Let d(s) = 7*r(s) + 5*u(s). Is d(h) a composite number?
False
Suppose -793 = -5*y + 2472. Is y prime?
True
Let g(v) = -19*v**3 + 7*v**2 - 7*v + 13. Is g(-6) prime?
False
Let h(y) = -3 - y**2 + 8*y + 0*y**3 - y**3 + 4*y**2. Let s be h(-6). Suppose -5*m - s = -718. Is m composite?
False
Is -4 - (-3 + -396 - -4) a composite number?
True
Let c(g) = 113*g + 21. Let u(p) = 38*p + 7. Let w(j) = -2*c(j) + 7*u(j). Is w(3) a composite number?
False
Suppose 0 = -2*g + 8, 2*u - 2*g = -0*u. Let w be (-2)/(-4) - (-350)/u. Let z = w - 53. Is z a composite number?
True
Suppose 4*g + g = 0. Suppose g = 2*x + x - 198. Suppose 9 + x = 5*y. Is y composite?
True
Let l(u) = 405*u**2 - u + 1. Is l(-2) composite?
True
Let j(d) = -d**3 - 9*d**2 + 10*d + 3. Let g be j(-10). Let c be (36/(-15))/(g/(-270)). Suppose 0 = -3*t - 5*r + 179, c = 4*t + r - 0*r. Is t prime?
True
Suppose 0*c = -3*c + 138. Let v = c - 23. Is v a prime number?
True
Suppose 5*b - 1208 = -223. Let o = b - 114. Is o a prime number?
True
Suppose 0 = 2*l - 4*l - 84. Let w = l - -93. Is w a composite number?
True
Is ((-7)/(-3))/(1*2/30) a prime number?
False
Let x = 5 + -8. Let c = 18 + x. Is c composite?
True
Suppose 2205 = 8*v - 1403. Is v a prime number?
False
Let r(c) = -c**3 + c**2 + 3*c + 3. Let n be r(3). Let s = 31 + n. Is s composite?
True
Let i be 63/6 - (-1)/(-2). Suppose i = 4*t - 2. Suppose 6*y = 2*y, -t*u - y = -78. Is u a prime number?
False
Let s = -324 - -575. Is s a composite number?
False
Let l(g) = -2*g - 4. Let b be l(-4). Let t be b*4/(16/(-58)). Let a = t + 89. Is a composite?
False
Let c = 22 + 57. Is c composite?
False
Let l = 1522 + -965. Is l prime?
True
Let m = -187 - -321. Is m a prime number?
False
Suppose 3*z = -z + 72. Suppose z = -5*c + 58. Let n(i) = 13*i + 11. Is n(c) a prime number?
False
Let j = -2 - -14. Suppose -7*s + j = -3*s. Suppose 3*r = -3*w + 72, 4*w - s*r - 66 = -r. Is w a prime number?
True
Let i(u) be the third derivative of u**6/120 + u**5/20 + u**3/2 + 5*u**2. Is i(4) a prime number?
False
Let x(o) = o**3 - 3*o**2 - 3*o + 3. Let n be x(3). Suppose -5*m + 8 = -w, 0*w - 2*m + 20 = w. Is (w - -2)*n/(-4) a prime number?
False
Let j(f) = 2*f**3 + f**2 - 6*f - 4. Let b be j(-4). Let k = -32 - b. Suppose -n + 14 = -3*m, 5*n - 4*m = m + k. Is n a prime number?
True
Let n = -18 + 13. Let j(t) = -t**3 - 4*t**2 + 4*t + 2. Let b be j(n). Let q = 14 - b. Is q composite?
False
Suppose -5*s + 0*s + 17 = -3*n, 0 = -2*s - 2*n + 10. Suppose -s*t + 236 = -0*t. Is t a composite number?
False
Let u(s) = -103*s - 1. Let h(i) = 102*i + 1. Let z(w) = 7*h(w) + 6*u(w). Let k(v) = -v**2 - 24*v + 1. Let q be k(-24). Is z(q) a prime number?
True
Let j be (-6)/4*8/(-3). Suppose n - 3*z = 68, -j*n + 323 = z + 12. Is n a composite number?
True
Let v = -17 - -36. Let o = -2 - -2. Let d = v + o. Is d prime?
True
Let v(n) = 7*n**2 - 8*n + 8. Let x be v(-5). Suppose -w + 3*k = -0*w - x, -3*k + 199 = w. Is w a composite number?
False
Let d = 23 - 16. Is d composite?
False
Suppose 5*c = -5*c + 25630. Is c a composite number?
True
Let w(k) = k**2 + k + 53. Let x be w(0). Let z = -28 + x. Is z a composite number?
True
Let o(m) = -8*m**2 + 7*m - 1. Let p(r) = -15*r**2 + 13*r - 2. Let n(a) = 11*o(a) - 6*p(a). Is n(5) composite?
True
Let o = 19 - -38. Suppos