ite number?
False
Suppose -5*v + 489 + 846 = 0. Let n = v + 530. Is n a prime number?
True
Let l(p) = -2*p**2 - p - 1. Let s be l(-1). Let q be (s + 124)/(-2) - -1. Let v = q + 117. Is v prime?
False
Suppose -5*i - 805 = 10. Let s = 63 + i. Let z = 219 + s. Is z a prime number?
False
Let w(y) = y**2 + 2*y + 2. Is w(8) composite?
True
Suppose 7*u - 3*u = 2*h + 2008, 2*h = 0. Is u a prime number?
False
Let t = 61 + 130. Is t a prime number?
True
Suppose -2*m - 12 = -194. Is m a composite number?
True
Suppose m = -m. Suppose m = -3*j + 13 - 1. Suppose 2*p - 413 = -5*a, 0*p + j*p = -3*a + 245. Is a composite?
False
Let l = -4 + 8. Suppose 0 = 5*k - l*k - 131. Is k composite?
False
Let t(p) = 2*p + 4. Let h be t(-3). Let w(m) = -9*m + 1. Is w(h) a composite number?
False
Is (2*(-146)/8)/((-2)/68) a composite number?
True
Let g(k) = -7*k**3 - 3*k**2 + 6. Let i(w) = -6*w**3 - 3*w**2 + 5. Let y(p) = 5*g(p) - 6*i(p). Let h be y(-3). Suppose 0*t - 2*t + 14 = h. Is t composite?
False
Let c(y) = 6*y + 14. Let t(b) = 1. Let p(n) = -c(n) + 6*t(n). Let g be p(6). Let d = g + 77. Is d composite?
True
Suppose 832 = 3*c + 142. Suppose 0*f + c = 5*f. Is f composite?
True
Let n(f) = f**2 + 0*f + 4 - 4*f + f. Let t be n(4). Suppose -t*s + 3*s = -j + 4, 34 = 2*j + 3*s. Is j prime?
False
Suppose 0 = 4*y - 3*i, 4*i - 5 - 5 = 2*y. Is (2 - y/2)*182 a composite number?
True
Let s(o) = o**2 - 6*o - 3. Let d be s(11). Let w = d + -23. Suppose -2*b - x + w = 0, 0*b - 2*b = -3*x - 17. Is b composite?
False
Let b(f) = -f + 1. Let z be b(1). Let t be 385*(3/3 - 0). Suppose z*n + 5*n = t. Is n composite?
True
Suppose -5*a + 17 = -3. Suppose -5 - 19 = -a*g. Suppose -g*f + 4*f = -134. Is f a composite number?
False
Let u(n) = n**3 - 15*n**2 + 18*n - 5. Is u(15) a composite number?
True
Let m be (-10)/(3/(3/(-2))). Suppose g = -3*v + 5*g + 1611, g - 2708 = -m*v. Is v a composite number?
False
Suppose -32*o + 28*o = -3448. Is o a composite number?
True
Is 815/2 + 2/(-4) a prime number?
False
Suppose 2*z + 978 = 3*z. Is (-1 - -4)*z/18 a prime number?
True
Suppose 69 = -4*k - n - 0*n, -5*n = 5. Let f = k - -24. Is f a prime number?
True
Let x = -74 - -672. Suppose x + 26 = -2*f. Let a = -127 - f. Is a prime?
False
Let b = -2 + -8. Let n = 67 - b. Is n prime?
False
Let y = -16 + 14. Is (-162)/4*y - 4 a prime number?
False
Let o(k) = 2*k + 5. Let z be o(-4). Let l(p) = p**2 + 3*p + 4. Let j be l(z). Let w = -2 + j. Is w prime?
True
Let y(g) be the third derivative of -g**6/120 - 2*g**5/15 - g**4/3 - 7*g**3/6 + g**2. Let o be y(-6). Is (o/4)/((-4)/16) a prime number?
True
Suppose 4*q + 5*c - 902 = 0, 5*q - c - c = 1111. Is q composite?
False
Let q(z) = -z**2 - 6*z - 1. Let g be q(-6). Is (10 - -3)*4 - g a prime number?
True
Let o(d) = d**3 + 2*d**2 - 4*d - 3. Is o(4) a prime number?
False
Let c = -18 + 18. Suppose 5*a - 21 - 49 = c. Is a prime?
False
Let l(o) = 2*o**2 + 3*o + 1. Is l(-6) a prime number?
False
Let s = 25 - 14. Let r(k) = -k**3 + 11*k**2 + 3*k + 13. Is r(s) a composite number?
True
Let q = -13 - -13. Let z = -13 - -47. Suppose -5*h - 4 + z = q. Is h a composite number?
True
Let d(k) = -2*k + 14. Let z be d(6). Suppose 1366 = z*c - 4*r, 0 = -2*c - c - 2*r + 2081. Is c composite?
False
Let v(f) = -10*f**2 - 3*f - 5. Let l(r) = -11*r**2 - 3*r - 6. Let h(n) = 6*l(n) - 7*v(n). Let j(u) = -5*u**3 - u. Let z be j(-1). Is h(z) a composite number?
True
Let n = -759 + 1638. Is n composite?
True
Let g = 0 + -3. Let i(t) = -2*t**3 - 3*t**2 - 4*t - 2. Is i(g) composite?
False
Let c = 229 + -18. Is c a prime number?
True
Let d = 47 - -13. Let o = d + 6. Suppose 0*c = -3*c + o. Is c a prime number?
False
Suppose -2*k - 4*l + 3 = -3, 3*k - 4*l = -21. Let y be ((-4)/3)/(k/9). Is 4 - 5 - -9*y prime?
False
Let y be (1 - -1)/(-1 - -2). Let c(p) = 4 - 1 - 6*p + p**2 + y. Is c(8) composite?
True
Let k be (-2)/(12/9)*2. Is 2*46/((-6)/k) a prime number?
False
Let m(q) = 8*q**2 - 1. Is m(3) prime?
True
Let g(f) = -f**2 - 6*f - 6. Let i be g(-4). Suppose 2*r = -2*p + 78, 70 = i*p + 6*r - 2*r. Is p prime?
True
Let l(g) = 4*g**2 + 2*g - 1. Let o be l(1). Let y(a) = o*a**2 - 5 - 3*a**2 - a - a**2. Is y(-9) a prime number?
False
Suppose -5*r + 1053 = -3*v, -v = -6 + 2. Let g = -152 + r. Let l = g + -30. Is l composite?
False
Suppose -g = -0*g - 16. Suppose c = 5*c - g. Let y = -2 + c. Is y composite?
False
Let x = -15 + 19. Suppose -x*g + b = -212, -3*g + 0*g + 159 = b. Is g a composite number?
False
Let n(a) = a**2 - 3*a + 1. Suppose x = 4*b - 0 + 23, 2*x + 38 = -4*b. Is n(b) a prime number?
True
Suppose 0 = 5*u - 4*x - 94, 0*u + 2*u - 2*x - 38 = 0. Suppose 108 + u = 2*t. Suppose m - t = -12. Is m composite?
True
Let f(d) = -3*d**3 + 13*d**2 - 16*d + 26. Let o(s) = s**3 - 4*s**2 + 5*s - 9. Let q(x) = 4*f(x) + 11*o(x). Is q(6) prime?
True
Is 95/(-2)*(0 + -2) prime?
False
Is (-223)/(-4)*(-9)/(27/(-12)) a composite number?
False
Suppose y - 3 - 1 = 0. Suppose t - 150 = -4*k, y*k + 4*t - 152 = 2*t. Is k a composite number?
False
Suppose 3*n + 3*t = 2*t + 234, -n + 73 = 2*t. Is n a composite number?
False
Suppose 0 = -3*m - 5*i - 51 + 190, -2*m + 122 = -4*i. Is m a composite number?
False
Let u = 2 + 2. Suppose 146 = -2*x + x + 2*h, -u*x = -h + 598. Is (-1)/(2 - x/(-74)) composite?
False
Let s = 13 + -11. Suppose s*r + 4*y - 869 = r, -4*r + 3*y + 3571 = 0. Is r composite?
True
Let a = -9 - 2. Let p(m) be the first derivative of -m**2/2 + 3*m - 2. Is p(a) a prime number?
False
Suppose 0*l + 4*l + 39 = -3*h, 5*l = -4*h - 50. Let p be (-78)/(-4)*(4 - l). Let o = -80 + p. Is o composite?
True
Suppose 5*z + 4*b = b + 38, 3*z + 4*b = 25. Suppose -13 = 5*w + z. Let q(o) = -32*o - 1. Is q(w) a prime number?
True
Let u be (-453)/(-6) - 2/4. Let q = u + 14. Is q a composite number?
False
Is (-3602)/(-8)*(-15 - -19) a composite number?
False
Let i(w) = -w**3 + 11*w**2 + 17*w - 11. Let f be i(11). Suppose 5*x = j - 2*j + 48, f = 4*j + 4*x. Is j composite?
False
Let p(s) = 2*s + 46. Is p(0) a prime number?
False
Suppose -2*l + 3*l - 6 = 0. Is (0 + (-68)/l)*-3 a prime number?
False
Let v = -1075 + 1616. Is v a composite number?
False
Suppose -15 = -6*h + h. Suppose t - 17 = -h*s, 3*s = -2*t - t + 63. Is t composite?
False
Suppose j = x - 31, -4*j + 44 = -3*x + 135. Let g be (1/(-3))/(3/(-927)). Suppose 5*o - g = -x. Is o composite?
True
Let p(r) = -542*r**3 - r**2 - r - 1. Is p(-1) composite?
False
Is (-11 - -10)/(1/(-1114)*2) composite?
False
Let u be (23 - -2) + 0 + 1. Suppose 0*c + u = 2*c. Is c a composite number?
False
Let y = 1 - -4. Let k(v) = 2*v**3 - 4*v**2 - 3*v - 6. Is k(y) a prime number?
False
Let t = -8 - -5. Let c be (-2 + t)*(-4)/5. Suppose -17 = -c*b + 11. Is b composite?
False
Let m be 49/21 - 2/6. Suppose -g = -m*a + 6, -5*g - a = -4*a + 9. Suppose 0 = 3*v + 3*n - 204, -5*v - 2*n + 6*n + 331 = g. Is v a prime number?
True
Let s(r) = r - 2. Let d be s(7). Suppose 1 - 11 = -d*f. Let h(o) = 9*o**2 + 2*o - 1. Is h(f) composite?
True
Let g be (4 + -2)*13 - 1. Suppose 0 = 4*k + t - 146, -k + 2*t + g = -16. Is k composite?
False
Let f(j) = 4*j**2 - j + 20. Is f(11) a composite number?
True
Suppose -5*r - 4 + 37 = 4*j, -4*j + 13 = r. Suppose -f - b = -53 - 16, -b = j*f - 140. Is f a prime number?
True
Let x = 5 + -1. Suppose -x*c + 178 = -2*c. Is c composite?
False
Let o be 3*((-30)/9 - 0). Let x(z) = z**2 - 4*z + 5. Is x(o) composite?
True
Let q(o) = o**3 + o**2 + 701. Is q(0) a prime number?
True
Suppose -3*g + 2 = k - 1, -2*k + 5*g + 17 = 0. Let l be k/(-9)*(-4 + -2). Suppose -77 = -5*x - l*v + 37, 4*v = x - 18. Is x prime?
False
Suppose -16 + 8 = -4*b. Suppose k - b*k + 13 = 0. Is k prime?
True
Suppose -5*w = -92 - 108. Is (w/32)/(1/8) a composite number?
True
Let d be -2 - (-3)/(-2)*-4. Suppose j + 156 = d*c, j + 1 + 3 = 0. Is c composite?
True
Let x = 234 - -215. Is x composite?
False
Suppose -5*q + 124 = -421. Let v = q + -40. Is v composite?
True
Suppose -4*v - 10 = 6. Is (-12 + 10)/(v/178) composite?
False
Let c(t) = 2*t - 8. Let k be c(-8). Let s = k - -71. Is s a prime number?
True
Suppose 0 = 2*q - 7*q + 15, 3*q - 2074 = -5*c. Is c prime?
False
Suppose 30*u - 5467 = 23*u. Is u prime?
False
Let j(b) = 8*b**3 - 2*b**2 + 5*b - 1. Let p(g) = 7*g**3 - g**2 + 5*g. Let d(w) = 6*j(w) - 7*p(w). Let 