number?
True
Let l be (-2 + 1)/((-4)/4). Let f(j) = 3*j**3 - j**2 + 2*j - 1. Let y be f(l). Suppose -270 - 296 = -5*x + y*v, 5*v = 15. Is x composite?
True
Let f = 10 - 7. Suppose z + 3*n + 26 = 6*z, f*n + 5 = 2*z. Suppose -5*c - z = -102. Is c a composite number?
False
Suppose 3*t - 23 = 7. Let j(k) = k**2 + 3*k + 4. Is j(t) prime?
False
Let i(r) = 76*r + 79. Is i(12) prime?
True
Let z(y) = 858*y**3 + 2*y**2 - 2*y + 1. Is z(1) a composite number?
False
Suppose -5*o - 54 = 2*y, y + 3*o = 6*y + 166. Let u = 23 - y. Let b = u + -36. Is b a composite number?
False
Is (66/(-12))/(3/(-498)) a composite number?
True
Let g(n) be the third derivative of n**6/120 - 7*n**5/60 - n**4/12 - n**3/3 + 3*n**2. Is g(8) composite?
True
Let a = -6 - -4. Let r(b) = 2*b**2 + 3*b + 3. Let m be r(a). Suppose -m*s + 2 = -3*u - 9, 3*u + s - 13 = 0. Is u a composite number?
False
Suppose -7*y - 4*y = -3157. Is y a prime number?
False
Suppose 2*p + i = -13493, 3*p - 3*i = -0*p - 20253. Is (-1)/2*p/2 a composite number?
True
Is (-373)/((-3)/(9/3)) a composite number?
False
Suppose l = -174 + 436. Let j = 822 + -437. Let c = j - l. Is c composite?
True
Let k(u) = 158*u**3 - 14*u + 23. Is k(2) a composite number?
False
Let d(k) = 7*k**2 + 16*k + 11. Is d(8) composite?
False
Let m(c) = c**3 + c**2 + 5*c + 1. Let h be m(4). Suppose 5*x + 4*s = 147, 2*s + 2*s = 3*x - h. Is x a prime number?
True
Let n be 1/(-5) - (-34)/(-5). Let k = 11 + n. Suppose -2*f + 2*y = -6, -k*f + 2*y = -y - 13. Is f composite?
True
Suppose -2*l - 4 = -3*l. Suppose g - 455 = -l*g. Is g composite?
True
Suppose 0 = -9*q - 2*q + 2849. Is q composite?
True
Suppose 0*o = -2*o - f + 890, 0 = -2*o + 3*f + 906. Suppose -3*m + 3*v + o = 0, -2*m - 4*v + 333 - 35 = 0. Is m prime?
True
Let d(s) = -17 + 6*s**2 - 3*s + 3 - 5*s**2. Is d(6) a prime number?
False
Let l(m) = m. Let k be l(2). Suppose k*v + 37 = 3*r, 5*v - 4*v = 4. Is r a composite number?
True
Suppose -4*k = -9*k + 55. Is (k/4)/((-9)/(-72)) a composite number?
True
Let j(b) = -b**3 - 5*b**2 - 2. Let f be j(-5). Is 3 - (74/(-1) + f) a prime number?
True
Let n(h) be the first derivative of -h**3/3 - 3*h**2/2 + 5*h - 2. Let u be n(-4). Is -1 - (-66)/u - -2 composite?
False
Suppose -2*i = -3*d + 2, 0*i = -3*d + 3*i. Suppose g - 597 = -d*g. Is g a composite number?
False
Suppose 0 = 3*w - 128 + 485. Let t = 232 + w. Is t a composite number?
False
Let r(z) = -15*z - 3*z**2 - 7 + 6*z**2 + 6*z. Is r(-7) a composite number?
True
Is ((-1646)/(-3))/(1/3) + -3 a prime number?
False
Let p = -77 + 966. Is p composite?
True
Let j(q) = -22*q. Let i be j(4). Let g = i - -155. Is g a prime number?
True
Let r be (-4110)/(-9)*3/2. Suppose -3*n - g = -665, -2*n + 4*g = n - r. Is n composite?
False
Let i(s) = s**2 - 4*s. Let d be i(5). Suppose 2*r - d*r + 2373 = 0. Is r composite?
True
Let g(x) = -x**3 + x**2 - 2*x + 95. Let h be g(0). Let p = -8 + h. Is p a composite number?
True
Suppose 2*r = -5*j - 5, -4*r + 0*j = -4*j - 4. Suppose -p + 17 - 2 = r. Is p prime?
False
Let n = 1107 + 938. Is n a composite number?
True
Suppose 9 = 3*y - 0*y. Suppose 3*o + 7 = 4*o. Suppose -y*d = -5 - o. Is d prime?
False
Suppose 5 = -3*o + 4*o. Suppose -b + o*b - 652 = 0. Is b prime?
True
Let i = -4 + 1. Let b = 2 - i. Suppose 2*q - 4 = 3*q, 2*q = -b*m + 167. Is m a composite number?
True
Let z(q) = -q**3 + 5*q**2 + 7*q - 4. Let u be z(6). Suppose 12 = c + u*c. Let w = c - -10. Is w a prime number?
False
Suppose x + 2 = 6. Is (-16)/(-8)*358/x composite?
False
Suppose -4*y - 3*x = -4*x + 3, 3*y = x - 3. Suppose j = 3*v - 484, y*v - 3*j = 2*v - 341. Is v composite?
False
Suppose -2*o - 10 = 0, -16 - 9 = -5*l + 5*o. Suppose 0 = -l*f + 2*f + 18. Is (-8)/36 - 317/f composite?
True
Let m(p) = p + 24. Let i be m(-17). Let x(a) = 3 + a**2 + 0*a**2 + 8*a + 5. Is x(i) composite?
False
Suppose 2*v + 44 - 156 = 0. Let w = v + -13. Is w prime?
True
Suppose 3*s - 441 = s + u, -3*s + 694 = 5*u. Is s composite?
False
Let q(b) = -251*b**2 - 2*b + 1. Let f be q(1). Let h = -67 - f. Is h composite?
True
Let x(y) = y**3 - 7*y**2 - y + 10. Let b be x(7). Suppose 4*f = 2*v + 3*v - 389, 0 = -b*v + f + 232. Is v prime?
False
Let c(u) be the second derivative of -u**4/12 - 5*u**3/6 + 7*u**2/2 + 6*u. Is c(-5) prime?
True
Suppose -4*w + 2*w + 254 = 0. Is w a composite number?
False
Let m = 2 + 1. Suppose 3*w = -m*b + 108, -2*b + 4*w = b - 73. Is b a prime number?
True
Is (-3 + 10/3)*2631 composite?
False
Suppose 2*t - 5*t - 63 = 0. Let c be (t/(-14))/((-3)/(-8)). Is 60/8 - 2/c prime?
True
Suppose 800 = -7*f + 4755. Is f prime?
False
Suppose 2*v = -3*v + 15. Suppose -v*p + 168 = -6. Is p a prime number?
False
Let b(m) = 16*m - 7*m + 1 + 4. Let d be b(4). Let k = d - 15. Is k prime?
False
Let j(h) = -3*h**2 - 2*h**2 + h**3 + 5*h - h**2 + 6. Is j(5) a composite number?
True
Let d(l) = -8*l**3 - 3*l**2 + 4. Let g(v) = 8*v**3 + 3*v**2 - 3. Let w(x) = -2*d(x) - 3*g(x). Is w(-2) prime?
True
Suppose 3*i - 211 = 2*i. Is i prime?
True
Let q be 2/(-2)*(1 - 1). Let b be 4/12*(q - 0). Suppose 2*a - 4*i = -0*a + 438, b = -5*a - 4*i + 1123. Is a a prime number?
True
Let y be 44/3 + 2/6. Suppose -10 - y = -z. Is z a composite number?
True
Let z = 346 + -189. Is z a composite number?
False
Let j(i) = -10*i - 7. Let b(h) = h + 1. Let r be b(-3). Let c be 9/r*(-12)/(-9). Is j(c) composite?
False
Let p = -3 + 2. Let d be 2 + p*(-6)/(-3). Suppose -3*y - 2*y + 425 = d. Is y a prime number?
False
Let g = 68 - 34. Is g composite?
True
Let b(g) = 5*g**2 - 4*g - 114. Let z(p) = -6*p**2 + 5*p + 113. Let r(f) = -5*b(f) - 4*z(f). Is r(0) a prime number?
False
Is 8*26 + (-42)/6 + 10 prime?
True
Suppose -42*q = -37*q - 2785. Is q prime?
True
Suppose 2*f + 20 = 7*f. Suppose 2*r + 0*r - 6 = -f*l, 4*l + 4 = -4*r. Is (-229)/r - 1/(-5) a prime number?
False
Let w(p) = 38*p. Suppose -4*s + 3 = -i - 2, 5*s - 4*i = -2. Let y be w(s). Suppose -y = 2*v - 302. Is v composite?
False
Is 2/((2/(-4))/(894/(-24))) a prime number?
True
Let s(c) = 3*c. Let d(w) = -7*w. Let f(j) = -4*d(j) - 9*s(j). Let g be f(-3). Is (-1 - (-64)/(-6))*g composite?
True
Suppose -2*q - q + 198 = 0. Suppose -2*y - q + 1036 = 0. Is y a composite number?
True
Let l(c) = -6*c**2 - 2*c - 3. Let m(d) = -2*d**2 - d - 1. Let f = 12 + -19. Let y(g) = f*m(g) + 2*l(g). Is y(-6) a prime number?
False
Let s be (-2)/6 + (-114)/(-18). Is ((-220)/s)/((-4)/6) prime?
False
Let i(p) = -p + 20. Let k be i(0). Let n = -7 + k. Is n a composite number?
False
Let r be ((-6)/(-2))/(9/66). Suppose -4*s = -190 - r. Is s prime?
True
Let v be (-44)/(-6) + 6/9. Suppose -2*b + b = -v. Suppose -2*h + 0*t - 5*t = -104, 4*t - b = 0. Is h a composite number?
False
Let p(b) = -b**3 + 2*b - 3. Let c be p(2). Suppose 8*s - 3*s = u - 145, 76 = -2*s + 4*u. Let m = c - s. Is m a prime number?
False
Let r be (2 + 1*-4)/2. Is r/1 - (-16)/1 prime?
False
Let f(b) = b + 3. Let u be f(-4). Is (u/2)/((-5)/470) prime?
True
Let z(y) = 38*y**3 - 1. Let c = -16 - -17. Is z(c) prime?
True
Let u be -1*1*(-6)/3. Let b = 7 - u. Let o(l) = l**3 + l**2 + 4*l - 7. Is o(b) a prime number?
True
Let r(d) = -267*d**3 - d. Let u be r(-1). Is (7/4)/(1/u) a composite number?
True
Let v(b) = 240*b**3 + b**2. Let x be v(1). Let c = -300 + 186. Let g = c + x. Is g composite?
False
Suppose 5*s = -3*k + 61, 3*k + s = -0*k + 41. Suppose -5*t + t = -k. Suppose 0 = l + t*p - 23 - 0, -5*l + 75 = 5*p. Is l a composite number?
False
Suppose 0 = -g + 2*d - 15, -g + 2*d = 2*g + 37. Let l = -35 - g. Is 1/3 - l/9 composite?
False
Suppose -3*h + 375 = -6. Is h prime?
True
Let g = -4 + 10. Let k be -3*((-8)/g)/(-1). Is 118/4*k/(-2) composite?
False
Suppose 2230 = 5*t - 5*p, 4*t + t - 2224 = -p. Is t a composite number?
True
Suppose -7*p = -1018 - 1033. Is p composite?
False
Let p(y) = 13*y**2 - 6*y + 4. Is p(-3) prime?
True
Let v(b) = 73*b**3 - b**2 - 3*b - 4. Is v(3) a composite number?
False
Let d(a) = -20*a - 9. Is d(-4) a composite number?
False
Let i = -24 - -27. Suppose -3*l + 189 = -i*f, l - 5*f = -0*l + 83. Is l composite?
True
Suppose -5*a = u - 63, 4*u - 220 = -0*a - 4*a. Let c(t) = -t**3 - t**2 + 2*t. Let v be c(-2). Suppose 0 = -r - v*r + u. Is r prime?
True
Let g(q) = q - 2 + q**3 + 0 + 0*q**3 - 5*q**2. Let m = 12 - 7. Is g(m) a composite number?
Fa