text: 54, 2*h + 2*v + 0*v = 3434. Is h prime?
  True
  Suppose 2*f - 40 = -6*f. Suppose -f = -3*d + 8*d. Is d/(22/13343*(-2)/4) a prime number?
  True
  Let w = 848758 + -414749. Is w prime?
  True
  Suppose -169*j + 205*j = 204084. Is j prime?
  True
  Suppose 0 = 4*v + w - 208, 224 = 4*v + 6*w - w. Let b = v + -49. Suppose -r + b*o + 411 = -0*r, -3 = -o. Is r a prime number?
  False
  Let i(m) = -m**2 + 13*m + 3. Let g = -32 - -29. Let l = 12 + g. Is i(l) composite?
  True
  Suppose -310*t - 13961123 + 16489781 = -25387772. Is t composite?
  False
  Suppose -17 = -9*w - 143. Let m be (-145)/(-45) + 4/(-18) + w. Is m/(-22)*2*127 a prime number?
  True
  Let j(i) = -56*i - 35. Let k be j(-6). Suppose 0 = -9*u + 5314 - k. Suppose l - 1678 = -u. Is l composite?
  True
  Suppose -907 - 2867 = -14*a + 22084. Is a a composite number?
  False
  Let a = -45 + 49. Suppose 7*j - 8913 = a*j. Suppose j = 3*h + 1102. Is h a prime number?
  False
  Let c(j) be the second derivative of -j**6/360 - 7*j**5/40 + 7*j**4/24 - 4*j**3/3 + 6*j. Let z(l) be the second derivative of c(l). Is z(-9) a prime number?
  False
  Let n(h) = 7512*h + 113. Is n(8) a composite number?
  False
  Let n be -11 + (4 + -9 - -10) - -1121. Let v be (-4124)/10 - (-4)/10. Let k = v + n. Is k prime?
  False
  Suppose 12 + 15 = 9*t. Let l(j) = 454*j**3 - 7*j**2 + 8*j + 7. Is l(t) a prime number?
  False
  Let j(w) = -2648*w + 841. Is j(-62) composite?
  True
  Let b(w) = -575*w**3 - w**2 + 55*w + 166. Is b(-5) a composite number?
  False
  Suppose -3*s - 5*j - 29508 = 5414, 0 = -s + 5*j - 11654. Let c be 6/20 + 4249357/(-590). Let l = c - s. Is l composite?
  True
  Let j = 471 - 463. Let w(g) = 2507*g + 381. Is w(j) prime?
  False
  Suppose u = -0*u + 11288 + 15803. Is u composite?
  False
  Suppose -4*g - 16 = -4*u, 0*u + 2 = 2*u + g. Let r be ((-10)/7)/(u/(-14)). Suppose 0 = -4*o + p + r, 2*o + p = -0*o + 2. Is o prime?
  True
  Suppose -2*i + 8 = -0*i. Suppose -1057 = -i*p + h, 511 = 2*p + h + 2*h. Suppose -436 = -n + p. Is n a prime number?
  False
  Suppose -48 - 216 = -11*n. Suppose u = -4*r + 16, -4*r + n = 4*u - u. Suppose 5*s - 4*q - 3735 = 0, -r*s = s + 3*q - 2957. Is s a composite number?
  False
  Let s(p) = 2*p**2 - 23*p + 61. Let l be s(6). Let a(k) = -362*k**3 + 17*k**2 - 8. Is a(l) a composite number?
  False
  Let d(x) = 1420*x**2 + x + 6. Let b be d(2). Let u = b + -2869. Is u composite?
  False
  Suppose -3*h + 33 = h - 3*i, 2*i + 26 = 3*h. Suppose h*d - 35790 = 2*d. Is d a composite number?
  True
  Suppose -237*r = -235*r. Suppose -h + 3*h + 5*q - 42261 = r, h - 21132 = -q. Is h a prime number?
  False
  Let c = -152101 - -289256. Is c composite?
  True
  Let j be 1*0/(-5) - (4 - 6). Suppose -f - 4*c + 795 + 2690 = 0, -j*f = 4*c - 6982. Is f a prime number?
  False
  Suppose r + 2481674 = 5*z, 0 = -2*z + r + 901394 + 91281. Is z prime?
  True
  Suppose -3*g - 173 - 76 = 0. Let w = -78 - g. Suppose -w*x - 4*n + 4273 = 0, -2*x + 4*n + 581 = -1117. Is x composite?
  False
  Suppose -2*i - u + 133268 = 0, 2*i - 66641 = i + 3*u. Is i composite?
  True
  Let p = -47387 + 33226. Let j = p - -25058. Is j a prime number?
  False
  Let k = 119 - 107. Suppose -k = 66*s - 69*s. Is (-16)/s + 0 + 547 a prime number?
  False
  Let h(c) = -c - 10. Let i be h(-13). Suppose 0 = 3*r + 4*o + 39 + 3, -r - 1 = -i*o. Is (955/r)/(3/(-6)) a prime number?
  True
  Let f = -571 + 577. Let q(c) = 5*c**2 - 11*c + 28. Let z(n) = -14*n**2 + 32*n - 84. Let t(b) = 7*q(b) + 2*z(b). Is t(f) prime?
  False
  Suppose -2*b = -4*x + 2*x + 1556, 2332 = 3*x - 5*b. Suppose 263 = c - x. Suppose k - 2189 = -2*v + c, 5*k + 5*v = 16180. Is k a composite number?
  True
  Suppose -41850 + 9650 = 2*x. Let v = x - -22621. Is v a prime number?
  True
  Let t(c) = 4*c**3 + 1. Let o be t(1). Suppose -o*p - 3131 = -3*u, 2976 = 2*u - p + 891. Suppose 3*x = 305 + u. Is x prime?
  True
  Let j = 2683 + -740. Is j a prime number?
  False
  Let z(o) = -o**3 - 4*o**2 - 4*o - 4. Let s be z(-3). Let v(g) = 62*g + 973*g**2 - 4 + 406*g**2 + 5 - 61*g. Is v(s) a composite number?
  True
  Is (140/(-42))/(4/(-97590)) + 12/2 a composite number?
  False
  Suppose 87*r + 5 = -82. Let a(n) = -n**3 + n**2 - 2*n + 2. Let w be a(2). Is ((-1)/r)/((w - -2)/(-1036)) prime?
  False
  Let h(f) be the first derivative of -5*f**2/2 - 79*f - 1. Is h(-26) composite?
  True
  Suppose -406*x = -412*x + 2124. Is ((-16)/12)/(-1 + 350/x) composite?
  True
  Let q(m) = 11*m + 3*m**2 - 31 - 14*m - 17*m. Is q(-12) composite?
  False
  Let v(g) = 10*g**2 + 14*g - 5. Let d be (-2)/7 + 1920/(-140). Is v(d) a prime number?
  True
  Suppose 56 = -8*v + v. Is 6 + (-4)/v*6842 a composite number?
  True
  Let k be (-422*2/(-8))/(33/(-132)). Is 5/(40/k)*1*-4 a prime number?
  True
  Let x(c) = 2370*c**2 + 14*c + 143. Is x(-6) prime?
  False
  Let o be -8 + 3 + 1 - -11. Suppose -67 = -4*g - j, -o*g + 2*g = j - 84. Suppose 14*r = g*r - 3243. Is r a prime number?
  False
  Let v be 186/(-10) + (-3)/(-5). Let u be -6*3/v - (1 - -9). Is (u/6)/3 + (-9585)/(-6) a composite number?
  False
  Let m = 71 - 68. Suppose m*x + 2 = x, -2*k + 5*x = -981. Let q = 699 - k. Is q composite?
  False
  Let o(t) = 7076*t**2 - 24*t + 53. Let y be o(2). Let f = 2058 + y. Is f prime?
  True
  Let z = 544594 + -388747. Is z a composite number?
  True
  Suppose 2*f + 11*f = -23738. Let s = f + 2781. Is s a prime number?
  False
  Let i(r) = 8219*r**2 + 163*r + 11. Is i(5) a prime number?
  False
  Let j(n) be the third derivative of -n**5/60 - 7*n**4/24 + 8*n**2. Let d be j(-7). Suppose 4*g - z - 5035 = -d*z, 0 = -5*g + 3*z + 6292. Is g prime?
  True
  Suppose -24*w - 13*w + 10476513 = 0. Suppose -s = -28*s + w. Is s a prime number?
  True
  Suppose 3*w + v - 479392 = 0, -2*v - 319608 = -54*w + 52*w. Is w a prime number?
  True
  Let u = 34299 + 8654. Is u a composite number?
  False
  Is ((-8238086)/(-18))/((-61)/(-549)) a prime number?
  True
  Let z = 1021508 - -1233963. Is z a composite number?
  True
  Let d(w) = -189*w - 47. Let m = 300 - 306. Is d(m) a composite number?
  False
  Suppose -5*r - z = -3699 - 6544, 0 = -2*z - 4. Let h(m) = m**2 - 7*m + 11. Let u be h(3). Is (3 - 1)*u + r a composite number?
  True
  Suppose 1338*h - 8470049 = 1315*h. Is h composite?
  True
  Let p = -18696 + 390647. Is p prime?
  True
  Let w(o) = 11104*o**2 - 42*o + 13. Is w(-2) prime?
  False
  Suppose 0 = -2*w + w + 5794. Let q = -2368 + w. Is (-1)/(-3) + -2 + q/9 prime?
  True
  Let a be 4 + 1 - (-7 - -10). Suppose 5*l - 35711 = -2*b, -a*b + 3*l - 2309 + 37980 = 0. Is b a prime number?
  False
  Suppose y + 4*y = -5*m - 240, -200 = 4*m - 4*y. Let d be (-8)/(-14) + (3 - (-77)/m). Suppose 5*k + d*a = 1881, -5*a + 7*a + 1512 = 4*k. Is k a prime number?
  False
  Let t(m) = -345*m - 67. Let x(b) = -517*b - 102. Let z(q) = -7*t(q) + 5*x(q). Is z(-8) prime?
  True
  Suppose -6*c - 2 + 20 = 0. Let j(g) = -g**3 + 5*g**2 - 3*g - 3. Let q be j(c). Suppose -q*d + 15620 = -2*d + 2*u, 4*d = -5*u + 15608. Is d a composite number?
  False
  Let j(r) = 181253*r**3 + 3*r**2 + 113*r - 116. Is j(1) composite?
  False
  Suppose -3*b + 1483075 = 5*i - 774892, -24 = 4*b. Is i a prime number?
  False
  Is 6 + (-25)/((-75)/(-18)) - -11149 a prime number?
  True
  Let q(i) be the third derivative of -17*i**2 + 41/24*i**4 + 5/2*i**3 + 0 + 0*i. Is q(11) composite?
  True
  Let c = -176 + 246. Is (-2)/5*c/56*-17482 a prime number?
  True
  Let f(d) = 505*d - 1. Let y be f(3). Suppose 5*c = -3*h + 1147, 4*h - 4*c + 3*c = y. Suppose 0 = -5*r + 4*r + h. Is r a prime number?
  True
  Let q(f) = -136*f**2 - 19*f - 33. Let x(l) = 68*l**2 + 9*l + 16. Suppose -b = 8*b - 18. Let j(u) = b*q(u) + 5*x(u). Is j(-5) composite?
  True
  Let z be (729/(-12))/(84/(-30016)). Suppose 5*g - 2*l = 54259, l = -2*g + 4*l + z. Is g a prime number?
  False
  Let g(v) = 37*v**2 - v - 17. Let p be g(-7). Suppose 5*n - p = -5*h + 3*n, 3*h + 3*n - 1080 = 0. Let u = h + -176. Is u a composite number?
  True
  Let i(f) = 12*f**3 - 3*f**2 - 3*f + 8. Let m be i(6). Let v = m + 10953. Is v prime?
  False
  Let h(v) = 1558*v**3 + 3*v**2 + 3*v + 3. Let i(b) = 1720*b**3 + 8 + 8*b + 2297*b**3 + 8*b**2 + 656*b**3. Let t(z) = 8*h(z) - 3*i(z). Is t(-1) prime?
  False
  Let l(u) = -25426*u + 5163. Is l(-31) composite?
  True
  Let q(z) = 96*z**2 - z - 4. Let j(t) = -t**3 - 2*t**2 - 5*t - 5. Let c be j(-3). Let s = -22 + c. Is q(s) composite?
  False
  Let q = 121519 - 1798. Suppose 17*y + 4*y - q = 0. Is y a prime number?
  True
  Let b(t) = 15*t + 14. Suppose -10 = 2*f, 20 = -p - 4*f + 2. Suppose 2*n - 30 = 4