- 9. Is -4*((-545)/c)/(-5) prime?
True
Suppose -3*y = -0*y. Is (-53)/(-1) - (2 - y) a prime number?
False
Let f = 11 + -7. Suppose 2*n - 22 = -3*s, 2*s - f = s. Suppose 3*l + 62 = n*l. Is l a composite number?
False
Suppose -3*k + k = -174. Is k a composite number?
True
Suppose -234*x - 11506 = -236*x. Is x prime?
False
Let r(x) = x**2 - 2*x - 2. Is r(17) prime?
False
Suppose 19 = -4*i - 29. Is 3 - (-53 - i/(-4)) a prime number?
True
Let t(p) = 17*p**2 + 8*p. Is t(7) prime?
False
Let q = 2 + -3. Is (-93)/q*13/39 prime?
True
Let a = 275 + -90. Is a composite?
True
Let c(r) = -5*r**2 - 8*r - 10. Let d(u) = 3*u**2 + 5*u + 7. Let m(a) = -5*c(a) - 8*d(a). Is m(-7) prime?
True
Let o(b) = 7*b**2 - 11 + 6 - b**2. Suppose 16 = 5*x - 4. Is o(x) a composite number?
True
Suppose -4*i = 2*q - 6, 16 = -3*q + 4*i + 5. Let u(a) = 19*a**2 + a + 1. Is u(q) a prime number?
True
Let m = -4 + 3. Is m/(1 - 1272/1268) prime?
True
Suppose -2*v - 17 = 5*g, v - 28 + 4 = 4*g. Suppose -510 = -v*n + n. Suppose -3*o + 3*d + 114 = -12, 0 = -5*o - 3*d + n. Is o prime?
True
Let b(t) = -3*t**3. Let u be b(1). Is 2/(-5 - u)*-19 composite?
False
Let h(b) be the first derivative of 4*b**2 - 9*b + 1. Let s be 1*7 + 0/(-2). Is h(s) a composite number?
False
Let j = 68 - 1. Is j composite?
False
Let i(t) = t**2 + 2*t - 1. Let j be i(-5). Is 904/j + (-6)/(-14) composite?
True
Suppose 5*f - 135 = 2*h, f = -3*f - h + 95. Let j be (10/f)/(2/20). Suppose 0 = -2*r + j*b + 142, 2*b = 8 - 0. Is r prime?
True
Let a(h) = h**2 - 2*h - 4. Let b be a(4). Suppose -4*p + g + 205 = -2*g, -b*p + 211 = -5*g. Is p a composite number?
True
Suppose -2*n - 140 = -6*n. Is n a prime number?
False
Let g(y) = 3*y**2 - 3*y + 2. Let d be g(2). Let b = 21 - d. Is b composite?
False
Let g(k) = -k**3 - k**2. Let d be g(-2). Suppose -m = -d*m. Let h(i) = -i + 26. Is h(m) composite?
True
Let s(g) be the first derivative of g**4/4 - 8*g**3/3 - 17*g**2/2 + 9*g + 3. Is s(11) a composite number?
True
Suppose -3*c + 4*c + 441 = 0. Let f = c - -692. Is f a composite number?
False
Let z(b) = 12*b**2 + 4*b + 3. Is z(-4) prime?
True
Let p(y) = y + 25. Let j be p(0). Let q = 119 - j. Is q a composite number?
True
Suppose 3*l + 10 = 4*g - 3*g, 0 = 3*l + 6. Suppose 3*w = -2*i + 12 + 65, g*i + 143 = 5*w. Suppose 3*z - 84 = -w. Is z prime?
True
Let n = 840 + -587. Is n composite?
True
Let k = -1 + 3. Suppose -302 = -k*m + 32. Suppose 0 = 4*r + 2*b - 118, 5*r = b + 3*b + m. Is r composite?
False
Let n(k) = k**2 - 3*k - 6. Let z be n(5). Suppose z*q = -y + 359, 0*y + 3*y - 276 = -3*q. Is q a composite number?
False
Suppose -5*o + 74 = 2*b, 4*b = 4*o - 34 - 14. Suppose -2*d = 19 - 7. Is 738/o + d/(-21) prime?
True
Let t = -133 + 378. Suppose -2*m = 3*m - t. Is m prime?
False
Suppose 0 = 5*b - 5*z - 930 + 145, b = 2*z + 155. Is b a prime number?
False
Let u = 2 - 21. Let w be (1 - (4 - 1)) + u. Let y = 44 + w. Is y composite?
False
Let z = 0 + 0. Let x(o) = o**2 - 6*o - 8. Let l be x(8). Suppose z = 3*f - l - 67. Is f a composite number?
True
Let b = -4600 - -7818. Let w = b - 2163. Is w a prime number?
False
Let p = -341 - -788. Suppose k + 2*k = p. Is k a prime number?
True
Is 149/1 - 0/(-1) composite?
False
Let q be ((-26)/6)/(2/(-72)). Let x = q + -59. Suppose -3*m = -0*m + r - 331, m - 3*r = x. Is m prime?
True
Let w = -9 + 13. Suppose 84 = -0*s + w*s. Is s a composite number?
True
Let w = -36 - -47. Is w prime?
True
Let y = 817 - 395. Is y composite?
True
Let d(v) = v + 1. Let q(y) = -10. Let g(p) = d(p) - q(p). Let c be g(-9). Suppose 2*o + 4*x = 4*o - 234, 0 = c*o - x - 249. Is o a prime number?
True
Let t = 163 + -96. Let y = 44 - 78. Let n = y + t. Is n a composite number?
True
Suppose 18*a + 3070 = 28*a. Is a composite?
False
Let x = -96 - -140. Let b be 272/x + (-4)/22. Is (-4)/b*5505/(-10) a prime number?
True
Suppose 4*u = 5*o - 2427 - 3008, 5*u - 1087 = -o. Is o a prime number?
True
Suppose -567 = -b - 4*q, 4*b - 2*q - q = 2344. Is b prime?
False
Suppose -5*v + 25 = 0, -i - 4*i = -5*v. Suppose -340 = -i*r + 85. Is r a prime number?
False
Let r be (-1172)/(-5) - (-4)/(-10). Is 1/(1/r) + 3 composite?
True
Is (-2)/2*(-3 - 188) a composite number?
False
Let c(x) = -x**2 + 12*x - 6. Let v be c(11). Suppose -l = -v*l. Let s = l - -37. Is s a composite number?
False
Suppose -2*d + p = 1, d + 2*p - 5 + 18 = 0. Let s(o) = 29*o**2 + 9*o - 9. Let z(q) = 43*q**2 + 14*q - 14. Let m(r) = 8*s(r) - 5*z(r). Is m(d) prime?
False
Let h be 14/2 - 0/2. Suppose h*l - 385 = 2*l. Is l a composite number?
True
Suppose 0*v + 5*v + 6 = 3*j, -2 = -j. Suppose 3*r + 3*w - 48 = v, -2*w - 2*w = -8. Is r a prime number?
False
Let v = -9 + 86. Is v prime?
False
Let h(y) = -y**2 + 4*y + 4. Let n be h(4). Suppose 0 = n*r - r - 165. Is r composite?
True
Let m = -903 + 1712. Is m composite?
False
Let r(y) = -y. Let p be r(-4). Let x be (0 + 22/p)*2. Let w = 18 - x. Is w composite?
False
Suppose -r = -2*m - 6, -2*r = -0*r - 4. Let d be m*2/12*-6. Suppose 3*g = -5*i + 1296 - 376, 5*i = d*g + 895. Is i a composite number?
False
Suppose 2*v - 6 - 2 = 0. Let z be (-1)/(-3) + v/(-3). Is (-86 + 2 + -3)/z a composite number?
True
Suppose 11 = -w + q, 0 = -w + 2*w - 5*q + 27. Is 2/w - (-625)/7 a composite number?
False
Let a(g) = -g - 1. Let n be a(0). Is 1/(n/70*-2) a composite number?
True
Suppose 0*r + r = 0. Suppose 2*v + r*v = 5*l + 386, -824 = -4*v - 3*l. Is v a prime number?
False
Suppose 9 + 11 = 4*q. Suppose 0 = -q*k - o + 1477, k - 127 - 176 = -4*o. Is k a prime number?
False
Let i(w) = 8*w**2 - 5*w - 2. Let p(k) = -k**2 + 2*k - 1. Let x be p(4). Let f = x - -6. Is i(f) a prime number?
False
Let v = 11 + -7. Suppose 0 = v*w - 0*w - 20. Is w + 1/((-2)/4) prime?
True
Let k(p) = -20*p + 6. Let h be k(4). Let j = -52 - h. Is j a prime number?
False
Let a(d) = 2 - 3 - 6*d - 6. Suppose m + 6*j - 3*j + 4 = 0, -5*m + 2*j - 37 = 0. Is a(m) a composite number?
True
Let n be 3/(-6) + (-157)/(-2). Let a = n - 41. Is a composite?
False
Let h = -56 - -5. Let y = 19 + -5. Let m = y - h. Is m a composite number?
True
Let c = -2194 + 4095. Is c prime?
True
Suppose -2*w = 5*b + 3*w - 1480, 4*b - 1198 = 3*w. Is b composite?
True
Let b = 51 + -25. Let r be (-6)/9 + (-4)/(-6). Suppose 4 = 2*w, -4*t + 4*w + 18 + b = r. Is t a prime number?
True
Is 2/12 - (-56336)/96 a prime number?
True
Let f = -6 + 2. Let l be f/(-14) + (-38)/(-14). Suppose 3*d - l*c = 90, -5*d + 200 = -2*c + 35. Is d a prime number?
False
Is 8/(-12)*((-2676)/8 + 3) a composite number?
True
Let n = 12 - 10. Suppose 0 = -u + 5, -2*u = -n*d + d + 3. Is d a prime number?
True
Let x(p) = -12*p + 0*p - p**3 + 1 - 5*p**2 + 6*p + 0. Let g be 2/6 - 16/3. Is x(g) prime?
True
Let s(w) = 96*w**2 - 2*w - 1. Is s(-1) a composite number?
False
Suppose 4*z - 47 = -3*d + 191, -5*d + z = -389. Suppose 3*a - d = 2*a + 5*m, 170 = 2*a + 4*m. Is a composite?
False
Suppose -4*a = u + 287, -3*a + 0*a + 2*u = 207. Is (a/(-1))/(6/30) a prime number?
False
Let s be (-14)/6*(4 + -1). Let q(x) = 9*x - 2. Let n be q(2). Let r = n + s. Is r composite?
True
Let q(z) be the second derivative of 4*z**4 - z**3/6 - 3*z. Suppose 2 = -4*o - 4*r - 2, -5*o = -5*r + 5. Is q(o) a composite number?
True
Let k be -2 + 2 + -2 + 10. Let g(h) = h**3 - 7*h**2 + 9*h + 9. Is g(k) prime?
False
Let c = 23 + -8. Is c prime?
False
Let t(d) = d**3 - 6*d**2 - 4*d + 5. Suppose 0 = -4*l + 2*s + 32, 2*l - 4*s - 29 = -l. Is t(l) composite?
True
Suppose t - 843 - 308 = 0. Is t a composite number?
False
Is (-2)/(4/257)*-2 prime?
True
Suppose -2928 = -5*r + r + 4*a, r - 752 = -3*a. Is r prime?
False
Is (-4485)/(-7) - (-8)/28 a prime number?
True
Let d(f) = 57*f**2 + 1. Suppose -3*t - 4*p - 1 = 0, 2*t - 2*p + 0*p - 4 = 0. Is d(t) composite?
True
Let t be (-2 - 0) + 12 + 0. Suppose 4*w = -w + t. Suppose 0 = 6*n - w*n - 140. Is n a prime number?
False
Is ((-34)/8)/(8/(-352)) prime?
False
Suppose 0 = 2*w - 2*p - 52, 4*p = -5*w + 2*w + 113. Let b = 132 + w. Is b prime?
True
Is 287 - (-3 + (-12)/(-4)) prime?
False
Let o(m) = -93*m + 2. Let u(j) = -47*j + 1. Let i(q) = -2*o(q) + 5*u(q). Suppose 0 = -3*c + 4*c + 6. Is i(c) a composite number?
True
Let j(d) = -62*d**3 - 4*d**2 - 6*d - 1. Is j(-2) composite?
False
Let m be (-20)/10 - (-4 - 0). Suppose 0 = -5*t + c + m*c + 6