3 + 3. Suppose -u = -w*u - 161. Is u composite?
True
Let x be 2 + -2 + -1*254. Let b be (-4)/14 - x/7. Suppose 39 + b = 5*p. Is p prime?
False
Suppose 104401 = 16*j + 8289. Is j composite?
False
Let t(z) be the first derivative of 35*z**2/2 + 9*z + 4. Is t(4) a composite number?
False
Let x = -125 + 574. Is x composite?
False
Suppose 0*n + 2095 = 5*n. Is n composite?
False
Let y = -27 + 172. Is (-3)/3 + y + 1 a composite number?
True
Let k(h) = 7*h**2 + 16*h - 6. Is k(7) a prime number?
True
Let n = 6 + -3. Suppose 4*d + 173 = n*d + f, 3*d + f + 539 = 0. Let p = d - -265. Is p a composite number?
True
Let b = -4 - -14. Let f = 374 + -220. Is f/b - (-6)/(-15) composite?
True
Let m(q) = -534*q + 1. Let i be m(1). Let x = i + 796. Is x composite?
False
Let b be 4 - 1 - (231 + 4). Suppose -3*x = 4*l - 1530, 2*x + 284 = 2*l - 474. Let a = l + b. Is a prime?
True
Suppose -4*j + 1021 = -151. Is j prime?
True
Let t(u) = -89*u - 2. Is t(-3) a composite number?
True
Let s be (-4695)/(-6)*(-8)/(-10). Let q = s + 198. Suppose -i + 79 = u - 120, -3*i - q = -4*u. Is u a prime number?
False
Let c(b) = b**3 + 6*b**2 + b + 4 - b + 2*b. Suppose -23 = 4*x - 3*y, x - 4*y = -2*x - 19. Is c(x) a prime number?
True
Let d be -1 + (1 - -2) + 0. Is (-9)/(1*(d + -3)) a prime number?
False
Suppose 5*z = -9 + 4. Is z - (3 - 4)*104 a composite number?
False
Let a(t) = t**2 + 5*t + 7. Let p be a(-5). Let x = -5 + p. Suppose 6 = x*m - m. Is m a prime number?
False
Let x = -13 - 1. Is 2/7 - 2866/x a prime number?
False
Suppose -2*k = 2*k - 12. Let t(f) = -f**2 + f + 4. Let m be t(k). Is 20/m*(-14)/4 prime?
False
Suppose 3*o = -3*b + 6, -2*b - 5*o - 7 = -2. Suppose -3*n + 4 = n - 2*k, -5*n + b*k = -10. Suppose n*r + r = 257. Is r prime?
True
Let r(w) = 2*w**2 + 6*w - 1. Is r(-6) prime?
False
Is (-6065)/(-3) + 2/(-3) a prime number?
False
Suppose -1717 = -9*v + 8*v. Is v a composite number?
True
Let w = 40 + -18. Suppose j - w = 3*x, 0*j - j - 2*x + 47 = 0. Is j composite?
False
Let o(n) = -5*n**3 - 2*n**2 - n. Let u be o(-1). Suppose 0 = -w + 3*w + 4*d - 14, 38 = 2*w - u*d. Is w a prime number?
True
Let t be 5/(-25) - (-3361)/5. Suppose 0 = 2*p - 40 - t. Suppose -3*l + p = l. Is l prime?
True
Let d = 15 + -10. Let w(y) = -y**2 - y + 2*y + 7*y - d. Is w(4) prime?
True
Suppose 2*k + k + 5*l = -33, -4*k + 5*l = 9. Let b = k + -4. Is (-1365)/b*4/6 composite?
True
Suppose x - 167 = -0*x. Suppose 3*t - 2*d - 126 = d, -4*t + 5*d + x = 0. Suppose 3 = 2*g + 5*m - t, g - 3*m = 1. Is g a composite number?
False
Suppose -32 = 5*g - 482. Let h be (2/4)/(3/g). Let v = 6 + h. Is v a composite number?
True
Suppose 12 = 4*b, -3*h - 393 = -4*b - 1614. Is h composite?
True
Let r = -7 - -14. Let x = r - -2. Is -3*-3*34/x prime?
False
Is 3/(-9)*(-2235)/5 a composite number?
False
Let h = -3 - -6. Suppose 0 = -2*k + y + 125, h*k - 94 - 111 = 5*y. Suppose -3*n = -4*r + r - k, -n = -2*r - 25. Is n prime?
False
Suppose 0 = 7*i - 3*i + 120. Let m = i - -65. Is m a composite number?
True
Let w(v) = -3*v**2 - 5*v - 3. Let f = 8 - 4. Let i(c) = -7*c**2 - 11*c - 5. Let z(n) = f*i(n) - 9*w(n). Is z(0) a prime number?
True
Let h = 19 - -3. Suppose l - 8 = 5*f, 2*l - 50 - h = -4*f. Let o = -15 + l. Is o a prime number?
True
Let v = -117 + 196. Is v prime?
True
Is 4/(4/(-3)) + 1587/3 prime?
False
Let d(h) = 4*h**3 - 3*h**2 - 3*h + 7. Let k(w) = -3*w**3 + 4*w**2 + 4*w - 6. Let r(c) = 4*d(c) + 5*k(c). Is r(-6) prime?
False
Let x(y) = 4 + 303*y**2 + 307*y**2 - 3. Is x(1) a composite number?
True
Suppose 4*i + a - 14 = i, 2*a = -2*i + 16. Suppose -5*r = -r - 5*h + 1147, i*r + 2*h + 843 = 0. Let j = -198 - r. Is j a composite number?
True
Let j(k) = -k**3 - 2*k**2. Let s be j(-2). Suppose s = 3*w - 6, -4*q + 884 = -2*q - w. Is q prime?
True
Let x(n) = -n + 9. Let c be x(9). Let u = 3 - c. Suppose -f - u*f + 132 = 0. Is f prime?
False
Suppose 4*d + 8 = -3*b, 3*b = -d + 5 + 2. Let i = b - 1. Suppose i*o = -3*r + 246, -88 = 2*r - 3*r - 3*o. Is r a prime number?
True
Is 3 - (-1)/((-4)/(-15928)) a prime number?
False
Let i(a) = a - 2. Let s be i(2). Suppose 3*n - 381 = -s*n. Is n prime?
True
Let f = 6 - 8. Let g = f - 3. Let j(m) = -m**3 - 2*m**2 + 5*m + 3. Is j(g) a composite number?
False
Suppose 4*b = 5*q - 25, -25 = 5*b + 2*q - 7*q. Suppose 3*r - 95 = -2*a - b*r, -a - 3*r = -52. Is a a prime number?
True
Suppose 5*c = 82 + 273. Is c composite?
False
Let g = 1 - -17. Is (-3)/g*-3*14 a composite number?
False
Suppose -5*m = 4*d + 6, 0*m + 2*d = 2*m - 12. Let c be (m/(-4))/(1/(-58)). Suppose 0 = 3*a - 13 - c. Is a prime?
False
Let a(u) = -2*u + 3. Let n be a(-8). Suppose -10 = -5*z + 3*k + 7, -3*z + 4*k + n = 0. Is 1/z*(-2 + 21) composite?
False
Let p = -291 + 176. Let g = 194 + p. Is g a prime number?
True
Let u be (-1 - -2)*3 + -1. Let x = u - -1. Suppose l - 209 + 43 = -5*h, -15 = x*h. Is l composite?
False
Let s(r) = 6*r**2 - 5*r + 23. Is s(10) composite?
True
Let w(i) = -11*i**3 - i**2 + 3*i + 6. Let l(r) = -32*r**3 - 2*r**2 + 9*r + 17. Let d(y) = 3*l(y) - 8*w(y). Is d(-2) a prime number?
False
Let q be (3 + -1)/(-6 - -7). Suppose 0 = -0*u + u - 12. Suppose -3*w + q*w + 5 = 0, -g + u = w. Is g composite?
False
Let n = 6 - 3. Is 1/n*3 + 50 a composite number?
True
Let a = 14 + -10. Suppose 0 = a*k - 2*o - 154, o - 89 = -2*k + 6*o. Is k composite?
False
Let p be (-1)/(-1) + 400/4. Suppose 637 = 3*z - p. Is z/10 - (-10)/25 prime?
False
Let g = -6 + 8. Let l = -10 - -16. Suppose -5*x + l*d + 55 = d, -3*d = -g*x + 18. Is x a prime number?
False
Let g = 11 + 5. Let k(i) = 0 + 5 - 6*i + g*i + 2*i. Is k(4) composite?
False
Let q = -386 + 693. Is q prime?
True
Let m(k) = -k + 12. Suppose -5*n + 2*h - 45 = 0, 2*n + 3*h + 27 = -n. Is m(n) a prime number?
False
Let q(n) = 2*n**2 + 6*n + 3. Suppose 5*j - 2*v = -29, -3*j - 15 = -4*v + 2*v. Is q(j) a prime number?
True
Let y(l) = 9*l - 3. Let b be y(5). Suppose 0 = u + h + 3*h - 17, -40 = -5*u - 5*h. Suppose -33 - b = -u*n. Is n prime?
False
Suppose 5*w = 810 + 820. Suppose 4*b = 2*b + w. Is b prime?
True
Let l(a) = a**3 - 6*a**2 + a. Let k be l(6). Let j(x) = 55*x + 4. Let m be j(k). Let n = m + -237. Is n a prime number?
True
Suppose 0 = 4*n - 8, n = -2*z + 2*n - 84. Let r be ((-6)/4)/(3/36). Let o = r - z. Is o a prime number?
True
Let t(v) be the first derivative of 9*v**2 + 5*v + 2. Is t(5) a composite number?
True
Let c be 4/10 - (-14)/(-10). Let y be -2 - (c - 0)/(-1). Is (2 - (-5)/y)*57 composite?
False
Let q(t) be the second derivative of t**4/12 - 33*t**2/2 + 3*t. Let o be q(0). Is 6/o - (-468)/33 a composite number?
True
Let m(y) = y + 4. Let s be m(-4). Suppose -24 = -q + 154. Suppose s = t + t - q. Is t prime?
True
Let p(n) = n - 3. Let v be p(2). Is v/(-3) + (-2976)/(-9) a composite number?
False
Let i(c) = c**3 - 14*c**2 + c - 7. Is i(14) a prime number?
True
Suppose 3 - 6 = -r + k, 0 = 2*r - k - 3. Suppose d - 40 = -5*v - 4*d, r = 2*v + 5*d - 28. Suppose -v*y = -6*y + 370. Is y a prime number?
False
Let b = 81 - 12. Is b a composite number?
True
Suppose -n = n - 20. Let m(d) = -d - 1. Let z be m(8). Let w = n - z. Is w a composite number?
False
Suppose -5*o - 2*d = 3*d - 195, 5*o + 2*d - 180 = 0. Is o prime?
False
Is (1 - 0)/((30/186)/5) prime?
True
Suppose i - 26 = -4*b, 0*b - 2*i + 10 = 2*b. Let o = b + -5. Let y = 0 + o. Is y prime?
True
Let k(c) = 8*c - 13. Suppose 6 = -v + 16. Is k(v) a prime number?
True
Suppose 4*b = -5*r + 10, -2*r - 2*b + 0 + 4 = 0. Let a = r + -1. Let n(h) = 25*h**2 + 1. Is n(a) a composite number?
True
Suppose 4*b = 3*j - 49, -2*b - 52 = -3*j - j. Let o = j + 26. Is o a composite number?
False
Let b(y) = 48*y - 5. Let j(v) = -143*v + 14. Let d(f) = 17*b(f) + 6*j(f). Let u be d(-2). Let q = 306 - u. Is q a composite number?
False
Suppose -407 = -2*a - 9. Is a a prime number?
True
Let l = -565 + 860. Is l a composite number?
True
Let a(c) = 12*c + 5. Let l be 5/(-25) - 42/(-10). Is a(l) prime?
True
Let q = -19 - -98. Let a = -44 + q. Is a composite?
True
Let b(r) be the third derivative of -1/12*r**4 - r**2 + 0*r + 0 - 1/12*r**6 - 1/12*r**5 + 2/3*r**3. Is b(-3) composite?
True
Let h(a) = 7*a**3 - a. Let w be h(2). Suppose -56 = -2*m + w. Is m a composite number?
True
Let s = -547 - -878. Is s prime?
True
Let r(u) = 10*u - 1. Let t(m