w(0) a composite number?
False
Suppose -14 = u - 109. Is u a composite number?
True
Let u be (-5472)/(-20) - 6/(-15). Suppose -2*g = -u - 240. Is g composite?
False
Suppose -2*v + 775 = 3*n - 0*n, -2*n + 1570 = 4*v. Is v composite?
True
Let p(q) = -q**3 + 7*q**2 - 8*q + 10. Let n = -10 + 17. Let f be p(n). Let w = 125 + f. Is w prime?
True
Suppose -40 = 3*m + 5*a, m = 4*m - 5*a - 10. Let h(g) = g**2 + 3*g + 6. Let y be h(m). Let o = y - 10. Is o composite?
True
Let o = -194 + 533. Suppose -14 = 2*r + 4*y - 348, 0 = -2*r - 5*y + o. Is r a composite number?
False
Suppose 5*s = -0*s + 1110. Suppose -g = -11 - s. Is g prime?
True
Let n(g) = 2*g**2 + g + 7. Let b(l) = -l. Let p(d) = 5*b(d) + n(d). Is p(6) a prime number?
False
Let c = 4 + -2. Let v = c + -5. Is v/(-2)*(-16)/(-6) prime?
False
Let u(b) = 54*b**2 + 11*b - 5. Let s(z) = -36*z**2 - 7*z + 3. Let c(r) = -8*s(r) - 5*u(r). Let p(h) be the first derivative of c(h). Is p(1) prime?
True
Let x = -101 - -318. Is x a prime number?
False
Suppose -c + 14 = c. Let m(f) = f**2 - 2. Is m(c) a prime number?
True
Suppose 0 = 4*m, -m = 3*d + 4*m - 489. Is d a prime number?
True
Let z be (-2)/(-1) + -726 + -4. Is (-1 - z)/(2 - 1) a prime number?
True
Let s be 1/2*(-1 + 1). Suppose b - 254 = -s*b. Let m = b + -175. Is m prime?
True
Suppose -2*d = -2*g - 2, 4*g - 36 = -0*g - 4*d. Suppose -5*r + 6 = -2*r. Suppose -r*w - 2*w = -g, -5*w - 10 = -i. Is i a prime number?
False
Let z(p) = p - 9. Let i be z(8). Let f(t) = -t**2 + t - 4. Let g(r) = -r + 1. Let u(w) = i*f(w) + 4*g(w). Is u(6) composite?
True
Is (-3 - (-4 - -2))/((-1)/57) a prime number?
False
Suppose -5*u - 148 = -3*m, -2*m + 5*u = 3*m - 240. Suppose -4*k + 150 = m. Is k a prime number?
False
Let g = -354 - -152. Is 6/(-9) + g/(-6) composite?
True
Suppose -7*n = -5*n - 3014. Is n/3 + 6/9 composite?
False
Let u(h) = 58*h**3 + h**2 - 2*h + 3. Is u(2) a composite number?
False
Let c be (-490 - -1)*(-2 + 1). Suppose 3*o + 4*u - c = -4, -o = 3*u - 170. Is o a composite number?
True
Suppose -2*c + 0*c + 5*r - 97 = 0, -5*c - 233 = -3*r. Let s = 143 + c. Is s composite?
False
Let m = 27 - 7. Let g = 108 - 73. Let v = g - m. Is v a prime number?
False
Let z(x) = 15*x - 21. Let r(h) = -h. Let c(u) = 12*r(u) + z(u). Is c(14) composite?
True
Let d be -3*(1 + 20/(-6)). Let g(l) = l**2 - 7*l + 4. Let a be g(d). Suppose -185 = -a*x - x. Is x prime?
True
Let i(g) = -7*g - 2. Suppose n = 3*n - 12. Let c be i(n). Is -1 + 3 + (1 - c) prime?
True
Let c(v) = -18*v - 13. Is c(-9) a prime number?
True
Suppose 0 = 5*u, -4*u = 5*q - 0*u - 185. Is q prime?
True
Let h = 82 + -86. Let n = -7 - -1. Is h/(-2 + (-8)/n) composite?
True
Suppose -3*w + 5*w + c = 104, w + 5*c - 43 = 0. Is w prime?
True
Suppose 107*o = 110*o - 10497. Is o a composite number?
False
Suppose 0 = -3*h + 3*d, -3*h - 4 - 6 = 2*d. Let y be (0 - -2)*(-3)/h. Suppose 92 = y*t + t. Is t a composite number?
False
Let c(k) = -k**2 + 7*k - 4. Let j be c(6). Let i(z) = 3*z - j*z**2 + 15 + 4*z**2 - 11. Is i(-5) a composite number?
True
Let n(l) = -5*l + 4. Let r(b) = -19*b**2 + b + 1. Let d be r(1). Is n(d) composite?
False
Let p(g) = -16*g + 9. Is p(-5) a composite number?
False
Let n(c) = -c**2 - c. Let b be n(-2). Is 46/(2/(-6)*b) a prime number?
False
Suppose 4906 = 5*y - 3759. Is y a prime number?
True
Let g be 8/20 - 1178/(-5). Suppose 5*m = -a + 563, -2*m + 5*a + g = -0*m. Is m a composite number?
False
Suppose 3*o + u = -549, 2*o - 5*u = -0*u - 349. Let k = 20 - o. Is k composite?
True
Let k(d) = d**3 - 4*d**2 + d - 4. Let p be k(4). Suppose -306 = -f - z, p*f + 311 = f + 2*z. Is f a prime number?
False
Suppose 2*b + g - 3 = 0, 5*g - 25 = -2*b - 2. Let c(r) be the first derivative of -18*r**2 - r + 3. Is c(b) prime?
False
Suppose 4*r + 42776 = 12*r. Is r a composite number?
False
Let k(u) = u**3 + 7*u**2 + 2. Let o be k(-7). Suppose 0 = 4*n - s + 19 + 20, 0 = -n - o*s - 12. Is 6/((-24)/n + -2) composite?
True
Suppose -1592 = -3*l - 569. Let k be l/(-4) - 2/(-8). Let s = k - -120. Is s a prime number?
False
Let z(g) be the third derivative of -79*g**4/24 + 2*g**2. Suppose 3*b + 4*a = 13, 3*b - 2*a + 12 = -b. Is z(b) composite?
False
Suppose 5*b = -4*v, -b + 22 = 2*b - 2*v. Let x(r) = r**2 - 2*r - 2. Is x(b) prime?
False
Let x(a) = -26*a + 9. Is x(-7) prime?
True
Let h = 3 + -3. Suppose -4*o - 4*w + 44 = h, -4*w - 46 = -5*o - 0*w. Is o composite?
True
Let k(a) = -2*a**3 + a. Is k(-3) prime?
False
Let p = 535 + -108. Is p a prime number?
False
Suppose -7*a = -3*a + o - 50442, -4*a + 50454 = -5*o. Is a a composite number?
False
Let t = 1458 + -813. Is (2 + t/(-6))*-2 prime?
True
Let t = 945 + -614. Is t a prime number?
True
Let v(t) = 534*t**2 - t. Is v(1) a prime number?
False
Let c(a) = -5*a - a**3 - 4*a**2 + 4*a**2 + 6*a**2. Let z be c(5). Suppose -y + z*y = -67. Is y a composite number?
False
Let i(t) = t**2 - 8*t + 10. Let w be i(7). Suppose 9 = 5*s - 3*f + w, 4*s + 4 = -2*f. Suppose 4*q - 3*l - 2*l = 371, s = 5*q + 3*l - 436. Is q prime?
True
Let o be (-1 - 0)/(-1) - -147. Suppose -3*j = -5*b + 218, -4*j - 5*b = 388 - 109. Let z = j + o. Is z prime?
False
Suppose -5*m + 3659 = 3*x, -2*m + 7*m = 5*x + 3675. Is m composite?
False
Let d(n) = 7*n**2 + 5*n + 12. Let i be d(9). Is (1 - -2) + i/3 a composite number?
False
Let j(s) = -43*s + 5. Is j(-22) a composite number?
True
Let t(f) = -f**3 + 9*f**2 + 23*f - 11. Let n be t(11). Let y be 374/10 - 4/10. Suppose 0 = -3*g + 4*b + 111, n*b - 5*b - y = -g. Is g composite?
False
Let w(r) = -r**3 - 6*r**2 + 7*r - 2. Let c be w(-7). Let h be -249 - -1*(-2)/c. Let q = 759 + h. Is q composite?
True
Suppose -5*p = -p + 16. Let v = p + 5. Is (v/2)/(1/74) a prime number?
True
Let u(b) = 112*b - 1. Let m be u(1). Suppose t - 4*v - m = 0, -4*v + 222 = t + t. Is t prime?
False
Suppose -2*i + 0*i - 34 = -2*n, 0 = 4*n + 5*i - 23. Let x(z) = -z**2 + 12*z - 7. Let s be x(n). Is 13/(1*(-1)/s) prime?
False
Suppose -2*x + t = 3*t - 18, 9 = 5*x - 4*t. Is 2703/x + 20/50 composite?
False
Let x(l) = -l + 13. Let h be x(8). Is h/2*(12 + 2) a composite number?
True
Let d = 6 + -2. Suppose d*b = -b - 5*h - 315, 4*b - 5*h = -270. Let k = b + 108. Is k prime?
True
Let n be 4/3*36/(-6). Let c(v) = -v**3 - 5*v**2 + 9*v + 11. Is c(n) a composite number?
False
Let m be 1062/(-8) - (-6)/(-24). Let n = -75 - m. Is n a composite number?
True
Let n be (2/4)/(1/2300). Let y = n - 639. Is y prime?
False
Let a(m) = -9*m + 3. Let u be a(2). Let n be (-1)/((-3)/(-6)) + u. Let k = n + 31. Is k a prime number?
False
Let g(f) = -144*f + 5. Is g(-12) a prime number?
True
Let w = 519 - 280. Is w a composite number?
False
Suppose 5*f = -40 + 15. Let v(u) = u**3 + 9*u**2 + 2. Let a(i) = -i**2 + i - 1. Let x(b) = 3*a(b) + v(b). Is x(f) a composite number?
True
Let v(k) = 0*k - 3 + 4*k**2 - k + 2*k. Suppose 6*p - 20 = p. Is v(p) a prime number?
False
Let b be 2/4 + (-9)/(-2). Suppose 0 = -i + 2*n + 87, 4*n + 11 + b = 0. Is i composite?
False
Let s be (1 - 2)*(2 + 3). Let b(o) = -o**3 - 2*o**2 + 3*o + 7. Is b(s) prime?
True
Let u = 35 - -2. Suppose 2*l - 65 = u. Is l prime?
False
Let o(s) = 203*s + 39. Is o(8) a prime number?
True
Suppose 0 = -b - 4*b + 3*p + 464, 0 = -2*b - 5*p + 198. Suppose 2*y - b = -0*y. Suppose -3*d + 7*d + 3*r = 85, 3*r - y = -2*d. Is d a composite number?
False
Suppose -12 + 2 = -5*r. Let n be r/3 + 10/30. Is ((49 - -3) + 1)/n a prime number?
True
Is (0 + -2)*(357/(-6) + 4) prime?
False
Let k(u) = -77*u - 25. Is k(-6) a composite number?
True
Let a be (40/2)/(3/(-12)). Let z = a + 115. Is z composite?
True
Is -149*(-11 + -4 + 4) composite?
True
Let a(l) = -238*l**3 - 2*l**2 - l. Is a(-1) composite?
True
Let k be (0 - 1)/((-3)/747). Suppose -2*p + 126 = a, 38 + 82 = a - p. Let t = k - a. Is t a composite number?
False
Suppose -4*f - 220 - 129 = -3*j, j + f - 107 = 0. Is j a prime number?
False
Let z = 0 - 0. Let g = -3 + z. Let t = 6 + g. Is t prime?
True
Let m(q) be the third derivative of -q**4/4 - 11*q**3/6 + q**2. Is m(-9) composite?
False
Let y be 1/(2 - 1) - -1. Let a be y/(-2) + 0 + 41. Suppose 0 = 4*b - 132 + a. Is b a composite number?
False
Suppose 0 = 3*v + 5*u - 334, 0 = 2*v + 4*u - 85 - 137. Suppose -4*a - y + 844 = 0, -v = -a + y + 98. Is a prime?
True
Let l = 191 - -1882. 