ite?
True
Is (-521)/5*(0 - 20/4) composite?
False
Suppose v = u - 607, u + 267 - 862 = 4*v. Is u a prime number?
False
Let b(y) = 807*y - 10. Is b(1) a prime number?
True
Suppose -10 = -n + 2. Is (n/18)/((-2)/(-177)) a composite number?
False
Is 1*(0 + 3 - (-1 - 42)) a prime number?
False
Let j = 387 - -3602. Is j a prime number?
True
Let o(r) = 4*r**3 - 4*r**2 + r. Let i be o(3). Let l = 113 - i. Is l composite?
True
Let a(q) = -q**2 - q. Let s(x) = 5*x**2 + 6*x - 7. Let b(v) = 3*a(v) + s(v). Let h(g) = -g**2 + g + 8. Let c be h(0). Is b(c) prime?
False
Suppose c + 3*c + 4*l - 72 = 0, -c + 3*l + 38 = 0. Suppose -3*o - 13 = c. Is -4*(159/o)/1 a prime number?
True
Is 2/4*434/1 composite?
True
Let d = -2 + 7. Suppose 4*x = 13 + 7, 3*r + d*x - 94 = 0. Is r prime?
True
Let z(o) = -28*o**3 + 2*o**2 + 5*o + 1. Is z(-2) a prime number?
True
Is (-3 + 2)*1 - -494 a composite number?
True
Suppose 4*x + 5*j - 418 = 5749, -5*x = -5*j - 7720. Is x a prime number?
True
Suppose -19 = -j + 3*x, 2*x + 6 = -4*j + 3*j. Suppose j*m = -2*f + 3*f - 251, 0 = m. Is f prime?
True
Suppose 4788 - 752 = 4*z. Is z prime?
True
Let v = 27 + -22. Let f(j) = j + 2. Let i be f(-2). Suppose i*x + v*x = 165. Is x a prime number?
False
Is (2 - (4 - 4)) + 327 prime?
False
Let r(t) = 198*t**2 + 8 - 2 - 5 + t. Let z be r(-1). Let i = -71 + z. Is i prime?
True
Let d(p) = 5*p**2 + 2*p + 1. Suppose -2*u + 2 = -u. Is d(u) composite?
True
Let n(h) be the first derivative of -h**3/3 - 3*h**2 + 6*h + 1. Suppose -4*f - 17 = 3. Is n(f) composite?
False
Let n(c) = c + 1. Let i be n(-1). Suppose i*w = -3*w + 15. Suppose w*o - 3*o - 107 = -3*h, -2*o - 152 = -4*h. Is h composite?
False
Let r be (2 - 3) + (-6)/(-1). Suppose 3*j - 15 = -2*j + 2*u, -2*j + 3*u - r = 0. Suppose j*i = f - 1 - 8, 39 = 3*f - 3*i. Is f composite?
True
Suppose r + 0*d + 2*d - 124 = 0, 5*d + 545 = 5*r. Let b = 9 + r. Is b prime?
False
Let w(s) = -2510*s + 3. Is w(-1) a composite number?
True
Let i = -21 - -89. Suppose 3*o + 206 = i. Is (-4)/12 - o/3 a prime number?
False
Let w = 8 + -6. Suppose -179 = -5*b - 2*c, 2*b - 139 = -w*b - 3*c. Is b a prime number?
True
Let j = 13 - 11. Is (-1 + 2)*(j - -17) a composite number?
False
Let z(p) = -23*p**3 - 2*p**2 - 3*p - 2. Is z(-1) a prime number?
False
Let u be 2 + (553 + 4 - -2). Let s = u - -754. Is s a prime number?
False
Suppose -3*p = -4*p - 36. Let f = -67 - p. Let o = 54 + f. Is o composite?
False
Let n(a) = -68*a**2 - a + 2. Let x be n(-3). Let l = x + 858. Is l a composite number?
False
Let c = -2811 - -4706. Is c composite?
True
Let f be (3/(-2))/(3/(-6)). Suppose -f*p + 247 = -z - z, -3*z = 4*p - 301. Is p prime?
True
Suppose 13 = -2*o + q, -15 = 3*o - 5*q + 8. Is (-52)/(-2) - o/(-2) prime?
True
Let f(o) = -3*o + 4. Let s be f(4). Let b = -62 + 89. Let h = b + s. Is h prime?
True
Let t(m) = 43*m - 3. Let b be 1/4 + (-7)/(-4). Is t(b) prime?
True
Let v(x) = 4*x**2 + 53*x - 26. Is v(-23) composite?
True
Let d be 55/(-22)*(-4)/5. Suppose f - 21 = -2*p, 175 = 7*f - d*f - 4*p. Is f composite?
False
Suppose 0*r - 4*g = r + 9, 3*g - 2 = -2*r. Let b(o) = -o**2 - 11*o + r + 0*o**2 + 0*o. Is b(-6) composite?
False
Suppose 2*t + t = 3. Let g be t - (-15 + 0 + 1). Let i = g - -6. Is i composite?
True
Let w(v) = -4*v + 1. Let k be w(1). Let c(x) = -3*x**3 - 4*x**2 + x + 1. Is c(k) prime?
True
Suppose l + r - 142 = 128, -2*l + r = -546. Suppose 5*v - 662 = -y, -2*v + 0*v - 4*y = -l. Suppose 0 = 2*a - 6*a + v. Is a a prime number?
False
Is (0 + 55)*(-2)/(-2) a composite number?
True
Let t(p) = p**2 - 7*p - 1. Let c be t(8). Suppose -c*a = -3*a - 8. Suppose -a*z = -0*z - 238. Is z composite?
True
Let w(m) = 110*m - 3. Is w(2) a prime number?
False
Let v(a) = a**3 + 3*a**2 + 4*a - 1. Let f be v(-3). Let g = 2 - f. Is g a prime number?
False
Let d = 64 - 25. Is d a prime number?
False
Suppose 14 = -5*k + 4*c + 66, 28 = 2*k + 2*c. Is k/42 + 906/14 composite?
True
Suppose 0 = 3*n + n - 2*m - 284, n = 2*m + 77. Is n prime?
False
Let m(w) = 70*w - 18. Let s be m(12). Let v be (s/5)/((-6)/(-20)). Suppose 5*p = v - 93. Is p prime?
False
Suppose 3*z - 7*j - 15 = -2*j, -3*j = 0. Suppose 2*o = 4, -5*g + 1723 = o + 3*o. Is g/z - 2/(-5) a composite number?
True
Let x = 163 - 92. Is x a prime number?
True
Let w = -1 + 4. Let o(a) = 86*a - 1. Is o(w) prime?
True
Let c(f) = f**3 + 8*f**2 - 5*f - 6. Is c(-5) a prime number?
False
Let i(h) = -135*h - 7. Let p(n) = -n - 1. Let b(k) = i(k) - 6*p(k). Is b(-2) a composite number?
False
Let c(x) = 113*x + 6. Let t be c(6). Is t/20 + (-2)/10 a composite number?
True
Let j(h) = 5 + 5*h - 6*h + 19*h. Is j(4) a composite number?
True
Let z(r) = 81*r + 11. Is z(12) a composite number?
False
Let g = 9176 - 5947. Is g composite?
False
Is 30/70 + (-1296)/(-14) composite?
True
Suppose -6*z + 590 = -z. Is z a composite number?
True
Let l(q) = q**2 - 4*q - 2. Let r be l(4). Let y be r + -1 + (13 - 5). Suppose 4*m = -v + 279, -m - 2*m - y*v = -188. Is m composite?
False
Let f = 68 + 741. Is f a prime number?
True
Let b = 677 - 474. Is b composite?
True
Let h(z) = -4*z - 1. Let g(l) = l. Let k(t) = -2*g(t) + 2*h(t). Let w be (-1 - 6) + (6 - 3). Is k(w) prime?
False
Let y be (-1797)/(-6) + (-1)/(-2). Suppose -892 + y = -4*f. Suppose v = -3*v + f. Is v a composite number?
False
Suppose -z - z = -350. Suppose -y + 6*y - z = 0. Is y - ((0 - -2) + 0) prime?
False
Let g(u) = u**2. Let y(w) = -w**3 + 7*w**2 + 7*w - 1. Let h(b) = -3*g(b) + y(b). Is h(5) prime?
False
Let x(l) = 60*l**2 - 8*l - 3. Is x(5) a composite number?
True
Is (2 - (3 + 2))*-277 composite?
True
Let g(y) = -2*y + 4*y + 14 - 2*y - y. Let w be g(10). Suppose x + x + 67 = 5*f, w*x + 17 = f. Is f composite?
False
Let f(a) = -3*a**3 + a. Let w be f(-1). Let u = w + 3. Suppose u*c = 2*c + 357. Is c a composite number?
True
Let n = -14 - 29. Let m = n - -170. Is m composite?
False
Is (-631)/(-3) + 24/36 a prime number?
True
Let z be (-3)/(-3)*(4 - 1). Suppose -z*f + 27 = -0*f. Is (6/f)/((-2)/(-57)) composite?
False
Suppose 0*r + 441 = 5*r - 4*p, -4*p = r - 69. Is r a composite number?
True
Let g = -398 + 735. Is g a composite number?
False
Let p be -1 - (0 + 0 + -175). Suppose 0*y + 373 = 5*n - 3*y, 0 = 2*n + 5*y - p. Is n composite?
True
Suppose 0 = 3*h - 6*d + 2*d - 38, -5*h + 50 = -4*d. Let v(b) = b**3 - 4*b**2 - 3*b - 1. Is v(h) a composite number?
False
Is (-4)/(-4) + 0 - -162 prime?
True
Suppose -4 = 3*j + 2, -2*l - 2*j = 0. Suppose -7*x + l*x + 95 = 0. Is x composite?
False
Let t(i) = -i**2 + 4*i + 2. Suppose -2*l - 32 = -5*j + l, 2*j + 12 = -5*l. Let s be t(j). Is (-2 - 0) + s + 95 a prime number?
False
Suppose -2*k + 511 = -205. Is k a prime number?
False
Let i = -6 + 11. Suppose 4*d + a - 5*a - 28 = 0, -3*d = a - 17. Let b = d + i. Is b a composite number?
False
Let l = -9 - -6. Let w be 2/(-6) + (-1)/l. Suppose w = -2*k + 2*c + 18, -4*k = -2*c - c - 37. Is k a composite number?
True
Let k = -34 - -12. Suppose 2*b = -5*q - 3*b, 5*q - 2*b - 28 = 0. Let r = q - k. Is r composite?
True
Let b(a) = -156*a - 2. Let y be b(-3). Let d be 279*(0 + (2 - 1)). Let j = y - d. Is j a prime number?
False
Is (204/24)/(1/26) composite?
True
Is (-2636)/(-20)*(7 - (2 - 0)) a composite number?
False
Let v(g) = 42*g**3 - 3*g**2 + g + 9. Is v(3) prime?
False
Let d = 11 - 15. Is 56 + (d/2)/2 a prime number?
False
Let w(f) = f**3 - 6*f**2 - 4. Let a be w(6). Let d = 9 + a. Suppose -5*y - 26 = 3*k - 4*k, y - 26 = -d*k. Is k composite?
True
Let m(y) = -y. Let t be m(-2). Is -13*(t - (3 + 0)) composite?
False
Let s(w) = -w**2 + 6*w + 7. Let n be s(5). Let u = -6 + n. Is u a prime number?
False
Let r be 1/(-1*(-3)/(-1047)). Let d = -162 - r. Is d a composite number?
True
Let d(c) = c**3 + 8*c**2 + 8*c - 2. Let w be d(-6). Let g = 1 + w. Is g composite?
False
Let x(k) = 10*k**2 + 7*k + 2. Is x(-7) a composite number?
False
Let o(x) = x**3 + 10*x**2 + 8*x - 12. Let d be o(-7). Suppose 2*c + d = 3*c. Is c prime?
True
Let j = 597 - 178. Is j prime?
True
Suppose u + 2*m + 18 = 2*u, -4*u - 2*m + 102 = 0. Let v(c) = -c - 6. Let p be v(9). Let b = p + u. Is b a prime number?
False
Suppose -c = -4 - 2. Suppose 3*j + 27 - c = 0. Let k = 21 + j. Is k prime?
False
Let r(x) = -x + 34. Is r(0) a composite number?
True
Let j(s) = -s**2 + 8*s 