
True
Suppose -7*n = -4*n - 12. Suppose -n*x - 417 = 3*c - 4*c, -4*x = 16. Is c a composite number?
False
Let k(i) = 14*i - 28. Let q be k(3). Let o(a) = 9*a**2 - 36*a - 26. Is o(q) composite?
True
Let g be 2 + (-3 - (-1 - -2)). Let o be (10/30)/(g/(-48)). Let k(u) = -u**3 + 10*u**2 - 5*u - 9. Is k(o) a prime number?
True
Suppose 5*n + 2*d + 25 = 7*d, 5*n = -5*d + 25. Suppose n*h - 743 = -h. Is h a prime number?
True
Let b be 1/2*(-72)/(-1 - 2). Suppose 5*i - 2*y - 3181 = 0, b = -y - 3*y. Is i a composite number?
True
Let f(m) = 47*m**2 + 31*m + 23. Is f(-14) prime?
False
Suppose 4*x - 2*x + 4*s = -10, 3*x + s = 0. Let g be (-8)/5 - (-6)/(-15). Is 5 + g + (77 - x) composite?
False
Let b(h) = -208*h**3 - 3*h**2 + h - 4. Is b(-3) composite?
True
Suppose -11*b + 12 - 1 = 0. Is (-231 + 8)/(2/(-15 + b)) a composite number?
True
Suppose 7*h - 247 + 44 = 0. Suppose 31*q = h*q + 282. Is q a composite number?
True
Let j(d) = 3*d - 4. Let t be j(4). Suppose -q - 5 = -4*v + t, 3*v + 4*q = -14. Suppose 0 = -0*m + v*m - 194. Is m a composite number?
False
Let o be ((-40)/25)/((-2)/(-5)). Is 1 - -393 - (4 + o) a prime number?
False
Suppose -7*p + 2*p = 0. Suppose p = 3*c + 4*k + 21, 30 = -c - 4*c - 5*k. Is c*(340/(-6) + -3) a prime number?
True
Suppose -3168 = -6*u + 786. Is u a prime number?
True
Suppose 2*x = -2*j - 151 + 7, -280 = 4*x + 2*j. Let c be (x/2)/(6 + -5). Let d = c + 68. Is d a prime number?
False
Suppose 117080 = -55*j + 95*j. Is j composite?
False
Suppose -3*v - 6 = -5*v. Suppose -3*f = -5*f + 6, v*f - 16 = -l. Suppose l*x = 2*x + g + 56, -5*x - 5*g = -50. Is x a composite number?
False
Let w = 13 + -13. Suppose 0 = -w*h - 4*h + 5*p + 10043, -10073 = -4*h - p. Suppose 0 = 4*i + 5*g - 1568, -516 = 5*i - 4*g - h. Is i prime?
True
Suppose 3*r - 18 = 5*a - 2*a, -2*a = -4*r + 26. Suppose 0 = -5*z + r*z - 3120. Let q = z - 583. Is q a prime number?
True
Let q = -24 + 26. Suppose -1385 = -q*x - 3*y, -5*x + 0*x + 4*y = -3497. Is x a composite number?
True
Suppose -3*o = -0*o + 84. Let p = o + 28. Suppose 4*d = q - 51, 4*q - 2*d = -p*q + 176. Is q a composite number?
False
Let a(u) = -21*u**3 + 3*u**2 - 3*u - 1. Let y be a(-4). Suppose -5*l + 2*x = 3*x - 1412, 5*l - y = -4*x. Suppose -5*h - 20 = 0, 4*d + 2*h = 41 + l. Is d prime?
True
Suppose 10487 = 5*s - v + 2026, -v - 3382 = -2*s. Is s prime?
True
Suppose -8199 = 54*w - 63*w. Is w prime?
True
Is -2*(-4)/(-16)*-12386 a prime number?
False
Let p = -463 - -965. Let j = 274 + p. Is (1 + -2)*j/(-4) a prime number?
False
Suppose 2*w = -0*w - z - 17, -z + 1 = 0. Is (-3)/6 - w/6*433 a composite number?
True
Let q(z) = -5*z + 790. Let f(o) = -3*o + 395. Let t(b) = -7*f(b) + 4*q(b). Let l be 0/((-4)/(4 - 8)). Is t(l) prime?
False
Suppose 2*o - 6 = 0, -4*p - 4*o = -3*o - 823. Let a(l) = 5*l**2 - 2*l + 1. Let k be a(11). Let d = k - p. Is d a prime number?
True
Let j(s) = -s**3 - 16*s - 1. Let t be j(-11). Let y(c) = -c**2 - 2*c + 22. Let m be y(-5). Suppose -t = -m*a + a. Is a a composite number?
False
Suppose -5 = -5*h + 25. Suppose -4 = h*u - 8*u. Suppose 0 = -z + 4*p - u*p + 381, -4*z - 3*p = -1480. Is z prime?
True
Suppose 117*p = 108*p + 150669. Is p prime?
True
Let k = 10 + 32. Suppose 0 = -4*m + 5*h - 13, 4*m - 8*m - 4*h = -32. Suppose 5*l - k = m*l. Is l prime?
False
Let w = -38 - -87. Let s be (-60)/(-14) + (-14)/w. Suppose -x - 1278 = -2*o - 16, s*x = 3*o - 1893. Is o prime?
True
Suppose -4*m + p - 176 = 0, -m - 44 = 2*p - 4*p. Is m*1*(62/(-8) + -4) a prime number?
False
Let a = 515 - 64. Is a prime?
False
Let d(p) be the third derivative of 3*p**2 - 1/6*p**3 + 0*p + 0*p**5 - 1/24*p**4 + 0 - 403/120*p**6. Is d(-1) prime?
False
Let g(b) = 4*b**3 + 12*b**2 - 28*b + 23. Is g(11) composite?
False
Let z = -405 - -2228. Is z a prime number?
True
Let l = -6 - -42. Is (23330/(-8))/(-5) + (-9)/l composite?
True
Let m(a) be the third derivative of -13*a**4/6 - 3*a**3/2 - 27*a**2. Suppose -5*b = 5*z + 15, -2*b = 4*z - z + 4. Is m(b) prime?
True
Let k(f) be the third derivative of f**7/2520 - f**6/240 - f**5/120 + f**4/12 - f**2. Let h(d) be the second derivative of k(d). Is h(-6) a prime number?
True
Let c = -14 - -21. Suppose -f = -12 - c. Suppose -3*a + 951 = 4*w, 5*w = -f + 4. Is a a prime number?
False
Let o(r) = -r**2 + 4*r + 4. Let j be o(4). Suppose -j*z + 234 = -5*v, 0 = -0*v + 2*v - 5*z + 97. Let h = 68 + v. Is h prime?
False
Let l(z) be the third derivative of -z**7/2520 + z**6/60 + z**5/30 - 5*z**4/24 + 5*z**2. Let d(s) be the second derivative of l(s). Is d(9) prime?
True
Let d(k) = -18*k + 5971. Is d(0) composite?
True
Let u = -8285 + 3404. Let k = -1718 - u. Is k a prime number?
True
Let l = -2 - -6. Let r(n) = -23*n + 5. Let d be r(l). Let z = 166 + d. Is z a prime number?
True
Let v(s) = 66*s**2 + s. Suppose 0 = -2*z - u + 7 - 4, z + 6 = -3*u. Suppose -d - 1 = -3*t, -t = -z*d - d - 4. Is v(d) composite?
True
Let j(x) = -x**3 - 8*x**2 - x - 3. Suppose 3*m = -15, -6*r + 3*m - 25 = -r. Let l be j(r). Suppose 5*t + l*z - 2*z = 1444, 0 = -4*z + 12. Is t composite?
True
Let g(k) = -2*k + 1 + 3 - 2*k**3 + 4*k**2 + k - 3*k. Let u be g(-4). Suppose -u = -2*c + 162. Is c prime?
False
Let q = -4848 - -17435. Is q a prime number?
False
Suppose -4*g + 14 = 2. Is (g/(-2))/((-33)/1034) prime?
True
Let l(g) = -5*g - 1. Let n be l(-1). Suppose -n*x - 7 = 3*q - 2*x, -12 = -2*q + 2*x. Let w(y) = 302*y**2 + y - 2. Is w(q) a prime number?
False
Let w be (1431/2)/(9/54). Let q = w - 1772. Is q prime?
True
Suppose 2*z - 6 = -4*g + 10, -3*g = z - 3. Suppose -v = 5*v - z. Is v a composite number?
False
Suppose 1022 = 5*b - 368. Let j(d) = -85*d - 4. Let q be j(-1). Suppose -5*y + q = 3*f - b, -617 = -5*f + y. Is f a composite number?
True
Let s(n) = 7*n**2 - 4*n - 4. Let q(o) = o**2 + 20*o - 1. Let m(z) = z + 1. Let r(d) = -2*m(d) + q(d). Let i be r(-18). Is s(i) prime?
True
Let j be 4/6*27/(-6). Let k be j/(11/(-4) - -2). Suppose -144 = -2*x - 5*m, k*x + x - 393 = 4*m. Is x prime?
False
Let f(g) = -3*g - 1. Let v(t) = -t**2 + 3*t + 2. Let p(c) = -6*f(c) - 5*v(c). Is p(-5) a prime number?
False
Let c(d) = 3945*d**2 + 32*d - 86. Is c(3) a composite number?
True
Let g(j) = -620*j - 14. Let d be g(-5). Is (d/(-4))/((-4)/8) a composite number?
False
Let q = -1093 - -5586. Is q prime?
True
Suppose -3*o + 28 + 6 = a, 4*o = -4*a + 56. Let z be (1 + (-82)/o)*-5. Suppose 3*u + 21 = 3*x - z, 2*u - 57 = -3*x. Is x a composite number?
False
Suppose -4*w + 24 = -3*w. Let u = -18 + w. Suppose 5*k - u*t + 2*t - 2061 = 0, -5*k + 2064 = -t. Is k a composite number?
True
Suppose -9*g - 208 + 3889 = 0. Is g prime?
True
Suppose -p = 4*c + 26, p = -10*c + 9*c - 23. Is (1 - -1244) + 26 + p a prime number?
True
Suppose 20*p = -266117 + 759277. Is p a prime number?
False
Let d be (2 + -95)*(3/(-9) - 0). Let w = d - -16. Is w a composite number?
False
Suppose 5*j - 20 = 0, 5*j = -4*t - 30 - 310. Let q = -75 - -56. Let m = q - t. Is m composite?
False
Is 0 - (-7 - (-4 + -245396)/(-6)) prime?
False
Suppose 0 = -2*m + 33 + 9. Suppose -m*n = -22*n + 1069. Is n a composite number?
False
Suppose 0 = -7*r + 61 + 3068. Suppose -565 = -4*u + r. Is u a prime number?
False
Is (-6 + (-55989)/(-63))*7 a prime number?
False
Let d(q) = 7*q - 3. Let r be d(2). Let y = 174 - r. Let f = y + -76. Is f a prime number?
False
Is (1083920/408)/(2/3 + 0) composite?
True
Suppose h - 318 = -2*h - 5*t, h = t + 98. Is h - (2 + 4 + -2) composite?
False
Let g(t) = 2*t - 13. Let c be g(6). Let x be (5/c)/5*5. Is x*2/(-10) + 552 prime?
False
Let v = -9 - -15. Let x be (-2)/4 - (-21)/v. Suppose -19 = x*b - 4*b. Is b composite?
False
Let y(z) = z**3 - 11*z**2 - 5*z + 20. Let b be y(9). Let n = b - -336. Is n composite?
False
Let k(s) be the first derivative of 4*s**3 - 13*s - 5*s**2 - 1/4*s**4 - 5. Is k(10) a composite number?
True
Let d(j) = 2*j**2 - 3*j + 2. Let o be d(1). Let m be 5*o*42/(-70). Is (174 - (m + 0)) + 2 prime?
True
Let z = 2198 - -737. Is z a composite number?
True
Suppose -7596 - 147112 = -4*p. Is p prime?
True
Let o be 0/(-4 + 9) + 2. Suppose 0 = -l + 3*l + o, 3*u + 3*l - 360 = 0. Is u a prime number?
False
Suppose 0 = -14*m + 101180 + 2546. Is m prime?
False
Suppose 21914 = r - 3*l, -8*r + 65777 = -5*r - 2*l. Is r a prime number?
True
Suppose 6*q - 97