6*h - 8*h - 13*h. Let x be m(6). Let v = 63 - x. Is v a composite number?
False
Let i(p) = 4*p**2 + 2*p + 7. Let l(g) = 12*g**2 + 5*g + 21. Let h(n) = 7*i(n) - 2*l(n). Suppose 15*k + 64 = -11. Is h(k) a composite number?
True
Suppose 5 = 3*u + 4*s - 61, -2*u + 48 = 4*s. Suppose 13*d - 16*d = -u. Is 1338/12 - 3/d composite?
True
Let n = -333 - -3926. Is n a composite number?
False
Suppose d = -d - 3*f + 9, 3*d - 2*f - 7 = 0. Suppose -5*o = -x - 19, d = 2*o + 1. Is (-104 + x)/(-1 + -1) a composite number?
False
Suppose 2*l - 84 = 5*m - 6*m, 3*m = -3*l + 132. Is (1*(0 - 1))/(l/(-13040)) prime?
False
Let r(k) = k**2 - 6*k - 8. Let t be r(7). Let n be -24*t*(-1)/(-3). Is 21/1 - (-8 + n) prime?
False
Suppose -c + 207 + 8952 = -3*b, -3*b - 12 = 0. Is c a prime number?
False
Is 138/(-253) + 380/11 prime?
False
Suppose -9*w + 5*w = 0, -4*w = -4*n + 4164. Is n prime?
False
Suppose -5*q - 4*j - 4784 = 0, -2*j = -q + 3*j - 980. Let c = q + 2077. Is c a prime number?
True
Let a = 1 + 1. Suppose n - 281 = -a*j, 3*j - 5*n - 304 = 85. Suppose 0*y - j = -2*y. Is y a composite number?
True
Let n = 3571 + 1692. Is n composite?
True
Let u(i) = 833*i**2 + 10*i + 98. Is u(-5) a composite number?
False
Suppose -i - 3*i - 16 = 0, -3*i - 16 = -c. Suppose 7589 = 3*g - y, -3615 + 13755 = 4*g + c*y. Is g a prime number?
True
Suppose -5*l + 0*l = j - 40756, -3*l + 24450 = -3*j. Is l/26*4/6 a prime number?
False
Suppose -k - 25 = -9. Let l = 54 + k. Is l prime?
False
Let l = 105 - -374. Is l a composite number?
False
Let j = 186014 + -96537. Is j composite?
False
Let l(f) = 6*f**2 - 13*f + 20. Suppose 3*x = -25 - 8. Is l(x) prime?
False
Let v = -2 + 4. Let j be v/11 + (-5958)/(-22). Let p = j - 108. Is p prime?
True
Let v(p) = -351*p**3 - 2*p**2 - 5*p + 7. Is v(-3) a prime number?
False
Is (-6985)/220*(-4)/1 prime?
True
Suppose -19 = -9*w + 17. Suppose -w*b - 5*m + 2002 = 0, -2*b - 5*m + 176 + 820 = 0. Is b a prime number?
True
Suppose 2*o + 2*o + 60 = 0. Let i be 2444/10 - (-6)/o. Suppose -106 = -2*t + b, 4*t = 4*b + i - 24. Is t a composite number?
True
Suppose -2*a - 9616 = -3*n, -4*a = -19*n + 16*n + 9626. Is n a prime number?
False
Suppose -3516 - 10996 = -16*p. Is p prime?
True
Suppose -2*s + 22965 = -14309. Is s prime?
True
Suppose -13*h + 97837 + 3940 = 0. Is h a composite number?
False
Suppose -15 = -3*s, -q = -0*q - 3*s - 11000. Is q composite?
True
Let x(f) = 125*f**2 + 2*f - 3. Let u be x(-3). Suppose -s = 2*s - u. Suppose -5*n + 360 + s = 2*d, 3*n + 377 = d. Is d composite?
True
Let n(j) = 310*j**2 - 4*j - 5. Is n(-2) a composite number?
True
Is 7 + 1 + -6 + 8579 a composite number?
False
Suppose 111377 - 8111 = 18*d. Is d a prime number?
True
Let o(y) = -y**3 + 9*y**2 - 15*y - 3. Let m be o(7). Is ((-3)/m)/(4/8)*485 composite?
True
Let q(n) = n**2 - 4*n + 7. Let l be q(4). Let c be (-14)/(-49) - (-26)/l. Suppose -53 = -c*v + 119. Is v prime?
True
Is (6682/(-8))/((-42)/168) prime?
False
Let h(q) = 502*q**2 + 9*q + 10. Is h(5) a composite number?
True
Suppose 2*x = -2*k + 18310, k = -5*x + 3*x + 18306. Is x composite?
False
Let x(f) = 17*f**3 - f**2. Let c be x(1). Suppose 0 = -3*r - 15, 3*j - 5*r - 18 - c = 0. Suppose m = -z + 19 + 20, -j*m - 23 = -z. Is z a composite number?
True
Suppose 4*n + 0*n - 8 = 0. Let z(p) = -6 + 11*p + 6 - 9 - p**n. Is z(7) composite?
False
Suppose 0*s + 5*q + 4649 = 2*s, -2*q = -10. Suppose 4*k - s = k. Is k composite?
True
Let i = 30 - 30. Suppose -2*g + 5*b + 1617 = i, 5*b - 794 = -2*g + 873. Is g composite?
False
Suppose q - 25 = 6*q, 2*i - 3*q = 1057. Is i a composite number?
False
Let t = 2325 + 438. Suppose -2*b = -6*x + x + t, -3*x + 4*b + 1655 = 0. Is x a prime number?
False
Let m(l) = 4*l + 13. Let p(x) = 2*x + 6. Let h(u) = 4*m(u) - 7*p(u). Let a be h(-10). Let v = a - -17. Is v a prime number?
True
Let g(q) = -q**3 + 11*q**2 + 2*q + 14. Let p be g(11). Let v be p/(-30)*2320/(-6). Suppose -v = -5*u + 1231. Is u prime?
False
Let w = 579 - 405. Is (w + -7)*(-2 + 3) prime?
True
Let q be (3 + -1)*((-1278)/(-12) + 5). Let c = q + -96. Is c composite?
False
Suppose 0*g - 5*d - 30 = 5*g, -10 = 2*g + 4*d. Is 765/6 + (21/6)/g prime?
True
Let b(i) = -i - 13. Let s be b(-5). Let m be 4 - s/(-3 + 1). Is (28/4 + m)*3 prime?
False
Suppose -2*f - 2*h + 17190 = 2*f, -4*f + 4*h + 17160 = 0. Is f composite?
True
Let c be 25/(-10)*16/(-20). Let y(h) = -2 - 4*h**2 + 6*h**2 - 12*h - h**c. Is y(-10) a prime number?
False
Let r be 9/54 + (1585/(-6))/(-5). Let w = r - -950. Is w a prime number?
False
Let c(x) = -1615*x - 25. Is c(-2) composite?
True
Let a(w) = 733*w + 1. Is a(1) a composite number?
True
Let f(k) = 4727*k - 11. Let m(a) = -1182*a + 3. Let t(u) = 2*f(u) + 9*m(u). Is t(-4) a prime number?
False
Let w(t) = -5*t**3 + 2*t**2 + 5*t - 3. Let n be (-54)/(-12) - 2/(-4). Suppose -3*g + 12 = -n*g. Is w(g) a prime number?
False
Let l = -4 + 7. Let i be 3 + 0/(l - 0). Is (-620)/(-30)*i/2 composite?
False
Is (914 - 1)/(66 - 65) composite?
True
Suppose 0*r + 18*r = 104202. Is r a prime number?
False
Let i(o) = -25*o**3 - 3*o**2 - 3*o - 3. Let p = -7 + 3. Is i(p) prime?
False
Let l(y) = -5*y - 10. Let x be l(-2). Is x + (61 - 9/3) prime?
False
Suppose 0 = 7*n - 6*n + 3*z - 2090, 6214 = 3*n - 5*z. Is n composite?
True
Suppose 0 = -8*j + 10*j + 224. Let q = 139 - j. Is q composite?
False
Suppose 2*t = -t + 14853. Suppose -211 = 2*k - t. Suppose -5*m + 704 = -4*x + k, 2*x + 5*m = 848. Is x a composite number?
False
Suppose -2*g + 4*g = 2. Is (2 - g)/(5/1685) prime?
True
Suppose 5*j - 20 = 0, -5*j = -6*n + n - 5. Let u(k) = 10*k**2 + 0 + n + 3*k**2 - k**2. Is u(-3) a composite number?
True
Suppose 0*g - 3*g = t - 249, -g + 83 = 3*t. Is g/((-4)/(4 - 8)) a prime number?
True
Suppose -3*b - 39647 = -f, -14*f = -18*f - b + 158588. Is f prime?
False
Let d(s) = s**2 - 3. Let y(l) = 13*l**2 - 4*l + 2. Let k be y(2). Suppose 4*x = 4*z + 2*x - k, 4*z - 37 = -x. Is d(z) a prime number?
True
Suppose 2*o - 3854 = -3*b, 0 = 4*o - 4*b + b - 7672. Is o prime?
False
Suppose 0 = -63*j + 59*j + q + 31799, 0 = j + q - 7946. Is j composite?
False
Let o(v) = 1078*v - 5. Let i be o(-1). Let a = i - -3024. Is a prime?
False
Suppose -2*s + 5*b = -17, 3*s + 4*b + 37 = -b. Let k(m) be the second derivative of 5*m**4/6 + m**3/2 - 7*m**2/2 + 4*m + 1. Is k(s) a prime number?
False
Suppose -7*s + d = -6*s - 43508, -2*d = 4*s - 174038. Is s composite?
True
Let i(v) be the second derivative of -9*v**5/20 + v**4/6 + 7*v**3/3 + 6*v**2 + 13*v. Is i(-5) a prime number?
True
Let u = 739 + 996. Is u a composite number?
True
Let x = 51 - 113. Let o = x + 253. Is o a composite number?
False
Let d = -12 + 14. Suppose 0 = -d*u + 5*h + 66, 5*h + 41 = u + 13. Is u a prime number?
False
Let q = 184 - 183. Let p = 7 - 11. Is (q - p)/(2/74) a prime number?
False
Is (-198 + 20)/(10/(-335)) prime?
False
Let j = -12208 + 22701. Is j a composite number?
True
Let p be (-1)/5 + 7/35. Let x(t) = t**3 + t**2 + 677. Is x(p) prime?
True
Suppose -5*n + 13488 + 7067 = 0. Is n composite?
False
Suppose 5*i - 2*w + 19043 = 0, -2*i = -w - 0*w + 7617. Let b = -1120 - i. Suppose 2687 = 5*h - p, -5*h + 2*p = -0*h - b. Is h composite?
True
Let m(k) = k**2 + k - 5. Let u be m(-3). Let t(y) = 199*y**3 + y**2 - 3*y + 2. Is t(u) composite?
False
Let x = 4267 - 2336. Is x a composite number?
False
Let d(b) = 55*b**2 + 26*b + 90. Is d(29) composite?
True
Let m(d) be the third derivative of 17*d**5/60 - 11*d**4/24 + 5*d**3/6 - 4*d**2. Let p(t) be the first derivative of m(t). Is p(10) a composite number?
True
Suppose -2*a - 4 = 0, -2*z + 4000 = -6*z - 2*a. Let d = z + 1540. Is d a prime number?
True
Let k = -1142 + 2021. Let x = k - -8. Let h = 1678 - x. Is h a prime number?
False
Let z = -337 - -681. Let l = -2 + 5. Suppose q - z = -3*c, l*q = 3*c + c - 463. Is c prime?
False
Let i = 11773 - 2106. Is i a composite number?
True
Let c(d) be the first derivative of 517*d**4/4 + d**2 - 2*d + 16. Is c(1) a prime number?
False
Let j be (2/6)/(5/45) + -2. Let y(s) = 716*s**3 + s**2 + s - 1. Is y(j) a composite number?
True
Let o(r) be the second derivative of 8*r**4/3 + 11*r**3/3 - 9*r**2/2 - 28*r. Is o(-4) prime?
False
Suppose j = 3*b + 118, 0 = -5*j + b + 159 + 445. Is j a composite number?
True
Suppose -1410 = 2*b + s, 