-2). Suppose d*p + 1128 = 3*q, 170 = 2*q + 5*p - 561. Is q prime?
True
Suppose -7 = 5*b - 22. Let a be 2 + 3 - 2 - b. Suppose a = -5*i + 20, -i + 45 = 4*z - 35. Is z a prime number?
True
Suppose 6*z - 3522 = 11808. Let p = 4264 - z. Is p composite?
False
Let s(q) = 8*q. Let h be s(3). Suppose -41 = -3*u - 3*r + 31, -u + 3*r + h = 0. Let i = u + 163. Is i prime?
False
Suppose 310 = 2*n + 4*k, 4*n + 33*k - 29*k = 636. Is n a prime number?
True
Suppose -4*h + 1319 = 5*u, -34*u - h - 1339 = -39*u. Is u prime?
False
Let r(w) = 5*w**2 + 15*w - 1. Suppose 2*o - 5*z = 7 + 18, -3*z = -3*o + 24. Suppose 2*j = 4*f + 6*j - 56, 0 = -2*f - o*j + 40. Is r(f) a composite number?
True
Let s(o) = -6*o**3 - 12*o**2 + 46*o + 81. Is s(-13) composite?
True
Let p(u) = -1. Let s(q) = q**2 + q - 1. Let r be s(-1). Let v(j) = 23*j + 10. Let l(k) = r*v(k) + 5*p(k). Is l(-14) prime?
True
Suppose 27 = -k + 4*h, -k = -4*k - 4*h - 33. Let b be (-125 - 2)/(5/k). Suppose -7*j + 10*j - b = 0. Is j a composite number?
False
Suppose 4*p - 8*p + 2*n + 8414 = 0, 2*n - 6 = 0. Is p composite?
True
Let d(r) = r**3 - r**2 - 2. Let n be d(0). Let x be n/(-7) + 4/(-14). Suppose -2*l + 238 = -5*m, -4*l + 6*l - 3*m - 230 = x. Is l prime?
True
Suppose 2*f = p + 9370, 5*f + p - 23425 = 4*p. Is f prime?
False
Suppose r + 2 + 0 = 0. Let m(v) = 365*v**2 - 4*v + 1. Is m(r) a prime number?
False
Let i be 1 + 0 + -6*1. Let g(q) = -4*q**3 + 2*q**2 + 17*q + 2. Is g(i) prime?
True
Let r be (-2 + -2)*15/6. Let i(d) = 1 - 44*d + 8*d - 4*d - 4. Is i(r) prime?
True
Let u(v) = -76*v - 23. Let p be -1 + (4 - (2 - -1)) + -15. Is u(p) composite?
False
Let t(f) = 264*f + 28. Let p be t(5). Let k = 1919 - p. Is k prime?
True
Suppose c - 190 - 3587 = 0. Is c composite?
True
Suppose 0 = 3*b + 1 - 13. Suppose -8*q + 5756 = -b*q. Is q prime?
True
Suppose 18 = 3*j - 7*j + 5*q, -q = j. Is (-2653)/(-7) + (-6)/j a composite number?
True
Let t(k) = k**2 + 11*k + 13. Let p be t(-10). Suppose p*s - s = 22040. Is s/133 + (-2)/(-14) a prime number?
True
Suppose -10730 = -31*r + 9947. Is r a composite number?
True
Suppose 76 = 5*x - 24. Suppose -x*t = -22*t + 6866. Is t a composite number?
False
Let d(c) = 8*c - 53. Let s be d(7). Suppose -y + l = -3082, 5*y = -s*l + 6021 + 9365. Is y a composite number?
False
Suppose 1355 = 5*n + 415. Suppose -3*o + 5*x + n = -706, 2*o + 2*x - 580 = 0. Is o prime?
True
Is (26952/(-36))/(10/(-15)) a prime number?
True
Let n be 1944/4 - (0 + -3). Let s = n - -398. Is s prime?
True
Let q = 6 - 15. Let c = -10 - -14. Is 296 - c*q/(-12) a prime number?
True
Suppose -2*f - 3*b + 7511 + 2040 = 0, 2*b + 9576 = 2*f. Is f a prime number?
True
Suppose 0*r = 4*k + 2*r - 8208, -k - 5*r = -2061. Is k a prime number?
False
Let u = 0 - -2. Suppose 12 = 4*c - u*c. Suppose n - 25 + c = 0. Is n prime?
True
Let r(f) = -5*f**2 - f - f**2 + 3*f + f**3 - 8. Let i be r(6). Let a = 63 + i. Is a a composite number?
False
Suppose n + 1590 = v, -6360 = -4*v - 0*v - n. Suppose 0*p + v = 6*p. Is p a composite number?
True
Let u(l) = 14*l**2 - 27*l + 11. Is u(16) a prime number?
True
Let d = 926 - -665. Is d composite?
True
Let l(w) = 40*w**2 - 2*w - 5. Let n be l(3). Let q = 550 + n. Is q a prime number?
False
Suppose 469 = -3*v + 2*y, -3*v + 4*y - 326 = 147. Let u = 299 - v. Is u prime?
False
Let r = -399 - -445. Is r a prime number?
False
Suppose 5*i = -4*p + 25, 3*i + 4*p - 24 = -i. Let w = 4 + i. Suppose 2*x = g - 117, w*g + 2*x = 3*x + 630. Is g composite?
False
Let t(c) = 2584*c**2 - 18*c + 1. Is t(2) composite?
False
Let z(m) = 10*m**3 + m**2 - m - 1. Let y be z(-1). Let q = y - -92. Is q a composite number?
False
Suppose -8*u + 322 = -222. Let l = u - 32. Is (-1)/3 - (-8040)/l composite?
False
Let w = 9 + -7. Is w*(39/(-13))/((-4)/194) a prime number?
False
Let h(u) = -2*u - 16. Let l be h(-16). Suppose 11*n + 2225 = l*n. Is n composite?
True
Let r(b) be the first derivative of -b**3 - 11*b**2/2 + 2*b + 7. Let y be r(11). Let a = y - -719. Is a composite?
True
Suppose 0*l - l = 0. Suppose -8*t + 3*t + 7700 = l. Suppose -2*s + 5*i = -585, -2*s - t = -7*s - 3*i. Is s prime?
False
Is 2079 + (-1)/1 + (-1 - 0) prime?
False
Let o = -309 - -552. Let z = o + -146. Is z composite?
False
Let n(c) = c - 4. Let m be n(4). Suppose 2387 = 5*s + 2*g, -4*s + g - 3*g + 1908 = m. Is s a prime number?
True
Let j = 3 - 8. Let w(s) = -6*s - 2 + 3 + 7*s + 2*s**2. Is w(j) prime?
False
Suppose 2*k + p - 586 = 2*p, 4*k - 3*p - 1172 = 0. Suppose -k - 1031 = -4*c. Is c a composite number?
False
Let l(q) be the first derivative of 1/3*q**3 + 91*q - 1/2*q**2 + 4. Is l(0) a prime number?
False
Let y = 734 + -304. Suppose 3*p = 2*p + y. Suppose 169 = n + n - 3*b, 5*b = 5*n - p. Is n prime?
True
Let x(g) = 356*g + 91. Is x(8) a composite number?
False
Let w(g) = 519*g**3 - g**2 + g + 1. Let l be w(-1). Let c = l + 2737. Is c a prime number?
False
Let x(j) = 20*j**2 - 16*j - 89. Is x(29) prime?
True
Suppose -3*l = 9, -3*l = -2*r + 54 + 117. Suppose -4*o + 86 - 206 = 3*u, 4*u = 3*o - 185. Let f = r + u. Is f a prime number?
True
Let y be 12*(-2 - (-10)/4). Let k(o) = 1688*o - 2. Let i be k(-2). Is i/(-24)*(-2 + y) composite?
False
Is (-126980)/(-60) + 2/3 composite?
True
Let t(c) = -5*c**3 - 2*c**2 - 2*c - 10. Is t(-3) composite?
False
Is (-26)/(12/(-66) - 0) a prime number?
False
Let f(y) = 4*y**3 - 3*y**2 - 13*y + 17. Is f(8) prime?
False
Let i(c) = 65*c**2 + 26*c + 126. Is i(-5) a prime number?
True
Let l(m) be the second derivative of m**4/2 - 7*m**3/6 + 17*m**2/2 + 22*m. Is l(6) prime?
True
Let j(k) = 322*k + 137. Is j(26) prime?
False
Is 17170/7 - 33/(-231) a composite number?
True
Let o(g) = -4*g + 1. Let v be (-1 - -6)/1 - 3. Suppose 2 - 8 = v*c. Is o(c) prime?
True
Let f(z) = -1559*z - 1. Let b be f(4). Let o(a) = 7*a - 40. Let p be o(6). Is b/(-49) + p/(-7) a composite number?
False
Suppose -3*n + n = -2*k + 4, 2*n - k = -3. Is 19056/27 + (n - 11/(-9)) composite?
True
Is 0 - (4 + -9 - 6588) prime?
False
Suppose -21*u + 6023 = -2*u. Is u prime?
True
Is 2/16*5354 + (-18)/72 composite?
True
Suppose -3 + 15 = 6*i. Let f be 810 - 3*2/6. Suppose -4*t + 592 = -4*h, 5*t + i*h + 62 - f = 0. Is t prime?
True
Suppose 15*r + 37174 = 181999. Is r composite?
True
Let v = -830 - -1726. Suppose -p + 221 = -v. Is p a composite number?
False
Let n = 1257 + 1034. Is n a prime number?
False
Suppose 0 = 4*d - 14 - 10. Let q(u) = 6*u**3 + 5*u**2 - 2*u - 3. Let j be q(d). Let a = -1042 + j. Is a a prime number?
True
Let a(b) = 156*b**2 - 8*b - 9. Let x(m) = 5*m - 22. Let v be x(4). Is a(v) a composite number?
False
Let b be (-2)/15 - (-799)/255. Suppose b*r - 6055 = -4*r. Is r composite?
True
Let u be -6*(-2)/72 + (-5801)/(-6). Suppose 0 = -12*h + 13*h - u. Is h composite?
False
Is -11 - (-2398 + (-80)/10) prime?
False
Is 16671/(4/(12/9)) a composite number?
False
Let g(v) = -587*v + 308. Is g(-25) composite?
False
Is -1 - 2 - (0 + -2846) prime?
True
Suppose 0 = -5*j - q + 17, -5*j + q + 0*q + 23 = 0. Suppose 5*l + 3*n - 3260 = 0, -5*n - 2591 = -j*l - 4*n. Is l a prime number?
False
Let r be (1 + 1)*(-36)/(-8). Let z = r + -8. Is z*373 - 0/(-12) composite?
False
Suppose 0 = 3*t - o - 16, -8 = -5*t + 4*o + 28. Suppose -t*d + 1048 - 52 = 0. Suppose 4*z + b - 1003 = 2, z - 2*b - d = 0. Is z composite?
False
Let x(n) = 3*n - 3. Let u be x(2). Suppose u*g = -3*z + 4*z + 356, 0 = -2*g + z + 237. Is g composite?
True
Let g = 56 + -44. Is 3351*(4/g - 0) a prime number?
True
Suppose -19*q + 20*q = 3*b + 47407, -5*q + 237035 = -b. Is q prime?
True
Suppose 13*q - 32103 = -14*q. Is q a composite number?
True
Let k be ((-2)/(-4))/(1/20). Suppose -12*p + 10*p = -k. Suppose -2*d + 1693 = 3*t + 2*t, 2*d + 1677 = p*t. Is t a composite number?
False
Let u(f) = 4*f**2 - 22*f - 13. Let l(x) = 3*x**2 - 21*x - 13. Let s(i) = 5*l(i) - 4*u(i). Is s(-9) a composite number?
False
Let s(p) = -p**3 + 13*p**2 - 11*p - 9. Let n be s(12). Let l be 3/2*(n - 1). Suppose -57 = -6*i + l*i. Is i composite?
False
Suppose -3*d + 14 = 2, 0 = l - 2*d + 133. Let v = -38 - l. Is v prime?
False
Let j(c) = -c**3 + 49*c**2 - 24*c - 149. Is j(37) composite?
False
Is (-5)/(40/31156)*(-7 + 5) a composite number?
False
Let l(j) = 794*j + 14. Let b be l(-10). Is b/(-18) - 8/6 a prime number?
True
Let