number?
False
Let v(f) be the first derivative of 95*f**2 + f + 3. Is v(1) a composite number?
False
Let y(x) be the second derivative of -3*x**5/20 - 5*x**4/12 - x**3/3 + x**2/2 - 3*x. Is y(-4) a composite number?
True
Suppose -3*y + 4*y - 59 = 0. Is y prime?
True
Let p be 1/3 - 74/6. Let r = 7 + p. Is r/15 - 764/(-6) a composite number?
False
Let z = -7172 + 10671. Is z a prime number?
True
Is -8*76/(-8) - 2 prime?
False
Let i be -1*(-1 + 1)/1. Suppose -3*b - 2*o + 148 = i, 4*b + 6*o - o - 195 = 0. Suppose 2*q = 2*r - 41 - 1, -2*q = 2*r - b. Is r a composite number?
False
Let t be (6/(-2))/((-12)/8). Suppose t*b - 5*u - 164 = -50, -3*u + 213 = 3*b. Is b composite?
False
Let c = 10736 - 6319. Is c prime?
False
Let b = 11 + -7. Suppose 0 = b*h - 5*h. Suppose h = 4*c - c - 231. Is c a composite number?
True
Suppose -a + 4*c = -6, 0*a + a = c + 9. Is a composite?
True
Let o = 47 + -70. Let k(l) = -76*l + 2. Let n be k(1). Let i = o - n. Is i a prime number?
False
Let k be (-4)/12*3/(-1). Let t be -1*-5*1/k. Suppose 0 = -t*j + 3*j + 44. Is j a composite number?
True
Let t be 0 + -1 - (1 + -86). Let u = 1 - 1. Suppose u*s = -4*s + t. Is s prime?
False
Let m(o) = -2*o**3 + o**2 - 3*o**3 + 18*o**2 - 19*o + 4*o**3 - 7. Is m(14) prime?
False
Let g = 1901 + -616. Suppose -a = -6*a + g. Is a composite?
False
Suppose 7 = w + 21. Suppose -v - 4 + 1 = 5*z, -v - z = 7. Let g = v - w. Is g prime?
False
Let w(y) = y**3 - 11*y**2 - 6*y + 6. Let n(t) = -3*t + 3. Let q be n(-3). Let k be w(q). Suppose b - 1 = -2, 0 = p + 4*b - k. Is p composite?
True
Let b be -2 + -1 + 0 - (-100)/(-4). Suppose -6 - 2 = 2*o. Is ((-95)/o)/((-7)/b) a composite number?
True
Suppose 2*i + 3*o = -2*o + 9, -3*o = 2*i - 3. Is 1 + i - -132 - 3 a composite number?
False
Let g(u) = 67*u + 21. Is g(4) composite?
True
Let z be (1/2)/(1/(-4)). Let b(a) = -2*a - 2. Let j be b(z). Is (-1 - j)*26/(-3) a composite number?
True
Let p be ((-12)/(-10))/(4/10). Let h(l) = 10*l - 4. Is h(p) a prime number?
False
Let g = -12 + 27. Suppose 15 = 2*q - g. Is q a composite number?
True
Suppose -4*d = 2*l - 14, 4*d - 8*d + 3*l + 9 = 0. Suppose 8 = 5*g - d*g. Is g a prime number?
False
Suppose -3*v + 4*d = -7397, -v - 4*d + 2439 = -0*v. Is v a prime number?
True
Suppose -3*f + 25 = u, f - 10 = -5. Suppose 4*r + z + u = 0, -2*r + 5*z = -0 - 6. Is (7/(-2))/(r/20) a composite number?
True
Let p = 5 + -2. Suppose p*t + t + 4*s = 540, -5*s - 635 = -5*t. Is t a prime number?
True
Let y(d) = 52*d + 1. Is y(1) a prime number?
True
Suppose 2*n = 5*h - 87, 3*h + 42 = -2*n - h. Suppose 5*f + 335 = 5*t, -4*t + f + 183 = -70. Let q = n + t. Is q prime?
True
Let a(c) = -7*c + 4 + 5*c**2 + 2*c - c**2 - 2. Is a(-5) prime?
True
Suppose l - 5*r - 782 = 355, 0 = l + 5*r - 1097. Is l composite?
False
Suppose 4*h = 4*i + 992, 806 = 5*h - 2*i - 443. Is h composite?
False
Suppose -5*f + d = 100, -4*f - 89 = -2*d + 3*d. Let m be (-1)/(0 + (-3)/f). Let p(g) = -5*g - 9. Is p(m) composite?
True
Suppose -28*z = -27*z - 147. Let p be 3 + -3 + 8/2. Suppose -m - p = 0, -2*m = -k - 6*m + z. Is k a prime number?
True
Let p be (1/2)/(17/68). Suppose 3*a = p*h - 43, -3*h - a + 23 = -h. Is h prime?
False
Suppose -2*b - 2694 = -8*b. Is b prime?
True
Let l(m) be the second derivative of -1/6*m**4 + 0 - 1/20*m**5 - 1/3*m**3 + 3*m - 3*m**2. Is l(-5) prime?
True
Let o be 2/(2*1/(-8)). Let k(b) = 15*b + 1. Let u be k(-9). Is (u/o)/(2/8) a prime number?
True
Suppose 0 = s - 4*k - 11, 5*s + k + 8 = 21. Suppose -5*b - s = -2*y, b = -y + 5*b. Is y composite?
True
Let u be 0*(1/(-2))/1. Suppose u = 3*x - x - 230. Is x a prime number?
False
Let a(c) = 187*c + 27. Is a(8) composite?
False
Let t(c) = -2*c. Let n be t(-2). Suppose 0 = -n*z + 2 - 18. Is -2 - 2/(z/34) prime?
False
Suppose 5*l + 4*c + 16 - 81 = 0, 4*l - 31 = c. Let i = -3 + l. Is i a prime number?
False
Suppose -2*c - 445 = 5*p - 5*c, 0 = -5*c - 25. Is 1/((-4)/(-4)) - p a composite number?
True
Let d(r) = r**2 - 2*r - 8. Let z be d(8). Suppose -z = x + 4*x. Let s = x - -91. Is s prime?
True
Suppose -154 - 24 = -2*n + 4*u, -2*u = -5*n + 477. Is n prime?
True
Let c be 6 - (3 + (-5 - -3)). Suppose -3*x + 404 = x + 5*i, -5*i = c*x - 510. Is x a prime number?
False
Is (3310 - 18) + 2 + 2/2 prime?
False
Suppose -4*o + o + 37 = 4*b, 0 = -3*b + 5*o + 6. Let w = -3 + b. Suppose -5*n + 1055 = 5*u - n, -w*u - 2*n + 844 = 0. Is u a prime number?
True
Suppose 0*c = -5*c + 2980. Suppose 5*r - 24 = 1. Suppose -c = q - r*q. Is q prime?
True
Suppose -1 = -n - 0. Is ((-508)/(-12))/(n/3) a prime number?
True
Is (-24)/42 - 4474/(-14) composite?
True
Let k(v) = 4*v**2 - 6*v + 8. Let j be k(9). Suppose 0 = -o + j - 101. Is o a composite number?
True
Let x(n) = -273*n - 15. Is x(-4) prime?
False
Suppose -2*z + 1338 = -152. Is z composite?
True
Suppose -3*o + 3*v = -681, 5*o - 2*o - 4*v = 685. Is o composite?
False
Let z = 7 + -3. Suppose -z*i + 201 + 107 = 0. Suppose -m + i = -242. Is m a composite number?
True
Let v(x) = 2*x**2 - 2*x - 1. Let q be v(-1). Suppose 3*i - 12 + 0 = q*k, 3*k = 2*i - 12. Is i + -3 - -3 - -83 composite?
False
Let k = 182 - -491. Is k a prime number?
True
Let a(s) = 8*s**2 + 2*s - 1. Is a(-3) a composite number?
True
Suppose -s - 10 = -6*s. Suppose -s*d = -19 - 47. Let u = 34 + d. Is u composite?
False
Suppose x = 4*x + 5*y - 11, 0 = 3*x - 3*y - 3. Suppose 0 = -o - 3*z + 112, -x*o = -0*z + 2*z - 220. Is o a prime number?
True
Suppose 7*f = -13*f + 1640. Is f a composite number?
True
Let w(i) = 279*i + 35. Is w(4) composite?
False
Let g(t) = 1055*t**3 + t - 1. Let w be g(1). Suppose 0 = 7*s - 2*s - w. Is s a prime number?
True
Let x be (-1 + -1)/(-3 - -1). Let r be 2/1 - x*-25. Suppose -y - h = -4 - 15, -y + 3*h + r = 0. Is y a composite number?
True
Let v(r) be the second derivative of r**5/20 - 2*r**4/3 - r**3/2 - r**2/2 + r. Is v(9) prime?
True
Suppose -4*p - 316 - 12 = 0. Let c = -57 - p. Is c a composite number?
True
Let h = -204 - -289. Is h composite?
True
Let h = -23 + 142. Is h composite?
True
Let d(i) = 2*i**2 + 12*i + 29. Is d(-13) a composite number?
False
Suppose 6*c - 9*c = -867. Is c composite?
True
Let s = -1033 + 2510. Is s a composite number?
True
Suppose -10*f = -6*f + 3*x - 883, 6 = -2*x. Is f prime?
True
Suppose -9*l = -13*l + 136. Is l a composite number?
True
Let x(a) = 8 + a - 2*a + 6*a - 4*a. Let v be x(-12). Let i(t) = -16*t - 6. Is i(v) composite?
True
Let m = -1 + 3. Suppose 0 = -m*t - 0*x + 3*x - 7, -3*x + 3 = 0. Is (-9)/t*(-368)/(-24) a prime number?
False
Let w = 4 + -2. Let r be 157/w - 2/4. Suppose -3*q = -q - r. Is q a prime number?
False
Suppose -13533 = -4*u + 3*i, 0 = -2*i - i + 15. Is u a composite number?
True
Let t = -22 - -81. Is t composite?
False
Let i(t) = -t**2 + 6*t - 3. Is i(3) prime?
False
Suppose 2*u = -2*z + 224, 3*u - 2 = -11. Is z composite?
True
Let j(h) = 3*h. Let i be j(1). Suppose 184 = q + i*q. Is (q/4)/(1/6) a composite number?
True
Let x(g) = 8*g - 7. Let j be 10 - (-5)/((-15)/9). Is x(j) prime?
False
Let d = 17 - -62. Is d prime?
True
Suppose k = o + 449, -o = -4*k + 677 + 1125. Is k a prime number?
False
Let q = -17 - -25. Is (86/(-4))/((-4)/q) composite?
False
Let n(a) = -12 + a - a + 5*a. Suppose q = 0, z = 3*q - 1 + 11. Is n(z) prime?
False
Is 1 + (-2)/4*-356 composite?
False
Let w = -4 + 4. Let b(m) = -m + 19. Is b(w) composite?
False
Let a be (-5 + 8)/((-6)/(-8)). Let h be 35/4*a*1. Suppose -h = -5*l - 0*l. Is l a prime number?
True
Let q = -282 - -708. Let v = -223 + q. Is v a prime number?
False
Let a be (-2)/4 + 10/4. Suppose 8 = 2*s, s + 0*s = a*n. Suppose 0 = -v - 2*m + 157, m - 320 = -n*v - 0*m. Is v composite?
True
Let v = 6 + -9. Let w be (-2)/v + (-6)/9. Suppose -2*x + 13 - 1 = w. Is x a composite number?
True
Suppose 0 = 5*i - i. Suppose 2*b = -i*b + 134. Is b a prime number?
True
Let o(n) = -3*n**2 - 3*n - 2. Let q be o(-2). Let b(y) = y**2 + 7*y - 5. Let s be b(q). Suppose 4*k - 63 + s = 0. Is k composite?
True
Let g = 18 + -10. Let o(x) = x**2 + 1. Is o(g) composite?
True
Let u(c) = -734*c - 1. Is u(-1) composite?
False
Suppose 5*m = -0*w + 3*w + 464, -286 = -3*m - 2*w. Is m composite?
True
Suppose 5*p = -h + 31, 19 = -2*p + 6*p - 5*h. Let l(b) = -2*b**3 + 0*b**3 + 7*b**2 - 5 + 3*b + b**3. Is l(p) a prime numb