Suppose -2*v = v - o. Is v a composite number?
True
Suppose 15*u - 39319 - 85346 = 0. Is u a prime number?
True
Let r be (-1 - -4)*(-1)/(-1) - -4161. Let q = r - 1945. Is q a composite number?
True
Let r(u) = 189*u**2 - 5*u + 7. Let m be r(-3). Is (m/(-22) - 12/66)*-14 a prime number?
False
Let f = 12516 + -2119. Is f a prime number?
False
Suppose -3*v + 13861 = -2*v - 2*m, 69305 = 5*v - m. Is v a prime number?
False
Let b = -3256 + 7851. Is b a composite number?
True
Let a = 415 + 95. Let u = 250 - a. Let f = 511 + u. Is f prime?
True
Suppose -3*u - 3 = -2*u, 3*u + 708 = 3*b. Suppose 0 = x + l - b, -3*l - 191 = 2*x - 657. Is x prime?
True
Let h be ((-12)/(-2))/(-2)*4. Let d be 2/(-8) + (-1083)/h. Suppose -4*k + 266 + d = 0. Is k prime?
True
Let k(n) = n**3 - 34*n**2 + 82. Is k(37) prime?
False
Let q(o) = -o**3 - 14*o**2 - 18*o - 12. Suppose -p + f + 5 = p, -5*p - 2*f = -35. Suppose -2*m - p*z + 18 - 64 = 0, 4*m + 36 = 4*z. Is q(m) prime?
True
Is (-62528)/(-80) - (-9)/(-15) prime?
False
Let v be 1*38/(-1 - -3). Let f = v - 49. Let z = 8 - f. Is z composite?
True
Let r = 4387 + 1902. Is r composite?
True
Suppose 5*m + 3*n + 19 = 0, 2*n + 21 = -5*m - 0*n. Let f be (-1 - m)*(-5)/2. Is 45/18*(-3076)/f a prime number?
True
Let n(q) = -3*q**3 + 8*q**2 + 3*q - 11. Let x(g) = g**3 - 4*g**2 - 2*g + 7. Let u(b) = 3*n(b) + 5*x(b). Let j be -1*((0 - -1) + 2). Is u(j) composite?
False
Let c = -16 - -16. Suppose c = -3*h + h + 30. Is h a prime number?
False
Suppose -390017 = -96*x + 13*x. Is x composite?
True
Suppose -80762 = -13*v + 154785. Is v prime?
True
Suppose 2*q - c = 9, 3*q - 3*c = -5*c + 10. Suppose 6 = -3*l, -q*l = -3*h - 2*l + 163. Is h a prime number?
True
Let f(m) = -m**2 + 12*m - 2. Let n be f(11). Suppose -264 - 1041 = -n*d. Is d prime?
False
Suppose w - 3*j - 8320 = 0, -19*w + 24*w - 41642 = j. Is w composite?
False
Suppose -y - 12 = -5*y. Suppose 5*z - 3*t - 3847 = z, -z + y*t + 964 = 0. Let i = z - 654. Is i a prime number?
True
Let o be (1 + -2)/((-3)/(-9)). Let p be (8/6)/(o/5175). Is (-4)/6 + p/(-12) prime?
True
Let t = 9 + -4. Suppose -3*v + 614 = 2*b, -v + 1535 = t*b + 2*v. Is b a prime number?
True
Let n(r) = -887*r**3 + 8*r**2 + 10*r + 2. Is n(-1) a composite number?
False
Suppose 0 = 13*u + 3944 + 10395. Let o = u - -1576. Is o a composite number?
True
Let g = -154 - -261. Suppose -4*q + g = 727. Let h = -104 - q. Is h prime?
False
Let f = -23 - 350. Is f/((-5)/5*1) a composite number?
False
Let c = 8254 + -5219. Is c a prime number?
False
Let q(k) = -160*k**3 + 2*k - 2*k**2 + 4 - 4*k - 44*k**3 - 5. Is q(-1) a composite number?
True
Let c(z) = -12*z**2 - 8*z + 9. Let s(f) = 12*f**2 + 7*f - 8. Let q(j) = -6*c(j) - 7*s(j). Let a(x) be the first derivative of q(x). Is a(-2) a composite number?
False
Let r = -21 + 21. Suppose 7 = v - 3*b, 5*v - 79 = -r*b + 4*b. Let t = 56 - v. Is t composite?
False
Suppose -5*q = -20*c + 16*c + 2516, 2*q - 3178 = -5*c. Is c composite?
True
Is -7*(5 - (-77056)/(-49)) a composite number?
False
Let j(s) = s**3 + 5*s**2 - 6*s + 5. Let t be j(-6). Suppose 4*l + 5*z = 2302, 2*z + 3*z - 2875 = -t*l. Is l a composite number?
True
Let w(u) = 17*u**2 - 20*u - 8. Let l be w(-9). Let t = l - 150. Is t composite?
False
Let i be -3*1 + (-21)/(-7). Suppose i = 2*o - 177 - 145. Is o a prime number?
False
Let a(o) = o**3 + 18*o**2 - 22*o - 26. Suppose -171 = 15*j - 6*j. Is a(j) composite?
False
Is 88/4*(2709/18 - -8) a prime number?
False
Let q(t) = 25*t**2 - 3*t + 5. Let c(g) = g**2 + 5*g. Let v be c(-4). Is q(v) prime?
False
Let z = 32 - 29. Let c be z*(-5)/(60/(-1124)). Let u = c - 194. Is u prime?
False
Is (561868/(-228))/((-1)/3) a composite number?
False
Suppose 3*k + 2*a + 118 = 8*k, -4*k + 91 = -5*a. Let l = -19 + k. Suppose -3*q = l*b - 0*b - 73, 3*b + 78 = 4*q. Is q composite?
True
Let n = -6 + 8. Let f be n + -100 - (-2 - -2). Let p = 247 + f. Is p a composite number?
False
Let y = -728 - -1981. Is y a composite number?
True
Let y(b) be the second derivative of b**5/10 + b**4/6 + b**3/3 + 7*b**2/2 + 14*b - 2. Is y(5) a composite number?
False
Suppose -5*o - 26 = -4*c + 40, -2*c = -8. Is (-2 + (-615)/o)*2 prime?
False
Let x be 18/(-15)*20/8. Is 1/(x - (-284)/94) composite?
False
Suppose -429 = -26*j + 3185. Is j a prime number?
True
Let m = -3412 - -6423. Is m prime?
True
Suppose 0 = 4*u + 3*c - 4*c - 1641, -4*c + 1207 = 3*u. Is u composite?
False
Suppose 2*z - 12 = -2*m, -4*z + 9 - 3 = -2*m. Is (-2203)/(4 - z)*(-1)/1 a prime number?
True
Let n = -1212 + 8965. Is n a prime number?
True
Let t(p) = -p + 1. Suppose u + 2 = 2*v, 38 = -2*u + 7*u + 2*v. Let c be t(u). Is c*(-2 - 63/15) a prime number?
True
Suppose -3*b + 2*q + 2371 = -0*q, 2*q - 3941 = -5*b. Is b composite?
True
Suppose -2 = 2*g - 8. Suppose g*i - 4*i + 309 = 0. Is i a prime number?
False
Let r = 75 - 64. Suppose -4*b = -r*b + 9527. Is b composite?
False
Is (-10301)/7*273/(-39) a prime number?
True
Let v(l) = 0*l**2 + 32 - 9*l - 12*l + l**2 - 9. Let u be v(20). Suppose -u*x + 2*a + 157 = 2*x, 3*x + 5*a - 88 = 0. Is x prime?
True
Suppose -14*o + 26496 + 22658 = 0. Is o prime?
True
Let o = 536 + -155. Suppose 16*w = 13*w + o. Is w a prime number?
True
Let x(z) = -z. Let k(m) = -104*m + 6. Let f(s) = -k(s) - 5*x(s). Let t be f(-2). Let v = 39 - t. Is v a prime number?
True
Suppose 8*s = 14*s - 1446. Let u = s + -158. Is u prime?
True
Suppose -z = -3*u - 3838, 4*z - 15362 = -2*u + 4*u. Is z a composite number?
True
Let c(u) = -4 - 4*u**2 + 1 + 2 - 2*u**3 + 0*u**3 + 2*u. Let o(l) = -3*l**3 - 8*l**2 + 5*l - 2. Let w(i) = 5*c(i) - 2*o(i). Is w(-4) prime?
True
Let j(p) = p + 6. Let z be j(2). Suppose n + 6 - z = 0. Suppose -h + 379 = 5*a - 198, 5*h - 2939 = n*a. Is h a prime number?
True
Let v(f) = 268*f + 1. Let z(m) = -m. Let j(q) = v(q) - 2*z(q). Is j(2) prime?
True
Suppose -13*g + 4 = -11*g, -3*j = -3*g - 17937. Is j a composite number?
False
Let t(y) = -230*y - 12. Let n be t(-7). Let x = -1095 + n. Is x a prime number?
True
Let n be (-24)/(-16) - 2/(-4). Suppose 1231 = 3*l - n*p, 3*p - 254 - 138 = -l. Is l a composite number?
True
Let w be 0/(-1 - (-4)/2). Suppose -4*p + 952 = -2*b, -4*b + 486 = 2*p - w*b. Is p a prime number?
True
Suppose 6*h + 486 = 4338. Suppose -5*t - 217 = -h. Is t composite?
True
Let r = 134725 - 89138. Is r a prime number?
True
Suppose -23*q = -4*q - 302195. Is q prime?
False
Suppose -23*n + 625 = -6068. Is n prime?
False
Let q(j) = 1336*j**3 + 4*j**2 - 8*j - 1. Is q(2) a prime number?
True
Let r(z) be the first derivative of 14*z**4/3 - z**3/2 - 5*z**2/2 + 1. Let w(b) be the second derivative of r(b). Is w(1) a composite number?
False
Let k = -2 + 2. Suppose k = 4*r - 10 - 10. Let g(h) = 4*h**2 - 7*h + 2. Is g(r) a prime number?
True
Suppose 4*u = -2*s + 72, u + 79 = 2*s + 7. Let y(z) = -s*z - 4 + 7 - 2. Is y(-3) a prime number?
True
Suppose -105*w - 4074 = -111*w. Is w a prime number?
False
Suppose x + 10 = 2*o - 5, 0 = -2*o - 5*x + 9. Suppose 5*b - 18 = o. Suppose 559 = b*r - 5*f - 536, -3*r + f = -653. Is r composite?
True
Let d = 22 + -19. Suppose 0 = d*t + m - 5828, -t - 2*m = -m - 1946. Is t composite?
True
Suppose -2*j + 27*a - 31*a + 155570 = 0, 0 = -4*j - 2*a + 311158. Is j prime?
False
Let z be (3/(-6))/(5/120). Let l(p) = p**3 + 12*p**2 + 2. Let t be l(z). Suppose -399 = -5*j - 2*r, -j - 4*j + t*r = -391. Is j prime?
True
Let y be 10/(-14) - 26/91. Let q = 1 + y. Suppose q = -4*l - 4, -j = j + 4*l - 286. Is j composite?
True
Suppose -25*q + 57613 = -8*q. Is q composite?
False
Let i be (0 - -1) + 2 + (-12)/(-4). Suppose -4*c - 7*r + 1318 = -i*r, 0 = 3*c - 4*r - 979. Is c composite?
True
Suppose -2*c + 2*y = 7*y - 597, -2*y - 867 = -3*c. Is c prime?
False
Let u(x) = -15*x + 164. Is u(-31) a prime number?
False
Let t be 3 + -1 + 1 + -2. Let p = -1 + t. Suppose p = -i - 4*s - 134 + 407, -3*i + 739 = -4*s. Is i composite?
True
Let g(c) = 49*c + 43. Suppose 5*z - 115 = -0*m + m, 3*m + 37 = z. Is g(z) composite?
True
Suppose 2*w - 12 = 5*v, 1 = w - 3*v - 6. Let t be 25/w*(-4 - -3). Let p = t + 122. Is p a prime number?
True
Let y(w) = w + 5. Let f be y(0). Let i be 6 + (2 - 7)/f. Is (-15)/i + (119 - -3) a composite number?
True
Suppose -r - j - 3*j - 12 = 0, 5*r = -5*j - 15. Suppose -13*d + 15*d = r. Suppose d = -2*