+ (-4)/(-3))*f prime?
True
Suppose -2*c + 159 = 5*d - 119, -3*d = 5*c - 733. Is c a composite number?
False
Let p = -6 - -11. Suppose 0 = -x + j + 86, -p*j + 104 = x - 0*x. Is x composite?
False
Let h be 2*5*(-3 - -4). Let v be 28/h - (-3)/15. Suppose -v = -a, -145 = -4*k + 4*a + 375. Is k prime?
False
Is (55/20)/((-1)/(-356)) a composite number?
True
Let z(h) = h**3 - 6*h**2 + h + 2. Let p be z(8). Let w = -149 - -64. Let v = w + p. Is v composite?
False
Let c be (-1 - -250) + 2*-1. Suppose -15*r + 12*r = -360. Let f = c - r. Is f a composite number?
False
Suppose -5*m = -3*p + 6*p - 2021, 3*p + 3*m = 2025. Is p a composite number?
False
Let j be (-12)/2*55/(-2). Suppose 8*z - j = 3*z. Is z a composite number?
True
Suppose 4*f = -8, 7*f = -4*g + 2*f + 2962. Is g prime?
True
Suppose -53 = -6*w + 5389. Is w a composite number?
False
Let d(j) = 13*j - 2. Let y(m) = 25*m - 5. Let u(q) = 5*d(q) - 3*y(q). Is u(-5) prime?
False
Suppose 2*b - 198 = 100. Suppose -2*u + 3*u - b = 0. Is u prime?
True
Let p(w) = w**2 + 4*w - 6. Let b be p(7). Let z = b + -48. Is z composite?
False
Let j = 5 + -3. Suppose 4*r = -4*d - 12, 2*d = -j*d - 3*r - 7. Let t = 13 - d. Is t a prime number?
True
Let k(g) = 2*g + 5. Let y be k(0). Suppose 0 = y*c, -4*z = 2*c + 3*c - 644. Is z a composite number?
True
Let p be (2 - 2) + (-2 - -7). Suppose 0 = 5*l - 15, 0 = -p*h + 2*l - 5*l + 754. Is h a prime number?
True
Suppose -10 = 4*d - 6*d. Let c(v) = 1 + 3 + v + 2*v. Is c(d) composite?
False
Let v(a) = 2*a**2 + 6*a - 1. Is v(7) prime?
True
Let k(x) = 4*x**2 + 2*x + 1. Let p be k(-1). Suppose 3*s - 375 = -p*u, 4*s + 0*u - 524 = 2*u. Is s a prime number?
False
Is ((-30)/18 + 1)*-4281 a prime number?
False
Suppose 8 - 33 = -5*p. Suppose 4*i = 3*i - 3*r + 13, -p*r = 5*i - 15. Let z(v) = -116*v + 1. Is z(i) a composite number?
False
Let f(n) = -n**2 - 12*n + 3. Let g be f(-12). Suppose 5*x - 3*i - 761 = x, -577 = -g*x - 4*i. Is x a prime number?
True
Let i(p) = p**3 + 19*p**2 - 25*p + 24. Is i(-19) composite?
False
Let f be (-3 - -2)*-3 + 517. Suppose w + f = -3*w. Is w/(-1) + (-4 - -1) a prime number?
True
Let u(a) = 6*a**3 + 8*a**2 + 10*a - 4. Let n(s) = -5*s**3 - 7*s**2 - 9*s + 3. Let d(b) = 5*n(b) + 4*u(b). Is d(-4) prime?
False
Let x(o) = 28*o + 5. Let k(h) = -h. Let y(s) = -4*k(s) - x(s). Is y(-5) a composite number?
True
Let h(i) = i**3 + i**2 + 4. Let a be h(0). Suppose 4*u + a*q - 4 = 0, -4*u + 5 - 1 = 2*q. Is (u/(-2))/(4/(-80)) prime?
False
Suppose -4*u = -76 - 56. Is u composite?
True
Is 10 + (-5)/((-15)/12) a composite number?
True
Let k = 7 + -7. Suppose -4*z + k*z = -12. Suppose -z*l = -8*l + 115. Is l a composite number?
False
Suppose 0*l + 4*a - 19 = -l, 0 = 4*l - 2*a - 22. Suppose 2*b - l - 1 = 0. Is b a prime number?
False
Is 2164/(0 + -4)*-1 a prime number?
True
Suppose 20 = -5*f, 0*f + 106 = 2*o - 3*f. Is o prime?
True
Let w be (1/(-3))/(1/(-9)). Let c = 50 + w. Is c prime?
True
Let x(l) be the third derivative of l**5/6 + l**3/2 - 4*l**2. Is x(4) prime?
True
Let s be (12/10)/(6/20). Let o = 21 + s. Is o prime?
False
Suppose -2*z - z = o - 7, 4*z - 18 = 3*o. Suppose 0 = 2*b + z*b - 110. Is b prime?
False
Let f(u) = -u**2 - u + 6. Let i(p) = p**3 + 2*p**2 + p + 2. Let j be i(-2). Let g be f(j). Let m = 21 - g. Is m a prime number?
False
Suppose 0 = -3*d + 45 + 114. Is d a composite number?
False
Let u be (-1312)/12*3/(-2). Suppose 4*f - 129 = 2*p + 527, 2*p = -f + u. Let n = f - 115. Is n a composite number?
True
Let z = 204 + -40. Suppose 4*s + 0*s = z. Suppose 84 = 5*t - s. Is t a composite number?
True
Let u be -3 + 0 - (0 - 8). Suppose -u = -4*w + j, 2*w - j + 2 = j. Suppose a + w*p - 17 = 10, 5*p = 4*a - 173. Is a a composite number?
False
Let g = -179 + 430. Is g prime?
True
Suppose 2*m + 132 = 950. Is m a prime number?
True
Let m(r) = -1. Let g be (-2)/4*(-156)/3. Let f(p) = 26*p**2 + 26. Let n(q) = g*m(q) + f(q). Is n(1) a prime number?
False
Let m(g) = 11*g**2 - g - 11. Is m(-9) composite?
True
Let y = -1940 - -5535. Is y a composite number?
True
Let w(o) = -o**2 - 11*o + 10. Let d be w(-11). Let b(s) = 4*s - 14. Is b(d) prime?
False
Suppose 13 = y - 0. Suppose t - 2*c = y + 62, 0 = t - 5*c - 72. Is t prime?
False
Let h = 275 - -282. Is h prime?
True
Suppose -a - 2*a + 32 = 5*q, -3*a + 4*q - 4 = 0. Suppose -a*j + 83 = 3*u - 2*u, u + 106 = 5*j. Is j prime?
False
Suppose 2 = -5*n + 2*x + 6, -4*x = -12. Let p be (-1)/((-12)/9 + 1). Suppose n*l = -p*u + 203, 0 = 4*u - 0*u + 4*l - 276. Is u prime?
False
Let a(s) = 3*s**2 + 13*s - 2. Let y be a(-9). Suppose -3*u + y = 5*r, -5*r = 4*u + 6 - 133. Is r a prime number?
True
Let h(b) = -b - 1. Let z be h(-1). Is 0 + z - (5 + -268) a prime number?
True
Suppose 39*p - 44*p + 3895 = 0. Is p prime?
False
Let x(v) = -6*v - 3*v**2 + 3*v**2 - 1 - 4*v**2 + v**3. Is x(6) a prime number?
False
Let o = -71 - -404. Suppose -3*l + 90 + 247 = 5*n, o = 5*n + 2*l. Is n a prime number?
False
Let y(f) = -1567*f + 2. Is y(-1) composite?
True
Suppose -4*x + 31 = -c - 400, -5*c = 15. Suppose 5*v + f = 388 + 210, -4*f - x = -v. Is v composite?
True
Is 2/(-12) + -1 + 50692/24 a prime number?
True
Let s(m) = -1. Let u(a) = 91*a - 7. Let f(y) = -4*s(y) - u(y). Is f(-6) composite?
False
Let z = 1 + -5. Let n be (-2)/z*-2 + 5. Is (-1492)/(-28) - n/14 a prime number?
True
Suppose 9*v + b = 4*v + 783, -b - 316 = -2*v. Is v a prime number?
True
Let t(w) = w**3 + 6*w**2 + 5*w + 2. Let z be t(-3). Let y = 23 - z. Suppose 0*b - 2*b = 5*v - 36, -b = v - y. Is v composite?
True
Let u(t) = -t**2 - 8*t - 5. Let s be u(-6). Let n = 76 + s. Is n composite?
False
Is (-6)/(-21) + (-19929)/(-49) prime?
False
Let q be (-17)/4 - 2/(-8). Let r(f) = 3*f**2 + f - 5. Is r(q) a composite number?
True
Is (-3 + 4 - 3) + -3 + 946 composite?
False
Suppose 6*y - 3*y - 237 = 0. Is y prime?
True
Let o(u) be the first derivative of -3*u + 2 - u**2 + 1/3*u**3. Is o(-4) composite?
True
Let g(h) = -h + 5. Let c be g(-3). Suppose -y - 4*y + 325 = 0. Suppose c*n - y = 3*n. Is n a composite number?
False
Is (3/(-4))/(1/(-332)) a composite number?
True
Suppose -m - 3*y + 489 = 0, 4*m - y = -0*y + 1956. Suppose -h - m = -4*h. Is h a composite number?
False
Let q = 0 + 3. Let i(d) = 5*d. Let v be i(q). Suppose -18 = -3*l + v. Is l prime?
True
Let c(r) = 23. Let f(b) = -b. Let w be f(-1). Let v(d) = d + 1. Let s(o) = w*c(o) - v(o). Is s(0) a composite number?
True
Let q be -6*(-2)/12*254. Suppose 3*o + w - 183 = -3*w, -4*o - 2*w = -q. Is o composite?
True
Let g(j) be the second derivative of j**4/12 - 3*j**2/2 + 2*j. Let x be g(3). Is (2/x)/((-2)/(-114)) a prime number?
True
Let a = 17 + 4. Suppose 0*v - v = -a. Is v composite?
True
Is 150 + (1 - (-1 + 3)) prime?
True
Suppose -4 = -x, 5*o + 4*x - 16 = -0*x. Let j = 10 - o. Is j composite?
True
Let t = -339 + 2028. Is t a prime number?
False
Is ((-4)/(-10))/((-3)/(-435)*1) prime?
False
Let f(p) = p**3 + 11*p**2 + 2*p + 15. Suppose -3*h + 10 = -4*h. Is f(h) a composite number?
True
Let q(u) = -4*u - 9. Is q(-5) a composite number?
False
Let q(y) = -20*y - 1. Let w be 4/(-6) + 15/9. Let u be q(w). Is 2/(-7) - 993/u a composite number?
False
Suppose n + n - 20 = 0. Suppose r + 4*r - n = 0. Suppose -2*c = r - 40. Is c prime?
True
Let y(i) = i**2 + 11*i - 7. Is y(12) prime?
True
Suppose 12 = 3*s - 5*t, -2*s - 1 = -t - 9. Suppose 0 = s*w - 0*w - 148. Is w prime?
True
Let v = -340 + 657. Is v a composite number?
False
Let y = -213 - -923. Suppose -3*u - 2*u = -y. Is u composite?
True
Let n(z) = -z**3 - 3*z**2 + 5*z - 2. Let b be n(-4). Is b/4*(-182)/3 composite?
True
Suppose -4*t + 412 = -2*t. Suppose 4*i + 0*z + z - t = 0, 2 = z. Is i a prime number?
False
Let l = 408 - 41. Is l a prime number?
True
Suppose -2*s - s = -n - 2954, 2*s - 1956 = -2*n. Is s a composite number?
False
Let q = 75 - -136. Is q prime?
True
Suppose 3 = -2*p - b, 2*b = 3*p + 3*b + 2. Is (-2)/(-4*p/74) a composite number?
False
Let w(z) = 15*z**2 - 14. Is w(-13) prime?
True
Is 357771/62*((-4)/(-6) - 0) a composite number?
False
Let j = 1890 + -1349. Is j a prime number?
True
Let z be 53/(-5) + 8/(-20). Let v = 9 - z. Suppose 50 + v = 2*k. Is k a prime number?
False
Let j = -183 + 452. Is j composite?
False
Let h = 4552 + -3111. Is h prime?
False
Suppose c = -4*c 