composite number?
False
Suppose -23 = c + 5*h, 3*c - h - 8 = 3. Suppose m + 5*g = 695, -4*m - c*g = -0*g - 2780. Is m composite?
True
Suppose 7*r - 4*r + 336 = 4*g, -4*g = -5*r - 344. Suppose -n + 82 = -g. Is n a prime number?
True
Let j(x) = 21*x - 1. Let t(c) = -62*c + 2. Let v(z) = -8*j(z) - 3*t(z). Is v(2) prime?
False
Let a be 2/(2 + 288/(-141)). Is a/((-2 + -1)/3) composite?
False
Suppose 4*c = -0 + 8. Let o = 6 - c. Suppose o*f = -f + 155. Is f a composite number?
False
Suppose 0 = c - 2 + 5. Let p be ((-1)/1)/((-1)/c). Is ((-49)/3 + 2)*p a prime number?
True
Is (-1)/(3 + (-238)/79) a composite number?
False
Let v be (6/5)/(10/75). Suppose -s = 2*s - v. Suppose s*m = -48 + 117. Is m a composite number?
False
Is (-1 + -465)*(-2)/4 a composite number?
False
Suppose 5*y - 15 = -m, 4*m = y - 6*y + 15. Let d(x) = 6*x**3 - 3*x**2 - 4. Is d(y) a prime number?
True
Let s be (4/(-1))/(1 + -2). Suppose -s*j - j = 5. Is ((-1)/((-3)/(-30)))/j a composite number?
True
Suppose -t = -7 - 51. Is t a prime number?
False
Let i be (-2)/(-15) + 880/150. Suppose -i*u + u = -50. Is u a prime number?
False
Suppose -32 = 2*k + 18. Is 6/(-15) - 1160/k composite?
True
Is (201*(-20)/(-15))/2 a prime number?
False
Suppose -13*z - 1758 = -16*z. Is z composite?
True
Let z(g) be the first derivative of -g**4/4 + 2*g**3 - 5*g**2/2 + 2*g + 1. Let i be z(5). Suppose h - 37 = -i. Is h a composite number?
True
Suppose 2*y = 5*y. Let a be (-16)/(-10)*(-5)/(-2). Suppose 5*p + v - 3*v - 187 = y, 5*p - a*v - 179 = 0. Is p a composite number?
True
Let z(s) = 46*s**2 + s - 8. Is z(3) composite?
False
Suppose -16033 = -3*y + s, 5*y - 4*s - 26717 = -0*s. Is y composite?
True
Let y(r) = 2*r**3 - 4*r**2 + 4*r. Let l be y(3). Suppose 0 = 2*i - 4*i + l. Is i a composite number?
True
Suppose 0 = 5*b + 20, -m + b + b = -1060. Suppose -w + 5*w = m. Is w prime?
True
Let y(x) = -x**3 + 4*x**2 + 4*x + 5. Let v be y(5). Suppose -5*l = -5*k - 125, -5*l + v*k = -3*k - 121. Is l prime?
True
Suppose 0 = -3*l - 3*c + 4437, -2*c + 2666 = -4*l + 8594. Is l prime?
True
Let f = 4901 + -3264. Is f a prime number?
True
Let f = 1 - -3. Is (-2)/f*-46 + -2 prime?
False
Suppose 0 = 4*n - 3*m - 615, -3*n - 2*m + 0*m + 440 = 0. Suppose -5*d + n = p, d + p + 36 = 2*d. Suppose -6 + d = -5*u, -u + 74 = l. Is l a prime number?
True
Suppose z = 3*o - 6*o - 1, -o - 3 = -z. Suppose 202 + 28 = z*l. Is l composite?
True
Let z(q) = q**2 - 11*q + 3. Let b be z(8). Let k = 48 + b. Let v = 26 + k. Is v composite?
False
Let m = 28 - 25. Suppose l + l - 135 = -3*t, 4*l + 5*t - 271 = 0. Suppose -m*h + 300 = l. Is h prime?
False
Let c = 287 - 566. Let y = 453 - 853. Let u = c - y. Is u prime?
False
Let h = 6 + 1. Let i = h - 0. Is i a prime number?
True
Let n(s) = -5 + 4 + 0. Let u(o) = 6*o. Let x(i) = 3*n(i) + u(i). Is x(2) prime?
False
Let b = 2 - -2. Suppose 85 = g + g - 3*k, -b*g + 2*k + 150 = 0. Is g a composite number?
True
Let c = 1 - -1. Let r be (-5 - 1)*(-1)/c. Is (57/9)/(1/r) a composite number?
False
Suppose -7*x = -9*x + 3554. Is x a prime number?
True
Let v = 75 - 32. Suppose 3*h - 3*a - v = 5, -3*a = -15. Is h composite?
True
Let l be 14/((-3 + -1)/(-2)). Let n = 10 - l. Is n composite?
False
Let a = 3 + -5. Let b(d) be the first derivative of 10*d**3/3 + d**2/2 - d - 1. Is b(a) composite?
False
Is (-1 + (-1)/(-2))/(1/(-188)) composite?
True
Let c(a) = -a**3 - 11*a**2 + 6*a + 7. Is c(-12) a prime number?
True
Let b be 3/2*(-32)/(-6). Suppose 3*d = b*d - 665. Is d prime?
False
Suppose -2*w - n = -0*n - 503, 2*w - 5*n = 497. Is w composite?
False
Let k = -30 - -21. Let t = k + 27. Let d = 53 - t. Is d composite?
True
Suppose -21*t + 12 = -15*t. Suppose 0*w + 10 = -w - 3*j, -12 = -4*w + j. Suppose 5*i - 60 = w*r, -45 = -0*i - t*i + 5*r. Is i a prime number?
False
Let l(w) = -15*w + 1. Let c be l(-3). Suppose -n + m = -21, 2*n - 7*m = -3*m + c. Is n a composite number?
False
Let v(y) = 8*y + 19*y - 6 + 15*y + 5. Is v(6) prime?
True
Suppose k + 68 = 2*g, 5*g + k + 3*k - 144 = 0. Let x = g + 60. Is (1/((-2)/x))/(-2) a composite number?
False
Let b(c) = -c**2 + 2*c + 2. Let n be b(6). Is n/(-8)*(14 + -2) prime?
False
Let m be (-7)/((-14)/344) + -1. Let g = m + -116. Is g a prime number?
False
Suppose -10*i + 0*i + 1430 = 0. Is i a prime number?
False
Let z(s) = -110*s - 9. Let u(f) = -111*f - 10. Let m(k) = -6*u(k) + 7*z(k). Is m(-2) composite?
True
Suppose v = -4, 3*y - 6*y + 1 = -v. Let f(n) = 615*n**2 + n + 1. Let z be f(y). Let q = -352 + z. Is q a composite number?
False
Suppose 3*y = -5*o + 3663, 3*y + o - 3669 = -2*o. Is y a prime number?
False
Let z = -242 - -405. Is z a composite number?
False
Suppose 5*l - 27 = -7. Let r(w) = 1 + 0*w - 2 - l*w - 2. Is r(-7) prime?
False
Let f be 2*(-4 + (-1 - -3)). Let w(a) = -4*a**3 - 3*a**2 + 3. Is w(f) prime?
True
Suppose 5*k - 5*m + 0*m - 3935 = 0, -2*m = -4. Is k prime?
False
Let x(k) = 5*k**2 + 2*k + 1. Let j be x(-1). Let r(w) = w**3 + 3*w**2 + 3*w + 3. Is r(j) a prime number?
True
Suppose 13*i - 8*i - 355 = 0. Let d(x) = x**2 + x - 1. Let y be d(-2). Is i + (-2 - (-1 + y)) a composite number?
True
Let b(h) = -h + 14. Let k = -16 - -26. Let f be b(k). Suppose 2*c - m - 3*m = 16, 10 = c - f*m. Is c prime?
False
Let z = 6847 + -4862. Is z a prime number?
False
Suppose 3*w = 4*t + 3133, -2*w + 2*t + 717 = -1371. Is w a prime number?
False
Let f = -56 - -93. Suppose p + 5*o = 44, -3*p + o + f = -3*o. Is p a prime number?
True
Suppose 4*c - 3*c = 502. Is c a prime number?
False
Let d be (-1)/(5/2 + -3). Let b = 1 + d. Let t = b - -10. Is t a prime number?
True
Let v(g) = -g**3 + 4*g**2 - g + 3. Let l be v(4). Let i be (l - 2)*-31 - 1. Suppose 2*s - i = -2*s. Is s composite?
False
Let b(l) = -2*l**3 + l**2 - 2*l + 2. Let z be b(-4). Let q = z - 63. Is q a composite number?
True
Let k = -3 - -23. Is (28/10)/(8/k) prime?
True
Suppose -7*f + 16795 = -2*f. Is f a prime number?
True
Let n be 2/8 - 7362/8. Is (n/(-2))/2 + 3 composite?
False
Let l(c) = -307*c. Is l(-1) a prime number?
True
Let z(y) = -21*y + 5. Let b be z(4). Let x = b - -312. Suppose -3*a = 4*n - x, -4*n = -n + 2*a - 176. Is n composite?
True
Is (-210 + -1)*(-3 - -2) a composite number?
False
Suppose 2*x = -4*v + 22, 7*x = -3*v + 4*x + 18. Suppose -v*g + 276 = -g. Is g prime?
False
Suppose -6 = -4*m + 10. Suppose 0 = m*x - 4*q - 28, 0*x + 3*q + 11 = x. Suppose x*a - 484 = a. Is a a prime number?
False
Let d(n) = n**3 + 11*n**2 - 5*n + 21. Is d(-8) a composite number?
True
Is ((-2)/(-8))/((-1)/(-652)) prime?
True
Let y = 10 + -12. Is (-2)/y - -4*17 a prime number?
False
Let s = 4 + -2. Let h be (-85)/s*(2 - 0). Let g = h - -140. Is g a composite number?
True
Let f(j) = j + 11. Let a(k) = 1. Let t(o) = -6*a(o) + f(o). Let i be t(-6). Is 35 - 6/3*i a composite number?
False
Is ((-2)/(-8))/(1/844) a composite number?
False
Let w(g) = 11 - 9 + 9 - 3*g. Suppose -3*o + 39 = -3*l, 6*l - 3*l + 5*o - 1 = 0. Is w(l) a prime number?
False
Let n = -21 + -13. Let t = 96 - 149. Let u = n - t. Is u a composite number?
False
Suppose 5*c - 2180 = -3*b - 2*b, 5*b - 3*c = 2172. Suppose -2*z = z - b. Is z a prime number?
False
Suppose -57 = -y + 22. Is y prime?
True
Suppose -2*j + 4*j - 9 = -3*y, 2*y - 6 = -5*j. Suppose n + j*n = 419. Is n composite?
False
Let d(i) = i + 1. Let r be d(3). Suppose -r*l + 376 = 3*j + 2*j, 5*j + 94 = l. Suppose -5*k + 3*k = -l. Is k composite?
False
Let p = -1134 - -708. Is p/((-2)/1) - -2 a prime number?
False
Suppose 244 = -2*r + 6*r. Suppose -3*c - 2*g = -r, -g = -2*c - 5*g + 38. Is c a composite number?
True
Suppose 3*o = -3*o + 114. Is o composite?
False
Let i be 0 + -3 + 14 + -7. Suppose 0 = -i*n + 5*n - 3*w - 213, -466 = -2*n - 2*w. Is ((-4)/(-6))/(8/n) composite?
False
Let x = 8 + -5. Suppose x*p = p. Let j(d) = -d + 26. Is j(p) prime?
False
Suppose 3*g + 4*g - 47621 = 0. Is g composite?
False
Suppose s - 2111 = -2*d - d, d - 707 = -2*s. Is d composite?
True
Let d = 4904 - 2401. Is d prime?
True
Let j = -2269 - -4219. Suppose 0 = 4*u - 2*a - j, -u = 2*a - 0*a - 475. Is u a composite number?
True
Let r(f) = -3*f**2 + 2*f + 123. Let b(s) = -2*s**2 + s + 124. Let q(y) = 4*b(y) - 3*r(y). Is q(0) a composite number?
False
Suppose 11*n + 8813 = 18*n. Is n prime?
True
Suppose -g + k = 2*g - 18, 