mposite number?
False
Suppose -2*p + 437 = 57. Suppose -2*k - 3*a + p = 0, a + 3*a = k - 95. Is k a prime number?
False
Let j = 262 + -131. Is j a prime number?
True
Suppose 2094 = 7*p - 1469. Is p a prime number?
True
Let q(o) = -48*o + 5. Let d(r) = 817*r - 86. Let k(f) = 5*d(f) + 86*q(f). Is k(-1) composite?
False
Let m(w) = w**3 - w**2 - 4*w + 1. Suppose -5*g + 8 = -7. Is m(g) a prime number?
True
Let a(v) = v**2 + 1. Let o be a(2). Let u(y) = -4*y - 56. Let f be u(-14). Suppose 4*q = -o*t + 483, 2*t - q + f*q = 188. Is t composite?
True
Suppose -4*y = -5*y + 698. Let f = 387 - y. Let r = -100 - f. Is r a prime number?
True
Let n be 1*((-10)/(-2) - 1). Suppose -20 = -n*h - 4. Suppose 191 = 3*j + h*r, 322 = 5*j + 2*r + r. Is j composite?
True
Suppose v - 1 = -a, a - v = 5*a + 5. Let h(d) = -95*d - 3. Is h(a) a composite number?
True
Suppose -2*f + 0*f - 10 = 0. Let r(n) = n**2 + 4*n + 6. Is r(f) a composite number?
False
Let v = -71 + 124. Is v a composite number?
False
Let p = -516 - -3095. Is p a composite number?
False
Suppose -4*x - 3*u + 80 = -68, 4*x = 2*u + 148. Is x a composite number?
False
Let s = 1 - -7. Is 293/4 - (-6)/s a prime number?
False
Let f(y) = -5*y**3 + 27*y**2 - 24*y - 23. Let o(p) = 2*p**3 - 9*p**2 + 8*p + 8. Let i(h) = 3*f(h) + 8*o(h). Is i(-9) composite?
False
Let s(d) = d + 8. Suppose 5*f + 20 = -10. Let x be s(f). Suppose -3*g + 291 = -3*q - 51, x*g - 225 = -q. Is g prime?
True
Let g be (-1)/(4/(-6224)*2). Is (0 - g)*1/(-2) a composite number?
False
Let y = -268 - -1527. Is y prime?
True
Suppose q = 2*q - m - 76, 4*m + 382 = 5*q. Let k = -43 + q. Suppose -5*s = r - 0*r - k, 0 = r + s - 27. Is r a composite number?
True
Let s = -3 - -8. Suppose 52 = s*q - 73. Is q composite?
True
Let f(d) = -d - 3. Let q be f(-6). Suppose 2 + 4 = q*k. Let a(l) = 4*l**2 - l + 1. Is a(k) prime?
False
Let c be (-6)/(-4) + 5/(-2). Let w be c + 1/((-3)/(-6)). Is (w/1 - 0)*33 a composite number?
True
Suppose 0 = -f - y - 34, f + 4*y - y + 28 = 0. Is f/((-2 + 1)*1) composite?
False
Suppose g = -1, g = 5*s - 4*g. Let i be 1/(2/946) - s. Suppose -4*v - 2*a = -i, -8*v + 3*v = -a - 596. Is v a prime number?
False
Suppose 2*k - 3*f - 46 = -7*f, -2*k + 3*f + 18 = 0. Suppose 0 = 3*u - 4*u - 6. Is u/k - (-216)/15 composite?
True
Let r = -8499 - -12040. Is r prime?
True
Suppose -3*c + 3*f - 93 = 0, -272 + 90 = 5*c + 4*f. Let z = -20 - c. Is z composite?
True
Let z(a) = a**2 + a - 2. Let y be z(0). Let w be y + (1 - -1)/(-2). Is 268/3 + 1/w composite?
False
Suppose b - 909 = 5*w, b - 2*w - 595 = 308. Suppose 0 = -2*v - 4*h + 1790, h - b = -v - 2*h. Is v prime?
True
Suppose 0 = -3*w - a + 5, w + 4*a = 4*w + 20. Suppose w = -f + 2*z + 3*z + 99, -5*z = -5*f + 415. Is f a prime number?
True
Let j = -6 + 8. Suppose -9 = j*a - v - 2*v, 4*v = -5*a + 35. Suppose 3*z - 15 = 2*p + 19, -a*z - 3*p + 24 = 0. Is z composite?
True
Let l be -3 + 0 + 2 - -5. Suppose -10 = 2*z, l*r - 2*z - 2*z = 28. Suppose -r*m = m - 42. Is m a prime number?
False
Let n = 248 + -121. Is n a composite number?
False
Let k(f) = -f**2 + 4*f. Let t be k(4). Suppose t = -5*w - 0*w + 30. Is 57/w + (-1)/2 a composite number?
True
Let x be 4/(-8) + (-782)/(-4). Suppose 4*u - x = -47. Is u prime?
True
Let p(m) = -3*m + 2. Let i be p(2). Let f be ((-5)/(-2) - 2)*i. Is (74/f)/(-1)*1 prime?
True
Let d = -2 - -7. Suppose -d*x + x = -76. Is x a prime number?
True
Suppose -5*n = 5*b + 307 - 1537, -10 = -5*n. Let c = -111 + 192. Let q = b - c. Is q prime?
True
Let a be 1/3*3*0. Suppose 4*k + a*q = 2*q - 6, 5*k - q = 0. Is k/(2 + -1) + 120 composite?
True
Suppose 0 = -3*m + 6, m + 115 = 4*b + 41. Suppose 64 = a + a. Let i = b + a. Is i composite?
True
Let a(g) = 79*g - 5. Is a(6) a prime number?
False
Let r(u) = -u**3 + 7*u**2 - 6*u + 8. Let g be r(6). Let l = 66 - g. Is l composite?
True
Let s(z) = 184*z**2 + 2*z - 7. Is s(7) prime?
False
Is 298 + -7 + 3 - -4 a composite number?
True
Let l = -4 - -2. Let k(v) = -v**2 - 4*v. Let g be k(l). Is (11/4)/(1/g) composite?
False
Suppose 0 = 3*n + l - 9, 6 = 2*n - l - 2*l. Suppose 0*x + n*x = 231. Is x a composite number?
True
Suppose -q - 3*c + 682 = q, -4*q + 4*c + 1364 = 0. Is q a prime number?
False
Let n = -382 + 677. Let p = 487 + -289. Suppose -3*z + p = -z - g, 0 = -3*z + g + n. Is z a composite number?
False
Let p be (-2)/8 + 33/(-12). Is (13/p)/(2/(-114)) a composite number?
True
Let k(r) = -r**2 - 3*r + 1. Let p be k(-2). Let d be (-2)/(6/(-777)) + 0. Suppose d = p*m + 22. Is m a prime number?
True
Suppose -10 = p - 3*p. Suppose -49 = 4*m + 3*n + 2*n, 0 = -p*m - 5*n - 65. Let r = 35 + m. Is r prime?
True
Let o(t) = -13*t**2 + 3*t + 1. Let b be o(-2). Let v = -134 - b. Let k = -31 - v. Is k a prime number?
False
Suppose 0 = 2*p + 5*h - 15961, 5*p - 3*h + 5070 = 45050. Is p a composite number?
False
Suppose -2*u - 921 = -5*u. Is u a prime number?
True
Let i(j) = 287*j + 5. Is i(6) composite?
True
Let z = 3214 + -1525. Is z a composite number?
True
Let f(z) = z**3 - 7*z**2 + 5*z + 8. Let h be f(6). Is h/9 + (-799)/(-9) composite?
False
Suppose -100*g = -108*g + 39496. Is g a composite number?
False
Is -5*(-2 - 1485/25) prime?
True
Suppose 6*l = 3*l + 12. Suppose -z - 4 = 0, -2*z + 50 + 18 = l*c. Is c composite?
False
Is -1 + (120 - 2) + -2 composite?
True
Suppose 2*h + 2690 = 4*i, -4*i - h + 2697 = 4*h. Is i prime?
True
Let x(b) = 10*b**3 - b**2 + 3*b - 3. Is x(2) a prime number?
True
Let n = -29 - -91. Let v be (-2)/10 + n/10. Is ((-62)/v)/((-3)/9) a composite number?
False
Let n be (8 - (-4)/(-4)) + -2. Suppose o + 66 = -n*l + 298, -o + 252 = l. Is o prime?
True
Suppose -g = 10 - 3. Let l = 10 + g. Suppose 125 = 3*y - 4*v, -3*y + l*v - 4*v = -100. Is y prime?
False
Let t(n) = n**2 - 8*n + 7. Let s be t(7). Suppose -7 - 5 = -3*q, s = 3*h + 4*q - 55. Is h composite?
False
Suppose -3*h + 27 = 2*v + v, -2*h + 33 = -v. Suppose -6 = -b + 2. Let d = h - b. Is d a composite number?
True
Suppose -394 = -2*y + 104. Is y prime?
False
Is (-1)/(-5) + (-15504)/(-30) a prime number?
False
Suppose 2*z - 5*z - 31 = -q, z - 83 = -3*q. Suppose 8 + 6 = -n. Let x = q + n. Is x prime?
False
Let r be ((-164)/6)/((-2)/3). Let f = -4 + r. Let t = f + -6. Is t a composite number?
False
Let q(u) be the first derivative of u**5/5 - u**4/6 + u**3/6 + u**2/2 + 1. Let o(z) be the second derivative of q(z). Is o(3) composite?
False
Let s(r) be the second derivative of r**4/12 - 5*r**3/6 - 4*r**2 - 4*r. Is s(-9) a composite number?
True
Let r(i) = 705*i + 9. Let f(b) = b - 1. Let w(n) = 6*f(n) + r(n). Let v be w(-3). Is v/(-24) - (-2)/8 a prime number?
True
Suppose 0 = -27*j + 33*j - 7662. Is j composite?
False
Let q(z) = 8*z**3 + 5*z**2 + 3*z - 4. Let s(a) = -7*a**3 - 6*a**2 - 4*a + 4. Let j(c) = -6*q(c) - 7*s(c). Let h be j(-11). Is 2/h + (-4014)/(-14) prime?
False
Let z(t) = 10*t**2 - 19*t + 30. Is z(11) a prime number?
True
Let v(p) = 2*p**2 + 3*p + 3. Let z be v(-3). Let f = z + -7. Suppose -f*b - 13 = -1298. Is b a prime number?
True
Suppose -2*r = -6*r - l + 2, -2*r + 2 = l. Suppose 5*d - 1055 = -r*d. Is d a composite number?
False
Suppose 0 = -3*s - 5*c + 8, s + 3*s - c + 20 = 0. Let b(g) = -g**3 - 3*g**2 - 4*g - 1. Is b(s) a prime number?
True
Suppose -p + 6609 = 3*t, 7*t - 3*t - 8812 = -p. Is t a prime number?
True
Suppose 2219 = 3*y + 4*k, 4*y - 701 = -k + 2275. Is y a prime number?
False
Let z(f) = -f. Let d(w) = -w**2 + 3*w + 5. Let u(x) = -d(x) + 4*z(x). Let v(t) = -t**2 - t - 4. Let s be v(0). Is u(s) a prime number?
False
Let l(r) = -r**3 - r + 5. Let t be l(0). Let x(g) = g**3 - 4*g**2 - 3*g - 4. Is x(t) prime?
False
Let x be (1 - 2)/(7/(-21)). Suppose 2*f = 13 + x. Suppose 5*l + 235 = 4*k, 5*l = f + 17. Is k composite?
True
Suppose -3*o + 541 = -3098. Is o a composite number?
False
Let i = 35 + -15. Suppose -4*b - 4*n = -24, -3*b = -b + 4*n - i. Suppose 0 = -2*j + 5*m + 72, -4*j - 6*m = -b*m - 116. Is j a composite number?
False
Let k be 0*(3 + 15/(-6)). Suppose 5*b - 477 - 638 = k. Is b a composite number?
False
Suppose 6*p + 2*s - 26 = 3*p, -44 = -5*p - 4*s. Let o = -5 + p. Suppose o*g + 4*m = 25, 4*g = -4*m + 11 + 21. Is g prime?
True
Suppose 4*c - 150 - 48 = 2*d, -4*c - 129 = d. Is 0 - (d - (2 - 0)) prime?
False
Let p be (72/(-15))/(1/5). Is ((-33)/(-2