+ (0 - 1) prime?
True
Let m = 2 - -5. Let k(t) = 3*t**3 - 18*t**2 + 10*t - 2. Is k(m) composite?
True
Suppose 6*g = 5*g + 3507. Suppose 0*q = -7*q + g. Is q prime?
False
Suppose 13796 = 4*f - 5*v, 17245 = 5*f - 2*v + 6*v. Is f prime?
True
Suppose 0 = -109*q + 106*q + 15. Suppose 0*h - 2*s = 4*h - 1326, -q*s = -3*h + 988. Is h prime?
True
Suppose 3*k - 6 - 9 = 0, 0 = -t + 3*k - 7. Suppose -t*h + 7*h + 194 = 0. Is h a prime number?
False
Let a(p) = 812*p**2 - 6*p + 3. Let n(f) = -271*f**2 + 2*f - 1. Let h(z) = 4*a(z) + 11*n(z). Let v be h(1). Suppose s - v = -s. Is s a prime number?
False
Let o be 20/35*-3*(-7)/3. Suppose -484 = -o*p + 1080. Is p prime?
False
Suppose 0 = 5*v + v - 6. Suppose -3*x + 2*n + 15 = -v, 5*x - n = 22. Suppose 2*t = x*f - 34, t + 15 = 3*f - 8. Is f a prime number?
False
Is 4*7/112*132908 prime?
False
Let x = -40908 + 82721. Is x a prime number?
True
Let f(m) be the first derivative of 95*m**3/3 + 7*m**2/2 - 7*m + 20. Is f(4) prime?
False
Is (-68228)/(-24) + ((-1)/(-6) - 0) composite?
False
Suppose 0 = 4*p + 2*c - 2668, 16*c - 2668 = -4*p + 15*c. Is p prime?
False
Suppose 6*t - 99736 = 75722. Is t composite?
False
Let s be (-1)/((-3)/(-6)) + (-5)/(-5). Is 123 - (-3 - -7)/s composite?
False
Is (13 - (-123)/(-9))*(-2658)/4 composite?
False
Suppose 2*i = -5*r + 8*r - 6, 4 = 2*r. Suppose 6 = 5*u - 9. Suppose i = -u*m - 0*m + 561. Is m a composite number?
True
Let v = 63 + -45. Suppose -16*d = -v*d. Suppose -f + 424 - 57 = d. Is f composite?
False
Let f = 13135 + -7386. Is f a prime number?
True
Let r = 2 - 5. Let m(n) = 14*n**2 - 7. Is m(r) composite?
True
Let d = 52 - 47. Suppose 377 = -4*x + d*x. Is x a prime number?
False
Suppose 0*u - 5 = -u. Suppose u*k + 3*j + 9 = -7, j = -4*k - 10. Is k/(4/(-258)) - 2 composite?
False
Suppose -136*x = -132*x - 4740. Suppose -x = -2*t - 2*t + 5*m, 5*m = -5. Is t a composite number?
True
Let q be (13 + -15)/((-2)/(-5)). Is (-12)/(q - -1) + 118 a prime number?
False
Let m(y) be the third derivative of -107*y**4/6 - y**3/6 - y**2. Suppose 14 = -3*g + 11. Is m(g) composite?
True
Suppose -6 = -8*q + 2. Is (q/(-2) - 2)/(3/(-1374)) composite?
True
Suppose 0 = -4*h + w + 80574, 8*h - 6*h = -4*w + 40278. Is h a prime number?
True
Suppose -3*z - 48382 = -4*v, -29*z = 4*v - 33*z - 48380. Is v composite?
False
Let y be -2*(-6)/(-4) + -55. Is y*(-4 + (-30)/4) composite?
True
Suppose 9897 = 3*f - d - 2*d, f + 2*d - 3299 = 0. Is f composite?
False
Let g be (35/(-10) - -5)*(-80)/(-6). Let f = -3 + -2. Is (-3)/((g/388)/f) a prime number?
False
Let h(k) = -6*k**3 - 3*k**2 - 6. Let s be h(5). Let v = s - -1447. Let b = -237 + v. Is b a composite number?
False
Let w(t) = -t**2 - 10*t - 12. Let p be w(-8). Suppose -p*c + 290 = -2*c. Is c a composite number?
True
Suppose 0 = -2*d - 10 + 300. Let c = 18 + -15. Suppose -c*u = g - 0*u - d, -5*g = 4*u - 714. Is g composite?
True
Let r = 1887 - -194. Is r a composite number?
False
Let c = -7759 + 11036. Is c a composite number?
True
Let z(d) = -d + 11. Suppose -48 = -4*u + 4*w, -44 = -4*u + w + w. Let k be z(u). Is 369*((-12)/(-9) - k) a prime number?
False
Let w(l) = l**2 - 6*l - 6. Let i be w(10). Let d = 111 - i. Is d a composite number?
True
Let q = -488 - -786. Suppose 3*z = z + q. Is z composite?
False
Let p(g) = 2*g - 2. Let z be p(1). Suppose z = -5*t + 2*t. Suppose -4*y = k - 119, t*k = -3*k - 4*y + 357. Is k prime?
False
Suppose 4*q - 5*q + 3 = 0. Suppose q*v = 513 + 132. Is v composite?
True
Suppose v - 18 = -5*w, -42 + 10 = -5*v + 4*w. Is ((-742)/v)/(21/(-84)) a composite number?
True
Suppose 15 = 5*z - 4*n + 3*n, 37 = 3*z + 5*n. Suppose 0 = -2*b + s + 12, -3*b = -4*b + z*s + 13. Suppose -b*i = -145 + 30. Is i prime?
True
Let b(y) = 37*y**2 + 4*y + 4. Let l(p) = 37*p**2 + 5*p + 5. Let z(t) = 6*b(t) - 5*l(t). Let g = -2 - -1. Is z(g) a composite number?
False
Suppose 19*d - 16*d + 9 = 0. Is (-8 + -3)*(-4 + d) a prime number?
False
Suppose -2*u + 4 = -b, 0 = -0*b + 2*b + 4*u - 8. Suppose 4*c = -b*c. Suppose -m + 224 - 21 = c. Is m composite?
True
Suppose -b - 10 + 19 = 0. Suppose b*j - j - 872 = 0. Is j a prime number?
True
Suppose 5*q - 2*q - 12 = 0. Suppose -v - 2*d + 4397 = -6*v, q*v + 3511 = -5*d. Is v/(-6) + (-9)/6 prime?
False
Let b(x) = x**2 + 10*x - 14. Let l be b(-12). Let z = l + -6. Suppose 5*r = k + 200, 146 = z*r + 2*k - 0*k. Is r a prime number?
False
Suppose v - 361 = -4*b - 54, -v + 5*b + 280 = 0. Is v a prime number?
False
Is ((-117)/12)/((-111)/66452) composite?
True
Suppose 5816 = -l + 6*l - o, -2*l + 2330 = -4*o. Suppose -9*p + 9376 = -l. Is p prime?
True
Let z be 1*-4*(-314)/8. Let l be 194/4 - 22/44. Let j = z - l. Is j composite?
False
Suppose 281*m - 253*m - 165844 = 0. Is m a prime number?
True
Let n = 489 + 308. Is n prime?
True
Let a be 14145/9 + 3 + (-1)/(-3). Let o = -458 + a. Is o a composite number?
False
Suppose -2*a = 3*a - 16070. Suppose 4*p = -2*y + 1486, -3*y - 3*p + a = 1000. Is y a prime number?
True
Suppose -4*f = -0*f + 12. Is 1/(f/(-9)) + (867 - 1) a prime number?
False
Suppose 0 = d - 5*o - 10 - 6, -27 = -2*d + 5*o. Suppose -4*r + 3*j = -1307, -d = 4*j + 9. Is r prime?
False
Suppose 3*k - 9 = -5*t, -2*k - 21 = -5*t + k. Suppose 5*m - 16021 = 2*h, -5*h - t = -4*h. Is m composite?
False
Let y = -154 - -150. Let c = 16 + -10. Is 2485/21 - y/c composite?
True
Suppose 8*a - 6*a = 42. Let n be (7/(a/(-9)))/(-1). Suppose -n*i = 17 - 308. Is i composite?
False
Let y be (164/12)/((-1)/(-48)). Let n = y + -381. Let i = n - 22. Is i a composite number?
True
Let t(q) = q**3 - q**2 + 1. Let a be t(-2). Let p = -7 - a. Suppose -y + 1617 = p*w - 2*y, -20 = 4*y. Is w prime?
False
Let i(o) be the second derivative of -o**5/20 - o**4/3 + o**3 + 2*o**2 - 7*o. Let j be i(-5). Is 1 + 2 - -6 - j prime?
False
Suppose u - 2 = -0*u. Suppose s = 3*k + 35, -6*s = -s + u*k - 124. Is 9695/65 - 4/s a prime number?
True
Suppose u - 5*u + 25 = 3*f, -5*u = f - 23. Suppose n + 1 = -f, -5*b - 5*n + 1995 = 0. Is b a composite number?
True
Suppose 3*x - 8*x + 4*g + 16877 = 0, 0 = -3*x + 4*g + 10123. Is x composite?
True
Suppose -2*u - 9 = -3*h - 0*h, -2*u = -2*h + 6. Let v(d) = -1. Let w(x) = -x + 38. Let y(m) = 3*v(m) + w(m). Is y(u) a composite number?
True
Let u = 6600 + -4627. Suppose 8*r - u = -4*f + 3*r, -3*r - 1003 = -2*f. Is f composite?
True
Let u be 6736 - (1 - (-4)/4). Let t be 10/(-45) - u/(-9). Let d = t + -353. Is d prime?
False
Suppose -q - 3*y + 28 = 0, -q + y + 21 = -15. Let k = 923 - q. Is k composite?
True
Let b(t) = 0 - 1 + 361*t - 1 + 6. Let c(l) = 32850*l + 365. Let p(z) = 365*b(z) - 4*c(z). Is p(1) prime?
False
Suppose 3*r = r + 9180. Suppose g - p = -4*g + 4620, 5*g = -5*p + r. Is g a prime number?
False
Suppose -8 = 3*g - 7*g. Suppose g*x = -4*s + 258, -s - 194 + 68 = -x. Is x a prime number?
True
Suppose -2*n + 0*n + 48 = 0. Suppose s = 2*s, -4*b = 3*s - n. Suppose -b = -2*y + 68. Is y a composite number?
False
Suppose 3*t = -2*z + 2449, z = -0*z - 2*t + 1223. Is z a composite number?
False
Is (-42)/(-63)*(7566/4 + -3) composite?
False
Suppose 6 = -2*s - 0*s, -4*t + 5*s + 15 = 0. Suppose 4*o - 6092 = 4*d, -3*o + t*o - 3*d + 4569 = 0. Is o a composite number?
False
Let k(p) be the third derivative of -p**6/120 + p**5/12 + p**4/24 + 19*p**3/6 + 5*p**2. Is k(-6) prime?
True
Let j(f) = -13*f**3 + 4*f**2 - 9*f - 5. Let p(h) = 7*h**3 - 2*h**2 + 5*h + 3. Let z(i) = -6*j(i) - 11*p(i). Suppose 0*t = 5*t - 20. Is z(t) a prime number?
False
Let g be (6/12)/((-3)/(-846)). Let b = g - 14. Is b composite?
False
Let q(w) = 7*w**2 - 35*w - 57. Is q(-23) composite?
False
Suppose 3*o + 7*s - 4*s = 3, 0 = -2*o + 4*s + 20. Suppose -5*c + c + 198 = -3*f, o*f - 110 = -2*c. Is c composite?
True
Suppose 12 = 3*r, -3*i - 2*r + 3*r = -26. Let g = i + -3. Is g a composite number?
False
Let l(u) = 130*u**3 + 8*u**2 + 17*u - 7. Let i be l(7). Suppose -6*v - 8*v = -i. Is v prime?
True
Suppose 3*a = 5*a. Suppose a = 4*l + l - 40. Suppose r - l - 29 = 0. Is r a composite number?
False
Let d = 12 + -9. Let y be 1 - (-4 + d) - 108. Let h = 183 + y. Is h a composite number?
True
Let v(s) be the second derivative of -s**8/6720 + s**7/180 + s**6/72 - s**5/15 + 5*s**4/6 - 2*s. Let o(i) be the third derivative of v(i). Is o(13) composite?
True
Let l = 34 -