145. Is m prime?
False
Let p(a) = -165*a + 197. Is p(-30) prime?
True
Let v be 19674/15 + 18/45. Let l = 2189 - v. Is l a prime number?
True
Let n(u) = -43*u**2 + 4*u - 13. Suppose 0 = -3*k + 6 + 3. Let d be n(k). Let x = d - -959. Is x prime?
True
Let k(d) = 323*d**2 + 71*d + 2001. Is k(-41) composite?
False
Is (0 + 2 - 5 - -2)/(42/(-7166334)) composite?
False
Let l(b) be the third derivative of -719*b**7/420 - b**6/360 + b**4/12 + 7*b**3/3 + 13*b**2. Let w(t) be the first derivative of l(t). Is w(-1) a prime number?
True
Is ((33 + 11)*1/4)/(2/42554) a prime number?
False
Let z = 209833 + -123944. Is z composite?
False
Suppose -18*o = -21*o - 18. Let f be 4 - (-8)/(-12)*o. Suppose -f*c = -12*c + 2076. Is c a prime number?
False
Suppose 121*m - 6661479 = 1044164. Is m a composite number?
True
Let w(g) = 3*g - 40. Let o be w(14). Is 1455256/104 + o/13 prime?
False
Suppose 9451182 = 76*j - 11*j + 13*j. Is j a prime number?
True
Suppose -1953255 = -u - 4*q, -u = -47*q + 43*q - 1953287. Is u a composite number?
True
Let r(k) = -3*k + 7. Let l be r(0). Let v be -1 - (l - (2 - -2)). Is -365*(0 + v) + -1 a prime number?
True
Suppose l - 138604 = -t, l + 4*l + 277229 = 2*t. Suppose 27*j = 20*j + t. Is j a prime number?
True
Suppose 0 = -34*q - q - 1512770. Let y = q - -78761. Is y composite?
True
Suppose 11038316 = -220*u + 15127141 + 18577115. Is u a prime number?
False
Suppose -1177680 - 1328646 = -19*l + 13*l. Is l a prime number?
True
Let w(d) = 2*d**2 - 33*d + 14. Let h(a) = -a**2 + 16*a - 7. Let g(z) = -7*h(z) - 4*w(z). Let x be g(19). Suppose -x*k = -8*k - 572. Is k a prime number?
False
Suppose 7*i = -18*i + 10*i + 3215505. Is i composite?
True
Let u(b) = -9*b**3 - 9*b**2 - 5*b + 6. Let r be u(-3). Suppose -r + 603 = 2*v. Suppose q + k - 7 = 209, -q + 5*k + v = 0. Is q a prime number?
False
Let b(x) = 34*x**2 + 4*x - 13. Suppose -4*l = -3*k - 30, 3*l - 5*k = 4 + 13. Is b(l) prime?
True
Let x(b) = -16*b**2 + b + 2. Let o be x(-4). Let i be -8 - (2084/4 + -8). Let d = o - i. Is d a composite number?
False
Suppose -24*w = -7854115 - 7270517. Is w a composite number?
False
Let w(l) = -2*l**2 - 2*l**2 + 5*l**2 + 110 - 2*l - 2*l**2. Let d be w(0). Let n = -76 + d. Is n prime?
False
Let o = -16 - -22. Is o/(-6)*5 + 907 + -1 a prime number?
False
Let j(t) = -21*t**2 - 2*t + 2. Let m be j(-2). Suppose 3*a - 1697 = -5*f, -2*f + 2*a - 682 = -4*f. Let s = f + m. Is s a composite number?
True
Is 1067135 - ((-1)/3)/((-56)/(-336)) composite?
False
Let r = 595652 - -142179. Is r composite?
True
Suppose 4429 = -5*j - v, 3*v = -3*j + 7*v - 2639. Let q = j - -2522. Is q prime?
True
Let s(c) = 63*c**2 + 2546*c - 53. Is s(-52) a composite number?
False
Let y(h) = -10*h**3 - h**2 - 1. Let t be y(-1). Suppose -t = -6*s + 7*s. Is -2 + 2 + 11*s/(-4) composite?
True
Let u(m) = -28*m**2 + 8*m - 6. Let q(a) = -14*a**2 + 5*a - 6. Let d(p) = -5*q(p) + 2*u(p). Suppose -39 = -0*g - 3*g. Is d(g) a composite number?
False
Let j(g) = g**2 - g + 1. Let a(s) = 81*s**3 - 7*s**2 + 12*s - 1. Let p(o) = -a(o) - 6*j(o). Let w be p(-2). Let n = -118 + w. Is n a composite number?
False
Let r(k) = k**2 + 25*k - 6. Let h be r(-25). Let x be 10/(-6) + 1 + (-112)/h. Is 3012/x*(-6)/(-4) a composite number?
False
Suppose 7*g - 25 = 2*g. Suppose -p = g*v - 1655, -2*v = 4*p - 5*v - 6505. Suppose -4*a = -14*a + p. Is a a prime number?
True
Let v be 1 - (-11)/(11/(-2)) - -8. Is (1413 - 0) + (v - -2 - 13) a composite number?
False
Suppose 8002076 = -301*f + 40486899. Is f a prime number?
True
Let z be 4 + -14 + (-3 - -6). Let c(y) = -y**2 - 7*y - 1. Let s be c(z). Is 1031/2*2 + s + 1 prime?
True
Suppose -24*w = -10*w - 56. Suppose 4193 = s + w*r, 8286 + 8524 = 4*s - 3*r. Is s composite?
False
Let a(l) = l**2 - l + 5245. Let n(o) = o**3 - 6*o + 4. Let u be n(2). Is a(u) a composite number?
True
Suppose 0 = 3*d - 3*l - 725367, -18*d + 17*d + 6*l + 241769 = 0. Is d prime?
True
Is 609963 - (-12 - -17 - -1)/(6/(-4)) a composite number?
True
Let s(q) = 3*q. Suppose 4*j - 3 = 3*v + 2*j, -2*j = v - 7. Let k be s(v). Suppose -k*a = -5*a + 1002. Is a a composite number?
True
Let k(n) = n**3 + 23*n**2 - n - 26. Suppose -4*w - 25 = a - 0*w, a = -2*w - 23. Is k(a) composite?
False
Let q(z) = 7*z**2 - 120*z - 95. Is q(-62) a composite number?
False
Let k(i) = -8*i**3 - 4*i**2 - 3*i - 2. Let m be k(-4). Let w = 53 + 0. Suppose -m = -a + w. Is a a composite number?
True
Suppose 0 = 2*q - 2, -320663 = -4*w + q + 1774724. Is w composite?
False
Let x(o) = 226*o + 63. Let i(v) = 225*v + 63. Let a(q) = 3*i(q) - 4*x(q). Is a(-14) a prime number?
False
Let s be 2 + 13/((-65)/(-30)). Let t = 29 - s. Let k = 27 - t. Is k a composite number?
True
Suppose -157*q + 143*q + 766822 = 0. Is q prime?
True
Let d(i) = 8*i**3 - 89*i - 22. Is d(11) a prime number?
False
Let k = -61 - -97. Let l be (-2)/(-9) - (-28)/k. Suppose -2*i = -2*m + 454, -4*i - l = 3. Is m prime?
False
Suppose -5*h + 9*h + 8 = 3*j, 0 = -4*h - j - 24. Let n(z) = 115*z**2 + 22*z + 7. Let x be n(h). Suppose 4061 + x = 5*f + 4*w, 3*w = f - 1378. Is f prime?
False
Let c be (-4 - -2 - 13)/(6/(-8)). Let p = c + 2. Suppose -6*k + p*k - 1232 = 0. Is k a composite number?
True
Let p(r) = r**3 + 9*r**2 - 3*r - 14. Let q be p(-9). Let g = 455 + 43. Is (-2 - g/8)/(q/(-52)) a composite number?
False
Let n(k) = -k**3 + 4*k**2 + 5*k + 2. Suppose 23*z - 20 = 19*z. Let v be n(z). Suppose 2*l - 4*d - 224 - 168 = 0, -v*d + 612 = 3*l. Is l prime?
False
Let a(d) = -100*d**3 - 6*d**2 - 2*d - 14. Let x be a(6). Let b = -12907 - x. Is b a composite number?
True
Is (8 - (-23660)/(-30))*44/8*-3 a composite number?
True
Let t(c) be the second derivative of 17*c**5/20 + c**4/12 - 55*c**3/6 + 11*c**2/2 + 2*c + 36. Is t(6) prime?
True
Suppose -362 - 237 = j. Let q = j - -1686. Is q composite?
False
Let h(f) = f**2 + 1. Let o(q) = 50*q**2 + 2*q + 5. Let g(v) = -3*h(v) + o(v). Let z be g(-1). Suppose 0 = t - 375 - z. Is t composite?
True
Suppose 0 = 3*o - 4*o + 177. Let x(l) = l**3 - 6*l**2 - 6*l. Let p be x(7). Suppose p*c - o = 4954. Is c composite?
False
Suppose 2*q + 5*s = -2*q + 27, 0 = 4*q - 3*s - 35. Suppose -q*y + 15956 = -7*y + 5*k, -k + 31939 = 2*y. Is y prime?
True
Suppose -2*h = -3*y - 5*h + 18882, -5*h - 6282 = -y. Let m = y - 2531. Is m composite?
False
Let t be 2/(-11) - (0 - 59580/22). Let b = t - 1753. Is b prime?
False
Let g be -69*(-272)/18*90/24. Suppose -b - g = -6*b. Suppose -3*u = x - b, 7*x - 4*x = -5*u + 2358. Is x a composite number?
True
Let d(j) = 6691*j**2 + 80*j + 217. Is d(-6) a prime number?
False
Suppose 3*d - 402441 - 547815 = 0. Let b be (-2)/(-6) - d/(-36). Suppose -6*u + 1359 = -b. Is u a prime number?
True
Let w(q) be the first derivative of -q**4/4 - 5*q**3 + 11*q**2/2 - 49*q + 16. Is w(-16) prime?
True
Let l(g) = 13*g + 16. Let i be l(-1). Let k(a) = 3603*a - 56. Is k(i) prime?
True
Suppose 0*o = 33*o - 1122. Suppose -12102 = 28*p - o*p. Is p composite?
False
Suppose 0 = 19*b - 226 - 1180. Let j = b - 75. Is (-645)/j + (3 - 9 - -2) a composite number?
False
Let s(v) = -777*v**3 - 3*v**2 + v + 6. Is s(-4) a prime number?
False
Let y(s) = -15589*s + 327. Is y(-16) a prime number?
False
Is (-318617)/(10/240*12)*(-1)/2 a prime number?
False
Let t be (11 - -474)*(-388)/(-10) - 1. Let x = 12982 - t. Is ((-2)/(-6))/((-5)/x) a composite number?
False
Suppose 3*z + 13*t - 12*t - 41755 = 0, -4*t - 41750 = -3*z. Let s = 42825 - z. Is s a composite number?
True
Suppose -83179 = -12*m + 164489. Is m composite?
False
Let j(f) = -7240*f - 617. Is j(-2) prime?
False
Let k(f) = -2*f**2 + 14*f + 16. Let d be k(8). Let l(a) = d - 3*a + 40*a**2 + 11*a + 6*a - 1. Is l(5) prime?
True
Suppose 7*q - 104012 - 126794 = 269883. Is q prime?
True
Suppose -8*b = -14*b - 4*c + 1798610, -5*b + 4*c = -1498871. Is b composite?
False
Suppose 4*o + 3 - 19 = 0. Let x(t) = 37*t**2 + 2*t**2 - 29 + 3*t + 62 - 28. Is x(o) prime?
True
Let h(o) = -7*o**2 + 10*o - 14. Let x be h(-9). Suppose -2*p - 2084 = 2*f, -f - 4*f = p + 5210. Let l = x - f. Is l composite?
True
Let r be (-1)/(((-9)/3)/777). Let s = r - 368. Let c = -78 - s. Is c a prime number?
True
Let l = 5368 - 11090. Let g = l + 43521. Is g composite?
False
Suppose 0*s + 9 = 3*s. Let t = 3687 - -9771. Suppose s*y = -3*y + t. Is y a