= -2*t, p*t - 13*x - 46915 = -12*x. Is t composite?
True
Let p = -636 - -1666. Let h = 2307 - p. Is h prime?
True
Let t(q) be the first derivative of -q**4/4 + 44*q**3/3 + 13*q**2 + 27*q - 79. Is t(32) a composite number?
False
Is (1/6)/(370/60337380) prime?
True
Let g(q) = -q**2 + 16*q + 28. Suppose -p - 2*t + 24 = 0, 0 = -2*p + 10*t - 5*t + 3. Suppose c + 7 + 1 = o, o = -c + p. Is g(o) prime?
True
Let v = -324626 + 548367. Is v a composite number?
True
Suppose 2*f = 5*h + 26, -3*f - 5*h = -38 - 1. Suppose f*q = 2*q + 17281. Is q a composite number?
False
Suppose -2*w + 17268 + 2974 = -4*v, -v = 5*w - 50583. Suppose w = 3*s - 5*x, -x + 10101 = 3*s + 2*x. Is s a composite number?
True
Let n(v) = -96981*v - 206. Is n(-3) a prime number?
True
Let t = -65349 - -92788. Is t composite?
True
Suppose 21181 = q + 19*d - 18*d, -4*q - d = -84739. Suppose -25*o + 7*o = -q. Is o a prime number?
False
Suppose 0 = 19*b - 9*b - 140. Let y(o) be the first derivative of -o**4/4 + 5*o**3 + 8*o**2 - 19*o + 4. Is y(b) a composite number?
False
Let c = -33 + 47. Is c*(18/4 - -1 - -3) prime?
False
Let g = -504020 - -1053399. Is g composite?
False
Let j = -9 - 5. Let p be 4 - (j/(-35))/((-1)/(-5)). Suppose 0 = 5*g - 3*q - 444, -p*q - 123 = -3*g + 144. Is g composite?
True
Suppose 19820 = -y + 6*y. Suppose 19*s - y = 15*s. Is s prime?
True
Let f be (-1 - 0)*-5*3. Let t = 2268 - 2322. Let w = f - t. Is w a prime number?
False
Let f = -1708 - -1025. Let x be (-4)/(-22) + (-16740)/(-11). Let l = x + f. Is l composite?
False
Let k = 46 - 49. Is (-19)/(k/(-678)*-2) a prime number?
False
Let w = 136031 - -26160. Is w a composite number?
True
Let q be ((-10)/4 - -1)*-2. Let n(h) = -h**3 + 6*h**2 + 4*h - 42. Let i be n(5). Suppose i*l = q*b + 549, -3*l - 2*b = -7*l + 736. Is l a composite number?
True
Suppose -8*q + 85 = -3*q. Suppose -q*t + 10*t = 0. Let k(x) = -6*x + 2921. Is k(t) composite?
True
Suppose -14*w + 115429 = b - 19*w, 2*w - 461628 = -4*b. Is b a composite number?
True
Let n(s) = 7*s**3 + 48*s**2 + 48*s - 41. Is n(22) a prime number?
False
Suppose 10 = -17*d + 19*d. Suppose 2*z = -d*q - z + 2341, -4*q + 1858 = -5*z. Is q a prime number?
True
Let h(r) = -r**2 - 13*r - 20. Let p be h(-11). Suppose -5*w = -2*s + 4, 3*s + 5 - p = 3*w. Is (-79)/(s + 64/22) composite?
True
Suppose 0 = -5*f + 36 + 44. Suppose 2 = 3*a - f. Let w(r) = r**2 + r + 9. Is w(a) composite?
True
Let b(u) = 5377*u**2 + 8*u - 21. Let v be b(2). Let y = -3974 + v. Is y a prime number?
False
Let y = -18364 - -25143. Is y a composite number?
False
Is (((-2584)/(-102))/(-38))/((-1237498)/1237494 + 1) a prime number?
True
Suppose -d - 6389400 = 66*d - 27034043. Is d a composite number?
False
Let x be 14/(-10) + 8741992/280. Suppose -23*l + 52109 = -x. Is l prime?
True
Let l(o) = -o - 10. Let x be l(-9). Let i be (3*(-4 - -3))/x. Suppose -i*s = -g + 137 + 20, -6 = -3*s. Is g a composite number?
False
Suppose q - 5*q - 11 = -b, 0 = 3*q + 6. Suppose 4*g - 3134 - 5579 = -b*u, -3*u + 4355 = 2*g. Is g composite?
False
Suppose 751 = -2*c - 457. Let q = 1334 - -177. Let v = q + c. Is v a prime number?
True
Suppose 2*x - 3*x = -1973. Let t = -64 - -69. Suppose 0 = g + 2*s - 513, -t*g + x = 3*s - 620. Is g composite?
False
Let w = 97379 + -53968. Suppose -13*n + w = 12744. Is n prime?
False
Let d(y) = -3*y + 115. Let q be d(36). Suppose -q*n + 3*n = -17772. Is n prime?
False
Is 81058 + (-1 - (-8)/(-7)*70/20) composite?
True
Let m(n) = n**3 + 24*n**2 - 12*n + 15. Let s(j) = -j**2 + 17*j - 20. Let l be s(15). Is m(l) a composite number?
True
Let q be 13/4 - (8 + (-140)/16). Suppose -2*o + 3*g + 25772 + 29219 = 0, q*o - 4*g - 109992 = 0. Is o a prime number?
False
Let i(h) = 2*h**3 - 16*h**2 + 3*h + 24. Let k(p) = -2*p**3 + 17*p**2 - 3*p - 25. Let g(x) = 3*i(x) + 2*k(x). Is g(9) a prime number?
True
Let d(o) = -30*o**3 - 33*o**2 - 18*o - 46. Is d(-21) composite?
False
Let q(s) = 32*s**2 - 8*s + 209. Let m = 497 - 514. Is q(m) prime?
False
Let r(j) = 2*j - 14. Let x be r(-11). Let n = -32 - x. Suppose -3*k + n*g = 393 - 1394, -2*g - 335 = -k. Is k a composite number?
False
Let b = 35009 - 17122. Is b prime?
False
Let a = 119684 - 85373. Is a a prime number?
False
Is (12 + (-3648)/36)*(-4 + (-251)/4) prime?
False
Suppose -3*l - 15 = -4*d, 0 = 3*d - 6*l + 9*l - 6. Suppose 0 = 5*f + 5*z - 557 - 73568, -59297 = -4*f - d*z. Is f a composite number?
True
Let t = 196432 + -114930. Is t prime?
False
Let f(l) = 117*l + 33. Let t be f(-4). Let h = t + 7376. Is h a prime number?
False
Let l(q) = 89*q**2 + 6*q + 1. Let w be l(-3). Is (-1 - w)*(9/15 + -1) prime?
False
Suppose -168201 = -22*v + 769901. Is v a composite number?
False
Suppose -81101 - 145062 = -7*f. Is f prime?
True
Let v = 32 - -73. Is v/(-35) - 33098*-1 a prime number?
False
Let o = 13790 - -2446. Suppose -w - 4*m = -3251, -5*w + 0*m = m - o. Is w prime?
False
Suppose -12896016 = -65*c + 7773139. Is c a prime number?
True
Let c(t) be the first derivative of 2787*t**2/2 - 10*t - 60. Is c(1) prime?
True
Suppose -3*p - 6 = -p, -l + 2*p - 1383 = 0. Suppose 12*w - 10*w + 404 = 0. Let y = w - l. Is y a composite number?
False
Let p be 0/(-25)*2/6. Let t be p/((-30)/(-5) + -5). Suppose 3*a + t*a = 2853. Is a a prime number?
False
Let m be 4 - ((-5)/(-7) - 6/(-21)). Suppose 3*l = -6*c + 3*c, 0 = -2*l - m*c - 3. Suppose -l*v + 733 = -2*v. Is v a composite number?
False
Let y = 243388 + -130989. Is y composite?
True
Let a(m) = -m + 3*m - 2 - 38. Let x be a(16). Is (-4)/x - (-613)/2 a composite number?
False
Suppose -247979 = -21*j + 20*j - 4*r, -3*r - 1239734 = -5*j. Is j composite?
True
Suppose -72*k - 65071 = -73*k. Is k a composite number?
False
Suppose 4*l - 83472 = 2*j, 5*j - 3*j = 3*l - 62602. Suppose -s = -6*s + l. Is s prime?
False
Is 26/(-1) - (-1583396 - 475) a prime number?
False
Is (-19)/4256*-28 - (-134727)/8 composite?
True
Let j = -38622 + 72515. Is j prime?
True
Let j(g) = -g**3 - 27*g**2 - 53*g - 60. Let z be j(-25). Let x(c) = 201*c - 86. Is x(z) a prime number?
False
Let o(r) = -14*r**2 + 3*r + 13. Let x be o(13). Is x/(-13)*(-2 - 10/(-4)) a composite number?
False
Suppose -c = 5*b + 2233 - 60758, -46804 = -4*b - 4*c. Suppose -3*r - 4*n + b = 0, 0 = 3*r - 39*n + 37*n - 11688. Is r composite?
True
Suppose -5*i = 3*q - 108277 - 145836, 5*i - 4*q = 254106. Is i prime?
False
Suppose 0 = 38*h - 33*h + 2*r - 4, 0 = 2*h - r - 7. Suppose 0*s - 3*s = 5*w - 13053, 5*w + 8702 = h*s. Is s prime?
False
Suppose -66 = -39*d + 51. Suppose 3*r + 0*p - 12386 = 5*p, -d*r = p - 12380. Is r prime?
True
Suppose 15 = -4*t - 13. Let r be (-8)/6 + ((-216258)/18)/t. Suppose 6*l - r = -377. Is l a composite number?
False
Suppose 0 = -250*o - 7510959 + 29813209. Is o a composite number?
False
Let p = -35494 - -74397. Is p composite?
False
Let j(f) = 986*f**2 + 218*f - 3727. Is j(15) a composite number?
False
Let o = -3523 + -4277. Let t = 12293 + o. Is t prime?
True
Suppose 104924 = 5*r + j, 5*j - 20980 = -3*r + 2*r. Suppose 16*q = 11*q - r. Is q/(-6)*10/5 a prime number?
True
Let q = 257598 + 99703. Is q a prime number?
False
Suppose -28830 = -19*z + 45118. Let g = 4627 + z. Is g a composite number?
True
Let o(z) = -z**3 + 5*z**2 - 8*z + 90. Let i be o(6). Is (65652/(-48))/(i/8 + -1) a composite number?
False
Let u(p) = 1173*p + 3. Let f = 248 + -242. Is u(f) composite?
True
Suppose 5*x - 4*n = -n + 41045, 5 = n. Suppose 4*c = 3*s + x, -5*s = c - 4*s - 2053. Is c a composite number?
False
Let s(r) = -8*r - 208*r**2 - 2*r**3 + 200*r**2 - 11 + 2*r**3 - r**3. Let a be s(-7). Is (3802/8)/(a/(-80)*5) a composite number?
False
Suppose -m - 1598 = -34515. Is m a prime number?
True
Let q = 107164 + -73018. Suppose d = 5*g - q - 112571, 0 = 3*g - d - 88031. Is g prime?
False
Let q = -27 - -20. Let t be (q - -7)/(0 - 3). Is 1393 + (10/(-5) - t) composite?
True
Let u(k) = 1562*k**3 - k**2 + 3*k - 3. Suppose 2*j + 134 = 4*r, r - 37 = 7*j - 3*j. Let i = r - 32. Is u(i) a composite number?
True
Suppose 263215 = -59*n + 7978586. Is n a prime number?
True
Suppose -5*u - 208846 = -3*a, 10*a = 13*a - 2*u - 208831. Is a a prime number?
False
Let z be (1 + 0)*-1269*13*-1. Let f be 7729/2 + 60/(-40). Suppose -z = -8*r + f. Is r a composite number?
True
Let w be 8/(-1) + -14*(-8)/28. Is -1 + 4 -