a - y - -43 prime?
True
Let d be (-14 + 13)*2743/1. Let y = -1922 - d. Is y a composite number?
False
Suppose 3*v - 5*v - 3*b = -5, 5*v + 2*b + 4 = 0. Is v/(-12) + 32646/36 composite?
False
Let w(x) = 2446*x - 229. Is w(35) a composite number?
False
Suppose 5*z = u - 3, z = 5*u - 3*z - 15. Let i(r) = -r - 2*r - 1 - 2*r**2 + 5*r + 111*r**u - 4*r**3. Is i(1) a composite number?
True
Suppose 0 = 2*w + 5*i + 19, 0 = w - 4*i - 2 + 5. Let o(x) = 25 - 57 + 22 + 8*x + 0*x**2 + 5*x**2. Is o(w) a prime number?
True
Let s = 1084 - -763. Is s composite?
False
Suppose -4*u = -7*u - 45. Is ((-1165)/10)/(3/(u + -3)) prime?
False
Suppose 3*r + 4831 = 5*f - 8061, 4*f = 2*r + 10314. Is f prime?
True
Suppose 0 = j - i - 3, -3*j + 2*i + 9 + 0 = 0. Let c be j/12 + (-1218)/8. Let b = -97 - c. Is b composite?
True
Suppose r - 5*i + 16 = 0, -5*r + 4*i = 1 + 16. Let j(u) = 2*u**2 + 3 - 4*u**2 - 162*u**3 - 2. Is j(r) prime?
False
Let b(j) = 211*j**2 - 10*j + 32. Is b(7) composite?
False
Let a(q) = 2*q**2 - 38. Let d(b) = -b**2 + b + 1. Let t(u) = -2*u**2 - u + 74. Let c(g) = d(g) + t(g). Let k(v) = 5*a(v) + 3*c(v). Is k(0) composite?
True
Is -4 + 4773 + -3 + 3 prime?
False
Let p(s) = 808*s**2 + 10*s - 99. Is p(7) composite?
False
Let g(a) = 2*a + 8 - a - 5. Let m be g(8). Suppose -8*v = -m*v + 3873. Is v a prime number?
True
Suppose 0*o = 5*o - 25. Suppose 0 = -4*n, 0 = -2*q - 0*q + 5*n + 196. Suppose -q = o*t - 1023. Is t composite?
True
Let k(f) = -9*f - 10. Let m be k(-7). Suppose b = 2*b - m. Suppose -c - 2 = -b. Is c composite?
True
Let h(d) = -10*d**3 - 3*d**2 - 3*d - 1. Let o(v) = 2*v + 3. Let f(y) = y**3 + 8*y**2 - 8*y + 6. Let s be f(-9). Let u be o(s). Is h(u) composite?
False
Let w be ((27/(-2))/3)/((-4)/8). Suppose w*v - 3260 = 5*v. Is v a composite number?
True
Is (-69939)/(-5) - 128/160 a prime number?
False
Let r(w) = -w**3 + 3*w**2 - 1. Suppose -5*j + 3 = -2*u - 10*j, 0 = -j - 1. Let p be r(u). Is p*25*(-1 + 2) a composite number?
True
Let v be ((-28)/8 - -3)*-6. Let c(q) = q**2 - 2*q - 3. Let j be c(v). Suppose j = -5*p + 922 - 267. Is p composite?
False
Suppose -2*t + 5*w + 4541 = 0, -27*w + 32*w + 25 = 0. Is t prime?
False
Suppose -9 - 1 = -3*n + 2*c, -3*n + 15 = 3*c. Suppose -5*p = -x + 19, 11 = -4*x - n*p - 33. Is (-1065)/12*(x + 2) a composite number?
True
Let w be (-1)/(-7) - (-4163)/161. Let a = 49 - w. Suppose 0 = z - 342 + a. Is z a prime number?
False
Is (-3)/8 + (-518)/336*-6573 a composite number?
False
Suppose 6*p - 10*p = 32. Let q(k) = -k**3 - 8*k**2 - 2. Let d be q(p). Is (-1498)/(-28) - (-1)/d prime?
True
Suppose 8322 = 23*k - 26431. Is k a composite number?
False
Let s(u) = -u**3 - 9*u**2 + 10*u + 14. Let x(i) = i**2 - 10*i + 6. Let j be x(8). Let n be s(j). Is n/7*(-163)/(-2) prime?
True
Let s = 7248 + -4599. Suppose 554 + s = 5*t + 3*a, t - 647 = a. Suppose -t = -5*d + 4*v, 2*d + 3*v - 250 = v. Is d composite?
False
Suppose t + 102 = 7*t. Is 278/(-6)*(-51)/t prime?
True
Let t = 5842 + 1227. Is t a prime number?
True
Suppose 12 = 3*c + c. Suppose 2*h = -2, 0*k + k - 379 = -c*h. Is k prime?
False
Let s = 12 - 11. Suppose -2*n + 23 = s. Suppose n = q - 68. Is q prime?
True
Suppose -3*d + 0*d + 6 = 0. Suppose 0 = -5*l - 12 + d. Let h = 8 - l. Is h a composite number?
True
Let k(l) = 4*l - 17*l + 7 + 5*l + 11*l. Is k(8) a prime number?
True
Let h = 51 + -49. Let g = h - -72. Is g a prime number?
False
Suppose 5717 = k - 9*b + 5*b, 2*b + 28675 = 5*k. Is k a prime number?
True
Suppose b + 10*h = 5*h - 23, 25 = -5*h. Suppose b*f + 4 = -2*p, -4*f - p + 0*p = -4. Suppose f*a = q - 249, q + 750 = 4*q - 3*a. Is q prime?
True
Is 1 + 2 + 5/20*12 composite?
True
Let f(h) = -320*h + 417. Is f(-20) a prime number?
False
Let k(n) be the third derivative of -7*n**6/40 - 7*n**5/60 + n**4/12 - 7*n**3/6 + 26*n**2. Is k(-5) prime?
False
Let j(h) = h**2 + 12*h + 13. Is j(-26) a prime number?
False
Let n(v) = -2504*v**3 - 4*v**2 + 5. Is n(-2) prime?
True
Suppose -2*f + 1324 + 1458 = 0. Let b = -240 + f. Is b prime?
True
Let g be -3*(-1 - 1/3). Let p(r) = -5 - 7*r**2 - g*r + 6 - 3*r**3 + 0. Is p(-4) prime?
True
Suppose 3*f - 18 = 4*l, 6*f = -2*l + f - 22. Let p(h) = -4*h**2 - h + 11. Let q be p(l). Let r = q - -186. Is r a prime number?
True
Let s = 10 - 2. Let j = 0 - -2. Suppose j*n = -s, 3*n = -4*v + n + 140. Is v a composite number?
False
Suppose 3 = -3*d - 0. Let f(p) be the second derivative of -p**5/10 + p**4/12 + p**3/3 + p**2/2 - p. Is f(d) composite?
False
Suppose 9709 = 2*t - r, 3816 + 5875 = 2*t + 5*r. Is t a composite number?
True
Suppose -j - 2*f + 41575 = -6*f, f = j - 41578. Is j prime?
True
Let q(c) = c**3 + c**2 + 2*c + 402. Let h be q(0). Suppose 6*x - h = 2472. Is x composite?
False
Let m = 618 + -879. Let c = 607 + m. Is c composite?
True
Suppose -15*s + 100835 = -103900. Is s prime?
True
Is (-72)/54*12249/(-12) a composite number?
False
Suppose 0 = -5*g + 514 - 489. Let p(f) = f**3 - 1. Let i(a) = -5*a**3 - 6*a**2 - 3*a + 15. Let d(t) = -i(t) - 6*p(t). Is d(g) composite?
False
Suppose 23*g - 268163 = 348260. Is g a composite number?
False
Let o(x) = -x + 2 + 9*x + 101*x**2 + 542*x**2 - 4*x. Is o(-1) prime?
True
Suppose -48894 - 96842 = -8*i. Is i prime?
True
Let y = 30 + -31. Let u(c) = 44*c**2 - c - 2. Is u(y) a prime number?
True
Let u(y) = -y**3 - 18*y**2 + 23*y - 103. Is u(-31) a prime number?
True
Let u(p) = p**3 + 7*p**2 - 2*p - 1. Let g be u(-6). Let o = 123 - g. Suppose -3*c + o = -29. Is c prime?
False
Let x(m) = -2*m**2 + m + 3. Let h be x(2). Is 178/(h + (408/20)/6) prime?
False
Let t(l) be the first derivative of -83*l**2 - 3*l - 55. Suppose 4 = -5*h - 6. Is t(h) a prime number?
False
Suppose -5*g + 4*r = -1025, -1041 = -5*g - r - 41. Let y = -118 + g. Is y a composite number?
False
Is (-2212)/(-4) + 0 + -2 composite?
True
Let n be 5 - (-8)/20*-5. Let q be 56/12 + (-2)/n. Suppose 61 = q*j - 23. Is j prime?
False
Is (-673 - 0)/((-4)/28) composite?
True
Is (3003130/91 - -12) + (-6)/14 a prime number?
True
Let c(f) be the second derivative of 3*f**5/10 - f**4/3 - 3*f**3/2 + 3*f**2/2 + 7*f. Let w be c(6). Let v = w + -770. Is v a composite number?
False
Let o be (-5)/((-40)/12)*(-44)/(-6). Let v(p) = -p**3 + 13*p**2 - 7*p + 26. Is v(o) composite?
False
Let q = -7 - -9. Suppose -q*a = 129 - 607. Let d = 832 - a. Is d a composite number?
False
Suppose -1428 = -3*f + 684. Let o = 1381 - f. Is o a prime number?
True
Suppose 4*y + 2*u = 66034, -7*y + 50017 + 65538 = 2*u. Is y a composite number?
True
Suppose 5*z - 10 = 5*s, -z + 18 = -4*s - 5. Is -563*(s - (1 - 3)) prime?
False
Let z = -11 - -11. Suppose -10*h + 5*h + 20 = z. Suppose -3*m + 3*q - 302 = -h*m, 5*m + 4*q - 1477 = 0. Is m prime?
True
Let l(r) = -6*r**3 + r + 1. Let k be l(-1). Suppose 3*z = k*z. Is (67 - z)*(1 - 0) composite?
False
Let f(z) = z**3 + 7*z**2 - 8*z - 1. Let m be f(-8). Is 566 + m + -4 - 4 prime?
True
Let j(b) = 7*b**3 - b**2 + b + 2. Let a be j(3). Let y = a + -103. Suppose -3*c + 129 = 3*q, 2*q = -c - 0*c + y. Is q prime?
False
Suppose 48 = 2*v - 6*v. Let f = 10 + v. Is (f/(-4))/(2/892) prime?
True
Suppose -6*k = -i - 10*k + 31949, -3*k - 127834 = -4*i. Is i a prime number?
True
Let h = 10819 - 6326. Is h a prime number?
True
Let b(y) = 2*y + 762. Let u(l) = -l - 381. Let j(n) = -2*b(n) - 5*u(n). Is j(0) composite?
True
Let q be (1 - (0 - 2)) + 6. Let k be 4116/q - (-2)/3. Suppose k + 27 = 5*d. Is d a composite number?
False
Let o(n) = -2*n - 16. Let a be o(-7). Let q(v) = -25*v**3 - 2*v**2 - 1. Is q(a) a prime number?
True
Suppose 26*d + 36 = 32*d. Let a(v) = -2*v**2 - 3*v + 4. Let r be a(-3). Is (-290)/(r + -3 + d) a composite number?
True
Let j(u) = 102398*u**3 + 4*u**2 - 8*u + 3. Is j(1) a prime number?
True
Let g(q) be the second derivative of q**4 + q**3/6 - 4*q**2 - 7*q. Is g(-5) prime?
False
Suppose 5*a + 18 = -3*i + 57, 0 = 3*i - a - 21. Is (-10)/i*-1*68 a composite number?
True
Let p(r) = 193*r**2 - 4*r + 26. Is p(-5) prime?
True
Let o(f) = f**2 + 2*f + 143. Suppose -2*v = -d + 3, -3*d - 1 = -10. Let z be o(v). Suppose -7*w + 326 + z = 0. Is w a prime number?
True
Let z be (-15)/40 - (-27)/8. Let l(c) = -334*c - 1. Let q be l(-4). Suppose z*o + 0*o = q. Is o prime?
False
Let l(k) = 35*k**2 - 5*k + 2. Let j be (16/(-20))/(4/(-30)). Let y be l