06) a prime number?
True
Let r(n) = -189*n + 6. Let a be r(7). Let f = -850 - a. Is f prime?
True
Let q(l) be the second derivative of -l**4/12 + 345*l**2 + 9*l. Let o be q(0). Let g = 1243 - o. Is g a prime number?
False
Is (13/39)/(1/(9121 + 2)) prime?
True
Suppose -4*j + u + 7 = -0*u, -2*u = -2*j - 4. Suppose -j*p = -6*p + 1893. Is p a composite number?
False
Suppose -3*d + 3*d = 6*d. Suppose -b = a - 2*b - 324, d = 3*b - 9. Is a a composite number?
True
Suppose -3*g - 3*o + 5064 = 0, -5570 = -5*g + 4*o + 2861. Is g prime?
False
Suppose -5*h + 5*d + 2285 = 0, 0 = -4*h - d + 1180 + 643. Suppose f = a + h, -f - 2*a + 452 = -a. Is f a composite number?
True
Suppose 5*c + 6517 = -2*c. Let l = -144 - c. Is l a composite number?
False
Let t(s) = 6*s**2 + 0*s**3 - 1 - 5*s**3 - 8*s + 6*s**3. Suppose 5*r = 2*p + 22, -3*r - 4*p - p + 7 = 0. Is t(r) prime?
True
Let c(x) be the first derivative of -29*x**2 + 10*x + 2. Let g be c(-5). Suppose -5*k = 2*o + 3*o - g, o - 119 = -2*k. Is k a prime number?
True
Suppose -670713 = -21*d + 69558. Is d composite?
False
Suppose 15*s - 9*s = -18. Is (s - -4) + 4 + 536 a composite number?
False
Let m(h) = h**3 - 11*h**2 + 17*h + 34. Is m(15) a prime number?
False
Suppose 15*g - 2609 = 2206. Is g composite?
True
Let y be -2 + (5 + -2 - -4). Suppose 0*p - 869 = -4*j - y*p, 20 = 4*p. Is j composite?
False
Suppose 2*o + 14770 = 4*i, 2*i + 4*o - 11424 = -4054. Is i a composite number?
False
Suppose 21763 = 4*h - 25177. Is h prime?
False
Let d = 4512 - 275. Is d a prime number?
False
Suppose 0 = -5*j - 3*r + 143632, -3*j + 3*r + 135244 - 49060 = 0. Is j a prime number?
False
Let q(h) = -h**3 - 4*h**2 - h + 5. Let r be q(-4). Suppose -14*j + r*j = -265. Suppose 295 = 2*g - 5*a, -2*g + j = 5*a - 232. Is g composite?
True
Let k be (6/9)/((-1)/(-6)). Let d be 8/(-10)*10/k. Is d - 723/6*-6 a composite number?
True
Suppose 5*s - 9*s + 4 = 0. Let w(n) = 1716*n**2 + n. Is w(s) prime?
False
Suppose 10 = -2*b + 8. Let d = b + -2. Is -11*(d - -1)/2 composite?
False
Suppose k - 5*d = 332 + 304, 0 = -3*d - 3. Is k a prime number?
True
Let h be 1/(4/(-108)) + 1. Let p = h + 23. Let v = 6 - p. Is v a composite number?
True
Let l = 1058 + -349. Is l prime?
True
Let h(a) = 4*a + 13. Let p(l) = 4*l + 13. Let c(r) = -5*h(r) + 4*p(r). Is c(-5) a prime number?
True
Let k be (5 - (3 - 0))*4. Suppose k*c = 9*c - 557. Is c composite?
False
Let y be (2 - 3)/1*(6 - 0). Is (20064/21 - 2) + y/14 a composite number?
False
Suppose 0 = 13*y - 214821 + 38684. Is y composite?
True
Suppose 4105 - 940 = 5*y. Suppose -2*g + g + 4*f + y = 0, 2*g + 3*f - 1310 = 0. Is g a prime number?
False
Suppose 5*i - 2*f = 64, -2*f + 6 = -0*f. Let m = i + 29. Is m composite?
False
Let x(h) = h - 10. Let p be x(15). Suppose l - z = 102 + 506, 4*l - p*z = 2427. Is l a prime number?
True
Is (1400 - 6) + (-3)/(-6)*10 composite?
False
Suppose 0 = 18*m - 69946 - 122816. Is m prime?
True
Suppose 0 = -45*i + 97143 - 18888. Is i composite?
True
Is 220/22 + (8993 - 4) prime?
True
Let s = -4 - -21. Suppose 19 + s = 6*a. Suppose -a = -2*h + 16. Is h composite?
False
Let k be 300/(-10)*1/((-3)/10). Let h = 183 - k. Is h prime?
True
Suppose 0 = -19*v - 30*v + 94619. Is v composite?
False
Let j(v) = -5*v**2 - 3*v. Let h be j(-3). Is 886/8 - 9/h a prime number?
False
Suppose -9 = -0*x - 3*x. Suppose x*y - 672 - 1242 = 0. Let m = -249 + y. Is m a prime number?
True
Is 5/((-15)/(-6))*(-997)/(-2) a composite number?
False
Let c(k) = k + 10. Let s be c(-9). Let n be (12/4 - 7)*s. Is 23 - (4 + (n - -2)) a prime number?
False
Let a be ((-1324)/6)/(5 - 1773/351). Let c = a + -2402. Is c a prime number?
True
Suppose 5*p + 4 = 6*p. Suppose -s + 6 = 2*k, 11 = -0*k - k - p*s. Let l = 116 - k. Is l a composite number?
True
Let i = -7 - -6. Let z(w) = -w**3 - w**2 + w. Let j(f) = -f**2 + f - 1. Let b(x) = i*z(x) - j(x). Is b(2) a prime number?
True
Let t(y) = -82*y + 1. Let l(k) = -81*k. Let b(p) = -4*p**3 + p**2 + p. Let r be b(-1). Let j(w) = r*t(w) - 5*l(w). Is j(3) prime?
False
Let u(y) = -5*y + 377. Let h(i) = -i - 2. Let c(t) = -6*h(t) + u(t). Is c(0) prime?
True
Let g(r) = 178*r**2 - 3*r + 4. Let p be (-12)/(-6)*(-12)/(-8). Is g(p) a composite number?
False
Suppose u + 7 - 13 = 0. Is u/9 - (-5812)/12 composite?
True
Let t(w) = -5*w - 2. Suppose 2*b + 6 = 4. Let k be t(b). Suppose 0 = r - 4*l - 74, k*l + 2*l = 3*r - 222. Is r a prime number?
False
Let q(b) = -21*b**2 - 9*b - 9. Let i be q(-8). Let t = -834 - i. Is t composite?
True
Let h be (-3)/2 - (-117)/(-18). Let o be 69/21 + h/28. Suppose -n - 63 = -3*k, o*n = -4*k + n + 84. Is k a composite number?
True
Let f(q) = 5*q**3 - 2*q**2 - 8*q + 6. Suppose 4*n = -17 + 13. Let l be 1/(n - (-24)/20). Is f(l) prime?
True
Let x(u) be the first derivative of 7/2*u**2 - 4*u + 4. Is x(5) a prime number?
True
Let f(t) = 3*t**2 + 5*t + 6. Let y = 17 + -21. Is f(y) a composite number?
True
Let z be -2 + -18743 + (-2)/(-4)*-6. Is 4/(-10) + z/(-20) - 3 a composite number?
True
Suppose 5*j = n - 14 + 43, -4*j + 4*n + 36 = 0. Suppose 5*f + 30 = x, -3*x - j*f = -2*x - 20. Is x a composite number?
True
Suppose 5 = 2*t - 9. Suppose -t*y + 2730 - 343 = 0. Is y a composite number?
True
Suppose -3817 = 2*d - 3*s, -3*d + d = 3*s + 3787. Let v = 10 + -19. Is (-2)/9 + d/v composite?
False
Let k(s) = 22*s + 5. Let p be k(3). Let y = -18 + p. Is y composite?
False
Let g(v) = -27*v + 44. Let u(f) = -54*f + 88. Let w(m) = -5*g(m) + 2*u(m). Is w(9) prime?
True
Suppose -5*f - 2*v = 1 - 17, 3*v - 9 = 0. Suppose -5*q + 7*m = 4*m - 533, 4*m - 208 = -f*q. Is q prime?
False
Let r(m) = m**2 - m + 10. Suppose -2 = b + i + 5, -3*i + 42 = -4*b. Let l be r(b). Suppose 998 - l = 2*s. Is s composite?
False
Is (-4)/((-80)/(-8995))*-4 composite?
True
Let r(n) = -n**3 - 14*n**2 - 14*n - 8. Let x(s) = 5*s + 2. Let o be x(-3). Let b be r(o). Is (-5)/(b/(-117)) + -4 prime?
True
Suppose 0 = -5*n - 5*v - 35, -n + v - 15 = -0*v. Let p be (12 + n)*6/2. Suppose -p*o - 3*o + 762 = 0. Is o a composite number?
False
Suppose -d - 25 = -4*x, -d - 2*d - 3*x = 30. Let p(u) = -u**3 - 8*u**2 + 31*u - 15. Is p(d) composite?
True
Let a(x) = 102*x**2 - 6*x - 8. Let d be a(-5). Suppose 517 = -3*k + d. Suppose 0 = 3*r - b + 3*b - 2059, 0 = -r - b + k. Is r prime?
False
Let u = 332 + -163. Is u prime?
False
Let h(o) = 7*o**2 - 3. Suppose 0 = -5*w - 20. Let m be h(w). Let t = m - 63. Is t prime?
False
Let b = 1 + 3. Suppose -2*f = -b*h + 504 - 3706, -2*h = 2*f - 3208. Is f composite?
True
Let m(p) = -225*p + 112. Is m(-13) composite?
False
Let k(o) = -50*o**3 - 6*o**2 - 26*o + 13. Is k(-5) a composite number?
True
Let x(w) = 347*w**3 - 8*w**2 + w - 7. Is x(3) a prime number?
True
Suppose -k + 2*r + 830 = 2*k, -1383 = -5*k + 3*r. Let y(c) = 5 - k*c - 117*c - 6 + 3. Is y(-1) composite?
True
Let f = -26 + 18. Let b be -6 - f - (0 - 65). Suppose 3*n - b = 2*n. Is n composite?
False
Let f = 5409 + -8010. Let n = f + 6272. Is n composite?
False
Let m(h) = h**3 - 12*h**2 + 14*h - 11. Let k be m(11). Suppose 2*p = 4, 0 = 2*z - 4*z - 4*p + k. Suppose -z*q + 385 = -2*q. Is q a composite number?
True
Is ((2 - 10) + 7)*-2579 a prime number?
True
Suppose -a = -5*a + r + 277, -4*a + 271 = 5*r. Is 61890/230 + (-6)/a composite?
False
Let z(g) be the second derivative of 3*g**4/2 - 2*g**3/3 - 3*g**2/2 + 24*g. Suppose -4 - 16 = 4*m. Is z(m) prime?
True
Is ((-130926)/(-24))/((-1)/(-4)) a composite number?
False
Suppose 2101 = 5*y + 2*x, -408 = -y - 4*x + 23. Is y a composite number?
False
Let c = -14 - -14. Suppose 0 = -i + 5*p + 776, 4*i = -c*p - 4*p + 3080. Is i a composite number?
True
Let a = 49 - -1054. Let l = 1582 - a. Is l a composite number?
False
Let d = -3 - -4. Let c be (-286)/88 - (-3)/(-4). Is (c/2 - -213)/d prime?
True
Let a = -8 + 13. Suppose -1265 = -0*b + a*b. Is (-1 + b)/(-9 - -7) a prime number?
True
Is (6 - 669694)/(-8) - -2*1 a prime number?
False
Let k(y) = -9 + 2*y**2 - 15 + y + 20. Let j = -17 + 10. Is k(j) prime?
False
Suppose i - 15 = -5. Is 28185/i*(-4)/(-6) a composite number?
False
Let t be ((-1900)/6)/(1/(-3)). Suppose 8*h + 905 + 3423 = 0. Let f = h + t. Is f a composite number?
False
Let x(d) = d**2 - 3*d - 2. Let u be x(3). Is u/(-14) + 32814/63 prime?
True
Suppose -h - 18 = -7*h. Is 43/h - (-