02 - -3955. Is c a prime number?
True
Let u(r) = -r + 3*r + 0*r**2 - 6 - 7*r**2 + 2*r**2. Let t be u(8). Let y = t + 437. Is y a prime number?
True
Let w = -192 - -228. Suppose 192704 = w*o + 25988. Is o prime?
False
Suppose 49*u = 58*u - 36. Suppose n - 23149 = -2*n - j, 30872 = u*n - 2*j. Is n composite?
False
Let r(j) = 3*j**2 + 16*j + 77. Let b(d) = 5*d**2 + 14*d + 78. Let a(w) = 5*b(w) - 4*r(w). Is a(-11) a prime number?
False
Let w be (-13)/((-182)/4) + (-61520)/14. Let f = w + 6490. Suppose -4*k = 4*r - f, k - 515 = -r + 3*k. Is r a prime number?
True
Let r(p) = p**2 - p - 36. Let s be r(7). Suppose 0 = -k - d + 3690, -d + 7381 = -4*k + s*k. Is k prime?
True
Is 2435766/84 - (-54)/(-252) composite?
True
Let w(k) = -105469*k - 9062. Is w(-13) prime?
False
Suppose -3*o + 36 = -261. Suppose -o*z - 3907 = -100*z. Is z a prime number?
True
Suppose 2*g - 9 = 5*l, 6 = -3*g + 3*l + 15. Suppose -100 = -3*n - g*n. Suppose 0 = -4*k - n, -d = 4*d - 2*k - 5055. Is d a prime number?
True
Let n(v) = 12884*v + 1957. Is n(14) prime?
True
Let l(h) = -490*h + 149. Let z be l(-4). Let d = 10924 + z. Is d a composite number?
False
Let u(m) = 785*m - 324. Is u(19) prime?
True
Suppose o - 388887 = b - 73950, -4*o + b + 1259724 = 0. Is o prime?
False
Let n(d) = -86*d**3 + 2*d**2 - 3*d - 8. Let a(w) = w**2 + w + 1. Let r(v) = -3*a(v) - n(v). Is r(2) prime?
True
Suppose -18*b - 8*b = 156. Is -3*(12416/b - 3) composite?
False
Let z(p) = -3*p - 3. Let j be z(-2). Let v = -735 - -739. Suppose -j*l - 79 = -v*l. Is l prime?
True
Suppose -4*l + 7 = -3*z - 18, 0 = 4*l + 4*z - 60. Let a be ((-12)/(-10))/(l/25). Is 5965/15 + (-2)/a prime?
True
Let j(v) = -v - 3. Let o be j(-7). Suppose -3*x - o + 8 = -y, -x = -4*y - 16. Suppose -6*i + 325 + 617 = x. Is i a prime number?
True
Suppose -5*n + 950 = -5*a, -4*n - 20*a + 756 = -22*a. Suppose -b - 3*p = -329, -3*b + 3*p + 751 = -n. Is b a composite number?
False
Let j(n) = 52*n**3 - 23*n**2 - 77*n + 1. Is j(13) composite?
False
Suppose 9231 = 112*h - 115*h. Let j = -1926 - h. Is j composite?
False
Suppose -h - 441327 = -4*m + 276754, m + 3*h = 179504. Is m a composite number?
False
Suppose w = 2*w - 3882. Let y = w + -5650. Let o = -534 - y. Is o prime?
False
Suppose 27*s - 26*s - 48 = 0. Suppose -s = -3*z - 5*z. Suppose -4*o - z*o = -7670. Is o prime?
False
Suppose -12*w + 237 = 1221. Let o = 82 + w. Suppose o = u + u - 3178. Is u prime?
False
Suppose 3*z + 5*x = 17076, 0 = -2*z - 476*x + 477*x + 11410. Is z a composite number?
True
Suppose 2935*k + 7657506 = 2953*k. Is k a prime number?
True
Let g(x) = 8049*x**3 - 14*x**2 + 35*x - 7. Is g(2) a composite number?
False
Let r be -1992 + (-2 - (-24)/4). Let y = r - -911. Let h = -746 - y. Is h a prime number?
True
Let c = -133527 + 2568920. Is c a prime number?
True
Let m = 1110627 - 738230. Is m a prime number?
True
Let g = 547 + -255. Suppose 2*i - 376 = g. Let a = i + -47. Is a prime?
False
Let g be 575/(-5)*24/(-15). Is (-138)/g + (-1007)/(-4) prime?
True
Let s(n) = -3*n**3 - 12*n**2 + 13*n + 9. Suppose p + 3*u + 21 = 0, -3*p + 2*u = -0*u + 96. Let z = 22 + p. Is s(z) prime?
True
Suppose g - 5817 = 4927 + 6055. Is g a prime number?
False
Suppose -2453030 = -4*b - 5*x, -613251 = -b - 382*x + 384*x. Is b prime?
False
Is ((-482)/(-6))/((-8604260)/(-661863) + -13) prime?
False
Let c(h) = h**3 - 4*h**2 + 6*h - 6. Suppose 0*u - u = 5*z + 2, -3*z - 6 = -u. Let l be c(u). Suppose -2*y - j = -1405, l*y + j = -j + 2109. Is y prime?
True
Let g(u) = -7*u**3 - 5*u**2 - 3*u + 1. Let n be g(-2). Let r = 1716 - n. Is r prime?
False
Suppose 4*d - 450 = 3*d. Suppose 12*j - 9 = 9*j. Suppose 4*c = -20, j*q - c - 1712 = -d. Is q a prime number?
True
Let z(f) = 91*f**3 + 5*f - 3. Let g be z(3). Suppose 2*w - 1837 = g. Is w a composite number?
False
Let z = -838 - -840. Suppose 3236 = -z*k + 70642. Is k prime?
True
Let m = 97020 - -65453. Is m a composite number?
False
Suppose 31*x - 51*x = -2848060. Is x prime?
True
Let b(y) = -12*y**2 + 32*y - 41. Let l be b(14). Let o = 14173 - l. Is o prime?
False
Suppose -268*g + 1075553409 = 427*g - 98*g. Is g a composite number?
True
Let o = 587 - 563. Let b(m) = 35*m**2 - 18*m - 87. Is b(o) a prime number?
False
Suppose -4*n - 9804 = i, n + 5*i + 2451 = i. Let g = n + 4273. Is g composite?
True
Suppose -4*l = 0, -2*j - 4*l + 9*l = -3088. Let h = 909 + j. Is h a composite number?
True
Let b(y) = 12*y**3 - 35*y**2 + 69*y + 3. Is b(2) prime?
True
Let w be ((-49)/(-49))/((-2)/(-6)) + 53685. Suppose -16*o + w = 8*o. Is o prime?
True
Let z = -54769 - -81078. Is z prime?
True
Let o = -1202 + 4477. Let r = o + -534. Is r a prime number?
True
Suppose 0 = -3*m + 4*w - 1, 4*m + 4*w - 36 = -0*w. Suppose 3*g - m*k - 1134 = 0, g - 4*k = 124 + 261. Is g a prime number?
True
Let k = -559 + 2442. Is k composite?
True
Suppose 0*c - 28 = -3*c + 4*r, 4*c = -5*r - 4. Suppose c = -z - z. Is z/(-6) - (3534/(-9))/1 composite?
True
Is (81/(-45))/(9/(-15)) + (56059 - -1) a prime number?
False
Let h = -56 + 82. Let b = h + -24. Suppose 0*o + b*o = 5*k + 81, 2*o - 51 = -5*k. Is o prime?
False
Suppose 0 = 2*m - 5*l - 27527, -5*m = -9*l + 7*l - 68849. Is m composite?
True
Let b(m) be the second derivative of -m**4/3 + 2*m**3/3 + m**2 - 9*m. Let g be b(2). Is g/(-18) - (-4974)/9 a composite number?
True
Suppose 69*g = -28*g + 23*g + 370. Let k = -1570 - -2347. Suppose 3*z + 3*l = k, -2*z + 522 = g*l - 4*l. Is z a composite number?
False
Let h(o) = 16*o + 120. Let q(s) = 11*s + 80. Let t(x) = 5*h(x) - 7*q(x). Let n be t(-8). Suppose -n*l = -10*l - 1278. Is l a prime number?
False
Let l(p) = 4*p**2 - 4*p + 2. Let t be l(5). Suppose -f + 112 + t = 0. Is f composite?
True
Suppose -k + 31 = 6. Suppose -5*s - k = -10*s. Suppose s*w = -3*m + 6788, -3*w + m + 4*m = -4066. Is w composite?
True
Suppose -5*k = 5*h - 25, -k - 2*h + 4*h - 1 = 0. Suppose 15 = k*v, v - 5*v = 2*z - 6562. Is z a prime number?
True
Let o = 17232 - -14974. Is (-4)/(-10) + o/10 + -7 prime?
False
Suppose 10*i = 456 + 9664. Let g = i - 533. Is g prime?
True
Suppose 0 = -31*b + 1863307 + 1139074. Is b composite?
False
Is (-1)/(54994864/11510568 + -5 + (-10)/(-45)) a prime number?
True
Let t(w) = 9*w**2 + 2*w + 61. Let f be t(29). Let r = -4255 + f. Is r a prime number?
True
Let w(d) = 4*d**2 + 4*d - 11. Suppose -2*n + h + h + 32 = 0, -3*n + 4*h + 49 = 0. Is w(n) a composite number?
True
Let b be (1*-5)/(11/22). Let d(s) = -275*s - 93. Is d(b) prime?
True
Let c(o) = 6*o**3 + 3*o**2 - 11*o - 13. Let v be c(10). Let z = 10916 - v. Suppose -8*f + z = -f. Is f a prime number?
True
Suppose 608433 = -96*f + 235*f - 118*f. Is f composite?
True
Suppose 4*t = -4, 40*r - 4 = 36*r - 4*t. Let g(z) = 473*z + 786*z - 3 - 2. Is g(r) prime?
False
Suppose -3*d - 2*p - 3277 - 2318 = 0, -p + 5604 = -3*d. Let b = d - -6309. Is b prime?
False
Suppose 9*x - 1 = -j + 12*x, 1 = j + 5*x. Let u be 3/(5/10 + j). Suppose -p = -u*c + 1743 + 160, -4*p + 12 = 0. Is c prime?
True
Suppose -2*o + 718022 = 4*m, o = m - 40879 - 138619. Is m composite?
True
Let g(r) = 205*r**3 - 21*r - 7. Let x be g(7). Suppose x = 4*s + 5*k - 22046, -2*s + 4*k + 46110 = 0. Is s a prime number?
True
Let i(u) = 364*u + 10. Let v(p) = -728*p - 21. Let x(k) = -9*i(k) - 4*v(k). Let h be x(-2). Suppose -h = -5*o + 2003. Is o a prime number?
False
Let q(p) = -5*p + 6. Let g be q(0). Is ((-11851)/(-14))/(3/g) a composite number?
False
Suppose -3*v + 35616 = -34920. Let y(x) = -2*x**2 - 33*x + 18. Let m be y(-17). Is -3*m/(-2)*v/12 a composite number?
False
Let i(g) = 3628*g**3 - 276*g + 1407. Is i(5) a prime number?
True
Let q(z) = -31801*z + 1765. Is q(-4) composite?
False
Let h = 111 - 108. Suppose -9038 = p - h*x, -4*x + 5081 = -p - 3960. Let n = -1966 - p. Is n composite?
True
Let i(z) = -18*z + 17. Let k be i(-4). Let a = 97 - k. Suppose 2987 = a*o - 45. Is o composite?
False
Let o(s) = -12*s - 6. Let r be o(-5). Let n = 57 - r. Suppose -d + 1970 = n*b, 1972 = 8*d - 7*d + 5*b. Is d a prime number?
False
Suppose 0 = 44*i - 2120544 - 3749276. Is i a prime number?
False
Let r = 400 + -232. Suppose n = r + 73. Suppose n + 480 = v. Is v a composite number?
True
Let n be 4/40*2 - 38/(-10). Let h be n/3*9/12*2. Is (-1*(-1)/h)/(5/14990) a prime number?
True
Let w(l) = -41*l**3 - 77*l**2