Let x = 8 - 3. Let g = 5 - x. Suppose q + g*q = 35. Is q a composite number?
True
Is (-5199)/(-3*2/4) prime?
False
Let j(n) = -n**3 + 46*n**2 + 63*n - 61. Is j(28) a composite number?
True
Let u(x) be the third derivative of -x**6/60 - x**5/30 + x**4/24 - 5*x**3/6 + 7*x**2. Let j be u(-3). Is (-526)/(-10) + j/70 prime?
True
Let m(s) = -2*s**2 + 3*s + 4. Let n be m(-2). Let g = n - -11. Is (g - -4)*(-801)/(-45) prime?
True
Suppose 4*l + 12 = -4. Let d be (-13)/(-3) - l/6. Suppose s + j + 211 = d*s, 0 = -4*s + 4*j + 208. Is s composite?
False
Suppose 2*z + 719 + 325 = 0. Let c = z + 745. Is c prime?
True
Suppose -58587 + 21144 = -21*i. Is i composite?
False
Suppose -3*r + 62 = -55. Suppose 6 - r = -v. Suppose -4*c + c = -v. Is c a prime number?
True
Let y be 1*(2 - 3)*(-3 - 2). Suppose -2*o + 153 = w, -3*o + 94 = -y*w - 103. Is o a composite number?
True
Suppose -2*a = 4*o + 2166, 3*a = 4*o - 0*a + 2191. Let l = 1821 + o. Suppose -4*k + l = -k + 4*v, 4*v = 20. Is k composite?
False
Let u(r) = 3*r - 28. Let p(w) = w - 7. Let v(m) = -26*p(m) + 6*u(m). Let z be v(-5). Suppose -4*x + 2*x = -2*s + z, 3*s - 77 = 4*x. Is s composite?
False
Suppose -5*l + 3*l - 6 = 0. Let b(n) = -n**3 - 8*n + 6. Let r(k) = -k**3 - k**2 - 7*k + 5. Let q(p) = 5*b(p) - 6*r(p). Is q(l) a composite number?
True
Suppose 2 + 3 = -5*q - 5*j, q - 2*j + 4 = 0. Is q/7 - (-19467)/49 a prime number?
True
Suppose -4*d = k - 337 - 3, -4*d = 5*k - 1668. Suppose -2095 = -2*j - 3*n, -k = -j - n + 718. Is j a composite number?
True
Suppose 6*v - 10367 = 79. Is v composite?
False
Suppose -d + 3750 = -5*p - 18777, -5*d + 112527 = 2*p. Is d prime?
False
Let m(l) = -l + 13. Let v be m(12). Let h(r) = 106*r**3 - r + 1. Is h(v) a prime number?
False
Let c(x) = 10*x**3 - x**2 - 2*x - 1. Let j be c(-1). Let k be 7 + j - 847/(-1). Suppose 0 = 3*d - 7*d + k. Is d prime?
True
Let d(p) = p**2 + 4*p + 7. Let b be d(-2). Is 3783/6 - b/(-6) prime?
True
Let d be 1/(9/5628)*3. Suppose 8*v - d - 2212 = 0. Is v composite?
True
Suppose 2*t - 26997 = -3*h, 4*h + 58*t = 56*t + 35996. Is h a prime number?
True
Suppose 3 = -2*i + 5*i - 2*q, -q = i - 6. Suppose 148 = -i*d + 1495. Is d a composite number?
False
Suppose -11361 = -9*h + 1932. Is h composite?
True
Let x(r) = r**2 + 12*r + 26. Let p be x(-9). Is (-16 + (-5)/(-1))*(0 + p) prime?
True
Suppose -22*s - 3*d = -25*s + 48702, 2*s - 32465 = d. Is s a prime number?
True
Let n(f) be the first derivative of 11*f + 9/2*f**2 - 6 - 1/4*f**4 - 10/3*f**3. Is n(-13) a composite number?
False
Suppose -4*f - 4*m = -5*f - 22, -3*f - 5*m = -2. Let p(v) = -2*v - 5*v - 38 + 51. Is p(f) prime?
False
Let i = 200 + 20087. Is i a prime number?
True
Let g(c) = -2*c - 4. Let t be g(-5). Suppose -t*x = -11*x + 15. Is (26 - x)/(1/7) a prime number?
False
Let r = -400 - -8054. Let a = r + -4017. Is a a prime number?
True
Suppose -5*n = -3*b + 48438, -5*b - 2*n + 14483 = -66216. Is b prime?
True
Suppose -4*s = 2*s - 564. Let h = s - -171. Is h composite?
True
Let k(x) = -68*x**2 - 70*x**2 - 5*x**3 - 4 + 140*x**2. Is k(-3) composite?
False
Let x(h) = 45*h - 1. Let q(s) = 37*s - 18*s + 6 - 7 + 25*s. Let g(l) = -3*q(l) + 4*x(l). Is g(4) composite?
False
Let l(s) = 4*s**2 + 0*s + 0*s - 8*s + 7. Let t be (-3)/(-3 - 165/(-50)). Is l(t) a prime number?
True
Let y(d) = 195*d**2 + 6*d - 16. Is y(9) composite?
True
Suppose -2*u = -4, -4*f - u = 2*u + 362. Let k = 163 + f. Is k composite?
False
Let f(v) = -825*v - 9. Suppose 5*i = 5*l - 25, 0 = -0*i + 5*i - 4*l + 22. Is f(i) a prime number?
False
Let m(f) = 10*f - 17. Is m(7) prime?
True
Let s(p) = -7*p**3 + 15*p**2 - 3*p + 24. Let c(k) = -3*k**3 + 8*k**2 - k + 12. Let i(a) = 5*c(a) - 2*s(a). Let t be i(10). Is (t/(-6))/((-6)/54) a prime number?
False
Let z(i) = i**2 + i**2 - 1 - 2 + i**2. Let b be z(-2). Suppose 364 - b = 5*g. Is g prime?
True
Let o = -1690 - 382. Is ((-3)/(-4))/((-42)/o) a composite number?
False
Suppose -4998 = -2*r - 2*o, 10*o - 6*o + 16 = 0. Is r prime?
True
Let c = -34 - -31. Let r(n) = -2*n**2 - 2*n + 1. Let m be r(-2). Is c/m - (0 - 222) a prime number?
True
Let n(m) = 39*m**3 - m**2 + 1. Let b = -13 - -14. Let t be n(b). Suppose 2*h - t = h. Is h a prime number?
False
Suppose w - 4*w = 1335. Let z = w + 712. Is z prime?
False
Let x(b) = -427*b - 84. Let a(s) = 640*s + 126. Let z(t) = 5*a(t) + 7*x(t). Is z(17) prime?
False
Let h be -7 - 72/(-10) - 2/10. Suppose 2*g - 17 - 2385 = h. Is g prime?
True
Suppose 55*p + 31676 = 59*p. Is p a composite number?
False
Suppose 5*w + 4*v = 64206, 2*w - 3*v - 12762 - 12925 = 0. Is w composite?
True
Let h(g) = -2*g**3 - 5*g**2 - 3*g - 7. Let x(o) = -o - 1. Let u be x(3). Is h(u) a prime number?
True
Is (-8)/(-44) - (-3)/((-165)/(-824825)) composite?
True
Let r = -15 - -42. Let x = r + 28. Is x composite?
True
Let h(s) be the first derivative of s**4 - 5*s**3/3 - s**2 + 20*s + 14. Is h(9) prime?
False
Let j = -104209 + 213878. Is j a prime number?
False
Let o(b) = 185*b + 19. Let q(t) = -184*t - 19. Let u(p) = 2*o(p) + 3*q(p). Is u(-3) composite?
True
Suppose -5*s + 0*s - 5*n + 1560 = 0, 5*s + 4*n - 1558 = 0. Let h = s + -77. Is h a composite number?
False
Let v(b) = b - 12. Let r(y) = -y + 13. Let j(l) = 3*r(l) + 4*v(l). Let t be j(4). Let z(x) = 3*x**2 - x + 9. Is z(t) a prime number?
True
Suppose -4*t - 6922 = -2*o, -3*o - 2*t + 10391 = -0*t. Suppose 1700 = 2*c - l - o, -3*c + 7762 = -5*l. Is c a prime number?
True
Suppose -25*l + 12 = -24*l. Let m = 15 - l. Suppose -3*b = -m*p + 369, p - 2*p = -4*b - 138. Is p a composite number?
True
Suppose 0 = -6*a + 8*a. Suppose a = -w - 4*v + 58 + 6, 257 = 5*w - v. Suppose -4*z + 222 = -2*r, -z + 3*r = -2*z + w. Is z a composite number?
True
Suppose -r - 16 = o, -2*r + 10 = -3*r + 5*o. Let v be (-5)/(r/12) - 0. Suppose -415 - 349 = -v*g. Is g prime?
True
Suppose -23*b = -2090 - 647. Is b a composite number?
True
Suppose -4 = -2*p - 4*x, 0*p + 5*x = 2*p - 22. Suppose -3*h - p = 0, -2*l - l + 1601 = 2*h. Is l composite?
True
Let n(f) = -2*f**2 - 13*f - 1 + 2*f**2 - f**2 + 3. Let l be n(-13). Suppose 4*x = 3*j + 565, -l*x + 3*j + 2*j = -293. Is x a composite number?
False
Suppose -63*r + 1312749 = 22320. Is r prime?
True
Let m be 6 - (0 + -1 + 2). Suppose 5 = 5*l, -5*l = -p - 3 - 0. Suppose 0 = 4*b - m*v - 121, b - 4*v = p*b - 46. Is b prime?
False
Let z(a) = a**2 - 6*a - 7. Let y be z(6). Let x = 4 + y. Let g(b) = -36*b + 7. Is g(x) composite?
True
Suppose -i + 276 + 81 = 0. Let x = i + -134. Is x a composite number?
False
Let p(k) = 5*k**2 + 11*k - 45. Is p(-17) a composite number?
False
Is -10 + -9531*(-56)/24 prime?
True
Suppose a + a - 3*g + 8 = 0, -7 = -3*a - 5*g. Let h = 15 + -26. Is 2/(2/a)*h composite?
False
Suppose 4*l + o - 9173 = 15508, 0 = 2*l - 3*o - 12337. Suppose -5*t + w + 2669 + 5034 = 0, -4*t - 3*w + l = 0. Is t composite?
True
Let f(j) = 3*j**2 + 1. Let d be f(1). Let w(h) = -12 + 2*h**2 + 10 + 0*h**2 + h. Is w(d) a prime number?
False
Let p(b) = 22*b**2 + 10*b + 8. Let t = -2 - 4. Let s be p(t). Suppose s = -0*n + 4*n. Is n a prime number?
False
Let g(h) = -h**3 - 3*h**2 - 4*h - 2. Let r be g(-2). Suppose 2*v - 3*s = 6221, r*v - 3*s - 3118 = v. Is v composite?
True
Let n = 1397 - 3539. Let p = n - -5755. Is p composite?
False
Let j = -17 - -24. Suppose 2036 = j*f + 181. Is f prime?
False
Suppose 0 = -41*w + 47*w - 229794. Is w composite?
False
Let l = 1301 - 716. Let c = 448 - 798. Let a = l + c. Is a a prime number?
False
Let d = -1493 + 4584. Is d a composite number?
True
Suppose 10078 = t + 3*r - 3189, r = 3*t - 39801. Is t a prime number?
True
Let z = -3039 + -1125. Is -1*4/(16/z) a composite number?
True
Suppose 1655046 = -92*v + 146*v. Is v a prime number?
True
Let k(b) = 33*b**3 + 8*b**2 + 35. Is k(6) prime?
True
Let d(q) = 490*q + 571. Is d(25) prime?
True
Suppose -3*o + 2 = 11. Is (-1041)/(o + 0) + -1 a composite number?
True
Suppose 5*i - 2*i - 3*q + 3369 = 0, 3*q + 1115 = -i. Let u = 1794 + i. Is u prime?
True
Suppose -16*c + 15*c + 2*s = -2727, 2*c = -3*s + 5440. Is c composite?
True
Let g = -60 + 62. Suppose 0 = -3*j - 4*n + 5843, -g*j - 3*j = 5*n - 9735. Is j a prime number?
False
Suppose 4*s - 8 - 8 = 4*j, -j = -4*s + 10. Suppose -s*v + 236 = 2*v. Is v composite?
False
Suppose 0 = -2*v + 5*k + 30884, 0*v =