 composite?
True
Let b(q) = -57*q - 13. Let r be b(-4). Suppose -213*u = -r*u + 718. Is u prime?
True
Let n be -6 - 11/(66/(-40770)). Suppose -27*g = -n - 76290. Is g prime?
False
Is (((-1551)/(-66))/47)/(2/1029556) a prime number?
False
Let z(i) = -1617*i**3 - 51*i**2 - 3*i - 35. Is z(-6) a composite number?
True
Suppose u + 13*u = 138288 + 144386. Is u prime?
False
Suppose -6*i + 11*i = 225. Let j = -185 + i. Let c = -51 - j. Is c a prime number?
True
Is 12/8*(-1648348)/(-39) composite?
True
Suppose -362*o = -356*o - 10266. Is o a prime number?
False
Let s(t) = t**2 - 6*t + 2 + t**3 + 4 + 2 - 5*t**2. Let n be s(5). Suppose c - 265 = -n*g + 307, 5*c - 2920 = -3*g. Is c a composite number?
False
Let o be 34*(-2)/(-20) + 33/55. Let l(u) = -2 + o - 1073*u + 3 - 13. Is l(-5) a prime number?
False
Let c = -1696 + 3478. Is c/10 + (-4)/20 a composite number?
True
Let u(j) = -15*j**3 + 12*j**2 - 20*j + 10. Let z = 139 + -150. Is u(z) composite?
False
Let x(j) be the first derivative of j**2/2 + 3*j + 29. Let h be x(-2). Let r = h + 93. Is r a composite number?
True
Let x = -6368 - -26569. Is x a prime number?
True
Let z(o) = 11868*o - 397. Is z(2) composite?
False
Let m be 4/(2/(-5)*-1). Suppose 0 = -4*d + 8, -5*d + 8 = 2*c - 3*d. Is -5*(1 - (m + c)) prime?
False
Let g = 122762 - -9225. Is g composite?
True
Let j(g) = 76*g + 90. Let q(t) = 74*t + 91. Let b(r) = 2*j(r) - 3*q(r). Is b(-29) prime?
False
Let m = 3 - 2. Let o(a) = -3 - 104*a + 764*a**2 + 50*a + 56*a. Is o(m) composite?
True
Let t(p) = 1179*p**2 - 9*p - 46. Is t(-5) a composite number?
True
Let f(c) = 46085*c - 5401. Is f(7) a prime number?
False
Let n(g) = 255*g**2 - 4*g - 10. Let j(u) = 2*u + 48. Let b be j(-25). Is n(b) prime?
False
Let t(c) = c**2 + 7*c + 3. Let m be t(-7). Suppose 0 = -g + m, 4*g = -4*s + 13728 + 5824. Is s a prime number?
False
Suppose -5*c + 5531 = -479. Let s = -329 + 788. Let h = c - s. Is h composite?
False
Let c be (-75 + 90)/(((-4)/2)/(-82)). Let k = 451 - 633. Let i = c - k. Is i prime?
True
Let x(a) = 6*a**2 + 45*a - 46. Let t be x(1). Is 5/(35/87122) + t prime?
True
Let t(i) = i**3 + 3*i**2 - 8*i - 29. Suppose 18*r + r - 152 = 0. Is t(r) prime?
False
Suppose 4*l - 3*z = -118389, -147987 = -3*l + 8*l - 3*z. Let r = -9527 - l. Is r a prime number?
True
Let y be 10/15*-3 + 230. Suppose r + 2*z + y = -3*z, -2*z - 749 = 3*r. Let j = r + 774. Is j prime?
True
Suppose -20*u + 648 = 7*u. Suppose 0 = u*z - 284969 - 305311. Is z prime?
False
Is (3*(-5)/(-2))/((-411)/(-19828558)) a composite number?
True
Is (78 + -77)*(139022 - 1) a prime number?
True
Suppose -1477 = -k - 5*d + d, 4*k - d - 5959 = 0. Let x = k - 600. Is x composite?
True
Let d(o) = -1383*o**2 - 7. Let r(k) = 4151*k**2 - k + 21. Let j(i) = 8*d(i) + 3*r(i). Is j(2) a prime number?
True
Let p(n) = n**2 - 11*n + 17. Let f be p(10). Suppose -f*l - 370020 = -67*l. Is l composite?
True
Suppose -348*d + 141531 = -309*d. Is d a prime number?
False
Suppose 54617 + 346159 = 12*l. Let y = -20031 + l. Is y prime?
True
Let u(s) be the first derivative of s**4/4 - 2*s**3/3 - 6*s**2 + 12*s - 3. Let m = 69 - 60. Is u(m) a composite number?
True
Suppose 724*c = 720*c - 4*u + 1548148, 3*c - 1161069 = 4*u. Is c a composite number?
False
Let x(o) = -3636*o - 269. Is x(-17) a composite number?
False
Let s = 1713136 - 853697. Is s prime?
False
Let r be ((-2)/2)/((-2)/14) + -1. Let p = -5 + r. Let a(j) = 1843*j + 4. Is a(p) prime?
True
Let o be (0 - 103404) + 3 + (-5)/1. Is o/(-26) - ((-330)/(-143))/15 prime?
False
Let x(a) = a**2 - 5*a - 61. Let v be x(-7). Suppose -18*c + v*c - 17265 = 0. Is c composite?
True
Is (1 - 150/(-15)) + 0 + 412880 prime?
True
Let g = 123 + -116. Suppose -8*d + 6 = -11*d, -l + g = -d. Suppose 0 = -k - l, -4*k - 1648 = -4*i - 0*i. Is i a prime number?
False
Suppose -3*h - 134 = -v, v + 0*v = 2. Let r = h - -48. Suppose -r*j + 2*j + 2094 = 0. Is j a composite number?
True
Let s = -663690 + 1028447. Is s composite?
True
Let t be -1 - -2*(5 - 4)*-29. Let h = 84 + t. Is (-7)/((-105)/23148) + (-5)/h composite?
False
Suppose 0*w + 100 = -2*w. Let z = w - -34. Is 554/4 + (-8)/z a prime number?
True
Let g(i) = 13 + 6 - 27*i - 3 - 5*i. Let w be g(-10). Let t = w - 217. Is t prime?
False
Let n be ((-1668)/8)/((-27)/18). Suppose 132*i = n*i - 10885. Is i composite?
True
Suppose -26*i + 22*i - 893762 = -2*u, 5*u - 2234405 = 3*i. Is u a prime number?
True
Let z(u) = -u**3 + 104*u**2 + 42*u + 181. Is z(25) a prime number?
False
Let m = 66744 + -44911. Is m prime?
False
Let j be 10 + 2*((-1)/2 - 1). Suppose 2*m = o - 493, j*o - 8*o + m + 495 = 0. Is o prime?
False
Let u(q) = 417*q**3 + 30*q**2 - 318*q + 8. Is u(11) prime?
True
Suppose 11 - 21 = 2*a. Is a + -19*(-5 - 7) composite?
False
Suppose -371*w - 2487534 = -413*w. Is w a composite number?
True
Let u be 1/((-4)/(-8)) - -26. Let t(j) = j**3 - 24*j**2 + 21*j - 30. Is t(u) a composite number?
True
Let t(v) = -22*v**3 - 5*v**2 + 7*v - 9. Let s = 119 + -116. Suppose 0 = -s*i - 21 + 6. Is t(i) composite?
True
Let d(h) = 12*h**3 - 7*h**2 - 11*h + 36. Is d(5) a composite number?
True
Suppose 4*c - 16 = 0, v - c = -v - 14. Let p = v - -9. Suppose 0 = 4*i + i - p*g - 182, 0 = -4*i - 4*g + 124. Is i a prime number?
False
Suppose t + 0*t = 27212. Suppose 26*d - 22*d = t. Is d prime?
True
Let p(r) = 5806*r + 579. Is p(12) prime?
False
Let z(r) = -128*r - 17. Let g(u) = -129*u - 17. Suppose 0*f = -2*i - 3*f + 8, 5*i + 3*f - 20 = 0. Let b(c) = i*g(c) - 5*z(c). Is b(8) prime?
True
Is 188986/3*(5/3 + 1/(-6)) a composite number?
True
Suppose 14*c = 63 - 21. Suppose -c*v + 3*w + 2309 = -2*w, -2*w = v - 755. Is v composite?
True
Let x = -112 + 117. Suppose -2*d + 3*d - x = -r, 3*r = -2*d + 14. Suppose 2*w = -r*q - w + 4280, -5*q = -5*w - 5385. Is q composite?
True
Let p(k) = 4*k**3 - 11*k**2 - 90*k - 94. Is p(40) composite?
True
Suppose -2*h - 3*b = 12, h + 1 = -4*b - 15. Suppose -12*x - x + 221286 = h. Suppose 2*s = 4*z - x + 1596, -3*z = 5*s - 11602. Is z composite?
True
Let g(b) = -b**3 + 3*b**2 - 2*b. Let t(q) = q**3 - 3*q**2 + q + 1. Let p(c) = -6*g(c) - 5*t(c). Let a be p(2). Let x = 36 - a. Is x a prime number?
True
Let w(i) = -161647*i - 224. Is w(-1) a prime number?
False
Is -4 + (3 - (-38420 - -8)) a composite number?
True
Let q(r) = r**3 + 9*r**2 + 8*r + 5. Let l be q(-8). Suppose 3*a = 2*a + 8465. Suppose -n = -3*m - 1693, -6*n - l*m + a = -n. Is n prime?
True
Suppose -3238 = -3*g + 19535. Let s = -1652 + g. Is s composite?
False
Let z be 0 + (-2288)/(-6)*6. Let i = 3210 - z. Suppose 14*c - i - 4020 = 0. Is c a composite number?
False
Suppose -235 - 135 = -5*y. Let m = y + -73. Is m/((-5 - -3)/(-474)) composite?
True
Let w(x) = 5*x**3 + x**2 + 5*x - 4. Let j be w(1). Is (-2253*j/84)/((-1)/4) composite?
False
Suppose -u + 36 = -3*u. Let f(m) = -m**3 - 16*m**2 - 12*m - 3. Let l be f(u). Let o = l + -160. Is o a prime number?
True
Let r(s) = s**3 + 16*s**2 - 37*s + 9. Let g be r(-18). Suppose -37217 = -g*l + 19348. Is l composite?
True
Let i(m) = -m**2 + 6*m + 1. Let n be i(-14). Let x = 152 - -348. Let h = x + n. Is h composite?
True
Suppose 2*c = b - 2015, b - 2*c + c = 2010. Let y = b + 916. Is y composite?
True
Is (-2)/((-17)/(6781555/22)) prime?
False
Let z(t) = -6 - 2*t**3 + 40*t**2 - 75*t + 61*t**2 - 124*t**2 + t**3. Is z(-31) a composite number?
False
Suppose -1522391 = -2*v + 5*c, -1522390 = -2*v - c + 5*c. Suppose 35461 = 34*j - v. Is j a composite number?
False
Let q = 33122 - 22549. Let r = 19446 - q. Is r composite?
True
Suppose 129124 + 81572 = 10*l + 14*l. Is l composite?
False
Suppose 255*d - 27313 = 254*d. Suppose d = 3*n + 2*x, -7*n - 9087 = -8*n - 5*x. Is n a composite number?
True
Let x(q) = 4939*q + 4693. Is x(10) a composite number?
False
Suppose 129*t - 4156627 = 12232450 + 1092616. Is t a composite number?
True
Let f(m) = -3*m**2 - 6. Let p be f(0). Let j = 1 + p. Is (((-870)/9)/j)/(14/147) composite?
True
Let c be (-2)/(-3*2/3). Let z be (-24)/(8 + -11) + -5. Suppose z*t - c - 17 = 0. Is t a prime number?
False
Suppose 0 = -27*k - 1125345 + 3870100 + 4194488. Is k a prime number?
False
Let t(k) be the third derivative of 361*k**7/1680 + 11*k**6/720 + 7*k**5/15 + 24*k**2. Let s(i) be the third derivative of t(i). Is s(2) a prime number?
Fals