?
True
Let b be (5 - 0)*(-12)/30. Let n = -7 + -14. Is (-4508)/n + b/3 composite?
True
Suppose -4*o = 2*g - 5*o + 9, -13 = 4*g + 3*o. Is (-19814)/(-6) + g - 2/(-3) composite?
False
Let b(s) = -4*s - 22. Let k be b(-9). Suppose 46905 = k*u + 19787. Is u prime?
False
Suppose -12790 = -10*w + 442440. Is w prime?
True
Suppose 0 = g - 5*g - 24. Let r be (-2)/g + (-238)/(-42). Suppose -295 = -r*v + v. Is v composite?
False
Let x = 1128 + 1852. Suppose c + x = 5*c. Is c a composite number?
True
Suppose -33*k + 19*k = -4634. Is k a prime number?
True
Let c(s) = s + 12. Let o be c(-12). Suppose -5*m = -5*j - 13040, 3*m - 7832 = -o*m - 5*j. Is m composite?
False
Suppose -12*c + 4134 = -46038. Is c a composite number?
True
Suppose -84*j = -103*j + 2673433. Is j a prime number?
False
Let w(f) = 14*f**2 + 48*f + 325. Is w(-36) a prime number?
True
Let i = 3 + 3. Let q = -1232 - -1237. Suppose q*p - i*p + 35 = 0. Is p a prime number?
False
Let y be 0 - 1 - 0/3. Let s(v) = -79*v**3 + v**2 + v. Is s(y) composite?
False
Let h = 187 - -61. Suppose -3*i + i = 3*j - 252, 2*i = -4*j + h. Suppose -1 + 3 = -z, -5*z + i = 2*y. Is y a prime number?
True
Let f(d) = 386*d**3 + 2*d**2 - 5*d - 7. Is f(3) a prime number?
False
Let n(t) = 504*t + 3. Let x be n(1). Let i = -322 + x. Is i composite?
True
Let t = 1918 - 680. Is t prime?
False
Let g(i) = -119*i**3 + 11*i**2 + 34*i - 17. Is g(-5) a prime number?
False
Let l = 288 + -177. Suppose 115*v - 7108 = l*v. Is v composite?
False
Let l be 6 - ((-2)/(-1) - -1). Suppose l*o = 11 + 16. Suppose -o*h + 1564 = -5*h. Is h composite?
True
Suppose -y - 52*s + 27056 = -49*s, 3*s + 135298 = 5*y. Is y a prime number?
True
Suppose 0 = -2*l - 3*z + 22767, -3*l - 11401 = -4*l + 2*z. Is l prime?
False
Suppose 5 = -2*c + 11. Let b be c/9 - 51/(-9). Is (-383)/(-3) - 4/b composite?
False
Suppose -39845 = -6*l + 38533. Is l a prime number?
True
Let r(k) be the second derivative of 5*k**4/6 + 8*k**3/3 - 7*k**2/2 + 17*k. Is r(6) composite?
False
Let q(f) = -1348*f + 163. Is q(-9) composite?
True
Let b = -309 - -479. Suppose -37*x = -32*x - b. Is x prime?
False
Let i = 100 + -96. Is (-6)/((-12)/i) - 4847/(-1) prime?
False
Let j(r) = -1050*r + 13. Is j(-3) a composite number?
False
Let k(l) = 20*l**2 - l + 9. Let p be k(-7). Suppose -4*j = 3*c - j + p, 0 = -2*j - 10. Let t = c - -898. Is t prime?
True
Let c be 5079 - -9*(-2)/12*-2. Suppose 3*q + 1353 = c. Is q a composite number?
True
Let p = -1011 - -1684. Let q = 1286 - p. Is q composite?
False
Let x(n) = 8*n**2 + 21*n - 70. Is x(17) composite?
True
Let b(r) = 72*r**2 - 47*r - 63. Is b(-16) composite?
False
Is 90806*(5 + 99/(-22)) a prime number?
True
Let d = -4 - -8. Suppose -26 = 5*c + d*b, -2*b + 1 = -3*c + 3. Is 157 - (-6)/(-3) - c composite?
False
Let b = 197 + 182. Is b composite?
False
Suppose 5*n + 2*h = -53, -n - 5*h - 1 - 5 = 0. Is (-19952)/n - 2/(-11) prime?
False
Suppose 502 = 2*s - 2*g, 3*g - 2*g = -5*s + 1255. Is s composite?
False
Let i = -2180 - -8609. Is i a prime number?
False
Suppose -k - 2*k + 14929 = 2*n, -19896 = -4*k + 2*n. Suppose -5*w + 1710 = -k. Is w a prime number?
False
Let y = 16 - 4. Is (1256/y)/((-8)/(-12)) a composite number?
False
Suppose -5*r = -5*t - 980, 5*r = -3*t - 0*t + 956. Let w(j) = 14*j**3 + j**2 - 2*j - 1. Let n be w(3). Let c = n - r. Is c composite?
True
Suppose 0 = 14*l + 882 - 3360. Is l a composite number?
True
Let p = -1500 - -814. Let y = p + 1555. Suppose m - 584 = -2*s, -3*s + y = m + 4*m. Is s a composite number?
False
Let n be ((-224)/(-4))/4 + 2. Let a = n + 3975. Is a composite?
True
Let b be (-12)/8*8/(-6). Suppose 0 = 3*l - b - 4. Suppose 42 = l*t + 4*t. Is t prime?
True
Let l(o) = -28*o - 105. Is l(-13) prime?
False
Suppose 3*k = 2*k - 3*s + 2758, 2*k - 5543 = 3*s. Is k a composite number?
False
Suppose 0 = -2*z - 16 + 86. Let i = 15 - z. Is 2616/20 + (-4)/i a prime number?
True
Let q be 4/(-14) + 70710/35. Suppose -q = 3*m - 5*n, 5*m - 3*m + 1347 = 3*n. Let s = m + 1010. Is s prime?
False
Let s be 19/(-2) + 5/10. Let n(t) = -t**3 - 8*t**2 + 8*t - 5. Let r be n(s). Suppose 4 = 4*h, 5*h = -4*g + r*h + 445. Is g prime?
False
Suppose j - 26 = 5*b, -3*j + 5 = -3*b - 13. Let g be 3704/3 - j/(-3). Suppose 0 = -4*n + g + 113. Is n composite?
False
Suppose 0 = 3*a + 7 + 11. Let g be ((-742)/a)/((-9)/(-108)). Suppose -g = 7*n - 11*n. Is n a composite number?
True
Let o(z) = -485*z**3 - 3*z**2 - 15*z - 86. Is o(-5) composite?
False
Let h = -1184 - -2177. Is h prime?
False
Suppose m - h + 2399 = 0, -h = 4*m + h + 9620. Let c = m - -3470. Is c a composite number?
True
Suppose w - 12 = -2*x + 2*w, 2*w + 28 = 5*x. Let l(a) = -a**2 + 5*a - 2. Let i be l(3). Suppose -f + v + 18 = 2*v, i*f - x*v = 112. Is f a prime number?
True
Let f(k) = -3*k**2 + k - 4. Let h be f(-6). Let b = h + 185. Is b prime?
True
Let l be 86 + (3/(-3) - 3). Let d(i) = -l + 78 - 8*i**2 - 3*i - i**3 + 19*i**2. Is d(9) composite?
False
Is 2*((-1101)/(-2) - -1) a prime number?
True
Suppose 2*n + 8*g - 7*g - 8039 = 0, 4*n = -g + 16083. Is n prime?
False
Let q(s) = -67*s**3 + 5*s**2 + 3*s + 25. Let l be q(-4). Suppose l = 5*b - 4*p, -b + 2*p = -2*p - 873. Is b prime?
True
Suppose 26*j - 32*j = -2454. Is j a composite number?
False
Is (-2)/4 + (3754938/4)/11 a composite number?
True
Let o = -75 + 80. Suppose 1024 = o*v + 5*l - 4856, 0 = 2*v + 5*l - 2349. Is v a prime number?
False
Let p(c) = c**2 - 3*c - 7. Let w be p(5). Suppose w*j + 1 = 13. Suppose 7*u - j*u - 1257 = 0. Is u prime?
True
Let g = 303 + 383. Let o = g + -387. Is o a prime number?
False
Let j be (-30)/(-45)*(21 - 0). Let z(l) = 13*l + 16. Let i be z(j). Suppose 2*f + 3*w - 73 - i = 0, 5*w = -2*f + 273. Is f a composite number?
True
Let c be -4*1/(-3)*45. Suppose -c = -2*w + 702. Is w a composite number?
True
Is (8263/2)/(((-9)/(-2))/9) prime?
True
Let i(d) = 17*d + 8. Let s be 7/((-2)/(-2)) - 0. Is i(s) composite?
False
Let j(n) = -4*n**2 - 9*n - 4. Suppose -3*h - 21 + 3 = 0. Let q be j(h). Let i = 185 + q. Is i a prime number?
False
Let u = 10 + -20. Let y be ((-12)/u)/((-13)/65). Let s(j) = 21*j**2 + 4*j - 13. Is s(y) composite?
False
Let k(s) = 4*s**2 + 81*s + 47. Is k(-24) composite?
True
Let r = -209 + 416. Is -4 + (2 - 0) + r prime?
False
Let g = 20631 + -7538. Is g a prime number?
True
Suppose -15*l = -12*l + 684. Let j = l + -9. Is (j/(-12))/((-1)/(-4)) prime?
True
Let t = 11920 + 10383. Is t a composite number?
False
Let t(w) = 2*w + 32. Let l be t(-16). Suppose l = -m + 3*v + 200 + 1463, 0 = -5*m - 2*v + 8247. Is m composite?
True
Let p be (-55)/(-5) - (2 + 1). Is 832/6 - (p/3)/(-8) composite?
False
Let m(u) = u**2 - 74. Is m(-24) a composite number?
True
Suppose 0 = 2*r - 3*r. Suppose 4*c + r*c = 20. Suppose c = f, -4*a - 4*f + 3*f + 569 = 0. Is a a composite number?
True
Suppose 4*v + 0*v = 32. Let g = v + -5. Suppose -2*t + 1115 = g*t. Is t prime?
True
Let p(m) = -2*m**2 + 2*m - 1. Let v be p(3). Let j = 29 - v. Is (1 - -1) + j + -1 prime?
True
Let m = -8 + 2. Let g(b) = 2*b**2 - b - 8. Let q be g(m). Suppose 0 = -4*f - q + 218. Is f composite?
False
Let j = 906 - -1481. Suppose -4*x = j - 6559. Is x composite?
True
Suppose -3*v - 5*j = -23, -4*v - j + 7 = -v. Let x(u) = 316*u**3 + 2*u**2 - 3*u + 2. Is x(v) composite?
False
Is (-1)/4*4*21686/(-2) a prime number?
False
Suppose 0 = -n + 4*t - 101, -t - 263 = -4*n - 697. Let m be (n/2)/(4/(-24)). Let r = 470 - m. Is r a prime number?
False
Let b be (-12)/(-5)*40/6. Suppose -b*a + 7794 = -10*a. Is a a composite number?
True
Suppose -2*i + 2 = -4. Let t be i + (-2)/(6/9). Suppose -188 = -t*m - 4*m. Is m a prime number?
True
Let p be (-1)/3 - 110/(-33) - -36. Let h = 832 + p. Is h a prime number?
False
Let u(l) = l**2 + 19*l + 55. Is u(17) prime?
False
Suppose -6 + 18 = 3*s + 5*l, 16 = 4*s + 2*l. Let y(f) = 0 + 2*f**3 + f - 4 - 5*f**2 + 5. Is y(s) a composite number?
False
Suppose -3*r + 14730 = 3*r. Is r prime?
False
Is (-153)/36*521*-4 prime?
False
Let s(c) = -c + 12. Let t be s(6). Is (t/10)/(-3) - (-37324)/70 a prime number?
False
Is (-5)/1 - (-2172 - 36) prime?
True
Suppose 0 = -2*u + 4*v, -13 = -4*u - 9*v + 4*v. Suppose u*g - 36 = 202. Is g a prime number?
False
Suppose -n - 209 = -45. Let a = -31 - n. Is a a prime number?
False
Suppose -7*n + 28627