 n = -5*v. Is a composite?
True
Let h(u) = -u**2 + u + 4. Let w be h(13). Let d = -99 - w. Is d prime?
True
Suppose -4*v + 14 = -2. Suppose 3*b + b + 2*h + 14 = 0, -3*h = -v*b - 9. Is 0 - 629/(2 + b) prime?
False
Let p = -150388 + 223343. Is p a prime number?
False
Suppose -18*m + 5*m = -26. Let x be 2*-4*93/(-4). Suppose -x + 32 = -m*n. Is n prime?
False
Suppose 4*h = -4*l - 11036, l - 2765 = h - 0*l. Let v = -1611 - h. Is v prime?
True
Let f be (1 + 5 + -5)/(0 - 1). Is 72*140/8 + f prime?
True
Let a = 24385 + -17047. Let o = a - 4477. Is o a composite number?
False
Let o(n) = 38*n**2 - 5*n + 1. Is o(-6) a prime number?
True
Let w be 10/60 + (-1)/(-6)*17021. Suppose -2*o + s + 2817 = 0, 2*o - w = -9*s + 6*s. Is o prime?
False
Let n(s) = 10*s**2 - 3*s - 2. Let q(y) = -2*y - 2. Let b be q(0). Let m be 13 + -11 - (-14)/b. Is n(m) a prime number?
True
Let u be 15240/(-9)*(-2 - 1/(-2)). Suppose 3*d = -d + u. Is d a prime number?
False
Let w be (-3)/2*12/(-18). Is 557/((-6)/(-4) - w) a composite number?
True
Let z(m) = m**3 - 13*m**2 - 14*m + 2. Let r be z(14). Suppose -3*g - 3 = 3, 0 = -r*y + 4*g + 50. Is y composite?
True
Suppose 49*g - 1746413 = -290280. Is g prime?
True
Suppose 4*c + 2*v - 14 = 2*c, -v = 3*c - 27. Suppose 12*m + 10 = c*m. Let g(i) = -2*i**3 - i**2 + 3*i - 9. Is g(m) a prime number?
False
Let f(i) = -i**3 - 14*i**2 + 7*i + 143. Is f(-36) prime?
True
Suppose -3*d + 5*d - 5*p = 19954, 0 = 5*d - 2*p - 49843. Is d composite?
False
Let p(i) = i**2 - 5*i - 3. Let m be p(5). Is (2 + -3)*m*111 - -4 prime?
True
Suppose 0*f - 3*f + 15 = 0. Suppose -3*y + 11470 = 2*y - 5*h, 4*y = -f*h + 9149. Let v = y + -1440. Is v a prime number?
False
Let g be (-9)/(2/(-8) - -1). Let j = g - -12. Suppose j = -5*t + t + 212. Is t prime?
True
Suppose 3*r - 2*r = -5*q + 465, -q - 1347 = -3*r. Let t = -79 + r. Is t a composite number?
True
Suppose -y = -3*l + 13, -22 = -9*l + 5*l - y. Suppose -9*s - l + 4532 = 0. Is s a prime number?
True
Let q be 23*(-8)/12*6. Let r = -54 - q. Is r a prime number?
False
Let o(v) = 1031*v + 1. Let w be o(1). Is ((-3)/9)/1*w/(-4) a composite number?
True
Let p(i) = -1844*i - 4. Let x be p(-1). Is x*1 - 1/(-1) prime?
False
Let n(m) = 404*m + 153. Is n(19) prime?
True
Let z(u) be the third derivative of -u**6/120 - u**4/24 + 449*u**3/6 - 27*u**2. Is z(0) prime?
True
Let a = -812 + 1353. Is a composite?
False
Suppose 6 = 3*z - z. Suppose -z*l = -479 - 748. Is l a composite number?
False
Suppose 39 = 8*k - 1. Suppose -k*i + 1806 = 11. Is i a composite number?
False
Let n(u) = u**2 + 4*u + 7. Let t be n(-8). Let r = 968 - t. Is r composite?
False
Let d = 1852 + -735. Is d a prime number?
True
Let j(w) = -405*w**2 - 3*w + 11. Let h(d) = -203*d**2 - d + 5. Let c(t) = -5*h(t) + 2*j(t). Is c(2) prime?
False
Suppose 3*q = -0*u + 2*u + 1619, 0 = -4*q + 4. Let b be 1/(-3) + u/(-12). Suppose 2*s = 3*s - b. Is s a prime number?
True
Suppose -4*o = -2*s - 19660, 5*o - 8*o - 4*s = -14745. Is o prime?
False
Suppose -14*r + 21*r - 2863 = 0. Is r a composite number?
False
Let x = -4515 - -6832. Is x a prime number?
False
Let c be 11/2 - 12/(-24). Let v be (6/(-9))/((-1)/c). Suppose -2*u - v*q - 859 = -5*u, u = q + 288. Is u composite?
False
Suppose -4*s + 25858 + 32994 = 0. Is s a composite number?
False
Let k(d) = d - 3. Let o = -13 + 16. Let w be k(o). Suppose -5*t - 5*q + 80 = -320, t - 3*q - 68 = w. Is t composite?
True
Let m = -39 + 43. Suppose 2*o - m*o + 814 = 0. Is o composite?
True
Suppose 4*f + 2*p = -52, 2*p - 74 = f + 4*f. Is 2/3*(-273)/f prime?
True
Suppose 18*t - 19*t + 7 = 0. Suppose -388 = -t*u + 3*u. Is u a composite number?
False
Let s be (-1)/(-1) + (2 + -6)/(-2). Suppose s*a - 199 - 614 = 0. Is a a prime number?
True
Let p = 2 - 0. Let k(x) = -100 + 36*x + 193 - 98. Is k(p) a composite number?
False
Let j = -71 + 70. Let y(m) = -222*m**3 + m**2 + 3*m + 3. Is y(j) a composite number?
False
Let q = 269 + 1550. Is q composite?
True
Let n = -14 - -16. Suppose -4*r + n*r + 422 = 0. Is r composite?
False
Let b(i) = 2*i**2 - 8*i - 7. Let w(c) = -c - 5. Let t be w(-10). Let n be b(t). Suppose -n*h + 844 = h. Is h prime?
True
Let k(l) = 21*l - 13*l + 1 - 10*l + 166*l**2. Suppose -j - 1 = 1. Is k(j) a prime number?
False
Suppose 5*r - r = 5*l - 3271, -4*l = 5*r + 4058. Let q = r + 1191. Is q composite?
True
Let v = 15206 - 6859. Is v a composite number?
True
Suppose 0 = -5*u - v + 10267, -5*v - 4244 - 6011 = -5*u. Is u a prime number?
True
Let d(f) = 6406*f**3 - 3*f**2 + 1. Let o be d(-1). Is 4/(-10) - o/45 a composite number?
True
Let a(p) = -p**3 - 5*p**2 + 5*p - 43. Is a(-10) a composite number?
True
Suppose -219826 + 69809 = -29*x. Is x composite?
True
Suppose 0 = 3*x - 3335 - 6505. Suppose -196 - x = -4*k. Is k a composite number?
True
Suppose -g = -2*g + 3. Suppose g*k + 3*t = 21, -t + 4*t = 9. Suppose -k*a = 154 - 958. Is a composite?
True
Let m(n) = 8*n**3 + n**2. Let r be m(-1). Let z(x) = -x**3 - 7*x**2 - 3*x - 11. Let k be z(r). Let l(w) = w**2 - 5*w - 13. Is l(k) a composite number?
False
Let z be (-4 - 4856/4) + 3. Let i = z + 2134. Is i a composite number?
False
Suppose -5979 = -6*d - 513. Is d a composite number?
False
Is (-2)/7 + (-32965)/(-7) composite?
True
Let g = -14 - -17. Let m(l) = -5*l - 2*l - l - 1 + g. Is m(-1) composite?
True
Is (3324/9)/(18/27) a prime number?
False
Let b = 5162 - 1708. Suppose -7*y + 2895 = -b. Is y prime?
True
Let l(z) = 399*z**3 - 197*z**3 + 5*z + 13*z**2 + 19 - 201*z**3. Is l(-8) a prime number?
False
Suppose -5 + 7 = 2*b. Let h be (b/2)/((-11)/110). Let u = 50 - h. Is u a prime number?
False
Suppose -30*c + 45*c - 408255 = 0. Is c prime?
False
Suppose -1760*n + 229155 = -1745*n. Is n prime?
True
Let l = -41 - -38. Let m(w) = 514*w**2 - 7*w - 10. Is m(l) composite?
False
Let q(c) = -8*c - 1. Let b be q(-1). Let v(m) = 23*m**2 - 5*m - 5. Is v(b) prime?
True
Suppose 7*x - 390 = 5*x. Let j = 108 - x. Let f = 130 + j. Is f prime?
True
Is (-4150)/(-1) - (-5 + -4 + 6) a composite number?
False
Is (-129450)/(-162) - 4/54 a prime number?
False
Suppose -3*f + 5*m = m - 12, -2*f - 4*m = -8. Suppose 3*j - 10 = 4*o + f, -10 = 4*o - j. Is 2/o + 9*4 prime?
False
Let o(n) be the second derivative of -67*n**3/6 + 9*n**2 + 8*n - 2. Is o(-13) prime?
False
Let s(x) = -x**2 - 7*x - 7. Let y be s(-4). Suppose 7*o - 3*o - y*l + 512 = 0, -4*l - 16 = 0. Is 1 - (3 + o/1) composite?
False
Let b = 1 - 2. Let k(s) = -1. Let q(n) = 12*n - 6. Let l(m) = b*k(m) + q(m). Is l(6) composite?
False
Suppose 3*r - 30693 = -3*i - 0*i, 0 = 2*i. Is r prime?
False
Let s = -325 - 1022. Let x(g) = -949*g + 2. Let p be x(-2). Let j = p + s. Is j prime?
False
Let h be 6/(-21) + (-23)/(-7). Let f(v) = -30*v - 16. Let d be f(-11). Suppose -q = -h*q + d. Is q composite?
False
Let m(f) = f - 2. Let k(y) = -y**3 - 6*y**2 + 6*y - 2. Let u be k(-7). Let w be m(u). Suppose -b - 2*b + p = -24, 2*b - w*p = 9. Is b composite?
True
Let y(h) = 2*h**3 - h**2 + 4*h + 2. Let l be y(6). Let g = l + -261. Is g a prime number?
False
Let q(d) = -d**3 + 8*d**2 - 4*d - 16. Let z be q(7). Suppose 1326 = m + z*m. Is m a prime number?
False
Let w(b) = -b**2 - 2*b + 6. Let y be w(2). Is y/8*2 - (-10086)/4 a composite number?
False
Suppose -5*a + 81 = -39. Let t be 21*a + 4 + -6. Let v = 921 + t. Is v a prime number?
True
Suppose 5*g - 55057 = g - 5*t, 1 = t. Is g a composite number?
False
Let p be ((-48)/40)/(9/(-30) + 0). Suppose p*y + y - 2597 = -4*n, -2090 = -4*y + 3*n. Is y prime?
True
Let s(i) be the third derivative of 71/8*i**4 + 0*i + 0 - 1/3*i**3 + 2*i**2. Is s(1) composite?
False
Suppose 0 = -h + 3*p + 18, 5*h + 2*p - 4 = 1. Suppose 3808 = 3*z + z + b, 3824 = 4*z - h*b. Is z a composite number?
False
Let g(q) = -q**3 - 4*q**2 + 4. Let b be g(-4). Suppose b*x - 425 = -x. Is x a composite number?
True
Let b(n) = -n**2 + n + 1. Let z be b(-2). Let s be z/(-5*2/4). Suppose -2*j + 116 = s*j + 3*q, -4*j + q + 100 = 0. Is j composite?
True
Suppose -289 + 46500 = 11*y. Is y composite?
False
Let h = 35513 - 23818. Is h a composite number?
True
Suppose 4*n = 2*n - 2*v + 156, 154 = 2*n + 3*v. Let q = n - 61. Is q a composite number?
False
Suppose -22*z = -32*z + 2540. Is z prime?
False
Let h(r) = 2464*r - 327. Is h(11) composite?
False
Let r(i) = -i**2