o(-19) composite?
True
Suppose 4*b - 8 = 2*c, c - 8 = 4*c - 2*b. Let j(d) = -28*d - 1. Is j(c) a composite number?
True
Let x(q) = 2*q**2 + 4. Let j(p) = -p**2 - 5. Let d(n) = 3*j(n) + 2*x(n). Is d(9) composite?
True
Suppose v + 13*n - 8*n - 37014 = 0, -2*n - 37049 = -v. Is v a composite number?
False
Let o = 23 - 15. Suppose 0*k + o = 4*k. Suppose -5*f = 2*j - 159, 2*j + j - 68 = -k*f. Is f prime?
True
Is (-3)/6 + (-5)/(-2) - -3659 prime?
False
Suppose 64*x + 2*p + 11732 = 68*x, -3*p = 5*x - 14665. Is x composite?
True
Is (-110)/(-825) + 142663/15 composite?
False
Let y(x) = 39*x**2 + 7*x + 19. Is y(8) composite?
True
Let d(u) = -89*u**3 + 10*u**2 + 13*u + 1. Is d(-5) prime?
True
Let r be 6/(-4)*(5 + -7). Suppose 2108 = 4*f - 3*k, 0 = f - r*f - 4*k + 1054. Let y = f - 78. Is y prime?
True
Let l be 6/21 + 124136/56. Let x = l + -778. Is x a composite number?
False
Suppose 10 = 4*b - 6. Suppose -b*l + 192 + 91 = 3*r, -2*l = -2*r + 198. Is r composite?
False
Suppose 0 = -184*o + 177*o + 104699. Is o a composite number?
False
Suppose 314 = 2*f - 404. Let u = -6 - -8. Suppose -o = -g + 305, -u*g = 3*o - f - 261. Is g prime?
True
Let g(s) = 122*s - 21. Is g(10) prime?
False
Let t(q) = -q**2 - 2*q + 3337. Is t(0) prime?
False
Let i = -380 - -1717. Is i composite?
True
Let u = -10 - -16. Let n(a) = 6*a + 13. Let l be n(14). Suppose l + 437 = u*w. Is w a prime number?
True
Suppose 1726 = 2*b + 22. Let u = -146 - -155. Is ((-3)/(-2))/(u/b) composite?
True
Suppose 24*j - 5*c + 18215 = 29*j, -c - 10945 = -3*j. Is j prime?
False
Let y(b) = b**3 + 14*b**2 + 8*b - 18. Let u(j) be the first derivative of -j**3/3 + j**2 - 5*j - 5. Let k be u(4). Is y(k) prime?
True
Let q(m) = -20*m + 7. Suppose -3*l = 4*a - 2*l + 12, 2*l = -2*a. Is q(a) prime?
False
Suppose 3*f - 5648 = i, -2*i - 10 + 6 = 0. Is f a composite number?
True
Let c(w) = 106*w**2 - 19*w + 2. Let t(k) = 159*k**2 - 29*k + 3. Let v(a) = 8*c(a) - 5*t(a). Is v(-5) a prime number?
True
Suppose y + y = 966. Let g(h) = 4*h**2 + 30*h - 1. Let k be g(-15). Suppose 4*w - y = k. Is w prime?
True
Suppose 14483 = u - 132*a + 133*a, -4*u - 5*a + 57936 = 0. Is u a prime number?
True
Let o be (-37)/7 + (-4)/(-14). Let v(h) = -27*h**2 - 22*h**2 - 21*h**2 + 101*h**2 + 4 - 20*h**2 - 7*h. Is v(o) a prime number?
False
Let f = 236 + -128. Let c = f + 124. Suppose -5*j = n - 1994 - c, -j + 446 = n. Is j prime?
False
Let b = -6463 - -11054. Is b composite?
False
Is (0 - 86/(-4))*(192 + 2) a prime number?
False
Let x(q) = 13*q + 150. Is x(31) composite?
True
Let q(v) = -v**3 + 5*v**2 - v - 3. Let d be q(2). Let x(t) = 10*t**2 - t - 4. Is x(d) composite?
False
Let y be (-2211)/5 + 9/45. Is (-4 - y)/2 + 4 a composite number?
False
Let a be 4124*(-4)/(32/(-2)). Let l = a + 18. Is l prime?
True
Suppose 3*u - 2*q = -4, 9*u + 4*q - 30 = 4*u. Suppose -2*r = -282 - 126. Suppose u*g + c + r = 6*g, -2*c + 102 = 2*g. Is g prime?
False
Let f(v) = v**3 + 14*v**2 - 7*v - 3. Let u be f(-7). Suppose -5*s - 2*o = -o - u, 3*o + 65 = s. Is s composite?
True
Let n be (0 - 1)*35/5. Is 214/4 - (4 - n/(-2)) prime?
True
Suppose 40*s - 19*s = 559041. Is s composite?
True
Suppose -7*f + 2007 = -2606. Is f prime?
True
Is (-2)/(-4)*(22 + 4084) a prime number?
True
Let o be -54*-12*(-2)/9. Let c = o + 248. Let d = c + -37. Is d prime?
True
Let r(p) = 8979*p**2 + 3*p + 1. Is r(-1) prime?
False
Let q = -8 - -13. Suppose q*l - l = 0. Suppose p + l*p = 146. Is p a composite number?
True
Let t(o) = 576*o**3 - o**2 + 2*o + 1. Let c be t(2). Suppose -8*m + c = -2487. Is m a prime number?
True
Let k = 1851 + -1085. Suppose -o + 4 = 0, 3*r = 5*r - 3*o - k. Is r a composite number?
False
Is (-16413)/6*(-5 - (-6)/2) composite?
False
Let g = -23 - -33. Suppose 3 = -z + 2*d, 4*d - 11 - 15 = -2*z. Suppose -z*v = -g*v + 805. Is v prime?
False
Suppose 0 = 2*j - 2*g - 3 - 5, -5*j - 3*g = -4. Is -3 + j + -1 + 2929 composite?
False
Let w(r) = -r**2 + 3*r - 1. Let a be w(3). Let u be a*3 - (-5 - -2). Suppose h + u - 15 = 0. Is h composite?
True
Suppose -w - 3*l + 6 = -l, 0 = 3*w + 4*l - 18. Is w/(-4)*13882/(-33) prime?
True
Suppose -5*n = 5*n - 28350. Suppose -3*m + 2*q + n = 0, -3*m + 5*q = 6*q - 2826. Is m a prime number?
False
Let f be 33*(-2)/(-18) + 2/6. Suppose -4899 = -5*q + y, -y = -f*q - 6*y + 3896. Is q prime?
False
Let y(i) = 2*i**2 - 2. Let p be -2 + 5*8/20. Let l be y(p). Is (-8)/4*211/l composite?
False
Let i(o) = 5*o**2 - 4*o - 4. Suppose -v - 1 = -2*z - 3, 4*z = -8. Let j = -1 + v. Is i(j) a prime number?
True
Let s(u) = u**3 + u**2 - u + 20. Let d be s(0). Suppose 2*n - 3319 = -3*n + 4*t, 5*t - d = 0. Is n a prime number?
False
Let f be 1/(0 - 3/(-6)). Suppose 3*a + f*a = 40. Suppose 0 = a*d - 6*d - 174. Is d composite?
True
Let f = -8 - -7419. Is f composite?
False
Suppose -3*w + 6444 + 14865 = 0. Is w a composite number?
False
Suppose 60*k - 4710724 - 1450256 = 0. Is k composite?
True
Let h(g) = -9*g**3 + 3*g**2 + 15*g + 12. Let l be h(-6). Let w = 3013 - l. Is w prime?
True
Let c(v) = -1046*v - 21. Is c(-16) a composite number?
True
Suppose 331*v = 340*v - 12438. Is v a composite number?
True
Let v = 58 + -59. Is (2/(-4))/(2/488*v) prime?
False
Suppose -2*t + 8410 = -15926. Let b = t - 8381. Is b a composite number?
True
Let z = 13 + -11. Suppose -z*o + 952 = 2*o. Let t = o - 95. Is t a composite number?
True
Let i be ((-3)/(-9))/(86/42 - 2). Suppose 0 = 2*z + 2, 6*n + 995 = i*n - 4*z. Is n a composite number?
False
Let q = -600 + 2142. Let u = 2497 - q. Is u prime?
False
Let a be (-2 - 2/(-2))*-12. Let b = -20 - 15. Is 236/a*(-2 - b) prime?
False
Suppose 4*h - 6 = 2*g, 3*h - 6*h = 5*g + 28. Let b = g + 11. Is 3401/57 - 4/b prime?
True
Let j(o) = o + 1. Let l be j(3). Let y(m) = -12*m + 278. Let i be y(0). Suppose -10 + i = l*c. Is c a composite number?
False
Let m(x) = x**2 + x. Let c be m(0). Suppose c*v + 3*v - 3855 = 0. Suppose -3*r + 6*p = 2*p - 1309, 3*r - v = -2*p. Is r a prime number?
True
Let n(r) = 12*r**3 - r**2. Let g be n(-1). Let u = g - -272. Is u a composite number?
True
Suppose 4*g + 5*q - 300234 = 0, -q - 3*q = -2*g + 150130. Is g composite?
True
Let q(h) = 3*h + 3*h**2 - 10*h - 14 - 3*h**2 + h**2. Let u be q(8). Is 10/(-15)*5877/u prime?
True
Let t be (-5 - -1 - -7) + 2368. Let i = 3338 - t. Is i a composite number?
False
Let s = -45 + 22. Let p = s + 15. Let c = p + 43. Is c composite?
True
Suppose -29 = 2*p + 5*a - 828, 2*a - 2 = 0. Is p prime?
True
Is ((-4)/(-8)*-3)/((-6)/764) a composite number?
False
Suppose 2*u = -j + 2402 + 237, -u = -4*j + 10529. Is j composite?
False
Suppose -5*i + 6 = -r - 4, i - 2 = -3*r. Suppose -i*x + 2*y = -484, -756 = -2*x - x - 3*y. Is x a prime number?
False
Is (1 - 24254/(-6))/((-420)/(-630)) a composite number?
True
Let v be (-40 + -1)*(16 + -5). Let o = v + 704. Is o a prime number?
False
Suppose 2*c - 23 = -7. Suppose 2*s = -2*m, c = -4*s + m + 23. Suppose -457 = -s*a + 2*i, -a - 5*i + 0*i = -175. Is a composite?
True
Is (-29132)/8*(-2 - 0) a composite number?
False
Let o(z) be the second derivative of 1/2*z**3 + 2*z - z**2 + 1/20*z**5 + 7/12*z**4 + 0. Is o(-5) a prime number?
False
Suppose -132 = -23*g + 17*g. Is ((-1137)/2)/((-33)/g) a composite number?
False
Let u = -1222 - -2087. Is u a composite number?
True
Let m = -7 + 13. Let l(b) = 2*b**3 - 9*b**2 + 5. Let a be l(m). Let n = a + -60. Is n a prime number?
True
Suppose 5*y = -4*a + 239804, -24*a - 5*y = -26*a + 119902. Is a a composite number?
False
Suppose 2*j + 4*n - 3618 - 11438 = 0, -5*j + 37619 = 3*n. Is j a prime number?
False
Suppose -3*r - a - 7887 = -5*r, 4*r - 15809 = -5*a. Is r a prime number?
False
Suppose -2*y - n + 159 = 0, -5*y + n - 5*n = -390. Suppose y*v - 77*v - 1475 = 0. Is v prime?
False
Let u(y) = y**3 - 4*y**2 - y - 12. Let i be u(5). Suppose 4*z - 20 = -i. Suppose 2*p + 3*t + t - 40 = 0, 3*t = -z. Is p prime?
False
Suppose 0 = -15*a + 12*a + 2688. Let l = a + -591. Let o = -178 + l. Is o prime?
True
Let g = -1505 + 2313. Suppose 2*x - 978 = g. Suppose -2*i = 2*r - 672, -782 - x = -5*r - 4*i. Is r prime?
True
Let n(r) = 438*r**2 - 2*r - 5. Is n(4) a prime number?
False
Let m be -2*2/4*807. Let g be (-43266)/(-36) - 2/(-12). Let b = g + m. Is b a prime number?
False
Suppose 0 = 3*n - 4*r + 4, 0*r + 1 = r. Let c(