
Let n(x) = -4*x - 2. Let m be n(-5). Is (-354)/4*(-12)/m a composite number?
False
Let a(r) be the first derivative of 17*r**2/2 - 7*r + 1. Let f be a(5). Is 5/20 - f/(-8) composite?
True
Let n(s) = -2*s - 9. Let w(q) = q**2 - 6*q + 2. Let a be w(4). Let t be n(a). Suppose -65 = -2*r - t*r. Is r a prime number?
True
Let b be (-4)/(12/15) - 3. Let d = -19 - b. Let a(n) = -n + 12. Is a(d) composite?
False
Let s = -90 + -81. Let z = -94 - s. Is z a composite number?
True
Let g be (-52)/(-10) + (-4)/20. Let l(u) = 3*u**2 + 2*u - 4. Let t be l(g). Suppose -3*w + 105 = -3*h, -2*w - h - 23 = -t. Is w composite?
False
Let o(a) = a**3 + 4. Suppose 3*w = 7*w. Is o(w) composite?
True
Let n(f) = -f - 6. Let a(g) = 2*g + 11. Let x(d) = 6*a(d) + 11*n(d). Let q be x(8). Is (-4)/(-1)*74/q a composite number?
False
Let o(n) = 2*n - 2. Let r be o(-2). Let z(t) = -3 + 10*t + 0 + 3 + 7 + 2*t**2. Is z(r) a composite number?
False
Let w(n) = -82*n - 7. Let u(y) = -y - 1. Let d(q) = 6*u(q) - w(q). Is d(1) a composite number?
True
Let q = 1217 - 570. Is q a composite number?
False
Let h(r) = -13*r - 8. Let w(s) = 1. Let c(p) = h(p) + 4*w(p). Is c(-3) a prime number?
False
Let b(n) = -2*n - 1. Let w be 2*(0 - (2 - 1)). Let d be b(w). Is ((-146)/(-6) - 2)*d a prime number?
True
Suppose 3*x - 9607 = -10*x. Is x prime?
True
Let x(g) = 2*g**2 - 10*g + 2. Let f be x(5). Suppose 2*v + 15 = 5*a, 2*v - 3*a = -a - 6. Suppose -f*z - 35 + 183 = v. Is z a composite number?
True
Suppose 16 = -5*r + 46. Is r composite?
True
Is (1/(-1) - 0)/(20/(-20980)) a prime number?
True
Let j = 134 - -298. Suppose 2*s + 176 = w + w, 5*w - j = -3*s. Is 1*w - (4 - 6) composite?
False
Suppose m = 5, 3*q + 0*m - 25050 = -3*m. Is q a composite number?
True
Suppose -4*v + 236 = -3*f, -2*f + 44 = v - 15. Is v prime?
True
Let k(i) = 2*i + 1055. Is k(0) composite?
True
Let b(q) = -6*q - 4. Let x be b(5). Let t = 1 - x. Is t prime?
False
Suppose -i - 124 = -5*i. Is i a composite number?
False
Let t = 1194 + -2232. Is t/(-9) - 2/6 a prime number?
False
Let o be 1/3*3 + -5. Let w(b) = 12*b**3 - 3*b**2 - 14*b + 3. Let n(r) = 4*r**3 - r**2 - 5*r + 1. Let s(c) = o*w(c) + 11*n(c). Is s(-3) a prime number?
True
Suppose 31 = 4*h + 11. Suppose -s - 601 = -4*v, 3*s - 2*s + h = 0. Is v a composite number?
False
Suppose -430 = 5*q - q + 2*n, -555 = 5*q - n. Let t = -52 - 7. Let k = t - q. Is k composite?
True
Suppose 0 = -2*g - 2*g. Suppose g = h + h - 106. Let k = -22 + h. Is k a composite number?
False
Let u(k) = k**2 + 9*k - 3. Let t be u(-5). Suppose -l = 3*h + 114, -5*l - 5*h - 530 = -0*h. Let g = t - l. Is g prime?
True
Let w = -219 + 2349. Is (-2)/(-6) - w/(-9) a prime number?
False
Let y be ((-395)/5)/(1/(-2)). Suppose -6*g - 2*o = -2*g - 604, -g = 4*o - y. Suppose 45 + g = 3*w. Is w a prime number?
False
Let x = -400 + 591. Is x a prime number?
True
Let w = -3 + 3. Suppose w = -4*l + 63 - 7. Is l prime?
False
Let p be 24 - 2*(-1)/(-1). Suppose -4*b + p = -0*t + 5*t, -2*t + 2*b = 2. Let v = t + 5. Is v a composite number?
False
Is 3/(-9)*3*-541 composite?
False
Suppose 10 = -0*g + g. Suppose -4*a = -2*c + 14, -2*a + 0*a = 2*c + g. Is 5/(-15)*(c - 56) a prime number?
True
Suppose 0*v - 3*v + 6 = 0. Let y = 40 - v. Is y a composite number?
True
Is (-5 - -55) + -1 + 4 prime?
True
Suppose 0 = 3*s + 4 + 11, 2*m + 2*s - 4656 = 0. Is m a prime number?
True
Let k = 1 - -2. Suppose -3*d + 11 = -k*r + 53, 5*r + 4*d - 70 = 0. Is r composite?
True
Suppose -b + 323 = 3*w - 45, -4*b + 1428 = w. Suppose 8*d = 5*d - 5*r + 253, -b = -4*d - 2*r. Is d a prime number?
False
Let x(v) = v**3 + 4*v**2 + 4*v + 3. Let q be x(-2). Suppose q*u - 120 = 66. Is u a prime number?
False
Let j(t) = -5*t**2 - 3*t + 6. Let k(z) = z - 7. Let f be k(6). Let w(i) = i**2 - 1. Let s(v) = f*j(v) - 4*w(v). Is s(-4) composite?
False
Suppose -8851 = -3*r - 1090. Is r prime?
False
Let p(q) = 5*q - 6. Let r be p(6). Suppose 2*j + r = -2*j. Is (j/(-12))/((-1)/(-4)) a composite number?
False
Let r(n) = 28*n - 3. Suppose 5*g - 11 = 2*t, 2*g = -2*g + 12. Is r(t) composite?
False
Suppose 0*o - 4*o = 0. Suppose -r + o*r + 19 = 0. Is r a composite number?
False
Let p(y) = y**2 + 4*y - 6. Let x be p(-6). Let n = -8 + x. Is (n - -3) + 21/1 prime?
False
Is 2*(-362)/8*-2 a composite number?
False
Suppose 0 = -0*v + 5*v - 25. Suppose v*c = -4*y + 399 + 408, -208 = -y + 5*c. Is y prime?
False
Let l(q) = 6*q**2 + 10*q + 8 - 9 - q**3 + 3*q**2 + 11. Let h(y) = y**3 - 9*y**2 - 9*y - 11. Let c(g) = 3*h(g) + 4*l(g). Is c(10) a composite number?
False
Let g(b) = 4*b - 19. Is g(8) composite?
False
Suppose -f = -3*d - 190, d + 683 = 3*f + 121. Is f a prime number?
False
Let g(u) be the second derivative of -9*u**4/8 - u**3/6 + u**2/2 - u. Let n(w) be the first derivative of g(w). Is n(-1) composite?
True
Suppose 0 = 3*u + 597 - 9252. Is u composite?
True
Let y = -4 - -8. Is (315/12)/5*y prime?
False
Suppose 3*s - 3*b = 0, 0 = 4*s - 5*s - 5*b - 6. Let g be 0/(0 - s) - -39. Is g + 0 + -2 + 1 a composite number?
True
Suppose 5*n = 3*n + 130. Let w = n + 41. Is w a composite number?
True
Suppose 3*d - 5 = -2*q + 2, 5*q = -5*d + 5. Suppose -10 = d*t, -4*b - 2*t - 276 + 20 = 0. Let u = 132 + b. Is u a composite number?
True
Suppose 4*m + 3*p = -m + 25, 3*p - 10 = -2*m. Suppose -2*k = -o - 47 + 170, -m*o + 5*k + 595 = 0. Is o a composite number?
True
Suppose 0 = -6*s + 2*s + 2140. Is s prime?
False
Let j = -219 - -80. Suppose 0 = 4*t + 40 - 0. Let o = t - j. Is o prime?
False
Suppose 4*m + 9*m - 9737 = 0. Is m a prime number?
False
Let x = 109 - 47. Is x/4 - 4/8 a prime number?
False
Let k be (-561)/(-21) - (-2)/7. Let p be 80/1*12/15. Let t = p - k. Is t a prime number?
True
Let t(u) = -u**2 + 7*u - 2. Let i(b) = 3*b**2 - 2*b - 1. Let p be i(2). Let k be t(p). Let n(z) = -130*z - 3. Is n(k) composite?
False
Let j(k) = 3*k**3 + 2*k**2 - 5*k - 2. Let m be j(-3). Is 6*(-1)/2 - m a prime number?
True
Let s = 565 - 400. Suppose s = 5*i - 230. Is i prime?
True
Suppose 0 = -4*n + 2*w - 14, -w = 2*n + n + 18. Let l be (-5)/(-25) - 14/n. Suppose 0 = -l*h + 93 + 12. Is h composite?
True
Suppose -3*w + 0*w = 0. Let q(r) = r**2 - r + 236. Let p be q(w). Suppose 3*i - p = -41. Is i prime?
False
Suppose 14*t = 154 + 112. Is t a composite number?
False
Let v = 29 + -25. Suppose 0 = v*n - 2*n - 30. Is n composite?
True
Suppose 3*i = -f + i + 456, 456 = f + i. Let g = f + -321. Let m = g + -82. Is m prime?
True
Suppose -174 = -9*n + 6*n. Is n prime?
False
Let w(l) = -4*l**2 - 3*l + 9. Let h = -1 + 7. Let q be w(h). Is q/(-6) + 2/4 a composite number?
True
Let j(v) = 47*v**3. Let g(p) = -2*p**2 + 3*p. Let l be g(3). Let y = -8 - l. Is j(y) a prime number?
True
Let q = -10 - -17. Suppose 4*g + v - q = -4*v, 2 = -2*v. Suppose -45 = g*h - 516. Is h a prime number?
True
Suppose -k - 3*q = 9, -k + 2*q + 0*q = -11. Suppose 2*m = -5*w + 58, -2*m = w - 5*m - 15. Suppose -k = -j + w. Is j composite?
True
Let g(k) = k**2 - 3*k - 2. Let t be g(4). Let z be (-1 - -3)/(1/t). Suppose -a - 4*o = -85, -z*a + 5*o - 2*o = -245. Is a prime?
False
Suppose -o + 2237 = 3*c, 4*o + 80 = -c + 822. Is c composite?
True
Let m(n) = n**3 + 15*n**2 - 10*n + 8. Suppose -36 = 3*g + 9. Is m(g) prime?
False
Let o(j) = 746*j + 3. Is o(1) composite?
True
Suppose 3*b - 773 = 4*c, 5*c - 2*c + 517 = 2*b. Is b a composite number?
False
Suppose o = 3*g - 9 - 4, 5*o - 2*g = 0. Is -127*(-1)/o*2 a composite number?
False
Suppose 3*l - 170 + 23 = 0. Is l a composite number?
True
Let a(p) = 7*p - 5. Let v(j) = j**2 + 8*j - 4. Let r(o) = -3*a(o) + 2*v(o). Is r(-10) a composite number?
False
Let d = 1 + -3. Is (d + -9)*(0 - 1) a composite number?
False
Suppose -i - 819 = -4*i. Suppose 4*m - 154 = -2*o, 0 = -4*o + 4*m + i + 35. Is o a prime number?
False
Let k be 3/(-3) - -26 - 2. Let v = k + -10. Is v a composite number?
False
Let p(v) = v**2 + 3*v + 85. Is p(0) composite?
True
Let c(b) = 2*b**3 - b**2 + 19*b + 7. Is c(9) a composite number?
True
Suppose -3*l + 11 = -4*l - 3*q, 2*l - 28 = 4*q. Suppose x = -a + 63, 4*a - 40 - 180 = l*x. Is a prime?
True
Suppose -2*l = 5*i - 167, 2*l + 3*l + 20 = 0. Is i a prime number?
False
Suppose 5*g - 762 = -g. Is g prime?
True
Suppose -4*d = -3*m - 38, 0*m - 34 = 3*m - 2*d. Let w be 84/30 - 2/m. Suppos