*d + f. Is d prime?
True
Suppose 4*a - 16 = a + 5*b, 4 = a - b. Suppose 12 = w + a*w. Suppose -w*t = -92 - 32. Is t prime?
True
Let p = -19 + 22. Suppose 5*h = -j + 16 + 7, -5*j - p*h = -203. Is j a composite number?
False
Suppose -6 = 3*o - 4*o. Suppose -o + 1 = -c. Suppose -3*r + 5*r - 362 = -c*p, -5*r = 20. Is p a composite number?
True
Let k(d) = d**3 - 6*d**2 + 9*d - 9. Suppose 3*b - 5 = 2*b. Let j be k(b). Let o(v) = 10*v + 17. Is o(j) prime?
True
Let u be -1 + -1 - (-21 + -17). Is (-1)/6 - (-145770)/u prime?
True
Let u be 171/27 + 2/3. Suppose -u*w = -2*w - 2145. Let p = -238 + w. Is p a prime number?
True
Suppose -82565 = 33*z - 481106. Is z a prime number?
False
Suppose 0 = t + 3*p - 33715, -2*p = -3*t + 66755 + 34346. Is t prime?
True
Let n = -18 - -23. Suppose n*b - 6 = o, -4*o - 3 + 11 = -4*b. Suppose -b*c - 2*i = c - 235, -i = 2*c - 157. Is c a prime number?
True
Suppose -c - 43 + 39 = 0. Is 10/c*24262/(-35) a prime number?
True
Suppose 2 = c - 3*c. Let p(j) be the first derivative of 142*j**3/3 - 17. Is p(c) prime?
False
Let i be (11/22)/(1/(-394)). Let g = 831 + i. Is g prime?
False
Let q(g) = -7*g - 3*g**2 + 4*g**2 - 35 + 2 + 12. Let o be q(14). Suppose 21 + o = 2*v. Is v a prime number?
False
Let n(q) = -22*q**2 - 29*q + 40. Let s(x) = -11*x**2 - 14*x + 20. Let o(y) = 6*n(y) - 13*s(y). Is o(11) a composite number?
False
Let c = 8 - 7. Let p be (-654*c)/(12/(-8)). Is (-3)/(-2)*p/6 composite?
False
Let j(b) = 807*b**3 - 4*b**2 - 2*b + 40. Is j(5) composite?
True
Suppose -7*s - 8427 = -l - 3*s, 2*s = 3*l - 25321. Is l prime?
True
Suppose 0 = -3*r + 2*r + 4*f + 2, -5*r - f + 52 = 0. Let i(d) = 4*d**2 + 13*d + 3. Is i(r) composite?
True
Suppose 10 = 68*c - 63*c. Suppose k - 2861 = -4*n - c*k, -2*n + 1433 = k. Is n composite?
False
Suppose 573 + 21 = -3*d. Let y be (d - 1) + 24/8. Let u = y + 693. Is u a prime number?
False
Let w(f) = 128*f + 2. Let n(v) = 257*v + 5. Let h(m) = -3*n(m) + 5*w(m). Is h(-9) a composite number?
True
Let x(a) = 37*a**2 + 8*a - 1. Is x(-2) prime?
True
Suppose c = 2*z - 473, 5*z - 4*c - 866 - 309 = 0. Is z a composite number?
False
Let p(t) = 3560*t - 13. Is p(3) a prime number?
True
Suppose 4*c - 3*b - 801 = 0, 0 = 2*c - 2*b - 418 + 18. Is c composite?
True
Let k(w) = 70*w**3 + 4*w**2 - 4*w - 6. Let b(r) = -71*r**3 - 5*r**2 + 4*r + 7. Let g(j) = 5*b(j) + 6*k(j). Is g(3) a prime number?
True
Suppose 0 = 20*p - 26*p + 900. Let t = p + 347. Is t a composite number?
True
Let y(p) = 2*p + 3. Let n be y(3). Let u(q) = 4*q**3 + 2*q**2 + 4*q - 9. Let o(g) = -5*g**3 - 3*g**2 - 3*g + 10. Let i(l) = -5*o(l) - 6*u(l). Is i(n) composite?
True
Suppose 2 = -j, 0*f = f - 2*j - 18. Let t(u) = -1 + 19 - 3*u + 3*u + 2*u. Is t(f) a prime number?
False
Let j = -117 - -121. Is (-5 - j/(-4)) + 341 a composite number?
False
Suppose 334 = 2*d - 0*b - 2*b, -d = 2*b - 167. Is d composite?
False
Let a = 1831 + -1720. Let s(w) = -w**3 - 5*w**2 + 5*w - 1. Let c be s(-6). Is (c - 7) + a*3 composite?
False
Let n be (-1)/(-3 + 5/2). Let o be 1/(n*3/1254). Let k = 56 + o. Is k prime?
False
Suppose -4*i + 21 = -15. Is ((-178)/4)/(i/(-36)) a prime number?
False
Suppose 39*d - 39686 = 75715. Is d a prime number?
False
Suppose 2*t = 7*t - 25. Suppose 1554 = 3*x + 3*q, -t*q + 292 + 747 = 2*x. Is x a composite number?
True
Let v(c) = 1345*c**2 - 3*c + 1. Let f be -4 + ((-2)/7 - (-253)/77). Is v(f) prime?
False
Let i be 2/(-1) - 32/(-8). Suppose -2*w + 19035 = 5*m, -m - w = i*w - 3820. Suppose 11*s = 6*s + m. Is s prime?
True
Suppose 15 = 2*o - 7*o - 2*v, 20 = -2*o + 2*v. Is (2*o/(-20))/(3/3882) a composite number?
False
Suppose -29799 = -3*n + 3*q + 10008, 3*n - 39809 = 4*q. Is n prime?
True
Let m(z) = 7*z**2 - 10*z + 2. Is m(9) prime?
True
Suppose 407124 = 2*o + 2*c, 5*c = -22*o + 18*o + 814247. Is o prime?
True
Is 608266/12 + 15*(-4)/(-360) a composite number?
True
Let t(r) = -2563*r + 234. Is t(-8) prime?
False
Suppose -4*v - 2*i + 35706 = 0, -2*v - 47*i + 42*i + 17849 = 0. Is v a composite number?
True
Let c(n) = 13*n**2 + 48*n + 122. Is c(-21) a prime number?
False
Let i(z) = 44*z**2 - 18*z - 1. Let a = 23 - 18. Is i(a) a prime number?
True
Let q(v) = -8*v**3 - 3*v**2 - 4*v + 12. Let y be q(-5). Let p = y + 194. Is p composite?
False
Let r(p) = -906*p - 4. Let u(h) = 453*h + 2. Let i(q) = 6*r(q) + 13*u(q). Is i(3) a prime number?
True
Let g be -1 + -218*(-1 + 28/(-8)). Suppose -3*m - 77 = -g. Is m a composite number?
True
Suppose 1 = -v, 5*d - 4856 = -v + 2708. Is d prime?
False
Let y be (-3)/12*-4*20. Suppose y*h - 25*h = 10. Is h/(-3) - 175/(-3) a prime number?
True
Suppose 5*d + 703 - 2038 = 0. Suppose -4 = j + j, -5*b + j = -d. Is b a composite number?
False
Suppose -8*l = -19*l + 8899. Is l composite?
False
Let g(x) = -113*x - 190. Is g(-37) a prime number?
False
Let u(m) = -2*m**3 - 9*m**2 - 23*m - 15. Is u(-9) a prime number?
False
Suppose 2*t - 2*u + 4 = -6*u, -2*u = -t + 6. Suppose -t*x - 77 = -27. Let s = x - -174. Is s prime?
True
Let j = -1231 + 2450. Is j a prime number?
False
Suppose 0 = x + 7*z - 2*z - 18, -5*z = 3*x - 14. Let y be (1 + -4)*(x - 0). Is 1762/y + (-10)/15 composite?
False
Suppose -4*h - 3 = -s, -s - 6*h = -h - 3. Let y be (s/2)/((-2)/(-24)). Suppose 16*w - y*w + 1034 = 0. Is w prime?
False
Let m be ((-4)/7)/((-4)/28). Suppose 9 = z + z - 5*k, -z = -2*k - m. Suppose -2*q - z*q + 1076 = 0. Is q a composite number?
False
Let m(s) = s**3 - 4*s**2 - 3*s - 6. Let l be m(5). Suppose 5*r - 1754 - 2940 = -l*w, 0 = -4*w + 5*r + 4674. Is w a prime number?
True
Let o(t) = 216*t**2 + 63*t + 56. Is o(19) a composite number?
False
Let m = 42 + -40. Suppose 0 = m*j - 6*j + 2164. Is j composite?
False
Suppose 24*g - 69690 = -6*g. Is g a prime number?
False
Let c(l) = -l**2 - 15*l + 6. Let b be c(-12). Suppose -677 = 5*o - b. Let q = -69 - o. Is q a prime number?
False
Suppose -2*s + 11*s = 60651. Is s prime?
False
Let c(s) = -s**3 + 6*s**2 - 2*s + 1. Let d(u) = 7*u - 2. Let h be d(3). Let n = 23 - h. Is c(n) prime?
False
Let o = -11103 - -74129. Is o composite?
True
Let o = 31 + -25. Let c be o/(-10) + (-90)/(-25). Suppose -98 = -c*q + 163. Is q composite?
True
Let r(z) = z**2 + 4*z - 221. Let k = 15 - 18. Let v(x) = -x. Let y(w) = k*v(w) - r(w). Is y(0) composite?
True
Let g = 77 - 77. Suppose 5*n - 2818 = -4*q, g*n - 3*q = -2*n + 1141. Is n composite?
True
Suppose -58*v + 122 = -56*v. Let s = 574 + v. Is s prime?
False
Let j(a) = 18*a - 16. Let o be j(3). Suppose -35*h - 393 = -o*h. Is h composite?
False
Suppose -2*a + 430 = 15*t - 12*t, 3*a - 667 = t. Is a a prime number?
False
Let t = 6 - 6. Suppose t = -4*d - 12, 5*r - 2*r = 3*d + 21. Suppose 3*i + 55 = a - 0*i, 0 = 2*i + r. Is a composite?
True
Let f(k) = 9180*k**2 - 2*k - 1. Is f(-1) a prime number?
True
Let h(c) = -145*c + 470. Is h(-45) prime?
False
Let v(j) = j**3 + 4*j**2 - 7*j - 6. Let p be v(-5). Let l be (0/(-19))/(2 - -1). Suppose l = b - p*b + 171. Is b composite?
True
Let p(d) = -481*d - 25. Is p(-2) a prime number?
True
Let o(s) = 131*s - 3. Let b(d) = -2*d + 32. Let j be b(14). Is o(j) a prime number?
True
Let z(d) = d**2 - 5*d + 3. Let g(i) be the third derivative of i**6/120 + 7*i**5/60 + i**4/8 + 8*i**3/3 - 11*i**2. Let f be g(-7). Is z(f) composite?
False
Suppose -3675 = -2*t + 1583. Is t a composite number?
True
Suppose 3*d = 4*q + 8, 1 = q + 3. Suppose 4*s + 3069 = 5*z, -5*s - 3864 = -d*s + 3*z. Let m = -188 - s. Is m composite?
True
Let g = -5 - -30. Let x be (-30)/g*(-5)/2. Suppose -f + x*f - 59 = o, 0 = 4*f - 4*o - 112. Is f composite?
False
Let p be (-231)/28 + (-1)/(-4). Is (5792/(-6))/p*(4 + -1) prime?
False
Let a(c) = c**3 + 5*c**2 + 2*c. Let s be a(-4). Suppose 4*r = -0*r + s. Suppose -r*q + 323 = -491. Is q prime?
False
Let g(p) = 22*p - 17. Is g(18) a composite number?
False
Suppose -2*w + 1574 = -4*r, 4*w = -3*r + 1573 + 1630. Is w composite?
False
Let c be (5/2)/(8/48). Suppose -5*p = -5*a - 30, 4*a + c = 2*p - p. Is a/((-1)/(-23)*-1) prime?
False
Suppose 3*j = -b + 2*b + 574, 5*b = 5*j - 2910. Is 3/(-6)*(0 + b) composite?
False
Let r be (7/(-14))/(1/(-8268)). Suppose -9*a = -3*a - r. Is a a prime number?
False
Let x = 23 + -22. Is ((-1)/(1/(-2285)))/x prime?
False
Let y = 12024 + 18825. Let v = -44 + 62. Is (-4)/v + y/189 composite?
F