rue
Let b(v) = 5*v**3 + 3*v**2 - 7*v + 10. Is b(7) a prime number?
True
Is (106/(-4))/((-6)/12) prime?
True
Let t = 56 + -25. Is t a composite number?
False
Suppose -4*c = 37 - 1. Let u be (-64)/(-12)*c/(-2). Suppose 0 = 2*p - u - 4. Is p a prime number?
False
Let d(n) = -n + 3. Let x be d(3). Suppose 2*p - p - 39 = x. Is p a prime number?
False
Is 2*-1642*3/(-12) a prime number?
True
Suppose 3*m + 2*m + 2*a - 2553 = 0, 2*a = 5*m - 2557. Is m prime?
False
Suppose -h = -4*h + 21. Suppose h*d - 3*d = 8. Is (1 - -2 - d) + 66 prime?
True
Let q be -14*3*4/8. Let u be 436/12 - (-1)/(-3). Let w = q + u. Is w composite?
True
Let c be ((-12)/5)/(2/(-20)). Let p be 6/45*-6*5. Is c - (-3)/6*p prime?
False
Let u = -1366 + 2531. Is u composite?
True
Is 4 + (-3 - -700) + 0 composite?
False
Let i(g) = -433*g - 25. Is i(-14) prime?
True
Is (3 - 11/3)/((-2)/4011) prime?
False
Suppose -3*k - 3697 = -n - 16264, -12 = -4*n. Is k/5*(-1)/(-2) a composite number?
False
Let j(n) = -n - 5. Let c be j(-5). Is (-12)/6 - (-5 + c) a composite number?
False
Let n(x) = -x**2 + 14*x + 2. Let j be n(10). Suppose -169 = -c - j. Is c prime?
True
Let t be 1*((-1101)/3)/(0 + 1). Let r = -181 - 41. Let g = r - t. Is g a composite number?
True
Let u be 3/6 + (-147)/(-2). Suppose 0 = -5*z + o + 185, -o + 6*o = -2*z + u. Is z a prime number?
True
Suppose 0 = -2*a - 0*s - 2*s + 22, -3*a + 5 = -4*s. Let x = a - 4. Suppose 106 = x*q - q. Is q a composite number?
False
Let t = 1 - -25. Is t a prime number?
False
Let z(m) = -m**3 + 8*m**2 + 5. Let v be z(8). Suppose 11 = -v*q + 1. Is q/4*-1*118 prime?
True
Let q be (-6)/21 + 2/7. Suppose 4*y - 184 = -q*y. Is y composite?
True
Let f(g) = -4*g**3 + 14*g**2 + 8*g - 5. Is f(-9) a prime number?
False
Let l(x) = 2*x - 3*x + 2*x**2 + 3 - x**2. Is l(-5) a composite number?
True
Suppose 1402 = 2*n - 0*n. Is n a prime number?
True
Suppose 4*b - 26 = 2*x, -b + 3*b - 25 = 5*x. Suppose b*q = -0*q. Suppose -w + k = -42, -5*w - 4*k + q*k + 255 = 0. Is w a composite number?
False
Let k(r) be the first derivative of r**3/3 + 5*r**2/2 + 2. Let l be k(-5). Suppose l = 4*g + 12, 236 = 5*u + g + 2*g. Is u a prime number?
False
Suppose 151 = -2*v + 505. Let y = 8 + v. Is y composite?
True
Let p(k) = -32*k**3 - k**2 - k. Let l be p(-1). Is (-5)/((-5)/l) + -1 a prime number?
True
Let w be (-2)/(-3) - (-5)/15. Suppose r - w = -0. Is ((-38)/6)/(r/(-3)) prime?
True
Let l be -5 - -1 - (-1439 - 2). Suppose -3*n + l = -594. Is n prime?
True
Let q be 6/21 + (-174)/21. Is 4*4/q + 36 a composite number?
True
Let a(c) = 3*c**2 + 13*c + 13. Is a(-12) composite?
True
Suppose 4*y - 5*t - 2240 = y, 0 = y + 3*t - 770. Suppose -381 = 2*g + 2*b - 91, 5*g + y = 5*b. Is ((-5)/(-10))/((-2)/g) a composite number?
False
Let w be -2*((-259)/2)/(-7). Let r = w + 68. Is r a prime number?
True
Let g(y) = 7*y**2 - 5*y + 5. Suppose -k - 1 = -5. Is g(k) a prime number?
True
Is (237/12)/((-1)/(-20)) composite?
True
Let z = -1900 - -2689. Is z a composite number?
True
Suppose 3*q = -2*v + 10, -6*q - 5*v = -q - 25. Suppose 5*n - n + 2*p - 1762 = q, -5*p - 2240 = -5*n. Is n composite?
False
Let r = 450 - -347. Is r a composite number?
False
Let u(s) = s. Let z be u(-5). Is 795/z*(-2)/6 a prime number?
True
Let f(g) = 19*g - 7. Is f(4) composite?
True
Let i(j) = -1 - 10*j + 41*j - 5. Is i(3) a composite number?
True
Let y(m) = -7*m**3 + 4*m**2 + m - 2. Suppose -c + 3*n = 2*c + 9, 2*n = 0. Let f be y(c). Suppose 2*h = -2*h + f. Is h a composite number?
True
Let v = -231 - -158. Let h be (4 - 6)/(1*2). Is (v/(-3))/(h/(-9)) prime?
False
Suppose 5*i - 161 = 4*i. Is i prime?
False
Let z = -1547 - -2260. Is z a composite number?
True
Suppose 0 = 2*z + 6, -2*z + 4 = -2*o + 18. Let v(n) = 2 + 4*n - o*n - 5*n. Is v(-4) composite?
True
Let q(f) = -3272*f**3 - f**2 - 2*f - 2. Is q(-1) prime?
True
Let c(t) = -t**2 + 331. Let m(b) = -b**3 - 3*b**2 + 5*b + 4. Let h be m(-4). Is c(h) composite?
False
Let f be (-4)/(-2) + -2 - -19. Suppose -174 + f = -n. Is n composite?
True
Suppose t + 3*y = 3*t - 1154, -2895 = -5*t + 5*y. Is t prime?
False
Let a be (-3 + 5)*34/4. Suppose 0 = 3*q - 9 + 3. Suppose b - a = q. Is b a prime number?
True
Let l(j) = -888*j**3 + j**2 + 2*j. Is l(-1) a prime number?
True
Suppose -2*l + 25 = -407. Suppose 2*s - l = -2*k - 0*s, 4*k - 438 = -2*s. Is k a prime number?
False
Let r(g) = 157*g**2 - 2*g - 1. Is r(-2) a prime number?
True
Let c(b) = b**2 + b + 11. Let y(r) = -r**2 + 5*r. Let d = 2 + 3. Let p be y(d). Is c(p) prime?
True
Let i = 4178 + -1863. Is i a composite number?
True
Suppose -2*w - 6*t + 2*t + 24 = 0, 2*t + 8 = 4*w. Suppose -u - 93 = -w*u. Is u prime?
True
Let n be (-2 + 10)/(4/2). Suppose -n*m + 94 = -54. Suppose -4*i + 3*i + m = 0. Is i prime?
True
Let l(y) be the third derivative of y**6/120 - 7*y**5/60 - 7*y**4/24 - 2*y**3/3 - 3*y**2. Let g be l(8). Is (75 - 1)*2/g composite?
False
Let k = 3 + 0. Suppose -n - 1 = k. Is (-1185)/(-25) + n/10 a prime number?
True
Let c be ((-2)/2)/((-2)/10). Suppose c*i + 4*n + 18 + 5 = 0, -22 = 4*i + 5*n. Is (-153)/(-6)*(-4)/i composite?
True
Let v = -231 - -1328. Is v prime?
True
Let i(n) = -4*n**3 + n**2 + 2*n + 1. Let c be i(-1). Suppose -3*p + 42 = 3*y - c*p, -3*y - 3*p + 42 = 0. Is y a prime number?
False
Is 3/(-1) - (-1 + 2 - 1283) a prime number?
True
Suppose 0 = -5*z - 0*z + 15. Suppose 2*b = 3 + z. Suppose -165 = -0*n - b*n. Is n a prime number?
False
Is (-11635)/(-26)*(-6)/(-5) prime?
False
Let g = -7 - -13. Suppose -g = 4*h - 3*h. Is (h/9)/(2/(-267)) a composite number?
False
Let b be -1 + -2 - (-1 + 1). Let k be 0/((-6)/b + -3). Let j(u) = -u**3 + u**2 + 15. Is j(k) composite?
True
Suppose 756 = o - 203. Is o prime?
False
Suppose -3*v + 9 = 0, -l + 4*v = -2*l + 431. Is l a prime number?
True
Let t(q) = -21*q - 36*q + 19*q. Is t(-1) composite?
True
Suppose -89 = 2*b - 277. Is b a prime number?
False
Is 335*(4 + -2 + -3)*-1 a prime number?
False
Suppose 0 = 2*i + i. Let x be (-3)/(63/(-6)) - 1401/(-21). Suppose i = -3*a + 110 + x. Is a a composite number?
False
Let b(s) = -104*s + 2. Let d be b(6). Let m = 1071 + d. Is m a composite number?
False
Suppose 4 = -5*c + 24. Suppose 5*h - 90 = d, -30 = -c*h + 4*d + 58. Suppose 4*u - h = 35. Is u composite?
False
Let n(i) = -23*i**3 - i**2 + 2*i + 2. Is n(-1) composite?
True
Let h = 0 + 8. Suppose -6*r = -h*r + 44. Is r a composite number?
True
Is 1895 - (8/(-14) + 90/35) prime?
False
Suppose -3573 = -3*i + 5*q + 934, q = -2. Is i composite?
False
Suppose 2*k - 876 = 394. Is k prime?
False
Let o(m) = -m - 7. Let p be o(-7). Suppose p = -3*w + 6*w - 93. Is w a composite number?
False
Let y be (-61)/(-9) + 4/18. Suppose 2*z = y*z - 40. Is 882/24 + 2/z composite?
False
Let g = 4 - 5. Let c(s) = -5*s**2 + s. Let d be c(g). Let f(q) = -3*q - 8. Is f(d) composite?
True
Let x(k) = 28*k - 2. Let t be x(12). Let c = t - 193. Is c a composite number?
True
Suppose 3*c = -0*c. Let f = c - 0. Suppose f*k - 2*k + 75 = -d, -k + 2*d = -39. Is k prime?
True
Let j = 142 - -487. Is j a prime number?
False
Let t be (-3)/6 - (-1231)/2. Suppose -10*i + t = -7*i. Is i a composite number?
True
Suppose 211 = -s + 2*s. Is s a prime number?
True
Let r(v) = v. Let h be r(2). Is (-115 + h)/((-3)/3) prime?
True
Suppose 0 = -4*s - 879 + 6707. Is s prime?
False
Suppose 2 = c + 2*l, c - l = 4*l + 9. Let r(d) = 5*d**2 - c*d**2 + 5 + d**2 - 7*d. Is r(6) prime?
False
Is (3 + -6)/(6*3/(-3246)) prime?
True
Let a(q) = q + 8. Let n be a(-6). Suppose n*w = b + 1, 3*b = 4*w - 3 + 2. Is 7 + w + (-2 - 0) prime?
False
Let g(n) = 3*n**3 + n**2 - n - 2. Let y be g(3). Suppose -3*z + 0*z + 94 = -l, 2*l = -5*z + 142. Let a = y - z. Is a a composite number?
True
Suppose 25 = t + 4*u, 0 = 5*t + 5*u - 3*u - 35. Suppose -v + 3*v = 0, -t*x - 3*v + 275 = 0. Suppose 2*o = -3*o + x. Is o composite?
False
Suppose -150 = 2*j - 1232. Is j prime?
True
Suppose -p + 678 = p. Suppose 4*k - 9 = -769. Let z = k + p. Is z a composite number?
False
Is (-329)/(-105) + 4/(-30) a composite number?
False
Suppose 2*n - 31 = -3*d, -2*n - 43 = -2*d - 9. Suppose d = 5*i - 2. Suppose 0*c - 4*b + 21 = i*c, 3*c + 2*b - 27 = 0. Is c a composite number?
False
Let u(o) = 3*o + o**2 - 14 - o + 17. Is u(-3) composite?
True
Is (-28)/182 + 2/(26/15511) prime?
True