9. Is g prime?
True
Suppose 64*z - 38322060 = -3*z + 7*z. Is z composite?
True
Suppose -675 = 5*k - 2*k. Let n be (-20 + 3)/(1*(-1)/28). Let u = k + n. Is u a prime number?
True
Let a = -59 + 62. Suppose d + 28 = a*l, 4 = l + 2*d - 3. Suppose 3832 = l*q - q. Is q a composite number?
False
Let u(i) = 15*i + 17. Let o be u(-1). Is 12*(2 - -217) - (-1 - o) prime?
False
Let f(l) = -7*l**2 + 904*l - 289. Is f(78) a composite number?
True
Let g(o) = -86 + 145 - 4*o**3 - 3*o - o**2 - o - 81. Is g(-5) a composite number?
True
Suppose -3*s = -4 + 13. Let m be (1766/s)/1 + 14/21. Let j = m + 1475. Is j prime?
True
Let c be (42/3)/(-2)*1. Let n(s) = -298*s + 15. Is n(c) prime?
False
Suppose 0 = 14*a + 1693964 - 1400262 - 3716100. Is a a composite number?
False
Let r(j) = -6*j**3 - 9*j**2 + 3*j + 11. Let n = 199 - 204. Is r(n) a composite number?
False
Let n(l) be the third derivative of -l**5/10 - l**4/12 - l**3/3 - 38*l**2. Let k be n(-1). Is ((-27)/k - 4) + (-3508)/(-8) composite?
False
Let a(t) = 29*t + 1249. Is a(-12) a prime number?
False
Let v(l) = -427*l**2 + 17*l - 61. Let q be v(-11). Let k = 77732 + q. Is k a composite number?
True
Suppose -253684 = -26*f + 1447990. Is f a composite number?
False
Let q(m) = -m**3 + 3*m**2 - m. Let r be q(2). Suppose 4*k - 2 = r*t, 3*k - 7*k + 12 = 0. Let l(f) = 13*f**2 + f + 1. Is l(t) prime?
True
Suppose 3*j + 32297 = 2*m, 0 = -5*m + j + 71315 + 9447. Is m a prime number?
False
Let l be 1/(-2*5/35310). Let x = 7642 + l. Is x a composite number?
False
Is (0 - 3)*(-3 + -25*15230)/3 a composite number?
False
Suppose 121 = -v + 126. Suppose -2*k + 3*f + 8540 = 0, 21333 = v*k - 0*f + f. Is k composite?
True
Let m(y) be the third derivative of y**6/120 - y**5/30 + 43*y**4/24 + 11*y**3/6 - y**2 + 169. Is m(17) a prime number?
True
Suppose -3*v + 29 = -4*k, -2*v - 16 = 5*k + 3. Suppose 4*q = -3*m, 4*q - v*m = 2*m - 32. Is (-9)/3*37/q a composite number?
False
Let x(p) be the first derivative of -67*p**4/4 - 2*p**3 - 11*p**2/2 - 35*p + 62. Is x(-3) a prime number?
True
Suppose 10*i = 5*i + 5*b + 10745, -5*i - 5*b + 10735 = 0. Suppose i - 178 = 2*g. Let v = g - 542. Is v a prime number?
True
Let d(x) = -819*x + 143. Is d(-24) a composite number?
True
Let l(g) = 3*g**2 - 3*g + 8. Let i(c) = -2*c - 9 + c - 3*c**2 + 3*c. Let o(q) = 3*i(q) + 4*l(q). Is o(8) composite?
False
Suppose 0 = 235*j - 133458754 - 196953361. Is j a prime number?
False
Let t be (-24)/36 + (-142058)/(-3). Is (-9)/6*t/(-36)*1 prime?
True
Let t(l) = -l**3 - l**2 + 2*l + 20. Let a be t(0). Suppose -10*w - a = -14*w. Suppose -2*z - 746 = -4*y + 856, -z = w*y - 2020. Is y composite?
True
Suppose 2*t + 10 = 4*t. Suppose 449 = b + 3*f, -t*b + 2784 - 539 = -f. Is b composite?
False
Suppose 7*k + 89 = 110. Suppose 5838 = 2*u - 4*g, -4*u - g + 11700 = -k*g. Is u prime?
True
Suppose -4*u + 52075 = -186*n + 187*n, -4*n + u = -208402. Is n a composite number?
True
Suppose 0*z - 4*z + 10370 = s, 3*z + 51827 = 5*s. Let w = s - 4743. Is w composite?
False
Let r = -61 - -70. Suppose 2*g = -r*g + 78133. Is g composite?
False
Suppose -5*o - 32 = -o. Let s = o + 13. Is (-8)/3*((-27570)/8)/s composite?
True
Suppose -701 - 5459 = -10*n. Suppose -n = -3*l + 4517. Is l a composite number?
True
Let b(f) = 3*f - 1. Let q be b(1). Suppose -295 = -36*i - 43. Suppose i*l = 4*l + q*a + 6285, 5*l - 10475 = -5*a. Is l prime?
False
Is (-51 + 24)/27*-1*(2 + 55577) a prime number?
True
Suppose -5803 = -3*b + 12260. Suppose 0 = 3*t - 0*t + b. Is ((-2)/(-4))/(1 - t/(-2010)) a prime number?
False
Let f(c) = -18 + 7 + 843*c + 7 + 11. Is f(2) a prime number?
True
Suppose 8*r = 4 - 20. Let c(s) = 493*s**2 - s - 5. Is c(r) prime?
False
Let m be 375*(2/2 + 6/9). Suppose -k = m - 3128. Is k a prime number?
True
Suppose -2*q - 49 + 10 = 5*g, -2*q - 3 = g. Let m(t) = 141*t - 42. Let c(j) = -47*j + 14. Let h(y) = 7*c(y) + 2*m(y). Is h(g) prime?
False
Let v(s) = -s**2 + 14*s - 22. Let f be v(12). Let w be ((-78)/12)/((-1)/10). Suppose -f*z + z = -w. Is z prime?
False
Let u = -12410 + 57939. Is u a prime number?
False
Suppose -2*n = 5*x - 30, 2*x + 5*n - 32 = 1. Suppose 3*z = -z - 2*w + 3946, 2*z - 1958 = -x*w. Is z composite?
True
Let c be (3561/9)/((-5)/(-270)). Suppose -8*n + 10*n = -4*a + c, -3*n = -2*a + 10687. Is a a prime number?
False
Let q(f) = -14*f**2 + 33*f. Let n(l) = -14*l**2 + 32*l - 1. Let i(v) = 4*n(v) - 5*q(v). Is i(9) a composite number?
False
Suppose 12*j = -2*j + 28. Let q(v) = 115*v - 15. Let z(p) = -115*p + 16. Let c(b) = 7*q(b) + 6*z(b). Is c(j) a prime number?
False
Let s(l) = 3*l**3 - 3*l**2 + l + 1. Let g be s(1). Suppose -2419 = -o - 4*a, g*o - a = 3*o - 2413. Is o prime?
True
Let o = -42 - -45. Suppose 3*z - 13 = o*g + 2*g, -4*g - 7 = z. Is ((-85 - 1)/(26/(-91)))/z a prime number?
False
Suppose -4124886 - 7762996 = -38*a. Is a composite?
False
Suppose 3 = -0*c + c. Let m(g) = 8*g - g**c + 2*g + 0*g**3 + 4*g - 6 - 8*g**2. Is m(-11) prime?
False
Suppose -4*r + 0*r + 26 = 2*j, 1 = -j. Suppose 3*i + 426 = r*d - 5*d, 5*d = -4*i - 568. Let c = -57 - i. Is c a composite number?
True
Let c(s) = -10*s - 15. Let x be c(-3). Let u(k) = 60*k**2 + 37*k - 32. Is u(x) composite?
True
Let n = 2290096 + -941889. Is n composite?
True
Let r(u) = -u**3 - 2*u + 14. Let v be r(0). Suppose -v = 10*a - 3*a. Let o(j) = -9*j**3 + j**2 - j + 1. Is o(a) a prime number?
True
Suppose -70 - 100 = -10*m. Suppose m*v - 14*v = 1029. Suppose n - 3 = 0, 4*b = 3*b - 2*n + v. Is b a prime number?
True
Let l(j) = 3*j**2 + 3*j**2 - j**2 + 2 - 2*j**2 - 3*j. Let n be l(10). Let r = n + -185. Is r a prime number?
False
Suppose -9451 = -2*r + 2*i + 3*i, 4*i - 14165 = -3*r. Let k = -2830 + r. Is k composite?
True
Suppose 0 = -325*o + 329*o + 4*i - 291968, 2*o + 3*i = 145975. Is o prime?
False
Let y(l) = 5 + 107*l**3 - 209*l**2 - 20*l**3 + 197*l**2. Is y(4) composite?
False
Suppose 4*f - 3*m = 23, 6*m + 10 = f + m. Suppose -3344 - 1481 = -v + 3*h, 0 = -v - f*h + 4817. Is v a prime number?
False
Suppose 73*g + 76*g + 41*g = 92966810. Is g a prime number?
True
Suppose 3*p = -5*z + 49, -z - 5 + 4 = -3*p. Suppose u - 2*o + z = 3*o, 3*o - 9 = 0. Is -2 + (115 - (4 + (3 - u))) a composite number?
False
Let o(s) = s**3 + 51*s**2 + 2*s + 120. Let f be o(-51). Suppose 16*u + 11925 = 3*y + f*u, 3967 = y - 2*u. Is y a prime number?
False
Is 42/(-63)*12 + 120627 prime?
True
Suppose 3*p - 3*t + 30 = 0, 5*p - t + 56 = -2*t. Let n(j) = 6*j**2 + 4*j - 27. Let s be n(p). Suppose s - 153 = 2*f. Is f a composite number?
False
Is (35443 - 14) + (-70)/7 a prime number?
True
Let w(b) = 102*b**2 - 20*b + 11. Let u be 37/7 - 28/98. Is w(u) a prime number?
False
Let k(b) = b + 1685. Let y(o) = -o**3 - 10*o**2 + 10*o - 11. Let f be y(-11). Suppose 0 = -5*t + 5*z, 3*t + f*z = -5*z. Is k(t) composite?
True
Let i = -62575 - -90803. Is (i/(-10))/((-4)/10) a composite number?
False
Suppose 0 = 7*h + 49378 - 270949. Suppose -h = -3*r - 8613. Suppose -2*a = z - 1534, 5*z + a = -4*a + r. Is z a composite number?
True
Let h = 2377171 - 1412030. Is h composite?
True
Let v be ((-4)/(-8))/(2/(-32)). Let y be ((-65)/(-52))/(1/v). Is y/(-45) + (-6109)/(-9) composite?
True
Let q(j) = 28*j**2 + 7*j + 8. Suppose -62*w - 30 = -57*w. Let p be q(w). Suppose 0 = -53*z + 55*z - p. Is z composite?
False
Let w = 59610 + -39801. Is (8 - w)*1/(-1) a composite number?
False
Let m(o) = -o**3 + o**2 + o + 5. Let d be m(0). Suppose -d*u = 3*i - 2131, -3*u + i + 1275 = 4*i. Let p = -97 + u. Is p composite?
False
Let r(y) = 2*y**3 - 230*y**2 - 321*y + 61. Is r(135) prime?
False
Let r = 182872 - -53409. Suppose 0 = -26*o + 140173 + r. Is o a composite number?
False
Let a = -295 + 291. Is a/(-26) + 84273/39 prime?
True
Let a(v) be the first derivative of 465*v**3 + v**2 + v + 113. Is a(2) a prime number?
False
Let n(q) = 9*q**2 + 69*q - 17. Let c be n(7). Let u = 6 + c. Is u prime?
False
Let s(j) = -225*j**2 + 7*j - 91. Let t be s(-12). Let v = t + 48848. Is v a composite number?
False
Let b(m) be the third derivative of m**6/60 + m**5/40 - 7*m**4/24 + m**3 - 12*m**2. Let j(y) be the first derivative of b(y). Is j(10) a composite number?
True
Let i be ((-2)/4)/(2/(-228)). Let w = -57 + i. Suppose 0 = -3*d + 9, w*y - y - 5*d + 1132 = 0. Is y a composite number?
False
Let 