. Is b a prime number?
True
Suppose -8*u + 884351 = 2*v - 591295, 2213509 = 3*v + 4*u. Is v a composite number?
False
Is ((-16)/2)/(-104) + (-809074)/(-91) prime?
False
Suppose -21*k + 10334 = -12094. Let h = k + 13. Is h a prime number?
False
Is (0 + 5 + -297138)*(-20 + 19) composite?
False
Suppose 0 = a - m + 8, 3*a - m = -6*m. Let b be (-2)/(-5) + 2/a. Suppose b = 12*o - o - 2321. Is o a composite number?
False
Let v = -683 + 686. Suppose -v*w + r = -0*w - 6479, 2161 = w - r. Is w composite?
True
Let d = -7071 + 539594. Is d a composite number?
False
Suppose 0 = p - 2*p + 5. Suppose 3*o - 4*d + 6 = 0, 5*d = 2*o + 4*d - 1. Suppose -n = o*z + 4*n - 254, 4*z + p*n = 508. Is z a composite number?
False
Suppose 0 = -4*h + 5*t + 14143, 3608 = 3*h - t - 7002. Suppose 2*x - 15 = -3*x. Suppose -l - 5*o + h = 0, -7 = -2*o - x. Is l a prime number?
True
Let v = 79 - 80. Let p be (v/4*0)/2. Suppose 0 = 4*x + 4*i - 941 - 6667, -2*x + 5*i + 3797 = p. Is x a composite number?
False
Let s be (-2)/(-7) + 766/14. Suppose -s = 3*i - 4*v, 3*i + 5*v + 13 = -33. Let w(d) = d**2 + 14*d - 14. Is w(i) a composite number?
False
Is 10462764/658 - (-2)/14 a composite number?
False
Let q(r) = 14*r**3 + 3*r**2 + 22*r + 10. Let a be q(-4). Let l = a - -1803. Is l prime?
True
Suppose 25*b - 22*b = -6, z - 2*b = 33369. Is z prime?
False
Let v(j) = 3*j**2 + 3. Let g be v(3). Let i = -18 + g. Is (-2)/i - 1/12*-2654 a composite number?
True
Suppose 33 = 3*s + 4*p - p, -4*s + 49 = 5*p. Let j(i) = i - 17. Let n be j(s). Is n/((1/7)/(5/(-5))) a composite number?
True
Let a be 9/63 - (-1342)/14. Is (-4 + 0 + 1)*(-44768)/a prime?
True
Let b(q) = -5*q. Let m be b(-3). Suppose -9*l - 92 = -l - 100*l. Is (m/(-6) + 3)/(l/2994) a prime number?
False
Let u(o) = 10*o**2 + 15*o + 172. Is u(23) a prime number?
True
Suppose -4*p - 22430 = -2*w, 2*w + 6*p = 2*p + 22414. Let k = w - 18235. Is (k/24)/(4/(-6)) a composite number?
False
Let m = 333 - 326. Suppose -5*j + 5*s = -4310, 3*s - 1722 = -2*j + m*s. Is j composite?
False
Suppose 70145330 + 53617236 = 116*l - 3068702. Is l a prime number?
False
Is (-9)/63 + (-3 - (-7368654)/42) - 8 prime?
True
Suppose -2*z + 692332 = -2*j, 933605 = 5*z + 5*j - 797155. Is z a prime number?
False
Suppose 75*s - 57570583 = 1957742. Is s a prime number?
True
Let i(p) = -p**3 + 5*p**2 + p - 8. Let w be i(5). Let g(d) = -264*d**3 - d**2 + 2. Is g(w) composite?
False
Let s = 4 + -3. Let p(c) = 10*c**2 + 9*c - 16. Let j(h) = -1. Let k(n) = s*p(n) + 4*j(n). Is k(19) a composite number?
False
Let w(q) = 440*q**2 + 3*q + 3. Let d be (-1)/((0 + 4)/4). Let f be w(d). Let p = 3 + f. Is p a composite number?
False
Let c = 608803 - 208054. Is c prime?
False
Suppose -2 - 2 = -2*s. Suppose 2*u - 2*v + 4*v - 1910 = 0, -1901 = -s*u - 5*v. Is u prime?
False
Let q be -4 + -3 - (-1 + -6). Suppose q = 4*n - 3*v - 8206 - 3774, 4*v + 11980 = 4*n. Is n prime?
False
Is (27/(-108))/((-737877)/491916 - (-9)/6) a prime number?
True
Let o = 6 - 32. Let u be 3 - 219427/o*1*-2. Is 2/9 - u/36 a composite number?
True
Suppose 0 = -5*l + 2*s + 64703, 1976 + 10961 = l - 4*s. Suppose 2*r - 8658 = 5*h, 3*h = -3*r - h + l. Is r a composite number?
True
Suppose 0*t = 4*n - 4*t - 16, n - 2*t - 5 = 0. Suppose n*z - 8374 = -5*w, -3*w + 5010 = z - 4*z. Is w a composite number?
True
Let z(p) = 40*p**3 + 37*p**2 - 10*p + 1. Is z(8) composite?
False
Let m be 1*18/(-12)*916/(-6). Let v = 353 - m. Suppose v = 6*i - 2762. Is i a composite number?
True
Let u be ((-12)/7)/(14/588). Let f = u - -124. Let w = f + 135. Is w prime?
False
Let x(g) = -2*g**3 + 82*g**2 + 34*g + 37. Is x(-38) a prime number?
False
Let j = 13866 + -9639. Suppose -2*k = -3*o + 4227, j = 3*o - 5*k + 2*k. Is o a composite number?
False
Let f = -47021 + 84508. Is f composite?
True
Let v(z) = -2711*z - 2319. Is v(-11) prime?
False
Let v be 32/(-18) + 3*(-10)/135. Is 1*(0 + v) + 2923 a composite number?
True
Let y = -36 - -35. Let g(m) = 1658*m**3 + 3*m**2 + 2*m + 2. Let q(b) = -8290*b**3 - 16*b**2 - 11*b - 11. Let p(l) = -11*g(l) - 2*q(l). Is p(y) composite?
False
Let u be 3/(-2)*390/(-45). Let m(g) = -71*g + 61. Let l(h) = -35*h + 30. Let p(x) = -9*l(x) + 4*m(x). Is p(u) a composite number?
True
Suppose -1471*t - 376111 = -1472*t + 2*p, -8 = -p. Is t a prime number?
True
Let r be 109042/12 - (-5)/30. Let w = 16696 - r. Is w composite?
True
Suppose -u + 91174 = -89276 + 17801. Is u composite?
False
Let f = 3303 + -3052. Is f prime?
True
Let m = 31 - 29. Is -5*(-1473)/60*8/m prime?
True
Suppose -54*r = -52*r - 34572. Let c be 3/90*-4 + r/45. Suppose 499 = -4*a + v + 2016, -c = -a + 5*v. Is a prime?
True
Suppose 0 = 15*a - 20*a - 110. Let m(b) = 16*b**2 + 29*b - 3. Is m(a) composite?
False
Let k = 601 + -596. Suppose 6*b = k*b - 2, -4*n = -2*b - 18300. Is n a prime number?
False
Let z be (-4)/(20/(-15)) - 3. Is (-41)/(5/(-1135) + z) composite?
True
Let p(x) = x**3 + 17*x**2 + 44*x + 33. Let c be p(-14). Suppose -4*l + 10*m = 8*m - 16800, 10 = c*m. Is l prime?
True
Suppose 21*p + 1625094 = 33*p + 6*p. Is p prime?
False
Let t(j) = 6*j**3 + 3*j**2 - 8*j + 7. Let c(b) = -6*b**3 - 2*b**2 + 7*b - 6. Let s(r) = 5*c(r) + 4*t(r). Let f be s(-2). Let i = 107 - f. Is i a prime number?
True
Let k(i) = 513*i + 314. Let h(w) = -8*w + 163. Let j be h(18). Is k(j) a composite number?
False
Let l(o) = -o + 1. Let r be l(-1). Let x = 3138 + -2706. Suppose -381 = -c + 2*s, -4*c + 1122 = -r*s - x. Is c prime?
False
Let r(a) = 35*a**2 - 10*a - 1878. Is r(-53) a composite number?
True
Suppose 0 = r + j + 58 - 3817, -5*j = -5*r + 18835. Is r composite?
True
Let q = 66122 - -98631. Is q composite?
True
Suppose -157*n + 178*n = -77882 + 803999. Is n a composite number?
True
Let o be 1/(-5) - (156/20)/1. Let q be 6/o*(-50 - -26). Is -4 + (q - -2) - 1 a composite number?
True
Let z = -14169 - -21772. Let t = 712 + z. Is t a prime number?
False
Let n(p) = 2*p**2 - 13*p + 32. Let j be n(5). Suppose -4*y - j*m + 15*m + 12606 = 0, 0 = -y + 5*m + 3124. Is y a composite number?
True
Suppose 3*b - 83 + 92 = 0. Is b/3*(-1 + -6768) prime?
False
Let v(m) = 1384*m**2 + 163*m - 1793. Is v(14) prime?
True
Let j(t) = -t**3 + 20*t**2 + 17*t - 1. Let w = 94 - 82. Let g be j(w). Let c = 3876 - g. Is c a composite number?
False
Let l(s) be the first derivative of 524*s**3/3 - 2*s**2 - s - 29. Is l(3) a composite number?
False
Suppose l + 2*v - 25 = 0, 5*l - 24 = -v + 56. Suppose l*s - 1844 = 11*s. Suppose -20 = 5*f, 3*f - s = -2*k + 109. Is k composite?
True
Let o(c) = 2*c**2 + 199*c - 233. Is o(56) prime?
True
Suppose -5*l - 5427895 = -40*l - 20*l. Is l prime?
True
Suppose -5*v + 15 = -v + 3*r, 5*v = r + 14. Suppose -o = 3*w + 6, -3*o + v*w + 1 = -5. Is (-1 - o) + (683 - -1) prime?
True
Suppose 4*w - c = 301059, 5*w - 95*c - 376327 = -97*c. Is w a composite number?
True
Let c = 206548 + -147039. Is c a prime number?
True
Suppose 17*u + 37*u - 13011084 = 0. Is u a composite number?
True
Suppose -4 = -3*o + 3*z + 2, 5*z - 10 = -5*o. Suppose 26478 = o*v + 3892. Is v a composite number?
True
Let a = 324 + 9. Is a*3*9/27 + -2 a prime number?
True
Let y = -640 - -623. Is ((-20113992)/27)/y + (-5)/(-3) a prime number?
False
Let f(l) = -13*l**3 - 12*l**3 - 5*l + l**2 - 4*l**2 + 3 + 29*l**3. Suppose -3*h + 1 + 8 = 0. Is f(h) a prime number?
False
Let s(p) be the first derivative of -7 + 2/3*p**3 + 10*p**2 - 3*p. Is s(-14) prime?
True
Let i = 158192 + 463725. Is i a prime number?
False
Let a(g) be the third derivative of -g**5/60 - 5*g**4/12 - 3*g**3/2 - 18*g**2. Let x be a(-8). Is (-3*641)/(4 - x) a composite number?
False
Let c(l) be the third derivative of 2767*l**5/30 + l**4/3 + 5*l**3/6 - 6*l**2 - 13*l. Is c(-1) a composite number?
False
Let s be (-75)/(-15) + 348*-19. Let q = -3521 - s. Let x = -991 + q. Is x prime?
False
Let n(i) = 16215*i**2 - 32*i - 59. Is n(-2) a composite number?
True
Let t be 8454/30 + (-2)/(-10). Let m(d) = -328*d + t*d + 4 + 11 + 0. Is m(-4) a composite number?
False
Suppose 2*u = -5*v + 404057, 0 = 5*u - 3*v - 699793 - 310303. Is u a prime number?
True
Suppose 2*r - 627 + 15 = 0. Suppose -r = 4*g - 13*g. Suppose 0 = -o + 381 + g. Is o a prime number?
False
Let w(r) = -30685*r - 2151. Is w(-34) prime?
False
Suppose -2 = 2*q - 4*q. Let f(n) = -n + 1. Let c(d)