6)). Suppose 61 = j - b. Is j prime?
True
Let q = 109 + -106. Let m be (1191/(-2 + -1))/(-1). Suppose -h + q*k = -397, -h - 3*k + m = -0*k. Is h prime?
True
Let j(m) = -m**3 + 17*m**2 - 8*m - 13. Let y = 17 + -10. Let p be j(y). Suppose -2*f + f + 5*r = -188, -2*f + p = -r. Is f a prime number?
False
Let o(g) = -4*g + 75. Let h be -14*((-16)/(-20) - 2/(-10)). Is o(h) composite?
False
Suppose 2*c + 130 = 2*u - 250, -2*u = -3*c - 565. Let d = c - -738. Is d composite?
True
Let r = -7 + 7. Suppose -4*f + 4 = 2*j, r*f = 4*j - f - 8. Suppose j*l = 4*t - 64, t + 4*l - 2 = l. Is t composite?
True
Let u = -8007 + 13058. Is u prime?
True
Let c(f) be the first derivative of f**4/4 + 8*f**3/3 - 5*f**2 - 3*f - 5. Let m be c(-8). Suppose 4*u - 359 = y, 2*u - 4*y + m = 3*u. Is u prime?
True
Let b(x) = 16*x**2 - 19*x - 53. Is b(36) composite?
True
Let x(q) = 3*q**2 + 23*q - 3. Is x(8) a prime number?
True
Is (1*-18125 + (9 - 3))*-1 a prime number?
True
Is 1531754/402 - (-8)/(-6) a composite number?
True
Suppose -3*d - 292 - 155 = 0. Let u be -2 - (77 + 1 + 2). Let b = u - d. Is b a composite number?
False
Let c(w) = 24*w**2 + 3*w + 2. Let s(o) = 24*o**2 + 3*o + 1. Let f(l) = -5*c(l) + 6*s(l). Is f(-5) composite?
True
Suppose 15 = m - 338. Let z(q) = 13*q + 5. Let s be z(6). Suppose 4*y - s = m. Is y a prime number?
True
Let w be -4*(10/(-4) - -2). Let p = 7 - w. Suppose 3220 = p*l - 5*k, 4*l = -l + 2*k + 3229. Is l prime?
True
Let j(z) = z**2 - 4*z - 3. Let w be j(5). Suppose k - w*n = -56, -4*k - 179 = n - 0*n. Let q = -11 - k. Is q composite?
True
Suppose 6*a - 1 = 29. Is (-2)/(((-1)/(-33))/(a/(-15))) a prime number?
False
Let m(c) = -c**2 + 8*c - 4. Let n be m(7). Let v = -14 + 17. Suppose 756 = v*a + 5*w, -3*w = n*a - 6*w - 780. Is a a prime number?
True
Let a = 1448 - 790. Suppose -4*i = a + 38. Let g = -88 - i. Is g a composite number?
True
Let r(p) = -p**3 + p**2 + 2*p + 1. Let v be r(-2). Let i = v - 4. Suppose i*t - 537 = 4*t. Is t composite?
True
Let x(r) = -r**2 - 7*r + 10. Let k be x(-8). Suppose d - k = 0, -z + 328 = -5*z + 2*d. Let n = 124 - z. Is n a composite number?
True
Let a = -17 - -17. Let b(t) = t**3 - t - 2. Let p be b(a). Is 2/((-1)/(91/p)) a prime number?
False
Let n(a) = 70*a**2 - 3*a + 4. Let k be n(3). Suppose 317 = -h - 3*b - b, 2*h = b - k. Let x = 474 + h. Is x a prime number?
False
Suppose 0 = -2*a + 3*u + 2, 0 = 8*a - 4*a - 5*u. Let w(y) = 26*y**2 - 2*y + 3. Let p be w(a). Suppose 3*l = 5*f + 5*l - p, -f - 2*l = -139. Is f prime?
True
Let w(a) = a**2 - 6*a + 3. Suppose 0 = 3*l - 17 - 1. Let z be w(l). Suppose 3*m = z*r - 378, 6*r - 372 = 3*r + 5*m. Is r prime?
False
Suppose 0 = 2*j - 1 - 15. Suppose -j*i + 573 = -5*i. Is i a prime number?
True
Suppose 8*c = -1177 - 2279. Let y = c - -790. Is y prime?
False
Let y(b) = 4*b**3 - 8*b**2 - 3*b. Let j be y(6). Suppose 3*s = 5*u + j, u + 203 = s + 5*u. Is s a composite number?
False
Let o(m) = 231*m. Let q be o(1). Suppose -2*j = s + 50, 5*s - 4*j = -q + 37. Is ((-140)/s)/(4/114) a composite number?
True
Let v(a) = 447*a + 2. Let f be v(-1). Let g = -234 - f. Is g prime?
True
Suppose 2*v + 264 = 3*s + 4*v, -2*v = -3*s + 252. Let h = s - -49. Let t = h - -128. Is t composite?
False
Let t = -210 - -844. Suppose -5*c + 2249 - t = 0. Is c prime?
False
Let o(c) = -366*c + 151. Is o(-16) composite?
False
Is -67*(-10 + 15 + -16) a composite number?
True
Let x(o) = o**3 + 17*o**2 + 5*o + 8. Let z be x(-17). Is (-6099)/(-7) + 22/z a composite number?
True
Suppose -9*q = -8*q - 1067. Is q a prime number?
False
Let h = -55978 - -149017. Is h composite?
True
Let a(r) = -4*r**3 + 6 + 3*r**3 + r**2 - 2*r + r**2 - 3*r. Let i be a(7). Let j = 401 + i. Is j a composite number?
False
Let n = 5 - 1. Suppose 5*g - 646 = 2*g + d, -2*d = 2*g - 428. Suppose 216 = 4*f + n*j, 5*f - 5*j - g = 105. Is f a prime number?
True
Suppose -10*u - 15*u + 32875 = 0. Is u prime?
False
Let x(q) = -q**2 + 3*q - 3. Let r be x(4). Let b = -7 - r. Suppose -5*a + 143 = 3*n, b = -0*a - 3*a - 5*n + 73. Is a a prime number?
True
Is (-2)/(-8) + (0 - 34326/(-8)) composite?
True
Suppose -5*d + 27908 + 51706 = 4*y, 0 = 2*y + 4*d - 39810. Is y a prime number?
False
Let t(s) = s**3 - s**2 - 11*s + 5. Let c be t(4). Is 118*-2*(c/(-6) - -1) composite?
True
Suppose -22*q + 106 = -48. Is q a composite number?
False
Is (-1)/2*-15524*7/2 a composite number?
True
Suppose 4*x = -2*f + 1 + 3, 3*f + 3*x = 3. Suppose -y + 576 = 5*h - f*h, 0 = -4*y + 3*h + 2281. Is y a composite number?
False
Suppose -25 = -5*c, 2*o + 0*c - 3647 = -5*c. Is o a composite number?
False
Suppose -8*h + 7*h = 0. Suppose t = -2*f + 6, h = t + 5*f - 0*f - 15. Suppose -2*y - 5 + 1 = t, 0 = 5*k + 3*y - 379. Is k a composite number?
True
Let p be ((-8)/((-32)/(-378)))/((-9)/12). Is (-2230)/(-6)*p/70 a composite number?
True
Is (-3 + 27)/4 + 4823 prime?
False
Let a(x) = 4*x - 5. Let r be a(1). Is ((-1)/6 - 1882/12)/r prime?
True
Suppose -4*n + 1381 = -1923. Let h = n + -164. Is h a prime number?
False
Suppose -a - 3*y = -291, -2*a - 3*a + y = -1455. Suppose h = -2*h + a. Is h a prime number?
True
Suppose -2*u + 4 = -2*k, -10 = -2*u - 4*k + 12. Suppose -274 = -3*t + 5*h, 0 = -u*t + 9*t + h - 327. Is t composite?
False
Suppose -7*q + 3*q = -12. Suppose -3*i - 4*w = -3, -w - 3 = -3*i - q*w. Suppose -2*h - i = -3*h, 0 = -5*l + h + 229. Is l a composite number?
True
Suppose -4*l + 2586 = -2*m, 2*l - 2*m - 1418 = -124. Let r = -59 + l. Is r composite?
False
Let x = 32 + 17. Suppose -119*o = -110*o - 792. Let g = o - x. Is g a prime number?
False
Let o be ((-2)/(-6))/((-1)/(-6) + 0). Suppose f = o*i + 81, f - 2*f + 5*i = -87. Is f prime?
False
Let r(u) = 29*u**2 - 19*u + 5. Is r(7) a composite number?
True
Suppose 5*u = 4*u + 359. Let r = 1226 + u. Is r prime?
False
Is (5077/3)/(15/45) a composite number?
False
Suppose 4*l + 20841 = 3*i + 5*l, -4*i + 5*l + 27788 = 0. Is i a composite number?
False
Let h(a) = -a**3 + 8*a**2 + 9*a - 3. Let g = 0 - 0. Suppose g*p = j + p - 6, 5*p + 42 = 4*j. Is h(j) prime?
False
Suppose 2*g + 1 = -3*u, -6 + 11 = -g. Is (8/16)/(u/14166) prime?
False
Let l = 22263 + -10804. Is l prime?
False
Let z(o) = -3*o**3 - 2*o**2 + 2*o + 3. Let w be z(-2). Suppose -w = 5*m - 160. Suppose -3*y + 103 = 4*x, 2*y = 4*x - 49 - m. Is x a composite number?
True
Let w(f) = 25*f**2 + 4*f - 2. Let l be 57/11 + (-20)/110. Let x = l + -2. Is w(x) a composite number?
True
Let r(f) = 2*f**3 - 4*f**2 + 2*f + 1. Let l be 1*(-1 + 0 - -3). Let m be r(l). Suppose 6*t = m*t + 809. Is t a prime number?
True
Let d(g) = 69*g**3 - 3*g**2 + 5*g + 10. Let q be d(6). Suppose -11*l + 44591 = q. Is l prime?
False
Suppose 5*h + 436 = u, -4*h + 21 = 13. Let y(a) = -40*a - 1. Let k be y(2). Let j = u + k. Is j composite?
True
Let w be ((-3)/3 + 5)/2. Suppose 5*p - 2218 = -2*b - w*b, -4*p = 8. Is b a composite number?
False
Suppose -3*p - 6 = -0*p. Let d(t) = 113*t**2 + 7*t + 5. Is d(p) a prime number?
True
Suppose 4*m = -5*v + 7*m - 45, 15 = -3*m. Let h be (-32)/v*3 - 0. Is 6/h - (-243)/12 a prime number?
False
Let b(y) = -y**2 - 4*y - 13. Let j be b(14). Let i = 162 + j. Let q = 154 + i. Is q a composite number?
True
Suppose 255003 = 232*i - 211*i. Is i composite?
False
Suppose 7 + 2 = 3*r. Suppose 79*j = 69*j - 30. Is j*r/((-9)/22) composite?
True
Suppose -9*p = -12*p + 21. Suppose -279 - 190 = -p*d. Is d a prime number?
True
Suppose 438 - 85973 = -5*a. Let t = 24926 - a. Is t prime?
False
Suppose -4*i + 69 + 11 = 0. Suppose -l = 3*w - 6 - i, 0 = -l + 4*w + 12. Let h = 237 + l. Is h a composite number?
False
Suppose -2*l + 6*l + 11 = -y, 0 = 3*l + y + 7. Suppose -4 = 5*h - 3*v - 23, -2*v - 16 = -5*h. Is (l/(-6))/(h/381) prime?
True
Let t(j) = -38*j - 12. Let f be t(-5). Suppose -3113 = -3*d + f. Is d a prime number?
True
Suppose 4*u - 3*m = 7394, -4*m + 4 = 12. Is u composite?
False
Suppose 3*h - 11 = -2. Suppose 291 = 3*w - 123. Suppose h*u = -3*k + 240, -3*u + 127 = -2*k - w. Is u a prime number?
False
Let i(a) = -a + 8. Let k be 7 + 0 - (-9 + 12). Let w be i(k). Suppose 0 = 2*y - w*y - 2*l + 1584, -4*l - 1554 = -2*y. Is y a composite number?
False
Suppose -24 = 3*y - 6*y. Suppose -3*c - 2 - 3 = l, -2*l = -3*c - y. Is (8 + -9)*(-306 - l) composite?
False
Suppose 0 = -p + 8 - 13. Let l