 l a composite number?
True
Let h be 10/4 - (-4)/8. Suppose -h*d = 2*d - 185. Is d a composite number?
False
Let w(y) = -y**2 + 6*y + 5. Suppose -5 = -2*d + 5. Let z be w(d). Suppose -80 = -2*i - z. Is i a prime number?
False
Let f(i) = -i + 9. Let y be f(7). Suppose y*d - 3*d = 2. Is d/6*-3*21 a composite number?
True
Let g be (3 + 18)/(9/102). Let p = 0 - 0. Suppose p = 2*f - 0*f - g. Is f a prime number?
False
Is 2966 + 3*3/(-9) composite?
True
Let k be 197/5 + 6/(-15). Let r = k + -20. Is r a composite number?
False
Suppose -3*c = q + q - 80, 0 = 2*c - 8. Let n = q - 11. Is n composite?
False
Let p(u) = 3*u**2 - 7*u + 6. Let s be 0/((-6)/3 + 0). Suppose 3*x + 1 + 12 = 4*h, s = -h - x + 5. Is p(h) a prime number?
False
Let u(x) = x + 3. Let q be u(4). Let f(s) = -s**2 + 8*s + 2. Let l be f(q). Let z(y) = 13*y + 2. Is z(l) a composite number?
True
Suppose -10467 = -5*y - 1682. Is y a prime number?
False
Suppose 5*k + 12 = -13, -4*m + 1033 = -k. Is m prime?
True
Is ((-2)/(-6))/(2/(-3 - -17145)) a prime number?
True
Let v(c) = 128*c + 3. Let a be v(-2). Let j be -357*(0 + (-12)/9). Let g = j + a. Is g a prime number?
True
Let m = -5 - -8. Suppose -4 = -g, 4*g - 37 = -0*k - m*k. Is k prime?
True
Suppose 0 = 3*o + 5*z - 22, 2*z = -5*o - z + 10. Let v(t) be the second derivative of 14*t**4/3 + t**3/6 - t. Is v(o) a composite number?
True
Is (1758/(-9))/((-2)/3) prime?
True
Let v(o) = -o**3 + 5*o**2 + 7*o - 1. Let x be v(6). Suppose -x*u + 413 = 158. Is u a prime number?
False
Let l = -2 + 5. Suppose -m + s = -l, -9 = -0*m - 2*m + 5*s. Suppose 3*a - 11 = m*a. Is a a composite number?
False
Suppose 0 = q + 4*q - 1965. Suppose -o + q = 2*o. Is o prime?
True
Is (-8 + 4 - -4) + 267 a prime number?
False
Is -66*22/(-3) - -3 a composite number?
False
Suppose c + 3*p - 3940 = 2670, 5*p - 5 = 0. Is c a composite number?
False
Let m(h) = 204*h**3 - h**2 + 2*h. Is m(1) a prime number?
False
Let a(q) = -4*q + 8. Let o be a(3). Let j(m) = -11*m**3 + 3*m**2 - m - 3. Is j(o) a composite number?
True
Is ((-573)/2)/((-17)/34) composite?
True
Is 12954/4*6/9 a prime number?
False
Let d(w) = 7*w**3 - 3*w**2 - 5*w + 7. Let j(l) = -l**3 - 1. Let f(a) = a**2 + 2*a + 1. Let i be f(-2). Let n(c) = i*d(c) + 5*j(c). Is n(3) a prime number?
False
Suppose -3*o + 4*f + 498 = f, 0 = -f - 1. Suppose -4*y + 2*r = -49 - o, 5*y - 5*r - 280 = 0. Is y composite?
True
Let o(q) = q**3 - q**2 - q - 1. Let v be o(2). Let f(n) = 53*n. Is f(v) a composite number?
False
Let h(j) = j**2 - 2*j - 1. Let k(s) = -3*s + 11. Let t(i) = 4*i - 17. Let m(b) = 7*k(b) + 5*t(b). Let w be m(-11). Is h(w) a composite number?
False
Let i(k) = 82*k**2 - k. Is i(-1) composite?
False
Let d(w) = 15*w**3 + 3*w**2 - 2*w - 7. Is d(3) a prime number?
True
Is (-2)/8 + 1064/32 prime?
False
Let x = 1288 + -461. Let o = x - 422. Suppose -2*c + 485 + o = 0. Is c a composite number?
True
Let o(a) = 8*a**2 + 3*a. Let h(r) = -r**3 - 4*r**2 - 3*r. Let y be -3 - ((-2)/(-1))/(-2). Let f be h(y). Is o(f) a prime number?
False
Let m = 2 + 0. Is m*1 + (-144)/(-4) a composite number?
True
Let w(t) = -t. Let y be w(-2). Let o be -79*-2*1/y. Let u = 185 - o. Is u a composite number?
True
Let j = -84 + 337. Is j prime?
False
Suppose -a = 4*a - 6620. Let c be 2/(((-1)/2)/(-1)). Suppose 0*w + c*w = a. Is w composite?
False
Let i(t) = 4*t**2 + 11*t + 8. Is i(-7) a prime number?
True
Suppose 0 = -4*x + 5*k + 2860, -k = 2*x - 0*x - 1444. Suppose -4*z + x = -5*n, -2*z - 4*n - 128 = -514. Is z composite?
True
Suppose 4*z = 5*z - 4. Suppose -t = z - 0. Is (4 - t)*(-1)/(-2) prime?
False
Suppose 0 = -28*r + 30*r - 1966. Is r a composite number?
False
Let g(u) = -u**2 - 13*u - 11. Let b be 6/(-24) - (-39)/(-4). Is g(b) composite?
False
Suppose -11535 = -9*f + 4*f. Is f prime?
False
Let a be (3 + -3 - 0) + -2. Let v(g) = -3*g + 22*g**2 - 1 + 9*g**2 + g. Is v(a) prime?
True
Let c(p) = p**3 + 7*p**2 - 3. Let r be 3/2*(-7 + 3). Is c(r) a composite number?
True
Suppose -2 + 0 = -k - 2*w, 5*k - 10 = -2*w. Suppose k*f + a - 115 = 0, f - 2 - 60 = -5*a. Is f a prime number?
False
Suppose -25*s + 23*s = -2122. Is s prime?
True
Let n(b) = -21*b**3 - 2*b**2 - 2. Let z be n(-2). Suppose 46 = 4*k - z. Is k a composite number?
True
Suppose -5*n - z + 1877 = 0, 5*n - 1005 = 2*z + 881. Suppose 0 = 4*c - c - 6, -4*p - 2*c + n = 0. Is p a composite number?
True
Let k be (-2 - -10) + 1 + -3. Let v be (-1)/(-3) + 22/k. Suppose 4*o + 84 = v*x, -10 = x + 5*o - 31. Is x a prime number?
False
Is (-1 + -1)*674/(-4) prime?
True
Let m = 41 - -179. Suppose 5*t - t = m. Is t a prime number?
False
Suppose 0 = 5*q + 11 - 31. Let o = q + 87. Is o prime?
False
Let p = 7 - 7. Suppose p*s = -5*s + 385. Suppose 4*k = 5*k - s. Is k prime?
False
Let s = 54 - 38. Let o = 31 - s. Is o a composite number?
True
Suppose 3 + 0 = f. Let s(x) = x**3 - 8*x**2 + 2*x - 12. Let v be s(8). Suppose -f*q - 5*i = -563, -2*q - 372 = -v*q - 5*i. Is q a composite number?
False
Let i(z) = 2*z. Let b be i(1). Let t(q) = 10*q**3 - 2*q**2 + 4*q - 3. Is t(b) a prime number?
False
Let k(g) = g**3 - 7*g**2 + 2*g - 22. Is k(8) composite?
True
Suppose 70 + 114 = w. Let b = w - 95. Is b a prime number?
True
Let i = -36 - -60. Suppose -5*j - l = -i, 0*l = -4*j + 2*l + 8. Suppose -j*x + 9 = -3. Is x composite?
False
Is 5595/6*(-2)/(-5) prime?
True
Is (-6 + 1929)*(-3 + 30/9) prime?
True
Let z(f) = -1068*f - 53. Is z(-3) composite?
True
Suppose c - 8 = -4*j + 2*c, 0 = c. Suppose -j*x = x - 111. Is x composite?
False
Let s be -6 - (-1)/1*1. Let q(a) = 2*a**2 - a + 6. Let l be q(s). Suppose l = g - 4*y, -g = 3*y - 4*y - 58. Is g a composite number?
True
Let v(a) = a**2 + 4*a - 17. Let c(b) = b**2 + 2*b - 12. Let d be c(0). Is v(d) composite?
False
Let h = -48 + 69. Is h prime?
False
Suppose 2 = 4*s + 4*x - 18, 2 = -2*s + 4*x. Let q(w) = -7 - 4*w + w**s + 12*w**2 - 6 - w**2. Is q(-11) a prime number?
True
Suppose -4*f - 2*l + 2164 = 3*l, 0 = 5*f - 4*l - 2705. Is f prime?
True
Suppose h - 53 = -5*s, 0*s - 2*s = 0. Is h a prime number?
True
Suppose -3 + 2 = -2*v + 3*p, -5*v + p = -9. Suppose 0 = v*f + 2*n + 104, 0 = -n - 4 - 0. Is 4/14 + f/(-28) composite?
False
Let x(a) = 2*a - 12. Let j be x(8). Suppose 96 = 3*h + 3*w, j = -4*w + 12. Let l = 97 - h. Is l a composite number?
False
Suppose -5*o = 3*z - 2*z - 43, -2*o = z - 19. Let a(f) = 13 + 6*f**3 - 3 - 2*f**3 - 6*f**2 - 3*f**3 - 13*f. Is a(o) a prime number?
False
Let v(x) = 0*x - 4 - x**3 + 5*x**2 - 1 - 4*x. Let r be v(4). Is (-8)/(-20) - 93/r composite?
False
Let w(v) = -v**3 + 13*v**2 - 12*v. Let h be w(12). Let l = 6 - h. Suppose u - l*u + 125 = 0. Is u a prime number?
False
Let v = 19 + -5. Suppose -l = -w - 0 + 2, w - v = -5*l. Suppose -3*u - 38 = -h, -153 = -3*h + l*u - 18. Is h composite?
False
Let a(p) = -3*p + 1. Let h(t) = -15*t + 5. Let n(d) = -33*a(d) + 6*h(d). Suppose 0 = -8*z + 9*z - 4. Is n(z) a prime number?
False
Suppose 4*i - 283 + 34 = -3*c, -2*c + 5*i + 143 = 0. Suppose -2*y + 27 = -c. Is y prime?
True
Let d = -89 - -340. Is d a prime number?
True
Let o = 9 + -9. Suppose o = 2*m + 1 + 1. Let z(k) = -33*k**3 + k**2 + 2*k + 1. Is z(m) a composite number?
True
Suppose 1667 = 2*l + 297. Is l prime?
False
Let h = -1 + 4. Suppose -3*x + 66 = g - 33, 5*x + h*g - 169 = 0. Let a = -17 + x. Is a composite?
True
Let o(x) = 83*x**2 - x + 3. Is o(-2) prime?
True
Suppose 0 = s - 5*s + 232. Suppose -2*r + s = -0*r. Let c = 66 - r. Is c a composite number?
False
Suppose -12 = -2*n - n. Suppose 2*b - 2*t = b + 15, n*t = -3*b + 5. Is b a prime number?
True
Let j(g) = -85*g - 7. Let n be j(-5). Suppose 413 = 3*a + 4*h, -3*a - 4*h = h - n. Is a a composite number?
False
Suppose 0 = -d - d + 8. Let r(w) = w + 1. Let b be r(d). Suppose -4*y + 0*i - b*i + 95 = 0, -3 = 3*i. Is y a composite number?
True
Let f(y) = 3*y**2 - y. Let c be f(3). Let g = c - -11. Is g a prime number?
False
Let y = 0 + 3. Is 37 + -3 + -2 + y a prime number?
False
Suppose 0*c + c - 15 = 0. Let v be 5/(-1) + (-1 - -2). Let g = v + c. Is g a composite number?
False
Let i be (0 - 6/2)/(-1). Suppose -2*s + i*o - 4*o = 90, 2*o = 3*s + 142. Let t = 115 + s. Is t composite?
True
Let m = -7 + 6. Let z be (m/(-2))/(2/16). Suppose -2*w = 0, 6*f - 4*w = z*f + 106. Is f composite?
False
Let k(n) = 