+ b. Is d composite?
True
Suppose 2*r + 4*y + 146 = 4*r, r - 85 = 5*y. Is r a composite number?
True
Let g be (-3 + -3 + -2)/(-2). Is (172/(-6))/(g/(-6)) composite?
False
Suppose 22 = -3*i + h, 5*h = 3*i - 6*i - 34. Let t(q) = 15 - 2*q - q - 25. Is t(i) prime?
False
Suppose 2*c + 16 - 2 = 3*o, 3*c + 10 = -o. Suppose -246 = -3*u - 3*l, -o*u + u = 4*l - 97. Suppose -q = -0*q - u. Is q composite?
True
Is (-5860)/(-36) + 4/18 composite?
False
Let b(r) = -4*r**3 - 3*r**2 + 4*r - 3*r - 2 + r**3. Suppose 3*u - 5*u - 10 = 0. Is b(u) prime?
True
Let o(r) = -2*r - 4. Let l be o(-9). Is (-4)/l - (-494)/14 a composite number?
True
Suppose -426 = -5*x + 529. Is x a prime number?
True
Suppose -30 = s - 3*s. Suppose 0 = 3*j - 0 + 3, d = j + s. Is (-4 - -5)*d/2 prime?
True
Suppose 0 = d + d. Suppose 4*v + 16 = 0, d*a + 5*v + 73 = a. Is a composite?
False
Let h(r) = 0*r + 3*r - 2*r + 15. Let x be h(0). Suppose 55 - x = 4*m. Is m a prime number?
False
Suppose 5*a - 5 = -5*l, -4*a + 4*l + 10 = -a. Suppose -2*o + 24 = 4*m, 0 = a*o + 2*m - 0*m - 16. Is o a composite number?
True
Suppose 4*h - 5 = 3*h. Suppose -3*g - 306 = -2*u, -53 = -3*u + h*g + 407. Is (-3)/(-6) - u/(-4) prime?
False
Let t(l) = l**3 - 11*l**2 - 12*l + 8. Let b = 26 - 16. Let k be t(b). Is k/(-6) - 3/9 a prime number?
False
Let d(b) = b**2 + 4*b + 1. Is d(-6) composite?
False
Let l be (-15)/4*(-3408)/18. Suppose -14*r = -16*r + l. Is r composite?
True
Suppose 14 = 2*x - 152. Is x a composite number?
False
Let v = 0 + 2. Suppose -p + v*p = 6. Is (p/2)/((-6)/(-44)) composite?
True
Suppose 38 = -3*n + 401. Let p = 248 - n. Is p composite?
False
Let v(q) = -670*q**3 - 3*q**2 - 6*q - 3. Is v(-2) prime?
False
Let s(y) = y**2 + 6*y - 5. Let q be s(-6). Let v(w) be the third derivative of -w**6/120 - w**5/30 - w**4/24 + 5*w**3/6 + 2*w**2. Is v(q) composite?
True
Suppose 8*c = 3*c + 15. Suppose c*r = 88 - 22. Is -1 - (0 - r/2) a composite number?
True
Suppose -24 = l - 5*l. Suppose -n = -257 + l. Is n a composite number?
False
Let c(n) = -8*n - 27. Is c(-8) composite?
False
Let a = 5 - 1. Is (-1)/a + (-5439)/(-28) a composite number?
True
Let f = -220 + 457. Is f a composite number?
True
Suppose -4*k + 7*k = 12. Suppose -k*t + 8*t - 2084 = 0. Is t a prime number?
True
Let v = -4 - -2. Let h = v + 4. Suppose i = h - 0. Is i a prime number?
True
Suppose -5*d - 5 - 7 = 2*w, 3*w + d + 5 = 0. Let n be (-6)/(-1) + (-1 - w). Suppose -2*o + n*o - 148 = 0. Is o a composite number?
False
Let o(h) = h**2 + 3*h + 4. Is o(6) a composite number?
True
Let v = 2326 + -1119. Is v prime?
False
Suppose 0 = 5*n - 262 - 213. Is n prime?
False
Let n(g) = -9*g**2 - 7*g - 2. Suppose -k = 2*k - 15. Let j be n(k). Let t = j - -377. Is t a composite number?
True
Let u(m) = m**2 - 6*m - 2. Let h be u(7). Let f(r) = 107*r + 3. Let d be f(3). Suppose -d = -h*z + 271. Is z prime?
False
Let s be ((-30)/(-9))/((-2)/(-3)). Suppose s*a - 86 - 99 = 0. Is a composite?
False
Let d(k) be the second derivative of k**4/12 + 2*k**3/3 - 4*k**2 - 3*k. Suppose -5*p - n + 3*n - 45 = 0, 0 = 3*n - 15. Is d(p) composite?
False
Let t = 20 - 19. Is t/((4/278)/2) prime?
True
Let j(u) = -3*u - 9. Let o be j(-7). Suppose 5*d = 3*a - 0*a - 6, a - 1 = 2*d. Let m = a + o. Is m a composite number?
False
Is (4 - 7286/(-12)) + 3/(-18) a composite number?
True
Let s(a) = a**3 - 8*a**2 + 6*a. Let p be s(6). Is (-266)/(-12) - (-6)/p a prime number?
False
Suppose 3356 = 5*j - 3*y, -3*j + 5*y + 1866 = -138. Is j a composite number?
False
Let t(n) = n**2 - 5*n - 7. Let y be t(6). Is -3 + 34 + (-1 - y) composite?
False
Let h be ((-15)/9)/((-3)/(-9)). Let f = 84 - h. Is f prime?
True
Let g(s) = 23*s - 7. Is g(10) composite?
False
Let r(s) = -s. Let q be r(0). Suppose 0 = -2*k - q*k + 12. Suppose -3*c - 33 = -k*c. Is c a composite number?
False
Let w be (-55)/(-10) + 3/(-2). Is (-402)/9*(-6)/w a composite number?
False
Let w = 417 + -600. Is 2/5 + w/(-5) composite?
False
Let d = 11 + 36. Let f = 12 + d. Is f composite?
False
Is 471/2*(-30)/(-45) prime?
True
Let a(h) be the second derivative of h**4/3 + 3*h**2/2 + 3*h. Let i(u) = 8*u**2 - u + 7. Let j(r) = 5*a(r) - 2*i(r). Is j(-3) prime?
True
Suppose 0 = -12*u + 5227 - 751. Is u prime?
True
Suppose 9*f - 4*f = 95. Let v(k) = -k**3 - 5*k**2 - k - 3. Let a be v(-5). Suppose 55 = a*u - f. Is u composite?
False
Let n be 4/2 - 33/3. Suppose -4*x + 54 = -82. Let l = x + n. Is l prime?
False
Let f(c) = c**3 - 7*c**2 + 8*c - 6. Let g be f(6). Let d be 17/3 - g/9. Suppose -d*h + 89 = 2*o, o = 4*o - 4*h - 99. Is o a prime number?
True
Let y be ((-27)/(-12))/(6/(-24)). Is (-1137)/y - 4/(-6) prime?
True
Let r(x) = 23*x**3 - x**2 + 3*x + 3. Let c be r(-2). Let m = c + 284. Is m - -1 - (0 + 1) prime?
False
Let o = 40 + -16. Is o - (-1)/((-3)/6) a prime number?
False
Suppose 0 = 3*f - 5*f - 2672. Is 3 - (f/4 + -2) prime?
False
Suppose -3*m - 6 = 3*y, -7 = 2*y - 4*m - 21. Suppose 2*c - 12 = i, 2*c + y = c + 4*i. Is c a composite number?
False
Let f = -7 - -5. Let u(j) = j**3 + j**2 + j + 11. Let m be u(0). Let b = m + f. Is b prime?
False
Suppose 2*t + 3 = 3*i - 80, 5*t - 5*i + 205 = 0. Let f(j) = 21*j + 5. Let o be f(4). Let n = t + o. Is n prime?
False
Let b(z) = 5*z - 16. Let w be b(-12). Let n = -18 - w. Is n prime?
False
Let f = 549 + -330. Is f prime?
False
Let h(c) = -31*c - 4. Let y be h(3). Let z = y + 180. Suppose -5*u = -5*j + 17 + z, -3*j + 55 = 2*u. Is j composite?
False
Suppose 0 = -2*f - 2*z + 113 + 55, -f = 4*z - 87. Suppose -3*o = -2*o - f. Is o a prime number?
True
Let b(j) = -j - 1. Let m be b(-2). Let d(r) = -m + 1 - 4*r - 2*r**2 - 5*r**3 - 3. Is d(-2) a prime number?
True
Suppose -4*y = -9*y + 615. Is y composite?
True
Suppose -16 = 4*k, 0 = 4*z + 4*k + k - 3844. Suppose -3*r + z = 33. Is r a composite number?
False
Let a be 2/(1/(27/(-6))). Let w be (-2)/a + (-835)/(-9). Let j = -34 + w. Is j composite?
False
Suppose -5 = -5*n - 0, 5*v = -4*n + 1959. Suppose -5*l = 5*p - 970, -l + 4*l = -2*p + v. Is p prime?
True
Let x(t) = 20*t + 5. Is x(10) prime?
False
Let f be (0 + 0 - 35)*-1. Suppose -3*q - 26 = -q. Let z = f + q. Is z composite?
True
Suppose -2*n - 3*h - 20 = -6, 3*h + 7 = -n. Let u(j) = 12*j**2 + 3*j - 10. Is u(n) a composite number?
False
Suppose -2*m - 5*c = -141, -2*m - 249 = -5*m + 5*c. Is 1 + -3 - (-1 - m) a prime number?
False
Let q = 101 + -64. Is q composite?
False
Let o(t) = t - 4. Let r be o(8). Suppose -3*x + 654 = 2*i + i, -r*x = -4*i + 912. Is i a composite number?
False
Suppose -2*t = -3*b + 1, 4 - 3 = 3*t - 2*b. Is 148/8*(9 + t) composite?
True
Let v(b) = b + 8. Let s be v(-7). Suppose r = s + 3. Is r/3*(-27)/(-6) composite?
True
Suppose 0 = -4*i - 4*n, 0 = -4*i - 3*n + 1 + 1. Suppose -5*x + b + 9006 = -0*b, 2*x - 3604 = i*b. Is x a prime number?
True
Suppose 5*x - 3*g = 2, -3*x - 2*g = -3*g - 2. Suppose 0 = -2*o - 2*q, 2*q = 3*o - 9 - x. Is (2 - 4) + 37 - o composite?
True
Is (-6)/30 - (-1698)/15 composite?
False
Suppose -4*p - 1 = -2*g + 1, -14 = g + 3*p. Let j(i) = -20*i - 7. Is j(g) a composite number?
True
Suppose f - 245 = -4*f. Is f prime?
False
Suppose -4 = -z + o - 2*o, -4*z = o - 4. Suppose z = 4*g + k - 764, 0 = -5*k + 2*k. Is g a prime number?
True
Suppose 2*c = -x + 641, 3*x - 983 = c + 905. Is x a prime number?
True
Is (-2 - 0)/(((-16)/(-1340))/(-2)) composite?
True
Suppose 0 = -5*n + 2*p + 1495, 0 = -p - 0 + 5. Is n composite?
True
Suppose 0 = -0*z - z + 2. Suppose 5*g - 4*p - 441 = 0, 309 - 40 = 3*g + z*p. Is g composite?
False
Let x = 3426 + -499. Is x a composite number?
False
Suppose -3353 = -n - 0*n. Is n a composite number?
True
Let p(z) = 19*z**3 + z**2 - z - 1. Let t be p(-1). Let q = t - -21. Is q a prime number?
True
Is -1*((-254)/(-6))/(1/(-3)) a composite number?
False
Let f(u) = -u**3 + 8*u**2 + 11*u - 7. Is f(7) a prime number?
False
Let i(l) = 51*l**2 - 5*l - 37. Is i(-4) prime?
False
Let k(v) = -59*v + 1. Is k(-6) composite?
True
Let v be 0*(-1 - -3 - 1). Suppose -5 = -v*i - i. Suppose 0 = i*c - 3*y - 179, 5*c - 4*y - 85 = 92. Is c a prime number?
True
Let v = -1 - -98. Is v a composite number?
False
Suppose 0*h = -2*h + 6, -2*y - 9 = -3*h. Suppose -5*a + 0 - 10 = y. Is a/6 - (-128)/6 a composite number?
True
Suppose 3*b + 275 = 4*v - 2*v, 4*b - 745 = -5*v. Is