rue
Suppose 10 = -5*w + 30. Suppose w*h + 0*p = -5*p - 3, 6 = -2*h - 4*p. Suppose -2056 = -h*i - 37. Is i a prime number?
True
Let a = -39 + 60. Is (-5222)/a*(-9)/6 a prime number?
True
Let o = -4190 - -5951. Is o a prime number?
False
Let f = 1074 - 40. Let k = f - 590. Let g = -317 + k. Is g composite?
False
Let t(a) = -a**3 + 18*a**2 - 32. Let b(x) = x + 1. Let g(s) = -5*b(s) - t(s). Is g(19) composite?
False
Suppose -t = -5*t - 28. Let d be t/((-84)/(-16))*-6. Is (-1735)/(-20) - (-2)/d composite?
True
Suppose 5*c - 11959 = 8906. Suppose -g = -4*g + c. Is g composite?
True
Let q(g) = -1062*g**3 + 3*g + 2. Let n(z) = z**2 - 15*z + 8. Let p be n(13). Let m be (6/p)/((-1)/(-3)). Is q(m) a composite number?
False
Let d = -34 - -37. Suppose d*n - 27 = 1158. Is n a prime number?
False
Suppose 5*j - 4*v = -7346 + 18325, -v + 6601 = 3*j. Is j a composite number?
True
Let x be (2*4/(-24))/((-2)/(-5178)). Let p = -532 - x. Is p a prime number?
True
Suppose -184133 = -5*x - a + 106513, -3*x + 5*a = -174382. Is x composite?
False
Suppose -2*i + 10 = -2*a - 4*i, 2*i + 10 = 0. Suppose a = -s - s - 8. Is 94 - 6*s/8 a composite number?
False
Let m = 142 + 779. Is (m/6)/((-2)/(-12)) prime?
False
Let b be 2021/3 - 4/6. Let s = b + 540. Is s prime?
True
Let a(v) = -4*v**2 + 3*v**2 + 10*v - 18*v - 3. Let s be a(-6). Is -3*((-375)/s + 2) a prime number?
False
Let c(l) = 8*l - 5. Let y(i) = -i**3 + 5*i**2 + 3. Let z be y(5). Is c(z) prime?
True
Is (16/(-40) - 26/10) + 3610 a prime number?
True
Let u = 64 + -68. Is (7/2 + u)*-2246 a prime number?
True
Let y(m) be the second derivative of 47*m**3/6 - 2*m**2 + 3*m. Is y(1) composite?
False
Let v(k) = -k**2 - 20*k - 68. Let y be v(-15). Let h(l) = 115*l + 4. Is h(y) prime?
True
Is (1741/(-3))/(5/(-15)) a composite number?
False
Let c = -3 - 4. Let s be 0 - c/((-21)/(-6)). Suppose 5*f - 2*k + 5*k - 1835 = 0, f + s*k - 367 = 0. Is f a composite number?
False
Let d = 696 - 161. Suppose -5*b - d = -3*p, -3*p = -2*p - b - 181. Suppose 0 = -u + 5*x + p, -x - 406 = 4*u - 6*u. Is u a composite number?
True
Let r(m) = -m**3 - 6*m**2 - 5*m + 5. Let b be r(-5). Suppose b*h - 6475 = -865. Suppose -h = -2*a - 460. Is a composite?
False
Let y be (2/(-2))/(14/(-112)). Let i be 26/y - (-30)/40. Suppose 0*v - 3*v = i*l - 1022, v = -2*l + 512. Is l a prime number?
True
Let f(q) = q**2 - 3*q + 2. Let x be f(3). Suppose -5*v + 57 = -x*v. Is v a prime number?
True
Suppose -41271 - 16303 = -11*v. Is v a composite number?
True
Let r be 6*-1*(-208)/(-12). Let u = r - -523. Is u a prime number?
True
Let r(s) = 14*s**3 + 4*s**2 - 11*s - 15. Is r(11) a prime number?
False
Let x(m) = 2435*m**2 + 3*m + 2. Let j be x(-1). Suppose j = 3*l - 3233. Is l prime?
True
Let a(t) = -t**3 - t + 6 - 8*t**3 + 8 + 10*t + 15*t**2. Let p(g) = 5*g**3 - 8*g**2 - 5*g - 7. Let w(r) = -4*a(r) - 7*p(r). Is w(6) a composite number?
False
Let x(g) = 3*g**2 - 3*g + 33. Let s be 114/15 - 1 - (-6)/15. Is x(s) a composite number?
True
Let a = -73 + 107. Suppose 25*i + 2637 = a*i. Is i a composite number?
False
Suppose -5*j + j = -8. Suppose 67 = x - 0*b - 2*b, -j*x + 5*b + 138 = 0. Is x prime?
True
Suppose 0 = -6*b - 7869 + 25023. Suppose b + 3949 = 8*a. Is a a prime number?
False
Let g(q) = 5*q**2 + q + 13. Let u = 43 - 47. Is g(u) a composite number?
False
Let k be (-343)/(1 - 10/9). Suppose k = 4*y - 357. Suppose y = 8*c - 5*c. Is c composite?
True
Suppose 0 = 2*w - 7 + 5. Is -1 + w + 12 + 167 a prime number?
True
Let x be (-12)/(-20) + (-3927)/(-5). Suppose 0*v + 3*v = -5*y - 7, -3*v = 3*y + 9. Is x/v*(-2)/3 prime?
True
Is 8/16*(-1086414)/(-3) a composite number?
True
Suppose -2*s + 4*s = -1344. Let d = 1996 + s. Suppose i = 5*i - d. Is i a composite number?
False
Let x(i) = -i**2 + 2*i + 2. Let a(u) = 14*u**2 - 7*u - 8. Let o(h) = a(h) + 3*x(h). Suppose r + 2*z = -4*r + 21, 0 = -z + 3. Is o(r) composite?
True
Suppose 4*w - 4*u = -3*u - 22, 0 = w - 3*u. Let k be (27/(-12))/(w/(-16)). Is ((-68)/8)/(1/k) prime?
False
Suppose 5*z + 1590 = 4*s, -4*z = 3*s + 843 + 460. Let m = z - -455. Is m composite?
True
Let x = -16 - -56. Suppose -3*r - x = p, -3*p = -r - 6 - 14. Is r/(-21)*690/4 a prime number?
False
Let u(n) = -25*n + 148. Let o be u(6). Suppose 2*b + 2*b + 96 = 0. Let y = o - b. Is y composite?
True
Let r(t) = -t**3 - 4*t**2 + 4*t - 2. Let h be r(-5). Is -5*46*h/(-18)*3 composite?
True
Let w(m) = 2*m + 6. Suppose 4*f - 40 = -u + 5*u, 2*u = 3*f - 29. Let r be w(f). Let y = r + -11. Is y composite?
False
Is 6 + (-9 - -2) + (-584)/(-1) a prime number?
False
Let f = 3 - 0. Suppose -2*p - 18 = 5*k - 73, -3*k + f*p + 33 = 0. Is k/(-22) + 490/4 a prime number?
False
Suppose u + u - 110 = 0. Let v(f) = f**3 + 5*f**2 + 7*f + 1. Let w be v(-4). Is (-3068)/(-10) - w/u a composite number?
False
Let d(a) be the second derivative of 3*a**5/10 - a**4/12 + a**3/3 - a**2/2 + a. Let h be d(1). Is (-3)/h + 1014/4 composite?
True
Let s(k) = 2*k**2 - 8*k + 5. Is s(8) a prime number?
False
Let a(r) = -27*r + 2. Let c(y) = -y**3 - 8*y**2 + y + 5. Let g be c(-8). Let m be a(g). Is 1/1*(-4 + m) a composite number?
False
Let g(w) be the first derivative of -9*w**4/4 - 5*w**3/3 + w - 9. Is g(-2) a composite number?
False
Let g(l) = 63*l + 22. Let i be (4/((-64)/(-12)))/(1/4). Is g(i) composite?
False
Let z be (-3 + 5)/(2/(-1)) - 55. Let y = 507 + z. Is y composite?
True
Let b(a) = 16*a**2 - a + 5. Let d be b(-12). Suppose -13*n + 2*n + d = 0. Is n prime?
True
Let q = -32 + -89. Let a(s) = 13*s - 56. Let h be a(6). Is (-6970)/(-22) - h/q a prime number?
True
Suppose -3749 = 6*b - 31067. Is b a prime number?
False
Suppose 2*c = 5*b + 8 - 2, 0 = -5*c + 5*b. Let a(q) = 2*q + 3. Let m be a(c). Is (4/(-8))/(m/154) a composite number?
True
Suppose -y + l = -3*l + 97, -y + l - 106 = 0. Let a(h) = h**3 + 3*h**2 - h - 6. Let q be a(6). Let w = q + y. Is w prime?
False
Let n = -84080 + 148759. Is n a composite number?
False
Let s(f) be the first derivative of 1539*f**2/2 - 17*f + 3. Let q(w) = -513*w + 6. Let g(r) = -11*q(r) - 4*s(r). Is g(-1) a composite number?
True
Suppose -2*v + 16825 + 7549 = 0. Is v composite?
True
Let t(b) = 15*b**2 - 28*b - 23. Is t(-16) a composite number?
True
Let o(x) = 101*x**2 + 3*x - 3. Let a be o(3). Let y = -36 + a. Is y composite?
True
Suppose -w + 223 + 56 = 0. Let h = 278 + w. Is h a prime number?
True
Let v be (-2)/((4 - 0)/(-5392)). Is v/40 + (-2)/5 composite?
False
Let b(j) = -15*j - 153*j + 14*j + 15 + 8*j. Is b(-11) composite?
False
Let c(m) be the second derivative of -1057*m**3/6 - 3*m**2/2 + 17*m. Is c(-2) prime?
True
Suppose 0*m + 8*m + 24792 = 0. Let s = 6506 + m. Is s a composite number?
False
Let q be (-2 - -4169) + -4 + 3. Suppose 7*b - q = 2*b - 3*p, -4*p = -5*b + 4187. Is b a prime number?
False
Let x(k) be the third derivative of k**4/24 + 11*k**3/6 + k**2. Let o be x(-8). Suppose 5*y - 2*y = 5*r - 277, 4*y + 175 = o*r. Is r a prime number?
True
Let y = -13246 - -62225. Is y prime?
False
Is (-229796)/(-6) - (-16)/(-48) composite?
False
Let d = 19 + -17. Suppose p + d*s = -3*p + 3154, 4*p + s = 3151. Is p a prime number?
True
Let z = 2837 + -18. Is z a prime number?
True
Let q = 2270 - 1197. Is q a composite number?
True
Is (157/2)/(109/218) a composite number?
False
Let f(b) = 3*b**3 + b**2 - 2*b + 10. Let s be f(-7). Let z = 1635 + s. Is z prime?
False
Is (-33 - 3)/6 + (3 - -104746) composite?
False
Suppose 91*f + 3 = 92*f. Suppose -f*r = -1533 + 540. Is r a composite number?
False
Let d(i) = 40*i + 15. Let b(r) = 7*r**2 + 6*r + 7. Let f(t) = -t**2 + 1. Let k(p) = b(p) + 6*f(p). Let j be k(-6). Is d(j) prime?
False
Let d(a) be the first derivative of 3/2*a**2 + a - 2 + 7/3*a**3. Is d(5) a prime number?
True
Let x be (-12)/54 + (-32)/18. Let v be x - (0/(-2) + -48). Is 4 + (8*v - -1) a composite number?
False
Suppose -5*k = 5*i - 405, -2*i + 0*i = 4*k - 322. Suppose -715 + k = -t. Is t prime?
False
Let u be -2 - (-12)/4 - -3. Suppose -u*y - 3*p + 1 = 5, -y = -5*p - 22. Suppose 2*q = -y*h + 3*q + 73, -195 = -5*h + 5*q. Is h composite?
True
Suppose 0 = -2*h - 2*h + 48. Suppose -h*n + 11*n = -457. Is n a composite number?
False
Let a(z) = -z**2 + 14*z - 12. Suppose 4*j + 2*g - 3 = 33, j + 2*g - 6 = 0. Let m be a(j). Suppose 2*t = m + 10. Is t a prime