20093. Is v composite?
True
Is 2/(33187/33173 + -1) prime?
False
Let c(t) = 6*t + 73. Is c(9) composite?
False
Suppose -n + 2 = -o + 6*o, -n = 2*o - 2. Let y(f) = f**n + 6*f + 0*f + 16 + 3. Is y(8) composite?
False
Let k(a) = -7*a + 67. Let h be k(9). Suppose 0*i = i - 1055. Suppose 9*t - i = h*t. Is t composite?
False
Suppose 0 = 4*q - 5*q + 5. Suppose -q*x + 50 = -3*s, -3*s + 0*s = 0. Is (x + 2)*(-556)/(-16) prime?
False
Let c(h) = h**2 - 13*h - 2. Let x be c(9). Let g = x - -195. Is g composite?
False
Let h = 1057 + -567. Suppose 14*q = -2 + 2. Suppose q = g - h - 3. Is g prime?
False
Let t(h) = -19*h**3 - 4*h**2 + 4. Let b be t(-4). Let y = 793 + -798. Is y/((-20)/b) - 2 a composite number?
True
Suppose -3*y = i + 9, -5*y + 2 - 17 = 0. Suppose -3*w - 5*p + 1292 + 1916 = i, -2*w + 2117 = -p. Is w prime?
True
Let d(g) = 2*g**3 + 2*g - 2. Let b be d(1). Suppose -3*o + 3*p + 3189 = -1797, 0 = -b*o + 4*p + 3334. Is o prime?
True
Let g be (12/(-8))/(1/(-2)). Suppose -13*j + 15*j = 8. Suppose 4*b - g*k = -j*k + 95, 3*k = -3*b + 60. Is b composite?
True
Let f = 15 - 11. Suppose 25 = 4*a + f*i - i, 5*a + 2*i = 26. Is ((-62)/(-3))/(a/6) a composite number?
False
Let o = 19513 + -5595. Is o a prime number?
False
Suppose -5*o + 2*r - r = -4788, 4*o + 3*r = 3819. Suppose 3*u - 6*u = -o. Is u composite?
True
Suppose -2*x + 31 = -0*x - 3*w, 0 = w - 1. Suppose 4*b - 9 = 3*n, -2*b + x = -n + 2*n. Suppose -610 = -b*u + 4*u. Is u composite?
True
Let b(j) = -311*j - 9. Let y(o) = -1. Let k(i) = b(i) + 3*y(i). Let z be k(11). Let v = -2336 - z. Is v a prime number?
True
Suppose m + 0*n = -3*n + 994, -3960 = -4*m + 4*n. Is m prime?
True
Let p be (3/8)/((-20)/(-160)). Suppose 3*d - 666 = p*k, -891 = -0*d - 4*d + k. Is d prime?
True
Suppose -6*a + 5*a = -14. Suppose 0 = 13*o - a*o + 1361. Is o composite?
False
Let r(x) = -x - 2. Let s be r(-5). Suppose s*b - 2*l - 9 = 5, b + l = 8. Is 6/(-3*b/(-801)) a composite number?
True
Suppose -5*v + v = 476. Let m = 38 - v. Is m prime?
True
Let s(d) = -d**3 + 21*d**2 + 25*d - 18. Let y be s(22). Suppose y = f + 26. Is f a prime number?
False
Let p be ((-1)/3)/((-1)/45). Let l = p - 12. Suppose 0 = l*t - 29 - 28. Is t composite?
False
Let m(x) = -11*x + 166. Let i be m(27). Let w = -1 - -1. Is (2 - i) + w - 0 a composite number?
True
Let s be ((-2)/2)/(5/(-10)). Suppose s*p - 28 - 60 = 0. Suppose -11*f + 7*f = -p. Is f a composite number?
False
Suppose -17*f + 26*f = 273555. Is f a prime number?
False
Let v(w) = -23*w**3 + 19*w**2 + w + 5. Let k(b) = -6*b**3 + 5*b**2 + 1. Let o(l) = -9*k(l) + 2*v(l). Is o(4) a prime number?
True
Suppose 4*g = -5*c - 56, -3 + 0 = -3*g. Is 2/12 + -1 + (-1618)/c prime?
False
Let a = 7030 - 1403. Is a composite?
True
Suppose -4*u = 4*h - 12, -5*h - 3*u - 5 = -8*u. Let k(g) be the second derivative of 7*g**3/3 + 13*g. Is k(h) a composite number?
True
Let q be ((-72069)/6)/(2 + (-15)/6). Suppose -2*u = -6*u + 5*d + q, -5*d = 2*u - 12019. Is u prime?
True
Suppose 10*a + 75 = 5*a. Let p be (-3)/a + 44/5. Suppose -p + 78 = u. Is u a composite number?
True
Let w be ((-4)/(-8))/((-3)/(-498)*1). Suppose 2*o - 681 + w = 0. Is o prime?
False
Let j = -11 - -17. Suppose j*u - 11*u = -4490. Let h = 1747 - u. Is h a prime number?
False
Let d(y) = y**2 + y. Let q(a) = -a**3 + 3*a**2 - 43*a - 2. Let c(o) = -6*d(o) - q(o). Is c(16) composite?
True
Suppose -5*v = -11*v + 2232. Let t = v - 118. Is t a prime number?
False
Suppose -33465 - 16592 = -7*c. Is c a prime number?
True
Let g = -11 + 13. Is (-1)/(g/(-220)*2) composite?
True
Let i(s) = -541*s + 18. Let l(y) = 4*y - 33. Let o be l(7). Is i(o) prime?
False
Let f(d) be the first derivative of 23*d**2/2 + 17*d - 11. Is f(12) a prime number?
True
Suppose -4*y = -6*x + x + 120, -2*x + 48 = -5*y. Suppose x*m - 29*m = -1495. Is m a composite number?
True
Let c(n) = 3*n**3 - 28*n**2 + 88*n + 10. Is c(23) a prime number?
False
Let p(q) = -2*q**2 + 7*q + 24. Let r(m) = -m**2 + 3*m + 12. Let l(g) = -3*p(g) + 5*r(g). Let t be l(12). Suppose -219 = -3*w - t. Is w composite?
False
Let b be (22/3)/((-3)/9). Let j = 229 + -164. Let s = j + b. Is s composite?
False
Let a(v) = 6*v**2 - v. Let q be a(1). Suppose -i = -4*i - 9, o + q*i - 2782 = 0. Is o a composite number?
False
Is ((-1401)/(-3))/(450/(-153) - -3) a composite number?
True
Let b = 3 + -10. Let i(p) = 5 - 5*p**2 + 11*p**2 + 12*p - 4*p**2. Is i(b) a composite number?
False
Suppose -22*k = -1180889 - 258945. Is k a prime number?
True
Suppose 0 = 5*d - 0*d - 6*d. Suppose 2*t + 14 = 7*c - 3*c, t = 5*c - 13. Is 56 - (0 + t - d) prime?
True
Let t = 557 - -1783. Suppose -3*u - z + 1756 = -2*z, -4*u + 2*z + t = 0. Is u prime?
False
Suppose -1 = -p, 3*p + 237 - 14885 = -5*v. Is v composite?
True
Let q(u) = -u**3 + 12*u**2 - 15*u + 13. Is q(8) prime?
True
Let n(m) = 525*m - 736. Is n(19) a prime number?
True
Suppose -3*q = -4*q + 2840. Let x be 4/(-22) + q/(-110). Is (-4)/x + (-100842)/(-78) a composite number?
True
Is -13 + (103204 - -2) + -6 a composite number?
True
Suppose -3*u + 5 - 44 = -3*m, 0 = 2*m + 2*u - 22. Is (4605/m*(0 - -4))/1 a prime number?
False
Suppose 0 = 74*d + 13*d - 1504317. Is d composite?
False
Suppose 2*o - 1349 = o. Is o composite?
True
Suppose q = -2*q. Suppose -3*y - 2*y + 25 = 0. Suppose 0 = -4*t - 0*j + 2*j + 1474, q = -j + y. Is t composite?
True
Let a be 160/30 + 2/(-6). Suppose 267 = -a*u + 4*u. Let l = 401 + u. Is l a composite number?
True
Suppose 34*l + 4970 - 126214 = 0. Is l composite?
True
Let u be 34/51*(-18)/(-4). Suppose -g - 70 - 332 = -2*v, 3*v - u*g = 606. Suppose 3*h - v - 55 = 0. Is h a composite number?
True
Suppose 0 = 5*u + 15, 0 = -0*i - 4*i + 3*u + 17. Suppose 5*n - a = -2*a + 4, -i*n - 2*a = -8. Suppose o + n*o = 753. Is o a composite number?
True
Suppose -38*s + 2202038 = 424284. Is s prime?
False
Suppose 3*g = 4*o - 0*g - 13965, -4*o - 4*g + 13944 = 0. Is o a prime number?
False
Is ((-3)/4)/((-120)/1271840) a prime number?
True
Let p = 318 - 546. Let k = p + 1961. Is k prime?
True
Let m = 8 + -13. Let n(r) = r**2 + 5*r + 2. Let u be n(m). Suppose u*f + 1 = 43. Is f composite?
True
Let m(v) = 527*v**2 + 5*v + 7. Is m(-9) a composite number?
False
Let l be 16/12 - (-9)/(54/4972). Let f = l - 161. Is f composite?
True
Suppose j - 2 = 0, -2*u - j + 5*j + 330 = 0. Suppose 4*y - y - 4*z = 167, 5*z + u = 3*y. Is y a composite number?
False
Let c = 866 + 957. Is c prime?
True
Let u(p) = -p**2 + 16*p - 9. Let d be 9 + -7 + 4/1. Let q be u(d). Let z = 172 - q. Is z a composite number?
True
Let o(y) = -4*y - 5. Let g be o(-3). Suppose -93 + 2970 = g*h. Is h composite?
True
Let z(a) = a**2 - 5*a - 11. Suppose p = 5*p - 28. Let q be z(p). Suppose -4*o + 145 = 3*b, -b - 3*b = q*o - 205. Is b prime?
False
Is 208/468 + 33845/9 a composite number?
False
Is (-13 + -19009)*5/(-10) composite?
False
Let f(w) = 72*w**2 - w + 7. Let h(y) = 144*y**2 - 3*y + 13. Let d(j) = 5*f(j) - 2*h(j). Is d(-4) a composite number?
True
Let d be -10*(3 - 28/8). Suppose 0*f = -n + d*f - 114, -n + 4*f = 117. Let u = 574 + n. Is u prime?
False
Suppose -f = f + 4*m - 12, -3*m + 6 = 0. Suppose -v - f*q + 5 = -13, 5*q - 25 = 0. Is 8438/v - 5/(-20) composite?
True
Suppose 0 = -2*q - 2*q + a + 92, 0 = 5*q + 4*a - 136. Let m = -22 + q. Is m - -39*(-3 - -16) a prime number?
True
Let w be 3 - 1*(0 + 1). Suppose -2*a - 4053 = -5*f, f - w*f - a = -805. Is f composite?
False
Suppose -49 = -n - 47. Suppose -553 = -3*x + n*q, -6*x + 4*q = -2*x - 740. Is x a composite number?
True
Let i(n) = -1485*n - 7. Let g(d) = d**2 - 15*d - 2. Let p be g(15). Is i(p) prime?
True
Suppose 60*o - 59*o = 2633. Is o a prime number?
True
Let x be (-36)/45*50/4. Let o(g) = 17*g**2 + 13*g - 7. Is o(x) a composite number?
True
Let r be 5*1*(1 + 2). Let g = r - 5. Let c(i) = i**2 - 6*i - 1. Is c(g) prime?
False
Let t be (150/4)/(2/8). Suppose -3*r - 90 = -h, 0*r + 5*h - t = 5*r. Is (-8778)/r + (-4)/(-10) a prime number?
True
Suppose 3*j + j - 2602 = 2*s, j = 5*s + 628. Is j composite?
False
Let c(y) = -y**2 - 4*y + 1. Let q be c(-4). Let v be (-3)/(-3) + 0 + q. Suppose -z = v*z - 705. Is z a prime number?
False
Suppose -8553 = -5*w - 2*i, 6842 = -3*w + 7*w + 2*i. Is w composite?
True
Let x = 19747 + 699. Is x a prime number?
False
Let j(h) be