5 - 222/j a composite number?
True
Let p = -4804 + 2691. Let k = p + 3180. Is k a composite number?
True
Suppose -3*t = 22 - 28. Suppose -l + 3183 = t*l. Is l prime?
True
Let j = -2 - -5. Let p be j/(-2) + (-44)/(-8). Suppose -5*i - k = -813, -p*k = -0*i - 2*i + 334. Is i a prime number?
True
Let g(i) = 5*i + 827. Let n be g(0). Let d = -408 + n. Is d a prime number?
True
Let g be 3/(-6) - 10/(-4). Suppose 0*b + 4 = -j + 4*b, -2*j + 12 = g*b. Suppose -j*y - 839 = -i, i = -0*i - 5*y + 821. Is i a prime number?
False
Let l(w) = 9*w**2 + 2*w + 2. Let f be l(-1). Let s = f + 74. Is s composite?
False
Is (19556/(-48))/((-1)/(-3))*-4 a composite number?
False
Let b be (-227)/2 + ((-39)/2)/(-13). Let i = 881 + b. Is i prime?
True
Suppose -6*c + 2*c = -60. Let r = c + -14. Is r/(-1)*(-25 + 0) a composite number?
True
Suppose 20*m - 68*m = -655008. Is m a composite number?
True
Suppose -3488 = 2*b - 4*b. Suppose -10*f = -10934 + b. Is f prime?
True
Suppose 20 = 20*i - 15*i, -h + 62761 = -i. Is h prime?
False
Is ((-91)/(-3) - -1)*(-43485)/(-130) a prime number?
False
Let p be 339*12/(-54)*(-3)/(-1). Let v = 147 - p. Is v a composite number?
False
Let x(o) = -o**2 + 18*o - 30. Let v be x(16). Suppose 4*g + v*t = 3*g + 1767, 5*g - 3*t - 8796 = 0. Is g a composite number?
True
Suppose 4*i - 101 - 32 = -z, -476 = -4*z - 2*i. Suppose z - 28 = l + g, 4*g = l - 109. Is l prime?
False
Is 812793/51 - ((-847)/(-119) - 7) prime?
True
Let w = 972 - 612. Suppose -28 - 17 = -3*m. Suppose -z + m + 118 = 5*k, 3*z + 2*k - w = 0. Is z composite?
True
Let t(a) = -a + 142. Let s(i) = 3*i - 427. Let c(y) = -3*s(y) - 8*t(y). Let o be c(0). Let w = 306 - o. Is w prime?
False
Suppose k - r + 3*r = 20, 0 = -5*k + 2*r + 88. Suppose 31 = -k*m + 19*m. Is m a prime number?
True
Let o be 279/(-36)*(1 - 5). Suppose -30*n - 505 = -o*n. Is n composite?
True
Suppose -4*i = 2 + 6. Let m be 2/(((-12)/(-207))/i). Is ((-2 - m)*-7)/(-1) composite?
True
Let l(r) = 2*r + 4. Let g be l(4). Is 2/(g/(-1761))*-2 a prime number?
True
Suppose -a = -2, -w + 35280 = -a + 3325. Is w a composite number?
False
Suppose -2*o + 2 = 0, 0*u - 3*u + 8 = 2*o. Let t(g) = 7*g**2 + 13*g**2 + 138*g - 4 + 1 - 135*g. Is t(u) prime?
True
Let i = 1181 + -1159. Is i a composite number?
True
Let p = 3 + 0. Let v be 7/21 - 22/p. Let t(x) = -2*x**3 - 10*x**2 - 3*x. Is t(v) a composite number?
True
Let u(i) = -2*i - 2. Let r be u(-6). Let l(m) = 2*m**2 - 4*m + 17. Is l(r) a composite number?
True
Suppose -3*r - 7*q - 14 = -3*q, -17 = 4*r + 5*q. Suppose 5*f = 3*s - 815, -7*f + r*f = -4*s + 1080. Let d = s + -186. Is d prime?
True
Let z(a) = 4*a - 63. Let u be z(15). Let q(i) be the second derivative of -31*i**3/3 - 3*i**2/2 - i. Is q(u) a prime number?
False
Suppose 1 = -2*a + 11. Let d = 114 - a. Is d composite?
False
Suppose 4*l + 1512 = -0*l. Let q = 541 + l. Is q composite?
False
Let t(k) = k**3 + 12*k**2 + 2*k + 32. Let w be t(-12). Suppose 0 = -w*l + 7*l + 219. Is l a prime number?
False
Let l(q) = q**3 + q**2 + 1. Let y(v) be the second derivative of v**5/10 + 7*v**4/12 - v**3/6 + 7*v**2/2 + v. Let f(a) = 3*l(a) - y(a). Is f(6) prime?
False
Let r = 1455 + -820. Is r composite?
True
Let b(h) = -h**2 - 8*h - 13. Let d be b(-5). Suppose 2*c - 171 = 3*r - d*r, 3*r = 2*c - 173. Is c a prime number?
False
Suppose -s + 19 = 2*r, 3*r + 4*s - 30 = s. Suppose 0 = -6*k + r*k - 381. Is k a prime number?
True
Let y = -28 - -26. Is (-1 + 3)*y/4*-83 composite?
False
Let y = -7 - -4. Let u be (3 - 105/33) + 39/33. Is (u - 2)/(y/159) a prime number?
True
Let s = -23081 + 149346. Is s prime?
False
Let v = 79 - 69. Suppose -1286 - 1784 = -v*u. Is u a composite number?
False
Let l be 20/70 - 32812/(-14). Let n = 3695 - l. Is n prime?
False
Let c be 2 - ((-12)/4 - 191). Suppose -g = -c - 25. Suppose 0 = 4*u - v - 566, 3*u - 208 = 3*v + g. Is u composite?
True
Let g(s) = -s**3 + 10*s**2 - 10*s + 12. Let u be g(9). Let m = u + 12. Suppose 0*l + 3*l = -m, p - 129 = -4*l. Is p composite?
False
Let h = -433 - -3210. Is h a prime number?
True
Suppose 5*g - 150179 = 24976. Is g prime?
False
Suppose 33*d = 309300 - 47478. Is d composite?
True
Let o(r) = -4*r + 22. Let d be o(5). Suppose d*c = 4*t + t - 447, -c = 5*t - 444. Is t prime?
True
Suppose -14*t + 340091 - 37033 = 0. Is t a composite number?
False
Is (8923*3*12/18)/2 a prime number?
True
Let j(v) = -6*v**2 - 2*v + 398. Let k be 1 - 10/(-4)*2. Let q(x) = -7*x**2 - 2*x + 397. Let t(d) = k*j(d) - 5*q(d). Is t(0) a composite number?
True
Let h(z) be the first derivative of 13*z**3/3 - 4*z**2 + 16*z - 23. Is h(7) composite?
True
Is ((-412819)/(-44))/((-6)/(-24)) prime?
True
Let d be 2*1 - 3820/(-2). Let n be 19 + 1199 - (10/(-1))/(-2). Let o = d - n. Is o prime?
False
Suppose 18 = 2*v - 5*u - 8, u = -4. Suppose -5*f + v*f = 2*k - 2672, 5*k - 6676 = -f. Suppose k = -y + 4*y. Is y a prime number?
False
Is (-1 + 2)/(-7 + 193700/27670) a composite number?
False
Suppose -3*o - 117 - 99 = 0. Let m = 676 + -491. Let h = m + o. Is h prime?
True
Suppose 0 = -5*z + 6*z - 1151. Is z a composite number?
False
Suppose k = 3693 - 430. Is k a composite number?
True
Let k = -10 + 7. Let f(n) = 17*n**2 - 2*n - 10. Is f(k) composite?
False
Suppose -4*i - 4*m = -m - 247, -5*m - 271 = -4*i. Suppose b - i = 102. Let p = 21 + b. Is p composite?
True
Let v(q) = -q**2 - 10*q - 3. Suppose -a - 10 = -0*a. Let l be v(a). Is -2 - (-126 - l/(-1)) prime?
True
Suppose -2*u = -2*r - 0*r + 11028, 2*r = 5*u + 11025. Is r a prime number?
False
Let p(n) = -19*n**3 - 2*n**2 + 2*n - 1. Let a be p(1). Let k be -2*1 - a/5. Is 170/12*k*3 prime?
False
Let l(g) be the first derivative of -g**2 + 23/3*g**3 + 9 - 9*g. Is l(-4) composite?
False
Let y be -2*(-4)/(-16)*-2. Let h be ((-30)/(-1))/(2/y). Is 1*h - (-9 - -9) a composite number?
True
Let o(k) = -k**2 - 2*k + 4. Let n be o(-3). Let l be n*(-38)/(-8)*-4. Let q(v) = -3*v + 2. Is q(l) a composite number?
False
Let u = 1 + 2. Suppose -m - 2 = 2*g, -7*m + 44 = -u*m - 5*g. Is (-503 - -1)*m/(-12) a prime number?
True
Let k = -13 - -18. Suppose -k*x - 17 = -4*r + 18, -5*r = 4*x - 13. Is ((-1)/x)/(3/1341) a composite number?
False
Let t(p) be the first derivative of -41*p**2 - 79*p + 7. Is t(-26) a composite number?
False
Suppose -3*r + 391 - 25 = 0. Is r composite?
True
Suppose 16*k = -25*k + 2930065. Is k a prime number?
False
Suppose 265*x - 284*x = -651643. Is x a prime number?
True
Let j(q) = 112*q + 515. Is j(9) a prime number?
True
Suppose k - 34961 = 3*s, s - 34933 = -k - 3*s. Is k prime?
True
Suppose 3*i + h = 8504, -h + 1793 = 5*i - 12377. Is i composite?
False
Let q(x) = -4*x**3 - x - 1. Let k be q(-1). Suppose 2*u + 158 = k*u. Is u a prime number?
True
Let v(q) = -q**3 - 7*q**2 - 2*q + 23. Let h = -91 - -80. Is v(h) composite?
True
Suppose -560 = 14*o - 1498. Let f be (48/(-9))/(2/(-45)). Let h = f - o. Is h a composite number?
False
Suppose 2*q + 34 = 4*w, 4*q = w + 3*q - 9. Let m(f) = 13*f**2 + 10*f + 7. Is m(w) a composite number?
False
Let f be 1*((-2)/4)/((-5)/(-10)). Let x(k) be the third derivative of -11*k**4/4 + k**3/6 + k**2. Is x(f) prime?
True
Let a(c) = -4*c**2 + 0*c**2 + 8 + 5*c**2 + 12*c + 8. Let g be a(-11). Suppose -g*j + 4*j = -91. Is j prime?
False
Suppose -6 - 14 = 5*m, 4*w + 4*m + 4 = 0. Suppose 3960 = 8*i - 3*i - 5*s, w*i + 2*s = 2401. Is i composite?
False
Suppose 4*i + 0 = -x + 29, 5*i = 5*x - 20. Suppose 2*n + 4 + 2 = -2*k, -5*k = -n - x. Suppose 0 = 5*q - 346 + k. Is q a composite number?
True
Let b be -3 - 7/((-14)/12). Is (b/2 - 1)*310 composite?
True
Suppose -4*c - 2*a - 3*a + 26 = 0, c - 12 = -4*a. Suppose 0 = z - 4*z - r + 7, c*r = 3*z - 32. Is (23/z)/((-10)/(-80)) a composite number?
True
Let i(c) = 3*c**3 + 4*c**2 - 6*c + 3. Let r be i(8). Suppose -r = -5*x + 4*p, -5*x + 1720 = 2*p + 3*p. Is x a prime number?
True
Suppose 3*s - 2*d = 65541, -5*s - 3*d + 109257 = d. Is s composite?
True
Is (-461538)/(-135) - 12/15 a prime number?
False
Let l(p) = -9*p - 54. Let f be l(-4). Let q(c) = -7 - 1 - 4 + 1 - 5*c. Is q(f) composite?
False
Suppose 13*u = 173505 - 21704. Is u composite?
False
Let m(j) = -26*j**3 + 3*j**2 + 2*j + 3. Let w be m(6). Is (-15)/6 - w/6 composite?
True
Let i(v) = 61*v + 16. Let d be i(-12). Is (d/(-4))/(2 + 3/(-2)) prime?
Fal