2)/(-6)*(-6)/b a prime number?
True
Let c(u) = 874*u + 11. Is c(3) a prime number?
True
Let v(h) = -h**2 - h + 2. Let s be v(0). Let c be 6*(s + 6/(-4)). Suppose -c*o + 0*o = -n - 103, n - 2 = 0. Is o a composite number?
True
Is (-2)/4*(-1080 - 2) prime?
True
Let n be ((-250)/4)/(2/(-4)). Suppose 0 = k + 4*k - n. Is k a composite number?
True
Let p(w) = 30*w - 5. Is p(10) prime?
False
Suppose 2*l = 6*l. Suppose l = -2*h - z + 13, -2*h - 3*h = -3*z - 5. Suppose 2*s = 5*p - h*p + 10, 0 = -s - 2*p + 15. Is s composite?
False
Let g be 0 - -7 - (1 + -3). Let i = -11 - g. Let l = -13 - i. Is l a prime number?
True
Suppose -2*i + i + 19 = -5*b, 2*i - 5*b = 18. Is ((-1)/(-2))/(i/(-20)) a composite number?
True
Let w = -1235 - -626. Let y = w - -1706. Is y a prime number?
True
Let g(s) = s**2 - 13*s + 18. Let l be g(12). Suppose -l*h + 1588 = -2*h. Is h a composite number?
False
Let q(r) = 48*r**3 - 2*r**2 + r. Is q(1) a prime number?
True
Suppose 0 = 2*x - 4*s - 94, 6*x + 2*s - 55 = 5*x. Let a = 100 - x. Is a a prime number?
False
Suppose -5*a + 4*c + 527 = -80, -a + 2*c = -125. Is a a prime number?
False
Let g = 2348 + -1137. Is g a composite number?
True
Let b(k) = 2*k + 7. Let g(r) = 3*r - 4. Let j be g(4). Is b(j) a prime number?
True
Let v(h) = 166*h - 65. Is v(7) prime?
True
Suppose d = 4*r - 274, 0 = -5*r + 2*d + d + 339. Suppose r = 2*u + 5*v, 0 = -u + 6*v - 2*v + 67. Is u prime?
True
Let y = -10 + 9. Is y - 0 - (-588)/7 a composite number?
False
Suppose -5*q + 309 = -0*q + 4*o, -q - 3*o = -53. Is q a prime number?
False
Let i(v) = -v**2 + v - 134. Let q be i(0). Let m = 36 - q. Suppose 3*b = -b + 20, 0 = -3*p - b + m. Is p prime?
False
Suppose h - 1 = 0, -4*r = r - 5*h - 585. Suppose -4*y + r = 3*f - 622, y + 2*f = 185. Is y composite?
True
Let a be -2 - (-1*3)/1. Let u be (4 - 6)/((-1)/a). Is 79/(u + -1 + 0) prime?
True
Suppose -3*z = -5*g, 2*g = -3*z - g. Let y = 4 + -1. Suppose -y*h + 5*m = -160, z = 3*h + 5*m - 197 + 27. Is h a composite number?
True
Suppose -2*u - 2*u = 2*o - 158, 4*o - 344 = -u. Suppose -5*n + o + 18 = 0. Suppose -3*x + n = -24. Is x a prime number?
False
Suppose 0 = -2*t + a - 811, -2*t = 3*a + 1054 - 239. Is t/(3 - 5 - 0) a prime number?
False
Suppose 8 = -3*r + 2*r. Is (-4 + 84/r)*-14 a prime number?
False
Let x be -28 + 8/(-12)*3. Is (-16775)/x + (-2)/12 a composite number?
True
Let i(b) be the first derivative of b**2/2 - b - 1. Let k be i(4). Suppose -k*x - 69 = -306. Is x prime?
True
Suppose -4*t = -a - 15264, 0 = -5*t + 5*a - 6*a + 19089. Is t composite?
True
Let b be ((-2)/(-3))/(20/210). Suppose -9*u = -b*u - 1774. Is u a prime number?
True
Let z(t) = -136*t + 7. Is z(-4) prime?
False
Let j(s) = 2*s - 1. Let f = -5 + 8. Let w be f - (-3 - -2)/1. Is j(w) a composite number?
False
Let m be (-78)/(-18) + (-1)/3. Suppose 0 = m*x - 99 - 89. Is x composite?
False
Let l(q) = -157*q - 4. Is l(-5) composite?
True
Let s be (-1 - 33) + (-3 - 0). Let j = 68 + s. Is j a composite number?
False
Suppose -20853 = -2*o - 7*o. Is o a prime number?
False
Let m be (-6)/45*-9*5. Suppose -251 = -o + m. Is o prime?
True
Let h = 1 - 1. Suppose h = -2*w + 75 - 249. Is 1/((-1)/w) + 2 prime?
True
Is 0*(-1)/(-2) + 79 prime?
True
Is -23*((0 - -2) + -19) a composite number?
True
Suppose -3*a + 690 = 2*a + j, -3*a + 5*j = -414. Suppose -a = g - 4*g. Is g a composite number?
True
Let u(x) = x + 49. Is u(-12) a prime number?
True
Let z = -636 + 3497. Is z a composite number?
False
Let p = 19 + -17. Is p a prime number?
True
Let o(k) = -36*k + 7. Let b be (-12)/(-2 - 2)*-3. Is o(b) composite?
False
Suppose 90 = -0*q + 3*q. Is -185*(-3)/q*4 prime?
False
Is ((-3765)/60)/((-2)/8) prime?
True
Let l(n) = 3515*n - 4. Is l(1) composite?
False
Let x = 63 - 30. Is x*(-2)/(-1) + 1 a composite number?
False
Let y = 0 + 6. Suppose 41 = k + y. Is k a composite number?
True
Let z be (-7)/14*(-20)/2. Suppose 9 = 2*f + 1. Suppose -x = -2*g - 16, -z*x + x = f*g - 100. Is x composite?
True
Suppose -3*q = -c - 28, q = 5*c + 10 + 18. Let w(v) = 2*v - 12. Let z be w(q). Suppose -5*a + 53 = -z*a. Is a composite?
False
Let v = 97 - 189. Let u = v + 145. Is u composite?
False
Suppose -3*k - 2*k = -2*p - 2243, 446 = k - 3*p. Is k prime?
True
Let t(p) = p**3. Let f be t(1). Let i(c) = 1 - 1 - f - 8*c - 15*c. Is i(-1) a prime number?
False
Suppose 4*n + n = 4*r + 11, 8 = 4*n - 4*r. Let l(m) = 8*m + 0 + 4 - 6. Is l(n) a composite number?
True
Is (4/(-16)*-2878)/(4/8) composite?
False
Let l = -41 - -64. Is l composite?
False
Suppose -b - 11 = 2*z, 0 = b + 3*z - 1 + 15. Let o(p) = -1. Let g(a) = 8*a + 11. Let f(m) = -g(m) - 6*o(m). Is f(b) prime?
False
Let m = -32 - -21. Let l = 6 + m. Let p = l + 36. Is p a composite number?
False
Suppose -a - 2550 = -2*i + 3*a, -5*i + 2*a + 6407 = 0. Is i a prime number?
True
Suppose 0 = -2*m - 4*w + 2786 + 752, w = 5*m - 8889. Is m prime?
True
Let g be (-1)/3 + (-2)/(-6). Let u(o) = -o + 3. Let a be u(g). Suppose 0 = a*m - 5*q - 99, -99 = -3*m + q - 4*q. Is m a prime number?
False
Suppose -2*a = -5*a - 5*d + 3, -2*a - d + 9 = 0. Let w be (-14)/(-6) + a/9. Suppose -3*g - 28 = -i, w*i + 0*g = 2*g + 49. Is i composite?
False
Let j(a) = -2*a + 113. Is j(0) a prime number?
True
Let l be (-8)/6 + (-2)/3. Let n = 3 + l. Suppose -4*q + n = -55. Is q composite?
True
Let q(h) = 30*h - 7. Suppose -3*f + 3 = -3. Suppose -17 = -2*p + 3*u, 2 + 7 = f*p + 5*u. Is q(p) a composite number?
True
Let o = 62 + 5. Is o a prime number?
True
Let q(g) = 222*g**3 + g. Let u be q(1). Suppose f - 2*f = -u. Is f a composite number?
False
Suppose 0 = -10*w + 9*w + 161. Is w a prime number?
False
Let z(r) be the third derivative of -1/120*r**6 + r**3 - 1/3*r**4 + 0 + 0*r + r**2 - 2/15*r**5. Is z(-7) prime?
True
Let z = 9 + -19. Is (85/z)/(1/(-14)) composite?
True
Let w = -263 - -409. Is w a composite number?
True
Suppose -4*x - 2*u + 170 = 0, -3*x + 8*u - 3*u = -121. Let q be (1 - 0)/((-2)/(-134)). Let o = q - x. Is o a composite number?
True
Let d = 1816 + -767. Is d prime?
True
Let s(x) = 63*x + 29. Is s(8) composite?
True
Suppose 0 = -y - 4*b + 5*b + 108, -15 = 3*b. Suppose r - y = 54. Is r a prime number?
True
Suppose 4*f - 16 = -0*f. Suppose t + 0*t - f = 0. Suppose -i = -2*i - 2*n + 26, -t*i + n = -86. Is i a prime number?
False
Let h(c) be the first derivative of 3*c**2 + 5*c - 4. Is h(9) prime?
True
Let t(i) = -i**3 + 2*i**2 + 5*i - 4. Let n be t(3). Suppose n*j = j + 26. Suppose g - 4*l - j = 0, -4 = 3*g + 5*l + 3. Is g a composite number?
True
Let t(c) = -7*c**2 - c + 0*c**2 + 67 - c**3 + 6*c**3. Let q(n) = -11*n**3 + 15*n**2 + 2*n - 134. Let l(f) = 6*q(f) + 13*t(f). Is l(0) prime?
True
Suppose -3*r - 2*w + 57 = 0, -3*r + 4*w - 3*w = -66. Let t be (-27)/(-2) - 1/2. Suppose -k = -r - t. Is k prime?
False
Let k = 1393 - 200. Is k prime?
True
Suppose 0*k + 171 = k - 5*t, 0 = k - 3*t - 179. Is k prime?
True
Suppose 3*g - 1592 - 625 = 0. Is g composite?
False
Suppose 0 = -m + g + 1, 2*m = 4*m - 3*g. Suppose 4*v - 21 = 5*s, -m*v + 11 = 2*s - s. Suppose -u + 5*x + 1 = 0, u = -v*x - 0*x + 37. Is u a composite number?
True
Let t(d) = 133*d + 16. Is t(13) prime?
False
Suppose -12 = k - 3*k - 2*b, -18 = -2*k - 5*b. Suppose h - 3*r = -3*h + 47, 3*r = 2*h - 31. Is (18 + -1)*h/k a composite number?
True
Suppose 2*h = -3*h + 5. Suppose 3*b + 4*w + 15 = 0, -4*b - w = -0 + 7. Is h - -1 - b*5 a prime number?
True
Suppose 2522 = 3*x + 4*f, 4*f - 4 = -8. Suppose -3*b + x = -385. Is b a composite number?
False
Let g = 2 - 0. Suppose -g*t - 4*h = 8, -3*h - 11 - 21 = -5*t. Suppose 5*b = t*n + 195, n = -2*b + 42 + 23. Is b prime?
False
Suppose -s - 5*s = -3774. Is s a composite number?
True
Let p = 4 - 6. Let k be 3/p + (-65)/(-10). Suppose w = k*w - 140. Is w a prime number?
False
Let w(f) be the first derivative of 41*f**2/2 - 3*f - 1. Is w(2) prime?
True
Let c(u) = u**2 - u + 115. Let x = -3 - -3. Is c(x) a prime number?
False
Suppose -2*i - 718 = -2*x, 9*x - 1428 = 5*x + 2*i. Is x a composite number?
True
Let x = 453 + -86. Is x composite?
False
Suppose 753 = 3*f - 618. Is f a composite number?
False
Let q = -405 - -604. Is q a composite number?
False
Let a(q) = q**2 + q. Let o be a(-2). Suppose o*p = 3*j - 55, 59 = 2*j + j + 2*p. Is j a prime number?
True
Suppose j + 4*j