uppose s = 3*c - 986, 3*c + 5*s + 0*s = b. Let p = 487 - c. Is p a prime number?
True
Let u = 2 - 0. Suppose u*n = -37 - 91. Let z = n + 117. Is z composite?
False
Let s(t) = t - 7. Let h be s(13). Suppose 3*v - h = -0. Suppose -v*i - 3*j = -7*i + 614, 617 = 5*i - 4*j. Is i a composite number?
True
Let y = -185 + 476. Is y a prime number?
False
Let p(a) = 4*a**2 - 4*a**2 + 34*a + 4*a**2 + 11. Is p(-25) a prime number?
False
Let a = -3 + 7. Suppose -3*l = l + 13800. Is l/(-18) - a/6 a prime number?
True
Suppose -2*p = -66 + 8. Let o = -59 + 64. Suppose o*x - 41 - p = 0. Is x a prime number?
False
Suppose -10*m + 6*m = 17312. Let l = 7533 + m. Is l composite?
True
Suppose 13698 = 6*b - 3*b. Suppose -b = -7*t + 4*t. Suppose -m + t = m. Is m a prime number?
True
Let a be 21/21*(-1009 + 0). Let s = -422 - a. Is s prime?
True
Let z(h) = -69*h + 56. Let i(r) = 14*r - 11. Let m(l) = 11*i(l) + 2*z(l). Is m(3) a composite number?
True
Let h = -782 - -1103. Is h prime?
False
Let s(c) = 2*c**3 + 12*c**2 - 5*c - 11. Let p be s(10). Suppose -y - 2*m + 1483 - 426 = 0, 3*y - 2*m = p. Is y prime?
True
Let i(l) = l**3 - 2*l**2 - l - 16. Let g be i(0). Is 12/16 + (-12100)/g a composite number?
False
Suppose 0 = 3*g + 4*b + 5040, 4*g - b - 4*b + 6689 = 0. Let o = g + 4281. Is o a prime number?
False
Let y = -18 + 20. Suppose -3*f = h - 75, y*h - 142 = -4*f + 2*f. Is h composite?
True
Let l(g) = -g**3 + 10*g**2 - 14*g - 24. Is l(-7) a prime number?
True
Suppose -8*c + 3*c + 25 = 0. Let q(f) = -294*f**2 + 4*f - 5. Let h(g) = -147*g**2 + 2*g - 3. Let o(r) = c*h(r) - 3*q(r). Is o(-1) a composite number?
False
Let j(d) = 286*d**3 + 5*d**2 + 3*d - 3. Is j(3) prime?
False
Let o(w) be the first derivative of -69*w**2 + 61*w - 34. Is o(-6) composite?
True
Suppose 5*v = -0*v + 15875. Suppose -2*f = 3*f - v. Is f a composite number?
True
Let h be (-70)/(-22) + 18/(-99). Let t(y) = 33*y**2 - 4*y + 4. Let c be t(h). Suppose 0 = -2*a - 2*a + 4*d + 396, -3*a - d + c = 0. Is a composite?
False
Suppose -2 = -q + 1. Suppose -12 = -q*p + k, -4*p + 16 = 2*k + 2*k. Suppose 9*o - 1465 = p*o. Is o composite?
False
Let n be (-2)/(-3) - ((-77)/(-21) - -5). Let v(s) = -s**3 + 2*s**2 + 2*s + 1. Let i be v(3). Is n + 96 - 2/i composite?
False
Suppose 0 = -d + 3*d - 10. Suppose -d = x - 2*x, -x + 1561 = 4*m. Is m a composite number?
False
Let c be 5/(20/(-44)) + 4. Is ((-3)/(-2))/(c - -4)*-134 a prime number?
True
Let i(t) = -t**2 + t + 4. Let o be i(2). Let u be ((-9)/(-15))/(o/40). Is 33*4/(u/7) composite?
True
Let s = 132213 + -87598. Is s prime?
False
Suppose 95*k = 65*k + 491430. Is k prime?
True
Let q be 111/(-37) - -4*1. Let l(g) = 24*g + 7. Let m(k) = -49*k - 15. Let u(v) = 13*l(v) + 6*m(v). Is u(q) composite?
False
Is (5 + 169/(-26))*(-274616)/6 prime?
False
Let o(y) = 2*y - 13. Let h be 15*1/(15/9). Let x be o(h). Suppose -5*z - 2*k = -k - 891, -z + 183 = x*k. Is z a prime number?
False
Suppose -3*q + 5*q = -3*q. Is 2*(q + 1195/10) composite?
False
Let v(i) = 106*i**2 - 2*i + 9. Is v(-5) prime?
False
Suppose 3*h - 56*v = -51*v + 31582, -4*h = -5*v - 42111. Is h a composite number?
False
Let k(u) = 10 - 2*u + 0*u - 2*u + u. Is k(-8) prime?
False
Let n(o) = -8*o - 14. Let x be n(-10). Let w(t) = 2*t**2 + 6*t + 3. Let a be w(-5). Let z = a + x. Is z a prime number?
True
Let r(p) = -p**3 + 5*p**2 + 2. Let z be r(5). Is 5404/44 + z/11 composite?
True
Let m(c) = 2*c - 20. Let r be m(12). Suppose -r*u - 4*a = -372, 4*u - 2*a - 3*a - 336 = 0. Is u prime?
True
Let m(s) be the second derivative of -2*s + 0 + 7/2*s**2 + 1/10*s**5 - 2/3*s**3 + 1/3*s**4. Is m(5) a composite number?
False
Suppose 91 - 28 = -7*s. Let c = -89661 - -52976. Is 2/s - c/45 a composite number?
True
Suppose -2*m - 23296 = -3*z + 76176, -m - 132636 = -4*z. Let c be 2/(-13) + z/65. Suppose 0 = -2*u + 4*w + 246, -w - c = -4*u - 2*w. Is u prime?
True
Suppose -5*v = -12633 - 6332. Is v prime?
True
Suppose -2*x - 4037 = -y, -4*y + 15621 = 4*x - 503. Is y a composite number?
True
Suppose 0 = q + w - 4*w + 294, 4 = 4*w. Let x be 0*(-3)/(-6) + -413. Let d = q - x. Is d a composite number?
True
Let a = 204 + -140. Suppose 5*d = h - a, 4*d - 5*h + 56 = d. Is 46/6*(d - -15) composite?
False
Let a(f) = 16 - 13*f**2 + 2*f**3 + 5*f - f**3 + 5*f. Suppose 4*t + 17 = 69. Is a(t) a composite number?
True
Suppose -3*f - 2*t + 1 = 2*f, -5 = f + 3*t. Let n(p) = 408*p**3 + 2*p**2 - 1. Is n(f) a composite number?
False
Is (4 - 130/20)/(1/(-1594)) a composite number?
True
Let x be (4/(-8))/(3/(-5664)). Let a = -594 + x. Suppose -a = -b - 5*v + 213, -4*b - 5*v + 2222 = 0. Is b a composite number?
True
Let x(y) = 15*y**2 + 23*y - 9. Let n be x(-14). Suppose -2*l + 3*t + 2270 = -2948, -t = -l + n. Is l a prime number?
True
Suppose -20 = 4*g, 4*j = 2*j - 3*g + 2509. Is j a prime number?
False
Let h = 221 - 140. Let m be h/(-6)*12/9. Is (m/6)/((-1)/5) composite?
True
Let k(x) = 9*x - 5. Let h be k(11). Suppose 3*q - m - 217 = 0, -2*q + q - 4*m = -h. Is q prime?
False
Let z(q) = 23*q**2 - 3*q + 1. Let s(m) = 5*m - 6 - 2*m + m - m. Let w be s(3). Is z(w) prime?
True
Let x = 2566 - 1484. Is x prime?
False
Let f = 28 - 26. Suppose 2*k = 4*o - f*o - 412, 4*k = -12. Is o prime?
False
Suppose 0 = -6*x + 10*x + 20, -5*u + 5*x + 60180 = 0. Is u a prime number?
False
Suppose 89*w + 45055 = 94*w. Is w prime?
True
Suppose 4*m + 6621 = -2*i + 117191, 5*i - 276405 = -5*m. Is i prime?
False
Let f = -2371 - -5778. Is f a composite number?
False
Let u = -37117 - -53084. Is u a composite number?
True
Suppose -6*t = -7*t + 4. Suppose k = 3*q - 4*q + 21, -k = -t*q + 84. Let y = q + -14. Is y a composite number?
False
Suppose 0 = -3*d + 25527 - 5493. Suppose 9*v - d = -9*v. Is v prime?
False
Suppose -3*d - 15 = -3*a, 0 = 8*d - 4*d - a + 5. Suppose d = r + 3*r - 644. Is r composite?
True
Let l = 35756 - 22663. Is l a prime number?
True
Let l be 3 + 1 - (-2376)/(16/4). Suppose -726 = -4*t + 5*v + l, 0 = -2*v. Is t a prime number?
True
Let z = 38360 - 11871. Is z a composite number?
False
Let c be 46/(-8) - 9/(-12). Let u be c*72*(-6)/10. Suppose -4*w = 4*q - 0*w - u, -4*w = -5*q + 315. Is q composite?
False
Suppose -5*b = 15, 4 = 2*s - 2*b - 10. Is 4 + s/(4/21) a composite number?
True
Suppose 2*i - 263 - 2885 = 0. Is i composite?
True
Suppose -4*q = -0*q - 32. Let m = -3 + q. Suppose m*d - 437 = -4*r, 6*r - 5*d = 2*r + 467. Is r a prime number?
True
Let p(a) be the first derivative of 3*a**3/2 + 5*a**2/2 + 9*a - 9. Let d(n) be the first derivative of p(n). Is d(6) prime?
True
Suppose o + 5*n + 69 = -196, o + 241 = n. Suppose 4*u = 2269 - 237. Let d = u + o. Is d composite?
False
Let s be (-8 - -7)/(0 + 1/(-2094)). Suppose s = 2*o - 68. Is o composite?
True
Let a(j) = 629*j**2. Let x be a(1). Let s be -4 + 2976/72*21/(-2). Let d = s + x. Is d prime?
True
Let r = 3 + 1. Suppose 0 = l - 0*l - r. Is -286*(-2)/l + -2 a prime number?
False
Let m(w) = 102*w**2 - 5*w - 3. Suppose -4*y - 2*t + t = 12, -y = 5*t + 22. Is m(y) composite?
True
Suppose -4*q + 5124 = -0*v + 2*v, -q = -v + 2571. Suppose -2*u + v = 5*l, 0 = l + 2*u - 201 - 311. Is l a composite number?
True
Let j be (-2 - -7)*(6 - -1). Let k = j - 28. Let y(t) = 44*t + 13. Is y(k) composite?
True
Suppose -n - 2*n = -4143. Is n a prime number?
True
Suppose -3*g = -120 - 42. Suppose -o = -g - 341. Is o a composite number?
True
Let b(r) = -r**3 + 20*r**2 + 22*r - 70. Is b(13) composite?
False
Suppose 5 = c + 2. Let l(w) = c - 6*w + 2*w**2 - w**2 + w**2. Is l(-6) a composite number?
True
Suppose 5*m + 8 = -5*a - 7, -5*m + 2*a = -13. Is (1 - -540)/(0 + m) a composite number?
False
Suppose 2*g = 3*g + 5*s + 41, 0 = -3*g + 3*s - 69. Let c = g + 54. Suppose z + 0*z - 5*y = c, 0 = -3*z - 3*y + 174. Is z a prime number?
True
Suppose 5025 = 4*t - 1347. Let h = t - 740. Is h a prime number?
True
Let d(k) = -463*k + 6. Let v = 14 - 15. Is d(v) a prime number?
False
Let g(l) = 5*l**2 - 11*l + 8. Let k(o) = -o**2 + 11*o + 15. Let b be ((-6)/9)/((-2)/39). Let u be k(b). Is g(u) a composite number?
True
Suppose 282*u - 287*u = -898885. Is u composite?
True
Suppose 3*b + 5*u - 26911 = 67842, 126372 = 4*b - 2*u. Is b a prime number?
False
Let o = 558 - 313. Is (140/o)/((4/(-1043))/(-2)) composite?
True
Suppose -248 = x + 3*x. Let b = 