s a composite number?
False
Let n(i) = -296*i + 1. Is n(-3) composite?
True
Suppose -5*t + 327 = -2*t. Is t a prime number?
True
Suppose 2*o = 2*s, 3*s = -o - 3*o + 35. Suppose -s*y + 37 = -38. Is y a composite number?
True
Suppose -3*q = -q - 4*c - 12, 0 = -5*q - 3*c + 17. Suppose 5*u = -2*o + 277, 2*u - 98 = -q*o - 0*o. Is u composite?
True
Let l = 1485 - 716. Is l prime?
True
Is 532/10 + 1/(-5) prime?
True
Suppose -5*t - 8 = u - 0*u, 5*t = -5*u. Let o be (-1)/((u + 1)/3). Is (0/o - 2) + 9 prime?
True
Suppose m - 14 = 10. Suppose -m = -2*p + p. Let u = p + -17. Is u composite?
False
Suppose -3*w + 2*f - 477 = 0, w + 2*f + 27 + 132 = 0. Let c = -65 - w. Is c composite?
True
Suppose 0 = -4*r + 5*m + 2691, 2*m + 3339 = 5*r + 4*m. Is r prime?
False
Let z(m) = m - 6. Let t be z(0). Suppose 0 = -8*l + 5*l - 240. Is l/(-6) + t/(-9) composite?
True
Suppose -4*f = -5*j + 3197, 5*f - 4 = 3*f. Is j prime?
True
Let c = 8 + -5. Suppose -8 - 1 = c*v. Let i(u) = 4*u**2 + 2*u + 3. Is i(v) a prime number?
False
Let l(z) = -30*z - 3. Let c(a) = -91*a - 10. Let g(y) = -2*c(y) + 7*l(y). Is g(-2) a prime number?
False
Let v(n) = -6*n**3 + n**2 + 2*n. Let w be v(2). Let c = 22 - w. Is c prime?
False
Let j(z) = -z. Let m = -13 + 8. Let s be j(m). Let x = s - -17. Is x composite?
True
Let v = -4 - -8. Suppose -5*j = -v*j - 2. Suppose 3*l = j*l + 46. Is l composite?
True
Suppose -h - u + 31 = 0, 4*h - u = -39 + 178. Suppose -h = i - 3*i. Let x = 5 + i. Is x composite?
True
Let y(k) = -77*k + 6. Is y(-3) a prime number?
False
Let z(o) = -6*o**2 - 2*o + 4. Let w be z(3). Let l = 53 - w. Is l a composite number?
False
Suppose 0 = 6*v - v. Let m(x) = -x**2 - x - 118. Let w be m(v). Is (2 - w/(-6))*-3 composite?
False
Suppose 0 = a - 5*a + 1276. Is a a prime number?
False
Let j = 22235 - 6688. Is j a composite number?
True
Suppose -2*b = b - 9. Suppose -5*p + 62 = -b*p. Is p a prime number?
True
Let p(a) = -3 + 38 + 14*a + 11. Let r(d) = 5*d + 15. Let y(j) = 4*p(j) - 11*r(j). Is y(-13) a composite number?
True
Let d(n) = -n**2 - 1. Let a(y) = y**3 - 10*y**2 - 3*y + 1. Let j(o) = -a(o) + 5*d(o). Is j(4) a composite number?
True
Suppose x - 1 = 3. Let f be 8/(-3*x/(-6)). Suppose -f*d = -d - 27. Is d prime?
False
Suppose -4*o = -1832 - 2140. Is o prime?
False
Let m(s) = s**3 - 4*s**2 + 3*s - 1. Let y be m(2). Let v = y + 6. Let t(b) = 6*b**2 + 5*b - 4. Is t(v) a composite number?
True
Let h be (-82)/(1/(-2 + 0)). Let q = h - 95. Suppose 2*s + s = q. Is s composite?
False
Let p(b) = 48*b**2 - 3*b + 2. Is p(1) composite?
False
Suppose -3*s + n + 635 = 0, -5*s + 1077 = 4*n + 30. Is s a prime number?
True
Let g = 19 + -1. Is (63/g)/(2/28) a prime number?
False
Suppose -r + 5*c = -4, 4*r - 5*c = r - 8. Let z be 6/(r/(-2)) - 27. Let l = 48 + z. Is l a prime number?
True
Let f = 1 + 1. Suppose -3*z - f*z + 5*k = -20, -2*k = -3*z + 12. Suppose -z*m - 471 = -5*b, 0 = 3*b - 4*b + 2*m + 99. Is b composite?
True
Suppose p + 3*n - 147 = 0, 0*p + 3*n = 2*p - 249. Suppose 0*z = -3*z - 5*k + 206, -2*k = -2*z + p. Is z a composite number?
False
Let x(r) = -r**3 - 2*r**2 - 2*r + 1. Is x(-6) composite?
False
Suppose j + j + 4*v = 214, -4*v - 464 = -4*j. Is j a composite number?
False
Let k = 691 - 364. Is k a composite number?
True
Let f(u) = -21*u - 5. Let v be f(-8). Suppose 0 = y + 45 - v. Let l = y - 53. Is l a prime number?
False
Let f = 12 + -7. Suppose y - 5*y + 5*k - 10 = 0, -f*y + 2 = k. Suppose 4*r + 5*n - 212 = 0, y = 5*r - 5*n + n - 265. Is r prime?
True
Let v(n) = 6*n**2 + 8*n - 17. Is v(4) composite?
True
Let l be 162/(-4)*4/(-6). Is (-1413)/l*(0 + -3) a prime number?
True
Let o(x) = x**3 + 3*x**2 + x + 5. Is o(6) a prime number?
False
Let d = 2641 - 1850. Is d a prime number?
False
Let q = 6 - 3. Suppose -2*h = 5*p - q*h - 393, h = 3*p - 235. Is p composite?
False
Let f(x) = 6*x**2 + 40*x - 36. Let l(w) = -w**2 - 8*w + 7. Let j(h) = -2*f(h) - 11*l(h). Let d be j(7). Let a(z) = 5*z**2 + 2*z - 2. Is a(d) composite?
True
Suppose -2*d + 5*m - 33 = -5*d, 2*d = 4*m + 22. Is d a composite number?
False
Let q = -49 + 95. Is q composite?
True
Let v(z) = z**2 + 7*z - 7. Is v(8) a prime number?
True
Suppose -g + 5*g = 29108. Is g a composite number?
True
Suppose 110 - 425 = -5*g. Let m be (-10)/(-4)*(g - -1). Suppose 2*q + 156 = 2*p, 0 = -2*p - 0*q + 3*q + m. Is p a composite number?
True
Suppose -6*m - 19 = -4*o - 3*m, -15 = 3*m. Suppose -a - 2*s = 0, 4*s - 1 - o = -a. Is a/(-7) + 1653/21 a composite number?
False
Suppose 0*i + 5*n = -5*i + 2805, 2813 = 5*i + n. Is i prime?
True
Let a be ((-92)/5)/((-7)/35). Suppose -c + a = 3*c. Is c a composite number?
False
Let u(o) = 3*o**2 + 2*o - 4 + 9 + 4*o. Is u(-6) a prime number?
False
Suppose -5*i + 179 = 9. Is i a composite number?
True
Is 4 - (-1 - 3 - 627) composite?
True
Let l = 1170 - 227. Is l composite?
True
Let y(s) = -s + 12. Let m be y(7). Suppose m*c = 3*p - 530, -p = -c - c - 212. Let g = -53 - c. Is g a composite number?
False
Suppose 0 = -k + 4 - 3. Let t(r) be the third derivative of 13*r**5/20 - r**4/24 + r**3/6 - 3*r**2. Is t(k) a composite number?
True
Is (-5 + 67975/(-15))/(4/(-6)) a composite number?
True
Let d be (-1 - -2)*18/3. Let l(n) = -n**3 + 15*n**2 - n + 1. Is l(d) a composite number?
True
Suppose 0 = 4*b - 8*b + 8936. Is b composite?
True
Suppose -2*i + 15 - 3 = k, -30 = -5*k - 4*i. Let t be (3 + -4)/((-1)/k). Suppose -2*a = 5*c, -t*c + 0 = -4*a - 24. Is c a composite number?
False
Let b(l) = l**2 + 4*l + 5. Let i = -9 + 1. Is b(i) a composite number?
False
Let i = 0 - -4. Suppose i - 1 = a. Suppose a*b - 4*b = -35. Is b composite?
True
Suppose 3*t - 11 = n, 5*n - 2 = -5*t + t. Is n/8 + 213/4 composite?
False
Let d(j) = -2*j**2 - 5*j - 7. Let z be d(5). Let t = z - -29. Let b = 92 - t. Is b prime?
False
Suppose 3*n - 3 = 0, 1162 = -5*y - 2*n - 206. Let d = y - -116. Is (d/(-6))/((-1)/(-3)) composite?
False
Suppose -5*u = -0*u - 2705. Is u prime?
True
Suppose -2*y - 5*a + 26 = -20, 34 = 2*y + 2*a. Let z be 1/(3 + 10/(-4)). Let r = y + z. Is r composite?
True
Suppose -4*d = -3 - 17. Suppose -d*j = -3*j - 154. Is j composite?
True
Let m(a) = 2*a**2 - 5*a - 3. Let o be m(4). Suppose 0 = 3*s + l - 9, o = 3*s + 2*l - 0. Suppose q - 2*q + s = 0. Is q prime?
True
Suppose -8*g = -9*g - 21. Suppose -3*a - 16 - 27 = -m, -37 = -m + a. Let d = m + g. Is d composite?
False
Let n be 3 + (-6)/(-2) + -3. Suppose 0 = 3*w - n*k - 234, 3*k = -3*w - 35 + 263. Is w prime?
False
Let m be (12/8)/((-3)/(-4)). Suppose -j = -m*j + 75. Is -1 + 4*j/6 a composite number?
True
Let s = 346 - -6717. Is s a composite number?
True
Let x(f) = 24*f**2 + 6*f - 9. Let r be x(-8). Let c = -1010 + r. Is c prime?
False
Suppose -92 = -3*a + a. Suppose -4*x + a = -2*x. Suppose -p + 26 = -x. Is p a prime number?
False
Suppose -15*s = -9*s - 5874. Is s composite?
True
Suppose 0 = -3*n + 15, 2*f + 3*n + n = 28. Suppose -5*o = -f*o - 480. Suppose -g - m + 147 = 0, 3*g - 3*m + 51 - o = 0. Is g a prime number?
False
Let m = 1435 - -732. Is m a prime number?
False
Let m(x) = x**3. Let w be m(1). Let z be w*24*(-4)/6. Is (-2)/(-8) + (-108)/z a composite number?
False
Let i = 8 + -6. Is i/8 + (-950)/(-8) a prime number?
False
Let d = 683 + -352. Is d a composite number?
False
Let s(z) = -45*z**3 + 2*z**2 + 6*z + 9. Is s(-4) composite?
False
Let n(q) = -q**3 - 7*q**2 + 7*q - 7. Let s be n(-8). Let w(d) = -d**3 - d**2 - d + 6. Let v be w(0). Is (21/v)/(s/38) prime?
False
Let z = -26 + 44. Let w(g) = 3*g + 1. Let h be w(1). Is 12/z*222/h a prime number?
True
Suppose q = h - 4, q - 5*h - 14 = -10*h. Is q + (1 - 0)*36 a prime number?
False
Is (-1)/((1 - -1)/(-790)) composite?
True
Suppose -s - 5 = 0, 2*z + 5 = -3*z - 5*s. Let g be (-89)/(-4) + (-1)/z. Is (-1)/((-46)/g + 2) a composite number?
False
Suppose r - 51 = -4*j, -2*r - 13 + 3 = 0. Suppose 0*q - 2*q = -j. Is q composite?
False
Let f(i) = -i + 20. Let o be f(9). Suppose 4*k - o = 3*k. Is k a prime number?
True
Let s = 12 - 10. Let c(g) = 71*g**2 + 4*g - 3. Is c(s) composite?
True
Let l(b) = 29*b + 1. Let s(p) = 28*p + 1. Let t(x) = -4*l(x) + 3*s(x). Is t(-4) a composite number?
False
Let z(k) = -k**3 - 5*k**2 + 4. Let y be z(-5). Suppose -2*m = -y*c + 1100 - 328, 4*c = 4*m + 780. Is c a composite number?
False