r, 0 = b*a - 3*r - 1261. Is a composite?
True
Let g(j) be the third derivative of -j**6/120 - j**5/60 + j**4/12 - j**3/6 - j**2. Let a be (6/(-9))/(4/18). Is g(a) a prime number?
True
Suppose 4*o - 46 - 78 = 0. Is o a prime number?
True
Let o be (-3)/18 + 2281/6. Suppose -2*f = 3*f + o. Let w = 135 - f. Is w a prime number?
True
Let m(c) = 2*c - 16. Let v be m(8). Let x(z) = z**3 + 8*z**2 + 7*z + 2. Let f be x(-7). Suppose 3*t - p = 378, v = t + f*p - 119 - 14. Is t composite?
False
Let g(j) = 3*j**2 - 1. Let b be g(1). Let m(l) = 2 - l - 3*l**b - 4*l + 0 - 3 - 3*l**3. Is m(-4) prime?
True
Let o = 12635 - 7041. Is o a prime number?
False
Let o(b) = 82*b + 37. Let w(z) = 246*z + 111. Let p(v) = -7*o(v) + 2*w(v). Is p(-15) prime?
True
Let u(f) = 18*f**3 - 19*f**2 + 28*f - 52. Is u(15) a composite number?
False
Let j(g) = 2*g**3 - 8*g**2 + 3*g - 12. Let y be j(6). Let q = 1132 + y. Is q a prime number?
False
Let x(t) = 6*t**2 - 2*t + 7. Suppose -14 = -5*y + 51. Suppose 0 = -4*s - y - 11. Is x(s) a composite number?
True
Let t = -29 - -33. Suppose t*n + 3112 = -r - 0*r, 3*n = -3*r - 2325. Let b = n + 1428. Is b a prime number?
False
Let w = 3633 - 1142. Is w a composite number?
True
Suppose 54*y = 45*y + 33867. Is y composite?
True
Let v be 57/12 - (-1)/4. Let d be v/2*8/10. Suppose -d*q + y = -179, 5*y - 9 = 2*y. Is q a prime number?
False
Let s = 11 + 0. Let z be (5 - s)*4/(-6). Suppose z*h - 630 = 2*y + 2454, -2*h + 4*y = -1554. Is h composite?
False
Let x = -25 + 37. Is (2545/(-20))/((-3)/x) composite?
False
Suppose 4*x - d + 48 = 0, -x - 2*x + 3*d = 45. Let l = x - -13. Suppose -l*o = -3559 + 761. Is o a prime number?
True
Let o(b) be the second derivative of b**6/360 - b**5/12 + b**4/2 - 2*b. Let q(i) be the third derivative of o(i). Is q(7) composite?
True
Suppose 13*i = 14*i - 142. Suppose 0 = -3*q + 2*q + i. Suppose k + 19 = q. Is k composite?
True
Let s = 67305 + -46838. Is s prime?
False
Let i(j) = 5*j**2 - 11*j - 15. Let w(g) = -2*g**2 + 6*g + 7. Let t(x) = 4*i(x) + 9*w(x). Is t(-7) a composite number?
False
Let m = -670 + 982. Let i be 1/(-2) - 1311/38. Let r = m + i. Is r composite?
False
Let r(k) = 126*k**2 - 24*k - 85. Is r(-12) a composite number?
True
Suppose 2*j - 183 = k, -3*k - 940 = -4*j - 387. Let i = k + 305. Is i a prime number?
False
Let n(r) = -7*r**2 + 6*r. Let u(f) = f**2 - f - 1. Let k(h) = -n(h) - 5*u(h). Is k(-8) composite?
True
Let b(j) = -3*j - 25. Let x be b(-9). Suppose x*t - 3*a - 505 = 784, -15 = -5*a. Is t prime?
False
Let t(m) = -m + 5. Let v be t(3). Suppose v*g = 4*o + 2502, -3763 = -3*g + 2*o + 2*o. Is g prime?
False
Let t(j) = -j + 10 + 1 - 13*j. Is t(-7) a composite number?
False
Is (1 + 7561/2)/(162/540) a composite number?
True
Let h(d) = 22*d - 2. Let q be h(1). Let v be 4/(12/9) - q. Is (-2)/v + (-33930)/(-306) prime?
False
Let p(l) be the second derivative of -l**5/20 - l**3/6 + 291*l**2/2 + 10*l. Is p(0) prime?
False
Let v = 38 - 37. Is (v/2)/(3/6)*1511 a prime number?
True
Let l be (-22750)/15 + (-2 - 8/(-3)). Is (l/(-10))/(8/20) prime?
True
Let x be (11/(-33))/(1/(-21)). Let i(m) = -m**3 + 7*m**2 + 21*m - 4. Is i(x) composite?
True
Let k(i) = 125*i**2 + 2. Let g be (-5)/2*112/(-70). Let c be k(g). Suppose -223 - c = -5*w. Is w a prime number?
False
Let v be (28 - 22)*2/3. Suppose a - 5*t = -v + 230, 0 = -t + 5. Is a composite?
False
Suppose 7816 = 7*x - 843. Is x a composite number?
False
Let v = 243 - 112. Is v a prime number?
True
Let m(r) = -72*r**2 - 3*r - 3. Let h be m(4). Let u = -514 - h. Is u a prime number?
True
Let s be 1/((12/(-2715))/(-4)). Let a = 1390 - s. Is a a prime number?
False
Let o = -1219 + 1716. Suppose 5002 = 5*l + o. Suppose l = -2*f + 3*f. Is f a prime number?
False
Let g(o) = -o + 13. Let c be g(15). Is (0 + -2 - -5) + (-1572)/c composite?
True
Let r(s) = 59*s**2 - 6*s - 11. Let l(f) = 20*f**2 - 2*f - 4. Let g(w) = -17*l(w) + 6*r(w). Let u be g(5). Let b = 641 - u. Is b prime?
False
Suppose 15550 + 744 = b. Is b a prime number?
False
Let a = 1142 + -531. Suppose a - 6278 = -3*j. Is j prime?
True
Suppose 0 = -32*c - 240927 + 933631. Is c a prime number?
True
Let j = 19 + -31. Let s = 17 + j. Suppose 0*i + 9 = i - 2*p, 25 = s*p. Is i prime?
True
Let o = 616 + 744. Let w = -621 + o. Is w composite?
False
Let d(b) be the third derivative of 7/2*b**3 + 0 + 8*b**2 - 133/12*b**4 + 0*b. Is d(-7) prime?
False
Let j be (-1371)/15*(-30)/6. Let k = j - 194. Is k a composite number?
False
Let k(z) = -z + 9. Let a be k(4). Suppose -a*b = -6427 + 1482. Is b a prime number?
False
Let l = -3335 + 5944. Is l prime?
True
Let b = 34 + -32. Is 1*b + (-1)/((-5)/4525) composite?
False
Let q(g) be the second derivative of g**4/3 + g**3/3 - g**2/2 - g. Is q(-10) prime?
True
Let g(v) = -v**2 - 20*v - 10. Let w be g(-16). Let h = -1 + w. Is h composite?
False
Suppose 0*h - h = -2, 3*h - 1 = -p. Let b(c) = -89*c**2 + 15*c + 2. Let v(k) = 44*k**2 - 8*k - 1. Let s(z) = -6*b(z) - 11*v(z). Is s(p) prime?
True
Is ((-28)/(-42))/(4/18222) prime?
True
Let q = 36 + -32. Is (-1142)/(-6) - q/(-6) composite?
False
Let i be (15/10)/((-3)/(-14)). Let z = i - 4. Suppose 7*s - z*s = 636. Is s composite?
True
Let b(x) = 2*x + 8. Let a be b(-3). Suppose -a*i + 464 = -4950. Suppose -3*g - 580 = -i. Is g composite?
False
Let d(y) = 13*y - 1. Let s be d(-6). Let u be (27/18)/(-3)*-6. Is -1 + u + -4 - s a composite number?
True
Let a(y) = -2*y**3 + 2*y**2 - 2*y + 9. Let h be a(5). Suppose -5*v + 3607 = d, -3*v - 2*v = 4*d - 3598. Let n = h + v. Is n composite?
False
Is (4333/(-4))/(23/(-92)) prime?
False
Suppose -4*j - 20 = 6*f - 2*f, -5*f - 2*j = 16. Is ((-6)/9)/(f/1623) a prime number?
True
Suppose -5*b + 25 = -5*j + 2*j, -5*b - j + 5 = 0. Suppose 5*k - 3401 = 3*c, -3*k + 2035 = -c + b*c. Is k a composite number?
True
Let t be 3/5 + (-297)/(-55). Let g be ((-2)/t)/((-3)/45). Suppose -2*o + 47 + 78 = g*z, -3*z - o + 74 = 0. Is z a prime number?
True
Suppose 8 = -3*n + 23. Let g be (0 + 2)/(-2)*-277. Suppose -m + n*x + 291 = -g, 3*x = -9. Is m a composite number?
True
Let f = -13249 - -34952. Is f composite?
True
Suppose 0 = -2*v - 3*v + 3*w + 29493, 23588 = 4*v - 4*w. Suppose 0*y - 7*y = -v. Is y a composite number?
True
Suppose -233548 = -25*n - 57573. Is n a composite number?
False
Suppose 0 = -9*p - p + 160570. Is p a composite number?
False
Suppose n = 3 - 1. Let i(d) = -2*d**2 + 4*d. Let y be i(n). Suppose 0 = -2*z - y*z + g + 137, -4*z = -5*g - 259. Is z a composite number?
False
Suppose -71*t = -15*t - 2494352. Is t prime?
False
Let q(f) be the first derivative of 3*f**2 + 7*f + 1. Let m = -502 + 512. Is q(m) composite?
False
Suppose 1232*y - 1220*y = 434244. Is y a composite number?
False
Let n be (-28)/(-12) + (-2)/6. Suppose q - 3*o - 16 = 4, -o - 15 = -n*q. Suppose -2*a = 4*m - 30 - 284, -q*m = -3*a - 398. Is m a composite number?
False
Let v be (8/(-14))/(2/(-7)). Suppose 171 = v*r + r. Suppose -3*x = 3*n - 0*n - r, 0 = -5*x. Is n prime?
True
Let p = 30 + -30. Let z(j) = j + 629. Is z(p) a composite number?
True
Let y(n) = 3*n**2 + 7*n + 1. Let k be y(-3). Let c(f) = 81*f + 6. Let u(t) = 27*t + 2. Let d(g) = 6*c(g) - 17*u(g). Is d(k) prime?
True
Is 8 + (48/80)/(2/119870) composite?
False
Let i be (-78)/4*(-74)/3. Suppose 5*b - 732 = -4*p, -3*p - 2*b + 6*b = -518. Suppose i + p = q. Is q composite?
False
Let b be ((-40)/24)/(2/(-6)). Suppose -225 = -5*q - 5*s, 0 = 5*s - b - 10. Suppose -4*f - 3*p + 1664 = 0, f = -p - q + 457. Is f a composite number?
False
Let m(o) = -13*o - 3. Let i(x) = -19*x - 4. Let s(u) = -5*i(u) + 7*m(u). Let t be s(-1). Let k = t - -132. Is k a prime number?
True
Is (21 + -8350)/((-2)/2) prime?
True
Let m(p) = -p**3 - 1. Let k(u) = 6*u**3 - u**2 + 3*u - 618. Let y(g) = -k(g) - 5*m(g). Is y(0) a composite number?
True
Let k be 30/25*(-10)/(-4). Suppose 0 = -c + k*u + 2225, 4*c + 4*u - 6*u - 8940 = 0. Is c/15 - 24/180 prime?
True
Suppose -3*n = 2*h - 8187 - 12116, -h = 2*n - 10149. Is h composite?
False
Suppose 0 = 23*t - 24*t - 3. Is -20*(t + 268/(-16)) a composite number?
True
Suppose -24*m = -23*m - 4. Let s(f) = 117*f + 3. Is s(m) a composite number?
True
Let n = 5 - 11. Let z(l) = 4*l**2 - 8*l - 13. Is z(n) prime?
True
Let v(z) = 656*z + 133. Is v(8) a composite number?
Fals