(-4 + 1) composite?
False
Suppose 43*a - 2549744 = 427533. Is a a composite number?
False
Suppose -4*v - 72 = -16*v. Suppose -v*r + r = -2605. Suppose -6929 = -3*b + z, 0 = -b - 4*z + 1780 + r. Is b composite?
False
Suppose -20 = 5*g, -c - 2*g = -6*c - 72. Let k(z) = -2*z - 30. Let b be k(c). Suppose -2*h - 3*n = b*h - 1360, 5*n = 3*h - 991. Is h a prime number?
True
Suppose 3*n + 5*o - 498853 = 0, 247019 = 2*n + 2*o - 85555. Is n prime?
False
Let t(k) = -11623*k + 3781. Is t(-10) a prime number?
True
Let g = -22585 - -7609. Is (g/30 + -5)*-5 prime?
True
Let m be -9 - -12 - 8/2. Let i be (m - -2 - -4) + -2. Suppose -5*t + 782 = i*y - 695, -1002 = -2*y + t. Is y a composite number?
False
Let v(y) = 8*y**3 - 8*y**2 - 2*y - 5. Let j be v(-6). Let g = 1308 - j. Is g a composite number?
True
Let q(j) = j**2 - 12*j + 23. Let w be q(7). Let p(f) = f**2 + 10*f + 3. Let i be p(w). Suppose 20*a + 9863 = i*a. Is a prime?
True
Is (-4)/(-46) - (-587341516)/4324 composite?
True
Let x(n) = 855*n + 7. Let c = -1045 - -1051. Is x(c) a composite number?
True
Let t = 12 + -10. Suppose t*y + 2 = -8. Is y/15 + (-4656)/(-9) a prime number?
False
Let f(t) = -165*t - 15. Let y be f(-6). Suppose 22*q - 23*q = -y. Let v = 1426 - q. Is v a composite number?
True
Suppose 4*i + y - 469555 = 0, 7*i - 513218 - 308509 = 4*y. Is i composite?
False
Let o(b) = 1560*b + 1. Let f(v) = 9 + 15*v**2 - 7*v**2 - 7*v**2 - 6*v. Let q be f(4). Is o(q) a prime number?
False
Let k = 303 - 309. Is ((-7962)/9)/(1/(k/4)) composite?
False
Let v = 18201 - 13046. Is v a prime number?
False
Suppose 24*v = 10*v + 56. Is (-7)/14*4*(-2302)/v composite?
False
Let a(h) = h**3 + 22*h**2 - 46*h + 50. Let f be a(-24). Suppose -3*v - 4870 = -f*x - v, 3*v = 4*x - 9742. Is x composite?
False
Suppose -16*k + 19*k = 12. Suppose 0 = 2*r - k, 0 = -x - 26*r + 22*r + 670. Is x composite?
True
Let m(d) = d**3 + d**2 + d + 1. Let r(q) = 322*q**3 + 2. Let c(p) = -m(p) - r(p). Is c(-2) composite?
False
Suppose -4*w + 2*w = -452. Suppose 2*t + 2*i + 98 = 0, 0*t - 4*t + 2*i = w. Let x = t + 91. Is x a composite number?
False
Let b = 12 - 10. Suppose b*f - 73 = -7. Is f/(-9)*-64 + (-4)/(-12) a prime number?
False
Suppose 14*o + 31*o - 1692696 = 21*o. Is o a prime number?
True
Let v be (134/(-1474) - (-1 + (-32)/(-11))) + 12. Let p(n) = n**3 - 5*n**2 - 6*n + 4. Let l be p(6). Is v/l*(0 - 15108/(-30)) prime?
True
Let q(c) = c**3 + 26*c**2 + 15*c - 10. Let o be q(-25). Suppose 2*m - o - 56 = 0. Let h = m + 481. Is h a prime number?
False
Let t = -36 - -40. Suppose t*l - 5459 = 5*r - 0*r, -5*r = 5*l - 6790. Is l a prime number?
True
Is (-216)/9 - (-145804 + -19) a prime number?
True
Let c(x) = -884*x + 785. Is c(-66) prime?
False
Let n = 441889 + -136560. Is n a prime number?
True
Let w(f) = 39*f**2 - f - 56. Let l be w(21). Is (l/7 - 0) + -9 prime?
True
Let q(x) = -28*x - 1. Let z = -14 - -13. Let o(l) = -8*l**2 - 4*l - 5. Let m be o(z). Is q(m) composite?
False
Suppose -u = -z - 4, 5*z + 2*u = 4*u - 5. Let t(a) = 5076*a + 3. Is t(z) a composite number?
True
Let s(n) = -n**3 - 21*n**2 + 29*n + 1. Let z(u) = -u + 1. Let r(d) = -s(d) - 6*z(d). Let q be r(-22). Is q/9 + -2 - (-7304)/33 composite?
True
Let t(j) = j**2 - 3*j + 3. Let g be t(-3). Suppose -18*f + g*f = 5*w - 15462, w - 3088 = 5*f. Is w a composite number?
True
Suppose -36*y - 588 = 6*y. Is (4 - 3) + (-9961)/y*32 a composite number?
False
Let n(c) = -10*c**3 - 9*c**2 + 113*c + 75. Is n(-14) composite?
False
Suppose 867 = f + 4*b, 22*b + 2616 = 3*f + 19*b. Is f a composite number?
True
Suppose -3*y - 205886 = -4*u + 51642, 5*u + 4*y - 321910 = 0. Suppose -35*h + u + 250863 = 0. Is h a prime number?
True
Let y(u) = -2032*u - 223. Let m be y(-12). Let q = -17254 + m. Is q prime?
True
Let i(z) = -36*z - 27*z**2 + 3*z**3 + 11 + 22 + 6 - 4. Let p(v) = -2*v**3 + 14*v**2 + 18*v - 18. Let c(m) = 3*i(m) + 5*p(m). Is c(-13) a prime number?
True
Suppose -2*a = -0*a - 32. Let r = 10 + a. Suppose r*l = 23*l + 9237. Is l composite?
False
Suppose -40 = 51*m - 41*m. Let r(j) = 600*j**2 - 14*j + 5. Is r(m) a composite number?
False
Let r(t) = 4374*t - 18. Let o be r(5). Let q = -8687 + o. Is q composite?
True
Suppose -137368 = -12*u + 58772. Let h = u - 11358. Is h composite?
False
Let v(c) = c + 21. Let b be v(-22). Suppose -5*i = -25, -5*y = -4*y + 4*i - 23. Is (1 - (-1 + y))/(b/391) a composite number?
True
Let g be ((-14)/21)/(2*1/(-6774)). Suppose -g = -q + 1791. Is q composite?
False
Let s = 70 + 138. Suppose 2*w - 4*t - s = t, -w + 2*t = -105. Suppose -2*y = -w - 409. Is y a composite number?
True
Suppose 13*f - 40344 - 68635 = 0. Let s = f - -1336. Is s composite?
False
Suppose -4*r + 1981944 = 4*l, -201*l = -200*l + 5. Is r prime?
True
Suppose -n - 1 = -0*n + 3*q, -5*n - 4*q + 6 = 0. Is (-1 - (-5 + n + 4)) + 2809 a prime number?
False
Let f = 8235 - 2728. Is f a composite number?
False
Let r be 1 + -1 + 5 + 52. Suppose r = -6*i + 7*i. Suppose -q = -241 - i. Is q a prime number?
False
Let j be (1/2)/(15/150). Suppose 2*b - b - j*c - 1408 = 0, -2*b = 2*c - 2852. Is b prime?
True
Let d = 8 + -7. Let t(y) = -70*y**2 - 2*y + 1. Let z be t(d). Let c = 140 + z. Is c prime?
False
Suppose 4*a - 5*s - 1199097 = -418075, 5*a = 6*s + 976277. Is a composite?
False
Let d(w) = 3387*w**2 - 28*w + 75. Is d(4) a composite number?
True
Let p(x) be the second derivative of -20*x + 7/3*x**4 + 0 + 1/3*x**3 + 5/2*x**2. Is p(-3) composite?
False
Let s(f) = -19*f**2 - f + 2. Let h be s(1). Is 4/h - ((-580)/45)/4 a composite number?
False
Let y(w) be the second derivative of -w**7/2520 + 1049*w**5/120 - 7*w**4/6 - 8*w. Let z(t) be the third derivative of y(t). Is z(0) a composite number?
False
Let p(s) = 377*s**2 + 26*s - 821. Is p(-36) composite?
True
Suppose 5*a - 931524 = -124264. Suppose 39800 = 12*i - a. Is i prime?
False
Let s(c) = 29850*c**2 + 2*c + 13. Let l be s(2). Suppose -l = -20*p + 19*p. Is p composite?
False
Is ((-18037584)/240)/((-6)/29) + (-2)/(-20) a composite number?
False
Let q(b) = 96*b - 261. Let j be q(26). Suppose 67445 = 10*m + j. Is m a prime number?
True
Let j = 773 + -342. Let c = 1620 - j. Is c a composite number?
True
Suppose 2*t - 6*g = -11*g + 3873, t = 2*g + 1941. Suppose 4*n = 0, -8*o + t = -7*o + 2*n. Is o a prime number?
False
Let a(p) = 10*p - 1. Suppose 3*v + 5*y = -9 - 6, -3*y - 9 = 0. Suppose -4*w + v*w + 8 = -4*k, 2 = k. Is a(w) a composite number?
True
Suppose r = -4*c + 23, -4*c = 4*r - 0*c - 32. Suppose 0 = r*y - 12. Is 8/28 - ((-43984)/28)/y composite?
True
Suppose -2*q - 128819 = 4*y - 476711, -3*q + 173954 = 2*y. Is y a composite number?
True
Suppose 363887 = 4*i - 3*x, -5*i + 101*x + 454860 = 96*x. Is i a composite number?
False
Is (-13 + 12)*(-50838 - (-25)/5) a prime number?
True
Let y(a) = -9*a + 26*a**2 - 15 - 7 - 7*a - 1. Is y(-11) a composite number?
False
Let i be (3 - 118/8)*(-16)/4. Suppose -i*z + 2049411 = -8*z. Is z a prime number?
False
Suppose -4*z + 41293 = -161391. Is z a composite number?
False
Let u = 657320 - 367333. Is u prime?
True
Let s = -5385 + 879. Let r be s*(1/3)/(2/3). Let h = r - -3536. Is h composite?
False
Let a(x) = -3*x + 22. Let w be a(15). Let m(t) = -120*t + 38. Is m(w) composite?
True
Suppose -193*r + 269788 = 4*i - 190*r, -5*r + 67481 = i. Is i a prime number?
False
Suppose 0*d = 5*d - 50. Suppose -d*f - 3 = -11*f. Suppose 2*m - 9*j - 1326 = -5*j, -f*m + 5*j = -1994. Is m prime?
True
Suppose -3*y + 5810 = 3*r + 2*r, 25 = 5*y. Let x = 2520 - r. Is x a prime number?
True
Let s = -186187 - -515604. Is s a composite number?
True
Let x be (3 + 730)/(3*3/27). Let c = x - 1552. Is c a composite number?
False
Is 10 + (-66474)/((-90)/15) prime?
False
Let b(x) = -8 + 1 + 1893*x + 21. Is b(1) composite?
False
Let i(x) = -x**2 + 9*x + 38. Let g be i(12). Suppose 2*p - 10223 = h, -4*h - 4945 = -g*p + 5281. Is p a composite number?
True
Suppose 300928 = 15*f - 3719317 - 5714140. Is f a composite number?
True
Let w(x) = -5*x**3 + x**2 - 2. Let f be w(-3). Let y = f + 47. Is (-1)/(-7) - (-47034)/y a composite number?
True
Is (27223/8 - 16/(-128))/(-5 + 6) prime?
False
Is -1 + 10533925/10 + 13/26*-5 a composite number?
True
Suppose -3*c - 8 = -4*p, -4*p + p + 5*c = -6. Suppose -3*r + p*r = -1421. Let o = r + 1286. Is o a prime